SearcharxivSearch

arXiv subjects

Peng Tian

Publications and source records attributed to Peng Tian.

15 recordsLinked to original sources

On the asymptotic duality of spectral variances in random matrix theory and the "1/6" formula

A "mysterious" relation between the number variance and the variance of the $L$-th ordered eigenvalue, first suggested by French et al. [Ann. Phys. 113, 277 (1978)], is revisited and proven to be asymptotically exact for the $\beta=2$ Dyson symmetry class. Central to the proof is a previously unknown sum rule for the level spacing auto-covariances. Its derivation hinges on our previous work on the power spectrum description of eigenvalue fluctuations in random matrix theory. Analytical results for $\beta=2$ are complemented by conjectural extensions to the $\beta=1$ and $\beta=4$ symmetry classes. Our findings are corroborated by a comprehensive numerical analysis.

math-ph

Force-IMU Fusion-Based Sensing Acupuncture Needle and Quantitative Analysis System for Acupuncture Manipulations

Acupuncture, one of the key therapeutic methods in Traditional Chinese Medicine (TCM), has been widely adopted in various clinical fields. Quantitative research on acupuncture manipulation parameters is critical to achieve standardized techniques. However, quantitative mechanical detection of acupuncture parameters remains limited. This study establishes a kinematic and dynamic model of acupuncture, identifying key parameters such as lifting-thrusting force, acceleration, velocity, displacement, as well as twirling-rotating angular velocity and angle. To measure these critical parameters, we propose a quantitative system comprising a sensing needle equipped with a force sensor and an inertial measurement unit (IMU), as well as an external camera module to capture image information. By fusing visual and IMU data, we accurately identify the stationary or motion states of the needle, enabling segmented computation of lifting-thrusting velocity and displacement. The experimental results demonstrate that the sensing needle achieves comprehensive detection with high precision, featuring a nonlinearity error of 0.45% in force measurement and an RMSE of 1.2 mm in displacement. The extracted parameters provide an objective description of the operational characteristics and motion patterns of the four basic acupuncture manipulations. These findings provide valuable tools and methods for research in acupuncture standardization.

eess.SY

Asymptotic locations of bounded and unbounded eigenvalues of sample correlation matrices of certain factor models -- application to a components retention rule

Let the dimension $N$ of data and the sample size $T$ tend to $\infty$ with $N/T \to c > 0$. The spectral properties of a sample correlation matrix $\mathbf{C}$ and a sample covariance matrix $\mathbf{S}$ are asymptotically equal whenever the population correlation matrix $\mathbf{R}$ is bounded (El Karoui 2009). We demonstrate this also for general linear models for unbounded $\mathbf{R}$, by examining the behavior of the singular values of multiplicatively perturbed matrices. By this, we establish: Given a factor model of an idiosyncratic noise variance $\sigma^2$ and a rank-$r$ factor loading matrix $\mathbf{L}$ which rows all have common Euclidean norm $L$. Then, the $k$th largest eigenvalues $\lambda_k$ $(1\le k\le N)$ of $\mathbf{C}$ satisfy almost surely: (1) $\lambda_r$ diverges, (2) $\lambda_k/s_k^2\to1/(L^2 + \sigma^2)$ $(1 \le k \le r)$ for the $k$th largest singular value $s_k$ of $\mathbf{L}$, and (3) $\lambda_{r + 1}\to(1-\rho)(1+\sqrt{c})^2$ for $\rho := L^2/(L^2 + \sigma^2)$. Whenever $s_r$ is much larger than $\sqrt{\log N}$, then broken-stick rule (Frontier 1976, Jackson 1993), which estimates $\mathrm{rank}\, \mathbf{L}$ by a random partition (Holst 1980) of $[0,\,1]$, tends to $r$ (a.s.). We also provide a natural factor model where the rule tends to "essential rank" of $\mathbf{L}$ (a.s.) which is smaller than $\mathrm{rank}\, \mathbf{L}$.

math.ST

Statistics of local level spacings in single- and many-body quantum chaos

We introduce a notion of local level spacings and study their statistics within a random-matrix-theory approach. In the limit of infinite-dimensional random matrices, we determine universal sequences of mean local spacings and of their ratios which uniquely identify the global symmetries of a quantum system and its internal -- chaotic or regular -- dynamics. These findings, which offer a new framework to monitor single- and many-body quantum systems, are corroborated by numerical experiments performed for zeros of the Riemann zeta function, spectra of irrational rectangular billiards and many-body spectra of the Sachdev-Ye-Kitaev Hamiltonians.

math-ph

Power spectra and autocovariances of level spacings beyond the Dyson conjecture

