Kronecker product identities from D-finite symmetric functions

Marni Mishna

DOI: https://doi.org/10.48550/arXiv.math/0612223

2008-02-28

Abstract:Using an algorithm for computing the symmetric function Kronecker product of D-finite symmetric functions we find some new Kronecker product identities. The identities give closed form formulas for trace-like values of the Kronecker product.

Combinatorics

What problem does this paper attempt to address?

On the Kronecker product of Schur functions of square shapes

Chenchen Zhao

2023-09-02

Abstract:Motivated by the Saxl conjecture and the tensor square conjecture, which states that the tensor squares of certain irreducible representations of the symmetric group contain all irreducible representations, we study the tensor squares of irreducible representations associated with square Young diagrams. We give a formula for computing Kronecker coefficients, which are indexed by two square partitions and a three-row partition, specifically one with a short second row and the smallest part equal to 1. We also prove the positivity of square Kronecker coefficients for particular families of partitions, including three-row partitions and near-hooks.

Combinatorics
Polynomial Quotient Rings and Kronecker Substitution for Deriving Combinatorial Identities

Joseph M. Shunia

2024-06-12

Abstract:We introduce a framework for generating combinatorial identities by applying Kronecker substitution to polynomial expansions within quotient rings. We apply this methodology to derive a general formula for C-recursive integer sequences, as well as explicit formulas for certain combinatorial sequences, including the Pell numbers and central binomial coefficients. We also discover an unusual representation for the real $n$-th roots of positive integers $\sqrt[n]{a}$, characterized as the limit of a modular expression. The theorems and results presented provide a theoretical basis for future research on the interconnections between Kronecker substitution, polynomial ring expansions, and their applications in combinatorial sequences and beyond.

General Mathematics
Kronecker Coefficients For (Dual) Symmetric Inverse Semigroups

VOLODYMYR MAZORCHUK,SHRADDHA SRIVASTAVA

DOI: https://doi.org/10.1017/s1446788724000119

2024-09-14

Journal of the Australian Mathematical Society

Abstract:We study analogues of Kronecker coefficients for symmetric inverse semigroups, for dual symmetric inverse semigroups and for the inverse semigroups of bijections between subquotients of finite sets. In all cases, we reduce the problem of determination of such coefficients to some group-theoretic and combinatorial problems. For symmetric inverse semigroups, we provide an explicit formula in terms of the classical Kronecker and Littlewood–Richardson coefficients for symmetric groups.

mathematics
Several new product identities in relation to two-variable Rogers-Ramanujan type sums and mock theta functions

Alexandru Pascadi

2024-04-17

Abstract:Product identities in two variables $x, q$ expand infinite products as infinite sums, which are linear combinations of theta functions; famous examples include Jacobi's triple product identity, Watson's quintuple identity, and Hirschhorn's septuple identity. We view these series expansions as representations in canonical bases of certain vector spaces of quasiperiodic meromorphic functions (related to sections of line and vector bundles), and find new identities for two nonuple products, an undecuple product, and several two-variable Rogers-Ramanujan type sums. Our main theorem explains a correspondence between the septuple product identity and the two original Rogers-Ramanujan identities, involving two-variable analogues of fifth-order mock theta functions. We also prove a similar correspondence between an octuple product identity of Ewell and two simpler variations of the Rogers-Ramanujan identities, which is related to third-order mock theta functions, and conjecture other occurrences of this phenomenon. As applications, we specialize our results to obtain identities for quotients of generalized Dedekind eta functions and mock theta functions.

Combinatorics
Rectangular symmetries for coefficients of symmetric functions

Emmanuel Briand,Rosa Orellana,Mercedes Rosas

DOI: https://doi.org/10.37236/4808

2014-10-29

Abstract:We show that some of the main structural constants for symmetric functions (Littlewood-Richardson coefficients, Kronecker coefficients, plethysm coefficients, and the Kostka--Foulkes polynomials) share symmetries related to the operations of taking complements with respect to rectangles and adding rectangles.

Combinatorics
Tensor products of $d$-fold matrix factorizations

Richie Sheng,Tim Tribone

2024-07-06

