-
Unitary monodromies of rank two Fuchsian systems with $(n+1)$ singularities
Authors:
Shunya Adachi
Abstract:
We study the unitarity of monodromies of rank two Fuchsian systems of SL type with $(n+1)$ regular singularities on the Riemann sphere, namely, we give a sufficient and necessary condition for the monodromy group to be conjugate to a subgroup of a special unitary group $\mathrm{SU}(p,q)$. When $n\ge 3$, the moduli space of irreducible monodromies can be realized as an affine algebraic set in…
▽ More
We study the unitarity of monodromies of rank two Fuchsian systems of SL type with $(n+1)$ regular singularities on the Riemann sphere, namely, we give a sufficient and necessary condition for the monodromy group to be conjugate to a subgroup of a special unitary group $\mathrm{SU}(p,q)$. When $n\ge 3$, the moduli space of irreducible monodromies can be realized as an affine algebraic set in $\mathbb{C}^m$ for some $m \in \mathbb{N}$. In this paper, we give a characterization and construction of unitary monodromies in terms of this affine algebraic set. The signatures of unitary monodromies are also classified.
△ Less
Submitted 2 October, 2023; v1 submitted 26 October, 2022;
originally announced October 2022.
-
Riemannian Levenberg-Marquardt Method with Global and Local Convergence Properties
Authors:
Sho Adachi,
Takayuki Okuno,
Akiko Takeda
Abstract:
We extend the Levenberg-Marquardt method on Euclidean spaces to Riemannian manifolds. Although a Riemannian Levenberg-Marquardt (RLM) method was produced by Peeters in 1993, to the best of our knowledge, there has been no analysis of theoretical guarantees for global and local convergence properties. As with the Euclidean LM method, how to update a specific parameter known as the dam** parameter…
▽ More
We extend the Levenberg-Marquardt method on Euclidean spaces to Riemannian manifolds. Although a Riemannian Levenberg-Marquardt (RLM) method was produced by Peeters in 1993, to the best of our knowledge, there has been no analysis of theoretical guarantees for global and local convergence properties. As with the Euclidean LM method, how to update a specific parameter known as the dam** parameter has significant effects on its performances. We propose a trust-region-like approach for determining the parameter. We evaluate the worst-case iteration complexity to reach an epsilon-stationary point, and also prove that it has desirable local convergence properties under the local error-bound condition. Finally, we demonstrate the efficiency of our proposed algorithm by numerical experiments.
△ Less
Submitted 17 July, 2023; v1 submitted 1 October, 2022;
originally announced October 2022.
-
Existence and asymptotic behavior of positive solutions for a class of locally superlinear Schrödinger equation
Authors:
Shinji Adachi,
Norihisa Ikoma,
Tatsuya Watanabe
Abstract:
This paper treats the existence of positive solutions of $-Δu + V(x) u = λf(u)$ in $\mathbb{R}^N$. Here $N \geq 1$, $λ> 0$ is a parameter and $f(u)$ satisfies conditions only in a neighborhood of $u=0$. We shall show the existence of positive solutions with potential of trap** type or $\mathcal{G}$-symmetric potential where $\mathcal{G} \subset O(N)$. Our results extend previous results as well…
▽ More
This paper treats the existence of positive solutions of $-Δu + V(x) u = λf(u)$ in $\mathbb{R}^N$. Here $N \geq 1$, $λ> 0$ is a parameter and $f(u)$ satisfies conditions only in a neighborhood of $u=0$. We shall show the existence of positive solutions with potential of trap** type or $\mathcal{G}$-symmetric potential where $\mathcal{G} \subset O(N)$. Our results extend previous results as well as we also study the asymptotic behavior of a family $(u_λ)_{λ\geq λ_0}$ of positive solutions as $λ\to \infty$.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
On a Connection Problem for the Generalized Hypergeometric Equation
Authors:
Shunya Adachi
Abstract:
We study a connection problem between the fundamental systems of solutions at singular points $0$ and $1$ for the generalized hypergeometric equation which is satisfied by the generalized hypergeometric series ${}_nF_{n-1}$. In general, the local solution space around $x=1$ consists of one dimensional singular solution space and $n-1$ dimensional holomorphic solution space. Therefore in the case o…
▽ More
We study a connection problem between the fundamental systems of solutions at singular points $0$ and $1$ for the generalized hypergeometric equation which is satisfied by the generalized hypergeometric series ${}_nF_{n-1}$. In general, the local solution space around $x=1$ consists of one dimensional singular solution space and $n-1$ dimensional holomorphic solution space. Therefore in the case of $n\ge3$, the expression of connection matrix depends on the choice of the fundamental system of solutions at $x=1$. On the connection problem for ordinary differential equations, Schäfke and Schmidt (LNM 810, Springer, 1980) gave an impressive idea which focuses on the series expansion of fundamental system of solutions. We apply their idea to solve the connection problem for the generalized hypergeometric equation and derive the connection matrix.
△ Less
Submitted 24 August, 2020; v1 submitted 9 August, 2020;
originally announced August 2020.
-
The $q$-Borel Sum of Divergent Basic Hypergeometric Series ${}_r\varphi_s(a;b;q,x)$
Authors:
Shunya Adachi
Abstract:
We study the divergent basic hypergeometric series which is a $q$-analog of divergent hypergeometric series. This series formally satisfies the linear $q$-difference equation. In this paper, for that equation, we give an actual solution which admits basic hypergeometric series as a $q$-Gevrey asymptotic expansion. Such an actual solution is obtained by using $q$-Borel summability, which is a $q$-a…
▽ More
We study the divergent basic hypergeometric series which is a $q$-analog of divergent hypergeometric series. This series formally satisfies the linear $q$-difference equation. In this paper, for that equation, we give an actual solution which admits basic hypergeometric series as a $q$-Gevrey asymptotic expansion. Such an actual solution is obtained by using $q$-Borel summability, which is a $q$-analog of Borel summability. Our result shows a $q$-analog of the Stokes phenomenon. Additionally, we show that letting $q\to1$ in our result gives the Borel sum of classical hypergeometric series. The same problem was already considered by Dreyfus, but we note that our result is remarkably different from his one.
△ Less
Submitted 5 March, 2019; v1 submitted 14 June, 2018;
originally announced June 2018.
-
Energy-aware networked control systems under temporal logic specifications
Authors:
Kazumune Hashimoto,
Shuichi Adachi,
Dimos V. Dimarogonas
Abstract:
In recent years, event and self-triggered control have been proposed as energy-aware control strategies to expand the life-time of battery powered devices in Networked Control Systems (NCSs). In contrast to the previous works in which their control objective is to achieve stability, this paper presents a novel energy-aware control scheme for achieving high level specifications, or more specificall…
▽ More
In recent years, event and self-triggered control have been proposed as energy-aware control strategies to expand the life-time of battery powered devices in Networked Control Systems (NCSs). In contrast to the previous works in which their control objective is to achieve stability, this paper presents a novel energy-aware control scheme for achieving high level specifications, or more specifically, temporal logic specifications. Inspired by the standard hierarchical strategy that has been proposed in the field of formal control synthesis paradigm, we propose a new abstraction procedure for jointly synthesizing control and communication strategies, such that the communication reduction in NCSs and the satisfaction of the temporal logic specifications are guaranteed. The benefits of the proposal are illustrated through a numerical example.
△ Less
Submitted 20 March, 2018; v1 submitted 18 March, 2018;
originally announced March 2018.
-
Aperiodic Sampled-Data Control via Explicit Transmission Map**: A Set Invariance Approach
Authors:
Kazumune Hashimoto,
Dimos V. Dimarogonas,
Shuichi Adachi
Abstract:
Event-triggered and self-triggered control have been proposed in recent years as promising control strategies to reduce communication resources in Networked Control Systems (NCSs). Based on the notion of set-invariance theory, this note presents new self-triggered control strategies for linear discrete-time systems subject to input and state constraints. The proposed schemes not only achieve commu…
▽ More
Event-triggered and self-triggered control have been proposed in recent years as promising control strategies to reduce communication resources in Networked Control Systems (NCSs). Based on the notion of set-invariance theory, this note presents new self-triggered control strategies for linear discrete-time systems subject to input and state constraints. The proposed schemes not only achieve communication reduction for NCSs, but also ensure both asymptotic stability of the origin and constraint satisfactions. A numerical simulation example validates the effectiveness of the proposed approaches.
△ Less
Submitted 16 January, 2018; v1 submitted 13 January, 2018;
originally announced January 2018.
-
Event-Triggered Intermittent Sampling for Nonlinear Model Predictive Control
Authors:
Kazumune Hashimoto,
Shuichi Adachi,
Dimos V. Dimarogonas
Abstract:
In this paper, we propose a new aperiodic formulation of model predictive control for nonlinear continuous-time systems. Unlike earlier approaches, we provide event-triggered conditions without using the optimal cost as a Lyapunov function candidate. Instead, we evaluate the time interval when the optimal state trajectory enters a local set around the origin. The obtained event-triggered strategy…
▽ More
In this paper, we propose a new aperiodic formulation of model predictive control for nonlinear continuous-time systems. Unlike earlier approaches, we provide event-triggered conditions without using the optimal cost as a Lyapunov function candidate. Instead, we evaluate the time interval when the optimal state trajectory enters a local set around the origin. The obtained event-triggered strategy is more suitable for practical applications than the earlier approaches in two directions. First, it does not include parameters (e.g., Lipschitz constant parameters of stage and terminal costs) which may be a potential source of conservativeness for the event-triggered conditions. Second, the event-triggered conditions are necessary to be checked only at certain sampling time instants, instead of continuously. This leads to the alleviation of the sensing cost and becomes more suitable for practical implementations under a digital platform. The proposed event-triggered scheme is also validated through numerical simulations.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Self-triggered control for constrained systems: a contractive set-based approach (Technical report)
Authors:
Kazumune Hashimoto,
Shuichi Adachi,
Dimos V. Dimarogonas
Abstract:
In this paper, a self-triggered control scheme for constrained discrete-time control systems is presented. The key idea of our approach is to construct a transition system or a graph structure from a collection of polyhedral sets, which are generated based on the notion of {set-invariance theory}. The inter-event time steps are then determined through a standard graph search algorithm to obtain th…
▽ More
In this paper, a self-triggered control scheme for constrained discrete-time control systems is presented. The key idea of our approach is to construct a transition system or a graph structure from a collection of polyhedral sets, which are generated based on the notion of {set-invariance theory}. The inter-event time steps are then determined through a standard graph search algorithm to obtain the minimal total cost to a terminal state. The proposed strategy is illustrated through a numerical example.
△ Less
Submitted 16 February, 2017;
originally announced February 2017.
-
Self-triggered Model Predictive Control for Continuous-Time Systems: A Multiple Discretizations Approach
Authors:
K. Hashimoto,
S. Adachi,
D. V. Dimarogonas
Abstract:
In this paper, we propose a new self-triggered formulation of Model Predictive Control for continuous-time linear networked control systems. Our control approach, which aims at reducing the number of transmitting control samples to the plant, is derived by parallelly solving optimal control problems with different sampling time intervals. The controller then picks up one sampling pattern as a tran…
▽ More
In this paper, we propose a new self-triggered formulation of Model Predictive Control for continuous-time linear networked control systems. Our control approach, which aims at reducing the number of transmitting control samples to the plant, is derived by parallelly solving optimal control problems with different sampling time intervals. The controller then picks up one sampling pattern as a transmission decision, such that a reduction of communication load and the stability will be obtained. The proposed strategy is illustrated through comparative simulation examples.
△ Less
Submitted 8 September, 2016;
originally announced September 2016.
-
Self-triggered Model Predictive Control for Nonlinear Input-Affine Dynamical Systems via Adaptive Control Samples Selection
Authors:
Kazumune Hashimoto,
Shuichi Adachi,
Dimos. V. Dimarogonas
Abstract:
In this paper, we propose a self-triggered formulation of Model Predictive Control for continuous-time nonlinear input-affine networked control systems. Our control method specifies not only when to execute control tasks but also provides a way to discretize the optimal control trajectory into several control samples, so that the reduction of communication load will be obtained. Stability analysis…
▽ More
In this paper, we propose a self-triggered formulation of Model Predictive Control for continuous-time nonlinear input-affine networked control systems. Our control method specifies not only when to execute control tasks but also provides a way to discretize the optimal control trajectory into several control samples, so that the reduction of communication load will be obtained. Stability analysis under the sample-and-hold implementation is also given, which guarantees that the state converges to a terminal region where the system can be stabilized by a local state feedback controller. Some simulation examples validate our proposed framework.
△ Less
Submitted 11 March, 2016;
originally announced March 2016.
-
A note on the uniqueness and the non-degeneracy of positive radial solutions for semilinear elliptic problems and its application
Authors:
Shinji Adachi,
Masataka Shibata,
Tatsuya Watanabe
Abstract:
In this paper, we are concerned with the uniqueness and the non-degeneracy of positive radial solutions for a class of semilinear elliptic equations. Using detailed ODE analysis, we extend previous results to cases where nonlinear terms may have sublinear growth. As an application, we obtain the uniqueness and the non-degeneracy of ground states for modified Schrödinger equations.
In this paper, we are concerned with the uniqueness and the non-degeneracy of positive radial solutions for a class of semilinear elliptic equations. Using detailed ODE analysis, we extend previous results to cases where nonlinear terms may have sublinear growth. As an application, we obtain the uniqueness and the non-degeneracy of ground states for modified Schrödinger equations.
△ Less
Submitted 23 February, 2016;
originally announced February 2016.
-
Maximal $m$-distance sets containing the representation of the Hamming graph $H(n,m)$
Authors:
Saori Adachi,
Rina Hayashi,
Hiroshi Nozaki,
Chika Yamamoto
Abstract:
A set $X$ in the Euclidean space $\mathbb{R}^d$ is called an $m$-distance set if the set of Euclidean distances between two distinct points in $X$ has size $m$. An $m$-distance set $X$ in $\mathbb{R}^d$ is said to be maximal if there does not exist a vector $x$ in $\mathbb{R}^d$ such that the union of $X$ and $\{x\}$ still has only $m$ distances. Bannai--Sato--Shigezumi (2012) investigated the max…
▽ More
A set $X$ in the Euclidean space $\mathbb{R}^d$ is called an $m$-distance set if the set of Euclidean distances between two distinct points in $X$ has size $m$. An $m$-distance set $X$ in $\mathbb{R}^d$ is said to be maximal if there does not exist a vector $x$ in $\mathbb{R}^d$ such that the union of $X$ and $\{x\}$ still has only $m$ distances. Bannai--Sato--Shigezumi (2012) investigated the maximal $m$-distance sets which contain the Euclidean representation of the Johnson graph $J(n,m)$. In this paper, we consider the same problem for the Hamming graph $H(n,m)$. The Euclidean representation of $H(n,m)$ is an $m$-distance set in $\mathbb{R}^{m(n-1)}$. We prove that the maximum $n$ is $m^2 + m - 1$ such that the representation of $H(n,m)$ is not maximal as an $m$-distance set. Moreover we classify the largest $m$-distance sets which contain the representation of $H(n,m)$ for $m\leq 4$ and any $n$. We also classify the maximal $2$-distance sets in $\mathbb{R}^{2n-1}$ which contain the representation of $H(n,2)$ for any $n$.
△ Less
Submitted 21 September, 2016; v1 submitted 3 February, 2016;
originally announced February 2016.
-
On the largest subsets avoiding the diameter of $(0,\pm 1)$-vectors
Authors:
Saori Adachi,
Hiroshi Nozaki
Abstract:
Let $L_{mkl}\subset \mathbb{R}^{m+k+l}$ be the set of vectors which have $m$ of entries $-1$, $k$ of entries $0$, and $l$ of entries $1$. In this paper, we investigate the largest subset of $L_{mkl}$ whose diameter is smaller than that of $L_{mkl}$. The largest subsets for $m=1$, $l=2$, and any $k$ will be classified. From this result, we can classify the largest $4$-distance sets containing the E…
▽ More
Let $L_{mkl}\subset \mathbb{R}^{m+k+l}$ be the set of vectors which have $m$ of entries $-1$, $k$ of entries $0$, and $l$ of entries $1$. In this paper, we investigate the largest subset of $L_{mkl}$ whose diameter is smaller than that of $L_{mkl}$. The largest subsets for $m=1$, $l=2$, and any $k$ will be classified. From this result, we can classify the largest $4$-distance sets containing the Euclidean representation of the Johnson scheme $J(9,4)$. This was an open problem in Bannai, Sato, and Shigezumi (2012).
△ Less
Submitted 15 November, 2015; v1 submitted 3 September, 2015;
originally announced September 2015.
-
A Comparison of Approaches for Solving Hard Graph-Theoretic Problems
Authors:
Victoria Horan,
Steve Adachi,
Stanley Bak
Abstract:
In order to formulate mathematical conjectures likely to be true, a number of base cases must be determined. However, many combinatorial problems are NP-hard and the computational complexity makes this research approach difficult using a standard brute force approach on a typical computer. One sample problem explored is that of finding a minimum identifying code. To work around the computational i…
▽ More
In order to formulate mathematical conjectures likely to be true, a number of base cases must be determined. However, many combinatorial problems are NP-hard and the computational complexity makes this research approach difficult using a standard brute force approach on a typical computer. One sample problem explored is that of finding a minimum identifying code. To work around the computational issues, a variety of methods are explored and consist of a parallel computing approach using Matlab, a quantum annealing approach using the D-Wave computer, and lastly using satisfiability modulo theory (SMT) and corresponding SMT solvers. Each of these methods requires the problem to be formulated in a unique manner. In this paper, we address the challenges of computing solutions to this NP-hard problem with respect to each of these methods.
△ Less
Submitted 17 December, 2015; v1 submitted 29 April, 2015;
originally announced April 2015.
