arXiv subjects

Tailin Wu

Publications and source records attributed to Tailin Wu.

At least 19 recordsLinked to original sources

arXiv2026

PACE: Geometry-Aware Bridge Transport for Single-Cell Trajectory Inference

Single-cell trajectory inference from destructive time-course snapshots is fundamentally ill-posed: neither cross-time cell correspondences nor continuous trajectories are observed, so the snapshot distributions alone do not uniquely determine the underlying dynamics. Existing optimal transport and flow-based methods typically couple cells by Euclidean proximity at observed clock times, which can misalign trajectories when development is asynchronous and cells sampled at the same experimental time occupy different latent pseudotime stages. We propose PACE, a trajectory inference framework that recovers geometry-consistent continuous transport dynamics from destructive time-course snapshots through three coupled components. First, PACE constructs a state- and time-dependent anisotropic Riemannian metric that assigns low transport cost along locally supported tangent directions while penalizing normal velocity components. Second, it alternates between refining cross-time couplings under the induced path-action cost and fitting endpoint-preserving neural bridges between adjacent snapshots. Third, it distills the learned bridge dynamics into a global continuous-time velocity field over cellular states. Across seven controlled and biological datasets covering nine held-out reconstruction experiments, PACE achieves the strongest overall reconstruction performance, reducing MMD, Wasserstein-1 distance, and Wasserstein-2 distance by 23.7% on average relative to the strongest competing baseline. PACE also improves RNA-velocity alignment by 15.4% on an embryoid body differentiation benchmark, without requiring explicit cell pairing, lineage tracing, or RNA-velocity supervision during training. Code is available at https://github.com/AI4Science-WestlakeU/PACE.

q-bio.GN↗

arXiv2026

Real-time Tokamak Equilibrium Reconstruction Under Limited Experimental Data via Physics-Grounded Synthetic Pre-training

Real-time equilibrium reconstruction is essential for tokamak plasma control. Data-driven surrogates are usually trained on high-quality labeled experimental data, but producing a large amount of labeled data sufficient for surrogate learning requires many expensive discharge shots, and few exist at the start of a new campaign or the operation of a new device. To reduce this cost, we propose to pre-train on simulated equilibria, generated at low cost by physics-based simulation, then fine-tune on limited real data. We evaluate under three settings with increasing difficulties, i.e., in-distribution, out-of-distribution (shape), and cross-campaign (temporal) splits, which mirror how reconstruction is actually deployed. Experimental results validate that synthetic pre-training is highly effective when few real labels are available: fine-tuning on only 1% of the full available real dataset cuts the per-sample normalized root-mean-square error (nRMSE) of the reconstructed poloidal flux by roughly 58% under out-of-distribution shapes and 64% under cross-campaign extrapolation, compared to a model trained from scratch on the same amount of real data. These realistic evaluations show that synthetic pre-training improves equilibrium reconstruction accuracy in the data-scarce regime that real tokamak campaigns face.

physics.plasm-ph↗

arXiv2026

Feature Information Dynamics in Diffusion

Diffusion models generate data through a continuum of denoising problems, and are widely observed to reveal coarse structure before fine detail. Yet, this intuition is mostly empirical and qualitative. We introduce feature information dynamics, an information-theoretic framework for localizing when a feature is generated during diffusion. Using the I-MMSE identity, we connect the rate of feature mutual information change to a gap between optimal unconditional and feature-conditional denoising losses, yielding practical estimators for feature information density. We further develop a chained decomposition that separates shared from incremental information in a feature hierarchy. We use this framework first to quantitatively confirm spectral autoregression in pixel diffusion, and then to extend the analysis beyond frequency: under a class $\to$ mask $\to$ Canny conditioning chain, the per-feature information densities differ across pixel, SDVAE, VAVAE, and RAE, exposing fundamental differences between these representations and suggesting that ordered generation could be beneficial for training diffusion models. Our code is available at https://github.com/AI4Science-WestlakeU/feature-information-dynamics.

stat.ML↗

arXiv2026

SINO: Scale-Invariant Neural Operator

