Showing 20 papers (Total: 82311 papers, 47607 authors in database)
On the Complexity of Maximum Clique Algorithms: usage of coloring heuristics leads to the 2^(n\5) algorithm running time lower bound
Maximum Clique Problem(MCP) is one of the 21 original NP--complete problems enumerated by Karp in 1972. In recent years a large number of exact methods to solve MCP have been appeared(Babel, Wood, Kumlander, Fahle, Li, Tomita and etc). Most of them are branch and bound algorithms that use branching rule introduced by Balas and Yu and based on coloring heuristics to establish an upper bound on the clique number. They differ from each other primarily in vertex preordering and vertex coloring methods. Current methods of worst case running time analysis for branch and bound algorithms do not allow to provide tight upper bounds. This motivates the study of lower bounds for such algorithms. We prove 2^(n\5) lower bound for group of MCP algorithms based on usage of coloring heuristics.
On f-Symmetries of the Independence Polynomial
Published
• View Publication
• BIB
An independent set in a graph is a set of pairwise non-adjacent vertices, and a(G) is the size of a maximum independent set in the graph G. If s_{k} is the number of independent sets of cardinality k in G, then I(G;x)=s_0+s_1*x+s_2*x^2+...+s_a*x^a,a=a(G), is called the independence polynomial of G (I. Gutman and F. Harary, 1983). If s_{a-i}=f(i)*s_{i} holds for every i, then I(G;x) is called f-symmetric (f-palindromic). If f(i)=1, then I(G;x) is symmetric (palindromic). The corona of the graphs G and H is the graph G*H obtained by joining each vertex of G to all the vertices of a copy of H. In this paper we show that if H is a graph with p vertices, q edges, and alpha(H)=2, then I(G*H;x) is f-symmetric for some elegant function f. In particular, if H = K_{r}-e, we show that I(G*H;x) is symmetric and unimodal, with a unique mode. This finding generalizes results due to (Stevanovic, 1998) and (Mandrescu, 2012) claiming that I(G*(K_2-e);x)=I(G*2K_1;x) is symmetric and unimodal for every graph G.
Generalized Dyck paths of bounded height
Generalized Dyck paths (or discrete excursions) are one-dimensional paths that take their steps in a given finite set S, start and end at height 0, and remain at a non-negative height. Bousquet-Mélou showed that the generating function E_k of excursions of height at most k is of the form F_k/F_{k+1}, where the F_k are polynomials satisfying a linear recurrence relation. We give a combinatorial interpretation of the polynomials F_k and of their recurrence relation using a transfer matrix method. We then extend our method to enumerate discrete meanders (or paths that start at 0 and remain at a non-negative height, but may end anywhere). Finally, we study the particular case where the set S is symmetric and show that several simplifications occur.
On the conjecture about the nonexistence of rotation symmetric bent functions
In this paper, we describe a different approach to the proof of the nonexistence of homogeneous rotation symmetric bent functions. As a result, we obtain some new results which support the conjecture made in this journal, i.e., there are no homogeneous rotation symmetric bent functions of degree >2. Also we characterize homogeneous degree 2 rotation symmetric bent functions by using GCD of polynomials.
A symmetric unimodal decomposition of the derangement polynomial of type $B$
The derangement polynomial $d_n (x)$ for the symmetric group enumerates derangements by the number of excedances. The derangement polynomial $d^B_n(x)$ for the hyperoctahedral group is a natural type $B$ analogue. A new combinatorial formula for this polynomial is given in this paper. This formula implies that $d^B_n (x)$ decomposes as a sum of two nonnegative, symmetric and unimodal polynomials whose centers of symmetry differ by a half and thus provides a new transparent proof of its unimodality. A geometric interpretation, analogous to Stanley's interpretation of $d_n (x)$ as the local $h$-polynomial of the barycentric subdivision of the simplex, is given to one of the summands of this decomposition. This interpretation leads to a unimodal decomposition and a new formula for the Eulerian polynomial of type $B$. The various decomposing polynomials introduced here are also studied in terms of recurrences, generating functions, combinatorial interpretations, expansions and real-rootedness.
Minimal Generating Sets of Lattice Ideals
Published
• View Publication
• BIB
Let $L\subset \mathbb{Z}^n$ be a lattice and $I_L=\langle x^{\bf u}-x^{\bf v}:\ {\bf u}-{\bf v}\in L\rangle$ be the corresponding lattice ideal in $\Bbbk[x_1,\ldots, x_n]$, where $\Bbbk$ is a field. In this paper we describe minimal binomial generating sets of $I_L$ and their invariants. We use as a main tool a graph construction on equivalence classes of fibers of $I_L$. As one application of the theory developed we characterize binomial complete intersection lattice ideals, a longstanding open problem in the case of non-positive lattices.
On Milgram's construction and the Duke embedding conjectures
Milgram constructed a 28-vertex cubic graph of genus 4 that disproved Duke's conjecture relating Betti number to minimum genus. We apply Milgram's method to construct to find graphs of higher genus violating Duke's conjecture, which gives a sharper bound on that relationship. These graphs are also counterexamples to a related conjecture of Nordhaus et al. on the relationship between minimum and maximum genera of graphs. As a side note, we give a simpler proof of correctness for Milgram's method and we show that Duke's conjecture is true for genus at most 3.
On the class of dominant and subordinate products
Published
• View Publication
• BIB
In this paper we provide proofs of two new theorems that provide a broad class of partition inequalities and that illustrate a naïve version of Andrews' anti-telescoping technique quite well. These new theorems also put to rest any notion that including parts of size 1 is somehow necessary in order to have a valid irreducible partition inequality. In addition, we prove (as a lemma to one of the theorems) a rather nontrivial class of rational functions of three variables has entirely nonnegative power series coefficients.
F_p is locally like C
Published
• View Publication
• BIB
Vu, Wood and Wood showed that any finite set S in a characteristic zero integral domain can be mapped to F_p, for infinitely many primes p, while preserving finitely many algebraic incidences of S. In this note we show that the converse essentially holds, namely any small subset of F_p can be mapped to some finite algebraic extension of Q, while preserving bounded algebraic relations. This answers a question of Vu, Wood and Wood. We give several applications, in particular we show that for small subsets of F_p, the Szemerédi-Trotter theorem holds with optimal exponent 4/3, and we improve the previously best-known sum-product estimate in F_p. We also give an application to an old question of Rényi. The proof of the main result is an application of elimination theory and is similar in spirit with the proof of the quantitative Hilbert Nullstellensatz.
Descent-Inversion Statistics in Riffle Shuffles
This paper studies statistics of riffle shuffles by relating them to random word statistics with the use of inverse shuffles. Asymptotic normality of the number of descents and inversions in riffle shuffles with convergence rates of order $1/\sqrt{n}$ in the Kolmogorov distance are proven. Results are also given about the lengths of the longest alternating subsequences of random permutations resulting from riffle shuffles. A sketch of how the theory of multisets can be useful for statistics of a variation of top $m$ to random shuffles is presented.
Inverses of triangular matrices and bipartite graphs
Published
• View Publication
• BIB
To a given nonsingular triangular matrix A with entries from a ring, we associate a weighted bipartite graph G(A) and give a combinatorial description of the inverse of A by employing paths in G(A). Under a certain condition, nonsingular triangular matrices A such that A and A^{-1} have the same zero-nonzero pattern are characterized. A combinatorial construction is given to construct outer inverses of the adjacency matrix of a weighted tree.
Fan-type degree condition restricted to triples of induced subgraphs ensuring Hamiltonicity
Published in Inform. Process. Lett. Vol. 113 (2013) 823--826
• View Publication
• BIB
In 1984, Fan gave a sufficient condition involving maximum degree of every pair of vertices at distance two for a graph to be Hamiltonian. Motivated by Fan's result, we say that an induced subgraph $H$ of a graph $G$ is $f$-heavy if for every pair of vertices $u,v\in V(H)$, $d_{H}(u,v)=2$ implies that $\max\{d(u),d(v)\}\geq n/2$. For a given graph $R$, $G$ is called $R$-$f$-heavy if every induced subgraph of $G$ isomorphic to $R$ is $f$-heavy. For a family $\mathcal{R}$ of graphs, $G$ is $\mathcal{R}$-$f$-\emph{heavy} if $G$ is $R$-$f$-heavy for every $R\in \mathcal{R}$. In this note we show that every 2-connected graph $G$ has a Hamilton cycle if $G$ is $\{K_{1,3},P_7,D\}$-$f$-heavy or $\{K_{1,3},P_7,H\}$-$f$-heavy, where $D$ is the deer and $H$ is the hourglass. Our result is a common generalization of previous theorems of Broersma et al. and Fan on Hamiltonicity of 2-connected graphs.
A New Proof of Vinogradov's Three Primes Theorem
Published
• View Publication
• BIB
We give a new proof of Vinogradov's three primes theorem, which asserts that all sufficiently large odd positive integers can be written as the sum of three primes. Existing proofs rely on the theory of L-functions, either explicitly or implicitly. Our proof uses instead a transference principle, the idea of which was first developed by Green. To make our argument work, we also develop an additive combinatorial result concerning popular sums, which may be of independent interest.
A $q$-Queens Problem. I. General Theory
Published in Electronic Journal of Combinatorics, 21 (2014), no. 3, Paper P3.33, 28 pp. MR 3262270. Zbl 1298.05021
• View Publication
• BIB
By means of the Ehrhart theory of inside-out polytopes we establish a general counting theory for nonattacking placements of chess pieces with unbounded straight-line moves, such as the queen, on a polygonal convex board. The number of ways to place $q$ identical nonattacking pieces on a board of variable size $n$ but fixed shape is given by a quasipolynomial function of $n$, of degree $2q$, whose coefficients are polynomials in $q$. The number of combinatorially distinct types of nonattacking configuration is the evaluation of our quasipolynomial at $n=-1$. The quasipolynomial has an exact formula that depends on a matroid of weighted graphs, which is in turn determined by incidence properties of lines in the real affine plane. We study the highest-degree coefficients and also the period of the quasipolynomial, which is needed if the quasipolynomial is to be interpolated from data, and which is bounded by some function, not well understood, of the board and the piece's move directions.
In subsequent parts we specialize to the square board and then to subsets of the queen's moves, and we prove exact formulas (most but not all already known empirically) for small numbers of queens, bishops, and nightriders.
Each part concludes with open questions, both specialized and broad.
An upper bound for nonnegative rank
Published
• View Publication
• BIB
We provide a nontrivial upper bound for the nonnegative rank of rank-three matrices, which allows us to prove that [6(n+1)/7] linear inequalities suffice to describe a convex n-gon up to a linear projection.
A problem around Mahler functions
Let $K$ be a field of characteristic zero and $k$ and $l$ be two multiplicatively independent positive integers. We prove the following result that was conjectured by Loxton and van der Poorten during the Eighties: a power series $F(z)\in K[[z]]$ satisfies both a $k$- and a $l$-Mahler type functional equation if and only if it is a rational function.
Knots in collapsible and non-collapsible balls
Published in Electronic Journal of Combinatorics 20 (2013), No.3, Paper P31, 29 pages
• View Publication
• BIB
We construct the first explicit example of a simplicial 3-ball B_{15,66} that is not collapsible. It has only 15 vertices. We exhibit a second 3-ball B_{12,38} with 12 vertices that is collapsible and evasive, but not shellable. Finally, we present the first explicit triangulation of a 3-sphere S_{18, 125} (with only 18 vertices) that is not locally constructible. All these examples are based on knotted subcomplexes with only three edges; the knots are the trefoil, the double trefoil, and the triple trefoil, respectively. The more complicated the knot is, the more distant the triangulation is from being polytopal, collapsible, etc. Further consequences of our work are:
(1) Unshellable 3-spheres may have vertex-decomposable barycentric subdivisions.
(This shows the strictness of an implication proven by Billera and Provan.)
(2) For d-balls, vertex-decomposable implies non-evasive implies collapsible, and for d=3 all implications are strict.
(This answers a question by Barmak.)
(3) Locally constructible 3-balls may contain a double trefoil knot as a 3-edge subcomplex.
(This improves a result of Benedetti and Ziegler.)
(4) Rudin's ball is non-evasive.
Exactly $m$-coloured complete infinite subgraphs
Published
• View Publication
• BIB
Given an edge colouring of a graph with a set of $m$ colours, we say that the graph is (exactly) $m$-coloured if each of the colours is used. The question of finding exactly $m$-coloured complete subgraphs was first considered by Erickson in 1994; in 1999, Stacey and Weidl partially settled a conjecture made by Erickson and raised some further questions. In this paper, we shall study, for a colouring of the edges of the complete graph on $\mathbb{N}$ with exactly $k$ colours, how small the set of natural numbers $m$ for which there exists an $m$-coloured complete infinite subgraph can be. We prove that this set must have size at least $\sqrt{2k}$; this bound is tight for infinitely many values of $k$. We also obtain a version of this result for colourings that use infinitely many colours.
On smooth Gorenstein polytopes
Published
• View Publication
• BIB
A Gorenstein polytope of index r is a lattice polytope whose r-th dilate is a reflexive polytope. These objects are of interest in combinatorial commutative algebra and enumerative combinatorics, and play a crucial role in Batyrev's and Borisov's computation of Hodge numbers of mirror-symmetric generic Calabi-Yau complete intersections. In this paper, we report on what is known about smooth Gorenstein polytopes, i.e., Gorenstein polytopes whose normal fan is unimodular. We classify d-dimensional smooth Gorenstein polytopes with index larger than (d+3)/3. Moreover, we use a modification of Oebro's algorithm to achieve classification results for smooth Gorenstein polytopes in low dimensions. The first application of these results is a database of all toric Fano d-folds whose anticanonical divisor is divisible by an integer r larger than d-8. As a second application we verify that there are only finitely many families of Calabi-Yau complete intersections of fixed dimension that are associated to a smooth Gorenstein polytope via the Batyrev-Borisov construction.
An improvement of a result of Zverovich--Zverovich
Published
• View Publication
• BIB
We give an improvement of a result of Zverovich and Zverovich which gives a condition on the first and last elements in a decreasing sequence of positive integers for the sequence to be graphic, that is, the degree sequence of a finite graph.