Search

We study variants of a stochastic game inspired by backgammon where players may propose to double the stake, with the game state dictated by a one-dimensional random walk. Our variants allow for different numbers of proposals and different multipliers to the stake. We determine the optimal game state for proposing and accepting, giving analytic solutions in many variants. We also introduce a 3-player generalization of the game and prove basic results about its behavior, in addition to providing a simulation.

This paper presents geometric proofs for the irrationality of square roots of select integers, extending classical approaches. Building on known geometric methods for proving the irrationality of sqrt(2), the authors explore whether similar techniques can be applied to other non-square integers. They begin by reviewing well-known results, such as Euclid's proof for the irrationality of sqrt(2), and discuss subsequent geometric extensions for sqrt(3), sqrt(5), and sqrt(6). The authors then introduce new geometric constructions, particularly using hexagons, to prove the irrationality of sqrt(6). Furthermore, the paper investigates the limitations and challenges of extending these geometric methods to triangular numbers. Through detailed geometric reasoning, the authors successfully generalize the approach to several square-free numbers and identify cases where the method breaks down. The paper concludes by inviting further exploration of geometric irrationality proofs for other integers, proposing potential avenues for future work., Comment: 11 pages, 8 figures

For a fixed elliptic curve $E$ without complex multiplication, $a_p := p+1 - \#E(\mathbb{F}_p)$ is $O(\sqrt{p})$ and $a_p/2\sqrt{p}$ converges to a semicircular distribution. Michel proved that for a one-parameter family of elliptic curves $y^2 = x^3 + A(T)x + B(T)$ with $A(T), B(T) \in \mathbb{Z}[T]$ and non-constant $j$-invariant, the second moment of $a_p(t)$ is $p^2 + O(p^{{3}/{2}})$. The size and sign of the lower order terms has applications to the distribution of zeros near the central point of Hasse-Weil $L$-functions and the Birch and Swinnerton-Dyer conjecture. S. J. Miller conjectured that the highest order term of the lower order terms of the second moment that does not average to zero is on average negative. Previous work on the conjecture has been restricted to a small set of highly nongeneric families. We create a database and a framework to quickly and systematically investigate biases in the second moment of any one-parameter family. When looking at families which have so far been beyond current theory, we find several potential violations of the conjecture for $p \leq 250,000$ and discuss new conjectures motivated by the data., Comment: 16 pages, 18 figures

Zeckendorf proved a remarkable fact that every positive integer can be written as a decomposition of non-adjacent Fibonacci numbers. Baird-Smith, Epstein, Flint, and Miller converted the process of decomposing a positive integer into its Zeckendorf decomposition into a game, using the moves of $F_i + F_{i-1} = F_{i+1}$ and $2F_i = F_{i+1} + F_{i-2}$, where $F_i$ is the $i$thFibonacci number. Players take turns applying these moves, beginning with $n$ pieces in the $F_1$ column. They showed that for $n \neq 2$, Player 2 has a winning strategy, though the proof is non-constructive, and a constructive solution is unknown. We expand on this by investigating "black hole'' variants of this game. The Black Hole Zeckendorf game on $F_m$ is played with any $n$ but solely in columns $F_i$ for $i < m$. Gameplay is similar to the original Zeckendorf game, except any piece that would be placed on $F_i$ for $i \geq m$ is locked out in a ``black hole'' and removed from play. With these constraints, we analyze the games with black holes on $F_3$ and $F_4$ and construct a solution for specific configurations, using a parity-stealing based non-constructive proof to lead to a constructive one. We also examine a pre-game in which players take turns placing down $n$ pieces in the outermost columns before the decomposition phase, and find constructive solutions for any $n$., Comment: 40 pages, 51 figures

