Tootfinder

How Norway Is Proving That Homelessness Is a Solvable Problem https://reasonstobecheerful.world/norway-proving-homelessness-solvable-problem/?utm_source=dlvr.it&a…

How Norway Is Proving That Homelessness Is a Solvable Problem
The Scandinavian nation has significantly reduced the number of people experiencing homelessness. What could other countries learn from its example?

How Norway Is Proving That Homelessness Is a Solvable Problem
https://reasonstobecheerful.world/norway-proving-homelessness-solvable-problem/?utm_source=flipboard&utm_content=m…

How Norway Is Proving That Homelessness Is a Solvable Problem
The Scandinavian nation has significantly reduced the number of people experiencing homelessness. What could other countries learn from its example?

Interrelation among Solvable Potentials and Extensions of SWKB Quantization Condition
Yuta Nasuda
https://arxiv.org/abs/2507.22381 https://arxiv.org/pdf/25…

Interrelation among Solvable Potentials and Extensions of SWKB Quantization Condition
The exactly solvable Schrödinger equations with the conventional shape-invariant potentials are known to be related with each other through point cannonical transformations. In this paper, we extend the idea to integral formulae called the SWKB integrals. By virtue of this, we derive extended forms of the SWKB quantization condition for certain classes of Natanzon potentials. We further demonstrate that the same idea can also be applied to obtain an exact quantization rule for a subclass of qu…

2D CFT and efficient Bethe ansatz for exactly solvable Richardson-Gaudin models
Grzegorz Biskowski, Franco Ferrari, Marcin R. Piatek
https://arxiv.org/abs/2507.22734 https://

2D CFT and efficient Bethe ansatz for exactly solvable Richardson-Gaudin models
This work inaugurates a series of complementary studies on Richardson-Gaudin integrable models. We begin by reviewing the foundations of classical and quantum integrability, recalling the algebraic Bethe ansatz solution of the Richardson (reduced BCS) and Gaudin (central spin) models, and presenting a proof of their integrability based on the Knizhnik-Zamolodchikov equations and their generalizations to perturbed affine conformal blocks. Building on this foundation, we then describe an alternat…

Solvable Tuple Patterns and Their Applications to Program Verification
Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
https://arxiv.org/abs/2508.20365 https://

Solvable Tuple Patterns and Their Applications to Program Verification
Despite the recent progress of automated program verification techniques, fully automated verification of programs manipulating recursive data structures remains a challenge. We introduce the notion of solvable tuple patterns (STPs) to express invariants between list-like recursive data structures. A distinguishing feature of STPs is that they can be efficiently inferred from only a small number of positive samples; no negative samples are required. An SMT solver that supports the sequence theo…

On Nilpotent and Solvable Quasi-Einstein Manifolds
Nazia Valiyakath
https://arxiv.org/abs/2507.19674 https://arxiv.org/pdf/2507.19674

On Nilpotent and Solvable Quasi-Einstein Manifolds
In this paper we investigate the structure of nilpotent Lie groups and unimodular solvable Lie groups with quasi-Einstein metric $(M,g,X)$ when $X$ is a left-invariant vector field. We define such a metric as a totally left-invariant quasi-Einstein metric. We prove that any non-flat unimodular solvable Lie group $S$ with a totally left-invariant quasi-Einstein metric, must have one-dimensional center. Along with this, if the adjoint action $ad_a$ of $S$ is a normal derivation, then $S$ must be …

Replaced article(s) found for cs.CG. https://arxiv.org/list/cs.CG/new
[1/1]:
- The Contiguous Art Gallery Problem is Solvable in Polynomial Time
Magnus Christian Ring Merrild, Casper Moldrup Rysgaard, Jens Kristian Refsgaard Schou, Rolf Svenning

Measure equivalence and sofic approximations
Thiebout Delabie, Juhani Koivisto, Romain Tessera
https://arxiv.org/abs/2506.21750 https://

Measure equivalence and sofic approximations
We introduce a technique for producing a measure coupling between two sofic groups from a family of maps between their sofic approximations. We exploit this to construct measure couplings between pairs of groups with prescribed integrability conditions. As an application we show that solvable Baumslag-Solitar groups, Lamplighters and the group SOL are all exponentially measure equivalent to one another: in particular they are L^p measure equivalent for all p. This is in sharp contrast with the …

Galaxy Watch: Samsung bringt Schlafapnoe-Erkennung nach Deutschland
Samsungs Galaxy-Watches haben in Deutschland und weiteren Ländern Unterstützung für die Schlafapnoe-Erkennung erhalten.
http…

A strong height gap theorem for $PGL_2$
Mikhail Belolipetsky, Sebastian Hurtado
https://arxiv.org/abs/2507.22266 https://arxiv.org/pdf/2507.22266

A strong height gap theorem for $PGL_2$
The height gap theorem states that the finite subsets $F$ of matrices generating non-virtually solvable groups have normalized height $\widehat{h}(F)$ bounded below by a constant. It was first proved by Breuillard and another proof was given later by Chen, Hurtado and Lee. In this paper we show that when the set $F$ is contained in a maximal arithmetic subgroup $Γ$ of $G = PGL_2(\mathbb{R})^a \times PGL_2(\mathbb{C})^b$, $a+b \ge 1$, the height bound for the case when $F$ generates a Zariski d…