arXiv subjects

Xingya Wang

Publications and source records attributed to Xingya Wang.

10 recordsLinked to original sources

arXiv2026

Bragg-Williams order competes with superconductivity

Orderings in charge and spin have been extensively studied to unravel their correlation to emergent superconductivity over the past decades. Bragg-Williams order (BWO), a classical structural order parameter describing site occupancy in alloys, has long been speculated to influence superconducting behavior. Yet, its role still remains ambiguous, largely due to the difficulty of isolating BWO from concomitant charge doping or competing electronic instabilities. Here, we establish In2/3PSe3 as a platform wherein indium vacancies are reversibly configurable between ordered and disordered states via thermal treatment. We show that the disordered phase undergoes a pressure-induced superconducting transition with a Tc of 11 K, significantly higher than the 7 K observed in its ordered counterpart. This constitutes a rare instance in which pure BWO variation drives a substantial shift in Tc. By combining a Ginzburg-Landau phenomenological analysis with a BCS-McMillan microscopic description, we demonstrate that BWO naturally suppresses superconductivity through electron-phonon interactions, a mechanism supported by ultra-low-wavenumber Raman measurements. Our findings support BWO as an independent order parameter that competes directly with superconductivity, extending the concept of competing orders beyond conventional electronic and magnetic degrees of freedom.

cond-mat.supr-con↗

arXiv2026

High-pressure structural and lattice-dynamics study of Yttria-Stabilized Zirconia

The structural evolution of two selected compositions of Yttria-Stabilized Zirconia (YSZ), with 3mol% (3YSZ) and 8mol% (8YSZ) of Y2O3, have been investigated under pressure using in-situ synchrotron X-ray diffraction (XRD) and Raman spectroscopy in a diamond anvil cell up to 40 GPa (at room temperature).The close crystallographic relation between the observed structures and the relatively large difference in the atomic numbers of Y/Zr and O, imposes the simultaneous study using both techniques, aiming to fully elucidate the structural evolution under pressure. The results, by combining both techniques, reveal that for both 3YSZ and 8YSZ, pressure promotes higher-symmetry structures. Under initial compression, the minority at ambient conditions monoclinic phase (m-phase) gradually transforms towards t-phase, a transition that is concluded for both 3YSZ/8YSZ at ~10 GPa. At higher pressures, the solely remaining t-phase of 3YSZ transforms to the t'', that in turns transforms to the c-phase above 28 GPa. Likewise, for 8YSZ the coexistence of t- and t''-phases continue up to 31 GPa, where both transforms towards c-phase, that remains stable up to the highest pressure of this study. Upon pressure release, all observed transitions are fully reversible with negligible hysteresis, with the exception of the practical disappearance of the monoclinic phase at ambient conditions. Our study underscores the significance of simultaneously performing and analyzing the results of both XRD and Raman spectroscopy studies in relevant crystallographic systems. Moreover, it provides a route towards a ``structural purification'' of YSZ through the elimination of the m-phase aiming to improve material properties.

cond-mat.mtrl-sci↗

arXiv2025

ETZ: A Modeling Principle for Confirmability of Drug-Development Studies

Transitioning from Phase 2 to Phase 3 in drug development, at a rate of $\approx$40%, is the most stringent among phase transitions (Hay et al. (2014)). Yet, success rate at Phase 3 leading to approval is only $\approx$50% (Arrowsmith (2011b)). To improve Confirmability, we propose a methodological shift: replacing multiple hypothesis testing with inference based on confidence sets, and substituting conventional power and sample size calculations with a Confidently Bounded Quantile (CBQ) framework. Our confidence set inferences to answer the questions of whether to transition to a Confirmatory study as well as what to designate as the endpoint in that study. Construction of our directed confidence sets follows the Partitioning Principle, taking the best of each of Pivoting and Neyman Confidence Set Construction. Rooted in Tukey's Confidently Bounded Allowance (CBA) (Tukey (1994a)), our proposed CBQ makes the transitioning decision following the Correct and Useful Inference principle in Hsu (1996). CBQ removes from "power" the probability of rejecting for wrong reasons, eliminating the need for informal discounting in power calculation that has existed in the biopharmaceutical industry. ETZ, the modeling principle proposed in Wang et al. (2025), quantifies the impact of three variability components on confirmability. In repeated-measures RCTs, it separates within-subject and between-subject variability, further dividing the latter into baseline and trajectory components. This enables informed investment decisions for the sponsors on targeting variability reduction to improve confirmability. A Shiny-based Confirmability App supports all computations.

