-
Properties of moderate toric resolutions in dimension three
Authors:
Yutaro Kaijima,
Yudai Yamamoto
Abstract:
We study moderate toric resolutions introduced by Chávez-Martínez, Duarte and Yasuda, which appears in the relation between F-blowups and essential divisors. In particular, we address the problems, when it exists, and if it is the case, what properties it has in conjunction with the birational geometry and Hilbert basis resolutions, mainly in dimension three.
We study moderate toric resolutions introduced by Chávez-Martínez, Duarte and Yasuda, which appears in the relation between F-blowups and essential divisors. In particular, we address the problems, when it exists, and if it is the case, what properties it has in conjunction with the birational geometry and Hilbert basis resolutions, mainly in dimension three.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
The multiplicity-one theorem for the superspeciality of curves of genus two
Authors:
Shushi Harashita,
Yuya Yamamoto
Abstract:
Igusa proved in 1958 that the polynomial determining the supersingularity of elliptic curve in Legendre form is separable. In this paper, we get an analogous result for curves of genus $2$ in Rosenhain form. More precisely we show that the ideal determining the superspeciality of the curve has multiplicity one at every superspecial point. Igusa used a Picard-Fucks differential operator annihilatin…
▽ More
Igusa proved in 1958 that the polynomial determining the supersingularity of elliptic curve in Legendre form is separable. In this paper, we get an analogous result for curves of genus $2$ in Rosenhain form. More precisely we show that the ideal determining the superspeciality of the curve has multiplicity one at every superspecial point. Igusa used a Picard-Fucks differential operator annihilating a Gauß hypergeometric series. We shall use Lauricella system (of type D) of hypergeometric differential equations in three variables.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
Toric degenerations of Calabi--Yau complete intersections and metric SYZ conjecture
Authors:
Keita Goto,
Yuto Yamamoto
Abstract:
We consider a toric degeneration $\mathcal{X}$ of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. For the toric degeneration $\mathcal{X}$, we study the real Monge--Ampère equation corresponding to the non-archimedean Monge--Ampère equation that yields the non-archimedean Calabi--Yau metric. Our main theorem describes the real Monge--Ampère equation in terms o…
▽ More
We consider a toric degeneration $\mathcal{X}$ of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. For the toric degeneration $\mathcal{X}$, we study the real Monge--Ampère equation corresponding to the non-archimedean Monge--Ampère equation that yields the non-archimedean Calabi--Yau metric. Our main theorem describes the real Monge--Ampère equation in terms of tropical geometry and proves the metric SYZ conjecture for the toric degeneration $\mathcal{X}$ supposing the existence of its solution.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Dynamic Anisotropic Smoothing for Noisy Derivative-Free Optimization
Authors:
Sam Reifenstein,
Timothee Leleu,
Yoshihisa Yamamoto
Abstract:
We propose a novel algorithm that extends the methods of ball smoothing and Gaussian smoothing for noisy derivative-free optimization by accounting for the heterogeneous curvature of the objective function. The algorithm dynamically adapts the shape of the smoothing kernel to approximate the Hessian of the objective function around a local optimum. This approach significantly reduces the error in…
▽ More
We propose a novel algorithm that extends the methods of ball smoothing and Gaussian smoothing for noisy derivative-free optimization by accounting for the heterogeneous curvature of the objective function. The algorithm dynamically adapts the shape of the smoothing kernel to approximate the Hessian of the objective function around a local optimum. This approach significantly reduces the error in estimating the gradient from noisy evaluations through sampling. We demonstrate the efficacy of our method through numerical experiments on artificial problems. Additionally, we show improved performance when tuning NP-hard combinatorial optimization solvers compared to existing state-of-the-art heuristic derivative-free and Bayesian optimization methods.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Non-archimedean SYZ fibrations via tropical contractions
Authors:
Yuto Yamamoto
Abstract:
We consider a toric degeneration of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. The author showed in his previous work that there exists an integral affine contraction map called a tropical contraction, from the tropical variety obtained as its tropicalization to the dual intersection complex of the toric degeneration. In this article, we prove that the du…
▽ More
We consider a toric degeneration of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. The author showed in his previous work that there exists an integral affine contraction map called a tropical contraction, from the tropical variety obtained as its tropicalization to the dual intersection complex of the toric degeneration. In this article, we prove that the dual intersection complex is isomorphic to the essential skeleton of the Berkovich analytification as piecewise integral affine manifolds, and the composition of the tropicalization map and the tropical contraction is an affinoid torus fibration with a discriminant of codimension $2$, which induces the same integral affine structure as the one coming from the toric degeneration. This is a generalization of the earlier work by Pille-Schneider for a specific degeneration of Calabi--Yau hypersurfaces in projective spaces.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Roundoff error analysis of the double exponential formula-based method for the matrix sign function
Authors:
Tomoya Miyashita,
Shuhei Kudo,
Yusaku Yamamoto
Abstract:
In this paper, we perform a roundoff error analysis of an integration-based method for computing the matrix sign function recently proposed by Nakaya and Tanaka. The method expresses the matrix sign function using an integral representation and computes the integral numerically by the double-exponential formula. While the method has large-grain parallelism and works well for well-conditioned matri…
▽ More
In this paper, we perform a roundoff error analysis of an integration-based method for computing the matrix sign function recently proposed by Nakaya and Tanaka. The method expresses the matrix sign function using an integral representation and computes the integral numerically by the double-exponential formula. While the method has large-grain parallelism and works well for well-conditioned matrices, its accuracy deteriorates when the input matrix is ill-conditioned or highly nonnormal. We investigate the reason for this phenomenon by a detailed roundoff error analysis.
△ Less
Submitted 4 December, 2023; v1 submitted 29 September, 2023;
originally announced September 2023.
-
Bicategorical Models of Classical Propositional Logic
Authors:
Yuta Yamamoto
Abstract:
Führmann and Pym constructed models of classical propositional logic in an order-enriched categorical setting, whose typical example is the category $\mathbf{Rel}$ of sets and relations. It is remarkable in that they are both non-degenerate and symmetric, i.e., free from the choices of the reduction strategy.
As a furter categorification of this direction, we give bicategorical models of classic…
▽ More
Führmann and Pym constructed models of classical propositional logic in an order-enriched categorical setting, whose typical example is the category $\mathbf{Rel}$ of sets and relations. It is remarkable in that they are both non-degenerate and symmetric, i.e., free from the choices of the reduction strategy.
As a furter categorification of this direction, we give bicategorical models of classical propositional logic that is also symmetric and non-degenerate. Primal examples of our models include $\mathbf{Rel}$, $\mathbf{Span}$, and $\mathbf{Prof}$, which shows that we can construct models that are non-degenerate not only for $1$-cells but also for $2$-cells and the logical negations.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
A fast and accurate computation method for reflective diffraction simulations
Authors:
Shuhei Kudo,
Yusaku Yamamoto,
Takeo Hoshi
Abstract:
We present a new computation method for simulating reflection high-energy electron diffraction and the total-reflection high-energy positron diffraction experiments. The two experiments are used commonly for the structural analysis of material surface. The present paper improves the conventional numerical method, the multi-slice method, for faster computation, since the present method avoids the m…
▽ More
We present a new computation method for simulating reflection high-energy electron diffraction and the total-reflection high-energy positron diffraction experiments. The two experiments are used commonly for the structural analysis of material surface. The present paper improves the conventional numerical method, the multi-slice method, for faster computation, since the present method avoids the matrix-eigenvalue solver for the computation of matrix exponentials and can adopt higher-order ordinary differential equation solvers. Moreover, we propose a high-performance implementation based on multi-thread parallelization and cache-reusable subroutines. In our tests, this new method performs up to 2,000 times faster than the conventional method.
△ Less
Submitted 31 May, 2023;
originally announced June 2023.
-
Unicity of types and local Jacquet--Langlands correspondence
Authors:
Yuki Yamamoto
Abstract:
Let $F$ be a non-archimedean local field. For any irreducible representation $π$ of an inner form $G'=\mathrm{GL}_{m}(D)$ of $G=\mathrm{GL}_{N}(F)$, there exists an irredubile representation of a maximal compact open subgroup in $G'$ which is also a type for $π$. Then we can consider the problem whether these types are unique or not in some sense. If such types for $π$ are unique, we say $π$ has t…
▽ More
Let $F$ be a non-archimedean local field. For any irreducible representation $π$ of an inner form $G'=\mathrm{GL}_{m}(D)$ of $G=\mathrm{GL}_{N}(F)$, there exists an irredubile representation of a maximal compact open subgroup in $G'$ which is also a type for $π$. Then we can consider the problem whether these types are unique or not in some sense. If such types for $π$ are unique, we say $π$ has the strong unicity property of types. On the other hand, there exists a correspondence connecting irreducible representations of $G'$ and $G$, called the Jacquet--Langland correspondence. In this paper, we study the ralation between the strong unicity of types and the Jacquet--Langlands correspondence.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
Period integrals of hypersurfaces via tropical geometry
Authors:
Yuto Yamamoto
Abstract:
Let $\left\{ Z_t \right\}_t$ be a one-parameter family of complex hypersurfaces of dimension $d \geq 1$ in a toric variety. We compute asymptotics of period integrals for $\left\{ Z_t \right\}_t$ by applying the method of Abouzaid--Ganatra--Iritani--Sheridan, which uses tropical geometry. As integrands, we consider Poincaré residues of meromorphic $(d+1)$-forms on the ambient toric variety, which…
▽ More
Let $\left\{ Z_t \right\}_t$ be a one-parameter family of complex hypersurfaces of dimension $d \geq 1$ in a toric variety. We compute asymptotics of period integrals for $\left\{ Z_t \right\}_t$ by applying the method of Abouzaid--Ganatra--Iritani--Sheridan, which uses tropical geometry. As integrands, we consider Poincaré residues of meromorphic $(d+1)$-forms on the ambient toric variety, which have poles along the hypersurface $Z_t$. The cycles over which we integrate them are spheres and tori which correspond to tropical $(0, d)$-cycles and $(d, 0)$-cycles on the tropicalization of $\left\{ Z_t \right\}_t$ respectively. In the case of $d=1$, we explicitly write down the polarized logarithmic Hodge structure of Kato--Usui at the limit as a corollary. Throughout this article, we impose the assumption that the tropicalization is dual to a unimodular triangulation of the Newton polytope.
△ Less
Submitted 23 April, 2025; v1 submitted 2 May, 2022;
originally announced May 2022.
-
A novel formulation for the evolution of relativistic rotating stars
Authors:
Hirotada Okawa,
Kotaro Fujisawa,
Nobutoshi Yasutake,
Misa Ogata,
Yu Yamamoto,
Shoichi Yamada
Abstract:
We present a new formulation to construct numerically equilibrium configurations of rotating stars in general relativity. Having in mind the application to their quasi static evolutions, we adopt a Lagrangian formulation of our own devising, in which we solve force balance equations to seek for the positions of fluid elements assigned to the grid points, instead of the ordinary Eulerian formulatio…
▽ More
We present a new formulation to construct numerically equilibrium configurations of rotating stars in general relativity. Having in mind the application to their quasi static evolutions, we adopt a Lagrangian formulation of our own devising, in which we solve force balance equations to seek for the positions of fluid elements assigned to the grid points, instead of the ordinary Eulerian formulation. Unlike previous works in the literature, we do not employ the first integral of the Euler equation, which is not obtained by an analytic integration in general. We assign a mass, specific angular momentum and entropy to each fluid element in contrast to the previous methods, in which the spatial distribution of the angular velocity or angular momentum is specified. Those distributions are determined after the positions of all fluid elements (or grid points) are derived in our formulation. We solve the large system of algebraic nonlinear equations that are obtained by discretizing the time-independent Euler and Einstein equations in the finite-elements method by using our new multi-dimensional root-finding scheme, named the W4 method. To demonstrate the capability of our new formulation, we construct some rotational configurations both barotropic and baroclinic. We also solve three evolutionary sequences that mimic the cooling, mass-loss, and mass-accretion as simple toy models.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
Singularity-Avoiding Multi-Dimensional Root-Finder
Authors:
Hirotada Okawa,
Kotaro Fujisawa,
Yu Yamamoto,
Nobutoshi Yasutake,
Misa Ogata,
Shoichi Yamada
Abstract:
We proposed in this paper a new method, which we named the W4 method, to solve nonlinear equation systems. It may be regarded as an extension of the Newton-Raphson~(NR) method to be used when the method fails. Indeed our method can be applied not only to ordinary problems with non-singular Jacobian matrices but also to problems with singular Jacobians, which essentially all previous methods that e…
▽ More
We proposed in this paper a new method, which we named the W4 method, to solve nonlinear equation systems. It may be regarded as an extension of the Newton-Raphson~(NR) method to be used when the method fails. Indeed our method can be applied not only to ordinary problems with non-singular Jacobian matrices but also to problems with singular Jacobians, which essentially all previous methods that employ the inversion of the Jacobian matrix have failed to solve. In this article, we demonstrate that (i) our new scheme can define a non-singular iteration map even for those problems by utilizing the singular value decomposition, (ii) a series of vectors in the new iteration map converges to the right solution under a certain condition, (iii) the standard two-dimensional problems in the literature that no single method proposed so far has been able to solve completely are all solved by our new method.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
On Mackey Decomposition for locally profinite groups
Authors:
Yuki Yamamoto
Abstract:
To study induced representation of some class of groups, Mackey's theory is very useful. In this paper, we consider some generalization of Mackey's theory for locally profinite groups. In particular, we give conditions on groups under which we have the Mackey decomposition and some examples such that we do not have the Mackey decomposition in some sense.
To study induced representation of some class of groups, Mackey's theory is very useful. In this paper, we consider some generalization of Mackey's theory for locally profinite groups. In particular, we give conditions on groups under which we have the Mackey decomposition and some examples such that we do not have the Mackey decomposition in some sense.
△ Less
Submitted 27 March, 2022;
originally announced March 2022.
-
Comparing Bushnell-Kutzko and Sécherre's constructions of types for $\mathrm{GL}_{N}$ and its inner forms with Yu's construction
Authors:
Arnaud Mayeux,
Yuki Yamamoto
Abstract:
Let $F$ be a non-archimedean local field, $A$ be a central simple $F$-algebra, and $G$ be the multiplicative group of $A$. To construct types for supercuspidal representations of $G$, simple types by Sécherre and Yu's construction are already known. In this paper, we compare these constructions. In particular, we show essentially tame supercuspidal representations of $G$ defined by Bushnell-Hennia…
▽ More
Let $F$ be a non-archimedean local field, $A$ be a central simple $F$-algebra, and $G$ be the multiplicative group of $A$. To construct types for supercuspidal representations of $G$, simple types by Sécherre and Yu's construction are already known. In this paper, we compare these constructions. In particular, we show essentially tame supercuspidal representations of $G$ defined by Bushnell-Henniart are nothing but tame supercuspidal representations defined by Yu.
△ Less
Submitted 1 July, 2024; v1 submitted 23 December, 2021;
originally announced December 2021.
-
Performance prediction of massively parallel computation by Bayesian inference
Authors:
Hisashi Kohashi,
Harumichi Iwamoto,
Takeshi Fukaya,
Yusaku Yamamoto,
Takeo Hoshi
Abstract:
A performance prediction method for massively parallel computation is proposed. The method is based on performance modeling and Bayesian inference to predict elapsed time T as a function of the number of used nodes P (T=T(P)). The focus is on extrapolation for larger values of P from the perspective of application researchers. The proposed method has several improvements over the method developed…
▽ More
A performance prediction method for massively parallel computation is proposed. The method is based on performance modeling and Bayesian inference to predict elapsed time T as a function of the number of used nodes P (T=T(P)). The focus is on extrapolation for larger values of P from the perspective of application researchers. The proposed method has several improvements over the method developed in a previous paper, and application to real-symmetric generalized eigenvalue problem shows promising prediction results. The method is generalizable and applicable to many other computations.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Tropical contractions to integral affine manifolds with singularities
Authors:
Yuto Yamamoto
Abstract:
We consider a toric degeneration of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. One can associate two types of tropical spaces with it. One is a tropical variety obtained by tropicalization. The other one is an integral affine manifold with singularities, which arises as the dual intersection complex of the toric degeneration. In this article, we show that…
▽ More
We consider a toric degeneration of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. One can associate two types of tropical spaces with it. One is a tropical variety obtained by tropicalization. The other one is an integral affine manifold with singularities, which arises as the dual intersection complex of the toric degeneration. In this article, we show that the latter is contained in the former as a subset, and construct an integral affine contraction map from the former to the latter. We also show that the contraction preserves tropical cohomology groups, and sends the eigenwave to the radiance obstruction.
△ Less
Submitted 7 April, 2024; v1 submitted 21 May, 2021;
originally announced May 2021.
-
Comparison of types for inner forms of $\mathrm{GL}_{N}$
Authors:
Yuki Yamamoto
Abstract:
Let $F$ be a non-archimedean local field, $A$ be a central simple $F$-algebra, and $G$ be the multiplicative group of $A$. To construct types for supercuspidal representations of $G$, simple types by Sécherre--Stevens and Yu's construction are already known. In this paper, we compare these constructions. In particular, we show essentially tame supercuspidal representations of $G$ defined by Bushne…
▽ More
Let $F$ be a non-archimedean local field, $A$ be a central simple $F$-algebra, and $G$ be the multiplicative group of $A$. To construct types for supercuspidal representations of $G$, simple types by Sécherre--Stevens and Yu's construction are already known. In this paper, we compare these constructions. In particular, we show essentially tame supercuspidal representations of $G$ defined by Bushnell--Henniart are nothing but tame supercuspidal representations defined by Yu.
△ Less
Submitted 15 June, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Large deviation principle for linear mod 1 transformations
Authors:
Yong Moo Chung ad Kenichiro Yamamoto
Abstract:
For $0\le α<1$ and $β>2$, we consider a linear mod 1 transformation on a unit interval; $x\mapstoβx+α$ (${\rm mod}\ 1$), and prove that it satisfies the level-2 large deviation principle with the unique measure of maximal entropy. For the proof, we use the density of periodic measures and Hofbauer's Markov Diagram.
For $0\le α<1$ and $β>2$, we consider a linear mod 1 transformation on a unit interval; $x\mapstoβx+α$ (${\rm mod}\ 1$), and prove that it satisfies the level-2 large deviation principle with the unique measure of maximal entropy. For the proof, we use the density of periodic measures and Hofbauer's Markov Diagram.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
A Parallelizable Energy-Preserving Integrator MB4 and Its Application to Quantum-Mechanical Wavepacket Dynamics
Authors:
Tsubasa Sakai,
Shuhei Kudo,
Hiroto Imachi,
Yuto Miyatake,
Takeo Hoshi,
Yusaku Yamamoto
Abstract:
In simulating physical systems, conservation of the total energy is often essential, especially when energy conversion between different forms of energy occurs frequently. Recently, a new fourth order energy-preserving integrator named MB4 was proposed based on the so-called continuous stage Runge--Kutta methods (Y.~Miyatake and J.~C.~Butcher, SIAM J.~Numer.~Anal., 54(3), 1993-2013). A salient fea…
▽ More
In simulating physical systems, conservation of the total energy is often essential, especially when energy conversion between different forms of energy occurs frequently. Recently, a new fourth order energy-preserving integrator named MB4 was proposed based on the so-called continuous stage Runge--Kutta methods (Y.~Miyatake and J.~C.~Butcher, SIAM J.~Numer.~Anal., 54(3), 1993-2013). A salient feature of this method is that it is parallelizable, which makes its computational time for one time step comparable to that of second order methods. In this paper, we illustrate how to apply the MB4 method to a concrete ordinary differential equation using the nonlinear Schrödinger-type equation on a two-dimensional grid as an example. This system is a prototypical model of two-dimensional disordered organic material and is difficult to solve with standard methods like the classical Runge--Kutta methods due to the nonlinearity and the $δ$-function like potential coming from defects. Numerical tests show that the method can solve the equation stably and preserves the total energy to 16-digit accuracy throughout the simulation. It is also shown that parallelization of the method yields up to 2.8 times speedup using 3 computational nodes.
△ Less
Submitted 9 March, 2020;
originally announced March 2020.
-
Stability Analysis of Perturbed Infinite-dimensional Sampled-data Systems
Authors:
Masashi Wakaiki,
Yutaka Yamamoto
Abstract:
This paper addresses the stability analysis of infinite-dimensional sampled-data systems under unbounded perturbations. We present two classes of unbounded perturbations preserving the exponential stability of sampled-data systems. To this end, we investigate the continuity of strongly continuous semigroups with respect to their generators, considering the uniform operator topology.
This paper addresses the stability analysis of infinite-dimensional sampled-data systems under unbounded perturbations. We present two classes of unbounded perturbations preserving the exponential stability of sampled-data systems. To this end, we investigate the continuity of strongly continuous semigroups with respect to their generators, considering the uniform operator topology.
△ Less
Submitted 3 October, 2019;
originally announced October 2019.
-
Fixed-point analysis of Ogita-Aishima's symmetric eigendecomposition refinement algorithm for multiple eigenvalues
Authors:
Kurumi Shiroma,
Yusaku Yamamoto
Abstract:
Recently, Ogita and Aishima proposed an efficient eigendecomposition refinement algorithm for the symmetric eigenproblem. Their basic algorithm involves division by the difference of two approximate eigenvalues, and can become unstable when there are multiple eigenvalues. To resolve this problem, they proposed to replace those equations that casue instability with different equations and gave a co…
▽ More
Recently, Ogita and Aishima proposed an efficient eigendecomposition refinement algorithm for the symmetric eigenproblem. Their basic algorithm involves division by the difference of two approximate eigenvalues, and can become unstable when there are multiple eigenvalues. To resolve this problem, they proposed to replace those equations that casue instability with different equations and gave a convergence proof of the resulting algorithm. However, it is not straightforward to understand intuitively why the modified algorithm works, because it removes some of the necessary and sufficient conditions for obtaining the eigendecomposition. We give an answer to this question using Banach's fixed-point theorem.
△ Less
Submitted 13 November, 2019; v1 submitted 30 September, 2019;
originally announced September 2019.
-
On the types for supercuspidal representations of inner forms of $\mathrm{GL}_{N}$
Authors:
Yuki Yamamoto
Abstract:
Let $F$ be a non-Archimedean local field, $A$ be a central simple $F$-algebra, and $G$ be the multiplicative group of $A$. It is known that for every irreducible supercuspidal representation $π$, there exists a $[G, π]_{G}$-type $(J, λ)$, called a (maximal) simple type. We will show that $[G, π]_{G}$-types defined over some maximal compact subgroup are unique up to $G$-conjugations under some unra…
▽ More
Let $F$ be a non-Archimedean local field, $A$ be a central simple $F$-algebra, and $G$ be the multiplicative group of $A$. It is known that for every irreducible supercuspidal representation $π$, there exists a $[G, π]_{G}$-type $(J, λ)$, called a (maximal) simple type. We will show that $[G, π]_{G}$-types defined over some maximal compact subgroup are unique up to $G$-conjugations under some unramifiedness assumption on a simple stratum.
△ Less
Submitted 12 November, 2019; v1 submitted 24 September, 2019;
originally announced September 2019.
-
Efficient generation of ideals in core subalgebras of the polynomial ring k[t] over a field k
Authors:
Naoki Endo,
Shiro Goto,
Naoyuki Matsuoka,
Yuki Yamamoto
Abstract:
This note aims at finding explicit and efficient generation of ideals in subalgebras $R$ of the polynomial ring $S=k[t]$ ($k$ a field) such that $t^{c_0}S \subseteq R$ for some integer $c_0 > 0$. The class of these subalgebras which we call cores of $S$ includes the semigroup rings $k[H]$ of numerical semigroups $H$, but much larger than the class of numerical semigroup rings. For $R=k[H]$ and…
▽ More
This note aims at finding explicit and efficient generation of ideals in subalgebras $R$ of the polynomial ring $S=k[t]$ ($k$ a field) such that $t^{c_0}S \subseteq R$ for some integer $c_0 > 0$. The class of these subalgebras which we call cores of $S$ includes the semigroup rings $k[H]$ of numerical semigroups $H$, but much larger than the class of numerical semigroup rings. For $R=k[H]$ and $M \in \operatorname{Max}R$, our result eventually shows that $μ_{R}(M) \in \{1,2,μ(H)\}$ where $μ_{R}(M)$ (resp. $μ(H)$) stands for the minimal number of generators of $M$ (resp. $H$), which covers in the specific case the classical result of O. Forster-R. G. Swan.
△ Less
Submitted 26 April, 2019;
originally announced April 2019.
-
Asymptotic Behavior of Bayesian Learners with Misspecified Models
Authors:
Ignacio Esponda,
Demian Pouzo,
Yuichi Yamamoto
Abstract:
We consider an agent who represents uncertainty about the environment via a possibly misspecified model. Each period, the agent takes an action, observes a consequence, and uses Bayes' rule to update her belief about the environment. This framework has become increasingly popular in economics to study behavior driven by incorrect or biased beliefs. Current literature has characterized asymptotic b…
▽ More
We consider an agent who represents uncertainty about the environment via a possibly misspecified model. Each period, the agent takes an action, observes a consequence, and uses Bayes' rule to update her belief about the environment. This framework has become increasingly popular in economics to study behavior driven by incorrect or biased beliefs. Current literature has characterized asymptotic behavior under fairly specific assumptions. By first showing that the key element to predict the agent's behavior is the frequency of her past actions, we are able to characterize asymptotic behavior in general settings in terms of the solutions of a generalization of a differential equation that describes the evolution of the frequency of actions. We then present a series of implications that can be readily applied to economic applications, thus providing off-the-shelf tools that can be used to characterize behavior under misspecified learning.
△ Less
Submitted 22 October, 2019; v1 submitted 17 April, 2019;
originally announced April 2019.
-
Destabilization of local minima in analog spin systems by correction of amplitude heterogeneity
Authors:
Timothee Leleu,
Yoshihisa Yamamoto,
Peter L. McMahon,
Kazuyuki Aihara
Abstract:
The relaxation of binary spins to analog values has been the subject of much debate in the field of statistical physics, neural networks, and more recently quantum computing, notably because the benefits of using an analog state for finding lower energy spin configurations are usually offset by the negative impact of the improper mapping of the energy function that results from the relaxation. We…
▽ More
The relaxation of binary spins to analog values has been the subject of much debate in the field of statistical physics, neural networks, and more recently quantum computing, notably because the benefits of using an analog state for finding lower energy spin configurations are usually offset by the negative impact of the improper mapping of the energy function that results from the relaxation. We show that it is possible to destabilize trapping sets of analog states that correspond to local minima of the binary spin Hamiltonian by extending the phase space to include error signals that correct amplitude inhomogeneity of the analog spin states and controlling the divergence of their velocity. Performance of the proposed analog spin system in finding lower energy states is competitive against state-of-the-art heuristics.
△ Less
Submitted 5 January, 2019; v1 submitted 30 October, 2018;
originally announced October 2018.
-
Shifted CholeskyQR for computing the QR factorization of ill-conditioned matrices
Authors:
Takeshi Fukaya,
Ramaseshan Kannan,
Yuji Nakatsukasa,
Yusaku Yamamoto,
Yuka Yanagisawa
Abstract:
The Cholesky QR algorithm is an efficient communication-minimizing algorithm for computing the QR factorization of a tall-skinny matrix. Unfortunately it has the inherent numerical instability and breakdown when the matrix is ill-conditioned. A recent work establishes that the instability can be cured by repeating the algorithm twice (called CholeskyQR2). However, the applicability of CholeskyQR2…
▽ More
The Cholesky QR algorithm is an efficient communication-minimizing algorithm for computing the QR factorization of a tall-skinny matrix. Unfortunately it has the inherent numerical instability and breakdown when the matrix is ill-conditioned. A recent work establishes that the instability can be cured by repeating the algorithm twice (called CholeskyQR2). However, the applicability of CholeskyQR2 is still limited by the requirement that the Cholesky factorization of the Gram matrix runs to completion, which means it does not always work for matrices $X$ with $κ_2(X)\gtrsim {\bf u}^{-\frac{1}{2}}$ where ${\bf u}$ is the unit roundoff. In this work we extend the applicability to $κ_2(X)=\mathcal{O}({\bf u}^{-1})$ by introducing a shift to the computed Gram matrix so as to guarantee the Cholesky factorization $R^TR= A^TA+sI$ succeeds numerically. We show that the computed $AR^{-1}$ has reduced condition number $\leq {\bf u}^{-\frac{1}{2}}$, for which CholeskyQR2 safely computes the QR factorization, yielding a computed $Q$ of orthogonality $\|Q^TQ-I\|_2$ and residual $\|A-QR\|_F/\|A\|_F$ both $\mathcal{O}({\bf u})$. Thus we obtain the required QR factorization by essentially running Cholesky QR thrice. We extensively analyze the resulting algorithm shiftedCholeskyQR to reveal its excellent numerical stability. shiftedCholeskyQR is also highly parallelizable, and applicable and effective also when working in an oblique inner product space. We illustrate our findings through experiments, in which we achieve significant (up to x40) speedup over alternative methods.
△ Less
Submitted 28 September, 2018;
originally announced September 2018.
-
The W4 method: a new multi-dimensional root-finding scheme for nonlinear systems of equations
Authors:
Hirotada Okawa,
Kotaro Fujisawa,
Yu Yamamoto,
Ryosuke Hirai,
Nobutoshi Yasutake,
Hiroki Nagakura,
Shoichi Yamada
Abstract:
We propose a new class of method for solving nonlinear systems of equations, which, among other things,has four nice features: (i) it is inspired by the mathematical property of damped oscillators, (ii) it can be regarded as a simple extention to the Newton-Raphson(NR) method, (iii) it has the same local convergence as the NR method does, (iv) it has a significantly wider convergence region or the…
▽ More
We propose a new class of method for solving nonlinear systems of equations, which, among other things,has four nice features: (i) it is inspired by the mathematical property of damped oscillators, (ii) it can be regarded as a simple extention to the Newton-Raphson(NR) method, (iii) it has the same local convergence as the NR method does, (iv) it has a significantly wider convergence region or the global convergence than that of the NR method. In this article, we present the evidence of these properties, applying our new method to some examples and comparing it with the NR method.
△ Less
Submitted 12 September, 2018;
originally announced September 2018.
-
Periods of tropical Calabi--Yau hypersurfaces
Authors:
Yuto Yamamoto
Abstract:
We consider the residual B-model variation of Hodge structure of Iritani defined by a family of toric Calabi--Yau hypersurfaces over a punctured disk $D \setminus \{ 0\}$. It is naturally extended to a logarithmic variation of polarized Hodge structure of Kato--Usui on the whole disk $D$. By restricting it to the origin, we obtain a polarized logarithmic Hodge structure (PLH) on the standard log p…
▽ More
We consider the residual B-model variation of Hodge structure of Iritani defined by a family of toric Calabi--Yau hypersurfaces over a punctured disk $D \setminus \{ 0\}$. It is naturally extended to a logarithmic variation of polarized Hodge structure of Kato--Usui on the whole disk $D$. By restricting it to the origin, we obtain a polarized logarithmic Hodge structure (PLH) on the standard log point. In this paper, we describe the PLH in terms of the integral affine structure of the dual intersection complex of the toric degeneration in the Gross--Siebert program.
△ Less
Submitted 7 November, 2020; v1 submitted 11 June, 2018;
originally announced June 2018.
-
EigenKernel - A middleware for parallel generalized eigenvalue solvers to attain high scalability and usability
Authors:
Kazuyuki Tanaka,
Hiroto Imachi,
Tomoya Fukumoto,
Akiyoshi Kuwata,
Yuki Harada,
Takeshi Fukaya,
Yusaku Yamamoto,
Takeo Hoshi
Abstract:
An open-source middleware EigenKernel was developed for use with parallel generalized eigenvalue solvers or large-scale electronic state calculation to attain high scalability and usability. The middleware enables the users to choose the optimal solver, among the three parallel eigenvalue libraries of ScaLAPACK, ELPA, EigenExa and hybrid solvers constructed from them, according to the problem spec…
▽ More
An open-source middleware EigenKernel was developed for use with parallel generalized eigenvalue solvers or large-scale electronic state calculation to attain high scalability and usability. The middleware enables the users to choose the optimal solver, among the three parallel eigenvalue libraries of ScaLAPACK, ELPA, EigenExa and hybrid solvers constructed from them, according to the problem specification and the target architecture. The benchmark was carried out on the Oakforest-PACS supercomputer and reveals that ELPA, EigenExa and their hybrid solvers show better performance, when compared with pure ScaLAPACK solvers. The benchmark on the K computer is also used for discussion. In addition, a preliminary research for the performance prediction was investigated, so as to predict the elapsed time T as the function of the number of used nodes P (T=T(P)). The prediction is based on Bayesian inference using the Markov Chain Monte Carlo (MCMC) method and the test calculation indicates that the method is applicable not only to performance interpolation but also to extrapolation. Such a middleware is of crucial importance for application-algorithm-architecture co-design among the current, next-generation (exascale), and future-generation (post-Moore era) supercomputers.
△ Less
Submitted 19 December, 2018; v1 submitted 3 June, 2018;
originally announced June 2018.
-
Efficient implementations of the modified Gram-Schmidt orthogonalization with a non-standard inner product
Authors:
Akira Imakura,
Yusaku Yamamoto
Abstract:
The modified Gram-Schmidt (MGS) orthogonalization is one of the most well-used algorithms for computing the thin QR factorization. MGS can be straightforwardly extended to a non-standard inner product with respect to a symmetric positive definite matrix $A$. For the thin QR factorization of an $m \times n$ matrix with the non-standard inner product, a naive implementation of MGS requires $2n$ matr…
▽ More
The modified Gram-Schmidt (MGS) orthogonalization is one of the most well-used algorithms for computing the thin QR factorization. MGS can be straightforwardly extended to a non-standard inner product with respect to a symmetric positive definite matrix $A$. For the thin QR factorization of an $m \times n$ matrix with the non-standard inner product, a naive implementation of MGS requires $2n$ matrix-vector multiplications (MV) with respect to $A$. In this paper, we propose $n$-MV implementations: a high accuracy (HA) type and a high performance (HP) type, of MGS. We also provide error bounds of the HA-type implementation. Numerical experiments and analysis indicate that the proposed implementations have competitive advantages over the naive implementation in terms of both computational cost and accuracy.
△ Less
Submitted 30 March, 2017;
originally announced March 2017.
-
On the optimality and sharpness of Laguerre's lower bound on the smallest eigenvalue of a symmetric positive definite matrix
Authors:
Yusaku Yamamoto
Abstract:
Lower bounds on the smallest eigenvalue of a symmetric positive definite matrices $A\in\mathbb{R}^{m\times m}$ play an important role in condition number estimation and in iterative methods for singular value computation. In particular, the bounds based on ${\rm Tr}(A^{-1})$ and ${\rm Tr}(A^{-2})$ attract attention recently because they can be computed in $O(m)$ work when $A$ is tridiagonal. In th…
▽ More
Lower bounds on the smallest eigenvalue of a symmetric positive definite matrices $A\in\mathbb{R}^{m\times m}$ play an important role in condition number estimation and in iterative methods for singular value computation. In particular, the bounds based on ${\rm Tr}(A^{-1})$ and ${\rm Tr}(A^{-2})$ attract attention recently because they can be computed in $O(m)$ work when $A$ is tridiagonal. In this paper, we focus on these bounds and investigate their properties in detail. First, we consider the problem of finding the optimal bound that can be computed solely from ${\rm Tr}(A^{-1})$ and ${\rm Tr}(A^{-2})$ and show that so called Laguerre's lower bound is the optimal one in terms of sharpness. Next, we study the gap between the Laguerre bound and the smallest eigenvalue. We characterize the situation in which the gap becomes largest in terms of the eigenvalue distribution of $A$ and show that the gap becomes smallest when ${\rm Tr}(A^{-2})/\{{\rm Tr}(A^{-1})\}^2$ approaches 1 or $\frac{1}{m}$. These results will be useful, for example, in designing efficient shift strategies for singular value computation algorithms.
△ Less
Submitted 31 January, 2017;
originally announced February 2017.
-
Geometric Monodromy around the Tropical Limit
Authors:
Yuto Yamamoto
Abstract:
Let $\{V_q\}_{q}$ be a complex one-parameter family of smooth hypersurfaces in a toric variety. In this paper, we give a concrete description of the monodromy transformation of $\{V_q\}_q$ around $q=\infty$ in terms of tropical geometry. The main tool is the tropical localization introduced by Mikhalkin.
Let $\{V_q\}_{q}$ be a complex one-parameter family of smooth hypersurfaces in a toric variety. In this paper, we give a concrete description of the monodromy transformation of $\{V_q\}_q$ around $q=\infty$ in terms of tropical geometry. The main tool is the tropical localization introduced by Mikhalkin.
△ Less
Submitted 24 June, 2016; v1 submitted 1 September, 2015;
originally announced September 2015.
-
Strict solutions to stochastic parabolic evolution equations in M-type 2 Banach spaces
Authors:
Ton Viet Ta,
Yoshitaka Yamamoto,
Atsushi Yagi
Abstract:
We study a stochastic linear evolution equation $dX+A(t)Xdt=F(t)dt+ G(t)dw_t$ in a Banach space of M-type 2. We construct unique strict solutions to the equation on the basis of the theory of deterministic linear evolution equations. The abstract results are applied to stochastic diffusion equations.
We study a stochastic linear evolution equation $dX+A(t)Xdt=F(t)dt+ G(t)dw_t$ in a Banach space of M-type 2. We construct unique strict solutions to the equation on the basis of the theory of deterministic linear evolution equations. The abstract results are applied to stochastic diffusion equations.
△ Less
Submitted 23 August, 2017; v1 submitted 29 August, 2015;
originally announced August 2015.
-
Loop-Back Interference Suppression for OFDM Signals via Sampled-Data Control
Authors:
Hampei Sasahara,
Masaaki Nagahara,
Kazunori Hayashi,
Yutaka Yamamoto
Abstract:
In this article, we consider the problem of loop-back interference suppression for orthogonal frequency division multiplexing (OFDM) signals in amplify-and-forward single-frequency full-duplex relay stations. The loop-back interference makes the system a closed-loop system, and hence it is important not only to suppress the interference but also to stabilize the system. For this purpose, we propos…
▽ More
In this article, we consider the problem of loop-back interference suppression for orthogonal frequency division multiplexing (OFDM) signals in amplify-and-forward single-frequency full-duplex relay stations. The loop-back interference makes the system a closed-loop system, and hence it is important not only to suppress the interference but also to stabilize the system. For this purpose, we propose sampled-data $H^{\infty}$ design of digital filters that ensure the stability of the system and suppress the continuous-time effect of interference at the same time. Simulation results are shown to illustrate the effectiveness of the proposed method.
△ Less
Submitted 3 April, 2015; v1 submitted 10 December, 2014;
originally announced December 2014.
-
Sampled-Data H-infinity Design of Coupling Wave Cancelers in Single-Frequency Full-Duplex Relay Stations
Authors:
Masaaki Nagahara,
Hampei Sasahara,
Kazunori Hayashi,
Yutaka Yamamoto
Abstract:
In this article, we propose sampled-data H-infinity design of digital filters that cancel the continuous-time effect of coupling waves in a single-frequency full-duplex relay station. In this study, we model a relay station as a continuous-time system while conventional researches treat it as a discrete-time system. For a continuous-time model, we propose digital feedforward and feedback cancelers…
▽ More
In this article, we propose sampled-data H-infinity design of digital filters that cancel the continuous-time effect of coupling waves in a single-frequency full-duplex relay station. In this study, we model a relay station as a continuous-time system while conventional researches treat it as a discrete-time system. For a continuous-time model, we propose digital feedforward and feedback cancelers based on the sampled-data control theory to cancel coupling waves taking intersample behavior into account. Simulation results are shown to illustrate the effectiveness of the proposed method.
△ Less
Submitted 25 July, 2014;
originally announced July 2014.
-
FIR Digital Filter Design by Sampled-Data H-infinity Discretization
Authors:
Masaaki Nagahara,
Yutaka Yamamoto
Abstract:
FIR (finite impulse response) digital filter design is a fundamental problem in signal processing. In particular, FIR approximation of analog filters (or systems) is ubiquitous not only in signal processing but also in digital implementation of controllers. In this article, we propose a new design method of an FIR digital filter that optimally approximates a given analog filter in the sense of min…
▽ More
FIR (finite impulse response) digital filter design is a fundamental problem in signal processing. In particular, FIR approximation of analog filters (or systems) is ubiquitous not only in signal processing but also in digital implementation of controllers. In this article, we propose a new design method of an FIR digital filter that optimally approximates a given analog filter in the sense of minimizing the H-infinity norm of the sampled-data error system. By using the lifting technique and the KYP (Kalman-Yakubovich-Popov) lemma, we reduce the H-infinity optimization to a convex optimization described by an LMI (linear matrix inequality). We also extend the method to multi-rate and multi-delay systems. A design example is shown to illustrate the effectiveness of the proposed method.
△ Less
Submitted 9 July, 2014;
originally announced July 2014.
-
Quantized Output Feedback Stabilization of Switched Linear Systems
Authors:
Masashi Wakaiki,
Yutaka Yamamoto
Abstract:
This paper studies the problem of stabilizing a continuous-time switched linear system by quantized output feedback. We assume that the quantized outputs and the switching signal are available to the controller at all time. We develop an encoding strategy by using multiple Lyapunov functions and an average dwell time property. The encoding strategy is based on the results in the case of a single m…
▽ More
This paper studies the problem of stabilizing a continuous-time switched linear system by quantized output feedback. We assume that the quantized outputs and the switching signal are available to the controller at all time. We develop an encoding strategy by using multiple Lyapunov functions and an average dwell time property. The encoding strategy is based on the results in the case of a single mode, and it requires an additional adjustment of the "zoom" parameter at every switching time.
△ Less
Submitted 18 March, 2014;
originally announced March 2014.
-
A new subtraction-free formula for lower bounds of the minimal singular value of an upper bidiagonal matrix
Authors:
Takumi Yamashita,
Kinji Kimura,
Yusaku Yamamoto
Abstract:
Traces of inverse powers of a positive definite symmetric tridiagonal matrix give lower bounds of the minimal singular value of an upper bidiagonal matrix. In a preceding work, a formula for the traces which gives the diagonal entries of the inverse powers is presented. In this paper, we present another formula which gives the traces based on a quite different idea from the one in the preceding wo…
▽ More
Traces of inverse powers of a positive definite symmetric tridiagonal matrix give lower bounds of the minimal singular value of an upper bidiagonal matrix. In a preceding work, a formula for the traces which gives the diagonal entries of the inverse powers is presented. In this paper, we present another formula which gives the traces based on a quite different idea from the one in the preceding work. An efficient implementation of the formula for practice is also presented.
△ Less
Submitted 10 January, 2014;
originally announced January 2014.
-
Active Noise Control with Sampled-Data Filtered-x Adaptive Algorithm
Authors:
Masaaki Nagahara,
Ken-ichi Hamaguchi,
Yutaka Yamamoto
Abstract:
Analysis and design of filtered-x adaptive algorithms are conventionally done by assuming that the transfer function in the secondary path is a discrete-time system. However, in real systems such as active noise control, the secondary path is a continuous-time system. Therefore, such a system should be analyzed and designed as a hybrid system including discrete- and continuous- time systems and AD…
▽ More
Analysis and design of filtered-x adaptive algorithms are conventionally done by assuming that the transfer function in the secondary path is a discrete-time system. However, in real systems such as active noise control, the secondary path is a continuous-time system. Therefore, such a system should be analyzed and designed as a hybrid system including discrete- and continuous- time systems and AD/DA devices. In this article, we propose a hybrid design taking account of continuous-time behavior of the secondary path via lifting (continuous-time polyphase decomposition) technique in sampled-data control theory.
△ Less
Submitted 15 August, 2013;
originally announced August 2013.
-
H-infinity Design of Periodically Nonuniform Interpolation and Decimation for Non-Band-Limited Signals
Authors:
Masaaki Nagahara,
Masaki Ogura,
Yutaka Yamamoto
Abstract:
In this paper, we consider signal interpolation of discrete-time signals which are decimated nonuniformly. A conventional interpolation method is based on the sampling theorem, and the resulting system consists of an ideal filter with complex-valued coefficients. While the conventional method assumes band limitation of signals, we propose a new method by sampled-data H-infinity optimization. By th…
▽ More
In this paper, we consider signal interpolation of discrete-time signals which are decimated nonuniformly. A conventional interpolation method is based on the sampling theorem, and the resulting system consists of an ideal filter with complex-valued coefficients. While the conventional method assumes band limitation of signals, we propose a new method by sampled-data H-infinity optimization. By this method, we can remove the band-limiting assumption and the optimal filter can be with real-valued coefficients. Moreover, we show that without band-limited assumption, there can be the optimal decimation patterns among ones with the same ratio. By examples, we show the effectiveness of our method.
△ Less
Submitted 12 August, 2013;
originally announced August 2013.
-
H-infinity Optimal Approximation for Causal Spline Interpolation
Authors:
Masaaki Nagahara,
Yutaka Yamamoto
Abstract:
In this paper, we give a causal solution to the problem of spline interpolation using H-infinity optimal approximation. Generally speaking, spline interpolation requires filtering the whole sampled data, the past and the future, to reconstruct the inter-sample values. This leads to non-causality of the filter, and this becomes a critical issue for real-time applications. Our objective here is to d…
▽ More
In this paper, we give a causal solution to the problem of spline interpolation using H-infinity optimal approximation. Generally speaking, spline interpolation requires filtering the whole sampled data, the past and the future, to reconstruct the inter-sample values. This leads to non-causality of the filter, and this becomes a critical issue for real-time applications. Our objective here is to derive a causal system which approximates spline interpolation by H-infinity optimization for the filter. The advantage of H-infinity optimization is that it can address uncertainty in the input signals to be interpolated in design, and hence the optimized system has robustness property against signal uncertainty. We give a closed-form solution to the H-infinity optimization in the case of the cubic splines. For higher-order splines, the optimal filter can be effectively solved by a numerical computation. We also show that the optimal FIR (Finite Impulse Response) filter can be designed by an LMI (Linear Matrix Inequality), which can also be effectively solved numerically. A design example is presented to illustrate the result.
△ Less
Submitted 12 August, 2013;
originally announced August 2013.
-
Signal Reconstruction via H-infinity Sampled-Data Control Theory: Beyond the Shannon Paradigm
Authors:
Yutaka Yamamoto,
Masaaki Nagahara,
Pramod P. Khargonekar
Abstract:
This paper presents a new method for signal reconstruction by leveraging sampled-data control theory. We formulate the signal reconstruction problem in terms of an analog performance optimization problem using a stable discrete-time filter. The proposed H-infinity performance criterion naturally takes intersample behavior into account, reflecting the energy distributions of the signal. We present…
▽ More
This paper presents a new method for signal reconstruction by leveraging sampled-data control theory. We formulate the signal reconstruction problem in terms of an analog performance optimization problem using a stable discrete-time filter. The proposed H-infinity performance criterion naturally takes intersample behavior into account, reflecting the energy distributions of the signal. We present methods for computing optimal solutions which are guaranteed to be stable and causal. Detailed comparisons to alternative methods are provided. We discuss some applications in sound and image reconstruction.
△ Less
Submitted 9 August, 2013;
originally announced August 2013.
-
H-Infinity-Optimal Fractional Delay Filters
Authors:
Masaaki Nagahara,
Yutaka Yamamoto
Abstract:
Fractional delay filters are digital filters to delay discrete-time signals by a fraction of the sampling period. Since the delay is fractional, the intersample behavior of the original analog signal becomes crucial. In contrast to the conventional designs based on the Shannon sampling theorem with the band-limiting hypothesis, the present paper proposes a new approach based on the modern sampled-…
▽ More
Fractional delay filters are digital filters to delay discrete-time signals by a fraction of the sampling period. Since the delay is fractional, the intersample behavior of the original analog signal becomes crucial. In contrast to the conventional designs based on the Shannon sampling theorem with the band-limiting hypothesis, the present paper proposes a new approach based on the modern sampled-data H-infinity optimization that aims at restoring the intersample behavior beyond the Nyquist frequency. By using the lifting transform or continuous-time blocking the design problem is equivalently reduced to a discrete-time H-infinity optimization, which can be effectively solved by numerical computation softwares. Moreover, a closed-form solution is obtained under an assumption on the original analog signals. Design examples are given to illustrate the advantage of the proposed method.
△ Less
Submitted 4 August, 2013;
originally announced August 2013.
-
Frequency Domain Min-Max Optimization of Noise-Shaping Delta-Sigma Modulators
Authors:
Masaaki Nagahara,
Yutaka Yamamoto
Abstract:
This paper proposes a min-max design of noise-shaping delta-sigma modulators. We first characterize the all stabilizing loop-filters for a linearized modulator model. By this characterization, we formulate the design problem of lowpass, bandpass, and multi-band modulators as minimization of the maximum magnitude of the noise transfer function (NTF) in fixed frequency band(s). We show that this opt…
▽ More
This paper proposes a min-max design of noise-shaping delta-sigma modulators. We first characterize the all stabilizing loop-filters for a linearized modulator model. By this characterization, we formulate the design problem of lowpass, bandpass, and multi-band modulators as minimization of the maximum magnitude of the noise transfer function (NTF) in fixed frequency band(s). We show that this optimization minimizes the worst-case reconstruction error, and hence improves the SNR (signal-to-noise ratio) of the modulator. The optimization is reduced to an optimization with a linear matrix inequality (LMI) via the generalized KYP (Kalman-Yakubovich-Popov) lemma. The obtained NTF is an FIR (finite-impulse-response) filter, which is favorable in view of implementation. We also derive a stability condition for the nonlinear model of delta-sigma modulators with general quantizers including uniform ones. This condition is described as an H-infinity norm condition, which is reduced to an LMI via the KYP lemma. Design examples show advantages of our design.
△ Less
Submitted 2 August, 2013;
originally announced August 2013.
-
Optimal Discretization of Analog Filters via Sampled-Data H-infinity Control Theory
Authors:
Masaaki Nagahara,
Yutaka Yamamoto
Abstract:
In this article, we propose optimal discretization of analog filters (or controllers) based on the theory of sampled-data H-infinity control. We formulate the discretization problem as minimization of the H-infinity norm of the error system between a (delayed) target analog filter and a digital system including an ideal sampler, a zero-order hold, and a digital filter. The problem is reduced to di…
▽ More
In this article, we propose optimal discretization of analog filters (or controllers) based on the theory of sampled-data H-infinity control. We formulate the discretization problem as minimization of the H-infinity norm of the error system between a (delayed) target analog filter and a digital system including an ideal sampler, a zero-order hold, and a digital filter. The problem is reduced to discrete-time H-infinity optimization via the fast sample/hold approximation method. We also extend the proposed method to multirate systems. Feedback controller discretization by the proposed method is discussed with respect to stability. Numerical examples show the effectiveness of the proposed method.
△ Less
Submitted 1 August, 2013;
originally announced August 2013.