Abstract:Consider a pair of elements $f$ and $g$ in a commutative ring $Q$. Given a matrix factorization of $f$ and another of $g$, the tensor product of matrix factorizations, which was first introduced by Knörrer and later generalized by Yoshino, produces a matrix factorization of the sum $f+g$. We will study the tensor product of $d$-fold matrix factorizations, with a particular emphasis on understanding when the construction has a non-trivial direct sum decomposition. As an application of our results, we construct indecomposable maximal Cohen-Macaulay and Ulrich modules over hypersurface domains of a certain form.

Commutative Algebra
Harrison Center and Products of Sums of Powers

Hua-Lin Huang,Lili Liao,Huajun Lu,Yu Ye,Chi Zhang

DOI: https://doi.org/10.1007/s40304-023-00367-1

2023-01-01

Communications in Mathematics and Statistics

Abstract:This paper is mainly concerned with identities like ( x_1^d + x_2^d + ⋯ + x_r^d) ( y_1^d + y_2^d + ⋯ y_n^d) = z_1^d + z_2^d + ⋯ + z_m^d where d>2, m ∈{n, n+1}, x=(x_1, x_2, … , x_r) and y=(y_1, y_2, … , y_n) are systems of indeterminates and each z_k is a linear form in y with coefficients in the rational function field 𝕜(x) over any field 𝕜 of characteristic 0 or greater than d . These identities are higher degree analogue of the well-known composition formulas of sums of squares of Hurwitz, Radon and Pfister. We show that all but one such composition identities of sums of higher powers are trivial, i.e., r necessarily equals 1. Our proof is simple and elementary, in which the crux is Harrison’s center theory of homogeneous polynomials.
Novel identities for elementary and complete symmetric polynomials with diverse applications

Ahmed Arafat,Moawwad El-Mikkawy

DOI: https://doi.org/10.3934/math.20241142

2024-01-01

AIMS Mathematics

Abstract:This article aims to present novel identities for elementary and complete symmetric polynomials and explore their applications, particularly to generalized Vandermonde and special tri-diagonal matrices. It also extends existing results on Jacobi polynomials $ P_n^{(\alpha, \beta)}(x) $ and introduces an explicit formula based on the zeros of $ P_{n-1}^{(\alpha, \beta)}(x) $. Several illustrative examples are included.

mathematics, applied
A New Symmetric Function Identity With an Application to symmetric group character values

Karlee J. Westrem

2024-10-07

Abstract:Symmetric functions show up in several areas of mathematics including enumerative combinatorics and representation theory. Tewodros Amdeberhan conjectures equalities of $\Sigma_n$ characters sums over a new set called $Ev(\lambda)$. When investigating the alternating sum of characters for $Ev(\lambda)$ written in terms of the inner product of Schur functions and power sum symmetric functions, we found an equality between the alternating sum of power sum symmetric polynomials and a product of monomial symmetric polynomials. As a consequence, a special case of an alternating sum of $\Sigma_n$ characters over the set $Ev(\lambda)$ equals $0$.

Combinatorics,Representation Theory
IdentityFinder and Some New Identities of Rogers–Ramanujan Type

Shashank Kanade,Matthew C. Russell

DOI: https://doi.org/10.1080/10586458.2015.1015186

2015-07-07

Experimental Mathematics

Abstract:The Rogers–Ramanujan identities and various analogous identities (Gordon, Andrews–Bressoud, Capparelli, etc.) form a family of very deep identities concerned with integer partitions. These identities (written in generating function form) are typically of the form “product side” equals “sum side,” with the product side enumerating partitions obeying certain congruence conditions and the sum side obeying certain initial conditions and difference conditions (along with possibly other restrictions). We use symbolic computation to generate various such sum sides and then use Euler’s algorithm to see which of them actually do produce elegant conjectured product sides. We not only rediscover many of the known identities but also discover some apparently new ones, as conjectures supported by strong mathematical evidence.

mathematics
Durfee Rectangle Identities via Symmetric Functions

Cristina Ballantine,Mircea Merca

DOI: https://doi.org/10.1007/s00009-023-02571-3

2024-01-08

Mediterranean Journal of Mathematics

Abstract:In this paper, we provide an analytic proof of Cauchy's Durfee square identity using specializations of complete and elementary symmetric functions. We generalize Cauchy's identity to Durfee rectangle identities for which we provide combinatorial proofs.

