Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On m-covers and m-systems
Published
• View Publication
• BIB
Let A={a_s(mod n_s)}_{s=0}^k be a system of residue classes. With the help of cyclotomic fields we obtain a theorem which unifies several previously known results concerning system A. In particular, we show that if every integer lies in more than m=[sum_{s=1}^k 1/n_s] members of A, then for any a=0,1,2,... there are at least binom{m}{[a/n_0]} subsets I of {1,...,k} with sum_{s in I}1/n_s=a/n_0. We also characterize when any integer lies in at most m members of A, where m is a fixed positive integer.
Computational Approaches to Lattice Packing and Covering Problems
Published in Discrete and Computational Geometry 35 (2006), 73-116
• View Publication
• BIB
We describe algorithms which address two classical problems in lattice geometry: the lattice covering and the simultaneous lattice packing-covering problem. Theoretically our algorithms solve the two problems in any fixed dimension d in the sense that they approximate optimal covering lattices and optimal packing-covering lattices within any desired accuracy. Both algorithms involve semidefinite programming and are based on Voronoi's reduction theory for positive definite quadratic forms, which describes all possible Delone triangulations of Z^d.
In practice, our implementations reproduce known results in dimensions d <= 5 and in particular solve the two problems in these dimensions. For d = 6 our computations produce new best known covering as well as packing-covering lattices, which are closely related to the lattice (E6)*. For d = 7, 8 our approach leads to new best known covering lattices. Although we use numerical methods, we made some effort to transform numerical evidences into rigorous proofs. We provide rigorous error bounds and prove that some of the new lattices are locally optimal.
Integer cells in convex sets
Published in Advances in Mathematics 197 (2005), 248--273
• View Publication
• BIB
Every convex body K in R^n has a coordinate projection PK that contains at least vol(0.1 K) cells of the integer lattice PZ^n, provided this volume is at least one. Our proof of this counterpart of Minkowski's theorem is based on an extension of the combinatorial density theorem of Sauer, Shelah and Vapnik-Chervonenkis to Z^n. This leads to a new approach to sections of convex bodies. In particular, fundamental results of the asymptotic convex geometry such as the Volume Ratio Theorem and Milman's duality of the diameters admit natural versions for coordinate sections.
On the sandpile group of regular trees
Published
• View Publication
• BIB
The sandpile group of a connected graph is the group of recurrent configurations in the abelian sandpile model on this graph. We study the structure of this group for the case of regular trees. A description of this group is the following: Let T(d,h) be the d-regular tree of depth h and let V be the set of its vertices. Denote the adjacency matrix of T(d,h) by A and consider the modified Laplacian matrix D:=dI-A. Let the rows of D span the lattice L in Z^V. The sandpile group of T(d,h) is Z^V/L. We compute the rank, the exponent and the order of this abelian group and find a cyclic Hall-subgroup of order (d-1)^h. We find that the base (d-1)-logarithm of the exponent and of the order are asymptotically 3h^2/pi^2 and c_d(d-1)^h, respectively. We conjecture an explicit formula for the ranks of all Sylow subgroups.
Rank three matroids are Rayleigh
Published
• View Publication
• BIB
A Rayleigh matroid is one which satisfies a set of inequalities analogous to the Rayleigh monotonicity property of linear resistive electrical networks. We show that every matroid of rank three satisfies these inequalities.
Weak order complexes
The paper presents geometric models for the set WO of weak orders on a finite set. In particulary, WO is modeled as a set of vertices of a cubical subdivision of a permutahedron. This approach is an alternative to the usual representation of WO by means of weak order polytopes.
An Algebraic Approach to Rectangle Packing Problems
A method for converting the geometrical problem of rectangle packing to an algebraic problem of solving a system of polynomial equations is described.
Boolean Monomial Dynamical Systems
Published in Ann. Comb. 8 (2005) 425-439
• View Publication
• BIB
An important problem in the theory of finite dynamical systems is to link the structure of a system with its dynamics. This paper contains such a link for a family of nonlinear systems over the field with two elements. For systems that can be described by monomials (including Boolean AND systems), one can obtain information about the limit cycle structure from the structure of the monomials. In particular, the paper contains a sufficient condition for a monomial system to have only fixed points as limit cycles. This condition depends on the cycle structure of the dependency graph of the system and can be verified in polynomial time.
Enumeration of symmetry classes of convex polyominoes on the honeycomb lattice
Published in Theoretical Computer Science 346 (2005), 307--334.
• View Publication
• BIB
Hexagonal polyominoes are polyominoes on the honeycomb lattice. We enumerate the symmetry classes of convex hexagonal polyominoes. Here convexity is to be understood as convexity along the three main column directions. We deduce the generating series of free (i.e. up to reflection and rotation) and of asymmetric convex hexagonal polyominoes, according to area and half-perimeter. We give explicit formulas or implicit functional equations for the generating series, which are convenient for computer algebra.
Fermionic field theory for trees and forests
Published in Phys.Rev.Lett. 93 (2004) 080601
• View Publication
• BIB
We prove a generalization of Kirchhoff's matrix-tree theorem in which a large class of combinatorial objects are represented by non-Gaussian Grassmann integrals. As a special case, we show that unrooted spanning forests, which arise as a q \to 0 limit of the Potts model, can be represented by a Grassmann theory involving a Gaussian term and a particular bilocal four-fermion term. We show that this latter model can be mapped, to all orders in perturbation theory, onto the N-vector model at N=-1 or, equivalently, onto the sigma-model taking values in the unit supersphere in R^{1|2}. It follows that, in two dimensions, this fermionic model is perturbatively asymptotically free.
On FPL configurations with four sets of nested arches
Published
• View Publication
• BIB
The problem of counting the number of Fully Packed Loop (FPL) configurations with four sets of a,b,c,d nested arches is addressed. It is shown that it may be expressed as the problem of enumeration of tilings of a domain of the triangular lattice with a conic singularity. After reexpression in terms of non-intersecting lines, the Lindström-Gessel-Viennot theorem leads to a formula as a sum of determinants. This is made quite explicit when min(a,b,c,d)=1 or 2. We also find a compact determinant formula which generates the numbers of configurations with b=d.
De Concini-Procesi wonderful arrangement models - A discrete geometer's point of view
Published
• View Publication
• BIB
This expository article outlines the construction of De Concini-Procesi arrangement models and describes recent progress in understanding their significance from the algebraic, geometric, and combinatorial point of view. Throughout the exposition, a strong emphasis is given to combinatorial and discrete geometric data that lies at the core of the construction.
Goellnitz-Gordon partitions with weights and parity conditions
Published
• View Publication
• BIB
A Goellnitz-Gordon partition is one in which the parts differ by at least 2, and where the inequality is strict if a part is even. Let Q_i(n) denote the number of partitions of n into distinct parts not congruent to i mod 4. By attaching weights which are powers of 2 and imposing certain parity conditions on Goellnitz-Gordon partitions, we show that these are equinumerous with Q_i(n) for i=0,2. These complement results of Goellnitz on Q_i(n) for i=1,3, and of Alladi who provided a uniform treatment of all four Q_i(n), i=0,1,2,3, in terms of weighted partitions into parts differing by >= 4. Our approach here provides a uniform treatment of all four Q_i(n) in terms of certain double series representations. These double series identities are part of a new infinite hierarchy of multiple series identities.
Measure convolution semigroups and non-infinitely divisible probability distributions
Published
• View Publication
• BIB
Let $μ$ be a probability measure (or corresponding random variable) such that all moments $μ_n$ exist. Knowledge of the moments is not sufficient to determine infinite divisibility of the measure; we show also that infinitely divisible, and in particular lognormal, distributions lose infinitely divisibilty when censored in certain ways even if all moments are arbitrarily close to those of the uncensored distribution. The moments of a composition of k copies of $μ$ are expressed as combinatorial compositions of the $μ_n$. We express the moments of the compositions in the context of occupancy problems, arranging n balls in k cells; the classical convolution is described by Maxwell-Boltzmann statistics and is multinomial. For certain non-infinitely divisible measures with moments increasing fast enough the indexing of a k-cell combinatorial composition is extended to indexing by non-negative real t and we construct classical convolution measure semigroups from amongst the t-indexed classes. We prove also that when a random variable with infinitely divisible distribution is embedded in a Lévy process $(Y_t)$ then the t-indexed Maxwell-Boltzmann is the law of $Y_t$. In order to get moment-based multinomial compositions indexed by a continuum we use random measures and random distributions rather than random variables. An alternative approach to embeddability of a non-infinitely divisible $μ$ is by considering non-classical convolution measure semigroups; for example embedding $μ$ in a Boolean convolution measure semigroup and retaining the multinomial character of the moments.embedding $μ$ in a Boolean convolution measure semigroup and retaining the multinomial character of the moments. Embedding $μ$ in an Urbanik convolution measure semigroup loses their multinomial character .
Classification of Six-Point Metrics
Published in The Electronic Journal of Combinatorics 11 (2004), #R44
• View Publication
• BIB
There are 339 combinatorial types of generic metrics on six points. They correspond to the 339 regular triangulations of the second hypersimplex Δ(6,2), which also has 14 non-regular triangulations.
A Homotopy Theory for Graphs
The recently introduced A-homotopy groups for graphs are investigated. The main concern of the present article is the construction of an infinite cell complex, the homotopy groups of which are isomorphic to the A-homotopy groups of the given graph. We present a natural candidate for such a cell complex, together with a homomorphism between the corresponding groups that indeed yields an isomorphism, if a cubical analog of the simplicial approximation theorem holds, which - so far - we were unable to prove.
Computational Topology of Equivariant Maps from Spheres to Complements of Arrangements
We use a well known problem in discrete and computational geometry (partitions of measures by $k$-fans) as a motivation and as a point of departure to illustrate many aspects, both theoretical and computational, of the problem of calculating the obstructions for the existence of equivariant maps. A variety of techniques are introduced and discussed with the emphasis on concrete and explicit calculations. This eventually leads (Theorems 18 and 19) to an almost exhaustive analysis of when such maps do or do not exist in the particular case of interest.
First contact remarks on umbra difference calculus references streams
Published in Bull. Soc. Sci. Lett. Lodz, 60, (2005) pp. 17-25 ArXiv: math.CO/0403139
• Search Publication
The reference links to the modern classical umbral calculus before that known as blissardian symbolic method are numerous. Rota founded and then extended finite operator calculus has links to references which are plenty numerous. The references via links to the difference q calculus umbra way treaded or without even referring to umbra are giant numerous. These reference links now result in counting in thousands the relevant papers .
The purpose of the present attempt is to offer one of the keys to enter the world of those thousands of references.
Analytic proof of the partition identity $A_{5,3,3}(n) = B^0_{5,3,3}(n)$
Published in Ramanujan J. 15 (2008), 77-86.
• View Publication
• BIB
In this paper we give an analytic proof of the identity $A_{5,3,3}(n) =B^0_{5,3,3}(n)$, where $A_{5,3,3}(n)$ counts the number of partitions of $n$ subject to certain restrictions on their parts, and $B^0_{5,3,3}(n)$ counts the number of partitions of $n$ subject to certain other restrictions on their parts, both too long to be stated in the abstract. Our proof establishes actually a refinement of that partition identity. The original identity was first discovered by the first author jointly with M. Ruby Salestina and S. R. Sudarshan in ["A new theorem on partitions," Proc. Int. Conference on Special Functions, IMSC, Chennai, India, September 23-27, 2002; to appear], where it was also given a combinatorial proof, thus responding a question of Andrews.
Pascal like matrices - an accessible factory of one source identities and resulting applications
Published in Adv. Stud. Contemp. Math. 10 (2005) No. 2, pp. 111-120
• Search Publication
The extension of pascalian like matrices depending on a variable from any field of zero characteristics are shown at work for the first time. Their properties appear to be one source factory of identities and resulting foreseen applications