Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A Constant Factor Approximation Algorithm for Boxicity of Circular Arc Graphs
Published
• View Publication
• BIB
Boxicity of a graph $G(V,E)$ is the minimum integer $k$ such that $G$ can be represented as the intersection graph of $k$-dimensional axis parallel rectangles in $\mathbf{R}^k$. Equivalently, it is the minimum number of interval graphs on the vertex set $V$ such that the intersection of their edge sets is $E$. It is known that boxicity cannot be approximated even for graph classes like bipartite, co-bipartite and split graphs below $O(n^{0.5 - ε})$-factor, for any $ε>0$ in polynomial time unless $NP=ZPP$. Till date, there is no well known graph class of unbounded boxicity for which even an $n^ε$-factor approximation algorithm for computing boxicity is known, for any $ε<1$. In this paper, we study the boxicity problem on Circular Arc graphs - intersection graphs of arcs of a circle. We give a $(2+\frac{1}{k})$-factor polynomial time approximation algorithm for computing the boxicity of any circular arc graph along with a corresponding box representation, where $k \ge 1$ is its boxicity. For Normal Circular Arc(NCA) graphs, with an NCA model given, this can be improved to an additive 2-factor approximation algorithm. The time complexity of the algorithms to approximately compute the boxicity is $O(mn+n^2)$ in both these cases and in $O(mn+kn^2)= O(n^3)$ time we also get their corresponding box representations, where $n$ is the number of vertices of the graph and $m$ is its number of edges. The additive 2-factor algorithm directly works for any Proper Circular Arc graph, since computing an NCA model for it can be done in polynomial time.
The Moebius function of separable and decomposable permutations
Published
• View Publication
• BIB
We give a recursive formula for the Moebius function of an interval $[σ,π]$ in the poset of permutations ordered by pattern containment in the case where $π$ is a decomposable permutation, that is, consists of two blocks where the first one contains all the letters 1, 2, ..., k for some k. This leads to many special cases of more explicit formulas. It also gives rise to a computationally efficient formula for the Moebius function in the case where $σ$ and $π$ are separable permutations. A permutation is separable if it can be generated from the permutation 1 by successive sums and skew sums or, equivalently, if it avoids the patterns 2413 and 3142. A consequence of the formula is that the Moebius function of such an interval $[σ,π]$ is bounded by the number of occurrences of $σ$ as a pattern in $π$. We also show that for any separable permutation $π$ the Moebius function of $(1,π)$ is either 0, 1 or -1.
Non-orientable quasi-trees for the Bollobas-Riordan polynomial
Published in Europ. J. Comb., 32:510-532, 2011
• View Publication
• BIB
We extend the quasi-tree expansion of A. Champanerkar, I. Kofman, and N. Stoltzfus to not necessarily orientable ribbon graphs. We study the duality properties of the Bollobas-Riordan polynomial in terms of this expansion. As a corollary, we get a "connected state" expansion of the Kauffman bracket of virtual link diagrams. Our proofs use extensively the partial duality of S. Chmutov.
On the Number of Pentagons in Triangle-Free Graphs
Published in J. Combin. Theory Ser. A 120 (2013), no. 3, 722-732
• View Publication
• BIB
Using the formalism of flag algebras, we prove that every triangle-free graph $G$ with $n$ vertices contains at most $(n/5)^5$ cycles of length five. Moreover, the equality is attained only when $n$ is divisible by five and $G$ is the balanced blow-up of the pentagon. We also compute the maximal number of pentagons and characterize extremal graphs in the non-divisible case provided $n$ is sufficiently large. This settles a conjecture made by Erdős in 1984.
Aspects of the Segre variety S_{1,1,1}(2)
Published in Des. Codes Cryptogr. 62 (2012), 235-239
• View Publication
• BIB
We consider various aspects of the Segre variety S := S_{1,1,1}(2) in PG(7,2), whose stabilizer group G_S < GL(8, 2) has the structure N {\rtimes} Sym(3), where N := GL(2,2)\times GL(2,2)\times GL(2,2). In particular we prove that S determines a distinguished Z_3-subgroup Z < GL(8, 2) such that AZA^{-1} = Z, for all A in G_S, and in consequence S determines a G_S-invariant spread of 85 lines in PG(7,2). Furthermore we see that Segre varieties S_{1,1,1}(2) in PG(7,2) come along in triplets {S,S',S"} which share the same distinguished Z_3-subgroup Z < GL(8,2). We conclude by determining all fifteen G_S-invariant polynomial functions on PG(7,2) which have degree < 8, and their relation to the five G_S-orbits of points in PG(7,2).
Restructuring in Combinatorial Optimization
The paper addresses a new class of combinatorial problems which consist in restructuring of solutions (as structures) in combinatorial optimization. Two main features of the restructuring process are examined: (i) a cost of the restructuring, (ii) a closeness to a goal solution. This problem corresponds to redesign (improvement, upgrade) of modular systems or solutions. The restructuring approach is described and illustrated for the following combinatorial optimization problems: knapsack problem, multiple choice problem, assignment problem, spanning tree problems. Examples illustrate the restructuring processes.
Space crossing numbers
Published
• View Publication
• BIB
We define the crossing number for an embedding of a graph G into R^3, and prove a lower bound on it which almost implies the classical crossing lemma. We also give sharp bounds on the space crossing numbers of pseudo-random graphs.
Packing Costas Arrays
A Costas latin square of order n is a set of n disjoint Costas arrays of the same order. Costas latin squares are studied here from a construction as well as a classification point of view. A complete classification is carried out up to order 27. In this range, we verify the conjecture that there is no Costas latin square for any odd order n >= 3. Various other related combinatorial structures are also considered, including near Costas latin squares (which are certain packings of near Costas arrays) and Vatican Costas squares.
The Newton polygon of a recurrence sequence of polynomials and its role in TQFT
The paper contains a combinatorial theorem (the sequence of Newton polygons of a reccurent sequence of polynomials is quasi-linear) and two applications of it in classical and quantum topology, namely in the behavior of the $A$-polynomial and a fixed quantum invariant (such as the Jones polynomial) under filling. Our combinatorial theorem, which complements results of Calegari-Walker \cite{CW} and the author \cite{Ga4}, occupies the bulk of the paper and its proof requires the Lech-Mahler-Skolem theorem of $p$-adic analytic number theory combined with basic principles in polyhedral and tropical geometry.
Rigidity problems in toric topology, a survey
Published in Proc. Steklov Inst. Math., 275 (2011), 177--190
• View Publication
• BIB
Several rigidity problems in toric topology are addressed in \cite{ma-su08}. In this paper, we survey results on those problems including recent development.
On the Complexity of Sails
Published in Pac. Jour. Math., Vol. 258 (2012), No. 1, 1-30
• View Publication
• BIB
This paper analyses stable commutator length in groups Z^r * Z^s. We bound scl from above in terms of the reduced wordlength (sharply in the limit) and from below in terms of the answer to an associated subset-sum type problem. Combining both estimates, we prove that, as n tends to infinity, words of reduced length n generically have scl arbitrarily close to n/4 - 1.
We then show that, unless P=NP, there is no polynomial time algorithm to compute scl of efficiently encoded words in F2.
All these results are obtained by exploiting the fundamental connection between scl and the geometry of certain rational polyhedra. Their extremal rays have been classified concisely and completely. However, we prove that a similar classification for extremal points is impossible in a very strong sense.
Reachability and recurrence in a modular generalization of annihilating random walks (and lights-out games) on hypergraphs
Published
• View Publication
• BIB
We study a dynamical system motivated by our earlier work on the statistical physics of social balance on graphs that can be viewed as a generalization of annihilating walks along two directions: first, the interaction topology is a hypergraph; second, the ``number of particles`` at a vertex of the hypergraph is an element of a finite field ${\bf Z}_{p}$ of integers modulo $p$, $p\geq 3$. Equivalently, particles move on a hypergraph, with a moving particle at a vertex being replaced by one indistinguishable copy at each neighbor in a given hyperedge; particles at a vertex collectively annihilate when their number reaches $p$. The system we study can also be regarded as a natural generalization of certain lights-out games to finite fields and hypergraph topologies. Our result shows that under a liberal sufficient condition on the nature of the interaction hypergraph there exists a polynomial time algorithm (based on linear algebra over ${\bf Z}_{p}$) for deciding reachability and recurrence of this dynamical system. Interestingly, we provide a counterexample that shows that this connection does not extend to all graphs.
A Littlewood-Richardson Type Rule for Row-Strict Quasisymmetric Schur Functions
Published
• View Publication
• BIB
We give a Littlewood-Richardson type rule for expanding the product of a row-strict quasisymmetric Schur function and a symmetric Schur function in terms of row-strict quasisymmetric Schur functions. This expansion follows from several new properties of an insertion algorithm defined by Mason and Remmel (2010) which inserts a positive integer into a row-strict composition tableau.
Algorithms for Silver Coloring of Generalized Petersen Graphs
This paper has been withdrawn.
Critical Sets in Bipartite Graphs
Published
• View Publication
• BIB
Let G=(V,E) be a graph. A set S is independent if no two vertices from S are adjacent, alpha(G) is the size of a maximum independent set, and core(G) is the intersection of all maximum independent sets. The number d(X)=|X|-|N(X)| is the difference of the set X, and d_{c}(G)=max{d(I):I is an independent set} is called the critical difference of G. A set X is critical if d(X)=d_{c}(G). For a graph G we define ker(G) as the intersection of all critical independent sets, while diadem(G) is the union of all critical independent sets. For a bipartite graph G=(A,B,E), with bipartition {A,B}, Ore defined delta(X)=d(X) for every subset X of A, while delta_0(A)=max{delta(X):X is a subset of A}. Similarly is defined delta_0(B). In this paper we prove that for every bipartite graph G=(A,B,E) the following assertions hold: d_{c}(G)=delta_0(A)+delta_0(B); ker(G)=core(G); |ker(G)|+|diadem(G)|=2*alpha(G).
An Algorithm Computing the Core of a Konig-Egervary Graph
A set S of vertices is independent in a graph G if no two vertices from S are adjacent, and alpha(G) is the cardinality of a maximum independent set of G.
G is called a Konig-Egervary graph if its order equals alpha(G)+mu(G), where mu(G) denotes the size of a maximum matching. By core(G) we mean the intersection of all maximum independent sets of G.
To decide whether core(G) is empty is known to be NP-hard.
In this paper, we present some polynomial time algorithms finding core(G) of a Konig-Egervary graph G.
Local Maximum Stable Sets Greedoids Stemmed from Very Well-Covered Graphs
Published
• View Publication
• BIB
A maximum stable set in a graph G is a stable set of maximum cardinality. S is called a local maximum stable set of G if S is a maximum stable set of the subgraph induced by the closed neighborhood of S. A greedoid (V,F) is called a local maximum stable set greedoid if there exists a graph G=(V,E) such that its family of local maximum stable sets coinsides with (V,F). It has been shown that the family local maximum stable sets of a forest T forms a greedoid on its vertex set. In this paper we demonstrate that if G is a very well-covered graph, then its family of local maximum stable sets is a greedoid if and only if G has a unique perfect matching.
On sum of powers of Laplacian eigenvalues and Laplacian Estrada index of graphs
Published in MATCH Commun. Math. Comput. Chem. 62 (2009) 611-619
• Search Publication
Let $G$ be a simple graph and $α$ a real number. The quantity $s_α(G)$ defined as the sum of the $α$-th power of the non-zero Laplacian eigenvalues of $G$ generalizes several concepts in the literature. The Laplacian Estrada index is a newly introduced graph invariant based on Laplacian eigenvalues. We establish bounds for $s_α$ and Laplacian Estrada index related to the degree sequences.
Destroying Non-Complete Regular Components in Graph Partitions
Published
• View Publication
• BIB
We prove that if $G$ is a graph and $r_1, ..., r_k \in \mathbb{Z}_{\geq 0}$ such that $\sum_{i=1}^k r_i \geq Δ(G) + 2 - k$ then $V(G)$ can be partitioned into sets $V_1, ..., V_k$ such that $Δ(G[V_i]) \leq r_i$ and $G[V_i]$ contains no non-complete $r_i$-regular components for each $1 \leq i \leq k$. In particular, the vertex set of any graph $G$ can be partitioned into $\left \lceil \frac{Δ(G) + 2}{3} \right \rceil$ sets, each of which induces a disjoint union of triangles and paths.
Quantum loop algebras, quiver varieties, and cluster algebras
Published
• View Publication
• BIB
These notes reflect the contents of three lectures given at the workshop of the 14th International Conference on Representations of Algebras (ICRA XIV), held in August 2010 in Tokyo. We first provide an introduction to quantum loop algebras and their finite-dimensional representations. We explain in particular Nakajima's geometric description of the irreducible q-characters in terms of graded quiver varieties. We then present a recent attempt to understand the tensor structure of the category of finite- dimensional representations by means of cluster algebras.