arXiv++ Combinatorics

The Grid Theorem of Robertson and Seymour [JCTB, 1986], is one of the most important tools in the field of structural graph theory, finding numerous applications in the design of algorithms for undirected graphs. An analogous version of the Grid Theorem in digraphs was conjectured by Johnson et al. [JCTB, 2001], and proved by Kawarabayashi and Kreutzer [STOC, 2015]. Namely, they showed that there is a function $f(k)$ such that every digraph of directed tree-width at least $f(k)$ contains a cylindrical grid of size $k$ as a butterfly minor and stated that their proof can be turned into an XP algorithm, with parameter $k$, that either constructs a decomposition of the appropriate width, or finds the claimed large cylindrical grid as a butterfly minor. In this paper, we adapt some of the steps of the proof of Kawarabayashi and Kreutzer to improve this XP algorithm into an FPT algorithm. Towards this, our main technical contributions are two FPT algorithms with parameter $k$. The first one either produces an arboreal decomposition of width $3k-2$ or finds a haven of order $k$ in a digraph $D$, improving on the original result for arboreal decompositions by Johnson et al. The second algorithm finds a well-linked set of order $k$ in a digraph $D$ of large directed tree-width. As tools to prove these results, we show how to solve a generalized version of the problem of finding balanced separators for a given set of vertices $T$ in FPT time with parameter $|T|$, a result that we consider to be of its own interest.

A permutation $σ=[σ_1,\dots,σ_n] \in S_n$ is called a {\em cylindrical king permutation} if $ |σ_{i+1}-σ_{i}|>1$ for each $1\leq i \leq n-1$ and $|σ_1-σ_n|>1$. The name comes from the the way one can see these permutations as describing locations of $n$ kings on a chessboard of order $n\times n$ in such a way that (each row and each column contains exactly one king and) no two kings are attacking each other, with the additional condition that a king can move off a certain row and reappear at the beginning of that row. In a recent paper, we dealt with the more general set of 'king permutations' i.e. the ones which satisfy only the first of the two conditions above. This set constitutes a poest under the well known containment relation on permutations. In this article we investigate the sub-poset of the cylindrical king permutations and its structure. We examine those cylindrical king permutations whose downset is as large as possible in the upper ranks. We use a modification of Manhattan distance of the plot of a permutation and some of its applications to the cylindrical context to find a criterion for such a permutation to be $k-$ prolific. One of our main results is that the maximal gap between two permutations in the poset of cylindrical permutations is $4$.

We call a permutation $σ=[σ_1,\dots,σ_n] \in S_n$ a {\em cylindrical king permutation} if $ |σ_i-σ_{i+1}|>1$ for each $1\leq i \leq n-1$ and $|σ_1-σ_n|>1$. We present some results regarding the distribution of the cylindrical king permutations, including some interesting recursions. We also calculate their asymptotic proportion in the set of the 'king permutations', i.e. the ones which satisfy only the first of the two conditions above. With this aim we define a new parameter on permutations, namely, the number of {\em cyclic bonds} which is a modification of the number of bonds. In addition, we present some results regarding the distribution of this parameter.

We construct a family of infinite-dimensional positive sub-coalgebras within the Grothendieck ring of Hecke algebras, when viewed as a Hopf algebra with respect to the induction and restriction functor. These sub-coalgebras have as structure constants the 3-point genus zero Gromov-Witten invariants of Grassmannians and are spanned by what we call cylindric Hecke characters, a particular set of virtual characters for whose computation we give several explicit combinatorial formulae. One of these expressions is a generalisation of Ram's formula for irreducible Hecke characters and uses cylindric broken rim hook tableaux. We show that the latter are in bijection with so-called `ice configurations' on a cylindrical square lattice, which define the asymmetric six-vertex model in statistical mechanics. A key ingredient of our construction is an extension of the boson-fermion correspondence to Hecke algebras and employing the latter we find new expressions for Jing's vertex operators of Hall-Littlewood functions in terms of the six-vertex transfer matrices on the infinite planar lattice.

Recent progress in Zauner's conjecture has leveraged deep conjectures in algebraic number theory to promote numerical line packings to exact and verifiable solutions to the line packing problem. We introduce a numerical-to-exact technique in the real setting that does not require such conjectures. Our approach is completely reproducible, matching Sloane's database of putatively optimal numerical line packings with Mathematica's built-in implementation of cylindrical algebraic decomposition. As a proof of concept, we promote a putatively optimal numerical packing of eight points in the real projective plane to an exact packing, whose optimality we establish in a forthcoming paper.