mathematics, applied
A K_T-deformation of the ring of symmetric functions

Allen Knutson,Mathias Lederer

DOI: https://doi.org/10.48550/arXiv.1503.04070

2015-03-13

Algebraic Geometry

Abstract:The ring of symmetric functions can be implemented in the homology of \union_{a,b} Gr(a,a+b), the multiplicative structure being defined from the "direct sum" map. There is a natural circle action (simultaneously on all Grassmannians) under which each direct sum map is equivariant. Upon replacing usual homology by equivariant K-homology, we obtain a 2-parameter deformation of the ring of symmetric functions. This ring has a module basis given by Schubert classes. Geometric considerations show that multiplication of Schubert classes has positive coefficients, in an appropriate sense. In this paper we give manifestly positive formulae for these coefficients: they count numbers of "DS pipe dreams'' with prescribed edge labelings.
A generalization of combinatorial identities for stable discrete series constants

Richard Ehrenborg,Sophie Morel,Margaret Readdy

DOI: https://doi.org/10.48550/arXiv.1912.00506

2022-02-10

Abstract:This article is concerned with the constants that appear in Harish-Chandra's character formula for stable discrete series of real reductive groups, although it does not require any knowledge about real reductive groups or discrete series. In Harish-Chandra's work the only information we have about these constants is that they are uniquely determined by an inductive property. Later Goresky-Kottwitz-MacPherson and Herb gave different formulas for these constants. In this article we generalize these formulas to the case of arbitrary finite Coxeter groups (in this setting, discrete series no longer make sense), and give a direct proof that the two formulas agree. We actually prove a slightly more general identity that also implies the combinatorial identity underlying the discrete series character identities of Morel. We deduce this identity from a general abstract theorem giving a way to calculate the alternating sum of the values of a valuation on the chambers of a Coxeter arrangement. We also introduce a ring structure on the set of valuations on polyhedral cones in Euclidean space with values in a fixed ring. This gives a theoretical framework for the valuation appearing in Appendix A of the Goresky-Kottwitz-MacPherson paper. In Appendix B we extend the notion of $2$-structures (due to Herb) to pseudo-root systems.

Combinatorics,Representation Theory
Reciprocity and the Kernel of Dedekind Sums

Alexis LaBelle,Emily Van Bergeyk,Matthew P. Young

DOI: https://doi.org/10.48550/arXiv.2110.12269

2021-10-24

Abstract:We use the action of Atkin-Lehner operators to generate a family of reciprocity formulas for newform Dedekind sums. This family of reciprocity formulas provides symmetries which we use to investigate the kernel of these Dedekind sums.

Number Theory
Determinantal expressions of certain integrals on symmetric spaces

Salem Said,Cyrus Mostajeran

2023-06-18

Abstract:The integral of a function $f$ defined on a symmetric space $M \simeq G/K$ may be expressed in the form of a determinant (or Pfaffian), when $f$ is $K$-invariant and, in a certain sense, a tensor power of a positive function of a single variable. The paper presents a few examples of this idea and discusses future extensions. Specifically, the examples involve symmetric cones, Grassmann manifolds, and classical domains.

Differential Geometry
Diagonally symmetric alternating sign matrices

Roger E. Behrend,Ilse Fischer,Christoph Koutschan

2023-09-15

Abstract:The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in which a simple product formula does not seem to exist. Pfaffian formulae are also obtained for DSASM generating functions associated with several natural statistics, including the number of nonzero strictly upper triangular entries in a DSASM, the number of nonzero diagonal entries in a DSASM, and the column of the unique 1 in the first row of a DSASM. The proofs of these results involve introducing a version of the six-vertex model whose configurations are in bijection with DSASMs of fixed size, and obtaining a Pfaffian expression for its partition function. Various further results and conjectures are also obtained, including some related to the exact enumeration of off-diagonally symmetric alternating sign matrices, and some related to the asymptotic enumeration of DSASMs and other classes of alternating sign matrices.

Combinatorics,Mathematical Physics
A first Kronecker limit formula for Kleinian groups

Zihan Miao,Anh Nguyen,Tian An Wong

2023-05-09

