Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the degree of regularity of generalized van der Waerden triples
Published
• View Publication
• BIB
Let $1 \leq a \leq b$ be integers. A triple of the form $(x,ax+d,bx+2d)$, where $x,d$ are positive integers is called an {\em (a,b)-triple}. The {\em degree of regularity} of the family of all $(a,b)$-triples, denoted dor($a,b)$, is the maximum integer $r$ such that every $r$-coloring of $\mathbb{N}$ admits a monochromatic $(a,b)$-triple. We settle, in the affirmative, the conjecture that dor$(a,b) < \infty$ for all $(a,b) \neq (1,1)$. We also disprove the conjecture that dor($a,b) \in \{1,2,\infty\}$ for all $(a,b)$.
Coagulation--fragmentation duality, Poisson--Dirichlet distributions and random recursive trees
Published in Annals of Applied Probability 2006, Vol. 16, No. 4, 1733-1750
• View Publication
• BIB
In this paper we give a new example of duality between fragmentation and coagulation operators. Consider the space of partitions of mass (i.e., decreasing sequences of nonnegative real numbers whose sum is 1) and the two-parameter family of Poisson--Dirichlet distributions $\operatorname {PD}(α,θ)$ that take values in this space. We introduce families of random fragmentation and coagulation operators $\mathrm {Frag}_α$ and $\mathrm {Coag}_{α,θ}$, respectively, with the following property: if the input to $\mathrm {Frag}_α$ has $\operatorname {PD}(α,θ)$ distribution, then the output has $\operatorname {PD}(α,θ+1)$ distribution, while the reverse is true for $\mathrm {Coag}_{α,θ}$. This result may be proved using a subordinator representation and it provides a companion set of relations to those of Pitman between $\operatorname {PD}(α,θ)$ and $\operatorname {PD}(αβ,θ)$. Repeated application of the $\mathrm {Frag}_α$ operators gives rise to a family of fragmentation chains. We show that these Markov chains can be encoded naturally by certain random recursive trees, and use this representation to give an alternative and more concrete proof of the coagulation--fragmentation duality.
Polyhedra of genus 2 with 10 vertices and minimal coordinates
We give coordinate-minimal geometric realizations in general position of all 865 vertex-minimal triangulations of the orientable surface of genus 2 in the 4x4x4-cube.
Elementary elliptic $(R,q)$-polycycles
Published
• View Publication
• BIB
We consider the following generalization of the decomposition theorem for polycycles. A {\em $(R,q)$-polycycle} is, roughly, a plane graph, whose faces, besides some disjoint {\em holes}, are $i$-gons, $i \in R$, and whose vertices, outside of holes, are $q$-valent. Such polycycle is called {\em elliptic}, {\em parabolic} or {\em hyperbolic} if $\frac{1}{q} + \frac{1}{r} - {1/2}$ (where $r={max_{i \in R}i}$) is positive, zero or negative, respectively.
An edge on the boundary of a hole in such polycycle is called {\em open} if both its end-vertices have degree less than $q$. We enumerate all elliptic {\em elementary} polycycles, i.e. those that any elliptic $(R,q)$-polycycle can be obtained from them by agglomeration along some open edges.
Computing Tropical Varieties
Published in J. Symb. Comput. 42 (2007), no. 1-2, 54--73
• View Publication
• BIB
The tropical variety of a $d$-dimensional prime ideal in a polynomial ring with complex coefficients is a pure $d$-dimensional polyhedral fan. This fan is shown to be connected in codimension one. We present algorithmic tools for computing the tropical variety, and we discuss our implementation of these tools in the Gröbner fan software \texttt{Gfan}. Every ideal is shown to have a finite tropical basis, and a sharp lower bound is given for the size of a tropical basis for an ideal of linear forms.
Reverse Lexicographic and Lexicographic Shifting
Published
• View Publication
• BIB
A short new proof of the fact that all shifted complexes are fixed by reverse lexicographic shifting is given. A notion of lexicographic shifting, $Δ_{\lex}$ -- an operation that transforms a monomial ideal of $S=\field[x_i: i\in\N]$ that is finitely generated in each degree into a squarefree strongly stable ideal -- is defined and studied. It is proved that (in contrast to the reverse lexicographic case) a squarefree strongly stable ideal $I\subset S$ is fixed by lexicographic shifting if and only if $I$ is a universal squarefree lexsegment ideal (abbreviated USLI) of $S$. Moreover, in the case when $I$ is finitely generated and is not a USLI, it is verified that all the ideals in the sequence $\{Δ_{\lex}^i(I)\}_{i=0}^{\infty}$ are distinct. The limit ideal $\barΔ(I)=\lim_{i\to\infty}Δ_{\lex}^i(I)$ is well defined and is a USLI that depends only on a certain analog of the Hilbert function of $I$.
Exact Euler Maclaurin formulas for simple lattice polytopes
Published
• View Publication
• BIB
Euler Maclaurin formulas for a polytope express the sum of the values of a function over the lattice points in the polytope in terms of integrals of the function and its derivatives over faces of the polytope or its expansions. Exact Euler Maclaurin formulas [Khovanskii-Pukhlikov, Cappell-Shaneson, Guillemin, Brion-Vergne] apply to exponential or polynomial functions; Euler Maclaurin formulas with remainder [Karshon-Sternberg-Weitsman] apply to more general smooth functions.
In this paper we review these results and present proofs of the exact formulas obtained by these authors, using elementary methods. We then use an algebraic formalism due to Cappell and Shaneson to relate the different formulas.
On the Metric Dimension of Cartesian Products of Graphs
Published in SIAM J. Discrete Mathematics, 21(2):423-441, 2007
• View Publication
• BIB
A set S of vertices in a graph G resolves G if every vertex is uniquely determined by its vector of distances to the vertices in S. The metric dimension of G is the minimum cardinality of a resolving set of G. This paper studies the metric dimension of cartesian products G*H. We prove that the metric dimension of G*G is tied in a strong sense to the minimum order of a so-called doubly resolving set in G. Using bounds on the order of doubly resolving sets, we establish bounds on G*H for many examples of G and H. One of our main results is a family of graphs G with bounded metric dimension for which the metric dimension of G*G is unbounded.
Ehrhart polynomial and Successive Minima
Published in Mathematika 52 (2005), 1-16
• View Publication
• BIB
We investigate the Ehrhart polynomial for the class of 0-symmetric convex lattice polytopes in Euclidean $n$-space $\mathbb{R}^n$. It turns out that the roots of the Ehrhart polynomial and Minkowski's successive minima are closely related by their geometric and arithmetic mean. We also show that the roots of lattice $n$-polytopes with or without interior lattice points differ essentially. Furthermore, we study the structure of the roots in the planar case. Here it turns out that their distribution reflects basic properties of lattice polygons.
Long arithmetic progressions in sumsets: Thresholds and Bounds
For a set $A$ of integers, the sumset $lA =A+...+A$ consists of those numbers which can be represented as a sum of $l$ elements of $A$
$$lA =\{a_1+... a_l| a_i \in A_i \}. $$
A closely related and equally interesting notion is that of $l^{\ast}A$, which is the collection of numbers which can be represented as a sum of $l$ different elements of $A$
$$l^{\ast} A =\{a_1+... a_l| a_i \in A_i, a_i \neq a_j \}. $$
The goal of this paper is to investigate the structure of $lA$ and $l^{\ast}A$, where $A$ is a subset of $\{1,2, ..., n\}$. As applications, we solve two conjectures by Erdös and Folkman, posed in sixties.
A Combinatorial Interpretation for the coefficients in the Kronecker Product $s_{(n-p,p)}\ast s_λ$ (Multiplicities in the Kronecker Product $s_{(n-p,p)}\ast s_λ$)
Published in Sém. Lothar. Combin. 54A (2005/07), Art. B54Af
• Search Publication
In this paper we give a combinatorial interpretation for the coefficient of $s_ν$ in the Kronecker product $s_{(n-p,p)}\ast s_λ$, where $λ=(λ_1, ..., λ_{\ell(λ)})\vdash n$, if $\ell(λ)\geq 2p-1$ or $λ_1\geq 2p-1$; that is, if $λ$ is not a partition inside the $2(p-1)\times 2(p-1)$ square. For $λ$ inside the square our combinatorial interpretation provides an upper bound for the coefficients. In general, we are able to combinatorially compute these coefficients for all $λ$ when $n>(2p-2)^2$. We use this combinatorial interpretation to give characterizations for multiplicity free Kronecker products. We have also obtained some formulas for special cases.
A q-analogue of Wolstenholme's harmonic series congruence
Published
• View Publication
• BIB
We establish a q-analogue of Wolstenholme's harmonic series congruence.
On Orbital variety closures in sl_n. III Geometric properties
Published in Journal of Algebra, 305, 2006, pp. 68-97
• Search Publication
This is the third paper in the series. Here we define a few combinatorial orders on Young tableaux. The first order is obtained from induced Duflo order by the extension with the help of Vogan T_{α, β} procedure. We call it Duflo-Vogan order. The second order is obtained from the generalization of Spaltenstein's construction by consideration of an orbital variety as a double chain of nilpotent orbits. We call it the chain order. Again, we use Vogan's T_{α, β} procedure, however, this time to restrict the chain order. We call it Vogan-chain order. The order on Young tableaux defined by the inclusion of orbital variety closures is called a geometric order and the order on Young tableaux defined by inverse inclusion of primitive ideals is called an algebraic order.
We get the following relations between the orders: Duflo-Vogan order is an extension of the induced Duflo order; the algebraic order is an extension of Duflo-Vogan order; the geometric order is an extension of the algebraic order; Vogan-chain order is an extension of the geometric order; and, finally, the chain order is an extension of Vogan-chain order. The computationsshow that Duflo-Vogan and Vogan-chain orders coincide on sl_n for n<10 and in n=10 there is one case (up to T_{α,β} procedure and transposition) where Vogan-chain order is a proper extension of Duflo-Vogan order. In this only case the algebraic order coincides with Vogan-chain order. These computations permit us to conjecture that in sl_n the algebraic order coincides with the geometric order. As well we conjecture that the combinatorics of both the inclusions on primitive ideals and on orbital variety closures is defined by Vogan-chain order on Young tableaux.
A q-analogue of Lehmer's congruence
Published
• View Publication
• BIB
We establish the q-analogue of a classical congruence of Lehmer. Also, the q-analogues of two congruences of Morley and Granville are given.
Switching operations for Hadamard matrices
Published
• View Publication
• BIB
We define several operations that switch substructures of Hadamard matrices thereby producing new, generally inequivalent, Hadamard matrices. These operations have application to the enumeration and classification of Hadamard matrices. To illustrate their power, we use them to greatly improve the lower bounds on the number of equivalence classes of Hadamard matrices in orders 32 and 36 to 3,578,006 and 18,292,717.
A general lower bound for mixing of single-site dynamics on graphs
Published in Annals of Applied Probability 2007, Vol. 17, No. 3, 931-952
• View Publication
• BIB
We prove that any Markov chain that performs local, reversible updates on randomly chosen vertices of a bounded-degree graph necessarily has mixing time at least $Ω(n\log n)$, where $n$ is the number of vertices. Our bound applies to the so-called ``Glauber dynamics'' that has been used extensively in algorithms for the Ising model, independent sets, graph colorings and other structures in computer science and statistical physics, and demonstrates that many of these algorithms are optimal up to constant factors within their class. Previously, no superlinear lower bound was known for this class of algorithms. Though widely conjectured, such a bound had been proved previously only in very restricted circumstances, such as for the empty graph and the path. We also show that the assumption of bounded degree is necessary by giving a family of dynamics on graphs of unbounded degree with mixing time O(n).
A refinement of Cayley's formula for trees
Published in Electronic J. Combin. 11, no. 2 (2004-6), R27
• View Publication
• BIB
A proper vertex of a rooted tree with totally ordered vertices is a vertex that is less than all its proper descendants. We count several kinds of labeled rooted trees and forests by the number of proper vertices. Our results are all expressed in terms of the polynomials P_n(a,b,c)= c(a+(n-1)b+c)(2a+(n-2)b+c)...((n-1)a+b+c) which reduce to (n+1)^{n-1} for a=b=c=1.
Our study of proper vertices was motivated by A. Postnikov's hook length formula for binary trees (arXiv:math.CO/0507163), which was also proved by W. Y. C. Chen and L. L. M. Yang (arXiv:math.CO/0507163) and generalized by R. R. X. Du and F. Liu (arXiv:math.CO/0501147). Our approach gives a new proof of Du and Liu's results and gives new hook length formulas.
We also find an interpretation of the polynomials P_n(a,b,c) in terms of parking functions: we count parking functions according to the number of cars that park in their preferred parking spaces.
Lattices generated by skeletons of reflexive polytopes
Published
• View Publication
• BIB
Lattices generated by lattice points in skeletons of reflexive polytopes are essential in determining the fundamental group and integral cohomology of Calabi-Yau hypersurfaces. Here we prove that the lattice generated by all lattice points in a reflexive polytope is already generated by lattice points in codimension two faces. This answers a question of J. Morgan.
On lengths of rainbow cycles
Published in Electron. J. Combin. 13 (2006), no. 1, Research Paper 105, 14 pp. (electronic)
• View Publication
• BIB
We prove several results regarding edge-colored complete graphs and rainbow cycles, cycles with no color appearing on more than one edge. We settle a question posed by Ball, Pultr, and Vojtěchovský by showing that if such a coloring does not contain a rainbow cycle of length $n$, where $n$ is odd, then it also does not contain a rainbow cycle of length $m$ for all $m$ greater than $2n^2$. In addition, we present two examples which demonstrate that this result does not hold for even $n$. Finally, we state several open problems in the area.
Distances between the winning numbers in Lottery
We prove an interesting fact about Lottery: the winning 6 numbers (out of 49) in the game of the Lottery contain two consecutive numbers with a surprisingly high probability (almost 50%).