Simple proof of Parikh's theorem a la Takahashi

Ryoma Sin'ya

DOI: https://doi.org/10.48550/arXiv.1909.09393

2019-09-20

Abstract:In this report we describe a simple proof of Parikh's theorem a la Takahashi, based on a decomposition of derivation trees. The idea of decomposition is appeared in her master's thesis written in 1970.

Formal Languages and Automata Theory

What problem does this paper attempt to address?

A NEW PROOF OF THE REALISATION OF CUBIC TABLEAUX

Fei Yang,Yongcheng Yin

DOI: https://doi.org/10.1017/s0004972712001074

2013-01-01

Bulletin of the Australian Mathematical Society

Abstract:By means of the dynamics on trees introduced by Emerson, DeMarco and McMullen, we give a new proof of the realisation of cubic tableaux.
A Circuit-Based Proof of Toda′s Theorem

R KANNAN,H VENKATESWARAN,V VINAY,AC YAO

DOI: https://doi.org/10.1006/inco.1993.1033

IF: 1.24

1993-01-01

Information and Computation

Abstract:We present a simple proof of Toda′s result (Toda (1989), in "Proceedings, 30th Annual IEEE Symposium on Foundations of Computer Science," pp. 514-519), which states that ⊕ P is hard for the Polynomial Hierarchy under randomized reductions. Our approach is circuit-based in the sense that we start with uniform circuit definitions of the Polynomial Hierarchy and apply the Valiant-Vazirani lemma on these circuits (Valiant and Vazirani (1986), Thoeret. Comput. Sci.47, 85-93).
On AI's "semistable torsion classes and canonical decompositions"

Jiarui Fei

2024-12-12

Abstract:In this short note, we give two-line proofs for main results in "Semistable torsion classes and canonical decompositions" by Asai-Iyama from a main result in "Tropical $F$-polynomials and general presentations", which appeared on the math arXiv 2 years earlier.

Representation Theory,Rings and Algebras
A Proof of the Tree Packing Conjecture

Parikshit Chalise,Antwan Clark,Edinah K. Gnang

2024-10-23

Abstract:We prove a conjecture of Gyárfás (1976), which asserts that any family of trees $T_1, \dots, T_{n}$ where each $T_k$ has $k$ vertices packs into $K_n$. We do so by translating the decomposition problem into a labeling problem, namely complete labeling. Our proof employs the polynomial method using a functional reformulation of the conjecture.

Combinatorics
An elaborate new proof of Cayley's formula

Esther Banaian,Anh Trong Nam Hoang,Elizabeth Kelley,Weston Miller,Jason Stack,Carolyn Stephen,Nathan Williams

2024-02-13

Abstract:We construct a bijection between certain Deodhar components of a braid variety constructed from an affine Kac-Moody group of type $A_{n-1}$ and vertex-labeled trees on $n$ vertices. By an argument of Galashin, Lam, and Williams using Opdam's trace formula in the affine Hecke algebra and an identity due to Haglund, we obtain an elaborate new proof for the enumeration of the number of vertex-labeled trees on $n$ vertices.

Combinatorics
A PROOF OF HIRSCHHORN'S CONJECTURE ON -DISSECTION OF EULER'S PRODUCT

BIPUL KUMAR SARMAH,SATYAJIT GAYAN

DOI: https://doi.org/10.1017/s0004972724000595

2024-10-10

Bulletin of the Australian Mathematical Society

Abstract:Using properties of Ramanujan's theta functions, we give an elementary proof of Hirschhorn's conjecture on -dissection of Euler's product .

mathematics
New proofs of two identities of Ramanujan

Patrick Morton

DOI: https://doi.org/10.48550/arXiv.2303.18140

2024-01-11

Abstract:A proof of several identities of Ramanujan involving theta functions of level $7$ is given which uses a specific modular function for $\Gamma_1(7)$ and Klein's projective representation of $PSL(2,7)$ into $PSL(3, \mathbb{C})$. Four identities of Berndt and Zhang are derived as algebraic corollaries of the main proof.

Number Theory
A note on "The Cartan-Hadamard conjecture and the Little Prince"

Spyridon Michalakis

DOI: https://doi.org/10.48550/arXiv.1702.00077

2017-02-01

