SearcharxivSearch

arXiv subjects

Hui Dai

Publications and source records attributed to Hui Dai.

At least 19 recordsLinked to original sources

Pitfalls of Administrative Censoring in Survival Models with Time-Indexed Inputs

Survival models can model time-to-event outcomes using partially observed data. They are widely used in clinical prediction, including cancer risk, disease progression, treatment response, and mortality. Recent models often rely on rich inputs collected at a specific clinical encounter, such as medical images, laboratory tests, electronic health record snapshots, or sensor measurements. In large retrospective datasets, these inputs are usually collected over many calendar years. As a result, they may contain clues about when they were acquired through changes in devices, protocols, documentation, patient mix, or clinical practice. This creates a potential failure mode when outcomes are observed only up to a fixed study end date. More recent records necessarily have less potential follow-up than older records. A model that can infer the record date from the input may therefore learn to predict how much follow-up was available rather than the patient's true risk of experiencing the event. We call this failure mode administrative-cutoff leakage. In this paper, we characterize when this leakage can occur, distinguish it from classical informative censoring and genuine temporal changes in risk, and propose practical ways to detect it. In simulations, we show that administrative-cutoff leakage can inflate fixed-horizon AUC and can also affect Harrell's C-index under realistic follow-up patterns. We then demonstrate the same behavior in a real mammography cohort. These results motivate a simple design principle for survival prediction: for an n-year prediction task, the dataset should provide at least n years of potential follow-up after the latest input date. Otherwise, the models may be subject to bias induced by administrative-cutoff leakage.

cs.LG

Aligning LLMs with Human Uncertainty: A Beta-Bernoulli Calibrator for LLM Forecasting

Probabilistic forecasting estimates the likelihood of uncertain future events. To improve LLM forecasting, existing methods typically learn from binary outcomes to output verbalized forecasts. However, while aggregated human forecasts contain rich information in both the crowd probability estimate and the degree of agreement among forecasters, how to utilize these signals remains underexplored. To address this, we propose the Beta-Bernoulli Calibrator (BBC), which converts an initial point estimate forecast from any model into a distribution over event likelihood, using supervision from both binary outcomes and human forecasts. BBC models event likelihood $p \sim \text{Beta}(\alpha, \beta)$ and outcome $y \sim \text{Bernoulli}(p)$, with the mean as the calibrated point forecast and the variance as the epistemic uncertainty. Our results show that BBC generally provides better calibrated and more accurate forecasts than both traditional post-hoc calibration methods and models fine-tuned specifically for forecasting, while remaining lightweight and having good generalization. We also show that the epistemic uncertainty captured by BBC is a more reliable predictor of forecasting error than verbalized confidence.

cs.LG

LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)

While large language models (LLMs) have demonstrated impressive capabilities in formal theorem proving, current benchmarks fail to adequately measure library-grounded abstraction -- the ability to reason with high-level interfaces and reusable structures central to modern mathematics and software engineering. We introduce LeanCat, a challenging benchmark comprising 100 fully formalized category-theory tasks in Lean. Unlike algebra or arithmetic, category theory serves as a rigorous stress test for structural, interface-level reasoning. Our evaluation reveals a severe abstraction gap: the best state-of-the-art model solves only 12.0% of tasks at pass@4, with performance collapsing from 55.0% on Easy tasks to 0.0% on High-difficulty tasks, highlighting a failure in compositional generalization. To overcome this, we evaluate LeanBridge, a retrieval-augmented agent that employs a retrieve-generate-verify loop. LeanBridge achieves a peak success rate of 24.0% -- doubling the performance of the best static baseline. These results empirically demonstrate that iterative refinement and dynamic library retrieval are not merely optimizations but strict necessities for neuro-symbolic reasoning in abstract domains. LeanCat offers a compact, reusable testbed for tracking progress toward reliable, research-level formalization.

cs.LO

Photoswitchable exceptional points derived from bound states in the continuum

Bound states in the continuum (BICs) and exceptional points (EPs), as two distinct physical singularities represented by complex frequencies in non-Hermitian systems, have garnered significant attention and clear definitions in their respective fields in recent years. They share overlapping applications in areas such as high-sensitivity sensing and laser emission. However, the transition between the two, inspired by these intersections, remains largely unexplored. In this work, we reveal the transition process in a non-Hermitian two-mode system, evolving from one bound singularity to a two-dimensional exceptional ring, where the EP is the coalescent state of the quasi-Friedrich-Wintgen (FW)-BIC. This phenomenon is experimentally validated through pored dielectric metasurfaces in terahertz band. Furthermore, external pumping induced photocarriers as the dissipative perturbation, facilitates the breaking of degeneracy in the complex eigenfrequency and enables dynamic EP switching. Finally, we experimentally demonstrate a switchable terahertz beam deflection driven by the phase singularities of the EP. These findings are instrumental in advancing the development of compact devices for sensing and wavefront control within non-Hermitian systems.

