arXiv subjects

Yichen Hu

Publications and source records attributed to Yichen Hu.

At least 19 recordsLinked to original sources

arXiv2026

Euler Topological Metals in 1D

We give a rigorous one-dimensional formulation of Kane's transport proposal for probing the Euler characteristic of a Fermi sea. For a clean, translation-invariant continuum Hamiltonian with real-analytic dispersion, a Fermi sea confined to a finite momentum range, and nonzero Fermi velocity at every Fermi point, we analyze a particular Abel-regularized transport response (obtained by tracing over the Fermi sea) and prove that its large-time limit equals the Euler characteristic. We derive an explicit finite-time formula, show that quantization requires the large-time limit, and obtain a convergence rate under additional nonstationarity assumptions. We also prove the lattice analog, where the sharp commutator is trace-class and a completely filled band contributes zero. Finite-volume calculations illustrate the prescribed order of the thermodynamic and large-time limits.

math-ph↗

arXiv2026

Rigidity of weak solutions for anisotropic N-Laplacian equation with Neumann or Robin boundary condition

This paper is devoted to the rigidity of weak solutions for anisotropic $N$-Laplacian equations with Neumann or Robin boundary conditions on smooth bounded convex domains of $\mathbb{R}^N$. The anisotropic operator is given by $$a(\xi) = H^{N-1}(\xi)\nabla H(\xi),$$ where $H$ stands for a norm on $\mathbb{R}^N$; this formulation contains the classical $N$-Laplacian as a special case. We establish a key integral inequality involving the anisotropic gradient and the second fundamental form of the domain boundary, which acts as the core technical tool in our proofs. Under natural monotonicity assumptions on the nonlinearity, we prove that all weak solutions to the Neumann boundary problem are constant, without requiring any a priori boundedness assumption on the solution. Furthermore, we extend this rigidity result to Robin boundary value problems by imposing suitable constraints on the boundary nonlinear term. Moreover, our rigidity results remain valid not only on bounded convex domains but also on suitable unbounded domains. By working under substantially weaker assumptions than those previously available, we establish rigidity results that fill the gaps in the existing literature for anisotropic $N$-Laplacian equations with nonlinear boundary conditions and substantially extend the rigidity theory of anisotropic quasilinear elliptic equations at the critical exponent $p=N$.

math.AP↗

arXiv2026

Bias-Corrected Multiplier Bootstrap Inference for Spectral Edges of Large Covariance Matrices

Inference for spectral edges of large covariance matrices is a fundamental problem in high-dimensional statistics. A major difficulty is that the largest non-spiked sample eigenvalues, which serve as natural estimators of the edge, fluctuate on the Tracy--Widom scale. Consequently, valid inference requires accurate centering by the deterministic spectral edge together with a precise scaling constant, both of which are often difficult to estimate in practice under general unknown population covariance structures. In this paper, we propose a bias-corrected multiplier bootstrap procedure for inference on the deterministic edge of the bulk spectrum. The key idea is to introduce a carefully calibrated multiplier perturbation that regularizes the edge fluctuation to a slightly larger scale at which Gaussian approximation becomes tractable. The resulting confidence interval is constructed directly from bootstrap eigenvalues, together with a data-driven recentering step that corrects the bootstrap-induced shift of the deterministic edge. On the theoretical side, we show that, after bias correction and rescaling, the largest few non-spiked bootstrap eigenvalues are asymptotically Gaussian conditionally on the data. Building on this result, we establish the asymptotic validity of the proposed confidence interval, whose length is only slightly larger than the Tracy--Widom scale, and prove vanishing coverage under alternatives in which additional spikes separate from the bulk at a local scale larger than $n^{-1/6}$. As a consequence, the same confidence interval yields a threshold-free estimator for the number of spikes, without requiring the spikes to be distinct or very large. Equivalently, the procedure yields a data-driven and theoretically justified cutoff for the scree plot.

stat.ME↗

arXiv2026

AgentSchool: An LLM-Powered Multi-Agent Simulation for Education