Introduced in the early days of random matrix theory, the autocovariances $δI^j_k={\rm cov}(s_j, s_{j+k})$ of level spacings $\{s_j\}$ accommodate a detailed information on correlations between individual eigenlevels. It was first conjectured by Dyson that the autocovariances of distant eigenlevels in the unfolded spectra of infinite-dimensional random matrices should exhibit a power-law decay $δI^j_k\approx -1/βπ^2k^2$, where $β$ is the symmetry index. In this Letter, we establish an exact link between the autocovariances of level spacings and their power spectrum, and show that, for $β=2$, the latter admits a representation in terms of a fifth Painlevé transcendent. This result is further exploited to determine an asymptotic expansion for autocovariances that reproduces the Dyson formula as well as provides the subleading corrections to it. High-precision numerical simulations lend independent support to our results.

math-ph

The size function for imaginary cyclic sextic fields

In this paper, we investigate the size function $h^0$ for number fields. This size function is analogous to the dimension of the Riemann-Roch spaces of divisors on an algebraic curve. Van der Geer and Schoof conjectured that $h^0$ attains its maximum at the trivial class of Arakelov divisors. This conjecture was proved for all number fields with unit group of rank 0 and 1, and also for cyclic cubic fields which have unit group of rank two. We prove the conjecture also holds for totally imaginary cyclic sextic fields, another class of number fields with unit group of rank two.

math.NT

Ratio-consistent estimation for long range dependent Toeplitz covariance with application to matrix data whitening

We consider a data matrix $X:=C_N^{1/2}ZR_M^{1/2}$ from a multivariate stationary process with a separable covariance function, where $C_N$ is a $N\times N$ positive semi-definite matrix, $Z$ a $N\times M$ random matrix of uncorrelated standardized white noise, and $R_M$ a $M\times M$ Toeplitz matrix. Under the assumption of long range dependence (LRD), we re-examine the consistency of two toeplitzifized estimators $\hat R_M$ (unbiased) and $\hat R_M^b$ (biased) for $R_M$, which are known to be norm consistent with $R_M$ when the process is short range dependent (SRD). However in the LRD case, some simulations suggest that the norm consistency does not hold in general for both estimators. Instead, a weaker {\it ratio consistency} is established for the unbiased estimator $\hat R_M$, and a further weaker {\it ratio LSD consistency} is established for the biased estimator $\hat R_M^b$. The main result leads to a consistent whitening procedure on the original data matrix $X$, which is further applied to two real world questions, one is a signal detection problem, and the other is PCA on the space covariance $C_N$ to achieve a noise reduction and data compression.

math.PR

On the Sample Complexity of Rank Regression from Pairwise Comparisons

We consider a rank regression setting, in which a dataset of $N$ samples with features in $\mathbb{R}^d$ is ranked by an oracle via $M$ pairwise comparisons. Specifically, there exists a latent total ordering of the samples; when presented with a pair of samples, a noisy oracle identifies the one ranked higher with respect to the underlying total ordering. A learner observes a dataset of such comparisons and wishes to regress sample ranks from their features. We show that to learn the model parameters with $ε> 0$ accuracy, it suffices to conduct $M \in Ω(dN\log^3 N/ε^2)$ comparisons uniformly at random when $N$ is $Ω(d/ε^2)$.

stat.ML

Unbounded Largest Eigenvalue of Large Sample Covariance Matrices: Asymptotics, Fluctuations and Applications

Given a large sample covariance matrix $S_N=\frac 1nΓ_N^{1/2}Z_N Z_N^*Γ_N^{1/2}\, ,$ where $Z_N$ is a $N\times n$ matrix with i.i.d. centered entries, and $Γ_N$ is a $N\times N$ deterministic Hermitian positive semidefinite matrix, we study the location and fluctuations of $λ_{\max}(S_N)$, the largest eigenvalue of $S_N$ as $N,n\to\infty$ and $Nn^{-1} \to r\in(0,\infty)$ in the case where the empirical distribution $μ^{Γ_N}$ of eigenvalues of $Γ_N$ is tight (in $N$) and $λ_{\max}(Γ_N)$ goes to $+\infty$. These conditions are in particular met when $μ^{Γ_N}$ weakly converges to a probability measure with unbounded support on $\mathbb{R}^+$. We prove that asymptotically $λ_{\max}(S_N)\sim λ_{\max}(Γ_N)$. Moreover when the $Γ_N$'s are block-diagonal, and the following {\em spectral gap condition} is assumed:$$\limsup_{N\to\infty} \frac{λ_2(Γ_N)}{λ_{\max}(Γ_N)}<1,$$where $λ_2(Γ_N)$ is the second largest eigenvalue of $Γ_N$, we prove Gaussian fluctuations for $λ_{\max}(S_N)/λ_{\max}(Γ_N)$ at the scale $\sqrt{n}$.In the particular case where $Z_N$ has i.i.d. Gaussian entries and $Γ_N$ is the $N\times N$ autocovariance matrix of a long memory Gaussian stationary process $({\mathcal X}_t)_{t\in\mathbb{Z}}$, the columns of $Γ_N^{1/2} Z_N$ can be considered as $n$ i.i.d. samples of the random vector $({\mathcal X}_1,\dots,{\mathcal X}_N)^T$. We then prove that $Γ_N$ is similar to a diagonal matrix which satisfies all the required assumptions of our theorems, hence our results apply to this case.

