Showing 20 papers (Total: 81623 papers, 47312 authors in database)
On refined enumerations of totally symmetric self-complementary plane partitions II
In this paper we settle a weak version of a conjecture (i.e. Conjecture 6) by Mills, Robbins and Rumsey in the paper "Self-complementary totally symmetric plane partitions" (J. Combin. Theory Ser. A 42, 277-292). In other words we show that the number of shifted plane partitions invariant under an involution is equal to the number of alternating sign matrices invariant under the vertical flip. We also give a determinantal formula for the general conjecture (Conjecture 6), but this determinant is still hard to evaluate. In this paper we introduce two new classes of domino plane partitions, one has the same cardinality as the set of half-turn symmetric alternating sign matrices and the other has the same cardinality as the set of vertically symmetric alternating sign matrices.
Notes on the roots of Ehrhart polynomials
Published
• View Publication
• BIB
We determine lattice polytopes of smallest volume with a given number of interior lattice points. We show that the Ehrhart polynomials of those with one interior lattice point have largest roots with norm of order n^2, where n is the dimension. This improves on the previously best known bound n and complements a recent result of Braun where it is shown that the norm of a root of an Ehrhart polynomial is at most of order n^2.
For the class of 0-symmetric lattice polytopes we present a conjecture on the smallest volume for a given number of interior lattice points and prove the conjecture for crosspolytopes.
We further give a characterisation of the roots of the Ehrhart polyomials in the 3-dimensional case and we classify for n\leq 4 all lattice polytopes whose roots of their Ehrhart polynomials have all real part -1/2. These polytopes belong to the class of reflexive polytopes.
Faulhaber's Theorem on Power Sums
Published
• View Publication
• BIB
We observe that the classical Faulhaber's theorem on sums of odd powers also holds for an arbitrary arithmetic progression, namely, the odd power sums of any arithmetic progression $a+b, a+2b, ..., a+nb$ is a polynomial in $na+n(n+1)b/2$. While this assertion can be deduced from the original Fauhalber's theorem, we give an alternative formula in terms of the Bernoulli polynomials. Moreover, by utilizing the central factorial numbers as in the approach of Knuth, we derive formulas for $r$-fold sums of powers without resorting to the notion of $r$-reflexive functions. We also provide formulas for the $r$-fold alternating sums of powers in terms of Euler polynomials.
Random Matrices, Graphical Enumeration and the Continuum Limit of Toda Lattices
Published
• View Publication
• BIB
In this paper we derive a hierarchy of differential equations which uniquely determine the coefficients in the asymptotic expansion, for large $N$, of the logarithm of the partition function of $N \times N$ Hermitian random matrices. These coefficients are generating functions for graphical enumeration on Riemann surfaces. The case that we particularly consider is for an underlying measure that differs from the Gaussian weight by a single monomial term of degree $2ν$. The coupling parameter for this term plays the role of the independent dynamical variable in the differential equations. From these equations one may deduce functional analytic characterizations of the coefficients in the asymptotic expansion. Moreover, this ode system can be solved recursively to explicitly construct these coefficients as functions of the coupling parameter. This analysis of the fine structure of the asymptotic coefficients can be extended to multiple coupling parameters and we present a limited illustration of this for the case of two parameters.
Integer sequences and matrices over finite fields
Published in Journal of Integer Sequences, 9, 2006, Article 06.2.1
• Search Publication
In this expository article we collect the integer sequences that count several different types of matrices over finite fields and provide references to the Online Encyclopedia of Integer Sequences (OEIS). Section 1 contains the sequences, their generating functions, and examples. Section 2 contains the proofs of the formulas for the coefficients and the generating functions of those sequences if the proofs are not easily available in the literature. The cycle index for matrices is an essential ingredient in most of the derivations.
Shellability and higher Cohen-Macaulay connectivity of generalized cluster complexes
Published
• View Publication
• BIB
Let $Φ$ be a finite root system of rank $n$ and let $m$ be a nonnegative integer. The generalized cluster complex $Δ^m (Φ)$ was introduced by S. Fomin and N. Reading. It was conjectured by these authors that $Δ^m (Φ)$ is shellable and by V. Reiner that it is $(m+1)$-Cohen-Macaulay, in the sense of Baclawski. These statements are proved in this paper. Analogous statements are shown to hold for the positive part $Δ^m_+ (Φ)$ of $Δ^m (Φ)$. An explicit homotopy equivalence is given between $Δ^m_+ (Φ)$ and the poset of generalized noncrossing partitions, associated to the pair $(Φ, m)$ by D. Armstrong.
Antichains in partially ordered sets of singular cofinality
Published
• View Publication
• BIB
In their paper from 1981, Milner and Sauer conjectured that for any poset P, if cf(P)=lambda>cf(lambda)=kappa, then P must contain an antichain of size kappa. We prove that for lambda>cf(lambda)=kappa, if there exists a cardinal mu<lambda such that cov(lambda,mu,kappa,2)=lambda, then any poset of cofinality lambda contains lambda^kappa antichains of size kappa. The hypothesis of our theorem is very weak and is a consequence of many well-known axioms such as GCH, SSH and PFA. The consistency of the negation of this hypothesis is unknown.
Shuffling cards for blackjack, bridge, and other card games
This paper is about the following question: How many riffle shuffles mix a deck of card for games such as blackjack and bridge? An object that comes up in answering this question is the descent polynomial associated with pairs of decks, where the decks are allowed to have repeated cards. We prove that the problem of computing the descent polynomial given a pair of decks is $#P$-complete. We also prove that the coefficients of these polynomials can be approximated using the bell curve. However, as must be expected in view of the $#P$-completeness result, approximations using the bell curve are not good enough to answer our question. Some of our answers to the main question are supported by theorems, and others are based on experiments supported by heuristic arguments. In the introduction, we carefully discuss the validity of our answers.
Rational Combinatorics
Published in Adv. in Appl. Math. 40 (2008) 107-126
• View Publication
• BIB
We propose a categorical setting for the study of the combinatorics of rational numbers. We find combinatorial interpretation for the Bernoulli and Euler numbers and polynomials.
Faces of generalized cluster complexes and noncrossing partitions
Published
• View Publication
• BIB
Let $Φ$ be an finite root system with corresponding reflection group $W$ and let $m$ be a nonnegative integer. We consider the generalized cluster complex $Δ^m(Φ)$ defined by S. Fomin and N. Reading and the poset $NC_{(m)}(W)$ of $m$-divisible noncrossing partitions defined by D. Armstrong. We give a characterization of the faces of $Δ^m(Φ)$ in terms of $NC_{(m)}(W)$, generalizing that of T. Brady and C. Watt given in the case $m=1$. Making use of this, we give a case free proof of a conjecture of F. Chapoton and D. Armstrong, which relates a certain refined face count of $Δ^m(Φ)$ with the Möbius function of $NC_{(m)}(W)$.
Division by three
We prove without appeal to the Axiom of Choice that for any sets A and B, if there is a one-to-one correspondence between 3 cross A and 3 cross B then there is a one-to-one correspondence between A and B. The first such proof, due to Lindenbaum, was announced by Lindenbaum and Tarski in 1926, and subsequently `lost'; Tarski published an alternative proof in 1949. We argue that the proof presented here follows Lindenbaum's original.
Parallelepipeds, Nilpotent Groups, and Gowers Norms
Published
• View Publication
• BIB
In his proof of Szemeredi's Theorem, Gowers introduced certain norms that are defined on a parallelepiped structure. A natural question is on which sets a parallelepiped structure (and thus a Gowers norm) can be defined. We focus on dimensions 2 and 3 and show when this possible, and describe a correspondence between the parallelepiped structures nilpotent groups.
Free Arrangements over Finite Field
Published in Proc. Japan Acad. Vol. 82, Ser. A, no. 10 (2006), 179-182
• View Publication
• BIB
The freeness of hyperplane arrangements in a three dimensional vector space over finite field is discussed. We prove that if the number of hyperplanes is greater than some bound, then the freeness is determined by the characteristic polynomial.
On tiling rectangles via the Frobenius number
In this paper, we give some sufficient conditions for a $n$-dimensional rectangle to be tiled with a set of bricks. These conditions are obtained by using the so-called Frobenius number.
Inapproximability of the Tutte polynomial
Published in Infomation and Computation 206(7), 908-929 (July 2008)
• View Publication
• BIB
The Tutte polynomial of a graph G is a two-variable polynomial T(G;x,y) that encodes many interesting properties of the graph. We study the complexity of the following problem, for rationals x and y: take as input a graph G, and output a value which is a good approximation to T(G;x,y). Jaeger, Vertigan and Welsh have completely mapped the complexity of exactly computing the Tutte polynomial. They have shown that this is #P-hard, except along the hyperbola (x-1)(y-1)=1 and at four special points. We are interested in determining for which points (x,y) there is a "fully polynomial randomised approximation scheme" (FPRAS) for T(G;x,y). Under the assumption RP is not equal to NP, we prove that there is no FPRAS at (x,y) if (x,y) is in one of the half-planes x<-1 or y<-1 (excluding the easy-to-compute cases mentioned above). Two exceptions to this result are the half-line x<-1, y=1 (which is still open) and the portion of the hyperbola (x-1)(y-1)=2 corresponding to y<-1 which we show to be equivalent in difficulty to approximately counting perfect matchings. We give further intractability results for (x,y) in the vicinity of the origin. A corollary of our results is that, under the assumption RP is not equal to NP, there is no FPRAS at the point (x,y)=(0,1--lambda) when λ>2 is a positive integer. Thus there is no FPRAS for counting nowhere-zero λflows for λ>2. This is an interesting consequence of our work since the corresponding decision problem is in P for example for λ=6.
Ihara zeta functions for periodic simple graphs
Published in in C*-algebras and elliptic theory II, p. 103 - 121. Edited by D.Burghelea, R.Melrose, A.Mishchenko, E.Troitsky. Trends in Mathematics, Birkhauser Verlag, Basel, 2008
• View Publication
• BIB
The definition and main properties of the Ihara zeta function for graphs are reviewed, focusing mainly on the case of periodic simple graphs. Moreover, we give a new proof of the associated determinant formula, based on the treatment developed by Stark and Terras for finite graphs.
Determinantal Characterization of Canonical Curves and Combinatorial Theta Identities
Published in Math. Ann. 355 (2013) 327-362
• View Publication
• BIB
We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/2 theta identities. A remarkable mechanism, based on a basis of H^0(K_C) expressed in terms of Szego kernels, reduces such identities to a simple rank condition for matrices whose entries are logarithmic derivatives of theta functions. Such a basis, together with the Fay trisecant identity, also leads to the solution of the question of expressing the determinant of Brill-Noether matrices in terms of theta functions, without using the problematic Klein-Fay section sigma.
Full heaps and representations of affine Kac--Moody algebras
We give a combinatorial construction, not involving a presentation, of almost all untwisted affine Kac--Moody algebras modulo their one-dimensional centres in terms of signed raising and lowering operators on a certain distributive lattice ${\Cal B}$. The lattice ${\Cal B}$ is constructed combinatorially as a set of ideals of a ``full heap'' over the Dynkin diagram, which leads to a kind of categorification of the positive roots for the Kac--Moody algebra. The lattice ${\Cal B}$ is also a crystal in the sense of Kashiwara, and its span affords representations of the associated quantum affine algebra and affine Weyl group. There are analogues of these results for two infinite families of twisted affine Kac--Moody algebras, which we hope to treat more fully elsewhere.
By restriction, we obtain combinatorial constructions of the finite dimensional simple Lie algebras over $\complex$, except those of types $E_8$, $F_4$ and $G_2$. The Chevalley basis corresponding to an arbitrary orientation of the Dynkin diagram is then represented explicitly by raising and lowering operators. We also obtain combinatorial constructions of the spin modules for Lie algebras of types $B$ and $D$, which avoid Clifford algebras, and in which the action of Chevalley bases on the canonical bases of the modules may be explicitly calculated.
Asymptotic behaviour of the simple random walk on the 2-comb
Published
• View Publication
• BIB
We analyze the differences between the horizontal and the vertical component of the simple random walk on the 2-dimensional comb. In particular we evaluate by combinatorial methods the asymptotic behaviour of the expected value of the distance from the origin, the maximal deviation and the maximal span in $n$ steps, proving that for all these quantities the order is $n^{1/4}$ for the horizontal projection and $n^{1/2}$ for the vertical one (the exact constants are determined). Then we rescale the two projections of the random walk dividing by $n^{1/4}$ and $n^{1/2}$ the horizontal and vertical ones, respectively. The limit process is obtained. As a corollary of the estimate of the expected value of the maximal deviation, the walk dimension is determined, showing that the Einstein relation between the fractal, spectral and walk dimensions does not hold on the comb.
On Factorisations of Matrices and Abelian Groups
We establish correspondances between factorisations of finite abelian groups (direct factors, unitary factors, non isomorphic subgroup classes) and factorisations of integer matrices. We then study counting functions associated to these factorisations and find average orders.