Searcharxiv⌕ Search

arXiv subjects

Teng Zhang

Publications and source records attributed to Teng Zhang.

At least 55 records · Page 3Linked to original sources

A Bayesian Adaptive Latent Mixture Model for Zero-Inflated Weighted Brain Connectome Analysis

Replicated weighted networks often exhibit many structural zeros alongside heterogeneous non-zero edge strengths. In structural connectomics, this zero-inflation coincides with subjects expressing overlapping, rather than discrete, connectivity patterns. To address these features, we propose a Bayesian adaptive latent mixture model for zero-inflated weighted networks. Our approach represents each subject network as a simplex mixture of shared low-rank latent score matrices, integrated with a hurdle likelihood that separates edge existence from conditional edge strength. A sparsity-coupling parameter enables absent edges to be either independent of, or informative about, the latent connectivity. For computation, we employ transformed Hamiltonian Monte Carlo on unconstrained coordinates, selecting the number of templates via predictive fit, held-out link prediction, and template stability. Theoretically, we establish posterior consistency, local asymptotic normality, a Bernstein--von Mises approximation, and predictive consistency for an identifiable quotient-space estimand under a fixed-template scenario. Simulations demonstrate performance gains over topology-only baselines in settings with mixed memberships or structure-informed sparsity. Applied to Human Connectome Project data, the model recovers stable latent score patterns and heterogeneous subject-level mixtures, with behavioural analyses serving strictly as exploratory annotations rather than confirmatory biomarker claims.

stat.ME↗

ReflectDrive-2: Reinforcement-Learning-Aligned Self-Editing for Discrete Diffusion Driving

We introduce ReflectDrive-2, a masked discrete diffusion planner with separate action expert for autonomous driving that represents plans as discrete trajectory tokens and generates them through parallel masked decoding. This discrete token space enables in-place trajectory revision: AutoEdit rewrites selected tokens using the same model, without requiring an auxiliary refinement network. To train this capability, we use a two-stage procedure. First, we construct structure-aware perturbations of expert trajectories along longitudinal progress and lateral heading directions and supervise the model to recover the original expert trajectory. We then fine-tune the full decision--draft--reflect rollout with reinforcement learning (RL), assigning terminal driving reward to the final post-edit trajectory and propagating policy-gradient credit through full-rollout transitions. Full-rollout RL proves crucial for coupling drafting and editing: under supervised training alone, inference-time AutoEdit improves PDMS by at most $0.3$, whereas RL increases its gain to $1.9$. We also co-design an efficient reflective decoding stack for the decision--draft--reflect pipeline, combining shared-prefix KV reuse, Alternating Step Decode, and fused on-device unmasking. On NAVSIM, ReflectDrive-2 achieves $91.0$ PDMS with camera-only input and $94.8$ PDMS in a best-of-6 oracle setting, while running at $31.8$ ms average latency on NVIDIA Thor.

cs.RO↗

Colored Stallings graphs and Counterexamples to Stallings equalizer conjecture

The famous Stallings equalizer conjecture has remained open for more than 40 years, which states that, for any free group \(F_n\) of rank \(n\ge 2\), any free group \(F\), and any two monomorphisms $g,h:F_n\to F,$ the equalizer $\Eq(g,h)=\{w\in F_n\mid g(w)=h(w)\}$ satisfies $\rk \Eq(g,h)\le n.$ The only known case is $n=2$, due to A. D. Logan in 2022. By introducing the notion of colored Stallings graphs, we show that for every integer \(n\ge 2\) there exist monomorphisms $g,h:F_n\longrightarrow F_2$ such that$\rk\Eq(g,h)\ge 2n-2.$ This disproves Stallings equalizer conjecture for $n\ge 3$.

math.GR↗

Proof of the Agler--McCarthy entropy conjecture

In 2021, J.~Agler and J.~E. McCarthy proposed a two-step programme toward the celebrated Krzyż conjecture. The first step is to prove an entropy conjecture for polynomials whose zeros all lie on the unit circle; the second is to establish a full degree condition for extremal functions in the Krzyż conjecture. The purpose of this paper is to complete the first step. More precisely, we establish the sharp homogeneous entropy inequality for all non-constant polynomials with zeros on the unit circle and determine the equality cases.

math.CV↗

Multistable energy landscapes for adaptive microscopic machines

