Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Dedekind-Carlitz Polynomials as Lattice-Point Enumerators in Rational Polyhedra
Published in Math. Ann. 341, no. 4 (2008), 945-961
• View Publication
• BIB
We study higher-dimensional analogs of the Dedekind-Carlitz polynomials c(u,v;a,b) := sum_{k=1..b-1} u^[ka/b] v^(k-1), where u and v are indeterminates and a and b are positive integers. Carlitz proved that these polynomials satisfy the reciprocity law (v-1) c(u,v;a,b) + (u-1) c(v,u;b,a) = u^(a-1) v^(b-1) - 1, from which one easily deduces many classical reciprocity theorems for the Dedekind sum and its generalizations. We illustrate that Dedekind-Carlitz polynomials appear naturally in generating functions of rational cones and use this fact to give geometric proofs of the Carlitz reciprocity law and various extensions of it. Our approach gives rise to new reciprocity theorems and computational complexity results for Dedekind-Carlitz polynomials, a characterization of Dedekind-Carlitz polynomials in terms of generating functions of lattice points in triangles, and a multivariate generalization of the Mordell-Pommersheim theorem on the appearance of Dedekind sums in Ehrhart polynomials of 3-dimensional lattice polytopes.
Discrete sets with minimal moment of inertia
Published
• View Publication
• BIB
This paper has been withdrawn by the author due to a crucial error in the proof of Theorem 1.
Fair Triangulations
We describe the statistics of checkerboard triangulations obtained by colouring black every other triangle in triangulations of convex polygons.
Partitioning 3-homogeneous latin bitrades
Published
• View Publication
• BIB
A latin bitrade $(T^{\diamond}, T^{\otimes})$ is a pair of partial latin squares which defines the difference between two arbitrary latin squares $L^{\diamond} \supseteq T^{\diamond}$ and $L^{\diamond} \supseteq T^{\otimes}$ of the same order. A 3-homogeneous bitrade $(T^{\diamond}, T^{\otimes})$ has three entries in each row, three entries in each column, and each symbol appears three times in $T^{\diamond}$. Cavenagh (2006) showed that any 3-homogeneous bitrade may be partitioned into three transversals. In this paper we provide an independent proof of Cavenagh's result using geometric methods. In doing so we provide a framework for studying bitrades as tessellations of spherical, euclidean or hyperbolic space.
Characterizing Generic Global Rigidity
Published in American Journal of Mathematics, 132 (2010), no. 4, 897--939
• View Publication
• BIB
A d-dimensional framework is a graph and a map from its vertices to E^d. Such a framework is globally rigid if it is the only framework in E^d with the same graph and edge lengths, up to rigid motions. For which underlying graphs is a generic framework globally rigid? We answer this question by proving a conjecture by Connelly, that his sufficient condition is also necessary: a generic framework is globally rigid if and only if it has a stress matrix with kernel of dimension d+1, the minimum possible.
An alternate version of the condition comes from considering the geometry of the length-squared mapping l: the graph is generically locally rigid iff the rank of l is maximal, and it is generically globally rigid iff the rank of the Gauss map on the image of l is maximal.
We also show that this condition is efficiently checkable with a randomized algorithm, and prove that if a graph is not generically globally rigid then it is flexible one dimension higher.
A Step Beyond Kemperman's Structure Theorem
Published
• View Publication
• BIB
A classical result of Kemperman gives a complete recursive description of the structure of those subsets $A$ and $B$ of an abelian group that fail to satisfy the triangle inequality, i.e., $|A+B|<|A|+|B|$. In this paper, we achieve the complete description in the case when equality holds: $|A+B|=|A|+|B|$.
The Newton polygon of a rational plane curve
The Newton polygon of the implicit equation of a rational plane curve is explicitly determined by the multiplicities of any of its parametrizations. We give an intersection-theoretical proof of this fact based on a refinement of the Kushnirenko-Bernstein theorem. We apply this result to the determination of the Newton polygon of a curve parameterized by generic Laurent polynomials or by generic rational functions, with explicit genericity conditions. We also show that the variety of rational curves with given Newton polygon is unirational and we compute its dimension. As a consequence, we obtain that any convex lattice polygon with positive area is the Newton polygon of a rational plane curve.
Formulas for Birkhoff-(Rota-Baxter) decompositions related to connected bialgebra
In recent years, The BPHZ algorithm for renormalization in quantum field theory has been interpreted, after dimensional regularization, as the Birkhoff-(Rota-Baxter) decomposition (BRB) of characters on the Hopf algebra of Feynmann graphs, with values in a Rota-Baxter algebra. We give in this paper formulas for the BRB decomposition in the group $\mathcal{C}(H, A)$ of characters on a connected Hopf algebra $H$, with values in a Rota-Baxter (commutative) algebra $A$. To do so we first define the stuffle (or quasi-shuffle) Hopf algebra $A^{\tmop{st}}$ associated to an algebra $A$. We prove then that for any connected Hopf algebra $H = k 1_H \oplus H'$, there exists a canonical injective morphism from $H$ to $H'^{\tmop{st}}$. This morphism induces an action of $\mathcal{C}(A^{\tmop{st}}, A)$ on $\mathcal{C}(H, A)$ so that the BRB decomposition in $\mathcal{C}(H, A)$ is determined by the action of a unique (universal) element of $\mathcal{C}(A^{\tmop{st}}, A)$.
Some Properties of Hypergeometric Series Associated with Mirror Symmetry
Published
• View Publication
• BIB
We show that certain hypergeometric series used to formulate mirror symmetry for Calabi-Yau hypersurfaces, in string theory and algebraic geometry, satisfy a number of interesting properties. Many of these properties are used in separate papers to verify the BCOV prediction for the genus one Gromov-Witten invariants of a quintic threefold and more generally to compute the genus one Gromov-Witten invariants of any Calabi-Yau projective hypersurface.
Operated semigroups, Motzkin paths and rooted trees
Published in J. Algebraic Combinatorics 29 (2009) 35-62
• View Publication
• BIB
Combinatorial objects such as rooted trees that carry a recursive structure have found important applications recently in both mathematics and physics. We put such structures in an algebraic framework of operated semigroups. This framework provides the concept of operated semigroups with intuitive and convenient combinatorial descriptions, and at the same time endows the familiar combinatorial objects with a precise algebraic interpretation. As an application, we obtain constructions of free Rota-Baxter algebras in terms of Motzkin paths and rooted trees.
Differential Birkhoff decomposition and the renormalization of multiple zeta values
Published in J. Number Theory vol 128 (2008), 2318-2339
• View Publication
• BIB
In the Hopf algebra approach of Connes and Kreimer on renormalization of quantum field theory, the renormalization process is views as a special case of the Algebraic Birkhoff Decomposition. We give a differential algebra variation of this decomposition and apply this to the study of multiple zeta values.
Rota-Baxter operators on generalized power series rings
Published in J. Algebra and Its Applications, 8 (2009) 557-564
• View Publication
• BIB
An important instance of Rota-Baxter algebras from their quantum field theory application is the ring of Laurent series with a suitable projection. We view the ring of Laurent series as a special case of generalized power series rings with exponents in an ordered monoid. We study when a generalized power series ring has a Rota-Baxter operator and how this is related to the ordered monoid.
Permutation statistics related to a class of noncommutative symmetric functions and generalizations of the Genocchi numbers
Published in Selecta Math. (N.S.) 15 (2009), no. 1, 105--119
• View Publication
• BIB
We prove conjectures of the third author [L. Tevlin, Proc. FPSAC'07, Tianjin] on two new bases of noncommutative symmetric functions: the transition matrices from the ribbon basis have nonnegative integral coefficients. This is done by means of two composition-valued statistics on permutations and packed words, which generalize the combinatorics of Genocchi numbers.
Human proofs of identities by Osburn and Schneider
Osburn and Schneider derived several combinatorial identities involving harmonic numbers using the computer programm Sigma. Here, they are derived by partial fraction decomposition and creative telescoping.
Planar trees, free nonassociative algebras, invariants, and elliptic integrals
Published in Algebra Discrete Math. 2008, no. 2, 1-41
• Search Publication
We consider absolutely free nonassociative algebras and, more generally, absolutely free algebras with (maybe infinitely) many multilinear operations. Such algebras are described in terms of labeled reduced planar rooted trees. This allows to apply combinatorial techniques to study their Hilbert series and the asymptotics of their coefficients. These algebras satisfy the Nielsen-Schreier property and their subalgebras are also free. Then, over a field of characteristic 0, we investigate the subalgebras of invariants under the action of a linear group, their sets of free generators and their Hilbert series. It has turned out that, except in the trivial cases, the algebra of invariants is never finitely generated. In important partial cases the Hilbert series of the algebras of invariants and the generating functions of their sets of free generators are expressed in terms of elliptic integrals.
Combinatorial Aspects of Elliptic Curves II: Relationship between Elliptic Curves and Chip-Firing Games on Graphs
Let q be a power of a prime and E be an elliptic curve defined over F_q. In "Combinatorial aspects of elliptic curves" [17], the present author examined a sequence of polynomials which express the N_k's, the number of points on E over the field extensions F_{q^k}, in terms of the parameters q and N_1 = #E(F_q). These polynomials have integral coefficients which alternate in sign, and a combinatorial interpretation in terms of spanning trees of wheel graphs. In this sequel, we explore further ramifications of this connection. In particular, we highlight a relationship between elliptic curves and chip-firing games on graphs by comparing the groups structures of both. As a coda, we construct a cyclic rational language whose zeta function is dual to that of an elliptic curve.
Matrix pairs over discrete valuation rings determine Littlewood-Richardson fillings
Published
• View Publication
• BIB
Let M and N be two r x r matrices over a discrete valuation ring of characteristic zero. The orders (with respect to a uniformizing parameter) of the invariant factors of M form a partition of non-negative integers, called the invariant partition of M. Let the invariant partition of M be mu, of N be nu, and of the product MN be lambda. In this paper we construct a Littlewood-Richardson filling of the skew shape lambda/mu with content nu, and show that this filling is an invariant of the orbit of the pair (M,N) with respect to a natural group action on the pair. We relate the algebraic combinatorics of Littlewood-Richardson fillings to a special semicanonical matrix in the orbit of (M,N), from which the Littlewood-Richardson filling, and other combinatorial invariants may be obtained.
Graph model of the Heisenberg-Weyl algebra
Published in J. Phys.: Conf. Ser. 213, 012014 (2010)
• View Publication
• BIB
We consider an algebraic formulation of Quantum Theory and develop a combinatorial model of the Heisenberg-Weyl algebra structure. It is shown that by lifting this structure to the richer algebra of graph operator calculus, we gain a simple interpretation involving, for example, the natural composition of graphs. This provides a deeper insight into the algebraic structure of Quantum Theory and sheds light on the intrinsic combinatorial underpinning of its abstract formalism.
Schur type functions associated with polynomial sequences of binomial type
Published
• View Publication
• BIB
We introduce a class of Schur type functions associated with polynomial sequences of binomial type. This can be regarded as a generalization of the ordinary Schur functions and the factorial Schur functions. This generalization satisfies some interesting expansion formulas, in which there is a curious duality. Moreover this class includes examples which are useful to describe the eigenvalues of Capelli type central elements of the universal enveloping algebras of classical Lie algebras.
Graphs on Surfaces and the Partition Function of String Theory
Graphs on surfaces is an active topic of pure mathematics belonging to graph theory. It has also been applied to physics and relates discrete and continuous mathematics. In this paper we present a formal mathematical description of the relation between graph theory and the mathematical physics of discrete string theory. In this description we present problems of the combinatorial world of real importance for graph theorists. The mathematical details of the paper are as follows: There is a combinatorial description of the partition function of bosonic string theory. In this combinatorial description the string world sheet is thought as simplicial and it is considered as a combinatorial graph. It can also be said that we have embeddings of graphs in closed surfaces. The discrete partition function which results from this procedure gives a sum over triangulations of closed surfaces. This is known as the vacuum partition function. The precise calculation of the partition function depends on combinatorial calculations involving counting all non-isomorphic triangulations and all spanning trees of a graph. The exact computation of the partition function turns out to be very complicated, however we show the exact expressions for its computation for the case of any closed orientable surface. We present a clear computation for the sphere and the way it is done for the torus, and for the non-orientable case of the projective plane.