skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on October 8, 2026

Title: The KSBA moduli space of stable log Calabi–Yau surfaces
Abstract We prove that every irreducible component of the coarse Kollár-Shepherd-Barron and Alexeev (KSBA) moduli space of stable log Calabi–Yau surfaces admits a finite cover by a projective toric variety. This verifies a conjecture of Hacking–Keel–Yu. The proof combines tools from log smooth deformation theory, the minimal model program, punctured log Gromov–Witten theory, and mirror symmetry.  more » « less
Award ID(s):
2201222
PAR ID:
10652874
Author(s) / Creator(s):
; ;
Publisher / Repository:
Cambridge University Press
Date Published:
Journal Name:
Forum of Mathematics, Pi
Volume:
13
ISSN:
2050-5086
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We establish a connection between the algebraic geometry of the type permutohedral toric variety and the combinatorics of delta‐matroids. Using this connection, we compute the volume and lattice point counts of type generalized permutohedra. Applying tropical Hodge theory to a new framework of “tautological classes of delta‐matroids,” modeled after certain vector bundles associated to realizable delta‐matroids, we establish the log‐concavity of a Tutte‐like invariant for a broad family of delta‐matroids that includes all realizable delta‐matroids. Our results include new log‐concavity statements for all (ordinary) matroids as special cases. 
    more » « less
  2. Summary Nonparametric covariate adjustment is considered for log-rank-type tests of the treatment effect with right-censored time-to-event data from clinical trials applying covariate-adaptive randomization. Our proposed covariate-adjusted log-rank test has a simple explicit formula and a guaranteed efficiency gain over the unadjusted test. We also show that our proposed test achieves universal applicability in the sense that the same formula of test can be universally applied to simple randomization and all commonly used covariate-adaptive randomization schemes such as the stratified permuted block and the Pocock–Simon minimization, which is not a property enjoyed by the unadjusted log-rank test. Our method is supported by novel asymptotic theory and empirical results for Type-I error and power of tests. 
    more » « less
  3. Abstract AimCommunities contain more individuals of small species and fewer individuals of large species. According to the ‘metabolic theory of ecology’, the relationship of log mean abundance with log mean body size across communities should exhibit a slope of −3/4 that is invariant across environmental conditions. Here, we investigate whether this slope is indeed invariant or changes systematically across gradients in temperature, resource availability and predation pressure. Location1048 lakes across the USA. Time Period2012. Major Taxa StudiedPhytoplankton. ResultsWe found that the size–abundance relationship across all sampled phytoplankton communities was significantly lower than −3/4 and near −1 overall. More importantly, we found strong evidence that the environment affects the slope: it varies between −0.33 and −0.93 across interacting gradients of temperature, resource (phosphorus) supply and zooplankton predation pressure. Therefore, phytoplankton communities have orders of magnitude more small or large cells depending on environmental conditions across geographical locations. ConclusionOur results emphasise the importance of the environmental factors' effect on macroecological patterns that arise through physiological and ecological processes. An investigation of the mechanisms underlying the link between individual energetics constrain and macroecological patterns would allow to predict how global warming and changes in nutrients will alter large‐scale ecological patterns in the future. 
    more » « less
  4. Abstract Surprisal theory posits that less-predictable words should take more time to process, with word predictability quantified as surprisal, i.e., negative log probability in context. While evidence supporting the predictions of surprisal theory has been replicated widely, much of it has focused on a very narrow slice of data: native English speakers reading English texts. Indeed, no comprehensive multilingual analysis exists. We address this gap in the current literature by investigating the relationship between surprisal and reading times in eleven different languages, distributed across five language families. Deriving estimates from language models trained on monolingual and multilingual corpora, we test three predictions associated with surprisal theory: (i) whether surprisal is predictive of reading times, (ii) whether expected surprisal, i.e., contextual entropy, is predictive of reading times, and (iii) whether the linking function between surprisal and reading times is linear. We find that all three predictions are borne out crosslinguistically. By focusing on a more diverse set of languages, we argue that these results offer the most robust link to date between information theory and incremental language processing across languages. 
    more » « less
  5. Abstract The theory of forbidden 0–1 matrices generalizes Turán-style (bipartite) subgraph avoidance, Davenport-Schinzel theory, and Zarankiewicz-type problems, and has been influential in many areas, such as discrete and computational geometry, the analysis of self-adjusting data structures, and the development of the graph parametertwin width. The foremost open problem in this area is to resolve thePach-Tardos conjecturefrom 2005, which states that if a forbidden pattern$$P\in \{0,1\}^{k\times l}$$ P { 0 , 1 } k × l isacyclic, meaning it is the bipartite incidence matrix of a forest, then$$\operatorname {Ex}(P,n) = O(n\log ^{C_P} n)$$ Ex ( P , n ) = O ( n log C P n ) , where$$\operatorname {Ex}(P,n)$$ Ex ( P , n ) is the maximum number of 1s in aP-free$$n\times n$$ n × n 0–1 matrix and$$C_P$$ C P is a constant depending only onP. This conjecture has been confirmed on many small patterns, specifically allPwith weight at most 5, and all but two with weight 6. The main result of this paper is a clean refutation of the Pach-Tardos conjecture. Specifically, we prove that$$\operatorname {Ex}(S_0,n),\operatorname {Ex}(S_1,n) \ge n2^{\Omega (\sqrt{\log n})}$$ Ex ( S 0 , n ) , Ex ( S 1 , n ) n 2 Ω ( log n ) , where$$S_0,S_1$$ S 0 , S 1 are the outstanding weight-6 patterns. We also prove sharp bounds on the entire class ofalternatingpatterns$$(P_t)$$ ( P t ) , specifically that for every$$t\ge 2$$ t 2 ,$$\operatorname {Ex}(P_t,n)=\Theta (n(\log n/\log \log n)^t)$$ Ex ( P t , n ) = Θ ( n ( log n / log log n ) t ) . This is the first proof of an asymptotically sharp bound that is$$\omega (n\log n)$$ ω ( n log n )
    more » « less