Despite the rapid deployment of LLMs into classrooms, validating educational AI remains uniquely intractable: interventions act on developing learners whose cognitive and social trajectories are irreversibly shaped, while real-world trials are slow, ethically constrained, and institutionally locked. LLM-based educational simulators have emerged as a potential remedy, but many still collapse learning into persona-conditioned role-play and, when optimized only to reproduce existing classrooms, can structurally penalize the institutional novelty that pedagogical reform requires. In this work, we introduce AgentSchool, an LLM-driven multi-agent simulator that models learning as state transition rather than prompted behavior. AgentSchool couples cognitively growable student agents -- equipped with weighted subject knowledge graphs, thinking-workflow pools, and explicit misconceptions -- with adaptive teacher agents that plan, scaffold, and reflect along the Zone of Proximal Development, embedded in a configurable scenery generator that situates instruction within both formal and informal learning fields, and a multi-scale simulator that decouples interaction scale, temporal granularity, and simulation duration. Experiments show that structured student agents produce more differentiated mastery and misconception traces than a baseline simulator, while teacher-agent comparisons show backbone-dependent patterns consistent with ZPD-informed adaptation. Further, AgentSchool generates plausible traces of peripheral participation, clique formation, aggressor-induced cohesion, and opinion-leader emergence consistent with classroom social theories. Beyond its role as an educational research instrument, AgentSchool frames education as a socially meaningful testbed for long-horizon memory, multi-agent coordination, and future institutional reasoning under organizational pressure.

cs.AI↗

arXiv2026

Nonlinear Neumann boundary problems for $n$-Laplacian Liouville equation on a half space

In this paper, for general $n\geq2$, we classify solutions to $n$-Laplacian Liouville equation with positive nonlinear Neumann boundary condition on the half-space $\mathbb{R}^{n}_{+}$. Under the positive nonlinear Neumann boundary condition, our result extend the classification result for the second order Liouville equation in \cite{Li} from $n=2$ to general $n\geq2$, and also extend the classification result for critical $p$-Laplacian equation in \cite{Zhou} from $p<n$ to $p=n$.

math.AP↗

arXiv2025

Sidelink Positioning: Standardization Advancements, Challenges and Opportunities

With the integration of cellular networks in vertical industries that demand precise location information, such as vehicle-to-everything (V2X), public safety, and Industrial Internet of Things (IIoT), positioning has become an imperative component for future wireless networks. By exploiting a wider spectrum, multiple antennas and flexible architectures, cellular positioning achieves ever-increasing positioning accuracy. Still, it faces fundamental performance degradation when the distance between user equipment (UE) and the base station (BS) is large or in non-line-of-sight (NLoS) scenarios. To this end, the 3rd generation partnership project (3GPP) Rel-18 proposes to standardize sidelink (SL) positioning, which provides unique opportunities to extend the positioning coverage via direct positioning signaling between UEs. Despite the standardization advancements, the capability of SL positioning is controversial, especially how much spectrum is required to achieve the positioning accuracy defined in 3GPP. To this end, this article summarizes the latest standardization advancements of 3GPP on SL positioning comprehensively, covering a) network architecture; b) positioning types; and c) performance requirements. The capability of SL positioning using various positioning methods under different imperfect factors is evaluated and discussed in-depth. Finally, according to the evolution of SL in 3GPP Rel-19, we discuss the possible research directions and challenges of SL positioning.

cs.NI↗

arXiv2025

On the edge eigenvalues of sparse random geometric graphs

In this paper, we study the edge eigenvalues of random geometric graphs (RGGs) generated by multivariate Gaussian samples in the sparse regime under a broad class of distance metrics. Previous work on edge eigenvalues under related setups has relied on methods based on integral operators or the Courant-Fischer min-max principle with interpolation. However, these approaches typically require either a dense regime or sampling distributions that are compactly supported and non-vanishing, and therefore cannot be generalized to our setting. We introduce a two-step smoothing-matching argument. First, we construct a smoothed empirical operator from the given RGG. We then match its edge eigenvalues to those of a continuum limit operator via a counting argument. We show that, after proper normalization, the first few nontrivial edge eigenvalues of the RGG converge with high probability to those of a differential operator, which can be computed explicitly through a simple second-order linear partial differential equation. To the best of our knowledge, these are the first results on the edge eigenvalues of RGGs generated from samples with unbounded support and vanishing density functions.

