arXiv Science⌕ Search

arXiv subjects

Miao Liu

Publications and source records attributed to Miao Liu.

At least 19 recordsLinked to original sources
arXiv2026

The Roadmap of Inorganic Computational Materials Databases: Capabilities, Credibility, Coverage, and the Open Frontier

Computational materials databases have become central infrastructure for data-driven discovery of inorganic materials, yet their growth remains strikingly uneven across property families. This perspective synthesizes a systematic survey of mainstream density functional theory (DFT) software, the computational cost and credibility of nineteen material-property families, and the coverage of existing computational databases, into a coherent picture of where the field stands and where it should go. We show that the ecosystem of first-principles codes is methodologically mature: for nearly every property of technological interest, at least one production-grade code can compute it.The binding constraint is no longer methodological capability but the economics of trust - which properties can be computed cheaply enough, and accurately enough, to be harvested at database scale. Mapping database coverage onto a Gartner-style readiness cycle reveals a sharp divide: ground-state structure, energetics, elasticity, and topology have reached routine production, while nine property families - including NMR/EPR parameters, core-level spectra, electron-phonon properties, thermal conductivity, and quantum transport - remain without any systematic computational database. We argue that these blank zones define the scientific opportunity of the next decade, and we propose a three-horizon roadmap: consolidating coverage and interoperability in the near term, industrializing mid-cost properties through surrogate-accelerated workflows in the medium term, and conquering the high-cost frontier through machine-learned interatomic potentials, autonomous computing infrastructure, and community governance in the long term.

cond-mat.mtrl-sci↗
arXiv2026

A proof of Chvátal's conjecture via a sharp correlation inequality

We prove Chvátal's conjecture, posed in 1972: every hereditary family of subsets of a finite set has a largest intersecting subfamily that is a star. More generally, we prove a sharp correlation inequality for increasing Boolean functions $f,g:\{0,1\}^n\to\{0,1\}$. Writing $g^*(x)=1-g(1-x)$, we show that $$ \sum_{\varnothing\ne S\subseteq[n]}\hat{g}(S)^2\max_{i\in S}\mathrm{Inf}_i[f]\le\frac{2\mathrm{Cov}(f,g)\mathrm{Cov}(f,g^*)}{\mathrm{Cov}(f,g)+\mathrm{Cov}(f,g^*)}. $$ When $g$ is antipodal, that is, $g=g^*$, this yields $\mathrm{Cov}(f,g)\ge\frac{1}{4}\min_{i\in[n]}\mathrm{Inf}_i[f]$, the correlation formulation of Chvátal's conjecture due to Friedgut, Kahn, Kalai and Keller.

math.CO↗
arXiv2026

Extremal problems for cancellative and locally thin hypergraphs

We study Turán-type extremal problems for cancellative and locally thin uniform hypergraphs. An $r$-uniform hypergraph is $t$-cancellative if $(\cup_{i=1}^t A_i)\cup B\ne (\cup_{i=1}^t A_i)\cup C$ whenever $A_1,\ldots,A_t,B,C$ are distinct edges. Let $C_t(n,r)$ denote the maximum number of edges in such a hypergraph on $n$ vertices. For all fixed integers $t,k\ge2$, we prove that $C_{2(t-1)}(n,tk)=(1+o(1))\frac{\binom{n}{k}}{\binom{tk-1}{k-1}}$ as $n\to\infty$. In the case $t=2$, this shows that Füredi's 2012 upper bound for $C_2(n,2k)$ is asymptotically sharp. The lower bound uses locally sparse induced packings, while the upper bound follows from double counting and a matching argument. More generally, for integers $s\ge t\ge1$, an $r$-uniform hypergraph is locally $(s,t)$-thin if among any $s$ distinct edges, at least $t$ contain a vertex that lies in none of the other $s-1$ edges. This notion includes cancellative hypergraphs as special cases. We establish general upper and lower bounds for the corresponding extremal numbers and determine their polynomial order of growth under suitable divisibility assumptions.

