arXiv++ Combinatorics

A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamovich and Vinnikov. Here we give a definite determinantal representation to the Chow form of a reciprocal linear space. One consequence is the existence of symmetric rank-one Ulrich sheaves on reciprocal linear spaces. Another is a representation of the entropic discriminant as a sum of squares. For generic linear spaces, the determinantal formulas obtained are closely related to the Laplacian of the complete graph and generalizations to simplicial matroids. This raises interesting questions about the combinatorics of hyperbolic varieties and connections with the positive Grassmannian.

In this paper we describe the thickened strips and the outside nested decompositions of any skew shape $λ/μ$. For any such decomposition $Φ=(Θ_1,Θ_2,\ldots,Θ_g)$ of the skew shape $λ/μ$ where $Θ_i$ is a thickened strip for every $i$, if $r$ is the number of boxes that are contained in any two distinct thickened strips of $Φ$, we establish a determinantal formula of the function $s_{λ/μ}(X)p_{1^r}(X)$ with the Schur functions of thickened strips as entries, where $s_{λ/μ}(X)$ is the Schur function of the skew shape $λ/μ$ and $p_{1^r}(X)$ is the power sum symmetric function index by the partition $(1^r)$. This generalizes Hamel and Goulden's theorem on the outside decompositions of the skew shape $λ/μ$. As an application of our theorem, we derive the number of $m$-strip tableaux which was first counted by Baryshnikov and Romik via extending the transfer operator approach due to Elkies.

Lam and Pylyavskyy introduced loop symmetric functions as a generalization of symmetric functions. They defined loop Schur functions as generating functions over semistandard tableaux with respect to a `colored weight,' and they proved a Jacobi--Trudi-style determinantal formula for these generating functions. We prove that loop Schur functions can be expressed as a ratio of `loop alternants,' extending the analogy with Schur functions. As an application, we give a new proof of the loop version of the Murnaghan--Nakayama rule.

We prove a determinantal formula and Pfaffian formulas that respectively describe the $K$-theoretic degeneracy loci classes for Grassmann bundles and for symplectic Grassmann and odd orthogonal bundles. The former generalizes Damon--Kempf--Laksov's determinantal formula and the latter generalize Pragacz--Kazarian's formula for the Chow ring. As an application, we introduce the factorial $GΘ/ GΘ'$-functions representing the torus equivariant $K$-theoretic Schubert classes of the symplectic and the odd orthogonal Grassmannians, which generalize the (double) theta polynomials of Buch--Kresch--Tamvakis and Tamvakis--Wilson.

We introduce and study q-randomized Robinson-Schensted-Knuth (RSK) correspondences which interpolate between the classical (q=0) and geometric (q->1) RSK correspondences (the latter ones are sometimes also called tropical). For 0<q<1 our correspondences are randomized, i.e., the result of an insertion is a certain probability distribution on semistandard Young tableaux. Because of this randomness, we use the language of discrete time Markov dynamics on two-dimensional interlacing particle arrays (these arrays are in a natural bijection with semistandard tableaux). Our dynamics act nicely on a certain class of probability measures on arrays, namely, on q-Whittaker processes (which are t=0 versions of Macdonald processes). We present four Markov dynamics which for q=0 reduce to the classical row or column RSK correspondences applied to a random input matrix with independent geometric or Bernoulli entries. Our new two-dimensional discrete time dynamics generalize and extend several known constructions: (1) The discrete time q-TASEPs arise as one-dimensional marginals of our "column" dynamics. In a similar way, our "row" dynamics lead to discrete time q-PushTASEPs - new integrable particle systems in the Kardar-Parisi-Zhang universality class. We employ these new one-dimensional discrete time systems to establish a Fredholm determinantal formula for the two-sided continuous time q-PushASEP conjectured by Corwin-Petrov (2013). (2) In a certain Poisson-type limit (from discrete to continuous time), our two-dimensional dynamics reduce to the q-randomized column and row Robinson-Schensted correspondences introduced by O'Connell-Pei (2012) and Borodin-Petrov (2013), respectively. (3) In a scaling limit as q->1, two of our four dynamics on interlacing arrays turn into the geometric RSK correspondences associated with log-Gamma or strict-weak directed random polymers.

The Totally Asymmetric Simple Exclusion Process (TASEP) is a non-equilibrium particle model on a finite one-dimensional lattice with open boundaries. In our earlier paper, we obtained a determinantal formula that computes the steady state probabilities of this process by the enumeration of "Catalan alternative tableaux", which are certain fillings of Young diagrams. Here, we present a new, more illuminating bijective proof of this determinantal formula using the Lindström-Gessel-Viennot Lemma.

