arXiv subjects

Botao Li

Publications and source records attributed to Botao Li.

At least 19 recordsLinked to original sources

arXiv2026

Electromagnetic Shower Reconstruction and Identification in FASER's Emulsion Detector for LHC Forward Neutrino Measurements

We present methods for electromagnetic shower reconstruction and identification in the FASERnu emulsion detector using 100 GeV and 200 GeV electron test-beam data from the CERN SPS H4 beamline. The reconstruction employs a clustering-based algorithm without energy-dependent tuning to determine shower axes. A multi-level identification chain comprising track pre-selection, a cut-based selection, and a BDT classifier achieves combined background rejection rates of 99.99% (100 GeV) and 99.94% (200 GeV). The method reaches total reconstruction and identification efficiencies of 58.9% (100 GeV) and 70.8% (200 GeV) evaluated from simulated samples. Energy reconstruction using the total number of reconstructed segments as the calorimetric estimator yields relative biases of +0.6% (100 GeV) and -0.8% (200 GeV), with resolutions of 25.4% and 22.6%, respectively. Systematic uncertainties on the energy reconstruction are dominated by variations in emulsion film detection efficiency, with totals of (+10.9%/-8.2%) at 100 GeV and (+10.3%/-6.9%) at 200 GeV. The methodology provides a validated framework for electron neutrino identification with the FASERnu detector at the LHC.

hep-ex↗

arXiv2026

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4

Most ATP benchmarks embed the final answer within the formal statement -- a convention we call "Easy Mode" -- a design that simplifies the task relative to what human competitors face and may lead to optimistic estimates of model capability. We call the stricter, more realistic setting "Hard Mode": the system must independently discover the answer before constructing a formal proof. To enable Hard Mode research, we make two contributions. First, we release MiniF2F-Hard and FIMO-Hard, expert-reannotated Hard Mode variants of two widely-used ATP benchmarks. Second, we introduce Discover And Prove (DAP), an agentic framework that uses LLM natural-language reasoning with explicit self-reflection to discover answers, then rewrites Hard Mode statements into Easy Mode ones for existing ATP provers. DAP sets the state of the art: on CombiBench it raises solved problems from 7 (previous SOTA, Pass@16) to 10; on PutnamBench it is the first system to formally prove 36 theorems in Hard Mode -- while simultaneously revealing that state-of-the-art LLMs exceed 80% answer accuracy on the same problems where formal provers manage under 10%, exposing a substantial gap that Hard Mode benchmarks are uniquely suited to measure.

cs.AI↗

arXiv2026

Momentum Measurement of Charged Particles in FASER's Emulsion Detector at the LHC

We present a momentum measurement method based on multiple Coulomb scattering (MCS) in the FASER$\nu$ emulsion detector. The measurement of charged-particle momenta is essential for studying neutrino interactions in the TeV energy range at the FASER experiment. This method exploits the sub-micron spatial resolution and long tracking length of the FASER$\nu$ detector, enabling momentum determination from a few GeV up to a few TeV. The performance was evaluated using Geant4-based Monte Carlo simulations and validated with muon test beam data in the momentum range 100-300 GeV. As a first probe of the method for higher momentum muons, background muons recorded by the FASER$\nu$ detector were examined, showing reconstructed momenta consistent with expectations from their angular spread.

hep-ex↗

arXiv2025

A 3D segmented Water-based Liquid Scintillator for high-precision detection of neutrinos in water

Precision detection of neutrino-nucleus interactions in water with the complete detection of the final state, including leptons and hadrons, is challenging due to water being a non-scintillating medium. This can be a limitation for the next-generation long-baseline neutrino oscillation experiments, such as Hyper-Kamiokande, where the neutrino-nucleus interaction models must reach a few percent-level accuracy. Water-based liquid scintillator can be a game changer for the future near detectors. In this article, we propose a novel design consisting of a 3D highly-segmented water-based liquid scintillator. The water-based liquid scintillator is encapsulated within a highly-segmented rigid but very light structure that provides the optical isolation with a 1 cm$^{3}$ granularity, each read out by orthogonal wavelength shifting fibers, and 81\% of water by mass in the active volume. Such configuration is also suitable for pure liquid scintillator. The detector design, prototyped and validated with cosmic ray data, is described and results are reported. The optical model is studied with Monte Carlo simulations and results are compared with the collected data.

physics.ins-det↗

arXiv2025