math.PR↗

arXiv2025

Canvas3D: Empowering Precise Spatial Control for Image Generation with Constraints from a 3D Virtual Canvas

Generative AI (GenAI) has significantly advanced the ease and flexibility of image creation. However, it remains a challenge to precisely control spatial compositions, including object arrangement and scene conditions. To bridge this gap, we propose Canvas3D, an interactive system leveraging a 3D engine to enable precise spatial manipulation for image generation. Upon user prompt, Canvas3D automatically converts textual descriptions into interactive objects within a 3D engine-driven virtual canvas, empowering direct and precise spatial configuration. These user-defined arrangements generate explicit spatial constraints that guide generative models in accurately reflecting user intentions in the resulting images. We conducted a closed-end comparative study between Canvas3D and a baseline system. And an open-ended study to evaluate our system "in the wild". The result indicates that Canvas3D outperforms the baseline on spatial control, interactivity, and overall user experience.

cs.HC↗

arXiv2025

DesignFromX: Empowering Consumer-Driven Design Space Exploration through Feature Composition of Referenced Products

Industrial products are designed to satisfy the needs of consumers. The rise of generative artificial intelligence (GenAI) enables consumers to easily modify a product by prompting a generative model, opening up opportunities to incorporate consumers in exploring the product design space. However, consumers often struggle to articulate their preferred product features due to their unfamiliarity with terminology and their limited understanding of the structure of product features. We present DesignFromX, a system that empowers consumer-driven design space exploration by helping consumers to design a product based on their preferences. Leveraging an effective GenAI-based framework, the system allows users to easily identify design features from product images and compose those features to generate conceptual images and 3D models of a new product. A user study with 24 participants demonstrates that DesignFromX lowers the barriers and frustration for consumer-driven design space explorations by enhancing both engagement and enjoyment for the participants.

cs.HC↗

arXiv2025

Investigating Creativity in Humans and Generative AI Through Circles Exercises

Generative AI (GenAI) is transforming the creativity process. However, as presented in this paper, GenAI encounters "narrow creativity" barriers. We observe that both humans and GenAI focus on limited subsets of the design space. We investigate this phenomenon using the "Circles Exercise," a creativity test widely used to examine the creativity of humans. Quantitative analysis reveals that humans tend to generate familiar, high-frequency ideas, while GenAI produces a larger volume of incremental innovations at a low cost. However, similar to humans, it struggles to significantly expand creative boundaries. Moreover, advanced prompting strategies, such as Chain-of-Thought (CoT) prompting, mitigate narrow creativity issues but still fall short of substantially broadening the creative scope of humans and GenAI. These findings underscore both the challenges and opportunities for advancing GenAI-powered human creativity support tools.

cs.HC↗

arXiv2025

On the sharp quantitative stability of critical points of the Hardy-Littlewood-Sobolev inequality in $\mathbb{R}^{n}$ with $n\geq3$

