arXiv subjects

Tian Cui

Publications and source records attributed to Tian Cui.

At least 19 recordsLinked to original sources

arXiv2026

Self-induced crystalline fluctuation spin-glass state in Mn7C3 binary compounds

Crystalline spin glasses are attractive compounds owing to their unique nature and applications. Here, we synthesised a bulk Pnma-type Mn7C3 spin glass by a high-temperature, high-pressure method. Experimental characterisation including X-ray diffraction and magnetic susceptibility measurements demonstrated that the compound has a triangular Ising-model-based structure, high freezing temperature of 37.4 K, and novel competition mechanism. Theoretical calculations and simulations revealed that the triangular Mn units are spontaneously frustrated and bridge neighbouring Mn units via polarised C atoms and messenger Mn atoms. Triangular C units each share one electron within a three-pronged electron cloud. This electron is the direct cause of frustration and competition in Mn7C3. The competition within the triangular Mn units suggests that the possible magnetic configurations are highly degenerate and that the Mn7C3 spin glass has high robustness. This work introduces a new family of spin glasses with ordered microgeometries that drive electronic structure disorder, and an application-friendly spin-glass material for use in fields like high-efficiency hardware and algorithm design in artificial intelligence.

cond-mat.mtrl-sci↗

arXiv2026

MechGeo: Autoformalizing and Proving Euclidean Geometry in Lean 4

We present MechGeo, a Mathlib native agentic framework that jointly addresses faithful autoformalization and certified proof construction for Euclidean geometry. In this framework, GeoFormalizer represents informal problems in GeoIR, deterministically translates them into Lean 4, and iteratively repairs candidate statements using structural diagnostics and semantic evaluation. GeoProver constructs geometric proof plans, derives intermediate lemmas, and selectively algebraizes suitable subgoals through a library verified in Lean. Singular or SymPy may generate algebraic certificates, but all resulting proofs and counterexamples are checked by Lean's kernel. Experiments across seven LLM backbones show substantial improvements in autoformalization, particularly for models with weaker direct translation performance. On 43 historical IMO geometry problems, GeoFormalizer generates formal statements that GeoProver proves in 29 cases; for the remaining 14, it constructs counterexamples verified in Lean and proves all repaired statements after expert correction. Together with IMO 2026 Problem 2, this yields, to the best of our knowledge, the largest reported collection of automated, kernel-checked Lean proofs for IMO geometry problems. On the 14 geometry statements in LEAP's Lean-IMO-Bench, MechGeo proves 12 for the first time, formally refutes the remaining two, and proves both repaired statements. These results establish counterexample guided diagnosis, geometric reasoning, and certified symbolic computation as a practical foundation for trustworthy formal geometry.

cs.AI↗

arXiv2026

Anharmonicity Driven by Vacancy Ordering Unlocks High-performance Thermoelectric Conversion in Defective Chalcopyrites II-III$_2$-VI$_4$

Defective chalcopyrites have recently emerged as promising thermoelectric materials because their ordered intrinsic vacancies can profoundly reshape both lattice dynamics and electronic structure. Here, we present a comprehensive theoretical investigation of the lattice thermal and carrier transport properties of II-III$_2$-VI$_4$ defective chalcopyrites by combining first-principles calculations with machine-learning interatomic potentials. We show that vacancy ordering enhances lattice distortion, leading to strong anharmonicity and metavalent bonding. The interplay of soft low-frequency phonons, strongly negative Gr\"uneisen parameters, and a substantially enlarged four-phonon scattering phase space results in four-phonon-scattering-dominated heat transport, yielding ultralow lattice thermal conductivity. Meanwhile, systematic anion substitution at the VI-site provides an effective route to tune the electronic structure: reduced anion electronegativity weakens metal-anion hybridization, shifts anion $p$ states upward, narrows the band gap, and thereby improves electrical transport. Benefiting from this synergy between vacancy-induced phonon suppression and anion-regulated electronic optimization, CdGa$_2$Te$_4$ exhibits an ultralow lattice thermal conductivity of 0.19 W$\cdot$m$^{-1}$K$^{-1}$ and a high room-temperature $ZT$ of 0.957. This work not only predicts defective chalcopyrites as a promising platform for high-performance thermoelectrics but also provides a practical design strategy by integrating vacancy ordering, higher-order phonon scattering, and anion-dependent band engineering.