Latest neutrino results from the FASER experiment and their implications for forward hadron production

The muon puzzle -- an excess of muons relative to simulation predictions in ultra-high-energy cosmic-ray air showers -- has been reported by many experiments. This suggests that forward particle production in hadronic interactions is not fully understood. Some of the scenarios proposed to resolve this predict reduced production of forward neutral pions and enhanced production of forward kaons (or other particles). The FASER experiment at the LHC is located 480 m downstream of the ATLAS interaction point and is sensitive to neutrinos and muons, which are the decay products of forward charged pions and kaons. In this study, the latest measurements of electron and muon neutrino fluxes are presented using the data corresponding to 9.5 $\mathrm{fb^{-1}}$ and 65.6 $\mathrm{fb^{-1}}$ of proton-proton collisions with $\sqrt{s}=13.6~\mathrm{TeV}$ by the FASER$\nu$ and the FASER electronic detector, respectively. These fluxes are compared with predictions from recent hadronic interaction models, including EPOS-LHCr, SIBYLL 2.3e, and QGSJET 3. The predictions are generally consistent with the measured fluxes from FASER, although some discrepancies appear in certain energy bins. More precise flux measurements with additional data will follow soon, enabling validation of pion, kaon, and charm meson production with finer energy binning, reduced uncertainties, and multi-differential analyses.

hep-ex↗

arXiv2025

Reconstruction and Performance Evaluation of FASER's Emulsion Detector at the LHC

This paper presents the reconstruction and performance evaluation of the FASER$\nu$ emulsion detector, which aims to measure interactions from neutrinos produced in the forward direction of proton-proton collisions at the CERN Large Hadron Collider. The detector, composed of tungsten plates interleaved with emulsion films, records charged particles with sub-micron precision. A key challenge arises from the extremely high track density environment, reaching $\mathcal{O}(10^5)$ tracks per cm$^2$. To address this, dedicated alignment techniques and track reconstruction algorithms have been developed, building on techniques from previous experiments and introducing further optimizations. The performance of the detector is studied by evaluating the single-film efficiency, position and angular resolution, and the impact parameter distribution of reconstructed vertices. The results demonstrate that an alignment precision of 0.3 micrometers and robust track and vertex reconstruction are achieved, enabling accurate neutrino measurements in the TeV energy range.

physics.ins-det↗

arXiv2025

Prospects and Opportunities with an upgraded FASER Neutrino Detector during the HL-LHC era: Input to the EPPSU

The FASER experiment at CERN has opened a new window in collider neutrino physics by detecting TeV-energy neutrinos produced in the forward direction at the LHC. Building on this success, this document outlines the scientific case and design considerations for an upgraded FASER neutrino detector to operate during LHC Run 4 and beyond. The proposed detector will significantly enhance the neutrino physics program by increasing event statistics, improving flavor identification, and enabling precision measurements of neutrino interactions at the highest man-made energies. Key objectives include measuring neutrino cross sections, probing proton structure and forward QCD dynamics, testing lepton flavor universality, and searching for beyond-the-Standard Model physics. Several detector configurations are under study, including high-granularity scintillator-based tracking calorimeters, high-precision silicon tracking layers, and advanced emulsion-based detectors for exclusive event reconstruction. These upgrades will maximize the physics potential of the HL-LHC, contribute to astroparticle physics and QCD studies, and serve as a stepping stone toward future neutrino programs at the Forward Physics Facility.

hep-ex↗

arXiv2025

Quasi-periodic oscillations of GHz-band polarization in a black hole

Relativistic jets from accreting black holes (BHs) radiate non-thermal emission which is highly variable in different time scales. Magnetic fields anchored to a rotating BH or accretion disc accelerate and collimate jets of the BH systems. Previous studies on black holes of different mass scales, including supermassive and stellar-mass black holes, only report flux quasi-periodic oscillations in radio, optical, X-ray and gamma-ray bands. No quasi-periodic variations in polarization have yet been detected in any black hole systems. Here, we report the first detection of GHz radio polarization oscillations in GRS 1915+105, which harbors a spinning stellar-mass BH with a relativistic jet. Our observations show that during the increasing phase of radio emission, linear polarization and flux exhibit similar oscillation periods of $\sim 17$ and $33$ seconds, and their variation patterns anti-correlate with each other. These rare, short-period oscillations in both polarization and flux would be important to understand instabilities and special dynamics in magnetized jets.

