Tootfinder

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- The Maisky Piano Trio live from Wigmore and Mendelssohn symphonies
Elizabeth Alker introduces a week of specially recorded and live music including an eavesdrop on the Vienna Philharmonic and the Maisky Piano Trio live from Wigmore Hall.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002f0d4

X hires Nikita Bier, the serial entrepreneur who was behind polling startup TBH and teen-focused social network Gas, as its new head of product (Kurt Wagner/Bloomberg)
https://www.bloomberg.com/news/articles/2025-06-30/…

Quantum melting a Wigner crystal into Hall liquids
Aidan P. Reddy, Liang Fu
https://arxiv.org/abs/2508.21000 https://arxiv.org/pdf/2508.21000

Quantum melting a Wigner crystal into Hall liquids
Recent experiments have shown that, counterintuitively, applying a magnetic field to a Wigner crystal can induce quantum Hall effects. In this work, using variational Monte Carlo, we show that magnetic fields can melt zero-field Wigner crystals into integer quantum Hall liquids. This melting originates from quantum oscillations in the liquid's ground state energy, which develops downward cusps at integer filling factors due to incompressibility. Our calculations establish a range of densities i…

Commanders' Bobby Wagner on ownership stake in WNBA's Storm: 'I want to be on the right side of change' https://www.nfl.com/news/commanders-bobby-wagner-on-ownership-stake-in-wnba-s-storm-i-want-to-be-on-t…

Quantitative gap universality for Wigner matrices
Albert Zhang
https://arxiv.org/abs/2507.20442 https://arxiv.org/pdf/2507.20442

Quantitative gap universality for Wigner matrices
We obtain the explicit rate of convergence $N^{-1/2 + ε}$ for the gaps of generalized Wigner matrices in the bulk of the spectrum, for distributions of matrix entries possibly atomic and supported on enough points. The proof proceeds by a Green function comparison, coupled with the relaxation estimate from [5]. In particular, we extend the 4 moment matching method [33] to arbitrary moments, allowing to compare resolvents down to the submicroscopic scale $N^{-3/2 + ε}$. This method also gives …

Synthesis Benchmarks for Automated Reasoning
M\'arton Hajdu, Petra Hozzov\'a, Laura Kov\'acs, Andrei Voronkov, Eva Maria Wagner, Richard Steven \v{Z}ilin\v{c}\'ik
https://arxiv.org/abs/2507.19827

Synthesis Benchmarks for Automated Reasoning
Program synthesis is the task of constructing a program conforming to a given specification. We focus on deductive synthesis, and in particular on synthesis problems with specifications given as $\forall\exists$-formulas, expressing the existence of an output corresponding to any input. So far there has been no canonical benchmark set for deductive synthesis using the $\forall\exists$-format and supporting the so-called uncomputable symbol restriction. This work presents such a data set, compos…

In a memo, Mark Zuckerberg announces Meta Superintelligence Labs and 11 new hires; Nat Friedman will partner with Alexandr Wang to lead the new group (Kurt Wagner/Bloomberg)

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[2/4]:
- Phase Transitions between Accuracy Regimes in L2 regularized Deep Neural Networks
Ibrahim Talha Ersoy, Karoline Wiesner

On the extrema of the mean subtree order of graphs
Stijn Cambie, Jorik Jooken, Stephan Wagner
https://arxiv.org/abs/2508.20593 https://arxiv.org/pdf/2508.2…

On the extrema of the mean subtree order of graphs
It has been conjectured that the minimum and maximum of the mean subtree order among connected graphs of order $n$ are attained by the path $P_n$ and clique $K_n$, respectively. Extending ideas due to Haslegrave and Vince, we confirm that the minimum is indeed attained by $P_n$. On the other hand, we discuss different approaches (both promising and flawed) that could lead to a proof of the extremality of $K_n$.