arXiv Science⌕ Search

arXiv subjects

Sze Chun Yiu

Publications and source records attributed to Sze Chun Yiu.

2 recordsLinked to original sources

Vertex reconstruction for a search for neutron-antineutron conversions with HIBEAM

The HIBEAM/NNBAR programme (incorporated into the FINESSE/NNBAR programme) at the European Spallation Source is proposed to search for neutrons converting to antineutrons. An important observable is the reconstructed vertex arising from charged particles produced by an antineutron annihilating on a thin target foil and which pass through a time projection chamber. This paper studies track clustering and foil-plane vertex reconstruction for this topology. Both non-machine-learning methods and graph-neural-network methods are tested and compared with each other, including deterministic clustering, trackless projection and a hybrid clustering/graph-neural-network chain with track classification and vertex refinement. We conclude that, for the geometrically simple events in the HIBEAM TPC, classical reconstruction methods perform on-par with machine-learning based methods in terms of vertex coordinate reconstruction. Custom machine-learning based methods can, however, deliver event-shape information that may be important in downstream analyses.

hep-ex↗

The fourth generalized Davenport constant of $C_5^3$

For a finite abelian group $G$ and $k \geq 1$, the generalized Davenport constant $D_k(G)$ is the least $\ell$ such that every sequence over $G$ of length at least $\ell$ has $k$ pairwise disjoint nonempty zero-sum subsequences. A theorem of Freeze and Schmid gives $D_k(C_5^3) \geq 5k+10$ for every $k \geq 2$. We prove the matching upper bound: $D_4(C_5^3)=30$, and hence $D_k(C_5^3)=5k+10$ for every $k \geq 2$, so the Freeze--Schmid bound is attained by $C_5^3$ from $k=2$ onward, as it is by $C_2^3$ and unlike $C_3^3$. The proof is finite and computer-assisted. The remaining case reduces to showing that every zero-sum sequence of length $31$ over $C_5^3$ contains a nonempty zero-sum subsequence of length at most five. A saturation argument confines the multiplicities of a hypothetical counterexample to $\{1,2,4\}$, its support pattern to one of $60$ solutions of two linear equations, and its geometry to one of $78$ rank/plane branches normalized to a standard basis; an exhaustive search exhausts every branch with no survivor. The search was carried out by three independently written implementations, and the branch cover was regenerated by separate programs from the lemmas alone; two further machine-verified values, $D_3(C_5^3)=25$ and $s_{\leq 6}(C_5^3)=24$, enter the second statement, and their records accompany the paper.

cs.DM↗