The goal of this paper is to provide a combinatorial expression for the steady state probabilities of the two-species PASEP. In this model, there are two species of particles, one "heavy" and one "light", on a one-dimensional finite lattice with open boundaries. Both particles can swap places with adjacent holes to the right and left at rates 1 and $q$. Moreover, when the heavy and light particles are adjacent to each other, they can swap places as if the light particle were a hole. Additionally, the heavy particle can hop in and out at the boundary of the lattice. Our main result is a combinatorial interpretation for the stationary distribution at $q=0$ in terms of certain multi-Catalan tableaux. We provide an explicit determinantal formula for the steady state probabilities, as well as some general enumerative results for this case. We also describe a Markov process on these tableaux that projects to the two-species PASEP, and thus directly explains the connection between the two. Finally, we give a conjecture that extends our formula for the stationary distribution to the $q=1$ case, using certain two-species alternative tableau.

We show that certain weighted average of the alpha-determinant of a $kn$ by $kn$ matrix of the form $A\otimes1_{1,k}$, the Kronecker product of a $kn$ by $n$ matrix $A$ and $1$ by $k$ all one matrix $1_{1,k}$, over permutations of $kn$ letters is reduced to the $k$-wreath determinant of $A$ up to constant. The constant is exactly given by the modified content polynomial for the Young diagram $(k^n)$. As a corollary, we give a `determinantal' formula for certain functions on the symmetric groups which are invariant under the left and right translation by a Young subgroup, especially the values of the Kostka numbers for rectangular shapes with arbitrary weight. This corollary gives a generalization of the formula of irreducible characters of the symmetric group for rectangular shapes due to Stanley.

We formulate a natural model of current loops and magnetic monopoles for arbitrary planar graphs, which we call the monopole-dimer model, and express the partition function of this model as a determinant. We then extend the method of Kasteleyn and Temperley-Fisher to calculate the partition function exactly in the case of rectangular grids. This partition function turns out to be a square of the partition function of an emergent monomer-dimer model when the grid sizes are even. We use this formula to calculate the local monopole density, free energy and entropy exactly. Our technique is a novel determinantal formula for the partition function of a model of vertices and loops for arbitrary graphs.

We present a determinantal formula for the steady state probability of each state of the TASEP (Totally Asymmetric Simple Exclusion Process) with open boundaries, a 1D particle model that has been studied extensively and displays rich combinatorial structure. These steady state probabilities are computed by the enumeration of Catalan tableaux, which are certain Young diagrams filled with $α$'s and $β$'s that satisfy some conditions on the rows and columns. We construct a bijection from the Catalan tableaux to weighted lattice paths on a Young diagram, and from this we enumerate the paths with a determinantal formula, building upon a formula of Narayana that counts unweighted lattice paths on a Young diagram. Finally, we provide a formula for the enumeration of Catalan tableaux that satisfy a given condition on the rows, which corresponds to the steady state probability that in the TASEP on a lattice with $n$ sites, precisely $k$ of the sites are occupied by particles. This formula is an $α /\ β$ generalization of the Narayana numbers.

In this paper, we introduce a family of symmetric polynomials by specializing the factorial Schur polynomials. These polynomials represent the weighted Schubert classes of the cohomology of the weighted Grassmannian introduced by Corti-Reid, and we regard these polynomials as analogue of the Schur polynomials. We show that those twisted Schur polynomials are the characters of certain representations. Thus we give an interpretation of the Schubert structure constants of the weighted Grassmannians as the (rational) multiplicities of tensor products of the representations. Furthermore, we derive two types of determinantal formulas for the weighted Schubert classes, in terms of special weighted Schubert classes, and also in terms of Chern classes of tautological orbi-bundles.

In the recent paper [arXiv:1109.1412], Borodin and Olshanski have presented a novel proof of the celebrated Edrei-Voiculescu theorem which describes the boundary of the Gelfand-Tsetlin graph as a region in an infinite-dimensional coordinate space. This graph encodes branching of irreducible characters of finite-dimensional unitary groups. Points of the boundary of the Gelfand-Tsetlin graph can be identified with finite indecomposable (= extreme) characters of the infinite-dimensional unitary group. An equivalent description identifies the boundary with the set of doubly infinite totally nonnegative sequences. A principal ingredient of Borodin-Olshanski's proof is a new explicit determinantal formula for the number of semi-standard Young tableaux of a given skew shape (or of Gelfand-Tsetlin schemes of trapezoidal shape). We present a simpler and more direct derivation of that formula using the Cauchy-Binet summation involving the inverse Vandermonde matrix. We also obtain a q-generalization of that formula, namely, a new explicit determinantal formula for arbitrary q-specializations of skew Schur polynomials. Its particular case is related to the q-Gelfand-Tsetlin graph and q-Toeplitz matrices introduced and studied by Gorin [arXiv:1011.1769].

We use a new method to study the Laplace-Beltrami type operator on the Fock space of symmetric functions, and as an example of our explicit computation we show that the Jack symmetric functions are the only family of eigenvectors of the differential operator. As applications of this explicit method we find a combinatorial formula for Jack symmetric functions and the Littlewood-Richardson coefficients in the Jack case. As further applications, we obtain a new determinantal formula for Jack symmetric functions. We also obtained a generalized raising operator formula for Jack symmetric functions, and a formula for the explicit action of Virasoro operators. Special cases of our formulas imply Mimachi-Yamada's result on Jack symmetric functions of rectangular shapes, as well as the explicit formula for Jack functions of two rows or two columns.

Bouvel and Pergola introduced the notion of minimal permutations in the study of the whole genome duplication-random loss model for genome rearrangements. Let $\mathcal{F}_d(n)$ denote the set of minimal permutations of length $n$ with $d$ descents, and let $f_d(n)= |\mathcal{F}_d(n)|$. They derived that $f_{n-2}(n)=2^{n}-(n-1)n-2$ and $f_n(2n)=C_n$, where $C_n$ is the $n$-th Catalan number. Mansour and Yan proved that $f_{n+1}(2n+1)=2^{n-2}nC_{n+1}$. In this paper, we consider the problem of counting minimal permutations in $\mathcal{F}_d(n)$ with a prescribed set of ascents. We show that such structures are in one-to-one correspondence with a class of skew Young tableaux, which we call $2$-regular skew tableaux. Using the determinantal formula for the number of skew Young tableaux of a given shape, we find an explicit formula for $f_{n-3}(n)$. Furthermore, by using the Knuth equivalence, we give a combinatorial interpretation of a formula for a refinement of the number $f_{n+1}(2n+1)$.

We connect k-triangulations of a convex n-gon to the theory of Schubert polynomials. We use this connection to prove that the simplicial complex with k-triangulations as facets is a vertex-decomposable triangulated sphere, and we give a new proof of the determinantal formula for the number of k-triangulations.

We recover Gessel's determinantal formula for the generating function of permutations with no ascending subsequence of length m+1. The starting point of our proof is the recursive construction of these permutations by insertion of the largest entry. This construction is of course extremely simple. The cost of this simplicity is that we need to take into account in the enumeration m-1 additional parameters --- namely, the positions of the leftmost increasing subsequences of length i, for i=2,...,m. This yields for the generating function a functional equation with m-1 "catalytic" variables, and the heart of the paper is the solution of this equation. We perform a similar task for involutions with no descending subsequence of length m+1, constructed recursively by adding a cycle containing the largest entry. We refine this result by keeping track of the number of fixed points. In passing, we prove that the ordinary generating functions of these families of permutations can be expressed as constant terms of rational series.

Given an elliptic curve C, we study here $N_k = #C(F_{q^k})$, the number of points of C over the finite field F_{q^k}. This sequence of numbers, as k runs over positive integers, has numerous remarkable properties of a combinatorial flavor in addition to the usual number theoretical interpretations. In particular we prove that $N_k = - W_k(q, - N_1)$ where W_k(q,t) is a (q,t)-analogue of the number of spanning trees of the wheel graph. Additionally we develop a determinantal formula for N_k where the eigenvalues can be explicitly written in terms of q, N_1, and roots of unity. We also discuss here a new sequence of bivariate polynomials related to the factorization of N_k, which we refer to as elliptic cyclotomic polynomials because of their various properties.

In this paper we settle a weak version of a conjecture (i.e. Conjecture 6) by Mills, Robbins and Rumsey in the paper "Self-complementary totally symmetric plane partitions" (J. Combin. Theory Ser. A 42, 277-292). In other words we show that the number of shifted plane partitions invariant under an involution is equal to the number of alternating sign matrices invariant under the vertical flip. We also give a determinantal formula for the general conjecture (Conjecture 6), but this determinant is still hard to evaluate. In this paper we introduce two new classes of domino plane partitions, one has the same cardinality as the set of half-turn symmetric alternating sign matrices and the other has the same cardinality as the set of vertically symmetric alternating sign matrices.

Normalized irreducible characters of the symmetric group S(n) can be understood as zonal spherical functions of the Gelfand pair $(S(n)\times S(n),\Diag S(n))$. They form an orthogonal basis in the space of the functions on the group S(n) invariant with respect to conjugations by S(n). In this paper we consider a different Gelfand pair connected with the symmetric group, that is an ``unbalanced'' Gelfand pair $(S(n)\times S(n-1),\Diag S(n-1))$. Zonal spherical functions of this Gelfand pair form an orthogonal basis in a larger space of functions on S(n), namely in the space of functions invariant with respect to conjugations by $S(n-1)$. We refer to these zonal spherical functions as normalized \textit{generalized} characters of S(n). The main discovery of the present paper is that these generalized characters can be computed on the same level as the irreducible characters of the symmetric group. The paper gives a Murnaghan-Nakayama type rule, a Frobenius type formula, and an analogue of the determinantal formula for the generalized characters of S(n).

We consider the crossing and non-crossing O(1) dense loop models on a semi-infinite strip, with inhomogeneities (spectral parameters) that preserve the integrability. We compute the components of the ground state vector and obtain a closed expression for their sum, in the form of Pfaffian and determinantal formulas.