Abstract:We prove a first Kronecker limit formula for cofinite discrete subgroups of SL$(2,\mathbb{C})$, also called Kleinian groups, generalizing a method of Goldstein over SL$(2,\mathbb R)$. The proof uses the Fourier expansion of Eisenstein series, leading to an analogue of the logarithm of the Dedekind eta function, and whose transformation law produces a function analogous to one related to Dedekind sums. We derive several basic properties of this new function.

Number Theory
A p-adic analog of Hasse-Davenport product relation involving epsilon-factors

Dani Szpruch

2024-02-15

Abstract:In this paper we prove some generalizations of the classical Hasse-Davenport product relation for certain arithmetic factors defined on p-adic fields, among them one finds the epsilon-factors appearing in Tate's thesis. We then show that these generalizations are equivalent to some representation theoretic identities relating the determinant of ramified local coefficients matrices defined for coverings of SL(2,F) to Plancherel measures and gamma-factors.

Number Theory,Representation Theory
Growth diagram proofs for the Littlewood identities

Florian Schreier-Aigner

2024-04-05

Abstract:The (dual) Cauchy identity has an easy algebraic proof utilising a commutation relation between the up and (dual) down operators. By using Fomin's growth diagrams, a bijective proof of the commutation relation can be "bijectivised" to obtain RSK like correspondences. In this paper we give a concise overview of this machinery and extend it to Littlewood type identities by introducing a new family of relations between these operators, called projection identities. Thereby we obtain infinite families of bijections for the Littlewood identities generalising the classical ones. We believe that this approach will be useful for finding bijective proofs for Littlewood type identities in other settings such as for Macdonald polynomials and their specialisations, alternating sign matrices or vertex models.

Combinatorics
L-Functions of Symmetric Products of the Kloosterman Sheaf over Z

Lei Fu,Daqing Wan

DOI: https://doi.org/10.1007/s00208-008-0240-5

2008-01-01

Mathematische Annalen

Abstract:The classical $n$-variable Kloosterman sums over the finite field ${\bf F}_p$ give rise to a lisse $\bar {\bf Q}_l$-sheaf ${\rm Kl}_{n+1}$ on ${\bf G}_{m, {\bf F}_p}={\bf P}^1_{{\bf F}_p}-\{0,\infty\}$, which we call the Kloosterman sheaf. Let $L_p({\bf G}_{m,{\bf F}_p}, {\rm Sym}^k{\rm Kl}_{n+1}, s)$ be the $L$-function of the $k$-fold symmetric product of ${\rm Kl}_{n+1}$. We construct an explicit virtual scheme $X$ of finite type over ${\rm Spec} {\bf Z}$ such that the $p$-Euler factor of the zeta function of $X$ coincides with $L_p({\bf G}_{m,{\bf F}_p}, {\rm Sym}^k{\rm Kl}_{n+1}, s)$. We also prove similar results for $\otimes^k {\rm Kl}_{n+1}$ and $\bigwedge^k {\rm Kl}_{n+1}$.

Kronecker product identities from D-finite symmetric functions

On the Kronecker product of Schur functions of square shapes

Polynomial Quotient Rings and Kronecker Substitution for Deriving Combinatorial Identities

Kronecker Coefficients For (Dual) Symmetric Inverse Semigroups

Several new product identities in relation to two-variable Rogers-Ramanujan type sums and mock theta functions

Rectangular symmetries for coefficients of symmetric functions

Tensor products of $d$-fold matrix factorizations

Harrison Center and Products of Sums of Powers

Novel identities for elementary and complete symmetric polynomials with diverse applications

A New Symmetric Function Identity With an Application to symmetric group character values

IdentityFinder and Some New Identities of Rogers–Ramanujan Type

Durfee Rectangle Identities via Symmetric Functions

A K_T-deformation of the ring of symmetric functions

A generalization of combinatorial identities for stable discrete series constants

Reciprocity and the Kernel of Dedekind Sums

Determinantal expressions of certain integrals on symmetric spaces

Diagonally symmetric alternating sign matrices

A first Kronecker limit formula for Kleinian groups

A p-adic analog of Hasse-Davenport product relation involving epsilon-factors

Growth diagram proofs for the Littlewood identities

L-Functions of Symmetric Products of the Kloosterman Sheaf over Z