Source author record

Sota Sato

Sota Sato appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

2 published item(s)

preprint2023arXiv

Higher-order Bloch spheres: A generalized representation of electron spin states with azimuthal phase factor

Using the similarity between spin states on the Bloch sphere (BS) and polarization states on the Poincare sphere (PS), we construct higher-order spin states on the higher-order BS corresponding to higher-order polarization states of photons on the higher-order PS. We investigate the time evolution of higher-order spin states in a magnetic field and establish an extended form of the conventional Larmor precession. The results provide insights on coherent transfer from extended photons to extended spin qubit systems with spin and orbital angular momenta and the operation of extended spin qubits.

preprint2021arXiv

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis

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 specification is a formula of signal temporal logic, and furthermore, that the specification is a conjunction of different and often conflicting requirements. Conjunctive specifications are often challenging for optimization-based falsification -- an established method for CPS analysis that can also be used for synthesis -- since the usual framework (especially how its robust semantics handles Boolean connectives) is not suited for finding delicate trade-offs between different requirements. Our proposed method consists of the combination of optimization-based falsification and constrained optimization. Specifically, we show that the state-of-the-art multiple constraint ranking method can be combined with falsification powered by CMA-ES optimization; its performance advantage is demonstrated in experiments.