The past few years have seen great strides in our ability to build synthetic microscopic machines. However, the function of such machines is often controlled directly by externally applied fields that deterministically specify the instantaneous machine dynamics. A crucial step towards machines that can respond adaptively to changes in their environment is the ability to program multiple functions that actuate under the same external driving field, so that their internal state dictates which function is executed. Here, we demonstrate that energy landscapes with designed multistability enable the same externally applied field to drive multiple configurations and dynamic responses in microscopic machines, enabling increasing levels of autonomy. We show three examples. First, we write a bistable energy landscape into a microscopic device, enabling the device to exhibit two stable mechanical configurations under the same external magnetic field. Next, adding a second degree of freedom enables differing dynamic responses to the same external magnetic field, which we direct into net displacement of the environment. Finally, we demonstrate how a microscopic machine with a continuous symmetry autonomously channels a single degree-of-freedom magnetic actuation into locomotion and adaptively responds to forces induced by other machines.

cond-mat.soft↗

Sharp condition-number bounds for growth factors of Higham matrices in Gaussian elimination

Higham's conjecture on the growth factor of complex symmetric positive definite matrices is a longstanding problem in the stability theory of Gaussian elimination without pivoting. It asserts that every complex matrix $A=B+iC$ with $B$ and $C$ real symmetric positive definite, is called Higham matrix and has growth factor $ρ_n(A)<2$. In 2013, Drury [Linear Algebra Appl. \textbf{439} (2013), no.~10, 3129--3133] proved that $ρ_n(A)\le 2$. In fact, we will see his sectorial determinant method can be refined to give the strict bound $ρ_n(A)<2$ for each fixed Higham matrix; however, the resulting constant $1+δ_A^2$ depends on the matrix $A$. In this paper, we establish sharp condition-number-dependent lower and upper bounds for the growth factors of Higham matrices, thereby providing a quantitative refinement of Drury's result. The main ingredient is a sharp scalar Schur-complement inequality, proved via a two-dimensional domination.We also obtain corresponding sharp scalar and diagonal estimates for accretive-dissipative matrices, and an improved entrywise growth bound for that broader class.

math.NA↗

An operator triangle inequality for the quadratic symmetric modulus

50 years after Thompson's famous triangle inequality for the operator right modulus, we establish a triangle inequality for the quadratic symmetric modulus. We also discuss the corresponding equality cases as well as the infinite-dimensional setting. In addition, we obtain Clarkson--McCarthy type inequalities for the quadratic symmetric modulus. Moreover, we answer several questions raised by Bourin and Lee in [\emph{Bull. Lond. Math. Soc.} \textbf{44} (2012), no.~6, 1085--1102] and [\emph{Internat. J. Math.} \textbf{31} (2026), no.~6, 2650018].

math.FA↗

Plank theorems, Gaussian probabilistic estimates and Rump's 100 Euro conjecture

We prove Rump's 100-euro conjecture by deriving a weighted affine escape theorem from Ball's plank theorem in [Invent. Math. \textbf{104} (1991)]. More precisely, let $\mathbb{K}\in\{\mathbb{R},\mathbb{C}\}$ and let $A\in\mathbb{K}^{n\times n}$. For every $1\le p\le \infty$, we obtain an $\ell_p$-escape principle controlled by the row $\ell_q$-norms of $A$. Its cube case shows that $|A|e=ne$, where $e$ is the all-one vector, implies the existence of a nonzero vector $x$ satisfying $\|x\|_{\infty}\le 1$ and $|Ax|\ge e\ge |x|$, thereby settling the conjecture. As a consequence, we prove the global comparison $ρ_0(|A|)\le n\,ρ_{\mathbb{K}}(A)$,where $ρ_{\mathbb{K}}$ denotes the sign-real or complex spectral radius, respectively. This is the sharp form of Rump's Perron--Frobenius-type estimate, with the factor $3+2\sqrt{2}$ removed. Moreover, our $\ell_\infty$-escape principle sharpens Rump's result in [SIAM Rev. \textbf{41} (1999)] on the relation between the entrywise distance to singularity of a matrix and its entrywise Bauer--Skeel condition number. Finally, we also investigate the weaker Euclidean row condition, including sharp quantitative bounds and counterexamples to possible strengthenings. In particular, we use Gaussian probabilistic estimates to establish a complex analogue of a conjecture of Bünger.

math.FA↗

Clarkson--McCarthy type inequalities, part I: $\ell_p$--$\ell_p$ and $\ell_q$--$\ell_p$ Schatten $p$-estimates

