sequence
6966 papers tagged with this keyword
On a Combination of the Cyclic Nimhoff and Subtraction Games
In this paper, we study a combination (called the generalized cyclic Nimhoff) of the cyclic Nimhoff and subtraction games. We give the $\mathcal{G}$-value of the game when all the $\mathcal{G}$-value sequence of subtraction games have a common $h$-stair structure.
An upper bound on Pachner moves relating geometric triangulations
We show that any two geometric triangulations of a closed hyperbolic, spherical or Euclidean manifold are related by a sequence of Pachner moves and barycentric subdivisions of bounded length. This bound is in terms of the dimension of the manifold, the number of top dimensional simplexes and bound on the lengths of edges of the triangulation. This leads to an algorithm to check from the combinatorics of the triangulation and bounds on lengths of edges, if two geometrically triangulated closed hyperbolic or low dimensional spherical manifolds are isometric or not.
Building maximal green sequences via component preserving mutations
Published in Ars Math. Contemp. 19 (2020), no. 2, 249--275
• View Publication
• BIB
We introduce a new method for producing both maximal green and reddening sequences of quivers. The method, called component preserving mutations, generalizes the notion of direct sums of quivers and can be used as a tool to both recover known reddening sequences as well as find reddening sequences that were previously unknown. We use the method to produce and recover maximal green sequences for many bipartite recurrent quivers that show up in the study of periodicity of $T$-systems and $Y$-systems. Additionally, we show how our method relates to the dominance phenomenon recently considered by Reading. Given a maximal green sequence produced by our method, this relation to dominance gives a maximal green sequence for infinitely many other quivers. Other applications of this new methodology are explored including computing of quantum dilogarithm identities and determining minimal length maximal green sequences.
Flip cycles in plabic graphs
Published in Sel. Math. New Ser. 26, 15 (2020)
• View Publication
• BIB
Planar bicolored (plabic) graphs are combinatorial objects introduced by Postnikov to give parameterizations of the positroid cells of the totally nonnegative Grassmannian $\text{Gr}^{\geq 0}(n,k)$. Any two plabic graphs for the same positroid cell can be related by a sequence of certain moves. The flip graph has plabic graphs as vertices and has edges connecting the plabic graphs which are related by a single move. A recent result of Galashin shows that plabic graphs can be seen as cross-sections of zonotopal tilings for the cyclic zonotope $Z(n,3)$. Taking this perspective, we show that the fundamental group of the flip graph is generated by cycles of length 4, 5, and 10, and use this result to prove a related conjecture of Dylan Thurston about triple crossing diagrams. We also apply our result to make progress on an instance of the generalized Baues problem.
Real-rootedness of variations of Eulerian polynomials
The binomial Eulerian polynomials, introduced by Postnikov, Reiner, and Williams, are $γ$-positive polynomials and can be interpreted as $h$-polynomials of certain flag simplicial polytopes. Recently, Athanasiadis studied analogs of these polynomials for colored permutations. In this paper, we generalize them to $\mathbf{s}$-inversion sequences and prove that these new polynomials have only real roots by the method of interlacing polynomials. Three applications of this result are presented. The first one is to prove the real-rootedness of binomial Eulerian polynomials, which confirms a conjecture of Ma, Ma, and Yeh. The second one is to prove that the symmetric decomposition of binomial Eulerian polynomials for colored permutations is real-rooted. Thirdly, our polynomials for certain $\mathbf{s}$-inversion sequences are shown to admit a similar geometric interpretation related to edgewise subdivisions of simplexes.
Universality for random surfaces in unconstrained genus
Starting from an arbitrary sequence of polygons whose total perimeter is $2n$, we can build an (oriented) surface by pairing their sides in a uniform fashion. Chmutov and Pittel (arXiv:1503.01816) have shown that, regardless of the configuration of polygons we started with, the degree sequence of the graph obtained this way is remarkably constant in total variation distance and converges towards a Poisson--Dirichlet partition as $n \to \infty$. We actually show that several other geometric properties of the graph are universal. En route we provide an alternative proof of a weak version of the result of Chmutov and Pittel using probabilistic techniques and related to the circle of ideas around the peeling process of random planar maps. At this occasion we also fill a gap in the existing literature by surveying the properties of a uniform random map with $n$ edges. In particular we show that the diameter of a random map with $n$ edges converges in law towards a random variable taking only values in $\{2,3\}$.
Linear recursions for integer point transforms
We consider the integer point transform $σ_P (\mathbf{x}) = \sum _{\mathbf{m} \in P\cap \mathbb{Z}^n} \mathbf{x}^\mathbf{m} \in \mathbb C [x_1^{\pm 1},\ldots, x_n^{\pm 1}]$ of a polytope $P\subset \mathbb{R}^n$. We show that if $P$ is a lattice polytope then for any polytope $Q$ the sequence $\lbrace σ_{kP+Q}(\mathbf{x})\rbrace _{k\geq 0}$ satisfies a multivariate linear recursion that only depends on the vertices of $P$. We recover Brion's Theorem and by applying our results to Schur polynomials we disprove a conjecture of Alexandersson (2014).
Vector clique decompositions
Published in Proceedings of the 30th ACM-SIAM Symposium on Discrete Algorithms, SODA 2019, 1221-1238
• View Publication
• BIB
Let $F_k$ be the set of graphs on $k$ vertices. For a graph $G$, a $k$-decomposition is a set of induced subgraphs of $G$, each isomorphic to an element of $F_k$, such that each pair of vertices of $G$ is in exactly one element of the set. A fundamental result of Wilson is that for all $n=|V(G)|$ sufficiently large, $G$ has a $k$-decomposition if and only if $G$ is $k$-divisible.
Let ${\bf v} \in {\mathbb R}^{|F_k|}$ be indexed by $F_k$. For a $k$-decomposition $L$ of $G$, let $ν_{\bf v}(L) = \sum_{F \in F_k} {\bf v}_F d_{L,F}$ where $d_{L,F}$ is the fraction of elements of $L$ isomorphic to $F$. Let $ν_{\bf v}(G) = \max_{L} ν_{\bf v}(L)$ and $ν_{\bf v}(n)=\min\{ν_{\bf v}(G):|V(G)|=n\}$. It is not difficult to prove that the sequence $ν_{\bf v}(n)$ has a limit so let $ν_{\bf v} = \lim_{n \rightarrow \infty} ν_{\bf v}(n)$. Replacing $k$-decompositions with their fractional relaxations, one obtains the (polynomial time computable) fractional analogue $ν_{\bf v}^*(G)$ and corresponding fractional values $ν^*_{\bf v}(n)$ and $ν^*_{\bf v}$. Our first main result is that for each ${\bf v} \in {\mathbb R}^{|F_k|}$ $$ ν_{\bf v} = ν^*_{\bf v}\;. $$ Further, there is a polynomial time algorithm that produces a decomposition $L$ of a $k$-decomposable graph such that $ν_{\bf v}(L) \ge ν_{\bf v} - o_n(1)$.
A similar result holds when $F_k$ is the family of all tournaments on $k$ vertices and when $F_k$ is the family of all edge-colorings of $K_k$.
We use these results to obtain new and improved bounds on several decomposition results. For example, we prove that every $n$-vertex tournament which is $3$-divisible has a triangle decomposition in which the number of directed triangles is less than $0.0222n^2(1+o(1))$ and that every $5$-decomposable $n$-vertex graph has a $5$-decomposition in which the fraction of cycles of length $5$ is $o_n(1)$.
A lecture hall theorem for $m$-falling partitions
For an integer $m\ge 2$, a partition $λ=(λ_1,λ_2,\ldots)$ is called $m$-falling, a notion introduced by Keith, if the least nonnegative residues mod $m$ of $λ_i$'s form a nonincreasing sequence. We extend a bijection originally due to the third author to deduce a lecture hall theorem for such $m$-falling partitions. A special case of this result gives rise to a finite version of Pak-Postnikov's $(m,c)$-generalization of Euler's theorem. Our work is partially motivated by a recent extension of Euler's theorem for all moduli, due to Keith and Xiong. We note that their result actually can be refined with one more parameter.
Deletion-restriction for sheaf homology of graded atomic lattices
Published in Adv. Math. 402 (2022), Paper No. 108354
• View Publication
• BIB
We give a long exact sequence for the homology of a graded atomic lattice equipped with a sheaf of modules, in terms of the deleted and restricted lattices. This is then used to compute the homology of the arrangement lattice of a hyperplane arrangement equipped with the natural sheaf. This generalises an old result of Lusztig.
Algorithmic counting of nonequivalent compact Huffman codes
Published in Appl. Algebra Engrg. Comm. Comput. (2024) 35:887--903
• View Publication
• BIB
It is known that the following five counting problems lead to the same integer sequence~$f_t(n)$: the number of nonequivalent compact Huffman codes of length~$n$ over an alphabet of $t$ letters, the number of `nonequivalent' canonical rooted $t$-ary trees (level-greedy trees) with $n$~leaves, the number of `proper' words, the number of bounded degree sequences, and the number of ways of writing $1= \frac{1}{t^{x_1}}+ \dots + \frac{1}{t^{x_n}}$ with integers $0 \leq x_1 \leq x_2 \leq \dots \leq x_n$. In this work, we show that one can compute this sequence for \textbf{all} $n<N$ with essentially one power series division. In total we need at most $N^{1+\varepsilon}$ additions and multiplications of integers of $cN$ bits, $c<1$, or $N^{2+\varepsilon}$ bit operations, respectively. This improves an earlier bound by Even and Lempel who needed $O(N^3)$ operations in the integer ring or $O(N^4)$ bit operations, respectively.
Counting Colorful Necklaces and Bracelets in Three Colors
Published in Aequationes Mathematicae,2019
• View Publication
• BIB
A necklace or bracelet is \textit{colorful} if no pair of adjacent beads are the same color. In addition, two necklaces are \textit{equivalent} if one results from the other by permuting its colors, and two bracelets are \textit{equivalent} if one results from the other by either permuting its colors or reversing the order of the beads; a bracelet is thus a necklace that can be turned over. This note counts the number $K(n)$ of non-equivalent colorful necklaces and the number $K'(n)$ of colorful bracelets formed with $n$-beads in at most three colors. Expressions obtained for $K'(n)$ simplify expressions given by OEIS sequence A114438, while the expressions given for $K(n)$ appear to be new and are not included in OEIS.
Winding Number of $r$-modular sequences and Applications to the Singularity Content of a Fano Polygon
By generalising the notion of a unimodular sequence, we create an expression for the winding number of certain ordered sets of lattice points. Since the winding number of the vertices of a Fano polygon is necessarily one, we use this expression as a restriction to classify all Fano polygons without T-singularities and whose basket of residual singularities is of the form $\left\{ \frac{1}{r}(1,s_{1}), \frac{1}{r}(1,s_{2}), \ldots, \frac{1}{r}(1,s_{k}) \right\}$ for $k,r \in \mathbb{Z}_{>0}$, and $1 \leq s_{i} < r$ is coprime to $r$.
A note on some conjectures about combinatorial models for RNA secondary structures
We resolve two conjectures of Black-Drellich-Tymoczko about the numbers of valid plane trees for given primary sequences.
Ulam-Warburton Automaton - Counting Cells with Quadratics
This paper is about a sequence of quadratic functions that enumerate the total number of ON cells up to and including generation $n$ of the Ulam-Warburton cellular automaton, where $n$ has the form $n_m=m\cdot2^k$
Pairs of a tree and a nontree graph with the same status sequence
The status of a vertex $x$ in a graph is the sum of the distances between $x$ and all other vertices. Let $G$ be a connected graph. The status sequence of $G$ is the list of the statuses of all vertices arranged in nondecreasing order. $G$ is called status injective if all the statuses of its vertices are distinct. Let $G$ be a member of a family of graphs $\mathscr{F}$ and let the status sequence of $G$ be $s.$ $G$ is said to be status unique in $\mathscr{F}$ if $G$ is the unique graph in $\mathscr{F}$ whose status sequence is $s.$ In 2011, J.L. Shang and C. Lin posed the following two conjectures. Conjecture 1: A tree and a nontree graph cannot have the same status sequence. Conjecture 2: Any status injective tree is status unique in all connected graphs. We settle these two conjectures negatively. For every integer $n\ge 10,$ we construct a tree $T_n$ and a unicyclic graph $U_n,$ both of order $n,$ with the following two properties: (1) $T_n$ and $U_n$ have the same status sequence; (2) for $n\ge 15,$ if $n$ is congruent to $3$ modulo $4$ then $T_n$ is status injective and among any four consecutive even orders, there is at least one order $n$ such that $T_n$ is status injective.
Hamiltonicity in random directed graphs is born resilient
Published in Combinator. Probab. Comp. 29 (2020) 900-942
• View Publication
• BIB
Let $\{D_M\}_{M\geq 0}$ be the $n$-vertex random directed graph process, where $D_0$ is the empty directed graph on $n$ vertices, and subsequent directed graphs in the sequence are obtained by the addition of a new directed edge uniformly at random. For each $\varepsilon>0$, we show that, almost surely, any directed graph $D_M$ with minimum in- and out-degree at least 1 is not only Hamiltonian (as shown by Frieze), but remains Hamiltonian when edges are removed, as long as at most $(1/2-\varepsilon)$ of both the in- and out-edges incident to each vertex are removed. We say such a directed graph is $(1/2-\varepsilon)$-resiliently Hamiltonian. Furthermore, for each $\varepsilon>0$, we show that, almost surely, each directed graph $D_M$ in the sequence is not $(1/2+\varepsilon)$-resiliently Hamiltonian.
This improves a result of Ferber, Nenadov, Noever, Peter and Škorić, who showed, for each $\varepsilon>0$, that the binomial random directed graph $D(n,p)$ is almost surely $(1/2-\varepsilon)$-resiliently Hamiltonian if $p=ω(\log^8n/n)$.
Random graphs with given vertex degrees and switchings
Random graphs with a given degree sequence are often constructed using the configuration model, which yields a random multigraph. We may adjust this multigraph by a sequence of switchings, eventually yielding a simple graph. We show that, assuming essentially a bounded second moment of the degree distribution, this construction with the simplest types of switchings yields a simple random graph with an almost uniform distribution, in the sense that the total variation distance is $o(1)$. This construction can be used to transfer results on distributional convergence from the configuration model multigraph to the uniform random simple graph with the given vertex degrees. As examples, we give a few applications to asymptotic normality. We show also a weaker result yielding contiguity when the maximum degree is too large for the main theorem to hold.
Coordinate deletion of zeroes
For a family $A\subseteq\left\{ 0,\dots,k\right\} ^{n}$, define the $δ$-shadow of $A$ to be the set obtained from $A$ by removing from any of its vectors one coordinate that equals zero. Given the size of $A$, how should we choose $A$ to minimise its $δ$-shadow? Our aim in this paper is to show that, for any $r$, the family of all sequences with at most $r$ zeros has minimal $δ$-shadow. We actually give the exact best $A$ for every size.
Graphs with a unique maximum open packing
A set $S$ of vertices in a graph is an open packing if (open) neighborhoods of any two distinct vertices in $S$ are disjoint. In this paper, we consider the graphs that have a unique maximum open packing. We characterize the trees with this property by using four local operations such that any nontrivial tree with a unique maximum open packing can be obtained by a sequence of these operations starting from $P_2$. We also prove that the decision version of the open packing number is NP-complete even when restricted to graphs of girth at least $6$. Finally, we show that the recognition of the graphs with a unique maximum open packing is polynomially equivalent to the recognition of the graphs with a unique maximum independent set, and we prove that the complexity of both problems is not polynomial, unless P=NP.