SearcharxivSearch

arXiv subjects

Yiting Liu

Publications and source records attributed to Yiting Liu.

At least 19 recordsLinked to original sources

Kerckhoffs-Compliant Watermarking for Physical Design IP Protection: From Placement to Routing

Physical design (PD) intellectual property (IP) is a valuable artifact of modern VLSI implementation. It includes optimized cell placement, clock distribution, and routing decisions produced by carefully tuned PD flows. As access to PD tools expands, unauthorized reuse of placed-and-routed databases becomes an increasing concern. Existing PD watermarking methods either protect only one PD stage or rely on hidden construction details, leaving them vulnerable to a white-box adversary. In this work, we develop PDMarks, a Kerckhoffs-compliant watermarking framework whose security depends only on a secret key. PDMarks embeds ownership evidence across multiple stages of the PD flow, including placement, clock tree synthesis (CTS), and routing. All watermark instances and target values are deterministically derived from a 32-byte secret key using HMAC-SHA256, enabling consistent embedding and verification. PDMarks has been integrated into OpenROAD-flow-scripts. Experiments on NanGate45 and ASAP7 designs show that PDMarks outperforms prior physical design watermarking methods by providing much stronger ownership evidence with comparable or smaller PPA overhead. The approximate joint all-stage coincidence probability is below 10^{-32} for every evaluated design. Wrong-key and attack evaluations further show that incorrect keys do not reproduce the complete ownership proof and that weakening the watermark requires broad perturbation of the protected implementation.

cs.CR

Hollow-Core Fiber for Long-Span Optical Frequency Transfer: Improved Instability and Extended Single-Span Reach

Phase-coherent optical frequency transfer is essential for optical clock networking, relativistic geodesy, and distributed precision metrology. However, realizing coherent optical networks spanning thousands of kilometers in standard single-mode fiber (SMF) generally requires densely distributed amplifiers or repeater stations together with complex operational control, while long-term instability remains limited by thermally driven residual phase fluctuations. Here we show that hollow-core fiber (HCF) can simultaneously improve transfer instability and relax the reach limitation of long-span optical frequency transfer. Compared with SMF, HCF exhibits lower fiber-induced phase noise and shorter propagation delay, supporting improved short-term instability, while its much lower thermal sensitivity supports nearly one-order-of-magnitude better long-term instability. In addition, for long-haul HCF links, no observable stimulated Brillouin scattering induced saturation is found up to the maximum available injected power of 34 dBm, whereas the threshold of an equal-length SMF link remains only a few dBm. Together with the lower attenuation achievable in modern HCF, this enables ultra-long single-span optical frequency transfer. Using a 152 km HCF link with an average attenuation of 0.18 dB/km, we demonstrate single-span optical frequency transfer, achieving a fractional frequency instability of 7.3 x 10^-21 at 10,000 s and a fractional uncertainty of 1.8 x 10^-20. These results establish HCF as a transmission medium that simultaneously improves instability and extends single-span reach, opening a practical route toward future intercontinental optical frequency networks with ultrahigh precision.

physics.optics

CL-bench Life: Can Language Models Learn from Real-Life Context?

Today's AI assistants such as OpenClaw are designed to handle context effectively, making context learning an increasingly important capability for models. As these systems move beyond professional settings into everyday life, the nature of the contexts they must handle also shifts. Real-life contexts are often messy, fragmented, and deeply tied to personal and social experience, such as multi-party conversations, personal archives, and behavioral traces. Yet it remains unclear whether current frontier language models can reliably learn from such contexts and solve tasks grounded in them. To this end, we introduce CL-bench Life, a fully human-curated benchmark comprising 405 context-task pairs and 5,348 verification rubrics, covering common real-life scenarios. Solving tasks in CL-bench Life requires models to reason over complex, messy real-life contexts, calling for strong real-life context learning abilities that go far beyond those evaluated in existing benchmarks. We evaluate ten frontier LMs and find that real-life context learning remains highly challenging: even the best-performing model achieves only 19.3% task solving rate, while the average performance across models is only 13.8%. Models still struggle to reason over contexts such as messy group chat histories and fragmented behavioral records from everyday life. CL-bench Life provides a crucial testbed for advancing real-life context learning, and progress on it can enable more intelligent and reliable AI assistants in everyday life.

cs.CL