We characterize the matrices $U=(u_{ij})$ for which the operator square-sum identity $$\sum_{i=1}^m\Big|\sum_{j=1}^n u_{ij}A_j\Big|^2=\sum_{j=1}^n|A_j|^2$$ holds for all Schatten-class operators $A_1,\ldots,A_n$; this happens exactly when $U$ is an isometry.Using this characterization, we establish Clarkson--McCarthy type inequalities for several classes of operator families, including $\ell_p$--$\ell_p$ estimates and mixed $\ell_q$--$\ell_p$ estimates.We also obtain a multivariable extension of the Ball--Carlen--Lieb $2$-uniform convexity inequality and a weaker bound toward Audenaert's norm-compression conjecture.

math.FA↗

A Solution to a Problem of Rubel on Two-Parameter Normal Families of Entire Functions

We construct an entire function $ F(z,a,b)\in \mathcal{O}(\mathbb{C}^3) $ such that the family $$ \{F(\,\cdot\,,a,b):a,b\in\mathbb{C}\} $$ of entire functions of \(z\) is normal on \(\mathbb{C}\), while \(F\) does not factor through a single entire parameter. This solves a problem of L.~A.~Rubel concerning Liouville-type rigidity. In fact, our example satisfies the stronger condition $$ F_bF_{a,z}-F_aF_{b,z}\neq 0 \qquad\text{on }\mathbb{C}^3. $$ The geometric core of the construction is a Fatou--Bieberbach domain contained in the thin region $$ \{(u,v)\in\mathbb{C}^2:|u-v^2|<1+|v|\}. $$ We obtain this domain from the basin of attraction of an explicit polynomial automorphism of \(\mathbb{C}^2\), together with the theorem of Rosay and Rudin on attracting basins.

math.CV↗

Global Convergence of Iteratively Reweighted Least Squares for Robust Subspace Recovery

Robust subspace estimation is fundamental to many machine learning and data analysis tasks. Iteratively Reweighted Least Squares (IRLS) is an elegant and empirically effective approach to this problem, yet its theoretical properties remain poorly understood. This paper establishes that, under deterministic conditions, a variant of IRLS with dynamic smoothing regularization converges linearly to the underlying subspace from any initialization. We extend these guarantees to affine subspace estimation, a setting that lacks prior recovery theory. Additionally, we illustrate the practical benefits of IRLS through an application to low-dimensional neural network training. Our results provide the first global convergence guarantees for IRLS in robust subspace recovery and, more broadly, for nonconvex IRLS on a Riemannian manifold.

stat.ML↗

On a conjecture of $λ$-Aluthge transforms and Hilbert--Schmidt self-commutators

Let $A$ be a complex square matrix, and write its polar decomposition as $A=U|A|$. For $0<λ<1$, the $λ$-Aluthge transform of $A$ is defined by $$ Δ_λ(A)=|A|^λU|A|^{1-λ}. $$ In 2007, Huang and Tam conjectured that the Frobenius norm of the self-commutator is contractive under $Δ_λ$: for every $0<λ<1$, $$ \|A^*A-AA^*\|_{F} \ \ge\ \|Δ_λ(A)^*Δ_λ(A)-Δ_λ(A)Δ_λ(A)^*\|_{F}. $$ If this inequality held, then the iterated self-commutator norms $$ \Bigl\{\bigl\|Δ_λ^{\,m}(A)^*Δ_λ^{\,m}(A) -Δ_λ^{\,m}(A)Δ_λ^{\,m}(A)^*\bigr\|_F\Bigr\}_{m\in\mathbb N} $$ would form a nonincreasing sequence and necessarily converge to $0$. In this paper we provide a counterexample, thereby disproving the conjecture. We also obtain the quantitative bounds $$ \sqrt{\frac32}\ \le\ \sup_{\substack{A\in\mathbb{M}_n(\mathbb{C}),\ A^*A\neq AA^*\\ 0<λ<1}} \frac{\|Δ_λ(A)^*Δ_λ(A)-Δ_λ(A)Δ_λ(A)^*\|_F}{\|A^*A-AA^*\|_F} \ \le\ 2. $$

math.FA↗

Extending Ground-Based Gravitational-Wave Sensitivity to 5 Hz

