sequence
7050 papers tagged with this keyword
Any fully graphic region of degree sequences can be sampled rapidly
Let $n>c_1\ge c_2$ and $Σ$ be positive integers with $n\cdot c_1\ge Σ\ge n\cdot c_2.$ Let $\mD=\dds{n}Σ{c_1}{c_2}$ denote the set of all degree sequences of length $n$ with the even sum $Σ$ and satisfying $c_1\ge d_i\ge c_2.$ We show that if all degree sequences in $\mD$ are graphic, then $\mD$ is $3n^{13}$-stable. (The concept of $P$-stability was introduced by Jerrum and Sinclair in 1990.) In particular, this implies that the switch Markov-chain mixes rapidly on all such degree sequences.
In this paper we also study the inverse direction. We show the following: if all graphic sequences of a degree sequence region satisfy the $p(n)$-stability condition then the overwhelming majority of the sequences in the region is graphic. This answers affirmatively a question raised in the paper \DOI{10.1016/j.aam.2024.102805}.
Threshold graphs are globally synchronizing
The Kuramoto model can be formulated as a gradient flow on a nonconvex energy landscape of the form $E(\boldsymbolθ) := \frac{1}{2} \sum_{1\le i,j\le n} A_{ij}\bigl(1-\cos(θ_i-θ_j)\bigr).$ A fundamental question is to identify graph structures for which this landscape is benign, in the sense that every second-order stationary point corresponds to a fully synchronized state. This property guarantees that all trajectories of the Kuramoto model converge to a fully synchronized state except for a measure-zero set of initial conditions, a phenomenon known as global synchronization. Existing guarantees typically require that each node be connected to a sufficiently large fraction of the other nodes, enforcing high graph density. In this work, we show that threshold graphs lie well outside this regime while still exhibiting global synchronization. In particular, threshold graphs realize arbitrary edge densities and have degree sequences that are extremal in the sense of majorization. Our analysis is based on a phasor--geometric characterization of stationary points that exploits the structural and geometric symmetries induced by threshold graphs.
Reflection on the reflection complexity
The factor complexity ${\mathcal C}_{\mathbf u}$ of a sequence ${\mathbf u} = u_0u_1u_2 \cdots$ over a finite alphabet counts the number of factors of length $n$ occurring in $\mathbf u$, i.e., ${\mathcal C}_{\mathbf u}(n) = \#{\mathcal L}_n(\mathbf u)$, where ${\mathcal L}_n({\mathbf u)}= \{u_iu_{i+1}\cdots u_{i+n-1}: i \in \mathbb N\}$. Two factors of ${\mathcal L}_n(\mathbf u)$ are said to be equivalent if one factor is the reversal of the other one. Recently, Allouche et al. introduced the reflection complexity $r_{\mathbf u}$ which counts the number of non-equivalent factors of $\mathcal{L}_n(\mathbf u)$. They formulated the following conjecture: a sequence $\mathbf u$ is eventually periodic if and only if $r_{\mathbf u}(n+2) = r_{\mathbf u}(n)$ for some $n \in \mathbb N$. Here we prove the conjecture and characterize the sequences for which $r_{\mathbf u}(n+2) = r_{\mathbf u}(n)+1$ for every $n \in \mathbb N$ and also the sequences for which the equality is satisfied for every sufficiently large $n \in \mathbb N$.
A nonexistence criterion and new constructions for Butson Hadamard matrices
Published
• View Publication
• BIB
Based on the concept of positive definite functions on finite groups, we present a new necessary condition for the existence of Butson Hadamard matrices $BH(n,q)$. We use this condition to prove some nonexistence results for a sequence of values of $(n,q)$, and also to facilitate a computer search and discover a matrix $BH(18,14)$. Furthermore, we use cyclotomic cosets to construct matrices $BH(34,10)$, $BH(62,6)$, $BH(82,6)$, and $BH(146,6)$ for the first time. These matrices have a $2$-circulant structure.
Advancing the Rödl Nibble: New bounds on matchings and the list chromatic index of hypergraphs
Let $H$ be a $(k+1)$-uniform hypergraph which is nearly $D$-regular, such that any set of $i$ vertices is contained in at most $D_i$ edges of $H$ for each $i = 2, 3, \dots, k+1$. Influential results of Pippenger and of Frankl and Rödl show that the \textit{Rödl Nibble} -- a probabilistic procedure which iteratively constructs a matching in small bits -- can produce an almost-perfect matching in $H$, provided $D_2$ is much smaller than $D$. The quantitative aspects of this result were sharpened by several authors, with the previously best-known result due to Vu, whose result takes more of the codegree sequence $D_2, \dots, D_{k+1}$ into account. We improve Vu's result, by showing the Rödl Nibble can ``exhaust'' the full codegree sequence up to one of several natural bottlenecks, even tolerating extensive ``clustering'' of codegree values. Up to a subpolynomial error term, we believe our result to be the optimal usage of pure nibble methodology.
We also show that our matching can be taken to be ``pseudorandom'' with respect to a set of weight functions on $V(H)$, and we use this result to derive other hypergraph matching results in partite settings, including a new bound on the list chromatic index which implies the best-known result of Molloy and Reed up to the error term, and is stronger when the hypergraph is not close to linear, i.e.\ $D_2=ω(1)$. We also apply our results to obtain improved bounds on almost-spanning structures in Latin squares and designs, and the maximum diameter of a simplicial complex.
The maximum diameter of 2-dimensional simplicial complexes
Published
• View Publication
• BIB
We study a problem of Santos about the largest possible diameter of a $d$-dimensional (abstract) simplicial complex on $n$ vertices. For dimension 2, we determine the exact value of the maximum for every $n$ using an explicit construction. We also come across a tantalizing open problem about the packing of squares of Hamilton cycles in the complete graph and obtain an infinite sequence of tight explicit constructions.
Sparse Paving Positroids
Published
• View Publication
• BIB
Using Postnikov's Le-diagrams, decorated permutations, and Grassmann necklaces, we classify which positroids are sparse paving matroids. This allows us to enumerate sparse paving positroids, making connections to a known sequence involving the golden ratio and to the Lucas numbers.
Hadamard Products of dual Jacobi-Trudi matrices
We study positivity properties of Hadamard products of Jacobi-Trudi matrices. Maló proved that the Hadamard (entrywise) product of two totally positive upper-triangular Toeplitz matrices whose Toeplitz sequences are the coefficient sequences of real-rooted polynomials with nonpositive zeros is again totally positive. Sokal conjectured that this result can be strengthened to total monomial positivity for the Hadamard product of Jacobi-Trudi matrices. In this paper we show that Temperley-Lieb immanants are Schur positive for Hadamard products of Jacobi-Trudi matrices given by ribbon-like skew shapes. In particular, we affirm Sokal's conjecture for minors given by ribbon-like skew shapes. Moreover, we provide a manifestly positive Schur expansion for Temperley-Lieb immanants evaluated on the Hadamard product of Jacobi-Trudi matrices indexed by ribbons. In addition, for the ribbon case, we construct a corresponding representation, offering a representation-theoretic proof of the Schur positivity.
The solvable Graph of a finite-dimensional Lie Algebra
Published
• View Publication
• BIB
We introduce and investigate the solvable graph $Γ_\mathfrak{S}(L)$ of a finite-dimensional Lie algebra $L$ over a field $F$. The vertices are the elements outside the solvabilizer $\sol(L)$, and two vertices are adjacent whenever they generate a solvable subalgebra. After developing the basic properties of solvabilizers and $S$-Lie algebras, we establish divisibility conditions, coset decompositions, and degree constraints for solvable graphs. Explicit examples, such as $\mathfrak{sl}_2(\mathbb{F}_3)$, illustrate that solvable graphs may be non-connected, in sharp contrast with the group-theoretic setting. We further determine the degree sequences of $Γ_\mathfrak{S}(\mathfrak{gl}_2(\F_q))$ and $Γ_\mathfrak{S}(\mathfrak{sl}_2(\F_q))$, highlighting how spectral types of matrices dictate combinatorial patterns. An algorithmic framework based on GAP and SageMath is also provided for practical computations. Our results reveal both analogies and differences with the nilpotent graph of Lie algebras, and suggest that solvable graphs encode structural invariants in a genuinely new way. This work opens the door to a broader graphical approach to solvability in Lie theory.
Combinatorics of positional colored compositions
We consider colored compositions where only some parts are allowed different colors, depending on their locations in the composition. The counting sequences are obtained through generating functions. Connections to many other combinatorial objects are discussed, with combinatorial arguments provided and generalized for these observations.
Distinguishability and linear independence for $H$-chromatic symmetric functions
We study the $H$-chromatic symmetric functions $X_G^H$ (introduced in (arXiv:2011.06063) as a generalization of the chromatic symmetric function (CSF) $X_G$), which track homomorphisms from the graph $G$ to the graph $H$. We focus first on the case of self-chromatic symmetric functions (self-CSFs) $X_G^G$, making some progress toward a conjecture from (arXiv:2011.06063) that the self-CSF, like the normal CSF, is always different for different trees. In particular, we show that the self-CSF distinguishes trees from non-trees with just one exception, we check using Sage that it distinguishes all trees on up to 12 vertices, and we show that it determines the number of legs of a spider and the degree sequence of a caterpillar given its spine length. We also show that the self-CSF detects the number of connected components of a forest, again with just one exception. Then we prove some results about the power sum expansions for $H$-CSFs when $H$ is a complete bipartite graph, in particular proving that the conjecture from (arXiv:2011.06063) about $p$-monotonicity of $ω(X_G^H)$ for $H$ a star holds as long as $H$ is sufficiently large compared to $G$. We also show that the self-CSFs of complete multipartite graphs form a basis for the ring $Λ$ of symmetric functions, and we give some construction of bases for the vector space $Λ^n$ of degree $n$ symmetric functions using $H$-CSFs $X_G^H$ where $H$ is a fixed graph that is not a complete graph, answering a question from (arXiv:2011.06063) about whether such bases exist. However, we show that there generally do not exist such bases with $G$ fixed, even with loops, answering another question from (arXiv:2011.06063). We also define the $H$-chromatic polynomial as an analogue of the chromatic polynomial, and ask when it is the same for different graphs.
On (102,000)-avoiding inversion sequences
Published
• View Publication
• BIB
In this article, we study (102,000)-avoiding inversion sequences with a fixed number of distinct elements. By introducing simple H-paths, we derive the trivariate generating function for these inversion sequences with respect to their length, number of distinct elements, and rank. As consequences, we obtain an explicit formula for the number of (102,000)-avoiding inversion sequences with fixed length and number of distinct elements and we also provide a formula for those with fixed number of distinct elements and rank. In particular, we show that both the number of (102,000)-avoiding inversion sequences with a fixed number of distinct elements whose maximum element occurs exactly once and the number of those whose rank is zero are given by the 3-Fuss-Catalan numbers.
On the Asymptotic Palindrome Density of Fibonacci Infinite Words
In this paper, we investigate the combinatorial and density properties of infinite words generated by Fibonacci-type morphisms, focusing on their subword structure, palindrome density, and extremal statistical behaviors. Using the morphism $0 \to 01$, $1 \to 0$, we define a derived ternary word $\mathbb{Y}$ and establish new results relating its density components $\mathrm{dens}(λ,n)$, $\mathrm{dens}(α,n)$, and $\mathrm{dens}(β,n)$, deriving explicit formulae and bounds on their behavior. We further prove a general density theorem for infinite words with paired subwords, showing that the associated palindromic prefix density is bounded above by $\frac{1}{\varphi_1}$, where $\varphi_1 = (1 + \sqrt{5})/2$ is the golden ratio. Our approach connects the structure of Fibonacci and Thue--Morse sequences with precise asymptotic and combinatorial interpretations for the observed densities.
On the gradient of the coefficient of the characteristic polynomial
We prove the bivariate Cayley-Hamilton theorem, a powerful generalization of the classical Cayley-Hamilton theorem. The bivariate Cayley-Hamilton theorem has three direct corollaries that are usually proved independently: The classical Cayley-Hamilton theorem, the Girard-Newton identities, and the fact that the determinant and every coefficient of the characteristic polynomial has polynomially sized algebraic branching programs (ABPs) over arbitrary commutative rings. This last fact could so far only be obtained from separate constructions, and now we get it as a direct consequence of this much more general statement.
The statement of the bivariate Cayley-Hamilton theorem involves the gradient of the coefficient of the characteristic polynomial, which is a generalization of the adjugate matrix. Analyzing this gradient, we obtain another new ABP for the determinant and every coefficient of the characteristic polynomial. This ABP has one third the size and half the width compared to the current record-holder ABP constructed by Mahajan-Vinay in 1997. This is the first improvement on this problem for 28 years.
Our ABP is built around algebraic identities involving the first order partial derivatives of the coefficients of the characteristic polynomial, and does not use the ad-hoc combinatorial concept of clow sequences. This answers the 26-year-old open question by Mahajan-Vinay from 1999 about the necessity of clow sequences.
We prove all results in a combinatorial way that on a first sight looks similar to Mahajan-Vinay, but it is closer to Straubing's and Zeilberger's constructions.
Hall's theorem for reconfigurations and higher dimensional topological connectedness
One widely applied sufficient condition for the existence of a colorful simplex in a vertex-colored simplicial complex is a topological extension of Hall's transversal theorem due to Aharoni, Haxell, and Meshulam. We prove a similar topological Hall theorem that provides a sufficient condition for being able to transform any colorful simplex into any other through a sequence of one-vertex swaps while always maintaining a colorful simplex, meaning that the associated reconfiguration graph is connected. In fact, we prove a generalized topological Hall theorem about the homological connectedness of the space of colorful simplices, as well as a matroidal generalization of this result. We deduce sufficient conditions for reconfiguration graphs to be connected for various combinatorial structures of interest such as independent transversals in graphs, matchings in bipartite hypergraphs, and intersections of matroids. In particular, we give an alternative proof of a maximum degree condition for independent transversal reconfigurability by Buys, Kang, and Ozeki. We also deduce tight reconfiguration versions of the colorful Helly, colorful Carathéodory, and Tverberg theorems from discrete geometry, confirming a conjecture of Oliveros, Roldán, Soberón, and Torres.
Spectral theory of dense hypergraph limits
Published
• View Publication
• BIB
In this work, we develop a spectral theory for hypergraph limits. We prove the convergence of the spectra of adjacency and Laplacian matrices for hypergraph sequences converging in the 1-cut metric. On the other hand, we give examples of matrix operators associated with hypergraphs whose spectra are not continuous with respect to the 1-cut metric. Furthermore, we show that these operators are continuous with respect to other cut norms.
Zeros of Stern polynomials in the complex plane
The classical Stern sequence of positive integers was extended to a polynomial sequence $S_n(λ)$ by Klavžar et. al. by defining $S_0(λ) = 0$, $S_1(λ) = 1$, and $$S_{2n}(λ) = λS_n(λ),\quad S_{2n+1}(λ) = S_n(λ) + S_{n+1}(λ).$$ Dilcher et. al. conjectured that all roots of $S_n(λ)$ lie in the half-plane $\{\operatorname{Re} w < 1\}$. We make partial progress on this conjecture by proving that $\{|w-2| \leq 1\}\subseteq\mathbb C$ does not contain any roots of $S_n(λ)$. Our proof uses the Parabola Theorem for convergence of complex continued fractions. As a corollary, we establish a conjecture of Ulas and Ulas by showing that $S_p(λ)$ is irreducible in $\mathbb Z[λ]$ whenever $p$ is a positive prime.
How to bound Klarner's constant without (a huge number of) Klarner--Rivest twigs
Although known lower bounds for the growth rate $λ$ of polyominoes, or Klarner's constant, are already close to the empirically estimated value $4.06$, almost no conceptual progress on upper bounds has occurred since the seminal work of Klarner and Rivest (1973). Their approach, based on enumerating millions of local neighborhoods (``twigs'') yielded $λ\le 4.649551$, later refined by Barequet and Shalah (2022) to $λ\le 4.5252$ using trillions of configurations. The inefficiency lies in representing each polyomino as an almost unrestricted sequence of twigs once the large set of neighborhoods is fixed.
We introduce a recurrence-based framework that constrains how local neighborhoods concatenate. Using a small system of convolution-type recurrences, we obtain $λ\le 4.5238$. The proof is short, self-contained, and fully verifiable by hand. Despite the marginal numerical improvement, the main contribution is methodological: replacing trillions of configurations with a concise one-page system of recurrences. The framework can be extended, with modest computational assistance, to further tighten the bound and to address other combinatorial systems governed by similar local constraints.
On Perrin Cordial Labeling: A New Approach in Graph Labeling Theory
In this paper, we introduce the concept of \emph{Perrin cordial labeling}, a novel vertex labeling scheme inspired by the Perrin number sequence and situated within the broader framework of graph labeling theory. The Perrin numbers are defined recursively by the relation \( P_n = P_{n-2} + P_{n-3} \), with initial values \( P_0 = 0 \), \( P_1 = 3 \), and \( P_2 = 0 \). A Perrin cordial labeling of a graph \( G = (V, E) \) is an injective function \( f : V(G) \rightarrow \{P_0, P_1, \dots, P_n\} \), where the induced edge labeling \( f^* : E(G) \rightarrow \{0,1\} \) is given by \( f^*(uv) = (f(u) + f(v)) \pmod 2 \). The labeling is said to be cordial if the number of edges labeled \( 0 \), denoted \( e_f(0) \), and the number labeled \( 1 \), denoted \( e_f(1) \), satisfy the condition \( |e_f(0) - e_f(1)| \leq 1 \). A graph that admits such a labeling is called a \emph{Perrin cordial graph}. This study investigates the existence of Perrin cordial labelings in various families of graphs by analyzing their structural properties and compatibility with the proposed labeling scheme. Our results aim to enrich the theory of graph labelings and highlight a new connection between number theory and graph structures.
Attractors of sequences coding $β$-integers
In this paper, we describe minimal string attractors of prefixes of simple Parry sequences. These sequences form a coding of distances between consecutive $β$-integers in numeration systems with a real base $β$. Simple Parry sequences have been recently studied from this point of view and attractors of prefixes have been described. However, the authors themselves had doubts about their minimality and conjectured that attractors of alphabet size should be sufficient. We confirm their conjecture. Moreover, we provide attractors of prefixes of some particular form of binary non-simple Parry sequences.