A Decomposition Perspective to Long-context Reasoning for LLMs

Long-context reasoning is essential for complex real-world applications, yet remains a significant challenge for Large Language Models (LLMs). Despite the rapid evolution in long-context reasoning, current research often overlooks the internal complexity of the long-context reasoning task itself. In this paper, we move beyond this holistic view and decompose long-context reasoning into a set of fundamental atomic skills, and we then automatically synthesize a suite of pseudo datasets, each explicitly targeting a specific atomic skill. Our empirical analysis confirms that proficiency in these atomic skills is strongly correlated with general long-text reasoning performance. Building on this insight, we employ reinforcement learning on these pseudo datasets to sharpen the model's atomic skills, in the hope of boosting its general long-context reasoning ability. Extensive experiments across multiple benchmarks demonstrate the effectiveness of our approach: it outperforms a strong baseline by an average margin of 7.7\% (improving from 46.3\% to 54.0\%) across Loogle, Loong, LongBench-v2, BrowscompLong, Ruler-qa2, and MRCR.

cs.CL

Experimental observation of exact quantum critical states

Anderson localization physics features three fundamental types of eigenstates: extended, localized, and critical, with the third one exhibiting the exotic properties in-between the former two. Confirming the presence of critical states is challenging, as it typically necessitates either advancing the analysis to the thermodynamic limit or identifying a universal mechanism which can rigorously determine these states. Here we report the unambiguous experimental realization of critical states, governed by a rigorous mechanism for exact quantum critical states, and further observe a generalized mechanism that quasiperiodic zeros in hopping couplings protect the critical states. We implement a programmable quasiperiodic mosaic model with tunable couplings and on-site potentials through a multiple superconducting qubit quantum system. By measuring the time-evolving observables, we identify the coexisting delocalized dynamics and incommensurately distributed zeros in the couplings, which are the defining features of the critical states. We map the localized-to-critical phase transition and demonstrate that critical states persist until quasiperiodic zeros are removed by strong long-range couplings, highlighting a novel generalized mechanism discovered in this experiment and shown with rigorous theory. Finally, we resolve the energy-dependent transition between localized and critical states, revealing the presence of anomalous mobility edges.

quant-ph

Probing How Scalable Table Data Enhances General Long-Context Reasoning

As real-world tasks grow increasingly complex, long-context reasoning has become a core capability for Large Language Models (LLMs). However, few studies explore which data types are effective for long-context reasoning and why. We find that structured table data with periodic structures shows strong potential for long-context reasoning. Motivated by this observation, we mathematically analyze tabular dependency structures using mutual information, revealing periodic non-vanishing dependencies in table data. Furthermore, we systematically analyze the capabilities of structured table data, conduct relevant scaling experiments, and validate its underlying mechanisms for enhancing long-context reasoning, yielding several meaningful insights. Leveraging these insights, we propose a simple yet scalable pipeline(TableLong) for synthesizing high-quality, diverse, and verifiable structured table data to boost long-context reasoning via RL. Extensive experimental results demonstrate that table data significantly enhances the long-context reasoning capability of LLMs across multiple long-context benchmarks (+8.24\% on average), and even improves performance on out-of-domain benchmarks (+8.06\% on average). We hope that our insights provide practical guidance for effective post-training data to enhance long-context reasoning in LLMs.

cs.CL

CL-bench: A Benchmark for Context Learning

Current language models (LMs) excel at reasoning over prompts using pre-trained knowledge. However, real-world tasks are far more complex and context-dependent: models must learn from task-specific context and leverage new knowledge beyond what is learned during pre-training to reason and resolve tasks. We term this capability context learning, a crucial ability that humans naturally possess but has been largely overlooked. To this end, we introduce CL-bench, a real-world benchmark consisting of 500 complex contexts, 1,899 tasks, and 31,607 verification rubrics, all crafted by experienced domain experts. Each task is designed such that the new content required to resolve it is contained within the corresponding context. Resolving tasks in CL-bench requires models to learn from the context, ranging from new domain-specific knowledge, rule systems, and complex procedures to laws derived from empirical data, all of which are absent from pre-training. This goes far beyond long-context tasks that primarily test retrieval or reading comprehension, and in-context learning tasks, where models learn simple task patterns via instructions and demonstrations. Our evaluations of ten frontier LMs find that models solve only 17.2% of tasks on average. Even the best-performing model, GPT-5.1, solves only 23.7%, revealing that LMs have yet to achieve effective context learning, which poses a critical bottleneck for tackling real-world, complex context-dependent tasks. CL-bench represents a step towards building LMs with this fundamental capability, making them more intelligent and advancing their deployment in real-world scenarios.

