Tewodros Amdeberhan

An elegant Multi-Integral that implies an even more elegant determinant identity of Dougherty and McCammond

We state and prove an explicit evaluation of a certain multi-variate integral and use it to furnish a new, and shorter, proof of an elegant determinant identity of Michael Dougherty and Jon McCammond that came up in their study of critical values.

Hook length and symplectic content in partitions

The dimension of an irreducible representation of $GL(n,\mathbb{C})$ , $Sp(2n)$ , or $SO(n)$ is given by the respective hook-length and content formulas for the corresponding partition. The first author, inspired by the Nekrasov-Okounkov formula, conjectured combinatorial interpretations of analogous expressions involving hook-lengths and symplectic/orthogonal contents. We prove special cases of these conjectures. In the process, we show that partitions of $n$ with all symplectic contents non-zero are equinumerous with partitions of $n$ into distinct even parts. We also present Beck-type companions to this identity. In this context, we give the parity of the number of partitions into distinct parts with odd (respectively, even) rank. We study the connection between the sum of hook-lengths and the sum of inversions in the binary representation of a partition. In addition, we introduce a new partition statistic, the $x$ -ray list of a partition, and explore its connection with distinct partitions as well as partitions maximally contained in a given staircase partition.

Refinements of Beck-type partition identities

Franklin's identity generalizes Euler's identity and states that the number of partitions of $n$ with $j$ different parts divisible by $r$ equals the number of partitions of $n$ with $j$ repeated parts. In this article, we give a refinement of Franklin's identity when $j=1$ . We prove Franklin's identity when $j=1$ , $r=2$ for partitions with fixed perimeter, i.e., fixed largest hook. We also derive a Beck-type identity for partitions with fixed perimeter: the excess in the number of parts in all partitions into odd parts with perimeter $M$ over the number of parts in all partitions into distinct parts with perimeter $M$ equals the number of partitions with perimeter $M$ whose set of even parts is a singleton. We provide analytic and combinatorial proofs of our results.

Theorems, Problems and Conjectures

These notes are designed to offer some (perhaps new) codicils to related work, a list of problems and conjectures seeking (preferably) combinatorial proofs. The main items are Eulerian polynomials and hook/contents of Young diagram, mostly on the latter. We also have items on Frobenius theorem and multi-core partitions; most recently, some problems on (what we call) colored over-partitions. Formulas analogues to or in the spirit of works by Han, Nekrasov-Okounkov and Stanley are distributed throughout. Concluding remarks are provided at the end in hopes of directing the interested researcher, properly. The newly added problem is on chromatic polynomials

Using the Jacobi-Trudi formula to compute Stirling determinants

We use the Jacobi-Trudi formula to execute "explicit" evaluation of determinants of Stirling numbers of both kinds. We also offer a Maple package accompanying the paper on the personal websites at the end of the second page.

preprint2020arXiv

A triple integral analog of a multiple zeta value

We establish the triple integral evaluation $\int_{1}^{\infty} \int_{0}^{1} \int_{0}^{1} \frac{dz \, dy \, dx}{x(x+y)(x+y+z)} = \frac{5}{24} ζ(3),$ as well as the equivalent polylogarithmic double sum $\sum_{k=1}^{\infty} \sum_{j=k}^{\infty} \frac{(-1)^{k-1}}{k^{2}} \, \frac{1}{j \, 2^{j}} = \frac{13}{24} ζ(3).$ This double sum is related to, but less approachable than, similar sums studied by Ramanujan. It is also reminiscent of Euler's formula $ζ(2,1) = ζ(3)$ , which is the simplest instance of duality of multiple polylogarithms. We review this duality and apply it to derive a companion identity. We also discuss approaches based on computer algebra. All of our approaches ultimately require the introduction of polylogarithms and nontrivial relations between them. It remains an open challenge to relate the triple integral or the double sum to $ζ(3)$ directly.

preprint2020arXiv

Arithmetic properties of the sum of divisors