In this paper we present a lower bound for the domination number of the Cartesian product of a path and a cycle, that is tight if the length of the cycle is a multiple of five. This bound improves the natural lower bound obtained by using the domination number of the Cartesian product of two paths, that is the best one known so far.

A plane drawing of a graph is {\em cylindrical} if there exist two concentric circles that contain all the vertices of the graph, and no edge intersects (other than at its endpoints) any of these circles. The {\em cylindrical crossing number} of a graph \(G\) is the minimum number of crossings in a cylindrical drawing of \(G\). In his influential survey on the variants of the definition of the crossing number of a graph, Schaefer lists the complexity of computing the cylindrical crossing number of a graph as an open question. In this paper we settle this by showing that this problem is NP-complete. Moreover, we show an analogous result for the natural generalization of the cylindrical crossing number, namely the \(t\)-{\em circle crossing number}.

We define affine growth diagrams consisting of $GL_m$ dominant weights that label the vertices of a staircase-shaped grid. These are also called cylindrical growth diagrams as defined by Speyer and White in the case of partitions. The weights labelling each adjacent pair of vertices differ by a vertical strip and the weights around each unit square satisfy a local condition that appeared in van Leeuwen's work on the Littelmann path model for crystals. We prove two main results. For a sequence of minuscule weights $\vecλ=(λ^1,\ldots,λ^n)$ let Poly$(\vecλ)$ denote the configuration space of $n$-tuples of points $(g_1,\ldots,g_n)$ in the affine Grassmannian such that the weight-valued distances satisfy $d(g_i,g_{i+1})=λ^i$. This is the convolution variety arising in the geometric Satake correspondence. We show that for a generic point $(g_1,\ldots,g_n)$ of a component the distances $d(g_i,g_j)$ form an affine growth diagram and that this gives a bijection between components of Poly$(\vecλ)$ and affine growth diagrams of type $\vecλ$. The main tool used in the proof is the Knutson--Tao hive. In the second part, we give a purely combinatorial construction of affine growth diagrams from natural number entries by applying Greene's theorem to certain subrectangles of the staircase. From this construction it follows that affine growth diagrams contain the classical Fomin growth diagrams and realize the RS-correspondence when $\vecλ=(ω_1,\ldots,ω_1,ω_1^*,\ldots,ω_1^*)$.

The Graovac-Pisanski index, which is also called the modified Wiener index, considers the symmetries and the distances in molecular graphs. Carbon nanotubes are molecules made of carbon with a cylindrical structure possessing unusual valuable properties. In a mathematical model we can consider them as a subgraph of a hexagonal lattice embedded on a cylinder with some vertices being identified. In the present paper, we investigate the automorphisms and the orbits of armchair nanotubes and derive the closed formulas for their Graovac-Pisanski index.

We prove a general theorem that gives a linear recurrence for tuples of paths in every cylindrical network. This can be seen as a cylindrical analog of the Lindström-Gessel-Viennot theorem. We illustrate the result by applying it to Schur functions, plane partitions, and domino tilings.

In approval voting, individuals vote for all platforms that they find acceptable. In this situation it is natural to ask: When is agreement possible? What conditions guarantee that some fraction of the voters agree on even a single platform? Berg et. al. found such conditions when voters are asked to make a decision on a single issue that can be represented on a linear spectrum. In particular, they showed that if two out of every three voters agree on a platform, there is a platform that is acceptable to a majority of the voters. Hardin developed an analogous result when the issue can be represented on a circular spectrum. We examine scenarios in which voters must make two decisions simultaneously. For example, if voters must decide on the day of the week to hold a meeting and the length of the meeting, then the space of possible options forms a cylindrical spectrum. Previous results do not apply to these multi-dimensional voting societies because a voter's preference on one issue often impacts their preference on another. We present a general lower bound on agreement in a two-dimensional voting society, and then examine specific results for societies whose spectra are cylinders and tori.

In 1992, Hendrickson proved that (d+1)-connectivity and redundant rigidity are necessary conditions for a generic (non-complete) bar-joint framework to be globally rigid in $\mathbb{R}^d$. Jackson and Jordan confirmed in 2005 that these conditions are also sufficient in $\mathbb{R}^2$, giving a combinatorial characterization of graphs whose generic realizations in $\mathbb{R}^2$ are globally rigid. In this paper, we establish analogues of these results for infinite periodic frameworks under fixed lattice representations. Our combinatorial characterization of globally rigid generic periodic frameworks in $\mathbb{R}^2$ in particular implies toroidal and cylindrical counterparts of the theorem by Jackson and Jordan.

