Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Toric ideals of series and parallel connections of matroids
Published in Journal of Algebra and Its Applications, 15 (2016), no. 6, 1650106, 11 pages
• View Publication
• BIB
In 1980, White conjectured that the toric ideal associated to a matroid is generated by binomials corresponding to a symmetric exchange. In this paper, we prove that classes of matroids for which the toric ideal is generated by quadrics and that has quadratic Gröbner bases, are closed under series and parallel extensions, series and parallel connections, and 2-sums.
Computing the Tutte Polynomial of Lattice Path Matroids Using Determinantal Circuits
Published
• View Publication
• BIB
We give a quantum-inspired $O(n^4)$ algorithm computing the Tutte polynomial of a lattice path matroid, where $n$ is the size of the ground set of the matroid. Furthermore, this can be improved to $O(n^2)$ arithmetic operations if we evaluate the Tutte polynomial on a given input, fixing the values of the variables. The best existing algorithm, found in 2004, was $O(n^5)$, and the problem has only been known to be polynomial time since 2003. Conceptually, our algorithm embeds the computation in a determinant using a recently demonstrated equivalence of categories useful for counting problems such as those that appear in simulating quantum systems.
New Identities from a Combinatorial Approach to Generalized Fibonacci and Generalized Lucas Numbers
We present here some new identities for generalizations of Fibonacci and Lucas numbers by combinatorially interpreting these numbers in terms of numbers of certain tilings of a $1 \times m$ board. As a consequence, some new interesting identities involving the ordinaries Fibonacci and Lucas numbers are derived.
Chen ranks and resonance
Published in Adv. Math. 285 (2015), 1-27
• View Publication
• BIB
The Chen groups of a group $G$ are the lower central series quotients of the maximal metabelian quotient of $G$. Under certain conditions, we relate the ranks of the Chen groups to the first resonance variety of $G$, a jump locus for the cohomology of $G$. In the case where $G$ is the fundamental group of the complement of a complex hyperplane arrangement, our results positively resolve Suciu's Chen ranks conjecture. We obtain explicit formulas for the Chen ranks of a number of groups of broad interest, including pure Artin groups associated to Coxeter groups, and the group of basis-conjugating automorphisms of a finitely generated free group.
On Motzkin-Straus Type of Results and Frankl-Füredi Conjecture for Hypergraphs
A remarkable connection between the order of a maximum clique and the Graph-Lagrangian of a graph was established by Motzkin and Straus in 1965. This connection and its extension were useful in both combinatorics and optimization. Since then, Graph-Lagrangian has been a useful tool in extremal combinatorics. In this paper, we give a parametrized Graph-Lagrangian for non-uniform hypergraphs and provide several Motzkin-Straus type results for nonuniform hypergraphs which generalize results from [1] and [2]. Another part of the paper concerns a long-standing conjecture of Frankl-Füredi on Graph-Lagrangians of hypergraphs. We show the connection between the Graph-Lagrangian of $\{1, r_1, r_2, \cdots, r_l\}$-hypergraphs and $\{ r_1, r_2, \cdots, r_l\}$-hypergraphs. Some of our results provide solutions to the maximum value of a class of polynomial functions over the standard simplex of the Euclidean space.
Deformations of box complexes
Box complex is a $\mathbb{Z}_2$-space associated to a graph, and it is known that a certain $\mathbb{Z}_2$-homotopy invariant of it, called the $\mathbb{Z}_2$-index, gives an effective lower bound for the chromatic number. On the other hand, we show that any $\mathbb{Z}_2$-homotopy invariant of the box complex is not equivalent to the chromatic number. Namely, we construct a graph homomorphism $f:X \rightarrow Y$ such that it gives rise to a $\mathbb{Z}_2$-homotopy equivalence between their box complexes, but $X$ and $Y$ have different chromatic numbers. To see this, we show that some deformations of graphs do not change the $\mathbb{Z}_2$-simple homotopy types of box complexes.
Characterize graphs with rainbow connection number $m-2$ and $m-3$
A path in an edge-colored graph, where adjacent edges may be colored the same, is a rainbow path if no two edges of it are colored the same. A nontrivial connected graph $G$ is rainbow connected if there is a rainbow path connecting any two vertices, and the rainbow connection number of $G$, denoted by $rc(G)$, is the minimum number of colors that are needed in order to make $G$ rainbow connected. Chartrand et al. obtained that $G$ is a tree if and only if $rc(G)=m$, and it is easy to see that $G$ is not a tree if and only if $rc(G)\leq m-2$, where $m$ is the number of edge of $G$. So there is an interesting problem: Characterize the graphs $G$ with $rc(G)=m-2$. In this paper, we settle down this problem. Furthermore, we also characterize the graphs $G$ with $rc(G)=m-3$.
Graphs with $4$-rainbow index $3$ and $n-1$
Let $G$ be a nontrivial connected graph with an edge-coloring $c:E(G)\rightarrow \{1,2,\ldots,q\},$ $q\in \mathbb{N}$, where adjacent edges may be colored the same. A tree $T$ in $G$ is called a $rainbow~tree$ if no two edges of $T$ receive the same color. For a vertex set $S\subseteq V(G)$, a tree that connects $S$ in $G$ is called an {\it $S$-tree}. The minimum number of colors that are needed in an edge-coloring of $G$ such that there is a rainbow $S$-tree for every $k$-set $S$ of $V(G)$ is called the {\it $k$-rainbow index} of $G$, denoted by $rx_k(G)$. Notice that an lower bound and an upper bound of the $k$-rainbow index of a graph with order $n$ is $k-1$ and $n-1$, respectively. Chartrand et al. got that the $k$-rainbow index of a tree with order $n$ is $n-1$ and the $k$-rainbow index of a unicyclic graph with order $n$ is $n-1$ or $n-2$. Li and Sun raised the open problem of characterizing the graphs of order $n$ with $rx_k(G)=n-1$ for $k\geq 3$. In early papers we characterized the graphs of order $n$ with 3-rainbow index 2 and $n-1$. In this paper, we focus on $k=4$, and characterize the graphs of order $n$ with 4-rainbow index 3 and $n-1$, respectively.
Forests and Trees among Gallai Graphs
Published
• View Publication
• BIB
The Gallai graph $Γ(G)$ of a graph $G$ has the edges of $G$ as its vertices and two distinct vertices $e$ and $f$ of $Γ(G)$ are adjacent in $Γ(G)$ if the edges $e$ and $f$ of $G$ are adjacent in $G$ but do not span a triangle in $G$. Clearly, $Γ(G)$ is a subgraph of the line graph of $G$. While line graphs can be recognized efficiently the complexity of recognizing Gallai graphs is unknown. In the present paper we characterize those graphs whose Gallai graphs are forests or trees, respectively.
Longest Paths in Circular Arc Graphs
Published
• View Publication
• BIB
As observed by Rautenbach and Sereni (arXiv:1302.5503) there is a gap in the proof of the theorem of Balister et al. (Longest paths in circular arc graphs, Combin. Probab. Comput., 13, No. 3, 311-317 (2004)), which states that the intersection of all longest paths in a connected circular arc graph is nonempty. In this paper we close this gap.
On homogeneous planar functions
Published
• View Publication
• BIB
Let $p$ be an odd prime and $\F_q$ be the finite field with $q=p^n$ elements. A planar function $f:\F_q\rightarrow\F_q$ is called homogenous if $f(λx)=λ^df(x)$ for all $λ\in\F_p$ and $x\in\F_q$, where $d$ is some fixed positive integer. We characterize $x^2$ as the unique homogenous planar function over $\F_{p^2}$ up to equivalence.
The purity of set-systems related to Grassmann necklaces
Published
• View Publication
• BIB
Studying the problem of quasicommuting quantum minors, Leclerc and Zelevinsky introduced in 1998 the notion of weakly separated sets in $[n]:=\{1,\ldots, n\}$. Moreover, they raised several conjectures on the purity for this symmetric relation, in particular, on the Boolean cube $2^{[n]}$. In 0909.1423[math.CO] we proved these purity conjectures for the Boolean cube $2^{[n]}$, the discrete Grassmanian ${[n]\choose r}$, and some other set-systems. Oh, Postnikov, and Speyer in arxiv:1109.4434 proved the purity for weakly separated collections inside a positroid which contain a Grassmann necklace $\mathcal N$ defining the positroid. We denote such set-systems as $\mathcal{I}nt(\mathcal N )$. In this paper we give an alternative (and shorter) proof of the purity of $\mathcal{I}nt(\mathcal N )$ and present a stronger result. More precisely, we introduce a set-system $\mathcal{O}ut(\mathcal N )$ complementary to $\mathcal{I}nt(\mathcal N )$, in a sense, and establish its purity. Moreover, we prove (Theorem~3) that these two set-systems are weakly separated from each other. As a consequence of Theorem~3, we obtain the purity of set-systems related to pairs of weakly separated necklaces (Proposition 4 and Corollaries 1 and 2). Finally, we raise a conjecture on the purity of both the interior and exterior of a generalized necklace.
A determinant representation for generalized ballot and Fuss-Catalan numbers
In this note we introduce a determinant and then give its evaluating formula. The determinant turns out to be a generalization of the well-known ballot and Fuss-Catalan numbers, which is believed to be new. The evaluating formula is proved by showing that the determinant coincides with the number of lattice paths with (1,0), (0,1)-steps in the plane that stay below a boundary line of rational slope.
On The Center Sets and Center Numbers of Some Graph Classes
For a set $S$ of vertices and the vertex $v$ in a connected graph $G$, $\displaystyle\max_{x \in S}d(x,v)$ is called the $S$-eccentricity of $v$ in $G$. The set of vertices with minimum $S$-eccentricity is called the $S$-center of $G$. Any set $A$ of vertices of $G$ such that $A$ is an $S$-center for some set $S$ of vertices of $G$ is called a center set. We identify the center sets of certain classes of graphs namely, Block graphs, $K_{m,n}$, $K_n-e$, wheel graphs, odd cycles and symmetric even graphs and enumerate them for many of these graph classes. We also introduce the concept of center number which is defined as the number of distinct center sets of a graph and determine the center number of some graph classes.
A Simple Sweep Line Algorithm for Counting Triangulations and Pseudo-triangulations
Let $P\subset\mathbb{R}^{2}$ be a set of $n$ points. In this paper we show two new algorithms, one to compute the number of triangulations of $P$, and one to compute the number of pseudo-triangulations of $P$. We show that our algorithms run in time $O^{*}(t(P))$ and $O^{*}(pt(P))$ respectively, where $t(P)$ and $pt(P)$ are the largest number of triangulation paths (T-paths) and pseudo-triangulations paths (PT-paths), respectively, that the algorithms encounter during their execution. Moreover, we show that $t(P) = O^{*}(9^{n})$, which is the first non-trivial bound on $t(P)$ to be known.
While there already are algorithms that count triangulations in $O^{*}\left(2^n\right)$, and $O^{*}\left(3.1414^{n}\right)$, there are sets of points where the number of T-paths is $O(2^{n})$. In such cases the algorithm herein presented could potentially be faster. Furthermore, it is not clear whether the already-known algorithms can be modified to count pseudo-triangulations so that their running times remain $O^{*}(c^n)$, for some small constant $c\in\mathbb{R}$. Therefore, for counting pseudo-triangulations (and possibly other similar structures) our approach seems better.
The correspondence between mutually unbiased bases and mutually orthogonal extraordinary supersquares
Published in Reports on Mathematical Physics 73, 49 (2014)
• View Publication
• BIB
We study the connection between mutually unbiased bases and mutually orthogonal extraordinary supersquares, a wider class of squares which does not contain only the Latin squares. We show that there are four types of complete sets of mutually orthogonal extraordinary supersquares for the dimension $d=8$. We introduce the concept of physical striation and show that this is equivalent to the extraordinary supersquare. The general algorithm for obtaining the mutually unbiased bases and the physical striations is constructed and it is shown that the complete set of mutually unbiased physical striations is equivalent to the complete set of mutually orthogonal extraordinary supersquares. We apply the algorithm to two examples: one for two-qubit systems ($d=4$) and one for three-qubit systems ($d=8$), by using the Type II complete sets of mutually orthogonal extraordinary supersquares of order 8.
The maximum product of sizes of cross-$t$-intersecting uniform families
Published
• View Publication
• BIB
We say that a set $A$ \emph{$t$-intersects} a set $B$ if $A$ and $B$ have at least $t$ common elements. Two families $\mathcal{A}$ and $\mathcal{B}$ are said to be \emph{cross-$t$-intersecting} if each set in $\mathcal{A}$ $t$-intersects each set in $\mathcal{B}$. For any positive integers $n$ and $r$, let ${[n] \choose r}$ denote the family of all $r$-element subsets of $\{1,2,\dots, n\}$. We show that for any integers $r$, $s$ and $t$ with $1 \leq t \leq r \leq s$, there exists an integer $n_0(r,s,t)$ such that for any integer $n \geq n_0(r,s,t)$, if $\mathcal{A} \subset {[n] \choose r}$ and $\mathcal{B} \subset {[n] \choose s}$ such that $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting, then $|\mathcal{A}||\mathcal{B}| \leq {n-t \choose r-t}{n-t \choose s-t}$, and equality holds if and only if for some $T \in {[n] \choose t}$, $\mathcal{A} = \{A \in {[n] \choose r} \colon T \subset A\}$ and $\mathcal{B} = \{B \in {[n] \choose s} \colon T \subset B\}$. This verifies a conjecture of Hirschorn.
Worst-Case Performance Analysis of Some Approximation Algorithms for Minimizing Makespan and Flow-Time
Published
• View Publication
• BIB
In 1976, Coffman and Sethi conjectured that a natural extension of LPT list scheduling to the bicriteria scheduling problem of minimizing makespan over flowtime optimal schedules, called LD algorithm, has a simple worst-case performance bound: (5m-2)/(4m-1), where m is the number of machines. We study structure of potential minimal counterexamples to this conjecture and prove that the conjecture holds for the cases (i) n > 5m, (ii) m = 2, (iii) m = 3, and (iv) m greater than or equal to 4, n less than or equal to 3m, where n is the number of jobs. We further conclude that to verify the conjecture, it suffices to analyze the following case: for every m greater than or equal to 4, n is either equal to 4m or 5m.
Quasi-symmetric functions as polynomial functions on Young diagrams
Published in Journal of Algebraic Combinatorics, 41 (3), pp. 669-706, 2015
• View Publication
• BIB
We determine the most general form of a smooth function on Young diagrams, that is, a polynomial in the interlacing or multirectangular coordinates whose value depends only on the shape of the diagram. We prove that the algebra of such functions is isomorphic to quasi-symmetric functions, and give a noncommutative analog of this result.
Clique-Stable Set separation in perfect graphs with no balanced skew-partitions
Published in Discrete Mathematics, 339(6):1809-1825, 2016
• View Publication
• BIB
Inspired by a question of Yannakakis on the Vertex Packing polytope of perfect graphs, we study the Clique-Stable Set Separation in a non-hereditary subclass of perfect graphs. A cut (B,W) of G (a bipartition of V(G)) separates a clique K and a stable set S if $K\subseteq B$ and $S\subseteq W$. A Clique-Stable Set Separator is a family of cuts such that for every clique K, and for every stable set S disjoint from K, there exists a cut in the family that separates K and S. Given a class of graphs, the question is to know whether every graph of the class admits a Clique-Stable Set Separator containing only polynomially many cuts. It is open for the class of all graphs, and also for perfect graphs, which was Yannakakis' original question. Here we investigate on perfect graphs with no balanced skew-partition; the balanced skew-partition was introduced in the proof of the Strong Perfect Graph Theorem. Recently, Chudnovsky, Trotignon, Trunck and Vuskovic proved that forbidding this unfriendly decomposition permits to recursively decompose Berge graphs using 2-join and complement 2-join until reaching a basic graph, and they found an efficient combinatorial algorithm to color those graphs. We apply their decomposition result to prove that perfect graphs with no balanced skew-partition admit a quadratic-size Clique-Stable Set Separator, by taking advantage of the good behavior of 2-join with respect to this property. We then generalize this result and prove that the Strong Erdos-Hajnal property holds in this class, which means that every such graph has a linear-size biclique or complement biclique. This property does not hold for all perfect graphs (Fox 2006), and moreover when the Strong Erdos-Hajnal property holds in a hereditary class of graphs, then both the Erdos-Hajnal property and the polynomial Clique-Stable Set Separation hold.