physics.optics

DENIAHL: In-Context Features Influence LLM Needle-In-A-Haystack Abilities

The Needle-in-a-haystack (NIAH) test is a general task used to assess language models' (LMs') abilities to recall particular information from long input context. This framework however does not provide a means of analyzing what factors, beyond context length, contribute to LMs' abilities or inabilities to separate and recall needles from their haystacks. To provide a systematic means of assessing what features contribute to LMs' NIAH capabilities, we developed a synthetic benchmark called DENIAHL (Data-oriented Evaluation of NIAH for LLM's). Our work expands on previous NIAH studies by ablating NIAH features beyond typical context length including data type, size, and patterns. We find stark differences between GPT-3.5 and LLaMA 2-7B's performance on DENIAHL, and drops in recall performance when features like item size are increased, and to some degree when data type is changed from numbers to letters. This has implications for increasingly large context models, demonstrating factors beyond item-number impact NIAH capabilities.

cs.CL

Are LLMs Prescient? A Continuous Evaluation using Daily News as the Oracle

Many existing evaluation benchmarks for Large Language Models (LLMs) quickly become outdated due to the emergence of new models and training data. These benchmarks also fall short in assessing how LLM performance changes over time, as they consist of a static set of questions without a temporal dimension. To address these limitations, we propose using future event prediction as a continuous evaluation method to assess LLMs' temporal generalization and forecasting abilities. Our benchmark, Daily Oracle, automatically generates question-answer (QA) pairs from daily news, challenging LLMs to predict "future" event outcomes. Our findings reveal that as pre-training data becomes outdated, LLM performance degrades over time. While Retrieval Augmented Generation (RAG) has the potential to enhance prediction accuracy, the performance degradation pattern persists, highlighting the need for continuous model updates. Code and data are available at https://agenticlearning.ai/daily-oracle.

cs.CL

CLIP: A Dataset for Extracting Action Items for Physicians from Hospital Discharge Notes

Continuity of care is crucial to ensuring positive health outcomes for patients discharged from an inpatient hospital setting, and improved information sharing can help. To share information, caregivers write discharge notes containing action items to share with patients and their future caregivers, but these action items are easily lost due to the lengthiness of the documents. In this work, we describe our creation of a dataset of clinical action items annotated over MIMIC-III, the largest publicly available dataset of real clinical notes. This dataset, which we call CLIP, is annotated by physicians and covers 718 documents representing 100K sentences. We describe the task of extracting the action items from these documents as multi-aspect extractive summarization, with each aspect representing a type of action to be taken. We evaluate several machine learning models on this task, and show that the best models exploit in-domain language model pre-training on 59K unannotated documents, and incorporate context from neighboring sentences. We also propose an approach to pre-training data selection that allows us to explore the trade-off between size and domain-specificity of pre-training datasets for this task.

cs.CL

Towards satellite-based quantum-secure time transfer

High-precision time synchronization for remote clocks plays an important role in fundamental science and real-life applications. However, the current time synchronization techniques have been shown to be vulnerable to sophisticated adversaries. There is a compelling need for fundamentally new methods to distribute high-precision time information securely. Here we propose a satellite-based quantum-secure time transfer (QSTT) scheme based on two-way quantum key distribution (QKD) in free-space, and experimentally verify the key technologies of the scheme via the Micius quantum satellite. In QSTT, a quantum signal (e.g., single photon) is used as the carrier for both the time transfer and the secret-key generation, offering quantum-enhanced security for transferring time signal and time information. We perform a satellite-to-ground time synchronization using single-photon-level signals and achieve a quantum bit error rate of less than 1%, a time data rate of 9 kHz and a time-transfer precision of 30 ps. These results offer possibilities towards an enhanced infrastructure of time-transfer network, whose security stems from quantum physics.

quant-ph

Knowledge Base Completion for Constructing Problem-Oriented Medical Records

Both electronic health records and personal health records are typically organized by data type, with medical problems, medications, procedures, and laboratory results chronologically sorted in separate areas of the chart. As a result, it can be difficult to find all of the relevant information for answering a clinical question about a given medical problem. A promising alternative is to instead organize by problems, with related medications, procedures, and other pertinent information all grouped together. A recent effort by Buchanan (2017) manually defined, through expert consensus, 11 medical problems and the relevant labs and medications for each. We show how to use machine learning on electronic health records to instead automatically construct these problem-based groupings of relevant medications, procedures, and laboratory tests. We formulate the learning task as one of knowledge base completion, and annotate a dataset that expands the set of problems from 11 to 32. We develop a model architecture that exploits both pre-trained concept embeddings and usage data relating the concepts contained in a longitudinal dataset from a large health system. We evaluate our algorithms' ability to suggest relevant medications, procedures, and lab tests, and find that the approach provides feasible suggestions even for problems that are hidden during training. The dataset, along with code to reproduce our results, is available at https://github.com/asappresearch/kbc-pomr.

cs.LG

Simple Recurrent Units for Highly Parallelizable Recurrence

Common recurrent neural architectures scale poorly due to the intrinsic difficulty in parallelizing their state computations. In this work, we propose the Simple Recurrent Unit (SRU), a light recurrent unit that balances model capacity and scalability. SRU is designed to provide expressive recurrence, enable highly parallelized implementation, and comes with careful initialization to facilitate training of deep models. We demonstrate the effectiveness of SRU on multiple NLP tasks. SRU achieves 5--9x speed-up over cuDNN-optimized LSTM on classification and question answering datasets, and delivers stronger results than LSTM and convolutional models. We also obtain an average of 0.7 BLEU improvement over the Transformer model on translation by incorporating SRU into the architecture.

cs.CL

Technique of active phase stabilization for the interferometer with 128 actively selectable paths

A variable-delay optical interferometer with 128 actively selectable delays and a technique of active phase stabilization are innovatively designed and applied for the first time in the experiment of round-robin differential phase shift quantum key distribution (RRDPS-QKD). According to the RRDPS protocol, larger number of delay channels in interferometer can ensure higher tolerance of bit errors, eliminating the fundamental threshold of bit error rate of 11% of traditional BB84 protocol. Considering that the implementation of RRDPS protocol relys on the realizaiton of the interferometer, therefore, an interferometer with 128 selectable delay paths is constructed and demands the ability of fast switching at the rate of 10 kHz, which requires dynamic stability of multiple paths. Thus, a specific designed phase stabilization technique with closed real time feedback loop is introduced to guarantee the high visibility of interferometer selections dynamically. The active phase stabilization technique employs a phase modulator (PM) driven by a DAC to adjust the relative phase between the two arms of the interferometer. By monitoring photon counting rates of two Up-Conversion Detectors (UCD) at two output ports of the interferometer, a Field Programmable Gate Array (FPGA) calculates and finds the optimal code value for the DAC, maintaining a high visibility of the interferometer every time a new light path is selected. The visibility of most of the 128 interferometer selections can simultaneously be maintained over 96% during the QKD, which lays the foundation for the RRDPS experiment.

eess.SP

Satellite-Based Entanglement Distribution Over 1200 kilometers

Long-distance entanglement distribution is essential both for foundational tests of quantum physics and scalable quantum networks. Owing to channel loss, however, the previously achieved distance was limited to ~100 km. Here, we demonstrate satellite-based distribution of entangled photon pairs to two locations separated by 1203 km on the Earth, through satellite-to-ground two-downlink with a sum of length varies from 1600 km to 2400 km. We observe a survival of two-photon entanglement and a violation of Bell inequality by 2.37+/-0.09 under strict Einstein locality conditions. The obtained effective link efficiency at 1200 km in this work is over 12 orders of magnitude higher than the direct bidirectional transmission of the two photons through the best commercial telecommunication fibers with a loss of 0.16 dB/km.

quant-ph

Ground test of satellite constellation based quantum communication

Satellite based quantum communication has been proven as a feasible way to achieve global scale quantum communication network. Very recently, a low-Earth-orbit (LEO) satellite has been launched for this purpose. However, with a single satellite, it takes an inefficient 3-day period to provide the worldwide connectivity. On the other hand, similar to how the Iridium system functions in classic communication, satellite constellation (SC) composed of many quantum satellites, could provide global real-time quantum communication. In such a SC, most of the satellites will work in sunlight. Unfortunately, none of previous ground testing experiments could be implemented at daytime. During daytime, the bright sunlight background prohibits quantum communication in transmission over long distances. In this letter, by choosing a working wavelength of 1550 nm and developing free-space single-mode fibre coupling technology and ultralow noise up-conversion single photon detectors, we overcome the noise due to sunlight and demonstrate a 53-km free space quantum key distribution (QKD) in the daytime through a 48-dB loss channel. Our system not only shows the feasibility of satellite based quantum communication in daylight, but also has the ability to naturally adapt to ground fibre optics, representing an essential step towards a SC-based global quantum network.

quant-ph

Cluster Gutzwiller study of Bose-Hubbard ladder: ground-state phase diagram and many-body Landau-Zener dynamics

We present a cluster Gutzwiller mean-field study for ground states and time-evolution dynamics in the Bose-Hubbard ladder (BHL), which can be realized by loading Bose atoms in double-well optical lattices. In our cluster mean-field approach, we treat each double-well unit of two lattice sites as a coherent whole for composing the cluster Gutzwiller ansatz, which may remain some residual correlations in each two-site unit. For a unbiased BHL, in addition to conventional superfluid phase and integer Mott insulator phases, we find that there are exotic fractional insulator phases if the inter-chain tunneling is much stronger than the intra-chain one. The fractional insulator phases can not be found by using a conventional mean-field treatment based upon the single-site Gutzwiller ansatz. For a biased BHL, we find there appear single-atom tunneling and interaction blockade if the system is dominated by the interplay between the on-site interaction and the inter-chain bias. In the many-body Landau-Zener process, in which the inter-chain bias is linearly swept from negative to positive or vice versa, our numerical results are qualitatively consistent with the experimental observation [Nat. Phys. \textbf{7}, 61 (2011)]. Our cluster bosonic Gutzwiller treatment is of promising perspectives in exploring exotic quantum phases and time-evolution dynamics of bosonic particles in superlattices.

cond-mat.quant-gas

Experimental round-robin differential phase-shift quantum key distribution

In conventional quantum key distribution (QKD) protocols, security is guaranteed by estimating the amount of leaked information through monitoring signal disturbance, which, in practice, is generally caused by environmental noise and device imperfections rather than eavesdropping. Such estimation therefore tends to overrate the amount of leaked information in practice, leads to a fundamental threshold of the bit error rate. The threshold becomes a bottleneck of the development of practical QKD systems. In classical communication, according to Shannon's communication theory, information can transform through a noisy channel even if the background noise is very strong compare to the signal and hence the threshold of the bit error rate tends to 50%. One might wonder whether a QKD scheme can also tolerate error rate as high as 50%. The question is answered affirmatively with the recent work of round-robin differential phase-shift (RRDPS) protocol, which breaks through the fundamental threshold of the bit error rate and indicates another potential direction in the field of quantum cryptography. The key challenge to realize the RRDPS scheme lies on the measurement device, which requires a variable-delay interferometer. The delay needs to be chosen from a set of predetermined values randomly. Such measurement can be realized by switching between many interferometers with different delays at a high speed in accordance with the system repetition rate. The more delay values can be chosen from, the higher error rate can be tolerated. By designing an optical system with multiple switches and employing an active phase stabilization technology, we successfully construct a variable-delay interferometer with 128 actively selectable delays. With this measurement, we experimentally demonstrate the RRDPS QKD protocol and obtain a final key rate of 15.54 bps via a total loss of 18 dB and 8.9% error rate.

quant-ph

Retrieval of Sparse Solutions of Multiple-Measurement Vectors via Zero-point Attracting Projection

A new sparse signal recovery algorithm for multiple-measurement vectors (MMV) problem is proposed in this paper. The sparse representation is iteratively drawn based on the idea of zero-point attracting projection (ZAP). In each iteration, the solution is first updated along the negative gradient direction of an approximate $\ell_{2,0}$ norm to encourage sparsity, and then projected to the solution space to satisfy the under-determined equation. A variable step size scheme is adopted further to accelerate the convergence as well as to improve the recovery accuracy. Numerical simulations demonstrate that the performance of the proposed algorithm exceeds the references in various aspects, as well as when applied to the Modulated Wideband Converter, where recovering MMV problem is crucial to its performance.

cs.IT

Current Eigenmodes and Dephasing in Nanoscopic Quantum Networks

Using the non-equilibrium Keldysh Green's function formalism, we show that the non-equilibrium charge transport in nanoscopic quantum networks takes place via {\it current eigenmodes} that possess characteristic spatial patterns. We identify the microscopic relation between the current patterns and the network's electronic structure and topology and demonstrate that these patterns can be selected via gating or constrictions, providing new venues for manipulating charge transport at the nanoscale. Finally, decreasing the dephasing time leads to a smooth evolution of the current patterns from those of a ballistic quantum network to those of a classical resistor network.

cond-mat.mes-hall

Nonlinear quantum interferometry with Bose condensed atoms

In quantum interferometry, it is vital to control and utilize nonlinear interactions for achieving high-precision measurements. Attribute to their long coherent time and high controllability, ultracold atoms including Bose condensed atoms have been widely used for implementing quantum interferometry. Here, we review the recent progresses in theoretical studies of quantum interferometry with Bose condensed atoms. In particular, we focus on the nonlinear phenomena induced by the atom-atom interaction and how to control and utilize these nonlinear phenomena. Under the mean-field description, due to the atom-atom interaction, matter-wave solitons appear in the interference patterns, and macroscopic quantum self-trapping exists in the Bose-Josephson junctions. Under the many-body description, the atom-atom interaction can generate non-classical entanglement, which may be utilized to achieve high-precision measurements beyond the standard quantum limit.

cond-mat.quant-gas