In scientific machine learning, physical fields governed by partial differential equations exhibit low-rank structure and scale invariance. When solving equations on coarse grids, missing information leads to the closure problem: modeling unresolved physics to recover lost dynamics. Although closure terms depend on grid resolution, they represent scale-invariant physical laws. A model truly learning physics should capture these mechanisms with low-rank parameterization rather than memorizing grid-specific patterns. Inspired by this, we propose the Scale-Invariant Neural Operator (SINO), which learns on normalized physical scales via a dual-branch architecture operating in spectral and spatial domains. SINO uses bottleneck MLPs to generate continuous convolution kernels, embedding an explicit low-rank inductive bias that concentrates more than 95 percent of variance in 2-3 modes, as validated by PCA across benchmarks, while drastically reducing parameters. This principled design yields 38 times steeper scaling law exponents than FNO, demonstrating superior parameter efficiency. We compare SINO with traditional models (U-Net, DeepONet), Transformer models (Transolver, Oformer, GK-Transformer), and frequency-domain models (FNO, AMFNO, UFNO) on closure problems spanning externally forced Burgers turbulence, decaying Burgers turbulence, KS turbulence, Kolmogorov-forced NS turbulence, and decaying NS turbulence. Experiments show SINO achieves 1.5-38 times error reduction and 2-23 times parameter efficiency over baselines, with superior scaling laws reflecting exceptional data efficiency from principled low-rank design. Code is available at https://github.com/AI4Science-WestlakeU/SINO.

cs.LG↗

arXiv2026

No Universal Remainder Rate for Chambolle-Dossal Acceleration

Chambolle-Dossal acceleration guarantees $F(x_n)-F^*=o(n^{-2})$ for every fixed smooth convex loss with a minimizer. We show that this qualitative improvement admits no universal quantitative rate. For every damping parameter $α>3$ and positive nondecreasing gain $G(n)\to\infty$, we construct a fixed one-dimensional smooth convex loss whose exact CD orbit satisfies $\sup_{n\ge1} n^2G(n)\bigl(F(x_n)-F^*\bigr)=\infty$. Thus no divergent gain improves the $n^{-2}$ scale for all fixed losses, even with instance-dependent constants. The construction prescribes queried gradients and realizes infinitely many slow blocks within one smooth convex objective. Under local $p$-power growth with $p>2$ and sufficiently strong damping, we also construct a fixed loss whose exact CD orbit satisfies $F(x_n)-F^*\sim Dn^{-2p/(p-2)}$, $D>0$, establishing the sharpness of the known convergence rate. Both main results are formally verified in Lean 4.

math.OC↗

arXiv2026

Bayesian Filtering in Physical Systems via Test-time Trained Flow Matching

Bayesian filtering provides a principled framework for online state estimation under uncertainty, yet its application to systems with high-dimensional states and complicated posterior distributions remains challenging. Recent generative models, such as flow matching, have shown potential in Bayesian filtering. However, they still rely on particle-based representations of the posterior, which lose the rich information of the full distribution, or tackle a trajectory-level inverse problem that conflicts with the recursive structure of Bayesian filtering. To address this, we propose a new perspective of directly encoding the evolving distribution into flow matching model weights, namely, the Belief Flow Filter (BFF). It is a generative filtering framework that updates model weights via gradient descent at test time to track the posterior evolution. Thereby, BFF bypasses the scalability issue of particle representations or the flexibility limitation of Gaussian assumptions in conventional filters. We theoretically justify that the BFF design is structurally aligned with Bayesian filtering, and its training objective targets the recursive filtering operator. BFF is empirically verified across 5 different physical systems, including ones with chaotic dynamics and highly sparse, non-linear observations. The results show that BFF attains the best score in 8 of 9 metric-benchmark cells across the three standard 1D and 2D PDE benchmarks, and similarly leads on the extreme single-moving-sensor setting and on a real-world-grounded tokamak plasma estimation task, demonstrating its potential to accurately approximate the Bayesian filtering operator in high-dimensional probability space.

stat.ML↗

arXiv2026

Topological isomorphism of procountable groups is universal analytic

We prove that topological isomorphism of procountable groups is a universal analytic equivalence relation, answering a question of Gao, Nies, and Paolini. The same conclusion follows for non-Archimedean Polish groups. More strongly, there is one countable group $H$ for which universality already holds among inverse limits of sequences of surjective endomorphisms of $H$. Thus all the classification complexity can be carried by the bonding maps. We encode permutative equivalence of unconditional basic sequences by integer weights with prescribed symmetries. An extension of Gao, Nies, and Paolini's tree construction recovers bounded weight differences from uniform continuity while allowing these symmetries to act. Przeździecki's almost-full functor transfers the resulting inverse graph systems to groups. Identifying the stage graphs with a single graph makes the passage from weights to bonding endomorphisms continuous.

