Tootfinder

White House Pushes Texas to Redistrict, Hoping to Blunt Democratic Gains (New York Times)
https://www.nytimes.com/2025/06/09/us/politics/trump-texas-redistricting.html
http://www.memeorandum.com/250610/p4#a250610p4

Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
https://arxiv.org/abs/2506.07834 …

Execution-Aware Program Reduction for WebAssembly via Record and Replay
WebAssembly (Wasm) programs may trigger bugs in their engine implementations. To aid debugging, program reduction techniques try to produce a smaller variant of the input program that still triggers the bug. However, existing execution-unaware program reduction techniques struggle with large and complex Wasm programs, because they rely on static information and apply syntactic transformations, while ignoring the valuable information offered by the input program's execution behavior. We presen…

Canonical Reductive Decomposition of Extrinsic Homogeneous Submanifolds
Jos\'e Luis Carmona Jim\'enez, Marco Castrill\'on L\'opez
https://arxiv.org/abs/2506.05580 …

Canonical Reductive Decomposition of Extrinsic Homogeneous Submanifolds
Let $\overline{M}=\overline{G}/\overline{H}$ be a homogeneous Riemannian manifold. Given a Lie subgroup $G\subset \overline{G}$ and a reductive decomposition of the homogeneous structure of $\overline{M}$, we analyze a canonical reductive decomposition for the orbits of the action of $G$. These leaves of the $G$-action are extrinsic homogeneous submanifolds and the analysis of the reductive decomposition of them is related with their extrinsic properties. We connect the study with works in the …

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
Rapha\"el Berthon, Joost-Pieter Katoen, Zihan Zhou
https://arxiv.org/abs/2506.06223

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
Significant progress has been recently achieved in developing efficient solutions for simple stochastic games (SSGs), focusing on reachability objectives. While reductions from stochastic parity games (SPGs) to SSGs have been presented in the literature through the use of multiple intermediate game models, a direct and simple reduction has been notably absent. This paper introduces a novel and direct polynomial-time reduction from quantitative SPGs to quantitative SSGs. By leveraging a gadget-b…

An extension of Dembo-Hammer's reduction algorithm for the 0-1 knapsack problem
Yang Yang
https://arxiv.org/abs/2506.06138 https://

An extension of Dembo-Hammer's reduction algorithm for the 0-1 knapsack problem
Dembo-Hammer's Reduction Algorithm (DHR) is one of the classical algorithms for the 0-1 Knapsack Problem (0-1 KP) and its variants, which reduces an instance of the 0-1 KP to a sub-instance of smaller size with reduction time complexity $O(n)$. We present an extension of DHR (abbreviated as EDHR), which reduces an instance of 0-1 KP to at most $n^i$ sub-instances for any positive integer $i$. In practice, $i$ can be set as needed. In particular, if we choose $i=1$ then EDHR is exactly DHR. Fina…

On the methods of reduction of some types of Marczerwski-Burstin measurable functions to continuous functions on products of perfect sets
Waldemar Ho{\l}ubowski, S{\l}awomir Kusi\'nski
https://arxiv.org/abs/2506.06458

On the methods of reduction of some types of Marczerwski-Burstin measurable functions to continuous functions on products of perfect sets
In this paper we provide product-wise generalizations of certain Marczewski-Burstin bases such as sets with (s)-property and completely Ramsey sets. For each of those we prove - as an analog of classical Luzin's and Eggleston's theorems that functions measurable with respect to those families can be reduced to continuous functions on a product of perfect sets. Moreover we also provide a way to reduce sequences of such functions to continuity, providing generalizations to Laver's extension of Ha…

Redaktionspause https://www.german-foreign-policy.com/news/detail/9944

Langlands parameters for reductive groups over finite fields
Naoki Imai, David A. Vogan Jr
https://arxiv.org/abs/2506.06961 https://a…

Langlands parameters for reductive groups over finite fields
We define Langlands parameters for connected reductive groups over finite fields and formulate the Langlands correspondence for finite fields using these parameters.

Elementary discrete diffusion/redistancing schemes for the mean curvature flow
Antonin Chambolle, Daniele De Gennaro, Massimiliano Morini
https://arxiv.org/abs/2506.05946

Elementary discrete diffusion/redistancing schemes for the mean curvature flow
We consider here a fully discrete and explicit scheme for the mean curvature flow of boundaries, based on an elementary diffusion step and a precise redistancing operation. We give an elementary convergence proof for the scheme under the standard CFL condition $h\sim\varepsilon^2$, where $h$ is the time discretization step and $\varepsilon$ the space step. We discuss extensions to more general convolution/redistancing schemes.

Shari Redstone says she was diagnosed with thyroid cancer and underwent surgery in May (New York Times)
https://www.nytimes.com/2025/06/05/business/media/shari-redstone-paramount-trump-cbs.html

Shari Redstone Confirms Cancer Diagnosis While Facing Trump’s ‘60 Minutes’ Suit
Ms. Redstone, who is trying to close the sale of her family’s Paramount media empire to Skydance, was diagnosed with thyroid cancer this spring.