sequence
6842 papers tagged with this keyword
Kirchhoff index of a nested geometric graph with weighted multiple edges
Kirchhoff index, Kf(G), introduced by Klein and Randic in 1993, represents the total effective resistances between all pairs of vertices in a graph G, where each edge is regarded as a resistor. In this paper, the Kirchhoff indices of a particular sequence of nested geometric graphs with weighted multiple edges, denoted by Gn, are investigated. A recurrence relation for the characteristic polynomial of the Laplacian matrix L(Gn) is derived, and an explicit formula for Kf(Gn) is obtained. These facilitate the analysis of the variation of Kf(Gn) as as n goes to infinity. Consequently, Kf(Gn) is shown to grow asymptotically linearly, characterized by a specific asymptotic formula. In the course of this derivation, a recurrence relation for the determinant of a block tridiagonal matrix is established. The Kirchhoff index of a 4-regular graph constructed from Gn is also determined.
Alternating geometric progressions modulo one and Sturmian words
Let $b\ge 2$ be an integer. Using Sturmian words we describe all irrational real numbers $ξ$ such that the image in $\mathbb{R}/\mathbb{Z}$ of the sequence $(ξ(-b)^n)_{n\ge 0}$ is contained in an interval of length $b^{-1}+b^{-2}-b^{-3}$. In previous work (arXiv:2603.16794) we showed that the image cannot be contained in a shorter interval.
Flip Distance of Non-Crossing Spanning Trees: NP-Hardness and Improved Bounds
We consider the problem of reconfiguring non-crossing spanning trees on point sets. For a set $P$ of $n$ points in general position in the plane, the flip graph $F(P)$ has a vertex for each non-crossing spanning tree on $P$ and an edge between any two spanning trees that can be transformed into each other by the exchange of a single edge. This flip graph has been intensively studied, lately with an emphasis on determining its diameter diam$(F(P))$ for sets $P$ of $n$ points in convex position. The current best bounds are $\frac{14}{9}n-O(1) \leq$ diam$(F(P))<\frac{15}{9}n-3$ [Bjerkevik, Kleist, Ueckerdt, and Vogtenhuber; SODA 2025]. The crucial tool for both the upper and lower bound are so-called *conflict graphs*, which the authors stated might be the key ingredient for determining the diameter (up to lower-order terms).
In this paper, we pick up the concept of conflict graphs and show that this tool is even more versatile than previously hoped. As our first main result, we use conflict graphs to show that computing the flip distance between two non-crossing spanning trees is NP-hard, even for point sets in convex position. Interestingly, the result still holds for more constrained flip operations, concretely, compatible flips (where the removed and the added edge do not cross) and rotations (where the removed and the added edge share an endpoint). Extending the line of research from [BKUV SODA25], we present new insights on the diameter of the flip graph. Their lower bound is based on a constant-size pair of trees, one of which is *stacked*. We show that if one of the trees is stacked, then the lower bound is indeed optimal up to a constant term, that is, there exists a flip sequence of length at most $\frac{14}{9}(n-1)$ to any other tree. Lastly, we improve the lower bound on the diameter of the flip graph $F(P)$ for $n$ points in convex position to $\frac{11}{7}n-o(n)$.
The Erdős-Ginzburg-Ziv theorem constant of finite groups
Let $G$ be a multiplicatively written finite group of order $n$. The Erdős-Ginzburg-Ziv Theorem constant of the group $G$, denoted $\mathsf E(G)$, is defined as the smallest positive integer $\ell$ with the following property: for any given sequence $(g_1,\ldots,g_{\ell})$ over $G$, there exist $n$ distinct integers $i_1,\ldots,i_n\in \{1,\ldots,\ell\}$ such that the product of $g_{i_1},\ldots,g_{i_n}$, in some order, is the identity element of $G$. The Erdős-Ginzburg-Ziv Theorem constant originates from the celebrated additive theorem proved by Erdős, Ginzburg and Ziv in 1961, which amounts to proving $\mathsf E(G)\leq 2|G|-1$ holds in case that $G$ is abelian. It is also well-known that $\mathsf E(G)=2|G|-1$ holds for all finite cyclic groups. In 2010, Gao and Li [J. Pure Appl. Algebra] conjectured that $\mathsf E(G)\leq \frac{3|G|}{2}$ for every finite non-cyclic group $G$. In this paper, we confirm the conjecture for all non-cyclic groups $G$ whose order is not divisible by four, and characterize the groups achieving the equality $\mathsf E(G)=\frac{3|G|}{2}$ as those with a cyclic subgroup of index two.
A Quantum Encoding of Traveling Salesperson Tours via Route Generation, Cost Phases, and a Valid-Permutation
We present a compact quantum encoding of the Traveling Salesperson Problem (TSP) based on a time-register representation of tours. A candidate route is represented as a sequence of $n$ city labels over discrete time steps, with one fixed start city and the remaining cities encoded in binary registers. We describe three ingredients of the construction: uniform route generation over the route register, a reversible oracle for marking valid tours, and a phase oracle that encodes the total tour cost. The validity oracle distinguishes permutations of the non-start cities from invalid assignments, while the cost oracle accumulates the contribution of the start edge, intermediate transitions, and return edge into a tour-dependent phase. This yields a coherent superposition of candidate routes with feasibility and tour-length information embedded directly in the quantum state. The number of qubits required is $\Order{n\log_2(n)}$ and the circuit depth scales quadratically in $n$. The encoding is compatible with amplitude amplification or spectral filtering techniques such as the quantum singular value transform (QSVT) or Grover's algorithm. However, due to the exponentially small fraction of valid tours, the overall complexity remains exponential even when combined with amplitude amplification.
Constructing orientable and negative orientable sequences with asymptotically optimal period
Orientable sequences, periodic sequences in which any $n$-tuple appears at most once in either direction, were introduced in the early 1990s for use in certain position location applications; constructions and upper bounds on the period for the binary case were published by Dai et al. More recent work has focussed on $k$-ary sequences for arbitrary $k>2$; one method of construction involves negative orientable sequences, in which an $n$-tuple appears at most once in either the sequence or the negative of its reverse. In this paper we show how additional $n$-tuples can be added to one previously described approach for generating negative orientable sequences, resulting in new sequences with asymptotically optimal period. These sequences can in turn be used to generate orientable sequences, again with asymptotically optimal period.
A Proof of a Conjecture of Móricz and Nagy on Rational-Value Sums
Móricz and Nagy introduced the problem of maximizing the number of $r$-element subsets with rational sums in an $n$-element set of irrational numbers, and showed that it is equivalent to an extremal zero-sum problem. They determined the exact maximum in several cases. For the remaining range, they presented an explicit construction of an $n$-element set of irrational numbers containing exactly $m\binom{n-m}{r-1}$ such subsets, where $m=\lfloor n/r\rfloor$. They conjectured that this construction is always optimal for any $1<r<n$. In this paper, we confirm that conjecture. Our proof combines an order-theoretic antichain argument for zero-sum subsets with a sharp maximization of the resulting binomial expressions. As a consequence, we determine exactly the maximum number of $r$-term zero-sum subsequences in sequences of $n$ nonzero integers.
Uniqueness and locality of the ground state of the disordered Monomer-Dimer models on independently weighted Unimodular Bienaymé-Galton-Watson trees
Consider a finite graph $G=(V(G),E(G))$ and two continuous weight distributions $ω$ and $ξ$, for which we only assume that $ξ$ is lower bounded. Next, independently draw weights $(w(e))_{e \in E(G)}$ with distribution $ω$ on edges and $(x(v))_{v \in V(G)}$ with distribution $ξ$ on vertices. The ground state of the monomer-dimer model on the weighted graph $G$ is a collection of edges (dimers) and vertices (monomers) such that every vertex is included in at most one monomer or dimer, and such that the sum of weights on its dimers and monomers is maximised.
Take $(G_n,o_n)_{n \in \mathbb{N}}$ to be a sequence of random rooted weighted graphs that converges locally to an independently weighted unimodular Bienaymé-Galton-Watson tree $(\mathbb{T},o)$ with vertex-weight distribution $ξ$ and edge-weight distribution $ω$ . By proving that the ground state of the monomer-dimer model on the tree $(\mathbb{T},o)$ is almost surely unique and locally approximable, we prove that the ground state of the monomer-dimer model on $(G_n,o_n)$ must converge locally to the ground state of the monomer-dimer model on $(\mathbb{T},o)$. This also implies a strong decorrelation property on monomer-dimer models on unimodular Bienaymé-Galton-Watson trees.
Forest webs and pattern avoidance
In a recent preprint, Mike Cummings showed that the smooth components of suitably parametrized Springer fibers are in bijection with contracted, fully reduced Plücker degree-two $\mathfrak{sl}_r$-webs of standard type and that are forests. He showed these are enumerated by sequence A116731 in the OEIS, which is equinumerous with permutations avoiding the patterns {321,2143,3124}. Cummings posed the problem of strengthening this enumerative result by finding a bijection between these webs and a collection of pattern-avoiding permutations. Here we solve this problem, although notably not with the collection of patterns that Cummings had proposed. Rather, we give a bijection between this class of webs and permutations avoiding the patterns {132,4321,3214}.
Parry condition, existence and uniqueness of alternate bases
Alternate bases are a numeration system that generalizes the Rényi numeration system. It is common in this context to construct examples or counter-examples by specifying the expansions of $1$ in the desired system. While it is easy to show when a system with given expansions of $1$ exists in the Rényi case, the same is not true in the alternate case. In this article, we establish conditions for given words to be the expansions of $1$ in the alternate case. To do so, we use a fixed point theorem on matrices defined from the expansions and obtain the elements of the base from the components of the fixed point. We also obtain a partial result for the uniqueness of such a base. In the latter parts of the article, we use similar techniques to prove the existence of bases with a given sequence of $B$-integers.
Dyadic Self-Similarity in a Perturbed Hofstadter $Q$-Recursion
We study a perturbed variant of Hofstadter's $Q$-recursion \[ Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n, \qquad Q(1)=Q(2)=1 . \] Numerical experiments indicate that the sequence remains well defined for very large values of $n$ and exhibits an unexpectedly structured large-scale behavior. The data provide strong empirical evidence that the sequence grows approximately linearly, with \[ Q(n)\approx \frac{n}{2}. \] Writing $Q(n)=n/2+E(n)$, the fluctuation term $E(n)$ appears to display a persistent dyadic self-similarity: characteristic patterns recur across scales related by powers of two. A heuristic analysis of the recursion suggests a possible explanation for this phenomenon. Since the recursive indices typically lie close to $n/2$, the dynamics repeatedly couple values at scale $n$ with values near scale $n/2$, producing an effective dyadic renormalization mechanism.
We further analyze the associated index processes $t_1(n)=n-Q(n-1)$ and $t_2(n)=n-Q(n-2)$, which reveal a pronounced parity dependence in the dynamics. In addition, numerical experiments on the frequency sequence of the values of $Q(n)$ suggest a regular dyadic organization with approximately geometric multiplicities inside blocks $B_k={2^k,\dots,2^{k+1}-1}$.
Taken together, these observations point to a possible parity-split dyadic renormalization structure governing the long-term dynamics of the recursion. Establishing rigorous results for these phenomena remains an open problem.
Linear recurrences for non-log-concave independence polynomials of trees
We identify a structural pattern in the construction of known infinite families of trees whose independence polynomials are not log-concave. Using this pattern and properties of polynomial ring ideals, we derive linear recurrences for these polynomials. As a consequence, we prove that the set of non-isolated limit points of their zeros lies on the circle $|z+1/3|=1/3$ in the complex plane. Building on these recurrences, we also exhibit infinite families of trees whose independence polynomials break log-concavity at one, two, and three consecutive indices, as well as finite families that break log-concavity at four and five consecutive indices. Our approach suggests that arbitrarily many consecutive breaks may be achievable, offering further insight into a question posed by Galvin [D. Galvin, Trees with non log-concave independent set sequences, arXiv:2502.10654v1, 2025].
The homotopy type of the clique complex of the partition graph
For each positive integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with edges corresponding to elementary transfers of one cell between two parts, followed by reordering. Let $K_n := \mathrm{Cl}(G_n)$ be the clique complex of $G_n$.
We prove that $K_n$ is homotopy equivalent to a wedge of $2$-spheres. More precisely, $K_n$ is homotopy equivalent to a wedge of $b_n$ copies of $S^2$, where $b_n = χ(K_n) - 1$. Thus the homotopy type of $K_n$ is completely determined by its Euler characteristic.
The proof has three main ingredients. First, we classify all cliques in $G_n$ via two canonical families of simplices, called star-simplices and top-simplices, and use them to build a canonical cover of $K_n$. Second, we pass to the corresponding nerve, construct a second natural cover, and show via the intersection poset of that cover that $K_n$ has the homotopy type of a CW-complex of dimension at most $2$. Third, using an explicit height function on partitions, we prove that $K_n$ is connected and simply connected. It follows that the reduced homology of $K_n$ is concentrated in degree $2$, where its rank is $χ(K_n) - 1$, and therefore $K_n$ has the homotopy type claimed above.
We conclude with remarks on Euler characteristics, small examples, and the integer sequences arising from these complexes.
Maximal green sequences for quantum and Poisson CGL extensions
We prove that the quantum and classical cluster algebras for all members of the axiomatically defined classes of symmetric quantum and Poisson Cauchon-Goodearl-Letzter extensions possess maximal green sequences in the sense of Keller. Previously, maximal green sequences were constructed for explicit families of cluster algebras; many of those can be recovered from the general result for CGL extensions.
Non-uniform Kahn-Kalai, spread, variants, and applications
Building on B.Park and Vondrak's recent generalization of the J.Park-Pham Theorem (formerly known as Kahn-Kalai conjecture) to non-uniform probability measures, this paper introduces the notion of "spread" for the non-uniform setting. This provides a framework to establish 1-statements for subgraph containment in inhomogeneous random graphs with or without a set of forced edges. Using this approach, we derived conditions for the emergence of perfect matchings in the Stochastic Block Model and the Chung-Lu model, and verified that these conditions are in general not tight, but they capture thresholds across a broad range of regimes. Finally, we bridge this non-uniform framework with $\mathcal{G}(n,\textbf{d})$, utilizing a coupling argument to demonstrate thresholds for perfect matchings in $\mathcal{G}(n,\textbf{d})$ for a broad range of degree sequences $\textbf{d}$.
Sharp threshold for universality of cokernels of classical random matrix models over the $p$-adic integers
We prove that $\frac{\log n}{n}$ is the sharp threshold for universality of the distribution of cokernels of random matrices over $\mathbb{Z}_p$. More precisely, let $α_n = \frac{c\log n}{n}$ for a constant $c>0$ and let $A(n)$ be an $α_n$-balanced random matrix over $\mathbb{Z}_p$. For non-symmetric, symmetric, and alternating matrix models, we prove that if $c>1$, then the limiting distribution of the cokernel of $A(n)$ coincides with the universal distribution of the corresponding symmetry type, whereas universality fails at the critical scale $c=1$. This improves earlier universality results, which required $α_n \gg \frac{\log n}{n}$, to the optimal threshold. As an application, we generalize the universality result for Sylow $p$-subgroups of sandpile groups of Erdős-Rényi random graphs to a broader class of Erdős-Rényi graph sequences. Our approach is based on a unified framework that simultaneously treats all symmetry types of random matrices as well as the random graph model, rather than handling each case separately.
An effective Mayer-Vietoris Theorem for discrete Morse homology
The Mayer-Vietoris theorem is known for its wide applications, especially in determining homology. In fact, this theorem provides us with a long exact sequence, where the underlying homology groups fit in. However, this theorem does not provide an explicit way to compute homology. In this paper we prove an ``effective" version of the Mayer-Vietoris theorem using discrete Morse theory. Suppose, we have a Mayer-Vietoris type setup, i.e., let $X$ be a simplicial complex and $A$ and $B$ be two subcomplexes of $X$, such that $A \cup B=X$. Moreover, let $\mathcal{W}_A$, $\mathcal{W}_{B}$ and $\mathcal{W}_{A \cap B}$ be gradient vector fields on $A$, $B$ and $A \cap B$ respectively (which need not be ``coherent", i.e., they do not need to coincide on their intersection). Then, the main theorem of our paper provides an explicit way to compute the homology groups of $X$, using the combinatorial information regarding the trajectories of the aforementioned gradient vector fields, we do not even need to know the individual homology groups $H_{*}(A)$, $H_{*}(B)$ and $H_{*}(A \cap B)$. In principle, the homology of $X$ can always be computed explicitly using our theorem irrespective of the choice of the gradient vector fields. Further, if we choose the subcomplexes $A$ and $B$ wisely so that each of $A$, $B$ and $A \cap B$ admits an efficient gradient vector field, then the computation of the homology groups is considerably reduced.
Decoding universal cycles for t-subsets and t-multisets by decoding bounded-weight de Bruijn sequences
A universal cycle for a set S of combinatorial objects is a cyclic sequence of length |S| that contains a representative of each element in S exactly once as a substring. Despite the many universal cycle constructions known in the literature for various sets including k-ary strings of length n, permutations of order n, t-subsets of an n-set, and t-multisets of an n-set, remarkably few have efficient decoding (ranking/unranking) algorithms. In this paper we develop the first polynomial time/space decoding algorithms for bounded-weight de Bruijn sequences for strings of length nover an alphabet of size k. The results are then applied to decode universal cycles for t-subsets and t-multisets.
Universal cycle constructions for k-subsets and k-multisets
A universal cycle for a set S of combinatorial objects is a cyclic sequence of length |S|that contains a representation of each element in S exactly once as a substring. If S is the set of k-subsets of [n] = {1, 2, . . . , n}, it is well-known that universal cycles do not always exists when applying a simple string representation, where 12 or 21 could represent the subset {1, 2}. Similarly, if S is the set of k-multisets of [n], it is also known that universal cycles do not always exist using a similar representation, where 112, 121, or 211 could represent the multiset {1, 1, 2}. By mapping these sets to an appropriate family of labeled graphs, universal cycles are known to exist, but without a known efficient construction. In this paper we consider a new representation for k-subsets and k-multisets that leads to efficient universal cycle constructions for all n, k >=2. We provide successor-rule algorithms to construct such universal cycles in O(n) time per symbol using O(n) space and demonstrate that necklace concatenation algorithms allow the same sequences to be generated in O(1) amortized time per symbol. They are the first known efficient universal cycle constructions for k-multisets. The results are obtained by considering constructions for bounded-weight de Bruijn sequences. In particular, we demonstrate that a bounded-weight generalization of the Grandmama de Bruijn sequence can be constructed in O(1) amortized time per symbol.
New Binomial Identities for Fibonacci, Lucas, and Generalized Fibonacci Sequences with Multiple Indices
This paper presents new identities expressing the terms of Fibonacci, Lucas, and generalized Fibonacci sequences with multiple indices through powers of Lucas numbers and binomial coefficients. The obtained formulas rely on the application of symmetric polynomials (Waring's formulas) to the classical Binet's formula. Particular attention is given to the binomial expansion for the generalized Fibonacci sequence, which structurally combines two adjacent binomial coefficients from Pascal's triangle.