arXiv subjects

Steven J. Miller

Publications and source records attributed to Steven J. Miller.

At least 19 recordsLinked to original sources

arXiv2026

Generalizing a Pair of Diophantine Equations

For coprime integers $a$ and $b$, it is known that exactly one of the two Diophantine equations $$ ax+by\ =\ \frac{(a-1)(b-1)}{2} \qquad\text{and}\qquad 1+ax+by\ =\ \frac{(a-1)(b-1)}{2} $$ admits a nonnegative integer solution, and that this solution is unique. We first generalize this result by replacing the right-hand side with an arbitrary integer $m$ and its complement $ab-a-b-m$. This framework enables us to study the existence and uniqueness of nonnegative integer solutions to $$ ax+by\ =\ \frac{(a-1)(b-1)}{k} \qquad\text{and}\qquad 1+ax+by\ =\ \frac{(a-1)(b-1)}{k}, $$ where $k$ is a fixed positive integer. We then obtain explicit results when $a$ and $b$ are consecutive Fibonacci numbers. Finally, we examine the original pair of equations in several particular settings, including when $b\equiv \pm1\mod a$, when $b$ is replaced by a higher power, and when the parameters are squared.

math.NT↗

arXiv2026

Consequences of Matrices Sharing Eigenvalues and Eigenvectors

While studying for a linear algebra final, the first named author prepared some test questions for herself to see how well she understood the material, and asked the second named author: \emph{If $A$ and $A^T$ have the same eigenvalues and eigenvectors, is $A$ a symmetric matrix?} We show how this excellent question is a great springboard to related questions, in particular when do equal eigenvalues and eigenvectors imply the matrices are, if not equal, at least closely related (such as similar or the transpose/complex conjugate transpose of each other)? The answer depends on how we interpret the question, and provides a great opportunity to talk about creating good questions. In particular, we characterize matrices $A$ for which the transpose or conjugate transpose shares the same eigenvectors (regardless of eigenvalues) and, for each eigenvalue, the same eigenpair (equivalently, the same eigenspace). Thus, a square matrix $A$ is Hermitian if and only if $A^*$ has the same eigenpairs as $A$; moreover, if $A$ is a real matrix with real eigenvalues and $A^T$ has the same eigenvectors as $A$, then $A$ is symmetric.

math.GM↗

arXiv2026

Braess' Paradox in Uniform Affine Grid Networks

Braess' Paradox is the phenomenon in which adding an edge to a congestion network increases total travel time. We study the paradox in directed rectangular grids where every edge shares the latency function $\ell(x)=ax+b$ and an added chord has latency $\ell_{*}(x) = cx+d$, where $a > 0$ and $b,c,d \ge 0$. Using an analogy with electrical networks, we bound the change in total travel time. We then give a necessary and sufficient condition for a chord to induce the paradox for some choice of nonnegative coefficients and compute the exact proportion of such chords in all grids with dimensions at most $100$. Such chords are scarce, and the fraction is maximized near an aspect ratio of $2:1$. We then improve the established $4/3$ upper bound on the Braess Ratio to one depending only on the grid dimensions, approaching $1.207$ on squares and $4/3$ on thin grids. Finally, we prove any ratio-maximizing chord must have zero latency.

math.CO↗

arXiv2026

Counting Schreier Sets Under Neighborhood Conditions

We count Schreier sets that satisfy a neighborhood condition, including $k$-clustered, $k$-consecutive-free, $k$-neighbored, $k$-isolated, and closed under integral $2$-averages. For the first four conditions, we determine the initial counts and prove linear recurrence relations. For the last condition, we prove a recurrence that involves the divisor counting function.

math.CO↗

arXiv2026

Bounding The Number of Zeros Near the Central Point in Families of Cuspidal Newforms

We study low-lying zeros in families of even holomorphic cuspidal newforms of fixed weight and prime level, with particular emphasis on the number of forms having a zero in a prescribed normalized window about the central point and on the distribution of the number of such zeros among the forms. We quantify the number of forms having at least one zero in the window and study the distribution of the number of zeros in that window among the forms. Assuming the Generalized Riemann Hypothesis, we obtain new lower bounds for the number of forms having a low-lying zero. We first prove that, along an infinite sequence of prime levels $N$, the number of such forms is $\gg N^{7/8}\log N$. We then use higher centered moments and an appropriate test function to show that a positive proportion of the family has a zero in a prescribed window. Finally, we obtain polynomial upper-tail bounds for the number of zeros occurring there and show that a positive proportion of forms have a bounded, nonzero number of low-lying zeros.