stat.ME↗

arXiv2025

Commenting Higher-level Code Unit: Full Code, Reduced Code, or Hierarchical Code Summarization

Commenting code is a crucial activity in software development, as it aids in facilitating future maintenance and updates. To enhance the efficiency of writing comments and reduce developers' workload, researchers has proposed various automated code summarization (ACS) techniques to automatically generate comments/summaries for given code units. However, these ACS techniques primarily focus on generating summaries for code units at the method level. There is a significant lack of research on summarizing higher-level code units, such as file-level and module-level code units, despite the fact that summaries of these higher-level code units are highly useful for quickly gaining a macro-level understanding of software components and architecture. To fill this gap, in this paper, we conduct a systematic study on how to use LLMs for commenting higher-level code units, including file level and module level. These higher-level units are significantly larger than method-level ones, which poses challenges in handling long code inputs within LLM constraints and maintaining efficiency. To address these issues, we explore various summarization strategies for ACS of higher-level code units, which can be divided into three types: full code summarization, reduced code summarization, and hierarchical code summarization. The experimental results suggest that for summarizing file-level code units, using the full code is the most effective approach, with reduced code serving as a cost-efficient alternative. However, for summarizing module-level code units, hierarchical code summarization becomes the most promising strategy. In addition, inspired by the research on method-level ACS, we also investigate using the LLM as an evaluator to evaluate the quality of summaries of higher-level code units. The experimental results demonstrate that the LLM's evaluation results strongly correlate with human evaluations.

cs.SE↗

arXiv2025

Isotropic superconductivity in pressurized trilayer nickelate La4Ni3O10

Evidence of superconductivity (SC) has recently been reported in pressurized La3Ni2O7 and La4Ni3O10, providing a new platform to explore high-temperature superconductivity. However, while zero resistance state has been observed, experimental characterization of the superconducting properties of pressurized nickelates is still limited and experimentally challenging. Here, we present the first full temperature dependence of the upper critical field Hc2 measurement in La4Ni3O10 single crystal, achieved by combining high magnetic field and high-pressure techniques. Remarkably, the Hc2 of La4Ni3O10 is nearly isotropic, with the anisotropic parameter monotonically increasing from 1.4 near Tc to 1 at lower temperatures. By analyzing the Hc2 using the two-band model, we uncover that the anisotropic diffusivity of the bands, primarily originating from d(z2 ) and d(x2-y2 ) orbitals, is well compensated, resulting in an unusually isotropic superconducting state. These findings provide critical experimental evidence that underscores the significant role of the d(z2 ) orbital in enabling superconductivity in pressurized Ruddlesden-Popper nickelates.

cond-mat.supr-con↗

arXiv2025

Bulk superconductivity in pressurized trilayer nickelate Pr4Ni3O10 single crystals

The discovery of superconductivity in pressurized bilayer and trilayer nickelates has generated significant interest. However, their superconducting properties are often dependent on sample quality and pressure conditions, complicating the interpretation of the underlying physics. Finding new systems with optimized bulk superconducting properties is therefore important for advancing our understanding of these materials. Unlike cupates, where trilayer compounds typically exhibit the highest transition temperature (Tc), the bilayer nickelate La3Ni2O7 has thus far outperformed the trilayer La4Ni3O10 in reported Tc. Whether the trilayer nickelates have achieved the optimal Tc remains unclear, with various scenarios suggesting different possibilities. Here, we report the discovery of bulk superconductivity in pressurized Pr4Ni3O10 single crystals, achieving a maximum onset Tc of 40.5 K at 80.1 GPa, significantly exceeding the 30 K observed in La4Ni3O10. The bulk nature of superconductivity is confirmed by zero resistance and a strong diamagnetic response below Tc with a superconducting volume fraction exceeding 80%. These findings establish trilayer nickelates as genuine bulk high-temperature superconductors, provide new insights into the mechanisms driving superconductivity, and point to a promising route toward further enhancing superconducting properties in nickelates.

