Tootfinder

#PhantastikPrompts 10.06.:
Wie hältst du es mit geschlechtergerechter Sprache?
Wer bei mir mitliest, dürfte gesehen haben, dass ich nach Möglichkeit neutrale Formen verwende (und wo es sich absolut nicht ausgeht damit, den Stern verwende). Bis hin dazu, dass ich sowohl für den Eigengebrauch, als auch für den Fremdgebrauch und die Romanwelt ein paar Neologismen geschaffen ha…

Class-preserving Coleman Automorphisms of Finite Groups with Semidihedral Sylow 2-Subgroups
Riccardo Aragona
https://arxiv.org/abs/2506.08904 https://

Class-preserving Coleman Automorphisms of Finite Groups with Semidihedral Sylow 2-Subgroups
In this paper, we prove that finite groups with semidihedral Sylow 2-subgroup have Class-preserving Coleman outer automorphism group of odd order. As a consequence, these groups satisfy the normalizer problem. In particular, we extend some existing results in the literature concerning class-preserving Coleman automorphisms of finite groups with semidihedral Sylow 2-subgroups.

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo
https://arxiv.org/abs/2506.05525 …

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
Abstract interpretation offers a powerful toolset for static analysis, tackling precision, complexity and state-explosion issues. In the literature, state partitioning abstractions based on (bi)simulation and property-preserving state relations have been successfully applied to abstract model checking. Here, we pursue a different track in which model checking is seen as an instance of program verification. To this purpose, we introduce a suitable language-called MOKA (for MOdel checking as abst…

Convergence of linear programming hierarchies for Gibbs states of spin systems
Hamza Fawzi, Omar Fawzi
https://arxiv.org/abs/2506.06125 https://

Convergence of linear programming hierarchies for Gibbs states of spin systems
We consider the problem of computing expectation values of local functions under the Gibbs distribution of a spin system. In particular, we study two families of linear programming hierarchies for this problem. The first hierarchy imposes local spin flip equalities and has been considered in the bootstrap literature in high energy physics. For this hierarchy, we prove fast convergence under a spatial mixing (decay of correlations) condition. This condition is satisfied for example above the cri…

17½ minutes of primal squatting tonight, catching up on the 1980 German novella "Ein fliehendes Pferd" by Martin Walser. I'll be leading a book discussion group for the Volkbildungswerk on it in three weeks. Sign up! https://www.vbw-ned.de/programm…

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

Doubly relaxed forward-Douglas--Rachford splitting for the sum of two nonconvex and a DC function
In this paper, we consider a class of structured nonconvex nonsmooth optimization problems whose objective function is the sum of three nonconvex functions, one of which is expressed in a difference-of-convex (DC) form. This problem class covers several important structures in the literature including the sum of three functions and the general DC program. We propose a splitting algorithm and prove the subsequential convergence to a stationary point of the problem. The full sequential convergenc…

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…

The NASA Exoplanet Archive and Exoplanet Follow-up Observing Program: Data, Tools, and Usage
Jessie L. Christiansen, Douglas L. McElroy, Marcy Harbut, David R. Ciardi, Megan Crane, John Good, Kevin K. Hardegree-Ullman, Aurora Y. Kesseli, Michael B. Lund, Meca Lynn, Ananda Muthiar, Ricky Nilsson, Toba Oluyide, Michael Papin, Amalia Rivera, Melanie Swain, Nicholas D. Susemiehl, Raymond Tam, Julian van Eyken, Charles Beichman

The NASA Exoplanet Archive and Exoplanet Follow-up Observing Program: Data, Tools, and Usage
The NASA Exoplanet Archive and the Exoplanet Follow-up Observing Program service are two widely used resources for the exoplanet community. The NASA Exoplanet Archive provides a complete and accurate accounting of exoplanetary systems published by NASA missions and by the community in the refereed literature. In anticipation of continued exponential growth in the number of exoplanetary systems, and the increasing complexity in our characterization of these systems, the NASA Exoplanet Archive ha…

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

A survey on big Ramsey structures
In recent years, there has been much progress in the field of structural Ramsey theory, in particular in the study of big Ramsey degrees. In all known examples of infinite structures with finite big Ramsey degrees, there is in fact a single expansion of the structure, called a big Ramsey structure, which correctly encodes the exact big Ramsey degrees of every finite substructure simultaneously. The first half of the article collects facts about this phenomenon that have appeared in the literatu…

Disentangling Barriers to Welfare Program Participation with Semiparametric and Mixed Effect Approaches
Lei Bill Wang, Sooa Ahn
https://arxiv.org/abs/2506.03457

Disentangling Barriers to Welfare Program Participation with Semiparametric and Mixed Effect Approaches
This paper examines why eligible households do not participate in welfare programs. Under the assumption that there exist some observed fully attentive groups, we model take-up as a two-stage process: attention followed by choice. We do so with two novel approaches. Drawing inspiration from the demand estimation for stochastically attentive consumers literature, Approach I is semiparametric with a nonparametric attention function and a parametric choice function. It uses fully attentive househo…