Arithmetic properties and zeros of the Bergman kernel on a class of quotient domains

Extracted source text · arXiv 2505.20489

\documentclass[letterpaper,11pt,reqno]{amsart}
\usepackage[utf8]{inputenc}
\hoffset=-0.6in
\voffset=-0.6in
\textwidth=6in
\textheight=9in
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage{amsfonts,mathrsfs}
\usepackage{stmaryrd}
\usepackage{amsxtra}  
\usepackage{epsfig}
\usepackage{verbatim} 
\usepackage{enumerate}
\usepackage{xcolor}
\usepackage{enumitem}
\usepackage{bigints}
\usepackage{mathrsfs}
\usepackage{tikz-cd}
\usepackage{bm,bbm}
\usepackage{hyperref}
\usepackage[all]{xy}
\usepackage{mathtools, hyperref}
\usepackage{tikz}
\usepackage{tikz-cd}
\usetikzlibrary{shapes}
\usetikzlibrary{plotmarks}
\usepackage{booktabs}
\usepackage{siunitx}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\usepackage{xcolor}
%\usepackage{pagecolor}

%\pagecolor{black}
%\color{white}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\theoremstyle{plain}
\newtheorem{theorem}[equation]{Theorem}
\newtheorem{proposition}[equation]{Proposition}
\newtheorem{lemma}[equation]{Lemma}
\newtheorem{corollary}[equation]{Corollary}
\theoremstyle{definition}
\newtheorem{definition}[equation]{Definition}
\newtheorem{conjecture}[equation]{Conjecture}
\newtheorem{example}[equation]{Example}
%\newtheorem{task}[equation]{TASK}


\theoremstyle{remark}
\theoremstyle{remark}
\newtheorem{remark}[equation]{Remark}
\numberwithin{equation}{section}


%\include{header}

%\setlength{\textwidth}{5.7in}
%\setlength{\textheight}{8.3in}
\newcommand{\one}{\mathbbm{1}}

