arXiv++ Combinatorics

Maximal green sequences are particular sequences of mutations of quivers which were introduced by Keller in the context of quantum dilogarithm identities and independently by Cecotti-Córdova-Vafa in the context of supersymmetric gauge theory. The existence of maximal green sequences for exceptional finite mutation type quivers has been shown by Alim-Cecotti-Córdova-Espahbodi-Rastogi-Vafa except for the quiver $X_7$. In this paper we show that the quiver $X_7$ does not have any maximal green sequences. We also generalize the idea of the proof to give sufficient conditions for the non-existence of maximal green sequences for an arbitrary quiver.

Subtraction-free computational complexity is the version of arithmetic circuit complexity that allows only three operations: addition, multiplication, and division. We use cluster transformations to design efficient subtraction-free algorithms for computing Schur functions and their skew, double, and supersymmetric analogues, thereby generalizing earlier results by P. Koev. We develop such algorithms for computing generating functions of spanning trees, both directed and undirected. A comparison to the lower bound due to M. Jerrum and M. Snir shows that in subtraction-free computations, "division can be exponentially powerful." Finally, we give a simple example where the gap between ordinary and subtraction-free complexity is exponential.

We study certain symmetric polynomials, which as very special cases include polynomials related to the supersymmetric eight-vertex model, and other elliptic lattice models with $Δ=\pm 1/2$. In this paper, which is the first part of a series, we study the behaviour of the polynomials at special parameter values, which can be identified with cusps of the modular group $Γ_0(12)$. In subsequent papers, we will show that the polynomials satisfy a non-stationary Schrödinger equation related to the Knizhnik--Zamolodchikov--Bernard equation and that they give a four-dimensional lattice of tau functions of Painlevé VI.

Maximal green sequences are particular sequences of mutations which were introduced by Keller in the context of quantum dilogarithm identities and independently by Cecotti-Cordova-Vafa in the context of supersymmetric gauge theory. In this paper, we show that skew-symmetrizable 3x3 matrices with a mutation-cyclic diagram do not have any maximal green sequences. We also obtain some properties of maximal green sequences of skew-symmetrizable 3x3 matrices with mutation-acyclic diagrams.

Maximal green sequences are particular sequences of quiver mutations appearing in the context of quantum dilogarithm identities and supersymmetric gauge theory. Interpreting maximal green sequences as paths in various natural posets arising in representation theory, we prove the finiteness of the number of maximal green sequences for cluster finite quivers, affine quivers and acyclic quivers with at most three vertices. We also give results concerning the possible numbers and lengths of these maximal green sequences.

We study a model for itinerant, strongly interacting fermions where a judicious tuning of the interactions leads to a supersymmetric Hamiltonian. On the triangular lattice this model is known to exhibit a property called superfrustration, which is characterized by an extensive ground state entropy. Using a combination of numerical and analytical methods we study various ladder geometries obtained by imposing doubly periodic boundary conditions on the triangular lattice. We compare our results to various bounds on the ground state degeneracy obtained in the literature. For all systems we find that the number of ground states grows exponentially with system size. For two of the models that we study we obtain the exact number of ground states by solving the cohomology problem. For one of these, we find that via a sequence of mappings the entire spectrum can be understood. It exhibits a gapped phase at 1/4 filling and a gapless phase at 1/6 filling and phase separation at intermediate fillings. The gapless phase separates into an exponential number of sectors, where the continuum limit of each sector is described by a superconformal field theory.

Snakes are analogues of alternating permutations defined for any Coxeter group. We study these objects from the point of view of combinatorial Hopf algebras, such as noncommutative symmetric functions and their generalizations. The main purpose is to show that several properties of the generating functions of snakes, such as differential equations or closed form as trigonometric functions, can be lifted at the level of noncommutative symmetric functions or free quasi-symmetric functions. The results take the form of algebraic identities for type B noncommutative symmetric functions, noncommutative supersymmetric functions and colored free quasi-symmetric functions.

