How Joe Gillis Discovered Combinatorial Special Function Theory

Doron Zeilberger

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

1994-05-21

Abstract:How Enumerative Combinatorics met Special Functions, thanks to Joe Gillis

Combinatorics

What problem does this paper attempt to address?

Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel

Stephen Wolfram

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

2021-08-19

Abstract:Combinators were a key idea in the development of mathematical logic and the emergence of the concept of universal computation. They were introduced on December 7, 1920, by Moses Schönfinkel. This is an exploration of the personal story and intellectual context of Moses Schönfinkel, including extensive new research based on primary sources.

History and Overview
There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (ignoring suits) [and many other such useful facts]

Shalosh B. Ekhad,Christoph Koutschan,Doron Zeilberger

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

2021-01-25

Abstract:In this memorial tribute to Joe Gillis, who taught us that Special Functions count, we show how the seminal Even-Gillis integral formula for the number of derangements of a multiset, in terms of Laguerre polynomials, can be used to efficiently compute not only the number of the title, but much harder ones, when it is interfaced with Wilf-Zeilberger algorithmic proof theory.

Combinatorics,Symbolic Computation
A Combinatorial Formula for Test Functions with Pro-p Iwahori Level Structure

Marc Horn

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

2017-08-28

Abstract:The Test Function Conjecture due to Haines and Kottwitz predicts that the geometric Bernstein center is a source of test functions required by the Langlands-Kottwitz method for expressing the local semisimple Hasse-Weil zeta function of a Shimura variety in terms of automorphic L-functions. Haines and Rapoport found an explicit formula for such test functions in the Drinfeld case with pro-p Iwahori level structure. This article generalizes the Haines-Rapoport formula for the Drinfeld case to a broader class of split groups. The main theorem presents a new formula for test functions with pro-p Iwahori level structure, which can be computed through some combinatorics on Coxeter groups. Explicit descriptions of the test function in certain low-rank general linear and symplectic group examples are included.

Representation Theory
A Polynomial Ring Connecting Central Binomial Coefficients and Gould's Sequence

Joseph M. Shunia

2024-05-21

Abstract:We establish a novel connection between the central binomial coefficients $\binom{2n}{n}$ and Gould's sequence through the construction of a specialized multivariate polynomial quotient ring. Our ring structure is characterized by ideals generated from elements defined by polynomial recurrence relations, and we prove the conditions under which the set of polynomial generators forms a Gröbner basis. By exploring a specific variation of our ring structure, we demonstrate that expanding and evaluating polynomials within the ring yields both the central binomial coefficients and Gould's sequence. Additionally, we present a method for calculating the binomial transforms of these sequences using our ring's unique properties. This work provides new insights into the connections between two fundamental combinatorial sequences and introduces a new tool for integer sequence analysis, with potential applications in number theory and algebraic combinatorics.

General Mathematics
The Method of Undetermined Generalization and Specialization Illustrated with Fred Galvin's Amazing Proof of the Dinitz Conjecture

Doron Zeilberger

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

1995-06-24

Abstract:Fred Galvin's amazing proof of the Dinitiz conjecture is used to illustrate the method of undetermined generalization and specialization.

Combinatorics
Combinatorics and Representation Theory of Special Cases of Chern Plethysm

Nathaniel Libman,Gidon Orelowitz

2023-10-03

Abstract:Chern plethysm (introduced by Billey, Rhoades, and Tewari) is a geometric way to produce Schur positive symmetric polynomials. We present combinatorial interpretations for the Schur expansions of special cases of Chern plethysm. We also exhibit a symmetric group module whose Frobenius characteristic is (a symmetric function analog of) one of these cases, generalizing a result of Reiner and Webb.

Combinatorics,Representation Theory
Supercongruences using modular forms

Frits Beukers

2024-07-12

Abstract:Many generating series of combinatorially interesting numbers have the property that the sum of the terms of order $<p$ at some suitable point is congruent to a zero of a zeta-function modulo infinitely many primes $p$. Surprisingly, very often these congruences turn out to hold modulo $p^2$ or even $p^3$. We call such congruences supercongruences and in the past 15 years an abundance of them have been discovered. In this paper we show that a large proportion of them can be explained by the use of modular functions and forms.

Number Theory,Algebraic Geometry
Computational Complexity in Algebraic Combinatorics

Greta Panova

2023-06-30