cond-mat.mtrl-sci↗

arXiv2026

$\sigma$ bands driven high-temperature superconductivity in hydrogenated hexagonal BC$_3$ monolayer

Material with metallic $\sigma$-bonding bands is expected to be a high-temperature superconductor, due to the sensitivity of $\sigma$ electrons to lattice vibration. Based on the first-principles calculations, electronic structures of hydrogenated BC$_3$ monolayers (H$_n$-B$_2$C$_6$ with $n$=1-8) are systematically investigated. At high coverage of hydrogen, the monolayer stabilizes in chair-like $sp^3$-hybridized configurations, leading to the metallization of $\sigma$ bands, especially in H$_7$-B$_2$C$_6$ and H$_8$-B$_2$C$_6$. This metallicity originates from the electron deficiency of boron, compared with insulating graphane. Utilizing Wannier interpolation, the electron-phonon coupling strengths for metallic phases of H$_n$-B$_2$C$_6$ are determined. As expected, strong couplings are identified between the conducting $\sigma$ electrons and low-frequency phonon modes. By solving the anisotropic Eliashberg equations, we confirm that H$_7$-B$_2$C$_6$ and H$_8$-B$_2$C$_6$ are single-gap superconductors with critical temperature being 87 K, exceeding the boiling point of liquid nitrogen. Considering that monolayer BC$_3$ has been synthesized in experiment, our results demonstrate that hydrogenation of two-dimensional BC$_3$ provides a viable pathway to achieve high-temperature superconductivity at ambient pressure.

cond-mat.supr-con↗

arXiv2026

Metal hydrides achieve high-Tc superconductivity at low pressure by mimicking high-pressure H3S chemical bonding

Compressed hydrides are promising candidates for high-temperature superconductivity, yet achieving simultaneous structural stability and high-Tc at low pressures remains challenging. Here, we introduce a new mechanism for accomplishing this goal by mimicking the bonding characteristics of high-pressure H3S within metal hydrides. Using Li3CuH4 as an example, its Cu-H covalent interaction effectively mimics the core function of the S-H bonding in H3S. This interaction not only induces a high hydrogen-derived electronic density of states at the Fermi level, but also softens the hydrogen phonon modes, thereby significantly enhancing the electron-phonon coupling. Furthermore, embedding the strongly ionic Li3H lattice into the covalent Cu-H framework stabilizes the structure at significantly low pressures via a chemical-template effect, while maintaining high-Tc. Li3CuH4 exhibits excellent thermodynamic stability at 20 GPa, with a Tc of 39.25 K at 12 GPa. Further comprehensive high-throughput studies on Li3MH4 (M = transition metal) compounds uncover general principles applicable to a broader range of compounds. This work establishes a new paradigm for the simultaneous optimization of the stability and high-temperature superconductivity of metal hydrides through complementary sublattice interactions, thus advancing the search for practical and viable superconducting materials.

cond-mat.supr-con↗

arXiv2026

Strain-triggered high-temperature superconducting transition in two-dimensional carbon allotrope

Driving non-superconducting materials into a superconducting state through specific modulation is a key focus in the field of superconductivity. Pressure is a powerful method that can switch a three-dimensional (3D) material between non-superconducting and superconducting states. In the two-dimensional (2D) case, strain engineering plays a similar role to pressure. However, purely strain-induced superconductivity in 2D systems remains exceedingly scarce. Using first-principles calculations, we demonstrate that a superconducting transition can be induced solely by applying biaxial tensile strain in a 2D carbon allotrope, THO-graphene, which is composed of triangles, hexagons, and octagons. Free-standing THO-graphene is non-superconducting. Surprisingly, the electron-phonon coupling in strained THO-graphene is enhanced strong enough to pair electrons and realize superconductivity, with the highest superconducting transition temperature reaching 45 K. This work not only provides a notable example of controlling metal-superconductor transition in 2D system just via strain, but also sets a new record of superconducting transition temperature for 2D elemental superconductors.

