sequence
7033 papers tagged with this keyword
Closing All-Exp Gaps in Local Search for the Traveling Salesman Problem and Maximum Constraint Assignment
We prove the all-exp property for the Traveling Salesman Problem with the $2$-opt neighborhood, and for $(3,2,2)$- and $(2,3,2)$-Maximum Constraint Assignment with the flip neighborhood. The all-exp property states that infinitely many instances have an initial solution from which every sequence of improving moves to a local optimum, and hence every run of local search, has exponential length. For the Traveling Salesman Problem, the all-exp property was previously known for every $k$-opt neighborhood with $k \ge 3$, so our result for $2$-opt completes the picture for all $k$-kopt neighborhoods. In $(p,q,r)$-Maximum Constraint Assignment, each constraint involves at most $p$ variables, each variable occurs in at most $q$ constraints, and each domain has size $r$. Decreasing any of the parameters of $(3,2,2)$ or $(2,3,2)$ yields a problem in which every sequence of improving flips has polynomial length, so both Maximum Constraint Assignment results are tight. All three results settle long-standing open problems. Our proofs build on a common construction idea, which reveals a close connection between the local-search dynamics of the three problems.
Nonexistence of Constant Congruences for the Cumulative Partition Function
Let $p(n)$ be the ordinary partition function and let $c(n)=\sum_{k=0}^{n-1}p(k)$, with $c(0)=0$. We prove that, for every $a\geq1$, $b\geq0$, and $m\geq2$, the sequence $c(an+b)$ is not eventually constant modulo $m$, thereby answering a question posed by Chen. The proof combines the algebraicity over $\mathbb C(j)$ of modular functions for finite-index subgroups of $\mathrm{SL}_2(\mathbb Z)$ with Voloch's theorem on the transcendence of elliptic modular functions in positive characteristic.
Clean handshake sequences
After a basketball game, each of the $n$ players on Team A must shake hands with each of the $n$ players on Team B. What is the minimum number of (reversible, ambidextrous) gloves required so that zero germ transmission occurs? We show that the answer is $3n/2+o(n)$ and develop a general theory for prescribed handshake sets.
On the Realizability of Edge-Girth Sequences
The edge-girth of an edge $e$ in a simple connected graph is the length of a shortest cycle containing $e$, with $g_e = \infty$ if no such cycle exists, and the edge-girth sequence of a graph is the nondecreasing sequence of the edge-girths of its edges. We characterize the sequences that are realizable as the edge-girth sequence of a simple connected graph. A constant sequence $(g^{(m)})$ with $g$ finite and $m \geq 1$ is realizable if and only if $m = g$ or $m \geq \lceil 3g/2 \rceil$. Otherwise, writing $S = S_0 \uplus (g^{(m)})$, where $g$ is the maximum value of $S$ and $m$ its multiplicity, we prove that $S$ is realizable if and only if $S_0$ is realizable and $m$ lies in an explicit set determined by $g$ and by the maximum diameters of the graphs realizing $S_0$, alone or extended by fewer than $g$ edges of edge-girth $g$. The proof rests on a chaining lemma, which turns a shortest cycle of a realization into a lower bound on the maximum diameter of the realizations of a shorter sequence.
New upper bounds for the period of a negative orientable sequence
Negative orientable sequences, i.e. periodic sequences with elements from a finite alphabet of size at least three in which an n-tuple or the negative of its reverse appears at most once in a period of the sequence, were introduced by Alhakim et al. in 2024. The main goal in defining them was as a means of generating orientable sequences, which have automatic position location applications, although they are potentially of interest in their own right. In this paper we develop new upper bounds on the period of negative orientable sequences which, for n>2, are significantly sharper than the previous known bound. The approach used to develop the new bounds involves examining the nodes in the subgraph of the de Bruijn graph corresponding to a negative orientable sequence, and to consider the implications of the fact that the in-degree of every vertex in this subgraph must equal the out-degree. However, despite improving the bounds, a gap remains between the largest known period for a negative orientable sequence and the corresponding bounds for every n>2.
A remoteness formula for generalized Wythoff games
Smith's remoteness function records how long an impartial game lasts when the winner wins as quickly as possible and the loser delays defeat. For the generalized Wythoff game $\mathrm{WYT}(a,b)$, in which two positive integer parameters $a$ and $b$ determine which simultaneous removals from the two piles are allowed, we give a formula for the remoteness of every position, building on the known values at losing positions. The formula depends on two indices: a local index determined by the coordinates of the losing positions in a window of length $b$ ending at the smaller pile, and the integer part of the pile difference divided by $a$. When $b=1$, complementary Beatty sequences make the local index explicit, which gives an explicit formula for $\mathrm{WYT}(a,1)$, including classical Wythoff's game. We also show that if each attempted move in a finite impartial game independently fails with a fixed probability and passes the turn, the probability that the player to move wins under optimal play is an explicit exponential function of remoteness. For every success probability strictly between $0$ and $1$, the optimal attempts are exactly the moves that reduce remoteness by one.
Permutations, Pattern Covers, Posets and Positivity: Part I: Patterns and Posets
We study permutations covered by overlapping occurrences of a consecutive pattern. Special cases of this have been studied for consecutive patterns and via the cluster method. We study enumeration sequences obtained by repeating a fixed overlap. We elicit many structural properties of such pattern covers, mainly in terms of posets whose linear extensions are in bijection with the permutations in question. The enumeration of these permutations for different patterns gives rise to a great variety of sequences, many classical, but most of them not found in the OEIS. We conjecture that, essentially, all these sequences are moments of probability measures on the real line.
We develop an enumerative and order-theoretic framework for this. For overlap 1 we give a generating function whose coefficients enumerate permutations covered by any fixed pattern with any fixed number of occurrences. For overlap at most half the pattern length we derive a polynomial-time enumeration formula. We associate to each pattern, overlap, and number of occurrences a poset whose linear extensions are the corresponding permutations.
The regularity of this poset construction makes possible a structural analysis that in many cases leads to enumerative formulas for large classes of patterns. We prove uniform restrictions on the local structure of the Hasse diagrams, describe their branches (pendant chains) in terms of the corresponding patterns, and characterize when the poset is a tree or chain or subdivisions of a grid. Some of these constructions yield explicit families of formulas and explain unexpected equinumerations.
In a forthcoming paper we investigate the sequences arising here from a probabilistic perspective, viewing them both as point processes and as moment sequences. We also obtain integral and matrix representations for important overlap 1 and 2 classes of pattern-covering sequences.
Third and Fourth Moment Phenomena for Monochromatic Edges and Applications to Graph-Based Two-Sample Tests
Given a graph sequence $\{G_n\}_{n\in\mathbb{N}}$, denote by $T_n$ the number of monochromatic edges when the vertices of $G_n$ are independently colored red or blue with probabilities $p$ and $1-p$, respectively. We characterize the asymptotic normality of $T_n$, after centering and scaling to unit variance, in terms of subgraph (motif) counts and standardized moments. One of the highlights of our results is a {\it third moment phenomenon}: for every fixed $p\in(0,1)\backslash\{\frac12\}$, asymptotic normality holds if and only if the standardized third moment converges to zero. The more familiar {\it fourth moment condition}, which requires the standardized fourth moment to converge to $3$, gives an equivalent characterization except at the two exceptional probabilities $p=\frac{1\pm1/\sqrt3}{2}$. At these values, the standardized fourth moment converges to $3$ for every graph sequence with a diverging number of edges, even when Gaussian convergence fails. In contrast, in the balanced case $p=\frac12$, the fourth moment condition characterizes asymptotic normality, while the third moment condition is insufficient. These results identify three distinct regimes for moment characterizations of Gaussian convergence, determined by the coloring probability. We further show that the third moment condition remains sufficient in the sparse regime, where $p=p_n \to 0$. As an application, we derive the limiting null distribution of two-sample statistics based on undirected $K$-nearest-neighbor graphs in the Poissonized setting, identifying sharp growth conditions on $K$ for asymptotic normality.
On the Number of Iterations in a Kruskal-Type Process
Motivated by the Kruskal counting procedure, this paper investigates a combinatorial elimination process defined on a deck consisting of $m$ copies of each value $1,2,\ldots,n$. Starting from an arbitrary arrangement of the $mn$ cards, the process repeatedly removes a number of consecutive cards equal to the value of the first remaining card. This generates a sequence of elimination steps whose length determines $T$, representing the total number of iterations required to exhaust the deck. The main objective of this paper is to analyze an upper bound $σ(m,n)$ for $T$, valid for every initial configuration of the deck, and to show that this bound is attained by a specific configuration.
Balanced subgraph counts and quasirandomness: a proof of the Janson--Sós conjecture
Let $F$ be a finite simple graph with $m$ vertices and at least two edges, and let $p\in(0,1]$. We prove that a graph sequence is $p$-quasirandom if and only if the symmetrized counts of copies of $F$ across every balanced partition into $m$ classes have the asymptotics predicted by the random graph with edge probability $p$. This settles a conjecture of Janson and Sós for all such $F$, including graphs with isolated vertices. The proof completes their graph-limit reduction by a concavity argument for a sum of fractional powers determined by the degree sequence of $F$. We also show that a symmetrized subgraph kernel of positive mean can be additive in its coordinates only when the underlying graphon is constant almost everywhere. This rigidity result yields a quasirandomness criterion for generalized restricted subgraph counts, resolving a further conjecture of Janson.
Distinguishing graphs with simple spectrum by homomorphism counts
We study which graph classes determine every graph with simple spectrum up to isomorphism by homomorphism counts from their members. We show that such a class has unbounded treewidth and Euler genus and contains a graph with the complete graph on seven vertices as a minor. To prove these conditions, we construct pairs of non-isomorphic cospectral graphs with simple spectrum, each bipartite, nonsingular and of maximum degree at most six. The construction attaches rooted trees to Cai-Furer-Immerman graphs and preserves homomorphism indistinguishability over every minor-closed class. We then prove that subcubic homomorphism counts determine every graph whose adjacency matrix has kernel dimension at most one. This extends the known result for nonsingular graphs and applies to all graphs with simple spectrum. We also prove that two graphs have the same subcubic homomorphism counts if and only if they have the same number of vertices and there is a bijective linear isometry between the images of their adjacency matrices that intertwines the adjacency operators and preserves the coordinatewise trilinear forms. Finally, we prove that homomorphism counts from the single-vertex graph and from subdivisions of any sequence of connected cubic graphs have the same distinguishing power as subcubic homomorphism counts if every complete graph is a minor of some member of the sequence.
Quasimonophobic graphs and degree spectral sequences in discrete cubical homology
We introduce the degree filtration on the discrete cubical chain complex of a graph, defined in terms of the maximal injective dimension of the facets of singular $n$-cubes, and study the degree spectral sequence which arises from this filtration. This spectral sequence interpolates between the discrete cubical homology of a graph $H_n(G)$ and the injective homology $H_n^{inj}(G)$, a variant of the discrete cubical homology based on injective singular cubes. Building on the work of Greene and the first author, we introduce the combinatorial condition of quasimonophobicity on graphs, and show quasimonophobicity implies both the vanishing of the degree spectral sequence in certain bidegrees, and implies $H_n^{inj}(G)$ is isomorphic to the homology of the CW complex obtained by ``filling in'' subcubes of the graph. These results are applied to compute $H_2(G_n^{sph})$ for the Greene sphere graphs $G^{sph}_n$.
On algebraic and arithmetic properties of monoids of product-$K$ sequences
Let $G$ be a group and $K$ be a normal subgroup of $G$. A sequence over $G$ is a finite collection of terms from $G$, where repetition is allowed, and the order is disregarded. A product-$K$ sequence is a sequence whose terms can be ordered such that their product in $G$ belongs to $K$. The set $\mathcal B_K (G)$ of all product-$K$ sequences over $G$ forms a monoid, called the monoid of product-$K$ sequences, under the operation of sequence concatenation. In this paper, we investigate the algebraic and arithmetic properties of the monoid $\mathcal B_K (G)$. Among our main results, we provide precise characterizations of when $\mathcal B_K (G)$ satisfies key properties, namely being (transfer) Krull, a (seminormal) C-monoid, or (half-)factorial. After that, we study the Isomorphism Problem for monoids of product-$K$ sequences. Our results generalize existing frameworks, making them applicable to both the classical abelian and the more recently developed non-abelian settings.
Continuous Narayana Interpolations: Hankel Total Positivity and Log-Convexity Preservation
We study a continuous interpolation between the type $B$ and shifted type $A$ Narayana triangles. Using a direct Gegenbauer-moment proof and a continuant comparison criterion, we show that the row polynomials form a coefficientwise Hankel-totally positive sequence for every real $θ\ge0$, and establish the same property for the moment sequences associated with all tails of the corresponding Jacobi matrix. Their $γ$-expansion, real-rootedness and Stieltjes moment representation are explicit, as are the exact orders of vanishing and extreme coefficients of arbitrary Hankel minors. This confirms and strengthens Rodelet--Causse--Tevlin's log-convexity conjecture for super Narayana polynomials. We further extend Wang--Yang's total positivity of the type~$A$ and $B$ Narayana triangles and strict total positivity of the associated squares to every real $θ>-1$, using Pólya-frequency sequences and a gamma-product moment representation. We also prove that the continuous Narayana transformations preserve strong $t$-log-convexity for every $θ\ge0$, and that every $d$-Hoggatt transformation has the same property for integers $d\ge1$. The preservation proofs employ the Zhu--Sun criterion and a mixed-minor one-sign-change argument based on a hypergeometric hitting-probability inequality.
Hull Games of Induced Path Convexities in Graphs
In 1984, Frank Harary introduced the first convexity games in graphs, all of them based on the geodesic convexity, which is the graph convexity related to shortest paths. In 2024, Araújo et al. obtained the first PSPACE-hardness proofs on some of these geodesic games and generalized them to any graph convexity. In this paper, we investigate convexity games on several known induced path convexities: the monophonic $\mathrm{m}$-convexity and the $\ell_k$-convexities, based on induced paths and on induced paths of size at most $k$. We prove that the hull games $\mathrm{CHG}_{\mathrm{m}}$, $\mathrm{CHG}_{\ell_k}$ and their misère variants are PSPACE-complete for every $k\ge2$ even in graphs with diameter at most 3. We also use the Sprague-Grundy Theory to obtain a polynomial time algorithm to decide the winner of the games $\mathrm{CHG}_{\mathrm{m}}$ and $\mathrm{CHG}_{\ell_k}$ for any $k\ge2$ in disjoint unions of paths and cycles. For $k\ge3$ odd, we prove that Alice (1st player) wins $\mathrm{CHG}_{\ell_k}$ in the path $P_n$ if and only if $n$ is odd and she wins in the cycle $C_n$ if and only if $n=3$ or $n=α\cdot (k+1)-1$ with $α\ge2$. For $k\ge2$ even, the only periodic nimber sequences of $\mathrm{CHG}_{\ell_k}$ obtained through extensive computational testing occurred for $k=2^h-4$ with $h\ge3$, e.g, $k\in\{4,12,28,60,\ldots\}$. In this case ($k=2^h-4$ with $h\ge3$), we prove that the nimber sequences of $\mathrm{CHG}_{\ell_k}$ in $P_n$ and in $C_n$ are periodic and Alice loses (resp. wins) in $P_n$ (resp. $C_n$) with $n>k$ only when $n=3k+4$ (resp. $n\in\{2k+1,5k+3\}$). Finally, we show that, for $k=2$, the game $\mathrm{CHG}_{\ell_2}$ in paths $P_n$ is closely related to the classical game Couples-are-Forever of J. H. Conway: it is still an open problem if the nimber sequence is periodic or not and Alice loses only for 12 values of $n$ up to $100$ million.
Completing the enumeration of inversion sequences avoiding triples of relations
An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.
Geodesics in the continuous Hecke monoid
A permuton is a probability measure on the unit square with uniform marginals, the limit shape of a sequence of permutations. The sticky product of permutons is a continuous analogue of the Demazure product in the $0$-Hecke monoid; on copulas, the distribution functions of permutons, it is given by the tropical $(\min,+)$ product $\odot$. We show that every absolutely continuous rotation-invariant probability measure $ρ$ on the plane, which we call the profile, generates a one-parameter family of copulas $C^ρ=\{C^ρ_β\}_{β\in[0,π]}$. A copula in this family is defined by a pair of projections of a $ρ$-distributed random vector onto directions at angle $π-β$. Along this family, the sticky product adds angles: $$C^ρ_{β_1}\odot C^ρ_{β_2}=C^ρ_{\min(β_1+β_2,π)}.$$ Hence every non-identity element of such a family is a sticky product of two others and has roots of every natural degree. The normalized inversion number of the copula $C^ρ_β$ equals $β/π$. For the Archimedean measure $\mathfrak{Arch}$ the family $C^{\mathfrak{Arch}}$ consists of the limit shapes of the permutations of the uniformly random sorting network, found by Angel et al. and Dauvergne. For the Gaussian measure $\mathcal{N}$ the family $C^{\mathcal{N}}$ consists of Gaussian copulas and contains $\mathit{Unif}$, the uniform measure on the square (the limit shape of the uniformly random permutation); its square root within this family is the Gaussian copula with correlation $-1/\sqrt2$. By the Herschel-Maxwell theorem the Gaussian measure is the only profile whose family contains $\mathit{Unif}$; nevertheless, $\mathit{Unif}$ has another, singular, sticky square root. A discrete analogue of the Gaussian family is the geometric sorting network generated by rotating independent Gaussian points: after rotation by $π/2$ its permutation is exactly uniform.
On the denominators of signed harmonic sums
Let $\eps=(\eps_i)_{i\ge1}$ be a sequence with $\eps_i\in\{-1,1\}$, and let $v_n(\eps)$ be the positive denominator of $\sum_{i=1}^n\eps_i/i$ in lowest terms. We prove that $|\{1\le n\le x:v_n(\eps)\ne v_{n+1}(\eps)\}|=o(x)$ uniformly in $\eps$. In particular, the set of positive integers $n$ with $v_n(\eps)=v_{n+1}(\eps)$ has asymptotic density one for every sequence of signs. This answers a problem of Wu and Chen, \emph{J. Number Theory} \textbf{200} (2019), 397--406.
Geometric parameter sequences for $Q$-polynomial distance-regular graphs
Let $Γ$ be a distance-regular graph with diameter $D \geq 3$, and let $θ$ be a nonzero eigenvalue of $Γ$ distinct from its valency. Motivated by the geometric parameter sequences of geometric distance-regular graphs, we introduce analogous sequences defined recursively from the intersection numbers of $Γ$ and $θ$, without assuming a geometric structure. We show that the recursion is well defined if and only if all terms of the standard sequence corresponding to $θ$ are nonzero and consecutive terms are distinct. In particular, the geometric parameter sequences associated with the smallest eigenvalue always exist. Suppose that $Γ$ is $Q$-polynomial with respect to an eigenvalue ordering $θ_0,θ_1, \ldots,θ_D$. Let $\{φ_i\}_{i=1}^{D}$ and $\{ϕ_i\}_{i=1}^{D}$ be the first and second split sequences of the primary Leonard system, respectively, and let $β$ denote its fundamental parameter. We prove that the geometric parameter sequences associated with $θ_D$ exist if and only if $φ_i\neqϕ_i$ for every $1\leq i\leq D$, and if and only if $β\neq-2$ or $D$ is even. When the sequences exist, we obtain closed formulas in terms of the primary parameter array. We introduce the split ratio sequence $ρ_i=φ_i/ϕ_i$. Using this sequence, we obtain a bidiagonal factorization of $B-θ_D I$, where $B$ is the intersection matrix of $Γ$. This factorization remains valid even when the geometric parameter sequences associated with $θ_D$ do not exist. If $Γ$ is geometric and $θ_D$ is its smallest eigenvalue, then the geometric parameter sequences associated with $θ_D$ coincide with those of $Γ$.
The Erdős--Ginzburg--Ziv theorem for finite groups
Let $G$ be a finite group, and let $p$ be the smallest prime divisor of $|G|$. The Gao constant $\mathsf{E}(G)$ is the least integer $\ell$ such that every sequence over $G$ of length $\ell$ contains a subsequence of length $|G|$ whose terms can be ordered to have product equal to the identity. In 1961, Erdős, Ginzburg and Ziv proved that every sequence of $2n-1$ integers has an $n$-term subsequence whose sum is divisible by $n$; equivalently, $\mathsf{E}(C_n)\leq 2n-1$, where $C_n$ denotes the cyclic group of order $n$. In this paper, we prove that $\mathsf{E}(G)\leq |G|+|G|/p-1$ whenever $G$ contains no cyclic subgroup of index $p$. Consequently, every finite non-cyclic group satisfies $\mathsf{E}(G)\leq |G|+|G|/p+p-2$, with equality if and only if $G$ contains a cyclic subgroup of index $p$. This establishes the conjectured upper bound for the Gao constant and provides a complete characterization of the equality case.