Tootfinder

$p$-adic Fourier theory in families
Andrew Graham, Pol van Hoften, Sean Howe
https://arxiv.org/abs/2507.05374 https://arxiv.org/pdf/2…

$p$-adic Fourier theory in families
We construct Fourier transforms relating functions and distributions on finite height $p$-divisible rigid analytic groups and objects in a dual category of $\mathbb{Z}_p$-local systems with analyticity conditions. Our Fourier transforms are formulated as isomorphisms of solid Hopf algebras over arbitrary small v-stacks, and generalize earlier constructions of Amice and Schneider--Teitelbaum. We also construct compatible integral Fourier transforms for $p$-divisible groups and their dual Tate mo…

SPIRA: Building an Intelligent System for Respiratory Insufficiency Detection
Renato Cordeiro Ferreira (University of S\~ao Paulo), Dayanne Gomes (University of S\~ao Paulo), Vitor Tamae (University of S\~ao Paulo), Francisco Wernke (University of S\~ao Paulo), Alfredo Goldman (University of S\~ao Paulo)
https://arxiv.org/abs/25…

SPIRA: Building an Intelligent System for Respiratory Insufficiency Detection
Respiratory insufficiency is a medic symptom in which a person gets a reduced amount of oxygen in the blood. This paper reports the experience of building SPIRA: an intelligent system for detecting respiratory insufficiency from voice. It compiles challenges faced in two succeeding implementations of the same architecture, summarizing lessons learned on data collection, training, and inference for future projects in similar systems.

Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
Abdul Rehman, Ilona Heldal, Diana Stilwell, Paula Costa Ferreira, Jerry Chun-Wei Lin
https://arxiv.org/abs/2509.08357

Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
Eye tracking (ET) can help to understand visual attention and cognitive processes in interactive environments. This study presents a comprehensive eye-tracking analysis framework of the Inhibitory Control Game, named the ReStroop game, which is an educational intervention aimed at improving inhibitory control skills in children through a recycling-themed sorting task, for educational assessment that processes raw gaze data through unified algorithms for fixation detection, performance evaluatio…

CLEAN and multi-scale CLEAN for STIX in Solar Orbiter
Miriana Catalano, Anna Volpara, Paolo Massa, Michele Piana, Anna Maria Massone
https://arxiv.org/abs/2509.07167 https://

CLEAN and multi-scale CLEAN for STIX in Solar Orbiter
CLEAN is a well-established deconvolution approach to Fourier imaging at both radio wavelwengths and hard X-ray energies. However, specifically for hard X-ray imaging, CLEAN suffers two significant drawbacks: a rather limited degree of automation, and a tendency to under-resolution. This paper introduces a multi-scale version of CLEAN specifically tailored to the reconstruction of images from measurements observed by the Spectrometer/Telescope for Imaging X-rays (STIX) on-board Solar Orbiter. U…

Fourier frames on smooth surfaces with nonvanishing Gaussian curvature
Xinyu Chen, Bochen Liu
https://arxiv.org/abs/2507.05777 https://

Fourier frames on smooth surfaces with nonvanishing Gaussian curvature
It is known that a small spherical cap (rigorously its surface measure) admits Fourier frames, while the whole sphere does not. In this paper, we prove more general results. Consequences indclude that a small spherical cap in $\mathbb{R}^d$ near the north pole cannot have a frame spectrum near the $x_d$-axis, and $S$ does not admit any Fourier frame if its interior contains a closed hemisphere. We also resolve the endpoint case, that is, a hemisphere does not admit any Fourier frame. This answe…

Thermal Metamaterials for Enhanced Non-Fourier Heat Transport
Harry Mclean, Francis Huw Davies, Ned Thaddeus Taylor, Steven Paul Hepplestone
https://arxiv.org/abs/2508.03316 htt…

Thermal Metamaterials for Enhanced Non-Fourier Heat Transport
The untapped potential of thermal metamaterials requires the simultaneous observation of both diffusive and wave-like heat propagation across multiple length scales that can only be realised through theories beyond Fourier. Here, we demonstrate that tailored material patterning significantly modifies heat transport dynamics with enhanced non-Fourier behaviour. By bridging phonon scattering mechanisms with macroscopic heat flux via a novel perturbation-theory approach, we derive the hyperbolic C…

Replaced article(s) found for math.LO. https://arxiv.org/list/math.LO/new
[1/1]:
- The Uniform Functional Interpretation with Informative Types
Fernando Ferreira, Paulo Oliva

Nonrelativistic meson masses from the Curci-Ferrari model
Anaclara Alvez, Nahuel Barrios, Florencia Ben\'itez, Marcela Pel\'aez
https://arxiv.org/abs/2509.04365 https://…

Nonrelativistic meson masses from the Curci-Ferrari model
We study the mass spectrum of nonrelativistic mesons composed of charm and bottom quarks within the framework of the Curci-Ferrari model in the Landau gauge, focusing on the influence of the gluon mass on our results. We derive the Hamiltonian from the scattering amplitude of a single massive gluon exchange. By incorporating a confining Cornell potential we solve the Schrödinger equation for the dominant terms of the Hamiltonian, which include the kinetic energy and a Yukawa-type potential. Co…

Selberg's Central Limit Theorem weighted by Linear Statistics of Zeta Zeros
Alessandro Fazzari, Maxim Gerspach, Paolo Minelli
https://arxiv.org/abs/2507.04150

Selberg's Central Limit Theorem weighted by Linear Statistics of Zeta Zeros
We consider the value distribution of the logarithm of the Riemann zeta function on the critical line, weighted by the local statistics of zeta zeros. We show that, with appropriate normalization, it satisfies a complex Central Limit Theorem, provided that the Fourier support of the test function in the linear statistics is sufficiently small. For the imaginary part, we extend this support condition up to its natural barrier under the Riemann Hypothesis. Finally, we prove that the correlation b…

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
Briza Mel Dias de Sousa (University of S\~ao Paulo), Renato Cordeiro Ferreira (University of S\~ao Paulo, Jheronimus Academy of Data Science, Technical University of Eindhoven, Tilburg University), Alfredo Goldman (University of S\~ao Paulo)
h…

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
After decades of dominance by object-oriented programming (OOP), functional programming (FP) is gaining increasing attention in the software industry. This study compares the impact of OOP and FP on the architectural characteristics of software systems. For that, it examines the design and implementation of a Digital Wallet system, developed in Kotlin (representing OOP) and Scala (representing FP). The comparison is made through both qualitative and quantitative analyses to explore how each par…