The Jack polynomials P_λ^{(α)} at α=-(k+1)/(r-1) indexed by certain (k,r,N)-admissible partitions are known to span an ideal I^{(k,r)}_N of the space of symmetric functions in N variables. The ideal I^{(k,r)}_N is invariant under the action of certain differential operators which include half the Virasoro algebra. Moreover, the Jack polynomials in I^{(k,r)}_N admit clusters of size at most k: they vanish when k+1 of their variables are identified, and they do not vanish when only k of them are identified. We generalize most of these properties to superspace using orthogonal eigenfunctions of the supersymmetric extension of the trigonometric Calogero-Moser-Sutherland model known as Jack superpolynomials. In particular, we show that the Jack superpolynomials P_Λ^{(α)} at α=-(k+1)/(r-1) indexed by certain (k,r,N)-admissible superpartitions span an ideal {\mathcal I}^{(k,r)}_N of the space of symmetric polynomials in N commuting variables and N anticommuting variables. We prove that the ideal {\mathcal I}^{(k,r)}_N is stable with respect to the action of the negative-half of the super-Virasoro algebra. In addition, we show that the Jack superpolynomials in {\mathcal I}^{(k,r)}_N vanish when k+1 of their commuting variables are equal, and conjecture that they do not vanish when only k of them are identified. This allows us to conclude that the standard Jack polynomials with prescribed symmetry should satisfy similar clustering properties. Finally, we conjecture that the elements of {\mathcal I}^{(k,2)}_N provide a basis for the subspace of symmetric superpolynomials in N variables that vanish when k+1 commuting variables are set equal to each other.

We analyze the quantum ground state structure of a specific model of itinerant, strongly interacting lattice fermions. The interactions are tuned to make the model supersymmetric. Due to this, quantum ground states are in one-to-one correspondence with cohomology classes of the so-called independence complex of the lattice. Our main result is a complete description of the cohomology, and thereby of the quantum ground states, for a two-dimensional square lattice with periodic boundary conditions. Our work builds on results by J. Jonsson, who determined the Euler characteristic (Witten index) via a correspondence with rhombus tilings of the plane. We prove a theorem, first conjectured by P. Fendley, which relates dimensions of the cohomology at grade n to the number of rhombus tilings with n rhombi.

The aim of the present paper is to introduce the notion of first order (supersymmetric) Dirac operators on discrete and metric (``quantum'') graphs. In order to cover all self-adjoint boundary conditions for the associated metric graph Laplacian, we develop systematically a new type of discrete graph operators acting on a decorated graph. The decoration at each vertex of degree-d is given by a subspace of $\C^d$, generalising the fact that a function on the standard vertex space has only a scalar value. We develop the notion of exterior derivative, differential forms, Dirac and Laplace operators in the discrete and metric case, using a supersymmetric framework. We calculate the (supersymmetric) index of the discrete Dirac operator generalising the standard index formula involving the Euler characteristic of a graph. Finally, we show that the corresponding index for the metric Dirac operator agrees with the discrete one.

Periodic Schur process is a generalization of the Schur process introduced in math.CO/0107056. We compute its correlation functions and their bulk scaling limits, and discuss several applications including asymptotic analysis of uniform measures on cylindric partitions, time-dependent extensions of the discrete sine kernel, and bulk limit behavior of certain measures on partitions introduced in hep-th/0306238 in connection with supersymmetric gauge theories.

Jack polynomials in superspace, orthogonal with respect to a ``combinatorial'' scalar product, are constructed. They are shown to coincide with the Jack polynomials in superspace, orthogonal with respect to an ``analytical'' scalar product, introduced in hep-th/0209074 as eigenfunctions of a supersymmetric quantum mechanical many-body problem. The results of this article rely on generalizing (to include an extra parameter) the theory of classical symmetric functions in superspace developed recently in math.CO/0509408

Partial Isometries are important constructs that help give nontrivial solutions once a simple solution is known. We generalize this notion to Extended Partial Isometries and include operators which have right inverses but no left inverses (or vice versa). We find a large class of such operators and conjecture the moduli space to be the Hilbert Scheme of Points. Further, we apply this technique to find instanton solutions of a noncommutative N=1 supersymmetric gauge theory in six dimensions and show that this construction yields nontrivial solutions for other noncommutative gauge theories. The analysis is done in one complex dimension and the generalization of the result to higher dimensions is shown.

