Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Many cliques in $H$-free subgraphs of random graphs
Published
• View Publication
• BIB
For two fixed graphs $T$ and $H$ let $ex(G(n,p),T,H)$ be the random variable counting the maximum number of copies of $T$ in an $H$-free subgraph of the random graph $G(n,p)$. We show that for the case $T=K_m$ and $χ(H)> m$ the behavior of $ex(G(n,p),K_m,H)$ depends strongly on the relation between $p$ and $m_2(H)=\max_{H'\subset H, |V(H')|'\geq 3}\left\{ \frac{e(H')-1}{v(H')-2} \right\}$.
When $m_2(H)> m_2(K_m)$ we prove that with high probability, depending on the value of $p$, either one can maintain almost all copies of $K_m$, or it is asymptotically best to take a $χ(H)-1$ partite subgraph of $G(n,p)$. The transition between these two behaviors occurs at $p=n^{-1/m_2(H)}$. When $m_2(H)< m_2(K_m)$ we show that the above cases still exist, however for $δ>0$ small at $p=n^{-1/m_2(H)+δ}$ one can typically still keep most of the copies of $K_m$ in an $H$-free subgraph of $G(n,p)$. Thus, the transition between the two behaviors in this case occurs at some $p$ significantly bigger than $n^{-1/m_2(H)}$.
To show that the second case is not redundant we present a construction which may be of independent interest. For each $k \geq 4$ we construct a family of $k$ chromatic graphs $G(k,ε_i)$ where $m_2(G(k,ε_i))$ tends to $\frac{(k+1)(k-2)}{2(k-1)} (< m_2(K_{k-1}))$ as $i$ tends to infinity. This is tight for all values of $k$
An identity involving symmetric polynomials and the geometry of Lagrangian Grassmannians
Published
• View Publication
• BIB
We first prove an identity involving symmetric polynomials. This identity leads us into exploring the geometry of Lagrangian Grassmannians. As an insight applications, we obtain a formula for the integral over the Lagrangian Grassmannian of a characteristic class of the tautological sub-bundle. Moreover, a relation to that over the ordinary Grassmannian and its application to the degree formula for the Lagrangian Grassmannian are given. Finally, we present further applications to the computation of Schubert structure constants and three-point, degree $1$, genus $0$ Gromov--Witten invariants of the Lagrangian Grassmannian. Some examples together with explicit computations are presented.
Diagonal splittings of toric varieties and unimodularity
Published in Proc. Amer. Math. Soc. 146 (2018), no. 5, 1911-1920
• View Publication
• BIB
We use a polyhedral criterion for the existence of diagonal splittings to investigate which toric varieties X are diagonally split. Our results are stated in terms of the vector configuration given by primitive generators of the 1-dimensional cones in the fan defining X. We show, in particular, that X is diagonally split at all q if and only if this configuration is unimodular, and X is not diagonally split at any q if this configuration is not 2-regular. We also study implications for the possibilities for the set of q at which a toric variety X is diagonally split.
Cauchy-Davenport Theorem for linear maps: Simplification and Extension
We give a new proof of the Cauchy-Davenport Theorem for linear maps given by Herdade et al., (2015). This theorem gives a lower bound on the size of the image of a linear map on a grid. Our proof is purely combinatorial and offers a partial insight into the range of parameters not handled previously.
Decomposition spaces in Combinatorics
A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In this contribution, after establishing a formula for the section coefficients, we survey a large supply of examples, emphasising the notion's firm roots in classical combinatorics. The first batch of examples, similar to binomial posets, serves to illustrate 2 key points: (1) the incidence algebra in question is realised directly from a decomposition space, without a reduction step, and reductions are often given by CULF functors; (2) at the objective level, the convolution algebra is a monoidal structure of species. We encounter the usual Cauchy product of species, the shuffle product of L-species, the Dirichlet product of arithmetic species, the Joyal-Street external product of q-species and the Morrison `Cauchy' product of q-species. In each case a power series representation results from taking cardinality. The external product of q-species exemplifies the fact that Waldhausen's S-construction on an abelian category is a decomposition space, yielding Hall algebras. The next class of examples includes Schmitt's chromatic Hopf algebra, the Faà di Bruno bialgebra, the Butcher-Connes-Kreimer Hopf algebra of trees and variations from operad theory. Similar structures on posets and directed graphs exemplify a general construction of decomposition spaces from directed restriction species. An appetiser on decomposition spaces of symmetric functions is included. We finish by computing the Möbius function in a few cases, and commenting on certain cancellations that occur in the process of taking cardinality, substantiating that these cancellations are not possible at the objective level.
Graph Information Ratio
Published
• View Publication
• BIB
We introduce the notion of information ratio $\text{Ir}(H/G)$ between two (simple, undirected) graphs $G$ and $H$, defined as the supremum of ratios $k/n$ such that there exists a mapping between the strong products $G^k$ to $H^n$ that preserves non-adjacency. Operationally speaking, the information ratio is the maximal number of source symbols per channel use that can be reliably sent over a channel with a confusion graph $H$, where reliability is measured w.r.t. a source confusion graph $G$. Various results are provided, including in particular lower and upper bounds on $\text{Ir}(H/G)$ in terms of different graph properties, inequalities and identities for behavior under strong product and disjoint union, relations to graph cores, and notions of graph criticality. Informally speaking, $\text{Ir}(H/G)$ can be interpreted as a measure of similarity between $G$ and $H$. We make this notion precise by introducing the concept of information equivalence between graphs, a more quantitative version of homomorphic equivalence. We then describe a natural partial ordering over the space of information equivalence classes, and endow it with a suitable metric structure that is contractive under the strong product. Various examples and open problems are discussed.
Pancyclicity when each cycle contains k chords
Published
• View Publication
• BIB
For integers $n \geq k \geq 2$, let $c(n,k)$ be the minimum number of chords that must be added to a cycle of length $n$ so that the resulting graph has the property that for every $l \in \{ k , k + 1 , \dots , n \}$, there is a cycle of length $l$ that contains exactly $k$ of the added chords. Affif Chaouche, Rutherford, and Whitty introduced the function $c(n,k)$. They showed that for every integer $k \geq 2$, $c(n , k ) \geq Ω_k ( n^{1/k} )$ and they asked if $n^{1/k}$ gives the correct order of magnitude of $c(n, k)$ for $k \geq 2$. Our main theorem answers this question as we prove that for every integer $k \geq 2$, and for sufficiently large $n$, $c(n , k) \leq k \lceil n^{1/k} \rceil + k^2$. This upper bound, together with the lower bound of Affif Chaouche et.\ al., shows that the order of magnitude of $c(n,k)$ is $n^{1/k}$.
Making Bipartite Graphs DM-irreducible
The Dulmage--Mendelsohn decomposition (or the DM-decomposition) gives a unique partition of the vertex set of a bipartite graph reflecting the structure of all the maximum matchings therein. A bipartite graph is said to be DM-irreducible if its DM-decomposition consists of a single component.
In this paper, we focus on the problem of making a given bipartite graph DM-irreducible by adding edges. When the input bipartite graph is balanced (i.e., both sides have the same number of vertices) and has a perfect matching, this problem is equivalent to making a directed graph strongly connected by adding edges, for which the minimum number of additional edges was characterized by Eswaran and Tarjan (1976).
We give a general solution to this problem, which is divided into three parts. We first show that our problem can be formulated as a special case of a general framework of covering supermodular functions, which was introduced by Frank and Jordán (1995) to investigate the directed connectivity augmentation problem. Secondly, when the input graph is not balanced, the problem is solved via matroid intersection. This result can be extended to the minimum cost version in which the addition of an edge gives rise to an individual cost. Thirdly, for balanced input graphs, we devise a combinatorial algorithm that finds a minimum number of additional edges to attain the DM-irreducibility, while the minimum cost version of this problem is NP-hard. These results also lead to min-max characterizations of the minimum number, which generalize the result of Eswaran and Tarjan.
Geometry of Hessenberg varieties with applications to Newton-Okounkov bodies
Published in Sel. Math. New Ser. (2018) 24: 2129
• View Publication
• BIB
In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenberg varieties, and then show that all regular nilpotent Hessenberg varieties are local complete intersections. We also show that certain families of Hessenberg varieties, whose generic fibers are regular semisimple Hessenberg varieties and the special fiber is a regular nilpotent Hessenberg variety, are flat and have reduced fibres. This result further allows us to give a computationally effective formula for the degree of a regular nilpotent Hessenberg variety with respect to a Plücker embedding. Furthermore, we construct certain flags of subvarieties of a regular nilpotent Hessenberg variety, obtained by intersecting with Schubert varieties, which are suitable for computing Newton-Okounkov bodies. As an application of our results, we explicitly compute many Newton-Okounkov bodies of the two-dimensional Peterson variety with respect to Plücker embeddings.
An algebraic approach to lifts of digraphs
We study the relationship between two key concepts in the theory of (di)graphs: the quotient digraph, and the lift $Γ^α$ of a base (voltage) digraph. These techniques contract or expand a given digraph in order to study its characteristics, or obtain more involved structures. This study is carried out by introducing a quotient-like matrix, with complex polynomial entries, which fully represents $Γ^α$. In particular, such a matrix gives the quotient matrix of a regular partition of $Γ^α$, and when the involved group is Abelian, it completely determines the spectrum of $Γ^α$. As some examples of our techniques, we study some basic properties of the Alegre digraph. In addition we completely characterize the spectrum of a new family of digraphs, which contains the generalized Petersen graphs, and that of the Hoffman-Singleton graph.
Turan numbers of complete 3-uniform Berge-hypergraphs
Published
• View Publication
• BIB
Given a family $\mathcal{F}$ of $r$-graphs, the Turán number of $\mathcal{F}$ for a given positive integer $N$, denoted by $ex(N,\mathcal{F})$, is the maximum number of edges of an $r$-graph on $N$ vertices that does not contain any member of $\mathcal{F}$ as a subgraph. For given $r\geq 3$, a complete $r$-uniform Berge-hypergraph, denoted by { ${K}_n^{(r)}$}, is an $r$-uniform hypergraph of order $n$ with the core sequence $v_{1}, v_{2}, \ldots ,v_{n}$ as the vertices and distinct edges $e_{ij},$ $1\leq i<j\leq n,$ where every $e_{ij}$ contains both $v_{i}$ and $v_{j}$. Let $\mathcal{F}^{(r)}_n$ be the family of complete $r$-uniform Berge-hypergraphs of order $n.$ We determine precisely $ex(N,\mathcal{F}^{(3)}_{n})$ for $n \geq 13$. We also find the extremal hypergraphs avoiding $\mathcal{F}^{(3)}_{n}$.
On directed 2-factors in digraphs and 2-factors containing perfect matchings in bipartite graphs
Published
• View Publication
• BIB
In this paper, we give the following result: If $D$ is a digraph of order $n$, and if $d_{D}^{+}(u) + d_{D}^{-}(v) \ge n$ for every two distinct vertices $u$ and $v$ with $(u, v) \notin A(D)$, then $D$ has a directed $2$-factor with exactly $k$ directed cycles of length at least $3$, where $n \ge 12k+3$. This result is equivalent to the following result: If $G$ is a balanced bipartite graph of order $2n$ with partite sets $X$ and $Y$, and if $d_{G}(x)+d_{G}(y) \ge n + 2$ for every two vertices $x \in X$ and $y \in Y$ with $xy \notin E(G)$, then for every perfect matching $M$, $G$ has a $2$-factor with exactly $k$ cycles of length at least $6$ containing every edge of $M$, where $n \ge 12k+3$. These results are generalizations of theorems concerning Hamilton cycles due to Woodall (1972) and Las Vergnas (1972), respectively.
Three-dimensional lattice polytopes with two interior lattice points
We classify the three-dimensional lattice polytopes with two interior lattice points. Up to unimodular equivalence there are 22,673,449 such polytopes. This classification allows us to verify, for this case only, a conjectural upper bound for the volume of a lattice polytope with interior points, and provides strong evidence for new conjectural inequalities on the coefficients of the Ehrhart polynomial in dimension three.
The signed enhanced principal rank characteristic sequence
Published
• View Publication
• BIB
The signed enhanced principal rank characteristic sequence (sepr-sequence) of an $n \times n$ Hermitian matrix is the sequence $t_1t_2 \cdots t_n$, where $t_k$ is either $\tt A^*$, $\tt A^+$, $\tt A^-$, $\tt N$, $\tt S^*$, $\tt S^+$, or $\tt S^-$ based on the following criteria: $t_k = \tt A^*$ if $B$ has both a positive and a negative order-$k$ principal minor, and each order-$k$ principal minor is nonzero. $t_k = \tt A^+$ (respectively, $t_k = \tt A^-$) if each order-$k$ principal minor is positive (respectively, negative). $t_k = \tt N$ if each order-$k$ principal minor is zero. $t_k = \tt S^*$ if $B$ has each a positive, a negative, and a zero order-$k$ principal minor. $t_k = \tt S^+$ (respectively, $t_k = \tt S^-$) if $B$ has both a zero and a nonzero order-$k$ principal minor, and each nonzero order-$k$ principal minor is positive (respectively, negative). Such sequences provide more information than the $({\tt A,N,S})$ epr-sequence in the literature, where the $k$th term is either $\tt A$, $\tt N$, or $\tt S$ based on whether all, none, or some (but not all) of the order-$k$ principal minors of the matrix are nonzero. Various sepr-sequences are shown to be unattainable by Hermitian matrices. In particular, by applying Muir's law of extensible minors, it is shown that subsequences such as $\tt A^*N$ and $\tt NA^*$ are prohibited in the sepr-sequence of a Hermitian matrix. For Hermitian matrices of orders $n=1,2,3$, all attainable sepr-sequences are classified. For real symmetric matrices, a complete characterization of the attainable sepr-sequences whose underlying epr-sequence contains $\tt ANA$ as a non-terminal subsequence is established.
Shift equivalence in the generalized factor order
Published
• View Publication
• BIB
We provide a geometric condition that guarantees strong Wilf equivalence in the generalized factor order. This provides a powerful tool for proving specific and general Wilf equivalence results, and several such examples are given.
Parallelism of stable traces
Published in Art Discrete Appl. Math. 2 (2019) #P1.07
• View Publication
• BIB
A parallel $d$-stable trace is a closed walk which traverses every edge of a graph exactly twice in the same direction and for every vertex $v$, there is no subset $X \subseteq N(v)$ with $1 \leq |N| \leq d$ such that every time the walk enters $v$ from $X$, it also exits to a vertex in $X$. In the past, $d$-stable traces were investigated as a mathematical model for an innovative biotechnological procedure -- self-assembling of polypeptide structures. Among other, it was proven that graphs that admit parallel $d$-stable traces are precisely Eulerian graphs with minimum degree strictly larger than $d$. In the present paper we give an alternative, purely combinatorial proof of this result.
On two extensions of equimatchable graphs
Published
• View Publication
• BIB
A graph is said to be equimatchable if all its maximal matchings are of the same size. In this work we introduce two extensions of the property of equimatchability by defining two new graph parameters that measure how far a graph is from being equimatchable. The first one, called the matching gap, measures the difference between the sizes of a maximum matching and a minimum maximal matching. The second extension is obtained by introducing the concept of equimatchable sets; a set of vertices in a graph $G$ is said to be equimatchable if all maximal matchings of $G$ saturating the set are of the same size. Noting that $G$ is equimatchable if and only if the empty set is equimatchable, we study the equimatchability defect of the graph, defined as the minimum size of an equimatchable set in it. We develop several inapproximability and parameterized complexity results and algorithms regarding the computation of these two parameters, a characterization of graphs of unit matching gap, exact values of the equimatchability defect of cycles, and sharp bounds for both parameters.
Upper tails for arithmetic progressions in random subsets
Published in Israel Journal of Mathematics, 221 (2017), 317-365
• View Publication
• BIB
We study the upper tail of the number of arithmetic progressions of a given length in a random subset of {1,...,n}, establishing exponential bounds which are best possible up to constant factors in the exponent. The proof also extends to Schur triples, and, more generally, to the number of edges in random induced subhypergraphs of `almost linear' k-uniform hypergraphs.
On the missing log in upper tail estimates
Published in Journal of Combinatorial Theory Series B 140 (2020), 98-146
• View Publication
• BIB
In the late 1990s, Kim and Vu pioneered an inductive method for showing concentration of certain random variables X. Shortly afterwards, Janson and Ruci{ń}ski developed an alternative inductive approach, which often gives comparable results for the upper tail Pr(X \ge (1+\eps) E[X]). In some cases, both methods yield upper tail estimates which are best possible up to a logarithmic factor in the exponent, but closing this narrow gap has remained a technical challenge. In this paper we present a BK-inequality based combinatorial sparsification idea that can recover this missing logarithmic term in the upper tail.
As an illustration, we consider random subsets of the integers {1,...,n}, and prove sharp upper tail estimates for various objects of interest in additive combinatorics. Examples include the number of arithmetic progressions, Schur triples, additive quadruples, and (r,s)-sums.
Diagrams and essential sets for signed permutations
Published
• View Publication
• BIB
We introduce diagrams and essential sets for signed permutations, extending the analogous notions for ordinary permutations. In particular, we show that the essential set provides a minimal list of rank conditions defining the Schubert variety or degeneracy locus corresponding to a signed permutation. Our essential set is in bijection with the poset-theoretic version defined by Reiner, Woo, and Yong, and thus gives an explicit, diagrammatic method for computing the latter.