cond-mat.supr-con↗

arXiv2024

Counterfactual Uncertainty Quantification of Factual Estimand of Efficacy from Before-and-After Treatment Repeated Measures Randomized Controlled Trials

This article quantifies the uncertainty reduction achievable for \textit{counterfactual} estimand, and cautions against potential bias when the estimand uses Digital Twins. Posed by Neyman (1923a) who showed unbiased \textit{point estimation} from designed \textit{factual} experiments is possible, \textit{counterfactual} uncertainty quantification (CUQ) remained an open challenge for about one hundred years. The $Rx: C$ \textit{counterfactual} efficacy we focus on is the ideal estimand for comparing treatment $Rx$ with control $C$, the expected outcome differential if each patient received \textit{both} $Rx$ and $C$. Enabled by our new statistical modeling principle called ETZ, we show CUQ is achievable in Randomized Controlled Trials (RCTs) with \textit{Before-and-After} Repeated Measures, common in many therapeutic areas. The CUQ we are able to achieve typically has lower variability than factual UQ. We caution against using predictors with measurement error, which violates regression assumptions and can cause \textit{attenuation} bias in estimating treatment effects. For traditional medicine and population-averaged targeted therapy, counterfactual point estimation remains unbiased. However, in both Real Human and Digital Twin approaches, estimating effects in \emph{subgroups} may suffer attenuation bias.

stat.ML↗

arXiv2024

Modified Jost solutions of Schrödinger operators with locally $H^{-1}$ potentials

We study Jost solutions of Schrödinger operators with potentials which decay with respect to a local $H^{-1}$ Sobolev norm; in particular, we generalize to this setting the results of Christ--Kiselev for potentials between the integrable and square-integrable rates of decay, proving existence of solutions with WKB asymptotic behavior on a large set of positive energies. This applies to new classes of potentials which are not locally integrable, or have better decay properties with respect to the $H^{-1}$ norm due to rapid oscillations.

math.SP↗

arXiv2022

Spectral properties of Schrödinger operators with locally $H^{-1}$ potentials

We study half-line Schrödinger operators with locally $H^{-1}$ potentials. In the first part, we focus on a general spectral theoretic framework for such operators, including a Last--Simon-type description of the absolutely continuous spectrum and sufficient conditions for different spectral types. In the second part, we focus on potentials which are decaying in a local $H^{-1}$ sense; we establish a spectral transition between short-range and long-range potentials and an $\ell^2$ spectral transition for sparse singular potentials. The regularization procedure used to handle distributional potentials is also well suited for controlling rapid oscillations in the potential; thus, even within the class of smooth potentials, our results apply in situations which would not classically be considered decaying or even bounded.

math.SP↗

arXiv2019

Mutation Testing for Ethereum Smart Contract

Smart contract is a special program that manages digital assets on blockchain. It is difficult to recover the loss if users make transactions through buggy smart contracts, which cannot be directly fixed. Hence, it is important to ensure the correctness of smart contracts before deploying them. This paper proposes a systematic framework to mutation testing for smart contracts on Ethereum, which is currently the most popular open blockchain for deploying and running smart contracts. Fifteen novel mutation operators have been designed for Ethereum Smart Contracts (ESC), in terms of keyword, global variable/function, variable unit, and error handling. An empirical study on 26 smart contracts in four Ethereum DApps has been conducted to evaluate the effectiveness of mutation testing. The experimental results show that our approach can outperform the coverage-based approach on defect detection rate (96.01% vs. 55.68%). The ESC mutation operators are effective to reveal real defects and we found 117 out of 729 real bug reports are related to our operators. These show the great potential of using mutation testing for quality assurance of ESC.

cs.SE↗