math.GR↗

arXiv2026

The Borel complexity of conjugacy for Cantor minimal systems

We prove that conjugacy of minimal homeomorphisms of the Cantor space is Borel bireducible with isomorphism of countable graphs, answering the Cantor minimal case of a question of Foreman. We obtain the lower bound by encoding countably based profinite groups. Finite quotient homomorphisms are represented by factor maps between a common family of minimal subshifts. Amalgamation makes the resulting inverse limit independent, up to conjugacy, of the quotient presentation. Conversely, finite-stage factorization recovers the group from any conjugacy of these inverse limits.

math.DS↗

arXiv2026

The Complex Banach Isometric Conjecture

Banach asked whether a normed space must be Hilbert if, for one fixed dimension greater than one, all subspaces of that dimension are linearly isometric. We prove the complex case. By the codimension-one reduction, the essential finite-dimensional problem is to characterize a balanced convex body in a complex $(n+1)$-space whose complex hyperplane sections are all complex-linearly equivalent. We show that such a body is a Hermitian ellipsoid. The proof adapts the recent bundle--degree method of Lu and Yang for the real problem, with two features specific to the complex setting. After covariance normalization, write $G=\operatorname{Aut}{\mathbb C}(S)$ for the complex-linear symmetry group of a model section $S$. The exact section maps form a principal $G$-bundle over $S^{2n+1}$; reduction to $G^{\circ}$ places its obstruction in $π{2n}(G^{\circ})$, which is finite. Pulling back by a suitable positive-degree self-map trivializes this bundle and yields a global Lipschitz family of exact complex-linear section maps. Brouwer degree and a signed degree formula then imply that $p_S^{2n+2}$ and $p_S^{2n+4}$ are real homogeneous polynomials, where $p_S$ is the norm of a model section. Unique factorization forces $p_S^2$ to be quadratic, and phase invariance makes the resulting quadratic form Hermitian. The parallelogram identity then yields the general complex Banach-space statement.

math.FA↗

arXiv2026

Path Integral Value Matching for Linear Quadratic Stochastic Optimal Control

Linear Quadratic Stochastic Optimal Control (LQ-SOC) establishes a fundamental framework for steering noisy dynamical systems and has recently gained renewed interest in the machine learning community. However, current state-of-the-art policy-based methods suffer from prohibitive computational costs and instability due to their heavy reliance on full-trajectory simulation. To overcome these limitations, we propose a paradigm shift toward a value-based approach by revisiting Path Integral Control (PIC). Although standard PIC suffers from the same high-variance bottleneck as policy-based methods, we discover that by truncating and marginalizing the original path integral formulation, we can derive a temporal recursive form of the value function. Building upon this theoretical foundation, we propose the Path Integral Value Matching (PI-VM) algorithm. Specifically, we employ temporal-difference learning to approximate the recursive value dynamics, and further integrate the Girsanov theorem with experience replay to enable off-policy training. We benchmark PI-VM against SOTA policy-based methods across various SOC benchmarks and sampling tasks. Empirical results demonstrate that PI-VM matches SOTA precision with an order-of-magnitude efficiency gain in low-dimensional settings, while effectively mitigating mode collapse in high-dimensional scenarios. Consequently, PI-VM offers a scalable solution for solving complex SOC problems.

cs.LG↗

arXiv2026

Bounded Representatives in Critical Sobolev-Hodge Spaces