In this article, following [A.~Daneshgar, M.~Hejrati, M.~Madani, {\it On cylindrical graph construction and its applications}, EJC, 23(1) p1.29, 45, 2016] we study the spectra of symmetric cylindrical constructs, generalizing some well-known results on the spectra of a variety of graph products, graph subdivisions by V.~B.~Mnuhin (1980) and the spectra of GI-graphs (see [M.~Conder, T.~Pisanski, and A.~{Ž}itnik, {\it GI-graphs: a new class of graphs with many symmetries}, 40, 209--231 (2014)] and references therein). In particular, we show that for bsymmetric cylinders with no internal vertex the spectra is actually equal to the eigenvalues of a perturbation of the base, and using this, we study the spectra of sparsifications of complete graphs by tree-cylinders. We also, show that a specific version of this construction gives rise to a class of highly symmetric graphs as a generalization of Petersen and Coxeter graphs.

We develop a rigidity theory for frameworks in $\mathbb{R}^3$ which have two coincident points but are otherwise generic and only infinitesimal motions which are tangential to a family of cylinders induced by the realisation are considered. We then apply our results to show that vertex splitting, under the additional assumption that the new edge is redundant, preserves the property of being generically globally rigid on families of concentric cylinders.

In [Directed tree-width, J. Combin. Theory Ser. B 82 (2001), 138-154] we introduced the notion of tree-width of directed graphs and presented a conjecture, formulated during discussions with Noga Alon and Bruce Reed, stating that a digraph of huge tree-width has a large "cylindrical grid" minor. Here we prove the conjecture for planar digraphs, but many steps of the proof work in general. This is an unedited and unpolished manuscript from October 2001. Since many people asked for copies we are making it available in the hope that it may be useful. The conjecture was proved by Kawarabayashi and Kreutzer in arXiv:1411.5681.

We classify all solutions (p,q) to the equation p(u)q(u)=p(u+b)q(u+a) where p and q are complex polynomials in one indeterminate u, and a and b are fixed but arbitrary complex numbers. This equation is a special case of a system of equations which ensures that certain algebras defined by generators and relations are non-trivial. We first give a necessary condition for the existence of non-trivial solutions to the equation. Then, under this condition, we use combinatorics of generalized Dyck paths to describe all solutions and a canonical way to factor each solution into a product of irreducible solutions.

We investigate the homotopy classes of closed knight's tours on cylinders and tori. Specifically, we characterize the dimensions of cylindrical chessboards that admit closed knight's tours realizing the identity of the fundamental group and those that admit closed tours realizing a generator of the fundamental group. We also produce analogous results for toroidal chessboards.

In this thesis, we study the combinatorics of cyclically fully commutative elements in Coxeter groups of type $A$ as it relates to conjugacy. In particular, we introduce the notion of cylindrical heaps and ring equivalence in order to state our main result, which says that two cyclically fully commutative elements of a Coxeter group of type $A$ are conjugate if and only if their corresponding cylindrical heaps are ring equivalent.

A monotone cylindrical graph is a topological graph drawn on an open cylinder with an infinite vertical axis satisfying the condition that every vertical line intersects every edge at most once. It is called simple if any pair of its edges have at most one point in common: an endpoint or a point at which they properly cross. We say that two edges are disjoint if they do not intersect. We show that every simple complete monotone cylindrical graph on $n$ vertices contains $Ω(n^{1-ε})$ pairwise disjoint edges for any $ε>0$. As a consequence, we show that every simple complete topological graph (drawn in the plane) with $n$ vertices contains $Ω(n^{\frac 12-ε})$ pairwise disjoint edges for any $ε>0$. This improves the previous lower bound of $Ω(n^\frac 13)$ by Suk which was reproved by Fulek and Ruiz-Vargas. We remark that our proof implies a polynomial time algorithm for finding this set of pairwise disjoint edges.

The dense O(1) loop model is a statistical physics model with connections to the quantum XXZ spin chain, alternating sign matrices, the six-vertex model and critical bond percolation on the square lattice. When cylindrical boundary conditions are imposed, the model possesses a commuting family of transfer matrices. The original proof of the commutation property is algebraic and is based on the Yang-Baxter equation. In this paper we give a new proof of this fact using a direct combinatorial bijection.