cond-mat.supr-con↗

arXiv2025

Coexistence of near-EF van Hove singularity and in-gap topological Dirac surface states in superconducting electrides

Superconducting electrides have attracted growing attention for their potential to achieve high superconducting transition temperatures (TC) under pressure. However, many known electrides are chemically reactive and unstable, making high-quality single-crystal growth, characterization, and measurements difficult, and most do not exhibit superconductivity at ambient pressure. In contrast, La3In stands out for its ambient-pressure superconductivity (TC ~ 9.4 K) and the availability of high-quality single crystals. Here, we investigate its low-energy electronic structure using angle-resolved photoemission spectroscopy and first-principles calculations. The bands near the Fermi energy are mainly derived from La 5d and In 5p orbitals. A saddle point is directly observed at the Brillouin zone (BZ) boundary, while a three-dimensional van Hove singularity crosses EF at the BZ corner. First-principles calculations further reveal topological Dirac surface states within the bulk energy gap above EF. The coexistence of a high density of states and in-gap topological surface states near EF suggests that La3In offers a promising platform for tuning superconductivity and exploring possible topological superconducting phases through doping or external pressure.

cond-mat.supr-con↗

arXiv2025

Evidence for Anion-Free-Electron Duality and Enhanced Superconducting Role of Interstitial Anionic Electrons in Electrides

The discovery of superconducting electrides, characterized by interstitial anionic electrons (IAEs) residing in lattice cavities, has established a distinctive platform for investigating superconductors. Yet the superconducting origin and the fundamental role of IAEs in Cooper pairing formation remain poorly understood due to the challenges in directly observing IAEs. Here, combining angle-resolved photoemission spectroscopy (ARPES), transport measurements, and first-principles calculations, we certify that the IAEs in electride La3In (Tc = 9.4 K) exhibit a dual nature as both anions and free electrons. With the finite-depth potential well model, we trace that IAEs originate from electronic states near the Fermi level located above potential barriers, forming a Fermi sea susceptible to scattering by La-derived phonons, triggering superconductivity. ARPES combined with high-resolution XRD measurements on oxygen-treated samples directly reveals IAEs' spatial distribution and energy dispersion from interstitial sites with the consistent energy value predicted by our theory model. The concomitant diminution of free electrons upon oxygen treatment, leading to a marked reduction in superconductivity, further provides compelling experimental evidence that IAEs actively participate in electron-phonon coupling. Our findings resolve the long-standing ambiguity regarding the electronic nature of IAEs, elucidate their enhancing superconductivity in the phonon-mediated mechanism, and provide a foundation for exploring advanced electride-based superconductors.

cond-mat.supr-con↗

arXiv2025

Constructing a bifunctional platform based on Mn2+-doped Mg2Y8(SiO4)6O2 phosphors for multi-parameter optical thermometry and manometry

Series of the Mn2+-doped Mg2Y8(SiO4)6O2 phosphors were synthesized. Upon excitation at 408 nm, these phosphors exhibited intense orange emission originating from Mn2+, with concentration quenching observed beyond x = 0.07, and they also demonstrated excellent thermal stability. For optical thermometry, two independent parameters, emission band centroid ({\lambda}) and lifetime, were employed as thermal indicators, yielding sensitivities of d{\lambda}/dT = 0.053 nm K-1 and SR = 0.86% K-1, respectively. High-pressure in-situ X-ray diffraction revealed that the phosphors retained structural integrity under compression, accompanied by a progressive lattice contraction. With increasing pressure (0.13-10.89 GPa), a spectral red-shift was observed, corresponding to a pressure sensitivity of d{\lambda}/dp = 4.75 nm GPa-1. Additionally, pressure-dependent shifts in color coordinates allowed the development of a colorimetric manometric response, achieving a relative sensitivity of 3.27% GPa-1. Remarkably, the pressure-induced spectral shift of Mn2+ emission, characterized by low thermal cross-sensitivity, enabled a highly reliable ratiometric manometric strategy, with a relative sensitivity of 72% GPa-1. Notably, the system delivered the highest TIMF reported to date above 3 GPa, peaking at 1940 K GPa-1 at 7 GPa. These results position Mn2+-doped Mg2Y8(SiO4)6O2 phosphors as a highly promising bifunctional material for next-generation, multi-parameter optical sensing applications under extreme conditions.

