Tootfinder

The AI equivalent of your starship exploding at the launchpad. https://tldr.nettime.org/@festal/114721637610323807

felix stalder (@festal@tldr.nettime.org)
Attached: 1 image Oh yeah, fast track model collapse!

Compressed Models are NOT Trust-equivalent to Their Large Counterparts
Rohit Raj Rai, Chirag Kothari, Siddhesh Shelke, Amit Awekar
https://arxiv.org/abs/2508.13533 https://

Compressed Models are NOT Trust-equivalent to Their Large Counterparts
Large Deep Learning models are often compressed before being deployed in a resource-constrained environment. Can we trust the prediction of compressed models just as we trust the prediction of the original large model? Existing work has keenly studied the effect of compression on accuracy and related performance measures. However, performance parity does not guarantee trust-equivalence. We propose a two-dimensional framework for trust-equivalence evaluation. First, interpretability alignment me…

BitcoinTreasuries.net: about 130 publicly-listed companies currently hold ~$87B worth of bitcoin, equivalent to ~3.2% of all the bitcoins that will ever exist (Philip Stafford/Financial Times)
https://www.ft.com/content/394b3a87-bf5e-45dc-8f39-565e89f1fe47…

Who are the companies hoarding bitcoin?
Corporate treasuries now hold more than 3% of the world’s biggest cryptocurrency, a stash worth $87bn

Nature of High Equivalent Width Emitters in the Epoch of Reionization Revealed by JWST Medium-band Imaging
Kazuki Daikuhara, Takahiro Morishita, Tadayuki Kodama, Ranga-Ram Chary, Masayuki Akiyama, Jose. M. P\'erez-Mart\'inez
https://arxiv.org/abs/2507.13456

Nature of High Equivalent Width Emitters in the Epoch of Reionization Revealed by JWST Medium-band Imaging
Extreme emission line galaxies (EELGs) at high redshifts are considered key contributors to cosmic reionization at $z>6$ due to their higher ionization efficiencies. We have identified 119 H$β$ + [OIII] emitters at $z\sim7$ selected by a flux excess in the medium-band filter F410M in the public James Webb Space Telescope Cycle-1 fields. Our emitters exhibit a wide range in rest-frame H$β$ + [OIII] equivalent width (EWs), 420 $<$ EW$_{0}$/Å $<$ 6850 (with the median value of $\sim1700$ Å). A…

hens: White Leghorn hens (1946)
Dominance interactions (pecking) among a group of White Leghorn hens, observed in 1946. Edge weights represent the frequency of interaction. The two versions below are equivalent.
This network has 32 nodes and 496 edges.
Tags: Social, Animal, Weighted
https://networks.skewed.de/net/hens

from my link log —
Rewriting the Ruby parser.
https://railsatscale.com/2023-06-12-rewriting-the-ruby-parser/
saved 2024-12-26

Rewriting the Ruby parser
At Shopify, we have spent the last year writing a new Ruby parser, which we’ve called YARP (Yet Another Ruby Parser). As of the date of this post, YARP can parse a semantically equivalent syntax tree to Ruby 3.3 on every Ruby file in Shopify’s main codebase, GitHub’s main codebase, CRuby, and the 100 most popular gems downloaded from rubygems.org. We recently got approval to merge this work into CRuby, and are very excited to share our work with the community. This post will take you thro…

How long until the internet, which allowed a generation to benefit from a vast wealth of human knowledge, becomes a swamp filled with generated #AI pollution? It may already be too late. https://www.theregist…

The launch of ChatGPT polluted the world forever, like the first atomic weapons tests
Feature: Academics mull the need for the digital equivalent of low-background steel

"L'attirance humaine pour les boissons alcoolisées pourrait être, dans une large mesure, héritée de nos ancêtres primates. et d'une certaine manière, c'est quelque chose que nous partageons avec nos plus proches parents vivants : selon une nouvelle étude [...] les chimpanzés consomment quotidiennement des doses élevées d'alcool par rapport Š leur poids corporel, par l'intermédiaire des fruits qui font partie de leur régime alimentaire habituel"

Constraint satisfaction problems, compactness and non-measurable sets
Claude Tardif
https://arxiv.org/abs/2508.14838 https://arxiv.org/pdf/2508.14838

Constraint satisfaction problems, compactness and non-measurable sets
A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to A. We show that if A has width one, then the compactness of A can be proved in the axiom system of Zermelo and Fraenkel, but otherwise, the compactness of A implies the existence of non-measurable sets in 3-space.

Google says the median Gemini app text prompt consumes 0.24Wh of energy, about the same as running a microwave for a second, and emits 0.03g of CO2 equivalent (Casey Crownhart/MIT Technology Review)
https://www.technologyreview.com/2025/08/21/1122288/google-gemin…

In a first, Google has released data on how much energy an AI prompt uses
It’s the most transparent estimate yet from one of the big AI companies, and a long-awaited peek behind the curtain for researchers.

Asymptotic Study of In-context Learning with Random Transformers through Equivalent Models
Samet Demir, Zafer Dogan
https://arxiv.org/abs/2509.15152 https://

Asymptotic Study of In-context Learning with Random Transformers through Equivalent Models
We study the in-context learning (ICL) capabilities of pretrained Transformers in the setting of nonlinear regression. Specifically, we focus on a random Transformer with a nonlinear MLP head where the first layer is randomly initialized and fixed while the second layer is trained. Furthermore, we consider an asymptotic regime where the context length, input dimension, hidden dimension, number of training tasks, and number of training samples jointly grow. In this setting, we show that the rand…

kangaroo: Grey kangaroo dominance
Dominance relations among a group of free-ranging grey kangaroos (Macropus giganteus). Edge weights represent the frequency of interaction. The two versions below are equivalent.
This network has 17 nodes and 91 edges.
Tags: Social, Animal, Weighted
https://networks.skewed.de/net/kangar…

On the homology description of equivalent unoriented bordism groups
Bo Chen, Zhi L\"u
https://arxiv.org/abs/2508.11841 https://arxiv.org/pdf/2508.1184…

On the homology description of equivalent unoriented bordism groups
We construct a chain complex $\mathfrak{B}$ based on a double complex derived from the universal complex $X(\mathbb{Z}_2^n)$. It is shown that $\mathfrak{B}$ has a nontrivial homology only in degree $n-2$, which is isomorphic to the equivariant unoriented bordism group $\mathcal{Z}_{n+1}(\mathbb{Z}_2^n)$ of all $(n+1)$-dimensional smooth closed $\mathbb{Z}_2^n$-manifolds with isolated fixed points. By analyzing the spectral sequence of $\mathfrak{B}$, we derive a dimension formula for $\mathcal…

From Chiral Topological Dynamics to Chiral Topological Amplification: Real vs Imaginary Parameters in a Hermitian Bosonic Chain
Kiran Babasaheb Estake, T. R. Vishnu, Dibyendu Roy
https://arxiv.org/abs/2508.14560

From Chiral Topological Dynamics to Chiral Topological Amplification: Real vs Imaginary Parameters in a Hermitian Bosonic Chain
We propose a Hermitian quadratic bosonic model (QBH) whose dynamical matrix exhibits distinct topological and dynamical phenomena depending on whether the hopping and pairing amplitudes are real or purely imaginary. In the real-parameter regime, the dynamical matrix is unitarily equivalent to four decoupled copies of the sublattice-symmetric non-Hermitian Su-Schrieffer-Heeger (nSSH2) model, thereby inheriting its topological phases and energy spectrum-including the Möbius phase, a gapless topo…