cs.CL

Beyond Activation Patterns: A Weight-Based Out-of-Context Explanation of Sparse Autoencoder Features

Sparse autoencoders (SAEs) have emerged as a powerful technique for decomposing language model representations into interpretable features. Current interpretation methods infer feature semantics from activation patterns, but overlook that features are trained to reconstruct activations that serve computational roles in the forward pass. We introduce a novel weight-based interpretation framework that measures functional effects through direct weight interactions, requiring no activation data. Through three experiments on Gemma-2 and Llama-3.1 models, we demonstrate that (1) 1/4 of features directly predict output tokens, (2) features actively participate in attention mechanisms with depth-dependent structure, and (3) semantic and non-semantic feature populations exhibit distinct distribution profiles in attention circuits. Our analysis provides the missing out-of-context half of SAE feature interpretability.

cs.LG

MAD-NG: Meta-Auto-Decoder Neural Galerkin Method for Solving Parametric Partial Differential Equations

Parametric partial differential equations (PDEs) are fundamental for modeling a wide range of physical and engineering systems influenced by uncertain or varying parameters. Traditional neural network-based solvers, such as Physics-Informed Neural Networks (PINNs) and Deep Galerkin Methods, often face challenges in generalization and long-time prediction efficiency due to their dependence on full space-time approximations. To address these issues, we propose a novel and scalable framework that significantly enhances the Neural Galerkin Method (NGM) by incorporating the Meta-Auto-Decoder (MAD) paradigm. Our approach leverages space-time decoupling to enable more stable and efficient time integration, while meta-learning-driven adaptation allows rapid generalization to unseen parameter configurations with minimal retraining. Furthermore, randomized sparse updates effectively reduce computational costs without compromising accuracy. Together, these advancements enable our method to achieve physically consistent, long-horizon predictions for complex parameterized evolution equations with significantly lower computational overhead. Numerical experiments on benchmark problems demonstrate that our methods performs comparatively well in terms of accuracy, robustness, and adaptability.

cs.LG

Logical operations with a dynamical qubit in Floquet-Bacon-Shor code

Quantum error correction (QEC) protects quantum systems against inevitable noises and control inaccuracies, providing a pathway towards fault-tolerant (FT) quantum computation. Stabilizer codes, including surface code and color code, have long been the focus of research and have seen significant experimental progress in recent years. Recently proposed time-dynamical QEC, including Floquet codes and generalized time-dynamical code implementations, opens up new opportunities for FT quantum computation. By employing a periodic schedule of low-weight parity checks, Floquet codes can generate additional dynamical logical qubits, offering enhanced error correction capabilities and potentially higher code performance. Here, we experimentally implement the Floquet-Bacon-Shor code on a superconducting quantum processor. We encode a dynamical logical qubit within a $3\times 3$ lattice of data qubits, alongside a conventional static logical qubit. We demonstrate FT encoding and measurement of the two-qubit logical states, and stabilize these states using repeated error detection. We showcase universal single-qubit logical gates on the dynamical qubit. Furthermore, by implementing a logical CNOT gate, we entangle the dynamical and static logical qubits, generating an error-detected logical Bell state with a fidelity of 75.9\%. Our results highlight the potential of Floquet codes for resource-efficient FT quantum computation.

quant-ph

Bridging the Initialization Gap: A Co-Optimization Framework for Mixed-Size Global Placement

Global placement is a critical step with high computational complexity in VLSI physical design. Modern analytical placers formulate the placement problem as a nonlinear optimization, where initialization strongly affects both convergence behavior and final placement quality. However, existing initialization methods exhibit a trade-off: area-aware initializers account for cell areas but are computationally expensive and can dominate total runtime, while fast point-based initializers ignore cell area, leading to a modeling gap that impairs convergence and solution quality. We propose a lightweight co-optimization framework that bridges this initialization gap through two strategies. First, an area-hint refinement initializer incorporates heuristic cell area information into a signed graph signal by augmenting the netlist graph with virtual nodes and negative-weight edges, yielding an area-aware and spectrally smooth placement initialization. Second, a macro-schedule placement procedure progressively restores area constraints, enabling a smooth transition from the refined initializer to the full area-aware objective and producing high-quality placement results. We evaluate the framework on macro-heavy ISPD2005 academic benchmarks and two real-world industrial designs across two technology nodes (12 cases in total). Experimental results show that our method consistently improves half-perimeter wirelength (HPWL) over point-based initializers in 11 out of 12 cases, achieving up to 2.2% HPWL reduction, while running approximately 100 times faster than the state-of-the-art area-aware initializer.