Assume $n\geq3$ and $u\in \dot{H}^1(\mathbb{R}^n)$. Recently, Piccione, Yang and Zhao \cite{Piccione-Yang-Zhao} established a nonlocal version of Struwe's decomposition in \cite{Struwe-1984}, i.e., if $\Gamma(u):=\left\|\Delta u+D_{n,\alpha}\int_{\mathbb{R}^{n}}\frac{|u|^{p_{\alpha}}(y) }{|x-y|^{\alpha}}\mathrm{d}y |u|^{p_{\alpha}-2} u\right\|_{\dot{H}^{-1}} \rightarrow 0$ and $u\geq 0$, then $dist(u,\mathcal{T})\to 0$, where $dist(u,\mathcal{T})$ denotes the $\dot{H}^1(\mathbb{R}^n)$-distance of $u$ from the manifold of sums of Talenti bubbles. In this paper, we establish the nonlocal version of the quantitative estimates of Struwe's decomposition in Ciraolo, Figalli and Maggi \cite{CFM} for one bubble and $n\geq3$, Figalli and Glaudo \cite{Figalli-Glaudo2020} for $3\leq n\leq5$ and Deng, Sun and Wei \cite{DSW} for $n\geq6$ and two or more bubbles. We prove that for $n\geq 3$ and $0<\alpha<n$, \[dist (u,\mathcal{T})\leq C\begin{cases} \Gamma(u)\left|\log \Gamma(u)\right|^{\frac{1}{2}}\quad&\text{if } \,\, n\geq 6, \,\, \nu\geq2 \,\, \text{and} \,\, \alpha=\frac{n+2}{2}, \\ \Gamma(u) \quad&\text{for any other cases,}\end{cases}\] where $\nu$ denotes the number of bubbles. Furthermore, we show that this inequality is sharp for $n\geq 6$ and $\alpha=\frac{n+2}{2}$. It should be emphasized that, in our paper, we have developed new techniques to deal with the strong singular case $4<\alpha<n$, which can not be handled by reduction methods in previous works. We believe that our method can also be applied to other problems related to the physically interesting Hartree equation.

math.AP↗

arXiv2024

Resistance Distribution of Decoherent Quantum Hall-Superconductor Edges

We study the probability distribution of the resistance, or equivalently the charge transmission, of a decoherent quantum Hall-superconductor edge, with the decoherence coming from metallic puddles along the edge. Such metallic puddles may originate from magnetic vortex cores or other superconductivity suppressing perturbations. In contrast to the distribution of a coherent edge which is peaked away from zero charge transmission, we show analytically and numerically that the distribution of a decoherent edge with metallic puddles is always peaked at zero charge transmission, which serves as a probe of coherence of superconducting chiral edge states. We further show that the distribution width decays exponentially in magnetic field and temperature. Our theoretical decoherent distribution agrees well with the recent experimental observation in graphene with superconducting proximity.

cond-mat.mes-hall↗

arXiv2023

Two sample test for covariance matrices in ultra-high dimension

In this paper, we propose a new test for testing the equality of two population covariance matrices in the ultra-high dimensional setting that the dimension is much larger than the sizes of both of the two samples. Our proposed methodology relies on a data splitting procedure and a comparison of a set of well selected eigenvalues of the sample covariance matrices on the split data sets. Compared to the existing methods, our methodology is adaptive in the sense that (i). it does not require specific assumption (e.g., comparable or balancing, etc.) on the sizes of two samples; (ii). it does not need quantitative or structural assumptions of the population covariance matrices; (iii). it does not need the parametric distributions or the detailed knowledge of the moments of the two populations. Theoretically, we establish the asymptotic distributions of the statistics used in our method and conduct the power analysis. We justify that our method is powerful under very weak alternatives. We conduct extensive numerical simulations and show that our method significantly outperforms the existing ones both in terms of size and power. Analysis of two real data sets is also carried out to demonstrate the usefulness and superior performance of our proposed methodology. An $\texttt{R}$ package $\texttt{UHDtst}$ is developed for easy implementation of our proposed methodology.

stat.ME↗

arXiv2023

Twisted coupled wire model for a moir\'e sliding Luttinger liquid

Recent experiments in twisted bilayer WTe$_2$ revealed the existence of anisotropic Luttinger liquid behavior. To generically characterize such anisotropic twisted bilayer systems, we study a model of a twisted bilayer of two-dimensional (2D) arrays of coupled wires, which effectively form an array of coupled moir\'e wires. We solve the model by the transfer matrix method, and identify quasi-1D electron bands in the system at small twist angles. With electron interactions added, we show that the moir\'e wires have an effective Luttinger parameter $g_\text{eff}$ much lower than that of the microscopic wires. This leads to a sliding Luttinger liquid (SLL) temperature regime, in which power-law current voltage relations arise. For parameters partly estimated from WTe$_2$, a microscopic interaction $U\sim0.7$eV yields a temperature regime of SLL similar to that in the WTe$_2$ experiments.

cond-mat.str-el↗

arXiv2023

Double-tower Solutions for Higher Order Prescribed Curvature Problem

