Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Hamilton cycles in sparse robustly expanding digraphs
Published
• View Publication
• BIB
The notion of robust expansion has played a central role in the solution of several conjectures involving the packing of Hamilton cycles in graphs and directed graphs. These and other results usually rely on the fact that every robustly expanding (di)graph with suitably large minimum degree contains a Hamilton cycle. Previous proofs of this require Szemerédi's Regularity Lemma and so this fact can only be applied to dense, sufficiently large robust expanders. We give a proof that does not use the Regularity Lemma and, indeed, we can apply our result to suitable sparse robustly expanding digraphs.
Comparing two statistical ensembles of quadrangulations: a continued fraction approach
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 4 (2017), 125-176
• View Publication
• BIB
We use a continued fraction approach to compare two statistical ensembles of quadrangulations with a boundary, both controlled by two parameters. In the first ensemble, the quadrangulations are bicolored and the parameters control their numbers of vertices of both colors. In the second ensemble, the parameters control instead the number of vertices which are local maxima for the distance to a given vertex, and the number of those which are not. Both ensembles may be described either by their (bivariate) generating functions at fixed boundary length or, after some standard slice decomposition, by their (bivariate) slice generating functions. We first show that the fixed boundary length generating functions are in fact equal for the two ensembles. We then show that the slice generating functions, although different for the two ensembles, simply correspond to two different ways of encoding the same quantity as a continued fraction. This property is used to obtain explicit expressions for the slice generating functions in a constructive way.
Degree choosable signed graphs
Published
• View Publication
• BIB
A signed graph is a graph in which each edge is labeled with $+1$ or $-1$. A (proper) vertex coloring of a signed graph is a mapping $\f$ that assigns to each vertex $v\in V(G)$ a color $\f(v)\in \mz$ such that every edge $vw$ of $G$ satisfies $\f(v)\not= \sg(vw)\f(w)$, where $\sg(vw)$ is the sign of the edge $vw$. For an integer $h\geq 0$, let $\Ga_{2h}=\{\pm1,\pm2, \ldots, \pm h\}$ and $\Ga_{2h+1}=\Ga_{2h} \cup \{0\}$. Following \cite{MaRS2015}, the signed chromatic number $\scn(G)$ of $G$ is the least integer $k$ such that $G$ admits a vertex coloring $\f$ with ${\rm im}(\f)\subseteq \Ga_k$. As proved in \cite{MaRS2015}, every signed graph $G$ satisfies $\scn(G)\leq \De(G)+1$ and there are three types of signed connected simple graphs for which equality holds. We will extend this Brooks' type result by considering graphs having multiple edges. We will also proof a list version of this result by characterizing degree choosable signed graphs. Furthermore, we will establish some basic facts about color critical signed graphs.
The tail of the crossing probability in near-critical percolation --- an appendix to Ahlberg & Steif [arXiv:1405.7144]
We answer a question of Ahlberg and Steif (2014) by finding the tail behaviour of the crossing probability in near-critical planar percolation. Interestingly, this superexponentially small behaviour is different from the case of dynamical percolation, where the analogous tail probability was proved to be at least exponential and at most superpolynomial by Hammond, Mossel and Pete (2012). The proof is simple, given the scale covariance established by Garban, Pete and Schramm (2013).
Smallest Domination Number and Largest Independence Number of Graphs and Forests with given Degree Sequence
Published
• View Publication
• BIB
For a sequence $d$ of non-negative integers, let ${\cal G}(d)$ and ${\cal F}(d)$ be the sets of all graphs and forests with degree sequence $d$, respectively. Let $γ_{\min}(d)=\min\{ γ(G):G\in {\cal G}(d)\}$, $α_{\max}(d)=\max\{ α(G):G\in {\cal G}(d)\}$, $γ_{\min}^{\cal F}(d)=\min\{ γ(F):F\in {\cal F}(d)\}$, and $α_{\max}^{\cal F}(d)=\max\{ α(F):F\in {\cal F}(d)\}$ where $γ(G)$ is the domination number and $α(G)$ is the independence number of a graph $G$. Adapting results of Havel and Hakimi, Rao showed in 1979 that $α_{\max}(d)$ can be determined in polynomial time.
We establish the existence of realizations $G\in {\cal G}(d)$ with $γ_{\min}(d)=γ(G)$, and $F_γ,F_α\in {\cal F}(d)$ with $γ_{\min}^{\cal F}(d)=γ(F_γ)$ and $α_{\max}^{\cal F}(d)=α(F_α)$ that have strong structural properties. This leads to an efficient algorithm to determine $γ_{\min}(d)$ for every given degree sequence $d$ with bounded entries as well as closed formulas for $γ_{\min}^{\cal F}(d)$ and $α_{\max}^{\cal F}(d)$.
Largest Domination Number and Smallest Independence Number of Forests with given Degree Sequence
Published
• View Publication
• BIB
For a sequence $d$ of non-negative integers, let ${\cal F}(d)$ be the set of all forests whose degree sequence is $d$. We present closed formulas for $γ_{\max}^{\cal F}(d)=\max\{ γ(F):F\in {\cal F}(d)\}$ and $α_{\min}^{\cal F}(d)=\min\{ α(F):F\in {\cal F}(d)\}$ where $γ(F)$ and $α(F)$ are the domination number and the independence number of a forest $F$, respectively.
Invariance of the Sprague-Grundy Function for Variants of Wythoff's Game
We prove three conjectures of Fraenkel and Ho regarding two classes of variants of Wythoff's game. The two classes of variants of Wythoff's game feature restrictions of the diagonal moves. Each conjecture states that the Sprague-Grundy function is invariant up to a certain nim-value for a subset of that class of variant of Wythoff's game. For one class of variants of Wythoff's game, we prove that the invariance of the Sprague-Grundy function extends beyond what was conjectured by Fraenkel and Ho.
Cutoff on all Ramanujan graphs
Published
• View Publication
• BIB
We show that on every Ramanujan graph $G$, the simple random walk exhibits cutoff: when $G$ has $n$ vertices and degree $d$, the total-variation distance of the walk from the uniform distribution at time $t=\frac{d}{d-2}\log_{d-1} n + s\sqrt{\log n}$ is asymptotically $\mathbb{P}(Z > c\, s)$ where $Z$ is a standard normal variable and $c=c(d)$ is an explicit constant. Furthermore, for all $1 \leq p \leq \infty$, $d$-regular Ramanujan graphs minimize the asymptotic $L^p$-mixing time for SRW among all $d$-regular graphs. Our proof also shows that, for every vertex $x$ in $G$ as above, its distance from $n-o(n)$ of the vertices is asymptotically $\log_{d-1} n$.
Counting matchings in irregular bipartite graphs and random lifts
Published
• View Publication
• BIB
We give a sharp lower bound on the number of matchings of a given size in a bipartite graph. When specialized to regular bipartite graphs, our results imply Friedland's Lower Matching Conjecture and Schrijver's theorem proven by Gurvits and Csikvari. Indeed, our work extends the recent work of Csikvari done for regular and bi-regular bipartite graphs. Moreover, our lower bounds are order optimal as they are attained for a sequence of $2$-lifts of the original graph as well as for random $n$-lifts of the original graph when $n$ tends to infinity.
We then extend our results to permanents and subpermanents sums. For permanents, we are able to recover the lower bound of Schrijver recently proved by Gurvits using stable polynomials. Our proof is algorithmic and borrows ideas from the theory of local weak convergence of graphs, statistical physics and covers of graphs. We provide new lower bounds for subpermanents sums and obtain new results on the number of matching in random $n$-lifts with some implications for the matching measure and the spectral measure of random $n$-lifts as well as for the spectral measure of infinite trees.
Tanglegrams: a reduction tool for mathematical phylogenetics
Published
• View Publication
• BIB
Many discrete mathematics problems in phylogenetics are defined in terms of the relative labeling of pairs of leaf-labeled trees. These relative labelings are naturally formalized as tanglegrams, which have previously been an object of study in coevolutionary analysis. Although there has been considerable work on planar drawings of tanglegrams, they have not been fully explored as combinatorial objects until recently. In this paper, we describe how many discrete mathematical questions on trees "factor" through a problem on tanglegrams, and how understanding that factoring can simplify analysis. Depending on the problem, it may be useful to consider a unordered version of tanglegrams, and/or their unrooted counterparts. For all of these definitions, we show how the isomorphism types of tanglegrams can be understood in terms of double cosets of the symmetric group, and we investigate their automorphisms. Understanding tanglegrams better will isolate the distinct problems on leaf-labeled pairs of trees and reveal natural symmetries of spaces associated with such problems.
A sub-exponential transition of the chromatic generalized Ramsey numbers
Published
• View Publication
• BIB
A simple graph-product type construction shows that for all natural numbers $r \ge q$, there exists an edge-coloring of the complete graph on $2^r$ vertices using $r$ colors where the graph consisting of the union of arbitrary $q$ color classes has chromatic number $2^q$. We show that for each fixed natural number $q$, if there exists an edge-coloring of the complete graph on $n$ vertices using $r$ colors where the graph consisting of the union of arbitrary $q$ color classes has chromatic number at most $2^q -1 $, then $n$ must be sub-exponential in $r$. This answers a question of Conlon, Fox, Lee, and Sudakov.
Distance preserving graphs and graph products
If $G$ is a graph then a subgraph $H$ is $isometric$ if, for every pair of vertices $u,v$ of $H$, we have $d_H(u,v) = d_G(u,v)$ where $d$ is the distance function. We say a graph $G$ is $distance\ preserving\ (dp)$ if it has an isometric subgraph of every possible order up to the order of $G$. We give a necessary and sufficient condition for the lexicographic product of two graphs to be a dp graph. A graph $G$ is $sequentially\ distance\ preserving\ (sdp)$ if the vertex set of $G$ can be ordered so that, for all $i\ge1$, deleting the first $i$ vertices in the sequence results in an isometric graph. We show that the Cartesian product of two graphs is sdp if and only if each of them is sdp. In closing, we state a conjecture concerning the Cartesian products of dp graphs.
Bell numbers, partition moves and the eigenvalues of the random-to-top shuffle in Dynkin Types A, B and D
Published
• View Publication
• BIB
Let $B_t(n)$ be the number of set partitions of a set of size~$t$ into at most $n$ parts and let $B'_t(n)$ be the number of set partitions of $\{1,\ldots, t\}$ into at most $n$ parts such that no part contains both $1$ and~$t$ or both $i$ and $i+1$ for any $i \in \{1,\ldots,t-1\}$. We give two new combinatorial interpretations of the numbers $B_t(n)$ and $B'_t(n)$ using sequences of random-to-top shuffles, %that leave a deck of cards invariant, and sequences of box moves on the Young diagrams of partitions. Using these ideas we obtain a very short proof of a generalization of a result of Phatarfod on the eigenvalues of the random-to-top shuffle. We also prove analogous results for random-to-top shuffles that may flip certain cards. The proofs use the Solomon descent algebras of Types A, B and~D. We give generating functions and asymptotic results for all the combinatorial quantities studied in this paper.
Upper tails and independence polynomials in random graphs
Published in Adv. Math. 319 (2017), 313-347
• View Publication
• BIB
The upper tail problem in the Erdős--Rényi random graph $G\sim\mathcal{G}_{n,p}$ asks to estimate the probability that the number of copies of a graph $H$ in $G$ exceeds its expectation by a factor $1+δ$. Chatterjee and Dembo showed that in the sparse regime of $p\to 0$ as $n\to\infty$ with $p \geq n^{-α}$ for an explicit $α=α_H>0$, this problem reduces to a natural variational problem on weighted graphs, which was thereafter asymptotically solved by two of the authors in the case where $H$ is a clique.
Here we extend the latter work to any fixed graph $H$ and determine a function $c_H(δ)$ such that, for $p$ as above and any fixed $δ>0$, the upper tail probability is $\exp[-(c_H(δ)+o(1))n^2 p^Δ\log(1/p)]$, where $Δ$ is the maximum degree of $H$. As it turns out, the leading order constant in the large deviation rate function, $c_H(δ)$, is governed by the independence polynomial of $H$, defined as $P_H(x)=\sum i_H(k) x^k $ where $i_H(k)$ is the number of independent sets of size $k$ in $H$. For instance, if $H$ is a regular graph on $m$ vertices, then $c_H(δ)$ is the minimum between $\frac12 δ^{2/m}$ and the unique positive solution of $P_H(x) = 1+δ$.
On absolute linear Harbourne constants
Published in Finite Fields Appl. 51 (2018), 371-387
• View Publication
• BIB
In the present note we study absolute linear Harbourne constants. These are invariants which were introduced in order to relate the lower bounds on the selfintersection of negative curves on birationally equivalent surfaces to the complexity of the birational map between them. We provide various lower and upper bounds on Harbourne constants and give their values for the number of lines $s$ of the form $p^{2r}+p^r+1$ for any prime number $p$ and also for all values of $s$ up to $31$. This extends considerably earlier results of the third author.
The 1-2 model
The current paper is a short review of rigorous results for the 1-2 model. The 1-2 model on the hexagonal lattice is a model of statistical mechanics in which each vertex is constrained to have degree either 1 or 2. It was proposed in a study by Schwartz and Bruck of constrained coding systems, and is strongly connected to the dimer model on a decoration of the lattice, and to an enhanced Ising model and an associated polygon model on the graph derived from the hexagonal lattice by adding a further vertex in the middle of each edge.
The general 1-2 model possesses three parameters $a$, $b$, $c$. The fundamental technique is to represent probabilities of interest as ratios of counts of dimer coverings of certain associated graphs, and to apply the Pfaffian method of Kasteleyn, Fisher, and Temperley.
Of special interest is the existence (or not) of phase transitions. It turns out that all clusters of the infinite-volume limit are almost surely finite. On the other hand, the existence (with strictly positive probability) of infinite `homogeneous' clusters, containing vertices of given type, depends on the values of the parameters.
A further type of phase transition emerges in the study of the two-edge correlation function, and in this case the critical surface may be found explicitly. For instance, when $a \ge b \ge c > 0$, the surface given by $\sqrt a = \sqrt b + \sqrt c$ is critical.
Two Greedy Consequences for Maximum Induced Matchings
Published
• View Publication
• BIB
We prove that, for every integer $d$ with $d\geq 3$, there is an approximation algorithm for the maximum induced matching problem restricted to $\{ C_3,C_5\}$-free $d$-regular graphs with performance ratio $0.708\bar{3}d+0.425$, which answers a question posed by Dabrowski et al. (Theor. Comput. Sci. 478 (2013) 33-40). Furthermore, we show that every graph with $m$ edges that is $k$-degenerate and of maximum degree at most $d$ with $k<d$, has an induced matching with at least $m/((3k-1)d-k(k+1)+1)$ edges.
Polytopes of eigensteps of finite equal norm tight frames
Published in Discrete Comput. Geom. (2016) 56: 727
• View Publication
• BIB
Hilbert space frames generalize orthonormal bases to allow redundancy in representations of vectors while keeping good reconstruction properties. A frame comes with an associated frame operator encoding essential properties of the frame. We study a polytope that arises in an algorithm for constructing all finite frames with given lengths of frame vectors and spectrum of the frame operator, which is a Gelfand-Tsetlin polytope. For equal norm tight frames, we give a non-redundant description of the polytope in terms of equations and inequalities. From this we obtain the dimension and number of facets of the polytope.
Blocking optimal $k$-arborescences
Given a digraph $D=(V,A)$ and a positive integer $k$, an arc set $F\subseteq A$ is called a \textbf{$k$-arborescence} if it is the disjoint union of $k$ spanning arborescences. The problem of finding a minimum cost $k$-arborescence is known to be polynomial-time solvable using matroid intersection. In this paper we study the following problem: find a minimum cardinality subset of arcs that contains at least one arc from every minimum cost $k$-arborescence. For $k=1$, the problem was solved in [A. Bernáth, G. Pap , Blocking optimal arborescences, IPCO 2013]. In this paper we give an algorithm for general $k$ that has polynomial running time if $k$ is fixed.
Strong games played on random graphs
Published
• View Publication
• BIB
In a strong game played on the edge set of a graph G there are two players, Red and Blue, alternating turns in claiming previously unclaimed edges of G (with Red playing first). The winner is the first one to claim all the edges of some target structure (such as a clique, a perfect matching, a Hamilton cycle, etc.). It is well known that Red can always ensure at least a draw in any strong game, but finding explicit winning strategies is a difficult and a quite rare task. We consider strong games played on the edge set of a random graph G ~ G(n,p) on n vertices. We prove, for sufficiently large $n$ and a fixed constant 0 < p < 1, that Red can w.h.p win the perfect matching game on a random graph G ~ G(n,p).