math.NT↗

arXiv2026

On the Existence of Hyperelliptic Curves over $\mathbb{Q}(T)$ with Certain Jacobian Ranks

Let $y^2 = f(x,T)$ be a hyperelliptic curve of genus $g\geq 1$, defined over $\mathbb{Q}(T)$. We prove the existence of infinitely many imaginary hyperelliptic curves with a fixed genus $g$ having a certain rank for $5\leq r\leq 4g+2$, and a similar result for real hyperelliptic curves with a fixed genus $g$ having a certain rank for $6\leq r\leq 4g+4$. We begin by constructing such curves and prove the rank using two methods. First, we apply the generalized Nagao's conjecture, which relates the first moment and the rank of the Jacobian variety $J_\mathcal{X}(\mathbb{Q}(T))$, and that the conjecture holds for our curves, making the result unconditional. Furthermore, we explicitly construct rational points in the Mordell-Weil group and use Shioda-Tate to prove that the rank is equal to $r$.

math.NT↗

arXiv2026

On the Density of Low Lying Zeros of a Large Family of Automorphic $L$-functions

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 $(-σ, σ)$ for $σ~=~\min\left\{3/2(n-1), 4/(2n-\mathbf{1}_{2\nmid n})\right\}$. For $n=3$, our results improve the previously best known $σ=2/3$ to $σ=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 $σ_1 = 3/2$ and $σ_2 = 5/6$, respectively, extending the previous best known sum of supports $σ_1 + σ_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.

math.NT↗

arXiv2026

Benford behavior resulting from stick and box fragmentation processes

Benford's law is the statement that in many real world data sets, the probability of having digit $d$ in base $B$ as the first digit is \log_{B}\!\left(\frac{d+1}{d}\right) for all $1 \leq d \leq B$. We sometimes refer to this as weak Benford behavior, and we say that a data set satisfies strong Benford behavior in base $B$ if the probability of having significand at most $s$ is \log_{B}\!\left(s\right) for all $1 \leq s < B$, . We examine Benford behaviors in two different probabilistic models: stick and box fragmentation models. Building on the work arXiv:1309.5603 on the single proportion stick fragmentation model, we employ combinatorial identities on multinomial coefficients to reduce the multi-proportion stick fragmentation model to the single proportion model. We then provide a necessary and sufficient condition for the lengths of the stick fragments to converge to strong Benford behavior along with a quantification of the discrepancy from uniform distribution on $[0,1]$ in terms of irrationality exponent. Then we answer a conjecture of arXiv:2304.08335 on the high-dimensional box fragmentation model. Using tools from Fourier analysis and order statistics, we prove that under some mild conditions, faces of any arbitrary dimension of the box have total volume converging to strong Benford behavior.

math.PR↗

arXiv2026

Generalizations of the M&M Game

The MandM Game involves two players who begin with I1 and I2 MandM's. During each round, each player tosses a fair coin: if the coin lands heads, that player eats one MandM, and if it lands tails, the player does not eat. If, at the end of a round, one player still has MandM's while the other has none, then the player with MandM's remaining is declared the winner. If both players eat their last MandM in the same round, the game is said to end in a tie. In [BHM+17], the authors studied the probability of a tie in the MandM Game and derived a simple closed-form expression in the special case where both players start with the same number of MandM's. We generalize the MandM Game in several directions, including allowing players to toss multiple coins per round and modifying the probability distributions of the coin flips. We use the technique of generating functions, Monte Carlo methods, and non-linear curve fitting to study the generalized MandM Game.

math.PR↗

arXiv2026

The Fibonacci Rectangle Game: Two First-Move Classes and a Triangle-Induced Choice

A square-adjoining rectangle game generates the Fibonacci numbers and the Fibonacci spiral from a simple geometric rule. If one starts from a square, the four possible first moves are all equivalent by rotation. If one starts instead from a non-square rectangle, there are still four geometric placements for the first square, but they split into exactly two equivalence classes: long-side-first and short-side-first. We show that both classes are governed by the same Fibonacci-type recursion with different initial conditions, and that in both cases the successive aspect ratios converge to the golden ratio (phi). We then add a brief geometric remark: the Hypotenuse-Axis Intercept (HAI) construction from a right triangle produces a natural ordered seed whose outward and inward branches determine precisely those two first-move classes.

