Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Andre Kornell"'
Publikováno v:
Indagationes Mathematicae. 33:1137-1171
We investigate a category of quantum posets that generalizes the category of posets and monotone functions. Up to equivalence, its objects are hereditarily atomic von Neumann algebras equipped with quantum partial orders in Weaver's sense. We show th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee314f07bdee79cf788f1a84eb7e81d8
https://doi.org/10.1016/j.indag.2022.07.001
https://doi.org/10.1016/j.indag.2022.07.001
Autor:
Chris Heunen, Andre Kornell
Publikováno v:
Heunen, C & Kornell, A 2022, ' Axioms for the category of Hilbert spaces ', Proceedings of the National Academy of Sciences, vol. 119, no. 9, e2117024119 . https://doi.org/10.1073/pnas.2117024119
We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any analytical structure. This addresses a question about the mathematica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8cf8639fab5a6e82053b4ac878b03cd
https://pubmed.ncbi.nlm.nih.gov/35217613
https://pubmed.ncbi.nlm.nih.gov/35217613
Publikováno v:
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is a hybrid classical-quantum computational paradigm. The classical subsy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f304e4e20d092201fd763a881cc8b48
https://hal.inria.fr/hal-03519235
https://hal.inria.fr/hal-03519235
We introduce the monoidal closed category qCPO of quantum cpos, whose objects are "quantized" analogs of omega-complete partial orders (cpos). The category qCPO is enriched over the category CPO of cpos, and contains both CPO, and the opposite of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52c26a92b719ee91cfe2706bab7b7949
http://arxiv.org/abs/2109.02196
http://arxiv.org/abs/2109.02196
Autor:
Andre Kornell
Publikováno v:
Journal of Mathematical Physics. 61:102202
A quantum set is defined to be simply a set of nonzero finite-dimensional Hilbert spaces. Together with binary relations, essentially the quantum relations of Weaver, quantum sets form a dagger compact category. Functions between quantum sets are cer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd354e1ff2e616172d14d6474717645f
https://doi.org/10.1063/1.5054128
https://doi.org/10.1063/1.5054128
Autor:
Andre Kornell
We define a loop to be quantum nullhomotopic if and only if it admits a nonempty quantum set of extensions to the unit disk. We show that the canonical loop in the unit circle is not quantum nullhomotopic, but that every loop in the real projective p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15811235a40f0398c875095ae0a67394
http://arxiv.org/abs/1811.01922
http://arxiv.org/abs/1811.01922
Autor:
Andre Kornell
Publikováno v:
Kornell, Andre. (2012). Quantum Collections. UC Davis: Department of Mathematics. Retrieved from: http://www.escholarship.org/uc/item/7t40z5w4
We develop the viewpoint that the opposite of the category of W*-algebras and unital normal *-homomorphisms is analogous to the category of sets and functions. For each pair of W*-algebras, we construct their free exponential, which in the context of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa8534dfbcf8901db58d8cf72ba61667
http://arxiv.org/abs/1202.2994
http://arxiv.org/abs/1202.2994