Showing 20 papers (Total: 83076 papers, 47999 authors in database)
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.
Smooth and palindromic Schubert varieties in affine Grassmannians
Published
• View Publication
• BIB
Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical Grassmannian manifold. It has a Schubert cell decomposition indexed by the coroot lattice or equivalently by the minimal length coset representatives for the affine Weyl group modulo the Weyl group for G. The closure of an affine Schubert cell is a finite dimensional projective variety that we call an affine Schubert variety. In this paper we completely determine the smooth and palindromic (rationally smooth) affine Schubert varieties.
The Cops & Robber game on series-parallel graphs
The Cops and Robber game is played on undirected finite graphs. $k$ cops and one robber are positioned on vertices and take turn in moving along edges. The cops win if, after a move, a cop and the robber are on the same vertex. A graph is called $k$-copwin, if the cops have a winning strategy.
It is known that planar graphs are 3-copwin (Aigner & Fromme, 1984) and that outerplanar graphs are 2-copwin (Clarke, 2002). In this short note, we prove that series-parallel (i.e., graphs with no $K_4$ minor) graphs are 2-copwin.
It is a well-known trick in the literature of cops & robber games to define variants of the game which impose restrictions on the possible strategies of the cops (see Clarke, 2002). For our proof, we define the ``cops & robber game with exits''.
Our proof yields a winning strategy for the cops.
On tropical and Kapranov ranks of tropical matrices
We prove that, for any g greater or equal than 3, a matrix g x 5 with tropical rank 3 has Kapranov rank 3.
Sets of double and triple weights of trees
Published
• View Publication
• BIB
Let T be a weighted tree with n leaves. Let D_{i,j} be the distance between the leaves i and j. Let D_{i,j,k}= (D_{i,j} + D_{j,k} +D_{i,k})/2. We will call such numbers "triple weights" of the tree. In this paper, we give a characterization, different from the previous ones, for sets indexed by 2-subsets of a $n$-set to be double weights of a tree. By using the same ideas,we find also necessary and sufficient conditions for a set of real numbers indexed by 3-subsets of an $n$-set to be the set of the triple weights of a tree with $n$ leaves. Besides we propose a slight modification of Saitou-Nei's Neighbour-Joining algorithm to reconstruct trees from the data D_{i,j}.