An inductive proof of the Bollobás two family theorem

Sayan Goswami

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

2022-10-31

Abstract:Inspired by the inductive proof of LYM-inequality given by P. Frankl, we provide an inductive proof of the Bollobás two family theorem.

Combinatorics

What problem does this paper attempt to address?

A Proof of a Conjecture of Marino-Vafa on Hodge Integrals

CCM Liu,KF Liu,R Zhou

DOI: https://doi.org/10.4310/jdg/1090511689

2003-01-01

Journal of Differential Geometry

Abstract:We prove a remarkable formula for Hodge integrals conjectured by Marino andVafa based on large N duality, using functorial virtual localization on certainmoduli spaces of relative stable morphisms.
On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Kefeng Liu,Pan Peng

DOI: https://doi.org/10.4310/jdg/1292940692

2010-01-01

Mathematical Research Letters

Abstract:We outline a proof of a remarkable conjecture of Labastida-Mari{\~n}o-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topological invariants. Our method is based on the cut-and-join analysis and a special rational ring characterizing the structure of the Chern-Simons partition function.
Some new Bollobás-type inequalities

Erfei Yue

2024-06-29

Abstract:A family of disjoint pairs of finite sets $\mathcal{P}=\{(A_i,B_i)\mid i\in[m]\}$ is called a Bollobás system if $A_i\cap B_j\neq\emptyset$ for every $i\neq j$, and a skew Bollobás system if $A_i\cap B_j\neq\emptyset$ for every $i<j$. Bollobás proved that for a Bollobás system, the inequality \begin{equation*} \sum_{i=1}^m\binom{|A_i|+|B_i|}{|A_i|}^{-1}\leq 1 \end{equation*} holds. Hegedüs and Frankl generalized this theorem to skew Bollobás systems with the inequality \begin{equation*} \sum_{i=1}^m\binom{|A_i|+|B_i|}{|A_i|}^{-1}\leq 1+n, \end{equation*} provided $A_i,B_i\subseteq [n]$. In this paper, we improve this inequality to \begin{equation*} \sum_{i=1}^m \left((1+|A_i|+|B_i|) \binom{|A_i|+|B_i|}{|A_i|}\right)^{-1} \leq 1 \end{equation*} with probabilistic method. We also generalize this result to partitions of sets on both symmetric and skew cases.

Combinatorics
A Bollobáss-type theorem on singular linear spaces

Erfei Yue,Benjian Lv,Péter Sziklai,Kaishun Wang

2024-08-11

Abstract:Bollobás-type theorem determines the maximum cardinality of a Bollobás system of sets. The original result has been extended to various mathematical structures beyond sets, including vector spaces and affine spaces. This paper generalizes the Bollobás-type theorem to singular linear spaces, and determine the maximum cardinality of (skew) Bollobás systems on them.

Combinatorics
Two new proofs of partial Godbersen's Conjecture

Lin Cheng

2024-06-05

Abstract:Two new proofs are provided, offering two new perspectives on Godbersen's conjecture. One of the proofs utilizes Helly's theorem to provide a concise and elegant proof of the inequality in Godbersen's conjecture. The other proof utilizes the Brunn-Minkowski inequality to provide a completely new proof of the inclusion $-K\subset nK$ for convex bodies $K$ with centroid at the origin, thereby proving Godbersen's conjecture.

Metric Geometry,Combinatorics
Inductive proof of Borchardt's theorem

Andy A. Chavez,Alec P. Adam,Paul W. Ayers,Ramón Alain Miranda-Quintana

DOI: https://doi.org/10.1007/s10910-023-01561-w

2024-01-12

Journal of Mathematical Chemistry

Abstract:We provide a (strong) inductive proof of Borchardt's theorem for calculating the permanent of a Cauchy matrix via the determinants of auxiliary matrices. This result has implications for antisymmetric products of interacting geminals (APIG), and suggests that the restriction of the APIG coefficients to Cauchy form (typically called APr2G) is special in its tractability.

chemistry, multidisciplinary,mathematics, interdisciplinary applications
Proof of Two Multivariate -Binomial Sums Arising in Gromov--Witten Theory

Universit,Christian Krattenthaler,#228,t Wien, Austria

DOI: https://doi.org/10.3842/sigma.2024.089

2024-11-08

Symmetry Integrability and Geometry Methods and Applications

Abstract:We prove two multivariate -binomial identities conjectured by Bousseau, Brini and van Garrel [Geom. Topol. 28 (2024), 393-496, arXiv:2011.08830] which give generating series for Gromov-Witten invariants of two specific log Calabi-Yau surfaces. The key identity in all the proofs is Jackson's -analogue of the Pfaff-Saalschütz summation formula from the theory of basic hypergeometric series.

physics, mathematical
Graphical proof of Ginibre's inequality

Yuki Tokushige

2024-10-31

Abstract:In this short note, we will give a new combinatorial proof of Ginibre's inequality for XY models. Our proof is based on multigraph representations introduced by van Engelenburg-Lis (2023) and a new combinatorial bijection.

Probability,Mathematical Physics
Two bijections in the spirit of the transformation fondamentale

Umesh Shankar

2024-04-02

Abstract:In this short paper, we give bijective proofs of two recent equidistribution results connecting cyclic and linear statistics in the spirit of the Foata's ``transformation fondamentale''.

Combinatorics
The relative Green-Griffiths-Lang conjecture for families of varieties of maximal Albanese dimension

Yohan Brunebarbe

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

2023-05-16