math.CO↗
arXiv2026

PIVOTSBench: Evaluating Fine-Grained Interpersonal Relationship Reasoning in Multimodal Large Language Models

Humans possess an innate ability to understand fine-grained interpersonal relationships, which is central to everyday social interactions. Although such reasoning is inherently multimodal, it remains largely unexplored by existing multimodal large language models (MLLMs). To address this gap, we introduce PIVOTS, the first benchmark built from Social-IQ 2.0 and YouTube data to evaluate MLLMs' ability to predict bidirectional interpersonal relationship dimensions grounded in established psychology research. In addition, PIVOTS includes auxiliary tasks that assess models' ability to identify and leverage the critical visual cues underlying such predictions. We evaluate both proprietary and open-source MLLMs and conduct detailed ablation studies to analyze the effects of visual modalities and explicit social role information in conversational utterances. We further examine how joint and pairwise prediction settings benefit MLLMs in scoring bidirectional PIVOTS dimensions. Project page: https://ciossayin.github.io/pivots-bench/

cs.CL↗
arXiv2026

Accelerating dynamic simulations of photoexcited materials and their evolution by electron-informed machine learning

Nonadiabatic coupled electron-nuclear dynamics upon electronic excitation underpin the microscopic mechanism and rational modulation of diverse photoinduced functional phenomena in materials, yet their direct first-principles simulations remain computationally demanding. Here we develop a framework for nonadiabatic excited-state machine-learning molecular dynamics (EMLMD) simulations, where the nonequilibrium electronic information upon photoexcitation such as electron temperature is rigorously calibrated from high-precision real-time time-dependent density functional theory (rt-TDDFT) benchmark simulations, enabling accurate reconstruction of excited-state potential energy surfaces (PES). This framework natively incorporates the excited-state electron-phonon couplings and intrinsically captures photoinduced phonon anharmonicity, both of which are missing in standard machine learning molecular dynamics, thus delivering first-principles-level accuracy for excited-state atomic evolutions. Large-scale EMLMD simulations resolve time- and momentum-resolved phonon dynamics in photoexcited materials, directly uncovering the competition between photogenerated coherent phonons and thermal phonons during photoinduced phase transition of bismuth. It also simultaneously resolves elusive atomic-scale microscopic dynamics and global structural rearrangement for selenium photoamorphization. Balancing high accuracy and efficiency, EMLMD offers a versatile paradigm to tackle key challenges in the study of complex excited-state molecular dynamics.

cond-mat.mtrl-sci↗
arXiv2026

Tracking unconventional superconductivity in the presence of strongly correlated Fermi arcs

One of the primary reasons that superconductivity in underdoped cuprates is enigmatic is that it emerges from an incoherent Fermi-arc state, so the applicability of the Bardeen-Cooper-Schrieffer (BCS) theory is questionable. Here we approach this problem by investigating unconventional $d$-wave superconductivity in a recently proposed solvable model for strongly correlated Fermi arcs. We show analytically that the exact incorporation of Fermi arcs fundamentally modifies the BCS equations, which enables us to isolate a many-body effect that suppresses the superconducting transition temperature $T_c$ beyond the simple reduction expected from a shrinking Fermi surface. The theory unambiguously produces: (i) a $T_c$ tracing out a dome as a function of hole doping, (ii) a new low-energy mode upon entering superconductivity, (iii) a suppressed superfluid stiffness in the underdoped regime, and (iv) a gap-to-$T_c$ ratio far exceeding the BCS limit, all consistent with experimental observations in cuprate superconductors. These findings provide an analytic benchmark for understanding how superconductivity emerges from a correlated Fermi-arc state in high-$T_c$ superconductors.

cond-mat.supr-con↗
arXiv2026

Probing strange-sector flavor-changing neutral currents at DUNE-like facilities

