arXiv++ Combinatorics

We introduce a canonical operator-theoretic construction associated to a finite geometric lattice, in which a simple nonassociative ``diamond product'' on the lattice basis gives rise to a family of creation operators indexed by atoms and a corresponding self-adjoint Hamiltonian on $\mathbb R[L]$. A key structural feature is that the Hamiltonian changes rank by at most one, so that its compression to the rank-radial subspace is a Jacobi matrix. In this way, geometric lattices give rise in a direct and uniform manner to finite orthogonal polynomial systems. The Jacobi coefficients admit explicit combinatorial formulas. For Boolean lattices one obtains the centered Krawtchouk Jacobi matrix, while for projective geometries one obtains natural $q$-deformations consistent with the $q$-Hahn family. The construction applies to arbitrary geometric lattices and requires no symmetry assumptions.

Spivey found a recurrence relation for the Bell numbers by using combinatorial method. The aim of this paper is to derive Spivey's type recurrence relations for the degenerate Bell polynomials and the degenerate Dowling polynomials by using the boson annihilation and creation operators satisfying the commutation relation aa+-a+a=1. In addition, we derive a Spivey's type recurrence relation for the r-Dowling polynomials.

We introduce two new bases of QSym, the flipped extended Schur functions and the backward extended Schur functions, as well as their duals in NSym, the flipped shin functions and the backward shin functions. These bases are the images of the extended Schur basis and shin basis under the involutions $ρ$ and $ω$ on the quasisymmetric and noncommutative symmetric functions, which generalize the classical involution $ω$ on the symmetric functions. In addition, we prove a Jacobi-Trudi rule for certain shin functions using creation operators. We define skew extended Schur functions and skew-II extended Schur functions based on left and right actions of NSym and QSym respectively. We then use the involutions $ρ$ and $ω$ to translate these and other known results to our flipped and backward bases.

Haglund, Morse, and Zabrocki introduced a family of creation operators of Hall-Littlewood polynomials, $\{C_{a}\}$ for any $a\in \mathbb{Z}$, in their compositional refinement of the shuffle (ex-)conjecture. For any $α\vDash n$, the combinatorial formula for $\nabla C_α$ is a weighted sum of parking functions. These summations can be converted to a weighted sum of certain LLT polynomials. Thus $\nabla C_α$ is Schur positive since Grojnowski and Haiman proved that all LLT polynomials are Schur positive. In this paper, we obtain a recursion that implies the $C$-positivity of $(-1)^{k} m_{2^{k}1^{l}}$, and hence prove the Schur positivity of $(-1)^{k}\nabla m_{2^{k}1^{l}}$. As a corollary, a parking function interpretation for $(-1)^{k}\nabla m_{2^{k}1^{l}}$ is obtained by using the compositional shuffle theorem of Carlsson and Mellit.

We define a new pair of dual bases that generalize the immaculate and dual immaculate bases to the colored algebras $QSym_A$ and $NSym_A$. The colored dual immaculate functions are defined combinatorially via tableaux, and we present results on their Hopf algebra structure, expansions to and from other bases, and skew functions. For the colored immaculate functions, defined using creation operators, we study expansions to and from other bases and provide a right Pieri rule. This includes a combinatorial method for expanding colored immaculate functions into the colored ribbon basis that specializes to a new analogous result in the uncolored case. We use the same methods to define colored generalizations of the row-strict immaculate and row-strict dual immaculate functions with similar results.

This paper continues with Part I. We define the module for a $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra that is twisted by an involution and show that the axioms are sufficient to guarantee the convergence of products and iterates of any number of vertex operators. A module twisted by the parity involution is called a canonically $\mathbb{Z}_2$-twisted module. As an example, we give a fermionic construction of the canonically $\mathbb{Z}_2$-twisted module for the $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra constructed in Part I. Similar to the situation in Part I, the example is also built on a universal $\mathbb{Z}$-graded non-anti-commutative Fock space where a creation operator and an annihilation operator satisfy the fermionic anti-commutativity relation, while no relations exist among the creation operators or among the zero modes. The Wick's theorem still holds, though the actual vertex operator needs to be corrected from the naïve definition by normal ordering using the $\exp(Δ(x))$-operator in Part I.

We give an explicit formula for the power-sum expansion of Jack polynomials. We deduce it from a more general formula, which we provide here, that interprets Jack characters in terms of bipartite maps. We prove Lassalle's conjecture from 2008 on integrality and positivity of Jack characters in Stanley's coordinates and give a new formula for Jack polynomials using creation operators.

A number of finite algorithms for constructing representation theoretic data from group multiplications in a finite group G have recently been shown to be related to amplitudes for combinatoric topological strings (G-CTST) based on Dijkgraaf-Witten theory of flat G-bundles on surfaces. We extend this result to projective representations of G using twisted Dijkgraaf-Witten theory. New algorithms for characters are described, based on handle creation operators and minimal multiplicative generating subspaces for the centers of group algebras and twisted group algebras. Such minimal generating subspaces are of interest in connection with information theoretic aspects of the AdS/CFT correspondence. For the untwisted case, we describe the integrality properties of certain character sums and character power sums which follow from these constructive G-CTST algorithms. These integer sums appear as residues of singularities in G-CTST generating functions. S-duality of the combinatoric topological strings motivates the definition of an inverse handle creation operator in the centers of group algebras and twisted group algebras.

