English
Related papers

Related papers: Tameness, Uniqueness and amalgamation

200 papers

The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}}…

Representation Theory · Mathematics 2024-08-13 Laurent Demonet , Osamu Iyama , Nathan Reading , Idun Reiten , Hugh Thomas

Several variants of the recently proposed Density Matrix Embedding Theory (DMET) [G. Knizia and G. K-L. Chan, Phys. Rev. Lett. 109, 186404 (2012)] are formulated and tested. We show that spin symmetry breaking of the lattice mean-field…

Strongly Correlated Electrons · Physics 2015-06-17 Ireneusz W. Bulik , Gustavo E. Scuseria , Jorge Dukelsky

We investigate in ZFC what can be the family of large enough cardinals mu in which an a.e.c. K is categorical or even just solvable. We show that for not few cardinals lambda<mu there is a superlimit model in K_lambda. Moreover, our main…

Logic · Mathematics 2008-08-25 Saharon Shelah

We study the \'etale sheafification of algebraic K-theory, called \'etale K-theory. Our main results show that \'etale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories.…

K-Theory and Homology · Mathematics 2021-04-13 Dustin Clausen , Akhil Mathew

Many deep, mysterious connections have been observed between collections of mutually unbiased bases (MUBs) and combinatorial designs called $k$-nets (and in particular, between complete collections of MUBs and finite affine - or…

Mathematical Physics · Physics 2019-07-05 Sloan Nietert , Zsombor Szilágyi , Mihály Weiner

Building off of recent results on Keisler's order, we show that consistently, $\leq_{SP}$ has infinitely many classes. In particular, we define the property of $\leq k$-type amalgamation for simple theories, for each $2 \leq k < \omega$. If…

Logic · Mathematics 2024-09-24 Saharon Shelah , Danielle Ulrich

The theme of the first two sections, is to prepare the framework of how from a "complicated" family of index models I in K_1 we build many and/or complicated structures in a class K_2. The index models are characteristically linear orders,…

Logic · Mathematics 2016-02-09 Saharon Shelah

The K-means one-step dimensionality reduction clustering method has made some progress in addressing the curse of dimensionality in clustering tasks. However, it combines the K-means clustering and dimensionality reduction processes for…

Machine Learning · Computer Science 2024-10-31 Fangfang Li , Quanxue Gao , Cheng Deng , Wei Xia

We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…

Logic in Computer Science · Computer Science 2024-04-26 Hashimoto Go , Daniel Găină , Ionuţ Ţuţu

Deep learning models have proven to be highly successful. Yet, their over-parameterization gives rise to model multiplicity, a phenomenon in which multiple models achieve similar performance but exhibit distinct underlying behaviours. This…

Machine Learning · Computer Science 2023-11-28 Prakhar Ganesh

We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…

Algebraic Topology · Mathematics 2024-04-29 Coline Emprin

The theory of singularities defined by Frobenius has been extensively developed for $F$-finite rings and for rings that are essentially of finite type over excellent local rings. However, important classes of non-local excellent rings, such…

Commutative Algebra · Mathematics 2025-10-22 Rankeya Datta , Neil Epstein , Karl Schwede , Kevin Tucker

We present a systematic introduction to first-order optimality conditions for mathematical programs with equilibrium constraints (MPECs), emphasizing the limitations of classical nonlinear programming techniques. The goal is twofold. First,…

Optimization and Control · Mathematics 2026-05-04 Louis Shuo Wang

We use the framework of Abstract Elementary Classes ($\mathrm{AEC}$s) to introduce a new Construction Principle $\mathrm{CP}(\mathbf{K},\ast)$, which generalises the Construction Principle of Eklof, Mekler and Shelah and allows for many…

Logic · Mathematics 2026-04-29 Tapani Hyttinen , Gianluca Paolini , Davide Emilio Quadrellaro

Let $\mathfrak g$ be a finite-dimensional simple Lie algebra of type $D$ or $E$ and $\lambda$ be a dominant integral weight whose support bounds the subdiagram of type $D_4$. We study certain quantum affinizations of the simple $\mathfrak…

Representation Theory · Mathematics 2018-10-17 Adriano Moura , Fernanda Pereira

This paper proposes a Learnable Multiplicative absolute position Embedding based Conformer (LMEC). It contains a kernelized linear attention (LA) module called LMLA to solve the time-consuming problem for long sequence speech recognition as…

Audio and Speech Processing · Electrical Eng. & Systems 2022-12-06 Yuguang Yang , Yu Pan , Jingjing Yin , Heng Lu

Several techniques together with some partial answers are given to the questions of factoriality, type classification and fullness for amalgamated free product von Neumann algebras.

Operator Algebras · Mathematics 2019-05-21 Yoshimichi Ueda

This paper is concerned with a class K of models and an abstract notion of submodel <=. Experience in first order model theory has shown the desirability of finding a `monster model' to serve as a universal domain for K. In the original…

Logic · Mathematics 2009-09-25 John T. Baldwin , Saharon Shelah

We investigate aspects of Kauffman bracket skein algebras of surfaces and modules of 3-manifolds using quantum torus methods. These methods come in two flavors: embedding the skein algebra into a quantum torus related to quantum Teichmuller…

Geometric Topology · Mathematics 2019-10-07 Jonathan Paprocki

We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable L\"owenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness…

Logic · Mathematics 2018-04-04 Sebastien Vasey