Specialization, generalization, and a new proof of Vivinai's Theorem

Addie Armstrong,Dan McQuillan

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

2017-01-05

Abstract:We provide a new proof of Vivinai's Theorem using what George Polya calls a 'leading particular case.' Our proof highlights the role of generalization in mathematics.

History and Overview

What problem does this paper attempt to address?

The Method of Undetermined Generalization and Specialization Illustrated with Fred Galvin's Amazing Proof of the Dinitz Conjecture

Doron Zeilberger

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

1995-06-24

Abstract:Fred Galvin's amazing proof of the Dinitiz conjecture is used to illustrate the method of undetermined generalization and specialization.

Combinatorics
The missing proof of Paley's theorem about lacunary coefficients

John J.F. Fournier

2024-06-28

Abstract:We modify the standard proof of Paley's theorem about lacunary coefficients of functions in $H^1$ to work without analytic factorization. This leads to the first direct proof of the extension of Paley's theorem that we applied to the former Littlewood conjecture about $L^1$ norms of exponential sums.

Classical Analysis and ODEs
Gallai's Theorem

Roger D. Maddux

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

2014-11-05

Abstract:This paper presents a proof of Gallai's Theorem, adapted from A. Soifer's presentation in The Mathematical Coloring Book of E. Witt's 1952 proof of Gallai's Theorem.

Combinatorics
The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

Yuri Bilu

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

2009-07-13

Abstract:During the last decade the Subspace Theorem found several quite unexpected applications, mainly in the Diophantine Analysis and in the Transcendence Theory. Among the great variety of spectacular results, I have chosen several which are technically simpler and which allow one to appreciate how miraculously does the Subspace Theorem emerge in numerous situations, implying beautiful solutions to difficult problems hardly anybody hoped to solve so easily. The three main topics discussed in this article are: the work of Adamczewski and Bugeaud on complexity of algebraic numbers; the work of Corvaja and Zannier on Diophantine equations with power sums; the work of Corvaja and Zannier on integral points on curves and surfaces, and the subsequent development due to Levin and Autissier. In particular, we give a complete proof of the beautiful theorem of Levin and Autissier: an affine surface with 4 (or more) properly intersecting ample divisors at infinity cannot have a Zariski dense set of integral points.

Number Theory
On a certain generalization of the Balog-Szemeredi-Gowers Theorem

Ernie Croot,Evan Borenstein

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

2008-05-21

Combinatorics

Abstract:In this note, we prove a certain hypergraph generalization of the Balog-Szemeredi-Gowers Theorem. Our result shares some features in common with a similar such generalizsation due to Sudakov, Szemeredi and Vu, though the conclusion of our result is somewhat different.
Regular types and order of vanishing along a set of non-integrable vector fields

Xiaojun Huang,Wanke Yin

2023-09-18