eess.SP

GeoFM: Enhancing Geometric Reasoning of MLLMs via Synthetic Data Generation through Formal Language

Multi-modal Large Language Models (MLLMs) have gained significant attention in both academia and industry for their capabilities in handling multi-modal tasks. However, these models face challenges in mathematical geometric reasoning due to the scarcity of high-quality geometric data. To address this issue, synthetic geometric data has become an essential strategy. Current methods for generating synthetic geometric data involve rephrasing or expanding existing problems and utilizing predefined rules and templates to create geometric images and problems. However, these approaches often produce data that lacks diversity or is prone to noise. Additionally, the geometric images synthesized by existing methods tend to exhibit limited variation and deviate significantly from authentic geometric diagrams. To overcome these limitations, we propose GeoFM, a novel method for synthesizing geometric data. GeoFM uses formal languages to explore combinations of conditions within metric space, generating high-fidelity geometric problems that differ from the originals while ensuring correctness through a symbolic engine. Experimental results show that our synthetic data significantly outperforms existing methods. The model trained with our data surpass the proprietary GPT-4o model by 18.7\% on geometry problem-solving tasks in MathVista and by 16.5\% on GeoQA. Additionally, it exceeds the performance of a leading open-source model by 5.7\% on MathVista and by 2.7\% on GeoQA.

cs.AI

Dephasing-assisted diffusive dynamics in superconducting quantum circuits

Random fluctuations caused by environmental noise can lead to decoherence in quantum systems. Exploring and controlling such dissipative processes is both fundamentally intriguing and essential for harnessing quantum systems to gain practical advantages and deeper insights. In this work, we first demonstrate the diffusive dynamics assisted by controlled dephasing noise in superconducting quantum circuits, contrasting with coherent evolution. We show that dephasing can give distinct dynamical behavior in a superconducting qubit array with quasiperiodic order. Furthermore, by preparing different excitation distributions in the qubit array, we observe that a more localized initial state relaxes to a uniformly distributed mixed state faster with dephasing noise, illustrating another counterintuitive phenomenon called Mpemba-effect-like quantum dynamics, i.e., a far-from-equilibrium state can relax toward the equilibrium faster. These results deepen our understanding of diffusive dynamics at the microscopic level, and demonstrate controlled dissipative processes as a valuable tool for investigating Markovian open quantum systems.

quant-ph

Recursive Learning-Based Virtual Buffering for Analytical Global Placement

Due to the skewed scaling of interconnect versus cell delay in modern technology nodes, placement with buffer porosity (i.e., cell density) awareness is essential for timing closure in physical synthesis flows. However, existing approaches face two key challenges: (i) traditional van Ginneken-Lillis-style buffering approaches are computationally expensive during global placement; and (ii) machine learning-based approaches, such as BufFormer, lack a thorough consideration of Electrical Rule Check (ERC) violations and fail to "close the loop" back into the physical design flow. In this work, we propose MLBuf-RePlAce, the first open-source learning-driven virtual buffering-aware analytical global placement framework, built on top of the OpenROAD infrastructure. MLBuf-RePlAce adopts an efficient recursive learning-based generative buffering approach to predict buffer types and locations, addressing ERC violations during global placement. We compare MLBuf-RePlAce against the default virtual buffering-based timing-driven global placer in OpenROAD, using open-source testcases from the TILOS MacroPlacement and OpenROAD-flow-scripts repositories. Without degradation of post-route power, MLBuf-RePlAce achieves (maximum, average) improvements of (56%, 31%) in total negative slack (TNS) within the open-source OpenROAD flow. When evaluated by completion in a commercial flow, MLBuf-RePlAce achieves (maximum, average) improvements of (53%, 28%) in TNS with an average of 0.2% improvement in post-route power.