We construct a generalization of the theory of symmetric functions involving functions of commuting and anticommuting (Grassmannian) variables. These new functions, called symmetric functions in superspace, are invariant under the diagonal action of the symmetric group acting on the sets of commuting and anticommuting variables. We first obtain superspace analogues of a number of standard objects and concepts in the theory of symmetric functions: partitions, monomials, elementary symmetric functions, completely symmetric functions, power sums, involutions, generating functions, Cauchy formulas, and scalar products. We then consider a one-parameter extension of the combinatorial scalar product. It provides the natural setting for the definition of a family of ``combinatorial'' orthogonal Jack polynomials in superspace. We show that this family coincides with that of ``physical'' Jack polynomials in superspace that were previously introduced by the authors as orthogonal eigenfunctions of a supersymmetric quantum mechanical many-body problem. The equivalence of the two families is established by showing that the ``physical'' Jack polynomials are also orthogonal with respect to the combinatorial scalar product. This equivalence is also directly demonstrated for particular values of the free parameter.

Jack superpolynomials are eigenfunctions of the supersymmetric extension of the quantum trigonometric Calogero-Moser-Sutherland. They are orthogonal with respect to the scalar product, dubbed physical, that is naturally induced by this quantum-mechanical problem. But Jack superpolynomials can also be defined more combinatorially, starting from the multiplicative bases of symmetric superpolynomials, enforcing orthogonality with respect to a one-parameter deformation of the combinatorial scalar product. Both constructions turns out to be equivalent. This provides strong support for the correctness of the various underlying constructions and for the pivotal role of Jack superpolynomials in the theory of symmetric superpolynomials.

We show that graphs, networks and other related discrete model systems carry a natural supersymmetric structure, which, apart from its conceptual importance as to possible physical applications, allows to derive a series of spectral properties for a class of graph operators which typically encode relevant graph characteristics.

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.

A conventional context for supersymmetric problems arises when we consider systems containing both boson and fermion operators. In this note we consider the normal ordering problem for a string of such operators. In the general case, upon which we touch briefly, this problem leads to combinatorial numbers, the so-called Rook numbers. Since we assume that the two species, bosons and fermions, commute, we subsequently restrict ourselves to consideration of a single species, single-mode boson monomials. This problem leads to elegant generalisations of well-known combinatorial numbers, specifically Bell and Stirling numbers. We explicitly give the generating functions for some classes of these numbers. In this note we concentrate on the combinatorial graph approach, showing how some important classical results of graph theory lead to transparent representations of the combinatorial numbers associated with the boson normal ordering problem.

We provide explicit formulas for the orthogonal eigenfunctions of the supersymmetric extension of the rational Calogero-Moser-Sutherland model with harmonic confinement, i.e., the generalized Hermite (or Hi-Jack) polynomials in superspace. The construction relies on the triangular action of the Hamiltonian on the supermonomial basis. This translates into determinantal expressions for the Hamiltonian's eigenfunctions.

This work initiates the study of {\it orthogonal} symmetric polynomials in superspace. Here we present two approaches leading to a family of orthogonal polynomials in superspace that generalize the Jack polynomials. The first approach relies on previous work by the authors in which eigenfunctions of the supersymmetric extension of the trigonometric Calogero-Moser-Sutherland Hamiltonian were constructed. Orthogonal eigenfunctions are now obtained by diagonalizing the first nontrivial element of a bosonic tower of commuting conserved charges not containing this Hamiltonian. Quite remarkably, the expansion coefficients of these orthogonal eigenfunctions in the supermonomial basis are stable with respect to the number of variables. The second and more direct approach amounts to symmetrize products of non-symmetric Jack polynomials with monomials in the fermionic variables. This time, the orthogonality is inherited from the orthogonality of the non-symmetric Jack polynomials, and the value of the norm is given explicitly.