-
A survey on embeddings of 3-manifolds in definite 4-manifolds
Authors:
Paolo Aceto,
JungHwan Park,
Duncan McCoy
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 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 25 June, 2024;
originally announced June 2024.
-
Reinforcement Learning for Infinite-Horizon Average-Reward MDPs with Multinomial Logistic Function Approximation
Authors:
Jaehyun Park,
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. In this paper, we develop two algorithms for the infinite-horizon average reward setting. Our first algorithm \texttt{UCRL2-MNL} applies to the class of communicating MDPs and achieves an…
▽ 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. In this paper, we develop two algorithms for the infinite-horizon average reward setting. Our first algorithm \texttt{UCRL2-MNL} applies to the class of communicating MDPs and achieves an $\tilde{\mathcal{O}}(dD\sqrt{T})$ regret, where $d$ is the dimension of feature map**, $D$ is the diameter of the underlying MDP, and $T$ is the horizon. The second algorithm \texttt{OVIFH-MNL} is computationally more efficient and applies to the more general class of weakly communicating MDPs, for which we show a regret guarantee of $\tilde{\mathcal{O}}(d^{2/5} \mathrm{sp}(v^*)T^{4/5})$ where $\mathrm{sp}(v^*)$ is the span of the associated optimal bias function.
We also prove a lower bound of $Ω(d\sqrt{DT})$ for learning communicating MDPs with MNL transitions of diameter at most $D$. Furthermore, 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 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.
-
Syzygies of algebraic varieties through symmetric products of algebraic curves
Authors:
**hyung Park
Abstract:
This is a survey paper on recent work on syzygies of algebraic varieties. We discuss the gonality conjecture on weight-one syzygies of algebraic curves, syzygies of secant varieties of algebraic curves, syzygies of tangent developable surfaces and Green's conjecture on syzygies of canonical curves, and asymptotic syzygies of algebraic varieties. All results considered in this paper were proven usi…
▽ More
This is a survey paper on recent work on syzygies of algebraic varieties. We discuss the gonality conjecture on weight-one syzygies of algebraic curves, syzygies of secant varieties of algebraic curves, syzygies of tangent developable surfaces and Green's conjecture on syzygies of canonical curves, and asymptotic syzygies of algebraic varieties. All results considered in this paper were proven using the geometry of symmetric products of algebraic curves.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Boundary conditions and the two-point function plateau for the hierarchical $|\varphi|^4$ model in dimensions 4 and higher
Authors:
Jiwoon Park,
Gordon Slade
Abstract:
We obtain precise plateau estimates for the two-point function of the finite-volume weakly-coupled hierarchical $|\varphi|^4$ model in dimensions $d \ge 4$, for both free and periodic boundary conditions, and for any number $n \ge 1$ of components of the field $\varphi$. We prove that, within a critical window around their respective effective critical points, the two-point functions for both free…
▽ More
We obtain precise plateau estimates for the two-point function of the finite-volume weakly-coupled hierarchical $|\varphi|^4$ model in dimensions $d \ge 4$, for both free and periodic boundary conditions, and for any number $n \ge 1$ of components of the field $\varphi$. We prove that, within a critical window around their respective effective critical points, the two-point functions for both free and periodic boundary conditions have a plateau, in the sense that they decay as $|x|^{-(d-2)}$ until reaching a constant plateau value of order $V^{-1/2}$ (with a logarithmic correction for $d=4$), where $V$ is size of the finite volume. The two critical windows for free and periodic boundary conditions do not overlap. The dependence of the plateau height on the location within the critical window is governed by an explicit $n$-dependent universal profile which is independent of the dimension. The proof is based on a rigorous renormalisation group method and extends the method used by Michta, Park and Slade (arXiv:2306.00896) to study the finite-volume susceptibility and related quantities. Our results lead to precise conjectures concerning Euclidean (non-hierarchical) models of spin systems and self-avoiding walk in dimensions $d \ge 4$.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Effective gonality theorem on weight-one syzygies of algebraic curves
Authors:
Wenbo Niu,
**hyung Park
Abstract:
In 1986, Green-Lazarsfeld raised the gonality conjecture asserting that the gonality $\operatorname{gon}(C)$ of a smooth projective curve $C$ of genus $g\geq 2$ can be read off from weight-one syzygies of a sufficiently positive line bundle $L$ on $C$, and also proposed possible least degree of such a line bundle. In 2015, Ein-Lazarsfeld proved the conjecture when $\operatorname{deg} L$ is suffici…
▽ More
In 1986, Green-Lazarsfeld raised the gonality conjecture asserting that the gonality $\operatorname{gon}(C)$ of a smooth projective curve $C$ of genus $g\geq 2$ can be read off from weight-one syzygies of a sufficiently positive line bundle $L$ on $C$, and also proposed possible least degree of such a line bundle. In 2015, Ein-Lazarsfeld proved the conjecture when $\operatorname{deg} L$ is sufficiently large, but the effective part of the conjecture remained widely open and was reformulated explicitly by Farkas-Kemeny. In this paper, we establish an effective vanishing theorem for weight-one syzygies, which implies that the gonality conjecture holds if $\operatorname{deg} L \geq 2g+\operatorname{gon}(C)$ or $\operatorname{deg} L = 2g+\operatorname{gon}(C)-1$ and $C$ is not a plane curve. As Castryck observed that the gonality conjecture may not hold for a plane curve when $\operatorname{deg} L = 2g+\operatorname{gon}(C)-1$, our theorem is the best possible and thus gives a complete answer to the gonality conjecture.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Some remarks on smooth projective varieties of small degree and codimension
Authors:
**hyung Park
Abstract:
The purpose of this note is twofold. First, we give a quick proof of Ballico-Chiantini's theorem stating that a Fano or Calabi-Yau variety of dimension at least 4 in codimension two is a complete intersection. Second, we improve Barth-Van de Ven's result asserting that if the degree of a smooth projective variety of dimension $n$ is less than approximately $0.63 \cdot n^{1/2}$, then it is a comple…
▽ More
The purpose of this note is twofold. First, we give a quick proof of Ballico-Chiantini's theorem stating that a Fano or Calabi-Yau variety of dimension at least 4 in codimension two is a complete intersection. Second, we improve Barth-Van de Ven's result asserting that if the degree of a smooth projective variety of dimension $n$ is less than approximately $0.63 \cdot n^{1/2}$, then it is a complete intersection. We show that the degree bound can be improved to approximately $0.79 \cdot n^{2/3}$.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Cables of the figure-eight knot via real Frøyshov invariants
Authors:
Sungkyung Kang,
JungHwan Park,
Masaki Taniguchi
Abstract:
We prove that the $(2n,1)$-cable of the figure-eight knot is not smoothly slice when $n$ is odd, by using the real Seiberg-Witten Frøyshov invariant of Konno-Miyazawa-Taniguchi. For the computation, we develop an $O(2)$-equivariant version of the lattice homotopy type, originally introduced by Dai-Sasahira-Stoffregen. This enables us to compute the real Seiberg-Witten Floer homotopy type for a cer…
▽ More
We prove that the $(2n,1)$-cable of the figure-eight knot is not smoothly slice when $n$ is odd, by using the real Seiberg-Witten Frøyshov invariant of Konno-Miyazawa-Taniguchi. For the computation, we develop an $O(2)$-equivariant version of the lattice homotopy type, originally introduced by Dai-Sasahira-Stoffregen. This enables us to compute the real Seiberg-Witten Floer homotopy type for a certain class of knots. Additionally, we present some computations of Miyazawa's real framed Seiberg-Witten invariant for 2-knots.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Sharp Maximal function estimates for Multilinear pseudo-differential operators of type (0,0)
Authors:
Bae Jun Park,
Naohito Tomita
Abstract:
In this paper, we study sharp maximal function estimates for multilinear pseudo-differential operators. Our target is operators of type (0, 0) for which a differentiation does not make any decay of the associated symbol. Analogous results for operators of type (ρ, ρ), 0 < ρ< 1, appeared in an earlier work of the authors, but a different approach is given for ρ= 0
In this paper, we study sharp maximal function estimates for multilinear pseudo-differential operators. Our target is operators of type (0, 0) for which a differentiation does not make any decay of the associated symbol. Analogous results for operators of type (ρ, ρ), 0 < ρ< 1, appeared in an earlier work of the authors, but a different approach is given for ρ= 0
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Upper tails of subgraph counts in directed random graphs
Authors:
Jiyun Park
Abstract:
The upper tail problem in a sparse Erdős-Rényi graph asks for the probability that the number of copies of some fixed subgraph exceeds its expected value by a constant factor. We study the analogous problem for oriented subgraphs in directed random graphs. By adapting the proof of Cook, Dembo, and Pham, we reduce this upper tail problem to the asymptotic of a certain variational problem over edge…
▽ More
The upper tail problem in a sparse Erdős-Rényi graph asks for the probability that the number of copies of some fixed subgraph exceeds its expected value by a constant factor. We study the analogous problem for oriented subgraphs in directed random graphs. By adapting the proof of Cook, Dembo, and Pham, we reduce this upper tail problem to the asymptotic of a certain variational problem over edge weighted directed graphs. We give upper and lower bounds for the solution to the corresponding variational problem, which differ by a constant factor of at most $2$. We provide a host of subgraphs where the upper and lower bounds coincide, giving the solution to the upper tail problem. Examples of such digraphs include triangles, stars, directed $k$-cycles, and balanced digraphs.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
4-dimensional Space forms as determined by the volumes of small geodesic balls
Authors:
JeongHyeong Park
Abstract:
Gray-Vanhecke conjectured that the volumes of small geodesic balls could determine if the manifold is a space form, and provided a proof for the compact 4-dimensional manifold, and some cases. In this paper, similar results for the 4-dimensional case are obtained, based upon tensor calculus and classical theorems rather than the topological characterizations in [6].
Gray-Vanhecke conjectured that the volumes of small geodesic balls could determine if the manifold is a space form, and provided a proof for the compact 4-dimensional manifold, and some cases. In this paper, similar results for the 4-dimensional case are obtained, based upon tensor calculus and classical theorems rather than the topological characterizations in [6].
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Long time stability and instability in the two-dimensional Boussinesq system with kinematic viscosity
Authors:
Jaemin Park
Abstract:
In this paper, we investigate the long-time behavior of the two-dimensional incompressible Boussinesq system with kinematic viscosity in a periodic channel, focusing on instability and asymptotic stability near hydrostatic equilibria. Firstly, we prove that any hydrostatic equilibrium reveals long-time instability when the initial data are perturbed in Sobolev spaces of low regularity. Secondly, w…
▽ More
In this paper, we investigate the long-time behavior of the two-dimensional incompressible Boussinesq system with kinematic viscosity in a periodic channel, focusing on instability and asymptotic stability near hydrostatic equilibria. Firstly, we prove that any hydrostatic equilibrium reveals long-time instability when the initial data are perturbed in Sobolev spaces of low regularity. Secondly, we establish asymptotic stability of the stratified density, which is strictly decreasing in the vertical direction, under sufficiently regular perturbations, proving that the solution converges to the unique minimizer of the total energy.
Our analysis is based on the energy method. Although the total energy dissipates due to kinematic viscosity, such mechanism cannot capture the stratification of the density. We overcome this difficulty by discovering another Lyapunov functional which exhibits the density stratification in a quantitative manner.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Dynamic Transfer Policies for Parallel Queues
Authors:
Timothy C. Y. Chan,
Jangwon Park,
Vahid Sarhangian
Abstract:
We consider the problem of load balancing in parallel queues by transferring customers between them at discrete points in time. Holding costs accrue as customers wait in the queue, while transfer decisions incur both fixed (setup) and variable costs proportional to the number and direction of transfers. Our work is primarily motivated by inter-facility patient transfers between hospitals during a…
▽ More
We consider the problem of load balancing in parallel queues by transferring customers between them at discrete points in time. Holding costs accrue as customers wait in the queue, while transfer decisions incur both fixed (setup) and variable costs proportional to the number and direction of transfers. Our work is primarily motivated by inter-facility patient transfers between hospitals during a surge in demand for hospitalization (e.g., during a pandemic). By analyzing an associated fluid control problem, we show that under fairly general assumptions including time-varying arrivals and convex increasing holding costs, the optimal policy in each period partitions the state-space into a well-defined $\textit{no-transfer region}$ and its complement, such that transferring is optimal if and only if the system is sufficiently imbalanced. In the absence of fixed transfer costs, an optimal policy moves the state to the no-transfer region's boundary; in contrast, with fixed costs, the state is moved to the no-transfer region's relative interior. We further leverage the fluid control problem to provide insights on the trade-off between holding and transfer costs, emphasizing the importance of preventing excessive idleness when transfers are not feasible in continuous-time. Using simulation experiments, we investigate the performance and robustness of the fluid policy for the stochastic system. In particular, our case study calibrated using data during the pandemic in the Greater Toronto Area demonstrates that transferring patients between hospitals could result in up to 27.7% reduction in total cost with relatively few transfers.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
Two-level overlap** Schwarz preconditioners with universal coarse spaces for $2m$th-order elliptic problems
Authors:
Jongho Park
Abstract:
We propose a novel universal construction of two-level overlap** Schwarz preconditioners for $2m$th-order elliptic boundary value problems, where $m$ is a positive integer. The word "universal" here signifies that the coarse space construction can be applied to any finite element discretization for any $m$ that satisfies some common assumptions. We present numerical results for conforming, nonco…
▽ More
We propose a novel universal construction of two-level overlap** Schwarz preconditioners for $2m$th-order elliptic boundary value problems, where $m$ is a positive integer. The word "universal" here signifies that the coarse space construction can be applied to any finite element discretization for any $m$ that satisfies some common assumptions. We present numerical results for conforming, nonconforming, and discontinuous Galerkin-type finite element discretizations for high-order problems to demonstrate the scalability of the proposed two-level overlap** Schwarz preconditioners.
△ Less
Submitted 8 July, 2024; v1 submitted 27 March, 2024;
originally announced March 2024.
-
Stability analysis of the incompressible porous media equation and the Stokes transport system via energy structure
Authors:
Jaemin Park
Abstract:
In this paper, we revisit asymptotic stability for the two-dimensional incompressible porous media equation and the Stokes transport system in a periodic channel. It is well-known that a stratified density, which strictly decreases in the vertical direction, is asymptotically stable under sufficiently small and smooth perturbations. We provide improvements in the regularity assumptions on the pert…
▽ More
In this paper, we revisit asymptotic stability for the two-dimensional incompressible porous media equation and the Stokes transport system in a periodic channel. It is well-known that a stratified density, which strictly decreases in the vertical direction, is asymptotically stable under sufficiently small and smooth perturbations. We provide improvements in the regularity assumptions on the perturbation and in the convergence rate. Unlike the standard approach for stability analysis relying on linearized equations, we directly address the nonlinear problem by exploiting the energy structure of each system. While it is widely known that the potential energy is a Lyapunov functional in both systems, our key observation is that the second derivative of the potential energy reveals a (degenerate) coercive structure, which arises from the fact that the solution converges to the minimizer of the energy.
△ Less
Submitted 1 April, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
A Comprehensive Review of Latent Space Dynamics Identification Algorithms for Intrusive and Non-Intrusive Reduced-Order-Modeling
Authors:
Christophe Bonneville,
Xiaolong He,
April Tran,
Jun Sur Park,
William Fries,
Daniel A. Messenger,
Siu Wun Cheung,
Yeonjong Shin,
David M. Bortz,
Debojyoti Ghosh,
Jiun-Shyan Chen,
Jonathan Belof,
Youngsoo Choi
Abstract:
Numerical solvers of partial differential equations (PDEs) have been widely employed for simulating physical systems. However, the computational cost remains a major bottleneck in various scientific and engineering applications, which has motivated the development of reduced-order models (ROMs). Recently, machine-learning-based ROMs have gained significant popularity and are promising for addressi…
▽ More
Numerical solvers of partial differential equations (PDEs) have been widely employed for simulating physical systems. However, the computational cost remains a major bottleneck in various scientific and engineering applications, which has motivated the development of reduced-order models (ROMs). Recently, machine-learning-based ROMs have gained significant popularity and are promising for addressing some limitations of traditional ROM methods, especially for advection dominated systems. In this chapter, we focus on a particular framework known as Latent Space Dynamics Identification (LaSDI), which transforms the high-fidelity data, governed by a PDE, to simpler and low-dimensional latent-space data, governed by ordinary differential equations (ODEs). These ODEs can be learned and subsequently interpolated to make ROM predictions. Each building block of LaSDI can be easily modulated depending on the application, which makes the LaSDI framework highly flexible. In particular, we present strategies to enforce the laws of thermodynamics into LaSDI models (tLaSDI), enhance robustness in the presence of noise through the weak form (WLaSDI), select high-fidelity training data efficiently through active learning (gLaSDI, GPLaSDI), and quantify the ROM prediction uncertainty through Gaussian processes (GPLaSDI). We demonstrate the performance of different LaSDI approaches on Burgers equation, a non-linear heat conduction problem, and a plasma physics problem, showing that LaSDI algorithms can achieve relative errors of less than a few percent and up to thousands of times speed-ups.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
tLaSDI: Thermodynamics-informed latent space dynamics identification
Authors:
Jun Sur Richard Park,
Siu Wun Cheung,
Youngsoo Choi,
Yeonjong Shin
Abstract:
We propose a latent space dynamics identification method, namely tLaSDI, that embeds the first and second principles of thermodynamics. The latent variables are learned through an autoencoder as a nonlinear dimension reduction model. The latent dynamics are constructed by a neural network-based model that precisely preserves certain structures for the thermodynamic laws through the GENERIC formali…
▽ More
We propose a latent space dynamics identification method, namely tLaSDI, that embeds the first and second principles of thermodynamics. The latent variables are learned through an autoencoder as a nonlinear dimension reduction model. The latent dynamics are constructed by a neural network-based model that precisely preserves certain structures for the thermodynamic laws through the GENERIC formalism. An abstract error estimate is established, which provides a new loss formulation involving the Jacobian computation of autoencoder. The autoencoder and the latent dynamics are simultaneously trained to minimize the new loss. Computational examples demonstrate the effectiveness of tLaSDI, which exhibits robust generalization ability, even in extrapolation. In addition, an intriguing correlation is empirically observed between a quantity from tLaSDI in the latent space and the behaviors of the full-state solution.
△ Less
Submitted 21 March, 2024; v1 submitted 9 March, 2024;
originally announced March 2024.
-
No anomalous dissipation in two-dimensional incompressible fluids
Authors:
Luigi De Rosa,
Jaemin Park
Abstract:
We prove that any sequence of vanishing viscosity Leray-Hopf solutions to the periodic two-dimensional incompressible Navier-Stokes equations does not display anomalous dissipation if the initial vorticity is a measure with positive singular part. A key step in the proof is the use of the Delort-Majda concentration-compactness argument to exclude formation of atoms in the vorticity measure, which…
▽ More
We prove that any sequence of vanishing viscosity Leray-Hopf solutions to the periodic two-dimensional incompressible Navier-Stokes equations does not display anomalous dissipation if the initial vorticity is a measure with positive singular part. A key step in the proof is the use of the Delort-Majda concentration-compactness argument to exclude formation of atoms in the vorticity measure, which in particular implies that the limiting velocity is an admissible weak solution to Euler. This is the first result proving absence of dissipation in a class of solutions in which the velocity fails to be strongly compact in $L^2$, putting two-dimensional turbulence in sharp contrast with respect to that in three dimensions. Moreover, our proof reveals that the amount of energy dissipation can be bounded by the vorticity measure of a disk of size $\sqrt ν$, matching the two-dimensional Kolmogorov dissipative length scale which is expected to be sharp.
△ Less
Submitted 21 May, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Boundedness criteria for bilinear Fourier multipliers via shifted square function estimates
Authors:
Georgios Dosidis,
Bae Jun Park,
Lenka Slavikova
Abstract:
We prove a sharp criterion for the boundedness of bilinear Fourier multiplier operators associated with symbols obtained by summing all dyadic dilations of a given bounded function $m_0$ compactly supported away from the origin. Our result admits the best possible behavior with respect to a modulation of the function $m_0$ and is intimately connected with optimal bounds for the family of shifted s…
▽ More
We prove a sharp criterion for the boundedness of bilinear Fourier multiplier operators associated with symbols obtained by summing all dyadic dilations of a given bounded function $m_0$ compactly supported away from the origin. Our result admits the best possible behavior with respect to a modulation of the function $m_0$ and is intimately connected with optimal bounds for the family of shifted square functions. As an application, we obtain estimates for bilinear singular integral operators with rough homogeneous kernels whose restriction to the unit sphere belongs to the Orlicz space $L(\log L)^α$. This improves an earlier result of the first and third authors, where such estimates were established for rough kernels belonging to the space $L^q$, $q>1$, on the unit sphere.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Algebraic description of complex conjugation on cohomology of a smooth projective hypersurface
Authors:
Jeehoon Park,
Junyeong Park,
Philsang Yoo
Abstract:
We describe complex conjugation on the primitive middle-dimensional algebraic de Rham cohomology of a smooth projective hypersurface defined over a number field that admits a real embedding. We use Griffiths' description of the cohomology in terms of a Jacobian ring. The resulting description is algebraic up to transcendental factors explicitly given by certain periods.
We describe complex conjugation on the primitive middle-dimensional algebraic de Rham cohomology of a smooth projective hypersurface defined over a number field that admits a real embedding. We use Griffiths' description of the cohomology in terms of a Jacobian ring. The resulting description is algebraic up to transcendental factors explicitly given by certain periods.
△ Less
Submitted 5 April, 2024; v1 submitted 22 February, 2024;
originally announced February 2024.
-
On rational points on classifying stacks and Malle's conjecture
Authors:
Shabnam Akhtari,
Jennifer Park,
Marta Pieropan,
Soumya Sankar
Abstract:
In this expository article, we compare Malle's conjecture on counting number fields of bounded discriminant with recent conjectures of Ellenberg--Satriano--Zureick-Brown and Darda--Yasuda on counting points of bounded height on classifying stacks. We illustrate the comparisons via the classifying stacks $B(\mathbb{Z}/n\mathbb{Z})$ and $B{μ_n}$.
In this expository article, we compare Malle's conjecture on counting number fields of bounded discriminant with recent conjectures of Ellenberg--Satriano--Zureick-Brown and Darda--Yasuda on counting points of bounded height on classifying stacks. We illustrate the comparisons via the classifying stacks $B(\mathbb{Z}/n\mathbb{Z})$ and $B{μ_n}$.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Algebraic Montgomery-Yang problem and smooth obstructions
Authors:
Woohyeok Jo,
Jongil Park,
Kyungbae Park
Abstract:
Let $S$ be a rational homology complex projective plane with quotient singularities. The algebraic Montgomery-Yang problem conjectures that the number of singular points of $S$ is at most three if its smooth locus is simply-connected. In this paper, we leverage results from the study of smooth 4-manifolds, including the Donaldson diagonalization theorem and Heegaard Floer correction terms, to esta…
▽ More
Let $S$ be a rational homology complex projective plane with quotient singularities. The algebraic Montgomery-Yang problem conjectures that the number of singular points of $S$ is at most three if its smooth locus is simply-connected. In this paper, we leverage results from the study of smooth 4-manifolds, including the Donaldson diagonalization theorem and Heegaard Floer correction terms, to establish additional conditions for $S$. As a result, we eliminate the possibility of a rational homology complex projective plane of specific types with four singularities. Moreover, we identify large families encompassing infinitely many types of singularities that satisfy the orbifold BMY inequality, a key property in algebraic geometry, yet are obstructed from being a rational homology complex projective plane due to smooth conditions. Additionally, we discuss computational results related to this problem, offering new insights into the algebraic Montgomery-Yang problem.
△ Less
Submitted 20 February, 2024; v1 submitted 6 February, 2024;
originally announced February 2024.
-
Vector-valued estimates for shifted operators
Authors:
Bae Jun Park
Abstract:
Shifted variants of (dyadic) Hardy-Littlewood maximal function and Stein's square function have played a significant role in the study of many important operators such as Calderon commutators, (bilinear) Hilbert transforms, multilinear multipliers, and multilinear rough singular integrals. Estimates for such shifted operators have a certain logarithmic growth in terms of the shift factor, but the…
▽ More
Shifted variants of (dyadic) Hardy-Littlewood maximal function and Stein's square function have played a significant role in the study of many important operators such as Calderon commutators, (bilinear) Hilbert transforms, multilinear multipliers, and multilinear rough singular integrals. Estimates for such shifted operators have a certain logarithmic growth in terms of the shift factor, but the optimality of the logarithmic growth has not yet been fully resolved. In this article, we provide sharp vector-valued shifted maximal inequality for generalized Peetre's maximal function, from which improved estimates for the above shifted operators follow with optimal logarithmic growths in a new way. We also obtain a vector-valued maximal inequality for the shifted (dyadic) Hardy-Littlewood maximal operator.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
Metrics on permutations with the same peak set
Authors:
Alexander Diaz-Lopez,
Kathryn Haymaker,
Kathryn Keough,
Jeongbin Park,
Edward White
Abstract:
Let $S_n$ be the symmetric group on the set $\{1,2,\ldots,n\}$. Given a permutation $σ=σ_1σ_2 \cdots σ_n \in S_n$, we say it has a peak at index $i$ if $σ_{i-1}<σ_i>σ_{i+1}$. Let $\text{Peak}(σ)$ be the set of all peaks of $σ$ and define $P(S;n)=\{σ\in S_n\, | \,\text{Peak}(σ)=S\}$. In this paper we study the Hamming metric, $\ell_\infty$-metric, and Kendall-Tau metric on the sets $P(S;n)$ for all…
▽ More
Let $S_n$ be the symmetric group on the set $\{1,2,\ldots,n\}$. Given a permutation $σ=σ_1σ_2 \cdots σ_n \in S_n$, we say it has a peak at index $i$ if $σ_{i-1}<σ_i>σ_{i+1}$. Let $\text{Peak}(σ)$ be the set of all peaks of $σ$ and define $P(S;n)=\{σ\in S_n\, | \,\text{Peak}(σ)=S\}$. In this paper we study the Hamming metric, $\ell_\infty$-metric, and Kendall-Tau metric on the sets $P(S;n)$ for all possible $S$, and determine the minimum and maximum possible values that these metrics can attain in these subsets of $S_n$.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
A Galton-Watson tree approach to local limits of permutations avoiding a pattern of length three
Authors:
Jungeun Park,
Douglas Rizzolo
Abstract:
We use local limits of Galton-Watson trees to establish local limit theorems for permutations conditioned to avoid a pattern of length three. In the case of 321-avoiding permutations our results resolve an open problem of Pinsky. In the other cases our results give new descriptions of the limiting objects in terms of size-biased Galton-Watson trees.
We use local limits of Galton-Watson trees to establish local limit theorems for permutations conditioned to avoid a pattern of length three. In the case of 321-avoiding permutations our results resolve an open problem of Pinsky. In the other cases our results give new descriptions of the limiting objects in terms of size-biased Galton-Watson trees.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
Twisted de Rham complex for toric Calabi-Yau complete intersections and flat $F$-manifold structures
Authors:
Jeehoon Park,
Junyeong Park
Abstract:
We describe the primitive middle-dimensional cohomology $\mathbb{H}$ of a compact simplicial toric complete intersection variety in terms of a twisted de Rham complex. Then this enables us to construct a concrete algorithm of formal flat $F$-manifold structures on $\mathbb{H}$ in the Calabi-Yau case by using the techniques of \cite{Park23}, which turn the twisted de Rham complex into a quantizatio…
▽ More
We describe the primitive middle-dimensional cohomology $\mathbb{H}$ of a compact simplicial toric complete intersection variety in terms of a twisted de Rham complex. Then this enables us to construct a concrete algorithm of formal flat $F$-manifold structures on $\mathbb{H}$ in the Calabi-Yau case by using the techniques of \cite{Park23}, which turn the twisted de Rham complex into a quantization dGBV (differential Gerstenhaber-Batalin-Vilkovisky) algebra and seek for an algorithmic solution to an associated \textit{weak primitive form.}
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Entanglement entropies in the abelian arithmetic Chern-Simons theory
Authors:
Hee-Joong Chung,
Dohyeong Kim,
Minhyong Kim,
Jeehoon Park,
Hwajong Yoo
Abstract:
The notion of {\em entanglement entropy} in quantum mechanical systems is an important quantity, which measures how much a physical state is entangled in a composite system. Mathematically, it measures how much the state vector is not decomposable as elements in the tensor product of two Hilbert spaces. In this paper, we seek its arithmetic avatar: the theory of arithmetic Chern-Simons theory with…
▽ More
The notion of {\em entanglement entropy} in quantum mechanical systems is an important quantity, which measures how much a physical state is entangled in a composite system. Mathematically, it measures how much the state vector is not decomposable as elements in the tensor product of two Hilbert spaces. In this paper, we seek its arithmetic avatar: the theory of arithmetic Chern-Simons theory with finite gauge group $G$ naturally associates a state vector inside the product of two quantum Hilbert spaces and we provide a formula for the {\em von Neumann entanglement entropy} of such state vector when $G$ is a cyclic group of prime order.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
PhysRFANet: Physics-Guided Neural Network for Real-Time Prediction of Thermal Effect During Radiofrequency Ablation Treatment
Authors:
Minwoo Shin,
Minjee Seo,
Seonaeng Cho,
Juil Park,
Joon Ho Kwon,
Deukhee Lee,
Kyungho Yoon
Abstract:
Radiofrequency ablation (RFA) is a widely used minimally invasive technique for ablating solid tumors. Achieving precise personalized treatment necessitates feedback information on in situ thermal effects induced by the RFA procedure. While computer simulation facilitates the prediction of electrical and thermal phenomena associated with RFA, its practical implementation in clinical settings is hi…
▽ More
Radiofrequency ablation (RFA) is a widely used minimally invasive technique for ablating solid tumors. Achieving precise personalized treatment necessitates feedback information on in situ thermal effects induced by the RFA procedure. While computer simulation facilitates the prediction of electrical and thermal phenomena associated with RFA, its practical implementation in clinical settings is hindered by high computational demands. In this paper, we propose a physics-guided neural network model, named PhysRFANet, to enable real-time prediction of thermal effect during RFA treatment. The networks, designed for predicting temperature distribution and the corresponding ablation lesion, were trained using biophysical computational models that integrated electrostatics, bio-heat transfer, and cell necrosis, alongside magnetic resonance (MR) images of breast cancer patients. Validation of the computational model was performed through experiments on ex vivo bovine liver tissue. Our model demonstrated a 96% Dice score in predicting the lesion volume and an RMSE of 0.4854 for temperature distribution when tested with foreseen tumor images. Notably, even with unforeseen images, it achieved a 93% Dice score for the ablation lesion and an RMSE of 0.6783 for temperature distribution. All networks were capable of inferring results within 10 ms. The presented technique, applied to optimize the placement of the electrode for a specific target region, holds significant promise in enhancing the safety and efficacy of RFA treatments.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
The average analytic rank of elliptic curves with prescribed level structure
Authors:
Peter J. Cho,
Keunyoung Jeong,
Junyeong Park
Abstract:
Assuming the Hasse--Weil conjecture and the generalized Riemann hypothesis for the $L$-functions of the elliptic curve, we give an upper bound of the average analytic rank of elliptic curves over the number field with a level structure such that the corresponding compactified moduli stack is representable by the projective line.
Assuming the Hasse--Weil conjecture and the generalized Riemann hypothesis for the $L$-functions of the elliptic curve, we give an upper bound of the average analytic rank of elliptic curves over the number field with a level structure such that the corresponding compactified moduli stack is representable by the projective line.
△ Less
Submitted 2 July, 2024; v1 submitted 10 December, 2023;
originally announced December 2023.
-
BF path integrals for elliptic curves and $p$-adic $L$-functions
Authors:
Jeehoon Park,
Junyeong Park
Abstract:
We prove an arithmetic path integral formula for the inverse $p$-adic absolute values of the $p$-adic $L$-functions of elliptic curves over the rational numbers with good ordinary reduction at an odd prime $p$ based on the Iwasawa main conjecture and Mazur's control theorem. This is an elliptic curve analogue of \cite{CCKKPY}.
We prove an arithmetic path integral formula for the inverse $p$-adic absolute values of the $p$-adic $L$-functions of elliptic curves over the rational numbers with good ordinary reduction at an odd prime $p$ based on the Iwasawa main conjecture and Mazur's control theorem. This is an elliptic curve analogue of \cite{CCKKPY}.
△ Less
Submitted 9 December, 2023;
originally announced December 2023.
-
On weakly Einstein submanifolds in space forms satisfying certain equalities
Authors:
Jihun Kim,
JeongHyeong Park
Abstract:
We classify weakly Einstein submanifolds in space forms that satisfy Chen's equality. We also give a classification of weakly Einstein hypersurfaces in space forms that satisfy the semisymmetric condition. In addition, we discuss some characterizations of weakly Einstein submanifolds in space forms whose normal connection is flat.
We classify weakly Einstein submanifolds in space forms that satisfy Chen's equality. We also give a classification of weakly Einstein hypersurfaces in space forms that satisfy the semisymmetric condition. In addition, we discuss some characterizations of weakly Einstein submanifolds in space forms whose normal connection is flat.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Modular Symbols with Values in Beilinson-Kato Distributions
Authors:
Cecilia Busuioc,
Jeehoon Park,
Owen Patashnick,
Glenn Stevens
Abstract:
For each integer $n\geq 1$, we construct a $\operatorname{GL}_n(\mathbb Q)$-invariant modular symbol $\bmξ_n$ with coefficients in a space of distributions that takes values in the Milnor $K_n$-group of the modular function field.
The Siegel distribution $\bmμ$ on $\mathbb Q^2$, with values in the modular function field, serves as the building block for $\bmξ_n$; we define $\bmξ_n$ essentially b…
▽ More
For each integer $n\geq 1$, we construct a $\operatorname{GL}_n(\mathbb Q)$-invariant modular symbol $\bmξ_n$ with coefficients in a space of distributions that takes values in the Milnor $K_n$-group of the modular function field.
The Siegel distribution $\bmμ$ on $\mathbb Q^2$, with values in the modular function field, serves as the building block for $\bmξ_n$; we define $\bmξ_n$ essentially by taking the $n$-Steinberg product of $\bmμ$.
The most non-trivial part of this construction is the cocycle property of $\bmξ_n$; we prove it by using an induction on $n$ based on the first two cases $\bmξ_1$ and $\bmξ_2$; the first case is trivial, and the second case essentially follows from the fact that Beilinson-Kato elements in the Milnor $K_2$-group modulo torsion satisfy the Manin relations.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
K-polystability of the first secant varieties of rational normal curves
Authors:
In-Kyun Kim,
**hyung Park,
Joonyeong Won
Abstract:
The first secant variety $Σ$ of a rational normal curve of degree $d \geq 3$ is known to be a $\mathbf{Q}$-Fano threefold. In this paper, we prove that $Σ$ is K-polystable, and hence, $Σ$ admits a weak Kähler-Einstein metric. We also show that there exists a $(-K_Σ)$-polar cylinder in $Σ$.
The first secant variety $Σ$ of a rational normal curve of degree $d \geq 3$ is known to be a $\mathbf{Q}$-Fano threefold. In this paper, we prove that $Σ$ is K-polystable, and hence, $Σ$ admits a weak Kähler-Einstein metric. We also show that there exists a $(-K_Σ)$-polar cylinder in $Σ$.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
A note on rational band moves
Authors:
Daren Chen,
Jennifer Hom,
Min Hoon Kim,
JungHwan Park,
Zhongtao Wu
Abstract:
We introduce an oriented rational band move, a generalization of an ordinary oriented band move, and show that if a knot $K$ in the three-sphere can be made into the $(n+1)$-component unlink by $n$ oriented rational band moves, then $K$ is rationally slice.
We introduce an oriented rational band move, a generalization of an ordinary oriented band move, and show that if a knot $K$ in the three-sphere can be made into the $(n+1)$-component unlink by $n$ oriented rational band moves, then $K$ is rationally slice.
△ Less
Submitted 19 November, 2023;
originally announced November 2023.
-
Strong law of large numbers for the generalized Fréchet means with random minimizing domains
Authors:
Jaesung Park,
Sungkyu Jung
Abstract:
This paper introduces a novel extension of Fréchet means, called \textit{generalized Fréchet means} as a comprehensive framework for characterizing features in probability distributions in general topological spaces. The generalized Fréchet means are defined as minimizers of a suitably defined cost function. The framework encompasses various extensions of Fréchet means in the literature. The most…
▽ More
This paper introduces a novel extension of Fréchet means, called \textit{generalized Fréchet means} as a comprehensive framework for characterizing features in probability distributions in general topological spaces. The generalized Fréchet means are defined as minimizers of a suitably defined cost function. The framework encompasses various extensions of Fréchet means in the literature. The most distinctive difference of the new framework from the previous works is that we allow the domain of minimization of the empirical means be random and different from that of the population means. This expands the applicability of the Fréchet mean framework to diverse statistical scenarios, including dimension reduction for manifold-valued data.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
On simulation-based inference for implicitly defined models
Authors:
Joonha Park
Abstract:
In many applications, a stochastic system is studied using a model implicitly defined via a simulator. We develop a simulation-based parameter inference method for implicitly defined models. Our method differs from traditional likelihood-based inference in that it uses a metamodel for the distribution of a log-likelihood estimator. The metamodel is built on a local asymptotic normality (LAN) prope…
▽ More
In many applications, a stochastic system is studied using a model implicitly defined via a simulator. We develop a simulation-based parameter inference method for implicitly defined models. Our method differs from traditional likelihood-based inference in that it uses a metamodel for the distribution of a log-likelihood estimator. The metamodel is built on a local asymptotic normality (LAN) property satisfied by the simulation-based log-likelihood estimator under certain conditions. A method for hypothesis test is developed under the metamodel. Our method can enable accurate parameter estimation and uncertainty quantification where other Monte Carlo methods for parameter inference become highly inefficient due to large Monte Carlo variance. We demonstrate our method using numerical examples including a mechanistic model for the population dynamics of infectious disease.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Minimum norm interpolation by perceptra: Explicit regularization and implicit bias
Authors:
Jiyoung Park,
Ian Pelakh,
Stephan Wojtowytsch
Abstract:
We investigate how shallow ReLU networks interpolate between known regions. Our analysis shows that empirical risk minimizers converge to a minimum norm interpolant as the number of data points and parameters tends to infinity when a weight decay regularizer is penalized with a coefficient which vanishes at a precise rate as the network width and the number of data points grow. With and without ex…
▽ More
We investigate how shallow ReLU networks interpolate between known regions. Our analysis shows that empirical risk minimizers converge to a minimum norm interpolant as the number of data points and parameters tends to infinity when a weight decay regularizer is penalized with a coefficient which vanishes at a precise rate as the network width and the number of data points grow. With and without explicit regularization, we numerically study the implicit bias of common optimization algorithms towards known minimum norm interpolants.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Doubled Disks and Satellite Surfaces
Authors:
Gary Guth,
Kyle Hayden,
Sungkyung Kang,
JungHwan Park
Abstract:
Conjecturally, a knot is slice if and only if its positive Whitehead double is slice. We consider an analogue of this conjecture for slice disks in the four-ball: two slice disks of a knot are smoothly isotopic if and only if their positive Whitehead doubles are smoothly isotopic. We provide evidence for this conjecture, using a range of techniques. More generally, we consider when isotopy obstruc…
▽ More
Conjecturally, a knot is slice if and only if its positive Whitehead double is slice. We consider an analogue of this conjecture for slice disks in the four-ball: two slice disks of a knot are smoothly isotopic if and only if their positive Whitehead doubles are smoothly isotopic. We provide evidence for this conjecture, using a range of techniques. More generally, we consider when isotopy obstructions persist under satellite operations. In particular, we show that obstructions coming from knot Floer homology, Seiberg-Witten theory, and Khovanov homology often behave well under satellite operations.
We apply these strategies to give a systematic method for constructing vast numbers of exotic disks in the four-ball, including the first infinite family of pairwise exotic slice disks. These same techniques are then upgraded to produce exotic disks that remain exotic after any prescribed number of internal stabilizations. Finally, we show that the branched double covers of certain stably-exotic disks become diffeomorphic after a single stabilization with $S^2 \times S^2$, hence stabilizing them yields exotic surfaces that have diffeomorphic branched covers.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Learning Efficient Surrogate Dynamic Models with Graph Spline Networks
Authors:
Chuanbo Hua,
Federico Berto,
Michael Poli,
Stefano Massaroli,
**kyoo Park
Abstract:
While complex simulations of physical systems have been widely used in engineering and scientific computing, lowering their often prohibitive computational requirements has only recently been tackled by deep learning approaches. In this paper, we present GraphSplineNets, a novel deep-learning method to speed up the forecasting of physical systems by reducing the grid size and number of iteration s…
▽ More
While complex simulations of physical systems have been widely used in engineering and scientific computing, lowering their often prohibitive computational requirements has only recently been tackled by deep learning approaches. In this paper, we present GraphSplineNets, a novel deep-learning method to speed up the forecasting of physical systems by reducing the grid size and number of iteration steps of deep surrogate models. Our method uses two differentiable orthogonal spline collocation methods to efficiently predict response at any location in time and space. Additionally, we introduce an adaptive collocation strategy in space to prioritize sampling from the most important regions. GraphSplineNets improve the accuracy-speedup tradeoff in forecasting various dynamical systems with increasing complexity, including the heat equation, damped wave propagation, Navier-Stokes equations, and real-world ocean currents in both regular and irregular domains.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Sharp maximal function estimates for linear and multilinear pseudo-differential operators
Authors:
Bae Jun Park,
Naohito Tomita
Abstract:
In this paper, we study pointwise estimates for linear and multilinear pseudo-differential operators with exotic symbols in terms of the Fefferman-Stein sharp maximal function and Hardy-Littlewood type maximal function. Especially in the multilinear case, we use a multi-sublinear variant of the classical Hardy-Littlewood maximal function introduced by Lerner, Ombrosi, Pérez, Torres, and Trujillo-G…
▽ More
In this paper, we study pointwise estimates for linear and multilinear pseudo-differential operators with exotic symbols in terms of the Fefferman-Stein sharp maximal function and Hardy-Littlewood type maximal function. Especially in the multilinear case, we use a multi-sublinear variant of the classical Hardy-Littlewood maximal function introduced by Lerner, Ombrosi, Pérez, Torres, and Trujillo-González, which provides more elaborate and natural weighted estimates in the multilinear setting.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
Transfer systems for rank two elementary Abelian groups: characteristic functions and matchstick games
Authors:
Linus Bao,
Christy Hazel,
Tia Karkos,
Alice Kessler,
Austin Nicolas,
Kyle Ormsby,
Jeremie Park,
Cait Schleff,
Scotty Tilton
Abstract:
We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately produc…
▽ More
We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately producing a ``matchstick game'' that puts saturated transfer systems in bijection with certain structured subsets of covering relations. After an interlude develo** a recursion for transfer systems on certain combinations of bounded posets, we apply these results to determine the full lattice of transfer systems for rank two elementary Abelian groups.
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
Balanced Group Convolution: An Improved Group Convolution Based on Approximability Estimates
Authors:
Youngkyu Lee,
Jongho Park,
Chang-Ock Lee
Abstract:
The performance of neural networks has been significantly improved by increasing the number of channels in convolutional layers. However, this increase in performance comes with a higher computational cost, resulting in numerous studies focused on reducing it. One promising approach to address this issue is group convolution, which effectively reduces the computational cost by grou** channels. H…
▽ More
The performance of neural networks has been significantly improved by increasing the number of channels in convolutional layers. However, this increase in performance comes with a higher computational cost, resulting in numerous studies focused on reducing it. One promising approach to address this issue is group convolution, which effectively reduces the computational cost by grou** channels. However, to the best of our knowledge, there has been no theoretical analysis on how well the group convolution approximates the standard convolution. In this paper, we mathematically analyze the approximation of the group convolution to the standard convolution with respect to the number of groups. Furthermore, we propose a novel variant of the group convolution called balanced group convolution, which shows a higher approximation with a small additional computational cost. We provide experimental results that validate our theoretical findings and demonstrate the superior performance of the balanced group convolution over other variants of group convolution.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
A note on an effective bound for the gonality conjecture
Authors:
Alexander Duncan,
Wenbo Niu,
**hyung Park
Abstract:
The gonality conjecture, proved by Ein--Lazarsfeld, asserts that the gonality of a nonsingular projective curve of genus $g$ can be detected from its syzygies in the embedding given by a line bundle of sufficiently large degree. An effective result obtained by Rathmann says that any line bundle of degree at least 4g-3 would work in the gonality theorem. In this note, we improve the degree bound to…
▽ More
The gonality conjecture, proved by Ein--Lazarsfeld, asserts that the gonality of a nonsingular projective curve of genus $g$ can be detected from its syzygies in the embedding given by a line bundle of sufficiently large degree. An effective result obtained by Rathmann says that any line bundle of degree at least 4g-3 would work in the gonality theorem. In this note, we improve the degree bound to 4g-4 with two exceptional cases.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Distribution-Independent Regression for Generalized Linear Models with Oblivious Corruptions
Authors:
Ilias Diakonikolas,
Sushrut Karmalkar,
Jongho Park,
Christos Tzamos
Abstract:
We demonstrate the first algorithms for the problem of regression for generalized linear models (GLMs) in the presence of additive oblivious noise. We assume we have sample access to examples $(x, y)$ where $y$ is a noisy measurement of $g(w^* \cdot x)$. In particular, \new{the noisy labels are of the form} $y = g(w^* \cdot x) + ξ+ ε$, where $ξ$ is the oblivious noise drawn independently of $x$ \n…
▽ More
We demonstrate the first algorithms for the problem of regression for generalized linear models (GLMs) in the presence of additive oblivious noise. We assume we have sample access to examples $(x, y)$ where $y$ is a noisy measurement of $g(w^* \cdot x)$. In particular, \new{the noisy labels are of the form} $y = g(w^* \cdot x) + ξ+ ε$, where $ξ$ is the oblivious noise drawn independently of $x$ \new{and satisfies} $\Pr[ξ= 0] \geq o(1)$, and $ε\sim \mathcal N(0, σ^2)$. Our goal is to accurately recover a \new{parameter vector $w$ such that the} function $g(w \cdot x)$ \new{has} arbitrarily small error when compared to the true values $g(w^* \cdot x)$, rather than the noisy measurements $y$.
We present an algorithm that tackles \new{this} problem in its most general distribution-independent setting, where the solution may not \new{even} be identifiable. \new{Our} algorithm returns \new{an accurate estimate of} the solution if it is identifiable, and otherwise returns a small list of candidates, one of which is close to the true solution. Furthermore, we \new{provide} a necessary and sufficient condition for identifiability, which holds in broad settings. \new{Specifically,} the problem is identifiable when the quantile at which $ξ+ ε= 0$ is known, or when the family of hypotheses does not contain candidates that are nearly equal to a translated $g(w^* \cdot x) + A$ for some real number $A$, while also having large error when compared to $g(w^* \cdot x)$.
This is the first \new{algorithmic} result for GLM regression \new{with oblivious noise} which can handle more than half the samples being arbitrarily corrupted. Prior work focused largely on the setting of linear regression, and gave algorithms under restrictive assumptions.
△ Less
Submitted 27 September, 2023; v1 submitted 20 September, 2023;
originally announced September 2023.
-
Growth of curvature and perimeter of temperature patches in the 2D Boussinesq equations
Authors:
Jaemin Park
Abstract:
In this paper, we construct an example of temperature patch solutions for the two-dimensional, incompressible Boussinesq system with kinematic viscosity such that both the curvature and perimeter grow to infinity over time. The presented example consists of two disjoint, simply connected patches. The rates of growth for both curvature and perimeter in this example are at least algebraic.
In this paper, we construct an example of temperature patch solutions for the two-dimensional, incompressible Boussinesq system with kinematic viscosity such that both the curvature and perimeter grow to infinity over time. The presented example consists of two disjoint, simply connected patches. The rates of growth for both curvature and perimeter in this example are at least algebraic.
△ Less
Submitted 11 March, 2024; v1 submitted 20 September, 2023;
originally announced September 2023.
-
Rank-adaptive covariance changepoint detection for estimating dynamic functional connectivity from fMRI data
Authors:
David Veitch,
Yinqiu He,
Jun Young Park
Abstract:
The analysis of functional connectivity (FC) networks in resting-state functional magnetic resonance imaging (rs-fMRI) has recently evolved to a dynamic FC approach, where the functional networks are presumed to vary throughout a scanning session. Central challenges in dFC analysis involve partitioning rs-fMRI into segments of static FC and achieving high replicability while controlling for false…
▽ More
The analysis of functional connectivity (FC) networks in resting-state functional magnetic resonance imaging (rs-fMRI) has recently evolved to a dynamic FC approach, where the functional networks are presumed to vary throughout a scanning session. Central challenges in dFC analysis involve partitioning rs-fMRI into segments of static FC and achieving high replicability while controlling for false positives. In this work we propose Rank-Adapative Covariance Changepoint detection (RACC), a changepoint detection method to address these challenges. RACC utilizes a binary segmentation procedure with novel test statistics able to detect changes in covariances driven by low-rank latent factors, which are useful for understanding changes occurring within and between functional networks. A permutation scheme is used to address the high dimensionality of the data and to provide false positive control. RACC improves upon existing rs-fMRI changepoint detection methods by explicitly controlling Type 1 error and improving sensitivity in estimating dFC at the whole-brain level. We conducted extensive simulation studies across a variety of data generating scenarios, and applied RACC to a rs-fMRI dataset of subjects with schizophrenia spectrum disorder and healthy controls to highlight our findings.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Asymptotically harmonic manifolds of dimension 3 with minimal horospheres
Authors:
Jihun Kim,
JeongHyeong Park,
Hemangi Madhusudan Shah
Abstract:
In [14], it was shown that, if M is a 3-dimensional asymptotically harmonic with minimal horospheres, then M is flat. However, there is a gap in the proof of this paper. In this paper, we provide the correct proof of the result. Thus we complete the classification of asymptotically harmonic manifolds of dimension 3: An asymptotically harmonic manifold of dimension 3 is either a flat or real hyperb…
▽ More
In [14], it was shown that, if M is a 3-dimensional asymptotically harmonic with minimal horospheres, then M is flat. However, there is a gap in the proof of this paper. In this paper, we provide the correct proof of the result. Thus we complete the classification of asymptotically harmonic manifolds of dimension 3: An asymptotically harmonic manifold of dimension 3 is either a flat or real hyperbolic space.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Additive Schwarz methods for semilinear elliptic problems with convex energy functionals: Convergence rate independent of nonlinearity
Authors:
Jongho Park
Abstract:
We investigate additive Schwarz methods for semilinear elliptic problems with convex energy functionals, which have wide scientific applications. A key observation is that the convergence rates of both one- and two-level additive Schwarz methods have bounds independent of the nonlinear term in the problem. That is, the convergence rates do not deteriorate by the presence of nonlinearity, so that s…
▽ More
We investigate additive Schwarz methods for semilinear elliptic problems with convex energy functionals, which have wide scientific applications. A key observation is that the convergence rates of both one- and two-level additive Schwarz methods have bounds independent of the nonlinear term in the problem. That is, the convergence rates do not deteriorate by the presence of nonlinearity, so that solving a semilinear problem requires no more iterations than a linear problem. Moreover, the two-level method is scalable in the sense that the convergence rate of the method depends on $H/h$ and $H/δ$ only, where $h$ and $H$ are the typical diameters of an element and a subdomain, respectively, and $δ$ measures the overlap among the subdomains. Numerical results are provided to support our theoretical findings.
△ Less
Submitted 31 January, 2024; v1 submitted 19 August, 2023;
originally announced August 2023.
-
Syzygies of secant varieties of smooth projective curves and gonality sequences
Authors:
Junho Choe,
Sijong Kwak,
**hyung Park
Abstract:
The purpose of this paper is to prove that one can read off the gonality sequence of a smooth projective curve from syzygies of secant varieties of the curve embedded by a line bundle of sufficiently large degree. More precisely, together with Ein-Niu-Park's theorem, our main result shows that the gonality sequence of a smooth projective curve completely determines the shape of the minimal free re…
▽ More
The purpose of this paper is to prove that one can read off the gonality sequence of a smooth projective curve from syzygies of secant varieties of the curve embedded by a line bundle of sufficiently large degree. More precisely, together with Ein-Niu-Park's theorem, our main result shows that the gonality sequence of a smooth projective curve completely determines the shape of the minimal free resolutions of secant varieties of the curve of sufficiently large degree. This is a natural generalization of the gonality conjecture on syzygies of smooth projective curves established by Ein-Lazarsfeld and Rathmann to the secant varieties.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
