Quotient Set

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 13059 Experts worldwide ranked by ideXlab platform

Tobias Damm - One of the best experts on this subject based on the ideXlab platform.

  • riemannian optimal identification method for linear systems with symmetric positive definite matrix
    IEEE Transactions on Automatic Control, 2020
    Co-Authors: Kazuhiro Sato, Hiroyuki Sato, Tobias Damm
    Abstract:

    This article develops identification methods for linear continuous-time symmetric systems, such as electrical network systems, multiagent network systems, and temperature dynamics in buildings. To this end, we formulate three system identification problems for the corresponding discrete-time systems. The first is a least-squares problem in which we wish to minimize the sum of squared errors between the true and model outputs on the product manifold of the manifold of symmetric positive-definite matrices and two Euclidean spaces. In the second problem, to reduce the search dimensions, the product manifold is replaced with the Quotient Set under a specified group action by the orthogonal group. In the third problem, the manifold of symmetric positive-definite matrices in the first problem is replaced by the manifold of matrices with only positive diagonal elements. In particular, we examine the Quotient geometry in the second problem. We propose Riemannian conjugate gradient methods for the three problems, and select initial points using a popular subspace method. The effectiveness of our proposed methods is demonstrated through numerical simulations and comparisons with the Gauss–Newton method, which is one of the most popular approach for solving least-squares problems.

  • Riemannian optimal identification method for linear systems with symmetric positive-definite matrix
    arXiv: Optimization and Control, 2018
    Co-Authors: Kazuhiro Sato, Hiroyuki Sato, Tobias Damm
    Abstract:

    This study develops identification methods for linear continuous-time symmetric systems, such as electrical network systems, multi-agent network systems, and temperature dynamics in buildings. To this end, we formulate three system identification problems for the corresponding discrete-time systems. The first is a least-squares problem in which we wish to minimize the sum of squared errors between the true and model outputs on the product manifold of the manifold of symmetric positive-definite matrices and two Euclidean spaces. In the second problem, to reduce the search dimensions, the product manifold is replaced with the Quotient Set under a specified group action by the orthogonal group. In the third problem, the manifold of symmetric positive-definite matrices in the first problem is replaced by the manifold of matrices with only positive diagonal elements. In particular, we examine the Quotient geometry in the second problem. We propose Riemannian conjugate gradient methods for the three problems, and select initial points using a popular subspace method. The effectiveness of our proposed methods is demonstrated through numerical simulations and comparisons with the Gauss--Newton method, which is one of the most popular approach for solving least-squares problems.

Kazuhiro Sato - One of the best experts on this subject based on the ideXlab platform.

  • riemannian optimal identification method for linear systems with symmetric positive definite matrix
    IEEE Transactions on Automatic Control, 2020
    Co-Authors: Kazuhiro Sato, Hiroyuki Sato, Tobias Damm
    Abstract:

    This article develops identification methods for linear continuous-time symmetric systems, such as electrical network systems, multiagent network systems, and temperature dynamics in buildings. To this end, we formulate three system identification problems for the corresponding discrete-time systems. The first is a least-squares problem in which we wish to minimize the sum of squared errors between the true and model outputs on the product manifold of the manifold of symmetric positive-definite matrices and two Euclidean spaces. In the second problem, to reduce the search dimensions, the product manifold is replaced with the Quotient Set under a specified group action by the orthogonal group. In the third problem, the manifold of symmetric positive-definite matrices in the first problem is replaced by the manifold of matrices with only positive diagonal elements. In particular, we examine the Quotient geometry in the second problem. We propose Riemannian conjugate gradient methods for the three problems, and select initial points using a popular subspace method. The effectiveness of our proposed methods is demonstrated through numerical simulations and comparisons with the Gauss–Newton method, which is one of the most popular approach for solving least-squares problems.

  • Riemannian optimal identification method for linear systems with symmetric positive-definite matrix
    arXiv: Optimization and Control, 2018
    Co-Authors: Kazuhiro Sato, Hiroyuki Sato, Tobias Damm
    Abstract:

    This study develops identification methods for linear continuous-time symmetric systems, such as electrical network systems, multi-agent network systems, and temperature dynamics in buildings. To this end, we formulate three system identification problems for the corresponding discrete-time systems. The first is a least-squares problem in which we wish to minimize the sum of squared errors between the true and model outputs on the product manifold of the manifold of symmetric positive-definite matrices and two Euclidean spaces. In the second problem, to reduce the search dimensions, the product manifold is replaced with the Quotient Set under a specified group action by the orthogonal group. In the third problem, the manifold of symmetric positive-definite matrices in the first problem is replaced by the manifold of matrices with only positive diagonal elements. In particular, we examine the Quotient geometry in the second problem. We propose Riemannian conjugate gradient methods for the three problems, and select initial points using a popular subspace method. The effectiveness of our proposed methods is demonstrated through numerical simulations and comparisons with the Gauss--Newton method, which is one of the most popular approach for solving least-squares problems.

