Tootfinder

Interpolation for Converse PDL
Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema
https://arxiv.org/abs/2508.21485 https://arxiv.org/pdf/2508.21485…

Interpolation for Converse PDL
Converse PDL is the extension of propositional dynamic logic with a converse operation on programs. Our main result states that Converse PDL enjoys the (local) Craig Interpolation Property, with respect to both atomic programs and propositional variables. As a corollary we establish the Beth Definability Property for the logic. Our interpolation proof is based on an adaptation of Maehara's proof-theoretic method. For this purpose we introduce a sound and complete cyclic sequent system for thi…

Classification of Thouless pumps with non-invertible symmetries and implications for Floquet phases
Yabo Li, Matteo Dell'acqua, Aditi Mitra
https://arxiv.org/abs/2510.01626 …

Classification of Thouless pumps with non-invertible symmetries and implications for Floquet phases
We study symmetry preserving adiabatic and Floquet dynamics of one-dimensional systems. Using quasiadiabatic evolution, we establish a correspondence between adiabatic cycles and invertible defects generated by spatially truncated Thouless pump operators. Employing the classification of gapped phases by module categories, we show that the Thouless pumps are classified by the group of autoequivalences of the module category. We then explicitly construct Thouless pump operators for minimal lattic…

Cochleagram-based Noise Adapted Speaker Identification System for Distorted Speech
Sabbir Ahmed, Nursadul Mamun, Md Azad Hossain
https://arxiv.org/abs/2508.21347 https://…

Cochleagram-based Noise Adapted Speaker Identification System for Distorted Speech
Speaker Identification refers to the process of identifying a person using one's voice from a collection of known speakers. Environmental noise, reverberation and distortion make the task of automatic speaker identification challenging as extracted features get degraded thus affecting the performance of the speaker identification (SID) system. This paper proposes a robust noise adapted SID system under noisy, mismatched, reverberated and distorted environments. This method utilizes an auditory …

$SU(2)$-representations of Branched Covers
Sudipta Ghosh, Zhenkun Li, Juanita Pinz\'on-Caicedo
https://arxiv.org/abs/2508.19669 https://arxiv.org/pdf/2…

$SU(2)$-representations of Branched Covers
We study the existence of irreducible $SU(2)$-representations for cyclic branched covers of knots in $S^3$. Our main result establishes that if $K$ is a non-trivial prime knot and $d$ is an integer such that $d \geq 2$ and $Σ_d(K)$ is an integer homology sphere, then $π_1(Σ_d(K))$ admits an irreducible $SU(2)$-representation, whenever $K$ satisfies one of two conditions: either $K$ is $2$-periodic, or $K$ can be represented as the closure of a tangle adapted to a $d\times d$ SICUP matrix. Th…

Parrondo paradox in quantum image encryption
{\L}ukasz Pawela
https://arxiv.org/abs/2508.16382 https://arxiv.org/pdf/2508.16382

Parrondo paradox in quantum image encryption
We present a quantum image encryption protocol that harnesses discrete-time quantum walks (DTQWs) on cycles and explicitly examines the role of the Parrondo paradox in security. Using the NEQR representation, a DTQW-generated probability mask is transformed into a quantum key image and applied via CNOT to encrypt grayscale images. We adopt an efficient circuit realization of DTQWs based on QFT-diagonalization and coin-conditioned phase layers, yielding low depth for $N=2^n$ positions and $t$ st…

Establishing Technical Debt Management -- A Five-Step Workshop Approach and an Action Research Study
Marion Wiese, Kamila Serwa, Anastasia Besier, Ariane S. Marion-Jetten, Eva Bittner
https://arxiv.org/abs/2508.15570

Establishing Technical Debt Management -- A Five-Step Workshop Approach and an Action Research Study
Context. Technical debt (TD) items are constructs in a software system providing short-term benefits but hindering future changes. TD management (TDM) is frequently researched but rarely adopted in practice. Goal. This study aimed to establish a TDM process in an IT company based on a predefined workshop concept. We analyzed which research approaches practitioners adopted for each TD activity and the TDM's long-term effect on TD awareness. Method. We used action research (five action cycles in …

One Shot vs. Iterative: Rethinking Pruning Strategies for Model Compression
Miko{\l}aj Janusz, Tomasz Wojnar, Yawei Li, Luca Benini, Kamil Adamczewski
https://arxiv.org/abs/2508.13836

One Shot vs. Iterative: Rethinking Pruning Strategies for Model Compression
Pruning is a core technique for compressing neural networks to improve computational efficiency. This process is typically approached in two ways: one-shot pruning, which involves a single pass of training and pruning, and iterative pruning, where pruning is performed over multiple cycles for potentially finer network refinement. Although iterative pruning has historically seen broader adoption, this preference is often assumed rather than rigorously tested. Our study presents one of the first …

An elementary derivation of 3-cycles for a quadratic map
Arpad Benyi, Ioan Casu
https://arxiv.org/abs/2510.12558 https://arxiv.org/pdf/2510.12558

An elementary derivation of 3-cycles for a quadratic map
We present an elementary derivation of the period-three cycles for the real quadratic map $x\mapsto x^2+c$, a fundamental model in one-dimensional discrete dynamics. Using symmetric polynomials, we obtain a complete algebraic characterization of 3-cycles and determine explicit conditions for their existence and stability, without reliance on computer algebra. Through conjugacy with the logistic map, we recover the classical threshold values of the logistic parameter corresponding to the emergen…

Cyclic Variational Quantum Eigensolver: Escaping Barren Plateaus through Staircase Descent
Hao Zhang, Ayush Asthana
https://arxiv.org/abs/2509.13096 https://

Cyclic Variational Quantum Eigensolver: Escaping Barren Plateaus through Staircase Descent
We introduce the Cyclic Variational Quantum Eigensolver (CVQE), a hardware-efficient framework for accurate ground-state quantum simulation on noisy intermediate-scale quantum (NISQ) devices. CVQE departs from conventional VQE by incorporating a measurement-driven feedback cycle: Slater determinants with significant sampling probability are iteratively added to the reference superposition, while a fixed entangler (e.g., single-layer UCCSD) is reused throughout. This adaptive reference growth sy…

Spiral Model Technique For Data Science & Machine Learning Lifecycle
Rohith Mahadevan
https://arxiv.org/abs/2510.06987 https://arxiv.org/pdf/2510.06987…

Spiral Model Technique For Data Science & Machine Learning Lifecycle
Analytics play an important role in modern business. Companies adapt data science lifecycles to their culture to seek productivity and improve their competitiveness among others. Data science lifecycles are fairly an important contributing factor to start and end a project that are data dependent. Data science and Machine learning life cycles comprises of series of steps that are involved in a project. A typical life cycle states that it is a linear or cyclical model that revolves around. It is…