Algebraic Geometry

Abstract:We propose a generalization of the Green-Griffiths-Lang conjecture to the relative setting and prove that a strong form of it holds for families of varieties of maximal Albanese dimension. A key step of the proof consists in a truncated second main theorem type estimate in Nevanlinna theory for families of abelian varieties.
A Simple Number Theoretic Result

Manjil P. Saikia,Jure Vogrinc

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

2012-07-28

Abstract:We derive an interesting congruence relation motivated by an Indian Olympiad problem. We give three different proofs of the theorem and mention a few interesting related results.

Number Theory
A generalization of Boole's formula derived from a system of linear equations

Haoran Zhu

2024-03-25

Abstract:We analyze a system of linear algebraic equations whose solutions lead to a proof of a generalization of Boole's formula. In particular, our approach provides an elementary and short alternative to Katsuura's proof of this generalization.

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
A dynamical version of Silverman-Tate's height inequality

Debam Biswas,Zhelun Chen

2024-04-03

Abstract:In the paper "Uniformity of Mordell-Lang" by Vesselin Dimitrov, Philipp Habegger and Ziyang Gao (<a class="link-https" data-arxiv-id="2001.10276" href="https://arxiv.org/abs/2001.10276">arXiv:2001.10276</a>), they use Silverman-Tate's Height Inequality and they give a proof of the same which makes use of Cartier divisors and hence drops the flatness assumption of structure morphisms of compactified abelian schemes. However, their proof makes use of Hironaka's theorem on resolution of singularities which is unknown for fields of positive characteristic. We try to slightly modify their ideas, use blow-ups in place of Hironaka's theorem to make the proof effective for any fields with product formula where heights can be defined and any normal quasi-projective variety as a base. We work in the more general set up of dynamical systems. As an application we prove certain variant of Silverman's Specialization Theorem with restricted hypotheses in higher dimensional bases.

Number Theory,Algebraic Geometry
An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications

Henri Johnston,Andreas Nickel

2024-12-07

Abstract:Let $p$ be an odd prime. We give an unconditional proof of the equivariant Iwasawa main conjecture for totally real fields for every admissible one-dimensional $p$-adic Lie extension whose Galois group has an abelian Sylow $p$-subgroup. Crucially, this result does not depend on the vanishing of any $\mu$-invariant. As applications, we deduce the Coates-Sinnott conjecture away from its $2$-primary part and new cases of the equivariant Tamagawa number conjecture for Tate motives.

Number Theory
One more proof of the Abhyankar-Moh-Suzuki theorem

Shulim Kaliman

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

2016-06-06

Algebraic Geometry

Abstract:We extract the Abhyankar-Moh-Suzuki theorem from the Lin-Zaidenberg theorem.
A short proof of an identity related to Type IV superorthogonality

Yixuan Pang

2024-04-14

Abstract:We provide a much shorter but even more powerful proof of an algebraic identity, which can be used to establish the direct and the converse inequality under Type IV superorthogonality. As an application, we obtain the optimal order of the formal constant in the direct inequality. This order turns out to be also sharp for Type III superorthogonality. When $p\geq 2$, our result recovers the optimal order of the constant in the Burkholder-Gundy inequality in martingale theory, and also recovers the currently best order of the constant in the reverse Littlewood-Paley inequality. We also introduce variants of Type IV superorthogonality, under which we prove the converse inequality.

Combinatorics
About Füredi's conjecture

Gábor Hegedüs

2024-06-10

Abstract:Let $t$ be a non-negative integer and $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ be a set-pair family satisfying $|A_i \cap B_i|\leq t$ for $1\leq i \leq m$. $\mbox{$\cal P$}$ is called strong Bollobás $t$-system, if $|A_i\cap B_j|>t$ for all $1\leq i\neq j \leq m$. Füredi conjectured the following nice generalization of Bollobás' Theorem: Let $t$ be a non-negative integer. Let $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ be a strong Bollobás $t$-system. Then $$ \sum_{i=1}^m \frac{1}{|A_i|+|B_i|-2t \choose |A_i|-t}\leq 1. $$ We confirmed the following special case of Füredi's conjecture along with some more results of similar flavor. Let $t$ be a non-negative integer. Let $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ denote a strong Bollobás $t$-system. Define $a_i:=|A_i|$ and $b_i:=|B_i|$ for each $i$. Assume that there exists a positive integer $N$ such that $a_i+b_i=N$ for each $i$. Then $$ \sum_{i=1}^m \frac{1}{a_i+b_i-2t \choose a_i-t}\leq 1. $$

Combinatorics
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

An inductive proof of the Bollobás two family theorem

A Proof of a Conjecture of Marino-Vafa on Hodge Integrals

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Some new Bollobás-type inequalities

A Bollobáss-type theorem on singular linear spaces

Two new proofs of partial Godbersen's Conjecture

Inductive proof of Borchardt's theorem

Proof of Two Multivariate -Binomial Sums Arising in Gromov--Witten Theory

Graphical proof of Ginibre's inequality

Two bijections in the spirit of the transformation fondamentale

The relative Green-Griffiths-Lang conjecture for families of varieties of maximal Albanese dimension

A Simple Number Theoretic Result

A generalization of Boole's formula derived from a system of linear equations

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

A dynamical version of Silverman-Tate's height inequality

An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications

One more proof of the Abhyankar-Moh-Suzuki theorem

A short proof of an identity related to Type IV superorthogonality

About Füredi's conjecture

A Generalized Lévy-Khintchine Theorem