Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Hex implies Y
We give a simple and short proof of the fact that the board game of Y cannot end in a draw. Our proof, based on the analogous result for the game of Hex (the so-called 'Hex Theorem'), is purely topological and does not depend on the shape of the board. We also include a simplified version of Gale's proof of Hex Theorem.
Typicality and entropy of processes on infinite trees
Published
• View Publication
• BIB
Consider a uniformly sampled random $d$-regular graph on $n$ vertices. If $d$ is fixed and $n$ goes to $\infty$ then we can relate typical (large probability) properties of such random graph to a family of invariant random processes (called "typical" processes) on the infinite $d$-regular tree $T_d$. This correspondence between ergodic theory on $T_d$ and random regular graphs is already proven to be fruitful in both directions. This paper continues the investigation of typical processes with a special emphasis on entropy. We study a natural notion of micro-state entropy for invariant processes on $T_d$. It serves as a quantitative refinement of the notion of typicality and is tightly connected to the asymptotic free energy in statistical physics. Using entropy inequalities, we provide new sufficient conditions for typicality for edge Markov processes. We also extend these notions and results to processes on unimodular Galton-Watson random trees.
Spectral extrema of graphs with fixed size: cycles and complete bipartite graphs
Published
• View Publication
• BIB
Nikiforov [Some inequalities for the largest eigenvalue of a graph, Combin. Probab. Comput. 179--189] showed that if $G$ is $K_{r+1}$-free then the spectral radius $ρ(G)\leq\sqrt{2m(1-1/r)}$, which implies that $G$ contains $C_3$ if $ρ(G)>\sqrt{m}$. In this paper, we follow this direction on determining which subgraphs will be contained in $G$ if $ρ(G)> f(m)$, where $f(m)\sim\sqrt{m}$ as $m\rightarrow \infty$. We first show that if $ρ(G)\geq \sqrt{m}$, then $G$ contains $K_{2,r+1}$ unless $G$ is a star; and $G$ contains either $C_3^+$ or $C_4^+$ unless $G$ is a complete bipartite graph, where $C_t^+$ denotes the graph obtained from $C_t$ and $C_3$ by identifying an edge. Secondly, we prove that if $ρ(G)\geq{\frac12+\sqrt{m-\frac34}}$, then $G$ contains pentagon and hexagon unless $G$ is a book; and if $ρ(G)>{\frac12(k-\frac12)+\sqrt{m+\frac14(k-\frac12)^2}}$, then $G$ contains $C_t$ for every $t\leq 2k+2$. In the end, some related conjectures are provided for further research.
Force-Directed Layout of Order Diagrams using Dimensional Reduction
Order diagrams allow human analysts to understand and analyze structural properties of ordered data. While an experienced expert can create easily readable order diagrams, the automatic generation of those remains a hard task. In this work, we adapt force-directed approaches, which are known to generate aesthetically-pleasing drawings of graphs, to the realm of order diagrams. Our algorithm ReDraw thereby embeds the order in a high dimension and then iteratively reduces the dimension until a two-dimensional drawing is achieved. To improve aesthetics, this reduction is equipped with two force-directed steps where one optimizes on distances of nodes and the other on distances of lines in order to satisfy a set of a priori fixed conditions. By respecting an invariant about the vertical position of the elements in each step of our algorithm we ensure that the resulting drawings satisfy all necessary properties of order diagrams. Finally, we present the results of a user study to demonstrate that our algorithm outperforms comparable approaches on drawings of lattices with a high degree of distributivity.
Fractionally Log-Concave and Sector-Stable Polynomials: Counting Planar Matchings and More
Published
• View Publication
• BIB
We show fully polynomial time randomized approximation schemes (FPRAS) for counting matchings of a given size, or more generally sampling/counting monomer-dimer systems in planar, not-necessarily-bipartite, graphs. While perfect matchings on planar graphs can be counted exactly in polynomial time, counting non-perfect matchings was shown by [Jer87] to be #P-hard, who also raised the question of whether efficient approximate counting is possible. We answer this affirmatively by showing that the multi-site Glauber dynamics on the set of monomers in a monomer-dimer system always mixes rapidly, and that this dynamics can be implemented efficiently on downward-closed families of graphs where counting perfect matchings is tractable. As further applications of our results, we show how to sample efficiently using multi-site Glauber dynamics from partition-constrained strongly Rayleigh distributions, and nonsymmetric determinantal point processes.
In order to analyze mixing properties of the multi-site Glauber dynamics, we establish two notions for generating polynomials of discrete set-valued distributions: sector-stability and fractional log-concavity. These notions generalize well-studied properties like real-stability and log-concavity, but unlike them robustly degrade under useful transformations applied to the distribution. We relate these notions to pairwise correlations in the underlying distribution and the notion of spectral independence introduced by [ALO20], providing a new tool for establishing spectral independence based on geometry of polynomials. As a byproduct of our techniques, we show that polynomials avoiding roots in a sector of the complex plane must satisfy what we call fractional log-concavity; this extends a classic result established by [Gar59] who showed homogeneous polynomials that have no roots in a half-plane must be log-concave over the positive orthant.
On the number of fixed points of the map $γ$
We recursively define a sequence $\{F_{n,k}\}_{n,k\in\mathbb N }$ and we prove that such sequence contains only the symbols $\{0,1\}.$ We investigate some number-theoretic properties of such sequence and of the way it can be generated. The number $F_n$ can be interpreted as the number of fixed points of semilength $n$ of the map $γ$ introduced by Barnabei et al. Our results partially answer conjectures posed by Cori et al.
On list chromatic numbers of 2-colorable hypergraphs
We give an upper bound on the list chromatic number of a 2-colorable hypergraph which generalizes the bound of Schauz on $k$-partite $k$-uniform hypergraphs. It makes sense for sparse hypergraphs: in particular we show that a $k$-uniform $k$-regular hypergraph has the list chromatic number 2 for $k \geq 4$. Also we obtain both lower and upper bound on the list chromatic number of a complete $s$-uniform 2-colorable hypergraph in the vein of Erd{\H o}s--Rubin--Taylor theorem.
Online Discrepancy Minimization via Persistent Self-Balancing Walks
We study the online discrepancy minimization problem for vectors in $\mathbb{R}^d$ in the oblivious setting where an adversary is allowed fix the vectors $x_1, x_2, \ldots, x_n$ in arbitrary order ahead of time. We give an algorithm that maintains $O(\sqrt{\log(nd/δ)})$ discrepancy with probability $1-δ$, matching the lower bound given in [Bansal et al. 2020] up to an $O(\sqrt{\log \log n})$ factor in the high-probability regime. We also provide results for the weighted and multi-color versions of the problem.
Mixing time of fractional random walk on finite fields
Published
• View Publication
• BIB
We study a random walk on $\mathbb{F}_p$ defined by $X_{n+1}=1/X_n+\varepsilon_{n+1}$ if $X_n\neq 0$, and $X_{n+1}=\varepsilon_{n+1}$ if $X_n=0$, where $\varepsilon_{n+1}$ are independent and identically distributed. This can be seen as a non-linear analogue of the Chung--Diaconis--Graham process. We show that the mixing time is of order $\log p$, answering a question of Chatterjee and Diaconis.
Geometry of Random Cayley Graphs of Abelian Groups
Published in Ann. Appl. Probab. 33(5): 3520-3562 (October 2023)
• View Publication
• BIB
Consider the random Cayley graph of a finite Abelian group $G$ with respect to $k$ generators chosen uniformly at random, with $1 \ll \log k \ll \log |G|$. Draw a vertex $U \sim \operatorname{Unif}(G)$.
We show that the graph distance $\operatorname{dist}(\mathsf{id},U)$ from the identity to $U$ concentrates at a particular value $M$, which is the minimal radius of a ball in $\mathbb Z^k$ of cardinality at least $|G|$, under mild conditions. In other words, the distance from the identity for all but $o(|G|)$ of the elements of $G$ lies in the interval $[M - o(M), M + o(M)]$. In the regime $k \gtrsim \log |G|$, we show that the diameter of the graph is also asymptotically $M$. In the spirit of a conjecture of Aldous and Diaconis (1985), this $M$ depends only on $k$ and $|G|$, not on the algebraic structure of $G$.
Write $d(G)$ for the minimal size of a generating subset of $G$. We prove that the order of the spectral gap is $|G|^{-2/k}$ when $k - d(G) \asymp k$ and $|G|$ lies in a density-$1$ subset of $\mathbb N$ or when $k - 2 d(G) \asymp k$. This extends, for Abelian groups, a celebrated result of Alon and Roichman (1994).
The aforementioned results all hold with high probability over the random Cayley graph.
Extending Edge-colorings of Complete Hypergraphs into Regular Colorings
Published in Journal of Graph Theory, Volume 90, Issue 4, 2019, Pages 547-560
• View Publication
• BIB
Let $\binom{X}{h}$ be the collection of all $h$-subsets of an $n$-set $X\supseteq Y$. Given a coloring (partition) of a set $S\subseteq \binom{X}{h}$, we are interested in finding conditions under which this coloring is extendible to a coloring of $\binom{X}{h}$ so that the number of times each element of $X$ appears in each color class (all sets of the same color) is the same number $r$. The case $S=\varnothing, r=1$ was studied by Sylvester in the 18th century, and remained open until the 1970s. The case $h=2,r=1$ is extensively studied in the literature and is closely related to completing partial symmetric Latin squares.
For $S=\binom{Y}{h}$, we settle the cases $h=4, |X|\geq 4.847323|Y|$, and $h=5, |X|\geq 6.285214|Y|$ completely. Moreover, we make partial progress toward solving the case where $S=\binom{X}{h}\backslash \binom{Y}{h}$.
These results can be seen as extensions of the famous Baranyai's theorem, and make progress toward settling a 40-year-old problem posed by Cameron.
Factorizations of Complete Multipartite Hypergraphs
Published in Discrete Mathematics, Volume 340, Issue 2, 2017, Pages 46-50
• View Publication
• BIB
In a mathematics workshop with $mn$ mathematicians from $n$ different areas, each area consisting of $m$ mathematicians, we want to create a collaboration network. For this purpose, we would like to schedule daily meetings between groups of size three, so that (i) two people of the same area meet one person of another area, (ii) each person has exactly $r$ meeting(s) each day, and (iii) each pair of people of the same area have exactly $λ$ meeting(s) with each person of another area by the end of the workshop. Using hypergraph amalgamation-detachment, we prove a more general theorem. In particular we show that above meetings can be scheduled if: $3 \ | \ rm$, $2 \ | \ rnm$ and $r \ | \ 3λ(n-1)\binom{m}{2}$. This result can be viewed as an analogue of Baranyai's theorem on factorizations of complete multipartite hypergraphs.
All Subgraphs of a Wheel are 5-Coupled-Choosable
Published
• View Publication
• BIB
A wheel graph consists of a cycle along with a center vertex connected to every vertex in the cycle. In this paper we show that every subgraph of a wheel graph has list coupled chromatic number at most 5, and this coloring can be found in linear time. We further show that `5' is tight for every wheel graph with at least 5 vertices, and briefly discuss possible generalizations to planar graphs of treewidth 3.
Twenty Vertex model and domino tilings of the Aztec triangle
Published
• View Publication
• BIB
We show that the number of configurations of the 20 Vertex model on certain domains with domain wall type boundary conditions is equal to the number of domino tilings of Aztec-like triangles, proving a conjecture from [P. Di Francesco and E. Guitter, Twenty-Vertex Model with Domain Wall Boundaries and Domino Tilings, Elec. Jour. of Combinatorics 27 (2020), no. 2, P2.13]. The result is based on the integrability of the 20 Vertex model and uses a connection to the U-turn boundary 6 Vertex model to re-express the number of 20 Vertex configurations as a simple determinant, which is then related to a Lindström-Gessel-Viennot determinant for the domino tiling problem. The common number of configurations is conjectured to be $2^{n(n-1)/2}\prod_{j=0}^{n-1}\frac{(4j+2)!}{(n+2j+1)!}=1, 4, 60, 3328, 678912...$ The enumeration result is extended to include refinements of both numbers.
There are only a finite number of excluded minors for the class of bicircular matroids
Published in Advances in Combinatorics 2023:7, 46pp
• View Publication
• BIB
We show that the class of bicircular matroids has only a finite number of excluded minors. Key tools used in our proof include representations of matroids by biased graphs and the recently introduced class of quasi-graphic matroids. We show that if $N$ is an excluded minor of rank at least ten, then $N$ is quasi-graphic. Several small excluded minors are quasi-graphic. Using biased-graphic representations, we find that $N$ already contains one of these. We also provide an upper bound, in terms of rank, on the number of elements in an excluded minor, so the result follows.
Partial-dual genus polynomials and signed intersection graphs
Published
• View Publication
• BIB
Recently, Gross, Mansour and Tucker introduced the partial-dual genus polynomial of a ribbon graph as a generating function that enumerates the partial duals of the ribbon graph by genus. It is analogous to the extensively-studied polynomial in topological graph theory that enumerates by genus all embeddings of a given graph. To investigate the partial-dual genus polynomial one only needs to focus on bouquets, i.e. ribbon graphs with only one vertex. In this paper, we shall further show that the partial-dual genus polynomial of a bouquet essentially depends on the signed intersection graph of the bouquet rather than on the bouquet itself. That is to say the bouquets with the same signed intersection graph will have the same partial-dual genus polynomial. We then prove that the partial-dual genus polynomial of a bouquet contains non-zero constant term if and only if its signed intersection graph is positive and bipartite. Finally we consider a conjecture posed by Gross, Mansour and Tucker. that there is no orientable ribbon graph whose partial-dual genus polynomial has only one non-constant term, we give a characterization of non-empty bouquets whose partial-dual genus polynomials have only one term by consider non-orientable case and orientable case separately.
Reconstruction of small graphs and digraphs
We describe computer searches that prove the graph reconstruction conjecture for graphs with up to 13 vertices and some limited classes on larger sizes. We also investigate the reconstructibility of tournaments up to 13 vertices, digraphs up to 9 vertices, and posets up to 13 points. In all cases, our results also apply to the set reconstruction problem that uses the isomorph-reduced deck.
Infinite-dimensional groups over finite fields and Hall-Littlewood symmetric functions
Published in Advances in Mathematics 395 (2022), paper 108087
• View Publication
• BIB
The groups mentioned in the title are certain matrix groups of infinite size over a finite field $\mathbb F_q$. They are built from finite classical groups and at the same time they are similar to reductive $p$-adic Lie groups. In the present paper, we initiate the study of invariant measures for the coadjoint action of these infinite-dimensional groups.
We examine first the group $\mathbb{GLB}$, a topological completion of the inductive limit group $\varinjlim GL(n, \mathbb F_q)$. As was shown by Gorin, Kerov, and Vershik [arXiv:1209.4945], the traceable factor representations of $\mathbb{GLB}$ admit a complete classification, achieved in terms of harmonic functions on the Young graph $\mathbb Y$.
We show that there exists a parallel theory for ergodic coadjoint-invariant measures, which is linked with a deformed version of harmonic functions on $\mathbb Y$. Here the deformation means that the edges of $\mathbb Y$ are endowed with certain formal multiplicities coming from the simplest version of Pieri rule (multiplication by the first power sum $p_1$) for the Hall-Littlewood (HL) symmetric functions with parameter $t:=q^{-1}$.
This fact serves as a prelude to our main results, which concern topological completions of two inductive limit groups built from finite unitary groups. We show that in this case, coadjoint-invariant measures are linked to some new branching graphs. The latter are still related to the HL functions, but the novelty is that now the formal edge multiplicities come from the multiplication by $p_2$ (not $p_1$) and the HL parameter $t$ turns out to be negative (as in Ennola's duality).
On a metric property of perfect colorings
Published
• View Publication
• BIB
Given a perfect coloring of a graph, we prove that the $L_1$ distance between two rows of the adjacency matrix of the graph is not less than the $L_1$ distance between the corresponding rows of the parameter matrix of the coloring. With the help of an algebraic approach, we deduce corollaries of this result for perfect $2$-colorings, perfect colorings in distance-$l$ graphs and in distance-regular graphs. We also provide examples when the obtained property reject several putative parameter matrices of perfect colorings in infinite graphs.
Majority-closed minions of Boolean functions
Published
• View Publication
• BIB
The 93 minions of Boolean functions stable under left composition with the clone of self-dual monotone functions are described. As an easy consequence, all $(C_1,C_2)$-stable classes of Boolean functions are determined for an arbitrary clone $C_1$ and for any clone $C_2$ containing the clone of self-dual monotone functions.