Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userWhy FHilb is Not an Interesting (Co)Differential Category
58
0
0.0
(
0
)
Added by
EPTCS
Publication date
2020
fields
Informatics Engineering
and research's language is
English
Authors
Jean-Simon Pacaud Lemay
Ask ChatGPT about the research
No Arabic abstract
Differential categories provide an axiomatization of the basics of differentiation and categorical models of differential linear logic. As differentiation is an important tool throughout quantum mechanics and quantum information, it makes sense to study applications of the theory of differential categories to categorical quantum foundations. In categorical quantum foundations, compact closed categories (and therefore traced symmetric monoidal categories) are one of the main objects of study, in particular the category of finite-dimensional Hilbert spaces FHilb. In this paper, we will explain why the only differential category structure on FHilb is the trivial one. This follows from a sort of in-compatibility between the trace of FHilb and possible differential category structure. That said, there are interesting non-trivial examples of traced/compact closed differential categories, which we also discuss. The goal of this paper is to introduce differential categories to the broader categorical quantum foundation community and hopefully open the door to further work in combining these two fields. While the main result of this paper may seem somewhat negative in achieving this goal, we discuss interesting potential applications of differential categories to categorical quantum foundations.
rate research
Read More
This paper presents an observation that under reasonable conditions, many partial differential equations from mathematical physics possess three structural properties. One of them can be understand as a variant of the celebrated Onsager reciprocal relation in Modern Thermodynamics. It displays a direct relation of irreversible processes to the entropy change. We show that the properties imply various entropy dissipation conditions for hyperbolic relaxation problems. As an application of the observation, we propose an approximation method to solve relaxation problems. Moreover, the observation is interpreted physically and verified with eight (sets of) systems from different fields.
It is shown that in semi-classical electrodynamics, which describes how electrically charged particles move according to the laws of quantum mechanics under the influence of a prescribed classical electromagnetic field, only a restricted class of gauge transformations is allowed. This lack of full gauge invariance, in contrast to the situation in classical and quantum electrodynamics which are fully gauge invariant theories, is due to the requirement that the scalar potential in the Hamiltonian of wave mechanics represent a physical potential. Probability amplitudes and energy differences are independent of gauge within this restricted class of gauge transformation.
Starting with a k-linear or DG category admitting a (homotopy) Serre functor, we construct a k-linear or DG 2-category categorifying the Heisenberg algebra of the numerical K-group of the original category. We also define a 2-categorical analogue of the Fock space representation of the Heisenberg algebra. Our construction generalises and unifies various categorical Heisenberg algebra actions appearing in the literature. In particular, we give a full categorical enhancement of the action on derived categories of symmetric quotient stacks introduced by Krug, which itself categorifies a Heisenberg algebra action proposed by Grojnowski.
We study both numerically and analytically the possibility of using an adiabatic passage control method to construct a Mach-Zehnder interferometer (MZI) for Bose-Einstein condensates (BECs) in the time domain, in exact one-to-one correspondence with the traditional optical MZI that involves two beam splitters and two mirrors. The interference fringes one obtains from such a minimum-disturbance set up clearly demonstrates that, fundamentally, an atom laser is not monochromatic due to interatomic interactions. We also consider how the amount of entanglement in the system correlates to the interference fringes.
In recent years philosophers of science have explored categorical equivalence as a promising criterion for when two (physical) theories are equivalent. On the one hand, philosophers have presented several examples of theories whose relationships seem to be clarified using these categorical methods. On the other hand, philosophers and logicians have studied the relationships, particularly in the first order case, between categorical equivalence and other notions of equivalence of theories, including definitional equivalence and generalized definitional (aka Morita) equivalence. In this article, I will express some skepticism about this approach, both on technical grounds and conceptual ones. I will argue that category structure (alone) likely does not capture the structure of a theory, and discuss some recent work in light of this claim.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