A remarkable result at the intersection of number theory and group theory states that the order of a finite group $G$ (denoted $|G|$) is divisible by the dimension $d_R$ of any irreducible complex representation of $G$. We show that the integer ratios ${ |G|^2 / d_R^2 } $ are combinatorially constructible using finite algorithms which take as input the amplitudes of combinatoric topological strings ($G$-CTST) of finite groups based on 2D Dijkgraaf-Witten topological field theories ($G$-TQFT2). The ratios are also shown to be eigenvalues of handle creation operators in $G$-TQFT2/$G$-CTST. These strings have recently been discussed as toy models of wormholes and baby universes by Marolf and Maxfield, and Gardiner and Megas. Boundary amplitudes of the $G$-TQFT2/$G$-CTST provide algorithms for combinatoric constructions of normalized characters. Stringy S-duality for closed $G$-CTST gives a dual expansion generated by disconnected entangled surfaces. There are universal relations between $G$-TQFT2 amplitudes due to the finiteness of the number $K $ of conjugacy classes. These relations can be labelled by Young diagrams and are captured by null states in an inner product constructed by coupling the $G$-TQFT2 to a universal TQFT2 based on symmetric group algebras. We discuss the scenario of a 3D holographic dual for this coupled theory and the implications of the scenario for the factorization puzzle of 2D/3D holography raised by wormholes in 3D.

Creation operators act on symmetric functions to build Schur functions, Hall--Littlewood polynomials, and related symmetric functions one row at a time. Haglund, Morse, Zabrocki, and others have studied more general symmetric functions $H_α$, $C_α$, and $B_α$ obtained by applying any sequence of creation operators to $1$. We develop new combinatorial models for the Schur expansions of these and related symmetric functions using objects called abacus-histories. These formulas arise by chaining together smaller abacus-histories that encode the effect of an individual creation operator on a given Schur function. We give a similar treatment for operators such as multiplication by $h_m$, $h_m^{\perp}$, $ω$, etc., which serve as building blocks to construct the creation operators. We use involutions on abacus-histories to give bijective proofs of properties of the Bernstein creation operator and Hall-Littlewood polynomials indexed by three-row partitions.

Corresponding to a hypergraph $G$ with $d$ vertices, a quantum hypergraph state is defined by $|G\rangle = \frac{1}{\sqrt{2^d}}\sum_{n = 0}^{2^d - 1} (-1)^{f(n)} |n \rangle$, where $f$ is a $d$-variable Boolean function depending on the hypergraph $G$, and $|n \rangle$ denotes a binary vector of length $2^d$ with $1$ at $n$-th position for $n = 0, 1, \dots (2^d - 1)$. The non-classical properties of these states are studied. We consider annihilation and creation operator on the Hilbert space of dimension $2^d$ acting on the number states $\{|n \rangle: n = 0, 1, \dots (2^d - 1)\}$. The Hermitian number and phase operators, in finite dimensions, are constructed. The number-phase uncertainty for these states leads to the idea of phase squeezing. We establish that these states are squeezed in the phase quadrature only and satisfy the Agarwal-Tara criterion for non-classicality, which only depends on the number of vertices of the hypergraphs. We also point out that coherence is observed in the phase quadrature.

The quon algebra is an approach to particle statistics in order to provide a theory in which the Pauli exclusion principle and Bose statistics are violated by a small amount. The quons are particles whose annihilation and creation operators obey the quon algebra which interpolates between fermions and bosons. In this paper we generalize these models by introducing a deformation of the quon algebra generated by a collection of operators $a_{i,k}$, $(i,k) \in \mathbb{N}^* \times [m]$, on an infinite dimensional vector space satisfying the deformed $q$-mutator relations $a_{j,l} a_{i,k}^† = q a_{i,k}^† a_{j,l} + q^{β_{-k,l}} δ_{i,j}$. We prove the realizability of our model by showing that, for suitable values of $q$, the vector space generated by the particle states obtained by applying combinations of $a_{i,k}$'s and $a_{i,k}^†$'s to a vacuum state $|0\rangle$ is a Hilbert space. The proof particularly needs the investigation of the new statistic $\mathtt{cinv}$ and representations of the colored permutation group.

