10 citations · 14 across the 4 of their papers we have counts for
4 papers
Gravitational Positivity for Phenomenologists: Dark Gauge Boson in the Swampland
Katsuki Aoki, Toshifumi Noumi, Ryo Saito +4
The gravitational positivity bound gives quantitative "swampland'' constraints on low-energy effective theories inside theories of quantum gravity. We give a comprehensive discussi…
Phenomenological Motivation for Gravitational Positivity Bounds: A Case Study of Dark Sector Physics
Toshifumi Noumi, Sota Sato, Junsei Tokuda
Positivity bounds on scattering amplitudes provide a necessary condition for a low-energy effective field theory to have a consistent ultraviolet completion. Their extension to gra…
Verification of a Merkle Patricia Tree Library Using F*
Sota Sato, Ryotaro Banno, Jun Furuse +2
A Merkle tree is a data structure for representing a key-value store as a tree. Each node of a Merkle tree is equipped with a hash value computed from those of their descendants. A…
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
Sota Sato, Masaki Waga, Ichiro Hasuo
The synthesis problem of a cyber-physical system (CPS) is to find an input signal under which the system's behavior satisfies a given specification. Our setting is that the specifi…