Hiroyuki Sato - One of the best experts on this subject based on the ideXlab platform.

  • riemannian optimal identification method for linear systems with symmetric positive definite matrix
    IEEE Transactions on Automatic Control, 2020
    Co-Authors: Kazuhiro Sato, Hiroyuki Sato, Tobias Damm
    Abstract:

    This article develops identification methods for linear continuous-time symmetric systems, such as electrical network systems, multiagent network systems, and temperature dynamics in buildings. To this end, we formulate three system identification problems for the corresponding discrete-time systems. The first is a least-squares problem in which we wish to minimize the sum of squared errors between the true and model outputs on the product manifold of the manifold of symmetric positive-definite matrices and two Euclidean spaces. In the second problem, to reduce the search dimensions, the product manifold is replaced with the Quotient Set under a specified group action by the orthogonal group. In the third problem, the manifold of symmetric positive-definite matrices in the first problem is replaced by the manifold of matrices with only positive diagonal elements. In particular, we examine the Quotient geometry in the second problem. We propose Riemannian conjugate gradient methods for the three problems, and select initial points using a popular subspace method. The effectiveness of our proposed methods is demonstrated through numerical simulations and comparisons with the Gauss–Newton method, which is one of the most popular approach for solving least-squares problems.

  • Riemannian optimal identification method for linear systems with symmetric positive-definite matrix
    arXiv: Optimization and Control, 2018
    Co-Authors: Kazuhiro Sato, Hiroyuki Sato, Tobias Damm
    Abstract:

    This study develops identification methods for linear continuous-time symmetric systems, such as electrical network systems, multi-agent network systems, and temperature dynamics in buildings. To this end, we formulate three system identification problems for the corresponding discrete-time systems. The first is a least-squares problem in which we wish to minimize the sum of squared errors between the true and model outputs on the product manifold of the manifold of symmetric positive-definite matrices and two Euclidean spaces. In the second problem, to reduce the search dimensions, the product manifold is replaced with the Quotient Set under a specified group action by the orthogonal group. In the third problem, the manifold of symmetric positive-definite matrices in the first problem is replaced by the manifold of matrices with only positive diagonal elements. In particular, we examine the Quotient geometry in the second problem. We propose Riemannian conjugate gradient methods for the three problems, and select initial points using a popular subspace method. The effectiveness of our proposed methods is demonstrated through numerical simulations and comparisons with the Gauss--Newton method, which is one of the most popular approach for solving least-squares problems.