cs.LG

Understanding the fill-factor limit of organic solar cells

Although the power conversion efficiencies of organic solar cells (OSCs) have surpassed 20%, they still lag behind commercial inorganic solar cells and emerging perovskite solar cells. To bridge this efficiency gap, improving the fill factor (FF) is critical, provided other photovoltaic parameters are not compromised. However, the fundamental understanding of the FF in OSCs remains incomplete. In this work, we systematically investigate a wide range of OSCs with the FF values spanning 0.27 to 0.80, and analyse the effect of free charge generation and recombination on the FF in OSCs. To explain our observations, we developed an analytical model that quantitatively correlates the applied electric field with the energetics of excited states in donor-acceptor blends. By combining device characterisation, spectroscopy, and theoretical modelling, we reveal that the Stark effect and the field-dependent charge transfer significantly impact the FF in state-of-the-art OSCs with low voltage losses. Our findings highlight that suppressing geminate decay by increasing exciton lifetime is a promising strategy for boosting the FF and achieving future efficiency gains in OSCs.

cond-mat.mtrl-sci

Quantitative Single-particle Profiling of Extracellular Vesicles via Fluorescent Nanoparticle Tracking Analysis

Extracellular vesicles (EVs) have drawn rapidly increasing attention as the next-generation diagnostic biomarkers and therapeutic agents. However, the heterogeneous nature of EVs necessitates advanced methods for profiling EVs at the single-particle level. While nanoparticle tracking analysis (NTA) is a widely used technique for quantifying particle size and concentration, conventional scattering-based systems are non-specific. In this study, we present an optimised protocol for quantitative profiling of EVs at the single-particle level by fluorescent NTA (F-NTA). The protocol integrates fluorescent immunolabeling of EVs with size-exclusion chromatography (SEC) to efficiently remove unbound labels, enabling the precise quantification of EV concentration, size distribution, and surface immunophenotype. We first validated this approach using biotinylated liposomes and EVs from cultured human cell lines, confirming effective removal of unbound labels and assessing labelling efficiency. We then demonstrated that F-NTA can distinguish EV subpopulations with distinct surface marker expression, exemplified by the differentiation of EpCAM-positive EVs derived from HT29 and HEK293 cells. Finally, we applied dual labelling to human plasma isolates to simultaneously profile EVs and non-vesicular extracellular particles, providing a quantitative quality assessment of EV purity at the single-particle level. The robustness of this method was further supported by comparative analysis with total internal reflection fluorescence microscopy. This validated workflow enables robust, quantitative profiling of EV subpopulations, providing a critical tool for diverse EV applications, including biomarker discovery, therapeutic monitoring, and quality control for engineered vesicles.

q-bio.BM

Synthetic $π$-flux system in 2D superconducting qubit array with tunable coupling

Flat-band systems provide an ideal platform for exploring exotic quantum phenomena, where the strongly suppressed kinetic energy in these flat energy bands suggests the potential for exotic phases driven by geometric structure, disorder, and interactions. While intriguing phenomena and physical mechanisms have been unveiled in theoretical models, synthesizing such systems within scalable quantum platforms remains challenging. Here, we present the experimental realization of a $π$-flux rhombic system using a two-dimensional superconducting qubit array with tunable coupling. We experimentally observe characteristic dynamics, e.g., $π$-flux driven destructive interference, and demonstrate the protocol for eigenstate preparation in this rhombic array with coupler-assisted flux. Our results provide future possibilities for exploring the interplay of geometry, interactions, and quantum information encoding in such degenerate systems.

quant-ph

Transient Chirality in the Gelation of Adhesive Spinner Monolayers

Active systems of self-rotating elements inherently exhibit chirality, making them of fundamental interest due to parity violation. Using large-scale hydrodynamic simulations, we investigate the gelation of adhesive spinners confined to quasi-2D monolayers at low Reynolds numbers. Unlike the coarsening dynamics of passive colloids, spinner gelation follows a different pathway, displaying structural chirality during the early stages of aggregation. However, this chirality dissipates upon dynamical arrest, resulting in a final gel structure that resembles a conventional colloidal gel. As a result, we find no sign of odd mechanical responses. Nonetheless, the elastic modulus and gelation time remain tunable through spinning activity, providing a new avenue for the bottom-up design of programmable soft materials.

cond-mat.soft