Search

In this paper we resolve a conjecture of Kresch and Tamvakis [Duke Math. J. 110 (2001), pp. 359–376]. Our result is the following. Theorem : For any positive integer D and any integers i,j (0\leq i,j \leq D), \; the absolute value of the following hypergeometric series is at most 1: \begin{equation*} {_4F_3} \left [ \begin {array}{c} -i, \; i+1, \; -j, \; j+1 \\ 1, \; D+2, \; -D \end{array} ; 1 \right ]. \end{equation*} To prove this theorem, we use the Biedenharn-Elliott identity, the theory of Leonard pairs, and the Perron-Frobenius theorem. [ABSTRACT FROM AUTHOR]

The Wallis power function is defined on \left (-\min \left \{ p,q\right \},\infty \right) by \begin{equation*} W_{p,q}\left (x\right) =\left (\dfrac {\Gamma \left (x+p\right) }{\Gamma \left (x+q\right) }\right) ^{1/\left (p-q\right) }\text { if }p\neq q\text { and }W_{p,p}\left (x\right) =e^{\psi \left (x+p\right) }. \end{equation*} Let p_{i},q_{i}\in \mathbb {R} with 0<\delta _{i}=p_{i}-q_{i}\leq 1, \theta _{i}=\left (1-\delta _{i}\right) /2 for i=1,2 and p_{1}+q_{1}=p_{2}+q_{2}=2\sigma +1. We prove that, if q_{1}>q_{2} then for any integer m\in \mathbb {N}, the function \begin{equation*} x\mapsto \left (-1\right) ^{m}\left [ \ln \frac {W_{p_{1},q_{1}}\left (x\right) }{W_{p_{2},q_{2}}\left (x\right) }-\sum _{k=1}^{m}\frac {a_{2k}\left (\theta _{1},\theta _{2}\right) }{\left (2k+1\right) \left (2k\right) \left (x+\sigma \right) ^{2k}}\right ] \end{equation*} is completely monotonic on \left (-\sigma,\infty \right), where \begin{equation*} a_{2k}\left (\theta _{1},\theta _{2}\right) =\frac {B_{2k+1}\left (\theta _{2}\right) }{\theta _{2}-1/2}-\frac {B_{2k+1}\left (\theta _{1}\right) }{\theta _{1}-1/2}. \end{equation*} This extends and generalizes some known results. [ABSTRACT FROM AUTHOR]

Say that (x, y, z) is a positive primitive integral Pythagorean triple if x, y, z are positive integers without common factors satisfying x^2 + y^2 = z^2. An old theorem of Berggren gives three integral invertible linear transformations whose semi-group actions on (3, 4, 5) and (4, 3, 5) generate all positive primitive Pythagorean triples in a unique manner. We establish an analogue of Berggren's theorem in the context of a one-variable polynomial ring over a field of characteristic \neq 2. As its corollaries, we obtain some structure theorems regarding the orthogonal group with respect to the Pythagorean quadratic form over the polynomial ring. [ABSTRACT FROM AUTHOR]

Let f^{(r)}(n;s,k) be the maximum number of edges of an r-uniform hypergraph on n vertices not containing a subgraph with k edges and at most s vertices. In 1973, Brown, Erdős and Sós conjectured that the limit \begin{equation*} \lim _{n\to \infty } n^{-2} f^{(3)}(n;k+2,k) \end{equation*} exists for all positive integers k\ge 2. They proved this for k=2. In 2019, Glock proved this for k=3 and determined the limit. Quite recently, Glock, Joos, Kim, Kühn, Lichev and Pikhurko proved this for k=4 and determined the limit; we combine their work with a new reduction to fully resolve the conjecture by proving that indeed the limit exists for all positive integers k\ge 2. [ABSTRACT FROM AUTHOR]

The set of degrees of maps D(M,N), where M,N are closed oriented n-manifolds, always contains 0 and the set of degrees of self-maps D(M) always contains 0 and 1. Also, if a,b\in D(M), then ab\in D(M); a set A\subseteq \mathbb {Z} so that ab\in A for each a,b\in A is called multiplicative. On the one hand, not every infinite set of integers (containing 0) is a mapping degree set (Neofytidis, Wang, and Wang [Bull. Lond. Math. Soc. 55 (2023), pp. 1700–1717]) and, on the other hand, every finite set of integers (containing 0) is the mapping degree set of some 3-manifolds (Costoya, Muñoz and Viruel [ Finite sets containing zero are mapping degree sets , arXiv: 2301.13719 ]). We show the following: Not every multiplicative set A containing 0,1 is a self-mapping degree set. For each n\in \mathbb {N} and k\geq 3, every D(M,N) for n-manifolds M and N is D(P,Q) for some (n+k)-manifolds P and Q. As a consequence of (ii) and Costoya, Muñoz and Viruel, every finite set of integers (containing 0) is the mapping degree set of some n-manifolds for all n\neq 1,2,4,5. [ABSTRACT FROM AUTHOR]

We prove that for even integer k\geq k_0, almost all of zeros of the even period polynomial associated to a newform of weight k on \Gamma _0(N) are on the circle |z|=1/\sqrt {N}. [ABSTRACT FROM AUTHOR]

We provide a simple criterion on a family of functions that implies a square function estimate on L^p for every even integer p \geq 2. This defines a new type of superorthogonality that is verified by checking a less restrictive criterion than any other type of superorthogonality that is currently known. [ABSTRACT FROM AUTHOR]

This note proves two theorems regarding Fermat-type equation x^r + y^r = dz^p where r \geq 5 is a prime. Our main result shows that, for infinitely many integers d, the previous equation has no non-trivial primitive solutions such that 2 \mid x+y or r \mid x+y, for a set of exponents p of positive density. We use the modular method with a symplectic argument to prove this result. [ABSTRACT FROM AUTHOR]