sequence
7033 papers tagged with this keyword
A Multiplicative Fourier Proof of the Length-Four Index Conjecture
Let $C_n$ be a cyclic group of order $n$. The index conjecture in zero-sum theory asserts that if $(n,6)=1$, then every minimal zero-sum sequence of length four over $C_n$ has index one. Ge proved the conjecture for all sufficiently large $n$, and Pendleton reduced the known explicit threshold to $4.6\cdot 10^{13}$. We give a different argument based on multiplicative Fourier analysis on $(\mathbb{Z}/n\mathbb{Z})^\times$. Starting from the exact index-two residue identity, we take its multiplicative Fourier transform and express the odd Fourier coefficients through first moments of Dirichlet characters. The imprimitive characters for which this moment vanishes form an exceptional spectrum of cardinality at most $157\varphi(n)/1440$, hence strictly less than $\varphi(n)/9$. A finite-group support uncertainty inequality then forces the four-term multiset to be invariant under negation, contradicting minimality. We also give a minimal-modulus reduction, using the theorem of Shen-Xia-Li, from the general conjecture to the unit case. This proves the length-four index conjecture for every $n$ coprime to $6$.
Near optimal three-fold additive energy bound for points on convex curves
Let $X\subset\mathbb{R}$ be finite and let $γ(t)=(t,f(t))$, where $f$ is strictly convex. We show that \[
J_3(γ(X))
=\#\{(x_1,\ldots,x_6)\in X^6:\sum_{i=1}^3γ(x_i)=\sum_{i=4}^6γ(x_i)\}
\ll_{\varepsilon}|X|^{3+\varepsilon}. \] As applications, we prove that $|A-A|\gg_{\varepsilon}|A|^{5/3-\varepsilon}$ and $|A+A|\gg_{\varepsilon}|A|^{8/5-\varepsilon}$ for any convex sequence $A\subset \mathbb{R}$.
No extremal square-free words over alphabets of size at least 5
A word over an alphabet $\mathbb A$ contains a square if it has a subword of the form $XX$ where $X$ is a word. A word $W$ is \emph{extremal square-free} if it does not contain a square, but it contains a square as soon as any letter of $\mathbb A$ is inserted at any position of $W$. Grytczuk, Kordulewski, and Niewiadomski conjectured that there are no extremal square-free words over alphabets of size at least 4. We prove this for alphabets of size at least 5. Our proof also implies that the sequence of \emph{nonchalant words} defined by Grytczuk, Kordulewski, and Niewiadomski is infinite and converges to an infinite word for all alphabets of size at least 5.
Caged subsequences in permutations
Given a sequence $\mathfrak{a}:=(a_1,\ldots,a_n)$ of reals, a subsequence $\mathfrak{b}=(a_{i_1},\ldots,a_{i_k})$ is said to be "caged" if the largest and smallest among the members of $\mathfrak{b}$ are $a_{i_1}$ and $a_{i_k}$, though not necessarily in that order. In this paper, we consider the problem of maximal caged sequences in permutations $π\in S_n$. We also consider the same problem for a random permutation, both when the permutation is chosen uniformly at random and also when it is picked uniformly at random from among the permutations of rectangular shape, via the RSK correspondence.
On degree powers in the degenerate Turán problem
Given a graph $G$ with degree sequence $d_{1},\ldots,d_{n}$ and a positive real number $p$, let $e_{p}(G)=\sum_{i=1}^{n} d_{i}^{p}$. For a fixed family of graphs $\mathcal F$, let $ex_{p}(n, \mathcal F)$ denote the maximum value of $e_{p}(G)$ over all $\mathcal F$-free graphs $G$ on $n$ vertices. In 2000, Caro and Yuster introduced the following Turán-type problem: For a positive integer $p$ and a fixed graph $F$, determine $ex_{p}(n, F)$, and characterize the extremal graphs $G$ on $n$ vertices that attain $ex_p(n, F)$. Recently, Gao, Liu, Ma and Pikhurko proved that $ex_{p}(n, \mathcal F)=(τ(\mathcal F)-1+o(1))n^p$ for real $p>\frac{1}{1-α}$, where $\mathcal F$ is a degenerate family of graphs with classical Turán number $ex(n, \mathcal F)=O(n^{1+α})$ for some $α\in[0,1)$, and $τ(\mathcal F)$ is the minimum size of an independent vertex cover over all bipartite graphs $F\in\mathcal F$. Based on their method, we obtain a stability result for $ex_{p}(n, \mathcal F)$, and prove that all extremal graphs must contain the complete bipartite graph $K_{τ(\mathcal F)-1,n-τ(\mathcal F)+1}$ when $n$ is sufficiently large. Our results can be used to deduce all previously known results about $ex_{p}(n, F)$ when $F$ is a bipartite graph and $n$ is sufficiently large. We also obtain several new exact results for $ex_{p}(n, F)$, namely, when $F$ is an even cycle, a complete bipartite graph, a discrete hypercube, a caterpillar forest, and a spider forest.
Unified framework for asymptotically uniform iterative construction of generalised random graphs with local constraints
We develop a unified framework for constructing combinatorial structures under local constraints. Our approach extends the configuration model for random graphs with a prescribed degree sequence, and covers many special cases, including bipartite graphs, directed graphs, oriented graphs, edge-colored (bipartite) graphs, and (directed) hypergraphs.
By reformulating half-edge matching as an independent set problem in an auxiliary graph, we identify 2-uniformity, a property characterising when greedy sampling preserves asymptotic uniformity. We classify all 2-uniform graphs and show that only two classes, the configuration space and the bipartite configuration space, have unbounded independence number, enabling the asymptotic regime. Our main theorem then gives the asymptotic sampling distribution and enumeration formulae for configurations, with error terms of order $O(d_{\max}^4\log m/m+d_{\max}^2(\log m)^2/m)$ as the number of edges $m$ tends to infinity with maximum degree $d_{\max}=O(m^{1/4}/\log m)$. This settles the long-standing $O(m^{1/4-τ})$ bound (for some fixed $τ> 0$), making the critical exponent explicit.
Furthermore, our theorem accommodates forbidden edges, provided that each vertex participates in at most $O(m^{1/4}/\log m)$ of them. In particular, this enables the sampling of edge-colored graphs with prescribed degree sequences for each color class by constructing the colored subgraphs one at a time.
Matroid flat counts can have many peaks
We disprove Rota's conjecture that the counts of flats in a matroid according to rank form a unimodal sequence. Furthermore, we show that this sequence can have arbitrarily many peaks. The construction starts by finding a generalized theta graph for which log-concavity fails severely. By taking direct sums, we break log-concavity in many places. We then use Whittle's $q$-lift construction to produce a matroid whose flat counts have many peaks.
On traces of randomly rolling polytopes
Let $\mathcal{P}$ be a three-dimensional convex polytope resting with one of its faces on the plane. At each step, $\mathcal{P}$ is allowed to roll over a randomly selected edge of the face currently lying on the plane, until the adjacent face comes to rest on the plane. The trace of $\mathcal{P}$ is the set of all points of the plane that can be reached by a vertex of $\mathcal{P}$, starting from a fixed initial position and performing a finite sequence of rolls. We prove that if the trace of $\mathcal{P}$ has a convergent subsequence, then, with probability one, the set of points reached by the vertices of a randomly rolling copy of $\mathcal{P}$ is everywhere dense in the plane. This settles a conjecture of Hegyvári.
Quadratic Degree Sequence Optimization and the Critical Roots of a Graph
The degree sequence optimization problem is to find a subgraph of a given graph which maximizes the sum over all vertices of a given function evaluated at the subgraph degree of that vertex. Here we study this problem and its complexity for quadratic functions. In particular, we introduce the critical roots of a graph, and show they define intervals over which the optimal value of the problem, as the quadratic root varies, is convex piecewise affine.
Maximal pattern complexity and structure of null systems
A compact metrizable system is null if its topological sequence entropy vanishes along every sequence of times. We prove that nullness is equivalent to polynomial maximal pattern complexity for every finite open cover, while equicontinuity is equivalent to sublinear maximal pattern complexity. The first characterization is obtained from finite fat-shattering at every positive scale and polynomial empirical covering of orbit-distance classes. We also construct transitive nonminimal null systems with properties excluded in the minimal setting: one is uniformly rigid and has two fixed points, and another is two-scattering. These results settle several long-standing open problems from the literature on polynomial maximal pattern growth and on the structure of transitive nonminimal null systems.
A stability theorem for Berge Hamiltonian cycles under a minimum degree condition
In this paper, we study extremal and stability problems for Berge Hamiltonian cycles in $r$-uniform hypergraphs under a minimum degree condition. Let
$ g_r(n,t)=\binom{n-t}{r}+t\binom{t}{r-1}$, and let $t=t(k)$ be the unique integer satisfying $\binom{t-1}{r-1}<k\le \binom{t}{r-1}$. Using a sharp Pósa-type degree sequence theorem of Salia, we prove an extremal upper bound on the number of hyperedges in an $n$-vertex $r$-uniform hypergraph with minimum degree at least $k$ and with no Berge Hamiltonian cycle. We also prove a stability theorem in the dense range before the first minimizer of $g_r(n,t)$: every near-extremal example is contained in one of two natural non-Hamiltonian constructions.
Information and Locality in Cayley Graphs
A de Bruijn sequence is the cyclic prototype of a Cayley-graph observation problem: when does the ordered label word on a translated window $gY$ determine the vertex $g$? We distinguish three parameters. The unrestricted number $\operatorname{sep}_q(G)$ minimizes an arbitrary separating pattern; the connected number $\operatorname{csep}_q(G,S)$ requires a connected Cayley window containing $Y_S=\{1\}\cup S$; and the one-step number $χ_1(G,S)$ fixes $Y_S$ and minimizes the alphabet. Thus $\operatorname{sep}_q$ is a group-level baseline, $\operatorname{csep}_q$ measures the cost of locality, and $χ_1$ tests the smallest prescribed local window.
The organizing theme is the tension between information and locality. Carbon tori test the gap between $\operatorname{sep}_q$ and $\operatorname{csep}_q$: for generalized dihedral groups $\mathbb{F}_{\ell^d}^{\times}\rtimes C_2$ we prove, for odd prime powers $\ell$, the sharp baseline $\operatorname{sep}_\ell=d+1$ and construct connected zig-zag windows, while the order-$14$ Heawood torus satisfies $\operatorname{sep}_4=2$ and $\operatorname{csep}_4=4$. The spherical $A_5$ example and a finite simple-group comparison test the fixed one-step window: explicit symmetric cubic generating tuples give $χ_1(A_5,S)=3$ and $χ_1(\operatorname{PSL}_2(\mathbb{F}_7),S)=4$, both at the counting bound, with structured matrix-coefficient certificates. Cyclic-coset packings, finite-field coordinates, and restricted matrix coefficients are used only as the construction tools these two examples require.
Combinatorial and algebraic proofs of Keller's $A_2\square A_2$ $q$-dilogarithm identity
The classical Durfee-square argument gives a combinatorial proof of the pentagon identity for the quantum dilogarithm. Just as the pentagon identity is associated with the $A_2$ quiver, Keller's identity is associated with the square-product quiver $A_2\square A_2$. Previous proofs of Keller's identity use cluster categories or spectral sequences in rapid-decay equivariant cohomology. We give three proofs of Keller's identity: a generating-function proof, an explicit weight-preserving bijection on colored partitions, and a standard-monomial proof using a four-colored arc algebra. Their common mechanism is an iterated Durfee decomposition: two possible pairings give horizontal and vertical decompositions, while a third binary step accounts for the coupling factor. These constructions provide a ``superpotential analogue'' of the Durfee-square argument.
Asymptotics for graphically divergent series: dense digraphs and 2-SAT formulae
Published
• View Publication
• BIB
We propose a new method for obtaining complete asymptotic expansions in a systematic manner, which is suitable for counting sequences of various graph families in dense regime. The core idea is to encode the two-dimensional array of expansion coefficients into a special bivariate generating function, which we call a coefficient generating function. We show that coefficient generating functions possess certain general properties that make it possible to express asymptotics in a short closed form. Also, in most scenarios, we indicate a combinatorial meaning of the involved coefficients. Applications of our method include asymptotics of connected graphs, irreducible tournaments, strongly connected digraphs, 2-SAT formulae and contradictory strongly connected implication digraphs. Moreover, due to its flexibility, the method allows to treat a wide range of structural variations, including fixing the numbers of connected, irreducible, strongly connected and contradictory components, as well as source-like, sink-like and isolated ones, or adding weights and marking variables.
On Partitions with Palindromic Gap Sequences
We introduce and study \emph{palindromic-gap partitions}: partitions whose sequence of successive differences between consecutive parts is a palindrome. We derive the generating function for this family, treating partitions with an odd and an even number of parts separately, and obtain a bivariate refinement tracking the number of parts. Specializing further, we give explicit closed formulas for the number of palindromic-gap partitions of $n$ into exactly $r$ parts. We then construct explicit bijections between palindromic-gap partitions with $2m+1$, respectively $2m$, parts and ordinary partitions with at most $m+1$ parts, in which the weight of a palindromic-gap partition is encoded by the largest part, or the two largest parts, of its image; composing these yields an explicit bijection between the odd and even families themselves. Finally, we show that a partition is palindromic-gap if and only if its Ferrers diagram, drawn with left-justified rows, is self-complementary under a $180^\circ$ rotation inside its own naturally associated rectangle, identifying palindromic-gap partitions with self-complementary partitions relative to this rectangle. This yields a partial answer to a question of Keith on the enumeration of complementable and self-complementary partitions: we give explicit generating functions for the self-complementary case and exhibit, at $n=15$, a partition that is complementable but not self-complementary, confirming that the two notions are genuinely distinct.
Some sequences and number triangles which are related to Narayana polynomials and to q-Narayana polynomials for q=-1
As is well known the Catalan numbers can be interpreted as numbers of Dyck paths. The Narayana polynomials and the q-Narayana polynomials for q=-1 can analogously be interpreted as certain weights of these paths. In the present note we try to get some information about the corresponding weights of bounded Dyck paths. This also leads to some number sequences and analogues of Pascals triangle which previously have occurred in other contexts. We consider some examples and obtain some results and conjectures.
Quality Control Algorithms for Pattern Counting
In recent work, Marcussen, Rubinfeld, and Sudan introduced the notion of quality control problems, which aim to capture the task of determining if a given input is truly random. Formally, their goal is to accept typical inputs from the specified distribution while rejecting every input whose value of a specified statistic is far from the distributional baseline. This captures the empirical practice of using specified statistics as a proxy for the quality of randomness. Empirical algorithms, however, have not exploited the asymmetry in the definition of quality control problems, which require soundness guarantees in the worst-case while only seeking average-case completeness. Their work abstracted a problem definition emphasizing this asymmetry and used it to give efficient quality control algorithms for assessing the randomness of graphs.
In this work, we introduce and study quality control problems over sequences, where the goal is to distinguish a sequence of i.i.d. characters from sequences where some specified pattern appears too often (or too infrequently) as a subsequence. We consider this problem in both the finite-alphabet setting and for real-valued sequences. We refer to the former setting as the pattern counting problem. In the latter case, the natural notion of a pattern is to consider the relative ordering of the characters in the subsequence, and we refer to this as the permutation pattern counting problem. Algorithms to approximately count (permutation) patterns of length $k$ in a worst-case sequence of length $n$ can provably require exponential in $k$ queries into the sequence. In contrast, we show that by taking advantage of the asymmetry in the definition of quality control, we give algorithms that run in poly$(k)$ time to solve these problems. We also prove that any quality control algorithm (over some natural distributions) requires superlinear queries in $k$.
The Havel--Hakimi Residue of Common-Divisor Graphs: Resolving and Extending a Problem of Graffiti and Erdős
For an integer $n\geq2$, let $G_n$ be the graph on $\{2,\ldots,n\}$ in which distinct integers are adjacent when they have a nontrivial common divisor. Conjecture 448 of Fajtlowicz's \emph{Written on the Wall} asked for a lower bound on the Havel--Hakimi residue $\R(G_n)$. The accompanying historical notes record a stronger lower bound of Erdős and Staton and Staton's conjecture that \(\R(G_n)\sim(ζ(2)-1)n/\log n\). We prove this conjecture and determine the next asymptotic term. If \[
A=\sum_{k=2}^{\infty}\frac{\log k}{k^2(k-1)}
=0.3201986326\ldots, \] then \[
\R(G_n)=
\bigl(ζ(2)-1\bigr)\frac{n}{\log n}
+\bigl(ζ(2)-1-A\bigr)\frac{n}{\log^2 n}
+O\!\left(\frac{n}{\log^3 n}\right). \] The lower estimate comes from an exact analysis of the Caro--Wei mass of the prime vertices. For the upper estimate, we construct another realization of the degree sequence of $G_n$: almost every bounded-degree prime vertex is placed in a clique of the order forced by its degree, while degree-preserving switches are absorbed by composite cliques. The proof gives a rare meeting point between prime number asymptotics, degree-sequence algorithms, and automated conjecturing. It also provides a traceable case study in which \textsc{Theo-Conjecture}, an advisor-supervised AI loop, converts registry experiments and counterexamples into a rigorous theorem. We also give an exact Havel--Hakimi defect decomposition. Computation suggests the substantially stronger bound \(
\R(G_n)\leq\lceil\CW(G_n)\rceil+2, \) which we state as an open \textsc{Theo-Conjecture} problem.
The half interlacing property among the types A, B and D Eulerian polynomials
A famous result in the theory of combinatorial polynomials is the real-rootedness of the type $D$ Eulerian polynomial $D_n(x)$, which was originally conjectured by Brenti in 1994. By constructing a set of compatible polynomials over $s$-inversion sequences, Savage and Visontai proved this conjecture in 2013. Using matrices preserving interlacing properties of nonnegative polynomial sequences, Bränden also established the real-rootedness of $D_n(x)$. Combining Hermite-Biehler theorem and a result of Borcea and Brändén on Hurwitz stability, Yang and Zhang gave another proof of the real-rootedness of $D_n(x)$. By constructing half Eulerian polynomials of type $D$, Hyatt reproved Brenti's conjecture. As originally suggested by Brenti in 1994, it is possible that the real-rootedness of $D_n(x)$ may be established by using a more precise knowledge of the location of zeros of the types $A$ and $B$ Eulerian polynomials. In this paper, we add more details to the first proof of the real-rootedness of $D_n(x)$ that was provided by the author in 2012, which yields the half interlacing property among the types $A,B$ and $D$ Eulerian polynomials.
On (1,1,2,3)- and (1,1,3,3,3)-Packing Colorings of Claw-Free Subcubic Graphs
For a non-decreasing sequence $S=(a_1,a_2,\ldots,a_r)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of $V(G)$ into sets $A_1,\ldots,A_r$ such that any two distinct vertices in $A_i$ are at distance greater than $a_i$, for every $i\in\{1,\ldots,r\}$. Gastineau and Togni [\emph{Discrete Math.} 339 (2016), 2461--2470] asked whether every subcubic graph, except the Petersen graph, is $(1,1,2,3)$-packing colorable. In this paper, we prove that every claw-free subcubic graph is $(1,1,2,3)$-packing colorable. Moreover, we show that every connected claw-free subcubic graph, except a single graph $\mathcal{H}$, is $(1,1,3,3,3)$-packing colorable, thereby confirming a conjecture of the first two authors. Both results are best possible. Our proofs rely on a structural framework based on the skeleton and core graphs of a claw-free subcubic graph, together with a Hall-type matching argument that reduces the construction of suitable $3$-packings to a matching problem in an auxiliary bipartite graph.