Results 171 to 180 of about 341,603 (246)

Mirror symmetry, Laurent inversion, and the classification of Q$\mathbb {Q}$‐Fano threefolds

open access: yesTransactions of the London Mathematical Society, Volume 12, Issue 1, December 2025.
Abstract We describe recent progress in a program to understand the classification of three‐dimensional Fano varieties with Q$\mathbb {Q}$‐factorial terminal singularities using mirror symmetry. As part of this we give an improved and more conceptual understanding of Laurent inversion, a technique that sometimes allows one to construct a Fano variety X$
Tom Coates   +2 more
wiley   +1 more source

On finitely generated left nilpotent braces

open access: yesTransactions of the London Mathematical Society, Volume 12, Issue 1, December 2025.
Abstract A description of finitely generated left nilpotent braces of class at most two is presented in this paper. The description heavily depends on the fact that if B$B$ is left nilpotent of class at most 2, that is B3=0$B^3 = 0$, then B$B$ is right nilpotent of class at most 3, that is B(4)=0$B^{(4)} = 0$. In addition, we construct a free object in
Hangyang Meng   +3 more
wiley   +1 more source

7‐Location, weak systolicity, and isoperimetry

open access: yesTransactions of the London Mathematical Society, Volume 12, Issue 1, December 2025.
Abstract m$m$‐Location is a local combinatorial condition for flag simplicial complexes introduced by Osajda. Osajda showed that simply connected 8‐located locally 5‐large complexes are hyperbolic. We treat the nonpositive curvature case of 7‐located locally 5‐large complexes.
Nima Hoda, Ioana‐Claudia Lazăr
wiley   +1 more source

Real models for the framed little n$n$‐disks operads

open access: yesJournal of Topology, Volume 18, Issue 4, December 2025.
Abstract We study the action of the orthogonal group on the little n$n$‐disks operads. As an application we provide small models (over the reals) for the framed little n$n$‐disks operads. It follows in particular that the framed little n$n$‐disks operads are formal (over the reals) for n$n$ even and coformal for all n$n$.
Anton Khoroshkin, Thomas Willwacher
wiley   +1 more source

Dual spaces of geodesic currents

open access: yesJournal of Topology, Volume 18, Issue 4, December 2025.
Abstract Every geodesic current on a hyperbolic surface has an associated dual space. If the current is a lamination, this dual embeds isometrically into a real tree. We show that, in general, the dual space is a Gromov hyperbolic metric tree‐graded space, and express its Gromov hyperbolicity constant in terms of the geodesic current.
Luca De Rosa, Dídac Martínez‐Granado
wiley   +1 more source

Scaling Invariant Generation Using State Space Embeddings and GPU Streaming

open access: yesConcurrency and Computation: Practice and Experience, Volume 37, Issue 25-26, 30 November 2025.
ABSTRACT The formal verification of railway control systems can ensure the safety of complex scheme plans through techniques such as induction‐based model checking. While inductive verification performs well in complex settings, it often produces false positives due to its consideration of transitions from unreachable safe states to unsafe states ...
Ben Lloyd‐Roberts   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy