Researcher profile

Yuta Takahashi

Yuta Takahashi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
10topics
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

5 published item(s)

preprint2026arXiv

Time-Varying Kinematics Control for Magnetically-Actuated Satellite Swarm without Additional Actuator

Electromagnetic Formation Flight is a technology that uses electromagnetic forces and torques to control multiple satellites without conventional fuel-based propulsion. In this paper, the controllability of the system is discussed based on the conservation of the entire system's angular momentum, which constitutes a nonholonomic constraint. This paper designs a new controller for multiple satellites without an additional attitude actuator.

preprint2021arXiv

Harmony in the Light of Computational Ludics

Prawitz formulated the so-called inversion principle as one of the characteristic features of Gentzen's intuitionistic natural deduction. In the literature on proof-theoretic semantics, this principle is often coupled with another that is called the recovery principle. By adopting the Computational Ludics framework, we reformulate these principles into one and the same condition, which we call the harmony condition. We show that this reformulation allows us to reveal two intuitive ideas standing behind these principles: the idea of "containment" present in the inversion principle, and the idea that the recovery principle is the "converse" of the inversion principle. We also formulate two other conditions in the Computational Ludics framework, and we show that each of them is equivalent to the harmony condition.

preprint2020arXiv

Hopf-algebraic techniques applied to super Lie groups over a complete field

We show basic results on super-manifolds and super Lie groups over a complete field of characteristic $\ne 2$, extensively using Hopf-algebraic techniques. The main results are two theorems. The first main theorem shows a category equivalence between super Lie groups and Harish-Chandra pairs, which is applied especially to construct the Hopf super-algebra of all analytic representative functions on a super Lie group. The second constructs homogeneous super-manifolds by a new Hopf-algebraic method, showing their remarkable property.

preprint2014arXiv

Oscillatory matrix model in Chern-Simons theory and Jacobi-theta determinantal point process

The partition function of the Chern-Simons theory on the three-sphere with the unitary group $U(N)$ provides a one-matrix model. The corresponding $N$-particle system can be mapped to the determinantal point process whose correlation kernel is expressed by using the Stieltjes-Wigert orthogonal polynomials. The matrix model and the point process are regarded as $q$-extensions of the random matrix model in the Gaussian unitary ensemble and its eigenvalue point process, respectively. We prove the convergence of the $N$-particle system to an infinite-dimensional determinantal point process in $N \to \infty$, in which the correlation kernel is expressed by Jacobi's theta functions. We show that the matrix model obtained by this limit realizes the oscillatory matrix model in Chern-Simons theory discussed by de Haro and Tierz.

preprint2012arXiv

Noncolliding Brownian Motion with Drift and Time-Dependent Stieltjes-Wigert Determinantal Point Process

Using the determinantal formula of Biane, Bougerol, and O'Connell, we give multitime joint probability densities to the noncolliding Brownian motion with drift, where the number of particles is finite. We study a special case such that the initial positions of particles are equidistant with a period $a$ and the values of drift coefficients are well-ordered with a scale $σ$. We show that, at each time $t >0$, the single-time probability density of particle system is exactly transformed to the biorthogonal Stieltjes-Wigert matrix model in the Chern-Simons theory introduced by Dolivet and Tierz. Here one-parameter extensions ($θ$-extensions) of the Stieltjes-Wigert polynomials, which are themselves $q$-extensions of the Hermite polynomials, play an essential role. The two parameters $a$ and $σ$ of the process combined with time $t$ are mapped to the parameters $q$ and $θ$ of the biorthogonal polynomials. By the transformation of normalization factor of our probability density, the partition function of the Chern-Simons matrix model is readily obtained. We study the determinantal structure of the matrix model and prove that, at each time $t >0$, the present noncolliding Brownian motion with drift is a determinantal point process, in the sense that any correlation function is given by a determinant governed by a single integral kernel called the correlation kernel. Using the obtained correlation kernel, we study time evolution of the noncolliding Brownian motion with drift.