arXiv++ Combinatorics

For a set of $m$ subsets of a universe set of size $n$, we construct a Boolean polynomial $\mathrm{ICC}_{m,n}(X)$ such that the Union-Closed Conjecture is true for this $m$ and $n$ if and only if $\mathrm{ICC}_{m,n}(X)$ is the zero Boolean polynomial. We use an equivalent formulation, called the Intersection-Closed Conjecture.

We prove that the leading and penultimate leading coefficients in $u_3$ of the ``error" terms of NRS(2) applied to a cubic polynomial $f(z) =\sum_{i=0}^3 a_i z^i=\prod_{i=1}^3 (1-u_iz)$ with starting point $(-\frac{a_1}{a_2}, -\frac{a_1}{a_2})$ are positive-coefficient polynomials in $u_1$ and $u_2$. Our proof for the leading coefficients simplifies that of \cite{DeFranco} and extends to the penultimate leading coefficients as well.

We prove that the leading coefficient of the "error" terms of NRS(2) applied to a cubic polynomial $f(z)$ with starting point $(-\frac{a_1}{a_2}, -\frac{a_1}{a_2})$ are positive-coefficient rational functions in the zeros of $f(z)$. We express these terms as a sum over combinatorial objects which we call radius-value trees.

Let $f(z)$ be a degree $d$ polynomial with zeros $z_i$. For arbitrary $m$ we construct explicit set of fixed points (attractors) of NRS($m$), and prove a factored formula for the Jacobian at these points. We prove that if NRS(2), when applied to $f$ with an arbitrary starting point, converges to a point $(w_0, w_1)$, then $w_0$ is of the form $z_i+z_j$ for some $i \neq j$. As a corollary, we prove a formula expressing the elementary symmetric expansion of the function \[ \prod_{1\leq i < j \leq d} (z - z_i -z_j) \] in the variables $z_i$ in terms of non-intersecting paths on certain directed graphs, using the Lindström-Gessel-Veinnot Lemma.

For any integer $d \geq 1$, we verify the Jacobian Conjecture for a $d$-linear map in two variables. We prove that almost all the coefficients of the formal inverse are in the ideal specified by the Jacobian condition. We find expressions for certain elements in terms of the generators of this ideal. To obtain these expressions, we generalize a bijective proof of the Cayley-Hamilton theorem in two ways.

We consider polynomial maps, which we call degree $d$-linear maps, that satisfy the Jacobian condition. We prove that certain infinite families of elements, which appear in the coefficients of the formal inverse of such maps, are in the ideal determined by the Jacobian condition. Using the Cayley-Hamilton theorem, we provide expressions for these elements in terms of the generators of that ideal. We also give a combinatorial proof of the Cayley-Hamilton theorem similar to that of Straubing \cite{Straubing}. We also include results of Gröbner basis computations regarding other elements.

We define an absolutely convergent series for the upper incomplete Gamma function $Γ(s,z)$ for $z\geq 1$ and $s\in \mathbb{C}$. We express this series using certain polynomials which we define using the Stirling numbers of the first kind. We prove that these polynomials have positive coefficients by defining a three-parameter family of integers and certain linear operators on vector spaces of polynomials. We then apply this series to obtain a formula for the Riemann xi function valid at any $s \in \mathbb{C}$.

We prove expressions for the inequalities in Hermite's theorem which are conditions for a real polynomial to have real zeros. These expressions generalize the discriminant of a quadratic polynomial and the expression of J. Marík for a cubic polynomial. We show that the $(k+1)$-th minor of the Hermite matrix associated a polynomial $p(x)$ is equal to the $k$-th minor of another matrix we call $E(n)$ times $n^{k-1}$ and a simple integer. To prove this equivalence, we prove generalizations of the discriminant of a polynomial and analyze certain labeled directed graphs. To define this matrix $E(n)$ we define functions $M(m_2,m_1,n)$ which are positive if the zeros of $p(x)$ are positive.

We present a constructive proof of Jacobi's identity for the sum of two squares. We present a combinatorial proof of the Jacobi Triple Product and combine with a proof of Hirschhorn to define an algorithm. The input is a factorization $n=dN$ with $d \equiv1\mod 4$ plus two bits of data, and whose output is either another factorization $n=d'N'$ and $d' \equiv3\mod 4$ with two more bits of data, or a pair of integers whose squares sum to $n$. We phrase this algorithm in terms of integer partitions and matchings on an infinite graph.

We prove $q$-analogues of identities that are equivalent to the functional equation of the arithmetic-geometric mean. We also present $q$-analogues of $F(\sqrt{k},\fracπ{2})$, the complete elliptical integral of the first kind, and its derivatives evaluated at $k=\frac{1}{2}$. These $q$-analogues interpolate those $n$th derivative evaluations by extending $n$ to a complex variable $s$, and we prove that they can be expressed as an infinite product.

We present generalizations of the Newton-Raphson-Simpson method. Specifically, for a positive integer $m$ and the sequence of coefficients of a Taylor series of a function $f(z)$, we define an algorithm we denote by NRS($m$) which is a way to evaluate, in our terminology, a sum of $m$ formal zeros of $f(z)$. We prove that NRS(1) yields the familiar iterations of the Newton-Raphson-Simpson method. We also prove that NRS($m$) is way to evaluate certain $\mathscr{A}$-hypergeometric series defined by Sturmfels. In order to define these algorithms, we make use of combinatorial objects which we call trees with negative vertex degree.