Related papers: Internal Parameterization of Hyperconnected Quotie…
We study various characterizations of higher sites over a given $\infty$-category $\mathcal{C}$ which are conceptually in line with their classical ordinary categorical counterparts, and extract some new results about $\infty$-topos theory…
Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usually proven externally, and does not hold internally.…
Recently, quantum entanglement has been presented as a cohomological obstruction to reconstructing a global quantum state from locally compatible information, where sheafification provides a functor that is forgetful with regards to…
A variety of local index formulas is constructed for quantum Hamiltonians with periodic boundary conditions. All dimensions of physical space as well as many symmetry constraints are covered, notably one-dimensional systems in Class DIII as…
Although topological band theory has been used to discover and classify a wide array of novel topological phases in insulating and semi-metal systems, it is not well-suited to identifying topological phenomena in metallic or gapless…
Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathematics, but is "local on the base scheme": For example, from the…
The notion of local subgroupoid as a generalisation of a local equivalence relation was defined in a previous paper by the first two authors. Here we use the notion of star path connectivity for a Lie groupoid to give an important new class…
We introduce new entanglement monotones which generalize, to the case of many parties, those which give rise to the majorization-based partial ordering of bipartite states' entanglement. We give some examples of restrictions they impose on…
This work introduces a rigorous notion of localization probability of a quantum state within a given subspace of its Hilbert space. A non-negative operator A is uniquely decomposed as A=B+C, where B is the maximal positive operator…
One of the main prerequisites for understanding sheaves on elementary toposes is the proof that a (Lawvere-Tierney) topology on a topos induces a closure operator on it, and vice-versa. That standard theorem is usually presented in a…
A method allowing to increase a computational efficiency of evaluation of non-local characteristics of a pair of qubits is described. The method is based on the construction of coordinates on a generic section of 2-qubit's entanglement…
Recently, the spectral localizer framework has emerged as an efficient approach to classifying topology in photonic systems featuring local nonlinearities and radiative environments. In nonlinear systems, this framework provides rigorous…
We present a general result about generating group topologies by pseudo-norms. Namely, we show that if a topology has a base of sets which are closed in a certain sense, then it can be generated by a collection of pseudo-norms such that the…
Hypergraph states are multi-qubit states that form a subset of the locally maximally entangleable states and a generalization of the well--established notion of graph states. Mathematically, they can conveniently be described by a…
We study the behavior of a probability measure near the bottom of its support in terms of time averaged quotients of its Laplace transform. We discuss how our results are connected to both rank-one perturbation theory as well as renewal…
The topological R\'enyi and entanglement entropies depend on the bipartition of the manifold and the choice of the ground states. However, these entanglement quantities remain invariant under a coordinate transformation when the bipartition…
We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages,…
In many real world datasets arising from social networks, there are hidden higher order relations among data points which cannot be captured using graph modeling. It is natural to use a more general notion of hypergraphs to model such…
We consider a family of chaotic Bose-Hubbard Hamiltonians (BHH) parameterized by the coupling strength $k$ between neighboring sites. As $k$ increases the eigenstates undergo changes, reflected in the structure of the Local Density of…
We perform topological data analysis on the internal states of convolutional deep neural networks to develop an understanding of the computations that they perform. We apply this understanding to modify the computations so as to (a) speed…