Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Coloring the Real Line with Monochromatic Intervals
Published in Geombinatorics, 25, January 2016, 113-117
• Search Publication
Let D be a finite set of positive real numbers. The distance graph G(R,D) is the graph with vertex set R (set of real numbers), and two vertices x, y are adjacent if |x-y| belongs to D. We prove that every positive integer t>1 there is a distance set D such that the chromatic number of G(R,D) is t and no proper coloring of G(R,D) with t colors allows monochromatic intervals. This result disproves a conjecture in [2].
Introduction to Cluster Algebras. Chapters 1-3
This is a preliminary draft of Chapters 1-3 of our forthcoming textbook "Introduction to Cluster Algebras." This installment contains:
Chapter 1. Total positivity
Chapter 2. Mutations of quivers and matrices
Chapter 3. Clusters and seeds
Proof of a Conjecture of Kleinberg-Sawin-Speyer
In Ellenberg and Gijswijt's groundbreaking work, the authors show that a subset of $\mathbb{Z}_3^{n}$ with no arithmetic progression of length 3 must be of size at most $2.755^n$ (no prior upper bound was known of $(3-ε)^n)$), and provide for any prime $p$ a value $λ_p<p$ such that any subset of $\mathbb{Z}_p^{n}$ with no arithmetic progression of length 3 must be of size at most $λ_p^n$.
Blasiak et al showed that the same bounds apply to tri-coloured sum-free sets, which are triples $\{(a_i,b_i,c_i):a_i,b_i,c_i\in\mathbb{Z}_p^{n}\}$ with $a_i+b_j+c_k=0$ if and only if $i=j=k$.
Building on this work, Kleinberg, Sawin and Speyer gave a description of a value $μ_p$ such that no tri-coloured sum-free sets of size $e^{μ_p n}$ exist in $\mathbb{Z}_p^{n}$, but for any $ε>0$, such sets of size $e^{(μ_p-ε) n}$ exist for all sufficiently large $n$. The value of $μ_p$ was left open, but a conjecture was stated which would imply that $e^{μ_p}=λ_p$, i.e. the Ellenberg-Gijswijt bound is correct for the sum-free set problem.
The purpose of this note is to close that gap. The conjecture of Kleinberg, Sawin and Speyer is true, and the Ellenberg-Gijswijt bound is the correct exponent for the sum-free set problem.
A stability version for a theorem of Erdős on nonhamiltonian graphs
Let $n, d$ be integers with $1 \leq d \leq \left \lfloor \frac{n-1}{2} \right \rfloor$, and set $h(n,d):={n-d \choose 2} + d^2$ and $e(n,d):= \max\{h(n,d),h(n, \left \lfloor \frac{n-1}{2} \right \rfloor)\}$. Because $h(n,d)$ is quadratic in $d$, there exists a $d_0(n)=(n/6)+O(1)$ such that $e(n,1)> e(n, 2)> \dots >e(n,d_0)=e(n, d_0+1)=\dots = e(n,\left \lfloor \frac{n-1}{2} \right \rfloor)$. A theorem by Erdős states that for $d\leq \left \lfloor \frac{n-1}{2} \right \rfloor$, any $n$-vertex nonhamiltonian graph $G$ with minimum degree $δ(G) \geq d$ has at most $e(n,d)$ edges, and for $d > d_0(n)$ the unique sharpness example is simply the graph $K_n-E(K_{\lceil (n+1)/2\rceil})$. Erdős also presented a sharpness example $H_{n,d}$ for each $1\leq d \leq d_0(n)$. We show that if $d< d_0(n)$ and a $2$-connected, nonhamiltonian $n$-vertex graph $G$ with $δ(G) \geq d$ has more than $e(n,d+1)$ edges, then $G$ is a subgraph of $H_{n,d}$. Note that $e(n,d) - e(n, d+1) = n - 3d - 2 \geq n/2$ whenever $d< d_0(n)-1$.
Decomposition of a complete bipartite multigraph into arbitrary cycle sizes
Published
• View Publication
• BIB
In a graph $G$, let $μ_G(xy)$ denote the number of edges between $x$ and $y$ in $G$. Let $λK_{v,u}$ be the graph $(V\cup U,E)$ with $|V|=v$, $|U|=u$, and \[ μ_G(xy)=\begin{cases} λ&\mbox{if $x\in U$ and $y\in V$ or if $x\in V$ and $y\in U$}\\ 0 &\mbox{otherwise.} \\ \end{cases} \] Let $M$ be a sequence of non-negative integers $m_1,m_2,\ldots,m_n$. An $(M)$-cycle decomposition of a graph $G$ is a partition of the edge set into cycles of lengths $m_1,m_2,\ldots,m_n$. In this paper, we establish necessary and sufficient conditions for the existence of an $(M)$-cycle decomposition of $λK_{v,u}$.
Five-list-coloring graphs on surfaces III. One list of size one and one list of size two
Published
• View Publication
• BIB
Let $G$ be a plane graph with outer cycle $C$ and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of $G$ we mean a (proper) coloring $φ$ of $G$ such that $φ(v)\in L(v)$ for every vertex $v$ of $G$. Thomassen proved that if $v_1,v_2\in V(C)$ are adjacent, $L(v_1)\ne L(v_2)$, $|L(v)|\ge3$ for every $v\in V(C)-\{v_1,v_2\}$ and $|L(v)|\ge5$ for every $v\in V(G)-V(C)$, then $G$ has an $L$-coloring. What happens when $v_1$ and $v_2$ are not adjacent? Then an $L$-coloring need not exist, but in the first paper of this series we have shown that it exists if $|L(v_1)|,|L(v_2)|\ge2$. Here we characterize when an $L$-coloring exists if $|L(v_1)|\ge1$ and $|L(v_2)|\ge2$.
This result is a lemma toward a more general theorem along the same lines, which we will use to prove that minimally non-$L$-colorable planar graphs with two precolored cycles of bounded length are of bounded size. The latter result has a number of applications which we pursue elsewhere.
Short Zero-Sum Sequences Over Abelian $p$-Groups of Large Exponent
Published
• View Publication
• BIB
Let $G$ be a finite abelian group with exponent $n$. Let $η(G)$ denote the smallest integer $\ell$ such that every sequence over $G$ of length at least $\ell$ has a zero-sum subsequence of length at most $n$. We determine the precise value of $η(G)$ when $G$ is a $p$-group whose Davenport constant is at most $2n-1$. This confirms one of the equalities in a conjecture by Schmid and Zhuang from 2010.
Semi-steady non-commutative crepant resolutions via regular dimer models
Published
• View Publication
• BIB
A consistent dimer model gives a non-commutative crepant resolution (= NCCR) of a $3$-dimensional Gorenstein toric singularity. In particular, it is known that a consistent dimer model gives a nice class of NCCRs called steady if and only if it is homotopy equivalent to a regular hexagonal dimer model. Inspired by this result, we introduce the notion of semi-steady NCCRs, and show a consistent dimer model gives a semi-steady NCCR if and only if it is homotopy equivalent to a regular dimer model.
The probability of nonexistence of a subgraph in a moderately sparse random graph
Published
• View Publication
• BIB
We develop a general procedure that finds recursions for statistics counting isomorphic copies of a graph $G_0$ in the common random graph models ${\cal G}(n,m)$ and ${\cal G}(n,p)$. Our results apply when the average degrees of the random graphs are below the threshold at which each edge is included in a copy of $G_0$. This extends an argument given earlier by the second author for $G_0=K_3$ with a more restricted range of average degree. For all strictly balanced subgraphs $G_0$, our results gives much information on the distribution of the number of copies of $G_0$ that are not in large "clusters" of copies. The probability that a random graph in ${\cal G}(n,p)$ has no copies of $G_0$ is shown to be given asymptotically by the exponential of a power series in $n$ and $p$, over a fairly wide range of $p$. A corresponding result is also given for ${\cal G}(n,m)$, which gives an asymptotic formula for the number of graphs with $n$ vertices, $m$ edges and no copies of $G_0$, for the applicable range of $m$. An example is given, computing the asymptotic probability that a random graph has no triangles for $p=o(n^{-7/11})$ in ${\cal G}(n,p)$ and for $m=o(n^{15/11})$ in ${\cal G}(n,m)$, extending results of the second author.
Triangle-different Hamiltonian paths
Let $G$ be a fixed graph. Two paths of length $n-1$ on $n$ vertices (Hamiltonian paths) are $G$-different if there is a subgraph isomorphic to $G$ in their union. In this paper we prove that the maximal number of pairwise triangle-different Hamiltonian paths is equal to the number of balanced bipartitions of the ground set, answering a question of Körner, Messuti and Simonyi.
Note on Ramsey theorem for posets with linear extensions
Published
• View Publication
• BIB
In this note we consider a Ramsey type result for partially ordered sets. In particular, we give an alternative short proof of a theorem for a posets with multiple linear extensions recently obtained by Solecki and Zhao.
Smallest homotopically trivial non-contractible spaces
Published
• View Publication
• BIB
We characterize the homotopically trivial non-contractible topological spaces with the minimum number of points.
Bounded Diameter Arboricity
Published
• View Publication
• BIB
We introduce the notion of \emph{bounded diameter arboricity}. Specifically, the \emph{diameter-$d$ arboricity} of a graph is the minimum number $k$ such that the edges of the graph can be partitioned into $k$ forests each of whose components has diameter at most $d$. A class of graphs has bounded diameter arboricity $k$ if there exists a natural number $d$ such that every graph in the class has diameter-$d$ arboricity at most $k$. We conjecture that the class of graphs with arboricity at most $k$ has bounded diameter arboricity at most $k+1$. We prove this conjecture for $k\in \{2,3\}$ by proving the stronger assertion that the union of a forest and a star forest can be partitioned into two forests of diameter at most 18. We use these results to characterize the bounded diameter arboricity for planar graphs of girth at least $g$ for all $g\ne 5$. As an application we show that every 6-edge-connected planar (multi)graph contains two edge-disjoint $\frac{18}{19}$-thin spanning trees.
Slicing and dicing polytopes
Using tropical convexity Dochtermann, Fink, and Sanyal proved that regular fine mixed subdivisions of Minkowski sums of simplices support minimal cellular resolutions. They asked if the regularity condition can be removed. We give an affirmative answer by a different method. A new easily checked sufficient condition for a subdivided polytope to support a cellular resolution is proved. The main tool used is discrete Morse theory.
Asymptotic approximation of central binomial coefficients with rigorous error bounds
Published in Open J. Math. Sci. 5 (2021), 380-386
• View Publication
• BIB
We show that a well-known asymptotic series for the logarithm of the central binomial coefficient is strictly enveloping in the sense of Pólya and Szegö, so the error incurred in truncating the series is of the same sign as the next term, and is bounded in magnitude by that term. We consider closely related asymptotic series for Binet's function, for $\lnΓ(z+1/2)$, and for the Riemann-Siegel theta function, and make some historical remarks.
Almost perfect matchings in $k$-partite $k$-graphs
Published
• View Publication
• BIB
The minimum co-degree threshold for a perfect matching in a $k$-graph with $n$ vertices was determined by Rödl, Ruciński and Szemerédi for the case when $n\equiv 0\pmod k$. Recently, Han resolved the remaining cases when $n \not\equiv 0\pmod k$, establishing a conjecture of Rödl, Ruciński and Szemerédi. In this paper, we determine the minimum co-degree threshold for almost perfect matchings in $k$-partite $k$-graphs, answering a question of Rödl and Ruciński.
On Doubling and Volume: Chains
Published
• View Publication
• BIB
The well--known Freiman--Ruzsa Theorem provides a structural description of a set $A$ of integers with $|2A|\le c|A|$ as a subset of a $d$--dimensional arithmetic progression $P$ with $|P|\le c'|A|$, where $d$ and $c'$ depend only on $c$. The estimation of the constants $d$ and $c'$ involved in the statement has been the object of intense research. Freiman conjectured in 2008 a formula for the largest volume of such a set. In this paper we prove the conjecture for a general class of sets called chains.
Retracts and algebraic properties of cut algebras
Published in European J. Combin. 69 (2018), 214-236
• View Publication
• BIB
We study cut algebras which are toric rings associated to graphs. The key idea is to consider suitable retracts to understand algebraic properties and invariants of such algebras like being a complete intersection, having a linear resolution, or the Castelnuovo-Mumford regularity. Throughout the paper, we discuss several examples and pose some problems as well.
Packing Hamilton Cycles Online
Published
• View Publication
• BIB
It is known that w.h.p. the hitting time $τ_{2σ}$ for the random graph process to have minimum degree $2σ$ coincides with the hitting time for $σ$ edge disjoint Hamilton cycles. In this paper we prove an online version of this property. We show that, for a fixed integer $σ\geq 2$, if random edges of $K_n$ are presented one by one then w.h.p. it is possible to color the edges online with $σ$ colors so that at time $τ_{2σ}$, each color class is Hamiltonian.
Random self-similar trees and a hierarchical branching process
Published
• View Publication
• BIB
We study self-similarity in random binary rooted trees. In a well-understood case of Galton-Watson trees, a distribution on a space of trees is said to be self-similar if it is invariant with respect to the operation of pruning, which cuts the tree leaves. This only happens for the critical Galton-Watson tree (a constant process progeny), which also exhibits other special symmetries. We extend the prune-invariance setup to arbitrary binary trees with edge lengths. In this general case the class of self-similar processes becomes much richer and covers a variety of practically important situations. The main result is construction of the hierarchical branching processes that satisfy various self-similarity definitions (including mean self-similarity and self-similarity in edge-lengths) depending on the process parameters. Taking the limit of averaged stochastic dynamics, as the number of trajectories increases, we obtain a deterministic system of differential equations that describes the process evolution. This system is used to establish a phase transition that separates fading and explosive behavior of the average process progeny. We describe a class of critical Tokunaga processes that happen at the phase transition boundary. They enjoy multiple additional symmetries and include the celebrated critical binary Galton-Watson tree with independent exponential edge length as a special case. Finally, we discuss a duality between trees and continuous functions, and introduce a class of extreme-invariant processes, constructed as the Harris paths of a self-similar hierarchical branching process, whose local minima has the same (linearly scaled) distribution as the original process.