math.CO↗

arXiv2026

Spectral Properties of Dense Barabási-Albert Graphs

Preferential attachment graphs model networks whose growth produces highly uneven degree distributions, describing many real-world systems. Their adjacency spectra are important because they allow graph-theoretic questions to be studied through the eigenvalues of matrices. We analyze the adjacency matrix of a dense Barabási-Albert (B-A) multigraph, where the number of edges added at each step is proportional to the final number of vertices. First, we compute the large-$n$ limit of the expected adjacency matrix and show that it is described by a rank-one limiting kernel, viewed as a continuous analogue of the adjacency matrix. After centering and scaling, the fluctuations form a random matrix with a computable variance profile. Using the quadratic vector equation approach, we derive the limiting bulk spectral distribution. We also determine the asymptotic location of the leading eigenvalue generated by the rank-one mean component.

math.PR↗

arXiv2026

On Zeckendorf-Niven numbers and arithmetic progressions

A positive integer is Zeckendorf-Niven (respectively, Lucas-Niven) if it is divisible by the number of summands in its Zeckendorf decomposition (respectively, Lucas decomposition). We show that there exist infinitely many Zeckendorf-Niven numbers and Lucas-Niven numbers in every arithmetic progression. Furthermore, we provide bounds on the maximum number of consecutive Zeckendorf-Niven terms in certain arithmetic progressions.

math.NT↗

arXiv2026

Fibonacci Numbers and Vieta Jumping for a Rational Diophantine Equation

We study the Diophantine equation $\displaystyle{\tfrac{a+1}{b} + \tfrac{b+1}{a} \ = \ k}$, where $k$ is an integer. Using Vieta jumping, we completely classify all positive integer pairs $(a, \, b)$. We prove that the associated integer value $k$ can only be $3$ or $4$. The corresponding solution pairs $(a,\,b)$ are related to the classical Fibonacci numbers. As a consequence, the quantity $\frac{a+b}{\gcd(a, \,b)^2}$ takes only the values $1, \, 2, \, 3$ and $5$. This reveals an unexpected connection between a simple rational Diophantine condition, Vieta jumping, and Fibonacci numbers.

math.NT↗

arXiv2026

Comparing Left and Right Quotient Sets in Groups

For a finite subset $A$ of a group $G$, we define the right quotient set and the left quotient set of $A$, respectively, as $AA^{-1} := \{a_1a_2^{-1}:a_1,a_2\in A\}$, $A^{-1}A := \{a_1^{-1}a_2:a_1,a_2\in A\}$. While the right and left quotient sets are equal if $G$ is abelian, subtleties arise when $G$ is a nonabelian group, where the cardinality difference $|AA^{-1}| - |A^{-1}A|$ may be take on arbitrarily large values. Using the results of Martin and O'Bryant on the cardinality differences of sum sets and difference sets in $\mathbb{Z}$, we prove in the infinite dihedral group, $D_\infty \cong \mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z}$, every integer difference is achievable. Further, we prove that in $F_2$, the free group on $2$ generators, an integer difference is achievable if and only if that integer is even, and we explicitly construct subsets of $F_2$ that achieve every even integer. We further determine the minimum cardinality of $A \subset G$ so that the difference between the cardinalities of the left and right quotient sets is nonzero, depending on the existence of order $2$ elements in $G$. To prove these results, we construct difference graphs $D_A$ and $D_{A^{-1}}$ which encode equality, respectively, in the right and left quotient sets. We observe a bijection from edges in $D_A$ to edges in $D_{A^{-1}}$ and count connected components in order to obtain our results on cardinality differences $|AA^{-1}| - |A^{-1}A|$.

math.NT↗

arXiv2026

The Ordered Zeckendorf Game