\DeclareMathOperator{\adj}{adj}
\newcommand{\w}{\abs{\det \Phi'}^{2-p}}
\newcommand{\sjump}{\hskip .2 cm}
\newcommand{\Tnorm}{|\!|\!|}
\newcommand{\dbarstar}{\bar{\partial}^{\star}}
\newcommand{\ssubset}{\subset\subset}
\newcommand{\psum}{\sideset{}{^{\prime}}{\sum}}
\newcommand{\dbar}{\bar \partial}
\newcommand{\dom}{\mathrm{Dom}}
\newcommand{\re}{\text{Re}}
\newcommand{\im}{\text{Im}}
\newcommand{\ran}{\mathcal{R}}
\newcommand{\Null}{\mathcal{N}}
\newcommand{\abs}[1]{\left\vert#1\right\vert}
\newcommand{\norm}[1]{\left\Vert#1\right\Vert}
\newcommand{\ol}{\overline}
\newcommand{\wh}{\widehat}
\newcommand{\wt}{\widetilde}
\newcommand{\all}[1]{\left(#1\right)}
\newcommand{\slb}{{\mathsf{L}(B)}}
\newcommand{\Bb}{{\mathfrak{B}}}
\newcommand{\mug}{{\mu_{\gamma}}}
\newcommand{\mugj}{{\mu_{\gamma_j}}}

\newcommand{\ipr}[1]{\left\langle #1 \right\rangle}

\newcommand{\xdownarrow}[1]{%
  {\left\downarrow\vbox to #1{}\right.\kern-\nulldelimiterspace}
}

%\fractal

\newcommand{\fD}{{\mathfrak D}}

%calligraphy
\newcommand{\ca}{{\mathcal A}}
\newcommand{\cb}{{\mathcal B}}
\newcommand{\cc}{{\mathcal C}}
\newcommand{\cd}{{\mathcal D}}
\newcommand{\ce}{{\mathcal E}}
\newcommand{\cf}{{\mathcal F}}
\newcommand{\cg}{{\mathcal G}}
\newcommand{\ch}{{\mathcal H}}
\newcommand{\ci}{{\mathcal I}}
\newcommand{\cj}{{\mathcal J}}
\newcommand{\ck}{{\mathcal K}}
\newcommand{\cl}{{\mathcal L}}
\newcommand{\cm}{{\mathcal M}}
\newcommand{\cN}{{\mathcal N}}
\newcommand{\co}{{\mathcal O}}
\newcommand{\cp}{{\mathcal P}}
\newcommand{\cq}{{\mathcal Q}}
\newcommand{\cs}{{\mathcal S}}
\newcommand{\ct}{{\mathcal T}}
\newcommand{\cu}{{\mathcal U}}
\newcommand{\cv}{{\mathcal V}}
\newcommand{\cw}{{\mathcal W}}

\newcommand{\cy}{{\mathcal Y}}
\newcommand{\cz}{{\mathcal Z}}

\newcommand{\cx}{{\mathbb C}}
\newcommand{\zb}{\mathbb Z}
\newcommand{\tb}{\mathbb T}
\newcommand{\rl}{\mathbb R}



\newcommand{\sa}{{\mathscr A}}
\newcommand{\sB}{{\mathscr B}}
\newcommand{\sC}{{\mathscr C}}
\newcommand{\sd}{{\mathscr D}}
\newcommand{\se}{{\mathscr E}}
\newcommand{\sF}{{\mathscr F}}
\newcommand{\sg}{{\mathscr G}}
\newcommand{\sh}{{\mathscr H}}
\newcommand{\sI}{{\mathscr I}}
\newcommand{\sj}{{\mathscr J}}
\newcommand{\sk}{{\mathscr K}}
\newcommand{\sL}{{\mathscr L}}
\newcommand{\sm}{{\mathscr M}}
\newcommand{\sn}{{\mathscr N}}
\newcommand{\so}{{\mathscr O}}
\newcommand{\sP}{{\mathscr P}}
\newcommand{\sq}{{\mathscr Q}}
\newcommand{\sr}{{\mathscr R}}
\newcommand{\sS}{{\mathscr S}}
\newcommand{\st}{{\mathscr T}}
\newcommand{\su}{{\mathscr U}}
\newcommand{\sv}{{\mathscr V}}
\newcommand{\sw}{{\mathscr W}}
\newcommand{\sx}{{\mathscr X}}
\newcommand{\sy}{{\mathscr Y}}
\newcommand{\sz}{{\mathscr Z}}

\newcommand{\ve}{\varepsilon}
\newcommand{\vk}{\varkappa} 
\newcommand{\vp}{\varphi} 

\newcommand{\B}{{\mathbb B}}
\newcommand{\C}{{\mathbb C}}
\newcommand{\D}{{\mathbb D}}
\newcommand{\E}{{\mathbb E}}
\newcommand{\h}{{\mathbb H}}
\newcommand{\K}{{\mathbb K}}
\newcommand{\N}{{\mathbb N}}
\newcommand{\p}{{\mathbb P}}
\newcommand{\Q}{{\mathbb Q}}
\newcommand{\R}{{\mathbb R}}
\newcommand{\T}{{\mathbb T}}
\newcommand{\U}{{\mathbb U}}
\newcommand{\Z}{{\mathbb Z}}
\newcommand{\Uu}{\mathscr{U}}

\DeclarePairedDelimiter\floor{\lfloor}{\rfloor}

\newcommand{\red}[1]{{\color{red}{#1}}} %red
\newcommand{\blue}[1]{{\color{blue}{#1}}} %blue
\newcommand{\green}[1]{{\color{green}{#1}}} %green

% commands Vikram added
\DeclareMathOperator{\lcm}{lcm}
\newcommand{\funcdef}[5]{\begin{align*}#1\ :\ #2 &\to #3\\#4 &\mapsto #5\end{align*}}

\begin{document}

\title[Arithmetic properties and zeros of the Bergman kernel]{Arithmetic properties and zeros of the Bergman kernel on a class of quotient domains}

\author{Luke D. Edholm and Vikram T. Mathew}

\begin{abstract}
An effective formula for the Bergman kernel on $\h_{\gamma} = \{|z_1|^\gamma < |z_2| < 1 \}$ is obtained for rational $\gamma = \frac{m}{n} >1$.
The formula depends on arithmetic properties of $\gamma$, which uncovers new symmetries and clarifies previous results.
The formulas are then used to study the Lu Qi-Keng problem. 
We produce sequences of rationals $\gamma_j \searrow 1$, where each $\h_{\gamma_j}$ has a Bergman kernel with zeros (while $\h_1$ is known to have a zero-free kernel), resolving an open question on this domain class. 
\end{abstract}

\thanks{The first author was supported in part by Austrian Science Fund (FWF) grants: DOI 10.55776/I4557 and DOI 10.55776/P36884.}
\thanks{{\em 2020 Mathematics Subject Classification:}  32A25 (Primary); 32A60, 30C15 (Secondary)}
\address{Department of Mathematics\\Universit\"at Wien, Vienna, Austria}
\email{luke.david.edholm@univie.ac.at}
\address{Department of Industrial Engineering and Operations Research\\Columbia University, New York, New York}
\email{vtm2111@columbia.edu}

\maketitle

\section{Introduction}

Given a domain (an open connected set) $\Omega \subset \C^n$, the Bergman space $A^2(\Omega)$ is the subspace of $L^2(\Omega)$ consisting of holomorphic functions.
The Bergman space is itself a Hilbert space, so there is a canonical orthogonal projector $P_\Omega: L^2(\Omega) \to A^2(\Omega)$, called the Bergman projection.
This projection is carried out by integrating against the Bergman kernel, the function $K_\Omega : \Omega \times \Omega \to \C$ serving as the reproducing kernel of $A^2(\Omega)$:
\begin{equation}\label{E:def-of;Bergman-proj}
P_\Omega f(z) = \int_\Omega K_\Omega(z,w) f(w)\,dV(w).
\end{equation}
For fixed $w \in \Omega$, the function $K_\Omega(\cdot,w) \in A^2(\Omega)$;  it is conjugate symmetric (i.e. $K_\Omega(z,w) = \ol{K_\Omega(w,z)}$) and satisfies many additional extremal and invariance properties; see \cite{Krantz_scv_book}.

For $\gamma>0$, define a family of bounded, non-smooth, weakly pseudoconvex domains by
\begin{equation}\label{E:def=gen-Hartogs}
\h_\gamma = \{(z_1,z_2) \in \C^2 : |z_1|^\gamma < |z_2| < 1 \}.
\end{equation}
Bergman theory on these domains has been studied extensively in recent years; see \cite{chakzeytuncu,EdhMcN16,EdhMcN16b,EdhMcN20,ChEdMc19,CKMM20,bcem}.
When $\gamma$ is rational, $\h_\gamma$ can be realized as 
a quotient of $\D \times \D^*$ induced by a monomial mapping; see Section \ref{SS:Monomial-maps}.
The purpose of this paper is two fold: 
(1) to give an effective formula for Bergman kernel of $\h_\gamma$ for every rational $\gamma > 1$, and (2) to use the formulas to exhibit new symmetries and locate zeros of the kernel in $\h_\gamma \times \h_\gamma$.

The question about the existence of zeros of Bergman kernel (the Lu Qi-Keng problem) goes back many decades and was originally motivated by the global well-definedness of Bergman representative coordinates; see \cite{Boas98,LQK-66}.
While simple domains such as the ball and polydisc have nowhere vanishing Bergman kernels, an interesting open problem is to ask when the taking of quotients of such domains induces zeros in the quotient Bergman kernels.
This has been investigated in special cases (e.g., certain ball quotients; symmetrized polydiscs; the tetrablock and its variants; \cite{BFS99,EdiZwo05,NikZwo06,Try13,GhoZwo23}) but a unified approach to this problem is only in its early stages.

Until the writing of this paper, the Lu Qi-Keng problem on the $\h_\gamma$ stood as follows:
\begin{itemize}
\item[$(a)$] The Bergman kernel on $\h_1$ (the classical Hartogs triangle) is non-vanishing.
\item[$(b)$] The Bergman kernel on $\h_\gamma$ has zeros for $\gamma \in [2,\infty)$; see \cite{Edh16,EdhMcN16b}; also Section \ref{SS:previous-results}.
\item[$(c)$] It was unknown whether the Bergman kernel of $\h_\gamma$ has zeros for $\gamma \in (1,2)$.
\end{itemize} 

The problem also remains only partially solved for $\gamma \in (0,1)$. 
However, given $\gamma$ in this range, there is a {\em unique} $\wt\gamma \in [1,\infty)$ such that $\h_\gamma$ is biholomorphic to $\h_{\wt\gamma}$; see \cite{Edh16,EdhMcN16b,Zapalowski17}.
Now since the transformation law in \eqref{E:Berg-biholo-trans-law} shows that the non-vanishing of the Bergman kernel is preserved under biholomorphism, answering the Lu Qi-Keng problem for $\gamma \in (1,2)$ would in fact resolve the problem for all $\gamma>0$.
This fact was observed in \cite{EdhMcN16b}, after Edholm and McNeal found zeros of $\h_\gamma$ for $\gamma \ge 2$, but noted their approach failed to address $1 < \gamma < 2$ (see Section \ref{SS:previous-results} below for more details). 
The question has remained open since.
\begin{itemize}
\item[{\bf (Q1)}] {\em For which $\gamma \in (1,2)$ does the Bergman kernel have zeros?} \label{Q:which-gamma-in-(1,2)?}
\end{itemize}

Definition \eqref{E:def=gen-Hartogs} shows $\h_\gamma$ varies continuously with $\gamma$, and Ramadanov's theorem (see \cite{Kra06}) shows that if $\gamma_j \searrow 1$, the Bergman kernels $K_{\gamma_j}(\cdot,\cdot)$ tend to the Bergman kernel $K_1(\cdot,\cdot)$ of $\h_1$ locally normally on $\h_1 \times \h_1$.
Following the work of \cite{Edh-Thesis,EdhMcN16b}, a weaker version of (Q1) has also been raised.
Since $K_1$ is known to be non-vanishing, 
\begin{itemize}
\item[{\bf (Q2)}] {\em Is there some $\epsilon > 0$ so that $K_\gamma(\cdot,\cdot)$ is non-vanishing on $\h_\gamma \times \h_\gamma$ for $\gamma \in (1,1+\epsilon)$?} \label{Q:wiggle-room-non-vanish}
\end{itemize}

This paper addresses both questions.
We exhibit infinitely many rational $\gamma$ in $(1,2)$ so that $K_\gamma(\cdot,\cdot)$ has zeros inside $\h_\gamma \times \h_\gamma$ (see Section \ref{S:zeros-of-the-Bergman-kernel}), marking the first progress to be made on (Q1).
These $\gamma$ values accumulate at 1, answering (Q2) by proving no such $\epsilon$ can exist.

%%%%%%%%
\subsection{An effective kernel formula}

%Let $\Omega \subset \C^n$ be a domain.
While the existence of the Bergman kernel is guaranteed by abstract Hilbert space theory, concrete information about its properties as a function $K_\Omega : \Omega \times \Omega \to \C$ (asymptotics near the boundary; the existence of zeros inside $\Omega \times \Omega$ and properties of the zero set) requires hard analysis.

Our first main result is a new and effective formula for the Bergman kernel of $\h_{m/n}$, valid for any rational $\frac{m}{n} > 1$.
Previous work (see \cite{EdhMcN16b,CKMM20,Almugh23}) has expressed these kernels (which have been known since \cite{EdhMcN16b} to be rational functions) in one form or another, but a complete and effective formula for the numerator polynomial, from which it is possible to study the zero set of the kernel when $\gamma \in (1,2)$, has until now remained elusive.
These past results, along with how Theorem \ref{T:Bergman-kernel-formula} clarifies and improves them, are presented in Section \ref{SS:previous-results}.

\begin{theorem}\label{T:Bergman-kernel-formula}
Let $m,n \in \Z^+$ with $\gcd(m,n)=1$ and  $m>n$. 
Given points $z=(z_1,z_2)$ and $w=(w_1,w_2)$ in $\h_{m/n}$, let $s = z_1\ol{w}_1$, $t = z_2\ol{w}_2$.
The Bergman kernel of $\h_{m/n}$ is
\begin{subequations}
\begin{equation}\label{E:Bergman-kernel-formula-intro}
K_{m/n}(z,w) = \frac{P_{m,n}(s,t)}{m \pi^2(1-t)^2(t^n-s^m)^2},
\end{equation}
where the numerator is a polynomial of degree $2m-1$ given explicitly as
\begin{equation}\label{E:Pmn-as-sum-of-5-terms}
P_{m,n}(s,t) = p_0(s,t) + p_1(s,t) + p_2(s,t) + p_3(s,t) + p_4(s,t),
\end{equation}
where
{\allowdisplaybreaks
\begin{align}
p_0(s,t) &= m^2 s^{m-1}t^n, \label{E:def-p0-intro}\\
p_1(s,t) &= \sum_{j=0}^{m-2} (j+1)(\kappa(j)+1) s^j t^{2n-L(j)}, \label{E:def-p1-intro} \\
p_2(s,t) &= \sum_{j=0}^{m-2} (j+1)(m-\kappa(j)-1) s^j t^{2n+1-L(j)}, \label{E:def-p2-intro} \\
p_3(s,t) &= \sum_{j=0}^{m-2} (m-j-1)(\kappa(j)+1) s^{j+m} t^{n-L(j)}, \label{E:def-p3-intro} \\
p_4(s,t) &= \sum_{j=0}^{m-2} (m-j-1)(m-\kappa(j)-1) s^{j+m} t^{n+1-L(j)}, \label{E:def-p4-intro}
\end{align}
}
and the expressions $L$ and $\kappa$ are given by
\begin{align}
L(j) = \left\lceil \frac{1+n(j+1)}{m} \right\rceil, \qquad 
\kappa(j) = m + n - 1 +nj - mL(j). \label{E:def-of-mn-ceiling-func-kappaj-intro}
\end{align}
\end{subequations}
\end{theorem}

This theorem is proved in Section \ref{S:effective-formula} after employing modular arithmetic to solve several linear Diophantine equations depending on $m$ and $n$ which determine the complete list of monomials appearing in the numerator polynomial (Proposition \ref{P:Finding-effective-coefficients}).
This information is then combined with functional identities satisfied by the quantities $L$ and $\kappa$ (Lemma \ref{L:props-of-L-and-kappa}) to produce the Bergman kernel formula.

The new kernel formulas allow for effective analysis in part because they improve (in fact optimize) computational efficiency of previous formulas. 
For example, the explicit formula for $K_{m/n}(z,w)$ given in \cite[Proposition 2]{Almugh23} (see Theorem \ref{T:Almugh-formula} below) requires the computation of $(2m-1)(2n+1)$ polynomial coefficients, while Theorem \ref{T:Bergman-kernel-formula} shows that {\em all but exactly $4m-3$ of these coefficients are equal to zero}; see Section \ref{SS:previous-results} for more.

\subsection{Monomial maps; symmetries and zeros of the Bergman kernel}\label{SS:Monomial-maps}

We recall the point of view taken in \cite{Edh16,bcem,CKMM20,Almugh23} which realizes $\h_{m/n}$ as quotients.
Suppose $m,n \in \Z^+$ are relatively prime.
The image of $\D \times \D^*$ under the monomial map $\Phi_{m,n}(z_1,z_2) = (z_1 z_2^n,z_2^m)$ can be identified with a rational Hartogs triangle:
\begin{equation*}
\Phi_{m,n}(\D \times \D^*) = \h_{m/n}.
\end{equation*}
More precisely, $\Phi_{m,n}: \D \times \D^* \to \h_{m/n}$ is an $m$-sheeted proper holomorphic branched cover.
In the language of \cite{bcem,ChakEdh24}, $\Phi_{m,n}$ is a proper holomorphic map of quotient type with respect to a group $\Gamma_{m,n} \subset \mathrm{Aut}(\D \times \D^*)$, the deck transformation group of $\Phi_{m,n}$, which in this case is cyclic of order $m$.
In light of these considerations, Theorem \ref{T:Bergman-kernel-formula} demonstrates that an intricate Bergman theory can arise on quotients, even when the starting domains and maps are simple.
In this case $\Phi_{m,n}$ forces arithmetic properties of the rational index $\gamma = \frac{m}{n}$ into the Bergman kernel via Bell's transformation rule for proper maps \cite{belltransactions}.

\subsubsection{Palindromic polynomials}\label{SSS:palidromic-polys}
The numerator polynomial of the Bergman kernel of $\h_{m/n}$ satisfies an interesting symmetry that assists the study of the Lu Qi-Keng problem.

Given points $z,w \in \h_\gamma$, we follow the notation of Theorem \ref{T:Bergman-kernel-formula} and write $s = z_1\ol{w}_1$, $t = z_2\ol{w}_2$.
It is easy to check via Corollary \ref{C:comm-diag} and Proposition \ref{P:gen-Hartogs-are-their-own-Reinhardt-powers} that the point $(s,t) \in \h_\gamma$, and that every point of $\h_\gamma$ can be realized in this way.
Now let $(s,t)$ denote coordinates on $\C^2$, and consider the complex line $\{s = t \}$.
This line intersects the interior of $\h_\gamma = \{|s|^\gamma < |t| < 1 \}$ for any $\gamma>1$, where the intersection is a punctured disc $\Delta^*$ lying obliquely inside of $\h_\gamma$ (see Figure \ref{Fig:punctured-disc-Delta*}):
\begin{align}\label{E:def-of-deisc-Delta*}
\Delta^* 
= \{(s,s) \in \h_\gamma : s \in \D^* \}.
\end{align}


Now 
%for $\gamma = \frac{m}{n} > 1$ with $\gcd(m,n) = 1$, 
restrict the numerator of \eqref{E:Bergman-kernel-formula-intro} to the line $\{s=t\}$.
The one variable polynomial $s \mapsto P_{m,n}(s,s)$ has a root of order $2n-1$ at the origin, suggesting the following definition 
\begin{align}
Q_{m,n}(s) := s^{1-2n} P_{m,n}(s,s). \label{E:def-of-Qmn}
\end{align}
Thus, roots of the one variable polynomial $Q_{m,n}(s)$ inside $\D^* \subset \C$ are in one-to-one correspondence with the roots of $P_{m,n}(s,t)$ restricted to $\Delta^* \in \h_\gamma$.
Understanding these roots is made easier due to the following unexpected symmetry in the coefficients of $Q_{m,n}$:

\begin{theorem}\label{T:Q-palindromic-intro}
Given relatively prime integers $m>n$, $Q_{m,n}$ is a palindromic polynomial of degree $2m-2n$, i.e.,
\begin{equation}\label{E:Q-palindromic-intro}
Q_{m,n}(s) = s^{2m-2n} Q_{m,n}(s^{-1}).
\end{equation}
\end{theorem}
Theorem \ref{T:Q-palindromic-intro} is obtained as part of Proposition \ref{P:Qmn-palindromic}, which establishes identities analogous to \eqref{E:Q-palindromic-intro} on pieces of the full polynomial.
The palindromic property of $Q_{m,n}$ allows for indirect study of roots inside $\D^*$ by examining the polynomial's behavior on the unit circle.

This circle of ideas pays off in Section \ref{S:zeros-of-the-Bergman-kernel} where it is shown that
%, given a rational $\frac{m}{n} > 1$ with $\gcd(m,n) = 1$, 
$Q_{m,n}$ is non-vanishing on the unit circle for all relatively prime pairs $m>n$ such that $m-n = 1$ or $2$:


\begin{theorem}\label{T:half-zeros-inside-intro}
%Let $\frac{m}{n} > 1$ be rational with $\gcd(m,n) = 1$.
If $m-n = 1$ or $2$, then $Q_{m,n}$ has exactly half of its roots inside the unit disc.
Consequently, the Bergman kernel of $\h_{m/n}$ has zeros inside $\h_{m/n} \times \h_{m/n}$.
\end{theorem}

Proofs of different pieces of this theorem are found in Section \ref{SS:k=1} and \ref{SS:k=2}.
As a consequence of this result, we obtain infinitely many rationals accumulating at $\gamma = 1$ such that the Bergman kernel has zeros, resolving (Q2) above with a negative answer.

%%%%%%%%%%%%%%
%%%%%%%IMAGE%%%%%
\begin{figure}
\centering
\begin{tikzpicture}[x={(0,1cm)},y={(1 cm,0)}]
\draw[-{latex}, thick] (0,0) -- (3.5,0) node[anchor=east] {$|t|$};
\draw[-{latex}, thick] (0,0) -- (0,3.5) node[anchor=west] {$|s|$};
\shadedraw [gray, domain=0:3] (0,0) -- plot  (1/3*\x*\x,\x) -- (3,0);
\draw[-, very thick,dashed] (0,0) -- (1.8,1.8) node[anchor=east] {$\{s = t\}\,\,$};
\draw[-, very thick,dashed] (1.8,1.8) -- (3,3);
\end{tikzpicture} 
\caption{The punctured disc $\Delta^*$ lying obliquely inside $\h_\gamma$.}
\label{Fig:punctured-disc-Delta*}
\end{figure}
%%%%%%IMAGE%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\subsection{Previous results}\label{SS:previous-results}

The Bergman kernel of $\h_{\gamma}$ was first computed for $\gamma \in \Z^+$ by Edholm in \cite{Edh16}, then for $\gamma = \frac{m}{n} \in \Q^+$ by Edholm and McNeal in \cite{EdhMcN16b}, where it was expressed as a sum of $m$ subkernels, all rational functions with a common denominator.
Estimates on these subkernels imply a sharp bound on the full Bergman kernel, which then leads to a characterization of $L^p$-mapping properties of the Bergman projection based on the rationality/irrationality of $\gamma$; see \cite[Theorem 1.1 and 1.2]{EdhMcN16b}.

Because the $L^p$ results were deducible directly from the kernel estimates, little attempt was made to further analyze the numerator of the Bergman kernel, or re-write it in a way that could make symmetries like Theorem \ref{T:Q-palindromic-intro} easier to detect.
The only result in this direction was \cite[Theorem 3.3]{EdhMcN16b}, where it was noted that all but one of the subkernels vanish identically on the variety $\{s=0\}$, meaning the full Bergman kernel restricted to this variety is given by a particularly simple formula:
\begin{equation*}
K_\gamma((0,z_2),(0,w_2)) = \frac{1+(\gamma-1)z_2\ol{w}_2}{\gamma \pi^2 z_2\ol{w}_2(1-z_2\ol{w}_2)^2}.
\end{equation*}
(This formula is valid for all $\gamma>0$, including irrationals.)
When $\gamma>2$, it is possible by direct inspection to find $z_2,w_2$ with $0< |z_2|, |w_2| < 1$ for which the Bergman kernel vanishes. 
But for $0 < \gamma \le 2$, it is not possible to find such $z_2,w_2$, meaning that those Bergman kernels are non-vanishing on $\{s=0\}$.
(The $\gamma = 2$ case had previously been addressed by Edholm in \cite[Corollary 4.2]{Edh16}, where an explicit zero of $K_2$ inside $\h_2 \times \h_2$ was produced.)
%Following this work, it has remained open whether the Bergman kernels have zeros on $\h_\gamma$ for $1<\gamma < 2$.
This approach of looking at the kernel restricted to a variety inspired the restriction of the Bergman kernel to $\{s=t\}$ considered in the present paper.

\subsubsection{The Bergman kernel in terms of the function $D_m$}
Another approach to the Bergman kernels of $\h_{m/n}$ comes from Chakrabarti et al. \cite{CKMM20}, who obtained formulas as special cases of calculations on so-called Signature 1 domains in $\C^n$.
In this work, proper holomorphic maps are used to cover the domains under consideration by simpler domains for which the Bergman kernel is already explicitly known.
Bell's transformation law (see \cite{belltransactions}) can then be applied to express the kernel on the target as a linear combination of functions closely related to the the Bergman kernel on the source. 
The difficulty with this approach is parsing this linear combination into a digestible formula that can then be used to effectively study some other problem (e.g. mapping properties of the Bergman projection or locating zeros).

One of the main observations of \cite{CKMM20} is that the Bergman kernels of Signature 1 domains (including the $\h_{m/n}$) are rational functions, whose numerators can be succinctly expressed using the following function defined on the integers:
\begin{align}\label{E:Dbasic_def}
D_m(\beta) 
= \begin{cases}
\beta + 1, & 0 \leq \beta \leq m - 1, \\
2m - 1 - \beta, & m \leq \beta \leq 2m - 2, \\
0, & \mathrm{otherwise}.
\end{cases}
\end{align}
%Where non-zero, the graph of $D_m$ resembles an ascending staircase on the integers which peaks at $\beta = m-1$, and then descends symmetrically.
This function arises the coefficients of the following polynomial equation:
\begin{equation*}
\left( \frac{1-s^m}{1-s} \right)^2 = \sum_{\beta=0}^{2m-2} D_k(\beta) s^k.
\end{equation*}

We now present these Bergman kernel formulas in terms of $D_m$, using the description given by Almughrabi \cite{Almugh23}, who simplified the original presentation in this form given in \cite{CKMM20}: 

\begin{proposition}[\cite{Almugh23}, Proposition 2]\label{T:Almugh-formula}
Let $m,n \in \Z^+$ with $m > n$ and $\gcd(m,n)=1$.
Letting $s = z_1\ol{w}_1$, $t = z_2\ol{w}_2$, the Bergman kernel of $\h_{m/n}$ is given by 
\begin{equation}\label{E:Almugh-formula}
K_{m/n}(z,w) = \sum_{\beta \in \Z^2} \frac{D_m(\beta_1) D_m(m\beta_2 + n\beta_1+m+n-1-2mn)s^{\beta_1}t^{\beta_2}}{\pi^2 m (t^n - s^m)^2(1-t)^2}.
\end{equation}
In this formula, the terms in the numerator polynomial are only possibly non-zero when 
\begin{equation}\label{E:two-ineqs}
0\le\beta_1\le 2m-2, \qquad \mathrm{and} \qquad 0\le\beta_2\le 2n.
\end{equation}
\end{proposition}

While this formula expressing the numerator polynomial in terms of $D_m$ provides some insight into the algebra of the covering maps $\Phi_{m,n} : \D \times \D^* \to \h_{m,n}$, basic information about the polynomial: the degree, which monomials appear in the sum with non-zero coefficients, or what these coefficients are, remains somewhat obfuscated.
The kernel formulas given in Theorem \ref{T:Bergman-kernel-formula} resolve these questions entirely.
The condition in \eqref{E:two-ineqs} requires the computation of $(2m-1)(2n+1)$ polynomial coefficients, but formuals \eqref{E:def-p0-intro} - \eqref{E:def-p4-intro}, see that only $4m-3$ of these coefficients are non-zero.
For large $n$, this represents an enormous improvement in the efficiency of the formula presentation.



%The paper is organized as follows.
%In Section 2 we provide relavant background information on Reinhardt domains and the Bergman kernel.
%In Section 3, we start with the Bergman kernel formulas are presented in \ref{E:Almugh-formula} and work to eliminate the $D_m$ functions from the formulas.
%This requires lengthy analysis of modular arithmetic and   

%%%%%%%IMAGE%%%%%
%{\centering
%\begin{tikzpicture}[x={(0,1cm)},y={(1 cm,0)}]

%\draw[-{latex}, thick] (0,0) -- (3.5,0) node[anchor=east] {$|t|$};
%\draw[-{latex}, thick] (0,0) -- (0,3.5) node[anchor=west] {$|s|$};
%\shadedraw [gray, domain=0:3] (0,0) -- plot  (1/3*\x*\x,\x) -- (3,0);
%\draw[-, very thick,dashed] (0,0) -- (1.8,1.8) node[anchor=east] {$\{s = t\}\,\,$};
%\draw[-, very thick,dashed] (1.8,1.8) -- (3,3);
%\end{tikzpicture} \\
%}
%%%%%%IMAGE%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\section{Background}\label{S:Bergman-kernel-Reinhardt-domains}

\subsection{Reinhardt domains}
A domain $\Omega \subset \C^n$ is called Reinhardt (with respect to the origin) when it admits a natural $n$-torus action allowing for independent rotation in each coordinate. 
In other words,
\begin{equation*}
(z_1,z_2,\cdots,z_n) \in \Omega \quad \Longleftrightarrow \quad (e^{i \theta_1} z_1, e^{i \theta_2} z_2,\cdots, e^{i \theta_n} z_n) \in \Omega
\end{equation*}
for any choice of $\theta_1,\dots,\theta_n \in \R$. 
In $\C^1$ the only Reinhardt domains are (1) discs, (2) the full plane, (3) annuli, (4) the plane with a closed disc removed, (5) once punctured discs with the center removed, and (6) the once punctured plane.
In each of these settings, holomorphic functions are represented by globally valid Laurent expansions, 
but every such domain family has its own distinct flavor of holomorphic function theory.
This distinction can be drastic, as the contrast between the classical theories of entire functions and holomorphic functions on the unit disc indicates.
 
Holomorphic functions on Reinhardt domains in $\C^n$ also admit globally valid Laurent expansions, and as before, two distinct Reinhardt domains often give rise to substantially different holomorphic function theories; e.g., the function theory on the unit ball \cite{Rudin-BallBook} versus the unit polydisc \cite{Rudin-PolydiscBook}.
Properties of the Bergman kernel (boundary asymptotics; the existence of zeros and shape of the zero set) and Bergman projection (its behavior acting in $L^p$, Sobolev, Hölder classes) give a way to gauge this.
%This is especially apparent on domains such as the $\h_\gamma$, where the boundary of the domain intersects the center of Reinhardt symmetry; see \cite{Edh16,EdhMcN16,EdhMcN16b,EdhMcN20}.

A domain is said to be pseudoconvex when it is the domain of existence for some holomorphic function that cannot be analytically extended to a larger domain.
Pseudoconvexity is a fundamental notion in several complex variables, and it has several equivalent geometric characterizations; see \cite{Krantz_scv_book}. 
In the Reinhardt setting it is particularly easy to characterize:

Given a Reinhardt domain $\Omega \subset \C^n$, define its {\em logarithmic shadow} to be the set
\begin{equation*}
\mathrm{Log}(\Omega) := \{ (\log|z_1|,\cdots,\log|z_n|) \in \R^n : z \in \Omega \,\, \mathrm{with\,\,each} \,\, z_j \neq 0 \}.
\end{equation*}

A domain is called {\em weakly relatively complete} if, for each $j$ with $\Omega \cap \{z_j = 0\} \neq \varnothing$, that $(z',0,z'') \in \Omega$ whenever there exists some $(z',z_j,z'') \in \Omega \subset \C^{j-1} \times \C \times \C^{n-j}$.

\begin{proposition}[\cite{JarPflBook08}, Proposition 1.11.13]
A Reinhardt domain $\Omega \subset \C^n$ is pseudoconvex if and only if $\mathrm{Log}(\Omega) \subset \R^n$ is a convex set and $\Omega$ is weakly relatively complete.
\end{proposition}

It is easily verified that the domains $\h_\gamma$ are pseudoconvex.

%We illustrate this on the family \eqref{E:def=gen-Hartogs} of Reinhardt domains considered in this paper.
%\[
%\cf := \{\h_{\gamma} : \gamma \ge 1 \}
%\]
%Any two domains $\h_{\gamma_1},  \h_{\gamma_2} \in \cf$ biholomorphically inequivalent for $\gamma_1 \neq \gamma_2$ (see \cite{Zapalowski17}), the flavor of holomorphic function theory changes drastically as the exponent $\gamma$ varies.



\subsection{Bergman kernel properties}


Let $U$ and $V$ be two domains in $\C^n$ and suppose there is a biholomorphic map $\Phi:U \to V$. 
The Bergman kernels satisfy the well known relation
\begin{equation}\label{E:Berg-biholo-trans-law}
K_U(z,w) = \det\Phi'(z) \cdot K_V(\Phi(z),\Phi(w)) \cdot \ol{\det \Phi'(w)}.
\end{equation}
Since $\det\Phi'$ is necessarily non-vanishing for $\Phi$ a biholomorphism (see \cite{Krantz_scv_book}) we see that $K_U$ has zeros inside $U \times U$ if and only if $K_V$ has zeros inside $V \times V$.

Since the map $(z_1,z_2) \mapsto \big(\frac{z_1}{z_2},z_2\big)$ gives a biholomorphism from $\h_1$ to $\D \times \D^*$ (a domain with a non-vanishing Bergman kernel), we can immediately conclude $K_{\h_1}(z,w)$ is non-vanishing inside $\h_1 \times \h_1$.
Alternatively, this can be seen directly from the formula
\begin{equation*}
K_{\h_1}(z,w) = \frac{z_2 \ol{w}_2}{\pi^2(1-z_2\ol{w}_2)^2 (z_2\ol{w}_2 - z_1\ol{w}_1)^2}.
\end{equation*}

Given a Reinhardt domain $\Omega \subset \C^n$ and a multi-index $\alpha \in \Z^n$ with corresponding monomial $e_\alpha(z) = z^\alpha$, we define the set of $L^2$-allowable indices to be
\[
\cs_2(\Omega) := \{ \alpha \in \Z^n : e_\alpha \in A^2(\Omega) \}.
\]
Since the square-integrable monomials form a basis for the Bergman space, we are able to write the Bergman kernel as
\begin{equation}\label{E:Berg-kern-infinite-sum}
K_\Omega(z,w) = \sum_{\alpha \in \cs_2(\Omega)} \frac{e_\alpha(z) \ol{e_\alpha(w)}}{\norm{e_\alpha}_2^2}
= \sum_{\alpha \in \cs_2(\Omega)} \frac{ (z_1 \ol{w}_1)^{\alpha_1} \cdots (z_n \ol{w}_n)^{\alpha_n} }{\norm{e_\alpha}_2^2},
\end{equation}
where the series converges locally normally on $\Omega \times \Omega$.
Note that on Reinhardt domains like $\h_\gamma$ -- where the boundary intersects the center of Reinhardt symmetry -- certain negative powers are allowed to appear on square-integrable monomials.
But any perturbation of $\gamma$ will cause the set $\cs_2(\h_\gamma) \subset \Z^2$ to either lose or gain infinitely many indices, a fact that underlies the drastic difference in Bergman kernels of $\h_{\gamma_1} \neq \h_{\gamma_2}$, even for $ |\gamma_1 - \gamma_2|$ arbitrarily small.

Equation \eqref{E:Berg-kern-infinite-sum} shows the Bergman kernel on a Reinhardt domain can be written as a function of the variables $t_j = z_j\ol{w}_j$. 
In other words, if $\psi : \C^n \times \C^n \to \C^n$ is the map
\begin{equation*}
\psi(z,w) = (z_1\ol{w}_1,\cdots,z_n\ol{w}_n),
\end{equation*}
the Bergman kernel factors as $K_\Omega = k_\Omega \circ \psi$, where $k_\Omega$ is a function defined on the closely related Reinhardt domain
\begin{equation}\label{E:def-Omega-tilde}
\wt{\Omega} = \{t \in \C^n : \exists \, z,w \in \Omega \,\, \mathrm{with} \,\, t = (z_1\ol{w}_1,\cdots,z_n\ol{w}_n) \}.
\end{equation}

When $\Omega$ is pseudoconvex, $\wt\Omega$ yields a simple description.
Following \cite{ChakEdh24}, for $m>0$ we define the $m$-th Reinhardt power of $\Omega$ to be
\begin{equation}\label{E:def-Reinhardt-square}
\Omega^{(m)} := \left\{ z \in \C^n : (|z_1|^{\frac{1}{m}},\cdots,|z_n|^{\frac{1}{m}}) \in \Omega \right\}.
\end{equation}

\begin{proposition}\label{P:Omega-tilde=Omega2}
Let $\Omega \subset \C^n$ be a pseudoconvex Reinhardt domain.
Then $\wt\Omega = \Omega^{(2)}$.
\end{proposition}
\begin{proof}
The containment $\Omega^{(2)} \subset \wt\Omega$ always holds.
Indeed, given $\zeta \in \Omega^{(2)}$, we have
\[
\zeta := (r_1 e^{i\theta_1}, \dots, r_n e^{i\theta_n}) \in \Omega^{(2)} 
\qquad \Longleftrightarrow \qquad
z := \left(\sqrt{r_1}, \dots, \sqrt{r_n} \right) \in \Omega.
\]
Now take $w = z$ and set $t := (z_1\ol{w}_1,\cdots,z_n\ol{w}_n) = (r_1,\cdots,r_n)$, which is contained in $\wt\Omega$ by definition \eqref{E:def-Omega-tilde}.
But since $\wt\Omega$ is Reinhardt, $\zeta \in \wt\Omega$.

The containment $\wt\Omega \subset \Omega^{(2)}$ requires pseudoconvexity.
Let $t = (t_1,\dots,t_n) \in \wt\Omega$ and choose
\[
z = (z_1,\dots,z_n)\in \Omega, \qquad w = (w_1,\dots,w_n) \in \Omega,
\]
such that $t_j = z_j \ol{w}_j$ for all $j$.
For now, assume that each $t_j \neq 0$.
Since $\Omega$ is pseudoconvex, the set $\mathrm{Log}(\Omega) \subset \R^n$ is convex and therefore the midpoint
\begin{equation}\label{E:midpoint-log-convex}
\left( \frac{\log|z_1|+\log|w_1|}{2} , \dots, \frac{\log|z_n|+\log|w_n|}{2}\right) \in \mathrm{Log}(\Omega).
\end{equation}
Upon noting that $\mathrm{Log}\big(\Omega^{(2)}\big) = 2\,\mathrm{Log}\big(\Omega\big) := \left\{ 2\eta : \eta \in \mathrm{Log}(\Omega) \right\}$, we see from \eqref{E:midpoint-log-convex} that
\[
(\log|t_1|,\dots,\log|t_n| ) = (\log|z_1| + \log|w_1|,\dots, \log|z_n| + \log|w_n| ) \in \mathrm{Log}\big(\Omega^{(2)}\big),
\]
which shows that $t = (t_1,\dots,t_n) \in \Omega^{(2)}$.

When some of the components $t_j$ equal $0$, we take $z_j = w_j = 0$, and repeat the midpoint argument above on the logarithmic shadow of the lower dimensional Reinhardt domain obtained by intersecting $\Omega$ with the coordinate axes of the zeroed out components.
This lower dimensional domain is also pseudoconvex and its $m$-th Reinhardt powers are obtained by intersecting $\Omega^{(m)}$ with the same coordinate axes.
The rest of the argument goes through mutatis mutandis, confirming again that $t \in \Omega^{(2)}$.
\end{proof}

Proposition \ref{P:Omega-tilde=Omega2} has the following simple consequence

\begin{corollary}\label{C:comm-diag}
Given a pseudocovex Reinhart domain  $\Omega \subset \C^n$, the map $\psi$ restricts to a surjection of $\Omega \times \Omega$ onto $\Omega^{(2)}$, and there is a holomorphic function $k_\Omega: \Omega^{(2)} \to \C$ so that the following diagram commutes
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}\label{CD:General}
\begin{tikzcd}
\Omega \times \Omega \arrow{rr}{\psi} \arrow{rrd}[swap]{K_\Omega} && \Omega^{(2)} \arrow{d}{k_\Omega}\\
&& \C
\end{tikzcd}
\end{equation}
\end{corollary}
\begin{proof}
Since $\psi(\Omega \times \Omega) = \wt\Omega = \Omega^{(2)}$, the factorization of $K_\Omega$ illustrated in \eqref{CD:General} holds.  
The function $k_\Omega$ is holomorphic on $\Omega^{(2)}$ because the power series 
\begin{equation}\label{E:holo-func-on-Omega2}
k_\Omega(t_1,\cdots,t_n) = \sum_{\alpha \in \cs_2(\Omega)} \frac{ t_1^{\alpha_1} \cdots t_n^{\alpha_n} }{\norm{e_\alpha}_2^2}
\end{equation}
converges locally normally on $\Omega^{(2)}$ -- this is a direct consequence of the local normal convergence of the Bergman kernel \eqref{E:Berg-kern-infinite-sum} on $\Omega \times \Omega$.
\end{proof}

\begin{definition}
Given a pseudoconvex Reinhardt domain $\Omega \subset \C^n$, we call the function $k_\Omega : \Omega^{(2)} \to \C$ the {\em holomorphic factor of the Bergman kernel}.
\end{definition}

\begin{corollary}\label{C:LQK-Reinhardt-shadow}
Let $\Omega \subset \C^n$ be a pseudoconvex Reinhardt domain.
The zero set of the Bergman kernel $K_\Omega$ in $\Omega \times \Omega$ is the pullback via $\psi$ of the zero set in $\Omega^{(2)}$ of the holomorphic factor $k_\Omega$.
In particular, $K_\Omega$ has zeros in $\Omega \times \Omega$ if and only if $k_\Omega$ has zeros in $\Omega^{(2)}$.
%Consider the zero sets
%\begin{align*}
%&\cv(K_\Omega) = \{(z,w) \in \Omega \times \Omega : K_\Omega(z,w) = 0 \}, \\
%&\cv(k_\Omega) = \{\zeta \in \Omega^{(2)} : k_\Omega(\zeta) = 0 \}
%\end{align*}
%The zero set of the Bergman kernel $K_\Omega : \Omega \times \Omega \to \C$ is given by the inverse image
%\begin{equation*}
%\psi^{-1} \big( \cv(k_\Omega) \big) \cap \big( \Omega \times \Omega \big) = \cv(K_\Omega).
%\end{equation*}
\end{corollary}

\begin{proposition}\label{P:gen-Hartogs-are-their-own-Reinhardt-powers}
For $m>0$, $\gamma>0$ the generalized Hartogs triangle satisfies $\h_\gamma^{(m)} = \h_\gamma$, and the holomorphic factor of the Bergman kernel is itself a function $k_\gamma : \h_\gamma \to \C$.
\end{proposition}
\begin{proof}
Given $m, \gamma > 0$, we have the following chain of equivalent statements:
\begin{align*}
z \in \h_{\gamma}^{(m)} \quad \Longleftrightarrow \quad \big(|z_1|^{\frac{1}{m}},|z_2|^{\frac{1}{m}}\big) \in \h_\gamma \quad &\Longleftrightarrow \quad |z_1|^{\frac{\gamma}{m}} < |z_2|^{\frac{1}{m}}  < 1 \\
&\Longleftrightarrow \quad |z_1|^\gamma < |z_2|  < 1 \qquad \Longleftrightarrow \quad z \in \h_\gamma.
\end{align*}
Since $\h_{\gamma}^{(2)} = \h_\gamma$, the holomorphic factor $k_\gamma$ is defined on the original domain.
\end{proof}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\section{An effective Bergman kernel formula}\label{S:effective-formula}

The goal here is to start with the numerator polynomial given in \eqref{E:Almugh-formula}:
\begin{equation}\label{E:Almugh-numerator}
\sum_{\beta\in \Z^2} D_m(\beta_1) D_m(m\beta_2+n\beta_2 + m + n -1 -2mn) s^{\beta_1} t^{\beta_2} := P_{m,n}(s,t),
\end{equation}
and make it effective by eliminating the $D_m$ function that was defined in \eqref{E:Dbasic_def}.
To condense the presentation of \eqref{E:Almugh-numerator}, we introduce the quantities
\begin{align}
\kappa(\beta_1,\beta_2) &:= m\beta_2+n\beta_1 + m + n -1 -2mn, \label{E:def-of-kappa(b1,b2)} \\
C(\beta_1,\beta_2) &:= D_m(\beta_1) D_m(\kappa(\beta_1,\beta_2)). \label{E:def-of-C(b1,b2)}
\end{align}

\subsection{Determining non-zero coefficients}
We determine all pairs $(\beta_1,\beta_2) \in \Z^2$ such that $C(\beta_1,\beta_2) \neq 0$. 
%In Section \ref{SS:explicit-determination-of-Pmn}, we explicitly compute this quantity for every such ordered pair.

\begin{proposition}\label{P:Finding-effective-coefficients}
Fix a rational number $\frac{m}{n}>1$ with $\gcd(m,n)=1$ and let $C(\beta_1,\beta_2)$ be defined as in \eqref{E:def-of-C(b1,b2)}.
The pairs $(\beta_1,\beta_2) \in \Z^2$ for which $C(\beta_1,\beta_2) \neq 0$ are obtained explicitly.

\begin{itemize}
\item[(0)] $C(\beta_1,\beta_2) \neq 0$ if and only if both $0 \le \beta_1 \le 2m-2$ and $0 \le \kappa(\beta_1,\beta_2) \le 2m-2$.
\end{itemize}

\noindent  Case 1: $\beta_1 = m-1$ or $\kappa(\beta_1,\beta_2) = m-1$.

\begin{itemize}
\item[(1a)] If $\beta_1 = m-1$, the only possible $\beta_2$ value for which $C(\beta_1,\beta_2) \neq 0$ is $\beta_2 = n$, in which case $\kappa(\beta_1,\beta_2) = m-1$.

\item[(1b)] Suppose that $\beta_1,\beta_2$ are chosen so that $C(\beta_1,\beta_2) \neq 0$ and $\kappa(\beta_1,\beta_2) = m-1$.
Then $\beta_1 = m-1$ and $\beta_2 = n$.
\end{itemize}

For what follows, define 
\begin{equation}\label{E:def-of-mn-ceiling-func}
L(j) = \left\lceil \frac{1+n(j+1)}{m} \right\rceil.
\end{equation}

\noindent  Case 2: Let $\beta_1 = j \in \{0,1,\cdots,m-2 \}$ be fixed.
\begin{itemize}

\item[(2a)] 
%Suppose that $\beta_1 = j \in \{0,1,\cdots,m-2 \}$.
There is a unique $\beta_2(j) \in \Z$ so that $\kappa(j,\beta_2(j)) \in \{0,1,\cdots,m-2 \}$.

Explicitly, 
\begin{equation}
\beta_2(j) = 2n - L(j), \qquad \kappa(j,\beta_2(j)) = m + n -1 + nj - m L(j),
\end{equation}
so each $\beta_2(j) \in \{n,n+1, \cdots, 2n-1 \}$.
Distinct choices of $j_1,j_2 \in \{0,1,\cdots,m-2 \}$ yield $\kappa(j_1,\beta_2(j_1)) \neq \kappa(j_2,\beta_2(j_2))$, meaning that $\kappa(j,\beta_2(j))$ assumes each value in $\{0,1,\cdots,m-2 \}$ exactly once as $j$ ranges in $\{0,1,\cdots,m-2 \}$.

\item[(2b)] 
There is a unique $\tilde{\beta}_2(j) \in \Z$ so that $\kappa(j,\tilde\beta_2(j)) \in \{m,m+1,\cdots, 2m-2 \}$.

Explicitly, 
\begin{alignat}{2}
\tilde\beta_2(j) &= 2n + 1 - L(j), \qquad \kappa(j,\tilde\beta_2(j)) &&= 2m + n -1 + nj - m L(j), \\
 &= \beta_2(j) + 1, \qquad &&= \kappa(j,\beta_2(j)) + m. \notag
\end{alignat}
so each $\tilde\beta_2(j) \in \{n+1,n+2, \cdots, 2n \}$.
Distinct choices of $j_1,j_2 \in \{0,1,\cdots,m-2 \}$ yield $\kappa(j_1,\tilde\beta_2(j_1)) \neq \kappa(j_2,\tilde\beta_2(j_2))$, meaning that $\kappa(j,\tilde\beta_2(j))$ assumes each value in $\{m,m+1,\cdots,2m-2 \}$ exactly once as $j$ ranges in $\{0,1,\cdots,m-2 \}$.
\end{itemize}

\noindent  Case 3: Let $\beta_1 = j \in \{m,m+1,\cdots,2m-2 \}$ be fixed.

\begin{itemize}

\item[(3a)] 
%Suppose that $\beta_1 = j \in \{0,1,\cdots,m-2 \}$.
There is a unique $\beta_2(j) \in \Z$ so that $\kappa(j,\beta_2(j)) \in \{0,1,\cdots,m-2 \}$.

Explicitly, 
\begin{equation}
\beta_2(j) = 2n - L(j), \qquad \kappa(j,\beta_2(j)) = m + n -1 + nj - m L(j),
\end{equation}
so each $\beta_2(j) \in \{0,1, \cdots, n-1 \}$.
Distinct choices of $j_1,j_2 \in \{m,m+1,\cdots,2m-2 \}$ yield $\kappa(j_1,\beta_2(j_1)) \neq \kappa(j_2,\beta_2(j_2))$, meaning that $\kappa(j,\beta_2(j))$ assumes each value in $\{0,1,\cdots,m-2 \}$ exactly once as $j$ ranges in $\{m,m+1,\cdots,2m-2 \}$.

\item[(3b)] 
There is a unique $\tilde{\beta}_2(j) \in \Z$ so that $\kappa(j,\tilde\beta_2(j)) \in \{m,m+1,\cdots, 2m-2 \}$.

Explicitly, 
\begin{alignat}{2}
\tilde\beta_2(j) &= 2n + 1 - L(j), \qquad \kappa(j,\tilde\beta_2(j)) &&= 2m + n -1 + nj - m L(j), \\
 &= \beta_2(j) + 1, \qquad &&= \kappa(j,\beta_2(j)) + m. \notag
\end{alignat}
so each $\tilde\beta_2(j) \in \{1,2, \cdots, n \}$.
Distinct choices of $j_1,j_2 \in \{m,m+1,\cdots,2m-2 \}$ yield $\kappa(j_1,\tilde\beta_2(j_1)) \neq \kappa(j_2,\tilde\beta_2(j_2))$, meaning that $\kappa(j,\tilde\beta_2(j))$ assumes each value in $\{m,m+1,\cdots,2m-2 \}$ exactly once as $j$ ranges in $\{m,m+1,\cdots,2m-2 \}$.
\end{itemize}
\begin{proof}
Statement $(0)$ is clear from the definition of $D_m(\beta)$ given in \eqref{E:Dbasic_def}, but it sets the stage for the three subsequent cases.

Case $1$ concerns the situation when either $\beta_1$ or $\kappa(\beta_1,\beta_2)$ is equal to $m-1$, that is, the input value where the function $D_m$ peaks.

For $(1a)$, let $\beta_1 = m-1$. 
If $\beta_2 \in \Z$ is chosen so that $0 \le \kappa(m-1,\beta_2) \le 2m-2$, definition \eqref{E:def-of-kappa(b1,b2)} shows
\begin{equation*}
n-1+\frac{1}{m} \le \beta_2 \le n + 1 -\frac{1}{m}.
\end{equation*}
This forces $\beta_2 = n$, and a computation shows $\kappa(m-1,n) = m-1$.

For $(1b)$, assume $\beta_1,\beta_2$ are chosen so that $\kappa(\beta_1,\beta_2) = m-1$.
This means
\begin{equation*}
m(\beta_2-2n) = -n(\beta_1+1) \qquad \Longrightarrow \qquad \beta_1 \equiv -1 \mod m,
\end{equation*}
since $\gcd(m,n)=1$.
Since $0\le \beta_1 \le 2m-2$, this forces $\beta_1 = m-1$, which implies that $\beta_2 = n$.
This concludes case $1$.

In Case 2, we let $\beta_1 = j \in \{0,1,\cdots,m-2 \}$, i.e., the inputs where $D_m$ is ascending, up to (but not including) the peak at $j=m-1$.

For $(2a)$, assume that $\beta_2$ is chosen so that $0 \le \kappa(j,\beta_2) \le m-2$.
This means 
\begin{equation}\label{E:Case2_beta2_interval_1}
2mn +1 -m -n -nj \le m \beta_2 \le 2mn -1 -n -nj
\end{equation}
In the case $m=2$ (which forces $n=1$), we immediately have $j=0$, $\beta_2 = 1$ and $\kappa(0,1) = 0$.
For integers $m \ge 3$, \eqref{E:Case2_beta2_interval_1} is a closed interval of length $m-2$ with integer endpoints.
We claim this interval must contain a multiple of $m$.
If not, the left endpoint would satisfy
\begin{equation*}
2mn +1 -m -n -nj \equiv 1 \mod m.
\end{equation*}
But this would then necessitate
\begin{equation*}
-n(j+1) \equiv 0 \mod m \qquad \Longrightarrow \qquad j \equiv -1 \mod m,
\end{equation*}
which is impossible since $j \in \{0,1 \cdots, m-2\}$.
Thus, for each $j$ in this range, there is a unique $\beta_2 = \beta_2(j) \in \Z$ satisfying \eqref{E:Case2_beta2_interval_1}, given by
\begin{equation}\label{E:beta2-def-inside-proof}
\beta_2(j) = \left\lfloor 2n - \frac{1+n(j+1)}{m}  \right\rfloor = 2n - L(j),
\end{equation}
where $L(j)$ is defined by \eqref{E:def-of-mn-ceiling-func}. 
Since $\frac{n}{m}<1$, $L(j)$ is a non-decreasing function of $j$.
Inspection shows that $L(0) = 1$ and $L(m-2) = n$, with each integer value between $1$ and $n$ attained at least once.
This means that $\beta_2(0) = 2n-1$ and that $\beta_2(m-2) = n$, with every integer value between attained by some $\beta_2(j)$ at least once.

Direct evaluation from \eqref{E:def-of-kappa(b1,b2)} shows 
\begin{equation*}
\kappa(j,\beta_2(j)) = m+n-1+nj-mL(j).
\end{equation*}
Now if $j_1,j_2 \in \{0,1,\cdots,m-2\}$ are chosen so that $\kappa(j_1,\beta_2(j_1)) = \kappa(j_2,\beta_2(j_2))$, we must have that
\begin{equation*}
n(j_1-j_2) = m(L(j_1)-L(j_2)) \qquad \Longrightarrow \qquad j_1 \equiv j_2 \mod m,
\end{equation*}
which is only possible if $j_1=j_2$.
We thus conclude that $\kappa(j,\beta_2(j))$ attains each value in $\{0,1,\cdots,m-2 \}$ exactly once as $j$ varies throughout the same range.

Part $(2b)$ is easily deduced from $(2a)$. 
%First note that the set $\{m,m+1,\cdots,2m-2\}$ is a translate by $m$ units of $\{0,1,\cdots,m-2 \}$.
Take $\tilde\beta_2(j) = \beta_2(j)+1$, where $\beta_2(j)$ is given by \eqref{E:beta2-def-inside-proof}, and see from \eqref{E:def-of-kappa(b1,b2)} that
\begin{align*}
\kappa(j,\tilde\beta_2(j)) &= m \tilde\beta_2(j) + nj  m + n - 1 - 2mn \\
&= m + m\beta_2(j) + nj  m + n - 1 - 2mn \\
&= m + \kappa(j,\beta_2(j)).
\end{align*}
Now since $\{m,m+1,\cdots,2m-2 \}$ is just a shift of $\{0,1,\cdots,m-2 \}$ by $m$ units, all claims made in $(2b)$ are equivalent to those in $(2a)$.
This concludes case 2.

Case 3 is handled similarly, but now $\beta_1 = j$ ranges in $\{m,m+1,\cdots,2m-2\}$, i.e., the range of values (not including the peak at $j=m-1$) on which $D_m$ is descending.

For $(3a)$, assume $\beta_2$ is chosen so that $0 \le \kappa(j,\beta_2) \le m-2$.
This yields the same inequalities that appeared in \eqref{E:Case2_beta2_interval_1}, only now with a different range of $j$ values.
When $m=2$ (which forces $n=1$), we immediately have that $j=2$, so $\beta_2 = 0$ and $\kappa(2,0) = 0$.
For integers $m \ge 3$, \eqref{E:Case2_beta2_interval_1} is a closed interval of length $m-2$ with integer endpoints.
Following reasoning identical to that given above for $(2a)$, we see that for each $j \in \{m,m+1,\cdots,2m-2\}$, there is a unique $\beta_2 = \beta_2(j) \in \Z$ satisfying \eqref{E:Case2_beta2_interval_1}.
Once again $\beta_2(j) = 2n - L(j)$, the same formula provided in \eqref{E:beta2-def-inside-proof} for $j \in  \{0,1,\cdots,m-2 \}$.
Inspection shows that $\beta_2(m) = n-1$, and that $\beta_2(2m-2) = 0$, and reasoning identical to that given above shows that $\beta_2(j)$ attains each integer between $n-1$ and $0$ at least once.

Direct evaluation from \eqref{E:def-of-kappa(b1,b2)} again shows that $\kappa(j,\beta_2(j)) = m+n-1+nj-mL(j)$, and identical reasoning to that given above shows that if $\kappa(j_1,\beta_2(j_1)) = \kappa(j_2,\beta_2(j_2))$ for $j_1,j_2 \in \{m,m+1,\cdots,2m-2 \}$, then $j_1 = j_2$.
We thus conclude that $\kappa(j,\beta_2(j))$ attains each value in $\{0,1,\cdots,m-2 \}$ exactly once as $j$ varies throughout $\{m,m+1,\cdots,2m-2 \}$.

Part $(3b)$ is easily deduced from $(3a)$ in a way that parallels how $(2b)$ was deduced from $(2a)$.
We once again set $\tilde\beta_2(j) = \beta_2(j)+1$, which is seen to imply that $\kappa(j,\tilde\beta_2(j)) = m + \kappa(j,\beta_2(j))$.
As above, all claims made in $(3b)$ equivalent to those made in $(3a)$.
This concludes case 3 and completes the proof.
\end{proof}
\end{proposition}

\subsection{Explicit determination of $P_{m,n}(s,t)$}\label{SS:explicit-determination-of-Pmn}

We produce an explicit formula for the numerator of the Bergman kernel in terms of expressions appearing in Proposition \ref{P:Finding-effective-coefficients};
the quantities $\kappa(j,\beta_2(j))$ and $\kappa(j,\tilde\beta_2(j))$ will be abbreviated as follows:
\begin{subequations}
\begin{align}
\kappa(j) &:= \kappa(j,\beta_2(j)) = m + n - 1 +nj - mL(j), \label{def-of-kappaj} \\
\tilde\kappa(j) &:= \kappa(j,\tilde\beta_2(j)) = 2m + n - 1 +nj - mL(j) = m + \kappa(j). \label{def-of-kappatildej}
\end{align}
\end{subequations}

We first record some properties of $L(j)$ and $\kappa(j)$ that will be crucial later.

\begin{lemma}\label{L:props-of-L-and-kappa}
The functions $L$ and $\kappa$, defined in \eqref{E:def-of-mn-ceiling-func} and \eqref{def-of-kappaj}, respectively, satisfy the following
\begin{enumerate}
\item $L(j+m) = L(j) + n$.
\item $\kappa(j+m) = \kappa(j)$.
\item For $j \in \{0,1,\cdots,m-2 \}$, $L(j) + L(m-2-j) = n+1$.
\item For $j \in \{0,1,\cdots,m-2 \}$, $\kappa(j) + \kappa(m-2-j) = m-2$.
\end{enumerate}
\end{lemma}
\begin{proof}
%For item (1), see that
%$L(j+m) = \left\lceil \frac{1+n(j+m+1)}{m} \right\rceil = n+ \left\lceil \frac{1+n(j+1)}{m} \right\rceil = n + L(j)$.

%For item (2), 
%\begin{align*}
%\kappa(j+m) &= m + n - 1 + n (j+m) - mL(j+m) \\
%&= m + n - 1 + nj +mn - mL(j) -mn = \kappa(j).
%\end{align*}
(1) and (2) follow from trivial computation.
For (3), observe that (1) implies $L(j) + L(m-2-j) = n + L(j) + L(-2-j)$.

By definition, $L(j) + L(-2-j) =$
\begin{equation}\label{E:int-step2-sum-of-Ls}
=\left\lceil \frac{1+n(j+1)}{m} \right\rceil + \left\lceil \frac{1-n(j+1)}{m} \right\rceil
= \left\lceil \frac{n(j+1)+1}{m} \right\rceil -\left\lfloor \frac{n(j+1) - 1}{m} \right\rfloor.
\end{equation}

For $j \in \{0,1,\cdots,m-2 \}$, write $n(j+1) = q(j) m + r(j)$, where $q(j) \in \Z$ is the quotient and $r(j)$ is the remainder. 
We claim $1 \le r(j) \le m-1$ for this range of $j$.
Indeed, since $\gcd(m,n) = 1$, we have that $r(j)$ assumes each value in the set $\{1,2,\cdots,m-1 \}$ exactly once.
Thus,
\begin{equation*}
\frac{n(j+1)+1}{m} = q(j) + \frac{r(j)+1}{m}, \qquad \frac{n(j+1)-1}{m} = q(j) + \frac{r(j)-1}{m},
\end{equation*}
and so
\begin{align*}
\left\lceil \frac{n(j+1)+1}{m} \right\rceil = q(j) + 1, \qquad \left\lfloor \frac{n(j+1)-1}{m} \right\rfloor = q(j).
\end{align*}
Now by \eqref{E:int-step2-sum-of-Ls} we see that for $j \in \{0,1,\cdots,m-2 \}$, $L(-2-j) + L(j) = 1$, proving (3).


For (4), notice that
\begin{align}
\kappa(m-2-j) + \kappa(j) &= 2m + 2n - 2 + n(m-2-j) - m L(m-2-j) + nj - mL(j) \notag \\
&= 2m - 2 + nm - m(L(m-2-j) + L(j)) \notag \\ 
&= 2m - 2 + nm  - m(n+1) \label{E:int-step1-sum-of-Ls} = m-2,
\end{align}
completing the proof.
\end{proof}

We are ready to establish the Bergman kernel formula.

\begin{proof}[Proof of Theorem \ref{T:Bergman-kernel-formula}]
We use parts of Proposition \ref{P:Finding-effective-coefficients} to decompose the polynomial
\begin{equation*}
P_{m,n}(s,t) = \sum_{\beta\in \Z^2} D_m(\beta_1) D_m(m\beta_2+n\beta_2 + m + n -1 -2mn) s^{\beta_1} t^{\beta_2}.
\end{equation*}

\begin{itemize}[wide]
    
\item Parts (1a) and (1b) together show that the two possible options in case 1 ($\beta_1 = m-1$ or $\kappa(\beta_1,\beta_2) = m-1$) in fact both correspond to the same, uniquely determined $\beta$-value: $(\beta_1,\beta_2) = (m-1,n)$.
This corresponds to a single monomial term in the sum above, which we now name.
Recalling \eqref{E:Dbasic_def}, define
\begin{align*}
p_0(s,t) &:= D_m(\beta_1) D_m( \kappa(\beta_1,\beta_2) ) s^{\beta_1} t^{\beta_2} 
\Big|_{(\beta_1,\beta_2) = (m-1,n)} \\
&=D_m(m-1) D_m(m-1) s^{m-1} t^n \\
&= m^2 s^{m-1} t^n.
\end{align*}

\item Part (2a) considers $\beta_1 = j \in \{0,1,\cdots,m-2 \}$ and shows the integer $\beta_2(j) = 2n - L(j)$ is uniquely determined so that $\kappa(j) := \kappa(j,\beta_2(j)) \in \{0,1,\cdots,m-2 \}$. 
Recalling \eqref{E:Dbasic_def}, define the polynomial corresponding to these indices:
\begin{align*}
p_1(s,t) 
&:= \sum_{j=0}^{m-2} D_m(j) D_m(\kappa(j)) s^j t^{\beta_2(j)} = \sum_{j=0}^{m-2} (j+1) (\kappa(j)+1) s^j t^{2n-L(j)}.
\end{align*}

\item Part (2b) considers $\beta_1 = j \in \{0,1,\cdots,m-2 \}$ and shows the integer $\tilde\beta_2(j) = 2n + 1 - L(j)$ is uniquely determined so that $\tilde\kappa(j) := \kappa(j,\tilde\beta_2(j)) = m + \kappa(j) \in \{m,m+1,\cdots,2m-2 \}$. 
Recalling \eqref{E:Dbasic_def}, we define the polynomial corresponding to these indices:
\begin{align*}
p_2(s,t) 
&:= \sum_{j=0}^{m-2} D_m(j) D_m(m+\kappa(j)) s^j t^{\tilde\beta_2(j)} \\
&= \sum_{j=0}^{m-2} (j+1) (m-\kappa(j)-1) s^j t^{2n+1-L(j)}.
\end{align*}

\item Part (3a) considers $\beta_1 = j \in \{m,m+1,\cdots,2m-2 \}$ and shows the integer $\beta_2(j) = 2n - L(j)$ is uniquely determined so that $\kappa(j) := \kappa(j,\beta_2(j)) \in \{0,1,\cdots,m-2 \}$. 
Recalling \eqref{E:Dbasic_def}, define the polynomial corresponding to these indices:
\begin{align*}
p_3(s,t) 
&:= \sum_{j=m}^{2m-2} D_m(j) D_m(\kappa(j)) s^j t^{\beta_2(j)} \\
&= \sum_{j=m}^{2m-2} (2m-j-1) (\kappa(j)+1) s^j t^{2n-L(j)} = \sum_{j=0}^{m-2} (m-j-1) (\kappa(j)+1) s^{j+m} t^{n-L(j)}.
\end{align*}
In the last step, we re-indexed the sum using Lemma \ref{L:props-of-L-and-kappa} to see that $\kappa(j+m)=\kappa(j)$ and $L(j+m) = L(j)-n$.

\item Part (3b) considers $\beta_1 = j \in \{m,m+1,\cdots,2m-2 \}$ and shows the integer $\tilde\beta_2(j) = 2n + 1 - L(j)$ is uniquely determined so that $\tilde\kappa(j) := \kappa(j,\tilde\beta_2(j)) = m + \kappa(j) \in \{m,m+1,\cdots,2m-2 \}$. 
Recalling \eqref{E:Dbasic_def}, define the polynomial corresponding to these indices:
\begin{align*}
p_4(s,t) 
&:= \sum_{j=m}^{2m-2} D_m(j) D_m(m+\kappa(j)) s^j t^{\tilde\beta_2(j)} \\
&= \sum_{j=m}^{2m-2} (2m-j-1) (m-\kappa(j)-1) s^j t^{2n+1-L(j)} \\
&= \sum_{j=0}^{m-2} (m-j-1) (m-\kappa(j)-1) s^{j+m} t^{n+1-L(j)}.
\end{align*}
\end{itemize}
As above, we re-indexed the last sum using Lemma \ref{L:props-of-L-and-kappa}.
By Proposition \ref{P:Finding-effective-coefficients} we have exhausted all indices $(\beta_1,\beta_2)$ corresponding to non-zero coefficients in the sum defining $P_{m,n}(s,t)$ meaning the proof is now complete.
\end{proof}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\subsection{Palindromic polynomials}\label{SS:palindromic-polys}

In this section we restrict the numerator polynomial of the Bergman kernel to the line $\{s = t\}$.
As the function $s \mapsto P_{m,n}(s,s)$ has a root of order $2n-1$ at $s=0$ (this is shown below), we are led to define a new polynomial
\begin{align}\label{E:def-of-Qmn}
Q_{m,n}(s) := s^{1-2n} P_{m,n}(s,s).
\end{align}
Recalling the discussion in Section \ref{SSS:palidromic-polys}, we observe that $Q_{m,n}$ has roots in the punctured unit disc $\D^* \subset \C$ if and only if $P_{m,n}$ has roots in the punctured disc $\Delta^* = \{(s,s): s \in \D^* \} \subset \h_{m/n}$.

Our main result this section is that $Q_{m,n}$ is a palindromic polynomial of degree $2m-2n$.
Recall that a degree $2k$ polynomial 
\[
f(s) = \sum_{j=0}^{2k} \alpha_j s^j
\]
is called palindromic when its coefficients satisfy $\alpha_j = \alpha_{2k-j}$ for $0\le j \le k$.
%Since the coefficients $\alpha_{2k} = \alpha_0 \neq 0$, such a polynomial is non-vanishing at the origin.

With given $f$ as above, it is palindromic if and only if it satisfies
\begin{equation}\label{E:Palindromic-condition}
f(s) = s^{2k} f(s^{-1}).
\end{equation}

Equation \eqref{E:Palindromic-condition} shows that $s \in \C\backslash \{0\}$ is a root of the palindromic polynomial $f$ if and only if $s^{-1}$ is also a root.
This immediately implies the following:
\begin{proposition}\label{P:Palindromic-roots}
Suppose $f$ is a palindromic polynomial of degree $2k$.
Then either 
\begin{enumerate}
\item $f$ has all its roots on the unit circle, or 
\item $f$ has an even number of roots (counting multiplicities) off the unit circle, exactly half of which lie inside $\D^*$.
\end{enumerate}
In particular, if $f$ is non-vanishing on the unit circle, then it has exactly $k$ roots inside $\D^*$.
\end{proposition}

Following \eqref{E:Pmn-as-sum-of-5-terms}, we express $Q_{m,n}$ as the sum
\begin{equation}\label{E:Qmn-as-sum-of-5-terms}
Q_{m,n}(s) = q_0(s) + q_1(s) + q_2(s) + q_3(s) + q_4(s),
\end{equation}
where each 
\[
q_j(s) := s^{1-2n} p_j(s,s).
\]
The formulas for the $p_j$ given in Theorem \ref{T:Bergman-kernel-formula} then yield
{\allowdisplaybreaks
\begin{subequations}\label{E:def-of-qjs}
\begin{align}
&q_0(s) = m^2 s^{m-n}, \label{E:def-of-q0} \\
&q_1(s) = \sum_{j=0}^{m-2} (j+1)(\kappa(j)+1) s^{j-L(j)+1}, \label{E:def-of-q1} \\
&q_2(s) = \sum_{j=0}^{m-2} (j+1)(m-\kappa(j)-1) s^{j-L(j)+2}, \label{E:def-of-q2} \\
&q_3(s) = \sum_{j=0}^{m-2} (m-j-1)(\kappa(j)+1) s^{j-L(j)+m-n+1}, \label{E:def-of-q3} \\
&q_4(s) = \sum_{j=0}^{m-2} (m-j-1)(m-\kappa(j)-1) s^{j-L(j)+m-n+2}. \label{E:def-of-q4} 
\end{align}
\end{subequations}
}

The $q_j$ satisfy interesting symmetries:
\begin{proposition}\label{P:Qmn-palindromic}
The $q_j$ are polynomials with positive coefficients, satisfying
\begin{subequations}\label{E:qj-functional-ids}
\begin{align}
&s^{2m-2n}q_0(s^{-1}) = q_0(s), \label{E:q0-q0}\\
&s^{2m-2n}q_1(s^{-1}) = q_4(s), \label{E:q1-q4}\\
&s^{2m-2n}q_2(s^{-1}) = q_3(s). \label{E:q2-q3}
\end{align}
Consequently, $Q_{m,n}$ is a palindromic polynomial of degree $2m-2n$ with positive coefficients.
\end{subequations}
\end{proposition}
\begin{proof}
Each coefficient inside the sums \eqref{E:def-of-q1}-\eqref{E:def-of-q4} is seen to be positive by recalling Proposition \ref{P:Finding-effective-coefficients} parts $(2a)$ and $(3a)$, that $\kappa(j)$ assumes each value in $\{0,1,\cdots,m-2\}$ exactly once as $j$ ranges in $\{0,1,\cdots,m-2\}$. (Recall that in \eqref{def-of-kappaj} we simplified notation by writing $\kappa(j)$ for what was originally defined by $\kappa(j,\beta_2(j))$).

Next we show that each $q_j$ is a polynomial, i.e., that only non-negative powers of $s$ appear.
Clearly $q_0$ is a polynomial since we assume $m>n$.
Now notice that in the sums defining $q_1,q_2,q_3,q_4$ above, the exponent on $q_1$ in \eqref{E:def-of-q1} is smaller than the other exponents.
We write this exponent as
\begin{equation}\label{E:def-of-E(j)}
E(j) := j-L(j)+1.
\end{equation}
We now show this is non-negative for all $j = 0, 1, \cdots, m-2$.

First, we claim $E(j)$ is a non-decreasing function on the integers, i.e., $E(j+1) - E(j) \ge 0$. 
To see this, observe
\begin{align*}
E(j+1) - E(j) = 1 - \left( \left\lceil \frac{1+n(j+2)}{m} \right\rceil - \left\lceil \frac{1+n(j+1)}{m} \right\rceil \right)
\end{align*}
Looking at the terms inside the ceiling brackets, we have
\begin{align*}
\frac{1+n(j+2)}{m} - \frac{1+n(j+1)}{m} = \frac{n}{m} < 1,
\end{align*}
meaning that for any $j$, the difference in parentheses above takes one of two possible values:
\begin{align*}
\left\lceil \frac{1+n(j+2)}{m} \right\rceil - \left\lceil \frac{1+n(j+1)}{m} \right\rceil \in \{0,1\}.
\end{align*}
This means that for each $j$, $E(j+1) - E(j) \ge 0$.
It is thus sufficient to check the value at $j=0$, the smallest $j$-value appearing in the sum:
\begin{align}
E(0) = 1 - L(0) = 1 - \left\lceil \frac{1+n}{m} \right\rceil = 0,
\end{align}
since $0 < 1+n \le m$.
This shows that each $q_1$ is a polynomial with a non-zero constant term; consequently $q_2,q_3,q_4$ are also polynomials.

Now we verify the identities in \eqref{E:qj-functional-ids}.
First,
\begin{equation*}
s^{2m-2n}q_0(s^{-1}) = s^{2m-2n} m^2 s^{n-m} = m^2 s^{m-n} = q_0(s),
\end{equation*}
confirming \eqref{E:q0-q0}.
Next consider
\begin{align}
s^{2m-2n}q_1(s^{-1}) = \sum_{j=0}^{m-2} (j+1)(\kappa(j)+1) s^{2m-2n+L(j)-j-1}, \label{E:q1-id-step1}
\end{align}
and re-index the sum by setting $j = m-2-i$. 
By Lemma \ref{L:props-of-L-and-kappa}, we have that $\kappa(m-2-i) = m-2-\kappa(i)$ and $L(m-2-i) = n + 1 - L(i)$, and so
\begin{align*}
\eqref{E:q1-id-step1} 
&= \sum_{i=0}^{m-2} (m-1-i)(\kappa(m-2-i)+1) s^{2m-2n+L(m-2-i)-m+2+i-1} \\
&= \sum_{i=0}^{m-2} (m-1-i)(m-1-\kappa(i)) s^{i-L(i)+m-n+2} = q_4(s),
\end{align*}
confirming \eqref{E:q1-q4}.
Following the same lines of reasoning, now consider
\begin{align*}
s^{2m-2n}q_2(s^{-1}) &= \sum_{j=0}^{m-2} (j+1)(m-\kappa(j)-1) s^{2m-2n+L(j)-j-2} \\
&= \sum_{i=0}^{m-2} (m-1-i)(m-\kappa(m-2-i)-1) s^{2m-2n+L(m-2-i)-m+2+i-2} \\
&= \sum_{i=0}^{m-2} (m-1-i)(\kappa(i)+1) s^{i-L(i)+m-n+1} = q_3(s),
\end{align*}
confirming \eqref{E:q2-q3}.
Finally, we show $Q_{m,n}(s)$ is palindromic of degree $2m-2n$:
\begin{align*}
s^{2m-2n}Q_{m,n}(s^{-1}) &= s^{2m-2n} \big( q_0(s^{-1}) +  q_1(s^{-1}) +  q_2(s^{-1}) +  q_3(s^{-1}) + q_4(s^{-1}) \big) \\
&= q_0(s) + q_4(s) + q_3(s) + q_2(s) + q_1(s) \\
&= Q_{m,n}(s),
\end{align*}
as \eqref{E:q1-q4} and \eqref{E:q2-q3} also imply $s^{2m-2n}q_4(s^{-1}) = q_1(s)$ and $s^{2m-2n}q_3(s^{-1}) = q_2(s)$.
\end{proof}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\section{The Lu Qi-Keng problem}\label{S:zeros-of-the-Bergman-kernel}

We use the work of the previous section to prove the existence of zeros of Bergman kernels on $\h_\gamma$ for infinitely many rationals $\gamma = \frac{m}{n} \in (1,2)$.
%We use the fact that zeros of $Q_{m,n}$ inside $\D^*$ correspond to zeros of $P_{m,n}$ restricted to $\Delta^* = \{(s,s): s\in\D^* \} \subset \h_\gamma$.


\subsection{Case $m-n=1$}\label{SS:k=1}
$\big(\frac{m}{n} = \frac{2}{1}, \frac{3}{2}, \frac{4}{3}, \frac{5}{4}, \frac{6}{5}, \frac{7}{6} \cdots \big)$.
 
\begin{proposition}\label{P:k=1-form-of-poly}
Let us write $(m,n) = (\ell+1, \ell)$, $\ell \in \Z^+$. 
The polynomial $Q_{\ell+1,\ell}$ takes the form
\begin{align*}
Q_{\ell+1,\ell}(s) &= \alpha_0(\ell) s^2 + \alpha_1(\ell) s + \alpha_0(\ell),
\end{align*}
where
\begin{align*}
\alpha_0(\ell) &= \tfrac{1}{6}\ell(\ell+1)(\ell+2), \\
\alpha_1(\ell) &= \tfrac{1}{3}(\ell+1)(2\ell^2+4\ell+3).
\end{align*}
\end{proposition}
\begin{proof}
For $(m,n) = (\ell+1,\ell)$ let us first calculate the quantities $L(j)$ and $\kappa(j)$ from \eqref{E:def-of-mn-ceiling-func-kappaj-intro}.
For the range of $j$ appearing in the sums defining $q_1,q_2,q_3,q_4$ $(0 \le j \le m-2 = \ell - 1)$,
\begin{align}\label{E:L(j)-k=1}
L(j) = \left\lceil \frac{1+\ell(j+1)}{\ell+1} \right\rceil 
%= j+1 + \left\lceil \frac{-j}{\ell+1} \right\rceil 
= j+1.
\end{align}
A calculation then shows $\kappa(j) = \ell - j - 1$ and thus equations \eqref{E:def-of-q0}--\eqref{E:def-of-q4} give
\begin{align*}
q_0(s) = (\ell+1)^2 s, \qquad q_1(s) = \sum_{j=0}^{\ell-1} (j+1)(\ell-j), \qquad q_2(s) = s \sum_{j=0}^{\ell-1} (j+1)^2
\end{align*}
\begin{align*}
q_3(s) = s \sum_{j=0}^{\ell-1} (\ell-j)^2, \qquad q_4(s) = s^{2} \sum_{j=0}^{\ell-1} (\ell-j)(j+1).
\end{align*}
Now add these polynomials:
\begin{align*}
Q_{\ell+1,\ell}(s,s) 
&= q_0(s) + q_1(s) + q_2(s) + q_3(s) + q_4(s) \notag \\
&= (1 + s^{2}) \left( \sum_{j=0}^{\ell-1} (j+1)(\ell-j) \right) + s\left( 2\sum_{j=0}^{\ell-1} (j+1)^2 + (\ell+1)^2 \right) \notag \\
&= (1 + s^{2}) \alpha_0(\ell) + s\alpha_1(\ell),
\end{align*}
where the formulas for $\alpha_0(\ell)$ and $\alpha_1(\ell)$ as cubics in $\ell$ follow from well known sums of powers formulas (see, e.g., \cite{GrKuPa94}).
\end{proof}

\begin{proposition}\label{P:k=1-unique-root}
$Q_{\ell+1,\ell}(s)$ has a unique root inside the punctured unit disc $\D^*$.
\end{proposition}
\begin{proof} 
Let us factor
\begin{align}
Q_{\ell+1,\ell}(s) 
&= \alpha_0(\ell) s^2 + \alpha_1(\ell) s + \alpha_0(\ell) \notag \\
&= \alpha_0(\ell) \big(s-r_1(\ell)\big) \big(s-r_2(\ell)\big), \label{E:Q-quadratic-factored}
\end{align}
where $r_1(\ell)$ and $r_2(\ell)$ denote the two roots.
Observe that
\begin{equation}
\alpha_1(\ell) = \tfrac{1}{3}(\ell+1)(2\ell^2+4\ell+3)
>
\tfrac{1}{3}(\ell+1)(\ell^2+2\ell) = 2\alpha_0(\ell),
\end{equation}
which shows the roots $r_1(\ell)$ and $r_2(\ell)$ are real-valued and distinct.
Also observe from \eqref{E:Q-quadratic-factored} that $r_1(\ell) \cdot r_2(\ell) = 1$, which implies the roots have the same sign.
Thus, one of them (say $r_1(s)$) lies inside $\D^*$ while $r_2(\ell)$ lies outside $\ol{\D}$.
(It is clear that the roots must be negative, as the coefficient functions $\alpha_0(\ell)$ and $\alpha_1(\ell)$ are always positive.)
\end{proof}

\begin{remark}\label{R:k=1_Limits-of-roots}
We can find the above roots explicitly.
The quadratic formula shows
\begin{equation*}
r_1(\ell) = -\left( \frac{2\ell^2+4\ell+3}{\ell^2+2\ell} \right) + \sqrt{ \left(\frac{2\ell^2+4\ell+3}{\ell^2+2\ell} \right)^2 - 1 }.
\end{equation*}
Now observe that as $\ell \to \infty$, this root remains inside the punctured disc:
\[
\lim_{\ell \to \infty} r_1(\ell) = -2 + \sqrt{3} \in \D^*.
\]
\end{remark}

\begin{corollary}\label{C:LQK-k=1}
%Let $\ell \in \Z^+$.
The Bergman kernel of $\h_{\frac{\ell+1}{\ell}}$ has zeros inside $\h_{\frac{\ell+1}{\ell}} \times \h_{\frac{\ell+1}{\ell}}$ for every $\ell \in \Z^+$.
\end{corollary}
\begin{proof}
When $\Omega$ is Reinhardt, Corollary \ref{C:LQK-Reinhardt-shadow} shows the Bergman kernel $K_{\Omega}(z,w)$ has zeros inside $\Omega \times \Omega$ if and only if the corresponding holomorphic factor $k_{\Omega}(s,t)$ has zeros on the domain $\Omega^{(2)}$.
But the domains satisfy $\h_\gamma^{(2)} = \h_\gamma$ (Proposition \ref{P:gen-Hartogs-are-their-own-Reinhardt-powers}), and \eqref{E:Bergman-kernel-formula-intro} gives
\begin{equation*}
k_{\frac{\ell+1}{\ell}}(s,t) = \frac{1}{\pi^2(\ell+1)} \cdot \frac{P_{\ell+1,\ell}(s,t)}{(1-s^2)^2(t^{\ell}-s^{\ell+1})^2},
\end{equation*}
where the denominator is non-vanishing for $(s,t) \in \h_{\frac{\ell+1}{\ell}}$.
Proposition \ref{P:k=1-unique-root} shows that $Q_{\ell+1,\ell}$ has a root in $\D^*$, and \eqref{E:def-of-Qmn} shows that this root corresponds to a root of $P_{\ell+1,\ell}$ restricted to the punctured disc $\Delta^* = \{(s,s)\in\C^2 : s \in \D^* \} \subset \h_{\frac{\ell+1}{\ell}}$.
\end{proof}

%%%%%%%%%%%%%%%%%%%%%%%%%%%

\subsection{Case $m-n=2$}\label{SS:k=2} $\big(\frac{m}{n} = \frac{3}{1}, \frac{5}{3}, \frac{7}{5}, \frac{9}{5}, \frac{11}{9}, \frac{13}{11}, \cdots \big)$.

\begin{proposition}\label{P:k=2-form-of-poly}
Let $(m,n) = (2\ell+1, 2\ell-1)$, $\ell \in \Z^+$. 
The polynomial $Q_{2\ell+1,2\ell-1}$ takes the form
\begin{align*}
Q_{2\ell+1,2\ell-1}(s) &= \alpha_0(\ell) (1+ s^4) + \alpha_1(\ell) (s+s^3) + \alpha_2(\ell) s^2,
\end{align*}
where
\begin{align*}
\alpha_0(\ell) &= \tfrac{1}{6}\ell(\ell+1)(2\ell+1), \\
\alpha_1(\ell) &= \ell(\ell+1)(2\ell+1),\\
\alpha_2(\ell) &= \tfrac{1}{3}(2\ell+1)(5\ell^2+5\ell+3).
\end{align*}
%%%
\end{proposition}
\begin{proof}
Again we compute $L(j)$ and $\kappa(j)$ from \eqref{E:def-of-mn-ceiling-func-kappaj-intro}, and now the relevant $j$ values satisfy $0 \le j \le m-2 = 2\ell - 1$.
\begin{align}
L(j) 
= \left\lceil \frac{1+(2\ell-1)(j+1)}{2\ell+1} \right\rceil
&= j+1 - \left\lfloor \frac{2(j+1)-1}{2\ell+1} \right\rfloor \notag \\
&=
\begin{cases} 
j + 1, & \quad  0 \le j \le \ell - 1,  \\ 
j, &  \quad \ell \le j \le 2\ell - 1.
\end{cases} \label{E:L(j)_k=2}
\end{align}
A short calculation shows
\begin{equation}\label{E:kappa(j)_k=2}
\kappa(j) =
\begin{cases} 
2\ell - 2 - 2j, & \quad  0 \le j \le \ell - 1,  \\ 
4\ell - 1 - 2j, &  \quad \ell \le j \le 2\ell - 1.
\end{cases} 
\end{equation}

Equations \eqref{E:def-of-q0}--\eqref{E:def-of-q2} now give
{
\allowdisplaybreaks
\begin{align}
q_0(s) 
&= (2\ell+1)^2 s^2, \\
q_1(s)
&= \sum_{j=0}^{2\ell-1} (j+1)(\kappa(j)+1) s^{j-L(j)+1} \notag \\
&= \sum_{j=0}^{\ell-1} (j+1)(2\ell-1-2j) s^{j - (j+1) + 1} + \sum_{j=\ell}^{2\ell-1} (j+1)(4\ell-2j) s^{j - j + 1} \notag \\
&= \left( \frac{\ell(\ell+1)(2\ell+1)}{6} \right) + \left(\frac{2 \ell(\ell+1)(2\ell+1)}{3} \right) s, \label{E:q1_k=2} \\
q_2(s) 
&= \sum_{j=0}^{2\ell-1} (j+1)(2\ell -\kappa(j)) s^{j-L(j)+2} \notag \\
&= 2s \sum_{j=0}^{\ell-1} (j+1)^2 + s^2 \sum_{j=\ell}^{2\ell-1} (j+1)(2j+1-2\ell) \notag \\
&= \left(\frac{\ell(\ell+1)(2\ell+1)}{3}\right) s + \left( \frac{\ell(2\ell+1)(5\ell-1)}{6} \right) s^2. \notag
\end{align}
}
By Proposition \ref{P:Qmn-palindromic} we see
\begin{align}
q_3(s) &= \left(\frac{\ell(\ell+1)(2\ell+1)}{3}\right) s^3 + \left( \frac{\ell(2\ell+1)(5\ell-1)}{6} \right) s^2, \notag \\
q_4(s) &= \left( \frac{\ell(\ell+1)(2\ell+1)}{6} \right) s^4 + \left(\frac{2 \ell(\ell+1)(2\ell+1)}{3} \right) s^3. \notag
\end{align}
Now add $q_0+q_1+q_2+q_3+q_4$ to confirm $Q_{2\ell+1,2\ell-1}(s)$ takes the form given in the statement of the theorem.
\end{proof}

\begin{proposition}\label{P:k=1-unique-root}
$Q_{2\ell+1,2\ell-1}(s)$ has exactly two roots inside the punctured unit disc $\D^*$.
\end{proposition}

\begin{proof}
To locate the roots of $Q_{2\ell+1,2\ell-1}(s)$, we start with the formula in Proposition \ref{P:k=2-form-of-poly} and factor out the coefficient of $(1+s^4)$:
\begin{align}
Q_{2\ell+1,2\ell-1}(s) 
&= \frac{\ell(\ell+1)(2\ell+1)}{6} \left( 1 + 6s + \left(10 + \frac{6}{\ell^2+\ell} \right) s^2 + 6s^3 + s^4 \right) \notag \\
&:= \frac{\ell(\ell+1)(2\ell+1)}{6} s^2 R_\ell(s), \label{E:Q_k=2_step1}
\end{align}
where
\begin{equation}\label{E:def-R_l(s)}
R_\ell(s) =  s^{-2} + 6 s^{-1} + \left(10 + \frac{6}{\ell^2+\ell} \right) + 6s + s^2.
\end{equation}

The roots of $Q_{2\ell+1,2\ell-1}$ are exactly the roots of $R_\ell(s)$. 
%And since $Q_{2\ell+1,2\ell-1}$ is palindromic, its roots are symmetric with respect to the unit circle, 
%i.e., they lie on the circle or come in pairs of roots reflected across the circle.
We now show that $R_\ell(s)$ is non-vanishing on the unit circle.

Suppose the contrary, that $s = e^{i\theta}$ is a root for some $\theta \in \R$. 
Then
\begin{equation}
R_\ell(e^{i\theta}) = 4\cos^2\theta + 12 \cos\theta  + \left(8 + \frac{6}{\ell^2+\ell} \right) = 0,
\end{equation}
which is equivalent to saying there exists $x = \cos\theta \in [-1,1]$ such that
\begin{equation}\label{E:}
G_\ell(x) := 4x^2 + 12 x  + \beta(\ell) = 0, \qquad \mathrm{where} \qquad \beta(\ell) =  \left(8 + \frac{6}{\ell^2+\ell} \right).
\end{equation}
But the roots of $G_\ell(s)$ can be calculated explicitly:
\begin{equation}
r_1(\ell) = -\frac{3}{2} + \frac{1}{2}\sqrt{9-\beta(\ell)}, \qquad 
r_2(\ell) = -\frac{3}{2} - \frac{1}{2}\sqrt{9-\beta(\ell)}.
\end{equation}
Note that $\beta$ is a decreasing function with $\beta(1) = 11$, $\beta(2)=9$ and $\lim_{\ell \to \infty} \beta(\ell) = 8$.

When $\ell = 1$, the roots are the complex numbers
\begin{equation*}
r_1(1) = -\frac{3}{2} + i\frac{\sqrt{2}}{2}, \qquad r_2(1) = -\frac{3}{2} - i\frac{\sqrt{2}}{2},
\end{equation*}
which are clearly not in the interval $[-1,1]$.
For $\ell \ge 2$, the roots are real numbers given by
\begin{equation*}
r_1(\ell) \in \left[ -\frac{3}{2},-1 \right), \qquad r_2(\ell) \in \left(-2,-\frac{3}{2} \right].
\end{equation*}
In particular, $G_\ell(x)$ has no roots in the interval $[-1,1]$, which means that $R_\ell(s)$, and consequently $Q_{2\ell+1,2\ell-1}(s)$, are non-vanishing on the unit circle.
Since $Q_{2\ell+1,2\ell-1}(s)$ is palindromic, Proposition \ref{P:Palindromic-roots} shows that exactly two of its roots lie inside $\D^*$.
\end{proof}

\begin{remark}\label{R:k=2_Limits-of-roots}
As in the $m-n=1$ case in Remark \ref{R:k=1_Limits-of-roots}, we can describe the limit behavior of the roots of $Q_{2\ell+1,2\ell-1}(s)$.
Note that by \eqref{E:Q_k=2_step1}, $s^2 R_\ell(s)$ is a monic polynomial sharing the same roots as $Q_{2\ell+1,2\ell-1}(s)$.
Now observe
\begin{align*}
\lim_{\ell \to \infty} s^2R_\ell(s) &= 1 + 6s + 10s^2 + 6s^3 + 1 = (s+1)^2(s^2+4s+1),
\end{align*}
which has roots at $\{-1, -1, -2+\sqrt{3}, -2-\sqrt{3}\}$.
Thus one interior root moves to the unit circle ($s=-1$) as $\ell \to \infty$, but the other interior root stays inside $\D^*$ and approaches $s = -2 + \sqrt{3}$. 
Recall that this was the root accumulation point when $m-n=1$.
\end{remark}

\begin{corollary}\label{C:LQK-k=2}
The Bergman kernel of $\h_{\frac{2\ell+1}{2\ell-1}}$ has zeros inside $\h_{\frac{2\ell+1}{2\ell-1}} \times \h_{\frac{2\ell+1}{2\ell-1}}$.
\end{corollary}
\begin{proof}
Same proof as Corollary \ref{C:LQK-k=1} with trivial modifications.
\end{proof}

\subsection{Case $m-n \ge 3$}\label{SS:k_ge_3}

We now let $k \ge 3$, and briefly consider the setting of relatively prime pairs $m,n \in \Z^+$ with $m-n=k$.

Since $Q_{m,n}$ is a palindromic polynomial of degree $2k$, analysis becomes considerably harder as $k$ grows. 
However, there is ample evidence to suggest that {\em every $Q_{m,n}$ is non-vanishing on the unit circle}.

The authors have successfully carried out longer analogs of the argument given in Proposition \ref{P:k=1-unique-root} to prove the non-vanishing of $Q_{m,n}$ on the unit circle when $k=3,4,6$, which requires analysis of families of polynomials of degree $6, 8, 12$, respectively.
Interestingly, the (still open) $k=5$ case is more difficult because (letting $\varphi$ denote Euler's totient function; see \cite{GrKuPa94}) $\varphi(5) = 4$, while $\varphi(3) = 2$, $\varphi(4) = 2$,  $\varphi(6) = 2$.
The higher the value of $\varphi(k)$, the more separate cases must be considered.

Though the problem for a general pair of relatively prime integers $m > n$ is still wide open, the authors have been able to prove that, for each $k \in \Z^+$, there are an infinite number of (explicitly given) pairs $m,n$ with $m-n=k$ such that $Q_{m,n}$ is non-vanishing on the unit circle.
The argument requires detailed analysis of the polynomial coefficients considered in tandem with conditions which bound the number of real roots of cosine polynomials with real coefficients.
While this material is beyond the scope of the present article, it is the subject of a new paper currently in preparation.
In addition, the authors have used Mathematica to analyze an abundance of $Q_{m,n}$ polynomials not covered by these theoretical considerations and {\em have never observed a single one with a root on the unit circle}.

\begin{conjecture}\label{Conj:non-vanishing}
Let $m > n$ be positive integers with $\gcd(m,n)=1$.
The degree $2m-2n$ palindromic polynomial $Q_{m,n}$ is non-vanishing on the unit circle.
Consequently, $m-n$ of its roots lie inside $\D^*$.
\end{conjecture}

A proof of this conjecture would be somewhat remarkable as palindromic polynomials are generically expected to have roots on the unit circle.
Indeed, an elegant and counter-intuitive result of Dunnage \cite{Dunn1966} says that, given a single randomly generated palindromic polynomial with real coefficients, the expected value of the percentage of its zeros lying on the unit circle is $\frac{1}{\sqrt{3}}$, or about 57.7\%.

If Conjecture \ref{Conj:non-vanishing} can be proved, it would immediately imply that the Bergman kernel of $\h_{m/n}$ has zeros in $\h_{m/n} \times \h_{m/n}$ for every positive rational number $\frac{m}{n} \neq 1$.


%%%%%%%%%%%

\begin{comment}
\subsection{Future directions}\label{SS:k>=3}

The results above address $m-n=1$ and $m-n=2$.
If we consider the polynomials $Q_{m,n}$ with $m-n = k \ge 3$, the analysis becomes considerably harder.
In each cases there was a single family of polynomials, given respectively by
\begin{equation}\label{E:polynomials_k=1AND2}
\{Q_{\ell+1,\ell}: \ell \in \Z^+ \}
\qquad \mathrm{and} \qquad
\{Q_{2\ell+1,2\ell-1}: \ell \in \Z^+ \}.
\end{equation}
There are $\varphi(k)$ (Euler's totient function; see \cite{GrKuPa94}) families of degree $2k$ polynomials and they are indexed as follows: let $m,n$ be relatively prime positive integers with $m-n=k$.
There exists a unique pair of integers $\ell$ and $r$ with $\ell >0$ and $1 \le r \le k$, with $\gcd(k,r)=1$, such that $m = k \ell + r$ and $n = k (\ell-1) + r$.
%This decomposition lets us eliminate the floor/ceiling functions in our general formulas.
For each pair of integers $k$ and $r$ satisfying the above conditions, there is a corresponding family of polynomials
\begin{align*}
\{Q_{k\ell+r,k\ell-k+r}: \ell \in \Z^+ \}.
\end{align*}

We illustrate this when $k=3$, where there are $2$ distinct polynomial families: 
\begin{align*}
r=1, \qquad &\big(\tfrac{m}{n} = \tfrac{4}{1}, \tfrac{7}{4}, \tfrac{10}{7}, \tfrac{13}{10}, \tfrac{16}{13}, \tfrac{19}{16}, \dots\big), \\
r=2, \qquad &\big(\tfrac{m}{n} = \tfrac{5}{2}, \tfrac{8}{5}, \tfrac{11}{8}, \tfrac{14}{11}, \tfrac{17}{14}, \tfrac{20}{17}, \dots\big).
\end{align*}

$r=1$ (i.e., $\frac{m}{n} = \frac{4}{1}, \frac{7}{4}, \frac{10}{7}, \frac{13}{10}, \frac{16}{13}, \frac{19}{16}, \dots$) and $r=2$ (i.e., $\frac{m}{n} = \frac{5}{2}, \frac{8}{5}, \frac{11}{8}, \frac{14}{11}, \frac{17}{14}, \frac{20}{17}, \dots$).
which are degree 6 polynomials:
\begin{align*}
Q_{3\ell+1,3\ell-2}(s) &=  \alpha_0^1(\ell)(1+s^6) + \alpha_1^1(\ell)(s+s^5) + \alpha_2^1(\ell)(s^2+s^4) + \alpha_3^1(\ell)s^3, \\
Q_{3\ell+2,3\ell-1}(s) &=  \alpha_0^2(\ell)(1+s^6) + \alpha_1^2(\ell)(s+s^5) + \alpha_2^2(\ell)(s^2+s^4) + \alpha_3^2(\ell)s^3,
\end{align*}
with coefficients are given by
\begin{alignat*}{2}
\alpha_0^1(\ell) &= \tfrac{1}{2} \ell^2(\ell+1), 
 \qquad \qquad \qquad \qquad && \alpha_0^2(\ell) = \tfrac{1}{2} \ell(\ell+1)^2, \\
\alpha_1^1(\ell) &= \ell(3\ell^2+3\ell+1), && \alpha_1^2(\ell) = (\ell+1)(3\ell^2+3\ell+1), \\
\alpha_2^1(\ell) &= \ell(6\ell^2+6\ell+1), && \alpha_2^2(\ell) = (\ell+1)(6\ell^2+6\ell+1), \\
\alpha_3^1(\ell) &= 8\ell^3+8\ell^2+5\ell+1, && \alpha_3^2(\ell) = 8\ell^3 + 16 \ell^2 + 13\ell + 4.
\end{alignat*}

For both of the above polynomials families, an argument analogous to the proof of Proposition \ref{P:k=1-unique-root} can show that for $\ell \in \Z^+$, both $Q_{3\ell+1,3\ell-2}(s)$ and $Q_{3\ell+2,3\ell-1}(s)$ are non vanishing on the unit circle and therefore have $3$ roots inside $\D^*$.

The polynomials in each respective family share the same degree, and each coefficient within a family is given by a cubic polynomial in $\ell$ (recall Propositions \ref{P:k=1-form-of-poly} and \ref{P:k=2-form-of-poly}).

Many additional examples in special cases suggest the following

\begin{conjecture}
Let $k \in \Z^+$ and $1 \le r \le k$ with $\gcd(r,k)=1$.
The polynomial $Q_{k\ell+r,k\ell-k+r}(s)$ is non-vanishing on the unit circle, meaning that $k$ of its roots lie inside $\D^*$.
\end{conjecture}

This conjecture would then immediately imply that the Bergman kernel of $\h_{m/n}$ vanishes on $\h_{m/n} \times \h_{m/n}$ for every positive rational number.

\end{comment}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\bibliographystyle{acm}
\bibliography{EdhMat24}
\end{document}
\begin{thebibliography}{10}

\bibitem{Almugh23}
{\sc Almughrabi, R.}
\newblock Bergman kernels of two dimensional monomial polyhedra.
\newblock {\em Complex Anal. Oper. Theory 17}, 6 (2023), Paper No. 103, 21.

\bibitem{belltransactions}
{\sc Bell, S.~R.}
\newblock The {B}ergman kernel function and proper holomorphic mappings.
\newblock {\em Trans. Amer. Math. Soc. 270}, 2 (1982), 685--691.

\bibitem{bcem}
{\sc Bender, C., Chakrabarti, D., Edholm, L., and Mainkar, M.}
\newblock {$L^p$}-regularity of the {B}ergman projection on quotient domains.
\newblock {\em Canad. J. Math. 74}, 3 (2022), 732--772.

\bibitem{Boas98}
{\sc Boas, H.~P.}
\newblock Lu {Q}i-{K}eng's problem.
\newblock vol.~37. 2000, pp.~253--267.
\newblock Several complex variables (Seoul, 1998).

\bibitem{BFS99}
{\sc Boas, H.~P., Fu, S., and Straube, E.~J.}
\newblock The {B}ergman kernel function: explicit formulas and zeroes.
\newblock {\em Proc. Amer. Math. Soc. 127}, 3 (1999), 805--811.

\bibitem{ChakEdh24}
{\sc Chakrabarti, D., and Edholm, L.~D.}
\newblock Projections onto {$L^p$}-{B}ergman spaces of {R}einhardt domains.
\newblock {\em Adv. Math. 451\/} (2024), Paper No. 109790, 46.

\bibitem{ChEdMc19}
{\sc Chakrabarti, D., Edholm, L.~D., and McNeal, J.~D.}
\newblock Duality and approximation of {B}ergman spaces.
\newblock {\em Adv. Math. 341\/} (2019), 616--656.

\bibitem{CKMM20}
{\sc Chakrabarti, D., Konkel, A., Mainkar, M., and Miller, E.}
\newblock Bergman kernels of elementary {R}einhardt domains.
\newblock {\em Pacific J. Math. 306}, 1 (2020), 67--93.

\bibitem{chakzeytuncu}
{\sc Chakrabarti, D., and Zeytuncu, Y.~E.}
\newblock {$L^p$} mapping properties of the {B}ergman projection on the {H}artogs triangle.
\newblock {\em Proc. Amer. Math. Soc. 144}, 4 (2016), 1643--1653.

\bibitem{Dunn1966}
{\sc Dunnage, J. E.~A.}
\newblock The number of real zeros of a random trigonometric polynomial.
\newblock {\em Proc. London Math. Soc. (3) 16\/} (1966), 53--84.

\bibitem{Edh-Thesis}
{\sc Edholm, L.~D.}
\newblock {\em The {B}ergman kernel of fat {H}artogs triangles}.
\newblock ProQuest LLC, Ann Arbor, MI, 2016.
\newblock Thesis (Ph.D.)--The Ohio State University.

\bibitem{Edh16}
{\sc Edholm, L.~D.}
\newblock {B}ergman theory of certain generalized {H}artogs triangles.
\newblock {\em Pacific J. Math. 284}, 2 (2016), 327--342.

\bibitem{EdhMcN16}
{\sc Edholm, L.~D., and McNeal, J.~D.}
\newblock The {B}ergman projection on fat {H}artogs triangles: ${L}^p$ boundedness.
\newblock {\em Proc. Amer. Math. Soc. 144}, 5 (2016), 2185--2196.

\bibitem{EdhMcN16b}
{\sc Edholm, L.~D., and McNeal, J.~D.}
\newblock Bergman subspaces and subkernels: degenerate ${L}^p$ mapping and zeroes.
\newblock {\em J. Geom. Anal. 27}, 4 (2017), 2658--2683.

\bibitem{EdhMcN20}
{\sc Edholm, L.~D., and McNeal, J.~D.}
\newblock Sobolev mapping of some holomorphic projections.
\newblock {\em J. Geom. Anal. 30}, 2 (2020), 1293--1311.

\bibitem{EdiZwo05}
{\sc Edigarian, A., and Zwonek, W.}
\newblock Geometry of the symmetrized polydisc.
\newblock {\em Arch. Math. (Basel) 84}, 4 (2005), 364--374.

\bibitem{GhoZwo23}
{\sc Ghosh, G., and Zwonek, W.}
\newblock $2$-proper holomorphic images of classical cartan domains, 2023.

\bibitem{GrKuPa94}
{\sc Graham, R.~L., Knuth, D.~E., and Patashnik, O.}
\newblock {\em Concrete mathematics}, second~ed.
\newblock Addison-Wesley Publishing Company, Reading, MA, 1994.
\newblock A foundation for computer science.

\bibitem{JarPflBook08}
{\sc Jarnicki, M., and Pflug, P.}
\newblock {\em First steps in several complex variables: {R}einhardt domains}.
\newblock EMS Textbooks in Mathematics. European Mathematical Society (EMS), Z\"urich, 2008.

\bibitem{Krantz_scv_book}
{\sc Krantz, S.~G.}
\newblock {\em Function Theory of Several Complex Variables, 2nd Ed.}
\newblock Wadsworth \& Brooks/Cole Mathematics Series. Wadsworth \& Brooks/Cole, 1992.

\bibitem{Kra06}
{\sc Krantz, S.~G.}
\newblock A new proof and a generalization of {R}amadanov's theorem.
\newblock {\em Complex Var. Elliptic Equ. 51}, 12 (2006), 1125--1128.

\bibitem{LQK-66}
{\sc Lu, Q.-k.}
\newblock On {K}aehler manifolds with constant curvature.
\newblock {\em Acta Math. Sinica 16\/}, 269--281.

\bibitem{NikZwo06}
{\sc Nikolov, N., and Zwonek, W.~o.}
\newblock The {B}ergman kernel of the symmetrized polydisc in higher dimensions has zeros.
\newblock {\em Arch. Math. (Basel) 87}, 5 (2006), 412--416.

\bibitem{Rudin-PolydiscBook}
{\sc Rudin, W.}
\newblock {\em Function theory in polydiscs}.
\newblock W. A. Benjamin, Inc., New York-Amsterdam, 1969.

\bibitem{Rudin-BallBook}
{\sc Rudin, W.}
\newblock {\em Function theory in the unit ball of {$\Bbb C^n$}}.
\newblock Classics in Mathematics. Springer-Verlag, Berlin, 2008.
\newblock Reprint of the 1980 edition.

\bibitem{Try13}
{\sc Trybu{\l}a, M.}
\newblock Proper holomorphic mappings, {B}ell's formula, and the {L}u {Q}i-{K}eng problem on the tetrablock.
\newblock {\em Arch. Math. (Basel) 101}, 6 (2013), 549--558.

\bibitem{Zapalowski17}
{\sc Zapa{\l}owski, P.}
\newblock Proper holomorphic mappings between generalized {H}artogs triangles.
\newblock {\em Ann. Mat. Pura Appl. (4) 196}, 3 (2017), 1055--1071.

\end{thebibliography}