sequence
6845 papers tagged with this keyword
Mind the gap: A real-valued distance on combinatorial games
We define a real-valued distance metric $wd$ on the space $\mathcal{C}$ of short combinatorial games in canonical form. We demonstrate the existence of Cauchy sequences informed by sidling sequences, find limit points, and investigate the closure $\overline{\mathcal{C}}$, which is shown to partition the set of loopy games in a non-trivial way. Stoppers, enders, and non-stopper-sided loopy games are explored, as well as the topological properties of $(\mathcal{C},wd)$.
Boltzmann Sampling for Powersets without an Oracle
We show that powersets over structures with a bounded counting sequence can be sampled efficiently without evaluating the generating function. An algorithm is provided, implemented, and tested. Runtimes are comparable to existing Boltzmann samplers reported in the literature.
Cardinality-consistent flag codes with longer type vectors
Flag codes generalize constant dimension codes by considering sequences of nested subspaces with prescribed dimensions as codewords. A comprehensive construction, which unites cyclic orbit flag codes, yields two families of flag codes on $\mathbb{F}^n_q$ (where $n=sk+h$ with $s\geq 2$ and $0\leq h < k$): optimum distance flag codes of the longest possible type vector $(1, 2, \ldots, k, n-k, \ldots, n-1)$ and flag codes with longer type vectors $(1, 2, \ldots, k+h, 2k+h, \ldots, (s-2)k+h, n-k, \ldots, n-1)$. These flag codes achieve the same cardinality $\sum^{s-1}_{i=1}q^{ik+h}+1$.
The genesis sequence, tree records and endofunctions
In this work, we present a series of bijections that reveal the deep connections between the concepts of tree records, the girth of a connected endofunction, and the genesis sequence, the first sequence in the OEIS. We use these results to derive the generating functions for the tree and forest record numbers, expressing them in terms of the Cayley's tree function. Finally, we provide a new proof for Cayley's forest formula.
The Davenport constant of an interval: a proof that $\mathsf{D}=χ$
For two positive integers $m$ and $M$, we study the Davenport constant of the interval of integers $[\![ -m,M ]\!]$, that is the maximal length of a minimal zero-sum sequence composed of elements from $[\![ -m,M ]\!]$. We prove the conjecture that it is equal to $m+M- r$ where $r$ is the smallest integer which can be decomposed as a sum of two non-negative integers $t_1$ and $t_2$ ($r=t_1+t_2$) having the property that $\gcd (M-t_1, m-t_2)=1$.
Reconfiguration of Hamiltonian Cycles in Rectangular Grid Graphs
An \textit{\(m \times n\) grid graph} is the induced subgraph of the square lattice whose vertex set consists of all integer grid points \(\{(i,j) : 0 \leq i < m,\ 0 \leq j < n\}\). Let $H$ and $K$ be Hamiltonian cycles in an $m \times n$ grid graph $G$. We study the problem of reconfiguring $H$ into $K$, \textcolor{blue}{\textbullet} where the Hamiltonian cycles are viewed as vertices of a reconfiguration graph \textcolor{blue}{\textbullet}, using a sequence of local transformations called \textit{moves}. A \textit{box} of $G$ is a unit square face. A box with vertices $a, b, c, d$ is \textit{switchable} in $H$ if exactly two of its edges belong to $H$, and these edges are parallel. Given such a box with edges $ab$ and $cd$ in $H$, a \textit{switch move} removes $ab$ and $cd$, and adds $bc$ and $ad$. A \textit{double-switch move} consists of performing two consecutive switch moves. If, after a double-switch move, we obtain a Hamiltonian cycle, we say that the double-switch move is \textit{valid}.
We prove that any Hamiltonian cycle $H$ can be transformed into any other Hamiltonian cycle $K$ via a sequence of valid double-switch moves, such that every intermediate graph remains a Hamiltonian cycle. Moreover, assuming $n \geq m$, the number of required moves is bounded by $mn^2$.
Reconfiguration of Hamiltonian Paths and Cycles in Rectangular Grid Graphs
\noindent An \textit{\(m \times n\) grid graph} is the induced subgraph of the square lattice whose vertex set consists of all integer grid points \(\{(i,j) : 0 \leq i < m,\ 0 \leq j < n\}\). Let $H$ and $K$ be Hamiltonian cycles in an $m \times n$ grid graph $G$. We study the problem of reconfiguring $H$ into $K$ using a sequence of local transformations called \textit{moves}. A \textit{box} of $G$ is a unit square face. A box with vertices $a, b, c, d$ is \textit{switchable} in $H$ if exactly two of its edges belong to $H$, and these edges are parallel. Given such a box with edges $ab$ and $cd$ in $H$, a \textit{switch move} removes $ab$ and $cd$, and adds $bc$ and $ad$. A \textit{double-switch move} consists of performing two consecutive switch moves. If, after a double-switch move, we obtain a Hamiltonian cycle, we say that the double-switch move is \textit{valid}.
We prove that any Hamiltonian cycle $H$ can be transformed into any other Hamiltonian cycle $K$ via a sequence of valid double-switch moves, such that every intermediate graph remains a Hamiltonian cycle.
This result extends to Hamiltonian paths. In that case, we also use single-switch moves and a third operation, the \textit{backbite move}, which enables the relocation of the path endpoints.
Multipath complexes of bidirectional polygonal digraphs
In this work we study the homotopy type of multipath complexes of bidirectional path graphs and polygons, motivated by works of Vrećica and Živaljević on cycle-free chessboard complexes (that is, multipath complexes of complete digraphs). In particular, we show that bidirectional path graphs are homotopic to spheres and that, in analogy with cycle-free chessboard complexes, multipath complexes of bidirectional polygonal digraphs are highly connected. Using a Mayer-Vietoris spectral sequence, we provide a computation of the associated homology groups. We study T-operations on graphs, and show that this corresponds to taking suspensions of multipath complexes. We further discuss (non) shellability properties of such complexes, and present new open questions.
Local generation of languages: the monotonic binary sequences
In a previous article, we have introduced the problem of local generation of languages, where the communication underlying the generation procedure is captured by a simplicial complex. We study in details this problem for the language of binary monotonic sequences. We prove general results and identify several classes of minimal simplicial complexes generating this language.
Large induced forests in planar multigraphs
For a graph $G$ on $n$ vertices, denote by $a(G)$ the number of vertices in the largest induced forest in $G$. The Albertson-Berman conjecture, which is open since 1979, states that $a(G) \geq \frac{n}{2}$ for all simple planar graphs $G$. We show that the version of this problem for multigraphs (allowing parallel edges) is easily reduced to the problem about the independence number of simple planar graphs. Specifically, we prove that $a(M) \geq \frac{n}{4}$ for all planar multigraphs $M$ and that this lower bound is tight. Then, we study the case when the number of pairs of vertices with parallel edges, which we denote by $k$, is small. In particular, we prove the lower bound $a(M) \geq \frac{2}{5}n-\frac{k}{10}$ and that the Albertson-Berman conjecture for simple planar graphs, assuming that it holds, would imply the lower bound $a(M) \geq \frac{n-k}{2}$ for planar multigraphs, which would be better than the general lower bound when $k$ is small. Finally, we study the variant of the problem where the plane multigraphs are prohibited from having $2$-faces, which is the main non-trivial problem that we introduce in this article. For that variant without $2$-faces, we prove the lower bound $a(M) \geq \frac{3}{10}n+\frac{7}{30}$ and give a construction of an infinite sequence of multigraphs with $a(M)=\frac{3}{7}n+\frac{4}{7}$.
Asymptotic enumeration of constrained bipartite, directed and oriented graphs by degree sequence
In the sufficiently sparse case, we find the probability that a uniformly random bipartite graph with given degree sequence contains no edge from a specified set of edges. This enables us to enumerate loop-free digraphs and oriented graphs with given in-degree and out-degree sequences, and obtain subgraph probabilities. Our theorems are not restricted to the near-regular case. As an application, we determine the expected permanent of sparse or very dense random matrices with given row and column sums; in the regular case, our formula holds over all densities. We also draw conclusions about the degrees of a random orientation of a random undirected graph with given degrees, including its number of Eulerian orientations.
Applications of an identity of Batır
Based on an interesting identity of Batır we derive new identities for double sums involving famous number sequences. We also prove some double sum identities for binomial transform pairs.
On structural properties of some probable $R(3, 10)$-critical graphs
The Ramsey number $R(s, t)$ is the smallest positive integer $n$ such that every graph on $n$ vertices contains either a clique of size $s$ or an independent set of size $t$. An $R(s,t)$-critical graph is a graph on $R(s,t)-1$ vertices that contains neither a clique of size $s$ nor an independent set of size $t$. It is known that $40\leq R(3, 10)\leq 42$. We study the structure of a $R(3,10)$-critical graphs by assuming $R(3, 10)=42$. We show that if such a graph exists then its minimum degree and vertex connectivity are the same and is $6, 7$ or $8$. Then we find all the possible degree sequences of such graphs. Further, we show that if such a graph exists, then its diameter is either $2$ or $3$, and if it has diameter $2$ and minimum degree $6$, then it has only $21$ choices for its degree sequence.
On difference sets of dense subsets of $\mathbb{Z}^2$
In this article, we study the structure of the difference set $E - E$ for subsets $E \subseteq \mathbb{Z}^2$ of positive upper Banach density. Fish asked in [Proc. Amer. Math. Soc. 146 (2018), 3449-3453] whether, for every such set $E$, there exists a nonzero integer $k$ such that $k \cdot \mathbb{Z} \subseteq \{\, xy : (x,y) \in E - E \,\}.$ Although this question remains open, we establish a relatively weaker form of this conjecture. Specifically, we prove that if $\langle a_j\rangle_{j=1}^m$ is any finite sequence in $\mathbb{N},$ then there exist infinitely many integers $k \in \mathbb{Z}$ and a sequence $\langle x_n \rangle_{n \in \mathbb{N}}$ in $\mathbb{Z}$ such that $k \cdot MT\left(\langle a_j \rangle_{j=1}^m, \langle x_n\rangle_{n}\right) \subseteq \{\, xy : (x,y) \in E - E \,\},$ where $MT\left(\langle a_j \rangle_{j=1}^m, \langle x_n\rangle_{n}\right)$ denotes the milliken-Taylor configuration generated by the sequences $\langle a_j\rangle_{j=1}^m$ and $\langle x_n \rangle_{n \in \mathbb{N}}$.
Dowling's polynomial conjecture for independent sets of matroids
The celebrated Mason's conjecture states that the sequence of independent set numbers of any matroid is log-concave, and even ultra log-concave. The strong form of Mason's conjecture was independently solved by Anari, Liu, Oveis Gharan and Vinzant, and by Brändén and Huh. The weak form of Mason's conjecture was also generalized to a polynomial version by Dowling in 1980 by considering certain polynomial analogue of independent set numbers. In this paper we completely solve Dowling's polynomial conjecture by using the theory of Lorentzian polynomials.
Patterns in sequences
We study pattern densities in binary sequences, finding optimal limit sequences with fixed pattern densities.
The Sequence Reconstruction of Permutations under Hamming Metric with Small Errors
The sequence reconstruction problem asks for the recovery of a sequence from multiple noisy copies, where each copy may contain up to $r$ errors. In the case of permutations on \(n\) letters under the Hamming metric, this problem is closely related to the parameter $N(n,r)$, the maximum intersection size of two Hamming balls of radius $r$. While previous work has resolved \(N(n,r)\) for small radii (\(r \leq 4\)) and established asymptotic bounds for larger \(r\), we present new exact formulas for \(r \in \{5,6,7\}\) using group action techniques. In addition, we develop a formula for \(N(n,r)\) based on the irreducible characters of the symmetric group \(S_n\), along with an algorithm that enables computation of \(N(n,r)\) for larger parameters, including cases such as \(N(43,8)\) and \(N(24,14)\).
The quantum k-Bruhat order
In this paper, we extend the study of the quantum $k$-Bruhat order initiated in the work of Benedetti, Bergeron, Colmenarejo, Saliola, and Sottile concerning the quantum Murnaghan-Nakayama rule. Specifically, identifying maximal chains in intervals of the quantum $k$-Bruhat order with sequences of transpositions, we investigate a naturally associated free monoid $F_n^{\mathbf{q}}$ with an action on a $q$-extension of $S_n$, denoted $S_n[\mathbf{q}]$, which encodes the chain structure of the quantum $k$-Bruhat order. Aside from numerous structural results, our main contribution is an identification of a large family of equivalences satisfied by the elements of $F_n^{\mathbf{q}}$ as operators on $S_n[\mathbf{q}]$. In fact, we conjecture that our list of equivalences is complete. As a consequence of the quantum Monk's rule, a complete understanding of such equivalences can be used to gain information about the multiplicative structure of quantum Schubert polynomials.
A Faber--Krahn inequality for trees
The well-known Faber-Krahn theorem states that the ball has the lowest first Dirichlet eigenvalue among all domains of the same volume in $\mathbb{R}^n$. Leydold (Geom. Funct. Anal, 1997) gave the discrete version of Faber-Krahn inequality for regular trees with boundary. Bıyıko{ğ}lu and Leydold (J. Combin. Theory Ser. B, 2007) demonstrated that the Faber--Krahn inequality holds for the class of trees with boundary with the same degree sequence. They further posed the following question: Give a characterization of all graphs in a given class \(\mathcal{C}\) with the Faber-Krahn property. In this paper, we show the Faber-Krahn property for trees with given matching number. Our result can imply the Klobürštel theorem, i.e., the Faber-Krahn inequality for trees with given number of interior vertices and boundary vertices.
Algorithmic Applications of Tyshkevich's Graph Decomposition: A Primer and a Toolkit
A graph that is completely determined by its degree sequence is called a unigraph. In 2000, Regina Tyshkevich published one of the most important papers on unigraphs. There are two parts to the paper: a decomposition theorem that describes how every graph can be broken into a sequence of basic graphs and a complete classification of all basic unigraphs. Together, they reveal how every unigraph is constructed. We provide an informal overview of Tyshkevich's results and show how they enable the computation of various graph parameters of unigraphs in linear time. We also created a toolkit (https://chelseal11.github.io/tyshkevich_decomposition_toolkit/) that implements the algorithms described in this write-up.