Let $n\geq 2$, $1\leq \ell\leq n-1$, and $1<p<\infty$. We prove that every $v\in \dot W^{n/p,p}(\mathbb{R}^n;Λ^\ell)$ has a representative $u\in \dot W^{n/p,p}\cap L^\infty$ with $du=dv$ and $\max{|u|{\dot W^{n/p,p}},|u|{L^\infty}}\lesssim |v|{\dot W^{n/p,p}}$. Equivalently, $d[\dot W^{n/p,p}Λ^\ell]=d[(\dot W^{n/p,p}\cap L^\infty)Λ^\ell]$ with equivalent quotient norms. The proof reduces the selection problem to an endpoint graph estimate for a Riesz potential and the exact Hodge projection. Its main analytic input is a finite-dimensional-input Maz'ya--$Φ$ inequality for operator-valued homogeneous kernels. For the Riesz/Hodge pair, a nonlinear spherical profile built from the projected kernel has exact atomic cancellation and is coercive by the identity $\int{S^{n-1}}P(θ),d\barσ=(\ell/n)\operatorname{Id}$. Frequency-localized graph closure and Hahn--Banach duality then return a bounded representative.

math.FA↗

arXiv2026

The Minimum Cardinality of a Dependent Finite Gabor System Is Four

Recent work produced a linearly dependent system of twelve time--frequency shifts of a Schwartz function, disproving the HRT conjecture. We show that four shifts already suffice, and hence that four is the smallest possible cardinality of a dependent finite Gabor system. More precisely, set $α=\frac13+10^{-12}\sqrt2$ and $β=\frac13+10^{-12}\sqrt3$. We construct a nonzero complex-valued function $f\in\mathcal S(\mathbb R)$ and $λ\ne0$ such that $\left(I+\frac12W(1,0)+\frac12W(0,1/2)\right)W(α,β/2)f=λf$, where $W$ denotes the Weyl time--frequency shift. Since every system of at most three shifts of a nonzero $L^2(\mathbb R)$ function is linearly independent, this gives the sharp cardinality threshold. The construction uses the rank-two Zak bundle naturally associated with the covolume-$1/2$ lattice generated by $(1,0)$ and $(0,1/2)$. At the rational translation $(1/3,1/3)$, the three-step return has a uniformly dominated contracting line. A finite outward-rounded interval certificate proves that this line is topologically trivial. A quantitative perturbation argument carries the dominated line to the explicit algebraic translation above. A winding calculation and a Diophantine cohomological equation then flatten its scalar multiplier, and inverse Zak folding produces the required Schwartz function.

math.FA↗

arXiv2026

Mitigating Gradient Pathology in PINNs through Aligned Constraint

While Physics-Informed Neural Networks (PINNs) are powerful for solving Partial Differential Equations (PDEs), their training is often paralyzed by gradient pathology. The gradients from the PDE residuals and boundary constraints oppose each other, trapping the model in local minima. Current solutions, such as adaptive weighting or hard constraints, either fail to fundamentally resolve this ill-conditioning or are limited to simple geometries. In this study, we systematically analyze the possible causes of this gradient pathology from the perspectives of loss landscapes and optimization dynamics. Based on the obtained conclusion, we propose Constraint-Aligned loss with Manifold Lifting (CAML). By reformulating all zeroth-order terms into aligned constraints, our method effectively mitigates gradient conflicts. In addition, we introduce a delay factor to help the optimizer skip the high-curvature area. Experiments demonstrate that our CAML significantly enhances numerical stability and efficiency in highly complex PINN problems. Our code is open-sourced on https://github.com/YichenLuo-0/CAML.

cs.LG↗

arXiv2026

A Finite E-Group of Nilpotency Class Three

