Zobrazeno 1 - 10
of 1 245
pro vyhledávání: '"Reggio, P."'
Autor:
Abramsky, Samson, Reggio, Luca
Game comonads offer a categorical view of a number of model-comparison games central to model theory, such as pebble and Ehrenfeucht-Fra\"iss\'e games. Remarkably, the categories of coalgebras for these comonads capture preservation of several fragme
Externí odkaz:
http://arxiv.org/abs/2407.00606
We describe an algorithm for computing counterfactual trade flows, prices, output, and welfare in a large class of general equilibrium trade models. We introduce a command called ge_gravity2 that allows users to perform these computations in Stata. T
Externí odkaz:
http://arxiv.org/abs/2404.09180
The cost of measuring quantum expectation values of an operator can be reduced by grouping the Pauli string ($SU(2)$ tensor product) decomposition of the operator into maximally commuting sets. We detail an algorithm, presented in [1], to partition t
Externí odkaz:
http://arxiv.org/abs/2311.08551
Autor:
Reggio, Luca
We define Quillen model structures on a family of presheaf toposes arising from tree unravellings of Kripke models, leading to a homotopy theory for modal logic. Modal preservation theorems and the Hennessy-Milner property are revisited from a homoto
Externí odkaz:
http://arxiv.org/abs/2310.12068
The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filters of complemented elements. We show that any filtral pretopos satisfyi
Externí odkaz:
http://arxiv.org/abs/2306.11169
Publikováno v:
Physical Review D (Vol. 108, No. 6), 2023
We present a new family of exact vacuum solutions to Pfeifer and Wohlfarth's field equation in Finsler gravity, consisting of Finsler metrics that are Landsbergian but not Berwaldian, also known as unicorns due to their rarity. Interestingly we find
Externí odkaz:
http://arxiv.org/abs/2306.00722
The Pauli strings appearing in the decomposition of an operator can be can be grouped into commuting families, reducing the number of quantum circuits needed to measure the expectation value of the operator. We detail an algorithm to completely parti
Externí odkaz:
http://arxiv.org/abs/2305.11847
Autor:
Reggio, Luca, Riba, Colin
Arboreal categories provide an axiomatic framework in which abstract notions of bisimilarity and back-and-forth games can be defined. They act on extensional categories, typically consisting of relational structures, via arboreal adjunctions. In the
Externí odkaz:
http://arxiv.org/abs/2304.12709
Publikováno v:
American Heart Journal Plus, Vol 46, Iss , Pp 100459- (2024)
Study objective: To describe the age, sex and racial disparities in mortality rates for heart disease (HD) and heart failure (HF) in the United States (US) between 2000 and 2020. Design: This was an ecological study with trend analysis of mortality r
Externí odkaz:
https://doaj.org/article/9112f64335364d23940fc48f27fc3b09
Autor:
Abramsky, Samson, Reggio, Luca
The classical homomorphism preservation theorem, due to {\L}o\'s, Lyndon and Tarski, states that a first-order sentence $\phi$ is preserved under homomorphisms between structures if, and only if, it is equivalent to an existential positive sentence $
Externí odkaz:
http://arxiv.org/abs/2211.15808