Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A combinatorial approach for studying LOCC transformations of multipartite states
Published
• View Publication
• BIB
We develop graph theoretic methods for analysing maximally entangled pure states distributed between a number of different parties. We introduce a technique called {\it bicolored merging}, based on the monotonicity feature of entanglement measures, for determining combinatorial conditions that must be satisfied for any two distinct multiparticle states to be comparable under local operations and classical communication (LOCC). We present several results based on the possibility or impossibility of comparability of pure multipartite states. We show that there are exponentially many such entangled multipartite states among $n$ agents. Further, we discuss a new graph theoretic metric on a class of multi-partite states, and its implications.
Combinatorial proofs of inverse relations and log-concavity for Bessel numbers
Published
• View Publication
• BIB
Let the Bessel number of the second kind B(n,k) be the number of set partitions of [n] into k blocks of size one or two, and let the Bessel number of the first kind b(n,k) be a certain coefficient in n-th Bessel polynomial. In this paper, we show that Bessel numbers satisfy two properties of Stirling numbers: The two kinds of Bessel numbers are related by inverse formulas, and both Bessel numbers of the first kind and the second kind form log-concave sequences. By constructing sign-reversing involutions, we prove the inverse formulas. We review Krattenthaler's injection for the log-concavity of Bessel numbers of the second kind, and give a new explicit injection for the log-concavity of signless Bessel numbers of the first kind.
Graph diameter in long-range percolation
Published in Random Structures & Algorithms 39 (2011), no. 2, 210--227
• View Publication
• BIB
We study the asymptotic growth of the diameter of a graph obtained by adding sparse "long" edges to a square box in $\Z^d$. We focus on the cases when an edge between $x$ and $y$ is added with probability decaying with the Euclidean distance as $|x-y|^{-s+o(1)}$ when $|x-y|\to\infty$. For $s\in(d,2d)$ we show that the graph diameter for the graph reduced to a box of side $L$ scales like $(\log L)^{Δ+o(1)}$ where $Δ^{-1}:=\log_2(2d/s)$. In particular, the diameter grows about as fast as the typical graph distance between two vertices at distance $L$. We also show that a ball of radius $r$ in the intrinsic metric on the (infinite) graph will roughly coincide with a ball of radius $\exp\{r^{1/Δ+o(1)}\}$ in the Euclidean metric.
Remarks on one combinatorial application of the Aleksandrov-Fenchel inequalities
In 1981, Stanley applied the Aleksandrov-Fenchel inequalities to prove a logarithmic concavity theorem for regular matroids. Using ideas from electrical network theory we prove a generalization of this for the wider class of matroids with the ``half-plane property''. Then we explore a nest of inequalities for weighted basis-generating polynomials that are related to these ideas. As a first result from this investigation we find that every matroid of rank three or corank three satisfies a condition only slightly weaker than the conclusion of Stanley's theorem.
Paperfolding and Catalan numbers
We reprove a few results concerning paperfolding sequences using properties of Catalan numbers modulo 2.
Some formulae for bivariate Fibonacci and Lucas polynomials
We derive a collection of identities for bivariate Fibonacci and Lucas polynomials using essentially a matrix approach as well as properties of such polynomials when the variables $x$ and $y$ are replaced by polynomials. A wealth of combinatorial identities can be obtained for selected values of the variables.
On some $q$-identities related to divisor functions
Published
• View Publication
• BIB
We give generalizations and simple proofs of some $q$-identities of Dilcher, Fu and Lascoux related to divisor functions.
Barvinok's Rational Functions: Algorithms and Applications to Optimization, Statistics, and Algebra
The main theme of this dissertation is the study of the lattice points in a rational convex polyhedron and their encoding in terms of Barvinok's short rational functions. The first part of this thesis looks into theoretical applications of these rational functions to Optimization, Statistics, and Computational Algebra. The main theorem on Chapter 2 concerns the computation of the \emph{toric ideal} $I_A$ of an integral $n \times d$ matrix $A$. We encode the binomials belonging to the toric ideal $I_A$ associated with $A$ using Barvinok's rational functions. If we fix $d$ and $n$, this representation allows us to compute a universal Gröbner basis and the reduced Gröbner basis of the ideal $I_A$, with respect to any term order, in polynomial time. We derive a polynomial time algorithm for normal form computations which replaces in this new encoding the usual reductions of the division algorithm. Chapter 3 presents three ways to use Barvinok's rational functions to solve Integer Programs.
The second part of the thesis is experimental and consists mainly of the software package {\tt LattE}, the first implementation of Barvinok's algorithm. We report on experiments with families of well-known rational polytopes: multiway contingency tables, knapsack type problems, and rational polygons. We also developed a new algorithm, {\em the homogenized Barvinok's algorithm} to compute the generating function for a rational polytope. We showed that it runs in polynomial time in fixed dimension. With the homogenized Barvinok's algorithm, we obtained new combinatorial formulas: the generating function for the number of $5\times 5$ magic squares and the generating function for the number of $3\times 3 \times 3 \times 3$ magic cubes as rational functions.
Lambda-determinants and domino-tilings
Published in Advances in Applied Mathematics, Volume 34, Issue 4, May 2005, pp. 871-879
• View Publication
• BIB
Consider the $2n$-by-$2n$ matrix $M=(m_{i,j})_{i,j=1}^{2n}$ with $m_{i,j} = 1$ for $i,j$ satisfying $|2i-2n-1|+|2j-2n-1| \leq 2n$ and $m_{i,j} = 0$ for all other $i,j$, consisting of a central diamond of 1's surrounded by 0's. When $n \geq 4$, the $λ$-determinant of the matrix $M$ (as introduced by Robbins and Rumsey) is not well-defined. However, if we replace the 0's by $t$'s, we get a matrix whose $λ$-determinant is well-defined and is a polynomial in $λ$ and $t$. The limit of this polynomial as $t \to 0$ is a polynomial in $λ$ whose value at $λ=1$ is the number of domino tilings of a $2n$-by-$2n$ square.
Correction to a theorem of Schoenberg
Published
• View Publication
• BIB
A well-known theorem of Schoenberg states that if f(z) generates a PF_r sequence then 1/f(-z) generates a PF_r sequence. We give two counterexamples which show that this is not true, and give a correct version of the theorem. In the infinite limit the result is sound: if f(z) generates a PF sequence then 1/f(-z) generates a PF sequence.
Raise and Peel Models of fluctuating interfaces and combinatorics of Pascal's hexagon
Published in JSTAT (2004) P09003
• View Publication
• BIB
The raise and peel model of a one-dimensional fluctuating interface (model A) is extended by considering one source (model B) or two sources (model C) at the boundaries. The Hamiltonians describing the three processes have, in the thermodynamic limit, spectra given by conformal field theory. The probability of the different configurations in the stationary states of the three models are not only related but have interesting combinatorial properties. We show that by extending Pascal's triangle (which gives solutions to linear relations in terms of integer numbers), to an hexagon, one obtains integer solutions of bilinear relations. These solutions give not only the weights of the various configurations in the three models but also give an insight to the connections between the probability distributions in the stationary states of the three models. Interestingly enough, Pascal's hexagon also gives solutions to a Hirota's difference equation.
Combinatorial construction of toric residues
Published in Ann. Inst. Fourier (Grenoble) 55, no. 2 (2005), 511--548
• View Publication
• BIB
The toric residue is a map depending on n+1 semi-ample divisors on a complete toric variety of dimension n. It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this paper we investigate the problem of finding an explicit element whose toric residue is equal to one. Such an element is shown to exist if and only if the associated polytopes are essential. We reduce the problem to finding a collection of partitions of the lattice points in the polytopes satisfying a certain combinatorial property. We use this description to solve the problem when n=2 and for any n when the polytopes of the divisors share a complete flag of faces. The latter generalizes earlier results when the divisors were all ample.
The logarithmic fibbinomial formula
Published in Adv. Stud. Contemp. Math. v.9 No.1 (2004) 19-26
• Search Publication
Roman logarithmic binomial formula analogue has been found . It is presented here also for the case of fibonomial coefficients which recently have been given a combinatorial interpretation by the present author.
Optimal Tristance Anticodes in Certain Graphs
Published
• View Publication
• BIB
For $z_1,z_2,z_3 \in \Z^n$, the \emph{tristance} $d_3(z_1,z_2,z_3)$ is a generalization of the $L_1$-distance on $\Z^n$ to a quantity that reflects the relative dispersion of three points rather than two. A tristance anticode $\cA_d$ of diameter $d$ is a subset of $\Z^n$ with the property that $d_3(z_1,z_2,z_3) \leq d$ for all $z_1,z_2,z_3 \in \cA_d$. An anticode is optimal if it has the largest possible cardinality for its diameter $d$.
We determine the cardinality and completely classify the optimal tristance anticodes in $\Z^2$ for all diameters $d \ge 1$. We then generalize this result to two related distance models: a different distance structure on $\Z^2$ where $d(z_1,z_2) = 1$ if $z_1,z_2$ are adjacent either horizontally, vertically, or diagonally, and the distance structure obtained when $\Z^2$ is replaced by the hexagonal lattice $A_2$. We also investigate optimal tristance anticodes in $\Z^3$ and optimal quadristance anticodes in $\Z^2$, and provide bounds on their cardinality. We conclude with a brief discussion of the applications of our results to multi-dimensional interleaving schemes and to connectivity loci in the game of Go.
A bijection between type D_n^{(1)} crystals and rigged configurations
Published in J.Algebra 285 (2005) 292-334
• View Publication
• BIB
Hatayama et al. conjectured fermionic formulas associated with tensor products of U'_q(g)-crystals B^{r,s}. The crystals B^{r,s} correspond to the Kirillov--Reshetikhin modules which are certain finite dimensional U'_q(g)-modules. In this paper we present a combinatorial description of the affine crystals B^{r,1} of type D_n^{(1)}. A statistic preserving bijection between crystal paths for these crystals and rigged configurations is given, thereby proving the fermionic formula in this case. This bijection reflects two different methods to solve lattice models in statistical mechanics: the corner-transfer-matrix method and the Bethe Ansatz.
Transformations of Border Strips and Schur Function Determinants
Published
• View Publication
• BIB
We introduce the notion of the cutting strip of an outside decomposition of a skew shape, and show that cutting strips are in one-to-one correspondence with outside decompositions for a given skew shape. Outside decompositions are introduced by Hamel and Goulden and are used to give an identity for the skew Schur function that unifies the determinantal expressions for the skew Schur functions including the Jacobi-Trudi determinant, its dual, the Giambelli determinant and the rim ribbon determinant due to Lascoux and Pragacz. Using cutting strips, one obtains a formula for the number of outside decompositions of a given skew shape. Moreover, one can define the basic transformations which we call the twist transformation among cutting strips, and derive a transformation theorem for the determinantal formula of Hamel and Goulden. The special case of the transformation theorem for the Giambelli identity and the rim ribbon identity was obtained by Lascoux and Pragacz. Our transformation theorem also applies to the supersymmetric skew Schur function.
Dense Packings of Equal Disks in an Equilateral Triangle: From 22 to 34 and Beyond
Published in The Electronic Journal of Combinatorics 2 (1995), #A1
• Search Publication
Previously published packings of equal disks in an equilateral triangle have dealt with up to 21 disks. We use a new discrete-event simulation algorithm to produce packings for up to 34 disks. For each n in the range 22 =< n =< 34 we present what we believe to be the densest possible packing of n equal disks in an equilateral triangle. For these n we also list the second, often the third and sometimes the fourth best packings among those that we found. In each case, the structure of the packing implies that the minimum distance d(n) between disk centers is the root of polynomial P_n with integer coefficients. In most cases we do not explicitly compute P_n but in all cases we do compute and report d(n) to 15 significant decimal digits. Disk packings in equilateral triangles differ from those in squares or circles in that for triangles there are an infinite number of values of n for which the exact value of d(n) is known, namely, when n is of the form Delta(k) := k(k+1)/2. It has also been conjectured that d(n-1) = d(n) in this case. Based on our computations, we present conjectured optimal packings for seven other infinite classes of n, namely n = Delta(2k)+1, Delta(2k+1)+1, Delta(k+2)-2, Delta(2k+3)-3, Delta(3k+1)+2, 4*Delta(k) and 2*Delta(k+1)+2*Delta(k)-1. We also report the best packings we found for other values of n in these forms which are larger than 34, namely, n=37, 40, 42, 43, 46, 49, 56, 57, 60, 63, 67, 71, 79, 84, 92, 93, 106, 112, 121, and 254, and also for n=58, 95, 108, 175, 255, 256, 258, and 260. We say that an infinite class of packings of n disks, n=n(1), n(2),...n(k),..., is tight, if 1/d(n(k)+1) - 1/d(n(k)) is bounded away from zero as k goes to infinity. We conjecture that some of our infinite classes are tight, others are not tight, and that there are infinitely many tight classes.
Explicit Constructions of Ramanujan Complexes of Type $\tilde{A}_d$
In this paper we present for every $d \geq 2$ and every local field $F$ of positive characteristic, explicit constructions of Ramanujan complexes which are quotients of the Bruhat-Tits building $\B_d(F)$ associated with $\operatorname{PGL}_d(F)$.
Lattice polygons and the number 2i+7
Published
• View Publication
• BIB
In this note we classify all triples (a,b,i) such that there is a convex lattice polygon P with area a, and b respectively i lattice points on the boundary respectively in the interior. The crucial lemma for the classification is the necessity of b \le 2 i + 7. We sketch three proofs of this fact: the original one by Scott, an elementary one, and one using algebraic geometry.
As a refinement, we introduce an onion skin parameter l: how many nested polygons does P contain? and give sharper bounds.
$C^*$-algebras coming from some buildings
We construct compact polyhedra with triangular faces whose links are generalized 3-gons. They are interesting compact spaces covered by Euclidean buildings of type $A_2$. Those spaces give us two-dimensional subshifts, which can be used to construct some $C^*$-algebras.