astro-ph.HE↗

arXiv2024

Beam test results of a fully 3D-printed plastic scintillator particle detector prototype

Plastic scintillators are widely used for the detection of elementary particles, and 3D reconstruction of particle tracks is achieved by segmenting the detector into 3D granular structures. In this study, we present a novel prototype fabricated by additive manufacturing, consisting of a 5 x 5 x 5 array of 1 cm3 plastic scintillator cubes, each optically isolated. This innovative approach eliminates the need to construct complex monolithic geometries in a single operation and gets rid of the traditional time-consuming manufacturing and assembling processes. The prototype underwent performance characterization during a beam test at CERN's Proton-Synchrotron facility. Light yield, optical crosstalk, and light response uniformity, were evaluated. The prototype demonstrated a consistent light yield of approximately 27 photoelectrons (p.e.) per channel, similar to traditional cast scintillator detectors. Crosstalk between adjacent cubes averaged 4-5%, and light yield uniformity within individual cubes exhibited about 7% variation, indicating stability and reproducibility. These results underscore the potential of the novel additive manufacturing technique, for efficient and reliable production of high-granularity scintillator detectors.

physics.ins-det↗

arXiv2024

CVA Sensitivities, Hedging and Risk

We present a unified framework for computing CVA sensitivities, hedging the CVA, and assessing CVA risk, using probabilistic machine learning meant as refined regression tools on simulated data, validatable by low-cost companion Monte Carlo procedures. Various notions of sensitivities are introduced and benchmarked numerically. We identify the sensitivities representing the best practical trade-offs in downstream tasks including CVA hedging and risk assessment.

q-fin.CP↗

arXiv2024

Type-II Saddles and Probabilistic Stability of Stochastic Gradient Descent

Characterizing and understanding the dynamics of stochastic gradient descent (SGD) around saddle points remains an open problem. We first show that saddle points in neural networks can be divided into two types, among which the Type-II saddles are especially difficult to escape from because the gradient noise vanishes at the saddle. The dynamics of SGD around these saddles are thus to leading order described by a random matrix product process, and it is thus natural to study the dynamics of SGD around these saddles using the notion of probabilistic stability and the related Lyapunov exponent. Theoretically, we link the study of SGD dynamics to well-known concepts in ergodic theory, which we leverage to show that saddle points can be either attractive or repulsive for SGD, and its dynamics can be classified into four different phases, depending on the signal-to-noise ratio in the gradient close to the saddle.

cs.LG↗

arXiv2024

An Explicit Scheme for Pathwise XVA Computations

Motivated by the equations of cross valuation adjustments (XVAs) in the realistic case where capital is deemed fungible as a source of funding for variation margin, we introduce a simulation/regression scheme for a class of anticipated BSDEs, where the coefficient entails a conditional expected shortfall of the martingale part of the solution. The scheme is explicit in time and uses neural network least-squares and quantile regressions for the embedded conditional expectations and expected shortfall computations. An a posteriori Monte Carlo validation procedure allows assessing the regression error of the scheme at each time step. The superiority of this scheme with respect to Picard iterations is illustrated in a high-dimensional and hybrid market/default risks XVA use-case.

q-fin.RM↗

arXiv2023

Demonstration of particle tracking with scintillating fibres read out by a SPAD array sensor and application as a neutrino active target

Scintillating fibre detectors combine sub-mm resolution particle tracking, precise measurements of the particle stopping power and sub-ns time resolution. Typically, fibres are read out with silicon photomultipliers (SiPM). Hence, if fibres with a few hundred $μ$m diameter are used, either they are grouped together and coupled with a single SiPM, losing spatial resolution, or a very large number of electronic channels is required. In this article we propose and provide a first demonstration of a novel configuration which allows each individual scintillating fibre to be read out regardless of the size of its diameter, by imaging them with Single-Photon Avalanche Diode (SPAD) array sensors. Differently from SiPMs, SPAD array sensors provide single-photon detection with single-pixel spatial resolution. In addition, O(us) or faster coincidence of detected photons allows to obtain noise-free images. Such a concept can be particularly advantageous if adopted as a neutrino active target, where scintillating fibres alternated along orthogonal directions can provide isotropic, high-resolution tracking in a dense material and reconstruct the kinematics of low-momentum protons (down to 150 MeV/c), crucial for an accurate characterisation of the neutrino nucleus cross section. In this work the tracking capabilities of a bundle of scintillating fibres coupled to SwissSPAD2 is demonstrated. The impact of such detector configuration in GeV-neutrino experiments is studied with simulations and reported. Finally, future plans, including the development of a new SPAD array sensor optimised for neutrino detection, are discussed.

