Showing 20 papers (Total: 84253 papers, 48533 authors in database)
A Variation on Chip-Firing: the diffusion game
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (January 17, 2018) dmtcs:2039
• View Publication
• BIB
We introduce a natural variant of the parallel chip-firing game, called the diffusion game. Chips are initially assigned to vertices of a graph. At every step, all vertices simultaneously send one chip to each neighbour with fewer chips. As the dynamics of the parallel chip-firing game occur on a finite set the process is inherently periodic. However the diffusion game is not obviously periodic: even if $2|E(G)|$ chips are assigned to vertices of graph G, there may exist time steps where some vertices have a negative number of chips. We investigate the process, prove periodicity for a number of graph classes, and pose some questions for future research.
The exchange graph and variations of the ratio of the two Symanzik polynomials
Published
• View Publication
• BIB
Correlation functions in quantum field theory are calculated using Feynman amplitudes, which are finite dimensional integrals associated to graphs. The integrand is the exponential of the ratio of the first and second Symanzik polynomials associated to the Feynman graph, which are described in terms of the spanning trees and spanning 2-forests of the graph, respectively.
In a previous paper with Bloch, Burgos and Fresán, we related this ratio to the asymptotic of the Archimedean height pairing between degree zero divisors on degenerating families of Riemann surfaces. Motivated by this, we consider in this paper the variation of the ratio of the two Symanzik polynomials under bounded perturbations of the geometry of the graph. This is a natural problem in connection with the theory of nilpotent and SL2 orbits in Hodge theory.
Our main result is the boundedness of variation of the ratio. For this we define the exchange graph of a given graph which encodes the exchange properties between spanning trees and spanning 2-forests in the graph. We provide a description of the connected components of this graph, and use this to prove our result on boundedness of the variations.
List 3-dynamic coloring of graphs with small maximum average degree
Published
• View Publication
• BIB
An $r$-dynamic $k$-coloring of a graph $G$ is a proper $k$-coloring such that for any vertex $v$, there are at least $\min\{r,°_G(v) \}$ distinct colors in $N_G(v)$. The $r$-dynamic chromatic number $χ_r^d(G)$ of a graph $G$ is the least $k$ such that there exists an $r$-dynamic $k$-coloring of $G$. The {\em list $r$-dynamic chromatic number} of a graph $G$ is denoted by $ch_r^d(G)$. Recently, Loeb et al. [UI] showed that the list $3$-dynamic chromatic number of a planar graph is at most 10. And Cheng et al. [Lai-16] studied the maximum average condition to have $χ_3^d (G) \leq 4, \ 5$, or $6$. On the other hand, Song et al. [SLW] showed that if $G$ is planar with girth at least 6, then $χ_r^d(G)\le r+5$ for any $r\ge 3$.
In this paper, we study list 3-dynamic coloring in terms of maximum average degree. We show that $ch^d_3(G) \leq 6$ if $mad(G) < \frac{18}{7}$, $ch^d_3(G) \leq 7$ if $mad(G) < \frac{14}{5}$, and $ch^d_3(G) \leq 8$ if $mad(G) < 3$. All of the bounds are tight.
Context-free grammars for several polynomials associated with Eulerian polynomials
Published
• View Publication
• BIB
In this paper, we present grammatical descriptions of several polynomials associated with Eulerian polynomials, including q-Eulerian polynomials, alternating run polynomials and derangement polynomials. As applications, we get several convolution formulas involving these polynomials.
Weighted Lattice Walks and Universality Classes
Published in Journal of Combinatorial Theory, Series A, Volume 152, November 2017, Pages 255-302
• View Publication
• BIB
In this work we consider two different aspects of weighted walks in cones. To begin we examine a particular weighted model, known as the Gouyou-Beauchamps model. Using the theory of analytic combinatorics in several variables we obtain the asymptotic expansion of the total number of Gouyou-Beauchamps walks confined to the quarter plane. Our formulas are parametrized by weights and starting point, and we identify six different asymptotic regimes (called universality classes) which arise according to the values of the weights. The weights allowed in this model satisfy natural algebraic identities permitting an expression of the weighted generating function in terms of the generating function of unweighted walks on the same steps. The second part of this article explains these identities combinatorially for walks in arbitrary cones and dimensions, and provides a characterization of universality classes for general weighted walks. Furthermore, we describe an infinite set of models with non-D-finite generating function.
Brushing Number and Zero-Forcing Number of Graphs and their Line Graphs
Published
• View Publication
• BIB
In this paper we compare the brushing number of a graph with the zero-forcing number of its line graph. We prove that the zero-forcing number of the line graph is an upper bound for the brushing number by constructing a brush configuration based on a zero-forcing set for the line graph. Using a similar construction, we also prove the conjecture that the zero-forcing number of a graph is no more than the zero-forcing number of its line graph; moreover we prove that the brushing number of a graph is no more than the brushing number of its line graph. All three bounds are shown to be tight.
Ramsey growth in some NIP structures
Published in J. Inst. Math. Jussieu 20 (2021) 1-29
• View Publication
• BIB
We investigate bounds in Ramsey's theorem for relations definable in NIP structures. Applying model-theoretic methods to finitary combinatorics, we generalize a theorem of Bukh and Matousek [B. Bukh, J. Matoušek. "Erdős-Szekeres-type statements: Ramsey function and decidability in dimension $1$", Duke Mathematical Journal 163.12 (2014): 2243-2270] from the semialgebraic case to arbitrary polynomially bounded $o$-minimal expansions of $\mathbb{R}$, and show that it doesn't hold in $\mathbb{R}_{\exp}$. This provides a new combinatorial characterization of polynomial boundedness for $o$-minimal structures. We also prove an analog for relations definable in $P$-minimal structures, in particular for the field of the $p$-adics. Generalizing [D. Conlon, J. Fox, J. Pach, B. Sudakov, A. Suk "Ramsey-type results for semi-algebraic relations", Transactions of the American Mathematical Society 366.9 (2014): 5043-5065], we show that in distal structures the upper bound for $k$-ary definable relations is given by the exponential tower of height $k-1$.
Enumeration of cubic Cayley graphs on dihedral groups
Published in Acta Mathematica Sinica, English Series, 2017, 33(7): 996-1010
• View Publication
• BIB
Let $p$ be an odd prime, and $D_{2p}=\langle a,b\mid a^p=b^2=1,bab=a^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we completely classify the cubic Cayley graphs on $D_{2p}$ up to isomorphism by means of spectral method. By the way, we show that two cubic Cayley graphs on $D_{2p}$ are isomorphic if and only if they are cospectral. Moreover, we obtain the number of isomorphic classes of cubic Cayley graphs on $D_{2p}$ by using Gauss' celebrated law of quadratic reciprocity.
Hall sets, Lazard sets and comma-free codes
Published
• View Publication
• BIB
We investigate the relationship between two constructions of maximal comma-free codes described respectively by Eastman and by Scholtz and the notions of Hall sets and Lazard sets introduced in connection with factorizations of free monoids and bases of free Lie algebras.
A note on intersecting hypergraphs with large cover number
Published
• View Publication
• BIB
We give a construction of r-partite r-uniform intersecting hypergraphs with cover number at least r-4 for all but finitely many r. This answers a question of Abu-Khazneh, Barat, Pokrovskiy and Szabo, and shows that a long-standing unsolved conjecture due to Ryser is close to being best possible for every value of r.
Connected Order Ideals and P-Partitions
Published
• View Publication
• BIB
Given a finite poset $P$, we associate a simple graph denoted by $G_P$ with all connected order ideals of $P$ as vertices, and two vertices are adjacent if and only if they have nonempty intersection and are incomparable with respect to set inclusion. We establish a bijection between the set of maximum independent sets of $G_P$ and the set of $P$-forests, introduced by Féray and Reiner in their study of the fundamental generating function $F_P(\textbf{x})$ associated with $P$-partitions. Based on this bijection, in the cases when $P$ is naturally labeled we show that $F_P(\textbf{x})$ can factorise, such that each factor is a summation of rational functions determined by maximum independent sets of a connected component of $G_P$. This approach enables us to give an alternative proof for Féray and Reiner's nice formula of $F_P(\textbf{x})$ for the case of $P$ being a naturally labeled forest with duplications. Another consequence of our result is a product formula to compute the number of linear extensions of $P$.
Enumeration of points, lines, planes, etc
Published
• View Publication
• BIB
One of the earliest results in enumerative combinatorial geometry is the following theorem of de Bruijn and Erdős: Every set of points $E$ in a projective plane determines at least $|E|$ lines, unless all the points are contained in a line. Motzkin and others extended the result to higher dimensions, who showed that every set of points $E$ in a projective space determines at least $|E|$ hyperplanes, unless all the points are contained in a hyperplane. Let $E$ be a spanning subset of a $d$-dimensional vector space. We show that, in the partially ordered set of subspaces spanned by subsets of $E$, there are at least as many $(d-k)$-dimensional subspaces as there are $k$-dimensional subspaces, for every $k$ at most $d/2$. This confirms the "top-heavy" conjecture of Dowling and Wilson for all matroids realizable over some field. The proof relies on the decomposition theorem package for $\ell$-adic intersection complexes.
Rationality in map and hypermap enumeration by genus
Published
• View Publication
• BIB
Generating functions for a fixed genus map and hypermap enumeration become rational after a simple explicit change of variables. Their numerators are polynomials with integer coefficients that obey a differential recursion, and denominators are products of powers of explicit linear functions.
On two-quotient strong starters for $\mathbb{F}_q$
Published in Utilitas Mathematica-2019
• Search Publication
Let $G$ be a finite additive abelian group of odd order $n$, and let $G^*=G\setminus\{0\}$ be the set of non-zero elements. A starter for $G$ is a set $S=\{\{x_i,y_i\}:i=1,\ldots,\frac{n-1}{2}\}$ such that $\{x_1,\ldots,x_\frac{n-1}{2},y_1,\ldots,y_\frac{n-1}{2}\}=G^*$ and $\{\pm(x_i-y_i):i=1,\ldots,\frac{n-1}{2}\}=G^*$. Moreover, if $\left|\left\{x_i+y_i:i=1,\ldots,\frac{n-1}{2}\right\}\right|=\frac{n-1}{2}$, then $S$ is called a strong starter for $G$. A starter $S$ for $G$ is a $k$ quotient starter if there exists $Q\subseteq G^*$ of cardinality $k$ such that $y_i/x_i\in Q$ or $x_i/y_i\in Q$, for $i=1,\ldots,\frac{n-1}{2}$. In this paper, we give examples of two-quotient strong starters for $\mathbb{F}_q$, where $q=2^kt+1$ is a prime power with $k>1$ a positive integer and $t$ an odd integer greater than 1.
Linked systems of symmetric group divisible designs
Published
• View Publication
• BIB
We introduce the concept of linked systems of symmetric group divisible designs. The connection with association schemes is established, and as a consequence we obtain an upper bound on the number of symmetric group divisible designs which are linked. Several examples of linked systems of symmetric group divisible designs are provided.
Improved Lower Bounds on the Size of Balls over Permutations with the Infinity Metric
Published
• View Publication
• BIB
We study the size (or volume) of balls in the metric space of permutations, $S_n$, under the infinity metric. We focus on the regime of balls with radius $r = ρ\cdot (n\!-\!1)$, $ρ\in [0,1]$, i.e., a radius that is a constant fraction of the maximum possible distance. We provide new lower bounds on the size of such balls. These new lower bounds reduce the asymptotic gap to the known upper bounds to at most $0.029$ bits per symbol. Additionally, they imply an improved ball-packing bound for error-correcting codes, and an improved upper bound on the size of optimal covering codes.
Lower bounds for sensitivity of graph properties
We prove that the sensitivity of any non-trivial graph property on $n$ vertices is at least $\lfloor \frac{1}{2}n \rfloor$ , provided $n$ is sufficiently large.
The existence of the graphs that have exactly two main eigenvalues
An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. It is well known that a graph $G$ has exactly two main eigenvalues if and only if there exists a unique pair of integers $a$ and $b$ such that $\sum_{u\in N(v)}d(u)=ad(v)+b$ for every vertex $v\in V(G)$. We collect such connected graph $G$ in the set $\mathscr{G}(a,b)$. In this paper, we mainly focus to the existence of such $a$ and $b$, and give the necessary and sufficient condition for $\mathscr{G}(a,b)\neq\emptyset$. In addition, we give the bound for the vertex degrees of $G\in\mathscr{G}(a,b)$ and use the bound to characterize the graphs in $\mathscr{G}(a,b)$ for some feasible pairs $(a,b)$.
Automorphism groups of a class of cubic Cayley graphs on symmetric groups
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group of degree $n$ with $n\geq 3$. Set $S=\{c_n=(1\ 2\ldots \ n),c_n^{-1},(1\ 2)\}$. Let $Γ_n=\mathrm{Cay}(S_n,S)$ be the Cayley graph on $S_n$ with respect to $S$. In this paper, we show that $Γ_n$ ($n\geq 13$) is a normal Cayley graph, and that the full automorphism group of $Γ_n$ is equal to $\mathrm{Aut}(Γ_n)=R(S_n)\rtimes \langle\mathrm{Inn}(φ)\rangle\cong S_n\rtimes \mathbb{Z}_2$, where $R(S_n)$ is the right regular representation of $S_n$, $φ=(1\ 2)(3\ n)(4\ n-1)(5\ n-2)\cdots$ $(\in S_n)$, and $\mathrm{Inn}(φ)$ is the inner isomorphism of $S_n$ induced by $φ$.
Quasi-thin weakly distance-regular digraphs
Published
• View Publication
• BIB
A weakly distance-regular digraph is quasi-thin if the maximum value of its intersection numbers is 2. In this paper, we focus on commutative quasi-thin weakly distance-regular digraphs, and classify such digraphs with valency more than 3. As a result, this family of digraphs are completely determined.