arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84253 papers, 48533 authors in database)
2016-07-14
Hamiltonian paths in m x n projective checkerboards
Published • View Publication • BIB
For any two squares A and B of an m x n checkerboard, we determine whether it is possible to move a checker through a route that starts at A, ends at B, and visits each square of the board exactly once. Each step of the route moves to an adjacent square, either to the east or to the north, and may step off the edge of the board in a manner corresponding to the usual construction of a projective plane by applying a twist when gluing opposite sides of a rectangle. This generalizes work of M.H.Forbush et al. for the special case where m = n.
2016-07-14
On the zero forcing number of corona and lexicographic product of graphs
The zero forcing number of a graph $G$, denoted by $Z(G)$, is the minimum cardinality of a set $S$ of black vertices (where vertices in $V(G)\setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of $"$the color change rule$"$: a white vertex is turned black if it is the only white neighbor of a black vertex. In this paper, we study the zero forcing number of corona product, $G\odot H$ and lexicographic product, $G\circ H$ of two graphs $G$ and $H$. It is shown that if $G$ and $H$ are connected graphs of order $n_{1}\geq2$ and $n_{2}\geq2$ respectively, then $Z(G\odot ^{k}H)=Z(G\odot ^{k-1}H)+n_{1}(n_{2}+1)^{k-1}Z(H)$, where $G\odot^{k}H=(G\odot^{k-1}H)\odot H$. Also, it is shown that for a connected graph $G$ of order $n\geq 2$ and an arbitrary graph $H$ containing $l\geq 1$ components $H_{1},H_{2}, \cdots,H_{l}$ with $|V(H_{i})|=m_{i}\geq 2$, $1\leq i\leq l$, $(n-1)l+\sum\limits_{i=1}^l m_{i}\leq Z(G\circ H)\leq n(\sum\limits_{i=1}^{l}m_{i})-l$.
2016-07-14
Cycles of each even lengths in balanced bipartite digraphs
Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 4$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: (i). If $a\geq 4$ and $ max\{d(x), d(y)\}\geq 2a-1$ for every dominating pair of vertices $\{x,y\}$, $D$ then contains a cycle of length $2a-2$ or $D$ is a directed cycle. (ii). If $D$ contains a cycle of length $2a-2\geq 6$ and $max \{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then for any $k$, $1\leq k\leq a-1$, $D$ contains a cycle of length $2k$. (iii). If $a\geq 4$ and $ max\{d(x), d(y)\}\geq 2a-1$ for every dominating pair of vertices $\{x,y\}$, then for every $k$, $1\leq k\leq a$, $D$ contains a cycle of length $2k$ unless $D$ is isomorphic to only one exceptional digraph of order eight.
2016-07-14
Configurations of lines in space and combinatorial rigidity
Published • View Publication • BIB
Let $L$ be a sequence $(\ell_1,\ell_2,\ldots,\ell_n)$ of $n$ lines in $\mathbb{C}^3$. We define the {\it intersection graph} $G_L=([n],E)$ of $L$, where $[n]:=\{1,\ldots, n\}$, and with $\{i,j\}\in E$ if and only if $i\neq j$ and the corresponding lines $\ell_i$ and $\ell_j$ intersect, or are parallel (or coincide). For a graph $G=([n],E)$, we say that a sequence $L$ is a {\it realization} of $G$ if $G\subset G_L$. One of the main results of this paper is to provide a combinatorial characterization of graphs $G=([n],E)$ that have the following property: For every {\it generic} realization $L$ of $G$ that consists of $n$ pairwise distinct lines, we have $G_L=K_n$, in which case the lines of $L$ are either all concurrent or all coplanar. The general statements that we obtain about lines, apart from their independent interest, turns out to be closely related to the notion of graph rigidity. The connection is established due to the so-called Elekes--Sharir framework, which allows us to transform the problem into an incidence problem involving lines in three dimensions. By exploiting the geometry of contacts between lines in 3D, we can obtain alternative, simpler, and more precise characterizations of the rigidity of graphs.
2016-07-14 v2
The problème des ménages revisited
Published • View Publication • BIB
We present an alternative proof to the Touchard-Kaplansky formula for the problème des ménages, which, we believe, is simpler than the extant ones and is in the spirit of the elegant original proof by Kaplansky (1943). About the latter proof, Bogart and Doyle (1986) argued that despite its cleverness, suffered from opting to give precedence to one of the genders for the couples involved (Bogart and Doyle supplied an elegant proof that avoided such gender-dependent bias).
2016-07-14 v3
Random groups, random graphs and eigenvalues of p-Laplacians
Published in Adv. Math. 341 (2019), 188-254 • View Publication • BIB
We prove that a random group in the triangular density model has, for density larger than 1/3, fixed point properties for actions on $L^p$-spaces (affine isometric, and more generally $(2-2ε)^{1/2p}$-uniformly Lipschitz) with $p$ varying in an interval increasing with the set of generators. In the same model, we establish a double inequality between the maximal $p$ for which $L^p$-fixed point properties hold and the conformal dimension of the boundary. In the Gromov density model, we prove that for every $p_0 \in [2, \infty)$ for a sufficiently large number of generators and for any density larger than 1/3, a random group satisfies the fixed point property for affine actions on $L^p$-spaces that are $(2-2ε)^{1/2p}$-uniformly Lipschitz, and this for every $p\in [2,p_0]$. To accomplish these goals we find new bounds on the first eigenvalue of the p-Laplacian on random graphs, using methods adapted from Kahn and Szemeredi's approach to the 2-Laplacian. These in turn lead to fixed point properties using arguments of Bourdon and Gromov, which extend to $L^p$-spaces previous results for Kazhdan's Property (T) established by Zuk and Ballmann-Swiatkowski.
2016-07-14 v3
Stringy Chern classes of singular toric varieties and their applications
Published • View Publication • BIB
Let X be a normal projective Q-Gorenstein variety with at worst log-terminal singularities. We prove a formula expressing the total stringy Chern class of a generic complete intersection in X via the total stringy Chern class of X. This formula is motivated by its applications to mirror symmetry for Calabi-Yau complete intersections in toric varieties. We compute stringy Chern classes and give a combinatorial interpretation of the stringy Libgober-Wood identity for arbitrary projective Q-Gorenstein toric varieties. As an application we derive a new combinatorial identity relating d-dimensional reflexive polytopes to the number 12 in dimension d>3.
2016-07-14 v5
Multiparameter Fuss--Catalan numbers with application to algebraic equations
We present an exposition on the Fuss--Catalan numbers, which are a generalization of the well known Catalan numbers. The literature on the subject is scattered (especially for the case of multiple independent parameters, as will be explained in the text), with overlapping definitions by different authors and duplication of proofs. This paper collects the main theorems and identities, with a consistent notation. Contact is made with the works of numerous authors, including the early works of Lambert and Euler. We demonstrate the application of the formalism to solve algebraic equations by infinite series. Our main result in this context is a new necessary and sufficient formula for the domain of absolute convergence of the series solutions of algebraic equations, which corrects and extends previous work in the field. Some historical material is placed in an Appendix.
2016-07-14 v3
On the continuous-time limit of the Barabási-Albert random graph
Published • View Publication • BIB
We prove that the Barabási-Albert model converges weakly to a set of generalized Yule models via an appropriate scaling. To pursue this aim we superimpose to its graph structure a suitable set of processes that we call the planted model and we introduce an ad-hoc sampling procedure. The use of the obtained limit process represents an alternative and advantageous way of looking at some of the asymptotic properties of the Barabási-Albert random graph.
2016-07-14
Extended Gelfand-Tsetlin graph, its q-boundary, and q-B-splines
Published in Functional Analysis and its Applications 50 (2016), no. 2, 107-130 • View Publication • BIB
A continuation of the joint work by Vadim Gorin and the author, J. Funct. Anal. 270 (2016), 375-418; arXiv:1504.06832. The extended Gelfand-Tsetlin graph, introduced in that paper, is a novel combinatorial object. Its q-boundary is formed by infinite point configurations on a two-sided q-lattice. The q-boundary carries a continuous family of probability measures that are a q-analogue of the so-called zw-measures, which originated in the problem of harmonic analysis on the infinite-dimensional unitary group. In the present paper, it is proved that certain transition Markov kernels, linked to the extended Gelfand-Tsetlin graph and its q-boundary, possess the Feller property. This property is needed for constructing a model of Markov dynamics on the q-boundary. A connection with the classical B-splines and their q-analogues is discussed. Some results of the paper arXiv:1504.06832 are rederived in another way.
2016-07-14 v8
Circuit partitions and signed interlacement in 4-regular graphs
Published in Contributions to Discrete Mathematics 20 (2025), 456-480 • View Publication • BIB
Let $F$ be a 4-regular graph. Each circuit partition $P$ of $F$ has a corresponding touch-graph $Tch(P)$; the circuits in $P$ correspond to vertices of $Tch(P)$, and the vertices of $F$ correspond to edges of $Tch(P)$. We discuss the connection between modified versions of the interlacement matrix of an Euler system of $F$ and the cycle space of $Tch(P)$, over $GF(2)$ and $\mathbb{R}$.
2016-07-14 v2
Eternal Picaria
Published • View Publication • BIB
Picaria is a traditional board game, played by the Zuni tribe of the American Southwest and other parts of the world, such as a rural Southwest region in Sweden. It is related to the popular children's game of Tic-tac-toe, but the 2 players have only 3 stones each, and in the second phase of the game, pieces are slided, along specified move edges, in attempts to create the three-in-a-row. We provide a rigorous solution, and prove that the game is a draw; moreover our solution gives insights to strategies that players can use.
2016-07-14
Sigma-Adequate Link Diagrams and the Tutte Polynomial
In this paper, we characterize the sigma-adequacy of a link diagram in two ways: in terms of a certain edge subset of its Tait graph and in terms of a certain product of Tutte polynomials. Furthermore, we show that the symmetrized Tutte polynomial of the Tait graph of a link diagram can be written as a sum of these products of Tutte polynomials, where the sum is over the sigma-adequate states of the given link diagram. Using this state sum, we show that the number of sigma-adequate states of a link diagram is bounded above by the number of spanning trees in its associated Tait graph. By combining results, we give a method to find all of the sigma-adequate states of a link diagram. Finally, we give necessary and sufficient conditions for a link diagram to be sigma-adequate and sigma-homogeneous (also called homogeneously adequate) with respect to a given state.
2016-07-13
Pretty Good State Transfer on Circulant Graphs
Published in The Electronic Journal of Combinatorics, 24(2): P2.23 (2017) • View Publication • BIB
Let $G$ be a graph with adjacency matrix $A$. The transition matrix of $G$ relative to $A$ is defined by $H(t):=\exp{\left(-itA\right)},\;t\in\Rl$. The graph $G$ is said to admit pretty good state transfer between a pair of vertices $u$ and $v$ if there exists a sequence of real numbers $\{t_k\}$ and a complex number $γ$ of unit modulus such that $\lim\limits_{k\rightarrow\infty} H(t_k) e_u=γe_v.$ We find that pretty good state transfer occurs in a cycle on $n$ vertices if and only if $n$ is a power of two and it occurs between every pair of antipodal vertices. In addition, we look for pretty good state transfer in more general circulant graphs. We prove that union (edge disjoint) of an integral circulant graph with a cycle, each on $2^k$ $(k\geq 3)$ vertices, admits pretty good state transfer. The complement of such union also admits pretty good state transfer. This enables us to find some non-circulant graphs admitting pretty good state transfer. Among the complement of cycles we also find a class of graphs not exhibiting pretty good state transfer.
2016-07-13 v2
The Elekes-Szabó Theorem in four dimensions
Published • View Publication • BIB
Let $F\in\mathbb{C}[x,y,s,t]$ be an irreducible constant-degree polynomial, and let $A,B,C,D\subset\mathbb{C}$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{8/3})$ points of the Cartesian product $A\times B\times C\times D$, unless $F$ has a special group-related form. A similar statement holds for $A,B,C,D$ of unequal sizes. This is a four-dimensional extension of our recent improved analysis of the original Elekes-Szabó theorem in three dimensions. We give three applications: an expansion bound for three-variable real polynomials that do not have a special form, a bound on the number of coplanar quadruples on a space curve that is neither planar nor quartic, and a bound on the number of four-point circles on a plane curve that has degree at least five.
2016-07-13
Standard Rothe Tableaux
Published • View Publication • BIB
Edelman and Greene constructed a bijection between the set of standard Young tableaux and the set of balanced Young tableaux of the same shape. Fomin, Greene, Reiner and Shimozono introduced the notion of balanced Rothe tableaux of a permutation $w$, and established a bijection between the set of balanced Rothe tableaux of $w$ and the set of reduced words of $w$. In this paper, we introduce the notion of standard Rothe tableaux of $w$, which are tableaux obtained by labelling the cells of the Rothe diagram of $w$ such that each row and each column is increasing. We show that the number of standard Rothe tableaux of $w$ is smaller than or equal to the number of balanced Rothe tableaux of $w$, with equality if and only if $w$ avoids the four patterns 2413, 2431, 3142 and 4132. When $w$ is a dominant permutation, i.e., 132-avoiding, the Rothe diagram of $w$ is a Young diagram, so this reduces to the result of Edelman and Greene.
2016-07-13
$r-$Bell polynomials in combinatorial Hopf algebras
Published in Comptes Rendus de l'Académie des sciences Volume 355, Issue 3, Pages 243-247 (2017) • View Publication • BIB
We introduce partial $r$-Bell polynomials in three combinatorial Hopf algebras. We prove a factorization formula for the generating functions which is a consequence of the Zassenhauss formula.
2016-07-13 v2
Dimensions of multi-fan algebras
Published in J. Math. Soc. Japan 72:3 (2020), 777-794 • View Publication • BIB
Given an arbitrary non-zero simplicial cycle and a generic vector coloring of its vertices, there is a way to produce a graded Poincare duality algebra associated with these data. The procedure relies on the theory of volume polynomials and multi-fans. This construction includes many important examples, such as cohomology of toric varieties and quasitoric manifolds, and Gorenstein algebras of triangulated homology manifolds, introduced by Novik and Swartz. In all these examples the dimensions of graded components of such duality algebras do not depend on the vector coloring. It was conjectured that the same holds for any simplicial cycle. We disprove this conjecture by showing that the colors of singular points of the cycle may affect the dimensions. However, the colors of smooth points are irrelevant. By using bistellar moves we show that the number of different dimension vectors arising on a given 3-dimensional pseudomanifold with isolated singularities is a topological invariant. This invariant is trivial on manifolds, but nontrivial in general.
On Multi Poly-Bernoulli Polynomials
In this paper, we define multi poly-Bernoulli polynomials using multiple polylogarithm and derive some properties parallel to those of poly-Bernoulli polynomials. Furthermore, an explicit formula for certain Hurwitz-Lerch type multi poly-Bernoulli polynomials is established using the $r$-Whitney numbers of the second kind.
2016-07-13
Emergence of the giant weak-component in directed random graphs with arbitrary degree distributions
Published in Physical Review E 94, 012315 (2016) • View Publication • BIB
The weak component generalizes the idea of connected components to directed graphs. In this paper, an exact criterion for existence of the giant weak component is derived for directed graphs with arbitrary bivariate degree distributions. In addition we consider a random process for evolving directed graphs with bounded degrees. The bounds are not the same for different vertices but satisfy a pre-defined distribution. The analytic expression obtained for the evolving degree distribution is then combined with the weak-component criterion to obtain the exact time of the phase transition. The phase-transition time is obtained as a function of the distribution that bounds the degrees. Remarkably, when viewed from the step polymerization formalism, the new results yield Flory-Stockmayer gelation theory and generalize it to a broader scope.