We investigate the sensitivity of DUNE-like facilities to flavor-changing neutral-current interactions between down and strange quarks through inclusive deep-inelastic neutrino scattering. In the framework of a general low-energy effective Lagrangian for Dirac and Majorana neutrinos, we evaluate projected sensitivities for CP- and $τ$-optimized beam configurations. The strongest bounds on the dimensionless Wilson coefficients, defined relative to the Fermi constant $G_F$, reach $\mathcal{O}(10^{-3})\text{--}\mathcal{O}(10^{-2})$ at the near detector, whereas far-detector limits are roughly one order of magnitude weaker. When systematic uncertainties are included, the near-detector sensitivity is dominated by the background-rate uncertainty, while the far-detector sensitivity is limited primarily by the signal-rate uncertainty. At the far detector, the dependence of the projected bounds on the neutrino mass ordering and the Dirac CP-violating phase $δ_{\mathrm{CP}}$ is largely confined to coefficients involving the electron flavor.

hep-ph↗
arXiv2026

Reading Is Not Using: Retrieval, Judgment, and the Design of AI Financial Research Workflows

Large language models (LLMs) are increasingly deployed as AI analysts to process financial disclosures and support AI-assisted investment decisions. Yet such systems are usually evaluated by what they can retrieve, not whether retrieved information affects their judgments. We identify a retrieval-integration gap in long-context financial analysis. Holding focal-firm information fixed and varying only unrelated context from 2,000 to 128,000 tokens, we find that a risk disclosure's influence on investment judgments falls to the experimental noise floor even as direct retrieval remains accurate. The pattern replicates across model families and judgment tasks and in experiments removing real disclosures from actual 10-K filings. More capable models postpone but do not eliminate the gap. Causal memory interventions show that compressed summaries and source-text lookup jointly transmit disclosures into judgments. Workflow architecture determines whether this transmission succeeds: chunk-and-summarize pipelines evict relevant information, whereas a targeted, structured restatement adjacent to the decision restores its influence. AI analyst performance is therefore jointly determined by model capability and workflow architecture. Retrieval-based evaluations can certify systems whose investment judgments ignore information they demonstrably retrieved.

cs.CL↗
arXiv2026

Upper-shadow comparisons on the slice and the Frankl--Tokushige product conjectures

Let $\mathcal{F}\subseteq\binom{[n]}k$, and let $\partial_{k\to\ell}\mathcal{F}$ be the family of all $\ell$-sets containing a member of $\mathcal{F}$. Writing $μ_k(\mathcal{F})=|\mathcal{F}|/\binom nk$, $p=k/n$, and $q=\ell/n$, we prove $$ μ_\ell(\partial_{k\to\ell}\mathcal{F})\geq \begin{cases}μ_k(\mathcal{F})^{\frac{\log q}{\log p}}, &0\leq μ_k(\mathcal{F})\leq p^2,\\ q\left[1-\left(1-\frac{μ_k(\mathcal{F})}{p}\right)^{ \frac{\log(1-q)}{\log(1-p)}} \ \ \right], &p^2\leq μ_k(\mathcal{F})\leq p,\\ 1-(1-μ_k(\mathcal{F}))^{\frac{\log(1-q)}{\log(1-p)}}, &p\leq μ_k(\mathcal{F})\leq1. \end{cases} $$ This yields a dimension-free closed-form lower bound for the finite Kruskal--Katona profile and each branch is asymptotically sharp. As the main application, we settle both the uniform and biased product conjectures of Frankl and Tokushige. If $r\geq2$, $0\leq k_i\leq(r-1)n/r$, and $\mathcal{F}_i\subseteq\binom{[n]}{k_i}$ are $r$-cross-intersecting, then $$ \prod_{i=1}^rμ_{k_i}(\mathcal{F}_i)\leq\prod_{i=1}^r\frac{k_i}{n}. $$ In biased product setting, we prove that for $r$-cross-intersecting families $\mathcal{A}_i\subseteq 2^{[n]}$ and $0\leq p_i\leq(r-1)/r$, $\prod_{i=1}^rμ_{p_i}(\mathcal{A}_i)\leq\prod_{i=1}^rp_i.$ We further determine all equality cases in both settings.

