Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On Ehrhart polynomials of lattice triangles
Published in Electron. J. Combin. 25 (2018), no. 1, Paper 1.3, 8 pp
• View Publication
• BIB
The Ehrhart polynomial of a lattice polygon P is completely determined by the pair (b(P),i(P)) where b(P) equals the number of lattice points on the boundary and i(P) equals the number of interior lattice points. All possible pairs (b(P),i(P)) are completely described by a theorem due to Scott. In this note, we describe the shape of the set of pairs (b(T),i(T)) for lattice triangles T by finding infinitely many new Scott-type inequalities.
Counting Hamilton decompositions of oriented graphs
Published
• View Publication
• BIB
A Hamilton cycle in a directed graph $G$ is a cycle that passes through every vertex of $G$. A Hamiltonian decomposition of $G$ is a partition of its edge set into disjoint Hamilton cycles. In the late $60$s Kelly conjectured that every regular tournament has a Hamilton decomposition. This conjecture was recently settled by Kühn and Osthus, who proved more generally that every $r$-regular $n$-vertex oriented graph $G$ (without antiparallel edges) with $r=cn$ for some fixed $c>3/8$ has a Hamiltonian decomposition, provided $n=n(c)$ is sufficiently large. In this paper we address the natural question of estimating the number of such decompositions of $G$ and show that this number is $n^{(1-o(1))cn^2}$. In addition, we also obtain a new and much simpler proof for the approximate version of Kelly's conjecture.
Spanning trails with maximum degree at most 4 in $2K_2$-free graphs
Published
• View Publication
• BIB
A graph is called $2K_2$-free if it does not contain two independent edges as an induced subgraph. Mou and Pasechnik conjectured that every $\frac{3}{2}$-tough $2K_2$-free graph with at least three vertices has a spanning trail with maximum degree at most $4$. In this paper, we confirm this conjecture. We also provide examples for all $t < \frac{5}{4}$ of $t$-tough graphs that do not have a spanning trail with maximum degree at most $4$.
Geometry of mutation classes of rank $3$ quivers
Published in Arnold Math. J. 5 (2019), 37-55
• View Publication
• BIB
We present a geometric realization for all mutation classes of quivers of rank $3$ with real weights. This realization is via linear reflection groups for acyclic mutation classes and via groups generated by $π$-rotations for the cyclic ones. The geometric behavior of the model turns out to be controlled by the Markov constant $p^2+q^2+r^2-pqr$, where $p,q,r$ are the elements of exchange matrix. We also classify skew-symmetric mutation-finite real $3\times 3$ matrices and explore the structure of acyclic representatives in finite and infinite mutation classes.
Gibbs partitions: the convergent case
Published
• View Publication
• BIB
We study Gibbs partitions that typically form a unique giant component. The remainder is shown to converge in total variation toward a Boltzmann-distributed limit structure. We demon- strate how this setting encompasses arbitrary weighted assemblies of tree-like combinatorial structures. As an application, we establish smooth growth along lattices for small block-stable classes of graphs. Random graphs with n vertices from such classes are shown to form a giant connected component. The small fragments may converge toward different Poisson Boltzmann limit graphs, depending along which lattice we let n tend to infinity. Since proper addable minor-closed classes of graphs belong to the more general family of small block-stable classes, this recovers and generalizes results by McDiarmid (2009).
On $g$-Extra Connectivity of Hypercube-like Networks
Published in Journal of Computer and System Sciences 88 (2017) 208-219
• View Publication
• BIB
Given a connected graph $G$ and a non-negative integer $g$, the {\em $g$-extra connectivity} $\k_g(G)$ of $G$ is the minimum cardinality of a set of vertices in $G$, if it exists, whose deletion disconnects $G$ and leaves each remaining component with more than $g$ vertices. This paper focuses on the $g$-extra connectivity of hypercube-like networks (HL-networks for short) which includes numerous well-known topologies, such as hypercubes, twisted cubes, crossed cubes and Möbius cubes. All the known results suggest the equality $\k_g(X_n)=f_n(g)$ holds, where $X_n$ is an $n$-dimensional HL-network, $f_n(g)=n(g+1)-\frac{g(g+3)}{2}$, $n\geq 5$ and $0\leq g\leq n-3$? Some authors also attempted to prove this equality in general. In this paper, we construct a subfamily of an $n$-dimensional HL-network with $g$-extra connectivity greater than $f_n(g)$ which implies that the above equality does not hold in general. We also prove that for $n\geq 5$ and $0\leq g\leq n-3$, $\k_g(X_n)\geq f_n(g)$ always holds. This enables us to give a sufficient condition for the equality $\k_g(X_n)=f_n(g)$, which is then used to determine the $g$-extra connectivity of HL-networks for some small $g$ or the $g$-extra connectivity of some particular subfamily of HL-networks. As a result, a short proof for the main results in [Journal of Computer and System Sciences 79 (2013) 669--688].
A phase transition regarding the evolution of bootstrap processes in inhomogeneous random graphs
Published
• View Publication
• BIB
A bootstrap percolation process on a graph with infection threshold $r\ge 1$ is a dissemination process that evolves in time steps. The process begins with a subset of infected vertices and in each subsequent step every uninfected vertex that has at least $r$ infected neighbours becomes infected and remains so forever.
Critical phenomena in bootstrap percolation processes were originally observed by Aizenman and Lebowitz in the late 1980s as finite-volume phase transitions in $\mathbb{Z}^d$ that are caused by the accumulation of small local islands of infected vertices. They were also observed in the case of dense (homogeneous) random graphs by Janson, Łuczak, Turova and Valier (2012). In this paper, we consider the class of inhomogeneous random graphs known as the Chung-Lu model: each vertex is equipped with a positive weight and each pair of vertices appears as an edge with probability proportional to the product of the weights. In particular, we focus on the sparse regime, where the number of edges is proportional to the number of vertices.
The main results of this paper determine those weight sequences for which a critical phenomenon occurs: there is a critical density of vertices that are infected at the beginning of the process, above which a small (sublinear) set of infected vertices creates an avalanche of infections that in turn leads to an outbreak. We show that this occurs essentially only when the tail of the weight distribution dominates a power law with exponent 3 and we determine the critical density in this case.
Extremal Values of the Chromatic Number for a Given Degree Sequence
Published
• View Publication
• BIB
For a degree sequence $d:d_1\geq \cdots \geq d_n$, we consider the smallest chromatic number $χ_{\min}(d)$ and the largest chromatic number $χ_{\max}(d)$ among all graphs with degree sequence $d$. We show that if $d_n\geq 1$, then $χ_{\min}(d)\leq \max\left\{ 3,d_1-\frac{n+1}{4d_1}+4\right\}$, and, if $\sqrt{n+\frac{1}{4}}-\frac{1}{2}>d_1\geq d_n\geq 1$, then $χ_{\max}(d)=\max\limits_{i\in [n]}\min\left\{ i,d_i+1\right\}$. For a given degree sequence $d$ with bounded entries, we show that $χ_{\min}(d)$, $χ_{\max}(d)$, and also the smallest independence number $α_{\min}(d)$ among all graphs with degree sequence $d$, can be determined in polynomial time.
Turan numbers of extensions of some sparse hypergraphs via Lagrangians
Published
• View Publication
• BIB
Given a positive integer $n$ and an $r$-uniform hypergraph (or $r$-graph for short) $F$, the Turan number $ex(n,F)$ of $F$ is the maximum number of edges in an $r$-graph on $n$ vertices that does not contain $F$ as a subgraph. The extension $H^F $ of $F$ is obtained as follows: For each pair of vertices $v_i,v_j$ in $F$ not contained in an edge of $F$, we add a set $B_{ij}$ of $r-2$ new vertices and the edge $\{v_i,v_j\} \cup B_{ij}$, where the $B_{ij}$ 's are pairwise disjoint over all such pairs $\{i,j\}$. Let $K^r_p$ denote the complete $r$-graph on $p$ vertices. For all sufficiently large $n$, we determine the Turan numbers of the extensions of a $3$-uniform $t$-matching, a $3$-uniform linear star of size $t$, and a $4$-uniform linear star of size $t$, respectively. We also show that the unique extremal hypergraphs are balanced blowups of $K^3_{3t-1}, K^3_{2t}$, and $K^4_{3t}$, respectively. Our results generalize the recent result of Hefetz and Keevash [7].
Incidences between points and lines on two- and three-dimensional varieties
Published
• View Publication
• BIB
Let $P$ be a set of $m$ points and $L$ a set of $n$ lines in $\mathbb R^4$, such that the points of $P$ lie on an algebraic three-dimensional surface of degree $D$ that does not contain hyperplane or quadric components, and no 2-flat contains more than $s$ lines of $L$. We show that the number of incidences between $P$ and $L$ is $$ I(P,L) = O\left(m^{1/2}n^{1/2}D + m^{2/3}n^{1/3}s^{1/3} + nD + m\right) , $$ for some absolute constant of proportionality. This significantly improves the bound of the authors, for arbitrary sets of points and lines in $\mathbb R^4$, when $D$ is not too large. The same bound holds when the three-dimensional surface is embedded in any higher dimensional space. For the proof of this bound, we revisit certain parts of [Sharir-Solomon16], combined with the following new incidence bound. Let $P$ be a set of $m$ points and $L$ a set of $n$ lines in $\mathbb R^d$, for $d\ge 3$, which lie in a common two-dimensional algebraic surface of degree $D$ (assumed to be $\ll n^{1/2}$) that does not contain any 2-flat, so that no 2-flat contains more than $s$ lines of $L$ (here we require that the lines of $L$ also be contained in the surface). Then the number of incidences between $P$ and $L$ is $$ I(P,L) = O\left(m^{1/2}n^{1/2}D^{1/2} + m^{2/3}D^{2/3}s^{1/3} + m + n\right). $$ When $d=3$, this improves the bound of Guth and Katz for this special case, when $D \ll n^{1/2}$. Moreover, the bound does not involve the term $O(nD)$, that arises in most standard approaches, and its removal is a significant aspect of our result. Finally, we also obtain (slightly weaker) variants of both results over the complex field. For two-dimensional varieties, the bound is as in the real case, with an added term of $O(D^3)$. For three-dimensional varieties, the bound is as in the real case, with an added term of $O(D^6)$.
Local Kesten--McKay law for random regular graphs
Published in Commun. Math. Phys. 369 (2):523-636, 2019
• View Publication
• BIB
We study the adjacency matrices of random $d$-regular graphs with large but fixed degree $d$. In the bulk of the spectrum $[-2\sqrt{d-1}+\varepsilon, 2\sqrt{d-1}-\varepsilon]$ down to the optimal spectral scale, we prove that the Green's functions can be approximated by those of certain infinite tree-like (few cycles) graphs that depend only on the local structure of the original graphs. This result implies that the Kesten--McKay law holds for the spectral density down to the smallest scale and the complete delocalization of bulk eigenvectors. Our method is based on estimating the Green's function of the adjacency matrices and a resampling of the boundary edges of large balls in the graphs.
On side lengths of corners in positive density subsets of the Euclidean space
Published in Int. Math. Res. Not. 2018, 6844-6869
• View Publication
• BIB
We generalize a result by Cook, Magyar, and Pramanik [3] on three-term arithmetic progressions in subsets of $\mathbb{R}^d$ to corners in subsets of $\mathbb{R}^d\times\mathbb{R}^d$. More precisely, if $1<p<\infty$, $p\neq 2$, and $d$ is large enough, we show that an arbitrary measurable set $A\subseteq\mathbb{R}^d\times\mathbb{R}^d$ of positive upper Banach density contains corners $(x,y)$, $(x+s,y)$, $(x,y+s)$ such that the $\ell^p$-norm of the side $s$ attains all sufficiently large real values. Even though we closely follow the basic steps from [3], the proof diverges at the part relying on harmonic analysis. We need to apply a higher-dimensional variant of a multilinear estimate from [5], which we establish using the techniques from [5] and [6].
A generalization of the Grid Theorem
A graph has tree-width at most $k$ if it can be obtained from a set of graphs each with at most $k+1$ vertices by a sequence of clique sums. We refine this definition by, for each non-negative integer $θ$, defining the $θ$-tree-width of a graph to be at most $k$ if it can be obtained from a set of graphs each with at most $k+1$ vertices by a sequence of clique sums on cliques of size less than $θ$. We find the unavoidable minors for the graphs with large $θ$-tree-width and we obtain Robertson and Seymour's Grid Theorem as a corollary.
Discrete Mixed Volume and Hodge-Deligne Numbers
Generalizing the famous Bernstein-Kushnirenko Theorem, Khovanskii proved in 1978 a combinatorial formula for the arithmetic genus of the compactification of a generic complete intersection associated to a family of lattice polytopes. Recently, an analogous combinatorial formula, called the discrete mixed volume, was introduced by Bihan and shown to be nonnegative. By making a footnote of Khovanskii in his paper explicit, we interpret this invariant as the (motivic) arithmetic genus of the non-compact generic complete intersection associated to the family of lattice polytopes.
Cycle Spaces of Digraphs
The cycle space of a graph corresponds to the kernel of an incidence matrix. We investigate an analogous subspace for digraphs. In the case of digraphs of graphs, where every edge is replaced by two oppositely directed arcs, we give a combinatorial description of a basis of such a space. We are motivated by a connection to the transition matrices of discrete-time quantum walks.
Sharp Dirac's Theorem for DP-Critical Graphs
Published in Journal of Graph Theory, v. 88 (2018), n. 3, 521--546
• View Publication
• BIB
Correspondence coloring, or DP-coloring, is a generalization of list coloring introduced recently by Dvořák and Postle. In this paper we establish a version of Dirac's theorem on the minimum number of edges in critical graphs in the framework of DP-colorings. A corollary of our main result answers a question posed by Kostochka and Stiebitz on classifying list-critical graphs that satisfy Dirac's bound with equality.
Independent sets near the lower bound in bounded degree graphs
Published
• View Publication
• BIB
By Brook's Theorem, every n-vertex graph of maximum degree at most Delta >= 3 and clique number at most Delta is Delta-colorable, and thus it has an independent set of size at least n/Delta. We give an approximate characterization of graphs with independence number close to this bound, and use it to show that the problem of deciding whether such a graph has an indepdendent set of size at least n/Delta+k has a kernel of size O(k).
Which semifields are exact?
Published
• View Publication
• BIB
Every (left) linear function on a subspace of a finite-dimensional vector space over a (skew) field can be extended to a (left) linear function on the whole space. This paper explores the extent to what this basic fact of linear algebra is applicable to more general structures. Semifields with a similar property imposed on linear functions are called (left) exact, and we present a complete description of such semifields. Namely, we show that a semifield $S$ is left exact if and only if $S$ is either a skew field or an idempotent semiring. In particular, our result is new even for the tropical semiring and gives a solution to the problem posed by Wilding. Also, we point out several problems that require further investigation.
How many delta-matroids are there?
Published
• View Publication
• BIB
We give upper and lower bounds on the number of delta-matroids, and on the number of even delta-matroids.
Constructing unlabelled lattices
Published in Journal of Algebra 545 (2020) 213-236
• View Publication
• BIB
We present an improved orderly algorithm for constructing all unlabelled lattices up to a given size, that is, an algorithm that constructs the minimal element of each isomorphism class relative to some total order.
Our algorithm employs a stabiliser chain approach for cutting branches of the search space that cannot contain a minimal lattice; to make this work, we grow lattices by adding a new layer at a time, as opposed to adding one new element at a time, and we use a total order that is compatible with this modified strategy.
The gain in speed is between one and two orders of magnitude. As an application, we compute the number of unlabelled lattices on 20 elements.