A short proof of the irreflexivity conjecture

Thomas Jech

DOI: https://doi.org/10.48550/arXiv.math/9204206

1992-04-15

Logic

Abstract:Gives a short proof of Dehornoy's latest result. The same simple argument (and more) was discovered by Laver's student Larue.

What problem does this paper attempt to address?

A proof of a Dumortier-Roussarie's conjecture

Chengzhi Li,Changjian Liu

DOI: https://doi.org/10.3934/dcdss.2022095

2022-01-01

Abstract:Dumortier and Roussarie proposed a conjecture in their paper (2009, Discrete Con. Dyn. Sys., 2,723-781): For any \begin{document}$ q\in {\mathbb{N}} $\end{document} , the Abelian integrals \begin{document}$ J_{2j+1}(h) = \int_{\gamma_h}x^{2j-1}\,\mathrm dy $\end{document} , \begin{document}$ j = 0, 1, 2, \cdots, q $\end{document} , form a strict Chebyshev system on intervals \begin{document}$ h\in (0, \frac{1}{2}] $\end{document} , where \begin{document}$ \gamma_h = \{(x, y)| \mathrm e^{-2y}(y+\frac{1}{2}-x^2) = h\} $\end{document} . If this conjecture holds, then they obtain the precise upper bound of the number of limit cycles that appear near a slow-fast Hopf point of any codimension. In the present paper we develop a method to estimate the number of zeros of Abelian integrals and prove this conjecture.
On a theorem of Lafforgue

Matthew Baker,Oliver Lorscheid

2023-09-11

Abstract:We give a new proof, along with some generalizations, of a folklore theorem (attributed to Laurent Lafforgue) that a rigid matroid (i.e., a matroid with indecomposable basis polytope) has only finitely many projective equivalence classes of representations over any given field.

Combinatorics,Algebraic Geometry
A short proof of the Hanlon-Hicks-Lazarev Theorem

Michael K. Brown,Daniel Erman

DOI: https://doi.org/10.1017/fms.2024.40

2024-05-11

Forum of Mathematics Sigma

Abstract:We give a short new proof of a recent result of Hanlon-Hicks-Lazarev about toric varieties. As in their work, this leads to a proof of a conjecture of Berkesch-Erman-Smith on virtual resolutions and to a resolution of the diagonal in the simplicial case.

mathematics, applied
A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

Jean-Louis Verger-Gaugry

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

2017-09-12

Abstract:The conjecture of Lehmer is proved to be true. The proof mainly relies upon: (i) the properties of the Parry Upper functions $f_{house(\alpha)}(z)$ associated with the dynamical zeta functions $\zeta_{house(\alpha)}(z)$ of the Rényi--Parry arithmetical dynamical systems, for $\alpha$ an algebraic integer $\alpha$ of house "$house(\alpha)$" greater than 1, (ii) the discovery of lenticuli of poles of $\zeta_{house(\alpha)}(z)$ which uniformly equidistribute at the limit on a limit "lenticular" arc of the unit circle, when $house(\alpha)$ tends to $1^+$, giving rise to a continuous lenticular minorant ${\rm M}_{r}(house(\alpha))$ of the Mahler measure ${\rm M}(\alpha)$, (iii) the Poincaré asymptotic expansions of these poles and of this minorant ${\rm M}_{r}(house(\alpha))$ as a function of the dynamical degree. With the same arguments the conjecture of Schinzel-Zassenhaus is proved to be true. An inequality improving those of Dobrowolski and Voutier ones is obtained. The set of Salem numbers is shown to be bounded from below by the Perron number $\theta_{31}^{-1} = 1.08545\ldots$, dominant root of the trinomial $-1 - z^{30} + z^{31}$. Whether Lehmer's number is the smallest Salem number remains open. A lower bound for the Weil height of nonzero totally real algebraic numbers, $\neq \pm 1$, is obtained (Bogomolov property). For sequences of algebraic integers of Mahler measure smaller than the smallest Pisot number, whose houses have a dynamical degree tending to infinity, the Galois orbit measures of conjugates are proved to converge towards the Haar measure on $|z|=1$ (limit equidistribution).

Number Theory
A Proof of Brouwer's Conjecture

Vladimir Blinovsky,Llohann D. Sperança

2023-07-28

Abstract:Building up from recent results by other authors, we present proof for Brouwer's Conjecture.

Combinatorics
Proof of the Kresch-Tamvakis Conjecture

John S. Caughman,Taiyo S. Terada

2023-09-16

Abstract:In this paper we resolve a conjecture of Kresch and Tamvakis. Our result is the following. Theorem: For any positive integer $D$ and any integers $i,j$ $(0\leq i,j \leq D)$, the absolute value of the following hypergeometric series is at most 1: \begin{equation*} {_4F_3} \left[ \begin{array}{c} -i, \; i+1, \; -j, \; j+1 \\ 1, \; D+2, \; -D \end{array} ; 1 \right]. \end{equation*} To prove this theorem, we use the Biedenharn-Elliott identity, the theory of Leonard pairs, and the Perron-Frobenius theorem.

Number Theory,Algebraic Geometry,Classical Analysis and ODEs,Combinatorics
The reciprocity law for the twisted second moment of Dirichlet L-functions

Matthew P. Young

DOI: https://doi.org/10.1515/FORM.2011.053

2007-08-22