Abstract:Algebraic Combinatorics originated in Algebra and Representation Theory, studying their discrete objects and integral quantities via combinatorial methods which have since developed independent and self-contained lives and brought us some beautiful formulas and combinatorial interpretations. The flagship hook-length formula counts the number of Standard Young Tableaux, which also gives the dimension of the irreducible Specht modules of the Symmetric group. The elegant Littlewood-Richardson rule gives the multiplicities of irreducible GL-modules in the tensor products of GL-modules. Such formulas and rules have inspired large areas of study and development beyond Algebra and Combinatorics, becoming applicable to Integrable Probability and Statistical Mechanics, and Computational Complexity Theory. We will see what lies beyond the reach of such nice product formulas and combinatorial interpretations and enter the realm of Computational Complexity Theory, that could formally explain the beauty we see and the difficulties we encounter in finding further formulas and ``combinatorial interpretations''. A 85-year-old such problem asks for a positive combinatorial formula for the Kronecker coefficients of the Symmetric group, another one pertains to the plethysm coefficients of the General Linear group. In the opposite direction, the study of Kronecker and plethysm coefficients leads to the disproof of the wishful approach of Geometric Complexity Theory (GCT) towards the resolution of the algebraic P vs NP Millennium problem, the VP vs VNP problem. In order to make GCT work and establish computational complexity lower bounds, we need to understand representation theoretic multiplicities in further detail, possibly asymptotically.

Combinatorics,Computational Complexity,Representation Theory
Dedekind sums: a combinatorial-geometric viewpoint

Matthias Beck,Sinai Robins

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

2005-01-02

Abstract:The literature on Dedekind sums is vast. In this expository paper we show that there is a common thread to many generalizations of Dedekind sums, namely through the study of lattice point enumeration of rational polytopes. In particular, there are some natural finite Fourier series which we call Fourier-Dedekind sums, and which form the building blocks of the number of partitions of an integer from a finite set of positive integers. This problem also goes by the name of the `coin exchange problem'. Dedekind sums have enjoyed a resurgence of interest recently, from such diverse fields as topology, number theory, and combinatorial geometry. The Fourier-Dedekind sums we study here include as special cases generalized Dedekind sums studied by Berndt, Carlitz, Grosswald, Knuth, Rademacher, and Zagier. Our interest in these sums stems from the appearance of Dedekind's and Zagier's sums in lattice point count formulas for polytopes. Using some simple generating functions, we show that generalized Dedekind sums are natural ingredients for such formulas. As immediate `geometric' corollaries to our formulas, we obtain and generalize reciprocity laws of Dedekind, Zagier, and Gessel. Finally, we prove a polynomial-time complexity result for Zagier's higher-dimensional Dedekind sums.

Number Theory,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
Integrability and combinatorics

Paul Zinn-Justin

2024-04-20

Abstract:We discuss the use of methods coming from integrable systems to study problems of enumerative and algebraic combinatorics, and develop two examples: the enumeration of Alternating Sign Matrices and related combinatorial objects, and the theory of symmetric polynomials.

Combinatorics,Mathematical Physics
On some combinatorial sequences associated to invariant theory

Alin Bostan,Jordan Tirrell,Bruce W. Westbury,Yi Zhang

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

2022-04-20

Abstract:We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group $G_2$ and the quadrant sequences from the special linear group $SL(3)$. In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant sequences are listed in the On-Line Encyclopedia of Integer Sequences (OEIS). These sequences all have interpretations as enumerating two-dimensional lattice walks but for the octant sequences the boundary conditions are unconventional. These sequences are all P-recursive and we give the corresponding recurrence relations. In all cases the associated differential operators are of third order and have the remarkable property that they can be solved to give closed formulae for the ordinary generating functions in terms of classical Gaussian hypergeometric functions. Moreover, we show that the octant sequences and the quadrant sequences are related by the branching rules for the inclusion of $SL(3)$ in $G_2$.

Combinatorics,Symbolic Computation
Commutative C* algebras and Gelfand theory through phase space methods

Robert Fulsche,Oliver Fürst

2024-10-30

Abstract:We show how the Gelfand spectrum of certain commutative operator algebras can be studied based on the theorem of Stone and von Neumann. The method presented is a natural addition to the tools of quantum spectral synthesis, which were recently used to characterize certain commutative Toeplitz algebras on the Fock space. Our method applies to this setting and also to more general abelian phase spaces. Besides characterizing Gelfand spectra of such commutative operator algebras, we also prove an extension of this result to the operator-valued case.

Functional Analysis
Combinatorial Congruences Modulo Prime Powers

Zhi-Wei Sun,Donald M. Davis

DOI: https://doi.org/10.1090/s0002-9947-07-04236-5

IF: 1.3529

2007-01-01

Transactions of the American Mathematical Society

Abstract:Let be any prime, and let and be nonnegative integers. Let and . We establish the congruence (motivated by a conjecture arising from algebraic topology) and obtain the following vast generalization of Lucas' theorem: If is greater than one, and are nonnegative integers with , then We also present an application of the first congruence to Bernoulli polynomials and apply the second congruence to show that a -adic order bound given by the authors in a previous paper can be attained when .
Combinatorics of Free Cumulants

Bernadette Krawczyk,Roland Speicher

DOI: https://doi.org/10.1006/jcta.1999.3032

2000-05-01