physics.ins-det↗

arXiv2023

Exact Solutions of a Deep Linear Network

This work finds the analytical expression of the global minima of a deep linear network with weight decay and stochastic neurons, a fundamental model for understanding the landscape of neural networks. Our result implies that the origin is a special point in deep neural network loss landscape where highly nonlinear phenomenon emerges. We show that weight decay strongly interacts with the model architecture and can create bad minima at zero in a network with more than $1$ hidden layer, qualitatively different from a network with only $1$ hidden layer. Practically, our result implies that common deep learning initialization methods are insufficient to ease the optimization of neural networks in general.

stat.ML↗

arXiv2023

SGD with a Constant Large Learning Rate Can Converge to Local Maxima

Previous works on stochastic gradient descent (SGD) often focus on its success. In this work, we construct worst-case optimization problems illustrating that, when not in the regimes that the previous works often assume, SGD can exhibit many strange and potentially undesirable behaviors. Specifically, we construct landscapes and data distributions such that (1) SGD converges to local maxima, (2) SGD escapes saddle points arbitrarily slowly, (3) SGD prefers sharp minima over flat ones, and (4) AMSGrad converges to local maxima. We also realize results in a minimal neural network-like example. Our results highlight the importance of simultaneously analyzing the minibatch sampling, discrete-time updates rules, and realistic landscapes to understand the role of SGD in deep learning.

cs.LG↗

arXiv2022

Hard-disk computer simulations -- a historic perspective

We discuss historic pressure computations for the hard-disk model performed since 1953, and compare them to results that we obtain with a powerful event-chain Monte Carlo and a massively parallel Metropolis algorithm. Like other simple models in the sciences, such as the Drosophila model of biology, the hard-disk model has needed monumental effort to be understood. In particular, we argue that the difficulty of estimating the pressure has not been fully realized in the decades-long controversy over the hard-disk phase-transition scenario. We present the physics of the hard-disk model, the definition of the pressure and its unbiased estimators, several of which are new. We further treat different sampling algorithms and crucial criteria for bounding mixing times in the absence of analytical predictions. Our definite results for the pressure, for up to one million disks, may serve as benchmarks for future sampling algorithms. A synopsis of hard-disk pressure data as well as different versions of the sampling algorithms and pressure estimators are made available in an open-source repository.

cond-mat.stat-mech↗

arXiv2021

Sparse hard-disk packings and local Markov chains

We propose locally stable sparse hard-disk packings, as introduced by Böröczky, as a model for the analysis and benchmarking of Markov-chain Monte Carlo (MCMC) algorithms. We first generate such packings in a square box with periodic boundary conditions and analyze their properties. We then study how local MCMC algorithms, namely the Metropolis algorithm and several versions of event-chain Monte Carlo (ECMC), escape from configurations that are obtained by slightly reducing all disk radii by a relaxation parameter. A scaling analysis is confirmed by simulation results. We obtain two classes of ECMC, one in which the escape time varies algebraically with the relaxation parameter (as for the local Metropolis algorithm) and another in which the escape time scales as the logarithm of the relaxation parameter. We discuss the connectivity of the hard-disk sample space, the ergodicity of local MCMC algorithms, as well as the meaning of packings in the context of the NPT ensemble. Our work is accompanied by open-source, arbitrary-precision software for Böröczky packings (in Python) and for straight, reflective, forward, and Newtonian ECMC (in Go).

cond-mat.stat-mech↗

arXiv2020

Multithreaded event-chain Monte Carlo with local times

We present a multithreaded event-chain Monte Carlo algorithm (ECMC) for hard spheres. Threads synchronize at infrequent breakpoints and otherwise scan for local horizon violations. Using a mapping onto absorbing Markov chains, we rigorously prove the correctness of a sequential-consistency implementation for small test suites. On x86 and ARM processors, a C++ (OpenMP) implementation that uses compare-and-swap primitives for data access achieves considerable speed-up with respect to single-threaded code. The generalized birthday problem suggests that for the number of threads scaling as the square root of the number of spheres, the horizon-violation probability remains small for a fixed simulation time. We provide C++ and Python open-source code that reproduces all our results.

physics.comp-ph↗