Showing 20 papers (Total: 84253 papers, 48533 authors in database)
The Hamilton-Waterloo problem with C8-factors and Cm-factors
Published
• View Publication
• BIB
In this paper, we almost completely solve the Hamilton-Waterloo problem with C8- factors and Cm-factors where the number of vertices is a multiple of 8m.
Spectral atoms of unimodular random trees
Published
• View Publication
• BIB
We use the Mass Transport Principle to analyze the local recursion governing the resolvent $(A-z)^{-1}$ of the adjacency operator of unimodular random trees. In the limit where the complex parameter $z$ approaches a given location $λ$ on the real axis, we show that this recursion induces a decomposition of the tree into finite blocks whose geometry directly determines the spectral mass at $λ$. We then exploit this correspondence to obtain precise information on the pure-point support of the spectrum, in terms of expansion properties of the tree. In particular, we deduce that the pure-point support of the spectrum of any unimodular random tree with minimum degree $δ\ge 3$ and maximum degree $Δ$ is restricted to finitely many points, namely the eigenvalues of trees of size less than $\frac{Δ-2}{δ-2}$. More generally, we show that the restriction $δ\ge 3$ can be weakened to $δ\ge 2$, as long as the anchored isoperimetric constant of the tree remains bounded away from $0$. This applies in particular to any unimodular Galton-Watson tree without leaves, allowing us to settle a conjecture of Bordenave, Sen and Virág (2013).
On the combinatorics of commutators of Lie algebras
Published
• View Publication
• BIB
Motivated by the combinatorial properties of products in Lie algebras, we investigate the subset of permutations that naturally appears when we write the long commutator $[x_1, x_2, ..., x_m]$ as a sum of associative monomials. We characterize this subset and find some useful equivalences. Moreover, we explore properties concerning the action of this subset on sequences of m elements. In particular we describe sequences that share some special symmetries which can be useful in the study of combinatorial properties in graded Lie algebras.
Maximizing the Strong Triadic Closure in Split Graphs and Proper Interval Graphs
Published
• View Publication
• BIB
In social networks the {\sc Strong Triadic Closure} is an assignment of the edges with strong or weak labels such that any two vertices that have a common neighbor with a strong edge are adjacent. The problem of maximizing the number of strong edges that satisfy the strong triadic closure was recently shown to be NP-complete for general graphs. Here we initiate the study of graph classes for which the problem is solvable. We show that the problem admits a polynomial-time algorithm for two unrelated classes of graphs: proper interval graphs and trivially-perfect graphs. To complement our result, we show that the problem remains NP-complete on split graphs, and consequently also on chordal graphs. Thus we contribute to define the first border between graph classes on which the problem is polynomially solvable and on which it remains NP-complete.
Local and Union Boxicity
The boxicity $\operatorname{box}(H)$ of a graph $H$ is the smallest integer $d$ such that $H$ is the intersection of $d$ interval graphs, or equivalently, that $H$ is the intersection graph of axis-aligned boxes in $\mathbb{R}^d$. These intersection representations can be interpreted as covering representations of the complement $H^c$ of $H$ with co-interval graphs, that is, complements of interval graphs. We follow the recent framework of global, local and folded covering numbers (Knauer and Ueckerdt, Discrete Mathematics 339 (2016)) to define two new parameters: the local boxicity $\operatorname{box}_\ell(H)$ and the union boxicity $\overline{\operatorname{box}}(H)$ of $H$. The union boxicity of $H$ is the smallest $d$ such that $H^c$ can be covered with $d$ vertex-disjoint unions of co-interval graphs, while the local boxicity of $H$ is the smallest $d$ such that $H^c$ can be covered with co-interval graphs, at most $d$ at every vertex.
We show that for every graph $H$ we have $\operatorname{box}_\ell(H) \leq \overline{\operatorname{box}}(H) \leq \operatorname{box}(H)$ and that each of these inequalities can be arbitrarily far apart. Moreover, we show that local and union boxicity are also characterized by intersection representations of appropriate axis-aligned boxes in $\mathbb{R}^d$. We demonstrate with a few striking examples, that in a sense, the local boxicity is a better indication for the complexity of a graph, than the classical boxicity.
Hilbert schemes of points on some classes of surface singularities
Published
• View Publication
• BIB
We study the geometry and topology of Hilbert schemes of points on the orbifold surface [C^2/G], respectively the singular quotient surface C^2/G, where G is a finite subgroup of SL(2,C) of type A or D. We give a decomposition of the (equivariant) Hilbert scheme of the orbifold into affine space strata indexed by a certain combinatorial set, the set of Young walls. The generating series of Euler characteristics of Hilbert schemes of points of the singular surface of type A or D is computed in terms of an explicit formula involving a specialized character of the basic representation of the corresponding affine Lie algebra; we conjecture that the same result holds also in type E. Our results are consistent with known results for type A, and are new for type D. The crystal basis theory of the fundamental representation of the affine Lie algebra corresponding to the surface singularity (via the McKay correspondence) plays an important role in our approach. The result gives a generalization of Göttsche's formula and has interesting modular properties related to the S-duality conjecture.
The moduli space of torsion free sheaves on surfaces are higher rank analogs of the Hilbert schemes. In type A our results reveal their Euler characteristic generating function as well. Another very interesting class of normal surface singularities is the so-called cyclic quotient singularities of type (p,1). As an outlook we also obtain some results about the associated generating functions.
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.