Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Asymptotics for the harmonic descent chain and applications to critical beta-splitting trees
Motivated by the connection to a probabilistic model of phylogenetic trees introduced by Aldous, we study the recursive sequence governed by the rule $x_n = \sum_{i=1}^{n-1} \frac{1}{h_{n-1}(n-i)} x_i$ where $h_{n-1} = \sum_{j=1}^{n-1} 1/j$, known as the harmonic descent chain. While it is known that this sequence converges to an explicit limit $x$, not much is known about the rate of convergence. We first show that a class of recursive sequences including the above are decreasing and use this to bound the rate of convergence. Moreover, for the harmonic descent chain we prove the asymptotic $x_n - x = n^{-γ_* + o(1)}$ for an implicit exponent $γ_*$. As a consequence, we deduce central limit theorems for various statistics of the critical beta-splitting random tree. This answers a number of questions of Aldous, Janson, and Pittel.
Enumeration of regular multipartite hypergraphs
We determine the asymptotic number of regular multipartite hypergraphs, also known as multidimensional binary contingency tables, for all values of the parameters.
Certified computations on no-three-in-line problems: exact values and witnesses in the cube, and the Guy-Kelly count in the plane
We report certified computations on four no-three-in-line questions, two in the cube and two in the plane, by one method: exact decision procedures inside symmetry strata, every witness re-verified by a second program sharing no code, every number traced to a public journal. (I) Let a(n) be the largest number of points of {0,...,n-1}^3 with no three collinear (A399138). We determine a(1),...,a(6) = 1, 8, 16, 28, 40, 64 with DRAT-certified unsatisfiability proofs, give certified lower bounds a(7) >= 73, a(8) >= 94, a(9) >= 116, a(10) >= 138, a(11) >= 164, and prove a(p) >= p^2 for every prime p. The optima share a layer structure 2n^2 - 2n + 4 that provably fails at n = 5 and n = 7. (II) For b(n), the largest number with no four coplanar (A280537), nineteen public configurations give lower bounds for 9 <= n <= 29, four of which improve the known bounds and their monotone closure (b(12) >= 31, b(21) >= 47, b(22) >= 49, b(27) >= 56); the cyclically invariant subspace has maximum 23 at n = 9 and 26 at n = 10; four kinds of symmetry are incompatible with the problem; no upper bound beyond 3n is known. (III) The Guy-Kelly first-moment heuristic for the plane is audited against exact counts (A000755 to n = 20): its corrected constant comes out in closed form, pi/sqrt(3), the threshold crossing n = 493 is reproduced, and its error is shown to depend on the shape of the question rather than on n alone, with an unbounded multiplier; whether the residual error is Theta(n) or Theta(n ln n), which decides whether the constant survives, cannot be told by counting, and we measure how far from telling we are. (IV) The direction spectrum of the 2n-point solutions is measured, and a line model with no fitted parameter reproduces its shape (fifteen constants within 12%, seven predicted blind) but not its scale. Withdrawn claims are kept in the text; each part states what it does not establish.
Ramsey theory and topological dynamics of 0-dimensional flows
We introduce several Ramsey-theoretic properties of 0-dimensional ambits and obtain their dynamical characterizations. In consequence, we obtain Ramsey-theoretic criteria for triviality and for profiniteness of some important invariants (in particular, of the Ellis groups) of the ambits in question. This yields a criterion for the structural property that each distal minimal factor of the given ambit is a profinite flow. Another result is a criterion for metrizability of the minimal left ideals in the Ellis semigroup.
Then we study three specializations of the above abstract context: to first order theories, to definable groups, and to the classical Kechris-Pestov-Todorčević theory, recovering known and obtaining new results in each of these contexts.
Stable Regularity Lemmas: Efficient Algorithms and Essentially Tight Littlestone Bounds
In this paper, we determine the precise asymptotics of the number of parts of stable regularity equipartitions in terms of the Littlestone dimension: every graph $G$ of Littlestone dimension $\operatorname{Lit}(G)\leq\ell$ has a regular equipartition into excellent sets with $(1 + o_{ε\to 0,\ell}(1))\cdotε^{-\ell-1}$ parts and in the other direction, for every $\ell\in\mathbb{N}_+$, there is an infinite family of graphs, all of Littlestone dimension $\ell$, whose equipartitions into good sets must have size at least $(1 + o_{ε\to 0,\ell}(1))\cdotε^{-\ell-1}$.
Dropping the equitability condition, we determine the asymptotics of non-equitable partitions up to a multiplicative $\log(1/ε)$: every graph $G$ with $\operatorname{Lit}(G)\leq\ell$ has a regular partition into excellent sets with $(1 + o_{ε\to 0,\ell}(1))\cdotε^{-\ell}\cdot\ln(1/ε)$ parts and in the other direction, for every $\ell\in\mathbb{N}_+$, there is an infinite family of graphs, all of Littlestone dimension $\ell$, whose partitions into good sets must have size at least $(1 + o_{ε\to 0,\ell}(1))\cdotε^{-\ell}$.
We also show that such partition can be obtained algorithmically efficiently in an approximation scheme fashion: replacing the $o_{ε\to 0,\ell}(1)$ term above by a constant $c > 0$, we obtain randomized $O_{c,ε,\ell}(n\cdot\log(n))$-time algorithms for partitions/equipartitions into good sets, a deterministic $O_{c,ε,\ell}(n^2)$-time algorithm for partitions into good sets, a deterministic $O_{c,ε,\ell}(n^6)$-time algorithm for equipartitions into good sets, a deterministic $O_{c,\ell,ε}(1)\cdot n^{O(\ell\cdot 2^{2\cdot\ell+4})}$-time algorithm for partitions/equipartitions into excellent sets, and $O_{c,ε,\ell}(\log(n+1))$-space algorithms for partitions/equipartitions into good/excellent sets.
Subspace coverings and generalized covering radii of generalized Zetterberg codes
Generalized covering radii measure how many columns of a parity-check matrix are needed to generate several syndromes simultaneously. Their finite-geometric counterparts are $(ρ,t)$-saturating sets, for which every $t$-dimensional subspace is contained in a subspace generated by at most $ρ$ prescribed vectors. We investigate this covering problem for the norm-one configurations associated with generalized Zetterberg codes. We establish the upper bound $2t+1$ over every nonbinary finite field and in an explicit binary range, together with complementary lower bounds obtained by counting subspaces and constructing subfield obstructions. For an explicit range of large $t$, these configurations are $t$-strong blocking sets, and the $t^{\rm th}$ generalized covering radius attains its minimum possible value $t$. For binary Zetterberg codes, we determine the second generalized covering radius in every extension degree and prove that the third radius is seven for an infinite subfamily.
Brauer-Kuroda relations for ramified graph covers
We establish graph-theoretic analogues of the Brauer-Kuroda relations for ramified Galois covers of finite graphs with arbitrary finite Galois groups. These formulas relate the numbers of spanning trees of intermediate quotient graphs and recover the corresponding formulas for unramified covers. Our proofs use $h$-functions defined on multiplicity spaces of complex representations of the Galois group.
Deletion thresholds and exponential examples for complete sequences
We prove that the pairs of integers $0\le m<n$ for which a nondecreasing integer sequence can remain complete after every deletion of $m$ terms and become incomplete after every deletion of $n$ terms are exactly those with $m\le1$. Here a sequence is complete if every sufficiently large integer is a finite sum of terms with distinct indices. This answers Erdős Problem 348, posed by Graham and later included in the book of Erdős and Graham. The proof uses a central-interval theorem: if a complete nondecreasing positive integer sequence $(a_i)$ has prefix sums $S_j$ with $S_j-a_{j+1}\to\infty$, then each sufficiently long prefix represents every integer from any fixed completeness threshold $T$ to $S_j-T$. We also refute Graham's conjecture, later repeated by Erdős and Graham, that $(\lfloor tγ^n\rfloor)_{n\ge1}$ is complete for every $t>0$ and $1<γ<(1+\sqrt5)/2$. We obtain the counterexample by combining Dubickas's fractional-part theorem with an elementary sign adjustment. For a common base in this range, we further construct two such sequences whose interleaving is incomplete and whose coefficient ratio is not a rational multiple of any integer power of the base.
More (shifted) runners, less loneliness
The shifted lonely runner conjecture was recently disproved by Blanco, Criado and Santos. We give quantitative bounds on its failure as the number of runners grows. The loneliness of a configuration is the maximum, over time, of the distance from the origin to the nearest runner. We write $1/(n+1+E_n)$ for the infimum of loneliness over configurations of $n$ runners on the unit circle with distinct positive integer velocities and arbitrary initial shifts. We prove $E_n\ge\lfloor n/287\rfloor$, which together with the elementary bound $E_n\leq n-1$ implies that $E_n$ grows linearly in $n$. We also show that $E_n\geq1$ for every $n\geq95$.
Fractional illumination and the optimal exponential rate in Hadwiger's covering conjecture
We show that the fractional illumination number of every convex body in $\mathbb{R}^d$ is at most $2^d$, with equality exactly for parallelotopes. We also prove that every such body can be covered by at most $2^d(d\log d+d\log\log d+O(d))$ smaller positive homothetic copies as $d\to\infty$, establishing the optimal exponential rate in Hadwiger's covering conjecture. The proofs use a covering measure obtained by minimizing an overlap energy and a greedy covering argument on a finite net.
$1$-cross intersecting set pair systems are small
A set pair system $\{(A_i,B_i)\}_{i=1}^m$ is $1$-cross intersecting if $|A_i \cap B_i|=0$ for all $i$ and $|A_i \cap B_j| = 1$ whenever $i \neq j$. Let $m(a,b,1)$ denote the maximum size $m$ of a $1$-cross intersecting set pair system $\{(A_i,B_i)\}_{i=1}^m$ where $|A_i| \leq a$ and $|B_i| \leq b$ for all $i$. We prove a conjecture of Füredi, Gyárfás, and Király [Combin. Probab. Comput. 32 (2023)] that asserts $m(n,n,1)/\binom{2n}{n} \to 0$ as $n \to \infty$.
Kadison--Singer partitions and Bilu--Linial graph signings in polynomial time
We prove two main algorithmic results in spectral discrepancy. First, we give a deterministic polynomial-time rounding theorem for rational positive semidefinite matrices of arbitrary rank. The algorithm starts from any rational fractional signing and assigns one sign per original matrix. Its discrepancy is less than $3.37\,\|\sum_i \mathrm{Tr}(A_i)A_i\|^{1/2}$. This yields Kadison--Singer half-partitions with error below $1.69\sqrt{\varepsilon}$, as well as deterministic graph signings that control signed adjacency and signed degrees simultaneously. The proof builds on the spectral-potential method of Ezeunala and Jiang (2026) and introduces a new way to choose rounding directions. We prove polynomial bit complexity for the rounding procedure.
Second, we give a Las Vegas algorithm for the Bilu--Linial signing problem on an arbitrary prescribed graph. If $G$ has $n$ vertices and maximum degree $Δ\ge3$, the algorithm terminates almost surely. It uses fewer than $100n^3$ insertion attempts in expectation and returns a signing with $\|A_s\|<2\sqrt{2(Δ-1)}$. For bipartite graphs its one-sided form gives the sharp universal bound $\|A_s\|<2\sqrt{Δ-1}$. The algorithm builds the signing by inserting vertices and recursively deleting and restoring neighbors after rejected insertions. In the analysis, the $\sqrt2$ gap to the Bilu--Linial conjecture comes from a factor of two in the bound for vertex deletions in the two-sided case. On a $d$-regular bipartite Ramanujan base the same signing produces a Ramanujan $2$-lift of that prescribed base.
Edge complexity of weighted graphs: involutory symmetries and NP-hardness
The edge complexity of a weighted graph is the smallest ratio of the Fourier $\ell^1$ and $\ell^2$ norms of its adjacency matrix over all vertex labelings. We study the difficulty of finding this minimum by relating it to a graph symmetry. Adding a universal vertex with sufficiently large incident weight produces an explicit Fourier $\ell^1$ lower bound. We show that equality holds exactly when the source graph has a fixed-point-free involutory automorphism. Two-sided estimates compare the excess above this bound with the squared Frobenius distance to the nearest weighted graph having such a symmetry. For sources of constant weighted degree, these estimates determine the exact leading term as the added weight tends to infinity. A stronger separation for simple source graphs proves that additive $\frac{1}{256N^{\frac{7}{2}}}$ approximation of weighted edge complexity is NP-hard, even on connected graphs of odd order $N$ with at most two distinct positive integer weights, each at most $N^2$. We also prove that recognizing a simple graph with a real Fourier labeling is NP-complete. A seven-vertex example shows that every minimizing labeling can have nonreal Fourier coefficients even when real Fourier labelings exist. An exact rational certificate for this example is included in the appendix.
Sensitivity and Block Sensitivity of Elementary Symmetric Boolean Functions of Arbitrary Degree
Let $σ_{n,d}$ denote the elementary symmetric Boolean function of $n$ variables and degree $d$. We completely determine the sensitivity, average sensitivity, and block sensitivity of $σ_{n,d}$ for every $1\le d\le n$. Using Lucas' theorem, we obtain a uniform binary description of the Hamming-weight value sequence, from which the sensitivity and average-sensitivity formulas follow and the computation of block sensitivity reduces to at most four explicit candidates. Combining these results with the arbitrary-degree formula for certificate complexity, we determine the exact relations among sensitivity, block sensitivity, and certificate complexity.
We also prove a general result for symmetric Boolean functions: every nonconstant symmetric Boolean function $f$ satisfies \[
\bs(f)\le \max\{s(f),C(f)-1\}. \] Consequently, only the three patterns \[
s=\bs=C,\qquad s=\bs<C,\qquad s<\bs<C \] can occur for nonconstant symmetric Boolean functions. For elementary symmetric Boolean functions, we give necessary and sufficient conditions for each of these three patterns, thereby completely classifying the relations among $s(σ_{n,d})$, $\bs(σ_{n,d})$, and $C(σ_{n,d})$. In particular, we obtain a necessary and sufficient characterization of the full strict hierarchy \[
s(σ_{n,d})<\bs(σ_{n,d})<C(σ_{n,d}), \] and exhibit infinite families for which it holds.
Proof of Almkvist's conjecture on the unimodality of partition polynomials
For integers $r\ge2$ and $n\ge1$, let $$ F_{r,n}(q)=\prod_{k=1}^{n}\frac{1-q^{rk}}{1-q^k}. $$ The coefficient of $q^j$ in \(F_{r,n}(q)\) counts partitions of $j$ into parts at most $n$, each occurring at most $r-1$ times. Hughes proved that $F_{2,n}(q)=\prod_{k=1}^{n}(1+q^k)$ is unimodal for every $n\ge 1$. This result was reproved by Stanley using an algebraic approach and Odlyzko and Richmond using an analytic approach. Almkvist conjectured that $F_{r,n}(q)$ is unimodal in the following two cases: every even $r$ and every $n\ge 1$; every odd $r$ and every $n\ge 11$. He proved that this conjecture is true for $3\le r \le 20$ and $r=100,101$. In this paper, we completely settle the conjecture.
Arc Kayles is PSPACE-complete
We show that Arc Kayles is PSPACE-complete. This solves a question raised by Schaefer in 1978.
On convex spiral equicoverings of masses
Convex spiral equicoverings were recently introduced by Espinosa-García, Martínez-Sandoval and Roldán-Pensado. They left open the question of whether every planar mass admits a convex $(3k,k+1)$-spiral equicovering. In this paper we give an affirmative answer to this question. To be precise, we prove the following: Given an integer $k \ge 2$, for every planar mass there is a fan consisting of $3k$ equal-mass sectors such that the union of every $k+1$ consecutive sectors is convex.
A Phase Transition for Small Dense Subhypergraphs
The local--global principle, which concerns the relationship between local structure and global parameters, has attracted considerable attention in extremal combinatorics over the past few decades. In this paper, we study how global density forces small dense subhypergraphs in uniform hypergraphs. For fixed $r\ge3$ and $s>1$, let $t_r(n,d,s)$ be the smallest integer $t$ such that every $n$-vertex $r$-graph of average degree at least $d$ contains a nonempty subhypergraph on at most $t$ vertices with average degree at least $s$. We show that the behavior of $t_r(n,d,s)$ undergoes a phase transition at $s=mainr/(r-1)$. We determine $t_r(n,d,s)$ and obtain asymptotically sharp bounds in several parameter regimes. This answers, up to polylogarithmic factors, a question of Feige and Wagner that was later restated as Problem~3.3 by Janzer, Sudakov and Tomon. In particular, when $r=3$ and $s=2$, our result implies a conjecture of Feige.
Prime and Cohen-Macaulay ideals of 2-minors with linear resolution
Prime and Cohen-Macaulay ideals of 2-minors of matrices of variables with linear resolution are classified.
Sylvester simplices: Triangulations and Ehrhart-theoretic aspects
The Sylvester simplex $\mathsf{Sylv}_d^k$ is a $d$-dimensional lattice simplex with exactly $k$ interior lattice points. Sylvester simplices are conjectured to be the volume maximizers among all $d$-dimensional lattice polytopes with exactly $k$ interior lattice points for any $k\geq 1$. Even stronger, it is conjectured that they maximize (entry-wise) the $h^\ast$-vector among all $d$-dimensional lattice polytopes with exactly $k$ interior lattice points. Yet, Sylvester simplices seem to be rarely studied in their own right. In particular, their Ehrhart-theoretic properties are far from being well understood.
In the present article, we tackle this problem. We describe flag, regular and unimodular triangulations for the Sylvester simplices, and prove that their $h^\ast$-vectors are unimodal. Moreover, we explicitly determine the values of some entries of their $f^\ast$-vectors, and prove that they are Ehrhart magic positive up to dimension $6$ but not in dimension $7$. We conclude by detailing tables of Ehrhart-theoretic quantities (numbers of lattice points, Ehrhart polynomials, local and boundary $h^\ast$-vectors, $f^\ast$-vectors) for Sylvester simplices of dimensions 7 and lower.