cond-mat.mtrl-sci↗

arXiv2025

Revealing superconducting gap in La$_3$Ni$_2$O$_7$-$\delta$ by Andreev reflection spectroscopy under high pressure

The recent discovery of compressed superconductivity at 80~K in La$_3$Ni$_2$O$_7$-$\delta$ has brought nickelates into the family of unconventional high-temperature superconductors. However, due to the challenges of directly probing the superconducting pairing mechanism under high pressure, the pairing symmetry and gap structures of nickelate superconductors remain under intense debate. In this work, we successfully determine the microscopic information on the superconducting gap structure of La$_3$Ni$_2$O$_7$-$\delta$ samples subjected to pressures exceeding 20~GPa, by constructing different conductance junctions within diamond anvil cells. By analyzing the temperature-dependent differential conductance spectra within the Blonder--Tinkham--Klapwijk (BTK) model, we have determined the superconducting energy gap at high pressure. The differential conductance curves reveal a two-gap structure with $\Delta_{1} = 23~\mathrm{meV}$ and $\Delta_{2} = 6~\mathrm{meV}$, while the BTK fitting is consistent with an $s$-like, two-gap spectrum. The gap ratio $2\Delta_{s1}(0) / k_{\mathrm{B}}T_{c}$ is found to be 7.61, belonging to a family of strongly coupled superconductors. Our findings provide valuable insights into the superconducting gap structures of the pressure-induced superconducting nickelates.

cond-mat.supr-con↗

arXiv2025

Diffuson-Dominated Thermal Transport Crossover from Ordered to Liquid-like Cu$_3$BiS$_3$:The Negligible Role of Ion Hopping

Fundamentally understanding lattice dynamics and thermal transport behavior in liquid-like, partially occupied compounds remains a long-standing challenge in condensed matter physics. Here, we investigate the microscopic mechanisms underlying the ultralow thermal conductivity in ordered/liquid-like Cu$_3$BiS$_3$ by combining experimental methods with first-principles calculations. We first experimentally synthesize and characterize the ordered structure and liquid-like, partially Cu-atom occupied Cu$_3$BiS$_3$ structure with increasing temperature. We then combine self-consistent phonon calculations, including bubble-diagram corrections, with the Wigner transport equation, considering both phonon propagation and diffuson contributions, to evaluate the anharmonic lattice dynamics and thermal conductivity in phase-change Cu$_3$BiS$_3$. Our theoretical model predicts an ultralow thermal conductivity of 0.34 W/m/K at 400 K, dominated by diffuson contributions, which accurately reproduces and explains the experimental data. Importantly, the machine-learning-based molecular dynamics (MD) simulations not only reproduced the partially Cu-atom occupied Cu$_3$BiS$_3$ structure with the space group $\mathrm{P2_12_12_1}$ but also successfully replicated the thermal conductivity obtained from experiments and Wigner transport calculations. This observation highlights the negligible impact of ionic mobility arising from partially occupied Cu sites on the thermal conductivity in diffuson-dominated thermal transport compounds. Our work not only sheds light on the minimal impact of ionic mobility on ultralow thermal conductivity in phase-change materials but also demonstrates that the Wigner transport equation accurately describes thermal transport behavior in partially occupied phases with diffuson-dominant thermal transport.

cond-mat.mtrl-sci↗

arXiv2025

Mechanisms driving robust high-temperature superconductivity in complex metal hydrides under moderate pressure