math.CO↗
arXiv2026

MOSH-WM: Mask-Grounded Soft-Hamiltonian Dynamics for Object-Centric World Models

Object-centric world models forecast future videos by evolving a set of entity slots, but the variables receiving dynamics supervision are often unconstrained visual features. We introduce \method{}, a mask-grounded soft-Hamiltonian world model that makes its position-like state explicitly depend on slot-owned image support. A frozen video-slot encoder produces slots and masks; spatial moments of mask-owned support form a canonical state $Q$, temporal differences form $P$, and a learned energy supplies a soft directional bias to a bounded learned increment. Decoder-relevant appearance and identity are stored separately in a causal visual context. A gated composer and bounded residual then combine this context with the propagated phase state to reconstruct decoder-compatible slots. On OBJ3D, given six observed frames and evaluated over the following 30 frames, \method{} reduces LPIPS by 25.0\% and spatial MSE by 33.7\% relative to the strongest object-centric baseline. On CLEVRER, given six observed frames and evaluated over the following ten frames, the corresponding reductions are 14.5\% and 18.7\%. Horizon-resolved visual and object-state measurements show that the complete model accumulates error more slowly throughout the 30-frame closed-loop rollout. Project page:https://github.com/moshwm-anon/-moshwm-anon.github.io.

cs.LG↗
arXiv2026

InteracVid: Building a Real Interactive Audio-Visual Response Dataset from Live-Chat Videos

Large language models have made text the default medium for human--AI interaction, buttext alone cannot express the full range of responses required by multimodal assistants,avatars, and embodied agents. While recent audio-video generative models can synthesizehigh-fidelity synchronized content, existing supervision is largely \emph{descriptive}:models are trained to render captions rather than to produce audio-visual responsescaused by external user interactions. We introduce \textbf{InteracVid}, \emph{the firstopen-source large-scale dataset that addresses this missing supervision}, so that everysample couples a preceding audio-visual context and an external stimulus with the realinteractive response that follows. We design a metadata-aware pipeline that extractsinteractive clips from long, noisy livestreams, yielding over \textbf{454K}context-query-response triplets from more than \textbf{59K} livestream videos andspanning conversation-centered, object-centric, procedural, embodied, and screen-basedscenarios. A ten-rater human study confirms that the extracted interactions are causal,natural, and temporally complete for both genuine and reconstructed queries. On aheld-out benchmark of \textbf{100} genuine live-chat queries, fine-tuning on InteracVidimproves both interaction planning and audio-video response generation, and anindependent human evaluation reproduces the system ranking and the conclusions obtainedwith our automatic judge. These results highlight interaction-structured data as acritical foundation for interactive multimodal generation.

cs.CV↗
arXiv2026

ElasticTTT: Prior-Preserving Test-Time Tuning for Video Editing

Test-Time Tuning (TTT) on pretrained diffusion models has emerged as a powerful paradigm for video editing. However, there exists a foundational mismatch between the distribution-mapping nature of generative models and the single-point optimization of standard TTT. In this paper, we demonstrate that this mismatch triggers \textit{Prior Collapse}, a degenerate state where the model discards the text conditions and spatial latents, collapsing generations to the source video, or entangling the features of distinct regions. To resolve this, we propose \textbf{ElasticTTT}, a novel framework that preserves the prior generative distribution and rescues generative elasticity. Specifically, we propose \textit{Target Distribution Regularization} to prevent sharp memorization minima, \textit{Contrastive CFG} to guide inference away from source biases, and \textit{Asynchronous Noise Schedule} to preserve unedited regions. Extensive evaluations, supported by theoretical analysis, demonstrate that ElasticTTT successfully preserves the generative prior of the base model, achieving state-of-the-art performance on one-shot video editing.