Let ${\mathfrak{G}}\subset\mathbb{R}^{3}$ with $vol(\mathfrak{G})\sim L^{3}$. Let ${\mathscr{T}}(x)$ be a Gaussian random field $\forall~x\in\mathfrak{G}$ with expectation $\mathbf{E}[{\mathscr{T}}(x)]=0$ and correlation $\mathbf{E}[{\mathscr{T}}(x)\otimes{\mathscr{T}}(y)]=K(x,y;\lambda)$, an isotropic and regulated kernel with correlation length $\lambda$. The field has a Karhunen-Loeve spectral representation ${\mathscr{T}}(x)=\sum_{I=1}^{\infty}\mathrm{Z}^{1/2}_{I}f_{I}(x)\otimes\mathscr{Z}_{I}$, with eigenvalues $\lbrace\mathrm{Z}_{I}\rbrace$, eigenfunctions $\lbrace f_{I}(x)\rbrace $ and Gaussian random variables $\mathscr{Z}_{I}$ with $\mathbf{E}[\mathscr{Z}_{I}]=0$ and $\mathbf{E}[\mathscr{Z}_{I}\otimes\mathscr{Z}_{J}]=\delta_{IJ}$. If $\mathfrak{G}$ contains incompressible fluid of viscosity $\nu$ with velocity $u_{a}(x,t)$ that evolves via the Navier-Stokes equations with a high 'Reynolds function' $\mathsf{RE}(x,t)=\tfrac{\|u_{a}(x,t)\|L}{\nu} $ then aspects of a turbulent flow with $\mathsf{RE}(x,t)\gg \mathsf{RE}_{*}$, a critical Reynolds number, might be represented by the 'weighted' random field $\mathscr{U}_{a}(x,t)= u_{a}(x,t)+\mathrm{A}u_{a}(x,t)\big(\mathsf{RE}(x,t)-\mathsf{RE}_{*}\big)^{\beta}\sum_{I=1}^{\infty} \mathrm{Z}^{1/2}_{I}f_{I}(x)\otimes\mathscr{Z}_{I}$ where random fluctuations and amplitude scale nonlinearly with $\mathsf{RE}(x,t)$, with mean $\mathbf{E}[{\mathscr{U}}_{a}(x,t)] =u_{a}(x,t)$. In the inviscid limit one can prove an anomalous dissipation-type law \begin{align} \lim_{\nu\rightarrow 0}\bigg(\lim_{u_{a}(x,t)\rightarrow {u}_{a}}\sup~\nu \int_{\mathfrak{G}}\int_{0}^{T}{\mathbf{E}}\bigg[\bigg|{\nabla}_{a}{\mathscr{U}}_{a}(x,s)\bigg|^{2}\bigg]d\mathcal{V}(x) ds\bigg)>0 \end{align} iff $\beta=\tfrac{1}{2}$ and $\sum_{I=1}^{\infty}\mathrm{Z}_{I}\int_{{\mathfrak{G}}}{\nabla}_{a}f_{I}(x){\nabla}^{a}f_{I}(x)d\mathcal{V}(x)>0$., Comment: 58 pages

The $n$ queens problem considers the maximum number of safe squares on an $n \times n$ chess board when placing $n$ queens; the answer is only known for small $n$. Miller, Sheng and Turek considered instead $n$ randomly placed rooks, proving the proportion of safe squares converges to $1/e^2$. We generalize and solve when randomly placing $n$ hyper-rooks and $n^{k-1}$ line-rooks on a $k$-dimensional board, using combinatorial and probabilistic methods, with the proportion of safe squares converging to $1/e^k$. We prove that the proportion of safe squares on an $n \times n$ board with bishops in 2 dimensions converges to $2/e^2$. This problem is significantly more interesting and difficult; while a rook attacks the same number of squares wherever it's placed, this is not so for bishops. We expand to the $k$-dimensional chessboard, defining line-bishops to attack along $2$-dimensional diagonals and hyper-bishops to attack in the $k-1$ dimensional subspace defined by its diagonals in the $k-2$ dimensional subspace. We then combine the movement of rooks and bishops to consider the movement of queens in 2 dimensions, as well as line-queens and hyper-queens in $k$ dimensions., Comment: 19 pages, 6 figures

Motivated by the rich properties and various applications of recurrence relations, we consider the extension of traditional recurrence relations to matrices, where we use matrix multiplication and the Kronecker product to construct matrix sequences. We provide a sharp condition, which when satisfied, guarantees that any fixed-depth matrix recurrence relation defined over a product (with respect to matrix multiplication) will converge to the zero matrix. We also show that the same statement applies to matrix recurrence relations defined over a Kronecker product. Lastly, we show that the dual of this condition, which remains sharp, guarantees the divergence of matrix recurrence relations defined over a consecutive Kronecker product. These results completely determine the stability of nontrivial fixed-depth complex-valued recurrence relations defined over a consecutive product.