The discovery of near-room-temperature superconductivity in compressed hydrides has sparked intensive research efforts to identify superconducting hydrides stable at low or even ambient pressures. Herein, we demonstrate a new mechanism for achieving robust superconductivity in complex metal hydrides under moderate pressure, using Li3IrH9 as a paradigmatic example. This compound displays unique electronic structural characteristics where the broadening and overlap between antibonding electronic bands of [IrH8]2- and adjacent H- orbitals not only drive the intrinsic metallicity of the hydrogen sublattice, generating hydrogen-dominated electronic states at the Fermi level, but also soften hydrogen-related optical phonon modes, inducing strong electron-phonon coupling that remains robust even under high-pressures. First-principles calculations predict that Li3IrH9 maintains thermodynamic stability at 100 GPa while exhibiting a consistently high Tc exceeding 100 K across a broad pressure range (8-150 GPa). Through high-throughput computational screening, we have identified a new superconducting family based on this structural prototype, including Li3RhH9 (Tc = 124 K at 20 GPa) and Li3CoH9 (Tc = 80 K at 10 GPa). This work provides a new platform and original theoretical insights for the development of complex metal hydride superconductors that exhibit robust high-temperature superconductivity and promising practical applications.

cond-mat.supr-con↗

arXiv2025

First-principles study on Pr-doped Bilayer Nickelate La3Ni2O7

Recently, the Pr-doped Ruddlesden-Popper phase of bilayer nickelate La3Ni2O7 has been reported to exhibit a superconducting transition temperature (Tc) of 82.5 K and superconducting volume fraction of about 57 % at high pressure. However, the effect of Pr-doping on La3Ni2O7 remains unclear. Here, we studied the crystal structures and electronic properties of Pr-doped La3Ni2O7 at 0 and 15 GPa based on the first-principles calculations to explore the doping effect of Pr. Our findings indicate that the praseodymium atoms prefer to occupy the outer La-O layers site. We then investigated the evolution of crystal structures in both the ambient pressure phase and high pressure phase of La3Ni2O7 as a function of doping concentration, revealing inconsistent trends in their evolution with increasing doping levels. Finally, by fitting the bilayer two-orbital model, we propose that doping Pr may benefit for superconductivity of La3Ni2O7. These results not only can help the further experimental search of RP phase nickelate at lower pressure, but also provide helpful guide for understanding the effect of chemical pressure in isovalent doped RP phase nickelate superconductor.

cond-mat.supr-con↗

arXiv2025

FF7: A Code Package for High-throughput Calculations and Constructing Materials Database

Decades accumulation of theory simulations lead to boom in material database, which combined with machine learning methods has been a valuable driver for the data-intensive material discovery, i.e., the fourth research paradigm. However, construction of segmented databases and data reuse in generic databases with uniform parameters still lack easy-to-use code tools. We herein develop a code package named FF7 (Fast Funnel with 7 modules) to provide command-line based interactive interface for performing customized high-throughput calculations and building your own handy databases. Data correlation studies and material property prediction can progress by built-in installation-free artificial neural network module and various post processing functions are also supported by auxiliary module. This paper shows the usage of FF7 code package and demonstrates its usefulness by example of database driven thermodynamic stability high-throughput calculation and machine learning model for predicting the superconducting critical temperature of clathrate hydrides.

cond-mat.mtrl-sci↗

arXiv2025

The effect of Carrier Doping and Thickness on the Electronic Structures of La$3$Ni$2$O$7$ Thin Films

Recently, the superconductivity of bilayer nickelate La3Ni2O7 has been observed in the thin film at ambient pressure, facilitated by epitaxial strain. Here, we investigate the effects of film thickness and carrier doping on the electronic structure of La3Ni2O7 thin films with thickness of 0.5-3 unit cells (UC) using first-principles calculations. At an optimal doping concentration of 0.4 holes per formula unit for 2UC film, the Ni-"d" _("z" ^"2" ) interlayer bonding state metallizes, leading to the formation of {\gamma} pockets at the Fermi surface, which quantitatively matches the experimental results of angle-resolved photoemission spectroscopy (ARPES). These findings provide theoretical support for recent experimental observations of ambient-pressure superconductivity in La3Ni2O7 thin films and highlight the crucial role of film thickness and carrier doping in modulating electronic properties.

cond-mat.supr-con↗

arXiv2024

High-throughput discovery of robust room-temperature superconductors among complex ternary clathrate hydrides