Abstract:This paper has two parts. We first survey recent efforts on the Bloom conjecture which still remains open in the case of complex dimension at least 4. Bloom's conjecture concerns the equivalence of three regular types. There is a more general important notion, called the singular D'Angelo type (or simply, D'Angelo type). While the finite D'Angelo type condition is the right one for the study of local subelliptic estimates for Kohn's $\overline{\partial}$-Neumann problem, regular types are important as their finiteness gives the global regularity up to the boundary of solutions of Kohn's $\overline{\partial}$-Neumann problem. In the second part of the paper, we provide a proof of a seemingly elementary but a truly fundamental property (Theorem 2.2 or its CR version Theorem 2.5) on the vanishing order of smooth functions along a system of non-integrable vector fields. A special case, Corollary 2.6, of Theorem 2.5 had already appeared in a paper of D'Angelo. A main goal in this part is to provide proofs for these results for the purpose of future references. Our arguments are based on a deep normalization theorem for a system of non-integrable vector fields due to Helffer-Nourrigat, as well as its late generalization in Boauendi-Rothschild.

Complex Variables,Analysis of PDEs
A Generalized Lévy-Khintchine Theorem

Gaurav Aggarwal,Anish Ghosh

2024-08-29

Abstract:The famous Lévy-Khintchine theorem is a beautiful limiting law for the denominators of the convergents of the continued fraction expansion of a real number. In a recent breakthrough, Cheung and Chevallier (Annales scientifiques de l'ENS, 2024) extended this theorem to higher dimensions. In this paper, we consider multiple generalizations of the definition of the best approximates of a matrix and prove analogues of the Lévy-Khintchine theorem for all these generalizations. A special case of our theorem answers a question posed by Cheung and Chevallier about Lévy-Khintchine type theorems for arbitrary norms. Another notable instance of our results resolves a conjecture of Yitwah Cheung. While our findings are new for higher dimensions, even in the one-dimensional case our work is a significant improvement over available results. Notably, we extend the results of Cheung and Chevallier by proving their theorems for any Birkhoff generic point and by permitting the best approximates to satisfy additional geometric and arithmetic conditions. Moreover, our main theorem, from which the above results follow, also extends the recent work of Shapira and Weiss.

Number Theory,Dynamical Systems
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 Combinatorial Proof of a generalization of a Theorem of Frobenius

Supravat Sarkar

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

2022-03-28

Abstract:In this article, we shall generalize a theorem due to Frobenius in group theory, which asserts that if $p$ is a prime and $p^{r}$ divides the order of a finite group, then the number of subgroups of order $p^{r}$ is $\equiv$ 1(mod $p$). Interestingly, our proof is purely combinatorial and does not use much group theory.

Group Theory
A unified proof of Brooks' theorem and Catlin's theorem

Vaidy Sivaraman

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

2014-09-29

Abstract:We give a new proof of Brooks' theorem that immediately implies a strengthening of Brooks' theorem, known as Catlin's theorem.

Combinatorics
Towards solid abelian groups: A formal proof of Nöbeling's theorem

Dagur Asgeirsson

2024-05-28

Abstract:Condensed mathematics, developed by Clausen and Scholze over the last few years, is a new way of studying the interplay between algebra and geometry. It replaces the concept of a topological space by a more sophisticated but better-behaved idea, namely that of a condensed set. Central to the theory are solid abelian groups and liquid vector spaces, analogues of complete topological groups. Nöbeling's theorem, a surprising result from the 1960s about the structure of the abelian group of continuous maps from a profinite space to the integers, is a crucial ingredient in the theory of solid abelian groups; without it one cannot give any nonzero examples of solid abelian groups. We discuss a recently completed formalisation of this result in the Lean theorem prover, and give a more detailed proof than those previously available in the literature. The proof is somewhat unusual in that it requires induction over ordinals -- a technique which has not previously been used to a great extent in formalised mathematics.

Logic,Logic in Computer Science,General Topology
The main theorem of the Galois theory proven with ideas from the first Mémoire of Galois

Math Dicker

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

2019-04-30

Abstract:A proof of the main theorem of the Galois theory is presented using the main theorem of symmetric polynomials. The idea originated from studying the "Mémoire sur les conditions de résolubilité des équations par radicaux" of Evariste Galois. The motto "Read the masters" pays off.

History and Overview,Number Theory
Generalizations of the primitive and normal basis theorems

Shahram Biglari

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

2007-01-31

Abstract:Using a Zariski topology associated to a finite field extensions, we give new proofs and generalize the primitive and normal basis theorems.

Rings and Algebras,Number Theory
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 Special Theorem Related to the Fagnano's Problem

Jun Li

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

2016-06-21

Abstract:A special theorem related to the Fagnano's problem is proved and an example of the theorem is shown in a golden rectangle.

History and Overview
Generalizations of a theorem about the binomial coefficient

Shaohua Zhang

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

2009-09-15

Abstract:The object of this paper is to generalize a theorem on the binomial coefficient [4] to the case in an arithmetic progression. We will also give a slightly stronger result than Langevin's [2].

General Mathematics
Some Generalizations of a Combinatorial Identity of L. Vietoris

HM SRIVASTAVA

DOI: https://doi.org/10.1016/0012-365x(87)90216-0

IF: 0.961

1987-01-01

Discrete Mathematics

Abstract:A remarkably simple proof is presented for an interesting generalization of a combinatorial identity given recently by L. Vietoris [Monatsh. Math. 97 (1984) 157–160]. It is also shown how this general result can be extended further to hold true for basic (or q-) series.
Hard Proofs and Good Reasons

Simon DeDeo

2024-10-12

Abstract:Practicing mathematicians often assume that mathematical claims, when they are true, have good reasons to be true. Such a state of affairs is "unreasonable", in Wigner's sense, because basic results in computational complexity suggest that there are a large number of theorems that have only exponentially-long proofs, and such proofs can not serve as good reasons for the truths of what they establish. Either mathematicians are adept at encountering only the reasonable truths, or what mathematicians take to be good reasons do not always lead to equivalently good proofs. Both resolutions raise new problems: either, how it is that we come to care about the reasonable truths before we have any inkling of how they might be proved, or why there should be good reasons, beyond those of deductive proof, for the truth of mathematical statements. Taking this dilemma seriously provides a new way to make sense of the unstable ontologies found in contemporary mathematics, and new ways to understand how non-human, but intelligent, systems might found new mathematics on inhuman "alien" lemmas.

History and Overview
On a Possible Generalization of Fermats Last Theorem

Dhananjay P. Mehendale

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

2005-03-09

General Mathematics

Abstract:This paper proposes a generalized ABC conjecture and assuming its validity settles a generalized version of Fermats last theorem.
Realizing Galois representations in abelian varieties by specialization

Arvind Suresh

2023-11-30

Abstract:We give some positive answers to the following problem: Given a field $K$ and a continuous Galois representation $\rho:G_K \to GL_n(\mathbf{Q})$, construct an abelian variety $J/K$ of small dimension such that $\rho$ is a sub-representation of the natural $G_K$-representation on $J(\bar{K}) \otimes_{\mathbf{Z}} \mathbf{Q}$. We prove that if $K$ is Hilbertian of characteristic different from $2$, then for any sufficiently large integer $g$ (depending on $\rho$) we can find infinitely many absolutely simple $g$-dimensional abelian varieties which realize $\rho$. We outline also a method of twisting a given symmetric construction of curves with many rational points to instead produce curves with closed points of large degree, and in this context we give a unified treatment of constructions of Mestre--Shioda and Liu--Lorenzini. The main results are obtained by applying a natural generalization of Néron's Specialization Theorem.

Number Theory,Algebraic Geometry

Specialization, generalization, and a new proof of Vivinai's Theorem

The Method of Undetermined Generalization and Specialization Illustrated with Fred Galvin's Amazing Proof of the Dinitz Conjecture

The missing proof of Paley's theorem about lacunary coefficients

Gallai's Theorem

The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

On a certain generalization of the Balog-Szemeredi-Gowers Theorem

Regular types and order of vanishing along a set of non-integrable vector fields

A Generalized Lévy-Khintchine Theorem

On a theorem of Lafforgue

A Combinatorial Proof of a generalization of a Theorem of Frobenius

A unified proof of Brooks' theorem and Catlin's theorem

Towards solid abelian groups: A formal proof of Nöbeling's theorem

The main theorem of the Galois theory proven with ideas from the first Mémoire of Galois

Generalizations of the primitive and normal basis theorems

General Elementary Direct Proof of Fermat's Last Theorem

A Special Theorem Related to the Fagnano's Problem

Generalizations of a theorem about the binomial coefficient

Some Generalizations of a Combinatorial Identity of L. Vietoris

Hard Proofs and Good Reasons

On a Possible Generalization of Fermats Last Theorem

Realizing Galois representations in abelian varieties by specialization