For any triple $(i,a,μ)$ consisting of a vertex $i$ in a quiver $Q$, a positive integer $a$, and a dominant $GL_a$-weight $μ$, we define a quiver current $H^{(i,a)}_μ$ acting on the tensor power $Λ^Q$ of symmetric functions over the vertices of $Q$. These provide a quiver generalization of parabolic Garsia-Jing creation operators in the theory of Hall-Littlewood symmetric functions. For a triple $(\mathbf{i},\mathbf{a},μ(\bullet))$ of sequences of such data, we define the quiver Hall-Littlewood function $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ as the result of acting on $1\inΛ^Q$ by the corresponding sequence of quiver currents. The quiver Kostka-Shoji polynomials are the expansion coefficients of $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ in the tensor Schur basis. These polynomials include the Kostka-Foulkes polynomials and parabolic Kostka polynomials (Jordan quiver) and the Kostka-Shoji polynomials (cyclic quiver) as special cases. We show that the quiver Kostka-Shoji polynomials are graded multiplicities in the equivariant Euler characteristic of a vector bundle on Lusztig's convolution diagram determined by the sequences $\mathbf{i},\mathbf{a}$. For certain compositions of currents we conjecture higher cohomology vanishing of the associated vector bundle on Lusztig's convolution diagram. For quivers with no branching we propose an explicit positive formula for the quiver Kostka-Shoji polynomials in terms of catabolizable multitableaux. We also relate our constructions to $K$-theoretic Hall algebras, by realizing the quiver Kostka-Shoji polynomials as natural structure constants and showing that the quiver currents provide a symmetric function lifting of the corresponding shuffle product. In the case of a cyclic quiver, we explain how the quiver currents arise in Saito's vertex representation of the quantum toroidal algebra of type $\mathfrak{sl}_r$.

The dual immaculate functions are a basis of the ring QSym of quasisymmetric functions, and form one of the most natural analogues of the Schur functions. The dual immaculate function corresponding to a composition is a weighted generating function for immaculate tableaux in the same way as a Schur function is for semistandard Young tableaux; an "immaculate tableau" is defined similarly to a semistandard Young tableau, but the shape is a composition rather than a partition, and only the first column is required to strictly increase (whereas the other columns can be arbitrary; but each row has to weakly increase). Dual immaculate functions have been introduced by Berg, Bergeron, Saliola, Serrano and Zabrocki in arXiv:1208.5191, and have since been found to possess numerous nontrivial properties. In this note, we prove a conjecture of Mike Zabrocki which provides an alternative construction for the dual immaculate functions in terms of certain "vertex operators". The proof uses a dendriform structure on the ring QSym; we discuss the relation of this structure to known dendriform structures on the combinatorial Hopf algebras FQSym and WQSym.

In this paper, we derive a relation of new kind between certain character values of symmetric groups in terms of so-called maya diagrams. We also investigate a relation between our result and Bernstein's creation operators for Schur functions, and consider analogous relations for projective characters of symmetric groups through creation operators for Schur $Q$-functions. We also consider analogous relations for characters of Brauer algebras and walled Brauer algebras.

We consider properties of the operators D(r,M)=a^r(a^†a)^M (which we call generalized Laguerre-type derivatives), with r=1,2,..., M=0,1,..., where a and a^†are boson annihilation and creation operators respectively, satisfying [a,a^†]=1. We obtain explicit formulas for the normally ordered form of arbitrary Taylor-expandable functions of D(r,M) with the help of an operator relation which generalizes the Dobinski formula. Coherent state expectation values of certain operator functions of D(r,M) turn out to be generating functions of combinatorial numbers. In many cases the corresponding combinatorial structures can be explicitly identified.

We solve the boson normal ordering problem for (q(a*)a + v(a*))^n with arbitrary functions q and v and integer n, where a and a* are boson annihilation and creation operators, satisfying [a,a*]=1. This leads to exponential operators generalizing the shift operator and we show that their action can be expressed in terms of substitutions. Our solution is naturally related through the coherent state representation to the exponential generating functions of Sheffer-type polynomials. This in turn opens a vast arena of combinatorial methodology which is applied to boson normal ordering and illustrated by a few examples.

We give a general expression for the normally ordered form of a function F(w(a,a*)) where w is a function of boson annihilation and creation operators satisfying [a,a*]=1. The expectation value of this expression in a coherent state becomes an exact generating function of Feynman-type graphs associated with the zero-dimensional Quantum Field Theory defined by F(w). This enables one to enumerate explicitly the graphs of given order in the realm of combinatorially defined sequences. We give several examples of the use of this technique, including the applications to Kerr-type and superfluidity-type hamiltonians.

Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. These polynomials satisfy a Macdonald-type duality.

Symmetric Hilbert spaces such as the bosonic and the fermionic Fock spaces over some `one particle space' $\K$ are formed by certain symmetrization procedures performed on the full Fock space. We investigate alternative ways of symmetrization by building on Joyal's notion of a combinatorial species. Any such species $F$ gives rise to an endofunctor $\G_F$ of the category of Hilbert spaces with contractions mapping a Hilbert space $\K$ to a symmetric Hilbert space $\G_F(\K)$ with the same symmetry as the species $F$. A general framework for annihilation and creation operators on these spaces is developed, and compared to the generalised Brownian motions of R. Speicher and M. Bożejko. As a corollary we find that the commutation relation $a_ia_j^*-a_j^*a_i=f(N)δ_{ij}$ with $Na_i^*-a_i^*N=a_i^*$ admits a realization on a symmetric Hilbert space whenever $f$ has a power series with infinite radius of convergence and positive coefficients.