arXiv Science⌕ Search

arXiv subjects

P. Horak

Publications and source records attributed to P. Horak.

5 recordsLinked to original sources

Anomaly Detection in Bunch Oscillations for Early Warning of Sudden Beam Loss at SuperKEKB

Sudden beam loss (SBL) events at the SuperKEKB collider result in the loss of a large fraction of the stored beam within just a few revolutions, on a timescale comparable to or shorter than the 20-30 μs latency of the existing abort system. Such events have damaged collimators and threaten Belle II subdetectors. Bunch Oscillation Recorders (BORs) capture transverse bunch positions at each revolution, which often show sizable oscillations that precede significant beam current loss. We test whether these precursors can be detected earlier than a charge-based reference that mimics the existing abort sensors. We apply several oscillation-based anomaly detection algorithms to 208 SBL events recorded in the low-energy ring during the 2024 run period, ranging from simple rolling statistics to machine learning models trained to forecast bunch oscillation. On 173 events not used for training or calibration, the best-balanced model (DeepLSTM) triggers before the charge-based reference in 86-90% of events across five training seeds, with a mean lead time of 25-30 μs. The only trigger classified as a false alarm fires on an oscillation that begins about 60 turns before the abort and persists until the beam is lost, making it more likely an early precursor than a spurious trigger. These results establish bunch oscillations as a viable early abort trigger and motivate a shadow-mode deployment to measure the false-alarm rate in continuous operation.

physics.acc-ph↗

Inconsistency Probability of Sparse Equations over F2

Let n denote the number of variables and m the number of equations in a sparse polynomial system over the binary field. We study the inconsistency probability of randomly generated sparse polynomial systems over the binary field, where each equation depends on at most k variables and the number of variables grows. Associating the system with a hypergraph, we show that the inconsistency probability depends strongly on structural properties of this hypergraph, not only on n,m, and k. Using inclusion--exclusion, we derive general bounds and obtain tight asymptotics for complete k-uniform hypergraphs. In the 2-sparse case, we provide explicit formulas for paths and stars, characterize extremal trees and forests, and conjecture a formula for cycles. These results have implications for SAT solving and cryptanalysis.

math.PR↗

Evolutionary algorithm to design high-cooperativity optical cavities

Using an evolutionary algorithm combined with a gradient descent method we design optical cavities with significantly enhanced strong coupling rates between cavity photons and a single quantum emitter. Our approach allows us to find specially designed non-spherical mirrors which lead to high-finesse cavity eigenmodes with large field enhancement at the center of the cavity. The method is based on adding consecutive perturbations to an initial spherical mirror shape using the gradient descent method for optimization. We present mirror profiles suitable for fabrication which demonstrate higher cavity cooperativity than any spherical cavity of the same size. Finally, we demonstrate numerically how such a cavity enhances the operation frequency and purity of coupling a Ca$^+$ ion to an optical fiber photon.

physics.optics↗

An optical kaleidoscope using a single atom

A new method to track the motion of a single particle in the field of a high-finesse optical resonator is described. It exploits near-degenerate higher-order Gaussian cavity modes, whose symmetry is broken by the phase shift on the light induced by the particle. Observation of the spatial intensity distribution behind the cavity allows direct determination of the particle's position with approximately wavelength accuracy. This is demonstrated by generating a realistic atomic trajectory using a semiclassical simulation including friction and diffusion and comparing it to the reconstructed path. The path reconstruction itself requires no knowledge about the forces on the particle.

quant-ph↗