Showing 20 papers (Total: 82432 papers, 47671 authors in database)
A proof for Padberg's conjecture on rank of matching polytope
Padberg introduced a geometric notion of ranks for (mixed) integer rational polyhedrons and conjectured that the geometric rank of the matching polytope is one. In this work, we prove that this conjecture is true.
A binary deletion channel with a fixed number of deletions
Published in Combinator. Probab. Comp. 24 (2015) 486-489
• View Publication
• BIB
Suppose a binary string x = x_1...x_n is being broadcast repeatedly over a faulty communication channel. Each time, the channel delivers a fixed number m of the digits (m<n) with the lost digits chosen uniformly at random, and the order of the surviving digits preserved. How large does m have to be to reconstruct the message?
Counting unlabeled k-trees
Published in Journal of Combinatorial Theory, Series A 126 (2014): 177-193
• View Publication
• BIB
We count unlabeled k-trees by properly coloring them in k+1 colors and then counting orbits of these colorings under the action of the symmetric group on the colors.
Canonical forms for free κ-semigroups
Published
• View Publication
• BIB
The implicit signature k consists of the multiplication and the (ω-1)-power. We describe a procedure to transform each κ-term over a finite alphabet A into a certain canonical form and show that different canonical forms have different interpretations over some finite semigroup. The procedure of construction of the canonical forms, which is inspired in McCammond's normal form algorithm for ω-terms interpreted over the pseudovariety A of all finite aperiodic semigroups, consists in applying elementary changes determined by an elementary set Σ of pseudoidentities. As an application, we deduce that the variety of κ-semigroups generated by the pseudovariety S of all finite semigroups is defined by the set Σ and that the free κ-semigroup generated by the alphabet A in that variety has decidable word problem. Furthermore, we show that each ω-term has a unique ω-term in canonical form with the same value over A. In particular, the canonical forms provide new, simpler, representatives for ω-terms interpreted over that pseudovariety.
Remarks on Combinatorial Aspects of the KP Equation
Published
• View Publication
• BIB
We survey several results connecting combinatorics and Wronskian solutions of the KP equation, contextualizing the successes of a recent approach introduced by Kodama, et. al. We include the necessary combinatorial and analytical background to present a formula for generalized KP solitons, compute several explicit examples, and indicate how such a perspective could be used to extend previous research relating line-soliton solutions of the KP equation with Grassmannians.
Results on the Erd\H os-Falconer distance problem in $\mathbb{Z}_q^d$ for odd $q$
The Erd\H os-Falconer distance problem in $\mathbb{Z}_q^d$ asks one to show that if $E \subset \mathbb{Z}_q^d$ is of sufficiently large cardinality, then $Δ(E) := \{(x_1 - y_1)^2 + \dots + (x_d - y_d)^2 : x, y \in E\}$ satisfies $Δ(E) = \mathbb{Z}_q$. Here, $\mathbb{Z}_q$ is the set of integers modulo $q$, and $\mathbb{Z}_q^d$ is the free module of rank $d$ over $\mathbb{Z}_q$. We extend known results in two directions. Previous results were known only in the setting $q = p^{\ell}$, where $p$ is an odd prime, and as such only showed that all units were obtained in the distance set. We remove the constriction that $q$ is a power of a prime, and despite this, shows that the distance set of $E$ contains \emph{all} of $\mathbb{Z}_q$ whenever $E$ is sufficiently large.
A note on star-like configurations in finite settings
Given $E \subset \mathbb{F}_q^d$, we show that certain configurations occur frequently when $E$ is of sufficiently large cardinality. Specifically, we show that we achieve the statistically number of $k$-stars $\displaystyle\left|\left\{(x, x^1, \dots, x^k) \in E^{k+1} : \| x - x^i \| = t_i \right\}\right|$ when is $|E| \gg_k q^{\frac{d+1}{2}}$. This result can be thought of as a natural generalization of the Erd\H os-Falconer distance problem. Our result improves on a pinned-version of our theorem which implied the above result, but only in the range $|E| \gg q^{\frac{d+k}{2}}$. As an immediate corollary, this demonstrates that when $|E| \gg c_k q^{\frac{d+1}{2}}$, then $E$ determines a positive proportion of all $k$-stars. Our results also extend to the setting of integers mod $q$.
Chromatic-choosability of the power of graphs
Published
• View Publication
• BIB
The $k$th power $G^k$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^k$ if the distance between $u$ and $v$ in $G$ is at most $k$. Let $χ(H)$ and $χ_l(H)$ be the chromatic number and the list chromatic number of $H$, respectively. A graph $H$ is called {\em chromatic-choosable} if $χ_l (H) = χ(H)$. It is an interesting problem to find graphs that are chromatic-choosable. A natural question raised by Xuding Zhu (2012) is whether there exists a constant integer $k$ such that $G^k$ is chromatic-choosable for every graph $G$. Motivated by the List Total Coloring Conjecture, Kostochka and Woodall (2001) asked whether $G^2$ is chromatic-choosable for every graph $G$. Kim and Park (2013) answered the Kostochka and Woodall's question in the negative by finding a family of graphs whose squares are complete multipartite graphs with partite sets of equal and unbounded size. In this paper, we answer Zhu's question by showing that for every integer $k \geq 2$, there exists a graph $G$ such that $G^k$ is not chromatic-choosable. Moreover, for any fixed $k$ we show that the value $χ_l(G^k) - χ(G^k)$ can be arbitrarily large.
New proofs of two $q$-analogues of Koshy's formula
Published
• View Publication
• BIB
In this paper we prove a $q$-analogue of Koshy's formula in terms of the Narayana polynomial due to Lassalle and a $q$-analogue of Koshy's formula in terms of $q$-hypergeometric series due to Andrews by applying the inclusion-exclusion principle on Dyck paths and on partitions. We generalize these two $q$-analogues of Koshy's formula for $q$-Catalan numbers to that for $q$-Ballot numbers. This work also answers an open question by Lassalle and two questions raised by Andrews in 2010. We conjecture that if $n$ is odd, then for $m\ge n\ge 1$, the polynomial $(1+q^n){m\brack n-1}_q$ is unimodal. If $n$ is even, for any even $j\ne 0$ and $m\ge n\ge 1$, the polynomial $(1+q^n)[j]_q{m\brack n-1}_q$ is unimodal. This implies the answer to the second problem posed by Andrews.
Detecting induced subgraphs
Published in B. Lévêque, D. Lin, F. Maffray, and N. Trotignon. Detecting induced subgraphs. Discrete Applied Mathematics, 157:3540-3551, 2009
• View Publication
• BIB
An \emph{s-graph} is a graph with two kinds of edges: \emph{subdivisible} edges and \emph{real} edges. A \emph{realisation} of an s-graph $B$ is any graph obtained by subdividing subdivisible edges of $B$ into paths of arbitrary length (at least one). Given an s-graph $B$, we study the decision problem $Π_B$ whose instance is a graph $G$ and question is "Does $G$ contain a realisation of $B$ as an induced subgraph?". For several $B$'s, the complexity of $Π_B$ is known and here we give the complexity for several more. Our NP-completeness proofs for $Π_B$'s rely on the NP-completeness proof of the following problem. Let $\cal S$ be a set of graphs and $d$ be an integer. Let $Γ_{\cal S}^d$ be the problem whose instance is $(G, x, y)$ where $G$ is a graph whose maximum degree is at most d, with no induced subgraph in $\cal S$ and $x, y \in V(G)$ are two non-adjacent vertices of degree 2. The question is "Does $G$ contain an induced cycle passing through $x, y$?". Among several results, we prove that $Γ^3_{\emptyset}$ is NP-complete. We give a simple criterion on a connected graph $H$ to decide whether $Γ^{+\infty}_{\{H\}}$ is polynomial or NP-complete. The polynomial cases rely on the algorithm three-in-a-tree, due to Chudnovsky and Seymour.
The four-in-a-tree problem in triangle-free graphs
Published in N. Derhy, C. Picouleau and N. Trotignon. The four-in-a-tree problem for triangle-free graphs. Graphs and Combinatorics, 25:489-502, 2009
• View Publication
• BIB
The three-in-a-tree algorithm of Chudnovsky and Seymour decides in time $O(n^4)$ whether three given vertices of a graph belong to an induced tree. Here, we study four-in-a-tree for triangle-free graphs. We give a structural answer to the following question: what does a triangle-free graph look like if no induced tree covers four given vertices? Our main result says that any such graph must have the "same structure", in a sense to be defined precisely, as a square or a cube.
We provide an $O(nm)$-time algorithm that given a triangle-free graph $G$ together with four vertices outputs either an induced tree that contains them or a partition of $V(G)$ certifying that no such tree exists. We prove that the problem of deciding whether there exists a tree $T$ covering the four vertices such that at most one vertex of $T$ has degree at least 3 is NP-complete.
A structure theorem for graphs with no cycle with a unique chord and its consequences
Published in N. Trotignon and K. Vu\v skovi ć. A structure theorem for graphs with no cycle with a unique chord and its consequences. Journal of Graph Theory, 63(1):31-67, 2010
• View Publication
• BIB
We give a structural description of the class $\cal C$ of graphs that do not contain a cycle with a unique chord as an induced subgraph. Our main theorem states that any connected graph in $\cal C$ is either in some simple basic class or has a decomposition. Basic classes are chordless cycles, cliques, bipartite graphs with one side containing only nodes of degree two and induced subgraphs of the famous Heawood or Petersen graph. Decompositions are node cutsets consisting of one or two nodes and edge cutsets called 1-joins. Our decomposition theorem actually gives a complete structure theorem for ${\cal C}$, i.e. every graph in ${\cal C}$ can be built from basic graphs that can be explicitly constructed, and gluing them together by prescribed composition operations; and all graphs built this way are in ${\cal C}$.
This has several consequences: an ${\cal O}(nm)$-time algorithm to decide whether a graph is in $\cal C$, an ${\cal O}(n+m)$-time algorithm that finds a maximum clique of any graph in $\cal C$ and an ${\cal O}(nm)$-time coloring algorithm for graphs in $\cal C$. We prove that every graph in $\cal C$ is either 3-colorable or has a coloring with $ω$ colors where $ω$ is the size of a largest clique. The problem of finding a maximum stable set for a graph in $\cal C$ is known to be NP-hard.
On the Erdös-Lovász Tihany Conjecture for Claw-Free Graphs
In 1968, Erdös and Lovász conjectured that for every graph $G$ and all integers $s,t\geq 2$ such that $s+t-1=χ(G) > ω(G)$, there exists a partition $(S,T)$ of the vertex set of $G$ such that $χ(G|S)\geq s$ and $χ(G|T)\geq t$. For general graphs, the only settled cases of the conjecture are when $s$ and $t$ are small. Recently, the conjecture was proved for a few special classes of graphs: graphs with stability number 2 \cite{quasi-line}, line graphs \cite{line} and quasi-line graphs \cite{quasi-line}. In this paper, we consider the conjecture for claw-free graphs and present some progress on it.
A human proof of Gessel's lattice path conjecture
Published in Transactions of the American Mathematical Society 369 (2017) 1365-1393
• View Publication
• BIB
Gessel walks are lattice paths confined to the quarter plane that start at the origin and consist of unit steps going either West, East, South-West or North-East. In 2001, Ira Gessel conjectured a nice closed-form expression for the number of Gessel walks ending at the origin. In 2008, Kauers, Koutschan and Zeilberger gave a computer-aided proof of this conjecture. The same year, Bostan and Kauers showed, again using computer algebra tools, that the complete generating function of Gessel walks is algebraic. In this article we propose the first "human proofs" of these results. They are derived from a new expression for the generating function of Gessel walks in terms of Weierstrass zeta functions.
A generalization of Alternating Sign Matrices
Published
• View Publication
• BIB
In alternating sign matrices the first and last nonzero entry in each row and column is specified to be +1.
Such matrices always exist. We investigate a generalization by specifying independently the sign of the first and last nonzero entry in each row and column to be either a +1 or a -1. We determine necessary and sufficient conditions for such matrices to exist.
Saturated simple and $k$-simple topological graphs
Published in Computational Geometry: Theory and Applications 48 (2015), Issue 4, 295-310
• View Publication
• BIB
A simple topological graph $G$ is a graph drawn in the plane so that any pair of edges have at most one point in common, which is either an endpoint or a proper crossing. $G$ is called saturated if no further edge can be added without violating this condition. We construct saturated simple topological graphs with $n$ vertices and $O(n)$ edges. For every $k>1$, we give similar constructions for $k$-simple topological graphs, that is, for graphs drawn in the plane so that any two edges have at most $k$ points in common. We show that in any $k$-simple topological graph, any two independent vertices can be connected by a curve that crosses each of the original edges at most $2k$ times. Another construction shows that the bound $2k$ cannot be improved. Several other related problems are also considered.
On a class of squarefree monomial ideals of linear type
Published
• View Publication
• BIB
In a recent work, Fouli and Lin generalized a Villarreal's result and showed that if each connected components of the line graph of a squarefree monomial ideal contains at most a unique odd cycle, then this ideal is of linear type. In this short note, we reprove this result with Villarreal's original ideas together with a method of Conca and De Negri. We also propose a class of squarefree monomial ideals of linear type.
Curves in R^d intersecting every hyperplane at most d+1 times
By a curve in R^d we mean a continuous map gamma:I -> R^d, where I is a closed interval. We call a curve gamma in R^d at most k crossing if it intersects every hyperplane at most k times (counted with multiplicity). The at most d crossing curves in R^d are often called convex curves and they form an important class; a primary example is the moment curve {(t,t^2,...,t^d):t\in[0,1]}. They are also closely related to Chebyshev systems, which is a notion of considerable importance, e.g., in approximation theory. We prove that for every d there is M=M(d) such that every at most d+1 crossing curve in R^d can be subdivided into at most M convex curves. As a consequence, based on the work of Elias, Roldan, Safernova, and the second author, we obtain an essentially tight lower bound for a geometric Ramsey-type problem in R^d concerning order-type homogeneous sequences of points, investigated in several previous papers.
Approximate Constraint Satisfaction Requires Large LP Relaxations
Published
• View Publication
• BIB
We prove super-polynomial lower bounds on the size of linear programming relaxations for approximation versions of constraint satisfaction problems. We show that for these problems, polynomial-sized linear programs are exactly as powerful as programs arising from a constant number of rounds of the Sherali-Adams hierarchy.
In particular, any polynomial-sized linear program for Max Cut has an integrality gap of 1/2 and any such linear program for Max 3-Sat has an integrality gap of 7/8.
Large and symmetric: The Khukhro--Makarenko theorem on laws --- without laws
Published in Journal of Algebra, 2015, 424, 222-241
• View Publication
• BIB
We prove a generalisation of the Khukhro--Makarenko theorem on large characteristic subgroups with laws. This general fact implies new results on groups, algebras, and even graphs and other structures. Concerning groups, we obtain, e.g., a fact in a sense dual to the Khukhro--Makarenko theorem. A graph-theoretic corollary is an analogue of this theorem in which planarity plays the role of a multilinear identity. We answer also a question of Makarenko and Shumyatsky.