math.PR

Joint CLT for top eigenvalues of sample covariance matrices of separable high dimensional long memory processes

For $N,n\in\mathbb N$, consider the sample covariance matrix $$S_N(T)=\frac{1}{N}XX^*$$ from a data set $X=C_N^{1/2}ZT_n^{1/2}$, where $Z=(Z_{i,j})$ is a $N\times n$ matrix having i.i.d. entries with mean zero and variance one, and $C_N, T_n$ are deterministic positive semi-definite Hermitian matrices of dimension $N$ and $n$, respectively. We assume that $(C_N)_N$ is bounded in spectral norm, and $T_n$ is a Toeplitz matrix with its largest eigenvalues diverging to infinity. The matrix $X$ can be viewed as a data set of an $N$-dimensional long memory stationary process having separable dependence structure. As $N,n\to \infty$ and $Nn^{-1} \to r\in (0,\infty)$, we establish the asymptotics and the joint CLT for $(λ_1(S_N(T)),\cdots, λ_m(S_N(T))^\top$ where $λ_j(S_N(T))$ denotes the $j$th largest eigenvalue of $S_N(T)$, and $m$ is a fixed integer. For the CLT, we first study the case where the entries of $Z$ are Gaussian, and then we generalize the result to some more generic cases. This result substantially extends our previous result in Merlevède et al. 2019, where we studied $λ_1(S_N(T))$ in the case where $m=1$ and $X=ZT_n^{1/2}$ with $Z$ having Gaussian entries. In order to establish this CLT, we are led to study the first order asymptotics of the largest eigenvalues and the associated eigenvectors of some deterministic Toeplitz matrices. We are specially interested in the autocovariance matrices of long memory stationary processes. We prove multiple spectral gap properties for the largest eigenvalues and a delocalization property for their associated eigenvectors.

math.PR

Realization of Modular Galois Representations in Jacobians of modular curves

In this paper, we propose an improved algorithm for computing mod $\ell$ Galois representations associated to eigenforms of arbitrary levels prime to $\ell$. Precisely, we present a method to find the Jacobians of modular curves which have the smallest possible dimensions in a well-defined sense to realize the modular Galois representations. This algorithm also works without the assumption $\ell \ge k-1$, where $k$ are the weights of the eigenforms.

math.NT

Computing modular Galois representations for small $\ell$

In this paper we describe an algorithm for computing mod $\ell$ Galois representations associated to modular forms of weight $k$ when $\ell <k-1$. As applications, we use this algorithm to explicitly compute the cases with $Δ_{k}$ for $k=16,20, 22, 26$ and all the unexceptional primes $\ell$ with $\ell <k-1$.

math.NT

The size function for cyclic cubic fields

The size function for a number field is an analogue of the dimension of the Riemann-Roch spaces of divisors on an algebraic curve. It was conjectured to attain its maximum at the trivial class of Arakelov divisors. This conjecture was proved for many number fields with unit groups of rank one. Our research confirms that the conjecture also holds for cyclic cubic fields, which have unit groups of rank two.

math.NT

Non-vanishing Fourier coefficients of modular forms

In this paper, we generalize D. H. Lehmer's result to give a sufficient condition for level one cusp forms $f$ with integral Fourier coefficients such that the smallest $n$ for which the coefficients $a_n(f)=0$ must be a prime. Then we describe a method to compute a bound $B$ of $n$ such that $a_n(f)\ne0$ for all $n<B$. As examples, we achieve the explicit bounds $B_k$ for the unique cusp form $Δ_{k}$ of level one and weight k with $k=16, 18, 20, 22, 26$ such that $a_n(Δ_k)\ne0$ for all $n<B_k$.

math.NT

Computations of Galois Representations Associated to Modular Forms

We propose an improved algorithm for computing mod $\ell$ Galois representations associated to a cusp form $f$ of level one. The proposed method allows us to explicitly compute the case with $\ell=29$ and $f$ of weight $k=16$, and the cases with $\ell=31$ and $f$ of weight $k=12,20, 22$. All the results are rigorously proved to be correct. As an example, we will compute the values modulo $31$ of Ramanujan's tau function at some huge primes up to a sign. Also we will give an improved higher bound on Lehmer's conjecture for Ramanujan's tau function.

math.NT