-
Model-Free Two-Degree-of-Freedom PID Controller Design for Unknown LTI Systems
Authors:
Taiga Kiyota,
Kazuhiro Sato
Abstract:
In this paper, we consider the set-point tracking problem in MIMO LTI systems with unknown model parameters. The proposed method integrates (i) the feedforward design and (ii) the PID gain tuning. We also establish a unified theoretical analysis for both components. For the feedforward design, we develop an algorithm that constructs the feedforward controller directly from the input/output data, a…
▽ More
In this paper, we consider the set-point tracking problem in MIMO LTI systems with unknown model parameters. The proposed method integrates (i) the feedforward design and (ii) the PID gain tuning. We also establish a unified theoretical analysis for both components. For the feedforward design, we develop an algorithm that constructs the feedforward controller directly from the input/output data, and provide a theoretical analysis on the time horizon of the data. For the PID gain tuning, we formulate an optimization problem and solve it by employing a model-free policy gradient method combined with a variance reduction method. We further provide theoretical analyses on the required time horizon and the sample complexity of the input/output data. These analyses incorporate the result of the feedforward design into that of the PID gain tuning. In the numerical experiments, the proposed method successfully designs a 2DOF PID controller in the model-free setting.
△ Less
Submitted 30 April, 2025;
originally announced April 2025.
-
Higher Chow cycles on Eisenstein K3 surfaces
Authors:
Ken Sato
Abstract:
We construct higher Chow cycles of type (2,1) on some families of K3 surfaces with non-symplectic automorphisms of order 3 and prove that our cycles are indecomposable for very general members. The proof is a combination of some degeneration arguments, and explicit computations of the regulator map.
We construct higher Chow cycles of type (2,1) on some families of K3 surfaces with non-symplectic automorphisms of order 3 and prove that our cycles are indecomposable for very general members. The proof is a combination of some degeneration arguments, and explicit computations of the regulator map.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Extension of Controllability Score to Infinite-Dimensional Systems
Authors:
Yuito Nakabe,
Kazuhiro Sato
Abstract:
Centrality analysis in dynamical network systems is essential for understanding system behavior. In finite-dimensional settings, controllability scores -- namely, the Volumetric Controllability Score (VCS) and the Average Energy Controllability Score (AECS) -- are defined as the unique solutions of specific optimization problems. In this work, we extend these concepts to infinite-dimensional syste…
▽ More
Centrality analysis in dynamical network systems is essential for understanding system behavior. In finite-dimensional settings, controllability scores -- namely, the Volumetric Controllability Score (VCS) and the Average Energy Controllability Score (AECS) -- are defined as the unique solutions of specific optimization problems. In this work, we extend these concepts to infinite-dimensional systems by formulating analogous optimization problems. Moreover, we prove that these optimization problems have optimal solutions under weak assumptions, and that both VCS and AECS remain unique in the infinite-dimensional context under appropriate assumptions. The uniqueness of the controllability scores is essential to use them as a centrality measure, since it not only reflects the importance of each state in the dynamical network but also provides a consistent basis for interpretation and comparison across different researchers. Finally, we illustrate the behavior of VCS and AECS with a numerical experiment based on the heat equation.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Analysis of Linear Consensus Algorithm on Strongly Connected Graph Using Effective Resistance
Authors:
Takumi Yonaiyama,
Kazuhiro Sato
Abstract:
We study the performance of the linear consensus algorithm on strongly connected graphs using the linear quadratic (LQ) cost as a performance measure.
In particular, we derive bounds on the LQ cost by leveraging effective resistance. Our results extend previous analyses -- which were limited to reversible cases -- to the nonreversible setting. To facilitate this generalization, we introduce nove…
▽ More
We study the performance of the linear consensus algorithm on strongly connected graphs using the linear quadratic (LQ) cost as a performance measure.
In particular, we derive bounds on the LQ cost by leveraging effective resistance. Our results extend previous analyses -- which were limited to reversible cases -- to the nonreversible setting. To facilitate this generalization, we introduce novel concepts, termed the back-and-forth path and the pivot node, which serve as effective alternatives to traditional techniques that require reversibility. Moreover, we apply our approach to geometric graphs to estimate the LQ cost without the reversibility assumption. The proposed approach provides a framework that can be adapted to other contexts where reversibility is typically assumed.
△ Less
Submitted 26 February, 2025;
originally announced February 2025.
-
Extending one-forms on $F$-regular singularities
Authors:
Tatsuro Kawakami,
Kenta Sato
Abstract:
We prove the logarithmic extension theorem for one-forms on strongly $F$-regular singularities. Additionally, we establish the logarithmic extension theorem for one-forms on three-dimensional klt singularities in characteristic $p>41$. To this end, we reduce the problem to the logarithmic extension theorem for two-dimensional klt singularities with imperfect residue fields using a technique based…
▽ More
We prove the logarithmic extension theorem for one-forms on strongly $F$-regular singularities. Additionally, we establish the logarithmic extension theorem for one-forms on three-dimensional klt singularities in characteristic $p>41$. To this end, we reduce the problem to the logarithmic extension theorem for two-dimensional klt singularities with imperfect residue fields using a technique based on Cartier operators.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
Controllability scores of linear time-varying network systems
Authors:
Kota Umezu,
Kazuhiro Sato
Abstract:
For large-scale network systems, network centrality based on control theory plays a crucial role in understanding their properties and controlling them efficiently. The controllability score is such a centrality index and can give a physically meaningful measure. Nevertheless, the existing work is limited to linear time-invariant (LTI) systems and the controllability score cannot be applied to lin…
▽ More
For large-scale network systems, network centrality based on control theory plays a crucial role in understanding their properties and controlling them efficiently. The controllability score is such a centrality index and can give a physically meaningful measure. Nevertheless, the existing work is limited to linear time-invariant (LTI) systems and the controllability score cannot be applied to linear time-varying (LTV) systems, which include essential models such as temporal networks for real application. This paper extends it to apply to LTV systems. Since it is defined as an optimal solution to some optimization problem, it is not necessarily uniquely determined. Its uniqueness must be guaranteed for reproducibility and interpretability. This paper also shows its uniqueness in most practical cases, which guarantees its use as a network centrality. In addition, we propose a data-driven method to compute it for its practical use. Finally, in numerical experiments, we compare controllability scores between LTI and LTV systems and assess the performance of the proposed data-driven method.
△ Less
Submitted 31 January, 2025; v1 submitted 22 January, 2025;
originally announced January 2025.
-
On the slice-torus invariant $q_M$ from $\mathbb{Z}_2$-equivariant Seiberg--Witten Floer cohomology
Authors:
Nobuo Iida,
Taketo Sano,
Kouki Sato,
Masaki Taniguchi
Abstract:
We show that Iida--Taniguchi's $\mathbb{Z}$-valued slice-torus invariant $q_M$ cannot be realized as a linear combination of Rasmussen's $s$-invariant, Ozsváth--Szabó's $τ$-invariant, all of the $\mathfrak{sl}_N$-concordance invariants ($N \geq 2$), Baldwin--Sivek's instanton $τ$-invariant, Daemi--Imori--Sato--Scaduto--Taniguchi's instanton $\tilde{s}$-invariant and Sano--Sato's Rasmussen type inv…
▽ More
We show that Iida--Taniguchi's $\mathbb{Z}$-valued slice-torus invariant $q_M$ cannot be realized as a linear combination of Rasmussen's $s$-invariant, Ozsváth--Szabó's $τ$-invariant, all of the $\mathfrak{sl}_N$-concordance invariants ($N \geq 2$), Baldwin--Sivek's instanton $τ$-invariant, Daemi--Imori--Sato--Scaduto--Taniguchi's instanton $\tilde{s}$-invariant and Sano--Sato's Rasmussen type invariants $\tilde{ss}_c$.
△ Less
Submitted 13 January, 2025;
originally announced January 2025.
-
A bifurcation analysis on a nonlocal overdetermined problem
Authors:
Kazuki Sato,
Futoshi Takahashi
Abstract:
In this paper, we study an overdetermined problem with Kirchhoff type nonlocal terms related to the celebrated work by Serrin. We obtain the precise number of solutions according to the value of the bifurcation parameter and study asymptotics of bifurcation curves of solutions when the bifurcation parameter is large in some cases.
In this paper, we study an overdetermined problem with Kirchhoff type nonlocal terms related to the celebrated work by Serrin. We obtain the precise number of solutions according to the value of the bifurcation parameter and study asymptotics of bifurcation curves of solutions when the bifurcation parameter is large in some cases.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
Bifurcation analysis for nonlocal one-dimensional boundary blow up problems
Authors:
Kazuki Sato,
Futoshi Takahashi
Abstract:
In this paper, we study one-dimensional boundary blow up problems with Kirchhoff type nonlocal terms on an interval. We perform a bifurcation analysis on the problems and obtain the precise number of solutions according to the value of the bifurcation parameter. We also obtain the precise asymptotic formula for solutions for special cases.
In this paper, we study one-dimensional boundary blow up problems with Kirchhoff type nonlocal terms on an interval. We perform a bifurcation analysis on the problems and obtain the precise number of solutions according to the value of the bifurcation parameter. We also obtain the precise asymptotic formula for solutions for special cases.
△ Less
Submitted 26 November, 2024; v1 submitted 16 November, 2024;
originally announced November 2024.
-
Violina: Various-of-trajectories Identification of Linear Time-invariant Non-Markovian Dynamics
Authors:
Ryoji Anzaki,
Kazuhiro Sato
Abstract:
We propose a new system identification method Violina (various-of-trajectories identification of linear time-invariant non-Markovian dynamics). In the Violina framework, we optimize the coefficient matrices of state-space model and memory kernel in the given space using a projected gradient descent method so that its model prediction matches the set of multiple observed data. Using Violina we can…
▽ More
We propose a new system identification method Violina (various-of-trajectories identification of linear time-invariant non-Markovian dynamics). In the Violina framework, we optimize the coefficient matrices of state-space model and memory kernel in the given space using a projected gradient descent method so that its model prediction matches the set of multiple observed data. Using Violina we can identify a linear non-Markovian dynamical system with constraints corresponding to a priori knowledge on the model parameters and memory effects. Using synthetic data, we numerically demonstrate that the Markovian and non-Markovian state-space models identified by the proposed method have considerably better generalization performances compared to the models identified by an existing dynamic decomposition-based method.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
Higher Chow cycles on K3 surfaces attached to plane quartics
Authors:
Ken Sato
Abstract:
In this paper, we give an explicit construction of higher Chow cycles of type $(2,1)$ on $K3$ surfaces obtained as quadruple coverings of the projective plane ramified along smooth quartics. The construction uses a pair of bitangents of the quartics. We prove that the higher Chow cycles generate a rank 2 subgroup in the indecomposable part of the higher Chow group for very general members, by usin…
▽ More
In this paper, we give an explicit construction of higher Chow cycles of type $(2,1)$ on $K3$ surfaces obtained as quadruple coverings of the projective plane ramified along smooth quartics. The construction uses a pair of bitangents of the quartics. We prove that the higher Chow cycles generate a rank 2 subgroup in the indecomposable part of the higher Chow group for very general members, by using a specialization argument and an explicit computation of the regulator map.
△ Less
Submitted 17 August, 2024;
originally announced August 2024.
-
Uniqueness Analysis of Controllability Scores and Their Application to Brain Networks
Authors:
Kazuhiro Sato,
Ryohei Kawamura
Abstract:
Assessing centrality in network systems is critical for understanding node importance and guiding decision-making processes. In dynamic networks, incorporating a controllability perspective is essential for identifying key nodes. In this paper, we study two control theoretic centrality measures -- the Volumetric Controllability Score (VCS) and Average Energy Controllability Score (AECS) -- to quan…
▽ More
Assessing centrality in network systems is critical for understanding node importance and guiding decision-making processes. In dynamic networks, incorporating a controllability perspective is essential for identifying key nodes. In this paper, we study two control theoretic centrality measures -- the Volumetric Controllability Score (VCS) and Average Energy Controllability Score (AECS) -- to quantify node importance in linear time-invariant network systems. We prove the uniqueness of VCS and AECS for almost all specified terminal times, thereby enhancing their applicability beyond previously recognized cases. This ensures their interpretability, comparability, and reproducibility. Our analysis reveals substantial differences between VCS and AECS in linear systems with symmetric and skew-symmetric transition matrices. We also investigate the dependence of VCS and AECS on the terminal time and prove that when this parameter is extremely small, both scores become essentially uniform. Additionally, we prove that a sequence generated by a projected gradient method for computing VCS and AECS converges linearly to both measures under several assumptions. Finally, evaluations on brain networks modeled via Laplacian dynamics using real data reveal contrasting evaluation tendencies and correlations for VCS and AECS, with AECS favoring brain regions associated with cognitive and motor functions, while VCS emphasizes sensory and emotional regions.
△ Less
Submitted 15 May, 2025; v1 submitted 6 August, 2024;
originally announced August 2024.
-
Automorphism Group of the Holomorph of a Cyclic Group
Authors:
Kazuki Sato
Abstract:
We show that the holomorph of a cyclic group of order $n$ is isomorphic to its own automophism group when $n$ is twice of a power of an odd prime.
We show that the holomorph of a cyclic group of order $n$ is isomorphic to its own automophism group when $n$ is twice of a power of an odd prime.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
Counterexamples to Allen's conjectures
Authors:
Kouki Sato
Abstract:
We show that the torus knots $T(2,5)$ and $T(2,9)$ bound smooth Möbius bands in the 4-ball whose double branched covers are negative definite, giving counterexamples to Conjectures 1.6 and 1.8 of Allen in [New York J. Math. 29 (2023) 1038-1059].
We show that the torus knots $T(2,5)$ and $T(2,9)$ bound smooth Möbius bands in the 4-ball whose double branched covers are negative definite, giving counterexamples to Conjectures 1.6 and 1.8 of Allen in [New York J. Math. 29 (2023) 1038-1059].
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
An unoriented analogue of slice-torus invariant
Authors:
Kouki Sato
Abstract:
A slice-torus invariant is an $\mathbb{R}$-valued homomorphism on the knot concordance group whose value gives a lower bound for the 4-genus such that the equality holds for any positive torus knot. Such invariants have been discovered in many of knot homology theories, while it is known that any slice-torus invariant does not factor through the topological concordance group. In this paper, we int…
▽ More
A slice-torus invariant is an $\mathbb{R}$-valued homomorphism on the knot concordance group whose value gives a lower bound for the 4-genus such that the equality holds for any positive torus knot. Such invariants have been discovered in many of knot homology theories, while it is known that any slice-torus invariant does not factor through the topological concordance group. In this paper, we introduce the notion of "unoriented slice-torus invariant", which can be regarded as the same as slice-torus invariant except for the condition about the orientability of surfaces. Then we show that the Ozsváth-Stipsicz-Szabó $\upsilon$-invariant, the Ballinger $t$-invariant and the Daemi-Scaduto $h_{\mathbb{Z}}$-invariant (shifted by a half of the knot signature) are unoriented slice-torus invariants. As an application, we give a new method for computing the above invariants, which is analogous to Livingston's method for computing slice-torus invariants. Moreover, we use the method to prove that any unoriented slice-torus invariant does not factor through the topological concordance group.
△ Less
Submitted 11 April, 2024; v1 submitted 5 April, 2024;
originally announced April 2024.
-
The Nearest Graph Laplacian in Frobenius Norm
Authors:
Kazuhiro Sato,
Masato Suzuki
Abstract:
We address the problem of finding the nearest graph Laplacian to a given matrix, with the distance measured using the Frobenius norm. Specifically, for the directed graph Laplacian, we propose two novel algorithms by reformulating the problem as convex quadratic optimization problems with a special structure: one based on the active set method and the other on direct computation of Karush-Kuhn-Tuc…
▽ More
We address the problem of finding the nearest graph Laplacian to a given matrix, with the distance measured using the Frobenius norm. Specifically, for the directed graph Laplacian, we propose two novel algorithms by reformulating the problem as convex quadratic optimization problems with a special structure: one based on the active set method and the other on direct computation of Karush-Kuhn-Tucker (KKT) points. The proposed algorithms can be applied to system identification and model reduction problems involving Laplacian dynamics. We demonstrate that these algorithms possess lower time complexities and the finite termination property, unlike the interior point method and V-FISTA, the latter of which is an accelerated projected gradient method. Our numerical experiments confirm the effectiveness of the proposed algorithms.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Boundedness of weak Fano threefolds with fixed Gorenstein index in positive characteristic
Authors:
Kenta Sato
Abstract:
In this paper, we give a partial affirmative answer to the BAB conjecture for $3$-folds in characteristic $p>5$. Specifically, we prove that a set $\mathcal{D}$ of weak Fano $3$-folds over an uncountable algebraically closed field is bounded, if each element $X \in \mathcal{D}$ satisfies certain conditions regarding the Gorenstein index, a complement and Kodaira type vanishing. In the course of th…
▽ More
In this paper, we give a partial affirmative answer to the BAB conjecture for $3$-folds in characteristic $p>5$. Specifically, we prove that a set $\mathcal{D}$ of weak Fano $3$-folds over an uncountable algebraically closed field is bounded, if each element $X \in \mathcal{D}$ satisfies certain conditions regarding the Gorenstein index, a complement and Kodaira type vanishing. In the course of the proof, we also study a uniform lower bound for Seshadri constants of nef and big invertible sheaves on projective $3$-folds.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Data-driven h2 model reduction for linear discrete-time systems
Authors:
Hiroki Sakamoto,
Kazuhiro Sato
Abstract:
We present a new framework of $h^{2}$ optimal model reduction for linear discrete-time systems. Our main contribution is to create optimal reduced order models in the $h^{2}$-norm sense directly from the measurement data alone, without using the information of the original system. In particular, we focus on the fact that the gradient of the $h^{2}$ model reduction problem is expressed using the di…
▽ More
We present a new framework of $h^{2}$ optimal model reduction for linear discrete-time systems. Our main contribution is to create optimal reduced order models in the $h^{2}$-norm sense directly from the measurement data alone, without using the information of the original system. In particular, we focus on the fact that the gradient of the $h^{2}$ model reduction problem is expressed using the discrete-time Lyapunov equation and the discrete-time Sylvester equation, and derive the data-driven gradient. In the proposed algorithm, the initial point is chosen as the output of the existing data-driven methods. Numerical experiments are conducted to show that the proposed method produce better reduced order models in the $h^{2}$-norm sense than other data-driven model order reduction approaches.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Quasistatic evolution equations with irreversibility arising from fracture mechanics
Authors:
Kotaro Sato
Abstract:
In this paper, the global-in-time $ L^2 $-solvability of the initial-boundary value problem for differential inclusions of doubly-nonlinear type, which arises from fracture mechanics, is proved. This problem is not covered by general existence theories due to the degeneracy and singularity of a dissipation potential along with the nonlinearity of elliptic terms. The existence of solutions is prove…
▽ More
In this paper, the global-in-time $ L^2 $-solvability of the initial-boundary value problem for differential inclusions of doubly-nonlinear type, which arises from fracture mechanics, is proved. This problem is not covered by general existence theories due to the degeneracy and singularity of a dissipation potential along with the nonlinearity of elliptic terms. The existence of solutions is proved based on a minimizing movement scheme, which also plays a crucial role for deriving qualitative and asymptotic properties of strong solutions. Moreover, the solutions to the initial-boundary value problem comply with three properties intrinsic to brittle fracture: complete irreversibility, unilateral equilibrium of an energy and an energy balance law, which cannot generally be realized in dissipative systems. Furthermore, long-time dynamics of strong solutions is also treated, i.e., stationary limits of the global-in-time solutions are characterized as a solution to the stationary problem.
△ Less
Submitted 16 April, 2024; v1 submitted 31 October, 2023;
originally announced October 2023.
-
Higher Chow cycles on some K3 surfaces with involution
Authors:
Shouhei Ma,
Ken Sato
Abstract:
We construct, for each 2<r<18, an explicit family of higher Chow cycles of type (2,1) on a family of lattice-polarized K3 surfaces of generic Picard rank r, and prove that the indecomposable part of this cycle is non-torsion for very general members of the family. These are the first explicit examples of such families in middle Picard rank. Our construction is based on singular double plane model…
▽ More
We construct, for each 2<r<18, an explicit family of higher Chow cycles of type (2,1) on a family of lattice-polarized K3 surfaces of generic Picard rank r, and prove that the indecomposable part of this cycle is non-torsion for very general members of the family. These are the first explicit examples of such families in middle Picard rank. Our construction is based on singular double plane model of K3 surfaces, and the proof of indecomposability is done by a degeneration method.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Torsion birational motives of surfaces and unramified cohomology
Authors:
Kanetomo Sato,
Takao Yamazaki
Abstract:
Let $S$ and $T$ be smooth projective varieties over an algebraically closed field. Suppose that $S$ is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of $k$, if an algebraic correspondence $T \to S$ acts trivially on the unramified cohomology, then it acts trivially on any normalized, birational, and motivic functor. This generalizes Kahn's result o…
▽ More
Let $S$ and $T$ be smooth projective varieties over an algebraically closed field. Suppose that $S$ is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of $k$, if an algebraic correspondence $T \to S$ acts trivially on the unramified cohomology, then it acts trivially on any normalized, birational, and motivic functor. This generalizes Kahn's result on the torsion order of $S$. We also exhibit an example of $S$ over $\mathbb{C}$ for which $S \times S$ violates the integral Hodge conjecture.
△ Less
Submitted 1 October, 2024; v1 submitted 1 September, 2023;
originally announced September 2023.
-
General hyperplane sections of log canonical threefolds in positive characteristic
Authors:
Kenta Sato
Abstract:
In this paper, we prove that if a $3$-dimensional quasi-projective variety $X$ over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section $H$ of $X$. We also show that the same is true for klt singularities, which is a slight extension of \cite{ST20}. In the course of the proof, we provide a sufficient condition for lo…
▽ More
In this paper, we prove that if a $3$-dimensional quasi-projective variety $X$ over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section $H$ of $X$. We also show that the same is true for klt singularities, which is a slight extension of \cite{ST20}. In the course of the proof, we provide a sufficient condition for log canonical (resp.~klt) surface singularities to be geometrically log canonical (resp.~geometrically klt) over a field.
△ Less
Submitted 22 February, 2025; v1 submitted 25 March, 2023;
originally announced March 2023.
-
Ronkin/Zeta Correspondence
Authors:
Takashi Komatsu,
Norio Konno,
Iwao Sato,
Kohei Sato
Abstract:
The Ronkin function was defined by Ronkin in the consideration of the zeros of almost periodic function. Recently, this function has been used in various research fields in mathematics, physics and so on. Especially in mathematics, it has a closed connections with tropical geometry, amoebas, Newton polytopes and dimer models.
On the other hand, we have been investigated a new class of zeta funct…
▽ More
The Ronkin function was defined by Ronkin in the consideration of the zeros of almost periodic function. Recently, this function has been used in various research fields in mathematics, physics and so on. Especially in mathematics, it has a closed connections with tropical geometry, amoebas, Newton polytopes and dimer models.
On the other hand, we have been investigated a new class of zeta functions for various kinds of walks including quantum walks by a series of our previous work on Zeta Correspondence. The quantum walk is a quantum counterpart of the random walk. In this paper, we present a new relation between the Ronkin function and our zeta function for random walks and quantum walks. Firstly we consider this relation in the case of one-dimensional random walks. Afterwards we deal with higher-dimensional random walks. For comparison with the case of the quantum walk, we also treat the case of one-dimensional quantum walks. Our results bridge between the Ronkin function and the zeta function via quantum walks for the first time.
△ Less
Submitted 12 February, 2023; v1 submitted 28 December, 2022;
originally announced December 2022.
-
Evolution equations with complete irreversibility and energy conservation
Authors:
Goro Akagi,
Kotaro Sato
Abstract:
This paper is concerned with the initial-boundary value problem for an evolutionary variational inequality complying with three intrinsic properties: complete irreversibility, unilateral equilibrium of an energy and an energy conservation law, which cannot generally be realized in dissipative systems such as standard gradient flows. Main results consist of well-posedness in a strong formulation, q…
▽ More
This paper is concerned with the initial-boundary value problem for an evolutionary variational inequality complying with three intrinsic properties: complete irreversibility, unilateral equilibrium of an energy and an energy conservation law, which cannot generally be realized in dissipative systems such as standard gradient flows. Main results consist of well-posedness in a strong formulation, qualitative properties of strong solutions (i.e., comparison principle and the three properties mentioned above) and long-time dynamics of strong solutions (more precisely, convergence to an equilibrium). The well-posedness will be proved based on a minimizing movement scheme without parabolic regularization, which will also play a crucial role for proving qualitative and asymptotic properties of strong solutions. Moreover, the variational inequality under consideration will be characterized as a singular limit of some (generalized) gradient flows.
△ Less
Submitted 9 May, 2023; v1 submitted 23 December, 2022;
originally announced December 2022.
-
Higher Chow cycles on a family of Kummer surfaces
Authors:
Ken Sato
Abstract:
We construct a collection of families of higher Chow cycles of type $(2,1)$ on a 2-dimensional family of Kummer surfaces, and prove that for a very general member, they generate a subgroup of rank $\ge 18$ in the indecomposable part of the higher Chow group. Construction of the cycles uses a finite group action on the family, and the proof of their linear independence uses Picard-Fuchs differentia…
▽ More
We construct a collection of families of higher Chow cycles of type $(2,1)$ on a 2-dimensional family of Kummer surfaces, and prove that for a very general member, they generate a subgroup of rank $\ge 18$ in the indecomposable part of the higher Chow group. Construction of the cycles uses a finite group action on the family, and the proof of their linear independence uses Picard-Fuchs differential operators.
△ Less
Submitted 18 July, 2024; v1 submitted 29 November, 2022;
originally announced November 2022.
-
A family of slice-torus invariants from the divisibility of Lee classes
Authors:
Taketo Sano,
Kouki Sato
Abstract:
We give a family of slice-torus invariants $\tilde{ss}_c$, each defined from the $c$-divisibility of the reduced Lee class in a variant of reduced Khovanov homology, parameterized by prime elements $c$ in any principal ideal domain $R$. For the special case $(R, c) = (F[H], H)$ where $F$ is any field, we prove that $\tilde{ss}_c$ coincides with the Rasmussen invariant $s^F$ over $F$. Compared with…
▽ More
We give a family of slice-torus invariants $\tilde{ss}_c$, each defined from the $c$-divisibility of the reduced Lee class in a variant of reduced Khovanov homology, parameterized by prime elements $c$ in any principal ideal domain $R$. For the special case $(R, c) = (F[H], H)$ where $F$ is any field, we prove that $\tilde{ss}_c$ coincides with the Rasmussen invariant $s^F$ over $F$. Compared with the unreduced invariants $ss_c$ defined by the first author in a previous paper, we prove that $ss_c = \tilde{ss}_c$ for $(R, c) = (F[H], H)$ and $(\mathbb{Z}, 2)$. However for $(R, c) = (\mathbb{Z}, 3)$, computational results show that $ss_3$ is not slice-torus, which implies that it is linearly independent from the reduced invariants, and particularly from the Rasmussen invariants.
△ Less
Submitted 14 May, 2023; v1 submitted 4 November, 2022;
originally announced November 2022.
-
Instantons, special cycles, and knot concordance
Authors:
Aliakbar Daemi,
Hayato Imori,
Kouki Sato,
Christopher Scaduto,
Masaki Taniguchi
Abstract:
We introduce a framework for defining concordance invariants of knots using equivariant singular instanton Floer theory with Chern-Simons filtration. It is demonstrated that many of the concordance invariants defined using instantons in recent years can be recovered from our framework. This relationship allows us to compute Kronheimer and Mrowka's $s^\sharp$-invariant and fractional ideal invarian…
▽ More
We introduce a framework for defining concordance invariants of knots using equivariant singular instanton Floer theory with Chern-Simons filtration. It is demonstrated that many of the concordance invariants defined using instantons in recent years can be recovered from our framework. This relationship allows us to compute Kronheimer and Mrowka's $s^\sharp$-invariant and fractional ideal invariants for two-bridge knots, and more. In particular, we prove a quasi-additivity property of $s^\sharp$, answering a question of Gong. We also introduce invariants that are formally similar to the Heegaard Floer $τ$-invariant of Oszváth and Szabó and the $\varepsilon$-invariant of Hom. We provide evidence for a precise relationship between these latter two invariants and the $s^\sharp$-invariant.
Some new topological applications that follow from our techniques are as follows. First, we produce a wide class of patterns whose induced satellite maps on the concordance group have the property that their images have infinite rank, giving a partial answer to a conjecture of Hedden and Pinzón-Caicedo. Second, we produce infinitely many two-bridge knots $K$ which are torsion in the algebraic concordance group and yet have the property that the set of positive $1/n$-surgeries on $K$ is a linearly independent set in the homology cobordism group. Finally, for a knot which is quasi-positive and not slice, we prove that any concordance from the knot admits an irreducible $SU(2)$-representation on the fundamental group of the concordance complement.
While much of the paper focuses on constructions using singular instanton theory with the traceless meridional holonomy condition, we also develop an analogous framework for concordance invariants in the case of arbitrary holonomy parameters, and some applications are given in this setting.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Controllability scores for selecting control nodes of large-scale network systems
Authors:
Kazuhiro Sato,
Shun Terasaki
Abstract:
To appropriately select control nodes of a large-scale network system, we propose two control centralities called volumetric and average energy controllability scores. The scores are the unique solutions to convex optimization problems formulated using the controllability Gramian. The uniqueness is proven for stable cases and for unstable cases that include multi-agent systems. We show that the sc…
▽ More
To appropriately select control nodes of a large-scale network system, we propose two control centralities called volumetric and average energy controllability scores. The scores are the unique solutions to convex optimization problems formulated using the controllability Gramian. The uniqueness is proven for stable cases and for unstable cases that include multi-agent systems. We show that the scores can be efficiently calculated by using a proposed algorithm based on the projected gradient method onto the standard simplex. Numerical experiments demonstrate that the proposed algorithm is more efficient than an existing interior point method, and the proposed scores can correctly capture the importance of each state node on controllability, outperforming existing control centralities.
△ Less
Submitted 28 January, 2024; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Deformations of log terminal and semi log canonical singularities
Authors:
Kenta Sato,
Shunsuke Takagi
Abstract:
In this paper, we prove that klt singularities are invariant under deformations if the generic fiber is $\mathbb{Q}$-Gorenstein. We also obtain a similar result for slc singularities. These are generalizations of results of Esnault-Viehweg and S. Ishii.
In this paper, we prove that klt singularities are invariant under deformations if the generic fiber is $\mathbb{Q}$-Gorenstein. We also obtain a similar result for slc singularities. These are generalizations of results of Esnault-Viehweg and S. Ishii.
△ Less
Submitted 4 July, 2022; v1 submitted 9 April, 2022;
originally announced April 2022.
-
Convergence Error Analysis of Reflected Gradient Langevin Dynamics for Globally Optimizing Non-Convex Constrained Problems
Authors:
Kanji Sato,
Akiko Takeda,
Reiichiro Kawai,
Taiji Suzuki
Abstract:
Gradient Langevin dynamics and a variety of its variants have attracted increasing attention owing to their convergence towards the global optimal solution, initially in the unconstrained convex framework while recently even in convex constrained non-convex problems. In the present work, we extend those frameworks to non-convex problems on a non-convex feasible region with a global optimization al…
▽ More
Gradient Langevin dynamics and a variety of its variants have attracted increasing attention owing to their convergence towards the global optimal solution, initially in the unconstrained convex framework while recently even in convex constrained non-convex problems. In the present work, we extend those frameworks to non-convex problems on a non-convex feasible region with a global optimization algorithm built upon reflected gradient Langevin dynamics and derive its convergence rates. By effectively making use of its reflection at the boundary in combination with the probabilistic representation for the Poisson equation with the Neumann boundary condition, we present promising convergence rates, particularly faster than the existing one for convex constrained non-convex problems.
△ Less
Submitted 13 August, 2024; v1 submitted 18 March, 2022;
originally announced March 2022.
-
Structured Output Feedback Control for Linear Quadratic Regulator Using Policy Gradient Method
Authors:
Shokichi Takakura,
Kazuhiro Sato
Abstract:
We consider the static output feedback control for Linear Quadratic Regulator problems with structured constraints under the assumption that system parameters are unknown. To solve the problem in the model free setting, we propose the policy gradient algorithm based on the gradient projection method and show its global convergence to $\varepsilon$-stationary points. In addition, we introduce a var…
▽ More
We consider the static output feedback control for Linear Quadratic Regulator problems with structured constraints under the assumption that system parameters are unknown. To solve the problem in the model free setting, we propose the policy gradient algorithm based on the gradient projection method and show its global convergence to $\varepsilon$-stationary points. In addition, we introduce a variance reduction technique and show both theoretically and numerically that it significantly reduces the variance in the gradient estimation. We also show in the numerical experiments that the model free approach efficiently solves the problem.
△ Less
Submitted 19 March, 2023; v1 submitted 1 March, 2022;
originally announced March 2022.
-
$H^2$-Optimal Reduction of Positive Networks using Riemannian Augmented Lagrangian Method
Authors:
Sota Misawa,
Kazuhiro Sato
Abstract:
In this study, we formulate the model reduction problem of a stable and positive network system as a constrained Riemannian optimization problem with the $H^2$-error objective function of the original and reduced network systems. We improve the reduction performance of the clustering-based method, which is one of the most known methods for model reduction of positive network systems, by using the…
▽ More
In this study, we formulate the model reduction problem of a stable and positive network system as a constrained Riemannian optimization problem with the $H^2$-error objective function of the original and reduced network systems. We improve the reduction performance of the clustering-based method, which is one of the most known methods for model reduction of positive network systems, by using the output of the clustering-based method as the initial point for the proposed method. The proposed method reduces the dimension of the network system while preserving the properties of stability, positivity, and interconnection structure by applying the Riemannian augmented Lagrangian method (RALM) and deriving the Riemannian gradient of the Lagrangian. To check the efficiency of our method, we conduct a numerical experiment and compare it with the clustering-based method in the sense of $H^2$-error and $H^\infty$-error.
△ Less
Submitted 12 May, 2022; v1 submitted 31 December, 2021;
originally announced December 2021.
-
Stable Linear System Identification with Prior Knowledge by Riemannian Sequential Quadratic Optimization
Authors:
Mitsuaki Obara,
Kazuhiro Sato,
Hiroki Sakamoto,
Takayuki Okuno,
Akiko Takeda
Abstract:
We consider an identification method for a linear continuous time-invariant autonomous system from noisy state observations. In particular, we focus on the identification to satisfy the asymptotic stability of the system with some prior knowledge. To this end, we propose to model this identification problem as a Riemannian nonlinear optimization (RNLO) problem, where the stability is ensured throu…
▽ More
We consider an identification method for a linear continuous time-invariant autonomous system from noisy state observations. In particular, we focus on the identification to satisfy the asymptotic stability of the system with some prior knowledge. To this end, we propose to model this identification problem as a Riemannian nonlinear optimization (RNLO) problem, where the stability is ensured through a certain Riemannian manifold and the prior knowledge is expressed as nonlinear constraints defined on this manifold. To solve this RNLO, we apply the Riemannian sequential quadratic optimization (RSQO) that was proposed by Obara, Okuno, and Takeda (2022) most recently. RSQO performs quite well with theoretical guarantee to find a point satisfying the Karush-Kuhn-Tucker conditions of RNLO. In this paper, we demonstrate that the identification problem can be indeed solved by RSQO more effectively than competing algorithms.
△ Less
Submitted 15 September, 2023; v1 submitted 28 December, 2021;
originally announced December 2021.
-
Minimal controllability problem on linear structural descriptor systems with forbidden nodes
Authors:
Shun Terasaki,
Kazuhiro Sato
Abstract:
We consider a minimal controllability problem (MCP), which determines the minimum number of input nodes for a descriptor system to be structurally controllable. We investigate the "forbidden nodes" in descriptor systems, denoting nodes that are unable to establish connections with input components. The three main results of this work are as follows. First, we show a solvability condition for the M…
▽ More
We consider a minimal controllability problem (MCP), which determines the minimum number of input nodes for a descriptor system to be structurally controllable. We investigate the "forbidden nodes" in descriptor systems, denoting nodes that are unable to establish connections with input components. The three main results of this work are as follows. First, we show a solvability condition for the MCP with forbidden nodes using graph theory such as a bipartite graph and its Dulmage--Mendelsohn decomposition. Next, we derive the optimal value of the MCP with forbidden nodes. The optimal value is determined by an optimal solution for constrained maximum matching, and this result includes that of the standard MCP in the previous work. Finally, we provide an efficient algorithm for solving the MCP with forbidden nodes based on an alternating path algorithm.
△ Less
Submitted 11 April, 2023; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Hilbert desingularizations for three dimensional canonical cyclic quotient singularities
Authors:
Kohei Sato,
Yusuke Sato
Abstract:
In this paper, we shall discuss Hilbert property of ${\rm Hilb}^{G}(\mathbb{C}^{3})$, Fujiki-Oka resolutions and iterated Fujiki-Oka resolutions for three dimensional canonical cyclic quotient singularities by using the classification shown by Ishida and Iwashita\cite{II}. Finally, we shall prove that there exists a Hilbert desingularization for any three dimensional canonical cyclic quotient sing…
▽ More
In this paper, we shall discuss Hilbert property of ${\rm Hilb}^{G}(\mathbb{C}^{3})$, Fujiki-Oka resolutions and iterated Fujiki-Oka resolutions for three dimensional canonical cyclic quotient singularities by using the classification shown by Ishida and Iwashita\cite{II}. Finally, we shall prove that there exists a Hilbert desingularization for any three dimensional canonical cyclic quotient singularity.
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
Arithmetic and geometric deformations of $F$-pure and $F$-regular singularities
Authors:
Kenta Sato,
Shunsuke Takagi
Abstract:
Given a normal $\mathbb{Q}$-Gorenstein complex variety $X$, we prove that if one spreads it out to a normal $\mathbb{Q}$-Gorenstein scheme $\mathcal{X}$ of mixed characteristic whose reduction $\mathcal{X}_p$ modulo $p$ has normal $F$-pure singularities for a single prime $p$, then $X$ has log canonical singularities. In addition, we show its analog for log terminal singularities, without assuming…
▽ More
Given a normal $\mathbb{Q}$-Gorenstein complex variety $X$, we prove that if one spreads it out to a normal $\mathbb{Q}$-Gorenstein scheme $\mathcal{X}$ of mixed characteristic whose reduction $\mathcal{X}_p$ modulo $p$ has normal $F$-pure singularities for a single prime $p$, then $X$ has log canonical singularities. In addition, we show its analog for log terminal singularities, without assuming that $\mathcal{X}$ is $\mathbb{Q}$-Gorenstein, which is a generalization of a result of Ma-Schwede. We also prove that two-dimensional strongly $F$-regular singularities are stable under equal characteristic deformations. Our results give an affirmative answer to a conjecture of Liedtke-Martin-Matsumoto on deformations of linearly reductive quotient singularities.
△ Less
Submitted 18 March, 2021; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Minimal controllability problems on linear structural descriptor systems
Authors:
Shun Terasaki,
Kazuhiro Sato
Abstract:
We consider minimal controllability problems (MCPs) on linear structural descriptor systems. We address two problems of determining the minimum number of input nodes such that a descriptor system is structurally controllable. We show that MCP0 for structural descriptor systems can be solved in polynomial time. This is the same as the existing results on typical structural linear time invariant (LT…
▽ More
We consider minimal controllability problems (MCPs) on linear structural descriptor systems. We address two problems of determining the minimum number of input nodes such that a descriptor system is structurally controllable. We show that MCP0 for structural descriptor systems can be solved in polynomial time. This is the same as the existing results on typical structural linear time invariant (LTI) systems. However, the derivation of the result is considerably different because the derivation technique of the existing result cannot be used for descriptor systems. Instead, we use the Dulmage--Mendelsohn decomposition. Moreover, we prove that the results for MCP1 are different from those for usual LTI systems. In fact, MCP1 for descriptor systems is an NP-hard problem, while MCP1 for LTI systems can be solved in polynomial time.
△ Less
Submitted 3 May, 2021; v1 submitted 8 November, 2020;
originally announced November 2020.
-
Reduced model reconstruction method for stable positive network systems
Authors:
Kazuhiro Sato
Abstract:
We consider a reconstruction problem of a reduced stable positive network system with the preservation of the original interconnection structure based on an $H^2$ optimal model reduction problem with constraints. To this end, we define an important set using the Perron--Frobenius theory of nonnegative matrices such that all elements of the set are stable and Metzler. Using the projection onto the…
▽ More
We consider a reconstruction problem of a reduced stable positive network system with the preservation of the original interconnection structure based on an $H^2$ optimal model reduction problem with constraints. To this end, we define an important set using the Perron--Frobenius theory of nonnegative matrices such that all elements of the set are stable and Metzler. Using the projection onto the set, we propose a cyclic projected gradient method to produce a better reduced model than an initial reduced model in the sense of the $H^2$ norm. In the method, we use Lipschitz constants of the gradients of our objective function to define the step sizes without a line search method whose computational complexity is large. Moreover, the existence of the Lipschitz constants guarantees the global convergence of our proposed algorithm to a stationary point.
The numerical experiments demonstrate that the proposed algorithm improves a given reduced model, and can be used for large-scale systems.
△ Less
Submitted 21 October, 2022; v1 submitted 30 September, 2020;
originally announced September 2020.
-
The bridge number of surface links and kei colorings
Authors:
Kouki Sato,
Kokoro Tanaka
Abstract:
Meier and Zupan introduced bridge trisections of surface links in $S^4$ as a 4-dimensional analogue to bridge decompositions of classical links, which gives a numerical invariant of surface links called the bridge number. We prove that there exist infinitely many surface knots with bridge number $n$ for any integer $n \geq 4$. To prove it, we use colorings of surface links by keis and give lower b…
▽ More
Meier and Zupan introduced bridge trisections of surface links in $S^4$ as a 4-dimensional analogue to bridge decompositions of classical links, which gives a numerical invariant of surface links called the bridge number. We prove that there exist infinitely many surface knots with bridge number $n$ for any integer $n \geq 4$. To prove it, we use colorings of surface links by keis and give lower bounds for the bridge number of surface links.
△ Less
Submitted 31 December, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Crepant Property of Fujiki-Oka Resolutions for Gorenstein Abelian Quotient Singularities
Authors:
Kohei Sato,
Yusuke Sato
Abstract:
We show a sufficient condition for Fujiki-Oka resolutions of Gorenstein abelian quotient singularities to be crepant in all dimensions by using Ashikaga's continuous fractions. Moreover, we prove that all three dimensional Gorenstein abelian quotient singularities possess a crepant resolution as a corollary. This alternative proof of existence needs only simple computations comparing with the resu…
▽ More
We show a sufficient condition for Fujiki-Oka resolutions of Gorenstein abelian quotient singularities to be crepant in all dimensions by using Ashikaga's continuous fractions. Moreover, we prove that all three dimensional Gorenstein abelian quotient singularities possess a crepant resolution as a corollary. This alternative proof of existence needs only simple computations comparing with the results ever known.
△ Less
Submitted 10 September, 2020; v1 submitted 7 April, 2020;
originally announced April 2020.
-
Dimension-free convergence rates for gradient Langevin dynamics in RKHS
Authors:
Boris Muzellec,
Kanji Sato,
Mathurin Massias,
Taiji Suzuki
Abstract:
Gradient Langevin dynamics (GLD) and stochastic GLD (SGLD) have attracted considerable attention lately, as a way to provide convergence guarantees in a non-convex setting. However, the known rates grow exponentially with the dimension of the space. In this work, we provide a convergence analysis of GLD and SGLD when the optimization space is an infinite dimensional Hilbert space. More precisely,…
▽ More
Gradient Langevin dynamics (GLD) and stochastic GLD (SGLD) have attracted considerable attention lately, as a way to provide convergence guarantees in a non-convex setting. However, the known rates grow exponentially with the dimension of the space. In this work, we provide a convergence analysis of GLD and SGLD when the optimization space is an infinite dimensional Hilbert space. More precisely, we derive non-asymptotic, dimension-free convergence rates for GLD/SGLD when performing regularized non-convex optimization in a reproducing kernel Hilbert space. Amongst others, the convergence analysis relies on the properties of a stochastic differential equation, its discrete time Galerkin approximation and the geometric ergodicity of the associated Markov chains.
△ Less
Submitted 26 March, 2020; v1 submitted 29 February, 2020;
originally announced March 2020.
-
An algorithm for computing the $Υ$-invariant and the $d$-invariants of Dehn surgeries
Authors:
Taketo Sano,
Kouki Sato
Abstract:
By using grid homology theory, we give an explicit algorithm for computing Ozsváth-Stipsicz-Szabó's $Υ$-invariant and the $d$-invariant of Dehn surgeries along knots in $S^3$. As its application, we compute the two invariants for all prime knots with up to 11 crossings.
By using grid homology theory, we give an explicit algorithm for computing Ozsváth-Stipsicz-Szabó's $Υ$-invariant and the $d$-invariant of Dehn surgeries along knots in $S^3$. As its application, we compute the two invariants for all prime knots with up to 11 crossings.
△ Less
Submitted 21 February, 2020;
originally announced February 2020.
-
Controllability maximization of large-scale systems using projected gradient method
Authors:
Kazuhiro Sato,
Akiko Takeda
Abstract:
In this work, we formulate two controllability maximization problems for large-scale networked dynamical systems such as brain networks: The first problem is a sparsity constraint optimization problem with a box constraint. The second problem is a modified problem of the first problem, in which the state transition matrix is Metzler. In other words, the second problem is a realization problem for…
▽ More
In this work, we formulate two controllability maximization problems for large-scale networked dynamical systems such as brain networks: The first problem is a sparsity constraint optimization problem with a box constraint. The second problem is a modified problem of the first problem, in which the state transition matrix is Metzler. In other words, the second problem is a realization problem for a positive system. We develop a projected gradient method for solving the problems, and prove global convergence to a stationary point with locally linear convergence rate. The projections onto the constraints of the first and second problems are given explicitly. Numerical experiments using the proposed method provide non-trivial results. In particular, the controllability characteristic is observed to change with increase in the parameter specifying sparsity, and the change rate appears to be dependent on the network structure.
△ Less
Submitted 11 February, 2020;
originally announced February 2020.
-
Étale cohomology of arithmetic schemes and zeta values of arithmetic surfaces
Authors:
Kanetomo Sato
Abstract:
In this paper, we give an approach to the zeta values of a (proper regular) arithmetic scheme X at the integers r>=d:=dim(X), using étale cohomology of X with Q_p(r) and Z_p(r)-coefficients.
In this paper, we give an approach to the zeta values of a (proper regular) arithmetic scheme X at the integers r>=d:=dim(X), using étale cohomology of X with Q_p(r) and Z_p(r)-coefficients.
△ Less
Submitted 15 April, 2021; v1 submitted 27 January, 2020;
originally announced January 2020.
-
On accumulation points of $F$-pure thresholds on regular local rings
Authors:
Kenta Sato
Abstract:
Blickle, Mustaţă and Smith proposed two conjectures on the limits of $F$-pure thresholds. One conjecture asks whether or not the limit of a sequence of $F$-pure thresholds of principal ideals on regular local rings of fixed dimension can be written as an $F$-pure threshold in lower dimension. Another conjecture predicts that any $F$-pure threshold of a formal power series can be written as the…
▽ More
Blickle, Mustaţă and Smith proposed two conjectures on the limits of $F$-pure thresholds. One conjecture asks whether or not the limit of a sequence of $F$-pure thresholds of principal ideals on regular local rings of fixed dimension can be written as an $F$-pure threshold in lower dimension. Another conjecture predicts that any $F$-pure threshold of a formal power series can be written as the $F$-pure threshold of a polynomial. In this paper, we prove that the first conjecture has a counterexample but a weaker statement still holds. We also give a partial affirmative answer to the second conjecture.
△ Less
Submitted 4 February, 2020; v1 submitted 24 January, 2020;
originally announced January 2020.
-
Bayesian Generalization Error of Poisson Mixture and Simplex Vandermonde Matrix Type Singularity
Authors:
Kenichiro Sato,
Sumio Watanabe
Abstract:
A Poisson mixture is one of the practically important models in computer science, biology, and sociology. However, the theoretical property has not been studied because the posterior distribution can not be approximated by any normal distribution. Such a model is called singular and it is known that Real Log Canonical Threshold (RLCT) is equal to the coefficient of the asymptotically main term of…
▽ More
A Poisson mixture is one of the practically important models in computer science, biology, and sociology. However, the theoretical property has not been studied because the posterior distribution can not be approximated by any normal distribution. Such a model is called singular and it is known that Real Log Canonical Threshold (RLCT) is equal to the coefficient of the asymptotically main term of the Bayesian generalization error. In this paper, we derive RLCT of a simplex Vandermonde matrix type singularity which is equal to that of a Poisson mixture in general cases.
△ Less
Submitted 31 December, 2019;
originally announced December 2019.
-
Weak Akizuki-Nakano vanishing theorem for globally $F$-split 3-folds
Authors:
Kenta Sato,
Shunsuke Takagi
Abstract:
In this paper, we prove that a weak form of the Akizuki-Nakano vanishing theorem holds on globally $F$-split 3-folds. Making use of this vanishing theorem, we study deformations of globally $F$-split Fano 3-folds and the Kodaira vanishing theorem for thickenings of locally complete intersection globally $F$-regular 3-folds.
In this paper, we prove that a weak form of the Akizuki-Nakano vanishing theorem holds on globally $F$-split 3-folds. Making use of this vanishing theorem, we study deformations of globally $F$-split Fano 3-folds and the Kodaira vanishing theorem for thickenings of locally complete intersection globally $F$-regular 3-folds.
△ Less
Submitted 28 June, 2023; v1 submitted 27 December, 2019;
originally announced December 2019.
-
The $ν^+$-equivalence classes of genus one knots
Authors:
Kouki Sato
Abstract:
The $ν^+$-equivalence is an equivalence relation on the knot concordance group. This relation can be seen as a certain stable equivalence on knot Floer complexes $CFK^{\infty}$, and many concordance invariants derived from Heegaard Floer theory are invariant under the equivalence. In this paper, we show that any genus one knot is $ν^+$-equivalent to one of the trefoil, its mirror and the unknot.
The $ν^+$-equivalence is an equivalence relation on the knot concordance group. This relation can be seen as a certain stable equivalence on knot Floer complexes $CFK^{\infty}$, and many concordance invariants derived from Heegaard Floer theory are invariant under the equivalence. In this paper, we show that any genus one knot is $ν^+$-equivalent to one of the trefoil, its mirror and the unknot.
△ Less
Submitted 2 October, 2019; v1 submitted 21 July, 2019;
originally announced July 2019.
-
Filtered instanton Floer homology and the homology cobordism group
Authors:
Yuta Nozaki,
Kouki Sato,
Masaki Taniguchi
Abstract:
For any $s \in [-\infty, 0] $ and oriented homology 3-sphere $Y$, we introduce a homology cobordism invariant $r_s(Y)\in (0,\infty]$. The values $\{r_s(Y)\}$ are included in the critical values of the $SU(2)$-Chern-Simons functional of $Y$, and we show a negative definite cobordism inequality and a connected sum formula for $r_s$. As applications, we obtain several new results on the homology cobo…
▽ More
For any $s \in [-\infty, 0] $ and oriented homology 3-sphere $Y$, we introduce a homology cobordism invariant $r_s(Y)\in (0,\infty]$. The values $\{r_s(Y)\}$ are included in the critical values of the $SU(2)$-Chern-Simons functional of $Y$, and we show a negative definite cobordism inequality and a connected sum formula for $r_s$. As applications, we obtain several new results on the homology cobordism group. First, we give infinitely many homology 3-spheres which cannot bound any definite 4-manifold. Next, we show that if the 1-surgery of $S^3$ along a knot has the Frøyshov invariant negative, then all positive $1/n$-surgeries along the knot are linearly independent in the homology cobordism group. In another direction, we use $\{r_s\}$ to define a filtration on the homology cobordism group which is parametrized by $[0,\infty]$. Moreover, we compute an approximate value of $r_s$ for the hyperbolic 3-manifold obtained by $1/2$-surgery along the mirror of the knot $5_2$.
△ Less
Submitted 26 January, 2022; v1 submitted 10 May, 2019;
originally announced May 2019.
-
Error Analysis of Approximate Operators for a Particle Method based on Voronoi Diagram
Authors:
Hajime Koba,
Kazuki Sato
Abstract:
This paper considers several approximate operators used in a particle method based on a Voronoi diagram. We introduce and study our approximate operators on gradient and Laplace operators. We derive error estimates for these approximate operators by applying our weight functions. The key idea of deriving our error estimates is to divide the integration region into a ring-shaped area and some areas…
▽ More
This paper considers several approximate operators used in a particle method based on a Voronoi diagram. We introduce and study our approximate operators on gradient and Laplace operators. We derive error estimates for these approximate operators by applying our weight functions. The key idea of deriving our error estimates is to divide the integration region into a ring-shaped area and some areas. In the Appendix, we give an example application of the main results of this paper.
△ Less
Submitted 16 January, 2023; v1 submitted 4 April, 2019;
originally announced April 2019.
