arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82797 papers, 47838 authors in database)
2016-01-11 v10
Conservative and semiconservative random walks: recurrence and transience
Published in Journal of Theoretical Probability (2018) 31, issue 3, pages 1900-1922 • View Publication • BIB
In the present paper we define conservative and semiconservative random walks in $\mathbb{Z}^d$ and study different families of random walks. The family of symmetric random walks is one of the families of conservative random walks, and simple (Pólya) random walks are their representatives. The classification of random walks given in the present paper enables us to provide a new approach to random walks in $\mathbb{Z}^d$ by reduction to birth-and-death processes. We construct nontrivial examples of recurrent random walks in $\mathbb{Z}^d$ for any $d\geq3$ and transient random walks in $\mathbb{Z}^2$.
2016-01-11
Cospectral lifts of graphs
We prove that for a pair of cospectral graphs G and H, there exist their non trivial lifts G0 and H0 which are cospectral. More over for a pair of cospectral graphs on 6 vertices, we find some cospectral lifts of them.
2016-01-11 v2
Extension complexity and realization spaces of hypersimplices
Published • View Publication • BIB
The (n,k)-hypersimplex is the convex hull of all 0/1-vectors of length n with coordinate sum k. We explicitly determine the extension complexity of all hypersimplices as well as of certain classes of combinatorial hypersimplices. To that end, we investigate the projective realization spaces of hypersimplices and their (refined) rectangle covering numbers. Our proofs combine ideas from geometry and combinatorics and are partly computer assisted.
2016-01-11 v3
The homotopy theory of equivariant posets
Published in Cah. Topol. Géom. Différ. Catég. 58(2) (2017) 82-114 • Search Publication
Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining the model structure are not well understood calculationally. To illustrate, we exhibit some examples of cofibrant and fibrant posets and an example of a non-cofibrant finite poset.
2016-01-11
On some multicolour Ramsey properties of random graphs
Published • View Publication • BIB
The size-Ramsey number $\hat{R}(F)$ of a graph $F$ is the smallest integer $m$ such that there exists a graph $G$ on $m$ edges with the property that any colouring of the edges of $G$ with two colours yields a monochromatic copy of $F$. In this paper, first we focus on the size-Ramsey number of a path $P_n$ on $n$ vertices. In particular, we show that $5n/2-15/2 \le \hat{R}(P_n) \le 74n$ for $n$ sufficiently large. (The upper bound uses expansion properties of random $d$-regular graphs.) This improves the previous lower bound, $\hat{R}(P_n) \ge (1+\sqrt{2})n-O(1)$, due to Bollobás, and the upper bound, $\hat{R}(P_n) \le 91n$, due to Letzter. Next we study long monochromatic paths in edge-coloured random graph $G(n,p)$ with $pn \to \infty$. Let $α> 0$ be an arbitrarily small constant. Recently, Letzter showed that a.a.s.\ any $2$-edge colouring of $G(n,p)$ yields a monochromatic path of length $(2/3-α)n$, which is optimal. Extending this result, we show that a.a.s.\ any $3$-edge colouring of $G(n,p)$ yields a monochromatic path of length $(1/2-α)n$, which is also optimal. In general, we prove that for $r\ge 4$ a.a.s.\ any $r$-edge colouring of $G(n,p)$ yields a monochromatic path of length $(1/r-α)n$. We also consider a related problem and show that for any $r \ge 2$, a.a.s.\ any $r$-edge colouring of $G(n,p)$ yields a monochromatic connected subgraph on $(1/(r-1)-α)n$ vertices, which is also tight.
2016-01-11
On the local genus distribution of graph embeddings
Published in J. Combin. Math. Combin. Comput. 101 (2017), pp. 157-173 • Search Publication
The $2$-cell embeddings of graphs on closed surfaces have been widely studied. It is well known that ($2$-cell) embedding a given graph $G$ on a closed orientable surface is equivalent to cyclically ordering the edges incident to each vertex of $G$. In this paper, we study the following problem: given a genus $g$ embedding $ε$ of the graph $G$ and a vertex of $G$, how many different ways of reembedding the vertex such that the resulting embedding $ε'$ is of genus $g+Δg$? We give formulas to compute this quantity and the local minimal genus achieved by reembedding. In the process we obtain miscellaneous results. In particular, if there exists a one-face embedding of $G$, then the probability of a random embedding of $G$ to be one-face is at least $\prod_{ν\in V(G)}\frac{2}{deg(ν)+2}$, where $deg(ν)$ denotes the vertex degree of $ν$. Furthermore we obtain an easy-to-check necessary condition for a given embedding of $G$ to be an embedding of minimum genus.
2016-01-11 v3
Enumeration of lattice 3-polytopes by their number of lattice points
Published in Discrete Comput. Geom. 60:3 (2018), 756-800 • View Publication • BIB
We develop a procedure for the complete computational enumeration of lattice $3$-polytopes of width larger than one, up to any given number of lattice points. We also implement an algorithm for doing this and enumerate those with at most eleven lattice points (there are 216,453 of them). In order to achieve this we prove that if $P$ is a lattice 3-polytope of width larger than one and with at least seven lattice points then it fits in one of three categories that we call boxed, spiked and merged. Boxed polytopes have at most 11 lattice points; in particular they are finitely many, and we enumerate them completely with computer help. Spiked polytopes are infinitely many but admit a quite precise description (and enumeration). Merged polytopes are computed as a union (merging) of two polytopes of width larger than one and strictly smaller number of lattice points.
2016-01-11
Positivity Sectors and the Amplituhedron
We initiate a detailed investigation into the assembly of simple amplituhedron-like building blocks to obtain spaces of physical interest. In particular, we describe the geometric process through which the building blocks, which we call positivity sectors, glue together to form the desired geometries. Positivity sectors are seen to naturally segment the space describing the Lth power of the one-loop amplitude. In this way, we obtain a good understanding of how the geometric complexity of the building blocks can be washed out in the formation of larger spaces. Conversely, the tools we develop allow us to form spaces of ever greater complexity, a process which is crucial to the construction of the amplituhedron from its triangulations, which remains an important open question. We present the full boundary structure of all positivity sectors related to the three-loop amplituhedron. We also construct a practical algorithm that achieves the desired geometric assembly of positivity sectors, and make available supporting Mathematica files containing the full boundary structure of all positivity sectors at three loops.
2016-01-11
Software for enumerative and analytic combinatorics
We survey some general-purpose symbolic software packages that implement algorithms from enumerative and analytic combinatorics. Software for the following areas is covered: basic combinatorial objects, symbolic combinatorics, Pólya theory, combinatorial species, and asymptotics. We describe the capabilities that the packages offer as well as some of the algorithms used, and provide links to original documentation. Most of the packages are freely downloadable from the web.
2016-01-11 v2
On the irrationality of generalized $q$-logarithm
Published in Research in Number Theory 2 (2016) Art. 15 • View Publication • BIB
For integer $p$, $|p|>1$, and generic rational $x$ and $z$, we establish the irrationality of the series $$\ell_p(x,z)=x\sum_{n=1}^\infty\frac{z^n}{p^n-x}.$$ It is a symmetric ($\ell_p(x,z)=\ell_p(z,x)$) generalization of the $q$-logarithmic function ($x=1$ and $p=1/q$ where $|q|<1$), which in turn generalizes the $q$-harmonic series ($x=z=1$). Our proof makes use of the Hankel determinants built on the Padé approximations to $\ell_p(x,z)$.
2016-01-10 v2
Traffic distributions of random band matrices
Published in Electron. J. Probab. 23 (2018), paper no. 77, 48 pp • View Publication • BIB
We study random band matrices within the framework of traffic probability, an operadic non-commutative probability theory introduced by Male based on graph operations. As a starting point, we revisit the familiar case of the permutation invariant Wigner matrices and compare the situation to the general case in the absence of this invariance. Here, we find a departure from the usual free probabilistic universality of the joint distribution of independent Wigner matrices. We then show how the traffic space of Wigner matrices completely realizes the traffic central limit theorem. We further prove general Markov-type concentration inequalities for the joint traffic distribution of independent Wigner matrices. We then extend our analysis to random band matrices, as studied by Bogachev, Molchanov, and Pastur, and investigate the extent to which the joint traffic distribution of independent copies of these matrices deviates from the Wigner case.
2016-01-10 v4
Stammering tableaux
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Combinatorics (September 15, 2017) dmtcs:1351 • View Publication • BIB
The PASEP (Partially Asymmetric Simple Exclusion Process) is a probabilistic model of moving particles, which is of great interest in combinatorics, since it appeared that its partition function counts some tableaux. These tableaux have several variants such as permutations tableaux, alternative tableaux, tree- like tableaux, Dyck tableaux, etc. We introduce in this context certain excursions in Young's lattice, that we call stammering tableaux (by analogy with oscillating tableaux, vacillating tableaux, hesitating tableaux). Some natural bijections make a link with rook placements in a double staircase, chains of Dyck paths obtained by successive addition of ribbons, Laguerre histories, Dyck tableaux, etc.
2016-01-10 v2
Constructions for the optimal pebbling of grids
Published in Periodica Polytechnica-electrical Engineering and Computer Science 61: (2) pp. 217-223. (2017) • View Publication • BIB
In [C. Xue, C. Yerger: Optimal Pebbling on Grids, Graphs and Combinatorics] the authors conjecture that if every vertex of an infinite square grid is reachable from a pebble distribution, then the covering ratio of this distribution is at most $3.25$. First we present such a distribution with covering ratio $3.5$, disproving the conjecture. The authors in the above paper also claim to prove that the covering ratio of any pebble distribution is at most $6.75$. The proof contains some errors. We present a few interesting pebble distributions that this proof does not seem to cover and highlight some other difficulties of this topic.
2016-01-10
Hypo-efficient domination and hypo-unique domination
For a graph $G$ let $γ(G)$ be its domination number. We define a graph G to be (i) a hypo-efficient domination graph (or a hypo-$\mathcal{ED}$ graph) if $G$ has no efficient dominating set (EDS) but every graph formed by removing a single vertex from $G$ has at least one EDS, and (ii) a hypo-unique domination graph (a hypo-$\mathcal{UD}$ graph) if $G$ has at least two minimum dominating sets,but $G-v$ has a unique minimum dominating set for each $v\in V(G)$. We show that each hypo-$\mathcal{UD}$ graph $G$ of order at least $3$ is connected and $γ(G-v) < γ(G)$ for all $v \in V(G)$. We obtain a tight upper bound on the order of a hypo-$\mathcal{P}$ graph in terms of the domination number and maximum degree of the graph, where $\mathcal{P} \in \{\mathcal{UD}, \mathcal{ED}\}$. Families of circulant graphs which achieve these bounds are presented. We also prove that the bondage number of any hypo-$\mathcal{UD}$ graph is not more than the minimum degree plus one.
2016-01-10 v2
Improper Twin Edge Coloring of Graphs
Published • View Publication • BIB
Let $G$ be a graph whose each component has order at least 3. Let $s : E(G) \rightarrow \mathbb{Z}_k$ for some integer $k\geq 2$ be an improper edge coloring of $G$ (where adjacent edges may be assigned the same color). If the induced vertex coloring $c : V (G) \rightarrow \mathbb{Z}_k$ defined by $c(v) = \sum_{e\in E_v} s(e) \mbox{ in } \mathbb{Z}_k,$ (where the indicated sum is computed in $\mathbb{Z}_k$ and $E_v$ denotes the set of all edges incident to $v$) results in a proper vertex coloring of $G$, then we refer to such a coloring as an improper twin $k$-edge coloring. The minimum $k$ for which $G$ has an improper twin $k$-edge coloring is called the improper twin chromatic index of $G$ and is denoted by $χ'_{it}(G)$. In this paper, we show that if $G$ is a graph with vertex chromatic number $χ(G)$, then $χ'_{it}(G)=χ(G)$, unless $χ(G)=2 \pmod 4$ and in this case $χ'_{it}(G)\in \{χ(G), χ(G)+1\}$. Moreover, we show that it is NP-hard to decide whether $χ'_{it}(G)=χ(G)$ or $χ'_{it}(G)=χ(G)+1$ and give some examples of perfect graph classes for which the problem is polynomial.
2016-01-10 v2
Involution words II: braid relations and atomic structures
Published in J. Algebr. Comb. 45 (2017), 701-743 • View Publication • BIB
Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $*$, we associate a set of involution words $\hat{\mathcal{R}}_*(x,y)$. This set is the disjoint union of the reduced words of a set of group elements $\mathcal{A}_*(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set $\mathcal{B}_*(x,y) \subset W$ with a similar definition, whose elements we refer to as Hecke atoms. Our main results concern some interesting properties of the sets $\hat{\mathcal{R}}_*(x,y)$ and $\mathcal{A}_*(x,y) \subset \mathcal{B}_*(x,y)$. For finite Coxeter groups we prove that $\mathcal{A}_*(1,y)$ consists of exactly the minimal-length elements $w \in W$ such that $w^* y \leq w$ in Bruhat order, and conjecture a more general property for arbitrary Coxeter groups. In type $A$, we describe a simple set of conditions characterizing the sets $\mathcal{A}_*(x,y)$ for all involutions $x,y \in S_n$, giving a common generalization of three recent theorems of Can, Joyce, and Wyser. We show that the atoms of a fixed involution in the symmetric group (relative to $x=1$) naturally form a graded poset, while the Hecke atoms surprisingly form an equivalence class under the "Chinese relation" studied by Cassaigne, Espie, et al. These facts allow us to recover a recent theorem of Hu and Zhang describing a set of "braid relations" spanning the involution words of any self-inverse permutation. We prove a generalization of this result giving an analogue of Matsumoto's theorem for involution words in arbitrary Coxeter groups.
2016-01-10 v2
Predicting the large-scale evolution of tag systems
Published • View Publication • BIB
We present a method for predicting the large-scale evolution of a tag system from its production rules. A tag system's evolution is first divided into stages called `epochs' in which the tag system evolves monotonously. The distribution of symbols in the queue at the beginning of each epoch determines the tag system's large-scale properties, including growth rate and string densities, during that epoch. We derive the symbol distribution for the next epoch from the distribution for the current one, using this to make predictions over multiple successive epochs. Finally, we compare predictions that were obtained with this method to computer simulations and find that it retains great accuracy over several epochs.
2016-01-10 v2
Bounded colorings of multipartite graphs and hypergraphs
Let $c$ be an edge-coloring of the complete $n$-vertex graph $K_n$. The problem of finding properly colored and rainbow Hamilton cycles in $c$ was initiated in 1976 by Bollobás and Erd\H os and has been extensively studied since then. Recently it was extended to the hypergraph setting by Dudek, Frieze and Ruciński. We generalize these results, giving sufficient local (resp. global) restrictions on the colorings which guarantee a properly colored (resp. rainbow) copy of a given hypergraph $G$. We also study multipartite analogues of these questions. We give (up to a constant factor) optimal sufficient conditions for a coloring $c$ of the complete balanced $m$-partite graph to contain a properly colored or rainbow copy of a given graph $G$ with maximum degree $Δ$. Our bounds exhibit a surprising transition in the rate of growth, showing that the problem is fundamentally different in the regimes $Δ\gg m$ and $Δ\ll m$ Our main tool is the framework of Lu and Székely for the space of random bijections, which we extend to product spaces.
2016-01-09
A Note On Vertex Distinguishing Edge colorings of Trees
A proper edge coloring of a simple graph $G$ is called a vertex distinguishing edge coloring (vdec) if for any two distinct vertices $u$ and $v$ of $G$, the set of the colors assigned to the edges incident to $u$ differs from the set of the colors assigned to the edges incident to $v$. The minimum number of colors required for all vdecs of $G$ is denoted by $χ\,'_s(G)$ called the vdec chromatic number of $G$. Let $n_d(G)$ denote the number of vertices of degree $d$ in $G$. In this note, we show that a tree $T$ with $n_2(T)\leq n_1(T)$ holds $χ\,'_s(T)=n_1(T)+1$ if its diameter $D(T)=3$ or one of two particular trees with $D(T) =4$, and $χ\,'_s(T)=n_1(T)$ otherwise; furthermore $χ\,'_{es}(T)=χ\,'_s(T)$ when $|E(T)|\leq 2(n_1(T)+1)$, where $χ\,'_{es}(T)$ is the equitable vdec chromatic number of $T$.
2016-01-09 v2
On the Very-well-poised Bilateral Basic Hypergeometric $_5ψ_5$ Series
In this paper, we prove several transformation formulas for the very-well-poised bilateral basic hypergeometric $_5ψ_5$ series by using the relationship between the bilateral basic hypergeometric $_5ψ_5$ series and basic hypergeometric $_8φ_7$ series.