-
The Limiting Spectral Distribution of Various Matrix Ensembles Under the Anticommutator Operation
Authors:
Glenn Bruda,
Bruce Fang,
Raul Marquez,
Steven J. Miller,
Beni Prapashtica,
Vismay Sharan,
Daeyoung Son,
Saad Waheed,
Janine Wang
Abstract:
Inspired by the quantization of classical quantities and Rankin Selberg convolution, we study the anticommutator operation $\{\cdot, \cdot\}$, where $\{A,B\} = AB + BA$, applied to real symmetric random matrix ensembles including Gaussian orthogonal ensemble (GOE), the palindromic Toeplitz ensemble (PTE), the $k$-checkerboard ensemble, and the block $k$-circulant ensemble ($k$-BCE). Using combinat…
▽ More
Inspired by the quantization of classical quantities and Rankin Selberg convolution, we study the anticommutator operation $\{\cdot, \cdot\}$, where $\{A,B\} = AB + BA$, applied to real symmetric random matrix ensembles including Gaussian orthogonal ensemble (GOE), the palindromic Toeplitz ensemble (PTE), the $k$-checkerboard ensemble, and the block $k$-circulant ensemble ($k$-BCE). Using combinatorial and topological techniques related to non-crossing and free matching properties of GOE and PTE, we obtain closed-form formulae for the moments of the limiting spectral distributions of $\{$GOE, GOE$\}$, $\{$PTE, PTE$\}$, $\{$GOE, PTE$\}$ and establish the corresponding limiting spectral distributions with generating functions and convolution. On the other hand, $\{$GOE, $k$-checkerboard$\}$ and $\{$$k$-checkerboard, $j$-checkerboard$\}$ exhibit entirely different spectral behavior than the other anticommutator ensembles: while the spectrum of $\{$GOE, $k$-checkerboard$\}$ consists of 1 bulk regime of size $Θ(N)$ and 1 blip regime of size $Θ(N^{3/2})$, the spectrum of $\{$$k$-checkerboard, $j$-checkerboard$\}$ consists of 1 bulk regime of size $Θ(N)$, 2 intermediary blip regimes of size $Θ(N^{3/2})$, and 1 largest blip regime of size $Θ(N^2)$. In both cases, with the appropriate weight function, we are able to isolate the largest regime for other regime(s) and analyze its moments and convergence results via combinatorics. We end with numerical computation of lower even moments of $\{$GOE, $k$-BCE$\}$ and $\{$$k$-BCE, $k$-BCE$\}$ based on genus expansion and discussion on the challenge with analyzing the intermediary blip regimes of $\{$$k$-checkerboard, $j$-checkerboard$\}$.
△ Less
Submitted 4 February, 2025; v1 submitted 1 February, 2025;
originally announced February 2025.
-
Asymptotic expansions for the reciprocal Hardy-Littlewood logarithmic integrals
Authors:
Glenn Bruda
Abstract:
Defining a family of recurrences, we generalize Comtet's formula for the generating function of the enumeration of indecomposable permutations. Consequently, we generalize Panaitopol's asymptotic expansion for the prime counting function, obtaining asymptotic expansions salient to the first Hardy-Littlewood conjecture.
Defining a family of recurrences, we generalize Comtet's formula for the generating function of the enumeration of indecomposable permutations. Consequently, we generalize Panaitopol's asymptotic expansion for the prime counting function, obtaining asymptotic expansions salient to the first Hardy-Littlewood conjecture.
△ Less
Submitted 26 December, 2024;
originally announced December 2024.
-
Gromov-Hausdorff distances between quotient metric spaces
Authors:
Henry Adams,
Armando Albornoz,
Glenn Bruda,
Jianda Du,
Lodewyk Jansen van Rensburg,
Alejandro Leon,
Saketh Narayanan,
Connor Panish,
Chris Rugenstein,
Martin Wall
Abstract:
The Hausdorff distance measures how far apart two sets are in a common metric space. By contrast, the Gromov-Hausdorff distance provides a notion of distance between two abstract metric spaces. How do these distances behave for quotients of spaces under group actions? Suppose a group $G$ acts by isometries on two metric spaces $X$ and $Y$. In this article, we study how the Hausdorff and Gromov-Hau…
▽ More
The Hausdorff distance measures how far apart two sets are in a common metric space. By contrast, the Gromov-Hausdorff distance provides a notion of distance between two abstract metric spaces. How do these distances behave for quotients of spaces under group actions? Suppose a group $G$ acts by isometries on two metric spaces $X$ and $Y$. In this article, we study how the Hausdorff and Gromov-Hausdorff distances between $X$ and $Y$ and their quotient spaces $X/G$ and $Y/G$ are related. For the Hausdorff distance, we show that if $X$ and $Y$ are $G$-invariant subsets of a common metric space, then we have $d_{\mathrm{H}}(X,Y)=d_{\mathrm{H}}(X/G,Y/G)$. However, the Gromov-Hausdorff distance does not preserve this relationship: we show how to make the ratio $\frac{d_{\mathrm{GH}}(X/G,Y/G)}{d_{\mathrm{GH}}(X,Y)}$ both arbitrarily large and arbitrarily small, even if $X$ is an arbitrarily dense $G$-invariant subset of $Y$.
△ Less
Submitted 18 October, 2024;
originally announced October 2024.
-
An alternative proof of the Puiseux representation of the exponential integral
Authors:
Glenn Bruda
Abstract:
Working from definitions and an elementarily obtained integral formula for the Euler-Mascheroni constant, we give an alternative proof of the classical Puiseux representation of the exponential integral.
Working from definitions and an elementarily obtained integral formula for the Euler-Mascheroni constant, we give an alternative proof of the classical Puiseux representation of the exponential integral.
△ Less
Submitted 30 August, 2024;
originally announced September 2024.
-
Stability of Matrix Recurrence Relations
Authors:
Glenn Bruda,
Bruce Fang,
Pico Gilman,
Raul Marquez,
Steven J. Miller,
Beni Prapashtica,
Daeyoung Son,
Saad Waheed,
Janine Wang
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
Variants of Conway Checkers and k-nacci Jumping
Authors:
Glenn Bruda,
Joseph Cooper,
Kareem Jaber,
Raul Marquez,
Steven J. Miller
Abstract:
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 author…
▽ More
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.
△ Less
Submitted 13 May, 2025; v1 submitted 16 August, 2024;
originally announced August 2024.
-
On the convergence of Newton series and the asymptotics of finite differences
Authors:
Glenn Bruda
Abstract:
Suppose a complex function $f$ has a Lebesgue measurable inverse Laplace transform. We show that the $n$th order forward and backward differences of $f$ at $z_0\in\mathbb{C}$ tend to zero as $n\to\infty$ whenever $z_0$ lies in the region of absolute convergence of $f$. Under the same hypothesis, we show that the Newton series of $f$ centered at $z_0$ exists and converges in the half-plane…
▽ More
Suppose a complex function $f$ has a Lebesgue measurable inverse Laplace transform. We show that the $n$th order forward and backward differences of $f$ at $z_0\in\mathbb{C}$ tend to zero as $n\to\infty$ whenever $z_0$ lies in the region of absolute convergence of $f$. Under the same hypothesis, we show that the Newton series of $f$ centered at $z_0$ exists and converges in the half-plane $\Re(z)>\Re(z_0)$. Assuming instead that $f$ has a Lebesgue measurable inverse Fourier transform, we show that the $n$th order forward, backward, and central differences of $f$ at any $y\in\mathbb{R}$ are $o(2^n)$. Consequently, we show that the binomial sum $\sum_{k\geq0}{n\choose k}f(k)$ is $o(2^n)$.
△ Less
Submitted 1 September, 2024; v1 submitted 3 April, 2024;
originally announced April 2024.
-
Maclaurin Integration: A Weapon Against Infamous Integrals
Authors:
Glenn Bruda
Abstract:
Maclaurin Integration is a new series-based technique for solving infamously difficult integrals in terms of elementary functions. It has fairly liberal conditions for sound use, making it one of the most versatile integration techniques. Additionally, there is essentially zero human labor involved in calculating integrals using this technique, making it one of the easiest integration techniques t…
▽ More
Maclaurin Integration is a new series-based technique for solving infamously difficult integrals in terms of elementary functions. It has fairly liberal conditions for sound use, making it one of the most versatile integration techniques. Additionally, there is essentially zero human labor involved in calculating integrals using this technique, making it one of the easiest integration techniques to use. Its scope is mainly in pure mathematics.
△ Less
Submitted 29 January, 2022;
originally announced January 2022.
