sequence
6966 papers tagged with this keyword
A classification of van der Waerden complexes with linear resolution
Published
• View Publication
• BIB
In 2017, Ehrenborg, Govindaiah, Park, and Readdy defined the van der Waerden complex ${\tt vdW}(n,k)$ to be the simplicial complex whose facets correspond to all the arithmetic sequences on the set $\{1,\ldots,n\}$ of a fixed length $k$. To complement a classification of the Cohen--Macaulay van der Waerden complexes obtained by Hooper and Van Tuyl in 2019, a classification of van der Waerden complexes with linear resolution is presented. Furthermore, we show that the Stanley--Reisner ring of a Cohen--Macaulay van der Waerden complex is level.
$K_{2,3}$-induced minor-free graphs admit quasi-isometry with additive distortion to graphs of tree-width at most two
A graph $H$ is an \emph{induced minor} of a graph $G$ if $H$ can be obtained from $G$ by a sequence of edge contractions and vertex deletions. Otherwise, $G$ is \emph{$H$-induced minor-free}. In this paper, we provide a different proof of the fact that $K_{2,3}$-induced minor-free graphs admit a quasi-isometry with additive distortion to graphs with tree-width at most two. Our proof yields a $O(nm)$-time algorithm which takes as input a $K_{2,3}$-induced minor-free graph with $n$ vertices and $m$ edges, and outputs a tree-width two graph $H$ with the desired additive distortion. For \emph{universally signable} graphs, a subclass of $K_{2,3}$-induced minor-free graphs, the time complexity of our algorithm is linear. As a consequence, we obtain a truly sub-quadratic time additive constant factor approximation algorithm to compute the \emph{diameter} of a universally signable graph. In contrast, assuming the \emph{Strong Exponential Time Hypothesis} (\textsc{SETH}), the diameter of split graphs (a very restricted class of universally signable graphs), cannot be computed in truly sub-quadratic time [Borassi et al. (ENTCS, 2016)].
Optimal Trickle-Down Theorems for Path Complexes via C-Lorentzian Polynomials with Applications to Sampling and Log-Concave Sequences
Published
• View Publication
• BIB
Let $X$ be a $d$-partite $d$-dimensional simplicial complex with parts $T_1,\dots,T_d$ and let $μ$ be a distribution on the facets of $X$. Informally, we say $(X,μ)$ is a path complex if for any $i<j<k$ and $F \in T_i,G \in T_j, K\in T_k$, we have $\mathbb{P}_μ[F,K | G]=\mathbb{P}_μ[F|G]\cdot\mathbb{P}_μ[K|G].$ We develop a new machinery with $\mathcal{C}$-Lorentzian polynomials to show that if all links of $X$ of co-dimension 2 have spectral expansion at most $1/2$, then $X$ is a $1/2$-local spectral expander. We then prove that one can derive fast-mixing results and log-concavity statements for top-link spectral expanders.
We use our machinery to prove fast mixing results for sampling maximal flags of flats of distributive lattices (a.k.a. linear extensions of posets) subject to external fields, and to sample maximal flags of flats of "typical" modular lattices. We also use it to re-prove the Heron-Rota-Welsh conjecture and to prove a conjecture of Chan and Pak which gives a generalization of Stanley's log-concavity theorem. Lastly, we use it to prove near optimal trickle-down theorems for "sparse complexes" such as constructions by Lubotzky-Samuels-Vishne, Kaufman-Oppenheim, and O'Donnell-Pratt.
Connected equitably $Δ$-colorable realizations with $k$-factors
A graph $G$ is said to be equitably $c$-colorable if its vertices can be partitioned into $c$ independent sets that pairwise differ in size by at most one. Chen, Lih, and Wu conjectured that every connected graph $G$ with maximum degree $Δ(G)\geq 2$ has an equitable coloring with $Δ(G)$ colors, except when $G$ is complete, an odd cycle, or a balanced bipartite graph with odd sized partitions. Suppose $G$ is a connected graph with a $k$-factor (a regular spanning subgraph) $F$ such that $G$ is not complete, a $1$-factor, nor an odd cycle. When $k\geq 1$ we demonstrate that there is a connected $(k-1)$ edge-connected equitably $Δ(G)$-colorable graph $H$ with a $k$-factor $F'$ such that $G-E(F)=H-E(F')$. If we drop the requirement that $G-E(F)=H-E(F')$, then we can say more. Considering the non-increasing degree sequence $π=(d_{1},\ldots, d_{n})$ of $G$ where $d_{i}=deg_{G}(v_{i})$ for all vertices $\{v_{1},\ldots,v_{n}\}$ of $G$, we call $m(π)=\max\{i|d_{i}\geq i\}$ the strong index of $π$. For $k\geq 0$, we can show that for every $$c\geq \max_{l\leq m(π)}\bigg\{\bigg\lfloor\frac{d_{l}+l}{2}\bigg\rfloor\bigg\}+1$$ we can find a connected $(k-1)$ edge-connected equitably $c$-colorable realization $H$ of $π$ that has a $k$-factor. In a third theorem we show that if $d_{d_{1}-d_{n}+1}\geq d_{1}-d_{n}+k-1$, then some realization of $π$ has a $k$-factor. Together, these three theorems allow us to prove that for all $k$, there is a connected equitably $Δ(G)$-colorable realization $H$ of $π$ with a $k$-factor. Thus, giving support to the validity of the Chen-Lih-Wu Conjecture.
Erdős Conjecture and AR-Labeling
Given an edge labeling $f$ of a graph $G$, a vertex $v$ is called an $AR$-vertex, if $v$ has distinct edge weight sums for each distinct subset of edges incident on $v$. An injective edge labeling $f$ of a graph $G$ is called an $AR$-labeling of $G$, if $f:E(G) \rightarrow \mathbb{N}$ is such that every vertex in $G$ is an $AR$-vertex under $f$. The minimum $k$ such that there exists an $AR$-labeling $f:E\rightarrow \{1,2,3,\dots,k\}$ is called the $AR$-index of G, denoted by $ARI(G)$. In this paper, using a sequence originating from Erdős subset sum conjecture, a lower bound has been obtained for the $AR$-index of a graph and this bound is used to prove that only finitely many bistars, complete graphs and complete bipartite graphs are $AR$-graphs. The exact values of $AR$-index is obtained for stars and wheels.
Number of partitions of modular integers (with an Appendix by P. Deligne)
For integers $n,k,s$, we give a formula for the number $T(n,k,s)$ of order $k$ subsets of the ring $\mathbb{Z}/n\mathbb{Z}$ whose sum of elements is $s$ modulo $n$. To do so, we describe explicitly a sequence of matrices $M(k)$, for positive integers $k$, such that the size of $M(k)$ is the number of divisors of $k$, and for two coprime integers $k_{1},k_{2}$, the matrix $M(k_{1}k_{2})$ is the Kronecker product of $M(k_{1})$ and $M(k_{2})$. For $s=0, 1, 2$, and for $s=k/2$ when $k$ is even, the sequences $T(n,k,s)$ are related to the number of necklaces with $k$ black beads and $n-k$ white beads, and to Lyndon words. This work begins with empirical determinations of $M(k)$ up to $k=10000$, from which we infer a closed formula that encompasses many entries in the Encyclopedia of Integer Sequences. Its proof comes from work on Ramanujan sums, by Ramanathan, with a generalization to wider problems linked to representation theory and recently described by Deligne.
Merge-width and First-Order Model Checking
Published
• View Publication
• BIB
We introduce merge-width, a family of graph parameters that unifies several structural graph measures, including treewidth, degeneracy, twin-width, clique-width, and generalized coloring numbers. Our parameters are based on new decompositions called construction sequences. These are sequences of ever coarser partitions of the vertex set, where each pair of parts has a specified default connection, and all vertex pairs of the graph that differ from the default are marked as resolved. The radius-$r$ merge-width is the maximum number of parts reached from a vertex by following a path of at most $r$ resolved edges. Graph classes of bounded merge-width -- for which the radius-$r$ merge-width parameter can be bounded by a constant, for each fixed $r=1,2,3,\ldots$ -- include all classes of bounded expansion or of bounded twin-width, thus unifying two central notions from the Sparsity and Twin-width frameworks. Furthermore, they are preserved under first-order transductions, which attests to their robustness. We conjecture that classes of bounded merge-width are equivalent to the previously introduced classes of bounded flip-width.
As our main result, we show that the model checking problem for first-order logic is fixed-parameter tractable on graph classes of bounded merge-width, assuming the input includes a witnessing construction sequence. This unites and extends two previous model checking results: the result of Dvořák, Král, and Thomas for classes of bounded expansion, and the result of Bonnet, Kim, Thomassé, and Watrigant for classes of bounded twin-width.
Finally, we suggest future research directions that could impact the study of structural and algorithmic graph theory, in particular of monadically dependent graph classes, which we conjecture to coincide with classes of almost bounded merge-width.
Realizing degree sequences with $\mathcal S_3$-connected graphs
Published
• View Publication
• BIB
A graph $G$ is $\mathcal S_3$-connected if, for any mapping $β: V (G) \mapsto {\mathbb Z}_3$ with $\sum_{v\in V(G)} β(v)\equiv 0\pmod3$, there exists a strongly connected orientation $D$ satisfying $d^{+}_D(v)-d^{-}_D(v)\equiv β(v)\pmod{3}$ for any $v \in V(G)$. It is known that $\mathcal S_3$-connected graphs are contractible configurations for the property of flow index strictly less than three. In this paper, we provide a complete characterization of graphic sequences that have an $\mathcal{S}_{3}$-connected realization: A graphic sequence $π=(d_1,\, \ldots,\, d_n )$ has an $\mathcal S_3$-connected realization if and only if $\min \{d_1,\, \ldots,\, d_n\} \ge 4$ and $\sum^n_{i=1}d_i \ge 6n - 4$. Consequently, every graphic sequence $π=(d_1,\, \ldots,\, d_n )$ with $\min \{d_1,\, \ldots,\, d_n\} \ge 6$ has a realization $G$ with flow index strictly less than three. This supports a conjecture of Li, Thomassen, Wu and Zhang [European J. Combin., 70 (2018) 164-177] that every $6$-edge-connected graph has flow index strictly less than three.
Claw-free cubic graphs are (1, 1, 1, 3)-packing edge-colorable
Published in Discrete Applied Mathematics 379 (2026) 332-338
• View Publication
• BIB
For a non-decreasing positive integer sequence $S = (s_{1}, \dots, s_{k})$, an $S$-packing edge-coloring of a graph $G$ is a partition of the edge set of $G$ into subsets $E_{1}, \dots, E_{k}$ such that for each $1 \leq i \leq k$, the distance between any two distinct edges $e_{1}, e_{2} \in E_{i}$ is at least $s_{i} + 1$. Gastineau and Togni conjectured that cubic graphs, except the Petersen and Tietze graphs, admit $(1, 1, 1, 3)$-packing edge-colorings. In this paper, we prove that every claw-free cubic graph admits such a coloring.
Lotuses as computational architectures
Published
• View Publication
• BIB
Lotuses are certain types of finite contractible simplicial complexes, obtained by identifying vertices of polygons subdivided by diagonals. As we explained in a previous paper, each time one resolves a complex reduced plane curve singularity by a sequence of toroidal modifications with respect to suitable local coordinates, one gets a naturally associated lotus, which allows to unify the classical trees used to encode the combinatorial type of the singularity. In this paper we explain how to associate a lotus to each constellation of crosses, which is a finite constellation of infinitely near points endowed with compatible germs of normal crossings divisors with two components, and how this lotus may be seen as a computational architecture. Namely, if the constellation of crosses is associated to an embedded resolution of a complex reduced plane curve singularity $A$, one may compute progressively as vertex and edge weights on the lotus the log-discrepancies of the exceptional divisors, the orders of vanishing on them of the starting coordinates, the multiplicities of the strict transforms of the branches of $A$, the orders of vanishing of a defining function of $A$, the associated Eggers-Wall tree, the delta invariant and the Milnor number of $A$, etc. We illustrate these computations using three recurrent examples. Finally, we describe the changes to be done when one works in positive characteristic.
On Geodesic Leech Labeling of Some Graph Classes
Let $f:E\rightarrow \{1,2,3,\dots\}$ be an edge labeling of $G$. The geodesic path number of $G$, $t_{gp}(G)$, is the number of geodesic paths in $G$. An edge labeling $f$ is called a geodesic Leech labeling, if the set of weights of the geodesic paths in $G$ is $\{1,2,3,\dots,t_{gp}(G)\}$, where the weight of a path $P$ is the sum of the labels assigned to the edges of $P$. A graph which admits a geodesic Leech labeling is called a geodesic Leech graph. Otherwise, we call it a non-geodesic Leech graph. In this paper, we prove that cycles $C_n$, $n \geq 5$ are non-geodesic Leech graphs. We also prove that there are at most three regular complete bipartite graphs that are geodesic Leech. We show that degree sequence cannot characterize geodesic Leech graphs. The geodesic path number of the wheel graph $W_n$ is obtained and the geodesic Leech labeling of $W_5$ and $W_6$ is given.
Coxeter codes: Extending the Reed-Muller family
Published
• View Publication
• BIB
Binary Reed-Muller (RM) codes are defined via evaluations of Boolean-valued functions on $\mathbb{Z}_2^m$. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic rate determined by a Gaussian distribution. Coxeter codes also give rise to a family of quantum codes for which transversal diagonal $Z$ rotations can perform non-trivial logic.
On limiting distributions of Graham, Knuth, Patashnik recurrences
Graham, Knuth and Patashnik in their book Concrete Mathematics called for development of a general theory of the solutions of recurrences defined by $$\left|{ n\atop k}\right|=(αn+βk+γ)\left|{n-1\atop k}\right|+(α' n+β' k+γ')\left|{n-1\atop k-1}\right|+I_{n=k=0}$$ for $0\le k\le n$ and six parameters $α,β,γ,α'β',γ'$. Since then, a number of authors investigated various properties of the solutions of these recurrences. In this note we consider a probabilistic aspect, namely we consider the limiting distributions of sequences of integer valued random variables naturally associated with the solutions of such recurrences. We will give a complete description of the limiting behavior when $α'=0$ and the remaining five parameters are non--negative.
On Bass' conjecture of the small Davenport constant
Published
• View Publication
• BIB
Let $G$ be a finite group. The small Davenport constant $\mathsf d(G)$ of $G$ is the maximal integer $\ell$ such that there is a sequence of length $\ell$ over $G$ which has no nonempty product-one subsequence. In 2007, Bass conjectured that $\mathsf d(G_{m,n})=m+n-2$, where $G_{m,n}=\langle x, y| x^m=y^n=1, x^{-1}yx=y^s\rangle$, and $s$ has order $m$ modulo $n$. In this paper, we confirm the conjecture for any group $G_{m,n}$ with additional conditions that $s$ has order $m$ modulo $q$, for every prime divisor $q$ of $n$. Moreover, we solve the associated inverse problem characterizing the structure of any product-one free sequence with extremal length $\mathsf d(G_{m,n})$. Our results generalize some obtained theorems on this problem.
Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
Hofstadter's $G$ function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, a family $(F_k)$ of similar functions is obtained by varying the number $k$ of nested recursive calls in this equation. We study here some Fibonacci-like sequences that are deeply connected with these functions $F_k$. In particular, the Zeckendorf theorem can be adapted to provide digital expansions via sums of terms of these sequences. On these digital expansions, the functions $F_k$ are acting as right shifts of the digits. These Fibonacci-like sequences can be expressed in terms of zeros of the polynomial $X^k{-}X^{k-1}{-}1$. Considering now the discrepancy of each function $F_k$, i.e., the maximal distance between $F_k$ and its linear equivalent, we retrieve the fact that this discrepancy is finite exactly when $k \le 4$. Thanks to that, we solve two twenty-year-old OEIS conjectures stating how close the functions $F_3$ and $F_4$ are from the integer parts of their linear equivalents. Moreover we establish that $F_k$ can coincide exactly with such an integer part only when $k\le 2$, while $F_k$ is almost additive exactly when $k \le 4$. Finally, a nice fractal shape a la Rauzy has been encountered when investigating the discrepancy of $F_3$. Almost all this article has been formalized and verified in the Coq/Rocq proof assistant.
On Preserving or Reversing Higher-Order Unimodality and Convexity by Sign-Regular Kernels
This work investigates preserving and reversing unimodality and convexity properties for sequences under transformations defined by sign-regular kernels. It is shown that these transformations only preserve these properties if the kernels are totally positive of order three or their additive inverse is totally negative of order three. In contrast, these transformations reverse these properties if the underlying kernel is totally negative or if its additive inverse is a totally positive kernel, both of order three. Furthermore, these results are extended to higher-order convex and multimodal sequences. These findings, which expand upon Karlin's earlier results on convexity, form the basis for deriving sufficient conditions for the preservation or reversal of higher-order convexity or generalised unimodality of a quotient of sequences, where both the numerator and denominator are transformations by the same sign-regular kernel.
Parameterised algorithms for temporally satisfying reconfiguration problems
Published
• View Publication
• BIB
Given a static vertex-selection problem (e.g. independent set, dominating set) on a graph, we can define a corresponding temporally satisfying reconfiguration problem on a temporal graph which asks for a sequence of solutions to the vertex-selection problem at each time such that we can reconfigure from one solution to the next. We can think of each solution in the sequence as a set of vertices with tokens placed on them; our reconfiguration model allows us to slide tokens along active edges of a temporal graph at each time-step.
We show that it is possible to efficiently check whether one solution can be reconfigured to another, and show that approximation results on the static vertex-selection problem can be adapted with a lifetime factor to the reconfiguration version. Our main contributions are fixed-parameter tractable algorithms with respect to: enumeration time of the related static problem; the combination of temporal neighbourhood diversity and lifetime of the input temporal graph; and the combination of lifetime and treewidth of the footprint graph.
Trees with non log-concave independent set sequences
We construct a family of trees with independence numbers going to infinity for which the log-concavity relation for the independent set sequence of a tree $T$ in the family fails at around $α(T)\left(1-1/(16\log α(T))\right)$. Here $α(T)$ is the independence number of $T$. This resolves a conjecture of Kadrawi and Levit.
Recursions for quadratic rotation symmetric functions weights
Published
• View Publication
• BIB
A Boolean function in $n$ variables is rotation symmetric (RS) if it is invariant under powers of $ρ(x_1, \ldots, x_n) = (x_2, \ldots, x_n, x_1)$. An RS function is called monomial rotation symmetric (MRS) if it is generated by applying powers of $ρ$ to a single monomial. The author showed in $2017$ that for any RS function $f_n$ in $n$ variables, the sequence of Hamming weights $wt(f_n)$ for all values of $n$ satisfies a linear recurrence with associated recursion polynomial given by the minimal polynomial of a {\em rules matrix}. Examples showed that the usual formula for the weights $wt(f_n)$ in terms of powers of the roots of the minimal polynomial always has simple coefficients. The conjecture that this is always true is the Easy Coefficients Conjecture (ECC). The present paper proves the ECC if the rules matrix satisfies a certain condition. Major applications include an enormous decrease in the amount of computation that is needed to determine the values of $wt(f_n)$ for a quadratic RS function $f_n$ if either $n$ or the order of the recursion for the weights is large, and a simpler way to determine the Dickson form of $f_n.$ The ECC also enables rapid computation of generating functions which give the values of $wt(f_n)$ as coefficients in a power series.
Orbits on a product of two flags and a line and the Bruhat Order, I
Published
• View Publication
• BIB
Let $G=GL(n)$ be the $n\times n$ complex general linear group and let $\mathcal{B}_{n}$ be its flag variety. The standard Borel subgroup $B$ of upper triangular matrices acts on the product $\mathcal{B}_{n}\times \mathbb{P}^{n-1}$ with finitely many orbits. In this paper, we study the $B$-orbits on the subvarieties $\mathcal{B}_{n}\times \mathcal{O}_{i}$, where $\mathcal{O}_{i}$ is the $B$-orbit on $\mathbb{P}^{n-1}$ containing the line through the origin in the direction of the $i$-th standard basis vector of $\mathbb{C}^{n}$. For each $i=1,\dots, n$, we construct a bijection between $B$-orbits on $\mathcal{B}_{n}\times\mathcal{O}_{i}$ and certain pairs of Schubert cells in $\mathcal{B}_{n}\times\mathcal{B}_{n}$. We also show that this bijection can be used to understand the Richardson-Springer monoid action on such $B$-orbits in terms of the classical monoid action of the symmetric group on itself. We also develop combinatorial models of these orbits and use these models to compute exponential generating functions for the sequences $\{|B\backslash(\mathcal{B}_{n}\times\mathcal{O}_{i})|\}_{n\geq 1}$ and $\{|B\backslash (\mathcal{B}_{n}\times \mathbb{P}^{n-1})|\}_{n\geq 1}$. In the sequel to this paper, we use the results of this paper to construct a correspondence between $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ and a collection of $B$-orbits on the flag variety $\mathcal{B}_{n+1}$ of $GL(n+1)$ and show that this correspondence respects closures relations and preserves monoid actions. As a consequence both closure relations and monoid actions for all $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ can be understood via the Bruhat order by using our results in [CE].