Researcher profile

Tomoki Ohsawa

Tomoki Ohsawa contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 published item(s)

preprint2022arXiv

Optimal Control with Broken Symmetry of Multi-Agent Systems on Lie Groups

In this paper we study reduction by symmetry for optimality conditions in optimal control problems of left-invariant affine multi-agent control systems, with partial symmetry breaking cost functions. Our approach emphasizes the role of variational principles. Specifically, we recast the optimal control problem as a constrained variational problem with a partial symmetry breaking Hamiltonian and obtain the reduced optimality conditions from a reduced variational principle via Pontryagin Maximum Principle. We apply the results to a collision avoidance problem for multiple unicycles in the presence of an obstacle.

preprint2020arXiv

Variational Optimization on Lie Groups, with Examples of Leading (Generalized) Eigenvalue Problems

The article considers smooth optimization of functions on Lie groups. By generalizing NAG variational principle in vector space (Wibisono et al., 2016) to Lie groups, continuous Lie-NAG dynamics which are guaranteed to converge to local optimum are obtained. They correspond to momentum versions of gradient flow on Lie groups. A particular case of $\mathsf{SO}(n)$ is then studied in details, with objective functions corresponding to leading Generalized EigenValue problems: the Lie-NAG dynamics are first made explicit in coordinates, and then discretized in structure preserving fashions, resulting in optimization algorithms with faithful energy behavior (due to conformal symplecticity) and exactly remaining on the Lie group. Stochastic gradient versions are also investigated. Numerical experiments on both synthetic data and practical problem (LDA for MNIST) demonstrate the effectiveness of the proposed methods as optimization algorithms ($not$ as a classification method).

preprint2013arXiv

Symplectic Semiclassical Wave Packet Dynamics

The paper gives a symplectic-geometric account of semiclassical Gaussian wave packet dynamics. We employ geometric techniques to "strip away" the symplectic structure behind the time-dependent Schrödinger equation and incorporate it into semiclassical wave packet dynamics. We show that the Gaussian wave packet dynamics is a Hamiltonian system with respect to the symplectic structure, apply the theory of symplectic reduction and reconstruction to the dynamics, and discuss dynamic and geometric phases in semiclassical mechanics. A simple harmonic oscillator example is worked out to illustrate the results: We show that the reduced semiclassical harmonic oscillator dynamics is completely integrable by finding the action--angle coordinates for the system, and calculate the associated dynamic and geometric phases explicitly. We also propose an asymptotic approximation of the potential term that provides a practical semiclassical correction term to the approximation by Heller. Numerical results for a simple one-dimensional example show that the semiclassical correction term realizes a semiclassical tunneling.

preprint2012arXiv

Hamilton-Jacobi Theory for Degenerate Lagrangian Systems with Holonomic and Nonholonomic Constraints

We extend Hamilton-Jacobi theory to Lagrange-Dirac (or implicit Lagrangian) systems, a generalized formulation of Lagrangian mechanics that can incorporate degenerate Lagrangians as well as holonomic and nonholonomic constraints. We refer to the generalized Hamilton-Jacobi equation as the Dirac-Hamilton-Jacobi equation. For non-degenerate Lagrangian systems with nonholonomic constraints, the theory specializes to the recently developed nonholonomic Hamilton-Jacobi theory. We are particularly interested in applications to a certain class of degenerate nonholonomic Lagrangian systems with symmetries, which we refer to as weakly degenerate Chaplygin systems, that arise as simplified models of nonholonomic mechanical systems; these systems are shown to reduce to non-degenerate almost Hamiltonian systems, i.e., generalized Hamiltonian systems defined with non-closed two-forms. Accordingly, the Dirac-Hamilton-Jacobi equation reduces to a variant of the nonholonomic Hamilton-Jacobi equation associated with the reduced system. We illustrate through a few examples how the Dirac-Hamilton-Jacobi equation can be used to exactly integrate the equations of motion.

preprint2011arXiv

Discrete Hamilton-Jacobi Theory

We develop a discrete analogue of Hamilton-Jacobi theory in the framework of discrete Hamiltonian mechanics. The resulting discrete Hamilton-Jacobi equation is discrete only in time. We describe a discrete analogue of Jacobi's solution and also prove a discrete version of the geometric Hamilton-Jacobi theorem. The theory applied to discrete linear Hamiltonian systems yields the discrete Riccati equation as a special case of the discrete Hamilton-Jacobi equation. We also apply the theory to discrete optimal control problems, and recover some well-known results, such as the Bellman equation (discrete-time HJB equation) of dynamic programming and its relation to the costate variable in the Pontryagin maximum principle. This relationship between the discrete Hamilton-Jacobi equation and Bellman equation is exploited to derive a generalized form of the Bellman equation that has controls at internal stages.

preprint2011arXiv

Nonholonomic Hamilton-Jacobi Theory via Chaplygin Hamiltonization

We develop Hamilton-Jacobi theory for Chaplygin systems, a certain class of nonholonomic mechanical systems with symmetries, using a technique called Hamiltonization, which transforms nonholonomic systems into Hamiltonian systems. We give a geometric account of the Hamiltonization, identify necessary and sufficient conditions for Hamiltonization, and apply the conventional Hamilton-Jacobi theory to the Hamiltonized systems. We show, under a certain sufficient condition for Hamiltonization, that the solutions to the Hamilton-Jacobi equation associated with the Hamiltonized system also solve the nonholonomic Hamilton-Jacobi equation associated with the original Chaplygin system. The results are illustrated through several examples.

preprint2009arXiv

Nonholonomic Hamilton-Jacobi equation and Integrability

We discuss an extension of the Hamilton-Jacobi theory to nonholonomic mechanics with a particular interest in its application to exactly integrating the equations of motion. We give an intrinsic proof of a nonholonomic analogue of the Hamilton--Jacobi theorem. Our intrinsic proof clarifies the difference from the conventional Hamilton-Jacobi theory for unconstrained systems. The proof also helps us identify a geometric meaning of the conditions on the solutions of the Hamilton-Jacobi equation that arise from nonholonomic constraints. The major advantage of our result is that it provides us with a method of integrating the equations of motion just as the unconstrained Hamilton--Jacobi theory does. In particular, we build on the work by Iglesias-Ponte, de Leon, and Martin de Diego so that the conventional method of separation of variables applies to some nonholonomic mechanical systems. We also show a way to apply our result to systems to which separation of variables does not apply.