Research works

MassNet: billion-scale AI-ready mass spectral corpus empowering scalable deep learning in proteomics

This repository compiles the core resources used to construct the MassNet dataset, including: 1) FASTA sequence files for each species, used for database searching; 2) Standardized database search workflows based on FragPipe and Sage engines for unified processing of raw DDA-MS d...

Optimal Taxation in Lifecycle Economies in the Presence of Commitment and Temptation Problems

Self-control problems affect consumption, saving, and labor supply, with implications for tax policy. We study optimal taxation with the self-control preferences of Gul and Pesendorfer. Krusell et al. showed that with these preferences, savings should be subsidized; under logarit...

Geometric quantum thermodynamic engine under an isothermal operation: an application of a Thouless pumping

Abstract We present a geometric formalism for the non-equilibrium thermodynamics of a small system coupled to external isothermal reservoirs as an application of Thouless pumping, where the electro-chemical potentials of the reservoirs and parameters in the system ʟs Hamiltonian...

Generically constrained quantum isotropy

Let V be a finite-dimensional unitary representation of a compact quantum group \mathrm{G} and denote by \mathrm{G}_{W} the isotropy subgroup of a linear subspace W\le V regarded as a point in the Grassmannian \mathbb{G}(V) . We show that the space of those W\in \mathbb{G}(V) for...

Redefining Kidney Stone Incidence: Emerging Age-Related Patterns

OBJECTIVE: To evaluate the association between age and incident kidney stone disease using contemporary, age- and sex-stratified population-based data from the UK Biobank. METHODS: We undertook a cohort study of 494,745 UK Biobank participants after excluding 7406 individuals wit...

Seismic and tsunami hazard potential of the Negros–Sulu megathrust, Philippines

Abstract. The Negros–Sulu megathrust poses an imminent threat to coastal communities surrounding the Sulu Sea, but with limited information on past tsunamis, megathrust geometry, and locked segments, robust seismic and tsunami hazard assessments are hindered. To identify highly e...

The Euler Equations with Variable Coefficients

Abstract. We establish local-in-time existence for the Euler equations on a bounded domain with space-time dependent variable coefficients, given initial data [Formula: see text] under the optimal regularity condition [Formula: see text]. In the case [Formula: see text], we furth...

An accurate Lanczos method for the matrix product state representation

Abstract The Lanczos algorithm naturally finds multiple low-lying eigenstates simultaneously, providing a global and robust treatment of the spectrum without local minima or root flipping. However, when implemented within the matrix product state formalism, its accuracy is severe...

Quantum thermodynamics of continuous feedback control

The laws of thermodynamics are a cornerstone for describing nanoscale and open quantum systems. However, formulating these laws for systems under continuous feedback control and under experimentally relevant conditions is challenging. In this work, we lay out a formalism for the...

Geothermal implications of the lithosphere's thermal structure in northern Pakistan

Abstract. Conventional geothermal resources are typically associated with volcanically active plate boundaries, yet collisional orogens can also sustain elevated heat flow through radiogenic enrichment, crustal thickening, and rapid exhumation. Northern Pakistan, encompassing the...

MaxTDA: Robust Statistical Inference for Maximal Persistence in Topological Data Analysis

Persistent homology is an area within topological data analysis (TDA) that can uncover different dimensional holes (connected components, loops, voids, etc.) in data. The holes are characterized, in part, by how long they persist across different scales. Noisy data can result in...

Approach to optimal quantum transport via states over time

We approach the problem of constructing a quantum analogue of the immensely fruitful classical transport cost theory of Monge from a new angle. Going back to the original motivations, by which the transport is a bilinear function of a mass distribution (without loss of generality...

Robustifying Approximate Bayesian Computation

Approximate Bayesian computation (ABC) is one of the most popular "likelihood-free" methods. These methods have been applied in a wide range of fields by providing solutions to intractable likelihood problems in which exact Bayesian approaches are either infeasible or computation...

Gaussian-LIC2: LiDAR-Inertial-Camera Gaussian Splatting SLAM

This paper presents a photo-realistic LiDAR-Inertial-Camera Gaussian Splatting SLAM system that simultaneously addresses visual quality, geometric accuracy, and real-time performance. The proposed method performs robust and accurate pose estimation within a continuous-time trajec...

Krylov Complexity

We introduce and review a new complexity measure, called `Krylov complexity', which takes its origins in the field of quantum-chaotic dynamics, serving as a canonical measure of operator growth and spreading. Krylov complexity, underpinned by the Lanczos algorithm, has since evol...

On the Bias Distribution of Pseudo‐Linear Regression Algorithms for Recursive Identification

ABSTRACT This paper presents a detailed analysis of the asymptotic bias distribution of recursive identification schemes based on Pseudo‐Linear Regression. As shown in a previous article, the criterion asymptotically minimized is the variance of a non‐measurable signal (called th...

Dynamics of Josephson junctions beyond the tunneling limit

The dynamics of the superconducting phase difference across a Josephson junction can be described within the resistively and capacitively shunted Josephson junction (RCSJ) model. Microscopic derivations of this model traditionally rely on the tunneling limit. Here, we present a d...

F-equivalence for parabolic systems and applications to the stabilization of nonlinear PDE

We consider the $F$-equivalence problem for parabolic systems: under which conditions a control system, governed by a parabolic operator $A$ and a control operator $B$, can be made equivalent to an exponentially stable system with arbitrarily large decay rate through an appropria...

Characterization of linear measurements in cavity optomechanics: Examples and applications

Detailed understanding of physical measurements is essential for devising efficient metrological strategies and measurement-feedback schemes, as well as finding fundamental limitations on measurement sensitivity. In the quantum regime, measurements modify the state of the system...

Bayesian inference of the magnetic component in the quark-gluon plasma

The chromo-magnetic monopoles (CMM), emergent topological excitations of non-Abelian gauge fields carrying chromo-magnetic charge, have long been postulated to play an important role in the vacuum confinement of quantum chromodynamics (QCD), the deconfinement transition at temper...