sequence
6845 papers tagged with this keyword
Flip cycles in plabic graphs
Published in Sel. Math. New Ser. 26, 15 (2020)
• Search Publication
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
• Search Publication
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.
Subspace arrangements, graph rigidity and derandomization through submodular optimization
This paper presents a deterministic, strongly polynomial time algorithm for computing the matrix rank for a class of symbolic matrices (whose entries are polynomials over a field). This class was introduced, in a different language, by Lovász [Lov] in his study of flats in matroids, and proved a duality theorem putting this problem in $NP \cap coNP$. As such, our result is another demonstration where ``good characterization'' in the sense of Edmonds leads to an efficient algorithm. In a different paper Lovász [Lov79] proved that all such symbolic rank problems have efficient probabilistic algorithms, namely are in $BPP$. As such, our algorithm may be interpreted as a derandomization result, in the long sequence special cases of the PIT (Polynomial Identity Testing) problem. Finally, Lovász and Yemini [LoYe] showed how the same problem generalizes the graph rigidity problem in two dimensions. As such, our algorithm may be seen as a generalization of the well-known deterministic algorithm for the latter problem.
There are two somewhat unusual technical features in this paper. The first is the translation of Lovász' flats problem into a symbolic rank one. The second is the use of submodular optimization for derandomization. We hope that the tools developed for both will be useful for related problems, in particular for better understanding of graph rigidity in higher dimensions.
Hamilton cycles and perfect matchings in the KPKVB model
In this paper we consider the existence of Hamilton cycles and perfect matchings in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution, "short distances" and a strictly positive clustering coefficient. The model is specified using three parameters: the number of nodes $n$, which we think of as going to infinity, and $α, ν> 0$, which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree.
Here we show that for every $α< 1/2$ and $ν=ν(α)$ sufficiently small, the model does not contain a perfect matching with high probability, whereas for every $α< 1/2$ and $ν=ν(α)$ sufficiently large, the model contains a Hamilton cycle with high probability.
No-three-in-line problem on a torus: periodicity
Let $τ_{m,n}$ denote the maximal number of points on the discrete torus (discrete toric grid) of sizes $m \times n$ with no three collinear points. The value $τ_{m,n}$ is known for the case where $\gcd(m,n)$ is prime. It is also known that $τ_{m,n} \leq 2\gcd(m,n)$.
In this paper we generalize some of the known tools for determining $τ_{m,n}$ and also show some new. Using these tools we prove that the sequence $(τ_{z,n})_{n \in \mathbb{N}}$ is periodic for all fixed $z > 1$. In general, we do not know the period; however, if $z = p^a$ for $p$ prime, then we can bound it. We prove that $τ_{p^a,p^{(a-1)p+2}} = 2p^a$ which implies that the period for the sequence is $p^b$ where $b$ is at most $(a-1)p+2$.