Tootfinder

from my link log —
Quantitative metaphors for sizes in biology.
https://press.asimov.com/articles/metaphors-size
saved 2025-11-05 https://

Metaphors for Biology: Sizes
A series of quantitative metaphors on the sizes and shapes of biomolecules and organisms.

Quantitative Convergence Analysis of Projected Stochastic Gradient Descent for Non-Convex Losses via the Goldstein Subdifferential
Yuping Zheng, Andrew Lamperski
https://arxiv.org/abs/2510.02735

Quantitative Convergence Analysis of Projected Stochastic Gradient Descent for Non-Convex Losses via the Goldstein Subdifferential
Stochastic gradient descent (SGD) is the main algorithm behind a large body of work in machine learning. In many cases, constraints are enforced via projections, leading to projected stochastic gradient algorithms. In recent years, a large body of work has examined the convergence properties of projected SGD for non-convex losses in asymptotic and non-asymptotic settings. Strong quantitative guarantees are available for convergence measured via Moreau envelopes. However, these results cannot be…

Metrics vs Surveys: Can Quantitative Measures Replace Human Surveys in Social Robot Navigation? A Correlation Analysis
Stefano Trepella, Mauro Martini, No\'e P\'erez-Higueras, Andrea Ostuni, Fernando Caballero, Luis Merino, Marcello Chiaberge
https://arxiv.org/abs/2510.02941

Metrics vs Surveys: Can Quantitative Measures Replace Human Surveys in Social Robot Navigation? A Correlation Analysis
Social, also called human-aware, navigation is a key challenge for the integration of mobile robots into human environments. The evaluation of such systems is complex, as factors such as comfort, safety, and legibility must be considered. Human-centered assessments, typically conducted through surveys, provide reliable insights but are costly, resource-intensive, and difficult to reproduce or compare across systems. Alternatively, numerical social navigation metrics are easy to compute and faci…

As Trump and the West play games with Ukrainian lives by withholding long range missiles, Ukraine is developing its own.
Meanwhile, Russia continues to increase the ferocity and quantity of its attacks, killing more Ukrainian civilians with each passing night.
Giorgio reports from the trenches of democracy in Ukraine. He is a hero who documents the warcrimes of Russia and their ongoing genocide of the Ukrainian people.
Giorgio shares the friend link to bypass the paywall so…

A Gift For Putin
Live from Ukraine 🇺🇦

Signature-Informed Transformer for Asset Allocation
Yoontae Hwang, Stefan Zohren
https://arxiv.org/abs/2510.03129 https://arxiv.org/pdf/2510.03129

Signature-Informed Transformer for Asset Allocation
Robust asset allocation is a key challenge in quantitative finance, where deep-learning forecasters often fail due to objective mismatch and error amplification. We introduce the Signature-Informed Transformer (SIT), a novel framework that learns end-to-end allocation policies by directly optimizing a risk-aware financial objective. SIT's core innovations include path signatures for a rich geometric representation of asset dynamics and a signature-augmented attention mechanism embedding financi…

Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
Weihang Li, Pete Crowley, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel Sorin
https://arxiv.org/abs/2510.02475

Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
Rigorous quantitative evaluation of microarchitectural side channels is challenging for two reasons. First, the processors, attacks, and defenses often exhibit probabilistic behaviors. These probabilistic behaviors arise due to natural noise in systems (e.g., from co-running processes), probabilistic side channel attacks, and probabilistic obfuscation defenses. Second, microprocessors are extremely complex. Previous evaluation methods have relied on abstract or simplified models, which are nece…

Many Retrocausal Worlds: A Foundation for Quantum Probability
Michael Ridley
https://arxiv.org/abs/2510.02505 https://arxiv.org/pdf/2510.02505

Many Retrocausal Worlds: A Foundation for Quantum Probability
Recent accounts of probability in the many worlds interpretation of quantum mechanics are vulnerable due to their dependence on probability theory per se. For this reason, the many worlds interpretation continues to suffer from the incoherence and quantitative problems. After discussing various theories of probability, I discuss the incoherence problem and argue that self-locating probabilities centered in time-extended worlds can solve it. I then discuss and refute various solutions to the qua…

Quantitative growth of multi-recurrence sequences
Clemens Fuchs, Armand Noubissie
https://arxiv.org/abs/2510.01896 https://arxiv.org/pdf/2510.01896

Quantitative growth of multi-recurrence sequences
In 1982, Schlickewei and Van der Poorten claimed that any multi-recurrence sequence has, essentially, maximal possible growth rate. Fourty years later, Fuchs and Heintze provided a non-effective proof of this statement. In this paper, we prove a quantitative version of that result by giving an explicit upper bound for the maximal possible growth rate of a multi-recurrence. Moreover, we also give a function field analogue of the result, answering a question posed by Fuchs and Heintze when provin…

New pre-print out: "Types, equations, dimensions and the Pi theorem".
We formalized the covariance principle (physical laws must be independent of units) as a homomorphism between the algebra of physical quantities and real numbers.
While the Pi Theorem from Dimensional Analysis (DA) is non-constructive, we introduce a constructive method for applying it. This could enable DA-driven program derivation where the type checker helps identify valid physical laws.
📝 Bl…