We consider the following higher order prescribed curvature problem on $ {\mathbb{S}}^N : $ \begin{equation*} D^m \tilde u=\widetilde{K}(y) \tilde u^{m^{*}-1} \quad \mbox{on} \ {\mathbb {S}}^N, \qquad \tilde u >0 \quad \mbox{in} \ {\mathbb {S}}^N. \end{equation*} where $\widetilde{K}(y)>0$ is a radial function, $m^{*}=\frac{2N}{N-2m}$ and $D^m$ is $2m$ order differential operator given by \begin{equation*} D^m=\prod_{i=1}^m\left(-\Delta_g+\frac{1}{4}(N-2i)(N+2i-2)\right), \end{equation*} where $g=g_{{\mathbb{S}}^N}$is the Riemannian metric. We prove the existence of infinitely many double-tower type solutions, which are invariant under some non-trivial sub-groups of $O(3),$ and their energy can be made arbitrarily large.

math.AP↗

arXiv2023

Homotopy Classification of loops of Clifford unitaries

Clifford quantum circuits are elementary invertible transformations of quantum systems that map Pauli operators to Pauli operators. We study periodic one-parameter families of Clifford circuits, called loops of Clifford circuits, acting on $\mathsf{d}$-dimensional lattices of prime $p$-dimensional qudits. We propose to use the notion of algebraic homotopy to identify topologically equivalent loops. We calculate homotopy classes of such loops for any odd $p$ and $\mathsf{d}=0,1,2,3$, and $4$. Our main tool is the Hermitian K-theory, particularly a generalization of the Maslov index from symplectic geometry. We observe that the homotopy classes of loops of Clifford circuits in $(\mathsf{d}+1)$-dimensions coincide with the quotient of the group of Clifford Quantum Cellular Automata modulo shallow circuits and lattice translations in $\mathsf{d}$-dimensions.

math-ph↗

arXiv2023

Decomposition of $\mathcal{N}=1$ superconformal minimal models and their fractional quantum Hall wavefunctions

$\mathcal{N}=1$ superconformal minimal models are the first series of unitary conformal field theories (CFTs) extending beyond Virasoro algebra. Using coset constructions, we characterize CFTs in $\mathcal{N}=1$ superconformal minimal models using combinations of a parafermion theory, an Ising theory and a free boson theory. Supercurrent operators in the original theory also becomes sums of operators from each constituent theory. If we take our $\mathcal{N}=1$ superconformal theories as the neutral part of the edge theory of a fractional quantum Hall state, we present a systematic way of calculating its ground state wavefunction using free field methods. Each ground state wavefunction is known previously as a sum of polynomials with distinct clustering behaviours. Based on our decomposition, we find explicit expressions for each summand polynomial. A brief generalization to $S_3$ minimal models using coset construction is also included.

hep-th↗

arXiv2022

Non-degeneracy of solution for critical Lane-Emden systems with linear perturbation

In this paper, we consider the following elliptic system \begin{equation*} \begin{cases} -\Delta u = |v|^{p-1}v +\epsilon(\alpha u + \beta_1 v), &\hbox{ in }\Omega, \\-\Delta v = |u|^{q-1}u+\epsilon(\beta_2 u +\alpha v), &\hbox{ in }\Omega, \\u=v=0,&\hbox{ on }\partial\Omega, \end{cases} \end{equation*} where $\Omega$ is a smooth bounded domain in $\mathbb{R}^{N}$, $N\geq 3$, $\epsilon$ is a small parameter, $\alpha$, $ \beta_1$ and $ \beta_2$ are real numbers, $(p,q)$ is a pair of positive numbers lying on the critical hyperbola \begin{equation*} \begin{split} \frac{1}{p+1}+\frac{1}{q+1} =\frac{N-2}{N}. \end{split} \end{equation*} We first revisited the blowing-up solutions constructed in \cite{Kim-Pis} and then we proved its non-degeneracy. We believe that the various new ideas and technique computations that we used in this paper would be very useful to deal with other related problems involving critical Halmitonian system and the construction of new solutions.

math.AP↗