More Like this

1. On the construction of limits and colimits in ∞-categories

   Riehl, Emily; Verity, Dominic (July 2020, Theory and applications of categories)

   null (Ed.)

   In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an ∞-category --- for instance, a quasi-category, a complete Segal space, or a Segal category --- is complete and cocomplete, admitting limits and colimits indexed by any small simplicial set. Our strategy is to build (co)limits of diagrams indexed by a simplicial set inductively from (co)limits of restricted diagrams indexed by the pieces of its skeletal filtration. We show directly that the modules that express the universal properties of (co)limits of diagrams of these shapes are reconstructible as limits of the modules that express the universal properties of (co)limits of the restricted diagrams. We also prove that the Yoneda embedding preserves and reflects limits in a suitable sense, and deduce our main theorems as a consequence. 

   more » « less
2. Gluing complexes of sheaves

   https://doi.org/10.4171/DM/961  

   Olsson, Martin (September 2024, Documenta Mathematica)

   We prove two variations of the classical gluing result of Beilinson–Bernstein–Deligne. We recast the problem of gluing in terms of filtered complexes in the total topos of aD-topos, in the sense of SGA 4, and prove our results using the filtered derived category. 

   more » « less
3. New building blocks for F1$${\mathbb {F}}_1$$‐geometry: Bands and band schemes

   https://doi.org/10.1112/jlms.70125  

   Baker, Matthew; Jin, Tong; Lorscheid, Oliver (April 2025, Journal of the London Mathematical Society)

   Abstract We develop and study a generalization of commutative rings calledbands, along with the corresponding geometric theory ofband schemes. Bands generalize both hyperrings, in the sense of Krasner, and partial fields in the sense of Semple and Whittle. They form a ring‐like counterpart to the field‐like category ofidyllsintroduced by the first and third authors in the previous work. The first part of the paper is dedicated to establishing fundamental properties of bands analogous to basic facts in commutative algebra. In particular, we introduce various kinds of ideals in a band and explore their properties, and we study localization, quotients, limits, and colimits. The second part of the paper studies band schemes. After giving the definition, we present some examples of band schemes, along with basic properties of band schemes and morphisms thereof, and we describe functors into some other scheme theories. In the third part, we discuss some “visualizations” of band schemes, which are different topological spaces that one can functorially associate to a band scheme . 

   more » « less
4. Convex Geometry and Duality of Over-parameterized Neural Networks

   Ergen, T.; Pilanci, M. (January 2021, Journal of machine learning research)

   We develop a convex analytic approach to analyze finite width two-layer ReLU networks. We first prove that an optimal solution to the regularized training problem can be characterized as extreme points of a convex set, where simple solutions are encouraged via its convex geometrical properties. We then leverage this characterization to show that an optimal set of parameters yield linear spline interpolation for regression problems involving one dimensional or rank-one data. We also characterize the classification decision regions in terms of a kernel matrix and minimum `1-norm solutions. This is in contrast to Neural Tangent Kernel which is unable to explain predictions of finite width networks. Our convex geometric characterization also provides intuitive explanations of hidden neurons as auto-encoders. In higher dimensions, we show that the training problem can be cast as a finite dimensional convex problem with infinitely many constraints. Then, we apply certain convex relaxations and introduce a cutting-plane algorithm to globally optimize the network. We further analyze the exactness of the relaxations to provide conditions for the convergence to a global optimum. Our analysis also shows that optimal network parameters can be also characterized as interpretable closed-form formulas in some practically relevant special cases. 

   more » « less
5. Theoretical upper limits of the thermal conductivity of Si3N4

   https://doi.org/10.1063/5.0149298  

   Zhou, Hao; Feng, Tianli (May 2023, Applied Physics Letters)

   Silicon nitride (Si3N4) is a promising substrate for high-power electronics due to its superior mechanical properties and potential outstanding thermal conductivity (κ). As experiments keep pushing the upper limit of κ of Si3N4, it is believed that it can reach 450 W/mK, similar to SiC, based on classical models and molecular dynamics simulations. In this work, we reveal from first principles that the theoretical κ upper limits of β-Si3N4 are only 169 and 57 W/mK along the c and a axes at room temperature, respectively. Those of α-Si3N4 are about 116 and 87 W/mK, respectively. The predicted temperature-dependent κ matches well with the highest available experimental data, which supports the accuracy of our calculations, and suggests that the κ upper limit of Si3N4 has already been reached in the experiment. Compared to other promising semiconductors (e.g., SiC, AlN, and GaN), Si3N4 has a much lower κ than expected even though the chemical bonding and mechanical strengths are close or even stronger. We find the underlying reason is that Si3N4 has much lower phonon lifetimes and mean free paths (<0.5 μm) due to the larger three-phonon scattering phase space and stronger anharmonicity. Interestingly, we find that the larger unit cell (with more basis atoms) that leads to a smaller fraction of acoustic phonons is not the reason for lower κ. Grain size-dependent κ indicates that the grain boundary scattering plays a negligible role in most experimental samples. This work clarifies the theoretical κ upper limits of Si3N4 and can guide experimental research. 

   more » « less