Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On the densities of cliques and independent sets in graphs
Published
• View Publication
• BIB
Let r, s >= 2 be integers. Suppose that the number of blue r-cliques in a red/blue coloring of the edges of the complete graph K_n is known and fixed. What is the largest possible number of red s-cliques under this assumption? The well known Kruskal-Katona theorem answers this question for r=2 or s=2. Using the shifting technique from extremal set theory together with some analytical arguments, we resolve this problem in general and prove that in the extremal coloring either the blue edges or the red edges form a clique.
Modular decomposition of the Orlik-Terao algebra of a hyperplane arrangement
Published in Annals of Combinatorics, 18 (2014), no. 2, 289-312
• View Publication
• BIB
Let A be a collection of n linear hyperplanes in k^l, where k is an algebraically closed field. The Orlik-Terao algebra of A is the subalgebra R(A) of the rational functions generated by reciprocals of linear forms vanishing on hyperplanes of A. It determines an irreducible subvariety of projective space. We show that a flat X of A is modular if and only if R(A) is a split extension of the Orlik-Terao algebra of the subarrangement A_X. This provides another refinement of Stanley's modular factorization theorem and a new characterization of modularity, similar in spirit to the modular fibration theorem of Paris.
We deduce that if A is supersolvable, then its Orlik-Terao algebra is Koszul. In certain cases, the algebra is also a complete intersection, and we characterize when this happens.
Zero forcing for inertia sets
Zero forcing is a combinatorial game played on a graph with a goal of turning all of the vertices of the graph black while having to use as few "unforced" moves as possible. This leads to a parameter known as the zero forcing number which can be used to give an upper bound for the maximum nullity of a matrix associated with the graph.
We introduce a new variation on the zero forcing game which can be used to give an upper bound for the maximum nullity of a matrix associated with a graph that has $q$ negative eigenvalues. This gives some limits to the number of positive eigenvalues that such a graph can have and so can be used to form lower bounds for the inertia set of a graph.
Single Exponential FPT Algorithm for Interval Vertex Deletion and Interval Completion Problem
Let G be an input graph with n vertices and m edges and let k be a fixed parameter. We provide a single exponential FPT algorithm with running time O(c^kn(n+m)), c= min {18,k} that turns graph G into an interval graph by deleting at most k vertices from G. This solves an open problem posed by D.Marx [19]. We also provide a single exponential FPT algorithm with running time O(c^kn(n+m)), c= min {17,k} that turns G into an interval graph by adding at most$k edges. The first FPT algorithm with run time O(k^{2k}n^3m) appeared in STOC 2007 [24]. Our algorithm is the the first single exponential FPT algorithm that improves the running time of the previous algorithm. The algorithms are based on a structural decomposition of G into smaller subgraphs when G is free from small interval graph obstructions. The decomposition allows us to manage the search tree more efficiently.
Equitable vertex arboricity of graphs
Published
• View Publication
• BIB
An equitable $(t,k,d)$-tree-coloring of a graph $G$ is a coloring to vertices of $G$ such that the sizes of any two color classes differ by at most one and the subgraph induced by each color class is a forest of maximum degree at most $k$ and diameter at most $d$. The minimum $t$ such that $G$ has an equitable $(t',k,d)$-tree-coloring for every $t'\geq t$ is called the strong equitable $(k,d)$-vertex-arboricity and denoted by $va^{\equiv}_{k,d}(G)$. In this paper, we give sharp upper bounds for $va^{\equiv}_{1,1}(K_{n,n})$ and $va^{\equiv}_{k,\infty}(K_{n,n})$ by showing that $va^{\equiv}_{1,1}(K_{n,n})=O(n)$ and $va^{\equiv}_{k,\infty}(K_{n,n})=O(n^{\1/2})$ for every $k\geq 2$. It is also proved that $va^{\equiv}_{\infty,\infty}(G)\leq 3$ for every planar graph $G$ with girth at least 5 and $va^{\equiv}_{\infty,\infty}(G)\leq 2$ for every planar graph $G$ with girth at least 6 and for every outerplanar graph. We conjecture that $va^{\equiv}_{\infty,\infty}(G)=O(1)$ for every planar graph and $va^{\equiv}_{\infty,\infty}(G)\leq \lceil\frac{Δ(G)+1}{2}\rceil$ for every graph $G$.
Nonstandard Analysis and the sumset phenomenon in arbitrary amenable groups
Published in Illinois J. Math. 58 (2014), no. 1, 11-25
• View Publication
• BIB
Beiglboeck, Bergelson and Fish proved that if subsets A,B of a countable discrete amenable group G have positive Banach densities a and b respectively, then the product set AB is piecewise syndetic, i.e. there exists k such that the union of k-many left translates of AB is thick. Using nonstandard analysis we give a shorter alternative proof of this result that does not require G to be countable, and moreover yields the explicit bound that k is not greater than 1/ab. We also prove with similar methods that if $\{A_i\}$ are finitely many subsets of G having positive Banach densities $a_i$ and G is countable, then there exists a subset B whose Banach density is at least the product of the densities $a_i$ and such that the product $BB^{-1}$ is a subset of the intersection of the product sets $A_i A_i^{-1}$. In particular, the latter set is piecewise Bohr.
Paths and animals in unbounded degree graphs with repulsion
Published
• View Publication
• BIB
A class of countable infinite graphs with unbounded vertex degree is considered. In these graphs, the vertices of large degree `repel' each other, which means that the path distance between two such vertices cannot be smaller than a certain function of their degrees. Assuming that this function increases sufficiently fast, we prove that the number of finite connected subgraphs (animals) of order N containing a given vertex x is exponentially bounded in N for N belonging to an infinite subset N_x of natural numbers. Under a less restrictive condition, the same result is obtained for the number of simple paths originated at a given vertex. These results are then applied to a number of problems, including estimating the growth of the Randić index and of the number of greedy animals.
An upper bound on the fractional chromatic number of triangle-free subcubic graphs
Published in SIAM J. Discrete Math. 28 (2014), 1102--1136
• View Publication
• BIB
An $(a:b)$-coloring of a graph $G$ is a function $f$ which maps the vertices of $G$ into $b$-element subsets of some set of size $a$ in such a way that $f(u)$ is disjoint from $f(v)$ for every two adjacent vertices $u$ and $v$ in $G$. The fractional chromatic number $χ_f(G)$ is the infimum of $a/b$ over all pairs of positive integers $a,b$ such that $G$ has an $(a:b)$-coloring. Heckman and Thomas conjectured that the fractional chromatic number of every triangle-free graph $G$ of maximum degree at most three is at most 2.8. Hatami and Zhu proved that $χ_f(G) \leq 3-3/64 \approx 2.953$. Lu and Peng improved the bound to $χ_f(G) \leq 3-3/43 \approx 2.930$. Recently, Ferguson, Kaiser and Král' proved that $χ_f(G) \leq 32/11 \approx 2.909$. In this paper, we prove that $χ_f(G) \leq 43/15 \approx 2.867$.
Toric partial orders
Published
• View Publication
• BIB
We define toric partial orders, corresponding to regions of graphic toric hyperplane arrangements, just as ordinary partial orders correspond to regions of graphic hyperplane arrangements. Combinatorially, toric posets correspond to finite posets under the equivalence relation generated by converting minimal elements into maximal elements, or sources into sinks. We derive toric analogues for several features of ordinary partial orders, such as chains, antichains, transitivity, Hasse diagrams, linear extensions, and total orders.
Exclusivity structures and graph representatives of local complementation orbits
Published in Journal of Mathematical Physics 54, 072202 (2013)
• View Publication
• BIB
We describe a construction that maps any connected graph G on three or more vertices into a larger graph, H(G), whose independence number is strictly smaller than its Lovász number which is equal to its fractional packing number. The vertices of H(G) represent all possible events consistent with the stabilizer group of the graph state associated with G, and exclusive events are adjacent. Mathematically, the graph H(G) corresponds to the orbit of G under local complementation. Physically, the construction translates into graph-theoretic terms the connection between a graph state and a Bell inequality maximally violated by quantum mechanics. In the context of zero-error information theory, the construction suggests a protocol achieving the maximum rate of entanglement-assisted capacity, a quantum mechanical analogue of the Shannon capacity, for each H(G). The violation of the Bell inequality is expressed by the one-shot version of this capacity being strictly larger than the independence number. Finally, given the correspondence between graphs and exclusivity structures, we are able to compute the independence number for certain infinite families of graphs with the use of quantum non-locality, therefore highlighting an application of quantum theory in the proof of a purely combinatorial statement.
The Algebraic Combinatorial Approach for Low-Rank Matrix Completion
We present a novel algebraic combinatorial view on low-rank matrix completion based on studying relations between a few entries with tools from algebraic geometry and matroid theory. The intrinsic locality of the approach allows for the treatment of single entries in a closed theoretical and practical framework. More specifically, apart from introducing an algebraic combinatorial theory of low-rank matrix completion, we present probability-one algorithms to decide whether a particular entry of the matrix can be completed. We also describe methods to complete that entry from a few others, and to estimate the error which is incurred by any method completing that entry. Furthermore, we show how known results on matrix completion and their sampling assumptions can be related to our new perspective and interpreted in terms of a completability phase transition.
Lexicographic shellability of the Bruhat-Chevalley order on fixed-point-free involutions
Published
• View Publication
• BIB
The main purpose of this paper is to prove that the Bruhat-Chevalley ordering of the symmetric group when restricted to the fixed-point-free involutions forms an $EL$-shellable poset whose order complex triangulates a ball. Another purpose of this article is to prove that the Deodhar-Srinivasan poset is a proper, graded subposet of the Bruhat-Chevalley poset on fixed-point-free involutions.
Diamond cone for $\mathfrak{sl}(m,n)$
Published
• View Publication
• BIB
In this paper, we first study the shape algebra and the reduced shape algebra for the Lie superalgebra $\mathfrak{sl}(m,n)$. We define the quasistandard tableaux, their collection is the diamond cone for $\mathfrak{sl}(m,n)$, which is a combinatorial basis for the reduced shape algebra. We realize a bijection between the set of semistandard tableaux with shape $λ$ and the set of quasistandard tableaux with shape $μ\leqλ$, by using the 'super jeu de taquin' on skew semistandard tableaux. This gives the compatibility of the diamond cone with the natural stratification of the reduced shape algebra.
Determining the Number of Holes of a 2D Digital Component is Easy
The number of holes in a connected component in 2D images is a basic invariant. In this note, a simple formula was proven using our previous results in digital topology (Chen 2004, Chen and Rong (2010). The new is: $h =1+ (|C_4|-|C_2|)/4$, where h is the number of holes, and $C_i$ indicate the set of corner points having $i$ direct adjacent points in the component.
Generalized Measures of Fault Tolerance in Exchanged Hypercubes
Published
• View Publication
• BIB
The exchanged hypercube $EH(s,t)$, proposed by Loh {\it et al.} [The exchanged hypercube, IEEE Transactions on Parallel and Distributed Systems 16 (9) (2005) 866-874], is obtained by removing edges from a hypercube $Q_{s+t+1}$. This paper considers a kind of generalized measures $κ^{(h)}$ and $λ^{(h)}$ of fault tolerance in $EH(s,t)$ with $1\leqslant s\leqslant t$ and determines $κ^{(h)}(EH(s,t))=λ^{(h)}(EH(s,t))= 2^h(s+1-h)$ for any $h$ with $0\leqslant h\leqslant s$. The results show that at least $2^h(s+1-h)$ vertices (resp. $2^h(s+1-h)$ edges) of $EH(s,t)$ have to be removed to get a disconnected graph that contains no vertices of degree less than $h$, and generalizes some known results.
On Induced Subgraphs of Finite Graphs not Containing Large Empty and Complete Subgraphs
In their celebrated paper [Ramsey-Type Theorems, Discrete Appl. Math. 25 (1989) 37-52], Erdős and Hajnal asked the following: is it true, that for any finite graph H there exists a constant c(H) such that for any finite graph G, if G does not contain complete or empty induced subgraphs of size at least |V(G)|^c(H), then H can be isomorphically embedded into G ? The positive answer has become known as the Erdős-Hajnal conjecture.
In Theorem 3.20 of the present paper we settle this conjecture in the affirmative. To do so, we are studying here the fine structure of ultraproducts of finite sets, so our investigations have a model theoretic character.
Fat Hoffman graphs with smallest eigenvalue greater than -3
Published in Discrete Applied Mathematics 176 (2014) 78-88
• View Publication
• BIB
In this paper, we give a combinatorial characterization of the special graphs of fat Hoffman graphs containing $\mathfrak{K}_{1,2}$ with smallest eigenvalue greater than -3, where $\mathfrak{K}_{1,2}$ is the Hoffman graph having one slim vertex and two fat vertices.
The ring of evenly weighted points on the line
Published
• View Publication
• BIB
Let $M_w = (\Pj^1)^n \q \mathrm{SL}_2$ denote the geometric invariant theory quotient of $(\Pj^1)^n$ by the diagonal action of $\mathrm{SL}_2$ using the line bundle $\mathcal{O}(w_1,w_2,...,w_n)$ on $(\Pj^1)^n$. Let $R_w$ be the coordinate ring of $M_w$. We give a closed formula for the Hilbert function of $R_w$, which allows us to compute the degree of $M_w$. The graded parts of $R_w$ are certain Kostka numbers, so this Hilbert function computes stretched Kostka numbers. If all the weights $w_i$ are even, we find a presentation of $R_w$ so that the ideal $I$ of this presentation has a quadratic Gröbner basis. In particular, $R_w$ is Koszul. We obtain this result by studying the homogeneous coordinate ring of a projective toric variety arising as a degeneration of $M_w$.
Subsets of Products of Finite Sets of Positive Upper Density
Published
• View Publication
• BIB
In this note we prove that for every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\leqslant1$ there is a sequence $(n_q)_{q}$ of positive integers such that for every sequence $(H_q)_{q}$ of finite sets such that $|H_q|=n_q$ for every $q\in\mathbb{N}$ and for every $D\subseteq \bigcup_k\prod_{q=0}^{k-1}H_q$ with the property that $$\limsup_k \frac{|D\cap \prod_{q=0}^{k-1} H_q|}{|\prod_{q=0}^{k-1}H_q|}\geqslantδ$$ there is a sequence $(J_q)_{q}$, where $J_q\subseteq H_q$ and $|J_q|=m_q$ for all $q$, such that $\prod_{q=0}^{k-1}J_q\subseteq D$ for infinitely many $k.$ This gives us a density version of a well-known Ramsey-theoretic result. We also give some estimates on the sequence $(n_q)_{q}$ in terms of the sequence of $(m_q)_{q}$.
Oscilation stability for continuous monotone surjections
Published
• View Publication
• BIB
We prove that for every integer $b\geqslant 2$ and positive real $\varepsilon$ there exists a finite number $t$ such that for every finite coloring of the nondecreasing surjections from $b^ω$ onto $b^ω$, there exist $t$ many colors such that their $\varepsilon$-fattening contains a cube.