Let $a, b\in \mathbb{N}$ be relatively prime. Previous work showed that exactly one of the two equations $ax + by = (a-1)(b-1)/2$ and $ax + by + 1 = (a-1)(b-1)/2$ has a nonnegative, integral solution; furthermore, the solution is unique. Let $F_n$ be the $n$th Fibonacci number. When $(a,b) = (F_n, F_{n+1})$, it is known that there is an explicit formula for the unique solution $(x,y)$. We establish formulas to compute the solution when $(a,b) = (F_n^2, F_{n+1}^2)$ and $(F_n^3, F_{n+1}^3)$, giving rise to some intriguing identities involving Fibonacci numbers. Additionally, we construct a different pair of equations that admits a unique positive (instead of nonnegative), integral solution., Comment: 12 pages

Under the generalized Riemann Hypothesis (GRH), Baluyot, Chandee, and Li nearly doubled the range in which the density of low lying zeros predicted by Katz and Sarnak is known to hold for a large family of automorphic $L$-functions with orthogonal symmetry. We generalize their main techniques to the study of higher centered moments of the one-level density of this family, leading to better results on the behavior near the central point. Numerous technical obstructions emerge that are not present in the one-level density. Averaging over the level of the forms and assuming GRH, we prove the density predicted by Katz and Sarnak holds for the $n$-th centered moments for test functions whose Fourier transform is compactly supported in $(-\sigma, \sigma)$ for $\sigma~=~\min\left\{3/2(n-1), 4/(2n-\mathbf{1}_{2\nmid n})\right\}$. For $n=3$, our results improve the previously best known $\sigma=2/3$ to $\sigma=3/4$. We also prove the two-level density agrees with the Katz-Sarnak density conjecture for test functions whose Fourier transform is compactly supported in $\sigma_1 = 3/2$ and $\sigma_2 = 5/6$, respectively, extending the previous best known sum of supports $\sigma_1 + \sigma_2 = 2$. This work is the first evidence of an interesting new phenomenon: by taking different test functions, we are able to extend the range in which the Katz-Sarnak density predictions hold. The techniques we develop can be applied to understanding quantities related to this family containing sums over multiple primes., Comment: 36 pages

Conway Checkers is a game played with a checker placed in each square of the lower half of an infinite checkerboard. Pieces move by jumping over an adjacent checker, removing the checker jumped over. Conway showed that it is not possible to reach row 5 in finitely many moves by weighting each cell in the board by powers of the golden ratio such that no move increases the total weight. Other authors have considered the game played on many different boards, including generalising the standard game to higher dimensions. We work on a board of arbitrary dimension, where we allow a cell to hold multiple checkers and begin with m checkers on each cell. We derive an upper bound and a constructive lower bound on the height that can be reached, such that the upper bound almost never fails to be equal to the lower bound. We also consider the more general case where instead of jumping over 1 checker, each checker moves by jumping over k checkers, and again show the maximum height reachable lies within bounds that are almost always equal., Comment: 17 pages, 7 figures

We study new identities related to the sums of adjacent terms in the Pell sequence, defined by $P_{n} := 2P_{n-1}+P_{n-2}$ for $ n\geq 2$ and $P_{0}=0, P_{1}=1$, and generalize these identities for many similar sequences. We prove that the sum of $N>1$ consecutive Pell numbers is a fixed integer multiple of another Pell number if and only if $4\mid N$. We consider the generalized Pell $(k,i)$-numbers defined by $p(n) :=\ 2p(n-1)+p(n-k-1) $ for $n\geq k+1$, with $p(0)=p(1)=\cdots =p(i)=0$ and $p(i+1)=\cdots = p(k)=1$ for $0\leq i\leq k-1$, and prove that the sum of $N=2k+2$ consecutive terms is a fixed integer multiple of another term in the sequence. We also prove that for the generalized Pell $(k,k-1)$-numbers such a relation does not exist when $N$ and $k$ are odd. We give analogous results for the Fibonacci and other related second-order recursive sequences., Comment: 33 Pages. Comments welcome!

