Zobrazeno 1 - 10
of 114
pro vyhledávání: '"KARVONEN, MARTTI"'
The advantage of quantum protocols lies in the inherent properties of the shared quantum states. These states are sometimes provided by sources that are not trusted, and therefore need to be verified. Finding secure and efficient quantum state verifi
Externí odkaz:
http://arxiv.org/abs/2411.04767
Autor:
Hofstra, Pieter, Karvonen, Martti
Publikováno v:
Theory and Applications of Categories, Vol. 42, No. 2, 2024, pp. 19-40
Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become two-dimensional
Externí odkaz:
http://arxiv.org/abs/2406.13647
What is a time-varying graph, or a time-varying topological space and more generally what does it mean for a mathematical structure to vary over time? Here we introduce categories of narratives: powerful tools for studying temporal graphs and other t
Externí odkaz:
http://arxiv.org/abs/2402.00206
Publikováno v:
IACR Communications in Cryptology, vol. 1, no. 3 (2024)
The famous no-cloning principle has been shown recently to enable a number of uncloneable functionalities. Here we address for the first time unkeyed quantum uncloneablity, via the study of a complexity-theoretic tool that enables a computation, but
Externí odkaz:
http://arxiv.org/abs/2309.05155
Autor:
Broadbent, Anne, Karvonen, Martti
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 4 (October 22, 2024) lmcs:9979
We formalize the simulation paradigm of cryptography in terms of category theory and show that protocols secure against abstract attacks form a symmetric monoidal category, thus giving an abstract model of composable security definitions in cryptogra
Externí odkaz:
http://arxiv.org/abs/2208.13232
Autor:
Hofstra, Pieter, Karvonen, Martti
Publikováno v:
Journal of Pure and Applied Algebra, Volume 228, Issue 11, 2024, 107717
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence of binary
Externí odkaz:
http://arxiv.org/abs/2205.03683
Autor:
Hofstra, Pieter, Karvonen, Martti
Publikováno v:
In Journal of Pure and Applied Algebra November 2024 228(11)
Autor:
Broadbent, Anne, Karvonen, Martti
Publikováno v:
Foundations of Software Science and Computation Structures (FoSSaCS) 2022
We formalize the simulation paradigm of cryptography in terms of category theory and show that protocols secure against abstract attacks form a symmetric monoidal category, thus giving an abstract model of composable security definitions in cryptogra
Externí odkaz:
http://arxiv.org/abs/2105.05949
Publikováno v:
In: A. Palmigiano, M. Sadrzadeh (eds), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Outstanding Contributions to Logic, vol 25. Springer, Cham (2023)
This chapter contains an exposition of the sheaf-theoretic framework for contextuality emphasising resource-theoretic aspects, as well as some original results on this topic. In particular, we consider functions that transform empirical models on a s
Externí odkaz:
http://arxiv.org/abs/2104.11241
Autor:
Karvonen, Martti
Publikováno v:
Phys. Rev. Lett. 127, 160402 (2021)
We show that the resource theory of contextuality does not admit catalysts, i.e., there are no correlations that can enable an otherwise impossible resource conversion and still be recovered afterward. As a corollary, we observe that the same holds f
Externí odkaz:
http://arxiv.org/abs/2102.07637