T. V. Vasylyshyn - One of the best experts on this subject based on the ideXlab platform.

  • Metric on the spectrum of the algebra of entire symmetric functions of bounded type on the complex $L_\infty$
    Vasyl Stefanyk Precarpathian National University, 2018
    Co-Authors: T. V. Vasylyshyn
    Abstract:

    It is known that every complex-valued homomorphism of the Fr\'{e}chet algebra $H_{bs}(L_\infty)$ of all entire symmetric functions of bounded type on the complex Banach space $L_\infty$ is a point-evaluation functional $\delta_x$ (defined by $\delta_x(f) = f(x)$ for $f \in H_{bs}(L_\infty)$) at some point $x \in L_\infty.$ Therefore, the spectrum (the Set of all continuous complex-valued homomorphisms) $M_{bs}$ of the algebra $H_{bs}(L_\infty)$ is one-to-one with the Quotient Set $L_\infty/_\sim,$ where an equivalence relation "$\sim$'' on $L_\infty$ is defined by $x\sim y \Leftrightarrow \delta_x = \delta_y.$ Consequently, $M_{bs}$ can be endowed with the Quotient topology. On the other hand, $M_{bs}$ has a natural representation as a Set of sequences which endowed with the coordinate-wise addition and the Quotient topology forms an Abelian topological group. We show that the topology on $M_{bs}$ is metrizable and it is induced by the metric $d(\xi, \eta) = \sup_{n\in\mathbb{N}}\sqrt[n]{|\xi_n-\eta_n|},$ where $\xi = \{\xi_n\}_{n=1}^\infty,\eta = \{\eta_n\}_{n=1}^\infty \in M_{bs}.$

  • Topology on the spectrum of the algebra of entire symmetric functions of bounded type on the complex $L_\infty$
    Carpathian Mathematical Publications, 2017
    Co-Authors: T. V. Vasylyshyn
    Abstract:

    It is known that the so-called elementary symmetric polynomials $R_n(x) = \int_{[0,1]}(x(t))^n\,dt$ form an algebraic basis in the algebra of all symmetric continuous polynomials on the complex Banach space $L_\infty,$ which is dense in the Fr\'{e}chet algebra $H_{bs}(L_\infty)$ of all entire symmetric functions of bounded  type on $L_\infty.$ Consequently, every continuous homomorphism $\varphi: H_{bs}(L_\infty) \to \mathbb{C}$ is uniquely determined by the sequence $\{\varphi(R_n)\}_{n=1}^\infty.$ By the continuity of the homomorphism $\varphi,$ the sequence $\{\sqrt[n]{|\varphi(R_n)|}\}_{n=1}^\infty$ is bounded. On the other hand, for every sequence $\{\xi_n\}_{n=1}^\infty \subSet \mathbb{C},$ such that the sequence $\{\sqrt[n]{|\xi_n|}\}_{n=1}^\infty$ is bounded,  there exists  $x_\xi \in L_\infty$ such that $R_n(x_\xi) = \xi_n$ for every $n \in \mathbb{N}.$ Therefore, for the point-evaluation functional $\delta_{x_\xi}$ we have $\delta_{x_\xi}(R_n) = \xi_n$ for every $n \in \mathbb{N}.$ Thus, every continuous complex-valued homomorphism of $H_{bs}(L_\infty)$ is a point-evaluation functional at some point of $L_\infty.$ Note that such a point is not unique. We can consider an equivalence relation on $L_\infty,$ defined by $x\sim y \Leftrightarrow \delta_x = \delta_y.$ The spectrum (the Set of all continuous complex-valued homomorphisms) $M_{bs}$ of the algebra $H_{bs}(L_\infty)$ is one-to-one with the Quotient Set $L_\infty/_\sim.$ Consequently, $M_{bs}$ can be endowed with the Quotient topology. On the other hand, it is naturally to identify $M_{bs}$ with the Set of all sequences $\{\xi_n\}_{n=1}^\infty \subSet \mathbb{C}$ such that the sequence $\{\sqrt[n]{|\xi_n|}\}_{n=1}^\infty$ is bounded.We show that the Quotient topology is Hausdorffand that $M_{bs}$ with the operation of coordinate-wise addition of sequences forms an abelian topological group.

John Mckay - One of the best experts on this subject based on the ideXlab platform.

  • Cusps, Congruence Groups and Monstrous Dessins
    Indagationes Mathematicae, 2019
    Co-Authors: Valdo Tatitscheff, John Mckay
    Abstract:

    We study general properties of the dessins d'enfants associated with the Hecke congruence subgroups $\Gamma_0(N)$ of the modular group $\mathrm{PSL}_2(\mathbb{R})$. The definition of the $\Gamma_0(N)$ as the stabilisers of couples of projective lattices in a two-dimensional vector space gives an interpretation of the Quotient Set $\Gamma_0(N)\backslash\mathrm{PSL}_2(\mathbb{R})$ as the projective lattices $N$-hyperdistant from a reference one, and hence as the projective line over the ring $\mathbb{Z}/N\mathbb{Z}$. The natural action of $\mathrm{PSL}_2(\mathbb{R})$ on the lattices defines a dessin d'enfant structure, allowing for a combinatorial approach to features of the classical modular curves, such as the torsion points and the cusps. We tabulate the dessins d'enfants associated with the $15$ Hecke congruence subgroups of genus zero, which arise in Moonshine for the Monster sporadic group.