Zobrazeno 1 - 10
of 476
pro vyhledávání: '"P. Jákl"'
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the composition metho
Externí odkaz:
http://arxiv.org/abs/2405.06664
Autor:
Jakl, Tomáš, Suarez, Anna Laura
We build on a recent result stating that the frame $\mathsf{SE}(L)$ of strongly exact filters for a frame $L$ is anti-isomorphic to the coframe $\mathsf{S}_o(L)$ of fitted sublocales. The collection $\mathsf{E}(L)$ of exact filters of $L$ is known to
Externí odkaz:
http://arxiv.org/abs/2404.18325
Publikováno v:
Nature Communications, Vol 9, Iss 1, Pp 1-8 (2018)
Here, the authors provide a vivid demonstration of the dynamic effect of transverse spin momentum in an optical beam in free space revealed by placing a dielectric bead in a counter-propagating optical beam trap in vacuum.
Externí odkaz:
https://doaj.org/article/8f72a00f6d9a4046ae68a0df8a4357a8
Autor:
Duchaň, Martin, Šiler, Martin, Jákl, Petr, Brzobohatý, Oto, Rakhubovsky, Andrey, Filip, Radim, Zemánek, Pavel
A contactless control of fluctuations of phase space variables of a nanoobject belongs among the key methods needed for ultra-precise nanotechnology and the upcoming quantum technology of macroscopic systems. Here we utilize the experimental platform
Externí odkaz:
http://arxiv.org/abs/2403.04302
Autor:
Liška, Vojtěch, Zemánková, Tereza, Jákl, Petr, Šiler, Martin, Simpson, Stephen H., Zemánek, Pavel, Brzobohatý, Oto
Nanoparticles levitated in an optical trap provide a versatile platform to study mechanical oscillators in a controlled environment with tuneable parameters. Recently, it has become possible to couple two of these optomechanical oscillators. Here, we
Externí odkaz:
http://arxiv.org/abs/2310.03701
Autor:
Liska, Vojtech, Zemankova, Tereza, Svak, Vojtech, Jakl, Petr, Jezek, Jan, Branecky, Martin, Simpson, Stephen H., Zemanek, Pavel, Brzobohaty, Oto
Methods for controlling the motion of single particles, optically levitated in vacuum, have developed rapidly in recent years. The technique of cold damping makes use of feedback-controlled, electrostatic forces to increase dissipation without introd
Externí odkaz:
http://arxiv.org/abs/2305.11809
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the composition metho
Externí odkaz:
http://arxiv.org/abs/2304.10196
We explore, experimentally and theoretically, the emergence of coherent coupled oscillations and synchronization between a pair of non-Hermitian, stochastic, opto-mechanical oscillators, levitated in vacuum. Each oscillator consists of a polystyrene
Externí odkaz:
http://arxiv.org/abs/2303.15753
Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important logical and combinatorial properties to be exressed in terms of their
Externí odkaz:
http://arxiv.org/abs/2205.06589
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in categorical app
Externí odkaz:
http://arxiv.org/abs/2205.05382