Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Approximation Limits of Linear Programs (Beyond Hierarchies)
Published
• View Publication
• BIB
We develop a framework for approximation limits of polynomial-size linear programs from lower bounds on the nonnegative ranks of suitably defined matrices. This framework yields unconditional impossibility results that are applicable to any linear program as opposed to only programs generated by hierarchies. Using our framework, we prove that O(n^{1/2-eps})-approximations for CLIQUE require linear programs of size 2^{n^Ω(eps)}. (This lower bound applies to linear programs using a certain encoding of CLIQUE as a linear optimization problem.) Moreover, we establish a similar result for approximations of semidefinite programs by linear programs. Our main ingredient is a quantitative improvement of Razborov's rectangle corruption lemma for the high error regime, which gives strong lower bounds on the nonnegative rank of certain perturbations of the unique disjointness matrix.
Sparse Long Blocks and the Micro-Structure of the Longest Common Subsequences
Published
• View Publication
• BIB
Consider two random strings having the same length and generated by an iid sequence taking its values uniformly in a fixed finite alphabet. Artificially place a long constant block into one of the strings, where a constant block is a contiguous substring consisting only of one type of symbol. The long block replaces a segment of equal size and its length is smaller than the length of the strings, but larger than its square-root. We show that for sufficiently long strings the optimal alignment corresponding to a Longest Common Subsequence (LCS) treats the inserted block very differently depending on the size of the alphabet. For two-letter alphabets, the long constant block gets mainly aligned with the same symbol from the other string, while for three or more letters the opposite is true and the block gets mainly aligned with gaps.
We further provide simulation results on the proportion of gaps in blocks of various lengths. In our simulations, the blocks are "regular blocks" in an iid sequence, and are not artificially inserted. Nonetheless, we observe for these natural blocks a phenomenon similar to the one shown in case of artificially-inserted blocks: with two letters, the long blocks get aligned with a smaller proportion of gaps; for three or more letters, the opposite is true.
It thus appears that the microscopic nature of two-letter optimal alignments and three-letter optimal alignments are entirely different from each other.
Sparse long blocks and the variance of the longest common subsequences in random words
Consider two independent random strings having same length and taking values uniformly in a common finite alphabet. We study the order of the variance of the length of the longest common subsequences (LCS) of these strings when long blocks, or other types of atypical substrings, are sparsely added into one of them. Under weak conditions on the derivative of the mean LCS-curve, the order of the variance of the LCS is shown to be linear in the length of the strings. We also argue that our proofs carry over to many models used by computational biologists to simulate DNA-sequences. This is the first result where the open question of the order of the fluctuation of the LCS of random strings is solved for a realistic model. Until now, this type of result had only been established for low entropy cases.
An explicit bijection between semistandard tableaux and non-elliptic sl_3 webs
Published in Journal of Algebraic Combinatorics 38.4 (2013): 851-862
• View Publication
• BIB
The sl_3 spider is a diagrammatic category used to study the representation theory of the quantum group U_q(sl_3). The morphisms in this category are generated by a basis of non-elliptic webs. Khovanov- Kuperberg observed that non-elliptic webs are indexed by semistandard Young tableaux. They establish this bijection via a recursive growth algorithm. Recently, Tymoczko gave a simple version of this bijection in the case that the tableaux are standard and used it to study rotation and joins of webs. We build on Tymoczko's bijection to give a simple and explicit algorithm for constructing all non-elliptic sl_3 webs.
Sharp Bounds on Davenport-Schinzel Sequences of Every Order
Published
• View Publication
• BIB
One of the longest-standing open problems in computational geometry is to bound the lower envelope of $n$ univariate functions, each pair of which crosses at most $s$ times, for some fixed $s$. This problem is known to be equivalent to bounding the length of an order-$s$ Davenport-Schinzel sequence, namely a sequence over an $n$-letter alphabet that avoids alternating subsequences of the form $a \cdots b \cdots a \cdots b \cdots$ with length $s+2$. These sequences were introduced by Davenport and Schinzel in 1965 to model a certain problem in differential equations and have since been applied to bounding the running times of geometric algorithms, data structures, and the combinatorial complexity of geometric arrangements.
Let $λ_s(n)$ be the maximum length of an order-$s$ DS sequence over $n$ letters. What is $λ_s$ asymptotically? This question has been answered satisfactorily (by Hart and Sharir, Agarwal, Sharir, and Shor, Klazar, and Nivasch) when $s$ is even or $s\le 3$. However, since the work of Agarwal, Sharir, and Shor in the mid-1980s there has been a persistent gap in our understanding of the odd orders.
In this work we effectively close the problem by establishing sharp bounds on Davenport-Schinzel sequences of every order $s$. Our results reveal that, contrary to one's intuition, $λ_s(n)$ behaves essentially like $λ_{s-1}(n)$ when $s$ is odd. This refutes conjectures due to Alon et al. (2008) and Nivasch (2010).
Generalized Measures of Edge Fault Tolerance in (n,k)-star Graphs
Published
• View Publication
• BIB
This paper considers a kind of generalized measure $λ_s^{(h)}$ of fault tolerance in the $(n,k)$-star graph $S_{n,k}$ for $2\leqslant k \leqslant n-1$ and $0\leqslant h \leqslant n-k$, and determines $λ_s^{(h)}(S_{n,k})=\min\{(n-h-1)(h+1), (n-k+1)(k-1)\}$, which implies that at least $\min\{(n-k+1)(k-1),(n-h-1)(h+1)\}$ edges of $S_{n,k}$ have to remove to get a disconnected graph that contains no vertices of degree less than $h$. This result shows that the $(n,k)$-star graph is robust when it is used to model the topological structure of a large-scale parallel processing system.
Double Bruhat Cells in Kac-Moody Groups and Integrable Systems
Published
• View Publication
• BIB
We construct a family of integrable Hamiltonian systems generalizing the relativistic periodic Toda lattice, which is recovered as a special case. The phase spaces of these systems are double Bruhat cells corresponding to pairs of Coxeter elements in the affine Weyl group. In the process we extend various results on double Bruhat cells in simple algebraic groups to the setting of Kac-Moody groups. We also generalize some fundamental results in Poisson-Lie theory to the setting of ind-algebraic groups, which is of interest beyond our immediate applications to integrable systems.
A determinant of generalized Fibonacci numbers
Published in J. Combin. Number Theory 5(2) (2013), Article #2, 7 pp
• Search Publication
We evaluate a determinant of generalized Fibonacci numbers, thus providing a common generalization of several determinant evaluation results that have previously appeared in the literature, all of them extending Cassini's identity for Fibonacci numbers.
Matrix algorithm for determination of the elementary paths and elementary circuits using exotic semirings
We propose a new method for determining the elementary paths and elementary circuits in a directed graph. Also, the Hamiltonian paths and Hamiltonian circuits are enumerated.
Domination related parameters in rooted product graphs
Published
• View Publication
• BIB
A set $S$ of vertices of a graph $G$ is a dominating set in $G$ if every vertex outside of $S$ is adjacent to at least one vertex belonging to $S$. A domination parameter of $G$ is related to those sets of vertices of a graph satisfying some domination property together with other conditions on the vertices of $G$. Here, we investigate several domination related parameters in rooted product graphs.
Complete enumeration of small realizable oriented matroids
Published
• View Publication
• BIB
Enumeration of all combinatorial types of point configurations and polytopes is a fundamental problem in combinatorial geometry. Although many studies have been done, most of them are for 2-dimensional and non-degenerate cases.
Finschi and Fukuda (2001) published the first database of oriented matroids including degenerate (i.e. non-uniform) ones and of higher ranks. In this paper, we investigate algorithmic ways to classify them in terms of realizability, although the underlying decision problem of realizability checking is NP-hard. As an application, we determine all possible combinatorial types (including degenerate ones) of 3-dimensional configurations of 8 points, 2-dimensional configurations of 9 points and 5-dimensional configurations of 9 points. We could also determine all possible combinatorial types of 5-polytopes with 9 vertices.
Coloring, location and domination of corona graphs
Published
• View Publication
• BIB
A vertex coloring of a graph $G$ is an assignment of colors to the vertices of $G$ such that every two adjacent vertices of $G$ have different colors. A coloring related property of a graphs is also an assignment of colors or labels to the vertices of a graph, in which the process of labeling is done according to an extra condition. A set $S$ of vertices of a graph $G$ is a dominating set in $G$ if every vertex outside of $S$ is adjacent to at least one vertex belonging to $S$. A domination parameter of $G$ is related to those structures of a graph satisfying some domination property together with other conditions on the vertices of $G$. In this article we study several mathematical properties related to coloring, domination and location of corona graphs.
We investigate the distance-$k$ colorings of corona graphs. Particularly, we obtain tight bounds for the distance-2 chromatic number and distance-3 chromatic number of corona graphs, throughout some relationships between the distance-$k$ chromatic number of corona graphs and the distance-$k$ chromatic number of its factors. Moreover, we give the exact value of the distance-$k$ chromatic number of the corona of a path and an arbitrary graph. On the other hand, we obtain bounds for the Roman dominating number and the locating-domination number of corona graphs. We give closed formulaes for the $k$-domination number, the distance-$k$ domination number, the independence domination number, the domatic number and the idomatic number of corona graphs.
Hardness of approximation for crossing number
Published
• View Publication
• BIB
We show that, if P\not=NP, there is a constant c > 1 such that there is no c-approximation algorithm for the crossing number, even when restricted to 3-regular graphs.
Note on group distance magic graphs $G[C_4]$
Published in Graph and Combinatorics 2013
• View Publication
• BIB
A \emph{group distance magic labeling} or a $\gr$-distance magic labeling of a graph $G(V,E)$ with $|V | = n$ is an injection $f$ from $V$ to an Abelian group $\gr$ of order $n$ such that the weight $w(x)=\sum_{y\in N_G(x)}f(y)$ of every vertex $x \in V$ is equal to the same element $μ\in \gr$, called the magic constant. In this paper we will show that if $G$ is a graph of order $n=2^{p}(2k+1)$ for some natural numbers $p$, $k$ such that $°(v)\equiv c \imod {2^{p+1}}$ for some constant $c$ for any $v\in V(G)$, then there exists an $\gr$-distance magic labeling for any Abelian group $\gr$ for the graph $G[C_4]$. Moreover we prove that if $\gr$ is an arbitrary Abelian group of order $4n$ such that $\gr \cong \zet_2 \times\zet_2 \times \gA$ for some Abelian group $\gA$ of order $n$, then exists a $\gr$-distance magic labeling for any graph $G[C_4]$.
A new graph parameter related to bounded rank positive semidefinite matrix completions
Published
• View Publication
• BIB
The Gram dimension $\gd(G)$ of a graph $G$ is the smallest integer $k\ge 1$ such that any partial real symmetric matrix, whose entries are specified on the diagonal and at the off-diagonal positions corresponding to edges of $G$, can be completed to a positive semidefinite matrix of rank at most $k$ (assuming a positive semidefinite completion exists). For any fixed $k$ the class of graphs satisfying $\gd(G) \le k$ is minor closed, hence it can characterized by a finite list of forbidden minors. We show that the only minimal forbidden minor is $K_{k+1}$ for $k\le 3$ and that there are two minimal forbidden minors: $K_5$ and $K_{2,2,2}$ for $k=4$. We also show some close connections to Euclidean realizations of graphs and to the graph parameter $ν^=(G)$ of \cite{H03}. In particular, our characterization of the graphs with $\gd(G)\le 4$ implies the forbidden minor characterization of the 3-realizable graphs of Belk and Connelly \cite{Belk,BC} and of the graphs with $ν^=(G) \le 4$ of van der Holst \cite{H03}.
Combinatorial specification of permutation classes
Published
• View Publication
• BIB
This article presents a methodology that automatically derives a combinatorial specification for the permutation class C = Av(B), given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations.The obtained specification yields a system of equations satisfied by the generating function of C, this system being always positiveand algebraic. It also yields a uniform random sampler of permutations in C. The method presentedis fully algorithmic.
The local $h$-vector of the cluster subdivision of a simplex
Published in Seminaire Lotharingien de Combinatoire 66 (2012), Article B66c, 21pp
• Search Publication
The cluster complex $Δ(Φ)$ is an abstract simplicial complex, introduced by Fomin and Zelevinsky for a finite root system $Φ$. The positive part of $Δ(Φ)$ naturally defines a simplicial subdivision of the simplex on the vertex set of simple roots of $Φ$. The local $h$-vector of this subdivision, in the sense of Stanley, is computed and the corresponding $γ$-vector is shown to be nonnegative. Combinatorial interpretations to the entries of the local $h$-vector and the corresponding $γ$-vector are provided for the classical root systems, in terms of noncrossing partitions of types $A$ and $B$. An analogous result is given for the barycentric subdivision of a simplex.
A nullstellensatz for sequences over F_p
Published in Combinatorica 34, 6 (2014), 657-688
• View Publication
• BIB
Let p be a prime and let A=(a_1,...,a_l) be a sequence of nonzero elements in F_p. In this paper, we study the set of all 0-1 solutions to the equation a_1 x_1 + ... + a_l x_l = 0. We prove that whenever l >= p, this set actually characterizes A up to a nonzero multiplicative constant, which is no longer true for l < p. The critical case l=p is of particular interest. In this context, we prove that whenever l=p and A is nonconstant, the above equation has at least p-1 minimal 0-1 solutions, thus refining a theorem of Olson. The subcritical case l=p-1 is studied in detail also. Our approach is algebraic in nature and relies on the Combinatorial Nullstellensatz as well as on a Vosper type theorem.
A sharp upper bound for the rainbow 2-connection number of 2-connected graphs
Published
• View Publication
• BIB
A path in an edge-colored graph is called {\em rainbow} if no two edges of it are colored the same. For an $\ell$-connected graph $G$ and an integer $k$ with $1\leq k\leq \ell$, the {\em rainbow $k$-connection number} $rc_k(G)$ of $G$ is defined to be the minimum number of colors required to color the edges of $G$ such that every two distinct vertices of $G$ are connected by at least $k$ internally disjoint rainbow paths. Fujita et. al. proposed a problem that what is the minimum constant $α>0$ such that for all 2-connected graphs $G$ on $n$ vertices, we have $rc_2(G)\leq αn$. In this paper, we prove that $α=1$ and $rc_2(G)=n$ if and only if $G$ is a cycle of order $n$, settling down this problem.
Finite graphs and amenability
Published
• View Publication
• BIB
Hyperfiniteness or amenability of measurable equivalence relations and group actions has been studied for almost fifty years. Recently, unexpected applications of hyperfiniteness were found in computer science in the context of testability of graph properties. In this paper we propose a unified approach to hyperfiniteness. We establish some new results and give new proofs of theorems of Schramm, Lovász, Newman-Sohler and Ornstein-Weiss.