MimicFunc: Imitating Tool Manipulation from a Single Human Video via Functional Correspondence
Chao Tang, Anxing Xiao, Yuhong Deng, Tianrun Hu, Wenlong Dong, Hanbo Zhang, David Hsu, Hong Zhang
https://arxiv.org/abs/2508.13534

MimicFunc: Imitating Tool Manipulation from a Single Human Video via Functional Correspondence
Imitating tool manipulation from human videos offers an intuitive approach to teaching robots, while also providing a promising and scalable alternative to labor-intensive teleoperation data collection for visuomotor policy learning. While humans can mimic tool manipulation behavior by observing others perform a task just once and effortlessly transfer the skill to diverse tools for functionally equivalent tasks, current robots struggle to achieve this level of generalization. A key challenge l…

What's the equivalent of #Immich but for audio and video files?
I'm looking for a self-hostable #FOSS thing that I can throw the rest of my media library in the face (movies, music, downloaded youtube videos, etc.) and it'll sort everything nicely, maybe even query databases to find metada…

More than 343,000 hectares (848,000 acres) of land – the equivalent of nearly half a million football pitches [or a suare with sides 58.6 km long] – have been destroyed this year in Spain, setting a new national record, according to the European Forest Fire Information System (EFFIS)
Wildfires rage across Spain and Portugal as record area of land burned | Climate News | Al Jazeera

Wildfires rage across Spain and Portugal as record area of land burned
Wildfires in Spain and Portugal burn record land and force evacuations as heatwave and drought spur the flames.

Exciting news! Just tagged ngscopeclient v0.1-rc1!
There are now only three known release blocking issues:
* MacOS binary packaging (https://github.com/ngscopeclient/scopehal-apps/issues/743)
* Removing use of one deprecated ImGui function that I t…

Packaging: ngscopeclient packaging and (eventually) CPack and the Windows and MacOS equivalent · Issue #743 · ngscopeclient/scopehal-apps
Intro We need to make our linux build outputs CPackable so we can generate distro-specific packages that pull in external dependencies automagically. Afterwards we need to fix Windows MSYS DLLs + i...

Anyone remember the game where you had to search just two words to get one single search result?
Today's equivalent is "any prompt, as verbose as you like, that returns a given target page as top result."

Revisit Choice Network for Synthesis and Technology Mapping
Chen Chen, Jiaqi Yin, Cunxi Yu
https://arxiv.org/abs/2508.14068 https://arxiv.org/pdf/2508.1406…

Revisit Choice Network for Synthesis and Technology Mapping
Choice network construction is a critical technique for alleviating structural bias issues in Boolean optimization, equivalence checking, and technology mapping. Previous works on lossless synthesis utilize independent optimization to generate multiple snapshots, and use simulation and SAT solvers to identify functionally equivalent nodes. These nodes are then merged into a subject graph with choice nodes. However, such methods often neglect the quality of these choices, raising the question of…

Symmetric and non-symmetric F-conjectures are equivalent
Maksym Fedorchuk, Anton Mellit
https://arxiv.org/abs/2507.12434 https://arxi…

Symmetric and non-symmetric F-conjectures are equivalent
The F-conjecture gives a conjectural description of the ample cone of the Deligne-Mumford moduli space $\overline{M}_{g,n}$. We prove that the $S_n$-symmetric and the non-symmetric F-conjectures are equivalent. We also prove the Strong F-conjecture for $\overline{M}_{0,8}$ (and give an alternative proof for $\overline{M}_{0,7})$. Finally, we derive, as a consequence, the F-conjecture for the moduli space of stable curves $\overline{M}_{g}$ up to genus $g\leq 44$.

Constructions of symmetric separable equivalences and their applications
Juxiang Sun, Guoqiang Zhao
https://arxiv.org/abs/2508.14401 https://arxiv.org/pdf/…

Constructions of symmetric separable equivalences and their applications
Let $Λ$ and $Γ$ be symmetrically separably equivalent Artin algebras. We prove that there exist symmetrical separable equivalences between certain endomorphism algebras of modules. As applications, we provide several methods to construct symmetrical separable equivalences from given ones and discuss when the rigidity dimension is an invariant under symmetrical separable equivalences. Moreover, we show that a symmetrical separable equivalence preserves the Frobenius-finite type, Auslander-type…

Morse-based Modular Homology for Evolving Simplicial Complexes
Anqiao Ouyang
https://arxiv.org/abs/2508.14429 https://arxiv.org/pdf/2508.14429

Morse-based Modular Homology for Evolving Simplicial Complexes
The computation of homology groups for evolving simplicial complexes often requires repeated reconstruction of boundary operators, resulting in prohibitive costs for large-scale or frequently updated data. This work introduces MMHM, a Morse-based Modular Homology Maintenance framework that preserves homological invariants under local complex modifications. An initial discrete Morse reduction produces a critical cell complex chain-homotopy equivalent to the input; subsequent edits trigger locali…

The New Status Qvo? SN 2021qvo is Another 2003fg-like Type Ia Supernova with a Rising Light-Curve Bump
I. A. Abreu Paniagua, W. B. Hoogendam, D. O. Jones, G. Dimitriadis, R. J. Foley, C. Gall, J. O'Brien, K. Taggart, C. R. Angus, K. Auchettl, D. A. Coulter, K. W. Davis, T. de Boer, A. Do, H. Gao, L. Izzo, C. -C. Lin, T. B. Lowe, Z. Lai, R. Kaur, M. Y. Kong, A. Rest, M. R. Siebert, S. K. Yadavalli, Y. Zenati, Q. Wang

The New Status Qvo? SN 2021qvo is Another 2003fg-like Type Ia Supernova with a Rising Light-Curve Bump
In recent years, multiple Type Ia supernovae (SNe Ia) have been observed with "bumps" in their rising light curves shortly after explosion. Here, we present SN 2021qvo: a SN Ia that exhibits a clear early bump in photometry obtained by the Young Supernova Experiment. Photometric and spectroscopic observations of SN 2021qvo show that it has a broader light curve, higher peak luminosity, shallower Si II $λ$5972 pseudo-equivalent width, and lower ejecta velocities than normal SNe Ia, which are al…

Development and testing of integrated readout electronics for next generation SiSeRO (Single electron Sensitive Read Out) devices
Tanmoy Chattopadhyay, Haley R. Stueber, Abigail Y. Pan, Sven Herrmann, Peter Orel, Kevan Donlon, Steven W. Allen, Marshall W. Bautz, Michael Cooper, Catherine E. Grant, Beverly LaMarr, Christopher Leitz, Andrew Malonis, Eric D. Miller, R. Glenn Morris, Gregory Prigozhin, Ilya Prigozhin, Artem Poliszczuk, Keith Warner, Daniel R. Wilkins

Development and testing of integrated readout electronics for next generation SiSeRO (Single electron Sensitive Read Out) devices
The first generation of Single electron Sensitive Read Out (SiSeRO) amplifiers, employed as on-chip charge detectors for charge-coupled devices (CCDs) have demonstrated excellent noise and spectral performance: a responsivity of around 800 pA per electron, an equivalent noise charge (ENC) of 3.2 electrons root mean square (RMS), and a full width half maximum (FWHM) energy resolution of 130 eV at 5.9 keV for a readout speed of 625 Kpixel/s. Repetitive Non Destructive Readout (RNDR) has also been…

A State-Space Representation of Coupled Linear Multivariate PDEs and Stability Analysis using SDP
Declan S. Jagt, Matthew M. Peet
https://arxiv.org/abs/2508.14840 https://

A State-Space Representation of Coupled Linear Multivariate PDEs and Stability Analysis using SDP
Physical processes evolving in both time and space are often modeled using Partial Differential Equations (PDEs). Recently, it has been shown how stability analysis and control of coupled PDEs in a single spatial variable can be more conveniently performed using an equivalent Partial Integral Equation (PIE) representation. The construction of this PIE representation is based on an analytic expression for the inverse of the spatial differential operator, $\partial_s^{d}$, on the domain defined b…

Almost reducibility, distortion and local perfection for diffeomorphisms of one-manifolds
H\'el\`ene Eynard-Bontemps (IF, IMJ-PRG), Emmanuel Militon (LJAD, UniCA)
https://arxiv.org/abs/2507.13770

Almost reducibility, distortion and local perfection for diffeomorphisms of one-manifolds
In this article, we characterize the distortion elements of the group of smooth diffeomorphisms of the circle and of the group of compactly supported smooth diffeomorphisms of the real line. More precisely, we prove that, in this context, an element is distorted if and only if it is almost reducible, that is if and only if it has conjugates arbitrarily close to an isometry. For diffeomorphisms with fixed points, we show that this is equivalent to being the time-1 map of a C 1 vector field witho…

SIS setting up some equivalent of SecureDrop (Tor).
https://www.theregister.com/2025/09/19/mi6_darkweb_portal_upgrade/

MI6 reveals 'Silent Courier' dark web portal upgrade it hopes will help it recruit new spies
: YouTube vids explain digital tradecraft to reach spooks over Tor or VPN without blowing your cover

Eric Metaxas declares that holding members of the Obama administration responsible
is "a moral test for America":
"With this kind of filth, you cannot have the America that was given to us by God through the founders. It needs to be cleaned out. We need to have the equivalent of the Nuremberg Trials."
http…

A Moral Test For America
Unethical, Illegal, And Treasonous The Greatest Mass Murderer In History That's Quite A Line Up

Best approximation from the positive cone of an inner product lattice
Marouen Abdouli, Karim Boulabiar
https://arxiv.org/abs/2508.13722 https://arxiv.org/p…

Best approximation from the positive cone of an inner product lattice
Let $E$ be a directed (i.e., positively generated) ordered vector space endowed with an inner product. In this note, we prove that the following statements are equivalent: i) $E$ is a vector lattice and its norm induced by its inner product is a lattice norm. ii) The metric projection onto the positive cone $E^+$ of $E$ exists and it is both isotone and subadditive. Moreover, in this case, the best approximation to any $x \in E$ from $E^+$ coincides with its positive part $x^+$. This result ext…

