Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Congruences modulo powers of $3$ for generalized Frobenius partitions $CΨ_{6,0}$
Published
• View Publication
• BIB
In 1984, Andrews introduced the family of partition functions $cφ_k(n)$, the number of generalized Frobenius partitions of $n$ with $k$ colors. We have proved a conjecture on congruences modulo powers of 3 for $cφ_6(n)$ before. In this paper, we establish a connection between $CΨ_{6,3}$ and $CΨ_{6,0}$ via an Atkin-Lehner involution and prove congruences modulo powers of 3 for $cψ_{6,0}(n)$.
On the inverse limits of finite posets
In this paper, we show that any finite simplicial complex is homeomorphic to the inverse limit of a sequence of finite posets, which is an extension of Claders result.
On better-quasi-ordering under graph minors
In the aftermath of the Robertson--Seymour Graph Minor Theorem, Thomas conjectured that the countable graphs are well-quasi-ordered under the minor relation. We prove that this conjecture, when restricted to graphs with no infinite paths (rays), is equivalent to the statement that the finite graphs are better-quasi-ordered, another well-known open problem. Even more, we prove that the latter implies that the countable rayless graphs are better-quasi-ordered.
We prove several other statements to be equivalent to the above, one of which being that the rayless countable graphs of rank $α$ can be decomposed into exactly $\aleph_0$ minor-twin classes for every ordinal $α<ω_1$.
By restricting the latter statement to trees, and combining it with Nash-Williams' theorem that the infinite trees are well-quasi-ordered, we deduce as a side result that a minor-closed family of N-labelled rayless forests is Borel -- in the Tychonoff product topology -- if and only if it does not contain all rayless forests.
As another side-result, we prove Seymour's self-minor conjecture for rayless graphs of any cardinality.
Asymptotic Ramsey theory of Diophantine equations
We introduce the notion of asymptotic partition regularity for Diophantine equations. We show how this notion is at the core of almost all known negative results in the Ramsey theory of equations, and we use it to produce new ones, as in the case of Fermat-Catalan equations. The methods we use here are based on translating asymptotic partition regularity into the context of nonstandard extensions, via the notion of Archimedean equivalence classes of hypernaturals.
Knuth's big-chooser matchbox process: the case of many matchboxes
Published
• View Publication
• BIB
Banach's matchbox problem considers the setting of two matchboxes that each initially contain the same number of matches. Boxes are chosen with equal probability and a match removed each time. The problem concerns the law of the number of matches remaining in one box once the other box empties. Knuth considered a generalization of this problem whereby `big-choosers' arrive with probability $p$ and remove a match from the box with the most number remaining, and `little-choosers' arrive with probability $1-p$ and remove a match from the box with the least number remaining.
In this paper we consider Knuth's generalization for the case of $k$ matchboxes. We determine the generating function for the expected number of matches remaining in $k-1$ matchboxes once a box first empties, a quantity we refer to as the `residue'. Interestingly, this generating function is a quotient whose denominator contains a generating function for a special case of the Raney numbers. The form for this generating function allows us to give an expression for the expected residue in terms of a sum that involves diagonal state return probabilities, where a diagonal state is a configuration in which all matchboxes each contain the same number of matches. We use analytic techniques to determine the asymptotic behaviour of this expected value for all values of $p$, which involves the study of an asymmetric random walk.
We also consider the expected value of the order of the first return to a diagonal state and determine its asymptotic behaviour. The coefficients of the diagonal state probability generating function are shown to be related to `manila folder configurations in a filing cabinet', and we make this connection precise. This allows us to use known results for the enumeration of such manila folder configurations to give a closed form expression for the diagonal state return probabilities.
Geometric description of $d$-dimensional flows of a graph
A $d$-dimensional nowhere-zero $r$-flow on a graph $G$, an $(r,d)$-NZF from now on, is a flow where the value on each edge is an element of $\mathbb{R}^d$ whose (Euclidean) norm lies in the interval $[1, r-1]$. Such a notion is a natural generalization of the well-known concept of a circular nowhere-zero $r$-flow (i.e.\ $d = 1$). The minimum of the real numbers $r$ such that a graph $G$ admits an $(r, d)$-NZF is called the $d$-dimensional flow number of $G$ and is denoted by $φ_d(G)$. In this paper we provide a geometric description of some $d$-dimensional flows on a graph $G$, and we prove that the existence of a suitable cycle double cover of $G$ is equivalent, for $G$, to admit such a geometrically constructed $(r,d)$-NZF. This geometric approach allows us to provide upper bounds for $φ_{d-2}(G)$ and $φ_{d-1}(G)$, assuming that $G$ admits an (oriented) $d$-cycle double cover.
Escape of Mass of the $p$-Cantor Sequence
Let $p$ be a prime. In 2017, Kemarsky, Paulin, and Shapira (KPS) conjectured that any Laurent series over $\mathbb{F}_p$ exhibits full escape of mass with respect to any irreducible polynomial $P(t)\in\mathbb{F}_p[t]$. In 2025, this was shown to be false in the case $p=2$ and $P(t)=t$ by Nesharim, Shapira and the first named author. This work shows that for any odd prime $p$ and any irreducible polynomial $P(t)\in\mathbb{F}_p[t]$, the so-called $p$-Cantor sequence provides a counterexample to the aforementioned conjecture over $\mathbb{F}_p$. Furthermore, the concepts of maximal escape of mass and generic escape of mass are introduced. These lead to two natural variations of the KPS conjecture, both of which are shown to hold for all previous counterexamples.
Closed-Form Analysis and Extremal Bounds of Albertson and Sigma Indices in Trees with Prescribed Degree Sequences
This study explores the irregularity properties of trees with prescribed degree sequences by analyzing two prominent topological indices: the Albertson index and the sigma index.
With a particular emphasis on caterpillar trees -frequently used to model molecular chains- we derive a closed-form expression for the Albertson index: \[ \mathrm{irr}(\mathscr{C}(n,m)) = m(m+1)n - 2m + 2, \quad \text{for } n \geq 3. \] Furthermore, we establish extremal bounds for both indices across tree families characterized by fixed degree sequences. The results yield a unified analytical framework for comparing linear and quadratic irregularity measures, and provide new structural insights relevant to applications in chemical graph theory and extremal graph analysis.
Uniquely realizable crystalline structures
We construct infinite periodic versions of the stress matrix and establish sufficient conditions for periodic tensegrity frameworks to be globally rigid in $\mathbb{R}^d$ in the cases when the lattice is either fixed, fully flexible, or flexible with a volume constraint for the fundamental domain. For the fixed and fully flexible lattice variants, we also establish necessary and sufficient conditions for generic infinite periodic bar-joint frameworks to be globally rigid in $\mathbb{R}^d$. These results provide periodic versions of the fundamental results of Connelly, as well as Gortler, Healy and Thurston on the global rigidity of generic finite bar-joint frameworks.
Local limits of determinantal processes
Let $H_n$ be the row space of a signed adjacency matrix of a $C_4$-free bipartite bi-regular graph in which one part has degree $d(n)\to\infty$ and the other part has degree $k+1$ where $k\geq 1$ is a fixed integer. We show that the local limit as $n\to \infty$ of the determinantal process corresponding to the orthogonal projection on $H_n$ is a variant of a Poisson$(k)$ branching process conditioned to survive.
This setup covers a wide class of determinantal processes such as uniform spanning trees, Kalai's determinantal hypertrees, hyperforests in regular cell complexes, discrete Grassmanians, incidence matroids and more, as long as their degree tends to $\infty$.
A characterization of graphs of diameter two with fewer lines than vertices
In 2008 Chen and Chvátal conjectured that any metric space on n points has at least n lines, unless all the points belong to one line. Chv\atal proved in 2014 that this is indeed the case for metric spaces with distances 0, 1 and 2. In this work, we prove that there exists a family of ten graphs such that a metric space defined by a graph of diameter two has fewer lines than points if and only if the associated graph belongs to that family.
String graphs are quasi-isometric to planar graphs
We prove that for every countable string graph $S$, there is a planar graph $G$ with $V(G)=V(S)$ such that \[ \frac{1}{23660800}d_S(u,v) \le d_G(u,v) \le 162 d_S(u,v) \] for all $u,v\in V(S)$, where $d_S(u,v)$, $d_G(u,v)$ denotes the distance between $u$ and $v$ in $S$ and $G$ respectively. In other words, string graphs are quasi-isometric to planar graphs.
This theorem lifts a number of theorems from planar graphs to string graphs, we give some examples. String graphs have Assouad-Nagata (and asymptotic dimension) at most 2. Connected, locally finite, quasi-transitive string graphs are accessible. A finitely generated group $Γ$ is virtually a free product of free and surface groups if and only if $Γ$ is quasi-isometric to a string graph.
Two further corollaries are that countable planar metric graphs and complete Riemannian planes are also quasi-isometric to planar graphs, which answers a question of Georgakopoulos and Papasoglu. For finite string graphs and planar metric graphs, our proofs yield polynomial time (for string graphs, this is in terms of the size of a representation given in the input) algorithms for generating such quasi-isometric planar graphs.
Rational Exponents for Generalized Turán Numbers
The generalized Turán number $\text{ex}(n,H,\mathcal{F})$ denotes the maximum number of copies of $H$ in an $n$-vertex graph which contains no copies of any graph in a family $\mathcal{F}$ of graphs. The generalized rational exponents conjecture states that for every rational $r\geq 1$ there exist graphs $H,F$ such that $\text{ex}(n,H,\{F\})=Θ(n^r)$. We extend a result of Bukh and Conlon to show that for every non-empty graph $H$ on $v\geq 2$ vertices and every rational $r$ in the interval $[v-1,v]$ there exists a finite family $\mathcal{F}_r$ such that $\text{ex}(n,H,\mathcal{F}_r)=Θ(n^r)$.
On a refinement of the Ahlswede--Katona Theorem
Published
• View Publication
• BIB
A classical theorem of Ahlswede and Katona determines the maximum density of the $2$-edge star in a graph with a given edge density. Motivated by its application in hypergraph Turán problems, we establish a refinement of their result under the additional assumption that the graph contains a large independent set in which every vertex has high degree.
Improving $R(3,k)$ in just two bites
We present a random construction proving that the extreme off-diagonal Ramsey numbers satisfy $R(3,k)\ge \left(\frac12+o(1)\right)\frac{k^2}{\log{k}}$. This bound has been conjectured to be asymptotically tight, and improves the previously best bound $R(3,k)\ge \left(\frac13+o(1)\right)\frac{k^2}{\log{k}}$. In contrast to all previous constructions achieving the correct order of magnitude, we do not use a nibble argument.
Recognizing Leaf Powers and Pairwise Compatibility Graphs is NP-Complete
Published
• View Publication
• BIB
Leaf powers and pairwise compatibility graphs were introduced over twenty years ago as simplified graph models for phylogenetic trees. Despite significant research, several properties of these graph classes remain poorly understood. In this paper, we establish that the recognition problem for both classes is NP-complete. We extend this hardness result to a broader hierarchy of graph classes, including pairwise compatibility graphs and their generalizations, multi interval pairwise compatibility graphs.
Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof
Published
• View Publication
• BIB
We resolve a $1000 Erdős prize problem, complete with formal verification generated by a large language model.
In over a dozen papers, beginning in 1976 and spanning two decades, Paul Erdős repeatedly posed one of his "favourite" conjectures: every finite Sidon set can be extended to a finite perfect difference set. We establish that {1, 2, 4, 8, 13} is a counterexample to this conjecture.
During the preparation of this paper, we discovered that although this problem was presumed to be open for half a century, Marshall Hall, Jr. published a different counterexample three decades before Erdős first posed the problem. With a healthy skepticism of this apparent oversight, and out of an abundance of caution, we used ChatGPT to vibe code a Lean proof of both Hall's and our counterexamples.
Mixing time and isoperimetry in random geometric graphs
In this paper we study the mixing time of the simple random walk on the giant component of supercritical $d$-dimensional random geometric graphs generated by the unit intensity Poisson Point Process in a $d$-dimensional cube of volume $n$. With $r_g$ denoting the threshold for having a giant component, we show that for every $ε> 0$ and any $r \ge (1+ε)r_g$, the mixing time of the giant component is with high probability $Θ(n^{2/d}/r^{2})$, thereby closing a gap in the literature. The main tool is an isoperimetric inequality which holds, w.h.p., for any large enough vertex set, a result which we believe is of independent interest. Our analysis also implies that the relaxation time is of the same order.
Refined Absorption: A New Proof of the Existence Conjecture and its Applications to Extremal and Probabilistic Design Theory
Published
• View Publication
• BIB
We discuss the recently developed method of refined absorption and how it is used to provide a new proof of the Existence Conjecture for combinatorial designs. This method can also be applied to resolve open problems in extremal and probabilistic design theory while providing a unified framework for these problems. Crucially, the main absorption theorem can be used as a "black-box" in these applications obviating the need to reprove the absorption step for each different setup.
Counterexample to majority optimality in NICD with erasures
We asked GPT-5 Pro to look for counterexamples among a public list of open problems (the Simons ``Real Analysis in Computer Science'' collection). After several numerical experiments, it suggested a counterexample for the Non-Interactive Correlation Distillation (NICD) with erasures question: namely, a Boolean function on 5 bits that achieves a strictly larger value of $\mathbb{E}|f(z)|$ than the 5-bit majority function when the erasure parameter is $p=0.40.$ In this very short note we record the finding, state the problem precisely, give the explicit function, and verify the computation step by step by hand so that it can be checked without a computer. In addition, we show that for each fixed odd $n$ the majority is optimal (among unbiased Boolean functions) in a neighborhood of $p=0$. We view this as a little spark of an AI contribution in Theoretical Computer Science: while modern Large Language Models (LLMs) often assist with literature and numerics, here a concrete finite counterexample emerged.