A group is an E-group if every element commutes with each of its endomorphic images. Caranti asked whether a finite E-group can have nilpotency class three. We prove that the $3$-group of order $3^{84}$ introduced by Abdollahi, Faghihi, and Mohammadi Hassanabadi, and later shown by Abdollahi, Faghihi, Linton, and O'Brien to have the corresponding automorphism property, is an E-group. Let $P$ denote this group and put $V=P/Φ(P)\cong \mathbb{F}_3^9$. The nine power relations of $P$ determine a linear map $q:V\longrightarrowΛ^2 V$. We prove that $q$ has no nonzero proper subspace $U$ satisfying $q(U)\subseteqΛ^2 U$. Since the image induced by any endomorphism of $P$ on $V$ has precisely this closure property, every endomorphism acts on $V$ either invertibly or trivially. The invertible case is the known A-group case. In the trivial case the image first lies in $Φ(P)=P'$, and the power relations then force it into $Ω_1(P')=Z(P)$. Thus every element commutes with every endomorphic image. The tensor rigidity is reduced to an exact finite calculation on the $9841$ points of $\mathrm{PG}(8,3)$.

math.GR↗

arXiv2026

A Proof of the Dittert Conjecture via Boundary Rigidity

Let $\mathcal{K}_n$ be the simplex of nonnegative $n \times n$ matrices whose entries sum to $n$. For $A$ in $\mathcal{K}_n$, with row sums $r_1,\ldots,r_n$ and column sums $c_1,\ldots,c_n$, define $Φ(A)=\prod_{i=1}^n r_i+\prod_{j=1}^n c_j-\mathrm{per}(A)$. Dittert conjectured that $Φ$ is uniquely maximized by the uniform matrix $U_n=J_n/n$, with maximum $2-n!/n^n$. We prove the conjecture for every $n \geq 2$. Hwang's theorem already determines every positive maximizer, so the essential problem is to exclude maximizers on the boundary of $\mathcal{K}_n$. A reduction of Cheon and Wanless supplies two zero entries in distinct rows and columns. In order four, we classify all admissible support strata and exclude them by exact Karush-Kuhn-Tucker identities together with a Bernstein-form positivity certificate. For all $n \geq 5$, an attained-stratum averaging argument compresses a hypothetical boundary maximizer to a seven-parameter matrix with one multiplicity $m=n-2$. A symbolic odd-variable expansion, a cofactor identity at the two missing entries, and uniform coefficient inequalities then contradict the one-sided multiplier conditions. This argument is uniform in $m$ and uses no finite enumeration. We also give independent spectral proofs in dimensions 7 through 13 and prescribed-zero proofs in dimensions 14 and 15. Every dimension-dependent calculation is certified over the rationals and recorded explicitly in the appendices.

math.RA↗

arXiv2026

An Explicit Counterexample to Stanley's Rankwise Lower-Bound Conjecture for Differential Posets

In Problem 6 of his 1988 paper on differential posets, Stanley asked for the least possible cardinality of a fixed rank of an $r$-differential poset and suggested that the minimum should be attained by $Y^r$, the $r$-fold Cartesian power of Young's lattice. We disprove the resulting universal coefficientwise lower bound. For every $r\geq 3$, we construct an infinite $r$-differential poset $P^{(r)}$ satisfying $\lvert P^{(r)}_4\rvert=\lvert (Y^r)_4\rvert-\lfloor r/3\rfloor$. For $r=3$, the construction replaces thirteen rank-four lower-cover blocks of $Y^3$ by twelve blocks with the same point and pair incidence multiplicities, producing the initial rank sequence $1,3,9,22,50$ instead of $1,3,9,22,51$. A reflection extension then yields an infinite differential poset. The construction does not address the cases $r=1$ and $r=2$.

math.CO↗

arXiv2026

A Negative Answer to Stanley's Problem 4 on Differential Posets

In Problem 4 of his 1988 paper on differential posets, Stanley asked whether the weighted $k$-multichain series of an arbitrary differential poset is always a rational multiple of the $k$th power of its rank series. We answer this question in the negative. Already for $k=2$, we construct a locally finite $1$-differential poset $P$ for which $M_{P,2}(q)/F_P(q)^2$ is not rational over any field of characteristic zero. The construction uses Wagner's crown reflection. At each sufficiently high rank there are two valid one-rank extensions with the same required Gram matrix and with new rank sizes differing by one. We show that the first quotient coefficient affected by that rank distinguishes the two choices. Choosing successively between them and diagonalizing against the rational power series produces the required poset. The same coefficient argument also yields continuum many distinct quotient series, of which continuum many are nonrational.

math.CO↗

arXiv2026

Self-complementary completions on six vertices

Let $\cthreshold(n)$ be the largest integer $q$ such that every loopless digraph on $n$ vertices with at most $q$ arcs is isomorphic to a spanning subdigraph of a self-complementary digraph of order $n$. We prove that $\cthreshold(6)=7$. The upper bound is witnessed by \[ \bK{3}\dunion (x\longrightarrow y\longrightarrow z), \] and follows from a direct argument with a self-complementing permutation. We also determine the complete eight-arc obstruction layer: it consists of five isomorphism classes, or three after converse digraphs are identified. All five are arc-minimal. Each nevertheless packs with an isomorphic copy of itself, so ordinary packing is strictly weaker than same-order self-complementary completion already at this first failure layer.

math.CO↗