{"generation_id":"sha256:e44fe048bf34d4e55b76af0e42f931ce1121c5c189edf0e8cd6061a5902b3e47","contract":[{"generation_id":"sha256:e44fe048bf34d4e55b76af0e42f931ce1121c5c189edf0e8cd6061a5902b3e47","drawing_sha256":"7dbfd06317213e4000fc","upstream_commit":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","ids":"Statement Map's reader ids: d:, f:, p:, r:, l:","pairing":"build_site.lean_pairing: Statement Map's citations and bindings, else the atlas's reading of the Lean text; candidate pairings are unreviewed"}],"disciplines":[{"id":"d:number-theory","name":"Number theory","families":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30],"withLean":17},{"id":"d:algebraic-and-complex-geometry","name":"Algebraic and complex geometry","families":[31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66],"withLean":8},{"id":"d:real-and-complex-analysis","name":"Real and complex analysis","families":[67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82],"withLean":10},{"id":"d:convex-and-metric-geometry","name":"Convex and metric geometry","families":[83,84,85,86,87,88,89,90,91,92,93,94,95,96,97],"withLean":13},{"id":"d:theoretical-computer-science","name":"Theoretical computer science","families":[98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137],"withLean":34},{"id":"d:dynamical-systems-and-ergodic-theory","name":"Dynamical systems and ergodic theory","families":[138,139,140,141,142,143,144,145,146,147,148,149],"withLean":9},{"id":"d:combinatorics","name":"Combinatorics","families":[150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186],"withLean":33},{"id":"d:algebra","name":"Algebra","families":[187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204],"withLean":10},{"id":"d:probability-and-statistical-mechanics","name":"Probability and statistical mechanics","families":[205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],"withLean":19},{"id":"d:mathematical-logic","name":"Mathematical logic","families":[234,235,236,237,238,239],"withLean":6},{"id":"d:group-theory","name":"Group theory","families":[240,241,242,243,244,245,246,247,248,249,250,251,252,253],"withLean":12},{"id":"d:mathematical-physics","name":"Mathematical physics","families":[254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278],"withLean":17},{"id":"d:operator-algebras","name":"Operator algebras","families":[279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297],"withLean":15},{"id":"d:topology","name":"Topology","families":[298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315],"withLean":3},{"id":"d:functional-analysis","name":"Functional analysis","families":[316,317,318,319,320,321,322,323,324,325,326],"withLean":10},{"id":"d:differential-geometry","name":"Differential geometry","families":[327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355],"withLean":15},{"id":"d:partial-differential-equations","name":"Partial differential equations","families":[356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371],"withLean":11}],"families":[{"id":"f:001","num":"001","title":"Milne’s rationality conjecture and algebraic specialization","d":0,"papers":[0],"lean":[],"tone":"none","ring":false,"href":"families/001.html","cites":[[31,1]],"citedBy":[[31,1]]},{"id":"f:002","num":"002","title":"The full BSD formula from low Selmer corank","d":0,"papers":[1,2,3],"lean":[],"tone":"none","ring":false,"href":"families/002.html","cites":[[5,3]],"citedBy":[[5,2],[18,1]]},{"id":"f:003","num":"003","title":"The quasi-Riemann hypothesis","d":0,"papers":[4,5,6],"lean":[0,1,2,3],"tone":"all","ring":false,"href":"families/003.html","cites":[[22,1]],"citedBy":[[12,1],[15,1],[28,1],[176,1]]},{"id":"f:004","num":"004","title":"Hilbert’s tenth problem over ℚ","d":0,"papers":[7,8],"lean":[],"tone":"none","ring":false,"href":"families/004.html","cites":[[5,2],[9,1]],"citedBy":[[9,1]]},{"id":"f:005","num":"005","title":"Irrationality of Catalan’s constant","d":0,"papers":[9],"lean":[4],"tone":"all","ring":true,"href":"families/005.html","cites":[],"citedBy":[]},{"id":"f:006","num":"006","title":"Goldfeld’s conjecture: densities and mean analytic rank","d":0,"papers":[10,11],"lean":[],"tone":"none","ring":false,"href":"families/006.html","cites":[[1,2]],"citedBy":[[1,3],[3,2]]},{"id":"f:007","num":"007","title":"Ordinary two-point correlations and the corrected Elliott conjecture","d":0,"papers":[12],"lean":[5,6],"tone":"all","ring":false,"href":"families/007.html","cites":[],"citedBy":[]},{"id":"f:008","num":"008","title":"The Deligne–Drinfeld conjecture","d":0,"papers":[13],"lean":[7],"tone":"all","ring":false,"href":"families/008.html","cites":[],"citedBy":[]},{"id":"f:009","num":"009","title":"Function-field reconstruction from Milnor K-theory and Galois data","d":0,"papers":[14,15,16],"lean":[8],"tone":"part","ring":false,"href":"families/009.html","cites":[],"citedBy":[]},{"id":"f:010","num":"010","title":"Unrestricted pro-modularity at the prime two","d":0,"papers":[17,18,19],"lean":[],"tone":"none","ring":false,"href":"families/010.html","cites":[[3,1]],"citedBy":[[3,1]]},{"id":"f:011","num":"011","title":"Prime-factor statistics of p-1","d":0,"papers":[20,21,22],"lean":[],"tone":"none","ring":false,"href":"families/011.html","cites":[],"citedBy":[[23,1],[28,3]]},{"id":"f:012","num":"012","title":"Independent largest prime factors of consecutive integers","d":0,"papers":[23],"lean":[9],"tone":"all","ring":false,"href":"families/012.html","cites":[],"citedBy":[]},{"id":"f:013","num":"013","title":"Ostmann’s inverse Goldbach conjecture","d":0,"papers":[24],"lean":[10,11],"tone":"all","ring":false,"href":"families/013.html","cites":[[2,1]],"citedBy":[]},{"id":"f:014","num":"014","title":"Restricted geometric Langlands, global Arthur enhancements, and generic Ramanujan","d":0,"papers":[25,26,27,28,29,30,31,32],"lean":[],"tone":"none","ring":false,"href":"families/014.html","cites":[],"citedBy":[]},{"id":"f:015","num":"015","title":"Torus-packet equidistribution in prime, quartic, and sextic degrees","d":0,"papers":[33,34,35],"lean":[12],"tone":"part","ring":false,"href":"families/015.html","cites":[],"citedBy":[]},{"id":"f:016","num":"016","title":"Zilber–Pink in abelian varieties and the Siegel threefold","d":0,"papers":[36,37,38,39],"lean":[],"tone":"none","ring":false,"href":"families/016.html","cites":[[2,1]],"citedBy":[]},{"id":"f:017","num":"017","title":"The irrationality exponent of π is 2","d":0,"papers":[40],"lean":[13],"tone":"split","ring":true,"href":"families/017.html","cites":[],"citedBy":[]},{"id":"f:018","num":"018","title":"The Margulis–Platonov conjecture over global fields","d":0,"papers":[41,42],"lean":[],"tone":"none","ring":false,"href":"families/018.html","cites":[],"citedBy":[]},{"id":"f:019","num":"019","title":"The local p-adic section conjecture and global consequences","d":0,"papers":[43,44],"lean":[],"tone":"none","ring":false,"href":"families/019.html","cites":[[1,1]],"citedBy":[]},{"id":"f:020","num":"020","title":"Squarefree quartics and power-free polynomial values","d":0,"papers":[45],"lean":[14],"tone":"all","ring":true,"href":"families/020.html","cites":[],"citedBy":[]},{"id":"f:021","num":"021","title":"A quadratic bound for Jacobsthal’s function","d":0,"papers":[46],"lean":[15,16],"tone":"all","ring":false,"href":"families/021.html","cites":[],"citedBy":[]},{"id":"f:022","num":"022","title":"The weak inhomogeneous Duffin–Schaeffer conjecture","d":0,"papers":[47],"lean":[],"tone":"none","ring":false,"href":"families/022.html","cites":[],"citedBy":[]},{"id":"f:023","num":"023","title":"Patterson's first moment for cubic Gauss sums","d":0,"papers":[48],"lean":[17],"tone":"all","ring":false,"href":"families/023.html","cites":[],"citedBy":[[2,1]]},{"id":"f:024","num":"024","title":"An asymptotic formula for the number of totients","d":0,"papers":[49],"lean":[18,19],"tone":"all","ring":false,"href":"families/024.html","cites":[[10,1]],"citedBy":[]},{"id":"f:025","num":"025","title":"Short Egyptian fractions","d":0,"papers":[50],"lean":[20,21],"tone":"all","ring":false,"href":"families/025.html","cites":[],"citedBy":[]},{"id":"f:026","num":"026","title":"Positive lower density of large prime gaps","d":0,"papers":[51],"lean":[22],"tone":"all","ring":false,"href":"families/026.html","cites":[],"citedBy":[]},{"id":"f:027","num":"027","title":"Potential integral density on curve character varieties","d":0,"papers":[52],"lean":[23],"tone":"other","ring":false,"href":"families/027.html","cites":[],"citedBy":[]},{"id":"f:028","num":"028","title":"Uniformly bounded components of Gaussian-prime graphs","d":0,"papers":[53],"lean":[24],"tone":"all","ring":true,"href":"families/028.html","cites":[],"citedBy":[]},{"id":"f:029","num":"029","title":"Primitive roots for every admissible integer base","d":0,"papers":[54,55],"lean":[],"tone":"none","ring":false,"href":"families/029.html","cites":[[2,1],[10,3]],"citedBy":[[137,1]]},{"id":"f:030","num":"030","title":"Modularity of elliptic curves over imaginary quadratic fields","d":0,"papers":[56],"lean":[],"tone":"none","ring":false,"href":"families/030.html","cites":[],"citedBy":[]},{"id":"f:031","num":"031","title":"Uchida’s conjecture for open homomorphisms of Galois groups","d":0,"papers":[57],"lean":[],"tone":"none","ring":false,"href":"families/031.html","cites":[],"citedBy":[]},{"id":"f:032","num":"032","title":"The rational Hodge conjecture for CM abelian varieties","d":1,"papers":[58,59,60,61,62],"lean":[],"tone":"none","ring":false,"href":"families/032.html","cites":[[0,1]],"citedBy":[[0,1]]},{"id":"f:033","num":"033","title":"Iitaka subadditivity, variation, and logarithmic additivity","d":1,"papers":[63,64,65,66,67],"lean":[25],"tone":"other","ring":false,"href":"families/033.html","cites":[[33,2]],"citedBy":[[33,3],[35,1],[55,1]]},{"id":"f:034","num":"034","title":"Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity","d":1,"papers":[68,69,70,71,72,73,74,75,76,77,78,79,80,81],"lean":[],"tone":"none","ring":false,"href":"families/034.html","cites":[[32,3],[35,2],[54,1]],"citedBy":[[32,2],[35,4],[54,1],[56,1]]},{"id":"f:035","num":"035","title":"Log-canonical threefold abundance in numerical dimension one","d":1,"papers":[82,83],"lean":[],"tone":"none","ring":false,"href":"families/035.html","cites":[],"citedBy":[]},{"id":"f:036","num":"036","title":"Numerical semiampleness and generalized minimal models","d":1,"papers":[84,85,86,87],"lean":[],"tone":"none","ring":false,"href":"families/036.html","cites":[[32,1],[33,4]],"citedBy":[[33,2],[63,1]]},{"id":"f:037","num":"037","title":"The ordinary-double-point volume gap","d":1,"papers":[88,89],"lean":[],"tone":"none","ring":false,"href":"families/037.html","cites":[],"citedBy":[[63,1]]},{"id":"f:038","num":"038","title":"Fujita’s freeness conjecture","d":1,"papers":[90],"lean":[],"tone":"none","ring":false,"href":"families/038.html","cites":[],"citedBy":[[49,1]]},{"id":"f:039","num":"039","title":"Nagata’s conjecture and maximal Seshadri constants","d":1,"papers":[91,92,93,94],"lean":[26,27],"tone":"part","ring":false,"href":"families/039.html","cites":[],"citedBy":[]},{"id":"f:040","num":"040","title":"Bloch’s conjecture for complex surfaces","d":1,"papers":[95],"lean":[],"tone":"none","ring":false,"href":"families/040.html","cites":[],"citedBy":[]},{"id":"f:041","num":"041","title":"Hyperkähler SYZ and projective-space bases","d":1,"papers":[96,97],"lean":[],"tone":"none","ring":false,"href":"families/041.html","cites":[],"citedBy":[]},{"id":"f:042","num":"042","title":"Oka classification for minimal compact complex surfaces: Kodaira dimension zero and class VII","d":1,"papers":[98],"lean":[],"tone":"none","ring":false,"href":"families/042.html","cites":[[58,1]],"citedBy":[]},{"id":"f:043","num":"043","title":"P = W for fixed-determinant SLn moduli spaces","d":1,"papers":[99],"lean":[],"tone":"none","ring":false,"href":"families/043.html","cites":[],"citedBy":[]},{"id":"f:044","num":"044","title":"The equivariant cohomological Hikita conjecture","d":1,"papers":[100],"lean":[],"tone":"none","ring":false,"href":"families/044.html","cites":[],"citedBy":[]},{"id":"f:046","num":"046","title":"Shafarevich counterexamples in dimension two and with large fundamental group","d":1,"papers":[101,102],"lean":[],"tone":"none","ring":false,"href":"families/046.html","cites":[[55,1],[56,1]],"citedBy":[[55,1]]},{"id":"f:047","num":"047","title":"Zariski cancellation and affine fibrations over the complex numbers","d":1,"papers":[103],"lean":[28],"tone":"part","ring":true,"href":"families/047.html","cites":[],"citedBy":[[47,1]]},{"id":"f:048","num":"048","title":"A characteristic-zero counterexample to Lipman–Zariski","d":1,"papers":[104],"lean":[],"tone":"none","ring":false,"href":"families/048.html","cites":[],"citedBy":[]},{"id":"f:049","num":"049","title":"A stable-coordinate counterexample in four variables","d":1,"papers":[105,106],"lean":[29,30,31],"tone":"all","ring":true,"href":"families/049.html","cites":[[45,1]],"citedBy":[]},{"id":"f:050","num":"050","title":"A counterexample to Griffiths’ positivity conjecture","d":1,"papers":[107],"lean":[32],"tone":"all","ring":false,"href":"families/050.html","cites":[],"citedBy":[]},{"id":"f:051","num":"051","title":"Kobayashi’s canonical-ampleness conjecture","d":1,"papers":[108],"lean":[],"tone":"none","ring":false,"href":"families/051.html","cites":[[37,1],[56,1]],"citedBy":[]},{"id":"f:052","num":"052","title":"Tangent splittings and product decompositions","d":1,"papers":[109,110],"lean":[33,34],"tone":"split","ring":false,"href":"families/052.html","cites":[],"citedBy":[]},{"id":"f:053","num":"053","title":"A counterexample to Pixton completeness in Chow","d":1,"papers":[111],"lean":[],"tone":"none","ring":false,"href":"families/053.html","cites":[],"citedBy":[]},{"id":"f:054","num":"054","title":"Irrational cubic fourfolds with Hodge-theoretic and categorical K3 associations","d":1,"papers":[112],"lean":[],"tone":"none","ring":false,"href":"families/054.html","cites":[],"citedBy":[]},{"id":"f:055","num":"055","title":"Gepner symmetry and large-volume stability on threefolds","d":1,"papers":[113,114],"lean":[],"tone":"none","ring":false,"href":"families/055.html","cites":[],"citedBy":[]},{"id":"f:056","num":"056","title":"Termination of projective and Kähler fourfold minimal model programs","d":1,"papers":[115,116,117,118,119],"lean":[],"tone":"none","ring":false,"href":"families/056.html","cites":[[33,1],[63,2]],"citedBy":[[33,1]]},{"id":"f:057","num":"057","title":"Fundamental groups of special complex varieties and root orbifolds","d":1,"papers":[120,121,122],"lean":[],"tone":"none","ring":false,"href":"families/057.html","cites":[[32,1],[44,1]],"citedBy":[[44,1],[56,1]]},{"id":"f:058","num":"058","title":"Semialgebraic universal covers and bounded domains","d":1,"papers":[123,124],"lean":[35],"tone":"other","ring":false,"href":"families/058.html","cites":[[33,1],[55,1]],"citedBy":[[44,1],[49,1]]},{"id":"f:059","num":"059","title":"Counterexamples to Zariski’s multiplicity conjecture","d":1,"papers":[125,126],"lean":[],"tone":"none","ring":true,"href":"families/059.html","cites":[[61,1]],"citedBy":[]},{"id":"f:060","num":"060","title":"The Global Spherical Shell conjecture","d":1,"papers":[127],"lean":[],"tone":"none","ring":false,"href":"families/060.html","cites":[],"citedBy":[[41,1],[309,1]]},{"id":"f:062","num":"062","title":"Projective contact classification and the LeBrun–Salamon conjecture","d":1,"papers":[128],"lean":[],"tone":"none","ring":false,"href":"families/062.html","cites":[],"citedBy":[]},{"id":"f:063","num":"063","title":"The generalized Mukai conjecture","d":1,"papers":[129],"lean":[],"tone":"none","ring":false,"href":"families/063.html","cites":[],"citedBy":[]},{"id":"f:064","num":"064","title":"Topological triviality of μ-constant surface singularities","d":1,"papers":[130],"lean":[],"tone":"none","ring":false,"href":"families/064.html","cites":[],"citedBy":[[57,1]]},{"id":"f:065","num":"065","title":"Virasoro constraints for complete intersections and projective-bundle towers","d":1,"papers":[131,132],"lean":[],"tone":"none","ring":false,"href":"families/065.html","cites":[],"citedBy":[]},{"id":"f:066","num":"066","title":"Bounded klt complements for Fano contractions","d":1,"papers":[133,134],"lean":[36],"tone":"other","ring":false,"href":"families/066.html","cites":[[35,1],[36,1]],"citedBy":[[54,2]]},{"id":"f:067","num":"067","title":"The Campana–Peternell conjecture in dimension six","d":1,"papers":[135],"lean":[],"tone":"none","ring":true,"href":"families/067.html","cites":[],"citedBy":[]},{"id":"f:068","num":"068","title":"Anticanonical nonvanishing in every dimension","d":1,"papers":[136,137,138,139,140,141,142],"lean":[],"tone":"none","ring":false,"href":"families/068.html","cites":[],"citedBy":[]},{"id":"f:069","num":"069","title":"Global quantum geometric Langlands at irrational level","d":1,"papers":[143],"lean":[],"tone":"none","ring":false,"href":"families/069.html","cites":[],"citedBy":[]},{"id":"f:071","num":"071","title":"Koebe’s circle-domain conjecture","d":2,"papers":[144,145],"lean":[37],"tone":"all","ring":false,"href":"families/071.html","cites":[],"citedBy":[]},{"id":"f:072","num":"072","title":"Brennan's conjecture and the integral-means spectrum","d":2,"papers":[146,147],"lean":[38,39,40],"tone":"split","ring":false,"href":"families/072.html","cites":[],"citedBy":[]},{"id":"f:073","num":"073","title":"The Falconer distance conjecture","d":2,"papers":[148],"lean":[41,42],"tone":"all","ring":false,"href":"families/073.html","cites":[[160,1]],"citedBy":[]},{"id":"f:074","num":"074","title":"Kakeya in three and four dimensions","d":2,"papers":[149,150],"lean":[],"tone":"none","ring":false,"href":"families/074.html","cites":[[73,1]],"citedBy":[[73,2]]},{"id":"f:075","num":"075","title":"The L log L Fourier-convergence conjecture","d":2,"papers":[151],"lean":[43],"tone":"all","ring":false,"href":"families/075.html","cites":[],"citedBy":[]},{"id":"f:076","num":"076","title":"Real ultraflat Littlewood polynomials and unbounded binary merit factors","d":2,"papers":[152,153,154],"lean":[44,45],"tone":"part","ring":false,"href":"families/076.html","cites":[[139,1]],"citedBy":[]},{"id":"f:077","num":"077","title":"Fourier restriction for positively curved surfaces","d":2,"papers":[155,156],"lean":[],"tone":"none","ring":false,"href":"families/077.html","cites":[[70,2],[74,1]],"citedBy":[[70,1],[74,2]]},{"id":"f:078","num":"078","title":"The three-dimensional Bochner–Riesz conjecture","d":2,"papers":[157],"lean":[],"tone":"none","ring":false,"href":"families/078.html","cites":[[73,2],[75,1]],"citedBy":[[73,1],[75,1]]},{"id":"f:079","num":"079","title":"Local smoothing in three dimensions","d":2,"papers":[158],"lean":[],"tone":"none","ring":false,"href":"families/079.html","cites":[[74,1]],"citedBy":[[74,1]]},{"id":"f:080","num":"080","title":"The exact Sobolev endpoint for Schrödinger convergence","d":2,"papers":[159,160],"lean":[],"tone":"none","ring":false,"href":"families/080.html","cites":[],"citedBy":[]},{"id":"f:081","num":"081","title":"Riesz transforms and rectifiability in higher codimension","d":2,"papers":[161],"lean":[46],"tone":"all","ring":false,"href":"families/081.html","cites":[],"citedBy":[]},{"id":"f:082","num":"082","title":"Annular variation and dyadic absolute bounds for the triangular Hilbert transform","d":2,"papers":[162,163,164],"lean":[47],"tone":"part","ring":false,"href":"families/082.html","cites":[],"citedBy":[]},{"id":"f:083","num":"083","title":"Hilbert transforms along Lipschitz directions","d":2,"papers":[165],"lean":[48],"tone":"all","ring":false,"href":"families/083.html","cites":[],"citedBy":[]},{"id":"f:084","num":"084","title":"The geometric case of the Erdős similarity conjecture","d":2,"papers":[166,167],"lean":[49],"tone":"part","ring":false,"href":"families/084.html","cites":[],"citedBy":[]},{"id":"f:085","num":"085","title":"Endpoint Sobolev regularity of centered disk averages","d":2,"papers":[168],"lean":[50,51],"tone":"all","ring":false,"href":"families/085.html","cites":[],"citedBy":[]},{"id":"f:086","num":"086","title":"An L3 bound for the trilinear Hilbert transform","d":2,"papers":[169],"lean":[],"tone":"none","ring":false,"href":"families/086.html","cites":[],"citedBy":[[149,3]]},{"id":"f:087","num":"087","title":"The Mahler conjectures, functional inequalities and polar-product symplectic width","d":3,"papers":[170,171,172],"lean":[52,53,54,55],"tone":"split","ring":true,"href":"families/087.html","cites":[[337,1]],"citedBy":[]},{"id":"f:088","num":"088","title":"Sharp projection-body inequalities and a counterexample to simplex maximization","d":3,"papers":[173,174],"lean":[56,57,58],"tone":"part","ring":true,"href":"families/088.html","cites":[],"citedBy":[]},{"id":"f:089","num":"089","title":"Bounded-distortion L1 embeddings of planar and bounded-treewidth graphs","d":3,"papers":[175,176],"lean":[59,60],"tone":"split","ring":false,"href":"families/089.html","cites":[],"citedBy":[]},{"id":"f:090","num":"090","title":"Triangular-lattice optimality, long-range Riesz and Coulomb energies, and spherical logarithmic energy","d":3,"papers":[177,178,179,180],"lean":[61,62,63,64],"tone":"part","ring":true,"href":"families/090.html","cites":[],"citedBy":[]},{"id":"f:091","num":"091","title":"Logarithmic and Lp Brunn–Minkowski inequalities and the B-conjecture","d":3,"papers":[181],"lean":[65],"tone":"part","ring":false,"href":"families/091.html","cites":[],"citedBy":[]},{"id":"f:092","num":"092","title":"The optimal order of convex-body covering density","d":3,"papers":[182,183],"lean":[66,67],"tone":"all","ring":false,"href":"families/092.html","cites":[],"citedBy":[]},{"id":"f:093","num":"093","title":"Dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures","d":3,"papers":[184],"lean":[],"tone":"none","ring":false,"href":"families/093.html","cites":[],"citedBy":[]},{"id":"f:094","num":"094","title":"Subpolynomial dimension reduction in Lp","d":3,"papers":[185],"lean":[68],"tone":"split","ring":false,"href":"families/094.html","cites":[[94,1]],"citedBy":[[94,1]]},{"id":"f:095","num":"095","title":"Hyperbolicity cones without semidefinite lifts","d":3,"papers":[186,187,188],"lean":[69],"tone":"part","ring":false,"href":"families/095.html","cites":[],"citedBy":[]},{"id":"f:096","num":"096","title":"The Gaussian propeller conjecture in every dimension","d":3,"papers":[189],"lean":[70],"tone":"split","ring":true,"href":"families/096.html","cites":[[98,1]],"citedBy":[[98,1]]},{"id":"f:097","num":"097","title":"The Euclidean Steinitz–Bergström bound","d":3,"papers":[190],"lean":[71],"tone":"split","ring":false,"href":"families/097.html","cites":[],"citedBy":[]},{"id":"f:098","num":"098","title":"Compact counterexamples to bi-Lipschitz dimension reduction","d":3,"papers":[191],"lean":[72,73],"tone":"all","ring":false,"href":"families/098.html","cites":[[90,1]],"citedBy":[[90,1]]},{"id":"f:099","num":"099","title":"The sharp exponential scale of edit-distance distortion","d":3,"papers":[192,193,194],"lean":[74,75,76,77],"tone":"all","ring":false,"href":"families/099.html","cites":[[117,1]],"citedBy":[[117,1]]},{"id":"f:100","num":"100","title":"Cylinder coverings below the half-area bound","d":3,"papers":[195,196,197,198],"lean":[78,79,80],"tone":"all","ring":true,"href":"families/100.html","cites":[],"citedBy":[]},{"id":"f:101","num":"101","title":"The sharp simplex conjecture for isotropic constants","d":3,"papers":[199],"lean":[],"tone":"none","ring":true,"href":"families/101.html","cites":[],"citedBy":[]},{"id":"f:102","num":"102","title":"The Unique Games Conjecture and optimal approximation thresholds","d":4,"papers":[200,201,202,203,204],"lean":[81,82,83,84,85],"tone":"all","ring":false,"href":"families/102.html","cites":[[92,1],[101,1],[113,1]],"citedBy":[[92,1],[113,1]]},{"id":"f:103","num":"103","title":"Exact derandomization of logarithmic space: L = RL = BPL","d":4,"papers":[205],"lean":[86],"tone":"split","ring":false,"href":"families/103.html","cites":[],"citedBy":[]},{"id":"f:104","num":"104","title":"Quasipolynomial algorithms for mean-payoff, stochastic and parity games","d":4,"papers":[206,207,208,209],"lean":[87,88],"tone":"part","ring":true,"href":"families/104.html","cites":[],"citedBy":[]},{"id":"f:105","num":"105","title":"Perfect completeness for 2-to-1 games","d":4,"papers":[210],"lean":[89],"tone":"all","ring":false,"href":"families/105.html","cites":[[102,1]],"citedBy":[[98,1],[102,1]]},{"id":"f:106","num":"106","title":"Hardness of coloring three-colorable graphs","d":4,"papers":[211],"lean":[90],"tone":"all","ring":false,"href":"families/106.html","cites":[[101,1]],"citedBy":[[101,1]]},{"id":"f:107","num":"107","title":"Matrix multiplication with exponent at most 9/4","d":4,"papers":[212,213,214],"lean":[91,92],"tone":"split","ring":true,"href":"families/107.html","cites":[],"citedBy":[]},{"id":"f:108","num":"108","title":"A cubic permanent–determinant lower bound","d":4,"papers":[215],"lean":[93,94],"tone":"all","ring":false,"href":"families/108.html","cites":[],"citedBy":[]},{"id":"f:109","num":"109","title":"Integer multiplication below n log n","d":4,"papers":[216],"lean":[],"tone":"none","ring":false,"href":"families/109.html","cites":[[125,1]],"citedBy":[[125,1]]},{"id":"f:110","num":"110","title":"Optimal-order randomized k-server on arbitrary metrics","d":4,"papers":[217,218],"lean":[95,96],"tone":"all","ring":false,"href":"families/110.html","cites":[],"citedBy":[]},{"id":"f:111","num":"111","title":"One-sample matroid prophet inequalities against an almighty adversary","d":4,"papers":[219],"lean":[97,98],"tone":"all","ring":false,"href":"families/111.html","cites":[],"citedBy":[]},{"id":"f:112","num":"112","title":"Beyond the square-root exponent for depth-three circuits","d":4,"papers":[220],"lean":[99],"tone":"all","ring":false,"href":"families/112.html","cites":[],"citedBy":[]},{"id":"f:113","num":"113","title":"Approximate counting and entropy of perfect matchings","d":4,"papers":[221,222],"lean":[100,101,102,103,104,105],"tone":"all","ring":false,"href":"families/113.html","cites":[],"citedBy":[[126,1]]},{"id":"f:114","num":"114","title":"Approximate counting of common integer polymatroid bases","d":4,"papers":[223,224],"lean":[106],"tone":"part","ring":false,"href":"families/114.html","cites":[[111,1]],"citedBy":[[111,1]]},{"id":"f:115","num":"115","title":"Sampling and counting contingency tables with arbitrary margins","d":4,"papers":[225,226],"lean":[107],"tone":"all","ring":false,"href":"families/115.html","cites":[[110,1]],"citedBy":[[110,1],[126,1]]},{"id":"f:116","num":"116","title":"Uniform black-box noncommutative identity testing across characteristics","d":4,"papers":[227,228,229],"lean":[108,109],"tone":"part","ring":false,"href":"families/116.html","cites":[],"citedBy":[]},{"id":"f:117","num":"117","title":"Uniform sparsest cut: hardness and semidefinite gaps","d":4,"papers":[230,231],"lean":[110],"tone":"part","ring":false,"href":"families/117.html","cites":[[98,1]],"citedBy":[[98,1]]},{"id":"f:118","num":"118","title":"Bin packing and unbounded configuration-LP gaps","d":4,"papers":[232],"lean":[111],"tone":"all","ring":true,"href":"families/118.html","cites":[],"citedBy":[]},{"id":"f:119","num":"119","title":"The Courtade–Kumar and Hellinger conjectures","d":4,"papers":[233,234],"lean":[112,113],"tone":"part","ring":true,"href":"families/119.html","cites":[],"citedBy":[]},{"id":"f:120","num":"120","title":"Almost-linear-time exact matching and prescribed-degree factors in general graphs","d":4,"papers":[235],"lean":[],"tone":"none","ring":false,"href":"families/120.html","cites":[],"citedBy":[]},{"id":"f:121","num":"121","title":"Almost-linear approximation of edit distance","d":4,"papers":[236],"lean":[114],"tone":"all","ring":false,"href":"families/121.html","cites":[[95,1]],"citedBy":[[95,1]]},{"id":"f:122","num":"122","title":"Quantitative trace-reconstruction bounds with a uniform decoder","d":4,"papers":[237,238,239],"lean":[115],"tone":"part","ring":false,"href":"families/122.html","cites":[],"citedBy":[]},{"id":"f:124","num":"124","title":"Polynomial-time scheduling on three identical machines","d":4,"papers":[240],"lean":[116],"tone":"all","ring":false,"href":"families/124.html","cites":[],"citedBy":[]},{"id":"f:125","num":"125","title":"The metric k-median approximation threshold and recovery","d":4,"papers":[241,242],"lean":[117,118,119,120],"tone":"all","ring":false,"href":"families/125.html","cites":[],"citedBy":[]},{"id":"f:126","num":"126","title":"Exponential semidefinite complexity of perfect matching","d":4,"papers":[243],"lean":[121,122],"tone":"part","ring":false,"href":"families/126.html","cites":[],"citedBy":[]},{"id":"f:127","num":"127","title":"Average sensitivity of polynomial threshold functions","d":4,"papers":[244],"lean":[123],"tone":"all","ring":false,"href":"families/127.html","cites":[],"citedBy":[]},{"id":"f:128","num":"128","title":"A factor-two approximation for shortest common superstring","d":4,"papers":[245],"lean":[124],"tone":"all","ring":false,"href":"families/128.html","cites":[],"citedBy":[]},{"id":"f:129","num":"129","title":"Exponential state costs for two-way automata","d":4,"papers":[246,247],"lean":[125,126,127],"tone":"all","ring":false,"href":"families/129.html","cites":[],"citedBy":[]},{"id":"f:130","num":"130","title":"Exact Fourier transforms below n log n","d":4,"papers":[248,249],"lean":[128,129],"tone":"all","ring":true,"href":"families/130.html","cites":[[105,1]],"citedBy":[[105,1]]},{"id":"f:131","num":"131","title":"Rapid mixing of graph switches for every degree sequence","d":4,"papers":[250],"lean":[130],"tone":"split","ring":false,"href":"families/131.html","cites":[[109,1],[111,1]],"citedBy":[]},{"id":"f:132","num":"132","title":"A superquadratic separation of sensitivity and block sensitivity","d":4,"papers":[251],"lean":[131],"tone":"part","ring":false,"href":"families/132.html","cites":[],"citedBy":[]},{"id":"f:133","num":"133","title":"The computational complexity of Weisfeiler–Leman refinement","d":4,"papers":[252,253,254,255],"lean":[132,133,134,135],"tone":"all","ring":false,"href":"families/133.html","cites":[],"citedBy":[]},{"id":"f:134","num":"134","title":"Generalized star height at most three","d":4,"papers":[256,257,258],"lean":[136],"tone":"all","ring":false,"href":"families/134.html","cites":[],"citedBy":[]},{"id":"f:135","num":"135","title":"Homogeneous depth-five lower bounds for iterated matrix multiplication","d":4,"papers":[259],"lean":[137],"tone":"all","ring":false,"href":"families/135.html","cites":[],"citedBy":[]},{"id":"f:136","num":"136","title":"A quasilinear PCP theorem for PPAD","d":4,"papers":[260],"lean":[],"tone":"none","ring":false,"href":"families/136.html","cites":[],"citedBy":[]},{"id":"f:137","num":"137","title":"One-tape time simulation in two-fifths-power space","d":4,"papers":[261],"lean":[138],"tone":"all","ring":false,"href":"families/137.html","cites":[],"citedBy":[]},{"id":"f:138","num":"138","title":"Subset Sum in O(2^0.49n) time","d":4,"papers":[262,263],"lean":[],"tone":"none","ring":true,"href":"families/138.html","cites":[],"citedBy":[]},{"id":"f:139","num":"139","title":"Subpolynomial query complexity for log-concave sampling","d":4,"papers":[264],"lean":[139],"tone":"all","ring":false,"href":"families/139.html","cites":[],"citedBy":[]},{"id":"f:140","num":"140","title":"Memory–sample lower bounds for noiseless Gaussian regression","d":4,"papers":[265,266,267,268,269,270],"lean":[140,141,142,143,144,145,146,147],"tone":"all","ring":false,"href":"families/140.html","cites":[],"citedBy":[]},{"id":"f:141","num":"141","title":"Existential–universal real sentences in the counting hierarchy","d":4,"papers":[271],"lean":[],"tone":"none","ring":false,"href":"families/141.html","cites":[],"citedBy":[]},{"id":"f:142","num":"142","title":"Deterministic polynomial factorization over prime fields","d":4,"papers":[272],"lean":[],"tone":"none","ring":false,"href":"families/142.html","cites":[[28,1]],"citedBy":[]},{"id":"f:143","num":"143","title":"Hilbert's sixteenth problem: uniform bounds for limit cycles","d":5,"papers":[273,274],"lean":[148],"tone":"part","ring":false,"href":"families/143.html","cites":[],"citedBy":[]},{"id":"f:144","num":"144","title":"Banach’s simple Lebesgue-spectrum problem","d":5,"papers":[275],"lean":[149],"tone":"all","ring":false,"href":"families/144.html","cites":[[140,1]],"citedBy":[[72,1]]},{"id":"f:145","num":"145","title":"Rokhlin’s multiple-mixing problem","d":5,"papers":[276],"lean":[150],"tone":"all","ring":false,"href":"families/145.html","cites":[],"citedBy":[[139,1],[149,2]]},{"id":"f:146","num":"146","title":"Positive metric entropy for the standard map","d":5,"papers":[277],"lean":[151,152,153],"tone":"all","ring":false,"href":"families/146.html","cites":[],"citedBy":[]},{"id":"f:147","num":"147","title":"The near-boundary Birkhoff conjecture","d":5,"papers":[278,279],"lean":[],"tone":"none","ring":false,"href":"families/147.html","cites":[],"citedBy":[]},{"id":"f:148","num":"148","title":"The entropy-rate dimension formula for self-similar measures","d":5,"papers":[280],"lean":[154,155],"tone":"all","ring":false,"href":"families/148.html","cites":[],"citedBy":[]},{"id":"f:149","num":"149","title":"Classwise permanence for weakly reversible mass-action systems","d":5,"papers":[281,282],"lean":[156],"tone":"part","ring":false,"href":"families/149.html","cites":[],"citedBy":[]},{"id":"f:150","num":"150","title":"Weak mixing of triangular billiards with an irrational angle","d":5,"papers":[283,284],"lean":[157],"tone":"part","ring":true,"href":"families/150.html","cites":[],"citedBy":[]},{"id":"f:151","num":"151","title":"A C1 counterexample to the entropy conjecture","d":5,"papers":[285],"lean":[158],"tone":"all","ring":false,"href":"families/151.html","cites":[],"citedBy":[]},{"id":"f:152","num":"152","title":"Zero entropy does not guarantee a smooth positive-volume model","d":5,"papers":[286],"lean":[159],"tone":"part","ring":false,"href":"families/152.html","cites":[],"citedBy":[]},{"id":"f:153","num":"153","title":"Arithmetic classification and non-Pisot singularity for Bernoulli convolutions","d":5,"papers":[287],"lean":[],"tone":"none","ring":true,"href":"families/153.html","cites":[],"citedBy":[]},{"id":"f:154","num":"154","title":"Pointwise multiple ergodic averages for mixing transformations","d":5,"papers":[288,289,290,291],"lean":[],"tone":"none","ring":false,"href":"families/154.html","cites":[[82,3],[140,2]],"citedBy":[]},{"id":"f:155","num":"155","title":"A counterexample to periodic tiling in dimension three","d":6,"papers":[292],"lean":[160],"tone":"all","ring":false,"href":"families/155.html","cites":[],"citedBy":[]},{"id":"f:156","num":"156","title":"Borsuk's conjecture fails in dimension nine","d":6,"papers":[293],"lean":[161],"tone":"all","ring":false,"href":"families/156.html","cites":[],"citedBy":[]},{"id":"f:157","num":"157","title":"Graph coloring, clique minors, and Colin de Verdière invariants","d":6,"papers":[294,295,296],"lean":[162,163],"tone":"part","ring":true,"href":"families/157.html","cites":[],"citedBy":[]},{"id":"f:158","num":"158","title":"The Euclidean plane cannot be colored with five colors","d":6,"papers":[297],"lean":[164,165],"tone":"all","ring":true,"href":"families/158.html","cites":[],"citedBy":[]},{"id":"f:159","num":"159","title":"Erdős’s reciprocal-sum conjecture and quasipolynomial Szemerédi bounds","d":6,"papers":[298],"lean":[166],"tone":"part","ring":false,"href":"families/159.html","cites":[[155,1]],"citedBy":[[155,1]]},{"id":"f:160","num":"160","title":"Superexponential van der Waerden numbers","d":6,"papers":[299],"lean":[167],"tone":"all","ring":false,"href":"families/160.html","cites":[[154,1]],"citedBy":[[154,1]]},{"id":"f:161","num":"161","title":"Counterexamples to Sidorenko’s conjecture and the forcing conjecture","d":6,"papers":[300],"lean":[168],"tone":"part","ring":true,"href":"families/161.html","cites":[],"citedBy":[]},{"id":"f:162","num":"162","title":"Counterexamples to Ryser’s covering conjecture","d":6,"papers":[301,302],"lean":[169,170,171],"tone":"part","ring":true,"href":"families/162.html","cites":[],"citedBy":[]},{"id":"f:164","num":"164","title":"Hindman’s finite sums and products conjecture","d":6,"papers":[303],"lean":[],"tone":"none","ring":false,"href":"families/164.html","cites":[],"citedBy":[]},{"id":"f:165","num":"165","title":"The Harary–Hill and Zarankiewicz crossing-number formulas","d":6,"papers":[304,305],"lean":[172,173],"tone":"all","ring":false,"href":"families/165.html","cites":[],"citedBy":[]},{"id":"f:166","num":"166","title":"The higher-dimensional Erdős distinct-distances conjecture","d":6,"papers":[306],"lean":[],"tone":"none","ring":false,"href":"families/166.html","cites":[],"citedBy":[[69,1]]},{"id":"f:167","num":"167","title":"Planar distinct distances and unit-distance bounds","d":6,"papers":[307,308],"lean":[174,175],"tone":"all","ring":false,"href":"families/167.html","cites":[],"citedBy":[]},{"id":"f:168","num":"168","title":"Combinatorial invariance of Kazhdan–Lusztig polynomials","d":6,"papers":[309],"lean":[176],"tone":"all","ring":false,"href":"families/168.html","cites":[],"citedBy":[]},{"id":"f:169","num":"169","title":"Shareshian–Wachs elementary positivity","d":6,"papers":[310],"lean":[177],"tone":"all","ring":false,"href":"families/169.html","cites":[],"citedBy":[]},{"id":"f:170","num":"170","title":"Sharp logarithmic exponents for off-diagonal Ramsey numbers","d":6,"papers":[311,312],"lean":[178,179],"tone":"all","ring":false,"href":"families/170.html","cites":[],"citedBy":[[178,2]]},{"id":"f:171","num":"171","title":"The hypercube Ramsey conjecture","d":6,"papers":[313],"lean":[],"tone":"none","ring":false,"href":"families/171.html","cites":[],"citedBy":[]},{"id":"f:172","num":"172","title":"Classification of finite Euclidean Ramsey configurations","d":6,"papers":[314],"lean":[180,181,182,183,184,185,186],"tone":"part","ring":false,"href":"families/172.html","cites":[],"citedBy":[]},{"id":"f:173","num":"173","title":"Seymour’s second-neighborhood conjecture","d":6,"papers":[315],"lean":[187],"tone":"all","ring":false,"href":"families/173.html","cites":[],"citedBy":[]},{"id":"f:174","num":"174","title":"Deterministic construction of strong thin spanning trees","d":6,"papers":[316,317],"lean":[188,189],"tone":"all","ring":false,"href":"families/174.html","cites":[],"citedBy":[]},{"id":"f:175","num":"175","title":"Talagrand’s expectation thresholds, discrete convexity, and graph decompositions","d":6,"papers":[318,319,320],"lean":[190,191],"tone":"part","ring":false,"href":"families/175.html","cites":[],"citedBy":[[170,1],[180,1]]},{"id":"f:176","num":"176","title":"The second Kahn–Kalai conjecture with an edge-count bound","d":6,"papers":[321],"lean":[192],"tone":"all","ring":false,"href":"families/176.html","cites":[[169,1]],"citedBy":[[180,1]]},{"id":"f:177","num":"177","title":"Bounded-degree coboundary expanders","d":6,"papers":[322],"lean":[193],"tone":"split","ring":false,"href":"families/177.html","cites":[],"citedBy":[]},{"id":"f:178","num":"178","title":"Deterministic nonbipartite Ramanujan graphs in every fixed degree","d":6,"papers":[323],"lean":[],"tone":"none","ring":false,"href":"families/178.html","cites":[],"citedBy":[]},{"id":"f:179","num":"179","title":"The circulant Hadamard and Barker-sequence conjectures","d":6,"papers":[324],"lean":[194,195],"tone":"split","ring":false,"href":"families/179.html","cites":[],"citedBy":[]},{"id":"f:180","num":"180","title":"Barnette’s Hamiltonian-cycle conjecture","d":6,"papers":[325],"lean":[196],"tone":"split","ring":false,"href":"families/180.html","cites":[],"citedBy":[]},{"id":"f:181","num":"181","title":"The Erdős–Gallai cycle-decomposition conjecture","d":6,"papers":[326],"lean":[197],"tone":"all","ring":false,"href":"families/181.html","cites":[],"citedBy":[]},{"id":"f:182","num":"182","title":"Power savings for intersective polynomial differences and prime arguments","d":6,"papers":[327,328,329],"lean":[198],"tone":"part","ring":false,"href":"families/182.html","cites":[[2,1]],"citedBy":[]},{"id":"f:183","num":"183","title":"Power savings for planar halving lines and k-sets","d":6,"papers":[330],"lean":[199],"tone":"part","ring":false,"href":"families/183.html","cites":[],"citedBy":[]},{"id":"f:184","num":"184","title":"Correspondence coloring with a fixed forbidden subgraph","d":6,"papers":[331,332],"lean":[200],"tone":"part","ring":false,"href":"families/184.html","cites":[[164,2]],"citedBy":[]},{"id":"f:185","num":"185","title":"Counterexamples to infinite matroid intersection and packing/covering","d":6,"papers":[333],"lean":[201,202],"tone":"all","ring":false,"href":"families/185.html","cites":[],"citedBy":[]},{"id":"f:186","num":"186","title":"Uniform influence and sharp thresholds for graph and hypergraph properties","d":6,"papers":[334,335],"lean":[203],"tone":"part","ring":false,"href":"families/186.html","cites":[[169,1],[170,1]],"citedBy":[]},{"id":"f:187","num":"187","title":"Snaky in 21 Maker moves","d":6,"papers":[336],"lean":[204,205,206],"tone":"all","ring":true,"href":"families/187.html","cites":[],"citedBy":[]},{"id":"f:188","num":"188","title":"The sharp terminal leave in random triangle removal","d":6,"papers":[337],"lean":[207],"tone":"all","ring":true,"href":"families/188.html","cites":[],"citedBy":[]},{"id":"f:189","num":"189","title":"Cycle–clique Ramsey numbers","d":6,"papers":[338],"lean":[208],"tone":"all","ring":true,"href":"families/189.html","cites":[],"citedBy":[]},{"id":"f:190","num":"190","title":"Polynomial removal fails for ordered binary matrices","d":6,"papers":[339],"lean":[209],"tone":"all","ring":true,"href":"families/190.html","cites":[],"citedBy":[]},{"id":"f:191","num":"191","title":"A power improvement in the Heilbronn triangle lower bound","d":6,"papers":[340],"lean":[210],"tone":"part","ring":false,"href":"families/191.html","cites":[],"citedBy":[]},{"id":"f:192","num":"192","title":"Boolean functions violate the square-root degree bound by arbitrary factors","d":6,"papers":[341],"lean":[211],"tone":"all","ring":false,"href":"families/192.html","cites":[],"citedBy":[]},{"id":"f:193","num":"193","title":"Serre’s intersection-multiplicity conjecture","d":7,"papers":[342],"lean":[],"tone":"none","ring":false,"href":"families/193.html","cites":[[188,1]],"citedBy":[]},{"id":"f:194","num":"194","title":"Lech’s multiplicity conjecture","d":7,"papers":[343],"lean":[212],"tone":"other","ring":false,"href":"families/194.html","cites":[[189,1]],"citedBy":[[187,1]]},{"id":"f:195","num":"195","title":"A counterexample to the small Cohen–Macaulay module conjecture","d":7,"papers":[344],"lean":[213],"tone":"other","ring":false,"href":"families/195.html","cites":[],"citedBy":[[188,1]]},{"id":"f:196","num":"196","title":"A counterexample to Kaplansky’s zero-divisor conjecture","d":7,"papers":[345],"lean":[214],"tone":"all","ring":true,"href":"families/196.html","cites":[],"citedBy":[[191,1]]},{"id":"f:197","num":"197","title":"A torsion-free group algebra that is not directly finite","d":7,"papers":[346,347,348,349],"lean":[215,216,217,218],"tone":"part","ring":true,"href":"families/197.html","cites":[[190,1],[244,1]],"citedBy":[]},{"id":"f:198","num":"198","title":"A counterexample to finitistic-dimension finiteness","d":7,"papers":[350],"lean":[219,220],"tone":"all","ring":false,"href":"families/198.html","cites":[[193,1]],"citedBy":[[193,1]]},{"id":"f:199","num":"199","title":"Counterexamples to Auslander–Reiten, Tachikawa and related homological conjectures","d":7,"papers":[351,352],"lean":[221,222],"tone":"part","ring":true,"href":"families/199.html","cites":[[192,1]],"citedBy":[[192,1]]},{"id":"f:200","num":"200","title":"Eisenbud–Green–Harris and lex-plus-powers","d":7,"papers":[353,354],"lean":[],"tone":"none","ring":false,"href":"families/200.html","cites":[],"citedBy":[]},{"id":"f:201","num":"201","title":"A counterexample to Kurosh’s division-ring problem","d":7,"papers":[355],"lean":[],"tone":"none","ring":false,"href":"families/201.html","cites":[],"citedBy":[]},{"id":"f:202","num":"202","title":"The blockwise Alperin weight conjecture","d":7,"papers":[356],"lean":[],"tone":"none","ring":false,"href":"families/202.html","cites":[],"citedBy":[[197,2]]},{"id":"f:203","num":"203","title":"Donovan's conjecture over fields and complete mixed-characteristic DVRs","d":7,"papers":[357,358],"lean":[],"tone":"none","ring":false,"href":"families/203.html","cites":[[196,2]],"citedBy":[]},{"id":"f:204","num":"204","title":"Tensor saturation for even spin groups","d":7,"papers":[359],"lean":[],"tone":"none","ring":false,"href":"families/204.html","cites":[],"citedBy":[]},{"id":"f:205","num":"205","title":"Saxl’s conjecture and universal tensor squares","d":7,"papers":[360,361],"lean":[223,224],"tone":"all","ring":true,"href":"families/205.html","cites":[],"citedBy":[]},{"id":"f:206","num":"206","title":"Finite lattice representation and undecidability","d":7,"papers":[362,363],"lean":[225],"tone":"other","ring":false,"href":"families/206.html","cites":[],"citedBy":[]},{"id":"f:207","num":"207","title":"The ℓ¹-Bass conjecture for all discrete groups","d":7,"papers":[364,365],"lean":[226,227],"tone":"part","ring":false,"href":"families/207.html","cites":[],"citedBy":[[279,1]]},{"id":"f:208","num":"208","title":"Finite symmetric tensor categories and the Verlinde tower","d":7,"papers":[366],"lean":[],"tone":"none","ring":false,"href":"families/208.html","cites":[],"citedBy":[]},{"id":"f:209","num":"209","title":"Integral counterexamples to Gersten’s conjecture","d":7,"papers":[367,368],"lean":[],"tone":"none","ring":false,"href":"families/209.html","cites":[],"citedBy":[]},{"id":"f:210","num":"210","title":"Foulkes' conjecture for sixth powers and quadratic stabilization","d":7,"papers":[369,370],"lean":[228],"tone":"part","ring":true,"href":"families/210.html","cites":[],"citedBy":[]},{"id":"f:211","num":"211","title":"The geometric phase diagram, diffusion, and spectra of random planar maps","d":8,"papers":[371,372,373,374,375,376,377],"lean":[229],"tone":"part","ring":false,"href":"families/211.html","cites":[],"citedBy":[]},{"id":"f:212","num":"212","title":"Planar first-passage geometry and the absence of bigeodesics","d":8,"papers":[378,379],"lean":[230,231],"tone":"part","ring":false,"href":"families/212.html","cites":[],"citedBy":[]},{"id":"f:213","num":"213","title":"Critical percolation on every quasi-transitive graph","d":8,"papers":[380,381],"lean":[232,233],"tone":"all","ring":false,"href":"families/213.html","cites":[],"citedBy":[]},{"id":"f:214","num":"214","title":"The Benjamini–Schramm nonuniqueness conjecture","d":8,"papers":[382],"lean":[234,235],"tone":"all","ring":false,"href":"families/214.html","cites":[],"citedBy":[[242,1]]},{"id":"f:215","num":"215","title":"Canonical O(3) continuum limit and exact O(4) mass asymptotics","d":8,"papers":[383,384,385,386,387],"lean":[236],"tone":"part","ring":false,"href":"families/215.html","cites":[],"citedBy":[]},{"id":"f:216","num":"216","title":"Critical and near-critical XY scaling and BKT universality","d":8,"papers":[388,389,390,391,392,393],"lean":[],"tone":"none","ring":false,"href":"families/216.html","cites":[],"citedBy":[]},{"id":"f:217","num":"217","title":"The low-temperature Sherrington–Kirkpatrick fluctuation law","d":8,"papers":[394,395],"lean":[],"tone":"none","ring":false,"href":"families/217.html","cites":[],"citedBy":[]},{"id":"f:218","num":"218","title":"Conformal universality for weakly interacting and random-bond Ising models","d":8,"papers":[396,397,398,399,400,401],"lean":[237],"tone":"other","ring":false,"href":"families/218.html","cites":[],"citedBy":[[217,1]]},{"id":"f:219","num":"219","title":"GOE bulk universality for regular graphs with weak Anderson disorder","d":8,"papers":[402,403],"lean":[],"tone":"none","ring":false,"href":"families/219.html","cites":[],"citedBy":[]},{"id":"f:220","num":"220","title":"Directional zero–one laws beyond iid environments and iid ballisticity","d":8,"papers":[404,405,406],"lean":[238,239,240],"tone":"part","ring":false,"href":"families/220.html","cites":[],"citedBy":[]},{"id":"f:221","num":"221","title":"The Mézard–Parisi formula for diluted spin glasses","d":8,"papers":[407],"lean":[241],"tone":"all","ring":false,"href":"families/221.html","cites":[[229,1]],"citedBy":[[229,1]]},{"id":"f:222","num":"222","title":"Perceptron free energies and microscopic jamming exponents","d":8,"papers":[408,409,410,411],"lean":[242,243,244],"tone":"part","ring":true,"href":"families/222.html","cites":[],"citedBy":[[228,1]]},{"id":"f:223","num":"223","title":"Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling","d":8,"papers":[412,413,414,415,416,417],"lean":[],"tone":"none","ring":false,"href":"families/223.html","cites":[[212,1],[218,1],[219,1]],"citedBy":[[218,1]]},{"id":"f:224","num":"224","title":"Critical and quenched near-critical universality for Poisson–Voronoi percolation","d":8,"papers":[418,419,420],"lean":[],"tone":"none","ring":false,"href":"families/224.html","cites":[[217,1]],"citedBy":[[217,1]]},{"id":"f:225","num":"225","title":"Gaussian free field limits throughout the balanced six-vertex regime","d":8,"papers":[421],"lean":[],"tone":"none","ring":false,"href":"families/225.html","cites":[],"citedBy":[[217,1],[226,2],[227,1]]},{"id":"f:226","num":"226","title":"The double-dimer loop ensemble converges to CLE4","d":8,"papers":[422],"lean":[],"tone":"none","ring":false,"href":"families/226.html","cites":[],"citedBy":[]},{"id":"f:227","num":"227","title":"Critical SK autocorrelation processes and dynamics across the temperature transition","d":8,"papers":[423,424,425,426,427,428,429,430],"lean":[245,246,247,248,249],"tone":"part","ring":true,"href":"families/227.html","cites":[],"citedBy":[]},{"id":"f:228","num":"228","title":"Continuum phase transitions for radial pair potentials","d":8,"papers":[431,432],"lean":[250,251,252],"tone":"all","ring":false,"href":"families/228.html","cites":[],"citedBy":[]},{"id":"f:229","num":"229","title":"Exact three- and four-state reconstruction thresholds and four-state tree capacity","d":8,"papers":[433,434,435],"lean":[253,254],"tone":"part","ring":true,"href":"families/229.html","cites":[],"citedBy":[]},{"id":"f:230","num":"230","title":"Exact Hausdorff gauges for SLE","d":8,"papers":[436,437],"lean":[255],"tone":"part","ring":false,"href":"families/230.html","cites":[],"citedBy":[]},{"id":"f:231","num":"231","title":"The free uniform spanning forest is a factor of IID","d":8,"papers":[438],"lean":[256,257],"tone":"all","ring":false,"href":"families/231.html","cites":[[230,1]],"citedBy":[[230,1]]},{"id":"f:232","num":"232","title":"Gaussian fields and interfaces for triangular-lattice Lipschitz heights","d":8,"papers":[439,440,441],"lean":[],"tone":"none","ring":false,"href":"families/232.html","cites":[[219,2]],"citedBy":[[227,1]]},{"id":"f:233","num":"233","title":"The joint critical Ashkin–Teller current limit","d":8,"papers":[442],"lean":[],"tone":"none","ring":false,"href":"families/233.html","cites":[[219,1],[226,1]],"citedBy":[]},{"id":"f:234","num":"234","title":"All-temperature pressure of orthogonally invariant Ising spin glasses","d":8,"papers":[443],"lean":[258],"tone":"all","ring":false,"href":"families/234.html","cites":[[216,1]],"citedBy":[]},{"id":"f:235","num":"235","title":"Limiting random SAT thresholds, sharp variance and computability","d":8,"papers":[444,445,446,447],"lean":[259,260,261,262],"tone":"part","ring":false,"href":"families/235.html","cites":[[215,1]],"citedBy":[[215,1]]},{"id":"f:236","num":"236","title":"The exact factor-of-IID threshold for free Ising spins on trees","d":8,"papers":[448],"lean":[263],"tone":"all","ring":false,"href":"families/236.html","cites":[[225,1]],"citedBy":[[225,1]]},{"id":"f:237","num":"237","title":"The three-quarter exponent for honeycomb self-avoiding walk","d":8,"papers":[449,450,451,452,453,454,455,456,457,458,459,460,461],"lean":[264,265,266,267],"tone":"other","ring":false,"href":"families/237.html","cites":[],"citedBy":[]},{"id":"f:238","num":"238","title":"Optimal logarithmic mixing of the Thorp shuffle","d":8,"papers":[462,463,464,465,466,467,468,469,470,471,472,473],"lean":[268,269,270,271,272,273,274,275,276,277,278,279,280],"tone":"all","ring":true,"href":"families/238.html","cites":[],"citedBy":[]},{"id":"f:239","num":"239","title":"Sharp singularity rates for symmetric random sign matrices","d":8,"papers":[474,475],"lean":[],"tone":"none","ring":false,"href":"families/239.html","cites":[],"citedBy":[]},{"id":"f:240","num":"240","title":"Shelah's eventual categoricity and the prescribed-threshold obstruction","d":9,"papers":[476,477],"lean":[281],"tone":"part","ring":false,"href":"families/240.html","cites":[],"citedBy":[]},{"id":"f:241","num":"241","title":"Rigidity of the Turing degrees","d":9,"papers":[478],"lean":[282],"tone":"all","ring":false,"href":"families/241.html","cites":[],"citedBy":[]},{"id":"f:242","num":"242","title":"Single-fold Diophantine representations and undecidability under an at-most-one-solution promise","d":9,"papers":[479],"lean":[283],"tone":"split","ring":false,"href":"families/242.html","cites":[],"citedBy":[]},{"id":"f:243","num":"243","title":"Separating choiceless counting from polynomial time and witnessed choice","d":9,"papers":[480,481],"lean":[284,285],"tone":"all","ring":false,"href":"families/243.html","cites":[],"citedBy":[]},{"id":"f:244","num":"244","title":"The Partition Principle does not imply Choice","d":9,"papers":[482],"lean":[286,287],"tone":"part","ring":false,"href":"families/244.html","cites":[],"citedBy":[]},{"id":"f:245","num":"245","title":"Weak normalization implies strong normalization in pure type systems","d":9,"papers":[483],"lean":[288],"tone":"all","ring":false,"href":"families/245.html","cites":[],"citedBy":[]},{"id":"f:246","num":"246","title":"Cannon's conjecture","d":10,"papers":[484],"lean":[289],"tone":"all","ring":false,"href":"families/246.html","cites":[],"citedBy":[]},{"id":"f:247","num":"247","title":"An infinite finitely presented residually finite 2-group and a finitely presented nil algebra","d":10,"papers":[485,486],"lean":[290],"tone":"part","ring":false,"href":"families/247.html","cites":[],"citedBy":[]},{"id":"f:248","num":"248","title":"Thompson's group F is nonamenable","d":10,"papers":[487],"lean":[291],"tone":"all","ring":false,"href":"families/248.html","cites":[[208,1],[245,1]],"citedBy":[]},{"id":"f:249","num":"249","title":"A finitely generated Eilenberg–Ganea counterexample","d":10,"papers":[488],"lean":[292],"tone":"all","ring":false,"href":"families/249.html","cites":[],"citedBy":[]},{"id":"f:250","num":"250","title":"Boone–Higman embeddings with higher finiteness","d":10,"papers":[489,490,491],"lean":[293,294,295],"tone":"all","ring":false,"href":"families/250.html","cites":[],"citedBy":[[191,1]]},{"id":"f:251","num":"251","title":"Amenability, unitarizability, and strong Ulam stability","d":10,"papers":[492,493],"lean":[296,297],"tone":"part","ring":false,"href":"families/251.html","cites":[[282,1]],"citedBy":[[242,1],[282,1]]},{"id":"f:252","num":"252","title":"A torsion-free hyperbolic group that is neither residually finite nor linear over any field","d":10,"papers":[494],"lean":[298],"tone":"split","ring":false,"href":"families/252.html","cites":[],"citedBy":[]},{"id":"f:253","num":"253","title":"An infinite finitely presented simple amenable group","d":10,"papers":[495],"lean":[299],"tone":"all","ring":false,"href":"families/253.html","cites":[],"citedBy":[]},{"id":"f:254","num":"254","title":"Classifying spaces and geometric obstructions for Artin groups","d":10,"papers":[496,497,498],"lean":[300,301,302],"tone":"all","ring":false,"href":"families/254.html","cites":[],"citedBy":[]},{"id":"f:255","num":"255","title":"Quasi-isometric recognition of virtually polycyclic groups","d":10,"papers":[499],"lean":[303],"tone":"all","ring":false,"href":"families/255.html","cites":[],"citedBy":[]},{"id":"f:256","num":"256","title":"Nonsingular systems of equations over arbitrary groups","d":10,"papers":[500,501],"lean":[304],"tone":"part","ring":false,"href":"families/256.html","cites":[],"citedBy":[]},{"id":"f:257","num":"257","title":"A hyperbolic group without a geometric CAT(0) action","d":10,"papers":[502],"lean":[305],"tone":"all","ring":false,"href":"families/257.html","cites":[],"citedBy":[]},{"id":"f:258","num":"258","title":"Gersten’s conjecture and virtual compact specialness of one-relator groups","d":10,"papers":[503,504],"lean":[],"tone":"none","ring":false,"href":"families/258.html","cites":[],"citedBy":[]},{"id":"f:259","num":"259","title":"A group without fixed price","d":10,"papers":[505],"lean":[],"tone":"none","ring":false,"href":"families/259.html","cites":[],"citedBy":[]},{"id":"f:260","num":"260","title":"Spacetime Penrose inequalities: enclosing area, charge, rotation, and anti-de Sitter extensions","d":11,"papers":[506,507,508,509,510,511,512,513,514,515,516,517,518],"lean":[306],"tone":"other","ring":false,"href":"families/260.html","cites":[],"citedBy":[]},{"id":"f:261","num":"261","title":"Localization and delocalization in the Anderson model","d":11,"papers":[519,520],"lean":[307],"tone":"part","ring":false,"href":"families/261.html","cites":[],"citedBy":[]},{"id":"f:262","num":"262","title":"Sharp finite-matrix Lieb–Thirring inequalities and all equality cases","d":11,"papers":[521,522,523],"lean":[308],"tone":"part","ring":false,"href":"families/262.html","cites":[],"citedBy":[]},{"id":"f:263","num":"263","title":"The ionization and generalized ionization conjectures","d":11,"papers":[524,525,526],"lean":[309,310],"tone":"part","ring":false,"href":"families/263.html","cites":[],"citedBy":[[269,2]]},{"id":"f:264","num":"264","title":"Strong cosmic censorship near two-ended Kerr data","d":11,"papers":[527,528,529],"lean":[],"tone":"none","ring":false,"href":"families/264.html","cites":[],"citedBy":[]},{"id":"f:265","num":"265","title":"Area laws and tensor networks for two-dimensional gapped systems","d":11,"papers":[530,531],"lean":[],"tone":"none","ring":false,"href":"families/265.html","cites":[],"citedBy":[]},{"id":"f:266","num":"266","title":"Exactly three mutually unbiased bases in dimension six","d":11,"papers":[532,533],"lean":[311,312],"tone":"part","ring":true,"href":"families/266.html","cites":[],"citedBy":[]},{"id":"f:267","num":"267","title":"Positive-temperature Bose–Einstein condensation and exact quantum depletion","d":11,"papers":[534,535,536,537,538],"lean":[313],"tone":"part","ring":false,"href":"families/267.html","cites":[],"citedBy":[]},{"id":"f:268","num":"268","title":"The spin-one Haldane gap","d":11,"papers":[539,540],"lean":[],"tone":"none","ring":true,"href":"families/268.html","cites":[],"citedBy":[]},{"id":"f:269","num":"269","title":"Uniform Laughlin gap and stability under bounded scalar disorder","d":11,"papers":[541,542],"lean":[314,315,316,317],"tone":"part","ring":true,"href":"families/269.html","cites":[],"citedBy":[]},{"id":"f:270","num":"270","title":"Threshold and positive-energy bound states of the BFSS matrix model","d":11,"papers":[543,544],"lean":[],"tone":"none","ring":false,"href":"families/270.html","cites":[],"citedBy":[]},{"id":"f:271","num":"271","title":"Bloch's law, its lattice correction, and the spherical magnetization law","d":11,"papers":[545,546,547,548],"lean":[318],"tone":"part","ring":false,"href":"families/271.html","cites":[],"citedBy":[]},{"id":"f:272","num":"272","title":"Entanglement without distillable secret key","d":11,"papers":[549],"lean":[319,320],"tone":"part","ring":true,"href":"families/272.html","cites":[],"citedBy":[]},{"id":"f:273","num":"273","title":"The entropy photon-number inequality","d":11,"papers":[550],"lean":[321],"tone":"split","ring":false,"href":"families/273.html","cites":[],"citedBy":[]},{"id":"f:274","num":"274","title":"Parity is not in QAC0","d":11,"papers":[551,552],"lean":[322,323],"tone":"split","ring":false,"href":"families/274.html","cites":[],"citedBy":[]},{"id":"f:275","num":"275","title":"QMA-hardness of continuum Coulomb energy","d":11,"papers":[553,554],"lean":[324],"tone":"all","ring":false,"href":"families/275.html","cites":[[257,2]],"citedBy":[]},{"id":"f:276","num":"276","title":"Classical capacity of generalized amplitude damping","d":11,"papers":[555],"lean":[325],"tone":"part","ring":false,"href":"families/276.html","cites":[],"citedBy":[]},{"id":"f:277","num":"277","title":"Threshold repetition for entangled games","d":11,"papers":[556],"lean":[326],"tone":"all","ring":false,"href":"families/277.html","cites":[],"citedBy":[]},{"id":"f:278","num":"278","title":"Failure of Kohn–Sham ensemble representation","d":11,"papers":[557],"lean":[],"tone":"none","ring":false,"href":"families/278.html","cites":[],"citedBy":[]},{"id":"f:279","num":"279","title":"Exact quantum factoring over a fixed finite gate set","d":11,"papers":[558],"lean":[327],"tone":"all","ring":false,"href":"families/279.html","cites":[],"citedBy":[]},{"id":"f:280","num":"280","title":"Unitary vertex operator algebras and conformal nets","d":11,"papers":[559],"lean":[328],"tone":"part","ring":false,"href":"families/280.html","cites":[],"citedBy":[]},{"id":"f:281","num":"281","title":"QAOA attains the SK optimum in the thermodynamic-first limit","d":11,"papers":[560,561],"lean":[329,330],"tone":"other","ring":true,"href":"families/281.html","cites":[],"citedBy":[]},{"id":"f:282","num":"282","title":"From scale symmetry to local conformal symmetry in four-dimensional QFT","d":11,"papers":[562],"lean":[],"tone":"none","ring":false,"href":"families/282.html","cites":[],"citedBy":[]},{"id":"f:283","num":"283","title":"Polynomial-time unitary synthesis from a Boolean oracle","d":11,"papers":[563],"lean":[],"tone":"none","ring":false,"href":"families/283.html","cites":[],"citedBy":[]},{"id":"f:284","num":"284","title":"The optimal quartic separation between randomized and quantum queries","d":11,"papers":[564],"lean":[],"tone":"none","ring":false,"href":"families/284.html","cites":[],"citedBy":[]},{"id":"f:285","num":"285","title":"Counterexamples to Baum–Connes and Kadison–Kaplansky","d":12,"papers":[565,566,567],"lean":[],"tone":"none","ring":false,"href":"families/285.html","cites":[[201,1]],"citedBy":[[301,1]]},{"id":"f:286","num":"286","title":"Rigidity and arithmetic of lattice von Neumann algebras","d":12,"papers":[568,569],"lean":[],"tone":"none","ring":false,"href":"families/286.html","cites":[[281,1]],"citedBy":[]},{"id":"f:287","num":"287","title":"Isomorphism of the free group factors","d":12,"papers":[570],"lean":[331],"tone":"split","ring":false,"href":"families/287.html","cites":[],"citedBy":[[280,1],[290,1],[292,1]]},{"id":"f:288","num":"288","title":"Kadison's similarity conjecture","d":12,"papers":[571],"lean":[332,333],"tone":"all","ring":false,"href":"families/288.html","cites":[[245,1]],"citedBy":[[245,1],[283,1]]},{"id":"f:289","num":"289","title":"Strong Kadison–Kastler stability and its spatial boundaries","d":12,"papers":[572,573,574],"lean":[334],"tone":"part","ring":false,"href":"families/289.html","cites":[[282,1]],"citedBy":[]},{"id":"f:290","num":"290","title":"Relative bicentralizers and modular spectral recovery","d":12,"papers":[575,576],"lean":[335],"tone":"other","ring":false,"href":"families/290.html","cites":[],"citedBy":[]},{"id":"f:291","num":"291","title":"Cuntz comparison, nuclear dimension, and equivariant Jiang–Su stability","d":12,"papers":[577,578,579,580],"lean":[336],"tone":"other","ring":false,"href":"families/291.html","cites":[[293,1]],"citedBy":[[293,1],[295,1]]},{"id":"f:292","num":"292","title":"Kirchberg's 𝒪₂ norm-ultrapower embedding problem","d":12,"papers":[581],"lean":[337],"tone":"all","ring":false,"href":"families/292.html","cites":[],"citedBy":[]},{"id":"f:293","num":"293","title":"Invariant projections, hyperinvariant subspaces, and transitive algebras","d":12,"papers":[582,583],"lean":[338,339,340,341,342,343],"tone":"all","ring":false,"href":"families/293.html","cites":[],"citedBy":[]},{"id":"f:294","num":"294","title":"Kaplansky's quasitrace conjecture and failure of tensor-product stable finiteness","d":12,"papers":[584],"lean":[344,345],"tone":"all","ring":false,"href":"families/294.html","cites":[],"citedBy":[]},{"id":"f:295","num":"295","title":"The Kadison–Ringrose cohomology conjecture","d":12,"papers":[585],"lean":[346],"tone":"all","ring":false,"href":"families/295.html","cites":[],"citedBy":[]},{"id":"f:296","num":"296","title":"The generator problem for finite factors","d":12,"papers":[586],"lean":[347,348],"tone":"all","ring":false,"href":"families/296.html","cites":[[281,1]],"citedBy":[]},{"id":"f:297","num":"297","title":"A ZFC counterexample to Naimark's problem","d":12,"papers":[587],"lean":[349],"tone":"all","ring":false,"href":"families/297.html","cites":[],"citedBy":[]},{"id":"f:298","num":"298","title":"Two notions of free entropy differ even when both are finite","d":12,"papers":[588],"lean":[350],"tone":"all","ring":false,"href":"families/298.html","cites":[[281,1]],"citedBy":[]},{"id":"f:299","num":"299","title":"The Kirchberg–Rørdam character criterion and infinite tensor-power Jiang–Su stability","d":12,"papers":[589],"lean":[351],"tone":"part","ring":false,"href":"families/299.html","cites":[[285,1]],"citedBy":[[285,1]]},{"id":"f:300","num":"300","title":"Approximation and quadratic strong-operator paving","d":12,"papers":[590,591],"lean":[],"tone":"none","ring":false,"href":"families/300.html","cites":[],"citedBy":[]},{"id":"f:301","num":"301","title":"Trace cones and Razak–Jacelon stabilization","d":12,"papers":[592],"lean":[352],"tone":"other","ring":false,"href":"families/301.html","cites":[[285,1]],"citedBy":[]},{"id":"f:302","num":"302","title":"Radius of comparison equals half the mean dimension","d":12,"papers":[593,594],"lean":[],"tone":"none","ring":false,"href":"families/302.html","cites":[],"citedBy":[]},{"id":"f:303","num":"303","title":"Weak pure infiniteness and Cuntz-algebra absorption","d":12,"papers":[595],"lean":[353,354],"tone":"split","ring":false,"href":"families/303.html","cites":[],"citedBy":[]},{"id":"f:304","num":"304","title":"The Hilbert–Smith conjecture in every dimension","d":13,"papers":[596],"lean":[],"tone":"none","ring":false,"href":"families/304.html","cites":[],"citedBy":[]},{"id":"f:305","num":"305","title":"Four-dimensional disk embedding and Wall's conjecture","d":13,"papers":[597,598,599],"lean":[],"tone":"none","ring":false,"href":"families/305.html","cites":[],"citedBy":[[309,1],[314,2]]},{"id":"f:306","num":"306","title":"The purely cosmetic surgery conjecture","d":13,"papers":[600],"lean":[],"tone":"none","ring":false,"href":"families/306.html","cites":[],"citedBy":[]},{"id":"f:307","num":"307","title":"Failure of rational injectivity for maximal coarse assembly","d":13,"papers":[601,602],"lean":[355],"tone":"part","ring":false,"href":"families/307.html","cites":[[279,1]],"citedBy":[]},{"id":"f:308","num":"308","title":"Finite Smith–Toda complexes at every height","d":13,"papers":[603,604],"lean":[],"tone":"none","ring":false,"href":"families/308.html","cites":[],"citedBy":[]},{"id":"f:309","num":"309","title":"The Kervaire invariant problem at the prime three","d":13,"papers":[605],"lean":[],"tone":"none","ring":true,"href":"families/309.html","cites":[],"citedBy":[]},{"id":"f:310","num":"310","title":"Quillen's conjecture in rational homology","d":13,"papers":[606],"lean":[],"tone":"none","ring":false,"href":"families/310.html","cites":[],"citedBy":[]},{"id":"f:311","num":"311","title":"The Hovey–Strickland and Chai conjectures","d":13,"papers":[607],"lean":[],"tone":"none","ring":false,"href":"families/311.html","cites":[],"citedBy":[[313,1]]},{"id":"f:312","num":"312","title":"The Grothendieck homotopy hypothesis","d":13,"papers":[608],"lean":[356],"tone":"part","ring":false,"href":"families/312.html","cites":[],"citedBy":[[311,1]]},{"id":"f:313","num":"313","title":"Finite generation for the K(n)-local sphere","d":13,"papers":[609],"lean":[],"tone":"none","ring":false,"href":"families/313.html","cites":[],"citedBy":[]},{"id":"f:314","num":"314","title":"Cyclic length and chromatic fixed-point loss","d":13,"papers":[610],"lean":[],"tone":"none","ring":false,"href":"families/314.html","cites":[],"citedBy":[]},{"id":"f:315","num":"315","title":"The four-dimensional Singer conjecture","d":13,"papers":[611],"lean":[],"tone":"none","ring":false,"href":"families/315.html","cites":[[58,1],[299,1]],"citedBy":[]},{"id":"f:316","num":"316","title":"Curtis’s conjecture","d":13,"papers":[612],"lean":[],"tone":"none","ring":false,"href":"families/316.html","cites":[],"citedBy":[]},{"id":"f:317","num":"317","title":"Thomason model structures in all strict higher dimensions","d":13,"papers":[613],"lean":[357],"tone":"all","ring":false,"href":"families/317.html","cites":[[306,1]],"citedBy":[]},{"id":"f:318","num":"318","title":"Chromatic splitting: filtrations and counterexamples","d":13,"papers":[614,615,616,617,618],"lean":[],"tone":"none","ring":false,"href":"families/318.html","cites":[],"citedBy":[]},{"id":"f:319","num":"319","title":"Counterexamples to finite generation at chromatic height two","d":13,"papers":[619],"lean":[],"tone":"none","ring":false,"href":"families/319.html","cites":[[305,1]],"citedBy":[]},{"id":"f:320","num":"320","title":"Nonhomeomorphic closed aspherical four-manifolds","d":13,"papers":[620],"lean":[],"tone":"none","ring":false,"href":"families/320.html","cites":[[299,2]],"citedBy":[]},{"id":"f:321","num":"321","title":"A counterexample to Wall's finite D(2) problem","d":13,"papers":[621],"lean":[],"tone":"none","ring":false,"href":"families/321.html","cites":[],"citedBy":[]},{"id":"f:322","num":"322","title":"Tingley’s sphere-isometry problem","d":14,"papers":[622],"lean":[358],"tone":"all","ring":false,"href":"families/322.html","cites":[],"citedBy":[[318,1]]},{"id":"f:323","num":"323","title":"Independence of the separable quotient problem","d":14,"papers":[623],"lean":[359],"tone":"part","ring":false,"href":"families/323.html","cites":[],"citedBy":[]},{"id":"f:324","num":"324","title":"Lipschitz equivalent Banach spaces need not be linearly isomorphic","d":14,"papers":[624,625],"lean":[360,361],"tone":"all","ring":false,"href":"families/324.html","cites":[[316,1]],"citedBy":[]},{"id":"f:325","num":"325","title":"The complete Crouzeix conjecture","d":14,"papers":[626,627],"lean":[362,363,364,365,366],"tone":"all","ring":true,"href":"families/325.html","cites":[],"citedBy":[]},{"id":"f:326","num":"326","title":"The cotype–cotype conjecture under the approximation property","d":14,"papers":[628],"lean":[367],"tone":"split","ring":false,"href":"families/326.html","cites":[],"citedBy":[]},{"id":"f:327","num":"327","title":"Markov type characterizes superreflexivity","d":14,"papers":[629],"lean":[368],"tone":"all","ring":false,"href":"families/327.html","cites":[],"citedBy":[]},{"id":"f:328","num":"328","title":"Nonexpansive fixed points in reflexive Banach spaces","d":14,"papers":[630],"lean":[369],"tone":"all","ring":false,"href":"families/328.html","cites":[],"citedBy":[]},{"id":"f:329","num":"329","title":"A counterexample to metric-entropy duality","d":14,"papers":[631],"lean":[370],"tone":"all","ring":false,"href":"families/329.html","cites":[],"citedBy":[]},{"id":"f:330","num":"330","title":"A uniformly discrete counterexample to bounded approximation in Lipschitz-free spaces","d":14,"papers":[632],"lean":[371,372],"tone":"all","ring":false,"href":"families/330.html","cites":[],"citedBy":[]},{"id":"f:331","num":"331","title":"Reflexive midpoint convexity and diamond distortion","d":14,"papers":[633,634,635,636,637,638,639],"lean":[373,374,375,376,377,378,379],"tone":"all","ring":false,"href":"families/331.html","cites":[],"citedBy":[]},{"id":"f:332","num":"332","title":"Metric Markov cotype of ℓ1 and Hilbert-space Lipschitz extension","d":14,"papers":[640],"lean":[],"tone":"none","ring":false,"href":"families/332.html","cites":[],"citedBy":[]},{"id":"f:333","num":"333","title":"Smooth isometric immersions of surfaces into ℝ4","d":15,"papers":[641],"lean":[380],"tone":"all","ring":false,"href":"families/333.html","cites":[[328,1]],"citedBy":[]},{"id":"f:334","num":"334","title":"A smooth surface metric with no local isometric immersion in ℝ3","d":15,"papers":[642],"lean":[381],"tone":"all","ring":false,"href":"families/334.html","cites":[],"citedBy":[[327,1]]},{"id":"f:335","num":"335","title":"Gromov’s integral scalar-curvature bound for simplicial volume","d":15,"papers":[643,644],"lean":[],"tone":"none","ring":false,"href":"families/335.html","cites":[],"citedBy":[[330,1]]},{"id":"f:336","num":"336","title":"Spectral scalar curvature, Urysohn width, and macroscopic dimension","d":15,"papers":[645,646,647],"lean":[],"tone":"none","ring":false,"href":"families/336.html","cites":[[329,1]],"citedBy":[]},{"id":"f:337","num":"337","title":"Sharp Cartan–Hadamard isoperimetry and rigidity","d":15,"papers":[648,649],"lean":[382,383],"tone":"part","ring":false,"href":"families/337.html","cites":[],"citedBy":[]},{"id":"f:338","num":"338","title":"Yau's uniformization conjecture","d":15,"papers":[650],"lean":[],"tone":"none","ring":false,"href":"families/338.html","cites":[],"citedBy":[]},{"id":"f:339","num":"339","title":"Katok's entropy rigidity conjecture","d":15,"papers":[651],"lean":[],"tone":"none","ring":false,"href":"families/339.html","cites":[],"citedBy":[]},{"id":"f:340","num":"340","title":"A counterexample to the nearby Lagrangian conjecture","d":15,"papers":[652],"lean":[],"tone":"none","ring":false,"href":"families/340.html","cites":[],"citedBy":[]},{"id":"f:341","num":"341","title":"Donaldson's hypersymplectic deformation conjecture","d":15,"papers":[653],"lean":[],"tone":"none","ring":false,"href":"families/341.html","cites":[[336,1]],"citedBy":[[336,1]]},{"id":"f:342","num":"342","title":"Donaldson's tamed-to-compatible conjecture","d":15,"papers":[654],"lean":[384],"tone":"all","ring":false,"href":"families/342.html","cites":[[335,1]],"citedBy":[[335,1]]},{"id":"f:343","num":"343","title":"Symplectic ball packing in higher dimensions","d":15,"papers":[655],"lean":[385,386],"tone":"all","ring":false,"href":"families/343.html","cites":[],"citedBy":[[83,1]]},{"id":"f:344","num":"344","title":"The metric Blaschke conjecture","d":15,"papers":[656],"lean":[],"tone":"none","ring":false,"href":"families/344.html","cites":[],"citedBy":[]},{"id":"f:345","num":"345","title":"Infinitely many closed geodesics on Riemannian spheres and closed three-manifolds","d":15,"papers":[657],"lean":[],"tone":"none","ring":false,"href":"families/345.html","cites":[],"citedBy":[]},{"id":"f:346","num":"346","title":"Sharp singular-set bounds for stationary integral varifolds","d":15,"papers":[658,659],"lean":[],"tone":"none","ring":false,"href":"families/346.html","cites":[[343,1]],"citedBy":[]},{"id":"f:347","num":"347","title":"Counterexamples to stable-Morse and strong Arnold fixed-point bounds","d":15,"papers":[660,661,662,663,664],"lean":[387],"tone":"part","ring":true,"href":"families/347.html","cites":[],"citedBy":[]},{"id":"f:348","num":"348","title":"Nonnegative-curvature Einstein classification and an L2 topological gap","d":15,"papers":[665,666,667],"lean":[388],"tone":"part","ring":true,"href":"families/348.html","cites":[],"citedBy":[]},{"id":"f:349","num":"349","title":"The Solomon–Yau least-volume conjecture","d":15,"papers":[668],"lean":[],"tone":"none","ring":false,"href":"families/349.html","cites":[],"citedBy":[[340,1]]},{"id":"f:350","num":"350","title":"Yau’s nodal bounds: surfaces and higher dimensions","d":15,"papers":[669,670,671],"lean":[389,390,391],"tone":"part","ring":false,"href":"families/350.html","cites":[],"citedBy":[]},{"id":"f:351","num":"351","title":"Scalar curvature and finite-time Ricci-flow singularities","d":15,"papers":[672,673,674],"lean":[],"tone":"none","ring":false,"href":"families/351.html","cites":[],"citedBy":[]},{"id":"f:352","num":"352","title":"A finite-time singularity of Calabi flow","d":15,"papers":[675],"lean":[],"tone":"none","ring":true,"href":"families/352.html","cites":[],"citedBy":[]},{"id":"f:353","num":"353","title":"Affine Bernstein rigidity through dimension nine and a smooth dimension-ten counterexample","d":15,"papers":[676,677],"lean":[392],"tone":"part","ring":true,"href":"families/353.html","cites":[],"citedBy":[]},{"id":"f:354","num":"354","title":"The isoperimetric profile of the cubic three-torus","d":15,"papers":[678],"lean":[393],"tone":"all","ring":true,"href":"families/354.html","cites":[],"citedBy":[]},{"id":"f:355","num":"355","title":"Unique tangent flows at the first surface singularity","d":15,"papers":[679],"lean":[],"tone":"none","ring":false,"href":"families/355.html","cites":[],"citedBy":[]},{"id":"f:356","num":"356","title":"Gigli’s characterization of Alexandrov curvature","d":15,"papers":[680,681],"lean":[394],"tone":"other","ring":false,"href":"families/356.html","cites":[],"citedBy":[]},{"id":"f:357","num":"357","title":"Bi-Lipschitz coordinates at every regular RCD point","d":15,"papers":[682],"lean":[],"tone":"none","ring":false,"href":"families/357.html","cites":[],"citedBy":[]},{"id":"f:358","num":"358","title":"A three-manifold without conjugate points or nonpositive curvature","d":15,"papers":[683],"lean":[395],"tone":"all","ring":false,"href":"families/358.html","cites":[],"citedBy":[]},{"id":"f:359","num":"359","title":"Negative Kähler curvature without bounded holomorphic coordinates","d":15,"papers":[684,685],"lean":[396],"tone":"part","ring":false,"href":"families/359.html","cites":[],"citedBy":[]},{"id":"f:360","num":"360","title":"Weak MTW curvature gives convexity and regular optimal transport","d":15,"papers":[686,687],"lean":[397,398],"tone":"all","ring":false,"href":"families/360.html","cites":[],"citedBy":[]},{"id":"f:361","num":"361","title":"Failure of integer-degree harmonic dimension comparison","d":15,"papers":[688,689],"lean":[399],"tone":"part","ring":true,"href":"families/361.html","cites":[],"citedBy":[]},{"id":"f:362","num":"362","title":"Global smoothness for relativistic Vlasov–Maxwell","d":16,"papers":[690],"lean":[400],"tone":"all","ring":false,"href":"families/362.html","cites":[],"citedBy":[]},{"id":"f:363","num":"363","title":"Nonuniqueness with local conservation for the hard-sphere Boltzmann equation","d":16,"papers":[691,692],"lean":[401],"tone":"part","ring":false,"href":"families/363.html","cites":[],"citedBy":[]},{"id":"f:364","num":"364","title":"Kinetic limits and fluctuations over the Boltzmann lifespan","d":16,"papers":[693,694],"lean":[],"tone":"none","ring":false,"href":"families/364.html","cites":[],"citedBy":[]},{"id":"f:365","num":"365","title":"Joint metric and connection recovery from one boundary patch","d":16,"papers":[695,696,697],"lean":[402],"tone":"part","ring":false,"href":"families/365.html","cites":[],"citedBy":[]},{"id":"f:366","num":"366","title":"The planar Mumford–Shah regularity conjecture and local weak-L4 gradient bounds","d":16,"papers":[698],"lean":[],"tone":"none","ring":false,"href":"families/366.html","cites":[],"citedBy":[]},{"id":"f:367","num":"367","title":"The critical dimension for the one-phase Bernoulli problem","d":16,"papers":[699],"lean":[403],"tone":"part","ring":true,"href":"families/367.html","cites":[],"citedBy":[]},{"id":"f:368","num":"368","title":"The three-dimensional Ball–Evans approximation problem","d":16,"papers":[700,701],"lean":[],"tone":"none","ring":false,"href":"families/368.html","cites":[],"citedBy":[]},{"id":"f:369","num":"369","title":"The hot spots conjecture for simply connected planar domains","d":16,"papers":[702],"lean":[404],"tone":"all","ring":true,"href":"families/369.html","cites":[],"citedBy":[]},{"id":"f:370","num":"370","title":"The Lane–Emden and Hénon–Lane–Emden conjectures","d":16,"papers":[703],"lean":[405],"tone":"all","ring":false,"href":"families/370.html","cites":[],"citedBy":[]},{"id":"f:371","num":"371","title":"Stable blowup for the defocusing Schrödinger equation","d":16,"papers":[704],"lean":[406],"tone":"split","ring":true,"href":"families/371.html","cites":[],"citedBy":[]},{"id":"f:372","num":"372","title":"Global uniqueness in smooth isotropic elasticity","d":16,"papers":[705],"lean":[407],"tone":"all","ring":false,"href":"families/372.html","cites":[],"citedBy":[]},{"id":"f:373","num":"373","title":"Nonattainment of the three-marginal Coulomb Monge problem","d":16,"papers":[706],"lean":[408],"tone":"part","ring":false,"href":"families/373.html","cites":[],"citedBy":[]},{"id":"f:374","num":"374","title":"Sharp one-third stability of Brenier maps","d":16,"papers":[707],"lean":[409],"tone":"all","ring":false,"href":"families/374.html","cites":[],"citedBy":[]},{"id":"f:375","num":"375","title":"De Giorgi's conjecture in dimension eight","d":16,"papers":[708],"lean":[],"tone":"none","ring":false,"href":"families/375.html","cites":[],"citedBy":[]},{"id":"f:376","num":"376","title":"Universal computation in forced Navier–Stokes flows","d":16,"papers":[709,710,711,712,713,714,715,716,717],"lean":[410,411,412,413,414,415],"tone":"all","ring":false,"href":"families/376.html","cites":[],"citedBy":[]},{"id":"f:377","num":"377","title":"Interior C^(1,α) regularity for infinity-harmonic functions","d":16,"papers":[718],"lean":[],"tone":"none","ring":false,"href":"families/377.html","cites":[],"citedBy":[]}],"links":[[0,31,1,1],[1,5,3,2],[1,18,0,1],[2,12,0,1],[2,15,0,1],[2,22,1,0],[2,28,0,1],[2,176,0,1],[3,5,2,0],[3,9,1,1],[10,23,0,1],[10,28,0,3],[28,137,0,1],[32,33,2,3],[32,35,0,1],[32,55,0,1],[33,35,2,4],[33,54,1,1],[33,56,0,1],[35,63,0,1],[36,63,0,1],[37,49,0,1],[41,58,1,0],[44,55,1,1],[44,56,1,0],[45,47,0,1],[49,56,1,0],[54,63,2,0],[55,56,0,1],[57,61,1,0],[58,309,0,1],[69,160,1,0],[70,73,1,2],[72,139,1,0],[73,74,1,2],[74,75,1,1],[82,149,0,3],[83,337,1,0],[90,94,1,1],[92,98,1,1],[95,117,1,1],[98,101,1,0],[98,113,1,1],[101,102,1,1],[105,125,1,1],[109,126,0,1],[110,111,1,1],[111,126,0,1],[139,140,1,0],[140,149,0,2],[154,155,1,1],[164,178,0,2],[169,170,0,1],[169,180,0,1],[170,180,0,1],[187,188,1,0],[188,189,1,0],[190,191,0,1],[191,244,1,0],[192,193,1,1],[196,197,0,2],[201,279,0,1],[208,242,0,1],[212,217,0,1],[215,229,1,1],[216,228,0,1],[217,218,1,1],[217,219,1,0],[219,226,0,2],[219,227,0,1],[225,230,1,1],[226,227,0,1],[242,245,1,0],[245,282,1,1],[257,269,0,2],[279,301,0,1],[280,281,1,0],[281,290,0,1],[281,292,0,1],[282,283,0,1],[285,293,1,1],[285,295,0,1],[299,309,0,1],[299,314,0,2],[305,313,0,1],[306,311,0,1],[316,318,0,1],[327,328,1,0],[329,330,0,1],[335,336,1,1],[340,343,1,0]],"sources":{"cert-machine":"Carlos Toledo, cert-machine","mathvet":"MathVet","nealmcb-lean-tooling":"Neal McBurnett, openai-math-lean-tooling"},"catalogue_url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/CONTENTS.md","counts":{"families":372,"disciplines":17,"papers":719,"results":1177,"lean":416,"pairs":386}}