The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central point in elliptic curve $L$-function families. This led to the creation of the excised model of Due\~{n}ez, Huynh, Keating, Miller, and Snaith, whose predictions for quadratic twists of a given elliptic curve are well fit by the data. The key ingredients are relating the discretization of central values of the $L$-functions to excising matrices based on the value of the characteristic polynomials at 1 and using lower order terms (in statistics such as the one-level density and pair-correlation) to adjust the matrix size. We extended this model for a family of twists of an $L$-function associated to a given holomorphic cuspidal newform of odd prime level and arbitrary weight. We derive the corresponding "effective" matrix size for a given form by computing the one-level density and pair-correlation statistics for a chosen family of twists, and we show there is no repulsion for forms with weight greater than 2 and principal nebentype. We experimentally verify the accuracy of the model, and as expected, our model recovers the elliptic curve model., Comment: 55 pages, 13 figures. arXiv admin note: substantial text overlap with arXiv:2402.06641

Motivated by the works of Erd\"os, Pomerance, Wolke and Harman on the sum-of-divisor function $\sigma(n)$, we study the distribution of a special class of natural numbers closely related to (multiply) perfect numbers which we term `$(\ell;k)$-within-perfect numbers', where $\ell >1$ is a real number and $k: [1, \infty) \rightarrow (0, \infty)$ is an increasing and unbounded function., Comment: Minor changes, Accepted for publication. This article together with arXiv:1610.04253v4 (published in Acta Arithmetica 194 (2020), 341-366) supersede arXiv:1610.04253v2

Assuming the Generalized Riemann Hypothesis, the non-trivial zeros of $L$-functions lie on the critical line with the real part $1/2$. We find an upper bound of the lowest first zero in families of even cuspidal newforms of prime level tending to infinity. We obtain explicit bounds using the $n$-level densities and results towards the Katz-Sarnak density conjecture. We prove that as the level tends to infinity, there is at least one form with a normalized zero within $1/4$ of the average spacing. We also obtain the first-ever bounds on the percentage of forms in these families with a fixed number of zeros within a small distance near the central point., Comment: Version 1.0, 18 pages, 2 figures

Around the year 2007, one of the authors, Tsai, accidentally discovered a property of the number $198$ he saw on the license plate of a car. Namely, if we take $198$ and its reversal $891$, which have prime factorizations $198 = 2\cdot 3^2\cdot 11$ and $891 = 3^4\cdot 11$ respectively, and sum the numbers appearing in each factorization getting $2+3+2+11 = 18$ and $3+4+11 = 18$, both sums are $18$. Such numbers were later named $v$-palindromes because they can be viewed as an analogy to the usual palindromes. In this article, we introduce the concept of a $v$-palindrome in base $b$ and prove their existence for infinitely many bases. We also exhibit infinite families of $v$-palindromes in bases $p+1$ and $p^2+1$, for each odd prime $p$. Finally, we collect some conjectures and problems involving $v$-palindromes., Comment: 22 pages, 2 figures, 1 table. arXiv admin note: substantial text overlap with arXiv:2111.10211

During the Second World War, estimates of the number of tanks deployed by Germany were critically needed. The Allies adopted two methods to estimate this information: espionage and statistical analysis. The latter approach was far more successful and is as follows: assuming that the tanks are sequentially numbered starting from 1, if we observe $k$ serial numbers from an unknown total of $N$ tanks, with the highest observed number being $M$, then the best linear unbiased estimator for $N$ is $M(1+1/k)-1$. This is now known as the German Tank Problem. Suppose one wishes to estimate the productivity of a rival by inspecting captured or destroyed tanks, each with a unique serial number. In many situations, the original German Tank Problem is insufficient, since typically there are $l>1$ factories, and tanks produced by different factories may have serial numbers in disjoint ranges that are often far separated, let alone sequentially numbered starting from 1. We wish to estimate the total tank production across all of the factories. We construct an efficient procedure to estimate the total productivity and prove that our procedure effectively estimates $N$ when $\log l/\log k$ is sufficiently small, and is robust against both large and small gaps between factories. In the final section, we show that given information about the gaps, we can make a far better estimator that is also effective when we have a small number of samples. When the number of samples is small compared to the number of gaps, the Mean Squared Error of this new estimator is several orders of magnitude smaller than the one that assumes no information. This quantifies the importance of hiding such information if one wishes to conceal their productivity from a rival.