After the decade-long exhaustive study of binary high-Tc superconducting hydrides, the frontier of this stimulating research field has recently shifted to ternary hydrides with much expanded conformational space in search of coveted room-temperature superconductors. This task, however, presents a formidable challenge due to enormous demands on computational resources. Here, we devise an efficient high-throughput approach using keen material insights and a self-built database to screen for robust ternary hydrides in clathrate structures, which were proven to host highest Tc in binary hydrides, and to estimate Tc by a reliable empirical formula. This approach has made it possible to uncover a diverse set of complex multiple-hydrogen-cage ternary hydrides hosting near or above room-temperature Tc, which are beyond the reach of prevailing structure search methods. This study establishes a distinct paradigm that opens a fresh avenue to enable and accelerate the discovery of promising room-temperature superconductors among unprecedented complex clathrate hydrides.

cond-mat.supr-con↗

arXiv2024

Fast and stable tight-binding framework for nonlocal kinetic energy density functional reconstruction in orbital-free density functional calculations

Nonlocal kinetic energy density functionals (KEDFs) with density-dependent kernels are currently the most accurate functionals available for orbital-free density functional theory (OF-DFT) calculations. However, despite advances in numerical techniques and using only (semi)local density-dependent kernels, nonlocal KEDFs still present substantial computational costs in OF-DFT, limiting their application in large-scale material simulations. To address this challenge, we propose an efficient framework for reconstructing nonlocal KEDFs by incorporating the density functional tight-binding approach, in which the energy functionals are simplified through a first-order functional expansion based on the superposition of free-atom electron densities. This strategy allows the computationally expensive nonlocal kinetic energy and potential calculations to be performed only once during the electron density optimization process, significantly reducing computational overhead while maintaining high accuracy. Benchmark tests using advanced nonlocal KEDFs, such as revHC and LDAK-MGPA, on standard structures including Li, Mg, Al, Ga, Si, III-V semiconductors, as well as Mg$_{50}$ and Si$_{50}$ clusters, demonstrate that our method achieves orders-of-magnitude improvements in efficiency, providing a cost-effective balance between accuracy and computational speed. Additionally, the reconstructed functionals exhibit improved numerical stability for both bulk and finite systems, paving the way for developing more sophisticated KEDFs for realistic material simulations using OF-DFT.

cond-mat.mtrl-sci↗

arXiv2024

Bidirectional Optimization onto Thermoelectric Performance via Hydrostatic-Pressure in Chalcopyrite AgXTe2 (X=In, Ga)

Pressure tuning has emerged as a powerful strategy for manipulating the thermoelectric properties of materials by inducing structural and electronic modifications. Herein, we systematically investigate the transport properties and thermoelectric performance concerning lattice distortions induced by hydrostatic pressure in Ag-based chalcopyrite AgXTe2 (X=In, Ga). The findings reveal that the lattice distortion in AgXTe2 exhibits distinct behaviors under lattice compression, diverging from trends observed at ambient pressure. Importantly, the hydrostatic pressure breaks the phenomenally negative correlation between thermal conductivity and lattice distortion. Pressure-induced softening of low-frequency acoustic phonons broadens the low-energy phonon spectrum, enhancing interactions between acoustic and optical phonons. Such broadening substantially increases the number of available three-phonon scattering channels, resulting in a marked reduction in thermal conductivity. Meanwhile, we establish a macroscopic connection between metavalent bonding and anharmonicity, providing an indirect explanation for lattice anharmonicity through pressure-driven transferred charge. Additionally, the applied pressure achieves a notable net increase in the power factor despite the strong coupling of electrical transport parameters, which underscores the potential for bidirectional optimization of transport properties in AgXTe2. As a result, the maximum ZT value of AgInTe2 is nearly doubled, demonstrating that pressure modulation is a powerful strategy for enhancing thermoelectric performance. Our work not only establishes the link between pressure, lattice dynamics, and thermoelectric properties within chalcopyrite AgXTe2, but also inspires the exploration of pressure-related optimization strategies for conventional thermoelectric materials.

cond-mat.mtrl-sci↗