Abstract:We provide elementary proofs of Lemmas 7.1 and 7.4 appearing in "The Cartan-Hadamard conjecture and the Little Prince", by B. Kloeckner and G. Kuperberg. The Lemmas play an important role in the derivation of novel isoperimetric inequalities. The original proofs relied on Sage, a symbolic algebra package, to factor certain algebraic varieties into irreducible components.

Differential Geometry
A parabolic analog of a theorem of Beilinson and Schechtman

Indranil Biswas,Swarnava Mukhopadhyay,Richard Wentworth

2023-07-18

Abstract:For a simple, simply connected, complex group G, we prove an explicit formula to compute the Atiyah class of parabolic determinant of cohomology line bundle on the moduli space of parabolic $G$-bundles. This generalizes an earlier result of Beilinson-Schechtman.

Algebraic Geometry,Quantum Algebra,Representation Theory
A 2-Spine Decomposition of the Critical Galton-Watson Tree and a Probabilistic Proof of Yaglom's Theorem

Yan-Xia Ren,Renming Song,Zhenyao Sun

DOI: https://doi.org/10.1214/18-ecp143

2018-01-01

Electronic Communications in Probability

Abstract:In this note we propose a two-spine decomposition of the critical Galton-Watson tree and use this decomposition to give a probabilistic proof of Yaglom's theorem.
On the B-series composition theorem

John C. Butcher,Taketomo Mitsui,Yuto Miyatake,Shun Sato

2024-09-13

Abstract:The B-series composition theorem has been an important topic in numerical analysis of ordinary differential equations for the past-half century. Traditional proofs of this theorem rely on labelled trees, whereas recent developments in B-series analysis favour the use of unlabelled trees. In this paper, we present a new proof of the B-series composition theorem that does not depend on labelled trees. A key challenge in this approach is accurately counting combinations related to ``pruning.'' This challenge is overcome by introducing the concept of ``assignment.''

Numerical Analysis
A Simple Combinatorial Proof of Szemerédi's Theorem via Three Levels of Infinities

Renling Jin

DOI: https://doi.org/10.19086/da.87772

2023-10-28

Abstract:We present a nonstandard simple elementary proof of Szemerédi's theorem by a straightforward induction with the help of three levels of infinities and four different elementary embeddings in a nonstandard universe.

Logic,Combinatorics,Number Theory
On Kawamata's theorem

Osamu Fujino

DOI: https://doi.org/10.48550/arXiv.0910.1156

2009-10-07

Abstract:We give an alternate proof of the main theorem of Kawamata's paper: Pluricanonical systems on minimal algebraic varieties. Our proof also works for varieties in class $\mathcal C$. We note that our proof is completely different from Kawamata's.

Algebraic Geometry
The prime number theorem through one-sided Tauberian theorems

Gregory Debruyne

2024-03-26

Abstract:In this expository article we provide an elegant proof of the one-sided Ingham-Karamata Tauberian theorem. As an application, we present a short deduction of the prime number theorem.

Number Theory
Notes on the Parity Conjecture

Tim Dokchitser

DOI: https://doi.org/10.1007/978-3-0348-0618-3_5

2013-01-01

Abstract:The main purpose of these notes is to prove, in a reasonably self-contained way, that finiteness of the Tate–Shafarevich group implies the parity conjecture for elliptic curves over number fields. Along the way, we review local and global root numbers of elliptic curves and their classification, and we end by discussing some peculiar consequences of the parity conjecture.
Non-Commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs.

Fu Li,Iddo Tzameret,Zhengyu Wang

DOI: https://doi.org/10.4230/lipics.ccc.2015.412

2014-01-01

