Tootfinder

Complementary Time-Space Tradeoff for Self-Stabilizing Leader Election: Polynomial States Meet Sublinear Time
Yuichi Sudo
https://arxiv.org/abs/2505.23649 …

Complementary Time-Space Tradeoff for Self-Stabilizing Leader Election: Polynomial States Meet Sublinear Time
We study the self-stabilizing leader election (SS-LE) problem in the population protocol model, assuming exact knowledge of the population size $n$. Burman, Chen, Chen, Doty, Nowak, Severson, and Xu (PODC 2021) showed that this problem can be solved in $O(n)$ expected time with $O(n)$ states. Recently, Gąsieniec, Grodzicki, and Stachowiak (PODC 2025) proved that $n+O(\log n)$ states suffice to achieve $O(n \log n)$ time both in expectation and with high probability (w.h.p.). If substantially m…

A Silicon Microstrip Detector for Power-Limited and Large Sensitive Area Applications
Dexing Miao, Zijun Xu, Zhiyu Xiang, Pingcheng Liu, Giovanni Ambrosi, Mattia Barbanera, Mengke Cai, Xudong Cai, Hsin-Yi Chou, Matteo Duranti, Valerio Formato, Maria Ionica, Yaozu Jiang, Liangchenglong Jin, Vladimir Koutsenko, Qinze Li, Cong Liu, Xingjian Lv, Alberto Oliva, Wenxi Peng, Rui Qiao, Gianluigi Silvestre, Zibing Wu, Xuhao Yuan, Hongyu Zhang, Xiyuan Zhang, Jianchun Wang

A Silicon Microstrip Detector for Power-Limited and Large Sensitive Area Applications
A silicon microstrip detector (SSD) has been developed to have state of the art spatial resolution and a large sensitive area under stringent power constraints. The design incorporates three floating strips with their bias resistors inserted between two aluminum readout strips. Beam test measurements with the single sensor confirmed that this configuration achieves a total detection efficiency of $99.8 \, \%$ and spatial resolution $7.6 \, \mathrm{μm}$ for MIPs. A double-$η$ algorithm was dev…

CityGo: Lightweight Urban Modeling and Rendering with Proxy Buildings and Residual Gaussians
Weihang Liu, Yuhui Zhong, Yuke Li, Xi Chen, Jiadi Cui, Honglong Zhang, Lan Xu, Xin Lou, Yujiao Shi, Jingyi Yu, Yingliang Zhang
https://arxiv.org/abs/2505.21041

CityGo: Lightweight Urban Modeling and Rendering with Proxy Buildings and Residual Gaussians
Accurate and efficient modeling of large-scale urban scenes is critical for applications such as AR navigation, UAV based inspection, and smart city digital twins. While aerial imagery offers broad coverage and complements limitations of ground-based data, reconstructing city-scale environments from such views remains challenging due to occlusions, incomplete geometry, and high memory demands. Recent advances like 3D Gaussian Splatting (3DGS) improve scalability and visual quality but remain li…

Symmetries of coefficients of three-term relations for basic hypergeometric series
Yuka Yamaguchi
https://arxiv.org/abs/2505.20798 https://

Symmetries of coefficients of three-term relations for basic hypergeometric series
Any three basic hypergeometric series ${}_{2}ϕ_{1}$ whose respective parameters $a, b, c$ and a variable $x$ are shifted by integer powers of $q$ are linearly related with coefficients that are rational functions of $a, b, c, q$, and $x$. This relation is called a three-term relation for ${}_{2}ϕ_{1}$. In this paper, we prove that the coefficients of the three-term relation for ${}_{2}ϕ_{1}$ considered in the author's earlier paper (2022) have ninety-six symmetries, and present explicit form…