-
Modular Symbols over Function Fields of Elliptic Curves
Authors:
Seong Eun Jung
Abstract:
Let $k:=\mathbb{F}_q$ be the finite field of $q$ elements and $E$ an elliptic curve over $k$ given by the equation $f(x,y) = 0$. Let $k[E]$ the affine coordinate ring and $k(E)$ the field of fractions. We fix a place $\infty$ of $k(E)$ and let $k_{\infty}$ be the completion. The group ${\rm{GL}}_2(k[E])$ acts on the symmetric space $\mathcal{T}$, the Bruhat-Tits building of…
▽ More
Let $k:=\mathbb{F}_q$ be the finite field of $q$ elements and $E$ an elliptic curve over $k$ given by the equation $f(x,y) = 0$. Let $k[E]$ the affine coordinate ring and $k(E)$ the field of fractions. We fix a place $\infty$ of $k(E)$ and let $k_{\infty}$ be the completion. The group ${\rm{GL}}_2(k[E])$ acts on the symmetric space $\mathcal{T}$, the Bruhat-Tits building of ${\rm{PGL}}_2(k_{\infty})$. In this paper, we use the quotient space to construct the space of modular symbols over $K(E)$. We prove that this space is given by an explicit set of generators and their relations.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Huber means on Riemannian manifolds
Authors:
Jongmin Lee,
Sungkyu Jung
Abstract:
This article introduces Huber means on Riemannian manifolds, providing a robust alternative to the Frechet mean by integrating elements of both square and absolute loss functions. The Huber means are designed to be highly resistant to outliers while maintaining efficiency, making it a valuable generalization of Huber's M-estimator for manifold-valued data. We comprehensively investigate the statis…
▽ More
This article introduces Huber means on Riemannian manifolds, providing a robust alternative to the Frechet mean by integrating elements of both square and absolute loss functions. The Huber means are designed to be highly resistant to outliers while maintaining efficiency, making it a valuable generalization of Huber's M-estimator for manifold-valued data. We comprehensively investigate the statistical and computational aspects of Huber means, demonstrating their utility in manifold-valued data analysis. Specifically, we establish minimal conditions for ensuring the existence and uniqueness of the Huber mean and discuss regularity conditions for unbiasedness. The Huber means are statistically consistent and enjoy the central limit theorem. Additionally, we propose a moment-based estimator for the limiting covariance matrix, which is used to construct a robust one-sample location test procedure and an approximate confidence region for location parameters. Huber means are shown to be highly robust and efficient in the presence of outliers or under heavy-tailed distribution. To be more specific, it achieves a breakdown point of at least 0.5, the highest among all isometric equivariant estimators, and is more efficient than the Frechet mean under heavy-tailed distribution. Numerical examples on spheres and the set of symmetric positive-definite matrices further illustrate the efficiency and reliability of the proposed Huber means on Riemannian manifolds.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
Tjurina spectrum and Hertling conjecture
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
We present a proof of a conjecture of Q. Shi, Y. Wang and H. Zuo claiming that the maximal spectral number of a hypersurface isolated singularity does not belong to the Tjurina spectrum. This follows from the self-duality of the Jacobian ring, which is compatible with the action of $f$ and also with the $V$-filtration. We also provide a sufficient condition for the generalized Hertling conjecture…
▽ More
We present a proof of a conjecture of Q. Shi, Y. Wang and H. Zuo claiming that the maximal spectral number of a hypersurface isolated singularity does not belong to the Tjurina spectrum. This follows from the self-duality of the Jacobian ring, which is compatible with the action of $f$ and also with the $V$-filtration. We also provide a sufficient condition for the generalized Hertling conjecture on the variance of Tjurina spectrum to fail, and calculate some examples using some codes in Singular.
△ Less
Submitted 12 July, 2024; v1 submitted 10 June, 2024;
originally announced June 2024.
-
Transverse Ricci solitons on a compact foliated manifold
Authors:
Seungsu Hwang,
Seoung Dal Jung,
Jungwoo Moon
Abstract:
We investigate transverse Ricci solitons, the self-similar solutions of the transverse Ricci flow, on a compact foliated manifold. In particular, we show the relations between a taut Riemannian foliation and a transverse Ricci soliton. Moreover, we find some examples of transverse Ricci solitons.
We investigate transverse Ricci solitons, the self-similar solutions of the transverse Ricci flow, on a compact foliated manifold. In particular, we show the relations between a taut Riemannian foliation and a transverse Ricci soliton. Moreover, we find some examples of transverse Ricci solitons.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Robust SVD Made Easy: A fast and reliable algorithm for large-scale data analysis
Authors:
Sangil Han,
Kyoowon Kim,
Sungkyu Jung
Abstract:
The singular value decomposition (SVD) is a crucial tool in machine learning and statistical data analysis. However, it is highly susceptible to outliers in the data matrix. Existing robust SVD algorithms often sacrifice speed for robustness or fail in the presence of only a few outliers. This study introduces an efficient algorithm, called Spherically Normalized SVD, for robust SVD approximation…
▽ More
The singular value decomposition (SVD) is a crucial tool in machine learning and statistical data analysis. However, it is highly susceptible to outliers in the data matrix. Existing robust SVD algorithms often sacrifice speed for robustness or fail in the presence of only a few outliers. This study introduces an efficient algorithm, called Spherically Normalized SVD, for robust SVD approximation that is highly insensitive to outliers, computationally scalable, and provides accurate approximations of singular vectors. The proposed algorithm achieves remarkable speed by utilizing only two applications of a standard reduced-rank SVD algorithm to appropriately scaled data, significantly outperforming competing algorithms in computation times. To assess the robustness of the approximated singular vectors and their subspaces against data contamination, we introduce new notions of breakdown points for matrix-valued input, including row-wise, column-wise, and block-wise breakdown points. Theoretical and empirical analyses demonstrate that our algorithm exhibits higher breakdown points compared to standard SVD and its modifications. We empirically validate the effectiveness of our approach in applications such as robust low-rank approximation and robust principal component analysis of high-dimensional microarray datasets. Overall, our study presents a highly efficient and robust solution for SVD approximation that overcomes the limitations of existing algorithms in the presence of outliers.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Strong law of large numbers for the generalized Fréchet means with random minimizing domains
Authors:
Jaesung Park,
Sungkyu Jung
Abstract:
This paper introduces a novel extension of Fréchet means, called \textit{generalized Fréchet means} as a comprehensive framework for characterizing features in probability distributions in general topological spaces. The generalized Fréchet means are defined as minimizers of a suitably defined cost function. The framework encompasses various extensions of Fréchet means in the literature. The most…
▽ More
This paper introduces a novel extension of Fréchet means, called \textit{generalized Fréchet means} as a comprehensive framework for characterizing features in probability distributions in general topological spaces. The generalized Fréchet means are defined as minimizers of a suitably defined cost function. The framework encompasses various extensions of Fréchet means in the literature. The most distinctive difference of the new framework from the previous works is that we allow the domain of minimization of the empirical means be random and different from that of the population means. This expands the applicability of the Fréchet mean framework to diverse statistical scenarios, including dimension reduction for manifold-valued data.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
A genericity property of Fréchet sample means on Riemannian manifolds
Authors:
David Groisser,
Sungkyu Jung,
Armin Schwartzman
Abstract:
Let $(M,g)$ be a Riemannian manifold. If $μ$ is a probability measure on $M$ given by a continuous density function, one would expect the Fréchet means of data-samples $Q=(q_1,q_2,\dots, q_N)\in M^N$, with respect to $μ$, to behave ``generically''; e.g. the probability that the Fréchet mean set $\mbox{FM}(Q)$ has any elements that lie in a given, positive-codimension submanifold, should be zero fo…
▽ More
Let $(M,g)$ be a Riemannian manifold. If $μ$ is a probability measure on $M$ given by a continuous density function, one would expect the Fréchet means of data-samples $Q=(q_1,q_2,\dots, q_N)\in M^N$, with respect to $μ$, to behave ``generically''; e.g. the probability that the Fréchet mean set $\mbox{FM}(Q)$ has any elements that lie in a given, positive-codimension submanifold, should be zero for any $N\geq 1$. Even this simplest instance of genericity does not seem to have been proven in the literature, except in special cases. The main result of this paper is a general, and stronger, genericity property: given i.i.d. absolutely continuous $M$-valued random variables $X_1,\dots, X_N$, and a subset $A\subset M$ of volume-measure zero, $\mbox{Pr}\left\{\mbox{FM}(\{X_1,\dots,X_N\})\subset M\backslash A\right\}=1.$ We also establish a companion theorem for equivariant Fréchet means, defined when $(M,g)$ arises as the quotient of a Riemannian manifold $(\widetilde{M},\tilde{g})$ by a free, isometric action of a finite group. The equivariant Fréchet means lie in $\widetilde{M}$, but, as we show, project down to the ordinary Fréchet sample means, and enjoy a similar genericity property. Both these theorems are proven as consequences of a purely geometric (and quite general) result that constitutes the core mathematics in this paper: If $A\subset M$ has volume zero in $M$ , then the set $\{Q\in M^N : \mbox{FM}(Q) \cap A\neq\emptyset\}$ has volume zero in $M^N$. We conclude the paper with an application to partial scaling-rotation means, a type of mean for symmetric positive-definite matrices.
△ Less
Submitted 24 September, 2023;
originally announced September 2023.
-
Generalized Chen's conjecture for biharmonic maps on foliations
Authors:
Xueshan Fu,
Seoung Dal Jung
Abstract:
In this paper, we prove the generalized Chen's conjecture for (F,F')-biharmonic map, which is a critical point of the transversal bienergy functional
In this paper, we prove the generalized Chen's conjecture for (F,F')-biharmonic map, which is a critical point of the transversal bienergy functional
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Harmonic maps on weighted Riemannian foliations
Authors:
Xueshan Fu,
Jinhua Qian,
Seoung Dal Jung
Abstract:
On foliations, there are two kinds of harmonic maps, that is, transversally harmonic map and $(F,F')$-harmonic map which are equivalent when the foliation is minimal. In this paper, we study transversally f-harmonic and $(F,F')_f$-harmonic maps on weighted foliations.
On foliations, there are two kinds of harmonic maps, that is, transversally harmonic map and $(F,F')$-harmonic map which are equivalent when the foliation is minimal. In this paper, we study transversally f-harmonic and $(F,F')_f$-harmonic maps on weighted foliations.
△ Less
Submitted 12 August, 2023; v1 submitted 11 December, 2022;
originally announced December 2022.
-
Double Data Piling for Heterogeneous Covariance Models
Authors:
Taehyun Kim,
Jeongyoun Ahn,
Sungkyu Jung
Abstract:
In this work, we characterize two data piling phenomenon for a high-dimensional binary classification problem with heterogeneous covariance models. The data piling refers to the phenomenon where projections of the training data onto a direction vector have exactly two distinct values, one for each class. This first data piling phenomenon occurs for any data when the dimension $p$ is larger than th…
▽ More
In this work, we characterize two data piling phenomenon for a high-dimensional binary classification problem with heterogeneous covariance models. The data piling refers to the phenomenon where projections of the training data onto a direction vector have exactly two distinct values, one for each class. This first data piling phenomenon occurs for any data when the dimension $p$ is larger than the sample size $n$. We show that the second data piling phenomenon, which refers to a data piling of independent test data, can occur in an asymptotic context where $p$ grows while $n$ is fixed. We further show that a second maximal data piling direction, which gives an asymptotic maximal distance between the two piles of independent test data, can be obtained by projecting the first maximal data piling direction onto the nullspace of the common leading eigenspace. This observation provides a theoretical explanation for the phenomenon where the optimal ridge parameter can be negative in the context of high-dimensional linear classification. Based on the second data piling phenomenon, we propose various linear classification rules which ensure perfect classification of high-dimension low-sample-size data under generalized heterogeneous spiked covariance models.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
SlimFL: Federated Learning with Superposition Coding over Slimmable Neural Networks
Authors:
Won Joon Yun,
Yunseok Kwak,
Hankyul Baek,
Soyi Jung,
Mingyue Ji,
Mehdi Bennis,
Jihong Park,
Joongheon Kim
Abstract:
Federated learning (FL) is a key enabler for efficient communication and computing, leveraging devices' distributed computing capabilities. However, applying FL in practice is challenging due to the local devices' heterogeneous energy, wireless channel conditions, and non-independently and identically distributed (non-IID) data distributions. To cope with these issues, this paper proposes a novel…
▽ More
Federated learning (FL) is a key enabler for efficient communication and computing, leveraging devices' distributed computing capabilities. However, applying FL in practice is challenging due to the local devices' heterogeneous energy, wireless channel conditions, and non-independently and identically distributed (non-IID) data distributions. To cope with these issues, this paper proposes a novel learning framework by integrating FL and width-adjustable slimmable neural networks (SNN). Integrating FL with SNNs is challenging due to time-varying channel conditions and data distributions. In addition, existing multi-width SNN training algorithms are sensitive to the data distributions across devices, which makes SNN ill-suited for FL. Motivated by this, we propose a communication and energy-efficient SNN-based FL (named SlimFL) that jointly utilizes superposition coding (SC) for global model aggregation and superposition training (ST) for updating local models. By applying SC, SlimFL exchanges the superposition of multiple-width configurations decoded as many times as possible for a given communication throughput. Leveraging ST, SlimFL aligns the forward propagation of different width configurations while avoiding inter-width interference during backpropagation. We formally prove the convergence of SlimFL. The result reveals that SlimFL is not only communication-efficient but also deals with non-IID data distributions and poor channel conditions, which is also corroborated by data-intensive simulations.
△ Less
Submitted 21 December, 2022; v1 submitted 26 March, 2022;
originally announced March 2022.
-
Liouville type theorem for (F;F')p-harmonic maps on foliations
Authors:
Xueshan Fu,
Seoung Dal Jung
Abstract:
In this paper, we study $(\mathcal F,\mathcal F')_{p}$-harmonic maps between foliated Riemannian manifolds $(M,g,\mathcal F)$ and $(M',g',\mathcal F')$. A $(\mathcal F,\mathcal F')_{p}$-harmonic map $φ:(M,g,\mathcal F)\to (M', g',\mathcal F')$ is a critical point of the transversal $p$-energy functional $E_{B,p}$. Trivially, $(\mathcal F,\mathcal F')_2$-harmonic map is $(\mathcal F,\mathcal F')$-h…
▽ More
In this paper, we study $(\mathcal F,\mathcal F')_{p}$-harmonic maps between foliated Riemannian manifolds $(M,g,\mathcal F)$ and $(M',g',\mathcal F')$. A $(\mathcal F,\mathcal F')_{p}$-harmonic map $φ:(M,g,\mathcal F)\to (M', g',\mathcal F')$ is a critical point of the transversal $p$-energy functional $E_{B,p}$. Trivially, $(\mathcal F,\mathcal F')_2$-harmonic map is $(\mathcal F,\mathcal F')$-harmonic map, which is a critical point of $E_B$. There is another definition of a harmonic map on foliated Riemannian manifolds, called transversally harmonic map, which is a solution of the Euler-Largrange equation $τ_b(φ)=0$. Two definitions are not equivalent, but if $\mathcal F$ is minimal, then two definitons are equivalent. Firstly, we give the first and second variational formulas for $(\mathcal F,\mathcal F')_{p}$-harmonic maps. Next, we investigate the generalized Weitzenböck type formula and the Liouville type theorem for $(\mathcal F,\mathcal F')_{p}$-harmonic map.
△ Less
Submitted 10 March, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
Extension of isometries in real Hilbert spaces
Authors:
Soon-Mo Jung
Abstract:
In this paper, the notions of first-order and second-order generalized linear spans and index set are defined. Moreover, their properties are investigated and applied to the studies of extension of isometries. We develop the theory of extending the domain of local isometries to the generalized linear spans, where we call an isometry defined in a subset of a Hilbert space a local isometry. In addit…
▽ More
In this paper, the notions of first-order and second-order generalized linear spans and index set are defined. Moreover, their properties are investigated and applied to the studies of extension of isometries. We develop the theory of extending the domain of local isometries to the generalized linear spans, where we call an isometry defined in a subset of a Hilbert space a local isometry. In addition, we prove that the domain of local isometry can be extended to any real Hilbert space, where the domain of local isometry does not have to be a convex body or an open set. This indicates that the main results of this paper are superior to those previously published.
△ Less
Submitted 27 December, 2021;
originally announced December 2021.
-
Transversely symplectic Dirac operators on a transversely symplectic foliation
Authors:
Seoung Dal Jung
Abstract:
We study the transversely metaplectic structure and the transversely symplectic Dirac operator on a transversely symplectic foliation. Moreover, we give the Weitzenbock type formula for transversely symplectic Dirac operators and we estimate the lower bound of the eigenvalues of the transversely symplectic Dirac operator on special spinors space on transverse Kahler foliations.
We study the transversely metaplectic structure and the transversely symplectic Dirac operator on a transversely symplectic foliation. Moreover, we give the Weitzenbock type formula for transversely symplectic Dirac operators and we estimate the lower bound of the eigenvalues of the transversely symplectic Dirac operator on special spinors space on transverse Kahler foliations.
△ Less
Submitted 15 December, 2021; v1 submitted 19 October, 2021;
originally announced October 2021.
-
Walking into the complex plane to "order" better time integrators
Authors:
Jithin D. George,
Samuel Y. Jung,
Niall M. Mangan
Abstract:
Most numerical methods for time integration use real time steps. Complex time steps provide an additional degree of freedom, as we can select the magnitude of the step in both the real and imaginary directions. By time stepping along specific paths in the complex plane, integrators can gain higher orders of accuracy or achieve expanded stability regions. We show how to derive these paths for expli…
▽ More
Most numerical methods for time integration use real time steps. Complex time steps provide an additional degree of freedom, as we can select the magnitude of the step in both the real and imaginary directions. By time stepping along specific paths in the complex plane, integrators can gain higher orders of accuracy or achieve expanded stability regions. We show how to derive these paths for explicit and implicit methods, discuss computational costs and storage benefits, and demonstrate clear advantages for complex-valued systems like the Schrodinger equation. We also explore how complex time stepping also allows us to break the Runge-Kutta order barrier, enabling 5th order accuracy using only five function evaluations for real-valued differential equations.
△ Less
Submitted 4 December, 2022; v1 submitted 8 October, 2021;
originally announced October 2021.
-
Briançon-Skoda exponents and the maximal root of reduced Bernstein-Sato polynomials
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
For a holomorphic function $f$ on a complex manifold $X$, the Briançon-Skoda exponent $e^{\rm BS}(f)$ is the smallest integer $k$ with $f^k\in(\partial f)$ (replacing $X$ with a neighborhood of $f^{-1}(0)$), where $(\partial f)$ denotes the Jacobian ideal of $f$. It is shown that $e^{\rm BS}(f)\le d_X$ $(:=\dim X)$ by Brian\c con-Skoda. We prove that $e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1$ with…
▽ More
For a holomorphic function $f$ on a complex manifold $X$, the Briançon-Skoda exponent $e^{\rm BS}(f)$ is the smallest integer $k$ with $f^k\in(\partial f)$ (replacing $X$ with a neighborhood of $f^{-1}(0)$), where $(\partial f)$ denotes the Jacobian ideal of $f$. It is shown that $e^{\rm BS}(f)\le d_X$ $(:=\dim X)$ by Brian\c con-Skoda. We prove that $e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1$ with $-\widetildeα_f$ the maximal root of the reduced Bernstein-Sato polynomial $b_f(s)/(s+1)$, assuming the latter exists (shrinking $X$ if necessary). This implies for instance that $e^{\rm BS}(f)\le d_X-2$ in the case $f^{-1}(0)$ has only rational singularities, that is, if $\widetildeα_f>1$.
△ Less
Submitted 5 May, 2022; v1 submitted 16 August, 2021;
originally announced August 2021.
-
Higher Du Bois singularities of hypersurfaces
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
For a complex algebraic variety $X$, we introduce higher $p$-Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms $Ω_X^q$ and the shifted graded pieces of the Du Bois complex $\underlineΩ_X^q$ for $q\le p$. If $X$ is a reduced hypersurface, we show that higher $p$-Du~Bois singularity coincides with higher $p$-log canonical singularity, generalizin…
▽ More
For a complex algebraic variety $X$, we introduce higher $p$-Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms $Ω_X^q$ and the shifted graded pieces of the Du Bois complex $\underlineΩ_X^q$ for $q\le p$. If $X$ is a reduced hypersurface, we show that higher $p$-Du~Bois singularity coincides with higher $p$-log canonical singularity, generalizing a well-known theorem for $p=0$. The assertion that $p$-log canonicity implies $p$-Du Bois has been proved by Mustata, Olano, Popa, and Witaszek quite recently as a corollary of two theorems asserting that the sheaves of reflexive differential forms $Ω_X^{[q]}$ ($q\le p$) coincide with $Ω_X^q$ and $\underlineΩ_X^q$ respectively, and these are shown by calculating the depth of the latter two sheaves. We construct explicit isomorphisms between $Ω_X^q$ and $\underlineΩ_X^q$ applying the acyclicity of a Koszul complex in a certain range. We also improve some non-vanishing assertion shown by them using mixed Hodge modules and the Tjurina subspectrum in the isolated singularity case. This is useful for instance to estimate the lower bound of the maximal root of the reduced Bernstein-Sato polynomial in the case where a quotient singularity is a hypersurface and its singular locus has codimension at most 4.
△ Less
Submitted 23 March, 2022; v1 submitted 14 July, 2021;
originally announced July 2021.
-
Hyers-Ulam stability of isometries on bounded domains
Authors:
Soon-Mo Jung
Abstract:
More than 20 years after Fickett attempted to prove the Hyers-Ulam stability of isometries defined on bounded subsets of $\mathbb{R}^n$ in 1981, Väisälä improved Fickett's result significantly. In this paper, we will improve Fickett's theorem by proving the Hyers-Ulam stability of isometries defined on bounded subsets of $\mathbb{R}^n$ using a more intuitive method different from that used by Väis…
▽ More
More than 20 years after Fickett attempted to prove the Hyers-Ulam stability of isometries defined on bounded subsets of $\mathbb{R}^n$ in 1981, Väisälä improved Fickett's result significantly. In this paper, we will improve Fickett's theorem by proving the Hyers-Ulam stability of isometries defined on bounded subsets of $\mathbb{R}^n$ using a more intuitive method different from that used by Väisälä.
△ Less
Submitted 1 May, 2021;
originally announced May 2021.
-
Twisted basic Dolbeault cohomology on transverse Kähler foliations
Authors:
Seoung Dal Jung
Abstract:
In this paper, we study the twisted basic Dolbeault cohomology and transverse hard Lefschetz theorem on a transverse Kahler foliation. And we give some properties for $Δ_κ$-harmonic forms and prove the Kodaira-Serre type duality for the twisted basic Dolbeault cohomology.
In this paper, we study the twisted basic Dolbeault cohomology and transverse hard Lefschetz theorem on a transverse Kahler foliation. And we give some properties for $Δ_κ$-harmonic forms and prove the Kodaira-Serre type duality for the twisted basic Dolbeault cohomology.
△ Less
Submitted 22 June, 2021; v1 submitted 23 January, 2021;
originally announced January 2021.
-
Stability of strong detonation waves for Majda's model with general ignition functions
Authors:
Soyeun Jung,
Zhao Yang,
Kevin Zumbrun
Abstract:
For strong detonation waves of the inviscid Majda model, spectral stability was established by Jung and Yao for waves with step-type ignition functions, by a proof based largely on explicit knowledge of wave profiles. In the present work, we extend their stability results to strong detonation waves with more general ignition functions where explicit profiles are unknown. Our proof is based on redu…
▽ More
For strong detonation waves of the inviscid Majda model, spectral stability was established by Jung and Yao for waves with step-type ignition functions, by a proof based largely on explicit knowledge of wave profiles. In the present work, we extend their stability results to strong detonation waves with more general ignition functions where explicit profiles are unknown. Our proof is based on reduction to a generalized Sturm-Liouville problem, similar to that used by Sukhtayev, Yang, and Zumbrun to study spectral stability of hydraulic shock profiles of the Saint-Venant equations.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
Spectrum of non-degenerate functions with simplicial Newton polytopes
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
We show a precise proof of Steenbrink's formula for the spectrum of convenient Newton non-degenerate functions, and prove the symmetry of combinatorial polynomials in the simplicial case. Combined with the modified Steenbrink conjecture for spectral pairs (that is, weighted spectrum) which is recently proved in that case, this simplifies quite a lot of their calculations in such a case. We also in…
▽ More
We show a precise proof of Steenbrink's formula for the spectrum of convenient Newton non-degenerate functions, and prove the symmetry of combinatorial polynomials in the simplicial case. Combined with the modified Steenbrink conjecture for spectral pairs (that is, weighted spectrum) which is recently proved in that case, this simplifies quite a lot of their calculations in such a case. We also introduce the $Γ$-spectrum of simplicial convenient non-degenerate functions as a first approximation of the spectrum, generalizing Arnold's picture in the 2 variable case. Analyzing their difference, we can find simple formulas for weighted spectrum in the 3 or 4 variable case. This is proved by using the symmetry of combinatorial polynomials, and fails in the non-simplicial case. Combining these with the Yomdin-Steenbrink formula for the spectrum, we can prove a formula for the spectrum of certain non-isolated surface singularities with simplicial non-degenerate Newton boundaries. As a byproduct of these arguments, we find an example where the Yomdin-Steenbrink formula for spectral pairs does not hold because of fusions of compact faces under projections.
△ Less
Submitted 6 October, 2023; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Transversal hard Lefschetz theorem on transversely symplectic foliations
Authors:
Jesús A. Álvarez López,
Seoung Dal Jung
Abstract:
We study the transversal hard Lefschetz theorem on a transversely symplectic foliation. This article extends the results of transversally symplectic flows (H.K.~Pak, "Transversal harmonic theory for transversally symplectic flows", J. Aust. Math. Soc. 84 (2008), 233--245) to the general transversely symplectic foliation.
We study the transversal hard Lefschetz theorem on a transversely symplectic foliation. This article extends the results of transversally symplectic flows (H.K.~Pak, "Transversal harmonic theory for transversally symplectic flows", J. Aust. Math. Soc. 84 (2008), 233--245) to the general transversely symplectic foliation.
△ Less
Submitted 14 January, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Combining Stochastic Adaptive Cubic Regularization with Negative Curvature for Nonconvex Optimization
Authors:
Seonho Park,
Seung Hyun Jung,
Panos M. Pardalos
Abstract:
We focus on minimizing nonconvex finite-sum functions that typically arise in machine learning problems. In an attempt to solve this problem, the adaptive cubic regularized Newton method has shown its strong global convergence guarantees and ability to escape from strict saddle points. This method uses a trust region-like scheme to determine if an iteration is successful or not, and updates only w…
▽ More
We focus on minimizing nonconvex finite-sum functions that typically arise in machine learning problems. In an attempt to solve this problem, the adaptive cubic regularized Newton method has shown its strong global convergence guarantees and ability to escape from strict saddle points. This method uses a trust region-like scheme to determine if an iteration is successful or not, and updates only when it is successful. In this paper, we suggest an algorithm combining negative curvature with the adaptive cubic regularized Newton method to update even at unsuccessful iterations. We call this new method Stochastic Adaptive cubic regularization with Negative Curvature (SANC). Unlike the previous method, in order to attain stochastic gradient and Hessian estimators, the SANC algorithm uses independent sets of data points of consistent size over all iterations. It makes the SANC algorithm more practical to apply for solving large-scale machine learning problems. To the best of our knowledge, this is the first approach that combines the negative curvature method with the adaptive cubic regularized Newton method. Finally, we provide experimental results including neural networks problems supporting the efficiency of our method.
△ Less
Submitted 26 June, 2019;
originally announced June 2019.
-
Linear independences of maps associated to partitions
Authors:
Stefan Jung
Abstract:
Given a suitable collection of partitions of sets, there exists a connection to easy quantum groups via intertwiner maps. A sufficient condition for this correspondence to be one-to-one are particular linear independences on the level of those maps. In the case of non-crossing partitions, a proof of this linear independence can be traced back to a matrix determinant formula, developed by W. Tutte.…
▽ More
Given a suitable collection of partitions of sets, there exists a connection to easy quantum groups via intertwiner maps. A sufficient condition for this correspondence to be one-to-one are particular linear independences on the level of those maps. In the case of non-crossing partitions, a proof of this linear independence can be traced back to a matrix determinant formula, developed by W. Tutte. We present a revised and adapted version of Tutte's work and the link to the problem above, believing that this self-contained article will assist others in the field of easy quantum groups. In particular, we fixed some errors in the original work and adapted notations, definitions, statements and proofs.
△ Less
Submitted 25 June, 2019;
originally announced June 2019.
-
Models of quantum permutations
Authors:
Stefan Jung,
Moritz Weber
Abstract:
For $N\ge 4$ we present a series of *-homomorphisms $\varphi_n:C(S_N^+)\rightarrow B_n$ where $S_N^+$ is the quantum permutation group. They are not necessarily representations of the quantum group $S_N^+$ but they yield good operator algebraic models of quantum permutation matrices. The C*-algebras $B_n$ allow the construction of an inverse limit $B_{\infty}$ which defines a compact matrix quantu…
▽ More
For $N\ge 4$ we present a series of *-homomorphisms $\varphi_n:C(S_N^+)\rightarrow B_n$ where $S_N^+$ is the quantum permutation group. They are not necessarily representations of the quantum group $S_N^+$ but they yield good operator algebraic models of quantum permutation matrices. The C*-algebras $B_n$ allow the construction of an inverse limit $B_{\infty}$ which defines a compact matrix quantum group $S_N\subsetneq G\subseteq S_N^+$. We know $G=S_N^+$ for $N=4,5$ from Banica's work, but we have to leave open the case $N\ge 6$.
△ Less
Submitted 25 June, 2019;
originally announced June 2019.
-
Hodge ideals and spectrum of isolated hypersurface singularities
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal $V$-filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal $V$-filtration. As a consequence of a formula of Mustata and Popa, these two spec…
▽ More
We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal $V$-filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal $V$-filtration. As a consequence of a formula of Mustata and Popa, these two spectra coincide in the weighted homogeneous case. We prove sufficient conditions for their coincidence and non-coincidence in some non-weighted-homogeneous cases where the defining function is semi-weighted-homogeneous or with non-degenerate Newton boundary in most cases. We also show that the convenience condition can be avoided in a formula of Zhang for the non-degenerate case, and present an example where the Hodge ideals are not weakly decreasing even modulo the Jacobian ideal.
△ Less
Submitted 23 January, 2022; v1 submitted 4 April, 2019;
originally announced April 2019.
-
Hodge ideal and spectrum of weighted homogeneous isolated singularities
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Youngho Yoon
Abstract:
This note provides a connection between the Hodge spectrum and the Hodge ideals recently developed by Mustaţǎ--Popa in the case of weighted homogeneous isolated singularities.
This note provides a connection between the Hodge spectrum and the Hodge ideals recently developed by Mustaţǎ--Popa in the case of weighted homogeneous isolated singularities.
△ Less
Submitted 24 December, 2018; v1 submitted 18 December, 2018;
originally announced December 2018.
-
On Riemannian foliations admitting transversal conformal fields
Authors:
Woo Cheol Kim,
Seoung Dal Jung
Abstract:
Let $(M,g_M,\mathcal F)$ be a closed, connected Riemannian manifold with a Riemannian foliation $\mathcal F$ of nonzero constant transversal scalar curvature. When $M$ admits a transversal nonisometric conformal field, we find some generalized conditions that $\mathcal F$ is transversally isometric to the sphere.
Let $(M,g_M,\mathcal F)$ be a closed, connected Riemannian manifold with a Riemannian foliation $\mathcal F$ of nonzero constant transversal scalar curvature. When $M$ admits a transversal nonisometric conformal field, we find some generalized conditions that $\mathcal F$ is transversally isometric to the sphere.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
The mean curvature of transverse Kähler foliations
Authors:
Seoung Dal Jung,
Ken Richardson
Abstract:
We study properties of the mean curvature one-form and its holomorphic and antiholomorphic cousins on a transverse Kähler foliation. If the mean curvature of the foliation is automorphic, then there are some restrictions on basic cohomology similar to that on Kähler manifolds, such as the requirement that the odd basic Betti numbers must be even. However, the full Hodge diamond structure does not…
▽ More
We study properties of the mean curvature one-form and its holomorphic and antiholomorphic cousins on a transverse Kähler foliation. If the mean curvature of the foliation is automorphic, then there are some restrictions on basic cohomology similar to that on Kähler manifolds, such as the requirement that the odd basic Betti numbers must be even. However, the full Hodge diamond structure does not apply to basic Dolbeault cohomology unless the foliation is taut.
△ Less
Submitted 22 October, 2018; v1 submitted 29 August, 2018;
originally announced August 2018.
-
The conjecture of Ulam on the invariance of measure on Hilbert cube
Authors:
Soon-Mo Jung
Abstract:
A conjecture of Ulam states that the standard probability measure $π$ on the Hilbert cube $I^ω$ is invariant under the induced metric $d_a$ when the sequence $a = \{ a_i \}$ of positive numbers satisfies the condition $\sum\limits_{i=1}^\infty a_i^2 < \infty$. This conjecture was proved in \cite{jung1} when $E_1$ is a non-degenerate subset of $M_a$. In this paper, we prove the conjecture of Ulam c…
▽ More
A conjecture of Ulam states that the standard probability measure $π$ on the Hilbert cube $I^ω$ is invariant under the induced metric $d_a$ when the sequence $a = \{ a_i \}$ of positive numbers satisfies the condition $\sum\limits_{i=1}^\infty a_i^2 < \infty$. This conjecture was proved in \cite{jung1} when $E_1$ is a non-degenerate subset of $M_a$. In this paper, we prove the conjecture of Ulam completely by classifying cylinders as non-degenerate and degenerate cylinders and by treating the degenerate case that was overlooked in the previous paper.
△ Less
Submitted 30 April, 2022; v1 submitted 15 July, 2018;
originally announced July 2018.
-
A product formula for volumes of divisors via Okounkov bodies
Authors:
Sung Rak Choi,
Seung-Jo Jung,
Jinhyung Park,
Joonyeong Won
Abstract:
We generalize Kawamata's product formula for volumes of canonical divisors to arbitrary divisors using Okounkov bodies
We generalize Kawamata's product formula for volumes of canonical divisors to arbitrary divisors using Okounkov bodies
△ Less
Submitted 25 August, 2019; v1 submitted 14 June, 2018;
originally announced June 2018.
-
Partition quantum spaces
Authors:
Stefan Jung,
Moritz Weber
Abstract:
We propose a definition of partition quantum spaces. They are given by universal $C^*$-algebras whose relations come from partitions of sets. We ask for the maximal compact matrix quantum group acting on them. We show how those fit into the setting of easy quantum groups: Our approach yields spaces these groups are acting on. In a way, our partition quantum spaces arise as the first $d$ columns of…
▽ More
We propose a definition of partition quantum spaces. They are given by universal $C^*$-algebras whose relations come from partitions of sets. We ask for the maximal compact matrix quantum group acting on them. We show how those fit into the setting of easy quantum groups: Our approach yields spaces these groups are acting on. In a way, our partition quantum spaces arise as the first $d$ columns of easy quantum groups. However, we define them as universal $C^*$-algebras rather than as $C^*$-subalgebras of easy quantum groups. We also investigate the minimal number $d$ needed to recover an easy quantum group as the quantum symmetry group of a partition quantum space. In the free unitary case, $d$ takes the values one or two.
△ Less
Submitted 23 January, 2018; v1 submitted 19 January, 2018;
originally announced January 2018.
-
Basic Dolbeault cohomology and Weitzenböck frmulas on transversely Kähler foliations
Authors:
Seoung Dal Jung,
Ken Richardson
Abstract:
We study basic Dolbeault cohomology and find new Weitzenböck formulas on a transversely Kähler foliation. We investigate conditions on mean curvature and Ricci curvature that impose restrictions on basic Dolbeault cohomology. For example, we prove that on a transversely Kähler foliation with positive transversal Ricci curvature, there are no nonzero basic-harmonic forms of type $(r,0)$, among othe…
▽ More
We study basic Dolbeault cohomology and find new Weitzenböck formulas on a transversely Kähler foliation. We investigate conditions on mean curvature and Ricci curvature that impose restrictions on basic Dolbeault cohomology. For example, we prove that on a transversely Kähler foliation with positive transversal Ricci curvature, there are no nonzero basic-harmonic forms of type $(r,0)$, among other results.
△ Less
Submitted 16 September, 2017;
originally announced September 2017.
-
Adjusting systematic bias in high dimensional principal component scores
Authors:
Sungkyu Jung
Abstract:
Principal component analysis continues to be a powerful tool in dimension reduction of high dimensional data. We assume a variance-diverging model and use the high-dimension, low-sample-size asymptotics to show that even though the principal component directions are not consistent, the sample and prediction principal component scores can be useful in revealing the population structure. We further…
▽ More
Principal component analysis continues to be a powerful tool in dimension reduction of high dimensional data. We assume a variance-diverging model and use the high-dimension, low-sample-size asymptotics to show that even though the principal component directions are not consistent, the sample and prediction principal component scores can be useful in revealing the population structure. We further show that these scores are biased, and the bias is asymptotically decomposed into rotation and scaling parts. We propose methods of bias-adjustment that are shown to be consistent and work well in the high dimensional situations with small sample sizes. The potential advantage of bias-adjustment is demonstrated in a classification setting.
△ Less
Submitted 25 September, 2020; v1 submitted 16 August, 2017;
originally announced August 2017.
-
Uniqueness questions in a scaling-rotation geometry on the space of symmetric positive-definite matrices
Authors:
David Groisser,
Sungkyu Jung,
Armin Schwartzman
Abstract:
Jung et al. (2015) introduced a geometric structure on ${\rm Sym}^+(p)$, the set of $p \times p$ symmetric positive-definite matrices, based on eigen-decomposition. Eigenstructure determines both a stratification of ${\rm Sym}^+(p)$, defined by eigenvalue multiplicities, and fibers of the "eigen-composition" map $F:M(p):=SO(p)\times{\rm Diag}^+(p)\to{\rm Sym}^+(p)$. When $M(p)$ is equipped with a…
▽ More
Jung et al. (2015) introduced a geometric structure on ${\rm Sym}^+(p)$, the set of $p \times p$ symmetric positive-definite matrices, based on eigen-decomposition. Eigenstructure determines both a stratification of ${\rm Sym}^+(p)$, defined by eigenvalue multiplicities, and fibers of the "eigen-composition" map $F:M(p):=SO(p)\times{\rm Diag}^+(p)\to{\rm Sym}^+(p)$. When $M(p)$ is equipped with a suitable Riemannian metric, the fiber structure leads to notions of scaling-rotation distance between $X,Y\in {\rm Sym}^+(p)$, the distance in $M(p)$ between fibers $F^{-1}(X)$ and $F^{-1}(Y)$, and minimal smooth scaling-rotation (MSSR) curves, images in ${\rm Sym}^+(p)$ of minimal-length geodesics connecting two fibers. In this paper we study the geometry of the triple $(M(p),F,{\rm Sym}^+(p))$, focusing on some basic questions: For which $X,Y$ is there a unique MSSR curve from $X$ to $Y$? More generally, what is the set ${\cal M}(X,Y)$ of MSSR curves from $X$ to $Y$? This set is influenced by two potential types of non-uniqueness. We translate the question of whether the second type can occur into a question about the geometry of Grassmannians $G_m({\bf R}^p)$, with $m$ even, that we answer for $p\leq 4$ and $p\geq 11$. Our method of proof also yields an interesting half-angle formula concerning principal angles between subspaces of ${\bf R}^p$ whose dimensions may or may not be equal. The general-$p$ results concerning MSSR curves and scaling-rotation distance that we establish here underpin the explicit $p=3$ results in Groisser et al. (2017). Addressing the uniqueness-related questions requires a thorough understanding of the fiber structure of $M(p)$, which we also provide.
△ Less
Submitted 20 December, 2017; v1 submitted 10 February, 2017;
originally announced February 2017.
-
Turing patterns in parabolic systems of conservation laws and numerically observed stability of periodic waves
Authors:
Blake Barker,
Soyeun Jung,
Kevin Zumbrun
Abstract:
Turing patterns on unbounded domains have been widely studied in systems of reaction-diffusion equations. However, up to now, they have not been studied for systems of conservation laws. Here, we (i) derive conditions for Turing instability in conservation laws and (ii) use these conditions to find families of periodic solutions bifurcating from uniform states, numerically continuing these familie…
▽ More
Turing patterns on unbounded domains have been widely studied in systems of reaction-diffusion equations. However, up to now, they have not been studied for systems of conservation laws. Here, we (i) derive conditions for Turing instability in conservation laws and (ii) use these conditions to find families of periodic solutions bifurcating from uniform states, numerically continuing these families into the large-amplitude regime. For the examples studied, numerical stability analysis suggests that stable periodic waves can emerge either from supercritical Turing bifurcations or, via secondary bifurcation as amplitude is increased, from sub-critical Turing bifurcations. This answers in the affirmative a question of Oh-Zumbrun whether stable periodic solutions of conservation laws can occur. Determination of a full small-amplitude stability diagram-- specifically, determination of rigorous Eckhaus-type stability conditions-- remains an interesting open problem.
△ Less
Submitted 16 January, 2017;
originally announced January 2017.
-
Diffusive stability of spatially periodic solutions of the Brusselator model
Authors:
Alim Sukhtayev,
Kevin Zumbrun,
Soyeun Jung,
Raghavendra Venkatraman
Abstract:
Applying the Lyapunov-Schmidt reduction approach introduced by Mielke and Schneider in their analysis of the fourth-order scalar Swift-Hohenberg equation, we carry out a rigorous small-amplitude stability analysis of Turing patterns for the canonical second-order system of reaction diffusion equations given by the Brusselator model. Our results confirm that stability is accurately predicted in the…
▽ More
Applying the Lyapunov-Schmidt reduction approach introduced by Mielke and Schneider in their analysis of the fourth-order scalar Swift-Hohenberg equation, we carry out a rigorous small-amplitude stability analysis of Turing patterns for the canonical second-order system of reaction diffusion equations given by the Brusselator model. Our results confirm that stability is accurately predicted in the small-amplitude limit by the formal Ginzburg Landau amplitude equations, rigorously validating the standard weakly unstable approximation and Eckhaus criterion.
△ Less
Submitted 30 August, 2016;
originally announced August 2016.
-
Vanishing theorems of the basic harmonic forms on a complete foliated Riemannian manifold
Authors:
Seoung Dal Jung,
Huili Liu
Abstract:
On a compact foliated Riemannian manifold with some transversal curvature conditions, there are no nontrivial basic harmonic forms (M. Min-Oo et al., J. Reine Angew. Math. 415 (1991). In this paper, we extend the above facts to a complete foliated Riemannian manifold.
On a compact foliated Riemannian manifold with some transversal curvature conditions, there are no nontrivial basic harmonic forms (M. Min-Oo et al., J. Reine Angew. Math. 415 (1991). In this paper, we extend the above facts to a complete foliated Riemannian manifold.
△ Less
Submitted 28 June, 2016;
originally announced June 2016.
-
L2-transverse conformal Killing forms on complete foliated manifolds
Authors:
Seoung Dal Jung,
Huili Liu
Abstract:
In this article, we study the L2-transverse conformal Killing forms on complete foliated Riemannian manifolds and prove some vanishing theorems. Also, we study the same problems on Kahler foliations with a complete bundle-like metric.
In this article, we study the L2-transverse conformal Killing forms on complete foliated Riemannian manifolds and prove some vanishing theorems. Also, we study the same problems on Kahler foliations with a complete bundle-like metric.
△ Less
Submitted 28 June, 2016;
originally announced June 2016.
-
Inference on subspheres model for directional data
Authors:
Sungkyu Jung
Abstract:
Modeling deformations of a real object is an important task in computer vision, biomedical engineering and biomechanics. In this paper, we focus on a situation where a three-dimensional object is rotationally deformed about a fixed axis, and assume that many independent observations are available. Such a problem is generalized to an estimation of concentric, co-dimension 1, subspheres of a polysph…
▽ More
Modeling deformations of a real object is an important task in computer vision, biomedical engineering and biomechanics. In this paper, we focus on a situation where a three-dimensional object is rotationally deformed about a fixed axis, and assume that many independent observations are available. Such a problem is generalized to an estimation of concentric, co-dimension 1, subspheres of a polysphere. We formulate least-square estimators as generalized Fréchet means, and evaluate the consistency and asymptotic normality.
△ Less
Submitted 13 June, 2016;
originally announced June 2016.
-
Pointwise nonlinear stability of nonlocalized modulated periodic reaction-diffusion waves
Authors:
Soyeun Jung,
Kevin Zumbrun
Abstract:
In this paper, extending previous results of \cite{J1}, we obtain pointwise nonlinear stability of periodic traveling reaction-diffusion waves, assuming spectral linearized stability, under nonlocalized perturbations. More precisely, we establish pointwise estimate of nonlocalized modulational perturbation under a small initial perturbation consisting of a nonlocalized modulation plus a localized…
▽ More
In this paper, extending previous results of \cite{J1}, we obtain pointwise nonlinear stability of periodic traveling reaction-diffusion waves, assuming spectral linearized stability, under nonlocalized perturbations. More precisely, we establish pointwise estimate of nonlocalized modulational perturbation under a small initial perturbation consisting of a nonlocalized modulation plus a localized perturbation decaying algebraically.
△ Less
Submitted 4 May, 2016;
originally announced May 2016.
-
Geometric foundations for scaling-rotation statistics on symmetric positive definite matrices: minimal smooth scaling-rotation curves in low dimensions
Authors:
David Groisser,
Sungkyu Jung,
Armin Schwartzman
Abstract:
We investigate a geometric computational framework, called the "scaling-rotation framework", on ${\rm Sym}^+(p)$, the set of $p \times p$ symmetric positive-definite (SPD) matrices. The purpose of our study is to lay geometric foundations for statistical analysis of SPD matrices, in situations in which eigenstructure is of fundamental importance, for example diffusion-tensor imaging (DTI). Eigen-d…
▽ More
We investigate a geometric computational framework, called the "scaling-rotation framework", on ${\rm Sym}^+(p)$, the set of $p \times p$ symmetric positive-definite (SPD) matrices. The purpose of our study is to lay geometric foundations for statistical analysis of SPD matrices, in situations in which eigenstructure is of fundamental importance, for example diffusion-tensor imaging (DTI). Eigen-decomposition, upon which the scaling-rotation framework is based, determines both a stratification of ${\rm Sym}^+(p)$, defined by eigenvalue multiplicities, and fibers of the "eigen-composition" map $SO(p)\times{\rm Diag}^+(p)\to{\rm Sym}^+(p)$. This leads to the notion of scaling-rotation distance [Jung et al. (2015)], a measure of the minimal amount of scaling and rotation needed to transform an SPD matrix, $X,$ into another, $Y,$ by a smooth curve in ${\rm Sym}^+(p)$. Our main goal in this paper is the systematic characterization and analysis of minimal smooth scaling-rotation (MSSR) curves, images in ${\rm Sym}^+(p)$ of minimal-length geodesics connecting two fibers in the "upstairs" space $SO(p)\times{\rm Diag}^+(p)$. The length of such a geodesic connecting the fibers over $X$ and $Y$ is what we define to be the scaling-rotation distance from $X$ to $Y.$ For the important low-dimensional case $p = 3$ (the home of DTI), we find new explicit formulas for MSSR curves and for the scaling-rotation distance, and identify ${\cal M}(X,Y)$ in all "nontrivial" cases. The quaternionic representation of $SO(3)$ is used in these computations. We also provide closed-form expressions for scaling-rotation distance and MSSR curves for the case $p = 2$.
△ Less
Submitted 13 February, 2017; v1 submitted 2 February, 2016;
originally announced February 2016.
-
On the Craw-Ishii conjecture
Authors:
Seung-Jo Jung
Abstract:
Craw and Ishii proved that for a finite abelian group G in SL_3(C) every (projective) relative minimal model of C^3/G is isomorphic to the fine moduli space of θ-stable G-constellations for some GIT parameter θ. In this article, we conjecture that the same is true for a finite group G in GL_3(C) if a relative minimal model Y of X=C^3/G is smooth. We prove this for some abelian groups.
Craw and Ishii proved that for a finite abelian group G in SL_3(C) every (projective) relative minimal model of C^3/G is isomorphic to the fine moduli space of θ-stable G-constellations for some GIT parameter θ. In this article, we conjecture that the same is true for a finite group G in GL_3(C) if a relative minimal model Y of X=C^3/G is smooth. We prove this for some abelian groups.
△ Less
Submitted 19 January, 2016;
originally announced January 2016.
-
On the stability of the linear functional equation in a single variable on complete metric groups
Authors:
Soon-Mo Jung,
Dorian Popa,
Michael Th. Rassias
Abstract:
In this paper we obtain a result on Hyers-Ulam stability of the linear functional equation in a single variable $f(\varphi(x)) = g(x) \cdot f(x)$ on a complete metric group.
In this paper we obtain a result on Hyers-Ulam stability of the linear functional equation in a single variable $f(\varphi(x)) = g(x) \cdot f(x)$ on a complete metric group.
△ Less
Submitted 15 December, 2015;
originally announced December 2015.
-
Terminal Quotient Singularities in Dimension three via variation of GIT
Authors:
Seung-Jo Jung
Abstract:
A 3-fold terminal quotient singularity X=C^3/G admits the economic resolution Y-> X, which is "close to being crepant". This paper proves that the economic resolution Y is isomorphic to a distinguished component of a moduli space of certain G-equivariant objects using the the King stability condition $θ$ introduced by Kędzierski.
A 3-fold terminal quotient singularity X=C^3/G admits the economic resolution Y-> X, which is "close to being crepant". This paper proves that the economic resolution Y is isomorphic to a distinguished component of a moduli space of certain G-equivariant objects using the the King stability condition $θ$ introduced by Kędzierski.
△ Less
Submitted 12 February, 2015;
originally announced February 2015.
-
Pointwise Convergence of Fourier-type Series with Exponential Weights
Authors:
Hee Sun Jung,
Ryozi Sakai
Abstract:
Let $\mathbb{R}=(-\infty,\infty)$, and let $Q\in C^1(\mathbb{R}): \mathbb{R}\rightarrow[0,\infty)$ be an even function. We consider the exponential weights $w(x)=e^{-Q(x)}$, $x\in \mathbb{R}$. In this paper we obtain a pointwise convergence theorem for the Fourier-type series with respect to the orthonormal polynomials $\left\{p_n(w^2;x)\right\}$.
Let $\mathbb{R}=(-\infty,\infty)$, and let $Q\in C^1(\mathbb{R}): \mathbb{R}\rightarrow[0,\infty)$ be an even function. We consider the exponential weights $w(x)=e^{-Q(x)}$, $x\in \mathbb{R}$. In this paper we obtain a pointwise convergence theorem for the Fourier-type series with respect to the orthonormal polynomials $\left\{p_n(w^2;x)\right\}$.
△ Less
Submitted 22 July, 2014;
originally announced September 2014.
-
Transverse conformal Killing forms on Kahler foliations
Authors:
Seoung Dal Jung
Abstract:
On a closed, connected Riemannian manifold with a Kähler foliation of codimension $q=2m$, any transverse Killing $r\ (\geq 2)$-form is parallel (S. D. Jung and M. J. Jung [\ref{JJ2}], Bull. Korean Math. Soc. 49 (2012)). In this paper, we study transverse conformal Killing forms on Kähler foliations and prove that if the foliation is minimal, then for any transversal conformal Killing $r$-form $φ$…
▽ More
On a closed, connected Riemannian manifold with a Kähler foliation of codimension $q=2m$, any transverse Killing $r\ (\geq 2)$-form is parallel (S. D. Jung and M. J. Jung [\ref{JJ2}], Bull. Korean Math. Soc. 49 (2012)). In this paper, we study transverse conformal Killing forms on Kähler foliations and prove that if the foliation is minimal, then for any transversal conformal Killing $r$-form $φ$ $(2\leq r \leq q-2)$, $Jφ$ is parallel. Here $J$ is defined in Section 4.
△ Less
Submitted 12 March, 2020; v1 submitted 28 August, 2014;
originally announced August 2014.
-
$L_p$-Convergence of higher order Hermite or Hermite-Fejér interpolation polynomials with exponential-type weights
Authors:
Hee Sun Jung,
Ryozi Sakai
Abstract:
Let $\mathbb{R}=(-\infty,\infty)$, and let $Q\in C^1(\mathbb{R}): \mathbb{R}\rightarrow \mathbb{R^+}=[0,\infty)$ be an even function, which is an exponent. We consider the weight $w_ρ(x)=|x|^ρ e^{-Q(x)}$, $ρ\geqslant 0$, $x\in \mathbb{R}$, and then we can construct the orthonormal polynomials $p_{n}(w_ρ^2;x)$ of degree n for $w_ρ^2(x)$. In this paper we obtain $L_p$-convergence theorems of even or…
▽ More
Let $\mathbb{R}=(-\infty,\infty)$, and let $Q\in C^1(\mathbb{R}): \mathbb{R}\rightarrow \mathbb{R^+}=[0,\infty)$ be an even function, which is an exponent. We consider the weight $w_ρ(x)=|x|^ρ e^{-Q(x)}$, $ρ\geqslant 0$, $x\in \mathbb{R}$, and then we can construct the orthonormal polynomials $p_{n}(w_ρ^2;x)$ of degree n for $w_ρ^2(x)$. In this paper we obtain $L_p$-convergence theorems of even order Hermite-Fejér interpolation polynomials at the zeros $\left\{x_{k,n,ρ}\right\}_{k=1}^n$ of $p_{n}(w_ρ^2;x)$.
△ Less
Submitted 9 July, 2014;
originally announced July 2014.
-
Scaling-rotation distance and interpolation of symmetric positive-definite matrices
Authors:
Sungkyu Jung,
Armin Schwartzman,
David Groisser
Abstract:
We introduce a new geometric framework for the set of symmetric positive-definite (SPD) matrices, aimed to characterize deformations of SPD matrices by individual scaling of eigenvalues and rotation of eigenvectors of the SPD matrices. To characterize the deformation, the eigenvalue-eigenvector decomposition is used to find alternative representations of SPD matrices, and to form a Riemannian mani…
▽ More
We introduce a new geometric framework for the set of symmetric positive-definite (SPD) matrices, aimed to characterize deformations of SPD matrices by individual scaling of eigenvalues and rotation of eigenvectors of the SPD matrices. To characterize the deformation, the eigenvalue-eigenvector decomposition is used to find alternative representations of SPD matrices, and to form a Riemannian manifold so that scaling and rotations of SPD matrices are captured by geodesics on this manifold. The problems of non-unique eigen-decompositions and eigenvalue multiplicities are addressed by finding minimal-length geodesics, which gives rise to a distance and an interpolation method for SPD matrices. Computational procedures to evaluate the minimal scaling--rotation deformations and distances are provided for the most useful cases of $2 \times 2$ and $3 \times 3$ SPD matrices. In the new geometric framework, minimal scaling--rotation curves interpolate eigenvalues at constant logarithmic rate, and eigenvectors at constant angular rate. In the context of diffusion tensor imaging, this results in better behavior of the trace, determinant and fractional anisotropy of interpolated SPD matrices in typical cases.
△ Less
Submitted 1 June, 2015; v1 submitted 12 June, 2014;
originally announced June 2014.
-
Higher order derivatives of approximation polynomials on $\mathbb{R}$
Authors:
Hee Sun Jung,
Ryozi Sakai
Abstract:
D. Leviatan has investigated the behavior of the higher order derivatives of approximation polynomials of the differentiable function $f$ on $[-1,1]$. Especially, when $P_n$ is the best approximation of $f$, he estimates the differences $\|f^{(k)}-P_n^{(k)}\|_{L_\infty([-1,1])}$, $k=0,1,2,...$. In this paper, we give the analogies for them with respect to the differentiable functions on…
▽ More
D. Leviatan has investigated the behavior of the higher order derivatives of approximation polynomials of the differentiable function $f$ on $[-1,1]$. Especially, when $P_n$ is the best approximation of $f$, he estimates the differences $\|f^{(k)}-P_n^{(k)}\|_{L_\infty([-1,1])}$, $k=0,1,2,...$. In this paper, we give the analogies for them with respect to the differentiable functions on $\mathbb{R}$, and we apply the result to the monotone approximation.
△ Less
Submitted 26 February, 2014;
originally announced March 2014.