e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu
https://arxiv.org/abs/2508.13020

e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
E-graphs have attracted growing interest in many fields, particularly in logic synthesis and formal verification. E-graph extraction is a challenging NP-hard combinatorial optimization problem. It requires identifying optimal terms from exponentially many equivalent expressions, serving as the primary performance bottleneck in e-graph based optimization tasks. However, traditional extraction methods face a critical trade-off: heuristic approaches offer speed but sacrifice optimality, while exac…

Jahn-Teller-like Distortion in a One-dimensional {\pi}-Conjugated Polymer
Ziyi Wang, Boyu Qie, Weichen Tang, Jingwei Jiang, Fujia Liu, Peter H. Jacobse, Jiaming Lu, Xinheng Li, Steven G. Louie, Felix R. Fischer, Michael F. Crommie
https://arxiv.org/abs/2508.14416

Jahn-Teller-like Distortion in a One-dimensional π-Conjugated Polymer
Structurally distorting low-dimensional π-conjugated systems can profoundly influence their electronic properties, but controlling such behavior in extended-width systems remains challenging. Here we demonstrate that a one-dimensional conjugated polymer, poly-(difluorenoheptalene-ethynylene) (PDFHE), undergoes a pronounced out-of-plane backbone distortion, equivalent to a spontaneous symmetry breaking (SSB) of its mirror symmetry. We synthesized PDFHE on noble metal surfaces and characterized …

Analytical phase boundary of a quantum driven-dissipative Kerr oscillator from classical stochastic instantons
Th\'eo S\'epulcre
https://arxiv.org/abs/2508.13925 https:/…

Analytical phase boundary of a quantum driven-dissipative Kerr oscillator from classical stochastic instantons
The framework of Keldysh path integral concisely describes quantum systems driven away from thermal equilibrium, such as the two-photon driven Kerr oscillator. Within the thermodynamic limit of diverging photon occupation, we map it to a Martin-Siggia-Rose-Janssen-de Dominicis path integral, and obtain a purely classical, stochastic equivalent where photon self-interaction plays the role of temperature. This perspective sheds light on the difficulties encountered in the search for an effective …

Symplectic Eichler criterion
Shouhei Ma
https://arxiv.org/abs/2508.12624 https://arxiv.org/pdf/2508.12624

Symplectic Eichler criterion
We prove an Eichler-type criterion for symplectic lattices which determines in a simple way when two primitive vectors are equivalent under a canonical congruence subgroup of the symplectic group. This is supplemented by another, related criterion which determines when a given primitive vector is splitting. Both criteria use the discriminant groups.

Branching space of precubical set
Philippe Gaucher
https://arxiv.org/abs/2508.14839 https://arxiv.org/pdf/2508.14839

Branching space of precubical set
Using the notion of short natural directed path, we introduce the homotopy branching space of a precubical set. It is unique only up to homotopy equivalence. We prove that, for any precubical set, it is homotopy equivalent to the branching space of any q-realization, any m-realization and any h-realization of the precubical set as a flow. As an application, we deduce the invariance of the homotopy branching space and of the branching homology up to cubical subdivision. By reversing the time dir…