We introduce and analyze the ordered Zeckendorf game, a novel combinatorial two-player game inspired by Zeckendorf's Theorem, which guarantees a unique decomposition of every positive integer as a sum of non-consecutive Fibonacci numbers. Building on the original Zeckendorf game\ -- previously studied in the context of unordered multisets\ -- we impose a new constraint: all moves must respect the order of summands. The result is a richer and more nuanced strategic landscape that significantly alters game dynamics. Unlike the classical version, where Player 2 has a dominant strategy for all $n > 2$, our ordered variant reveals a more balanced and unpredictable structure. In particular, we find that Player 1 wins for nearly all values $n \leq 25$, with a single exception at $n = 18$. This shift in strategic outcomes is driven by our game's key features: adjacency constraints that limit allowable merges and splits to neighboring terms, and the introduction of a switching move that reorders pairs. We prove that the game always terminates in the Zeckendorf decomposition\ -- now in ascending order\ -- by constructing a strictly decreasing monovariant. We further establish bounds on game complexity: the shortest possible game has length exactly $n - Z(n)$, where $Z(n)$ is the number of summands in the Zeckendorf decomposition of $n$, while the longest game exhibits quadratic growth, with $M(n) \sim \frac{n^2}{2}$ as $n \to \infty$. Empirical simulations suggest that random game trajectories exhibit log-normal convergence in their move distributions. Overall, the ordered Zeckendorf game enriches the landscape of number-theoretic games, posing new algorithmic challenges and offering fertile ground for future exploration into strategic complexity, probabilistic behavior, and generalizations to other recurrence relations.

math.NT↗

arXiv2026

Centered Moments of Weighted One-Level Densities of $GL(2)$ $L$-Functions

Katz and Sarnak conjectured that the behavior of zeros near the central point of any family of $L$-functions is well-modeled by the behavior of eigenvalues near $1$ of some classical compact group (either the symplectic, unitary, or even, odd, or full orthogonal group). In 2018, Knightly and Reno proved that the symmetry group can vary depending on how the $L$-functions in the family are weighted. They observed both orthogonal and symplectic symmetry in the one-level densities of families of cuspidal newform $L$-functions for different choices of weights. We observe the same dependence of symmetry on weights in the $n^{\text{th}}$ centered moments of these one-level densities, for smooth test functions whose Fourier transforms are supported in $\left(-\frac{1}{2n}, \frac{1}{2n}\right)$. To treat the new terms that emerge in our $n$-level calculations when $n>1$, i.e., the cross terms that emerge from $n$-fold products of primes rather than individual primes, we generalize Knightly and Reno's weighted trace formula from primes to arbitrary positive integers. We then perform a delicate analysis of these cross terms to distinguish their contributions to the main and error terms of the $n^{\text{th}}$ centered moments. The final novelty here is an elementary combinatorial trick that we use to rewrite the main number theoretic terms arising from our analysis, facilitating comparisons with random matrix theory.

math.NT↗

arXiv2026

On a Roll Again: Analysis of a Dice Removal Game

Suppose we have $n$ dice, each with $s$ faces (assume $s\geq n$). On the first turn, roll all of them, and remove from play those that rolled an $n$. Roll all of the remaining dice. In general, if at a certain turn you are left with $k$ dice, roll all of them and remove from play those that rolled a $k$. The game ends when you are left with no dice to roll. For $n,s \in \mathbb{N} \setminus \{0\}$ such that $s \geq n$, let $Y_n^s$ be the random variable for the number of turns to finish the game rolling $n$ dice with $s$ faces. We find recursive and non-recursive solutions for $\mathbb{E}(Y_n^{s})$ and $\mathrm{Var}(Y_n^{s})$, and bounds for both values. Moreover, we show that $Y_n^{s}$ can also be modeled as the maximum of a sequence of i.i.d. geometrically distributed random variables. Although, as far as we know, this game hasn't been studied before, similar problems have.

math.PR↗

arXiv2026

On a Pair of Diophantine Equations

For relatively prime natural numbers $a$ and $b$, we study the two equations $ax+by = (a-1)(b-1)/2$ and $ax+by+1= (a-1)(b-1)/2$, which arise from the study of cyclotomic polynomials. Previous work showed that exactly one equation has a nonnegative solution, and the solution is unique. Our first result gives criteria to determine which equation is used for a given pair $(a,b)$. We then use the criteria to study the sequence of equations used by the pair $(a_n/\gcd{(a_n, a_{n+1})}, a_{n+1}/\gcd{(a_n, a_{n+1})})$ from several special sequences $(a_n)_{n\geq 1}$. Finally, fixing $k \in \mathbb{N}$, we investigate the periodicity of the sequence of equations used by the pair $(k/\gcd{(k, n)}, n/\gcd{(k, n)})$ as $n$ increases.

math.NT↗