Tootfinder

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
Xin Sun, Xingchi Su, Xiaoning Bian, Huiwen Wu
https://arxiv.org/abs/2405.01940 https…

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
Quantum Hoare logic (QHL) is a formal verification tool specifically designed to ensure the correctness of quantum programs. There has been an ongoing challenge to achieve a relatively complete satisfaction-based QHL with while-loop since its inception in 2006. This paper presents a solution by proposing the first relatively complete satisfaction-based QHL with while-loop. The completeness is proved in two steps. First, we establish a semantics and proof system of Hoare triples with quantum pro…

This https://arxiv.org/abs/2310.17837 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

BZSV Duality for Some Strongly Tempered Spherical Varieties
We propose two families of relative trace formula comparisons in the study of relative Langlands duality conjectured by Ben-Zvi--Sakellaridis--Venkatesh. This allows us to incorporate numerous relative trace formula comparisons studied during the last four decades under the BZSV duality framework. For the proposed relative trace formula comparisons associated to some strongly tempered spherical varieties, we will prove the fundamental lemma and smooth transfer in the $p$-adic case. Moreover, in…

FAR: Flexible, Accurate and Robust 6DoF Relative Camera Pose Estimation
Chris Rockwell, Nilesh Kulkarni, Linyi Jin, Jeong Joon Park, Justin Johnson, David F. Fouhey
https://arxiv.org/abs/2403.03221

FAR: Flexible, Accurate and Robust 6DoF Relative Camera Pose Estimation
Estimating relative camera poses between images has been a central problem in computer vision. Methods that find correspondences and solve for the fundamental matrix offer high precision in most cases. Conversely, methods predicting pose directly using neural networks are more robust to limited overlap and can infer absolute translation scale, but at the expense of reduced precision. We show how to combine the best of both methods; our approach yields results that are both precise and robust, w…

Irreducible symplectic varieties via relative Prym varieties
Emma Brakkee, Chiara Camere, Annalisa Grossi, Laura Pertusi, Giulia Sacc\`a, Sasha Viktorova
https://arxiv.org/abs/2404.03157

Irreducible symplectic varieties via relative Prym varieties
Generalizing work of Markushevich--Tikhomirov and Arbarello--Saccà--Ferretti, we use relative Prym varieties to construct Lagrangian fibered symplectic varieties in infinitely many dimensions. We then give criteria for when the construction yields primitive symplectic varieties, respectively, irreducible symplectic varieties. The starting point of the construction is a K3 surface endowed with an anti-symplectic involution and an effective linear system on the quotient surface. We give sufficie…

This https://arxiv.org/abs/2312.13079 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hepp…

Hadron Production in Ultra-relativistic Nuclear Collisions and Finite Baryon-Size Effects
We investigate relative hadron production of various like and unlike mass particles in ultra-relativistic heavy ion collisions by employing a statistical thermal model with finite-sized baryons (antibaryons) to imitate the hard-core repulsive interactions leading to the excluded volume type effect. A strong evidence of strangeness suppression relative to the non-strange ones, mainly pions, particularly at higher energies is also observed. This study also indicates that at chemical freeze-out th…

Ich bilde mir ein, kürzlich eine Studie gesehen zu haben, die sich mit dem Verhältnis von 1/3 Frauen mit sexueller Gewalterfahrung im Vergleich zur Anzahl der Täter beschäftigt.
Es waren wohl tatsächlich anteilig relativ wenige Täter, die aber jeweils wiederholt Übergriffe begehen.
Erinnert sich irgendjemand? Ich finde sie gerade nicht wieder.

Relatively unknown in Europe but I really like Lawrence , music full of soul and funk that makes you happy. Also live they are really good, saw them in Amsterdam once. Their new single is great. "Guy I used to be"
#lawrencetheband #music

Guy I Used To Be
Lawrence · Song · 2024

Testing the Boundary-to-Bound Correspondence with Numerical Relativity
Anuj Kankani, Sean T. McWilliams
https://arxiv.org/abs/2404.03607 https://

Testing the Boundary-to-Bound Correspondence with Numerical Relativity
The Boundary-to-Bound (B2B) correspondence, which connects orbital and radiative observables between bound and unbound orbits, has recently been introduced and demonstrated in the perturbative regime. We produce a large number of numerical relativity simulations of bound and unbound encounters between two nonspinning equal mass black holes in order to test this correspondence in the non-perturbative regime. We focus on testing the radiated energy and angular momentum, as well as orbital paramet…

Testing the Boundary-to-Bound Correspondence with Numerical Relativity
Anuj Kankani, Sean T. McWilliams
https://arxiv.org/abs/2404.03607 https://

Testing the Boundary-to-Bound Correspondence with Numerical Relativity
The Boundary-to-Bound (B2B) correspondence, which connects orbital and radiative observables between bound and unbound orbits, has recently been introduced and demonstrated in the perturbative regime. We produce a large number of numerical relativity simulations of bound and unbound encounters between two nonspinning equal mass black holes in order to test this correspondence in the non-perturbative regime. We focus on testing the radiated energy and angular momentum, as well as orbital paramet…