First-order equivalent static loads for dynamic response structural optimization
Mordechay Buzaglo, Nicol\`o Pollini
https://arxiv.org/abs/2508.07222 https://

First-order equivalent static loads for dynamic response structural optimization
A novel first-order equivalent static loads approach for optimization of structural dynamic response, F-ESL, is presented and compared to the basic equivalent static load formulation, ESL. F-ESL simplifies dynamic optimization problems by converting them into a series of static optimization sub-problems. The ESL algorithm in its original formulation does not have a guaranteed capability of reaching, or recognizing, final designs that satisfy necessary first-order optimality conditions. F-ESL ad…

Drunk ape theory https://www.bbc.com/news/articles/cgq4710vendo

On the N-elliptic localized solutions to the derivative nonlinear Schr\"odinger equation and their asymptotic analysis
Liming Ling, Wang Tang
https://arxiv.org/abs/2508.12882

On the N-elliptic localized solutions to the derivative nonlinear Schrödinger equation and their asymptotic analysis
We parameterize the elliptic function solutions to the derivative nonlinear Schrödinger (DNLS) equation with four independent parameters and generate two equivalent forms of N-elliptic localized solutions to the DNLS equation through the Darboux-Bäcklund transformation. The N-elliptic localized solutions are expressed as (the derivative of) the ratios of determinants with entries in terms of Weierstrass sigma functions. Moreover, the asymptotic behaviors of both forms of N-elliptic localized …

Line Operators in 3d Holomorphic QFT: Meromorphic Tensor Categories and dg-Shifted Yangians
Tudor Dimofte, Wenjun Niu, Victor Py
https://arxiv.org/abs/2508.11749 https://…

Line Operators in 3d Holomorphic QFT: Meromorphic Tensor Categories and dg-Shifted Yangians
We study line operators and their OPE's in perturbative 3d holomorphic-topological QFT's, including holomorphic-topological twists (quarter-BPS sectors) of 3d $N=2$ theories. In particular, we develop the representation theory of the category $C$ of perturbative line operators and its chiral tensor product, by generalizing techniques introduced by Costello and collaborators. We argue that lines are equivalent to modules for an $A_\infty$ algebra $A^!$ that's Koszul-dual to bulk local operators.…

Predicting temperature-dependent failure and transformation zones in 2D silica glass through quasistatic Gaussian Phase Packets
Miguel Sp\'inola, Shashank Saxena, Franz Bamer, Dennis M. Kochmann
https://arxiv.org/abs/2507.13960

Predicting temperature-dependent failure and transformation zones in 2D silica glass through quasistatic Gaussian Phase Packets
The athermal quasistatic (AQS) method is a powerful technique to study the mechanical behavior of disordered systems. However, its applicability is limited to temperatures near zero, where thermal activation is unlikely. In this work, we extend the AQS method to finite temperatures, based on a formulation that describes atoms as temperature-dependent Gaussian packets (GPPs) in phase space under quasistatic conditions, thus equivalent to minimum free energy conditions. This framework is used to …

Simulation-based validation of Bayes factor computation
Martin Modr\'ak, Sebastian Stroppel, Paul-Christian B\"urkner
https://arxiv.org/abs/2508.11814 https://

Simulation-based validation of Bayes factor computation
We propose and evaluate two methods that validate the computation of Bayes factors: one based on an improved variant of simulation-based calibration checking (SBC) and one based on calibration metrics for binary predictions. We show that in theory, binary prediction calibration is equivalent to a special case of SBC, but with finite resources, binary prediction calibration is typically more sensitive. With well-designed test quantities, SBC can however detect all possible problems in computatio…

Masked Diffusion Models as Energy Minimization
Sitong Chen, Shen Nie, Jiacheng Sun, Zijin Feng, Zhenguo Li, Ji-Rong Wen, Chongxuan Li
https://arxiv.org/abs/2509.13866 https://…

Masked Diffusion Models as Energy Minimization
We present a systematic theoretical framework that interprets masked diffusion models (MDMs) as solutions to energy minimization problems in discrete optimal transport. Specifically, we prove that three distinct energy formulations--kinetic, conditional kinetic, and geodesic energy--are mathematically equivalent under the structure of MDMs, and that MDMs minimize all three when the mask schedule satisfies a closed-form optimality condition. This unification not only clarifies the theoretical fo…

Convergence analysis of Left-Right splitting surface scattering method
Paul E Parbone, Mark Spivack, Orsola Rath Spivack
https://arxiv.org/abs/2508.12342 https://

Convergence analysis of Left-Right splitting surface scattering method
We study the convergence of the Left-Right splitting method (equivalent in key respects to the Method of Multiple Ordered Interactions and Forward-Backward method) for wave scattering by rough surfaces. This is an operator series method primarily designed for low grazing incidence and found in many cases to converge rapidly, often within one or two terms even for large incident angles. However, convergence is not guaranteed and semi-convergence may be observed. Our aims are two-fold: (1) To o…

On combination theorems and Bowditch boundaries of relatively hyperbolic TDLC groups
Swarnali Datta, Arunava Mandal, Ravi Tomar
https://arxiv.org/abs/2508.13038 https://

On combination theorems and Bowditch boundaries of relatively hyperbolic TDLC groups
Based on the work of Farb, Bowditch, and Groves-Manning on discrete relatively hyperbolic groups, we introduce an approach to relative hyperbolicity for totally disconnected locally compact (TDLC) groups. For compactly generated TDLC groups, we prove that this notion is equivalent to the one introduced by Arora-Pedroza. Let $G=A\ast_C B$ or $G=A\ast_C$ where $A$ and $B$ are relatively hyperbolic TDLC groups and $C$ is compact. We prove that $G$ is a relatively hyperbolic TDLC group and give a c…

Magmal characterisations of cocartesian categories
Nathanael Arkor
https://arxiv.org/abs/2508.11615 https://arxiv.org/pdf/2508.11615

Magmal characterisations of cocartesian categories
We present a survey of characterisations of cocartesian categories in terms of monoidal categories - and, more generally, magmal categories - satisfying additional properties. In particular, we show that the following are equivalent for a unital magmal category $(\mathcal M, \otimes)$, sharpening several classical characterisations. * $(\mathcal M, \otimes)$ is cocartesian monoidal. * Every object of $\mathcal M$ admits the structure of a unital magma with respect to $\otimes$, such that ev…

A geometry of cubic discriminants in 8 dimensions
Elitza Hristova, Ivan Minchev
https://arxiv.org/abs/2508.12014 https://arxiv.org/pdf/2508.12014

A geometry of cubic discriminants in 8 dimensions
This paper examines 8-dimensional Riemannian manifolds whose structure group reduces to ${SO(4)}_{ir}\subset GL(8,\mathbb R)$, the image of an irreducible representation of $SO(4)$ on $\mathbb R^8$. We demonstrate that such a reduction can be described by an almost quaternion-Hermitian structure and a special rank-4 tensor field, which we call a cubic discriminant. This tensor field is pointwise linearly equivalent to the formula for the discriminant of a cubic polynomial. We show that the only…

The Wrath of KAN: Enabling Fast, Accurate, and Transparent Emulation of the Global 21 cm Cosmology Signal
J. Dorigo Jones, B. Reyes, D. Rapetti, Shah Mohammad Bahauddin, J. O. Burns, D. W. Barker
https://arxiv.org/abs/2508.11752

The Wrath of KAN: Enabling Fast, Accurate, and Transparent Emulation of the Global 21 cm Cosmology Signal
Based on the Kolmogorov-Arnold Network (KAN), we present a novel emulator of the global 21 cm cosmology signal, $\texttt{21cmKAN}$, that provides extremely fast training speed while achieving nearly equivalent accuracy to the most accurate emulator to date, $\texttt{21cmLSTM}$. The combination of enhanced speed and accuracy facilitated by $\texttt{21cmKAN}$ enables rapid and highly accurate physical parameter estimation analyses of multiple 21 cm models, which is needed to fully characterize th…

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications
Aur\`ele Barri\`ere, Victor Deng, Cl\'ement Pit-Claudel
https://arxiv.org/abs/2507.13091

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications
We present the first mechanized, succinct, practical, complete, and proven-faithful semantics for a modern regular expression language with backtracking semantics. We ensure its faithfulness by proving it equivalent to a preexisting line-by-line embedding of the official ECMAScript specification of JavaScript regular expressions. We demonstrate its practicality by presenting two real-world applications. First, a new notion of contextual equivalence for modern regular expressions, which we use t…

Entropy-driven phase transition in a non-collinear antiferromagnet due to higher-order exchange interactions
Leo Kollwitz, Moritz A. Goerzen, Bjarne Beyer, Hendrik Schrautzer, Stefan Heinze
https://arxiv.org/abs/2508.12829

Entropy-driven phase transition in a non-collinear antiferromagnet due to higher-order exchange interactions
The triple-Q state arises due to the superposition of three symmetry equivalent spin spirals stabilized by higher-order exchange interactions. It has been predicted more than 20 years ago but was only recently discovered in a Mn monolayer on the Re(0001) surface. To date little is known about the thermodynamic properties of this intriguing non-coplanar spin state. Here, we reveal a low-temperature phase transition between the triple-Q and the row-wise antiferromagnetic state in this system via …

On the equivalence and optimality of transformations of diffusive systems
Davide Gabrielli, Giovanni Jona-Lasinio
https://arxiv.org/abs/2509.14450 https://…

On the equivalence and optimality of transformations of diffusive systems
In this paper we introduce, inspired by Clausius and developing the ideas of \cite{pre}, the concept of equivalence of transformations in non equilibrium theory of diffusive systems within the framework of macroscopic fluctuation theory. Besides providing a new proof of a formula derived in \cite{mft,qc}, which is the basis of the equivalence, we show that equivalent quasistatic transformations can be distinguished in finite terms, by the renormalized work introduced in \cite{45,46,mft,qc}. Thi…

Componentwise linearity of powers of edge ideals of weighted oriented graphs
Manohar Kumar, Joydip Mondal, Ramakrishna Nanduri
https://arxiv.org/abs/2509.14637 https://

Componentwise linearity of powers of edge ideals of weighted oriented graphs
In this paper, we study the componentwise linearity of powers of edge ideal of a weighted oriented graph $D$. We give a characterization for componentwise linearity of the edge ideal $I(D)$ in terms of forbidden subgraphs of $D$. If $D$ is house-free or complete $r$-partite, then the following statements are equivalent: (1) $I(D)$ is componentwise linear; (2) $I(D)$ is vertex splittable; (3) $I(D)$ has linear quotient property; (4) both $G$ and $H(I(D)_{(2)})$ are co-chordal and $D_1,D_2,D_3,D…

The Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ for Fourier integral operators for $p<1$
Naijia Liu, Jan Rozendaal, Liang Song
https://arxiv.org/abs/2508.13243 https…

The Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ for Fourier integral operators for $p<1$
We introduce the Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ for Fourier integral operators for $0

Prompt Stability in Code LLMs: Measuring Sensitivity across Emotion- and Personality-Driven Variations
Wei Ma, Yixiao Yang, Jingquan Ge, Xiaofei Xie, Lingxiao Jiang
https://arxiv.org/abs/2509.13680

Prompt Stability in Code LLMs: Measuring Sensitivity across Emotion- and Personality-Driven Variations
Code generation models are widely used in software development, yet their sensitivity to prompt phrasing remains under-examined. Identical requirements expressed with different emotions or communication styles can yield divergent outputs, while most benchmarks emphasize only peak performance. We present PromptSE (Prompt Sensitivity Evaluation), a framework that creates semantically equivalent prompt variants with emotion and personality templates, and that evaluates stability using probability …

Sen. Bernie Sanders (I-Vermont)
is taking on the “retirement crisis” in the U.S.
with a new bill aimed at guaranteeing pensions or solid retirement plans for every worker in America.
On Thursday, Sanders introduced the "Pensions for All Act",
which would require corporations to provide a retirement plan equivalent to or better than the pensions plan offered to members of Congress.
“If we are serious about addressing the retirement crisis in America,

Sanders Introduces “Pensions for All Act” to Ensure Workers Can Retire
Only 9 percent of Americans have pensions today, compared to 44 percent in 1975.

Lattice polytopes and semigroup algebras: Generic Lefschetz properties and Parseval-Rayleigh identities
Karim Alexander Adiprasito, Stavros Argyrios Papadakis, Vasiliki Petrotou
https://arxiv.org/abs/2509.14152

Lattice polytopes and semigroup algebras: Generic Lefschetz properties and Parseval-Rayleigh identities
We study semigroup algebras associated to lattice polytopes. We begin by generalizing and refining work of Hochster, and describe the volume maps of these algebras, that is, their fundamental classes, in terms of Parseval-Rayleigh identities and differential equations, which we prove to be equivalent. We use these descriptions to establish strong Lefschetz properties. A consequence is the resolution of several conjectures concerning unimodality properties of the h*-polynomial of lattice p…

🚨Job Alert 🚨 The Department of #Geology at the University of Otago in #NewZealand invites applications for a faculty position (Lecturer – equivalent to Assistant Professor in North American academic systems) in Earth sciences or adjacent field.

TIL (#Arm things):
> There are no equivalent instructions to BX and BLX to change between AArch32 and AArch64 state. The only way to change execution state is by a change of exception level.
https://

Diagrammatic bosonisation, aspects of criticality, and the Hohenberg-Mermin-Wagner Theorem in parquet approaches
Aiman Al-Eryani
https://arxiv.org/abs/2509.15094 https://…

Diagrammatic bosonisation, aspects of criticality, and the Hohenberg-Mermin-Wagner Theorem in parquet approaches
The parquet equations present a cornerstone of some of the most important diagrammatic many-body approximations and methods currently on the market for strongly correlated materials: from non-local extensions of the dynamical mean-field theory to the functional renormalization group. The recently introduced single-boson exchange decomposition of the vertex presents an alternative set of equivalent equations in terms of screened interactions, Hedin vertices, and rest functions. This formulation …

Uniqueness of purifications is equivalent to Haag duality
Lauritz van Luijk, Alexander Stottmeister, Henrik Wilming
https://arxiv.org/abs/2509.12911 https://

Uniqueness of purifications is equivalent to Haag duality
The uniqueness of purifications of quantum states on a system $A$ up to local unitary transformations on a purifying system $B$ is central to quantum information theory. We show that, if the two systems are modelled by commuting von Neumann algebras $M_A$ and $M_B$ on a Hilbert space $\mathcal H$, then uniqueness of purifications is equivalent to Haag duality $M_A = M_B'$. In particular, the uniqueness of purifications can fail in systems with infinitely many degrees of freedom -- even when $M_…

Exact cosmological solutions in non-coincidence $f(Q)$-theory
Avik De, Andronikos Paliathanasis
https://arxiv.org/abs/2509.14174 https://arxiv.org/pdf/2509…

Exact cosmological solutions in non-coincidence $f(Q)$-theory
We study exact cosmological solutions in $f(Q)$ gravity formulated beyond the coincident gauge, focusing on the non-coincident connection branch $Γ_B$. Using a minisuperspace approach, the field equations are recast into an equivalent scalar-tensor form, enabling analytic reconstruction of cosmological models. We obtain exact solutions of particular interest, including de Sitter, scaling, $Λ$CDM, Chaplygin gas, generalized Chaplygin gas, and CPL parameterizations. The corresponding scalar pot…

Out of curiosity, is there an r/egg_irl equivalent on Fedi? It seems like a missed opportunity if not…

An extension and refinement of the theorems of Douglas and Sebesty\'en for unbounded operators
Yosra Barkaoui, Seppo Hassi
https://arxiv.org/abs/2507.13561

An extension and refinement of the theorems of Douglas and Sebestyén for unbounded operators
For a closed densely defined operator $T$ from a Hilbert space $\mathfrak{H}$ to a Hilbert space $\mathfrak{K}$, necessary and sufficient conditions are established for the factorization of $T$ with a bounded nonnegative operator $X$ on $\mathfrak{K}$. This result yields a new extension and a refinement of a well-known theorem of R.G. Douglas, which shows that the operator inequality $A^*A\leq λ^2 B^*B, λ\geq 0$, is equivalent to the factorization $A=CB$ with $\|C\|\leq λ$. The mai…

hens: White Leghorn hens (1946)
Dominance interactions (pecking) among a group of White Leghorn hens, observed in 1946. Edge weights represent the frequency of interaction. The two versions below are equivalent.
This network has 32 nodes and 496 edges.
Tags: Social, Animal, Weighted
https://networks.skewed.de/net/hens

A Dynamical Criterion Equivalent to the Riemann Hypothesis
Hendrik Wladimir Albrecht Edwin Kuipers
https://arxiv.org/abs/2509.10588 https://arxiv.org/pdf/2…

A Dynamical Criterion Equivalent to the Riemann Hypothesis
We introduce a discrete dynamical system on the integers, defined by moving a composite $m$ forward to $m+π(m)$ and a prime $p$ backward to $p-\mathrm{prevprime}(p)$. This map produces trajectories whose contraction properties are closely tied to the distribution of primes. We prove unconditional contraction inequalities for error terms derived from these trajectories, using explicit remainder bounds from the smoothed explicit formula. Building on this, we show that the Riemann Hypothesis is…

This is amusing. In a story about Laufey’s upcoming concert in North America, it states that 400,000 tickets were sold and that’s the same as 80 of the big arena in Reykjavík.
Unmentioned: this is the equivalent of every person in Iceland buying a ticket!
https://icelandmonitor.mb…

A major achievement for Laufey
Leifur Björnsson, head of exports at the Iceland Music Office, says the demand for tickets to Laufey Lín’s upcoming concert tour in the United States and Canada is almost without precedent in Icelandic music history.

PromQL. I'm trying to aggregate two rates. By itself this works:
rate(node_network_receive_bytes_total{instance="$instance",device="eth0"}[1m])*8
The equivalent for eth1 by itself also works and reports 0 b/s because eth1 has never been up.

According to the following article "The D.C.-based think tank estimates the tariffs will bring in an estimated $1.3 trillion of net new revenue through the end of Trump’s current term "
OK let's run some numbers... And remember, the R party wants to cut households in with a one time $500 check. Remember that number $500.
US population is very roughly 300,000,000, about 3x10**8
$1.3 trillion is 1.3x10**12
So if the R's want to repay us for the tarif…

Trump is bringing in so much revenue from tariffs that it’s seriously reducing the $37 trillion national debt
It's the equivalent of a new payroll tax or a 17% cut in the size of the military, according to a top think tank.

Improving Document Retrieval Coherence for Semantically Equivalent Queries
Stefano Campese, Alessandro Moschitti, Ivano Lauriola
https://arxiv.org/abs/2508.07975 https://…

Improving Document Retrieval Coherence for Semantically Equivalent Queries
Dense Retrieval (DR) models have proven to be effective for Document Retrieval and Information Grounding tasks. Usually, these models are trained and optimized for improving the relevance of top-ranked documents for a given query. Previous work has shown that popular DR models are sensitive to the query and document lexicon: small variations of it may lead to a significant difference in the set of retrieved documents. In this paper, we propose a variation of the Multi-Negative Ranking loss for …

Anti-pre-Poisson bialgebras and relative Rota-Baxter operators
Qinxiu Sun, Min Wu
https://arxiv.org/abs/2509.13963 https://arxiv.org/pdf/2509.13963

Anti-pre-Poisson bialgebras and relative Rota-Baxter operators
In this paper, we first introduce the notion of an anti-pre-Poisson bialgebra, which is shown to be equivalent to both quadratic anti-pre-Poisson algebras and matched pairs of Poisson algebras. The study of coboundary anti-pre-Poisson bialgebras leads to the anti-pre-Poisson Yang-Baxter equation (APP-YBE). Skew-symmetric solutions of this equation give rise to coboundary anti-pre-Poisson bialgebras. Furthermore, we investigate how solutions without skew-symmetry can also induce such bialgebras,…

'Consistent with the Supreme Court': Group immediately cites Kavanaugh to stop birthright citizenship ban via class action with 'functional equivalent of a universal injunction'
https://lawandcrime.com/high-profile/consistent-with-the-supreme-court-group-immediately-cites-kavanaugh-to-stop-birthright-citizenship-ban-via-class-action-with-functional-equivalent-of-a-universal-injunction/

Amazon's 2024 sustainability report says it emitted 68.25M metric tons of carbon dioxide equivalent, up 6% from 2023 and the first rise in three years (Matt Day/Bloomberg)
https://www.bloomberg.com/news/articles/2025-07-16/a…

Amazon’s (AMZN) Carbon Emissions Climbed 6% in 2024 on Data Center Buildout
Amazon.com Inc.’s carbon emissions rose for the first time in three years in 2024, driven by data center construction and fuel consumption by its delivery providers.

Cyclic proof theory of positive inductive definitions
Gianluca Curzi, Lukas Melgaard
https://arxiv.org/abs/2507.13057 https://arxiv.o…

Cyclic proof theory of positive inductive definitions
We study cyclic proof systems for $μ\mathsf{PA}$, an extension of Peano arithmetic by positive inductive definitions that is arithmetically equivalent to the (impredicative) subsystem of second-order arithmetic $Π^1_2$-$\mathsf{CA}_0$ by Möllefeld. The main result of this paper is that cyclic and inductive $μ\mathsf{PA}$ have the same proof-theoretic strength. First, we translate cyclic proofs into an annotated variant based on Sprenger and Dam's systems for first-order $μ$-calculus, whose…

Dual is Different: EFTs, Axions and Nonpropagating Form Fields in Cosmology
C. P. Burgess, F. Quevedo
https://arxiv.org/abs/2509.11340 https://arxiv.org/pd…

Dual is Different: EFTs, Axions and Nonpropagating Form Fields in Cosmology
Scalar fields in 4D are known to have equivalent dual descriptions in terms of form-field gauge potentials, but this is often regarded as an arcane fact. Why use more complicated formulations when simpler scalar descriptions exist and are equivalent? We describe three ways in which scalars that arise as duals can differ from their garden-variety counterparts. Two of these -- the interchange of weak and strong couplings and utility in bringing topological information to the low-energy theory -- …

Adaptive time-domain boundary element methods for the wave equation with Neumann boundary conditions
Alessandra Aimi, Giulia Di Credico, Heiko Gimperlein, Chiara Guardasoni
https://arxiv.org/abs/2508.12332

Adaptive time-domain boundary element methods for the wave equation with Neumann boundary conditions
This article investigates adaptive mesh refinement procedures for the time-domain wave equation with Neumann boundary conditions, formulated as an equivalent hypersingular boundary integral equation. Space-adaptive and time-adaptive versions of a space-time boundary element method are presented, based on a reliable a posteriori error estimate of residual type. Numerical experiments illustrate the performance of the proposed approach.

kangaroo: Grey kangaroo dominance
Dominance relations among a group of free-ranging grey kangaroos (Macropus giganteus). Edge weights represent the frequency of interaction. The two versions below are equivalent.
This network has 17 nodes and 91 edges.
Tags: Social, Animal, Weighted
https://networks.skewed.de/net/kangar…

Democrats are calling for the creation of a state equivalent of the National Institutes of Health,
but first state lawmakers and then voters would need to approve it.
https://www.nytimes.com/2025/09/13/us/cali

California’s $23 Billion Plan to Restore Federal Cuts to Scientific Research
Democrats are calling for the creation of a state equivalent of the National Institutes of Health, but first state lawmakers and then voters would need to approve it.

An Equivalent Representation of Generalized Differentials
Valentin Suder
https://arxiv.org/abs/2507.07337 https://arxiv.org/pdf/2507.…

An Equivalent Representation of Generalized Differentials
We propose an equivalent formula for the higher-order derivatives used in the study of Generalized Almost Perfect Nonlinear functions over an arbitrary finite field of characteristic $p$. The result is obtained by counting the number of subsets of the prime field with a fixed cardinality for which the sum of their elements is constant. We then ask related questions regarding the diversity of higher-order derivatives.

Dualizability of derived categories of algebraic stacks
Germ\'an Stefanich
https://arxiv.org/abs/2509.14231 https://arxiv.org/pdf/2509.14231

Dualizability of derived categories of algebraic stacks
We show that, for a Noetherian algebraic stack with quasi-affine diagonal $X$, the stable $\infty$-category of quasi-coherent sheaves on $X$ is dualizable if and only if the reduced identity component of the stabilizer of $X$ at every geometric point of positive characteristic is a torus. Along the way, we show that this condition on stabilizers is also equivalent to an array of other categorical conditions of interest.

kangaroo: Grey kangaroo dominance
Dominance relations among a group of free-ranging grey kangaroos (Macropus giganteus). Edge weights represent the frequency of interaction. The two versions below are equivalent.
This network has 17 nodes and 91 edges.
Tags: Social, Animal, Weighted
https://networks.skewed.de/net/kangar…

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ing\'olfsd\'ottir
https://arxiv.org/abs/2509.14089

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
This paper studies the complexity of determining whether a formula in the modal logics characterizing the nested-simulation semantics is characteristic for some process, which is equivalent to determining whether the formula is satisfiable and prime. The main results are that the problem of determining whether a formula is prime in the modal logic characterizing the 2-nested-simulation preorder is coNP-complete and is PSPACE-complete in the case of the n-nested-simulation preorder, when n>=3. T…

Wave maps from circle to Riemannian manifold: global controllability is equivalent to homotopy
Jean-Michel Coron, Joachim Krieger, Shengquan Xiang
https://arxiv.org/abs/2509.12779

Wave maps from circle to Riemannian manifold: global controllability is equivalent to homotopy
We study wave maps from the circle to a general compact Riemannian manifold. We prove that the global controllability of this geometric equation is characterized precisely by the homotopy class of the data. As a remarkable intermediate result, we establish uniform-time global controllability between steady states, providing a partial answer to an open problem raised by Dehman, Lebeau and Zuazua (2003). Finally, we obtain quantitative exponential stability around closed geodesics with negative s…

Simplified scheme for continuous-variable entanglement distillation: multicopy distillation of Gaussian entanglement without heralding Gaussian measurements
Jarom\'ir Fiur\'a\v{s}ek
https://arxiv.org/abs/2509.15065

Simplified scheme for continuous-variable entanglement distillation: multicopy distillation of Gaussian entanglement without heralding Gaussian measurements
Entanglement of continuous-variable Gaussian states can be distilled by combination of de-Gaussifying operation such as single-photon subtraction and iterative heralded Gaussification. Here we present and analyze a simplified equivalent version of such entanglement distillation protocol, where the Gaussian measurements utilized in heralded Gaussification are eliminated and are absorbed into the preparation of suitable input Gaussian states of the simplified protocol. The simplified scheme conta…

Multi-wavelength study of the high Galactic latitude supernova remnant candidate \snr\ associated with the Calvera pulsar
Emanuele Greco, Michela Rigoselli, Sandro Mereghetti, Fabrizio Bocchino, Marco Miceli, Vincenzo Sapienza, Salvatore Orlando
https://arxiv.org/abs/2507.13210

Multi-wavelength study of the high Galactic latitude supernova remnant candidate \snr\ associated with the Calvera pulsar
The candidate supernova remnant (SNR) G118.4+37.0 (Calvera's SNR), discovered as a faint radio ring at high Galactic latitude and coincident with extended Fermi/LAT gamma-ray emission, is likely associated to the X-ray pulsar 1RXS J141256.0+792204 (Calvera). Previous XMM-Newton data hinted at soft diffuse X-ray emission inside the ring but lacked sufficient exposure for detailed characterisation. We obtained new XMM-Newton observations, and produced count-rate images, equivalent width and media…

The extended horizontal linear complementarity problem: iterative methods and error analysis
Shi-Liang Wu, Cui-Xia Li
https://arxiv.org/abs/2509.14491 https://

The extended horizontal linear complementarity problem: iterative methods and error analysis
To the best of our knowledge, since the extended horizontal linear complementarity problem (EHLCP) was first introduced and studied by Kaneko in 1977, no iterative methods or error analysis have been developed for it due to the interdependence of its multiple unknowns in a 'chain-like' structure. This paper aims to address these gaps by: (1) proposing an equivalent fixed-point formulation of the EHLCP by using a variable transformation technique with the max-min function; (2) developing eff…

Module-Theoretic Characterizations of Prufer $v$-Multiplication Domains
Xiaolei Zhang, Hwankoo Kim
https://arxiv.org/abs/2509.13617 https://arxiv.org/pdf/2…

Module-Theoretic Characterizations of Prufer $v$-Multiplication Domains
We present unified $w$-theoretic characterizations of Prüfer $v$-multiplication domains (P$v$MDs). A module-theoretic perspective shows that torsion submodules are $w$-pure, and for $(w$-)$\,$finitely generated modules $M$, the canonical sequence $0\to T(M)\to M\to M/T(M)\to 0$ $w$-splits, resolving an open question of Geroldinger--Kim--Loper. In a $w$-version of Hattori-Davis theory, these conditions are equivalent to $Tor^R_2(M,N)$ being $GV$-torsion for all $R$-modules $M,N$, equivale…

Kernelization for list $H$-coloring for graphs with small vertex cover
Marta Piecyk, Astrid Pieterse, Pawe{\l} Rz\k{a}\.zewski, Magnus Wahlstr\"om
https://arxiv.org/abs/2507.12005

Kernelization for list $H$-coloring for graphs with small vertex cover
For a fixed graph $H$, in the List $H$-Coloring problem, we are given a graph $G$ along with list $L(v) \subseteq V(H)$ for every $v \in V(G)$, and we have to determine if there exists a list homomorphism $φ$ from $(G,L)$ to $H$, i.e., an edge preserving mapping $φ: V(G)\to V(H)$ that satisfies $φ(v)\in L(v)$ for every $v\in V(G)$. Note that if $H$ is the complete graph on $q$ vertices, the problem is equivalent to List $q$-Coloring. We investigate the kernelization properties of List $H$-Co…

An augmented Lagrangian method for strongly regular minimizers in a class of convex composite optimization problems
Chengjing Wang, Peipei Tang
https://arxiv.org/abs/2507.12040

An augmented Lagrangian method for strongly regular minimizers in a class of convex composite optimization problems
In this paper, we study a class of convex composite optimization problems. We begin by characterizing the equivalence between the primal/dual strong second-order sufficient condition and the dual/primal nondegeneracy condition. Building on this foundation, we derive a specific set of equivalent conditions for the perturbation analysis of the problem. Furthermore, we employ the augmented Lagrangian method (ALM) to solve the problem and provide theoretical guarantees for its performance. Specific…

Harvesting Contextuality from the Vacuum
Philip A. LeMaitre
https://arxiv.org/abs/2508.11773 https://arxiv.org/pdf/2508.11773

Harvesting Contextuality from the Vacuum
Quantum contextuality is the notion that certain measurement scenarios do not admit a global description of their statistics and has been implicated as the source of quantum advantage in a number of quantum information protocols. It has been shown that contextuality generalizes the concepts of non-local entanglement and magic, and is an equivalent notion of non-classicality to Wigner negativity. In this paper, the protocol of contextuality harvesting is introduced and it is shown that Unruh-DeW…

On matrix weighted Bourgain-Morrey Triebel-Lizorkin spaces
Tengfei Bai, Pengfei Guo, Jingshi Xu
https://arxiv.org/abs/2508.11981 https://arxiv.org/pdf/2508…

On matrix weighted Bourgain-Morrey Triebel-Lizorkin spaces
We introduce the homogeneous (inhomogeneous) matrix weighted Bourgain-Morrey Triebel-Lizorkin spaces and obtain equivalent norms of these spaces. We also obtain their characterizations by Peetre type maximal functions, Lusin-area function, Littlewood-Paley $g_λ^{*}$-function, approximation, wavelet and atom. As an application, we obtain boundedness of pseudo-differential operators with symbols in the Hörmander classes and Hölder-Zygmund classes on inhomogeneous matrix weighted Bourgain-Morre…

You've got a Freund--Rubin in Me: The Aretakis Instability of Extremal Black Branes
Calvin Y. -R. Chen, \'Aron D. Kov\'acs
https://arxiv.org/abs/2507.12529

You've got a Freund--Rubin in Me: The Aretakis Instability of Extremal Black Branes
We investigate how the Aretakis instability affects non-dilatonic extremal black $p$-branes by focusing on their near-horizon geometry. Crucially, the strength of the instability, \textit{i.e.} the number of transverse derivatives needed to see non-decay/blow-up of fields on the horizon at late null time, is given by the scaling dimensions with respect to the near-horizon $\mathrm{AdS}_{p+2}$-factor. This renders the problem of determining the severity of the Aretakis instability equivalent to …

The Complexity of Generalized HyperLTL with Stuttering and Contexts
Ga\"etan Regaud (ENS Rennes), Martin Zimmermann (Aalborg University)
https://arxiv.org/abs/2509.14095 ht…

The Complexity of Generalized HyperLTL with Stuttering and Contexts
We settle the complexity of satisfiability and model-checking for generalized HyperLTL with stuttering and contexts, an expressive logic for the specification of asynchronous hyperproperties. Such properties cannot be specified in HyperLTL, as it is restricted to synchronous hyperproperties. Nevertheless, we prove that satisfiability is $Σ_1^1$-complete and thus not harder than for HyperLTL. On the other hand, we prove that model-checking is equivalent to truth in second-order arithmetic, and …

Fascinating:
A feature in the Financial Times reveals some very rich people have started selling up and living in motorhomes.
Obviously, they’re ultra-luxurious motorhomes. The owner of a private equity firm interviewed has a 30-tonne behemoth with air conditioning and high-speed internet, a kitchen, dining room, two bathrooms, a “spacious master bedroom” and “a range of modern hi-tech appliances”. which cost
“around $2.7m” (£2m)
I read something else about ultra-high…

Equivalent Characterizations and Their Applications of Solvability of $L^p$ Poisson--Robin(-Regularity) Problems on Rough Domains
Xuelian Fu, Dachun Yang, Sibei Yang
https://arxiv.org/abs/2507.11103

Equivalent Characterizations and Their Applications of Solvability of $L^p$ Poisson--Robin(-Regularity) Problems on Rough Domains
Let $n\ge2$, $Ω\subset\mathbb{R}^n$ be a bounded one-sided chord arc domain, and $p\in(1,\infty)$. In this article, we study the (weak) $L^p$ Poisson--Robin(-regularity) problem for a uniformly elliptic operator $L:=-\mathrm{div}(A\nabla\cdot)$ of divergence form on $Ω$, which considers weak solutions to the equation $Lu=h-\mathrm{div}\boldsymbol{F}$ in $Ω$ with the Robin boundary condition $A\nabla u\cdot\boldsymbolν+αu=\boldsymbol{F}\cdot\boldsymbolν$ on the boundary $\partialΩ$ for fu…

Equiangular tight frames in real symplectic space: Zauner's conjecture and the skew Hadamard conjecture
Kean Fallon
https://arxiv.org/abs/2509.14463 https://

Equiangular tight frames in real symplectic space: Zauner's conjecture and the skew Hadamard conjecture
We introduce the notion of equiangular tight frames in real symplectic spaces and formulate a conjecture on their existence in terms of the dimension and number of vectors. Our main results shows the "symplectic Zauner's conjecture" is equivalent to the skew Hadamard conjecture. The proof involves counting subgraphs called "diamonds" in tournaments.

Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
Thomas Bellotti (EM2C)
https://arxiv.org/abs/2507.13108 https…

Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
We study the stability of one-dimensional linear scalar lattice Boltzmann schemes for hyperbolic equations with respect to boundary data. Our approach is based on the original raw algorithm on several unknowns, thereby avoiding the need for a transformation into an equivalent scalar formulation-a challenging process in presence of boundaries. To address different behaviors exhibited by the numerical scheme, we introduce appropriate notions of strong stability. They account for the potential abs…

Equivalent Characterizations and Applications of Fractional Sobolev Spaces with Partially Vanishing Traces on $(\epsilon,\delta,D)$-Domains Supporting $D$-Adapted Fractional Hardy Inequalities
Jun Cao, Dachun Yang, Qishun Zhang
https://arxiv.org/abs/2507.08295

Equivalent Characterizations and Applications of Fractional Sobolev Spaces with Partially Vanishing Traces on $(ε,δ,D)$-Domains Supporting $D$-Adapted Fractional Hardy Inequalities
Let $Ω\subset\mathbb{R}^n$ be an $(ε,δ,D)$-domain, with $ε\in(0,1]$, $δ\in(0,\infty]$, and $D\subset \partial Ω$ being a closed part of $\partial Ω$, which is a general open connected set when $D=\partial Ω$ and an $(ε,δ)$-domain when $D=\emptyset$. Let $s\in(0,1)$ and $p\in[1,\infty)$. If ${W}^{s,p}(Ω)$, ${\mathcal W}^{s,p}(Ω)$, and $\mathring{W}_D^{s,p}(Ω)$ are the fractional Sobolev spaces on $Ω$ that are defined respectively via the restriction of $W^{s,p}(\mathbb{R}^n)$ to $�…

Some equivalent definitions for weighted Korenblum and Bloch-type spaces of the upper half-plane
Benoit F. Sehba
https://arxiv.org/abs/2508.07294 https://a…

Some equivalent definitions for weighted Korenblum and Bloch-type spaces of the upper half-plane
In this paper, we prove some equivalent characterizations of weighted Korenblum spaces and Bloch spaces in terms of symbols of bounded Hankel operators.

Why is Wall Street brushing off Trump’s escalating tariff threats?
Investors feel free to continue bidding up stock prices because they assume TACO Trump will always back down from his most costly tariff plans, market analysts said.
But Trump views stocks’ steady rise as a license to intensify his trade threats,
acting out the economic policy equivalent of his 2016 quip that he could “stand in the middle of Fifth Avenue and shoot somebody” without paying a price.
His…

Why Wall Street is brushing off Trump’s escalating tariff threats
President Donald Trump’s escalating tariff threats have not deterred Wall Street, with the stock market continuing to rise despite trade policy uncertainty.

kangaroo: Grey kangaroo dominance
Dominance relations among a group of free-ranging grey kangaroos (Macropus giganteus). Edge weights represent the frequency of interaction. The two versions below are equivalent.
This network has 17 nodes and 91 edges.
Tags: Social, Animal, Weighted
https://networks.skewed.de/net/kangar…