sequence
6966 papers tagged with this keyword
Decomposition of Beatty and Complementary Sequences
In this paper we express the difference of two complementary Beatty sequences, as the sum of two Beatty sequences closely related to them. In the process we introduce a new Algorithm that generalizes the well known Minimum Excluded algorithm and provides a method to generate combinatorially any pair of complementary Beatty sequences.
Modified ascent sequences and Bell numbers
Published
• View Publication
• BIB
In 2011, Duncan and Steingrímsson conjectured that modified ascent sequences avoiding any of the patterns 212, 1212, 2132, 2213, 2231 and 2321 are counted by the Bell numbers. Furthermore, the distribution of the number of ascents is the reverse of the distribution of blocks on set partitions. We solve the conjecture for all the patterns except 2321. We describe the corresponding sets of Fishburn permutations by pattern avoidance, and leave some open questions for future work.
The Asymptotics of the Expected Betti Numbers of Preferential Attachment Clique Complexes
Published
• View Publication
• BIB
The preferential attachment model is a natural and popular random graph model for a growing network that contains very well-connected ``hubs''. We study the higher-order connectivity of such a network by investigating the topological properties of its clique complex. We concentrate on the expected Betti numbers, a sequence of topological invariants of the complex related to the numbers of holes of different dimensions. We determine the asymptotic growth rates of the expected Betti numbers, and prove that the expected Betti number at dimension 1 grows linearly fast, while those at higher dimensions grow sublinearly fast. Our theoretical results are illustrated by simulations. (Changes are made in this version to generalize Proposition 14 and to streamline proofs. These changes are shown in blue.)
On asymptotically automatic sequences
Published
• View Publication
• BIB
We study the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence. While $k$-automatic sequences are characterised by finiteness of $k$-kernels, the $k$-kernels of asymptotically $k$-automatic sequences are only required to be finite up to equality almost everywhere. We prove basic closure properties and a linear bound on asymptotic subword complexity, show that results concerning frequencies of symbols are no longer true for the asymptotic analogue, and discuss some classification problems.
Addition-deletion theorems for the Solomon-Terao polynomials and $B$-sequences of hyperplane arrangements
Published
• View Publication
• BIB
We prove the addition-deletion theorems for the Solomon-Terao polynomials, which have two important specializations. Namely, one is to the characteristic polynomials of hyperplane arangements, and the other to the Poincarè polynomials of the regular nilpotent Hessenberg varieties. One of the main tools to show them is the free surjection theorem which confirms the right exactness of several important exact sequences among logarithmic modules. Moreover, we introduce a generalized polynomial $B$-theory to the higher order logarithmic modules, whose origin was due to Terao.
Ehrhart theory on periodic graphs
Published in Algebraic Combinatorics, Volume 7 (2024) no. 4, 969-1010
• View Publication
• BIB
The purpose of this paper is to extend the scope of the Ehrhart theory to periodic graphs. We give sufficient conditions for the growth sequences of periodic graphs to be a quasi-polynomial and to satisfy the reciprocity laws. Furthermore, we apply our theory to determine the growth series in several new examples.
Reconfiguration of Time-Respecting Arborescences
Published
• View Publication
• BIB
An arborescence, which is a directed analogue of a spanning tree in an undirected graph, is one of the most fundamental combinatorial objects in a digraph. In this paper, we study arborescences in digraphs from the viewpoint of combinatorial reconfiguration, which is the field where we study reachability between two configurations of some combinatorial objects via some specified operations. Especially, we consider reconfiguration problems for time-respecting arborescences, which were introduced by Kempe, Kleinberg, and Kumar. We first prove that if the roots of the initial and target time-respecting arborescences are the same, then the target arborescence is always reachable from the initial one and we can find a shortest reconfiguration sequence in polynomial time. Furthermore, we show if the roots are not the same, then the target arborescence may not be reachable from the initial one. On the other hand, we show that we can determine whether the target arborescence is reachable form the initial one in polynomial time. Finally, we prove that it is NP-hard to find a shortest reconfiguration sequence in the case where the roots are not the same. Our results show an interesting contrast to the previous results for (ordinary) arborescences reconfiguration problems.
A sufficient condition for $(α, β)$ Somos $4$ Hankel determinants
Published
• View Publication
• BIB
By using Sulanke-Xin continued fractions method, Xin proposed a recursion system to solve the Somos 4 Hankel determinant conjecture. We find Xin's recursion system indeed give a sufficient condition for $(α, β)$ Somos $4$ sequences. This allows us to prove 4 conjectures of Barry on $(α, β)$ Somos $4$ sequences in a unified way.
Non-split Domination Cover Pebbling Number for Some Class of Middle Graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph. A pebbling move is defined as taking two pebbles from one vertex and placing one pebble to an adjacent vertex and throwing away the other pebble. The non-split domination cover pebbling number, $ψ_{ns}(G)$, of a graph $G$ is the minimum of pebbles that must be placed on $V(G)$ such that after a sequence of pebbling moves, the set of vertices with a pebble forms a non-split dominating set of $G$, regardless of the initial configuration of pebbles. We discuss some basic results, NP-completeness of non-split domination number, and determine $ψ_{ns}$ for some families of Middle graphs.
Laplacian eigenvalues and eigenspaces of cographs generated by finite sequence
Published
• View Publication
• BIB
In this paper we consider particular graphs defined by $\overline{\overline{\overline{K_{α_1}}\cup K_{α_2}}\cup\cdots \cup K_{α_k}}$, where $k$ is even, $K_α$ is a complete graph on $α$ vertices, $\cup$ stands for the disjoint union and an overline denotes the complementary graph. These graphs do not contain the $4$-vertex path as an induced subgraph, i.e., they belong to the class of cographs. In addition, they are iteratively constructed from the generating sequence $(α_1, α_2, \ldots, α_k)$. Our primary question is what invariants or graph properties can be deduced form a given sequence. In this context, we compute the Lapacian eigenvalues and the corresponding eigenspaces, and derive a lower and an upper bound for the number of distinct Laplacian eigenvalues. We also determine the graphs under consideration with a fixed number of vertices that either minimize or maximize the algebraic connectivity (that is the second smallest Laplacian eigenvalue). The clique number is computed in terms of a generating sequence and a relationship between it and the algebraic connectivity is established.
On Optimization and Counting of Non-Broken Bases of Matroids
Given a matroid $M=(E,{\cal I})$, and a total ordering over the elements $E$, a broken circuit is a circuit where the smallest element is removed and an NBC independent set is an independent set in ${\cal I}$ with no broken circuit. The set of NBC independent sets of any matroid $M$ define a simplicial complex called the broken circuit complex which has been the subject of intense study in combinatorics. Recently, Adiprasito, Huh and Katz showed that the face of numbers of any broken circuit complex form a log-concave sequence, proving a long-standing conjecture of Rota.
We study counting and optimization problems on NBC bases of a generic matroid. We find several fundamental differences with the independent set complex: for example, we show that it is NP-hard to find the max-weight NBC base of a matroid or that the convex hull of NBC bases of a matroid has edges of arbitrary large length. We also give evidence that the natural down-up walk on the space of NBC bases of a matroid may not mix rapidly by showing that for some family of matroids it is NP-hard to count the number of NBC bases after certain conditionings.
Partial reflections and globally linked pairs in rigid graphs
Published in SIAM Journal on Discrete Mathematics 38, p. 2005-2040, 2024
• View Publication
• BIB
A $d$-dimensional framework is a pair $(G,p)$, where $G$ is a graph and $p$ maps the vertices of $G$ to points in $\mathbb{R}^d$. The edges of $G$ are mapped to the corresponding line segments. A graph $G$ is said to be globally rigid in $\mathbb{R}^d$ if every generic $d$-dimensional framework $(G,p)$ is determined, up to congruence, by its edge lengths. A finer property is global linkedness: we say that a vertex pair $\{u,v\}$ of $G$ is globally linked in $G$ in $\mathbb{R}^d$ if in every generic $d$-dimensional framework $(G,p)$ the distance of $u$ and $v$ is uniquely determined by the edge lengths.
In this paper we investigate globally linked pairs in graphs in $\mathbb{R}^d$. We give several characterizations of those rigid graphs $G$ in which a pair $\{u,v\}$ is globally linked if and only if there exist $d+1$ internally disjoint paths from $u$ to $v$ in $G$. We call these graphs $d$-joined. Among others, we show that $G$ is $d$-joined if and only if for each pair of generic frameworks of $G$ with the same edge lengths, one can be obtained from the other by a sequence of partial reflections along hyperplanes determined by $d$-separators of $G$. We also show that the family of $d$-joined graphs is closed under edge addition, as well as under gluing along $d$ or more vertices. As a key ingredient to our main results, we prove that rigid graphs in $\mathbb{R}^d$ contain no crossing $d$-separators.
Our results give rise to new families of graphs for which global linkedness (and global rigidity) in $\mathbb{R}^d$ can be tested in polynomial time.
($\mathfrak{S}_p \times \mathfrak{S}_q$)-Invariant Graphical Parking Functions
Published
• View Publication
• BIB
Graphical parking functions, or $G$-parking functions, are a generalization of classical parking functions which depend on a connected multigraph $G$ having a distinguished root vertex. Gaydarov and Hopkins characterized the relationship between $G$-parking functions and another vector-dependent generalization of parking functions, the $\boldsymbol{u}$-parking functions. The crucial component of their result was their classification of all graphs $G$ whose $G$-parking functions are invariant under action by the symmetric group $\mathfrak{S}_n$, where $n+1$ is the order of $G$. In this work, we present a 2-dimensional analogue of Gaydarov and Hopkins' results by characterizing the overlap between $G$-parking functions and 2-dimensional $\boldsymbol{U}$-parking functions, i.e., pairs of integer sequences whose order statistics are bounded by certain weights along lattice paths in the plane. Our key result is a total classification of all $G$ whose set of $G$-parking functions is $(\mathfrak{S}_p \times \mathfrak{S}_q)$-invariant, where $p+q+1$ is the order of $G$.
A Deterministic Construction of a Large Distance Code from the Wozencraft Ensemble
Published in IEEE Transactions on Information Theory, vol. 71, no. 2, pp. 930-935, Feb. 2025
• View Publication
• BIB
We present an explicit construction of a sequence of rate $1/2$ Wozencraft ensemble codes (over any fixed finite field $\mathbb{F}_q$) that achieve minimum distance $Ω(\sqrt{k})$ where $k$ is the message length. The coefficients of the Wozencraft ensemble codes are constructed using Sidon Sets and the cyclic structure of $\mathbb{F}_{q^{k}}$ where $k+1$ is prime with $q$ a primitive root modulo $k+1$. Assuming Artin's conjecture, there are infinitely many such $k$ for any prime power $q$.
On the representation functions of certain numeration systems
Let $β>1$ be fixed. We consider the $(\frak{b, d})$ numeration system, where the base ${\frak b}=(b_k)_{k\geq 0}$ is a sequence of positive real numbers satisfying $\lim_{k\rightarrow \infty}b_{k+1}/b_k=β$, and the set of digits ${\frak d}\ni 0$ is a finite set of nonnegative real numbers with at least two elements. Let $r_{\frak{b, d}}(λ)$ denote the number of representations of a given $λ\in\mathbb{R}$ by sums $\sum_{k\ge 0}δ_kb_k$ with $δ_k$ in ${\frak d}$. We establish upper bounds and asymptotic formulas for $r_{\frak{b,d}}(λ)$ and its arbitrary moments, respectively. We prove that the associated zeta function $ζ_{\frak{b, d}}(s):=\sum_{λ>0}r_{\frak{b, d}}(λ)λ^{-s}$ can be meromorphically continued to the entire complex plane when $b_k=β^{k}$, and to the half-plane $\Re(s)>\log_β|\frak{d}|-γ$ when $b_k=β^{k}+O(β^{(1-γ)k})$, with any fixed $γ\in(0,1]$, respectively. We also determine the possible poles, compute the residues at the poles, and locate the trivial zeros of $ζ_{\frak{b, d}}(s)$ in the regions where it can be extended. As an application, we answer some problems posed by Chow and Slattery on partitions into distinct terms of certain integer sequences.
Sequentially constrained Hamilton cycles in random graphs
Published
• View Publication
• BIB
We discuss the existence of Hamilton cycles in the random graph $G_{n,p}$ where there are restrictions caused by (i) coloring sequences, (ii) a subset of vertices must occur in a specific order and (iii) there is a bound on the number of inversions in the associated permutation.
Counting partitions by genus: a compendium of results
Published in Journal of Integer Sequences, Vol. 27 (2024), Article 24.2.6
• Search Publication
We study the enumeration of set partitions, according to their length, number of parts, cyclic type, and genus. We introduce genus-dependent Bell, Stirling numbers, and Faà di Bruno coefficients. Besides attempting to summarize what is already known on the subject, we obtain new generic results (in particular for partitions into two parts, for arbitrary genus), and present computer generated new data extending the number of terms known for sequences or families of such coefficients; this also leads to new conjectures.
Full Characterization of Color Degree Sequences in Complete Graphs Without Tricolored Triangles
For an edge-colored complete graph, we define the color degree of a node as the number of colors appearing on edges incident to it. In this paper, we consider colorings that don't contain tricolored triangles (also called rainbow triangles); these colorings are also called Gallai colorings.
We give a complete characterization of all possible color degree sequences $d_1 \le d_2 \le \dots \le d_n$ that can arise on a Gallai coloring of $K_n$: it is necessary and sufficient that \[ \sum_{i = k}^n \frac{1}{2^{d_i - d_{k-1}}} \ge 1 \] holds for all $1 \le k \le n$, where $d_0=0$ for convenience. As a corollary, this gives another proof of a 2018 result of Fujita, Li, and Zhang who showed that the minimum color degree in such a coloring is at most $\log_2n$.
Block-counting sequences are not purely morphic
Published
• View Publication
• BIB
Let $m$ be a positive integer larger than $1$, let $w$ be a finite word over $\left\{0,1,...,m-1\right\}$ and let $a_{m;w}(n)$ be the number of occurrences of the word $w$ in the $m$-expansion of $n$ mod $p$ for any non-negative integer $n$. In this article, we first give a fast algorithm to generate all sequences of the form $(a_{m;w}(n))_{n \in \mathbf{N}}$; then, under the hypothesis that $m$ is a prime, we prove that all these sequences are $m$-uniformly but not purely morphic, except for $w=1,2,...,m-1$; finally, under the same assumption of $m$ as before, we prove that the power series $\sum_{i=0}^{\infty} a_{m;w}(n)t^n$ is algebraic of degree $m$ over $\mathbb{F}_m(t)$.
On Monoids of plus-minus weighted Zero-Sum Sequences: The Isomorphism Problem and the Characterization Problem
Published
• View Publication
• BIB
Let $G$ be an additive abelian group. A sequence $S=g_1\cdot\ldots\cdot g_{\ell}$ of terms from $G$ is a plus-minus weighted zero-sum sequence if there are $\varepsilon_1,\ldots,\varepsilon_{\ell}\in\{-1,1\}$ such that $\varepsilon_1 g_1+\ldots+\varepsilon_{\ell} g_{\ell}=0$. We first characterize (in terms of $G$) when the monoid $\mathcal{B}_{\pm}(G)$ of plus-minus weighted zero-sum sequences is Mori resp. Krull resp. finitely generated. After that we study the Isomorphism and the Characterization Problem for monoids of plus-minus weighted zero-sum sequences.