Showing 20 papers (Total: 81680 papers, 47334 authors in database)
An Enumeration of Graphical Designs
Published in Journal of Combinatorial Designs, vol. 16, no. 1, pp. 70-85, 2008
• View Publication
• BIB
Let $Ψ(t,k)$ denote the set of pairs $(v,λ)$ for which there exists a graphical $t$-$(v,k,λ)$ design. Most results on graphical designs have gone to show the finiteness of $Ψ(t,k)$ when $t$ and $k$ satisfy certain conditions. The exact determination of $Ψ(t,k)$ for specified $t$ and $k$ is a hard problem and only $Ψ(2,3)$, $Ψ(2,4)$, $Ψ(3,4)$, $Ψ(4,5)$, and $Ψ(5,6)$ have been determined. In this paper, we determine completely the sets $Ψ(2,5)$ and $Ψ(3,5)$. As a result, we find more than 270000 inequivalent graphical designs, and more than 8000 new parameter sets for which there exists a graphical design. Prior to this, graphical designs are known for only 574 parameter sets.
Addition Theorems Via Continued Fractions
Published
• View Publication
• BIB
We show connections between a special type of addition formulas and a theorem of Stieltjes and Rogers. We use different techniques to derive the desirable addition formulas. We apply our approach to derive special addition theorems for Bessel functions and confluent hypergeometric functions. We also derive several additions theorems for basic hypergeometric functions. Applications to the evaluation of Hankel determinants are also given .
Lusztig's conjecture as a moment graph problem
Published in Bull. London Math. Soc. (2010) 42(6): 957-972
• View Publication
• BIB
We show that Lusztig's conjecture on the irreducible characters of a reductive algebraic group over a field of positive characteristic is equivalent to the generic multiplicity conjecture, which gives a formula for the Jordan-H"older multiplicities of baby Verma modules over the corresponding Lie algebra. Then we give a short overview of a recent proof of the latter conjecture for almost all base fields via the theory of sheaves on moment graphs.
A combinatorial interpretation for the identity Sum_{k=0}^{n} binom{n}{k} Sum_{j=0}^{k} binom{k}{j}^{3}= Sum_{k=0}^{n} binom{n}{k}^{2}binom{2k}{k}
The title identity appeared as Problem 75-4, proposed by P. Barrucand, in Siam Review in 1975. The published solution equated constant terms in a suitable polynomial identity. Here we give a combinatorial interpretation in terms of card deals.
A characterization of regular tetrahedra in Z^3
In this note we characterize all regular tetrahedra whose vertices in R^3 have integer coordinates. The main result is a consequence of the characterization of all equilateral triangles having integer coordinates contained in previous work. Then we use this characterization to point out some corollaries. The number of such tetrahedra whose vertices are in the finite set {0,1,2,...,n}^3, n in N, is related to the sequence A103158 in the Online Encyclopedia of Integer Sequences.
Cyclic systems of simultaneous congruences
Published in International Journal of Number Theory 6 (2010), No. 2, 219--245
• View Publication
• BIB
This paper considers solutions (x_1, x_2, ..., x_n) to the cyclic system of n simultaneous congruences r (x_1x_2 ...x_n)/x_i = s (mod |x_i|), for fixed nonzero integers r,s with r>0 and gcd(r,s)=1. It shows this system has a finite number of solutions in positive integers x_i >1 having gcd(x_1x_2...x_n, s)=1, obtaining a sharp upper bound on the maximal size of the solutions in many cases. This bound grows doubly-exponentially in n. It shows there are infinitely many such solutions when the positivity restriction is dropped, when r=1, and not otherwise. The problem is reduced to the study of integer solutions of a three parameter family of Diophantine equations r(1/x_1 + 1/x_2 + ...+ 1/x_n)- s/(x_1x_2...x_n) = m, with parameters (r,s,m).
On a Theorem of Sewell and Trotter
Published in European Journal of Combinatorics, Vol. 30 (2), 2009, pp. 425-428
• View Publication
• BIB
Sewell and Trotter [J. Combin. Theory Ser. B, 1993] proved that every connected alpha-critical graph that is not isomorphic to K_1, K_2 or an odd cycle contains a totally odd K_4-subdivision. Their theorem implies an interesting min-max relation for stable sets in graphs without totally odd K_4-subdivisions. In this note, we give a simpler proof of Sewell and Trotter's theorem.
Punctured plane partitions and the q-deformed Knizhnik--Zamolodchikov and Hirota equations
Published in J. Combin. Theory A 116 (2009), 772--794
• View Publication
• BIB
We consider partial sum rules for the homogeneous limit of the solution of the q-deformed Knizhnik--Zamolodchikov equation with reflecting boundaries in the Dyck path representation. We show that these partial sums arise in a solution of the discrete Hirota equation, and prove that they are the generating functions of $τ^2$-weighted punctured cyclically symmetric transpose complement plane partitions where $τ=-(q+q^{-1})$. In the cases of no or minimal punctures, we prove that these generating functions coincide with $τ^2$-enumerations of vertically symmetric alternating sign matrices and modifications thereof.
A bijection for rooted maps on orientable surfaces
Published in SIAM Journal on Discrete Mathematics, 23(3):1587-1611 (2009)
• View Publication
• BIB
The enumeration of maps and the study of uniform random maps have been classical topics of combinatorics and statistical physics ever since the seminal work of Tutte in the sixties. Following the bijective approach initiated by Cori and Vauquelin in the eighties, we describe a bijection between rooted maps, or rooted bipartite quadrangulations, on a surface of genus g and some simpler objects that generalize plane trees. Thanks to a rerooting argument, our bijection allows to compute the generating series of rooted maps on a surface of genus g with respect to the number of edges, and to recover the asymptotic numbers of such maps.
Our construction allows to keep track in a bipartite quadrangulation of the distances of all vertices to a random basepoint. This is an analog for higher genus surfaces of the basic result on which were built the recent advances in the comprehension of the intrinsec geometry of large random planar maps, hopefully opening the way to the study of a model of continuum random surfaces of genus g.
Cellular structures on Hecke algebras of type B
The aim of this paper is to gather and (try to) unify several approaches for the modular representation theory of Hecke algebras of type $B$. We attempt to explain the connections between Geck's cellular structures (coming from Kazhdan-Lusztig theory with unequal parameters) and Ariki's Theorem on the canonical basis of the Fock spaces.
Sharp tridiagonal pairs
Published
• View Publication
• BIB
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of $K$-linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfies the following conditions:
(i) each of $A,A^*$ is diagonalizable;
(ii) there exists an ordering ${V_i}_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$;
(iii) there exists an ordering ${V^*_i}_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$;
(iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$.
We call such a pair a {\em tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V_{d-i}$, $V^*_i$, $V^*_{d-i}$ coincide. We say the pair $A,A^*$ is {\em sharp} whenever $\dim V_0=1$. A conjecture of Tatsuro Ito and the second author states that if $K$ is algebraically closed then $A,A^*$ is sharp. In order to better understand and eventually prove the conjecture, in this paper we begin a systematic study of the sharp tridiagonal pairs.
Tessellations of random maps of arbitrary genus
Published
• View Publication
• BIB
We investigate Voronoi-like tessellations of bipartite quadrangulations on surfaces of arbitrary genus, by using a natural generalization of a bijection of Marcus and Schaeffer allowing to encode such structures into labeled maps with a fixed number of faces. We investigate the scaling limits of the latter. Applications include asymptotic enumeration results for quadrangulations, and typical metric properties of randomly sampled quadrangulations. In particular, we show that scaling limits of these random quadrangulations are such that almost every pair of points are linked by a unique geodesic.
Scaling Limits for Internal Aggregation Models with Multiple Sources
Published in JOURNAL D'ANALYSE MATHÉMATIQUE Volume 111, Number 1, 151--219, 2010
• View Publication
• BIB
We study the scaling limits of three different aggregation models on Z^d: internal DLA, in which particles perform random walks until reaching an unoccupied site; the rotor-router model, in which particles perform deterministic analogues of random walks; and the divisible sandpile, in which each site distributes its excess mass equally among its neighbors. As the lattice spacing tends to zero, all three models are found to have the same scaling limit, which we describe as the solution to a certain PDE free boundary problem in R^d. In particular, internal DLA has a deterministic scaling limit. We find that the scaling limits are quadrature domains, which have arisen independently in many fields such as potential theory and fluid dynamics. Our results apply both to the case of multiple point sources and to the Diaconis-Fulton smash sum of domains.
The Loebl-Komlos-Sos conjecture for trees of diameter 5 and for certain caterpillars
Published
• View Publication
• BIB
Loebl, Komlos, and Sos conjectured that if at least half the vertices of a graph G have degree at least some k, then every tree with at most k edges is a subgraph of G. We prove the conjecture for all trees of diameter at most 5 and for a class of caterpillars. Our result implies a bound on the Ramsey number r(T,F) of trees T, F from the above classes.
Negative correlation and log-concavity
Published
• View Publication
• BIB
We give counterexamples and a few positive results related to several conjectures of R. Pemantle and D. Wagner concerning negative correlation and log-concavity properties for probability measures and relations between them. Most of the negative results have also been obtained, independently but somewhat earlier, by Borcea et al. We also give short proofs of a pair of results due to Pemantle and Borcea et al.; prove that "almost exchangeable" measures satisfy the "Feder-Mihail" property, thus providing a "non-obvious" example of a class of measures for which this important property can be shown to hold; and mention some further questions.
9 Divides no Odd Fibonacci
I discuss numbers that divide no odd Fibonacci. Number 9 plays a special role among such numbers.
A most general edge elimination graph polynomial
Published in Eur. J. Comb. 31(1): 1-17 (2010)
• View Publication
• BIB
We look for graph polynomials which satisfy recurrence relations on three kinds of edge elimination: edge deletion, edge contraction and deletion of edges together with their end points. Like in the case of deletion and contraction only (W. Tutte, 1954), it turns out that there is a most general polynomial satisfying such recurrence relations, which we call $ξ(G,x,y,z)$. We show that the new polynomial simultaneously generalizes the Tutte polynomial, the matching polynomial, and the recent generalization of the chromatic polynomial proposed by K.Dohmen, A.Pönitz and P.Tittman (2003), including also the independent set polynomial of I. Gutman and F. Harary, (1983) and the vertex-cover polynomial of F,M. Dong, M.D. Hendy, K.T. Teo and C.H.C. Little (2002). We establish two definitions of the new polynomial: first, the most general confluent recursive definition, and then an explicit one, using a set expansion formula, and prove their identity. We further expand this result to edge-labeled graphs as was done for the Tutte polynomial by T. Zaslavsky (1992) and B. Bollobás and O. Riordan (1999). The edge labeled polynomial $ξ_{lab}(G,x,y,z, \bar{t})$ also generalizes the chain polynomial of R.C. Read and E.G. Whitehead Jr. (1999). Finally, we discuss the complexity of computing $ξ(G,x,y,z)$.
Tropical theta characteristics
Published
• View Publication
• BIB
This note is a follow up of math.AG/0612267v2 and it is largely inspired by a beautiful description of Baker-Norine of non-effective degree (g-1) divisors via chip-firing game. We consider the set of all theta characteristics on a tropical curve and identify the Riemann constant as a unique non-effective one among them.
The number of lattice paths below a cyclically shifting boundary
Published
• View Publication
• BIB
We count the number of lattice paths lying under a cyclically shifting piecewise linear boundary of varying slope. Our main result extends well known enumerative formulae concerning lattice paths, and its derivation involves a classical reflection argument. A refinement allows for the counting of paths with a specified number of corners. We also apply the result to examine paths dominated by periodic boundaries.
Single-Exclusion Number and the Stopping Redundancy of MDS Codes
Published
• View Publication
• BIB
For a linear block code C, its stopping redundancy is defined as the smallest number of check nodes in a Tanner graph for C, such that there exist no stopping sets of size smaller than the minimum distance of C. Schwartz and Vardy conjectured that the stopping redundancy of an MDS code should only depend on its length and minimum distance.
We define the (n,t)-single-exclusion number, S(n,t) as the smallest number of t-subsets of an n-set, such that for each i-subset of the n-set, i=1,...,t+1, there exists a t-subset that contains all but one element of the i-subset. New upper bounds on the single-exclusion number are obtained via probabilistic methods, recurrent inequalities, as well as explicit constructions. The new bounds are used to better understand the stopping redundancy of MDS codes. In particular, it is shown that for [n,k=n-d+1,d] MDS codes, as n goes to infinity, the stopping redundancy is asymptotic to S(n,d-2), if d=o(\sqrt{n}), or if k=o(\sqrt{n}) and k goes to infinity, thus giving partial confirmation of the Schwartz-Vardy conjecture in the asymptotic sense.