Extending the sensitivity of terrestrial gravitational-wave detectors below 20 Hz is a long-standing challenge, limited by ground motion and inertial sensing noise. In this letter, we demonstrate ultra-high-vacuum compatible inertial isolation and position sensing technologies that achieve active platform stabilization down to 10 mHz. Our laser position sensors reach a sub-pm/$\sqrt{\rm Hz}$ sensitivity above 10 mHz, independent of the input light polarization, representing a 100-fold improvement over the current LIGO position sensors. In addition, our inertial sensors provide at least a factor of 5 improvement in low-frequency sensitivity compared to state-of-the-art commercial seismometers. We integrate these technologies into a LIGO-like interferometer model and predict a low-frequency sensitivity improvement of up to an order of magnitude at 10 Hz, with enhanced linearity and calibration stability. This extension increases the detection horizon for intermediate-mass black hole binaries of mass $10^3 M_\odot$ by a factor of 3. Our results provide the first experimental demonstration of a practical pathway to sub-10 Hz operation of terrestrial gravitational-wave detectors and establish key technologies for next-generation observatories such as Cosmic Explorer and Einstein Telescope.

astro-ph.IM↗

Operator symmetric moduli and sharp triangle inequalities

We compare the usual operator modulus with two symmetrized variants, the arithmetic symmetric modulus and the quadratic symmetric modulus. For every unitarily invariant norm, we determine sharp equivalence constants among these three moduli. We also establish sharp triangle-type inequalities for unitarily invariant norms, controlling sums of matrices by sums of symmetrized moduli, including optimal Schatten $p$-norm bounds and a phase transition phenomenon for the quadratic version. Explicit low-dimensional examples are provided to show that the constants are best possible. In particular, we answer two questions posed by Bourin and Lee in \cite{BL26b}.

math.FA↗

Intersections of Convex Hulls of Polynomial Shifts and Critical Points

Let $p(z)$ be a complex polynomial of degree $n\ge 2$. For each $c\in\mathbb{C}$, let $K_c$ denote the convex hull of the zeros of $p(z)+c$, and let $K'$ denote the convex hull of the zeros of $p'(z)$. We prove that $$\bigcap_{c\in\mathbb{C}} K_c = K',$$ by combining a strict separating hyperplane argument with a half-plane non-surjectivity theorem for polynomials without critical points (proved via analytic continuation, the monodromy theorem and Liouville's Theorem). We also characterize when $K_0=K'$ in terms of the multiplicities of the zeros of $p(z)$ that form the vertices of $K_0$. As an application, we obtain a partial result toward the Schmeisser's conjecture: if all zeros of $p$ lie in the closed unit disk, then for every $ζ\in K'$ the disk $|z-ζ|\le \sqrt{1-|ζ|^2}$ contains a critical point of $p(z)$. Finally, we refine a recent barycentric bound in \cite{Zha26+} by showing that there is always a critical point within distance $\sqrt{\frac{n-2}{n-1}}\sqrt{1-|G|^2}$ of the centroid $G$ of the zeros.

math.CV↗

Proof of Audenaert-Kittaneh's Conjecture

By using the Three-lines theorem for a certain analytic function defined in terms of the trace and a duality argument method, we prove Audenaert-Kittaneh's conjecture related to $p$-Schatten classes. This generalizes the main result obtained by McCarthy in [Israel J. Math. 5 (1967)].

math.FA↗

Trace arithmetic--$κ_p$ inequality

Let $\mathcal{A}$ be a unital $C^\ast$-algebra equipped with a faithful tracial positive linear functional $τ$. Denote by $\mathcal{A}_+$ its positive cone. For $p>0$ and $A,B\in\mathcal{A}_+$, we consider the operations $$ Aκ_p B := \bigl(A^{p/4} B^{p/2} A^{p/4}\bigr)^{1/p}, \qquad A\nabla B := \frac{A+B}{2}. $$ We prove that, for all $p>0$ and all $A,B\in\mathcal{A}_+$, $$ τ(Aκ_p B)\le \sqrt{τ(A)τ(B)}\le τ(A\nabla B), $$ thereby answering \cite[Problem~1]{KM24}, posed by Á.~Komálovics and L.~Molnár, in the affirmative. We also record a unitarily invariant norm analogue of the key estimate in the matrix case, and we provide explicit $2\times2$ counterexamples showing that the triangle inequality for $d_p$ may fail when $0<p<1$ (already for $p=\tfrac12$), giving a partial answer to \cite[Problem~2]{KM24}.

math.OA↗