اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدWhy FHilb is Not an Interesting (Co)Differential Category
58
0
0.0
(
0
)
تأليف
Jean-Simon Pacaud Lemay
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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.
قيم البحث
اقرأ أيضاً
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 re
lation 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 gau
ge 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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