Abstract:We derive a formula for expressing free cumulants whose entries are products of random variables in terms of the lattice structure of non-crossing partitions. We show the usefulness of that result by giving direct and conceptually simple proofs for a lot of results about R-diagonal elements. Our investigations do not assume the trace property for the considered linear functionals.

mathematics
Developments of Algebraic Combinatorics, a Personal View

Eiichi Bannaĭ

2013-01-01

Abstract:In this talk, I would like to give an explanation on the developments of algebraic combinatorics from a very personal viewpoint. First, I will recall the days when I was at the Ohio State University in 1970’s and 1980’s. I would briefly mention the work of Yoshimi Egawa in two papers [13] and [14] done when he was at the Ohio State University in the earlier stage of the development of algebraic combinatorics. Then, I would like to explain, how and in what directions the algebraic combinatorics has been developed into the present stage. In particular, I would like to mention the developments in the following topics: (i) Finite permutation groups and graphs, in particular rank 3 permutation groups and strongly regular graphs. (ii) Moore graphs, distance regular graphs, and association schemes. (iii) The classification problem of P-and Q-polynomial association schemes, AskeyWilson polynomials and Leonard’s theorem. (iv) Delsarte theory on codes and designs in association schemes. (v) Classification problems of perfect codes and tight designs in various association schemes. (vi) Algebraic combinatorics on spheres and its generalizations, in particular on spherical t-designs and Euclidean t-designs. (vii) The similarity between the theory of Euclidean t-designs and the theory of relative t-designs in association schemes.
Combinatorial Number Theory and Additive Group Theory

Alfred Geroldinger,Imre Z. Ruzsa

DOI: https://doi.org/10.1007/978-3-7643-8962-8

2009-01-01

Abstract:This book collects the material delivered in the 2008 edition of the DocCourse in Combinatorics and Geometry which was devoted to the topic of additive combinatorics. The first two parts, which form the bulk of the volume, contain the two main advanced courses, Additive Group Theory and Non-Unique Factorizations by Alfred Geroldinger, and Sumsets and Structure by Imre Z. Ruzsa. The first part centers on the interaction between non-unique factorization theory and additive group theory. The main objective of factorization theory is a systematic treatment of phenomena related to the non-uniqueness of factorizations in monoids and domains. This part introduces basic concepts of factorization theory such as sets of lengths, and outlines the translation of arithmetical questions in Krull monoids into combinatorial questions on zero-sum sequences over the class group. Using methods from additive group theory such as the theorems of Kneser and of Kemperman-Scherk, classical zero-sum constants are studied, including the Davenport constant and the Erdös-Ginzburg-Ziv constant. Finally these results are applied again to the starting arithmetical problems. The second part is a course on the basics of combinatorial number theory (or additive combinatorics): cardinality inequalities (Plünnecke’s graph theoretical method), Freiman’s theorem on the structure of sets with a small sumset, inequalities for the Schnirelmann and asymptotic density of sumsets, analogous results for the measure of sumsets of reals, the connection with the Bohr topology. The third part of the volume collects some of the seminars which accompanied the main courses. It contains contributions by C. Elsholtz, G. Freiman, Y. O. Hamidoune, N. Hegyvari, G. Karolyi, M. Nathanson, J. Solymosi and Y. Stanchescu.
Combinatorial t-designs from special functions

Cunsheng Ding,Chunming Tang

DOI: https://doi.org/10.1007/s12095-020-00442-2

2020-06-18

Cryptography and Communications

Abstract:A special function is a function either of special form or with a special property. Special functions have interesting applications in coding theory and combinatorial t-designs. The main objective of this paper is to survey t-designs constructed from special functions, including quadratic functions, almost perfect nonlinear functions, almost bent functions, bent functions, bent vectorial functions, and planar functions. These combinatorial designs are not constructed directly from such functions, but come from linear codes which are constructed with such functions. As a byproduct, this paper also surveys linear codes from certain special functions.

How Joe Gillis Discovered Combinatorial Special Function Theory

Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel

There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (ignoring suits) [and many other such useful facts]

A Combinatorial Formula for Test Functions with Pro-p Iwahori Level Structure

A Polynomial Ring Connecting Central Binomial Coefficients and Gould's Sequence

The Method of Undetermined Generalization and Specialization Illustrated with Fred Galvin's Amazing Proof of the Dinitz Conjecture

Combinatorics and Representation Theory of Special Cases of Chern Plethysm

Supercongruences using modular forms

Computational Complexity in Algebraic Combinatorics

Dedekind sums: a combinatorial-geometric viewpoint

Polynomial Quotient Rings and Kronecker Substitution for Deriving Combinatorial Identities

Integrability and combinatorics

On some combinatorial sequences associated to invariant theory

Commutative C* algebras and Gelfand theory through phase space methods

Combinatorial Congruences Modulo Prime Powers

Combinatorics of Free Cumulants

Developments of Algebraic Combinatorics, a Personal View

Combinatorial Number Theory and Additive Group Theory

Combinatorial t-designs from special functions