Related papers: Internal Parameterization of Hyperconnected Quotie…
Here we investigate the connection between topological order and the geometric entanglement, as measured by the logarithm of the overlap between a given state and its closest product state of blocks. We do this for a variety of…
We study the set of localizations of an integral domain from a topological point of view, showing that it is always a spectral space and characterizing when it is a proconstructible subspace of the space of all overrings. We then study the…
Coherence is a fundamental notion in quantum mechanics, defined relative to a reference basis. As such, it does not necessarily reveal the locality of interactions nor takes into account the accessible operations in a composite quantum…
Topologies can be expanded with the help of ideals, using the local function, an operator resembling the closure of a set. The aim of this paper is to define the ideals which enable us to create this topology $\tau^{*}$ on $X$…
Topos formalism for quantum mechanics is interpreted in a broader, information retrieval perspective. Contexts, its basic components, are treated as sources of information. Their interplay, called daseinisation, defined in purely logical…
The popular subword tokenizers of current language models, such as Byte-Pair Encoding (BPE), are known not to respect morpheme boundaries, which affects the downstream performance of the models. While many improved tokenization algorithms…
This short paper is a small contribution to the field of Boolean contact algebras. We analyze the nondefinability of the property of interior-connectedness, and we prove certain minimality conditions for algebras and spaces that can be used…
Theories of localised pattern formation are important to understand a broad range of natural patterns, but are less well-understood than more established mechanisms of domain-filling pattern formation. Here, we extend recent work on pattern…
The paper deals with a comprehensive theory of mappings, whose local behavior can be described by means of linear subspaces, contained in the graphs of two (primal and dual) generalized derivatives. This class of mappings includes the…
The goal of this article is to develop the theory of presentable categories and topoi internal to an arbitrary $\infty$-topos $\mathcal{B}$. Our main results are internal analogues of Lurie's and Lurie-Simpson's characterisations of…
We construct a pinning-normalized local Langlands correspondence for depth-zero supercuspidal representations of a connected reductive group over a non-archimedean local field. After fixing a pinned splitting of the quasi-split inner form,…
We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the…
The second author and Norbury initiated the enumeration of lattice points in the Deligne-Mumford compactifications of moduli spaces of curves. They showed that the enumeration may be expressed in terms of polynomials, whose top and bottom…
Discrete subfactors include a particular class of infinite index subfactors and all finite index ones. A discrete subfactor is called local when it is braided and it fulfills a commutativity condition motivated by the study of inclusion of…
A special feature of the ground state in a topologically ordered phase is the existence of large scale correlations depending only on the topology of the regions. These correlations can be detected by the topological entanglement entropy or…
Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have…
We generalize the information lattice, originally defined for one-dimensional open-boundary chains, to characterize quantum many-body states in higher-dimensional geometries. In one dimension, the information lattice provides a position-…
Let $N$ local decision makers in a sensor network communicate with their neighbors to reach a decision \emph{consensus}. Communication is local, among neighboring sensors only, through noiseless or noisy links. We study the design of the…
Entanglement, as studied in quantum information science, and non-local quantum correlations, as studied in condensed matter physics, are fundamentally akin to each other. However, their relationship is often hard to quantify due to the lack…
The necessity of a theory of General Topology and, most of all, of Algebraic Topology on locally finite metric spaces comes from many areas of research in both Applied and Pure Mathematics: Molecular Biology, Mathematical Chemistry,…