The divisor function $σ(n)$ denotes the sum of the divisors of the positive integer $n$ . For a prime $p$ and $m \in \mathbb{N}$ , the $p$ -adic valuation of $m$ is the highest power of $p$ which divides $m$ . Formulas for $ν_{p}(σ(n))$ are established. For $p=2$ , these involve only the odd primes dividing $n$ . These expressions are used to establish the bound $ν_{2}(σ(n)) \leq \lceil\log_{2}(n) \rceil$ , with equality if and only if $n$ is the product of distinct Mersenne primes, and for an odd prime $p$ , the bound is $ν_{p}(σ(n)) \leq \lceil \log_{p}(n) \rceil$ , with equality related to solutions of the Ljunggren-Nagell diophantine equation.

preprint2016arXiv

Revitalized automatic proofs: demonstrations

We consider three problems from the recent issues of the American Mathematical Monthly involving different versions of Catalan triangle. Our main results offer generalizations of these identities and demonstrate automated proofs with additional twists, and on occasion we furnish a combinatorial proof.

preprint2016arXiv

Two Triple binomial sum supercongruences

In a recent article, Apagodu and Zeilberger (http://arxiv.org/abs/1606.03351)discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the end, they propose some supercongruences as conjectures. Here we prove one of them, including a new companion enumerating abelian squares, and we leave some remarks for the others.

preprint2015arXiv

Multi-cores, posets, and lattice paths

Hooks are prominent in representation theory (of symmetric groups) and they play a role in number theory (via cranks associated to Ramanujan's congruences). A partition of a positive integer $n$ has a Young diagram representation. To each cell in the diagram there is an associated statistic called hook length, and if a number $t$ is absent from the diagram then the partition is called a $t$ -core. A partition is an $(s,t)$ -core if it is both an $s$ - and a $t$ -core. Since the work of Anderson on $(s,t)$ -cores, the topic has received a growing attention. This paper expands the discussion to multiple-cores. More precisely, we explore $(s,s+1,\dots,s+k)$ -core partitions much in the spirit of a recent paper by Stanley and Zanello. In fact, our results exploit connections between three combinatorial objects: multi-cores, posets and lattice paths (with a novel generalization of Dyck paths). Additional results and conjectures are scattered throughout the paper. For example, one of these statements implies a curious symmetry for twin-prime $(s,s+2)$ -core partitions.

preprint2015arXiv

Supercongruences for the Almkvist-Zudilin numbers

Given a prime number $p$ , the study of divisibility properties of a sequence $c(n)$ has two contending approaches: $p$ -adic valuations and superconcongruences. The former searches for the highest power of $p$ dividing $c(n)$ , for each $n$ ; while the latter (essentially) focuses on the maximal powers $r$ and $t$ such that $c(p^rn)$ is congruent to $c(p^{r-1}n)$ modulo $p^t$ . This is called supercongruence. In this paper, we prove a conjecture on supercongruences for sequences that have come to be known as the Almkvist-Zudilin numbers. Some other (naturally) related family of sequences will be considered in a similar vain.

preprint2015arXiv

Wilf's "Snake Oil" Method Proves an Identity in The Motzkin Triangle

We give yet-another illustration of using Herb Wilf's Snake Oil Method, by proving a certain identity between the entries of the so-called Motzkin Triangle, that arose in a recent study of enumeration of certain classes of integer partitions. We also briefly illustrate how this method can be applied to general `triangles'.

Congruences for the Almkvist-Zudilin numbers

Given a prime number $p$ , the study of divisibility properties of a sequence $c(n)$ has two contending approaches: $p$ -adic valuations and superconcongruences. The former searches for the highest power of $p$ dividing $c(n)$ , for each $n$ ; while the latter (essentially) focuses on the maximal powers $r$ and $t$ such that $c(p^rn)$ is congruent to $c(p^{r-1}n)$ modulo $p^t$ . This is called supercongruence. In this note, we prove modest supercongruences for certain sequences that have come to be known as the Almkvist-Zudilin numbers and two other naturally related ones.

Divisors and specializations of Lucas polynomials

Three-term recurrences have infused stupendous amount of research in a broad spectrum of the sciences, such as orthogonal polynomials (in special functions) and lattice paths (in enumerative combinatorics). Among these are the Lucas polynomials, which have seen a recent true revival. In this paper one of the themes of investigation is the specialization to the Pell and Delannoy numbers. The underpinning motivation comprises primarily of divisibility and symmetry. One of the most remarkable findings is a structural decomposition of the Lucas polynomials into what we term as flat and sharp analogs.

Explicit computations with the Divided Symmetrization operator

Given a multi-variable polynomial, there is an associated divided symmetrization (in particular turning it into a symmetric function). Postinkov has found the volume of a permutohedron as a divided symmetrization (DS) of the power of a certain linear form. The main task in this paper is to exhibit and prove closed form DS-formulas for a variety of polynomials. We hope the results to be valuable and available to the research practitioner in these areas. Also, the methods of proof utilized here are simple and amenable to many more analogous computations. We conclude the paper with a list of such formulas.

Involutions and their progenies

Any permutation has a disjoint cycle decomposition and concept generates an equivalence class on the symmetry group called the cycle-type. The main focus of this work is on permutations of restricted cycle-types, with particular emphasis on the special class of involutions and their partial sums. The paper provides generating functions, determinantal expressions, asymptotic estimates as well as arithmetic and combinatorial properties.

preprint2013arXiv

Generalized Fibonacci polynomials and Fibonomial coefficients

The focus of this paper is the study of generalized Fibonacci polynomials and Fibonomial coefficients. The former are polynomials {n} in variables s and t given by {0} = 0, {1} = 1, and {n} = s{n-1}+t{n-2} for n ge 2. The latter are defined by {n choose k} = {n}!/({k}!{n-k}!) where {n}! = {1}{2}...{n}. These quotients are also polynomials in s and t, and specializations give the ordinary binomial coefficients, the Fibonomial coefficients, and the q-binomial coefficients. We present some of their fundamental properties, including a more general recursion for {n}, an analogue of the binomial theorem, a new proof of the Euler-Cassini identity in this setting with applications to estimation of tails of series, and valuations when s and t take on integral values. We also study a corresponding analogue of the Catalan numbers. Conjectures and open problems are scattered throughout the paper.

preprint2013arXiv

The unimodality of a polynomial coming from a rational integral. Back to the original proof

A sequence of coefficients that appeared in the evaluation of a rational integral has been shown to be unimodal. An alternative proof is presented.

preprint2011arXiv

Broken bracelets, Molien series, paraffin wax and an elliptic curve of conductor 48

This paper introduces the concept of necklace binomial coefficients motivated by the enumeration of a special type of sequences. Several properties of these coefficients are described, including a connection between their roots and an elliptic curve. Further links are given to a physical model from quantum mechanical supersymmetry as well as properties of alkane molecules in chemistry.

preprint2011arXiv

The iterated integrals of ln(1 + x^2)

For a polynomial P, we consider the sequence of iterated integrals of ln P(x). This sequence is expressed in terms of the zeros of P(x). In the special case of ln(1 + x^2), arithmetic properties of certain coefficients arising are described. Similar observations are made for ln(1 + x^3).

The Evaluation of a Quartic Integral via Schwinger, Schur and Bessel

We provide additional methods for the evaluation of the integral \begin{eqnarray} N_{0,4}(a;m) & := & \int_{0}^{\infty} \frac{dx} {\left( x^{4} + 2ax^{2} + 1 \right)^{m+1}} \end{eqnarray} where $m \in {\mathbb{N}}$ and $a \in (-1, \infty)$ in the form \begin{eqnarray} N_{0,4}(a;m) & = & \fracπ{2^{m+3/2} (a+1)^{m+1/2} } P_{m}(a) \end{eqnarray} where $P_{m}(a)$ is a polynomial in $a$ . The first one is based on a method of Schwinger to evaluate integrals appearing in Feynman diagrams, the second one is a byproduct of an expression for a rational integral in terms of Schur functions. Finally, the third proof, is obtained from an integral representation involving modified Bessel functions.

The integrals in Gradshteyn and Ryzhik. Part 14: An elementary evaluation of entry 3.411.5

An elementary proof of an entry in the table of integrals by Gradshteyn and Rhyzik is presented.

The integrals in Gradshteyn and Ryzhik. Part 15: Frullani integrals

The table of Gradshteyn and Ryzhik contains some integrals that can be reduced to the Frullani type. We present a selection of them.