Related papers: Q-system completion is a 3-functor

We derive completeness criteria for sequences of functions of the form $% f(x\lambda_{n})$, where $\lambda_{n}$ is the $nth$ zero of a suitably chosen entire function. Using these criteria, we construct systems of nonorthogonal…

Toy models have been used to separate important features of quantum computation from the rich background of the standard Hilbert space model. Category theory, on the other hand, is a general tool to separate components of mathematical…

In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…

Let Q be a finite quiver without oriented cycles, and let k be an algebraically closed field. The main result in this paper is that there is a natural bijection between the elements in the associated Coxeter group W_Q and the cofinite…

Inclusions and extensions lie at the heart of physics and mathematics. The most relevant kind of inclusion in quantum systems is that of a von Neumann subalgebra, which is the focus of this work. We propose an object intrinsic to a given…

We present outlines of a general method to reach certain kinds of $q$-multiple sum identities. Throughout our exposition, we shall give generalizations to the results given by Dilcher, Prodinger, Fu and Lascoux, Zeng, and Guo and Zhang…

In this thesis we develop a Chabauty-Kim theory for the relative completion of motivic fundamental groups, including Selmer stacks and moduli spaces of admissible torsors for the relative completion of the de Rham fundamental group. On one…

We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category C, an equivariant indicator of an object in C is defined as a functional on the Grothendieck algebra of the quantum double Z(C) via…

In this paper, we extend past work done on the application of the mathematics of category theory to quantum information science. Specifically, we present a realization of a dagger-compact category that can model finite-dimensional quantum…

In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…

In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically…

This article gives a brief introduction to $q$-special functions, i.e., $q$-analogues of the classical special functions. Here $q$ is a deformation parameter, usually $0<q<1$, where $q=1$ is the classical case. The main topics to be treated…

In this paper, we start with a class of quivers that containing only 2-cycles and loops, referred to as 2-cyclic quivers. We prove that there exists a potential on these quivers that ensures the resulting quiver with potential is…

We propose a new definition of the q-exponential function. Our q-exponential function maps the imaginary axis into the unit circle and the resulting q-trigonometric functions are bounded and satisfy the Pythagorean identity.

For $\Lambda$ a selfinjective algebra, and $Q$ a finite quiver without oriented cycles, the algebra $\Lambda Q$ is a Gorenstein algebra and the category ${\rm Gproj}\Lambda Q$ of Gorenstein-projective $\Lambda Q$-modules is a Frobenius…

The reflexive completion of a category consists of the Set-valued functors on it that are canonically isomorphic to their double conjugate. After reviewing both this construction and Isbell conjugacy itself, we give new examples and revisit…

We analyze a class of quantum operations based on a geometrical representation of $d-$level quantum system (or qudit for short). A sufficient and necessary condition of complete positivity, expressed in terms of the quantum Fourier…

A new (in)finite dimensional algebra which is a fundamental dynamical symmetry of a large class of (continuum or lattice) quantum integrable models is introduced and studied in details. Finite dimensional representations are constructed and…

The main object of study in this paper is the completion Z[q]^N=\varprojlim_n Z[q]/((1-q)(1-q^2)...(1-q^n)) of the polynomial ring Z[q], which arises from the study of a new invariant of integral homology 3-spheres with values in Z[q]^N…

For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…