Abstract:Does every Boolean tautology have a short propositional-calculus proof? Here, a propositional-calculus (i.e. Frege) proof is any proof starting from a set of axioms and deriving new Boolean formulas using a fixed set of sound derivation rules. Establishing any super-polynomial size lower bound on Frege proofs (in terms of the size of the formula proved) is a major open problem in proof complexity, and among a handful of fundamental hardness questions in complexity theory by and large. Non-commutative arithmetic formulas, on the other hand, constitute a quite weak computational model, for which exponential-size lower bounds were shown already back in 1991 by Nisan [20], using a particularly transparent argument. In this work we show that Frege lower bounds in fact follow from corresponding size lower bounds on non-commutative formulas computing certain polynomials (and that such lower bounds on non-commutative formulas must exist, unless NP=coNP ). More precisely, we demonstrate a natural association between tautologies T to non-commutative polynomials p , such that: •if T has a polynomial-size Frege proof then p has a polynomial-size non-commutative arithmetic formula; and conversely, when T is a DNF, if p has a polynomial-size non-commutative arithmetic formula over GF (2) then T has a Frege proof of quasi-polynomial size. The argument is a characterization of Frege proofs as non-commutative formulas: we show that the Frege system is (quasi-) polynomially equivalent to a non-commutative Ideal Proof System (IPS), following the recent work of Grochow and Pitassi [10] that introduced a propositional proof system in which proofs are arithmetic circuits, and the work in [35] that considered adding the commutator as an axiom in algebraic propositional proof systems. This gives a characterization of propositional Frege proofs in terms of (non-commutative) arithmetic formulas that is tighter than (the formula version of IPS) in Grochow and Pitassi [10], in the following sense: (i) The non-commutative IPS is polynomial-time checkable -- whereas the original IPS was checkable in probabilistic polynomial-time; and (ii) Frege proofs unconditionally quasi-polynomially simulate the non-commutative IPS -- whereas Frege was shown to efficiently simulate IPS only assuming that the decidability of PIT for (commutative) arithmetic formulas by polynomial-size circuits is efficiently provable in Frege.
General Elementary Direct Proof of Fermat's Last Theorem

Hua Jiang

DOI: https://doi.org/10.48550/arXiv.2007.15452

2020-07-27

General Mathematics

Abstract:This paper presents a novel direct elementary proof for Fermat's Last Theorem. We use algebra, modular math, and binomial series to develop inherent mathematical relationships hidden within Fermat's Last Theorem. With these derived relationships, we are able to develop general pattern applicable for all positive integers of n. Finally, we are able to confirm and complete the direct proof for Fermat's Diophantine equation for all n.
A proof of a conjecture of Gukov-Pei-Putrov-Vafa

Yuya Murakami

2024-09-03

Abstract:In this paper, we prove Gukov-Pei-Putrov-Vafa's conjecture that the Witten-Reshetikhin-Turaev invariants are radial limits of homological blocks, which are $ q $-series introduced by them for plumbed $ 3 $-manifolds with negative definite linking matrices. In our previous work, the author attributed this conjecture to the holomorphy of certain rational functions by developing an asymptotic formula based on the Euler-Maclaurin summation formula. However, it is challenging to prove holomorphy for general plumbed manifolds. In this paper, we address this challenge using induction on a sequence of trees obtained by repeating "pruning trees."

Geometric Topology,High Energy Physics - Theory,Mathematical Physics,Number Theory,Quantum Algebra
On the arithmetic Hilbert-Samuel theorem : a proof by deformation

Dorian Ni

DOI: https://doi.org/10.48550/arXiv.2207.05165

2022-07-12

Abstract:We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called arithmetic Hilbert invariants, through the deformation to the projective completion of the cone. This construction lies at the intersection of deformation theory and Arakelov geometry. It provides a deformation of a Hermitian line bundle over the deformation to the normal cone.

Algebraic Geometry,Number Theory

Simple proof of Parikh's theorem a la Takahashi

A NEW PROOF OF THE REALISATION OF CUBIC TABLEAUX

A Circuit-Based Proof of Toda′s Theorem

On AI's "semistable torsion classes and canonical decompositions"

A Proof of the Tree Packing Conjecture

An elaborate new proof of Cayley's formula

A PROOF OF HIRSCHHORN'S CONJECTURE ON -DISSECTION OF EULER'S PRODUCT

New proofs of two identities of Ramanujan

A note on "The Cartan-Hadamard conjecture and the Little Prince"

A parabolic analog of a theorem of Beilinson and Schechtman

A 2-Spine Decomposition of the Critical Galton-Watson Tree and a Probabilistic Proof of Yaglom's Theorem

On the B-series composition theorem

A Simple Combinatorial Proof of Szemerédi's Theorem via Three Levels of Infinities

On Kawamata's theorem

The prime number theorem through one-sided Tauberian theorems

Notes on the Parity Conjecture

Non-Commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs.

General Elementary Direct Proof of Fermat's Last Theorem

A proof of a conjecture of Gukov-Pei-Putrov-Vafa

On the arithmetic Hilbert-Samuel theorem : a proof by deformation