cs.CV↗
arXiv2026

Sharp asymptotic bounds for uniform union-free hypergraphs

An $r$-uniform hypergraph is called $t$-union-free if any two distinct subsets of at most $t$ edges have distinct union. The study of union-free hypergraphs has multiple origins and a long history, dating back to the works of Kautz and Singleton (1964) in coding theory, Bollobás and Erdős (1976) in combinatorics, and Hwang and Sós (1987) in group testing. Let $U_t(n,r)$ denote the maximum number of edges in an $n$-vertex $t$-union-free $r$-uniform hypergraph. In this paper, we determine the asymptotic behavior of $U_t(n,r)$, up to a lower order term, for almost all $t\ge 3$ and $r\ge 3$. This significantly advances the understanding of this extremal function, as previously, only the asymptotics of $U_2(n,3)$ and $U_2(n,4)$ were known. As a key ingredient of our proof, we establish the existence of near-optimal locally sparse induced hypergraph packings, which is of independent interest.

math.CO↗
arXiv2026

Aligning Heterogeneous DFT Datasets: A Graph Neural Network Approach to Cross-Functional Formation Energies

Heterogeneous density functional theory (DFT) calculations, particularly plane-wave implementations, introduce systematic formation energy errors ranging from tens to hundreds of meV/atom, depending on the selection of exchange-correlation functionals, kinetic energy cutoffs, pseudopotentials, and dispersion corrections. As demonstrated by the MatPES dataset, identical structures can exhibit an average energy discrepancy of 107 meV/atom between PBE and r2SCAN calculations. Such method-dependent discrepancies hinder the integration of multi-source DFT data, greatly limiting the scale and quality of datasets for training robust materials AI models. Here, we resolve this fundamental data silo barrier via graph-based transfer learning. Leveraging 380,190 structurally paired PBE-r2SCAN entries from the MatPES database, we train a structure-aware graph neural network to predict cross-functional energy residuals and align inconsistent DFT energy scales. By adopting GPTFF model architecture, the model converts conventional PBE energies to r2SCAN-level accuracy with a mean absolute error of 14.3 meV/atom, compared with 18.2 meV/atom achieved by CHGNet. This versatile approach effectively upgrades massive legacy PBE datasets to high-precision r2SCAN standards. It enables reliable predictions of phase stability, battery voltage profiles, and reaction thermodynamics, while allowing the integration of multi-source DFT data to advance the development of high-performance materials foundation models.

cond-mat.mtrl-sci↗
arXiv2026

MatDiffract: A Material-Informed Automated Analysis Platform for X-ray Powder Diffraction

High-throughput experimentation and self-driving laboratories are drastically accelerating materials discovery, yet automated interpretation of X-ray powder diffraction (XRPD) data remains a critical rate-limiting step. Conventional search-match workflows rely heavily on expert manual intervention, while pure data-driven machine learning approaches suffer from limited generalizability across chemical systems and lack rigorous crystallographic interpretability. Here we present MatDiffract, a material-informed automated analysis platform for high-throughput XRPD characterization. Built on a first-principles density functional theory (DFT)-derived inorganic crystal structure database, Atomly, MatDiffract constructs a perturbation-augmented simulated diffraction database, embeds multi-scale diffraction features into indexable vectors, and integrates hierarchical vector retrieval with full-pattern fitting Rietveld refinement and quantitative phase fitting. Benchmarked on 875 single-phase experimental patterns, the platform achieves 91.3% Top-1 and 97.2% Top-10 identification accuracy after automated refinement. For binary and ternary multiphase mixtures, it delivers 85.0% and 70.0% Top-1 accuracy with mass fraction mean absolute errors as low as 1.2% and 1.8%, respectively. Beyond mere phase labeling, MatDiffract outputs full crystallographic results including refined structural models, fitted profiles, and quantitative compositions within tens of seconds per sample. Its modular vector-based architecture supports seamless incremental expansion to new material systems, providing an end-to-end solution to close the characterization throughput gap for autonomous materials discovery and high-throughput materials development.

