sequence
6842 papers tagged with this keyword
Additive Subtraction Games
We determine the full nim-value structure of additive subtraction games in the {\em primitive quadratic} regime. The problem appears in Winning Ways by Berlekamp et al. in 1982; it includes a closed formula, involving Beatty-type {\em bracket expressions} on rational moduli, for determining the P-positions, but to the best of our knowledge, a complete proof of this claim has not yet appeared in the literature; Miklós and Post (2024) established outcome-periodicity, but without reference to that closed formula. The primitive quadratic case captures the source of the quadratic complexity of the problem, a claim supported by recent research in the dual setting of sink subtraction with Bhagat et al. This study focuses on a number theoretic solution involving the classical closed formula, and we establish that each nim-value sequence resides on a linear shift of the classical P-positions.
A note on Ramsey numbers for minors
Let $R_h(k; \ell)$ be the smallest integer $n$ such that any edge coloring of a complete graph on $n$ vertices in $\ell$ colors results in a monochromatic graph with Hadwiger number $k$, i.e., a graph that could be transformed into a clique on $k$ vertices via a sequence of edge contractions and vertex deletions. We show that $$k \sqrt{\log k} (1+o(1)) \leq R_h(k; 2) \leq 1.031\cdot k \sqrt{\log k} (1+o(1))$$ and for a constant $β=0.265656...$, $$ R_h(k; \ell) = 2β\ell k \sqrt{\log k} (1+o(1)).$$
The Hofstadter consecutive-sum sequence omits infinitely many positive integers
Let $(a_n)_{n\ge 1}$ be the greedy self-generating sequence defined by $a_1=1$, $a_2=2$, and, for $k\ge 3$, by taking $a_k$ to be the least integer greater than $a_{k-1}$ that can be written as a sum of at least two consecutive earlier terms. Hofstadter asked about the asymptotic behavior of this sequence. In this paper we prove that $$ n+ω(1)\le a_n \ll n^{4175/2506+o(1)}. $$ In particular, $(a_n)_{n\ge1}$ omits infinitely many positive integers, thereby settling a conjecture from the OEIS entry A005243.
2-switch: transition and satability on forests and pseudofests
Given any two forests (pseudoforests) with the same degree sequence, we show that one can be transformed into the other by a sequence of 2-switches in such a way that all the intermediate graphs of the transformation are forests (pseudoforests). We also prove that the 2-switch operation perturbs minimally some well-known integer parameters in families of graphs with the same degree sequence. Then, we apply these results to conclude that the studied parameters have the interval property on those families.
On an infinite sequence of strongly regular digraphs with parameters $(9(2n+3), 3(2n+3), 2n+4, 2n+1, 2n+4)$
The paper constructs an infinite sequence of strongly regular directed graphs. The construction relies on representing adjacency matrices as block matrices of circulant blocks and using a compactification operation compatible with polynomial arithmetic modulo $x^{2n+3}-1$. Computer search with the pychoco library, followed by automorphism group analysis in GAP, revealed a consistent structural pattern, enabling the formulation and proof of an explicit formula for the adjacency matrices of the sought digraphs. It is proved that the obtained digraphs satisfy the defining equations for strongly regular digraphs. A conjecture on the structure of their automorphism groups is formulated.
The five-sequence of adjoints for combinatorial simplicial complexes
For a set $A$ let ${\mathbf {SC}_A}$ be the poset of simplicial complexes whose vertices are in $A$. For a function $f : A \rightarrow B$ there are functors $ f^{! !}, f^{**}, f^{ii}: {\mathbf {SC}_A} \rightarrow {\mathbf {SC}_B}, \quad f^{!*}, f^{i*} : {\mathbf {SC}_B} \rightarrow {\mathbf {SC}_A}, $ forming a five sequence of adjoints $f^{ !!} \dashv f^{* !} \dashv f^{* *} \dashv f^{*i} \dashv f^{ii}$.
We investigate in detail these functors, and use this to give three categorical structures on simplicial complexes on finite sets such that the Stanley-Reisner correspondence to commutative monomial rings gives dualities.
Gauge-string duality, monomial bases and graph determinants
Questions at the intersection of the AdS/CFT correspondence and quantum information theory motivate the study of projectors in sequences of subalgebras of finite-dimensional commutative associative semisimple algebras $\mathcal{A}$, obtained by incrementally adjoining one generator at each step to produce a non-linear generating set for $\mathcal{A}$. We define degeneracy graphs, which are finite layered tree graphs whose nodes represent projectors in the successive subalgebras. Using combinatorial properties of the degeneracy graph, we give a simple formula for constructing a linear basis of $\mathcal{A}$ in terms of monomials in the generators. The nodes can be labelled by formal variables corresponding to the eigenvalues of the generators added at each layer. We prove that the construction is compatible with the required counting of projectors in $\mathcal{A}$, and give explicit constructions of the projectors in terms of the monomials, in the cases of one- and two-layer degeneracy graphs with arbitrary numbers of nodes. More generally, we provide extensive computational evidence for the invertibility of the matrix relating the proposed monomial basis to the projector basis, by evaluating its determinant. In the 1-layer case, this is a Vandermonde determinant. A simple formula for the non-vanishing determinant in the general layer case is conjectured and supported by the computational data. The construction is illustrated with examples including centres of symmetric group algebras and maximally commuting subalgebras generated by JucysMurphy elements. We outline applications of the monomial basis to algorithms for constructing matrix units in non-commutative semisimple algebras, with relevance to orthogonal bases of multi-matrix gauge-invariant operators and to quantum information theory.
Hitting time for Hamilton cycles in pseudorandom graphs
Consider the random subgraph process on a base graph $G$ with $n$ vertices: we generate a sequence $\{G_t\}_{t=0}^{|E(G)|}$ by taking a uniformly random ordering of the edges of $G$ and then adding these edges one by one to the empty graph $G_0$ on the same vertex set. We prove that there is a constant $C > 0$ such that if $G$ is an $(n,d,λ)$-graph with $d/λ\ge C$, then with high probability, the hitting time for the appearance of a Hamilton cycle coincides with the hitting time for reaching minimum degree $2$. This resolves questions posed by Alon--Krivelevich in 2019 and by Frieze--Krivelevich in 2002. As a consequence, we determine the sharp threshold for Hamilton cycles in $(n,d,λ)$-graphs with $d/λ\ge C$ for all $d$ sufficiently large. Lastly, we extend our result to the minimum degree $2k$ versus $k$ edge-disjoint Hamilton cycles setting for $k \leq c\cdot \min\{d,\log n\}$ where $c$ is a constant depending on $C$. This advances on a question asked by Frieze.
Finding Short Paths on Simple Polytopes
We prove that computing a shortest monotone path to the optimum of a linear program over a simple polytope is NP-hard, thus resolving a 2022 open question of De Loera, Kafer, and Sanità. As a consequence, finding a shortest sequence of pivots to an optimal basis with the simplex method is NP-hard. In fact, we show this is NP-hard already for fractional knapsack polytopes. By applying an additional polyhedral construction, we show that computing the diameter of a simple polytope is NP-hard, resolving a 2003 open problem by Kaibel and Pfetsch. Finally, on the positive side we show that every polytope has a small, simple extended formulation for which a linear length path may be found between any pair of vertices in polynomial time building upon a result of Kaibel and Kukharenko.
Pseudo-orientable ribbon graphs: Matrix--Quasi-tree Theorem and log-concavity
One of the most important classes of even $Δ$-matroids arises from orientable ribbon graphs, which play a role analogous to that of graphic matroids in matroid theory. Motivated by a natural correspondence between strong $Δ$-matroids and even $Δ$-matroids due to Geelen and Murota, we characterize the class of strong $Δ$-matroids that correspond to orientable ribbon-graphic $Δ$-matroids. These are precisely the $Δ$-matroids associated with what we call pseudo-orientable ribbon graphs. Moreover, we present a geometric construction that transforms a pseudo-orientable ribbon graph into an orientable ribbon graph, thereby realizing this correspondence.
As consequences, we obtain the Matrix--Quasi-tree Theorem, the Hurwitz stability of quasi-tree generating polynomials, and a log-concavity result for the sequence counting quasi-trees of size $2i-1$ or $2i$ for pseudo-orientable ribbon graphs. To establish the log-concavity, we generalize Stanley's log-concavity theorem for regular matroids to regular $Δ$-matroids. Finally, we exhibit an infinite family of non-pseudo-orientable ribbon graphs that fail to satisfy the Matrix--Quasi-tree theorem and Hurwitz stability.
Color $2$-switches and neighborhood $λ$-balanced graphs with $k$ colors
This paper examines vertex colorings of graphs with constraints on the distribution of colors in vertex neighborhoods. We introduce color 2-switches and color degree matrices. The color degree matrix of a $k$-colored graph is an analog of the degree sequence, while a color 2-switch provides a way to transform a $k$-colored graph to another such graph while maintaining the color of each vertex and the multiset of colors in each vertex neighborhood. We prove that two $k$-colored graphs have the same color degree matrix if and only if one can be obtained from the other by a sequence of color 2-switches.
In related work, we generalize neighborhood balanced colorings by allowing for $k$ colors (instead of two) and more flexibility on the number of vertices of each color in a neighborhood. We introduce three classes of $k$-colored, $λ$-balanced graphs, in which any two color classes in a vertex neighborhood differ in size by at most $λ$. These classes are distinguished by whether the balancing condition is imposed on the open neighborhood $N(v)$, the closed neighborhood $N[v]$, or allowed to vary by vertex. For each class, the minimum $λ$ for which a graph admits a balanced coloring defines its $λ$-balance number. We prove general results about these classes and their $λ$-balance numbers. For $k = 2$, we introduce a fourth class, parity balanced graphs, in which the number of vertices of each color are equal in open neighborhoods for even-degree vertices and in closed neighborhoods for odd-degree vertices.
Additionally, we focus on the important case where $k=2$ and $λ\le 1$ and introduce the technique of red-blue removals. We provide separating examples between these four classes and prove balance number results for paths, cycles, wheels, trees, caterpillars, and complete multipartite graphs, and a counting result for caterpillars.
p^(k)-Fibonacci Numbers of the p-Bratteli Diagram for Every Odd Prime p and Integer k>=0
We study paths in the p-Bratteli diagram associated with hook partitions, where p is an odd prime. By comparing blocks along a path, we define inversions and descents. We prove that the sign balance derived from inversions vanishes at every vertex of the diagram. Using descents, we introduce the p^(k)-Fibonacci numbers and derive recurrence relations for them. For k=0, we recover the OEIS sequence A391520, while for k>=1 we obtain new families of Fibonacci-type sequences.
Abelian-normal decimal expansions
Many research works have concerned normality-preserving selection rules and operations on the sequence of digits of a given normal number that maintain or violate normality. This leads us to introduce rearrangement operations on finite subwords appearing within the digit expansions of normal numbers, and this is inspired by the concept of an abelian complexity function in the field of combinatorics on words. We introduce the concept of an abelian-normal number, with respect to a given base and a given weighting/counting function on subwords, by analogy with normal numbers and with the use of the equivalence classes associated with abelian complexity functions. We then construct a non-normal analogue $D_{10}$ of Champernowne's constant $C_{10}$ and prove that $D_{10}$ is abelian-normal with respect to a given weighting function. We conclude with two open problems concerning our Champernowne-like constant $D_{10}$.
The permutation automorphism groups of irreducible cyclic codes
The study of permutation automorphism groups of cyclic codes is a central topic in algebraic coding theory. A cyclic code over $\mathbb{F}_q$ is called irreducible if its check polynomial is irreducible over $\mathbb{F}_q$. Such a code is standard if its permutation automorphism group is equal to the group generated by the cyclic shift and the Frobenius automorphism, and non-standard otherwise. In this paper, we give a complete classification of all non-standard non-degenerate irreducible cyclic codes, using the classification of finite simple groups. Our result shows that, apart from a small number of explicit exceptional families and their descendants under certain secondary constructions, every non-degenerate irreducible cyclic code is standard, and up to four explicit exceptions, every degenerate cyclic code is non-standard.
This classification has several consequences. First, it yields a general description of non-standard linear recurring sequence subgroups, extending the earlier work of Brison and Nogueira; secondly it establishes the Schmidt-White conjecture for all non-standard irreducible cyclic codes. Moreover, our results provide strong evidence in support of the conjecture of Berger and Charpin that almost all cyclic codes are standard.
Degree Sequences vs. Forests in Bipartite Graphs
We prove a conjecture of Shteiner and Shteyner stating that for a bipartite graph $G=(V,E)$, the number of forests in $G$ equals the number of degree sequences arising from its spanning subgraphs. In the process, we provide several equivalent evaluations of the Tutte polynomial $T_G(x,y)$ at $(2,1)$, including interpretations in terms of degree vectors obtained from orientations of $G$.
Pell-Padovan tetranacci numbers and their Hadamard product with classical sequences
A quick way to compute generating functions related to Pell-Padovan tetranacci numbers and classical sequences of recursions of order two is provided. Eight special instances can be computed at once.
Flip Distance of Triangulations of Convex Polygons / Rotation Distance of Binary Trees is NP-complete
Flips in triangulations of convex polygons arise in many different settings. They are isomorphic to rotations in binary trees, define edges in the 1-skeleton of the Associahedron and cover relations in the Tamari Lattice.
The complexity of determining the minimum number of flips that transform one triangulation of a convex point set into another remained a tantalizing open question for many decades. We settle this question by proving that computing shortest flip sequences between triangulations of convex polygons, and therefore also computing the rotation distance of binary trees, is NP-hard.
For our proof we develop techniques for flip sequences of triangulations whose counterparts were introduced for the study of flip sequences of non-crossing spanning trees by Bjerkevik, Kleist, Ueckerdt, and Vogtenhuber~[SODA25] and Bjerkevik, Dorfer, Kleist, Ueckerdt, and Vogtenhuber~[SoCG26].
Signs of Hamiltonian Circles in Simple Plane Signed Graphs
We study which signs can occur among Hamiltonian circles in simple plane signed graphs. Using a face-based viewpoint, we relate the sign of a Hamiltonian circle to the product of the signs of the faces inside it, and we introduce co-Hamiltonian sequences. This yields a criterion for the existence of opposite-sign Hamiltonian circles via two co-Hamiltonian sequences with opposite face-products. Motivated by signed grid graphs, we develop local structural theorems that allow one to certify the existence of both signs without explicitly constructing the full sequences, including a ladder-type configuration where toggling along two $4$-circles produces Hamiltonian circles of opposite sign, as well as hexagon configurations that realize both signs.
Perpetually Fair Assignments Via Balanced Sequences of Permutations
There is a set of n indivisible items (or chores), and a set of n players. Each day, a single item should be assigned to each player. We want to ensure that all players feel that they have been treated fairly, not only after the last day, but after every single day. We present two 'balance' conditions on sequences of permutations. One condition can always be satisfied, but is arguably too weak; a second condition is strong, and can be satisfied for all n <= 11, but cannot be satisfied for some larger values of n, including all n>61.
We then relate the 'balance' condition to the requirement that the cumulative assignment is proportional up to one item (PROP1), where proportionality holds in a strong ordinal sense -- for every valuations that are consistent with the item ranking. We present a third balance condition that implies ordinal PROP1. We show that a sequence guaranteeing this balance condition exists for all n <= 12, but might not exist when n=6k for any k >= 19.
Finally, we present a fourth, weaker balance condition on a sequence, that guarantees ordinal proportionality up to two items (PROP2). Whether or not this condition can be satisfied for all n remains an open question.
Symbols frequencies in the Thue--Morse word in base $3/2$ and related conjectures
We study a binary Thue--Morse-type sequence arising from the base-$3/2$ expansion of integers, an archetypal automatic sequence in a rational base numeration system. Because the sequence is generated by a periodic iteration of morphisms rather than a single primitive substitution, classical Perron--Frobenius methods do not directly apply to determine symbol frequencies. We prove that both symbols ${\tt 0},{\tt 1}$ occur with frequency $1/2$ and we show uniform recurrence and symmetry properties of its set of factors. The proof reveals a structural bridge between combinatorics on words and harmonic analysis: the first difference sequence is shown to be Toeplitz, providing dynamical rigidity, while filtered frequencies naturally encode a dyadic structure that lifts to the compact group of $2$-adic integers. In this $2$-adic setting, desubstitution becomes a linear operator on Fourier coefficients, and a spectral contraction argument enforces uniqueness of limiting densities. Our results answer several conjectures of Dekking (on a sibling sequence) and illustrate how harmonic analysis on compact groups can be fruitfully combined with substitution dynamics.