Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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.
Symmetric Bipartite Graphs and Graphs with Loops
Published
• View Publication
• BIB
We show that if the two parts of a finite bipartite graph have the same degree sequence, then there is a bipartite graph, with the same degree sequences, which is symmetric, in that it has an involutive graph automorphism that interchanges its two parts. To prove this, we study the relationship between symmetric bipartite graphs and graphs with loops.
On a real analogue of Bezout inequality and the number of connected components of sign conditions
Published
• View Publication
• BIB
Let $\mathrm{R}$ be a real closed field and $Q_1, \ldots, Q_{\ell} \in \mathrm{R}[X_1, \ldots,X_k]$ such that for each $i, 1 \leq i \leq \ell$, $\mathrm{deg} (Q_i) \leq d_i$. For $1 \leq i \leq \ell$, denote by $\mathcal{Q}_i = \{Q_1, \ldots, Q_i \}$, $V_i$ the real variety defined by $\mathcal{Q}_i$, and $k_i$ an upper bound on the real dimension of $V_i$ (by convention $V_0 = \mathrm{R}^k$ and $k_0 = k$). Suppose also that \[ 2 \leq d_1 \leq d_2 \leq \frac{1}{k + 1} d_3 \leq \frac{1}{(k + 1)^2} d_4 \leq \cdots \leq \frac{1}{(k + 1)^{\ell - 3}} d_{\ell - 1} \leq \frac{1}{(k + 1)^{\ell - 2}} d_{\ell}, \] and that $\ell \leq k$. We prove that the number of semi-algebraically connected components of $V_{\ell}$ is bounded by \[ O (k)^{2 k} \left(\prod_{1 \leq j < \ell} d_j^{k_{j - 1} - k_j} \right) d_{\ell}^{k_{\ell - 1}}. \] This bound can be seen as a weak extension of the classical Bezout inequality (which holds only over algebraically closed fields and is false over real closed fields) to varieties defined over real closed fields. Additionally, if $\mathcal{P} \subset \mathrm{R}[X_1, \ldots, X_k]$ is a finite family of polynomials with $\mathrm{deg} (P) \leq d$ for all $P \in \mathcal{P}$, $\mathrm{card}( \mathcal{P}) = s$, and $d_{\ell} \leq \frac{1}{k + 1} d$, we prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of the family $\mathcal{P}$ restricted to $V_{\ell}$ is bounded by \[ O (k)^{2 k} (s d)^{k_{\ell}} \left(\prod_{1 \leq j \leq \ell} d_j^{k_{j - 1} - k_j} \right). \]
Testing Mutual Duality of Planar Graphs
Published
• View Publication
• BIB
We introduce and study the problem \mpd, which asks for two planar graphs $G_1$ and $G_2$ whether $G_1$ can be embedded such that its dual is isomorphic to $G_2$. Our algorithmic main result is an NP-completeness proof for the general case and a linear-time algorithm for biconnected graphs. To shed light onto the combinatorial structure of the duals of a planar graph, we consider the \emph{common dual relation} $\sim$, where $G_1 \sim G_2$ if and only if they have a common dual. While $\sim$ is generally not transitive, we show that the restriction to biconnected graphs is an equivalence relation. In this case, being dual to each other carries over to the equivalence classes, i.e., two graphs are dual to each other if and only if any two elements of their respective equivalence classes are dual to each other.
To achieve the efficient testing algorithm for \mpd on biconnected graphs, we devise a succinct representation of the equivalence class of a biconnected planar graph. It is similar to SPQR-trees and represents exactly the graphs that are contained in the equivalence class. The testing algorithm then works by testing in linear time whether two such representations are isomorphic. We note that a special case of \mpd is testing whether a graph $G$ is self-dual. Our algorithm handles the case where $G$ is biconnected and our NP-hardness proof extends to testing self-duality of general planar graphs and also to testing map self-duality, where a graph $G$ is map self-dual if it admits a planar embedding $\mathcal G$ such that $G^\star$ is isomorphic to $G$, and additionally the embedding induced by $\mathcal G$ on $G^\star$ is $\mathcal G$.
Difference Sets with Few Character Values
Published in Designs, Codes and Cryptography, 73 (2014), 825-839
• View Publication
• BIB
The known families of difference sets can be subdivided into three classes: difference sets with Singer parameters, cyclotomic difference sets, and difference sets with gcd$(v,n)>1$. It is remarkable that all the known difference sets with gcd$(v,n)>1$ have the so-called character divisibility property. In 1997, Jungnickel and Schmidt posed the problem of constructing difference sets with gcd$(v,n)>1$ that do not satisfy this property. In an attempt to attack this problem, we use difference sets with three nontrivial character values as candidates, and get some necessary conditions.
Minimal zero-sum sequences of length five over finite cyclic groups
Let $G$ be a finite cyclic group. Every sequence $S$ of length $l$ over $G$ can be written in the form $S=(n_1g)\cdot\ldots\cdot(n_lg)$ where $g\in G$ and $n_1, \ldots, n_l\in[1, \ord(g)]$, and the index $\ind(S)$ of $S$ is defined to be the minimum of $(n_1+\cdots+n_l)/\ord(g)$ over all possible $g\in G$ such that $\langle g \rangle =G$. In this paper, we determine the index of any minimal zero-sum sequence $S$ of length 5 when $G=\langle g\rangle$ is a cyclic group of a prime order and $S$ has the form $S=g^2(n_2g)(n_3g)(n_4g)$. It is shown that if $G=\langle g\rangle$ is a cyclic group of prime order $p \geq 31$, then every minimal zero-sum sequence $S$ of the above mentioned form has index 1 except in the case that $S=g^2(\frac{p-1}{2}g)(\frac{p+3}{2}g)((p-3)g)$.
Minimal zero-sum sequences of length four over finite cyclic groups II
Published
• View Publication
• BIB
Let $G$ be a finite cyclic group. Every sequence $S$ over $G$ can be written in the form $S=(n_1g)\cdot\ldots\cdot(n_lg)$ where $g\in G$ and $n_1, \ldots, n_l\in[1, \ord(g)]$, and the index $\ind(S)$ of $S$ is defined to be the minimum of $(n_1+\cdots+n_l)/\ord(g)$ over all possible $g\in G$ such that $\langle g \rangle =G$. An open problem on the index of length four sequences asks whether or not every minimal zero-sum sequence of length 4 over a finite cyclic group $G$ with $\gcd(|G|, 6)=1$ has index 1. In this paper, we show that if $G=\langle g\rangle$ is a cyclic group with order of a product of two prime powers and $\gcd(|G|, 6)=1$, then every minimal zero-sum sequence $S$ of the form $S=(g)(n_2g)(n_3g)(n_4g)$ has index 1. In particular, our result confirms that the above problem has an affirmative answer when the order of $G$ is a product of two different prime numbers or a prime power, extending a recent result by the first author, Plyley, Yuan and Zeng.
Ptolemy diagrams and torsion pairs in the cluster categories of Dynkin type D
Published
• View Publication
• BIB
We give a complete classification of torsion pairs in the cluster category of Dynkin type D_n, via a bijection to new combinatorial objects called Ptolemy diagrams of type D. For the latter we give along the way different combinatorial descriptions. One of these allows us to count the number of torsion pairs in the cluster category of type D_n by providing their generating function explicitly.