Abstract:We produce a new proof of the reciprocity law for the twisted second moment of Dirichlet L-functions that was recently proved by Conrey. Our method is to analyze certain two-variable sums where the variables satisfy a linear congruence. We show that these sums satisfy an elegant reciprocity formula. In the case that the modulus is prime, these sums are closely related to the twisted second moment, and the reciprocity formula for these sums implies Conrey's reciprocity formula. We also extend the range of uniformity of Conrey's formula.

Number Theory
On the theorem of Amitsur--Levitzki

Claudio Procesi

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

2013-08-12

Abstract:We present a proof of the Amitsur--Levitzki theorem which is a basis for a general theory of equivariant skew--symmetric maps on matrices.

Rings and Algebras
Refined Absorption: A New Proof of the Existence Conjecture

Michelle Delcourt,Luke Postle

2024-02-28

Abstract:The study of combinatorial designs has a rich history spanning nearly two centuries. In a recent breakthrough, the notorious Existence Conjecture for Combinatorial Designs dating back to the 1800s was proved in full by Keevash via the method of randomized algebraic constructions. Subsequently Glock, K\"{u}hn, Lo, and Osthus provided an alternate purely combinatorial proof of the Existence Conjecture via the method of iterative absorption. We introduce a novel method of refined absorption for designs; here as our first application of the method we provide a new alternate proof of the Existence Conjecture (assuming the existence of $K_q^r$-absorbers by Glock, K\"{u}hn, Lo, and Osthus).

Combinatorics
Another simple proof of an identity conjectured by Lacasse

Yidong Sun

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

2013-01-04

Abstract:In this note, using the derangement polynomials and their umbral representation, we give another simple proof of an identity conjectured by Lacasse in the study of the PAC-Bayesian machine learning theory.

Combinatorics
The Kropholler Conjecture

M.J.Dunwoody

2023-11-23

Abstract:The first version of this paper gave another proof of the Kropholler Conjecture, which gives a relative version of Stallings Ends Theorem, following an earlier incorrect proof. It has been pointed out by Sam Shepherd that the the second proof was still inadequate. We explain the difficulty and possible ways to obtain a correct proof.

Group Theory,Geometric Topology
A short proof of d'Alemberts theorem

Tord Sjödin

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

2013-04-10

History and Overview

Abstract:A classical theorem of d'Alembert states that if a polynomial P(x) with real coefficients has a non-real root x=a+ib, then it also has a root x=a-ib. We give a short and elementary inductive proof that avoids any properties of the complex conjugation operator.
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
Proof of Aharoni Berger Conjecture

Vladimir Blinovsky

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

2019-04-15

Abstract:We prove the Aharoni Berger Conjecture

Combinatorics
Geometric proof of the $λ$-lemma

Eric Bedford,Tanya Firsova

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

2015-05-31

Abstract:We give a geometric approach to the proof of the $\lambda$-lemma. In particular, we point out the role pseudoconvexity plays in the proof.

Complex Variables
A simple proof of a theorem of Laptev and Weidl

Rafael Benguria,Michael Loss

DOI: https://doi.org/10.48550/arXiv.math-ph/9906024

1999-09-30

Abstract:A new and elementary proof of a recent result of Laptev and Weidl is given. It is a sharp Lieb-Thirring inequality for one dimensional Schroedinger operators with matrix valued potentials.

Mathematical Physics
Sketch of a Proof of an Intriguing Conjecture of Karola Meszaros and Alejandro Morales Regarding the Volume of the $D_n$ Analog of the Chan-Robbins-Yuen Polytope (Or: The Morris-Selberg Constant Term Identity Strikes Again!)

Doron Zeilberger

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

2014-07-10

Abstract:Using the Morris-Selberg Constant Term Identity, I sketch a proof of a recent conjecture by Karola Meszaros and Alejandro Morales, that I believe could be easily made fully rigorous by a sufficiently skilled and, sufficiently interested, analyst. This conjecture is an analog to the root system $D_n$ of a conjecture made in 1998 by Clara Chan, the late David P. Robbins, and David Yuen, that I proved immediately after, also using the Morris identity.

Combinatorics
A New Proof of Friedman's Conjecture.

Liang Yu

DOI: https://doi.org/10.2178/bsl/1309952321

2011-01-01

Bulletin of Symbolic Logic

Abstract:We give a new proof of Friedman's conjecture that every uncountable Delta broken vertical bar set of reals has a member of each hyperdegree greater than or equal to the hyperjump.
A short proof of the Hilton-Milner Theorem

Denys Bulavka,Russ Woodroofe

2024-11-05

Abstract:We give a short and relatively elementary proof of the Hilton-Milner Theorem.

Combinatorics

A short proof of the irreflexivity conjecture

A proof of a Dumortier-Roussarie's conjecture

On a theorem of Lafforgue

A short proof of the Hanlon-Hicks-Lazarev Theorem

A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

A Proof of Brouwer's Conjecture

Proof of the Kresch-Tamvakis Conjecture

The reciprocity law for the twisted second moment of Dirichlet L-functions

On the theorem of Amitsur--Levitzki

Refined Absorption: A New Proof of the Existence Conjecture

Another simple proof of an identity conjectured by Lacasse

The Kropholler Conjecture

A short proof of d'Alemberts theorem

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

Proof of Aharoni Berger Conjecture

Geometric proof of the $λ$-lemma

A simple proof of a theorem of Laptev and Weidl

Sketch of a Proof of an Intriguing Conjecture of Karola Meszaros and Alejandro Morales Regarding the Volume of the $D_n$ Analog of the Chan-Robbins-Yuen Polytope (Or: The Morris-Selberg Constant Term Identity Strikes Again!)

A New Proof of Friedman's Conjecture.

A short proof of the Hilton-Milner Theorem