-
$L_2$-norm posterior contraction in Gaussian models with unknown variance
Authors:
Seonghyun Jeong
Abstract:
The testing-based approach is a fundamental tool for establishing posterior contraction rates. Although the Hellinger metric is attractive owing to the existence of a desirable test function, it is not directly applicable in Gaussian models, because translating the Hellinger metric into more intuitive metrics typically requires strong boundedness conditions. When the variance is known, this issue…
▽ More
The testing-based approach is a fundamental tool for establishing posterior contraction rates. Although the Hellinger metric is attractive owing to the existence of a desirable test function, it is not directly applicable in Gaussian models, because translating the Hellinger metric into more intuitive metrics typically requires strong boundedness conditions. When the variance is known, this issue can be addressed by directly constructing a test function relative to the $L_2$-metric using the likelihood ratio test. However, when the variance is unknown, existing results are limited and rely on restrictive assumptions. To overcome this limitation, we derive a test function tailored to an unknown variance setting with respect to the $L_2$-metric and provide sufficient conditions for posterior contraction based on the testing-based approach. We apply this result to analyze high-dimensional regression and nonparametric regression.
△ Less
Submitted 31 May, 2025;
originally announced June 2025.
-
An alternative definition for c-convex functions and another synthetic statement of MTW condition
Authors:
Seonghyeon Jeong
Abstract:
The main theorem of this paper states that the c-convexity and the alternative c-convexity are equivalent if and only if the cost function c satisfies MTW condition. The alternative c-convex function is an analogy of the definition of the convex function that is using the inequality phi(t x1 + (1 - t) x0) <= t phi(x1) + (1 - t) phi(x0). We study properties of the alternative c-convex functions and…
▽ More
The main theorem of this paper states that the c-convexity and the alternative c-convexity are equivalent if and only if the cost function c satisfies MTW condition. The alternative c-convex function is an analogy of the definition of the convex function that is using the inequality phi(t x1 + (1 - t) x0) <= t phi(x1) + (1 - t) phi(x0). We study properties of the alternative c-convex functions and MTW condition, then prove the main theorem.
△ Less
Submitted 17 May, 2025;
originally announced May 2025.
-
On the Limit of the Tridiagonal Model for $β$-Dyson Brownian Motion
Authors:
Alan Edelman,
Sungwoo Jeong,
Ron Nissim
Abstract:
In previous work, a description of the result of applying the Householder tridiagonalization algorithm to a G$β$E random matrix is provided by Edelman and Dumitriu. The resulting tridiagonal ensemble makes sense for all $β>0$, and has spectrum given by the $β$-ensemble for all $β>0$. Moreover, the tridiagonal model has useful stochastic operator limits which was introduced and analyzed in subseque…
▽ More
In previous work, a description of the result of applying the Householder tridiagonalization algorithm to a G$β$E random matrix is provided by Edelman and Dumitriu. The resulting tridiagonal ensemble makes sense for all $β>0$, and has spectrum given by the $β$-ensemble for all $β>0$. Moreover, the tridiagonal model has useful stochastic operator limits which was introduced and analyzed in subsequent studies.
In this work, we analogously study the result of applying the Householder tridiagonalization algorithm to a G$β$E process which has eigenvalues governed by $β$-Dyson Brownian motion. We propose an explicit limit of the upper left $k \times k$ minor of the $n \times n$ tridiagonal process as $n \to \infty$ and $k$ remains fixed. We prove the result for $β=1$, and also provide numerical evidence for $β=1,2,4$. This leads us to conjecture the form of a dynamical $β$-stochastic Airy operator with smallest $k$ eigenvalues evolving according to the $n \to \infty$ limit of the largest, centered and re-scaled, $k$ eigenvalues of $β$-Dyson Brownian motion.
△ Less
Submitted 10 November, 2024; v1 submitted 3 November, 2024;
originally announced November 2024.
-
Extending Mercer's expansion to indefinite and asymmetric kernels
Authors:
Sungwoo Jeong,
Alex Townsend
Abstract:
Mercer's expansion and Mercer's theorem are cornerstone results in kernel theory. While the classical Mercer's theorem only considers continuous symmetric positive definite kernels, analogous expansions are effective in practice for indefinite and asymmetric kernels. In this paper we extend Mercer's expansion to continuous kernels, providing a rigorous theoretical underpinning for indefinite and a…
▽ More
Mercer's expansion and Mercer's theorem are cornerstone results in kernel theory. While the classical Mercer's theorem only considers continuous symmetric positive definite kernels, analogous expansions are effective in practice for indefinite and asymmetric kernels. In this paper we extend Mercer's expansion to continuous kernels, providing a rigorous theoretical underpinning for indefinite and asymmetric kernels. We begin by demonstrating that Mercer's expansion may not be pointwise convergent for continuous indefinite kernels, before proving that the expansion of continuous kernels with bounded variation uniformly in each variable separably converges pointwise almost everywhere, almost uniformly, and unconditionally almost everywhere. We also describe an algorithm for computing Mercer's expansion for general kernels and give new decay bounds on its terms.
△ Less
Submitted 17 June, 2025; v1 submitted 24 September, 2024;
originally announced September 2024.
-
Integral zeros of quadratic polynomials avoiding sublattices
Authors:
Lenny Fukshansky,
Sehun Jeong
Abstract:
Assuming an integral quadratic polynomial with nonsingular quadratic part has a nontrivial zero on an integer lattice outside of a union of finite-index sublattices, we prove that there exists such a zero of bounded norm and provide an explicit bound. This is a contribution related to the celebrated theorem of Cassels on small-height zeros of quadratic forms, which builds on some previous work in…
▽ More
Assuming an integral quadratic polynomial with nonsingular quadratic part has a nontrivial zero on an integer lattice outside of a union of finite-index sublattices, we prove that there exists such a zero of bounded norm and provide an explicit bound. This is a contribution related to the celebrated theorem of Cassels on small-height zeros of quadratic forms, which builds on some previous work in this area. We also demonstrate an application of these results to the problem of effective distribution of angles between vectors in the integer lattice.
△ Less
Submitted 20 November, 2024; v1 submitted 16 September, 2024;
originally announced September 2024.
-
R-matrices and Miura operators in 5d Chern-Simons theory
Authors:
Nafiz Ishtiaque,
Saebyeok Jeong,
Yehao Zhou
Abstract:
We derive Miura operators for $W$- and $Y$-algebras from first principles as the expectation value of the intersection between a topological line defect and a holomorphic surface defect in 5-dimensional non-commutative $\mathfrak{gl}(1)$ Chern-Simons theory. The expectation value, viewed as the transition amplitude for states in the defect theories forming representations of the affine Yangian of…
▽ More
We derive Miura operators for $W$- and $Y$-algebras from first principles as the expectation value of the intersection between a topological line defect and a holomorphic surface defect in 5-dimensional non-commutative $\mathfrak{gl}(1)$ Chern-Simons theory. The expectation value, viewed as the transition amplitude for states in the defect theories forming representations of the affine Yangian of $\mathfrak{gl}(1)$, satisfies the Yang-Baxter equation and is thus interpreted as an R-matrix. To achieve this, we identify the representations associated with the line and surface defects by calculating the operator product expansions (OPEs) of local operators on the defects, as conditions that anomalous Feynman diagrams cancel each other. We then evaluate the expectation value of the defect intersection using Feynman diagrams. When the line and surface defects are specified, we demonstrate that the expectation value precisely matches the Miura operators and their products.
△ Less
Submitted 18 November, 2024; v1 submitted 28 August, 2024;
originally announced August 2024.
-
Quadratic optimal transportation problem with a positive semi definite structure on the cost function
Authors:
Seonghyeon Jeong
Abstract:
Optimal transportation problem seeks for a coupling $π$ of two probability measures $μ$ and $ν$ which minimize the total cost $\int c dπ$, which is linear in $π$. In this paper, we introduce a variation of optimal transportation problem which we call quadratic transportation problem that considers a total cost $\iint c dπdπ$ which is quadratic in $π$. We compare this problem with other variations…
▽ More
Optimal transportation problem seeks for a coupling $π$ of two probability measures $μ$ and $ν$ which minimize the total cost $\int c dπ$, which is linear in $π$. In this paper, we introduce a variation of optimal transportation problem which we call quadratic transportation problem that considers a total cost $\iint c dπdπ$ which is quadratic in $π$. We compare this problem with other variations of optimal transportation problem, and prove some properties of the solutions to the problem. Then, we introduce squared cost function, which let us consider the total cost $\iint c dπdπ$ as a positive semi-definite bilinear operator on probability measures, and show Kantorovich duality formula when we have a squared cost function.
△ Less
Submitted 5 February, 2025; v1 submitted 9 August, 2024;
originally announced August 2024.
-
Miura operators as R-matrices from M-brane intersections
Authors:
Nathan Haouzi,
Saebyeok Jeong
Abstract:
We propose that Miura operators are R-matrices of certain infinite-dimensional quantum algebras. We test our proposal by realizing Miura operators of $q$-deformed $W$- and $Y$-algebras in terms of R-matrices of the quantum toroidal algebra of $\mathfrak{gl}(1)$. Physically, the representations of this toroidal algebra arise from the algebra of local operators on M2-branes and M5-branes, in M-theor…
▽ More
We propose that Miura operators are R-matrices of certain infinite-dimensional quantum algebras. We test our proposal by realizing Miura operators of $q$-deformed $W$- and $Y$-algebras in terms of R-matrices of the quantum toroidal algebra of $\mathfrak{gl}(1)$. Physically, the representations of this toroidal algebra arise from the algebra of local operators on M2-branes and M5-branes, in M-theory subject to an $Ω$-background. We associate an R-matrix to each M2-M5 brane crossing, by studying its description as a gauge-invariant intersection of a topological line defect and a holomorphic surface defect in 5-dimensional non-commutative Chern-Simons theory. The Miura transformation is engineered using multiple M2-M5 intersections, relying crucially on the properties of the underlying R-matrices. We thereby identify each R-matrix with a Miura operator. In a dual Type IIB frame, the components of the Miura transformation are shown to coincide with the half-index of a 3d supersymmetric gauge theory on a Hanany-Witten system of D3-NS5 branes. As a further application, we demonstrate that $qq$-characters can be algebraically constructed from the Miura transformation.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
Bispectral duality and separation of variables from surface defect transition
Authors:
Saebyeok Jeong,
Norton Lee
Abstract:
We study two types of surface observables $-$ the $\mathbf{Q}$-observables and the $\mathbf{H}$-observables $-$ of the 4d $\mathcal{N}=2$ $A_1$-quiver $U(N)$ gauge theory obtained by coupling a 2d $\mathcal{N}=(2,2)$ gauged linear sigma model. We demonstrate that the transition between the two surface defects manifests as a Fourier transformation between the surface observables. Utilizing the resu…
▽ More
We study two types of surface observables $-$ the $\mathbf{Q}$-observables and the $\mathbf{H}$-observables $-$ of the 4d $\mathcal{N}=2$ $A_1$-quiver $U(N)$ gauge theory obtained by coupling a 2d $\mathcal{N}=(2,2)$ gauged linear sigma model. We demonstrate that the transition between the two surface defects manifests as a Fourier transformation between the surface observables. Utilizing the results from our previous works, which establish that the $\mathbf{Q}$-observables and the $\mathbf{H}$-observables give rise, respectively, to the $Q$-operators on the evaluation module over the Yangian $Y(\mathfrak{gl}(2))$ and the Hecke operators on the twisted $\widehat{\mathfrak{sl}}(N)$-coinvariants, we derive an exact duality between the spectral problems of the $\mathfrak{gl}(2)$ XXX spin chain with $N$ sites and the $\mathfrak{sl}(N)$ Gaudin model with 4 sites, both of which are defined on bi-infinite modules. Moreover, we present a dual description of the monodromy surface defect as coupling a 2d $\mathcal{N}=(2,2)$ gauged linear sigma model. Employing this dual perspective, we demonstrate how the monodromy surface defect undergoes a transition to multiple $\mathbf{Q}$-observables or $\mathbf{H}$-observables, implemented through integral transformations between their surface observables. These transformations provide, respectively, $\hbar$-deformation and a higher-rank generalization of the KZ/BPZ correspondence. In the limit $\varepsilon_2\to 0$, they give rise to the quantum separation of variables for the $\mathfrak{gl}(2)$ XXX spin chain and the $\mathfrak{sl}(N)$ Gaudin model, respectively.
△ Less
Submitted 2 January, 2025; v1 submitted 21 February, 2024;
originally announced February 2024.
-
di-Langlands correspondence and extended observables
Authors:
Saebyeok Jeong,
Norton Lee,
Nikita Nekrasov
Abstract:
We explore the $\textit{difference Langlands correspondence}$ using the four dimensional ${\mathcal{N}}=2$ super-QCD. Surface defects and surface observables play the crucial role. As an application, we give the first construction of the full set of quantum integrals, i.e. commuting differential operators, such that the partition function of the so-called regular monodromy surface defect is their…
▽ More
We explore the $\textit{difference Langlands correspondence}$ using the four dimensional ${\mathcal{N}}=2$ super-QCD. Surface defects and surface observables play the crucial role. As an application, we give the first construction of the full set of quantum integrals, i.e. commuting differential operators, such that the partition function of the so-called regular monodromy surface defect is their joint eigenvectors in an evaluation module over the Yangian $Y(\mathfrak{gl}(2))$, making it the wavefunction of a $N$-site $\mathfrak{gl}(2)$ spin chain with bi-infinite spin modules. We construct the $\mathbf{Q}$- and $\tilde{\mathbf{Q}}$-surface observables which are believed to be the $Q$-operators on the bi-infinite module over the Yangian $Y(\mathfrak{gl}(2))$, and compute their eigenvalues, the $Q$-functions, as vevs of the surface observables.
△ Less
Submitted 3 January, 2025; v1 submitted 21 February, 2024;
originally announced February 2024.
-
Diophantine avoidance and small-height primitive elements in ideals of number fields
Authors:
Lenny Fukshansky,
Sehun Jeong
Abstract:
Let $K$ be a number field of degree $d$. Then every ideal $I$ in the ring of integers ${\mathcal O}_K$ contains infinitely many primitive elements, i.e. elements of degree $d$. A bound on smallest height of such an element in $I$ follows from some recent developments in the direction of a 1998 conjecture of W. Ruppert. We prove a very explicit bound like this in the case of quadratic fields. Furth…
▽ More
Let $K$ be a number field of degree $d$. Then every ideal $I$ in the ring of integers ${\mathcal O}_K$ contains infinitely many primitive elements, i.e. elements of degree $d$. A bound on smallest height of such an element in $I$ follows from some recent developments in the direction of a 1998 conjecture of W. Ruppert. We prove a very explicit bound like this in the case of quadratic fields. Further, we consider primitive elements in an ideal outside of a finite union of other ideals and prove a bound on the height of a smallest such element. Our main tool is a result on points of small norm in a lattice outside of an algebraic hypersurface and a finite union of sublattices of finite index, which we prove by blending two previous Diophantine avoidance results. We also obtain an avoidance result like this for lattice points in the positive orthant in $\mathbb{R}^d$ and use it to obtain a small-height totally positive primitive element in an ideal of a totally real number field outside of a finite union of other ideals. Additionally, we use our avoidance method to prove a bound on the Mahler measure of a generating non-sparse polynomial for a given number field. Finally, we produce a bound on the height of a smallest primitive generator for a principal ideal in a quadratic number field.
△ Less
Submitted 20 November, 2024; v1 submitted 17 December, 2023;
originally announced December 2023.
-
Conditions for existence of single valued optimal transport maps on convex boundaries with nontwisted cost
Authors:
Seonghyeon Jeong,
Jun Kitagawa
Abstract:
We prove that if $Ω\subset \mathbb{R}^{n+1}$ is a (not necessarily strictly) convex, $C^1$ domain, and $μ$ and $\barμ$ are probability measures absolutely continuous with respect to surface measure on $\partial Ω$, with densities bounded away from zero and infinity, whose $2$-Monge-Kantorovich distance is sufficiently small, then there exists a continuous Monge solution to the optimal transport pr…
▽ More
We prove that if $Ω\subset \mathbb{R}^{n+1}$ is a (not necessarily strictly) convex, $C^1$ domain, and $μ$ and $\barμ$ are probability measures absolutely continuous with respect to surface measure on $\partial Ω$, with densities bounded away from zero and infinity, whose $2$-Monge-Kantorovich distance is sufficiently small, then there exists a continuous Monge solution to the optimal transport problem with cost function given by the quadratic distance on the ambient space $\mathbb{R}^{n+1}$. This result is also shown to be sharp, via a counterexample when $Ω$ is uniformly convex but not $C^1$. Additionally, if $Ω$ is $C^{1, α}$ regular for some $α$, then the Monge solution is shown to be Hölder continuous.
△ Less
Submitted 10 March, 2025; v1 submitted 13 August, 2023;
originally announced August 2023.
-
The conditional DPP approach to random matrix distributions
Authors:
Alan Edelman,
Sungwoo Jeong
Abstract:
We present the conditional determinantal point process (DPP) approach to obtain new (mostly Fredholm determinantal) expressions for various eigenvalue statistics in random matrix theory. It is well-known that many (especially $β=2$) eigenvalue $n$-point correlation functions are given in terms of $n\times n$ determinants, i.e., they are continuous DPPs. We exploit a derived kernel of the condition…
▽ More
We present the conditional determinantal point process (DPP) approach to obtain new (mostly Fredholm determinantal) expressions for various eigenvalue statistics in random matrix theory. It is well-known that many (especially $β=2$) eigenvalue $n$-point correlation functions are given in terms of $n\times n$ determinants, i.e., they are continuous DPPs. We exploit a derived kernel of the conditional DPP which gives the $n$-point correlation function conditioned on the event of some eigenvalues already existing at fixed locations.
Using such kernels we obtain new determinantal expressions for the joint densities of the $k$ largest eigenvalues, probability density functions of the $k^\text{th}$ largest eigenvalue, density of the first eigenvalue spacing, and more. Our formulae are highly amenable to numerical computations and we provide various numerical experiments. Several numerical values that required hours of computing time could now be computed in seconds with our expressions, which proves the effectiveness of our approach.
We also demonstrate that our technique can be applied to an efficient sampling of DR paths of the Aztec diamond domino tiling. Further extending the conditional DPP sampling technique, we sample Airy processes from the extended Airy kernel. Additionally we propose a sampling method for non-Hermitian projection DPPs.
△ Less
Submitted 20 October, 2023; v1 submitted 18 April, 2023;
originally announced April 2023.
-
Ergodicity for uniformly differentiable modulo $p$ functions on ${\mathbb Z}_p$
Authors:
Sangtae Jeong
Abstract:
We provide an ergodicity criterion for uniformly differentiable modulo $p$ functions on ${\mathbb Z}_p$ in regard to the minimal level of the reduced functions by showing that ergodic conditions are explicitly found in terms of the coefficients of Mahler or van der Put for each prime $p.$ To this end, it is essential to give an alternative, natural proof of Memi$\acute{c}$'s result regarding Mahle…
▽ More
We provide an ergodicity criterion for uniformly differentiable modulo $p$ functions on ${\mathbb Z}_p$ in regard to the minimal level of the reduced functions by showing that ergodic conditions are explicitly found in terms of the coefficients of Mahler or van der Put for each prime $p.$ To this end, it is essential to give an alternative, natural proof of Memi$\acute{c}$'s result regarding Mahler's coefficients estimation for uniformly differentiable modulo $p$ functions on ${\mathbb Z}_p.$
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
On the structure of the solutions to the matrix equation $G^*JG=J$
Authors:
Alan Edelman,
Sungwoo Jeong
Abstract:
We study the mathematical structure of the solution set (and its tangent space) to the matrix equation $G^*JG=J$ for a given square matrix $J$. In the language of pure mathematics, this is a Lie group which is the isometry group for a bilinear (or a sesquilinear) form. Generally these groups are described as intersections of a few special groups. The tangent space to $\{G: G^*JG=J \}$ consists of…
▽ More
We study the mathematical structure of the solution set (and its tangent space) to the matrix equation $G^*JG=J$ for a given square matrix $J$. In the language of pure mathematics, this is a Lie group which is the isometry group for a bilinear (or a sesquilinear) form. Generally these groups are described as intersections of a few special groups. The tangent space to $\{G: G^*JG=J \}$ consists of solutions to the linear matrix equation $X^*J+JX=0$. For the complex case, the solution set of this linear equation was computed by De Ter{á}n and Dopico. We found that on its own, the equation $X^*J+JX=0$ is hard to solve. By throwing into the mix the complementary linear equation $X^*J-JX=0$, we find that rather than increasing the complexity, we reduce the complexity. Not only is it possible to now solve the original problem, but we can approach the broader algebraic and geometric structure. One implication is that the two equations form an $\mathfrak{h}$ and $\mathfrak{m}$ pair familiar in the study of pseudo-Riemannian symmetric spaces. We explicitly demonstrate the computation of the solutions to the equation $X^*J\pm XJ=0$ for real and complex matrices. However, any real, complex or quaternionic case with an arbitrary involution (e.g., transpose, conjugate transpose, and the various quaternion transposes) can be effectively solved with the same strategy. We provide numerical examples and visualizations.
△ Less
Submitted 12 July, 2022; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Fifty Three Matrix Factorizations: A systematic approach
Authors:
Alan Edelman,
Sungwoo Jeong
Abstract:
The success of matrix factorizations such as the singular value decomposition (SVD) has motivated the search for even more factorizations. We catalog 53 matrix factorizations, most of which we believe to be new. Our systematic approach, inspired by the generalized Cartan decomposition of Lie theory, also encompasses known factorizations such as the SVD, the symmetric eigendecomposition, the CS dec…
▽ More
The success of matrix factorizations such as the singular value decomposition (SVD) has motivated the search for even more factorizations. We catalog 53 matrix factorizations, most of which we believe to be new. Our systematic approach, inspired by the generalized Cartan decomposition of Lie theory, also encompasses known factorizations such as the SVD, the symmetric eigendecomposition, the CS decomposition, the hyperbolic SVD, structured SVDs, the Takagi factorization, and others thereby covering familiar matrix factorizations as well as ones that were waiting to be discovered. We suggest that Lie theory has one way or another been lurking hidden in the foundations of the very successful field of matrix computations with applications routinely used in so many areas of computation. In this paper, we investigate consequences of the Cartan decomposition and the little known generalized Cartan decomposition for matrix factorizations. We believe that these factorizations once properly identified can lead to further work on algorithmic computations and applications.
△ Less
Submitted 14 February, 2022; v1 submitted 17 April, 2021;
originally announced April 2021.
-
Intersecting defects in gauge theory, quantum spin chains, and Knizhnik-Zamolodchikov equations
Authors:
Saebyeok Jeong,
Norton Lee,
Nikita Nekrasov
Abstract:
We propose an interesting BPS/CFT correspondence playground: the correlation function of two intersecting half-BPS surface defects in four-dimensional $\mathcal{N}=2$ supersymmetric $SU(N)$ gauge theory with $2N$ fundamental hypermultiplets. We show it satisfies a difference equation, the fractional quantum T-Q relation. Its Fourier transform is the $5$-point conformal block of the…
▽ More
We propose an interesting BPS/CFT correspondence playground: the correlation function of two intersecting half-BPS surface defects in four-dimensional $\mathcal{N}=2$ supersymmetric $SU(N)$ gauge theory with $2N$ fundamental hypermultiplets. We show it satisfies a difference equation, the fractional quantum T-Q relation. Its Fourier transform is the $5$-point conformal block of the $\widehat{\mathfrak{sl}}_N$ current algebra with one of the vertex operators corresponding to the $N$-dimensional $\mathfrak{sl}_N$ representation, which we demonstrate with the help of the Knizhnik-Zamolodchikov equation. We also identify the correlator with a state of the $XXX_{\mathfrak{sl}_2}$ spin chain of $N$ Heisenberg-Weyl modules over $Y(\mathfrak{sl}_2)$. We discuss the associated quantum Lax operators, and connections to isomonodromic deformations.
△ Less
Submitted 21 April, 2023; v1 submitted 31 March, 2021;
originally announced March 2021.
-
On the Cartan Decomposition for Classical Random Matrix Ensembles
Authors:
Alan Edelman,
Sungwoo Jeong
Abstract:
We complete Dyson's dream by cementing the links between symmetric spaces and classical random matrix ensembles. Previous work has focused on a one-to-one correspondence between symmetric spaces and many but not all of the classical random matrix ensembles. This work shows that we can completely capture all of the classical random matrix ensembles from Cartan's symmetric spaces through the use of…
▽ More
We complete Dyson's dream by cementing the links between symmetric spaces and classical random matrix ensembles. Previous work has focused on a one-to-one correspondence between symmetric spaces and many but not all of the classical random matrix ensembles. This work shows that we can completely capture all of the classical random matrix ensembles from Cartan's symmetric spaces through the use of alternative coordinate systems. In the end, we have to let go of the notion of a one-to-one correspondence.
We emphasize that the KAK decomposition traditionally favored by mathematicians is merely one coordinate system on the symmetric space, albeit a beautiful one. However, other matrix factorizations, especially the generalized singular value decomposition from numerical linear algebra reveal themselves to be perfectly valid coordinate systems revealing that one symmetric space can lead to many classical random matrix theories.
We establish the connection between this numerical linear algebra viewpoint and the theory of generalized Cartan decomposition. This in turn allows us to produce yet more random matrix theories from a single symmetric space. Yet again these random matrix theories arise from matrix factorizations, through ones that we are not aware have appeared in the literature.
△ Less
Submitted 22 June, 2022; v1 submitted 16 November, 2020;
originally announced November 2020.
-
Synthetic MTW conditions and their equivalence under mild regularity assumption on the cost function
Authors:
Seonghyeon Jeong
Abstract:
Loeper's condition in \cite{Loe09} and the quantitatively quasi-convex condition (QQconv) from \cite{GK15} are synthetic expressions of the analytic MTW condition from \cite{TW} since they only require $C^2$ differentiability of the cost function $c$. When the cost function $c$ is $C^4$, it is known that the two synthetic MTW conditions are equivalent to the analytic MTW condition. However, when t…
▽ More
Loeper's condition in \cite{Loe09} and the quantitatively quasi-convex condition (QQconv) from \cite{GK15} are synthetic expressions of the analytic MTW condition from \cite{TW} since they only require $C^2$ differentiability of the cost function $c$. When the cost function $c$ is $C^4$, it is known that the two synthetic MTW conditions are equivalent to the analytic MTW condition. However, when the cost function has regularity weaker than $C^4$, it is not known that if the two synthetic MTW conditions are equivalent. In this paper, we show the equivalence of the synthetic MTW conditions when the cost function has regularity slightly weaker than $C^3$.
△ Less
Submitted 27 October, 2020;
originally announced October 2020.
-
Posterior contraction in group sparse logit models for categorical responses
Authors:
Seonghyun Jeong
Abstract:
This paper studies posterior contraction rates in multi-category logit models with priors incorporating group sparse structures. We consider a general class of logit models that includes the well-known multinomial logit models as a special case. Group sparsity is useful when predictor variables are naturally clustered and particularly useful for variable selection in the multinomial logit models.…
▽ More
This paper studies posterior contraction rates in multi-category logit models with priors incorporating group sparse structures. We consider a general class of logit models that includes the well-known multinomial logit models as a special case. Group sparsity is useful when predictor variables are naturally clustered and particularly useful for variable selection in the multinomial logit models. We provide a unified platform for posterior contraction rates of group-sparse logit models that include binary logistic regression under individual sparsity. No size restriction is directly imposed on the true signal in this study. In addition to establishing the first-ever contraction properties for multi-category logit models under group sparsity, this work also refines recent findings on the Bayesian theory of binary logistic regression.
△ Less
Submitted 29 January, 2022; v1 submitted 7 October, 2020;
originally announced October 2020.
-
The seven-strand braid group is CAT(0)
Authors:
Seong Gu Jeong
Abstract:
We prove that the 7-strand braid group is CAT(0) by elaborating on the argument of Haettel, Kielak and Schwer
We prove that the 7-strand braid group is CAT(0) by elaborating on the argument of Haettel, Kielak and Schwer
△ Less
Submitted 20 September, 2020;
originally announced September 2020.
-
Unified Bayesian theory of sparse linear regression with nuisance parameters
Authors:
Seonghyun Jeong,
Subhashis Ghosal
Abstract:
We study frequentist asymptotic properties of Bayesian procedures for high-dimensional Gaussian sparse regression when unknown nuisance parameters are involved. Nuisance parameters can be finite-, high-, or infinite-dimensional. A mixture of point masses at zero and continuous distributions is used for the prior distribution on sparse regression coefficients, and appropriate prior distributions ar…
▽ More
We study frequentist asymptotic properties of Bayesian procedures for high-dimensional Gaussian sparse regression when unknown nuisance parameters are involved. Nuisance parameters can be finite-, high-, or infinite-dimensional. A mixture of point masses at zero and continuous distributions is used for the prior distribution on sparse regression coefficients, and appropriate prior distributions are used for nuisance parameters. The optimal posterior contraction of sparse regression coefficients, hampered by the presence of nuisance parameters, is also examined and discussed. It is shown that the procedure yields strong model selection consistency. A Bernstein-von Mises-type theorem for sparse regression coefficients is also obtained for uncertainty quantification through credible sets with guaranteed frequentist coverage. Asymptotic properties of numerous examples are investigated using the theories developed in this study.
△ Less
Submitted 17 February, 2021; v1 submitted 24 August, 2020;
originally announced August 2020.
-
The art of BART: Minimax optimality over nonhomogeneous smoothness in high dimension
Authors:
Seonghyun Jeong,
Veronika Rockova
Abstract:
Many asymptotically minimax procedures for function estimation often rely on somewhat arbitrary and restrictive assumptions such as isotropy or spatial homogeneity. This work enhances the theoretical understanding of Bayesian additive regression trees under substantially relaxed smoothness assumptions. We provide a comprehensive study of asymptotic optimality and posterior contraction of Bayesian…
▽ More
Many asymptotically minimax procedures for function estimation often rely on somewhat arbitrary and restrictive assumptions such as isotropy or spatial homogeneity. This work enhances the theoretical understanding of Bayesian additive regression trees under substantially relaxed smoothness assumptions. We provide a comprehensive study of asymptotic optimality and posterior contraction of Bayesian forests when the regression function has anisotropic smoothness that possibly varies over the function domain. The regression function can also be possibly discontinuous. We introduce a new class of sparse {\em piecewise heterogeneous anisotropic} Hölder functions and derive their minimax lower bound of estimation in high-dimensional scenarios under the $L_2$-loss. We then find that the Bayesian tree priors, coupled with a Dirichlet subset selection prior for sparse estimation in high-dimensional scenarios, adapt to unknown heterogeneous smoothness, discontinuity, and sparsity. These results show that Bayesian forests are uniquely suited for more general estimation problems that would render other default machine learning tools, such as Gaussian processes, suboptimal. Our numerical study shows that Bayesian forests often outperform other competitors such as random forests and deep neural networks, which are believed to work well for discontinuous or complicated smooth functions. Beyond nonparametric regression, we also examined posterior contraction of Bayesian forests for density estimation and binary classification using the technique developed in this study.
△ Less
Submitted 3 December, 2023; v1 submitted 14 August, 2020;
originally announced August 2020.
-
Riemann-Hilbert correspondence and blown up surface defects
Authors:
Saebyeok Jeong,
Nikita Nekrasov
Abstract:
The relationship of two dimensional quantum field theory and isomonodromic deformations of Fuchsian systems has a long history. Recently four-dimensional $\mathcal{N}=2$ gauge theories joined the party in a multitude of roles. In this paper we study the vacuum expectation values of intersecting half-BPS surface defects in $SU(2)$ theory with $N_f=4$ fundamental hypermultiplets. We show they form a…
▽ More
The relationship of two dimensional quantum field theory and isomonodromic deformations of Fuchsian systems has a long history. Recently four-dimensional $\mathcal{N}=2$ gauge theories joined the party in a multitude of roles. In this paper we study the vacuum expectation values of intersecting half-BPS surface defects in $SU(2)$ theory with $N_f=4$ fundamental hypermultiplets. We show they form a horizontal section of a Fuchsian system on a sphere with $5$ regular singularities, calculate the monodromy, and define the associated isomonodromic tau-function. Using the blowup formula in the presence of half-BPS surface defects, initiated in the companion paper, we obtain the GIL formula, establishing an unexpected relation of the topological string/free fermion regime of supersymmetric gauge theory to classical integrability.
△ Less
Submitted 10 December, 2020; v1 submitted 7 July, 2020;
originally announced July 2020.
-
Psybrackets, Pseudoknots and Singular Knots
Authors:
Suhyeon Jeong,
Jieon Kim,
Sam Nelson
Abstract:
We introduce algebraic structures known as psybrackets and use them to define invariants of pseudoknots and singular knots and links. Psybrackets are Niebrzydowski tribrackets with additional structure inspired by the Reidemeister moves for pseudoknots and singular knots. Examples and computations are provided.
We introduce algebraic structures known as psybrackets and use them to define invariants of pseudoknots and singular knots and links. Psybrackets are Niebrzydowski tribrackets with additional structure inspired by the Reidemeister moves for pseudoknots and singular knots. Examples and computations are provided.
△ Less
Submitted 31 August, 2022; v1 submitted 3 June, 2020;
originally announced June 2020.
-
Hölder regularity of solutions to generated Jacobian equations
Authors:
Seonghyeon Jeong
Abstract:
Generated Jacobian equations are Monge-Ampère type equations which contain optimal transport as a special case. Therefore, optimal transport case has its own special structure which is not necessarily true for more general generated Jacobian equations. Hence the theory for optimal transport can not be directly transplanted to generated Jacobian equations. In this paper, we point out the difficulti…
▽ More
Generated Jacobian equations are Monge-Ampère type equations which contain optimal transport as a special case. Therefore, optimal transport case has its own special structure which is not necessarily true for more general generated Jacobian equations. Hence the theory for optimal transport can not be directly transplanted to generated Jacobian equations. In this paper, we point out the difficulties that prevent applying the proof the local Hölder regularity of solutions of optimal transport problem from \cite{Loeper2009OnTR} directly to Generated Jacobian Equations, we then discuss how to handle these difficulties, and prove local Hölder regularity in the generated Jacobian equation case.
△ Less
Submitted 24 April, 2020;
originally announced April 2020.
-
New quantum toroidal algebras from 5D $\mathcal{N}=1$ instantons on orbifolds
Authors:
Jean-Emile Bourgine,
Saebyeok Jeong
Abstract:
Quantum toroidal algebras are obtained from quantum affine algebras by a further affinization, and, like the latter, can be used to construct integrable systems. These algebras also describe the symmetries of instanton partition functions for 5D $\mathcal{N}=1$ supersymmetric quiver gauge theories. We consider here the gauge theories defined on an orbifold $S^1\times\mathbb{C}^2/\mathbb{Z}_p$ wher…
▽ More
Quantum toroidal algebras are obtained from quantum affine algebras by a further affinization, and, like the latter, can be used to construct integrable systems. These algebras also describe the symmetries of instanton partition functions for 5D $\mathcal{N}=1$ supersymmetric quiver gauge theories. We consider here the gauge theories defined on an orbifold $S^1\times\mathbb{C}^2/\mathbb{Z}_p$ where the action of $\mathbb{Z}_p$ is determined by two integer parameters $(ν_1,ν_2)$. The corresponding quantum toroidal algebra is introduced as a deformation of the quantum toroidal algebra of $\mathfrak{gl}(p)$. We show that it has the structure of a Hopf algebra, and present two representations, called vertical and horizontal, obtained by deforming respectively the Fock representation and Saito's vertex representations of the quantum toroidal algebra of $\mathfrak{gl}(p)$. We construct the vertex operator intertwining between these two types of representations. This object is identified with a $(ν_1,ν_2)$-deformation of the refined topological vertex, allowing us to reconstruct the Nekrasov partition function and the $qq$-characters of the quiver gauge theories.
△ Less
Submitted 25 May, 2020; v1 submitted 4 June, 2019;
originally announced June 2019.
-
Bayesian Linear Regression for Multivariate Responses Under Group Sparsity
Authors:
Bo Ning,
Seonghyun Jeong,
Subhashis Ghosal
Abstract:
We study frequentist properties of a Bayesian high-dimensional multivariate linear regression model with correlated responses. The predictors are separated into many groups and the group structure is pre-determined. Two features of the model are unique: (i) group sparsity is imposed on the predictors. (ii) the covariance matrix is unknown and its dimensions can also be high. We choose a product of…
▽ More
We study frequentist properties of a Bayesian high-dimensional multivariate linear regression model with correlated responses. The predictors are separated into many groups and the group structure is pre-determined. Two features of the model are unique: (i) group sparsity is imposed on the predictors. (ii) the covariance matrix is unknown and its dimensions can also be high. We choose a product of independent spike-and-slab priors on the regression coefficients and a new prior on the covariance matrix based on its eigendecomposition. Each spike-and-slab prior is a mixture of a point mass at zero and a multivariate density involving a $\ell_{2,1}$-norm. We first obtain the posterior contraction rate, the bounds on the effective dimension of the model with high posterior probabilities. We then show that the multivariate regression coefficients can be recovered under certain compatibility conditions. Finally, we quantify the uncertainty for the regression coefficients with frequentist validity through a Bernstein-von Mises type theorem. The result leads to selection consistency for the Bayesian method. We derive the posterior contraction rate using the general theory by constructing a suitable test from the first principle using moment bounds for certain likelihood ratios. This leads to posterior concentration around the truth with respect to the average Rényi divergence of order 1/2. This technique of obtaining the required tests for posterior contraction rate could be useful in many other problems.
△ Less
Submitted 11 June, 2019; v1 submitted 9 July, 2018;
originally announced July 2018.
-
Cartier operators on fields of positive characteristic p
Authors:
Sangtae Jeong
Abstract:
From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic $p$. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in func…
▽ More
From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic $p$. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in function field arithmetic, as suitable substitutes for higher derivatives. For an applicable object, the Wronskian criteria associated with Cartier operators are introduced. These results stem from a careful study of two types of Cartier operators on the power series ring $\Fq[[T]]$ in one variable $T$ over a finite field $\Fq$ of $q$ elements. Accordingly, we show that two sequences of Cartier operators are an orthonormal basis of the space of continuous $\Fq$-linear functions on $\Fq[[T]].$ According to the digit principle, every continuous function on $\Fq[[T]]$ is uniquely written in terms of a $q$-adic extension of Cartier operators, with a closed-form of expansion coefficients for each of the two cases. Moreover, the $p$-adic analogues of Cartier operators are discussed as orthonormal bases for the space of continuous functions on $\Zp.$
△ Less
Submitted 7 September, 2015; v1 submitted 4 September, 2015;
originally announced September 2015.
-
On the semi-threading of knot diagrams with minimal overpasses
Authors:
Jae-Wook Chung,
Seulgi Jeong,
Dongseok Kim
Abstract:
Given a knot diagram $D$, we construct a semi-threading circle for it which can be an axis of $D$ as a closed braid depending on knot diagrams. In particular, we consider semi-threading circles for minimal diagrams of a knot with respect to overpasses which give us some information related to the braid index. By this notion, we show that, for every nontrivial knot $K$, the braid index $b(K)$ of…
▽ More
Given a knot diagram $D$, we construct a semi-threading circle for it which can be an axis of $D$ as a closed braid depending on knot diagrams. In particular, we consider semi-threading circles for minimal diagrams of a knot with respect to overpasses which give us some information related to the braid index. By this notion, we show that, for every nontrivial knot $K$, the braid index $b(K)$ of $K$ is not less than the minimum number $l(K)$ of overpasses of diagrams. Moreover, they are the same for a torus knot.
△ Less
Submitted 15 February, 2013;
originally announced February 2013.
-
A note on Fermionic p-adic integrals on Zp and umbral calculus
Authors:
Taekyun Kim,
Dae San Kim,
Sagtae Jeong,
Seog-Hoon Rim
Abstract:
In this paper we study some properties of the fermionic p-adic integrals on Zp arising from the umbral calculus
In this paper we study some properties of the fermionic p-adic integrals on Zp arising from the umbral calculus
△ Less
Submitted 22 November, 2012;
originally announced November 2012.
-
Toward the ergodicity of $p$-adic 1-Lipschitz functions represented by the van der Put series
Authors:
Sangtae Jeong
Abstract:
Yurova \cite{Yu} and Anashin et al. \cite{AKY1, AKY2} characterize the ergodicity of a 1-Lipschitz function on $\Z_2$ in terms of the van der Put expansion. Motivated by their recent work, we provide the sufficient conditions for the ergodicity of such a function defined on a more general setting $\Z_p$.
In addition, we provide alternative proofs of two criteria (because of \cite{AKY1, AKY2} and…
▽ More
Yurova \cite{Yu} and Anashin et al. \cite{AKY1, AKY2} characterize the ergodicity of a 1-Lipschitz function on $\Z_2$ in terms of the van der Put expansion. Motivated by their recent work, we provide the sufficient conditions for the ergodicity of such a function defined on a more general setting $\Z_p$.
In addition, we provide alternative proofs of two criteria (because of \cite{AKY1, AKY2} and \cite{Yu}) for an ergodic 1-Lipschitz function on $\Z_2,$ represented by both the Mahler basis and the van der Put basis.
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
Asymptotic distribution of conical-hull estimators of directional edges
Authors:
Byeong U. Park,
Seok-Oh Jeong,
Léopold Simar
Abstract:
Nonparametric data envelopment analysis (DEA) estimators have been widely applied in analysis of productive efficiency. Typically they are defined in terms of convex-hulls of the observed combinations of $\mathrm{inputs}\times\mathrm{outputs}$ in a sample of enterprises. The shape of the convex-hull relies on a hypothesis on the shape of the technology, defined as the boundary of the set of techni…
▽ More
Nonparametric data envelopment analysis (DEA) estimators have been widely applied in analysis of productive efficiency. Typically they are defined in terms of convex-hulls of the observed combinations of $\mathrm{inputs}\times\mathrm{outputs}$ in a sample of enterprises. The shape of the convex-hull relies on a hypothesis on the shape of the technology, defined as the boundary of the set of technically attainable points in the $\mathrm{inputs}\times\mathrm{outputs}$ space. So far, only the statistical properties of the smallest convex polyhedron enveloping the data points has been considered which corresponds to a situation where the technology presents variable returns-to-scale (VRS). This paper analyzes the case where the most common constant returns-to-scale (CRS) hypothesis is assumed. Here the DEA is defined as the smallest conical-hull with vertex at the origin enveloping the cloud of observed points. In this paper we determine the asymptotic properties of this estimator, showing that the rate of convergence is better than for the VRS estimator. We derive also its asymptotic sampling distribution with a practical way to simulate it. This allows to define a bias-corrected estimator and to build confidence intervals for the frontier. We compare in a simulated example the bias-corrected estimator with the original conical-hull estimator and show its superiority in terms of median squared error.
△ Less
Submitted 2 October, 2010;
originally announced October 2010.
-
On a question of Goss
Authors:
Sangtae Jeong
Abstract:
In this note we answer the question raised by D. Goss in [Applications of non-Archimedean integration to the $L$-series of $τ$-sheaves, {\em J. Number Theory,} 110 (2005), no. 1, 83--113] by proving that the group of locally analytic endomorphisms on the 1-units of a locally compact field of characteristic $p>0$ is isomorphic to the $p$-adic integers.
In this note we answer the question raised by D. Goss in [Applications of non-Archimedean integration to the $L$-series of $τ$-sheaves, {\em J. Number Theory,} 110 (2005), no. 1, 83--113] by proving that the group of locally analytic endomorphisms on the 1-units of a locally compact field of characteristic $p>0$ is isomorphic to the $p$-adic integers.
△ Less
Submitted 29 August, 2008;
originally announced August 2008.
-
A comparison of the Carlitz and digit derivatives bases in function field arithmetic
Authors:
Sangtae Jeong
Abstract:
In this paper we compare several properties and constructions of the Carlitz polynomials and digit derivatives for continuous functions on $\F_q[[T]].$ In particular, we show a close relation between them as orthonormal bases. Moreover, parallel to Carlitz's coefficient formula, we give the closed formula for the expansion coefficients in terms of the digit derivatives.
In this paper we compare several properties and constructions of the Carlitz polynomials and digit derivatives for continuous functions on $\F_q[[T]].$ In particular, we show a close relation between them as orthonormal bases. Moreover, parallel to Carlitz's coefficient formula, we give the closed formula for the expansion coefficients in terms of the digit derivatives.
△ Less
Submitted 12 March, 2000;
originally announced March 2000.
