arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2001-01-29 v2
Remarks on a Paper by Y.Caro and R.Yuster on Turan Problem
Caro and Yuster (Electronic J.Comb 7 (2000)) studied a generalization of the Turan problem, where a certain function (instead of the size) of an F-free graph of order n has to be maximized. We prove that for a wide class of functions the asymptotics of the maximum is given by complete partite graphs.
2001-01-25
The quantum symmetric XXZ chain at Delta=-1/2, alternating sign matrices and plane partitions
Published in J.Phys.A 34 (2001) L265-L270 • View PublicationBIB
We consider the groundstate wavefunction of the quantum symmetric antiferromagnetic XXZ chain with open and twisted boundary conditions at $Δ=-{1/2}$, along with the groundstate wavefunction of the corresponding O($n$) loop model at $n=1$. Based on exact results for finite-size systems, sums involving the wavefunction components, and in some cases the largest component itself, are conjectured to be directly related to the total number of alternating sign matrices and plane partitions in certain symmetry classes.
2001-01-24 v2
Asymptotic Size Ramsey Results for Bipartite Graphs
Published • View PublicationBIB
We investigate size Ramsey numbers involving bipartite graphs. It is proved that, if each forbidden graph is fixed or grows with n (in a certain uniform manner), then the extremal function has a linear asymptotics. The corresponding slope can be obtained as the minimum of a certain mixed integer program. Applying the Farkas Lemma, we solve the MIP for complete bipartite graphs, in particular answering a question of Erdos, Faudree, Rousseau and Schelp (1978) who asked for the asymptotics of the size Ramsey number of (K_{s,n},K_{s,n}) for fixed s and large n.
2001-01-24 v2
Generating functions for intersection numbers on moduli spaces of curves
Using the connection between intersection theory on the Deligne-Mumford spaces and the edge scaling of the GUE matrix model (see math.CO/9903176, math.AG/0101147), we express the n-point functions for the intersection numbers as n-dimensional error-function-type integrals and also give a derivation of Witten's KdV equations using the higher Fay identities of Adler, Shiota, and van Moerbeke.
2001-01-23
Some connections between Falconer's distance set conjecture, and sets of Furstenburg type
In this paper we investigate three unsolved conjectures in geometric combinatorics, namely Falconer's distance set conjecture, the dimension of Furstenburg sets, and Erdos's ring conjecture. We formulate natural $δ$-discretized versions of these conjectures and show that in a certain sense that these discretized versions are equivalent. In particular, it appears that to progress on any of these problems one must prove a quantitative statement about the existence of sub-rings of $R$ of dimension 1/2.
2001-01-20 v5
On the sums Sum((4k+1)^(-n),k,-inf,+inf)
Published in Amer. Math. Monthly_110_ #7 (Aug.-Sep. 2003), 561-573 • View PublicationBIB
The sum in the title is a rational multiple of pi^n for all integers n=2,3,4,... for which the sum converges absolutely. This is equivalent to a celebrated theorem of Euler. Of the many proofs that have appeared since Euler, a simple one was discovered only recently by Calabi: the sum is written as a definite integral over the unit n-cube, then transformed into the volume of a polytope Pi_n in R^n whose vertices' coordinates are rational multiples of pi. We review Calabi's proof, and give two further interpretations. First we define a simple linear operator T on L^2(0,pi/2), and show that T is self-adjoint and compact, and that Vol(Pi_n) is the trace of T^n. We find that the spectrum of T is {1/(4k+1) : k in Z}, with each eigenvalue 1/(4k+1) occurring with multiplicity 1; thus Vol(Pi_n) is the sum of the n-th powers of these eigenvalues. We also interpret Vol(Pi_n) combinatorially in terms of the number of alternating permutations of n+1 letters, and if n is even also in terms of the number of cyclically alternating permutations of n letters. We thus relate these numbers with S(n) without the intervention of Bernoulli and Euler numbers or their generating functions.
2001-01-17 v2
Gromov-Witten theory, Hurwitz numbers, and Matrix models, I
Published • View PublicationBIB
The main goal of the paper is to present a new approach via Hurwitz numbers to Kontsevich's combinatorial/matrix model for the intersection theory of the moduli space of curves. A secondary goal is to present an exposition of the circle of ideas involved: Hurwitz numbers, Gromov-Witten theory of the projective line, matrix integrals, and the theory of random trees. Further topics will be treated in a sequel.
2001-01-16
Performance evaluation of modulation methods: a combinatorial approach
Published • View PublicationBIB
This paper is devoted to the presentation of a combinatorial approach for analyzing the performance of an important modulation protocol used in mobile telecommunications. We show in particular that a fundamental formula, in this context, is in fact highly connected with a slight modification of a very classical algorithm of Knuth that realizes a bijection between pairs of Young tableaux of conjugated shapes and $\{0,1\}$-matrices. These new considerations allowed us to obtain the very first results with respect to important specializations (for practical applications) of the performance analysis formula that we studied.
2001-01-10 v3
The ring grooming problem
Published • View PublicationBIB
The problem of minimizing the number of bidirectional SONET rings required to support a given traffic demand has been studied by several researchers. Here we study the related ``ring grooming problem'' of minimizing the number of add/drop locations instead of the number of rings; in a number of situations this is a better approximation to the true equipment cost. Our main result is a new lower bound for the case of uniform traffic. This allows us to prove that a certain simple algorithm for uniform traffic is in fact a constant-factor approximation algorithm, and it also demonstrates that known lower bounds for the general problem--in particular, the linear programming relaxation--are not within a constant factor of the optimum. We also show that our results for uniform traffic extend readily to the more practically important case of quasi-uniform traffic. Finally, we show that if the number of nodes on the ring is fixed, then ring grooming is solvable in polynomial time; however, whether ring grooming is fixed-parameter tractable is still an open question.
Structure of $Z^2$ modulo selfsimilar sublattices
In this paper we show the combinatorial structure of $\mathbb{Z}^2$ modulo sublattices selfsimilar to $\mathbb{Z}^2$. The tool we use for dealing with this purpose is the notion of association scheme. We classify when the scheme defined by the lattice is imprimitive and characterize its decomposition in terms of the decomposition of the gaussian integer defining the lattice. This arise in the classification of different forms of tiling $\mathbb{Z}^2$ by lattices of this type.
2001-01-10
Properties of Commutative Association Schemes derived by FGLM Techniques
Published • View PublicationBIB
Association schemes are combinatorial objects that allow us solve problems in several branches of mathematics. They have been used in the study of permutation groups and graphs and also in the design of experiments, coding theory, partition designs etc. In this paper we show some techniques for computing properties of association schemes. The main framework arises from the fact that we can characterize completely the Bose-Mesner algebra in terms of a zero-dimensional ideal. A Gröbner basis of this ideal can be easily derived without the use of Buchberger algorithm in an efficient way. From this statement, some nice relations arise between the treatment of zero-dimensional ideals by reordering techniques (FGLM techniques) and some properties of the schemes such as P-polynomiality, and minimal generators of the algebra.
2001-01-09
Generalizations of Eulerian partially ordered sets, flag numbers, and the Mobius function
Published • View PublicationBIB
A partially ordered set is r-thick if every nonempty open interval contains at least r elements. This paper studies the flag vectors of graded, r-thick posets and shows the smallest convex cone containing them is isomorphic to the cone of flag vectors of all graded posets. It also defines a k-analogue of the Mobius function and k-Eulerian posets, which are 2k-thick. Several characterizations of k-Eulerian posets are given. The generalized Dehn-Sommerville equations are proved for flag vectors of k-Eulerian posets. A new inequality is proved to be valid and sharp for rank 8 Eulerian posets.
A combinatorial study of multiplexes and ordinary polytopes
Published • View PublicationBIB
Bisztriczky defines a multiplex as a generalization of a simplex, and an ordinary polytope as a generalization of a cyclic polytope. This paper presents results concerning the combinatorics of multiplexes and ordinary polytopes. The flag vector of the multiplex is computed, and shown to equal the flag vector of a many-folded pyramid over a polygon. Multiplexes, but not other ordinary polytopes, are shown to be elementary. It is shown that all complete subgraphs of the graph of a multiplex determine faces of the multiplex. The toric h-vectors of the ordinary 5-dimensional polytopes are given. Graphs of ordinary polytopes are studied. Their chromatic numbers and diameters are computed, and they are shown to be Hamiltonian.
2001-01-01
On the determinant formulas by Borodin, Okounkov, Baik, Deift, and Rains
We give alternative proofs to (block case versions of) some formulas for Toeplitz and Fredholm determinants established recently by the authors of the title. Our proof of the Borodin-Okounkov formula is very short and direct. The proof of the Baik-Deift-Rains formulas is based on standard manipulations with Wiener-Hopf factorizations.
2001-01-01 v2
A (conjectural) 1/3-phenomenon for the number of rhombus tilings of a hexagon which contain a fixed rhombus
Published in in: Number Theory and Discrete Mathematics, A. K. Agarwal et al., eds., Hindustan Book Agency, New Delhi, 2002, pp. 13-30. • View PublicationBIB
We state, discuss, provide evidence for, and prove in special cases the conjecture that the probability that a random tiling by rhombi of a hexagon with side lengths $2n+a,2n+b,2n+c,2n+a,2n+b,2n+c$ contains the (horizontal) rhombus with coordinates $(2n+x,2n+y)$ is equal to ${1/3} + g_{a,b,c,x,y}(n) {\binom {2n}{n}}^3 / \binom {6n}{3n}$, where $g_{a,b,c,x,y}(n)$ is a rational function in $n$. Several specific instances of this "1/3-phenomenon" are made explicit.
2000-12-30
Singular polynomials of generalized Kasteleyn matrices
Published in Journal of Algebraic Combinatorics, 16(2): 195-207; Sep 2002 • View PublicationBIB
Kasteleyn counted the number of domino tilings of a rectangle by considering a mutation of the adjacency matrix: a Kasteleyn matrix K. In this paper we present a generalization of Kasteleyn matrices and a combinatorial interpretation for the coefficients of the characteristic polynomial of KK^\ast (which we call the singular polynomial), where K is a generalized Kasteleyn matrix for a planar bipartite graph. We also present a q-version of these ideas and a few results concerning tilings of special regions such as rectangles.
2000-12-29 v2
Tilings of quadriculated annuli
Published in Journal of Combinatorial Theory, Series B 88 (2003) 153-183 • View PublicationBIB
Tilings of a quadriculated annulus A are counted according to volume (in the formal variable q) and flux (in p). We consider algebraic properties of the resulting generating function Phi_A(p,q). For q = -1, the non-zero roots in p must be roots of unity and for q > 0, real negative.
Extended F_4-buildings and the Baby Monster
Published in Invent. Math. 144(2001) 399-433 • View PublicationBIB
The Baby Monster group B acts naturally on a geometry E(B) with diagram c.F_4(t) for t=4 and the action of B on E(B) is flag-transitive. It possesses the following properties: (a) any two elements of type 1 are incident to at most one common element of type 2, and (b) three elements of type 1 are pairwise incident to common elements of type 2 iff they are incident to a common element of type 5. It is shown that E(B) is the only (non-necessary flag-transitive) c.F_4(t)-geometry, satisfying t=4, (a) and (b), thus obtaining the first characterization of B in terms of an incidence geometry, similar in vein to one known for classical groups acting on buildings. Further, it is shown that E(B) contains subgeometries E(^2E_6(2)) and E(Fi22) with diagrams c.F_4(2) and c.F_4(1). The stabilizers of these subgeometries induce on them flag-transitive actions of ^2E_6(2):2 and Fi22:2, respectively. Three further examples for t=2 with flag-transitive automorphism groups are constructed. A complete list of possibilities for the isomorphism type of the subgraph induced by the common neighbours of a pair of vertices at distance 2 in an arbitrary c.F_4(t) satisfying (a) and (b) is obtained.
2000-12-28
Minimum multiplicities of subgraphs and Hamiltonian systems
Published • View PublicationBIB
Let G be a finite simple graph with automorphism group A(G). Then a spanning subgraph U of G is a fixing subgraph of G if G contains exactly $| A(G)|/ | A(G) \cap A(U)| $ subgraphs isomorphic to U: the graph G must always contain at least this number. If in addition $A(U) \subseteq A(G)$ then U is a strong fixing subgraph. Fixing subgraphs are important in many areas of graph theory. We consider them in the context of Hamiltonian graphs
2000-12-27
On the orientation of graphs
In this short notice we give a universal definition of $\Z_2$-module $Or(Γ)$ of orientations of a graph $Γ$ and construct a method, by means of which one can easily verify whenever two such special definitions coincide.