-
Connections between convex optimization algorithms and subspace correction methods
Authors:
Boou Jiang,
Jongho Park,
Jinchao Xu
Abstract:
We show that a broad range of convex optimization algorithms, including alternating projection, operator splitting, and multiplier methods, can be systematically derived from the framework of subspace correction methods via convex duality. To formalize this connection, we introduce the notion of dualization, a process that transforms an iterative method for the dual problem into an equivalent meth…
▽ More
We show that a broad range of convex optimization algorithms, including alternating projection, operator splitting, and multiplier methods, can be systematically derived from the framework of subspace correction methods via convex duality. To formalize this connection, we introduce the notion of dualization, a process that transforms an iterative method for the dual problem into an equivalent method for the primal problem. This concept establishes new connections across these algorithmic classes, encompassing both well-known and new methods. In particular, we show that classical algorithms such as the von Neumann, Dykstra, Peaceman--Rachford, and Douglas--Rachford methods can be interpreted as dualizations of subspace correction methods applied to appropriate dual formulations. Beyond unifying existing methods, our framework enables the systematic development of new algorithms for convex optimization. For instance, we derive parallel variants of alternating projection and operator splitting methods, as dualizations of parallel subspace correction methods, that are well-suited for large-scale problems on modern computing architectures and offer straightforward convergence guarantees. We also propose new alternating direction method of multipliers-type algorithms, derived as dualizations of certain operator splitting methods. These algorithms naturally ensure convergence even in the multi-block setting, where the conventional method does not guarantee convergence when applied to more than two blocks. This unified perspective not only facilitates algorithm design and the transfer of theoretical results but also opens new avenues for research and innovation in convex optimization.
△ Less
Submitted 14 May, 2025;
originally announced May 2025.
-
Inverse Problem for the Schrödinger Equation with Non-self-adjoint Matrix Potential
Authors:
Sergei Avdonin,
Alexander Mikhaylov,
Victor Mikhaylov,
Jeff Park
Abstract:
We consider the dynamical system with boundary control for the vector Schrödinger equation on the interval with a non-self-adjoint matrix potential. For this system, we study the inverse problem of recovering the matrix potential from the dynamical Dirichlet--to--Neumann operator. We first provide a method to recover spectral data for an abstract system from dynamic data and apply it to the Schröd…
▽ More
We consider the dynamical system with boundary control for the vector Schrödinger equation on the interval with a non-self-adjoint matrix potential. For this system, we study the inverse problem of recovering the matrix potential from the dynamical Dirichlet--to--Neumann operator. We first provide a method to recover spectral data for an abstract system from dynamic data and apply it to the Schrödinger equation. We then develop a strategy for solving the inverse problem for the Schrödinger equation using this method with other techniques of the Boundary control method.
△ Less
Submitted 9 May, 2025;
originally announced May 2025.
-
Sharp asymptotic stability of the incompressible porous media equation
Authors:
Roberta Bianchini,
Min jun Jo,
Jaemin Park,
Shan Wang
Abstract:
In this paper, we prove the asymptotic stability of the incompressible porous media (IPM) equation near a stable stratified density, for initial perturbations in the Sobolev space \( H^k \) with any \( 2<k \in\mathbb{R} \). While it is known that such a steady state is unstable in \( H^2 \), our result establishes a sharp stability threshold in higher-order Sobolev spaces.
The key ingredients of…
▽ More
In this paper, we prove the asymptotic stability of the incompressible porous media (IPM) equation near a stable stratified density, for initial perturbations in the Sobolev space \( H^k \) with any \( 2<k \in\mathbb{R} \). While it is known that such a steady state is unstable in \( H^2 \), our result establishes a sharp stability threshold in higher-order Sobolev spaces.
The key ingredients of our proof are twofold. First, we extract long-time convergence from the decay of a potential energy functional{--despite its non-coercive nature--thereby revealing a variational structure underlying the dynamics.} Second, we derive refined commutator estimates to control the evolution of higher Sobolev norms throughout the full range of $k>2$.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Smooth concordance of cables of the figure-eight knot
Authors:
Sungkyung Kang,
JungHwan Park,
Masaki Taniguchi
Abstract:
We prove that every nontrivial cable of the figure-eight knot has infinite order in the smooth knot concordance group. Our main contribution is a uniform proof that applies to all $(2n,1)$-cables of the figure-eight knot. To this end, we introduce a family of concordance invariants $κ_R^{(k)}$, defined via $2^k$-fold branched covers and real Seiberg--Witten Floer $K$-theory. These invariants gener…
▽ More
We prove that every nontrivial cable of the figure-eight knot has infinite order in the smooth knot concordance group. Our main contribution is a uniform proof that applies to all $(2n,1)$-cables of the figure-eight knot. To this end, we introduce a family of concordance invariants $κ_R^{(k)}$, defined via $2^k$-fold branched covers and real Seiberg--Witten Floer $K$-theory. These invariants generalize the real $K$-theoretic Frøyshov invariant developed by Konno, Miyazawa, and Taniguchi.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Weakly Einstein curvature tensors
Authors:
Andrzej Derdzinski,
JeongHyeong Park,
Wooseok Shin
Abstract:
We classify weakly Einstein algebraic curvature tensors in an oriented Euclidean 4-space, defined by requiring that the three-index contraction of the curvature tensor against itself be a multiple of the inner product. This algebraic formulation parallels the geometric notion of weakly Einstein Riemannian four-manifolds, which include conformally flat scalar-flat, and Einstein manifolds. Our main…
▽ More
We classify weakly Einstein algebraic curvature tensors in an oriented Euclidean 4-space, defined by requiring that the three-index contraction of the curvature tensor against itself be a multiple of the inner product. This algebraic formulation parallels the geometric notion of weakly Einstein Riemannian four-manifolds, which include conformally flat scalar-flat, and Einstein manifolds. Our main result provides a complete classification of non-Einstein weakly Einstein curvature tensors in dimension four, naturally dividing them into three disjoint five-dimensional families of algebraic types. These types are explicitly constructed using bases that simultaneously diagonalize both the Einstein tensor and the (anti)self-dual Weyl tensors, which consequently proves that such simultaneous diagonalizability follows from the weakly Einstein property. We also describe how the known geometric examples that are neither Einstein, nor conformally flat scalar-flat (namely, the EPS space and certain Kähler surfaces) fit within our classification framework.
△ Less
Submitted 25 April, 2025;
originally announced April 2025.
-
Robust Estimation in metric spaces: Achieving Exponential Concentration with a Fréchet Median
Authors:
Jakwang Kim,
Jiyoung Park,
Anirban Bhattacharya
Abstract:
There is growing interest in developing statistical estimators that achieve exponential concentration around a population target even when the data distribution has heavier than exponential tails. More recent activity has focused on extending such ideas beyond Euclidean spaces to Hilbert spaces and Riemannian manifolds. In this work, we show that such exponential concentration in presence of heavy…
▽ More
There is growing interest in developing statistical estimators that achieve exponential concentration around a population target even when the data distribution has heavier than exponential tails. More recent activity has focused on extending such ideas beyond Euclidean spaces to Hilbert spaces and Riemannian manifolds. In this work, we show that such exponential concentration in presence of heavy tails can be achieved over a broader class of parameter spaces called CAT($κ$) spaces, a very general metric space equipped with the minimal essential geometric structure for our purpose, while being sufficiently broad to encompass most typical examples encountered in statistics and machine learning. The key technique is to develop and exploit a general concentration bound for the Fréchet median in CAT($κ$) spaces. We illustrate our theory through a number of examples, and provide empirical support through simulation studies.
△ Less
Submitted 18 April, 2025;
originally announced April 2025.
-
Weighted estimates for Multilinear Singular Integrals with Rough Kernels
Authors:
Bae Jun Park
Abstract:
We establish weighted norm inequalities for a class of multilinear singular integral operators with rough kernels. Specifically, we consider the multilinear singular integral operator $\mathcal{L}_Ω$ associated with an integrable function $Ω$ on the unit sphere $\mathbb{S}^{mn-1}$ satisfying the vanishing mean condition. Extending the classical results of Watson and Duoandikoetxea to the multiline…
▽ More
We establish weighted norm inequalities for a class of multilinear singular integral operators with rough kernels. Specifically, we consider the multilinear singular integral operator $\mathcal{L}_Ω$ associated with an integrable function $Ω$ on the unit sphere $\mathbb{S}^{mn-1}$ satisfying the vanishing mean condition. Extending the classical results of Watson and Duoandikoetxea to the multilinear setting, we prove that $\mathcal{L}_Ω$ is bounded from $L^{p_1}(w_1)\times\cdots\times L^{p_m}(w_m)$ to $L^p(v_{\vec{\boldsymbol{w}}})$ under the assumption that $Ω\in L^q(\mathbb{S}^{mn-1})$ and that the $m$ tuple of weights $\vec{\boldsymbol{w}}= (w_1,\ldots,w_m)$ lies in the multiple weight class $A_{\vec{\boldsymbol{p}}/q'}((\mathbb{R}^n)^m)$. Here, $q'$ denotes the Hölder conjugate of $q$, and we assume $q'\le p_1,\dots,p_m<\infty$ with $1/p = 1/p_1 + \cdots + 1/p_m$.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Comparison of Frobenius algebra structures on Calabi-Yau toric hypersurfaces
Authors:
Jeehoon Park,
Philsang Yoo
Abstract:
We establish an isomorphism between two Frobenius algebra structures, termed CY and LG, on the primitive cohomology of a smooth Calabi--Yau hypersurface in a simplicial Gorenstein toric Fano variety. As an application of our comparison isomorphism, we observe the existence of a Frobenius manifold structure on a finite-dimensional subalgebra of the Jacobian algebra of a homogeneous polynomial which…
▽ More
We establish an isomorphism between two Frobenius algebra structures, termed CY and LG, on the primitive cohomology of a smooth Calabi--Yau hypersurface in a simplicial Gorenstein toric Fano variety. As an application of our comparison isomorphism, we observe the existence of a Frobenius manifold structure on a finite-dimensional subalgebra of the Jacobian algebra of a homogeneous polynomial which may exhibit a non-compact singularity locus.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
A satellite formula for real Seiberg-Witten Floer homotopy types
Authors:
Jin Miyazawa,
JungHwan Park,
Masaki Taniguchi
Abstract:
We establish a satellite formula for the real Seiberg-Witten Floer homotopy types of knots with odd patterns. Using this, we derive several applications to knot concordance theory. The satellite formula follows from a version of the excision theorem for real Floer homotopy types. Additionally, we show that the concordance invariants arising from real Seiberg-Witten theory depend only on the knot's…
▽ More
We establish a satellite formula for the real Seiberg-Witten Floer homotopy types of knots with odd patterns. Using this, we derive several applications to knot concordance theory. The satellite formula follows from a version of the excision theorem for real Floer homotopy types. Additionally, we show that the concordance invariants arising from real Seiberg-Witten theory depend only on the knot's zero-framed surgery.
△ Less
Submitted 4 April, 2025;
originally announced April 2025.
-
100% of elliptic curves with a marked point have positive rank
Authors:
Jun-Yong Park,
Tristan Phillips
Abstract:
As a consequence of their work on average Selmer ranks of elliptic curves with marked points, Bhargava and Ho proved that $100\%$ of elliptic curves over $\mathbb{Q}$ with an additional marked point have positive rank. In this note we provide an alternate proof which extends the result to global fields of characteristic not two or three.
As a consequence of their work on average Selmer ranks of elliptic curves with marked points, Bhargava and Ho proved that $100\%$ of elliptic curves over $\mathbb{Q}$ with an additional marked point have positive rank. In this note we provide an alternate proof which extends the result to global fields of characteristic not two or three.
△ Less
Submitted 18 March, 2025;
originally announced April 2025.
-
On non-bipartite graphs with integral signless Laplacian eigenvalues at most 6
Authors:
Semin Oh,
Jeong Rye Park,
Jongyook Park,
Yoshio Sano
Abstract:
In this paper, we completely classify the connected non-bipartite graphs with integral signless Laplacian eigenvalues at most 6.
In this paper, we completely classify the connected non-bipartite graphs with integral signless Laplacian eigenvalues at most 6.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
The fast rate of convergence of the smooth adapted Wasserstein distance
Authors:
Martin Larsson,
Jonghwa Park,
Johannes Wiesel
Abstract:
Estimating a $d$-dimensional distribution $μ$ by the empirical measure $\hatμ_n$ of its samples is an important task in probability theory, statistics and machine learning. It is well known that $\mathbb{E}[\mathcal{W}_p(\hatμ_n, μ)]\lesssim n^{-1/d}$ for $d>2p$, where $\mathcal{W}_p$ denotes the $p$-Wasserstein metric. An effective tool to combat this curse of dimensionality is the smooth Wassers…
▽ More
Estimating a $d$-dimensional distribution $μ$ by the empirical measure $\hatμ_n$ of its samples is an important task in probability theory, statistics and machine learning. It is well known that $\mathbb{E}[\mathcal{W}_p(\hatμ_n, μ)]\lesssim n^{-1/d}$ for $d>2p$, where $\mathcal{W}_p$ denotes the $p$-Wasserstein metric. An effective tool to combat this curse of dimensionality is the smooth Wasserstein distance $\mathcal{W}^{(σ)}_p$, which measures the distance between two probability measures after having convolved them with isotropic Gaussian noise $\mathcal{N}(0,σ^2\text{I})$. In this paper we apply this smoothing technique to the adapted Wasserstein distance. We show that the smooth adapted Wasserstein distance $\mathcal{A}\mathcal{W}_p^{(σ)}$ achieves the fast rate of convergence $\mathbb{E}[\mathcal{A}\mathcal{W}_p^{(σ)}(\hatμ_n, μ)]\lesssim n^{-1/2}$, if $μ$ is subgaussian. This result follows from the surprising fact, that any subgaussian measure $μ$ convolved with a Gaussian distribution has locally Lipschitz kernels.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Singularities and syzygies of secant varieties of smooth projective varieties
Authors:
Doyoung Choi,
Justin Lacini,
Jinhyung Park,
John Sheridan
Abstract:
We study the higher secant varieties of a smooth projective variety embedded in projective space. We prove that when the variety is a surface and the embedding line bundle is sufficiently positive, these varieties are normal with Du Bois singularities and the syzygies of their defining ideals are linear to the expected order. We show that the cohomology of the structure sheaf of the surface comple…
▽ More
We study the higher secant varieties of a smooth projective variety embedded in projective space. We prove that when the variety is a surface and the embedding line bundle is sufficiently positive, these varieties are normal with Du Bois singularities and the syzygies of their defining ideals are linear to the expected order. We show that the cohomology of the structure sheaf of the surface completely determines whether the singularities of its secant varieties are Cohen--Macaulay or rational. We also prove analogous results when the dimension of the original variety is higher and the secant order is low, and by contrast we prove a result that strongly implies these statements do not generalize to higher dimensional varieties when the secant order is high. Finally, we deduce a complementary result characterizing the ideal of secant varieties of a surface in terms of the symbolic powers of the ideal of the surface itself, and we include a theorem concerning the weight one syzygies of an embedded surface -- analogous to the gonality conjecture for curves -- which we discovered as a natural application of our techniques.
△ Less
Submitted 26 February, 2025;
originally announced February 2025.
-
Generalized Harnack Inequality for Mean Curvature Flow and Ancient Solutions
Authors:
Junyoung Park
Abstract:
The goal of this paper is to relax convexity assumption on some classical results in mean curvature flow. In the first half of the paper, we prove a generalized version of Hamilton's differential Harnack inequality which holds for mean convex solutions to mean curvature flow with a lower bound on $\frac{λ_1}{H}$ where $λ_1$ is the smallest principal curvature. Then, we use classical maximum princi…
▽ More
The goal of this paper is to relax convexity assumption on some classical results in mean curvature flow. In the first half of the paper, we prove a generalized version of Hamilton's differential Harnack inequality which holds for mean convex solutions to mean curvature flow with a lower bound on $\frac{λ_1}{H}$ where $λ_1$ is the smallest principal curvature. Then, we use classical maximum principle to provide several characterizations of family of shrinking spheres for closed, mean convex ancient solution to mean curvature flow with a lower bound on $\frac{λ_1 + .. + λ_k}{H}$ for some $1 \leq k \leq d-1$, where $λ_1 \leq λ_2 \leq .. \leq λ_d$ are the principal curvatures.
△ Less
Submitted 24 February, 2025; v1 submitted 10 February, 2025;
originally announced February 2025.
-
Polynomial potential minimization on the unit circle
Authors:
Josiah Park
Abstract:
In the following, we study the minimization of polynomial potentials $ f(t) $ on the unit circle, where the potentials take the form \[ f(t) = \sum_{i=1}^n b_i x^{2i}, \quad b_i \in \mathbb{R}. \] This form arises in the context of truncations of expansions of $ p $-frame potentials. One approach to minimize these potentials involves rewriting the integral as a sum of integrals obtained by expandi…
▽ More
In the following, we study the minimization of polynomial potentials $ f(t) $ on the unit circle, where the potentials take the form \[ f(t) = \sum_{i=1}^n b_i x^{2i}, \quad b_i \in \mathbb{R}. \] This form arises in the context of truncations of expansions of $ p $-frame potentials. One approach to minimize these potentials involves rewriting the integral as a sum of integrals obtained by expanding the potential $ f(t) = \sum_{i=1}^n c_i T_i(t) $ in terms of Chebyshev polynomials. By replacing the inner product $ \langle x, y \rangle $ with $ \cos(θ_{x, y}) $, we can reformulate the original problem as: \[ \min_{μ\in P(T)} \int_T \int_T f(\langle x, y \rangle) dμ(x) dμ(y) \] as an equivalent form: \[ \min_{ν\in P([-π, π])} \sum_{i=1}^n c_i \int_{-π}^π\int_{-π}^π\cos(n(x - y)) dν(x) dν(y) \].
△ Less
Submitted 31 December, 2024;
originally announced January 2025.
-
Existence of weak solutions for nonlinear drift-diffusion equations with measure data
Authors:
Sukjung Hwang,
Kyungkeun Kang,
Hwa Kil Kim,
Jung-Tae Park
Abstract:
We consider nonlinear drift-diffusion equations (both porous medium equations and fast diffusion equations) with a measure-valued external force. We establish existence of nonnegative weak solutions satisfying gradient estimates, provided that the drift term belongs to a sub-scaling class relevant to $L^1$-space. If the drift is divergence-free, such a class is, however, relaxed so that drift suff…
▽ More
We consider nonlinear drift-diffusion equations (both porous medium equations and fast diffusion equations) with a measure-valued external force. We establish existence of nonnegative weak solutions satisfying gradient estimates, provided that the drift term belongs to a sub-scaling class relevant to $L^1$-space. If the drift is divergence-free, such a class is, however, relaxed so that drift suffices to be included in a certain supercritical scaling class, and the nonlinear diffusion can be less restrictive as well. By handling both the measure data and the drift, we obtain a new type of energy estimates. As an application, we construct weak solutions for a specific type of nonlinear diffusion equation with measure data coupled to the incompressible Navier-Stokes equations.
△ Less
Submitted 14 January, 2025;
originally announced January 2025.
-
On weakly Einstein Kähler surfaces
Authors:
Andrzej Derdzinski,
Yunhee Euh,
Sinhwi Kim,
JeongHyeong Park
Abstract:
Riemannian four-manifolds in which the triple contraction of the curvature tensor against itself yields a functional multiple of the metric are called weakly Einstein. We focus on weakly Einstein Kähler surfaces. We provide several conditions characterizing those Kähler surfaces which are weakly Einstein, classify weakly Einstein Kähler surfaces having some specific additional properties, and cons…
▽ More
Riemannian four-manifolds in which the triple contraction of the curvature tensor against itself yields a functional multiple of the metric are called weakly Einstein. We focus on weakly Einstein Kähler surfaces. We provide several conditions characterizing those Kähler surfaces which are weakly Einstein, classify weakly Einstein Kähler surfaces having some specific additional properties, and construct new examples.
△ Less
Submitted 31 December, 2024;
originally announced January 2025.
-
Subspace correction methods for semicoercive and nearly semicoercive convex optimization with applications to nonlinear PDEs
Authors:
Young-Ju Lee,
Jongho Park
Abstract:
We present new convergence analyses for subspace correction methods for semicoercive and nearly semicoercive convex optimization problems, generalizing the theory of singular and nearly singular linear problems to the nonlinear domain. Our results demonstrate that the elegant theoretical framework developed for singular and nearly singular linear problems can be extended to semicoercive and nearly…
▽ More
We present new convergence analyses for subspace correction methods for semicoercive and nearly semicoercive convex optimization problems, generalizing the theory of singular and nearly singular linear problems to the nonlinear domain. Our results demonstrate that the elegant theoretical framework developed for singular and nearly singular linear problems can be extended to semicoercive and nearly semicoercive convex optimization problems. For semicoercive problems, we show that the convergence rate can be estimated in terms of a seminorm stable decomposition over the subspaces and the kernel of the problem, aligning with the theory for singular linear problems. For nearly semicoercive problems, we establish a parameter-independent convergence rate, assuming the kernel of the semicoercive part can be decomposed into a sum of local kernels, which aligns with the theory for nearly singular problems. To demonstrate the applicability of our results, we provide convergence analyses of two-level additive Schwarz methods for solving a nonlinear Neumann boundary value problem and its perturbation within the proposed abstract framework.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
Exact Verification of First-Order Methods via Mixed-Integer Linear Programming
Authors:
Vinit Ranjan,
Jisun Park,
Stefano Gualandi,
Andrea Lodi,
Bartolomeo Stellato
Abstract:
We present exact mixed-integer linear programming formulations for verifying the performance of first-order methods for parametric quadratic optimization. We formulate the verification problem as a mixed-integer linear program where the objective is to maximize the infinity norm of the fixed-point residual after a given number of iterations. Our approach captures a wide range of gradient, projecti…
▽ More
We present exact mixed-integer linear programming formulations for verifying the performance of first-order methods for parametric quadratic optimization. We formulate the verification problem as a mixed-integer linear program where the objective is to maximize the infinity norm of the fixed-point residual after a given number of iterations. Our approach captures a wide range of gradient, projection, proximal iterations through affine or piecewise affine constraints. We derive tight polyhedral convex hull formulations of the constraints representing the algorithm iterations. To improve the scalability, we develop a custom bound tightening technique combining interval propagation, operator theory, and optimization-based bound tightening. Numerical examples, including linear and quadratic programs from network optimization, sparse coding using Lasso, and optimal control, show that our method provides several orders of magnitude reductions in the worst-case fixed-point residuals, closely matching the true worst-case performance.
△ Less
Submitted 5 May, 2025; v1 submitted 15 December, 2024;
originally announced December 2024.
-
Universal finite-size scaling in high-dimensional critical phenomena
Authors:
Yucheng Liu,
Jiwoon Park,
Gordon Slade
Abstract:
We present a new unified theory of critical finite-size scaling for lattice statistical mechanical models with periodic boundary conditions above the upper critical dimension. The universal finite-size scaling is inherited from the scaling of the system unwrapped to the infinite lattice. A Wilsonian renormalisation group analysis determines a universal profile for the susceptibility and two-point…
▽ More
We present a new unified theory of critical finite-size scaling for lattice statistical mechanical models with periodic boundary conditions above the upper critical dimension. The universal finite-size scaling is inherited from the scaling of the system unwrapped to the infinite lattice. A Wilsonian renormalisation group analysis determines a universal profile for the susceptibility and two-point function plateau. Our theory is based on recent mathematically rigorous results for linear and branched polymers, multi-component spin systems, and percolation. Both short-range and long-range interactions are included. With free boundary conditions, the universal scaling applies at a pseudocritical point.
△ Less
Submitted 11 December, 2024;
originally announced December 2024.
-
Numerical Analysis of HiPPO-LegS ODE for Deep State Space Models
Authors:
Jaesung R. Park,
Jaewook J. Suh,
Ernest K. Ryu
Abstract:
In deep learning, the recently introduced state space models utilize HiPPO (High-order Polynomial Projection Operators) memory units to approximate continuous-time trajectories of input functions using ordinary differential equations (ODEs), and these techniques have shown empirical success in capturing long-range dependencies in long input sequences. However, the mathematical foundations of these…
▽ More
In deep learning, the recently introduced state space models utilize HiPPO (High-order Polynomial Projection Operators) memory units to approximate continuous-time trajectories of input functions using ordinary differential equations (ODEs), and these techniques have shown empirical success in capturing long-range dependencies in long input sequences. However, the mathematical foundations of these ODEs, particularly the singular HiPPO-LegS (Legendre Scaled) ODE, and their corresponding numerical discretizations remain unexplored. In this work, we fill this gap by establishing that HiPPO-LegS ODE is well-posed despite its singularity, albeit without the freedom of arbitrary initial conditions, and by establishing convergence of the associated numerical discretization schemes for Riemann-integrable input functions.
△ Less
Submitted 11 December, 2024;
originally announced December 2024.
-
Maximal discs of Weil-Petersson class in $\mathbb{A}\mathrm{d}\mathbb{S}^{2,1}$
Authors:
Jinsung Park
Abstract:
We introduce maximal discs of Weil-Petersson class in the 3-dimensional Anti-de Sitter space $\mathbb{A}\mathrm{d}\mathbb{S}^{2,1}$, whose parametrization space can be identified with the cotangent bundle $T^*T_0(1)$ of Weil-Petersson universal Teichmüller space $T_0(1)$. We prove that the Mess map defines a symplectic diffeomorphism from $T^*T_0(1)$ to $T_0(1)\times T_0(1)$, with respect to the c…
▽ More
We introduce maximal discs of Weil-Petersson class in the 3-dimensional Anti-de Sitter space $\mathbb{A}\mathrm{d}\mathbb{S}^{2,1}$, whose parametrization space can be identified with the cotangent bundle $T^*T_0(1)$ of Weil-Petersson universal Teichmüller space $T_0(1)$. We prove that the Mess map defines a symplectic diffeomorphism from $T^*T_0(1)$ to $T_0(1)\times T_0(1)$, with respect to the canonical symplectic form on $T^*T_0(1)$ and the difference of pullbacks of the Weil-Petersson symplectic forms from each factor of $T_0(1)\times T_0(1)$. Furthermore, we show that the functional given by the anti-holomorphic energies of the induced Gauss maps associated with maximal discs of Weil-Petersson class serves as a Kähler potential for the restriction of the canonical symplectic form to certain submanifolds $T_0(1)^\pm \subset T^*T_0(1)$, which bijectively parametrize the space of maximal discs of Weil-Petersson class in $\mathbb{A}\mathrm{d}\mathbb{S}^{2,1}$.
△ Less
Submitted 23 April, 2025; v1 submitted 9 December, 2024;
originally announced December 2024.
-
Positivity of double point divisors
Authors:
Yonghwa Cho,
Jinhyung Park
Abstract:
The non-isomorphic locus of a general projection from an embedded smooth projective variety to a hypersurface moves in a linear system of an effective divisor which we call the double point divisor. David Mumford proved that the double point divisor from outer projection is always base point free, and Bo Ilic proved that it is ample except for a Roth variety. The first aim of this paper is to show…
▽ More
The non-isomorphic locus of a general projection from an embedded smooth projective variety to a hypersurface moves in a linear system of an effective divisor which we call the double point divisor. David Mumford proved that the double point divisor from outer projection is always base point free, and Bo Ilic proved that it is ample except for a Roth variety. The first aim of this paper is to show that the double point divisor from outer projection is very ample except in the Roth case. This answers a question of Bo Ilic. Unlike the case of outer projection, the double point divisor from inner projection may not be base point free nor ample. However, Atsushi Noma proved that it is semiample except when a variety is neither a Roth variety, a scroll over a curve, nor the second Veronese surface. In this paper, we investigate when the double point divisor from inner projection is base point free or big.
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
Note on a conjecture of Talagrand: expectation thresholds vs. fractional expectation thresholds
Authors:
Quentin Dubroff,
Jeff Kahn,
Jinyoung Park
Abstract:
We show that a restricted version of a conjecture of M. Talagrand on the relation between "expectation thresholds" and "fractional expectation thresholds" follows easily from a strong version of a second conjecture of Talagrand, on "selector processes." The selector process conjecture was proved by Park and Pham, and the quantitative strengthening used here is due to Bednorz, Martynek, and Meller.
We show that a restricted version of a conjecture of M. Talagrand on the relation between "expectation thresholds" and "fractional expectation thresholds" follows easily from a strong version of a second conjecture of Talagrand, on "selector processes." The selector process conjecture was proved by Park and Pham, and the quantitative strengthening used here is due to Bednorz, Martynek, and Meller.
△ Less
Submitted 1 December, 2024;
originally announced December 2024.
-
Almost invariant subspaces of shift operators and products of Toeplitz and Hankel operators
Authors:
Caixing Gu,
In Sung Hwang,
Hyoung Joon Kim,
Woo Young Lee,
Jaehui Park
Abstract:
In this paper we formulate the almost invariant subspaces theorems of backward shift operators in terms of the ranges or kernels of product of Toeplitz and Hankel operators. This approach simplifies and gives more explicit forms of these almost invariant subspaces which are derived from related nearly backward shift invariant subspaces with finite defect. Furthermore, this approach also leads to t…
▽ More
In this paper we formulate the almost invariant subspaces theorems of backward shift operators in terms of the ranges or kernels of product of Toeplitz and Hankel operators. This approach simplifies and gives more explicit forms of these almost invariant subspaces which are derived from related nearly backward shift invariant subspaces with finite defect. Furthermore, this approach also leads to the surprising result that the almost invariant subspaces of backward shift operators are the same as the almost invariant subspaces of forward shift operators which were treated only briefly in literature.
△ Less
Submitted 20 November, 2024;
originally announced November 2024.
-
On weakly Einstein Lie groups
Authors:
Yunhee Euh,
Sinhwi Kim,
Yuri Nikolayevsky,
JeongHyeong Park
Abstract:
A Riemannian manifold is called \emph{weakly Einstein} if the tensor $R_{iabc}R_{j}^{~~abc}$ is a scalar multiple of the metric tensor $g_{ij}$. We consider weakly Einstein Lie groups with a left-invariant metric which are weakly Einstein. We prove that there exist no weakly Einstein non-abelian $2$-step nilpotent Lie groups and no weakly Einstein non-abelian nilpotent Lie groups whose dimension i…
▽ More
A Riemannian manifold is called \emph{weakly Einstein} if the tensor $R_{iabc}R_{j}^{~~abc}$ is a scalar multiple of the metric tensor $g_{ij}$. We consider weakly Einstein Lie groups with a left-invariant metric which are weakly Einstein. We prove that there exist no weakly Einstein non-abelian $2$-step nilpotent Lie groups and no weakly Einstein non-abelian nilpotent Lie groups whose dimension is at most $5$. We also prove that an almost abelian Lie group is weakly Einstein if and only if at the Lie algebra level it is defined by a normal operator whose square is a multiple of the identity.
△ Less
Submitted 19 November, 2024;
originally announced November 2024.
-
Random Lipschitz functions on graphs with weak expansion
Authors:
Senem Işık,
Jinyoung Park
Abstract:
Benjamini, Yadin, and Yehudayoff (2007) showed that if the maximum degree of a graph $G$ is 'sub-logarithmic,' then the typical range of random $\mathbb Z$-homomorphisms is super-constant. Furthermore, they showed that there is a sharp transition on the range of random $\mathbb Z$-homomorphisms on the graph $C_{n,k}$, the tensor product of the $n$-cycle and the complete graph on $k$ vertices with…
▽ More
Benjamini, Yadin, and Yehudayoff (2007) showed that if the maximum degree of a graph $G$ is 'sub-logarithmic,' then the typical range of random $\mathbb Z$-homomorphisms is super-constant. Furthermore, they showed that there is a sharp transition on the range of random $\mathbb Z$-homomorphisms on the graph $C_{n,k}$, the tensor product of the $n$-cycle and the complete graph on $k$ vertices with self-loops, around $k=2\log n$. We extend (to some extent) their results to random $M$-Lipschitz functions and random real-valued Lipschitz functions.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
Cellular sheaf Laplacians on the set of simplices of symmetric simplicial set induced by hypergraph
Authors:
Seongjin Choi,
Junyeong Park
Abstract:
We generalize cellular sheaf Laplacians on an ordered finite abstract simplicial complex to the set of simplices of a symmetric simplicial set. We construct a functor from the category of hypergraphs to the category of finite symmetric simplicial sets and define cellular sheaf Laplacians on the set of simplices of finite symmetric simplicial set induced by hypergraph. We provide formulas for cellu…
▽ More
We generalize cellular sheaf Laplacians on an ordered finite abstract simplicial complex to the set of simplices of a symmetric simplicial set. We construct a functor from the category of hypergraphs to the category of finite symmetric simplicial sets and define cellular sheaf Laplacians on the set of simplices of finite symmetric simplicial set induced by hypergraph. We provide formulas for cellular sheaf Laplacians and show that cellular sheaf Laplacian on an ordered finite abstract simplicial complex is exactly the ordered cellular sheaf Laplacian on the set of simplices induced by abstract simplicial complex.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
When are dynamical systems learned from time series data statistically accurate?
Authors:
Jeongjin Park,
Nicole Yang,
Nisha Chandramoorthy
Abstract:
Conventional notions of generalization often fail to describe the ability of learned models to capture meaningful information from dynamical data. A neural network that learns complex dynamics with a small test error may still fail to reproduce its \emph{physical} behavior, including associated statistical moments and Lyapunov exponents. To address this gap, we propose an ergodic theoretic approac…
▽ More
Conventional notions of generalization often fail to describe the ability of learned models to capture meaningful information from dynamical data. A neural network that learns complex dynamics with a small test error may still fail to reproduce its \emph{physical} behavior, including associated statistical moments and Lyapunov exponents. To address this gap, we propose an ergodic theoretic approach to generalization of complex dynamical models learned from time series data. Our main contribution is to define and analyze generalization of a broad suite of neural representations of classes of ergodic systems, including chaotic systems, in a way that captures emulating underlying invariant, physical measures. Our results provide theoretical justification for why regression methods for generators of dynamical systems (Neural ODEs) fail to generalize, and why their statistical accuracy improves upon adding Jacobian information during training. We verify our results on a number of ergodic chaotic systems and neural network parameterizations, including MLPs, ResNets, Fourier Neural layers, and RNNs.
△ Less
Submitted 9 November, 2024;
originally announced November 2024.
-
Zero-Coupon Treasury Rates and Returns using the Volatility Index
Authors:
Jihyun Park,
Andrey Sarantsev
Abstract:
We study a multivariate autoregressive stochastic volatility model for the first 3 principal components (level, slope, curvature) of 10 series of zero-coupon Treasury bond rates with maturities from 1 to 10 years. We fit this model using monthly data from 1990. Unlike classic models with hidden stochastic volatility, here it is observed as VIX: the volatility index for the S&P 500 stock market ind…
▽ More
We study a multivariate autoregressive stochastic volatility model for the first 3 principal components (level, slope, curvature) of 10 series of zero-coupon Treasury bond rates with maturities from 1 to 10 years. We fit this model using monthly data from 1990. Unlike classic models with hidden stochastic volatility, here it is observed as VIX: the volatility index for the S&P 500 stock market index. Surprisingly, this stock index volatility works for Treasury bonds, too. Next, we prove long-term stability and the Law of Large Numbers. We express total returns of zero-coupon bonds using these principal components. We prove the Law of Large Numbers for these returns. All results are done for discrete and continuous time.
△ Less
Submitted 20 January, 2025; v1 submitted 6 November, 2024;
originally announced November 2024.
-
On Dedekind's problem, a sparse version of Sperner's theorem, and antichains of a given size in the Boolean lattice
Authors:
Matthew Jenssen,
Alexandru Malekshahian,
Jinyoung Park
Abstract:
Dedekind's problem, dating back to 1897, asks for the total number $ψ(n)$ of antichains contained in the Boolean lattice $B_n$ on $n$ elements. We study Dedekind's problem using a recently developed method based on the cluster expansion from statistical physics and as a result, obtain several new results on the number and typical structure of antichains in $B_n$. We obtain detailed estimates for b…
▽ More
Dedekind's problem, dating back to 1897, asks for the total number $ψ(n)$ of antichains contained in the Boolean lattice $B_n$ on $n$ elements. We study Dedekind's problem using a recently developed method based on the cluster expansion from statistical physics and as a result, obtain several new results on the number and typical structure of antichains in $B_n$. We obtain detailed estimates for both $ψ(n)$ and the number of antichains of size $β\binom{n}{\lfloor n/2 \rfloor}$ for any fixed $β>0$. We also establish a sparse version of Sperner's theorem: we determine the sharp threshold and scaling window for the property that almost every antichain of size $m$ is contained in a middle layer of $B_n$.
△ Less
Submitted 22 November, 2024; v1 submitted 5 November, 2024;
originally announced November 2024.
-
A refined graph container lemma and applications to the hard-core model on bipartite expanders
Authors:
Matthew Jenssen,
Alexandru Malekshahian,
Jinyoung Park
Abstract:
We establish a refined version of a graph container lemma due to Galvin and discuss several applications related to the hard-core model on bipartite expander graphs. Given a graph $G$ and $λ>0$, the hard-core model on $G$ at activity $λ$ is the probability distribution $μ_{G,λ}$ on independent sets in $G$ given by $μ_{G,λ}(I)\propto λ^{|I|}$. As one of our main applications, we show that the hard-…
▽ More
We establish a refined version of a graph container lemma due to Galvin and discuss several applications related to the hard-core model on bipartite expander graphs. Given a graph $G$ and $λ>0$, the hard-core model on $G$ at activity $λ$ is the probability distribution $μ_{G,λ}$ on independent sets in $G$ given by $μ_{G,λ}(I)\propto λ^{|I|}$. As one of our main applications, we show that the hard-core model at activity $λ$ on the hypercube $Q_d$ exhibits a `structured phase' for $λ= Ω( \log^2 d/d^{1/2})$ in the following sense: in a typical sample from $μ_{Q_d,λ}$, most vertices are contained in one side of the bipartition of $Q_d$. This improves upon a result of Galvin which establishes the same for $λ=Ω(\log d/ d^{1/3})$. As another application, we establish a fully polynomial-time approximation scheme (FPTAS) for the hard-core model on a $d$-regular bipartite $α$-expander, with $α>0$ fixed, when $λ= Ω( \log^2 d/d^{1/2})$. This improves upon the bound $λ=Ω(\log d/ d^{1/4})$ due to the first author, Perkins and Potukuchi. We discuss similar improvements to results of Galvin-Tetali, Balogh-Garcia-Li and Kronenberg-Spinka.
△ Less
Submitted 23 November, 2024; v1 submitted 5 November, 2024;
originally announced November 2024.
-
On lens spaces bounding smooth 4-manifolds with $\boldsymbol{b_2=1}$
Authors:
Woohyeok Jo,
Jongil Park,
Kyungbae Park
Abstract:
We study which lens spaces can bound smooth 4-manifolds with second Betti number one under various topological conditions. Specifically, we show that there are infinite families of lens spaces that bound compact, simply-connected, smooth 4-manifolds with second Betti number one, yet cannot bound a 4-manifold consisting of a single 0-handle and 2-handle. Additionally, we establish the existence of…
▽ More
We study which lens spaces can bound smooth 4-manifolds with second Betti number one under various topological conditions. Specifically, we show that there are infinite families of lens spaces that bound compact, simply-connected, smooth 4-manifolds with second Betti number one, yet cannot bound a 4-manifold consisting of a single 0-handle and 2-handle. Additionally, we establish the existence of infinite families of lens spaces that bound compact, smooth 4-manifolds with first Betti number zero and second Betti number one, but cannot bound simply-connected 4-manifolds with second Betti number one. The construction of such 4-manifolds with lens space boundaries is motivated by the study of rational homology projective planes with cyclic quotient singularities.
△ Less
Submitted 12 November, 2024; v1 submitted 30 October, 2024;
originally announced October 2024.
-
On rational homology projective planes with quotient singularities of small indices
Authors:
Woohyeok Jo,
Jongil Park,
Kyungbae Park
Abstract:
In this article, we study the effects of topological and smooth obstructions on the existence of rational homology complex projective planes that admit quotient singularities of small indices. In particular, we provide a classification of the types of quotient singularities that can be realized on rational homology complex projective planes with indices up to three, whose smooth loci have trivial…
▽ More
In this article, we study the effects of topological and smooth obstructions on the existence of rational homology complex projective planes that admit quotient singularities of small indices. In particular, we provide a classification of the types of quotient singularities that can be realized on rational homology complex projective planes with indices up to three, whose smooth loci have trivial first integral homology group.
△ Less
Submitted 30 October, 2024;
originally announced October 2024.
-
A Stein Gradient Descent Approach for Doubly Intractable Distributions
Authors:
Heesang Lee,
Songhee Kim,
Bokgyeong Kang,
Jaewoo Park
Abstract:
Bayesian inference for doubly intractable distributions is challenging because they include intractable terms, which are functions of parameters of interest. Although several alternatives have been developed for such models, they are computationally intensive due to repeated auxiliary variable simulations. We propose a novel Monte Carlo Stein variational gradient descent (MC-SVGD) approach for inf…
▽ More
Bayesian inference for doubly intractable distributions is challenging because they include intractable terms, which are functions of parameters of interest. Although several alternatives have been developed for such models, they are computationally intensive due to repeated auxiliary variable simulations. We propose a novel Monte Carlo Stein variational gradient descent (MC-SVGD) approach for inference for doubly intractable distributions. Through an efficient gradient approximation, our MC-SVGD approach rapidly transforms an arbitrary reference distribution to approximate the posterior distribution of interest, without necessitating any predefined variational distribution class for the posterior. Such a transport map is obtained by minimizing Kullback-Leibler divergence between the transformed and posterior distributions in a reproducing kernel Hilbert space (RKHS). We also investigate the convergence rate of the proposed method. We illustrate the application of the method to challenging examples, including a Potts model, an exponential random graph model, and a Conway--Maxwell--Poisson regression model. The proposed method achieves substantial computational gains over existing algorithms, while providing comparable inferential performance for the posterior distributions.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
General linear hypothesis testing of high-dimensional mean vectors with unequal covariance matrices based on random integration
Authors:
Mingxiang Cao,
Yelong Qiu,
Junyong Park
Abstract:
This paper is devoted to the study of the general linear hypothesis testing (GLHT) problem of multi-sample high-dimensional mean vectors. For the GLHT problem, we introduce a test statistic based on $L^2$-norm and random integration method, and deduce the asymptotic distribution of the statistic under given conditions. Finally, the potential advantages of our test statistics are verified by numeri…
▽ More
This paper is devoted to the study of the general linear hypothesis testing (GLHT) problem of multi-sample high-dimensional mean vectors. For the GLHT problem, we introduce a test statistic based on $L^2$-norm and random integration method, and deduce the asymptotic distribution of the statistic under given conditions. Finally, the potential advantages of our test statistics are verified by numerical simulation studies and examples.
△ Less
Submitted 20 October, 2024; v1 submitted 17 October, 2024;
originally announced October 2024.
-
Monotonicity formulas and Hessian of the Green function
Authors:
Jiewon Park
Abstract:
Based on an assumption on the Hessian of the Green function, we derive some monotonicity formulas on nonparabolic manifolds. This assumption is satisfied on manifolds that meet certain conditions including bounds on the sectional curvature and covariant derivative of the Ricci curvature, as shown in the author's previous work \cite{P}. We also give explicit examples of warped product manifolds on…
▽ More
Based on an assumption on the Hessian of the Green function, we derive some monotonicity formulas on nonparabolic manifolds. This assumption is satisfied on manifolds that meet certain conditions including bounds on the sectional curvature and covariant derivative of the Ricci curvature, as shown in the author's previous work \cite{P}. We also give explicit examples of warped product manifolds on which this assumption holds.
△ Less
Submitted 2 October, 2024;
originally announced October 2024.
-
Quantitative rank distribution conjecture over $\mathbb{F}_q(t)$
Authors:
Jun-Yong Park
Abstract:
We combine the exact counting of all elliptic curves over $K = \mathbb{F}_q(t)$ with $\mathrm{char}(K) > 3$ by Bejleri, Satriano and the author, together with the torsion-free nature of most elliptic curves over global function fields proven by Phillips, and the overarching conjecture of Goldfeld and Katz-Sarnak regarding the ``Distribution of Ranks of Elliptic Curves''. Consequently, we arrive at…
▽ More
We combine the exact counting of all elliptic curves over $K = \mathbb{F}_q(t)$ with $\mathrm{char}(K) > 3$ by Bejleri, Satriano and the author, together with the torsion-free nature of most elliptic curves over global function fields proven by Phillips, and the overarching conjecture of Goldfeld and Katz-Sarnak regarding the ``Distribution of Ranks of Elliptic Curves''. Consequently, we arrive at the quantitative statement which naturally renders even finer conjecture regarding the lower order main terms differing for the number of $E/K$ with $|E(K)| = 1$ and $E(K) = \mathbb{Z}$.
△ Less
Submitted 23 September, 2024;
originally announced September 2024.
-
Weakly Einstein hypersurfaces in space forms
Authors:
Jihun Kim,
Yuri Nikolayevsky,
JeongHyeong Park
Abstract:
A Riemannian manifold $(M,g)$ is called \emph{weakly Einstein} if the tensor $R_{iabc}R_{j}^{~~abc}$ is a scalar multiple of the metric tensor $g_{ij}$. We give a complete classification of weakly Einstein hypersurfaces in the spaces of nonzero constant curvature (the classification in a Euclidean space has been previously known). The main result states that such a hypersurface can only be the pro…
▽ More
A Riemannian manifold $(M,g)$ is called \emph{weakly Einstein} if the tensor $R_{iabc}R_{j}^{~~abc}$ is a scalar multiple of the metric tensor $g_{ij}$. We give a complete classification of weakly Einstein hypersurfaces in the spaces of nonzero constant curvature (the classification in a Euclidean space has been previously known). The main result states that such a hypersurface can only be the product of two spaces of constant curvature or a rotation hypersurface.
△ Less
Submitted 17 December, 2024; v1 submitted 19 September, 2024;
originally announced September 2024.
-
Exotic Dehn twists and homotopy coherent group actions
Authors:
Sungkyung Kang,
JungHwan Park,
Masaki Taniguchi
Abstract:
We consider the question of extending a smooth homotopy coherent finite cyclic group action on the boundary of a smooth 4-manifold to its interior. As a result, we prove that Dehn twists along any Seifert homology sphere, except the 3-sphere, on their simply connected positive-definite fillings are infinite order exotic.
We consider the question of extending a smooth homotopy coherent finite cyclic group action on the boundary of a smooth 4-manifold to its interior. As a result, we prove that Dehn twists along any Seifert homology sphere, except the 3-sphere, on their simply connected positive-definite fillings are infinite order exotic.
△ Less
Submitted 26 September, 2024; v1 submitted 18 September, 2024;
originally announced September 2024.
-
Factor system for graphs and combinatorial HHS
Authors:
Jihoon Park
Abstract:
We relaxe the constraint on the domains of combinatorial HHS machinery so combinatorial HHS machinery works for most cubical curve graphs. As an application we extend the factor system machinery of the CAT(0) cube complex to the quasi-median graphs.
We relaxe the constraint on the domains of combinatorial HHS machinery so combinatorial HHS machinery works for most cubical curve graphs. As an application we extend the factor system machinery of the CAT(0) cube complex to the quasi-median graphs.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Multilinear estimates for maximal rough singular integrals
Authors:
Bae Jun Park
Abstract:
In this work, we establish $L^{p_1}\times \cdots\times L^{p_m}\to L^p$ bounds for maximal multi-(sub)linear singular integrals associated with homogeneous kernels $\frac{Ω(\vec{\boldsymbol{y}}')}{|\vec{\boldsymbol{y}}|^{mn}}$
where $Ω$ is an $L^q$ function on the unit sphere $\mathbb{S}^{mn-1}$ with vanishing moment condition and $q>1$.
As an application, we obtain almost everywhere convergenc…
▽ More
In this work, we establish $L^{p_1}\times \cdots\times L^{p_m}\to L^p$ bounds for maximal multi-(sub)linear singular integrals associated with homogeneous kernels $\frac{Ω(\vec{\boldsymbol{y}}')}{|\vec{\boldsymbol{y}}|^{mn}}$
where $Ω$ is an $L^q$ function on the unit sphere $\mathbb{S}^{mn-1}$ with vanishing moment condition and $q>1$.
As an application, we obtain almost everywhere convergence results for the associated doubly truncated multilinear singular integrals.
△ Less
Submitted 17 March, 2025; v1 submitted 31 August, 2024;
originally announced September 2024.
-
Lipschitz functions on weak expanders
Authors:
Robert A. Krueger,
Lina Li,
Jinyoung Park
Abstract:
Given a connected finite graph $G$, an integer-valued function $f$ on $V(G)$ is called $M$-Lipschitz if the value of $f$ changes by at most $M$ along the edges of $G$. In 2013, Peled, Samotij, and Yehudayoff showed that random $M$-Lipschitz functions on graphs with sufficiently good expansion typically exhibit small fluctuations, giving sharp bounds on the typical range of such functions, assuming…
▽ More
Given a connected finite graph $G$, an integer-valued function $f$ on $V(G)$ is called $M$-Lipschitz if the value of $f$ changes by at most $M$ along the edges of $G$. In 2013, Peled, Samotij, and Yehudayoff showed that random $M$-Lipschitz functions on graphs with sufficiently good expansion typically exhibit small fluctuations, giving sharp bounds on the typical range of such functions, assuming $M$ is not too large. We prove that the same conclusion holds under a relaxed expansion condition and for larger $M$, (partially) answering questions of Peled et al. Our techniques involve a combination of Sapozhenko's graph container methods and entropy methods from information theory.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Robust Confidence Bands for Stochastic Processes Using Simulation
Authors:
Timothy Chan,
Jangwon Park,
Vahid Sarhangian
Abstract:
We propose a robust optimization approach for constructing confidence bands for stochastic processes using a finite number of simulated sample paths. Our approach can be used to quantify uncertainty in realizations of stochastic processes or validate stochastic simulation models by checking whether historical paths from the actual system fall within the constructed confidence band. Unlike existing…
▽ More
We propose a robust optimization approach for constructing confidence bands for stochastic processes using a finite number of simulated sample paths. Our approach can be used to quantify uncertainty in realizations of stochastic processes or validate stochastic simulation models by checking whether historical paths from the actual system fall within the constructed confidence band. Unlike existing approaches in the literature, our methodology is widely applicable and directly addresses optimization bias within the constraints, producing tight confidence bands with accurate coverage probabilities. It is tractable, being only slightly more complex than the state-of-the-art baseline approach, and easy to use, as it employs standard techniques. Additionally, our approach is also applicable to continuous-time processes after appropriately discretizing time. In our first case study, we show that our approach achieves the desired coverage probabilities with an order-of-magnitude fewer sample paths than the state-of-the-art baseline approach. In our second case study, we illustrate how our approach can be used to validate stochastic simulation models.
△ Less
Submitted 23 August, 2024;
originally announced August 2024.
-
Bounding adapted Wasserstein metrics
Authors:
Jose Blanchet,
Martin Larsson,
Jonghwa Park,
Johannes Wiesel
Abstract:
The Wasserstein distance $\mathcal{W}_p$ is an important instance of an optimal transport cost. Its numerous mathematical properties as well as applications to various fields such as mathematical finance and statistics have been well studied in recent years. The adapted Wasserstein distance $\mathcal{A}\mathcal{W}_p$ extends this theory to laws of discrete time stochastic processes in their natura…
▽ More
The Wasserstein distance $\mathcal{W}_p$ is an important instance of an optimal transport cost. Its numerous mathematical properties as well as applications to various fields such as mathematical finance and statistics have been well studied in recent years. The adapted Wasserstein distance $\mathcal{A}\mathcal{W}_p$ extends this theory to laws of discrete time stochastic processes in their natural filtrations, making it particularly well suited for analyzing time-dependent stochastic optimization problems.
While the topological differences between $\mathcal{A}\mathcal{W}_p$ and $\mathcal{W}_p$ are well understood, their differences as metrics remain largely unexplored beyond the trivial bound $\mathcal{W}_p\lesssim \mathcal{A}\mathcal{W}_p$. This paper closes this gap by providing upper bounds of $\mathcal{A}\mathcal{W}_p$ in terms of $\mathcal{W}_p$ through investigation of the smooth adapted Wasserstein distance. Our upper bounds are explicit and are given by a sum of $\mathcal{W}_p$, Eder's modulus of continuity and a term characterizing the tail behavior of measures. As a consequence, upper bounds on $\mathcal{W}_p$ automatically hold for $\mathcal{AW}_p$ under mild regularity assumptions on the measures considered. A particular instance of our findings is the inequality $\mathcal{A}\mathcal{W}_1\le C\sqrt{\mathcal{W}_1}$ on the set of measures that have Lipschitz kernels.
Our work also reveals how smoothing of measures affects the adapted weak topology. In fact, we find that the topology induced by the smooth adapted Wasserstein distance exhibits a non-trivial interpolation property, which we characterize explicitly: it lies in between the adapted weak topology and the weak topology, and the inclusion is governed by the decay of the smoothing parameter.
△ Less
Submitted 31 July, 2024;
originally announced July 2024.
-
Higher order obstructions to Riccati-type equations
Authors:
Jihun Kim,
Paul-Andi Nagy,
JeongHyeong Park
Abstract:
We develop new techniques in order to deal with Riccati-type equations, subject to a further algebraic constraint, on Riemannian manifolds $(M^3,g)$. We find that the obstruction to solve the aforementioned equation has order $4$ in the metric coefficients and is fully described by an homogeneous polynomial in $\mathrm{Sym}^{16}TM$. Techniques from real algebraic geometry, reminiscent of those use…
▽ More
We develop new techniques in order to deal with Riccati-type equations, subject to a further algebraic constraint, on Riemannian manifolds $(M^3,g)$. We find that the obstruction to solve the aforementioned equation has order $4$ in the metric coefficients and is fully described by an homogeneous polynomial in $\mathrm{Sym}^{16}TM$. Techniques from real algebraic geometry, reminiscent of those used for the "PositiveStellen-Satz " problem, allow determining the geometry in terms of explicit exterior differential systems. Analysis of the latter shows flatness for the metric $g$; in particular we complete the classification of asymptotically harmonic manifolds of dimension $3$, establishing those are either flat or real hyperbolic spaces.
△ Less
Submitted 5 August, 2024; v1 submitted 23 July, 2024;
originally announced July 2024.
-
A survey on embeddings of 3-manifolds in definite 4-manifolds
Authors:
Paolo Aceto,
Duncan McCoy,
JungHwan Park
Abstract:
This article presents a survey on the topic of embedding 3-manifolds in definite 4-manifolds, emphasizing the latest progress in the field. We will focus on the significant role played by Donaldson's diagonalization theorem and the combinatorics of integral lattices in understanding these embeddings. Additionally, the article introduces a new result concerning the embedding of amphichiral lens spa…
▽ More
This article presents a survey on the topic of embedding 3-manifolds in definite 4-manifolds, emphasizing the latest progress in the field. We will focus on the significant role played by Donaldson's diagonalization theorem and the combinatorics of integral lattices in understanding these embeddings. Additionally, the article introduces a new result concerning the embedding of amphichiral lens spaces in negative-definite manifolds.
△ Less
Submitted 4 November, 2024; v1 submitted 4 July, 2024;
originally announced July 2024.
-
DiffusionPDE: Generative PDE-Solving Under Partial Observation
Authors:
Jiahe Huang,
Guandao Yang,
Zichen Wang,
Jeong Joon Park
Abstract:
We introduce a general framework for solving partial differential equations (PDEs) using generative diffusion models. In particular, we focus on the scenarios where we do not have the full knowledge of the scene necessary to apply classical solvers. Most existing forward or inverse PDE approaches perform poorly when the observations on the data or the underlying coefficients are incomplete, which…
▽ More
We introduce a general framework for solving partial differential equations (PDEs) using generative diffusion models. In particular, we focus on the scenarios where we do not have the full knowledge of the scene necessary to apply classical solvers. Most existing forward or inverse PDE approaches perform poorly when the observations on the data or the underlying coefficients are incomplete, which is a common assumption for real-world measurements. In this work, we propose DiffusionPDE that can simultaneously fill in the missing information and solve a PDE by modeling the joint distribution of the solution and coefficient spaces. We show that the learned generative priors lead to a versatile framework for accurately solving a wide range of PDEs under partial observation, significantly outperforming the state-of-the-art methods for both forward and inverse directions.
△ Less
Submitted 31 October, 2024; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Infinite-Horizon Reinforcement Learning with Multinomial Logistic Function Approximation
Authors:
Jaehyun Park,
Junyeop Kwon,
Dabeen Lee
Abstract:
We study model-based reinforcement learning with non-linear function approximation where the transition function of the underlying Markov decision process (MDP) is given by a multinomial logistic (MNL) model. We develop a provably efficient discounted value iteration-based algorithm that works for both infinite-horizon average-reward and discounted-reward settings. For average-reward communicating…
▽ More
We study model-based reinforcement learning with non-linear function approximation where the transition function of the underlying Markov decision process (MDP) is given by a multinomial logistic (MNL) model. We develop a provably efficient discounted value iteration-based algorithm that works for both infinite-horizon average-reward and discounted-reward settings. For average-reward communicating MDPs, the algorithm guarantees a regret upper bound of $\tilde{\mathcal{O}}(dD\sqrt{T})$ where $d$ is the dimension of feature mapping, $D$ is the diameter of the underlying MDP, and $T$ is the horizon. For discounted-reward MDPs, our algorithm achieves $\tilde{\mathcal{O}}(d(1-γ)^{-2}\sqrt{T})$ regret where $γ$ is the discount factor. Then we complement these upper bounds by providing several regret lower bounds. We prove a lower bound of $Ω(d\sqrt{DT})$ for learning communicating MDPs of diameter $D$ and a lower bound of $Ω(d(1-γ)^{3/2}\sqrt{T})$ for learning discounted-reward MDPs with discount factor $γ$. Lastly, we show a regret lower bound of $Ω(dH^{3/2}\sqrt{K})$ for learning $H$-horizon episodic MDPs with MNL function approximation where $K$ is the number of episodes, which improves upon the best-known lower bound for the finite-horizon setting.
△ Less
Submitted 13 October, 2024; v1 submitted 19 June, 2024;
originally announced June 2024.
-
Products, Abstractions and Inclusions of Causal Spaces
Authors:
Simon Buchholz,
Junhyung Park,
Bernhard Schölkopf
Abstract:
Causal spaces have recently been introduced as a measure-theoretic framework to encode the notion of causality. While it has some advantages over established frameworks, such as structural causal models, the theory is so far only developed for single causal spaces. In many mathematical theories, not least the theory of probability spaces of which causal spaces are a direct extension, combinations…
▽ More
Causal spaces have recently been introduced as a measure-theoretic framework to encode the notion of causality. While it has some advantages over established frameworks, such as structural causal models, the theory is so far only developed for single causal spaces. In many mathematical theories, not least the theory of probability spaces of which causal spaces are a direct extension, combinations of objects and maps between objects form a central part. In this paper, taking inspiration from such objects in probability theory, we propose the definitions of products of causal spaces, as well as (stochastic) transformations between causal spaces. In the context of causality, these quantities can be given direct semantic interpretations as causally independent components, abstractions and extensions.
△ Less
Submitted 6 June, 2024; v1 submitted 1 June, 2024;
originally announced June 2024.
