sequence
7033 papers tagged with this keyword
Proofs and disproofs of some conjectures on zero-sum problems of new types
For integers $r\ge1$ and $n\ge2$, let $s_r(n)$ be the least $N$ such that every sequence of $N$ vectors in $\Z^r$, each nonzero modulo $n$, contains $n$ terms whose sum is zero modulo $n$ but nonzero modulo $n^2$. Let $w_r(n)$ be the corresponding least $N$ when any nonempty subsequence is allowed. These constants were introduced as zero-sum problems of new types by Z.-W. Sun. We prove $s_r(n)\ge(2^{r+1}-2)(n-1)+1$ by constructing an explicit sequence from a lattice polytope, \emph{disproving} his conjecture $s_2(n)=4n+1$ for $n\ge4$. We obtain $w_r(2)=2r+1$ by classifying all sequences avoiding such nonempty subsequences modulo $4$. We also \emph{prove} Sun's conjecture $w_2(n)=4n-3$ for $n=2^k3^\ell p$, where $p$ is a prime and $k,\ell\ge0$ are integers, by classifying the extremal sequences of length $4p-4$ modulo $p^2$ when $n=p$. For every fixed $n\ge2$, we prove $w_r(n)/s(\Z_n^r)=O_n(r^2/2^r)\to0$ as $r\to\infty$, where $s(\Z_n^r)$ is the classical Erdős-Ginzburg-Ziv constant, with an explicit threshold on $r$ for strict inequality. Thus, for every fixed modulus $n\ge2$, Sun's proposed equality fails for sufficiently large $r$.
The theory of $(λ,μ)$-fold factorizations of groups
Motivated by recent work on $λ$-fold near-factorizations by Kreher, Li, and Stinson (Designs, Codes and Cryptography, 2026), we introduce and systematically investigate $(λ,μ)$-fold factorizations as combinatorial structures with prescribed representation multiplicities. Such a factorization consists of two subsets of a finite group whose products represent each nonidentity element exactly $λ$ times and the identity exactly $μ$ times. These structures generalize $λ$-fold near-factorizations and provide a common framework for several families arising in combinatorial design theory, including strong external difference families with two equal-sized subsets, as well as binary sequence pairs with two-level correlation. Their associated $\{0,1\}$-matrices satisfy the Bridges-Ryser equation $XY=λ(J-I)+μI$, linking the factorization problem to a classical matrix framework for combinatorial designs. We establish the foundational theory of $(λ,μ)$-fold factorizations, provide two general constructions, and prove several nonexistence results for finite abelian groups.
Formalizing Flag Algebras in Lean
Razborov's flag algebra method is one of the most successful tools for proving asymptotic density inequalities in extremal graph theory. It reduces an inequality about all large graphs avoiding a forbidden pattern to finitely many algebraic conditions, and a certificate satisfying them can be found by semidefinite programming. We formalize the method for finite simple graphs in Lean 4, building on Mathlib. The formalization covers flags and their densities, the flag algebra as a quotient vector space, positive homomorphisms as limits of graph sequences, Razborov's random extensions, and the downward operator that averages out labels. On top of this theory, we build verified computation of flag densities and a tactic that turns certificates found by semidefinite programming into Lean proofs. The certificate serves only as candidate data; Lean checks every fact the proof uses.
With this development we verify seven Turán-type upper bounds. Adding lower-bound constructions proved in Lean yields the asymptotic form of Mantel's theorem and the asymptotic Erdős pentagon theorem $π(C_5;K_3)=24/625$; to our knowledge, the latter has not previously been formalized in a proof assistant. We also prove two inequalities of Goodman. All density theorems reported here depend only on the standard axioms of Lean's logic.
Formalization also led us to treat forbidden subgraphs with a different semantics. Instead of building a separate flag algebra for each forbidden family, we keep a single algebra of all graphs and impose the constraint only when interpreting an inequality, through randomly labeled limits of graphs satisfying it. We prove that this ensemble semantics yields the intended density bounds, and that a condition we call root-plantability characterizes when it agrees with the standard semantics.
A Randomized Approximation Algorithm for Doubly Free-Boundary Macdonald Processes
We construct an approximate sampler for finite doubly free-boundary Macdonald rail-yard processes with Macdonald, boundary, and edge parameters in $(0,1)$. The construction allows arbitrary finite sequences of additions and removals of horizontal or vertical strips and all four boundary types. It reverses a finite commutation--reflection history from a partition sequence whose entries are equal, with the common partition weighted by both boundaries. We derive local reconstruction kernels from the skew Cauchy, Littlewood, and branching identities. Bulk and boundary updates combine integer increments with conditional shape sampling at a prescribed size; same-sign swaps use finite conditional resampling.
For $K$ reflection periods and an initial partition-size cutoff $M$, the algorithm terminates almost surely and samples the resulting approximating law exactly. We prove total variation convergence to the target process as $K,M\to\infty$ and give explicit bounds for both truncation errors, decaying geometrically in the cutoffs for fixed input parameters. Under fixed parameter bounds, we also bound the expected operation count of direct enumeration in a unit-cost model.
We further construct an exact rejection sampler for the initial partition law without a size cutoff or evaluation of its normalizing constant. Using this sampler removes the size-truncation error, leaving only the error from the finite reflection history.
Multidimensional Szemerédi Theorem for Pairwise Independent Jointly Intersective Polynomials
We develop a new approach to the Joint Intersectivity Conjecture of Bergelson, Leibman, and Lesigne for commuting transformations. The conjecture asserts that the necessary divisibility condition is the only obstruction to polynomial multiple recurrence and, consequently, to the multidimensional polynomial Szemerédi theorem. We establish the conjecture for pairwise independent polynomials, obtaining the first general result for sequences of arbitrary length beyond the classical one-transformation setting. Our argument is inspired by the Furstenberg-Katznelson approach and its polynomial enhancement due to Bergelson-Leibman. Its main novelty, however, lies in the development of new techniques that allow us to bypass the use of the polynomial van der Waerden theorem, on which these methods traditionally rely, and for which no suitable analogue is currently available in our setting. In particular, we prove a Nil-Bohr returns theorem for compact extensions in systems with nilpotent structure, as well as a nil-plus-null decomposition for polynomial multicorrelation sequences that preserves joint intersectivity and positivity.
Prescribed and simultaneous failures of log-concavity in trees with perfect matchings
We construct trees with perfect matchings and independence sequences that fail log-concavity near the independence number $α$. For every integer $k\geq1$, one family fails at $α-k$ and has a witness of order $O(k^2\log(k+2))$. For every integer $t\geq2$, a single tree has simultaneous failures at $α-1,α-3,\ldots,α-(2t-1)$, with a witness of order $O(t^3)$. All these trees satisfy $α=N/2$, where $N$ is the number of vertices, and contradict Conjecture 4.2 of Ramos and Sun. A sufficient condition uses a fixed tree and the numbers of attached leaves. For fixed $k$ or $t$, explicit bounds give geometric decay of $a_j^2/(a_{j-1}a_{j+1})$ at these indices as the trees grow; $a_j$ counts independent $j$-sets. The proofs count independent sets by empty matching pairs. The Lean proof assistant checks formal proofs of the parameterized results and their quantitative bounds; exact 90- and 180-vertex examples illustrate the constructions.
Lattice Bruhat intervals are polytopal
For a Bruhat interval $[x,y]$ in an arbitrary Coxeter group which is a lattice, we give a type-uniform construction of a convex polytope whose complete face lattice realizes $[x,y]$. This gives a polytopal realization of the coincidence between classical Kazhdan--Lusztig polynomials for lattice Bruhat intervals and Stanley's toric $g$-polynomials. Consequently, the Kazhdan--Lusztig polynomial of a lattice Bruhat interval cannot have internal zeros, satisfies a multiplicative strengthening of monotonicity, and obeys the generalized upper bound theorem for polytopes. For lattice Bruhat intervals in finite Weyl groups, we explain the relation with the toric geometry of Richardson varieties and derive formulas for their local and global intersection cohomology, as well as a Boolean criterion for rational smoothness. We conjecture that the coefficients of these Kazhdan--Lusztig polynomials form an $M$-sequence.
Leading term strandings for webs
A web is a plane graph encoding an invariant vector in a tensor product of fundamental representations of a quantum group. A stranding of an $\mathfrak{sl}_n$ web is a system of colored oriented curves recording one monomial of the vector it encodes. This article focuses on identifying and constructing leading term strandings, those recording the leading term of a web's vector with respect to a lexicographic order on monomials. We show that every open strand of a leading term stranding is clockwise, so the boundary data of such a stranding is recorded by a row-strict tableau. From a row-strict tableau, we construct a web with a prescribed leading term, and the resulting webs form a web basis. This non recursive construction recovers Fontaine's bases and produces others. For $\mathfrak{sl}_3$ webs with no flat vertices, we identify a leading term stranding using the depths of the faces of the web. Finally, we ask whether any two strandings of a web are connected by a sequence of local moves called strand reversals. We answer this question affirmatively for $\mathfrak{sl}_3$, extending a known result for closed webs to webs with boundary; in particular, a leading term stranding of any $\mathfrak{sl}_3$ web is always reachable from an arbitrary stranding.
The Distribution of the Deepest Leaves in Binary Trees
We study the extreme local structure of plane binary trees through the limiting distribution of the number of leaves at maximum depth. For every $m\geq1$, we determine the limiting probability $κ^{[m]}$ that the deepest level contains $2m$ leaves. The resulting sequence is encoded by a generating function $K(y)$, obtained from a bivariate refinement of the Catalan iteration.
We show that, at the critical point of this iteration, a parabolic recurrence governs the marked generating functions. Using continuous iteration theory and a Fatou coordinate, we transform this recurrence into the functional equation $K((1+y/4)^2)=K(y)+4$, which describes the limiting law. Its singular behavior yields the exponential tail $κ^{[m]}\sim4^{-m+1}$. Numerical evaluation gives, e.g., $κ^{[1]}\approx0.7009$, $κ^{[2]}\approx0.2226$ and an average number of deepest leaves equal to $\hatκ=4κ^{[1]}\approx2.8037$.
Flips and Merge-Width in Sparse Graphs
A flip of a graph is obtained by complementing the edge relation within a set of vertices. Flips are typically used to separate vertices in a graph, by increasing the distances between them. We show that in $K_{t,t}$-free graphs, every short sequence of flips can be simulated by a short sequence of vertex deletions that achieves a similar degree of separation: distances in the resulting graph are, up to a factor of three, at least as large as those obtained after the flips.
This result provides a simple and uniform explanation of an emerging pattern in structural graph theory and finite model theory: the $K_{t,t}$-free fragment of a tameness notion for dense graphs often coincides with a tameness notion for sparse graphs. As immediate applications, we recover the following known equivalences. In the $K_{t,t}$-free setting, the dense notions (1) bounded shrub-depth, (2) bounded clique-width, (3) bounded flip-width, (4) monadic dependence, respectively, coincide with the sparse notions (1) bounded tree-depth, (2) bounded tree-width, (3) bounded expansion, and (4) no-where dense-ness.
Furthermore, we reprove the result by Dreier and Toruńczyk (STOC 2025) stating that $K_{t,t}$-free classes of bounded merge-width have bounded expansion. Our proof provides explicit bounds and is direct, as it shows how to construct strong coloring orders (witnesses of bounded expansion) from merge sequences (witnesses of bounded merge-width).
Along the way, we identify a new family of graph parameters, dubbed separation-width, that is sandwiched between the strong and weak coloring numbers, and is closely related to the merge-width parameters. We provide evidence that this family of graph parameters, apparently overlooked in the literature, may play a fundamental role in the study of sparse graphs.
Mutations of quivers with 2-cycles
We develop a mutation theory for quivers with oriented 2-cycles using a structure called a homotopy, defined as a normal subgroupoid of the quiver's fundamental groupoid. This framework extends Fomin-Zelevinsky mutations of 2-acyclic quivers and yields involutive mutations that preserve the fundamental groupoid quotient by the homotopy. It generalizes orbit mutations arising from quiver coverings and allows for infinite mutation sequences even when orbit mutations are obstructed. We further construct quivers with homotopies from triangulations of marked surfaces with colored punctures, and prove that flips correspond to mutations, extending the Fomin-Shapiro-Thurston model to the setting with 2-cycles.
The rational homology of independence complexes of Kneser graphs on triples
The independence complex of the Kneser graph $\KG(n,k)$ is the simplicial complex of pairwise intersecting families of $n$-subsets of $[2n+k]$; equivalently, it is a Vietoris--Rips complex of the $n$-subsets of $[2n+k]$ under the symmetric-difference metric. Feng and Wang asked whether, for $n=3$, its reduced homology is nontrivial only in dimensions $6$ and $9$, and conjectured the rank in dimension $9$. We answer the question affirmatively over the rationals and determine all the associated Betti numbers. For every $k\ge0$, the only nonzero reduced Betti numbers using rationals of $\Ind(\KG(3,k))$ are \[
β_6=\binom{k+5}{7}+29\binom{k+6}{7}
\qquad\text{and}\qquad
β_9=\binom{k+6}{6}. \] The proof uses an inductive decomposition based on a simplicial retraction and Barmak's star clusters, Dowker duality together with Jonsson's computation of the homology of complexes of graphs with bounded covering number, and a relative Mayer--Vietoris spectral sequence which reduces the problem to the six-element sets.
Exponential Local Search in Bounded-Occurrence MAX-CSP
We study the number of improving steps that local search may require for $(2,2,r)$-MCA (Maximum Constraint Assignment), a bounded-occurrence version of MAX-CSP with valued constraints in which every constraint involves at most two variables, every variable occurs in at most two constraints, and every variable takes one of $r$ values. We consider the flip neighborhood, where two assignments are neighbors if they differ in the value of exactly one variable; moving to such a neighbor is called a flip. Local search repeatedly performs improving flips, that is, flips that strictly increase the objective value, until a local optimum is reached.
Our main result is that $(2,2,5)$-MCA has the all-exp property: there is an infinite family of instances with initial assignments for which every sequence of improving flips ending in a local optimum has length exponential in the number of variables. Thus, on these instances, local search requires exponentially many steps regardless of which improving flip is chosen at each step. This is the first all-exp result for $(2,2,r)$-MCA for any value of $r$, and our result extends to every $r\ge 5$.
In contrast, for $(2,2,2)$-MCA every sequence of improving flips has length at most quadratic in the number of variables~\cite{Kaz2020,KCJ2020}. We give a short, direct proof of this result.
The Davenport constant of low-dimensional boxes
In this paper, we study the maximal length of a minimal zero-sum sequence over $\left[\!\left[ -m,m \right]\!\right]^d$ having a support of size $d+1$. When $d=2$, we find the exact value of this maximal length for all $m \ge 2$, as well as the exact structure of all extremal sequences for this problem. When $d=3$, we obtain lower and upper bounds that asymptotically match each other as $m$ tends to infinity. This allows us to improve on the best known lower bounds for the Davenport constant of low-dimensional boxes.
A note on the Slater$\unicode{x2013}$Vélez permutation
We study the greedy sequence of positive integers introduced by Slater and Vélez. They proved that it is a permutation of the positive integers but left open whether its sequence of consecutive absolute differences is also a permutation. We prove that it is.
Universal Shift Congruences for Weighted Permutation Sequences
The involution numbers $1,1,2,4,10,26,\ldots$ repeat modulo $3$, $5$ and $7$. We explain this, and many similar patterns, by one rule. Many sequences count permutations in which every cycle of length $m$ carries a weight $w_m$ (involutions, derangements, "sets of lists", and many others in the OEIS). Writing $A(n)$ for such a count, the rule is $A(n+k)\equiv A(n)A(k)$ modulo $\mathrm{lcm}(n,k)$. It generalizes our earlier proof of the case modulo $k$ for one such sequence, but now it holds for all weights at once, as a coefficientwise congruence between universal polynomials, and we find the largest modulus that works for the universal polynomials, $nk/\mathrm{rad}(\gcd(n,k))$, and show that nothing larger does. We then show that passing from $k$ to $pk$ behaves like raising to the $p$-th power modulo a high power of $p$, with a sharp exponent for the polynomials, which gives $A(p^r)\equiv(w_1+(p-1)w_p)^{p^{r-1}}$ modulo $p^r$ for odd $p$, and explains why the prime $2$ is special. A family of sequences defined by Lagrange inversion fits the same framework, which proves Bala's conjecture for the whole family (the single sequence A278070 had been proved earlier by an automated system) and the divisibility observed in the entries A251568 and A251569. As further applications we prove OEIS conjectures of Richman, Hanna, van Hoeij and Bala (A227937), and the theorems apply to 101 OEIS sequences, whose congruences are recorded in a supplementary catalogue. Higher-order versions of the content formula are treated in a separate paper.
K_1 of matroids
Using the geometric realization spectral sequence and the Serre spectral sequence, we compute $K_1(\operatorname{Mat}_*)$, the first K-theory group of the proto-exact category of pointed matroids, answering a question of Jun, Sistko and Wright.
A chain theorem for planar PM-compact bricks
A connected graph $G$ is matching covered if it contains at least one edge and every edge belongs to some perfect matching of $G$. A matching covered graph is a brick if it is 3-connected and after removing any two vertices, the resulting graph has a perfect matching. Bricks are the building blocks of matching covered graphs.
A brick $G$ is extremal if the incidence vectors of all perfect matchings are linearly independent over $\mathbb{R}$. Zhou et al. [On planar extremal nonsolid bricks, J. Graph Theory, 2026] proved that for every planar extremal brick $G$, there exists a sequence of planar extremal bricks $G_0,G_1,\dots,G_n$ such that the underlying graph of $G_n$ is an odd wheel, $G_0=G$, and each $G_i$ $(0\leq i < n)$ has a triangle $T_i$ such that $G_i/T_i = G_{i+1}$, where $G_i/T_i$ means contracting the triangle $T_i$ into a single vertex.
In this paper, the result of Zhou et al. is generalized to planar PM-compact bricks, a larger class of bricks including extremal bricks. We present a chain theorem for planar PM-compact bricks: for every planar PM-compact brick $G$, there exists a sequence of planar PM-compact bricks $G_0,G_1,\dots,G_n$ such that the underlying graph of $G_n$ is an odd wheel, $G_0=G$, and each $G_i$ $(0\leq i < n)$ contains a triangle $T_i$ such that $G_i/T_i = G_{i+1}$.
Categorified Cluster Structures on Coulomb Branches of Certain Star-Shaped Quivers
We study the quantized $K$-theoretic Coulomb branches of framed star-shaped quivers with central gauge dimension $n\geq2$, $r-1$ one-dimensional outer gauge vertices, and a one-dimensional framing at the central vertex. For $n=2$ and arbitrary $r\geq1$, and for every $n\geq2$ with $1\leq r\leq5$, we prove that the loop-graded Koszul-perverse heart is a monoidal categorification of the associated quantum cluster algebra over $\mathbb{Z}[v^{\pm1}]$. This quantum cluster algebra coincides with its upper quantum cluster algebra. For all $n\geq2$ and $r\geq1$, we construct an explicit initial seed and identify the associated upper quantum cluster algebra with the Grothendieck ring of this heart. Every mutation is realized by a short exact sequence, and every quantum cluster monomial is represented by a simple object.
Partition regularity of infinite parallelepiped sets
A proper infinite parallelepiped (IP) set in a semigroup is an infinite set consisting of a sequence $\myseq{a}$ and its finite sums, or a superset of such a set.
Hindman's theorem asserts that the proper IP sets of natural numbers are partition regular: for each finite coloring of a proper IP set of natural numbers there is a monochromatic proper IP subset.
Furstenberg generalized this question to arbitrary semigroups, in which the analogous result does not hold in general. We provide a complete classification of the semigroups for which the proper IP sets are partition regular, and show that this property is equivalent to other fundamental notions of additive Ramsey theory.