-
Melting and freezing rates of the radial interior Stefan problem in two dimension
Authors:
Jeongheon Park
Abstract:
We consider the interior Stefan problem under radial symmetry in two dimension. A water ball surrounded by ice undergoes melting or freezing. We construct a discrete family of global-in-time solutions, both melting and freezing scenarios. The evolution of the free boundary, represented by the radius of the water ball, $λ(t)$ exhibits exponential convergence to a limiting radius value…
▽ More
We consider the interior Stefan problem under radial symmetry in two dimension. A water ball surrounded by ice undergoes melting or freezing. We construct a discrete family of global-in-time solutions, both melting and freezing scenarios. The evolution of the free boundary, represented by the radius of the water ball, $λ(t)$ exhibits exponential convergence to a limiting radius value $λ_\infty > 0$, characterized by the asymptotic expression \[ λ(t) = λ_\infty + (1 - λ_\infty)\, e^{-\frac{λ_k}{λ_\infty^2} t + o_{t \to \infty}(1)}, \] where $λ_k$ stands for the $k$-th Dirichlet eigenvalue of the Laplacian on the unit disk for any $k\in \mathbb{N}$. Our approach draws inspiration from the research conducted by Hadžić and Raphaël [24] concerning the exterior radial Stefan problem, which involves an ice ball is surrounded by water. In contrast, the bounded geometry in our setting leads to scenario results in a non-degenerate spectrum, leading to distinctly different long-term behavior. These solutions for each $k$ remain stable under perturbations of co-dimension $k - 1$.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Quantitative Rigidity Using Colding's Monotonicity Formulas for Ricci Curvature
Authors:
Christine Breiner,
Jiewon Park
Abstract:
In \cite{Colding}, Colding proved monotonicity formulas for the Green function on manifolds with nonnegative Ricci curvature. Inspired by the sharp estimates relating the pinching of monotone quantities to the splitting function in \cite{cjn}, in this paper we investigate quantitative control obtained from pinching of Colding's monotone functionals. From the Green functions with poles at $(k+1)$-m…
▽ More
In \cite{Colding}, Colding proved monotonicity formulas for the Green function on manifolds with nonnegative Ricci curvature. Inspired by the sharp estimates relating the pinching of monotone quantities to the splitting function in \cite{cjn}, in this paper we investigate quantitative control obtained from pinching of Colding's monotone functionals. From the Green functions with poles at $(k+1)$-many independent points, $k$-splitting functions are constructed with regularity quantitatively controlled by the pinching. Moreover, the pinching at these independent points controls the distance to the nearest cone of the form $\mathbb{R}^k \times C(X)$.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Acceleration via silver step-size on Riemannian manifolds with applications to Wasserstein space
Authors:
Jiyoung Park,
Abhishek Roy,
Jonathan W. Siegel,
Anirban Bhattacharya
Abstract:
There is extensive literature on accelerating first-order optimization methods in a Euclidean setting. Under which conditions such acceleration is feasible in Riemannian optimization problems is an active area of research. Motivated by the recent success of varying step-size methods in the Euclidean setting, we undertake a study of such algorithms in the Riemannian setting. We show that varying st…
▽ More
There is extensive literature on accelerating first-order optimization methods in a Euclidean setting. Under which conditions such acceleration is feasible in Riemannian optimization problems is an active area of research. Motivated by the recent success of varying step-size methods in the Euclidean setting, we undertake a study of such algorithms in the Riemannian setting. We show that varying step-size acceleration can be achieved in non-negatively curved Riemannian manifolds under geodesic smoothness and generalized geodesic convexity, a new notion of convexity that we introduce to aid our analysis. As a core application, we show that our method provides the first theoretically guaranteed accelerated optimization method in Wasserstein spaces. In addition, we numerically validate our method's applicability to other problems, such as optimization problems on the sphere.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
An improved bound for strongly regular graphs with smallest eigenvalue $-m$
Authors:
Jack Koolen,
Chenhui Lv,
Greg Markowsky,
Jongyook Park
Abstract:
In 1979, Neumaier gave a bound on $λ$ in terms of $m$ and $μ$, where $-m$ is the smallest eigenvalue of a primitive strongly regular graph, unless the graph in question belongs to one of the two infinite families of strongly regular graphs. We improve this result. We also indicate how our methods can be used to give an alternate derivation of Bruck's Completion Theorem for orthogonal arrays.
In 1979, Neumaier gave a bound on $λ$ in terms of $m$ and $μ$, where $-m$ is the smallest eigenvalue of a primitive strongly regular graph, unless the graph in question belongs to one of the two infinite families of strongly regular graphs. We improve this result. We also indicate how our methods can be used to give an alternate derivation of Bruck's Completion Theorem for orthogonal arrays.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
$L^2$-Hodge theory of Hybrid Landau-Ginzburg models of Calabi-Yau complete intersections
Authors:
Jeehoon Park,
Jaewon Yoo
Abstract:
Given a Calabi-Yau smooth projective complete intersection variety $V$ over $\C$, a hybrid Landau-Ginzburg (LG) model may be associated using the Cayley trick. This hybrid LG model comprises a non-compact Calabi-Yau manifold $X_{CY}$, and a holomorphic function $W$, defined on $X_{CY}$, such that the critical locus of $W$ is isomorphic to $V$. We construct a complete Kähler metric $\mathfrak{g}$ a…
▽ More
Given a Calabi-Yau smooth projective complete intersection variety $V$ over $\C$, a hybrid Landau-Ginzburg (LG) model may be associated using the Cayley trick. This hybrid LG model comprises a non-compact Calabi-Yau manifold $X_{CY}$, and a holomorphic function $W$, defined on $X_{CY}$, such that the critical locus of $W$ is isomorphic to $V$. We construct a complete Kähler metric $\mathfrak{g}$ and a bounded Calabi-Yau volume form $Ω$ on $X_{CY}$ such that $(X_{CY},\mathfrak{g}, Ω)$ is a bounded Calabi-Yau geometry and the function $W$ is strongly elliptic; this enables us to apply the $L^2$-Hodge theory of Li-Wen [18] to $(X_{CY},\mathfrak{g}, Ω)$ and $W$, which leads to a Frobenius manifold structure on the twisted de Rham cohomology associated to $(X_{CY},W)$. Furthermore, we prove that this twisted de Rham cohomology is isomorphic to the de Rham cohomology $H(V;\C)$, which results in a new $L^2$-Hodge theoretic construction of a Frobenius manifold structure on $H(V;\C)$.
△ Less
Submitted 30 May, 2025;
originally announced May 2025.
-
On properness of moduli stacks of $D^{\times}$-shtukas over ramified legs
Authors:
Yong-Gyu Choi,
Wansu Kim,
Junyeong Park
Abstract:
Given a maximal order $D$ of a central division algebra over a global function field $F$, we prove an explicit sufficient condition for moduli stacks of $D^\times$-shtukas to be proper over a finite field in terms of the local invariants of $D$ and bounds. Our proof is a refinement of E.~Lau's result (Duke Math. J. 140 (2007)), which showed the properness of the leg morphism (or characteristic mor…
▽ More
Given a maximal order $D$ of a central division algebra over a global function field $F$, we prove an explicit sufficient condition for moduli stacks of $D^\times$-shtukas to be proper over a finite field in terms of the local invariants of $D$ and bounds. Our proof is a refinement of E.~Lau's result (Duke Math. J. 140 (2007)), which showed the properness of the leg morphism (or characteristic morphism) away from the ramification locus of $D$. We also establish non-emptiness of Newton and Kottwitz--Rapoport strata for moduli stacks of $B^\times$-shtukas, where $B$ is a maximal order of a central simple algebra over $F$.
△ Less
Submitted 25 May, 2025;
originally announced May 2025.
-
$L^2$-Hodge theoretic construction of Frobenius manifolds for Calabi-Yau smooth projective hypersurfaces
Authors:
Jeehoon Park,
Jaewon Yoo
Abstract:
We provide a new $L^2$-Hodge theoretic construction of a Frobenius manifold structure on the cohomology of a Calabi-Yau smooth projective hypersurface $V$, using Li-Wen's $L^2$-Hodge theory [9] of a Landau-Ginzburg model with compact critical locus $V$. We also give a precise comparison result between the current construction and Barannikov-Kontsevich's construction [2] of the Frobenius manifold s…
▽ More
We provide a new $L^2$-Hodge theoretic construction of a Frobenius manifold structure on the cohomology of a Calabi-Yau smooth projective hypersurface $V$, using Li-Wen's $L^2$-Hodge theory [9] of a Landau-Ginzburg model with compact critical locus $V$. We also give a precise comparison result between the current construction and Barannikov-Kontsevich's construction [2] of the Frobenius manifold structure on the cohomology of $V$.
△ Less
Submitted 23 May, 2025;
originally announced May 2025.
-
Counting quadratic points on Fano varieties
Authors:
Francesca Balestrieri,
Kevin Destagnol,
Julian Lyczak,
Jennifer Park,
Nick Rome
Abstract:
This paper initiates the systematic study of the number of points of bounded height on symmetric squares of weak Fano varieties. We provide a general framework for establishing the point count on $\text{Sym}^2 X$. In the specific case of surfaces, we relate this to the Manin--Peyre conjecture for $\text{Hilb}^2 X$, and prove the conjecture for an infinite family of non-split quadric surfaces. In o…
▽ More
This paper initiates the systematic study of the number of points of bounded height on symmetric squares of weak Fano varieties. We provide a general framework for establishing the point count on $\text{Sym}^2 X$. In the specific case of surfaces, we relate this to the Manin--Peyre conjecture for $\text{Hilb}^2 X$, and prove the conjecture for an infinite family of non-split quadric surfaces. In order to achieve the predicted asymptotic, we show that a type II thin set of a new flavour must be removed.
To establish our counting result for the specific family of surfaces, we generalise existing lattice point counting techniques to lattices defined over rings of integers. This reduces the dimension of the problem and yields improved error terms. Another key tool we develop is a collection of results for summing Euler products over quadratic extensions. We use this to show moments of $L$-functions at $s=1$ are constant on average in quadratic twist families.
△ Less
Submitted 7 June, 2025; v1 submitted 23 May, 2025;
originally announced May 2025.
-
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 our proof a…
▽ 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 18 May, 2025; v1 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 27 May, 2025; v1 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 5 June, 2025; v1 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 23 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,
Youngjoon Hong,
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 unsettled. 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. Further, we establish convergence of the associated numerical discretization schemes for Riemann integrable input functions.
△ Less
Submitted 8 June, 2025; v1 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 17 June, 2025; v1 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.
