Tootfinder

Errors in Stereo Geometry Induce Distance Misperception
Raffles Xingqi Zhu, Charlie S. Burlingham, Olivier Mercier, Phillip Guan
https://arxiv.org/abs/2505.23685

Errors in Stereo Geometry Induce Distance Misperception
Stereoscopic head-mounted displays (HMDs) render and present binocular images to create an egocentric, 3D percept to the HMD user. Within this render and presentation pipeline there are potential rendering camera and viewing position errors that can induce deviations in the depth and distance that a user perceives compared to the underlying intended geometry. For example, rendering errors can arise when HMD render cameras are incorrectly positioned relative to the assumed centers of projections…

This https://arxiv.org/abs/2502.02432 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Some topological genera and Jacobi forms
We revisit and elucidate the $\widehat{A}$-genus, Hirzebruch's $L$-genus and Witten's $W$-genus, cobordism invariants of special classes of manifolds. After slight modification, involving Hecke's trick, we find that the $\widehat{A}$-genus and $L$-genus arise directly from Jacobi's theta function. For every $k\geq 0,$ we obtain exact formulas for the quasimodular expressions of $\widehat{A}_k$ and $L_k$ as ``traces'' of partition Eisenstein series \[ \widehat{\mathcal{A}}_k(τ)= \operatorname{T…

This https://arxiv.org/abs/2412.03532 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

A complete theory of smoothable compactified Jacobians of nodal curves
We introduce and study a new class of compactified Jacobians for nodal curves, that we call compactified Jacobians of vine type, or simply V-compactified Jacobians. This class is strictly larger than the class of classical compactified Jacobians, as constructed by Oda-Seshadri, Simpson, Caporaso and Esteves. We characterize V-compactified Jacobians as the compactified Jacobians that can arise as limits of Jacobians of smooth curves under a one-parameter smoothing of the nodal curve, extending…

A Homotopical Invariant of Weinstein Surfaces
Shanon J. Rubin
https://arxiv.org/abs/2505.23377 https://arxiv.org/pdf/2505.23377

A Homotopical Invariant of Weinstein Surfaces
One generally expects that the techniques of arboreal singularities and gluing of local differential graded categories will result in a useful global invariant for all Weinstein manifolds. In this paper we construct explicit models for the homotopy limits of diagrams of microlocal sheaf categories which arise from Weinstein surfaces with arboreal skeleta. This is done by characterizing all relevant Reedy model structures on the categories of diagrams that we care about. We prove invariance usin…

Localization behavior in a Hermitian and non-Hermitian Raman lattice
Entong Zhao, Yu-Jun Liu, Ka Kwan Pak, Peng Ren, Mengbo Guo, Chengdong He, Gyu-Boong Jo
https://arxiv.org/abs/2505.22319

Localization behavior in a Hermitian and non-Hermitian Raman lattice
We introduce a flexible Raman lattice system for alakaline-earth like atoms to investigate localization behaviors in a quasi-periodic lattice with controllable non-Hermiticity. We demonstrate that critical phases and mobility edges can arise by adjusting spin-dependence of the incommensurate potentials in the Hermitian regime. With non-Hermiticity introduced by spin-selective atom loss, we find the localization behaviour in this system can be suppressed by dissipation. Our work provides insight…

The {conflicted} package makes sure that namespace conflicts are solved explicitly and prevents unpleasent surprises: #rstats

This https://arxiv.org/abs/2403.13457 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSC_…

OSVAuto: automatic proofs about functional specifications in OS verification
We present OSVAuto for automatic proofs about functional specifications that commonly arise when verifying operating system kernels. The algorithm behind OSVAuto is designed to support natively those data types that commonly occur in OS verification, including sequences, maps, structures and enumerations. Propositions about these data are encoded into a form that is suitable for SMT solving. For quantifier instantiation, we propose an extension of recent work for automatic proofs about sequence…

In the event of a war between the US and Canada, Europe needs to decide whose side it will be on. Canada is a commonwealth country. The UK has a duty to speak up and stand up should the need arise.

US political contradictions; knowledge systems
As Trump at least partially succeeds in constructing an alternate reality for his most ardent followers, it's tempting to think of his dogma as false, in contrast to some imagined "truth" which his non-followers are smart enough to believe in. But a more nuanced view of knowledge would admit that different groups of people have different shared truths, constituting different knowledge systems which each deviate from what's objectively measurable in different ways, and in fact they each accept different standards of what is objective, so there's not really a single "ground truth" we can even compare to to determine which of these knowledge systems is "more correct" (similar problems arise even if we only care about "more useful").
To make this more concrete, we can see that e.g., competing quantum physics theories, or likewise competing religious beliefs, have no reasonable basis on which to judge between them, either in terms of "truth" or "utility." So the Trump-dogma knowledge system, although bad, morally repugnant, etc., can't so easily be dismissed as "false" in my view. "Distorted" or "malignant" or "evil" or "contradictory" are better monikers, in my opinion.
But what I'm even more interested in thinking about is: in what ways does the current American liberal "common sense" knowledge system already bear the scars of past fascist lies & contradictions? I can think of a few:
"Columbus was an explorer."
This is "factually accurate" in the same way some of Trump's propaganda is, but it's also a cruel distortion of "Columbus was a child murderer," and it's a misrepresentation that serves an evil purpose, yet which is widely taught in elementary schools today.
Another: "dropping atomic bombs on civilians in Japan was necessary to end WWII."
Perhaps in the future we'll have "family separation & the 2025 ICE crackdowns were necessary to end the immigration crisis," although I dearly hope not.
"Reparations for slavery aren't reasonable," is yet another...
I'll close this rambling with a question: what other fascist lies have you noticed that are normalized in America right now from past Trump-like leaders (or even from less overtly fascist institutions)?

Space Charge in Circular Machines
Massimo Ferrario, Mauro Migliorati, Luigi Palumbo
https://arxiv.org/abs/2505.14091 https://arxiv.or…

Space Charge in Circular Machines
Space charge forces, which arise directly from the beam's charge distribution and include the influence of image charges and currents induced by interactions with a perfectly conducting, smooth pipe, are very important in high-intensity, low-energy accelerators. These forces play a key role under various beam dynamics regimes, leading to effects such as energy spread, modifications of betatron tunes, and potential instabilities. This lecture will explore the fundamental characteristics of space…