contain ↗ reference
7689 papers tagged with this keyword
Fractional colorings of cubic graphs with large girth
We show that every (sub)cubic n-vertex graph with sufficiently large girth has fractional chromatic number at most 2.2978 which implies that it contains an independent set of size at least 0.4352n. Our bound on the independence number is valid to random cubic graphs as well as it improves existing lower bounds on the maximum cut in cubic graphs with large girth.
Spectrally degenerate graphs: Hereditary case
It is well known that the spectral radius of a tree whose maximum degree is D cannot exceed 2sqrt{D-1}. Similar upper bound holds for arbitrary planar graphs, whose spectral radius cannot exceed sqrt{8D}+10, and more generally, for all d-degenerate graphs, where the corresponding upper bound is sqrt{4dD}. Following this, we say that a graph G is spectrally d-degenerate if every subgraph H of G has spectral radius at most sqrt{d.Delta(H)}. In this paper we derive a rough converse of the above-mentioned results by proving that each spectrally d-degenerate graph G contains a vertex whose degree is at most 4dlog_2(D/d) (if D>=2d). It is shown that the dependence on D in this upper bound cannot be eliminated, as long as the dependence on d is subexponential. It is also proved that the problem of deciding if a graph is spectrally d-degenerate is co-NP-complete.
Collapsibility and vanishing of top homology in random simplicial complexes
Published
• View Publication
• BIB
Let Y be a random d-dimensional subcomplex of the (n-1)-dimensional simplex S obtained by starting with the full (d-1)-dimensional skeleton of S and then adding each d-simplex independently with probability p=c/n. We compute an explicit constant gamma_d=Theta(log d) so that for c < gamma_d such a random simplicial complex either collapses to a (d-1)-dimensional subcomplex or it contains the boundary of a (d+1)-simplex. We conjecture this bound to be sharp. In addition we show that there exists a constant gamma_d< c_d <d+1 such that for any c>c_d and a fixed field F, asymptotically almost surely H_d(Y;F) \neq 0.
Computing the permanental polynomials of bipartite graphs by Pfaffian orientation
Published
• View Publication
• BIB
The permanental polynomial of a graph $G$ is $π(G,x)\triangleq\mathrm{per}(xI-A(G))$. From the result that a bipartite graph $G$ admits an orientation $G^e$ such that every cycle is oddly oriented if and only if it contains no even subdivision of $K_{2,3}$, Yan and Zhang showed that the permanental polynomial of such a bipartite graph $G$ can be expressed as the characteristic polynomial of the skew adjacency matrix $A(G^e)$. In this paper we first prove that this equality holds only if the bipartite graph $G$ contains no even subdivision of $K_{2,3}$. Then we prove that such bipartite graphs are planar. Further we mainly show that a 2-connected bipartite graph contains no even subdivision of $K_{2,3}$ if and only if it is planar 1-cycle resonant. This implies that each cycle is oddly oriented in any Pfaffian orientation of a 2-connected bipartite graph containing no even subdivision of $K_{2,3}$. As applications, permanental polynomials for some types of bipartite graphs are computed.
Inversion arrangements and Bruhat intervals
Published
• View Publication
• BIB
Let $W$ be a finite reflection group. For a given $w \in W$, the following assertion may or may not be satisfied:
(*) The principal Bruhat order ideal of $w$ contains as many elements as there are regions in the inversion hyperplane arrangement of $w$.
We present a type independent combinatorial criterion which characterises the elements $w\in W$ that satisfy (*). A couple of immediate consequences are derived:
(1) The criterion only involves the order ideal of $w$ as an abstract poset. In this sense, (*) is a poset-theoretic property.
(2) For $W$ of type $A$, another characterisation of (*), in terms of pattern avoidance, was previously given in collaboration with Linusson, Shareshian and Sjöstrand. We obtain a short and simple proof of that result.
(3) If $W$ is a Weyl group and the Schubert variety indexed by $w \in W$ is rationally smooth, then $w$ satisfies (*).
Cover-Decomposition and Polychromatic Numbers
A colouring of a hypergraph's vertices is polychromatic if every hyperedge contains at least one vertex of each colour; the polychromatic number is the maximum number of colours in such a colouring. Its dual, the cover-decomposition number, is the maximum number of disjoint hyperedge-covers. In geometric hypergraphs, there is extensive work on lower-bounding these numbers in terms of their trivial upper bounds (minimum hyperedge size and degree); our goal here is to broaden the study beyond geometric settings. We obtain algorithms yielding near-tight bounds for three families of hypergraphs: bounded hyperedge size, paths in trees, and bounded VC-dimension. This reveals that discrepancy theory and iterated linear program relaxation are useful for cover-decomposition. Finally, we discuss the generalization of cover-decomposition to sensor cover.
Polytopes with Special Simplices
For a polytope P a simplex S with vertex set V(S) is called a special simplex if every facet of P contains all but exactly one vertex of S. For such polytopes P with face complex F(P) containing a special simplex the subcomplex F(P) / V(S) of all faces not containing vertices of S is the boundary of a polytope Q - the basis polytope of P. If additionally the dimension of the affine basis space of F(P) / V(S) equals dim(Q), we call P meek; otherwise we call P wild. We give a full combinatorial classification and techniques for geometric construction of the class of meek polytopes with special simplices. We show that every wild polytope P' with special simplex can be constructed out of a particular meek one P by intersecting P with particular hyperplanes. It is non-trivial to find all these hyperplanes for an arbitrary basis polytope; we give an exact description for 2-basis polytopes. Furthermore we show that the f-vector of each wild polytope with special simplex is component wise bounded above by the f-vector of a particular meek one which can be computed explicitly. Finally, we discuss the n-cube as a non-trivial example of a wild polytope with special simplex and prove that its basis polytope is the zonotope given by the Minkowski sum of the (n-1)-cube and the vector (1,...,1). Polytopes with special simplex have applications on Ehrhart theory, toric rings and were just used by Francisco Santos to construct a counter-example disproving the Hirsch conjecture.
Packing six T-joins in plane graphs
Let G be a plane graph and T an even subset of its vertices. It has been conjectured that if all T-cuts of G have the same parity and the size of every T-cut is at least k, then G contains k edge-disjoint T-joins. The case k=3 is equivalent to the Four Color Theorem, and the cases k=4, which was conjectured by Seymour, and k=5 were proved by Guenin. We settle the next open case k=6.
Omnimosaics
An {\it omnimosaic} $O(n,k,a)$ is defined to be an $n\times n$ matrix, with entries from the set ${\cal A}=\{1,2,\...,a\}$, that contains, as a submatrix, each of the $a^{k^2}$ $k\times k$ matrices over ${\cal A}$. We provide constructions of omnimosaics and show that for fixed $a$ the smallest possible size $ω(k,a)$ of an $O(n,k,a)$ omnimosaic satisfies \[\frac{ka^{k/2}}{e}\le ω(k,a)\le \frac{ka^{k/2}}{e}(1+o(1))\] for a well-specified function $o(1)$ that tends to zero as $k\to\infty$.
Rank Bounds for Design Matrices with Applications to Combinatorial Geometry and Locally Correctable Codes
Published
• View Publication
• BIB
A (q,k,t)-design matrix is an m x n matrix whose pattern of zeros/non-zeros satisfies the following design-like condition: each row has at most q non-zeros, each column has at least k non-zeros and the supports of every two columns intersect in at most t rows. We prove that the rank of any (q,k,t)-design matrix over a field of characteristic zero (or sufficiently large finite characteristic) is at least n - (qtn/2k)^2 . Using this result we derive the following applications:
(1) Impossibility results for 2-query LCCs over the complex numbers: A 2-query locally correctable code (LCC) is an error correcting code in which every codeword coordinate can be recovered, probabilistically, by reading at most two other code positions. Such codes have numerous applications and constructions (with exponential encoding length) are known over finite fields of small characteristic. We show that infinite families of such linear 2-query LCCs do not exist over the complex numbers.
(2) Generalization of results in combinatorial geometry: We prove a quantitative analog of the Sylvester-Gallai theorem: Let $v_1,...,v_m$ be a set of points in $\C^d$ such that for every $i \in [m]$ there exists at least $δm$ values of $j \in [m]$ such that the line through $v_i,v_j$ contains a third point in the set. We show that the dimension of $\{v_1,...,v_m \}$ is at most $O(1/δ^2)$. Our results generalize to the high dimensional case (replacing lines with planes, etc.) and to the case where the points are colored (as in the Motzkin-Rabin Theorem).
A Furstenberg-Katznelson-Weiss type theorem on (d + 1)-point configurations in sets of positive density in finite field geometries
Published
• View Publication
• BIB
We show that if $E \subset \mathbb{F}_q^d$, the $d$-dimensional vector space over the finite field with $q$ elements, and $|E| \geq ρq^d$, where $ q^{-\frac{1}{2}}\ll ρ\leq 1$, then $E$ contains an isometric copy of at least $c ρ^{d-1} q^{d+1 \choose 2}$ distinct $(d+1)$-point configurations.
Long cycles in subgraphs of (pseudo)random directed graphs
Published
• View Publication
• BIB
We study the resilience of random and pseudorandom directed graphs with respect to the property of having long directed cycles. For every $0 < γ< 1/2$ we find a constant $c=c(γ)$ such that the following holds. Let $G=(V,E)$ be a (pseudo)random directed graph on $n$ vertices, and let $G'$ be a subgraph of $G$ with $(1/2+γ)|E|$ edges. Then $G'$ contains a directed cycle of length at least $(c-o(1))n$. Moreover, there is a subgraph $G''$ of $G$ with $(1/2+γ-o(1))|E|$ edges that does not contain a cycle of length at least $cn$.
Hyperbolic surface subgroups of one-ended doubles of free groups
Published in J. Topology 7(December 2014)(4), pp. 927-947, 2014
• View Publication
• BIB
Gromov asked whether every one-ended word-hyperbolic group contains a hyperbolic surface group. We prove that every one-ended double of a free group has a hyperbolic surface subgroup if (1) the free group has rank two, or (2) every generator is used the same number of times in the amalgamating words. To prove this, we formulate a stronger statement on Whitehead graphs and prove its specialization by combinatorial induction for (1) and the characterization of perfect matching polytopes by Edmonds for (2).
Everywhere complex sequences and probabilistic method
The main subject of the paper is everywhere complex sequences. An everywhere complex sequence is a sequence that does not contain substrings of Kolmogorov complexity less than $αn-O(1)$ where $n$ is the length of substring and $α$ is a constant between 0 and 1.
First, we prove that no randomized algorithm can produce everywhere complex sequence with positive probability.
On the other hand, for weaker notions of everywhere complex sequences the situation is different. For example, there is a probabilistic algorithm that produces (with probability~1) sequences whose substrings of length $n$ have complexity $\sqrt{n}-O(1)$.
Finally, one may replace the complexity of a substring (in the definition of everywhere complex sequence) by its conditional complexity when the position is given. This gives a stronger notion of everywhere complex sequence, and no randomized algorighm can produce (with positive probability) such a sequence even if $αn$ is replaced by $\sqrt{n}$, $\log^* n $ or any other monotone unbounded computable function.
Parity balance of the $i$-th dimension edges in Hamiltonian cycles of the hypercube
Let $n\geq 2$ be an integer, and let $i\in\{0,...,n-1\}$. An $i$-th dimension edge in the $n$-dimensional hypercube $Q_n$ is an edge ${v_1}{v_2}$ such that $v_1,v_2$ differ just at their $i$-th entries. The parity of an $i$-th dimension edge $\edg{v_1}{v_2}$ is the number of 1's modulus 2 of any of its vertex ignoring the $i$-th entry. We prove that the number of $i$-th dimension edges appearing in a given Hamiltonian cycle of $Q_n$ with parity zero coincides with the number of edges with parity one. As an application of this result it is introduced and explored the conjecture of the inscribed squares in Hamiltonian cycles of the hypercube: Any Hamiltonian cycle in $Q_n$ contains two opposite edges in a 4-cycle. We prove this conjecture for $n \le 7$, and for any Hamiltonian cycle containing more than $2^{n-2}$ edges in the same dimension. This bound is finally improved considering the equi-independence number of $Q_{n-1}$, which is a concept introduced in this paper for bipartite graphs.
Matchings in 3-uniform hypergraphs
We determine the minimum vertex degree that ensures a perfect matching in a 3-uniform hypergraph. More precisely, suppose that H is a sufficiently large 3-uniform hypergraph whose order n is divisible by 3. If the minimum vertex degree of H is greater than \binom{n-1}{2}-\binom{2n/3}{2}, then H contains a perfect matching. This bound is tight and answers a question of Han, Person and Schacht. More generally, we show that H contains a matching of size d\le n/3 if its minimum vertex degree is greater than \binom{n-1}{2}-\binom{n-d}{2}, which is also best possible. This extends a result of Bollobas, Daykin and Erdos.
The classification problem for graphs and lattices is wild
Published
• View Publication
• BIB
We prove that the classification problem for graphs and several types of algebraic lattices (distributive, congruence and modular) up to isomorphism contains the classification problem for pairs of matrices up to simultaneous similarity.
The short toric polynomial
Published in Trans. Amer. Math. Soc. 365 (2013), no. 3, 1441-1468
• View Publication
• BIB
We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as the two toric polynomials introduced by Stanley, but allows different algebraic manipulations. The intertwined recurrence defining Stanley's toric polynomials may be replaced by a single recurrence, in which the degree of the discarded terms is independent of the rank. A short toric variant of the formula by Bayer and Ehrenborg, expressing the toric $h$-vector in terms of the $cd$-index, may be stated in a rank-independent form, and it may be shown using weighted lattice path enumeration and the reflection principle. We use our techniques to derive a formula expressing the toric $h$-vector of a dual simplicial Eulerian poset in terms of its $f$-vector. This formula implies Gessel's formula for the toric $h$-vector of a cube, and may be used to prove that the nonnegativity of the toric $h$-vector of a simple polytope is a consequence of the Generalized Lower Bound Theorem holding for simplicial polytopes.
Spectral sequences of colored Jones polynomials, colored Rasmussen invariants and nanophrases
We introduce three spectral sequences which give some expressions of colored Jones polynomials. Each spectral sequence contains a Khovanov-type homology groups. Two of them are derived from a bicomplex of the colored Jones polynomial. The other is the spectral sequence that deduces a colored Rasmussen invariant of links. We also introduce three functors between categories of nanophrases, generalizations of links, and obtain their applications using colored Jones polynomials and their categorifications.
Restrictions of generalized Verma modules to symmetric pairs
Published in Transformation Groups 17 (2012), pp. 523-546
• View Publication
• BIB
We initiate a new line of investigation on branching problems for generalized Verma modules with respect to complex reductive symmetric pairs (g,k). Here we note that Verma modules of g may not contain any simple module when restricted to a reductive subalgebra k in general.
In this article, using the geometry of K_C orbits on the generalized flag variety G_C/P_C, we give a necessary and sufficient condition on the triple (g,k, p) such that the restriction X|_k always contains simple k-modules for any g-module $X$ lying in the parabolic BGG category O^p attached to a parabolic subalgebra p of g.
Formulas are derived for the Gelfand-Kirillov dimension of any simple k-module occurring in a simple generalized Verma module of g. We then prove that the restriction X|_k is multiplicity-free for any generic g-module X \in O if and only if (g,k) is isomorphic to a direct sum of (A_n,A_{n-1}), (B_n,D_n), or (D_{n+1},B_n). We also see that the restriction X|_k is multiplicity-free for any symmetric pair (g, k) and any parabolic subalgebra p with abelian nilradical and for any generic g-module X \in O^p. Explicit branching laws are also presented.