cond-mat.mtrl-sci↗
arXiv2026

Graph Neural Network Force Fields (GPTFF-mol) for Organic Molecules from Optimization Trajectories (OpenGEM26)

Density functional theory (DFT) serves as a reliable tool for atomistic molecular simulations, while machine learning potentials have become powerful complements to balance accuracy and efficiency. In this work, we release OpenGEM26 (Open Generated Ensemble of Molecules, 2026), a large-scale dataset comprising 200,000 unique molecules and 4.4 million conformations composed of H, C, N, O, S and Cl with up to ten heavy atoms. All calculations are carried out at the ωB97X-D/Def2-SVP and Def2-TZVP levels with dispersion corrections, and complete structural optimization trajectories and abundant non-equilibrium structures are recorded. Statistical analyses confirm that this dataset covers a broader conformational space than QM9 in terms of energy, bond lengths and bond angles. A graph neural network-based potential GPTFF-mol is trained using the new dataset, achieving an energy mean absolute error of 16 meV/molecule, which is equivalent to 0.82meV/atom, and superior force prediction performance compared with ANI-2x. Validated by butane rotation and keto-enol tautomerization tests, the model accurately describes molecular dynamical behaviors and reaction barriers at distorted geometries. This work provides a high-quality resource and robust ML potential for efficient simulations of sulfur- and chlorine-containing organic molecules.

physics.chem-ph↗
arXiv2026

Quench of chiral superconductivity by quantum phase fluctuations in twisted cuprate bilayers

Following theoretical proposals of chiral $d+id'$ superconductivity in twisted cuprate bilayers, experimental signatures of time-reversal symmetry breaking (TRSB) remain highly controversial. Here we demonstrate that quantum phase fluctuations fundamentally reshape the phase diagram of this proposed chiral state. Unlike regular superconducting orders, the chiral $d+id'$ state requires long-range coherence of an interlayer phase degree of freedom and is therefore intrinsically vulnerable to phase fluctuations. Incorporating these fluctuations nearly eliminates the chiral phase over most parts of the phase diagram, restricting it to a narrow twist-angle window and ultra-low temperatures. Phase fluctuations also strongly weaken Josephson phase locking near a twist angle of $45^\circ$. More broadly, our work establishes quantum phase fluctuations as a fundamental constraint on the emergence of TRSB phases in low-dimensional layered quantum materials.

cond-mat.supr-con↗
arXiv2026

Collective phase modes in twisted $d$-wave superconducting bilayers

Twisted cuprate bilayers have been predicted to host high-temperature chiral $d+id'$ superconductivity, originating from higher-order Josephson coupling processes. In such two-dimensional superconducting systems, long-wavelength fluctuations in the phase of the superconducting order parameter constitute gapless collective modes and therefore remain significant even at zero temperature. Here, we perform a theoretical analysis of the low-energy phase fluctuations in twisted $d$-wave superconducting bilayers within a self-consistent harmonic approximation, systematically retaining Josephson coupling to all orders. We demonstrate that higher-order Josephson coupling processes lead to nontrivial modifications of the phase dynamics. The momentum-resolved summand of the relative-phase stiffness is nonzero even in the normal state because interlayer tunneling explicitly breaks the intralayer U(1) symmetry, but its momentum integral vanishes for the continuum dispersion. The relative-phase stiffness is smaller in the $d+id'$ phase than in the $d$-wave phase, while the overall-phase stiffness has the opposite behavior. Furthermore, phase fluctuations strongly soften the Josephson plasma frequency near a twist angle of $45^\circ$ and also substantially reduce the Josephson critical current.

cond-mat.supr-con↗