-
Wall-crossing for K-moduli spaces of certain families of weighted projective hypersurfaces
Authors:
In-Kyun Kim,
Yuchen Liu,
Chengxi Wang
Abstract:
We describe the K-moduli spaces of weighted hypersurfaces of degree $2(n+3)$ in $\mathbb{P}(1,2,n+2,n+3)$. We show that the K-polystable limits of these weighted hypersurfaces are also weighted hypersurfaces of the same degree in the same weighted projective space. This is achieved by an explicit study of the wall crossing for K-moduli spaces $M_w$ of certain log Fano pairs with coefficient $w$ wh…
▽ More
We describe the K-moduli spaces of weighted hypersurfaces of degree $2(n+3)$ in $\mathbb{P}(1,2,n+2,n+3)$. We show that the K-polystable limits of these weighted hypersurfaces are also weighted hypersurfaces of the same degree in the same weighted projective space. This is achieved by an explicit study of the wall crossing for K-moduli spaces $M_w$ of certain log Fano pairs with coefficient $w$ whose double cover gives the weighted hypersurface. Moreover, we show that the wall crossing of $M_w$ coincides with variation of GIT except at the last K-moduli wall which gives a divisorial contraction. Our K-moduli spaces provide new birational models for some natural loci in the moduli space of marked hyperelliptic curves.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Tjurina spectrum and Hertling conjecture
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
We present a proof of a conjecture of Q. Shi, Y. Wang and H. Zuo claiming that the maximal spectral number of a hypersurface isolated singularity does not belong to the Tjurina spectrum. This follows from the self-duality of the Jacobian ring, which is compatible with the action of $f$ and also with the $V$-filtration. We also provide a sufficient condition for the generalized Hertling conjecture…
▽ More
We present a proof of a conjecture of Q. Shi, Y. Wang and H. Zuo claiming that the maximal spectral number of a hypersurface isolated singularity does not belong to the Tjurina spectrum. This follows from the self-duality of the Jacobian ring, which is compatible with the action of $f$ and also with the $V$-filtration. We also provide a sufficient condition for the generalized Hertling conjecture on the variance of Tjurina spectrum to fail, and calculate some examples using some codes in Singular.
△ Less
Submitted 11 June, 2024; v1 submitted 10 June, 2024;
originally announced June 2024.
-
Mean Field Limit for Congestion Dynamics in One Dimension
Authors:
Inwon Kim,
Antoine Mellet,
Jeremy Sheung-Him Wu
Abstract:
This paper addresses congested transport, which can be described, at macroscopic scales, by a continuity equation with a pressure variable generated from the hard-congestion constraint (maximum value of the density). The main goal of the paper is to show that, in one spatial dimension, this continuum PDE can be derived as the mean-field limit of a system of ordinary differential equations that des…
▽ More
This paper addresses congested transport, which can be described, at macroscopic scales, by a continuity equation with a pressure variable generated from the hard-congestion constraint (maximum value of the density). The main goal of the paper is to show that, in one spatial dimension, this continuum PDE can be derived as the mean-field limit of a system of ordinary differential equations that describes the motion of a large number of particles constrained to stay at some finite distance from each others. To show that these two models describe the same dynamics at different scale, we will rely on both the Eulerian and Lagrangian points of view and use two different approximations for the density and pressure variables in the continuum limit.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
An existence and uniqueness result to evolution equations with sign-changing pseudo-differential operators and its applications to logarithmic Laplacian operators and second-order differential operators without ellipticity
Authors:
Jae-Hwan Choi,
Ildoo Kim
Abstract:
We broaden the domain of the Fourier transform to contain all distributions without using the Paley-Wiener theorem and devise a new weak formulation built upon this extension. This formulation is applicable to evolution equations involving pseudo-differential operators, even when the signs of their symbols may vary over time. Notably, our main operator includes the logarithmic Laplacian operator…
▽ More
We broaden the domain of the Fourier transform to contain all distributions without using the Paley-Wiener theorem and devise a new weak formulation built upon this extension. This formulation is applicable to evolution equations involving pseudo-differential operators, even when the signs of their symbols may vary over time. Notably, our main operator includes the logarithmic Laplacian operator $\log (-Δ)$ and a second-order differential operator whose leading coefficients are not positive semi-definite.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
-
Graph Attention Network-based Block Propagation with Optimal AoI and Reputation in Web 3.0
Authors:
Jiana Liao,
**bo Wen,
Jiawen Kang,
Changyan Yi,
Yang Zhang,
Yutao Jiao,
Dusit Niyato,
Dong In Kim,
Shengli Xie
Abstract:
Web 3.0 is recognized as a pioneering paradigm that empowers users to securely oversee data without reliance on a centralized authority. Blockchains, as a core technology to realize Web 3.0, can facilitate decentralized and transparent data management. Nevertheless, the evolution of blockchain-enabled Web 3.0 is still in its nascent phase, grappling with challenges such as ensuring efficiency and…
▽ More
Web 3.0 is recognized as a pioneering paradigm that empowers users to securely oversee data without reliance on a centralized authority. Blockchains, as a core technology to realize Web 3.0, can facilitate decentralized and transparent data management. Nevertheless, the evolution of blockchain-enabled Web 3.0 is still in its nascent phase, grappling with challenges such as ensuring efficiency and reliability to enhance block propagation performance. In this paper, we design a Graph Attention Network (GAT)-based reliable block propagation optimization framework for blockchain-enabled Web 3.0. We first innovatively apply a data-freshness metric called age of block to measure block propagation efficiency in public blockchains. To achieve the reliability of block propagation, we introduce a reputation mechanism based on the subjective logic model, including the local and recommended opinions to calculate the miner reputation value. Moreover, considering that the GAT possesses the excellent ability to process graph-structured data, we utilize the GAT with reinforcement learning to obtain the optimal block propagation trajectory. Numerical results demonstrate that the proposed scheme exhibits the most outstanding block propagation efficiency and reliability compared with traditional routing mechanisms.
△ Less
Submitted 8 May, 2024; v1 submitted 19 March, 2024;
originally announced March 2024.
-
Semi-Supervised U-statistics
Authors:
Ilmun Kim,
Larry Wasserman,
Sivaraman Balakrishnan,
Matey Neykov
Abstract:
Semi-supervised datasets are ubiquitous across diverse domains where obtaining fully labeled data is costly or time-consuming. The prevalence of such datasets has consistently driven the demand for new tools and methods that exploit the potential of unlabeled data. Responding to this demand, we introduce semi-supervised U-statistics enhanced by the abundance of unlabeled data, and investigate thei…
▽ More
Semi-supervised datasets are ubiquitous across diverse domains where obtaining fully labeled data is costly or time-consuming. The prevalence of such datasets has consistently driven the demand for new tools and methods that exploit the potential of unlabeled data. Responding to this demand, we introduce semi-supervised U-statistics enhanced by the abundance of unlabeled data, and investigate their statistical properties. We show that the proposed approach is asymptotically Normal and exhibits notable efficiency gains over classical U-statistics by effectively integrating various powerful prediction tools into the framework. To understand the fundamental difficulty of the problem, we derive minimax lower bounds in semi-supervised settings and showcase that our procedure is semi-parametrically efficient under regularity conditions. Moreover, tailored to bivariate kernels, we propose a refined approach that outperforms the classical U-statistic across all degeneracy regimes, and demonstrate its optimality properties. Simulation studies are conducted to corroborate our findings and to further demonstrate our framework.
△ Less
Submitted 9 March, 2024; v1 submitted 29 February, 2024;
originally announced February 2024.
-
Existence for the Supercooled Stefan Problem in General Dimensions
Authors:
Sunhi Choi,
Inwon C. Kim,
Young-Heon Kim
Abstract:
We prove the global-time existence of weak solutions to the supercooled Stefan problem. Our result holds in general space dimensions and with a general class of initial data. In addition, our solution is maximal in the sense of a certain stochastic order, among all comparable weak solutions starting from the same initial data. Our approach is based on a free target optimization problem for Brownia…
▽ More
We prove the global-time existence of weak solutions to the supercooled Stefan problem. Our result holds in general space dimensions and with a general class of initial data. In addition, our solution is maximal in the sense of a certain stochastic order, among all comparable weak solutions starting from the same initial data. Our approach is based on a free target optimization problem for Brownian stop** times, where the main idea is to introduce a superharmonic cost function in the optimization problem. We will show that our choice of the cost function causes the target measure to accumulate near the prescribed domain boundary as much as possible. A central ingredient in our proof lies in the usage of dual problem: we prove the dual attainment and use the dual optimal solution to characterize the primal optimal solution. It follows in turn that the underlying particle dynamics yields a solution to the supercooled Stefan problem.
△ Less
Submitted 27 March, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
Aggregation-diffusion phenomena: from microscopic models to free boundary problems
Authors:
Inwon Kim,
Antoine Mellet,
Jeremy Sheung-Him Wu
Abstract:
This paper reviews (and expands) some recent results on the modeling of aggregation-diffusion phenomena at various scales, focusing on the emergence of collective dynamics as a result of the competition between attractive and repulsive phenomena - especially (but not exclusively) in the context of attractive chemotaxis phenomena.
At microscopic scales, particles (or other agents) are represented…
▽ More
This paper reviews (and expands) some recent results on the modeling of aggregation-diffusion phenomena at various scales, focusing on the emergence of collective dynamics as a result of the competition between attractive and repulsive phenomena - especially (but not exclusively) in the context of attractive chemotaxis phenomena.
At microscopic scales, particles (or other agents) are represented by spheres of radius $δ>0$ and we discuss both soft-sphere models (with a pressure term penalizing the overlap of the particles) and hard-sphere models (in which overlap is prohibited). The first case leads to so-called ``blob models" which have received some attention recently as a tool to approximate non-linear diffusion by particle systems. The hard-sphere model is similar to a classical model for congested crowd motion. We review well-posedness results for these models and discuss their relationship to classical continuum description of aggregation-diffusion phenomena in the limit $δ\to0$: the classical nonlinear drift diffusion equation and its incompressible counterpart.
In the second part of the paper, we discuss recent results on the emergence and evolution of sharp interfaces when a large population of particles is considered at appropriate space and time scales: At some intermediate time scale, phase separation occurs and a sharp interface appears which evolves according to a Stefan free boundary problem (and the density function eventually relaxes to a characteristic function - metastable steady state for the original problem). At a larger time scale the attractive forces lead to surface tension phenomena and the evolution of the sharp interface can be described by a Hele-Shaw free boundary problem with surface tension. At that same time scale, we will also discuss the emergence of contact angle conditions for problems set in bounded domains.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
Self-dual almost-Kähler four manifolds
Authors:
Inyoung Kim
Abstract:
We classify compact self-dual almost-Kähler four manifolds of positive type and zero type. In particular, using LeBrun's result, we show that any self-dual almost-Kähler metric on a manifold which is diffeomorphic to $\mathbb{CP}_{2}$ is the Fubini-Study metric up to rescaling. In case of negative type, we classify compact self-dual almost-Kähler four manifolds with $J$-invariant Ricci tensor.
We classify compact self-dual almost-Kähler four manifolds of positive type and zero type. In particular, using LeBrun's result, we show that any self-dual almost-Kähler metric on a manifold which is diffeomorphic to $\mathbb{CP}_{2}$ is the Fubini-Study metric up to rescaling. In case of negative type, we classify compact self-dual almost-Kähler four manifolds with $J$-invariant Ricci tensor.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Almost-Kähler four manifolds with nonnegative biorthogonal curvature
Authors:
Inyoung Kim
Abstract:
We classify compact almost-Kähler four manifolds with nonnegative biorthogonal curvature.
We classify compact almost-Kähler four manifolds with nonnegative biorthogonal curvature.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Almost-Kähler four manifolds with harmonic self-dual Weyl curvature
Authors:
Inyoung Kim
Abstract:
We show that a compact almost-Kähler four manifold $(M, g, ω)$ with harmonic self-dual Weyl curvature and constant scalar curvature is Kähler if $c_{1}\cdotω\geq 0$. We also prove an integral curvature inequality for compact almost-Kähler four manifolds with harmonic self-dual Weyl curvature.
We show that a compact almost-Kähler four manifold $(M, g, ω)$ with harmonic self-dual Weyl curvature and constant scalar curvature is Kähler if $c_{1}\cdotω\geq 0$. We also prove an integral curvature inequality for compact almost-Kähler four manifolds with harmonic self-dual Weyl curvature.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
K-unstable singular del Pezzo surfaces without anticanonical polar cylinder
Authors:
In-Kyun Kim,
Jaehyun Kim,
Joonyeong Won
Abstract:
We prove the existence of singular del Pezzo surfaces that are neither K-semistable nor contain any anticanonical polar cylinder.
We prove the existence of singular del Pezzo surfaces that are neither K-semistable nor contain any anticanonical polar cylinder.
△ Less
Submitted 24 June, 2024; v1 submitted 22 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.
-
Differentially Private Permutation Tests: Applications to Kernel Methods
Authors:
Ilmun Kim,
Antonin Schrab
Abstract:
Recent years have witnessed growing concerns about the privacy of sensitive data. In response to these concerns, differential privacy has emerged as a rigorous framework for privacy protection, gaining widespread recognition in both academic and industrial circles. While substantial progress has been made in private data analysis, existing methods often suffer from impracticality or a significant…
▽ More
Recent years have witnessed growing concerns about the privacy of sensitive data. In response to these concerns, differential privacy has emerged as a rigorous framework for privacy protection, gaining widespread recognition in both academic and industrial circles. While substantial progress has been made in private data analysis, existing methods often suffer from impracticality or a significant loss of statistical efficiency. This paper aims to alleviate these concerns in the context of hypothesis testing by introducing differentially private permutation tests. The proposed framework extends classical non-private permutation tests to private settings, maintaining both finite-sample validity and differential privacy in a rigorous manner. The power of the proposed test depends on the choice of a test statistic, and we establish general conditions for consistency and non-asymptotic uniform power. To demonstrate the utility and practicality of our framework, we focus on reproducing kernel-based test statistics and introduce differentially private kernel tests for two-sample and independence testing: dpMMD and dpHSIC. The proposed kernel tests are straightforward to implement, applicable to various types of data, and attain minimax optimal power across different privacy regimes. Our empirical evaluations further highlight their competitive power under various synthetic and real-world scenarios, emphasizing their practical value. The code is publicly available to facilitate the implementation of our framework.
△ Less
Submitted 7 January, 2024; v1 submitted 29 October, 2023;
originally announced October 2023.
-
The Nonlocal Stefan Problem via a Martingale Transport
Authors:
Raymond Chu,
Inwon Kim,
Young-Heon Kim,
Kyeongsik Nam
Abstract:
We study the nonlocal Stefan problem, where the phase transition is described by a nonlocal diffusion as well as the change of enthalpy functions. By using a stochastic optimization approach introduced for the local case, we construct global-time weak solutions and give a probabilistic interpretation for the solutions. An important ingredient in our analysis is a probabilistic interpretation of th…
▽ More
We study the nonlocal Stefan problem, where the phase transition is described by a nonlocal diffusion as well as the change of enthalpy functions. By using a stochastic optimization approach introduced for the local case, we construct global-time weak solutions and give a probabilistic interpretation for the solutions. An important ingredient in our analysis is a probabilistic interpretation of the enthalpy and temperature variables in terms of a particle system. Our approach in particular establishes the connection between the parabolic obstacle problem and the Stefan Problem for the nonlocal diffusions. For the melting problem, we show that our solution coincides with those studied in the literature.
△ Less
Submitted 11 October, 2023; v1 submitted 6 October, 2023;
originally announced October 2023.
-
On the geometry of rate independent droplet evolution
Authors:
William M Feldman,
Inwon C. Kim,
Norbert Požár
Abstract:
We consider a toy model of rate independent droplet motion on a surface with contact angle hysteresis based on the one-phase Bernoulli free boundary problem. Taking advantage of two notions of weak solutions, energy-based and comparison-principle-based, we study the dynamic contact angle of moving contact lines and the geometry of de-pinning. We show that these two notions of solutions coincide in…
▽ More
We consider a toy model of rate independent droplet motion on a surface with contact angle hysteresis based on the one-phase Bernoulli free boundary problem. Taking advantage of two notions of weak solutions, energy-based and comparison-principle-based, we study the dynamic contact angle of moving contact lines and the geometry of de-pinning. We show that these two notions of solutions coincide in a star-shaped setting, where we show (almost) optimal regularity of the contact line and the convergence of a minimizing movements scheme. In a general setting, the notions differ essentially in how they handle jumps, but both are shown to satisfy a weak motion law.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Free boundary regularity for tumor growth with nutrients and diffusion
Authors:
Carson Collins,
Matt Jacobs,
Inwon Kim
Abstract:
In this paper, we study a tumor growth model where the growth is driven by nutrient availability and the tumor expands according to Darcy's law with a mechanical pressure resulting from the incompressibility of the cells. Our focus is on the free boundary regularity of the tumor patch that holds beyond topological changes. A crucial element in our analysis is establishing the regularity of the hit…
▽ More
In this paper, we study a tumor growth model where the growth is driven by nutrient availability and the tumor expands according to Darcy's law with a mechanical pressure resulting from the incompressibility of the cells. Our focus is on the free boundary regularity of the tumor patch that holds beyond topological changes. A crucial element in our analysis is establishing the regularity of the hitting time T, which records the first time the tumor patch reaches a given point. We achieve this by introducing a novel Hamilton-Jacobi-Bellman (HJB) interpretation of the pressure, which is of independent interest. The HJB structure is obtained by viewing the model as a limit of the Porous Media Equation (PME) and building upon a new variant of the AB estimate. Using the HJB structure, we establish a new Hopf-Lax type formula for the pressure variable. Combined with barrier arguments, the formula allows us to show that T is C^α, where αdepends only on the dimension, which translates into a mild nondegeneracy of the tumor patch evolution. Building on this and obstacle problem theory, we show that the tumor patch boundary is regular in spacetime except on a set of Hausdorff dimension at most $d-α$. On the set of regular points, we further show that the tumor patch is locally $C^{1,α}$ in space-time. This conclusively establishes that instabilities in the boundary evolution do not amplify arbitrarily high frequencies.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
Nearly Minimax Optimal Wasserstein Conditional Independence Testing
Authors:
Matey Neykov,
Larry Wasserman,
Ilmun Kim,
Sivaraman Balakrishnan
Abstract:
This paper is concerned with minimax conditional independence testing. In contrast to some previous works on the topic, which use the total variation distance to separate the null from the alternative, here we use the Wasserstein distance. In addition, we impose Wasserstein smoothness conditions which on bounded domains are weaker than the corresponding total variation smoothness imposed, for inst…
▽ More
This paper is concerned with minimax conditional independence testing. In contrast to some previous works on the topic, which use the total variation distance to separate the null from the alternative, here we use the Wasserstein distance. In addition, we impose Wasserstein smoothness conditions which on bounded domains are weaker than the corresponding total variation smoothness imposed, for instance, by Neykov et al. [2021]. This added flexibility expands the distributions which are allowed under the null and the alternative to include distributions which may contain point masses for instance. We characterize the optimal rate of the critical radius of testing up to logarithmic factors. Our test statistic which nearly achieves the optimal critical radius is novel, and can be thought of as a weighted multi-resolution version of the U-statistic studied by Neykov et al. [2021].
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Conditional Independence Testing for Discrete Distributions: Beyond $χ^2$- and $G$-tests
Authors:
Ilmun Kim,
Matey Neykov,
Sivaraman Balakrishnan,
Larry Wasserman
Abstract:
This paper is concerned with the problem of conditional independence testing for discrete data. In recent years, researchers have shed new light on this fundamental problem, emphasizing finite-sample optimality. The non-asymptotic viewpoint adapted in these works has led to novel conditional independence tests that enjoy certain optimality under various regimes. Despite their attractive theoretica…
▽ More
This paper is concerned with the problem of conditional independence testing for discrete data. In recent years, researchers have shed new light on this fundamental problem, emphasizing finite-sample optimality. The non-asymptotic viewpoint adapted in these works has led to novel conditional independence tests that enjoy certain optimality under various regimes. Despite their attractive theoretical properties, the considered tests are not necessarily practical, relying on a Poissonization trick and unspecified constants in their critical values. In this work, we attempt to bridge the gap between theory and practice by reproving optimality without Poissonization and calibrating tests using Monte Carlo permutations. Along the way, we also prove that classical asymptotic $χ^2$- and $G$-tests are notably sub-optimal in a high-dimensional regime, which justifies the demand for new tools. Our theoretical results are complemented by experiments on both simulated and real-world datasets. Accompanying this paper is an R package UCI that implements the proposed tests.
△ Less
Submitted 28 October, 2023; v1 submitted 10 August, 2023;
originally announced August 2023.
-
A regularity theory for an initial value problem with a time-measurable pseudo-differential operator in a weighted $L_p$-space
Authors:
Jae-Hwan Choi,
Ildoo Kim,
** Bong Lee
Abstract:
In this study, we investigate the existence, uniqueness, and maximal regularity estimates of solutions to homogeneous initial value problems involving time-measurable pseudo-differential operators within the framework of weighted mixed norm Lebesgue spaces. The class of temporal weights in our regularity estimates contains Muckenhoupt's class, and the initial data is in weighted Besov spaces with…
▽ More
In this study, we investigate the existence, uniqueness, and maximal regularity estimates of solutions to homogeneous initial value problems involving time-measurable pseudo-differential operators within the framework of weighted mixed norm Lebesgue spaces. The class of temporal weights in our regularity estimates contains Muckenhoupt's class, and the initial data is in weighted Besov spaces with variable order.
△ Less
Submitted 4 March, 2024; v1 submitted 15 February, 2023;
originally announced February 2023.
-
The sharp interface limit of an Ising game
Authors:
William M Feldman,
Inwon C Kim,
Aaron Zeff Palmer
Abstract:
The Ising model of statistical physics has served as a keystone example of phase transitions, thermodynamic limits, scaling laws, and many other phenomena and mathematical methods. We introduce and explore an Ising game, a variant of the Ising model that features competing agents influencing the behavior of the spins. With long-range interactions, we consider a mean-field limit resulting in a nonl…
▽ More
The Ising model of statistical physics has served as a keystone example of phase transitions, thermodynamic limits, scaling laws, and many other phenomena and mathematical methods. We introduce and explore an Ising game, a variant of the Ising model that features competing agents influencing the behavior of the spins. With long-range interactions, we consider a mean-field limit resulting in a nonlocal potential game at the mesoscopic scale. This game exhibits a phase transition and multiple constant Nash-equilibria in the supercritical regime.
Our analysis focuses on a sharp interface limit for which potential minimizing solutions to the Ising game concentrate on two of the constant Nash-equilibria. We show that the mesoscopic problem can be recast as a mixed local/nonlocal space-time Allen-Cahn type minimization problem. We prove, using a $Γ$-convergence argument, that the limiting interface minimizes a space-time anisotropic perimeter type energy functional. This macroscopic scale problem could also be viewed as a problem of optimal control of interface motion. Sharp interface limits of Allen-Cahn type functionals have been well studied. We build on that literature with new techniques to handle a mixture of local derivative terms and nonlocal interactions. The boundary conditions imposed by the game theoretic considerations also appear as novel terms and require special treatment.
△ Less
Submitted 19 January, 2023; v1 submitted 2 January, 2023;
originally announced January 2023.
-
A weighted $L_q(L_p)$-theory for fully degenerate second-order evolution equations with unbounded time-measurable coefficients
Authors:
Ildoo Kim
Abstract:
We study the fully degenerate second-order evolution equation $u_t=a^{ij}(t)u_{x^ix^j} +b^i(t) u_{x^i} + c(t)u+f, \quad t>0, x\in \mathbb{R}^d$ given with the zero initial data. Here $a^{ij}(t)$, $b^i(t)$, $c(t)$ are merely locally integrable functions, and $(a^{ij}(t))_{d \times d}$ is a nonnegative symmetric matrix with the smallest eigenvalue $δ(t)\geq 0$. We show that there is a positive const…
▽ More
We study the fully degenerate second-order evolution equation $u_t=a^{ij}(t)u_{x^ix^j} +b^i(t) u_{x^i} + c(t)u+f, \quad t>0, x\in \mathbb{R}^d$ given with the zero initial data. Here $a^{ij}(t)$, $b^i(t)$, $c(t)$ are merely locally integrable functions, and $(a^{ij}(t))_{d \times d}$ is a nonnegative symmetric matrix with the smallest eigenvalue $δ(t)\geq 0$. We show that there is a positive constant $N$ such that
$\int_0^{T} \left(\int_{\mathbb{R}^d} \left(|u|+|u_{xx} |\right)^{p} dx \right)^{q/p} e^{-q\int_0^t c(s)ds} w(α(t)) δ(t) dt \leq N \int_0^{T} \left(\int_{\mathbb{R}^d} \left|f\left(t,x\right)\right|^{p} dx \right)^{q/p} e^{-q\int_0^t c(s)ds} w(α(t)) (δ(t))^{1-q} dt,$ where $p,q \in (1,\infty)$, $α(t)=\int_0^t δ(s)ds$, and $w$ is a Muckenhoupt's weight.
△ Less
Submitted 1 January, 2023;
originally announced January 2023.
-
A Permutation-Free Kernel Independence Test
Authors:
Shubhanshu Shekhar,
Ilmun Kim,
Aaditya Ramdas
Abstract:
In nonparametric independence testing, we observe i.i.d.\ data $\{(X_i,Y_i)\}_{i=1}^n$, where $X \in \mathcal{X}, Y \in \mathcal{Y}$ lie in any general spaces, and we wish to test the null that $X$ is independent of $Y$. Modern test statistics such as the kernel Hilbert-Schmidt Independence Criterion (HSIC) and Distance Covariance (dCov) have intractable null distributions due to the degeneracy of…
▽ More
In nonparametric independence testing, we observe i.i.d.\ data $\{(X_i,Y_i)\}_{i=1}^n$, where $X \in \mathcal{X}, Y \in \mathcal{Y}$ lie in any general spaces, and we wish to test the null that $X$ is independent of $Y$. Modern test statistics such as the kernel Hilbert-Schmidt Independence Criterion (HSIC) and Distance Covariance (dCov) have intractable null distributions due to the degeneracy of the underlying U-statistics. Thus, in practice, one often resorts to using permutation testing, which provides a nonasymptotic guarantee at the expense of recalculating the quadratic-time statistics (say) a few hundred times. This paper provides a simple but nontrivial modification of HSIC and dCov (called xHSIC and xdCov, pronounced ``cross'' HSIC/dCov) so that they have a limiting Gaussian distribution under the null, and thus do not require permutations. This requires building on the newly developed theory of cross U-statistics by Kim and Ramdas (2020), and in particular develo** several nontrivial extensions of the theory in Shekhar et al. (2022), which developed an analogous permutation-free kernel two-sample test. We show that our new tests, like the originals, are consistent against fixed alternatives, and minimax rate optimal against smooth local alternatives. Numerical simulations demonstrate that compared to the full dCov or HSIC, our variants have the same power up to a $\sqrt 2$ factor, giving practitioners a new option for large problems or data-analysis pipelines where computation, not sample size, could be the bottleneck.
△ Less
Submitted 18 December, 2022;
originally announced December 2022.
-
Tumor growth with nutrients: stability of the tumor patches
Authors:
Inwon Kim,
Jona Lelmi
Abstract:
In this paper, we study a tumor growth model with nutrients. The contact inhibition for the tumor cells, presented in the model, results in the evolution of a congested tumor patch. We study the regularity of the tumor patch as the nutrients' diffusion strength $D$ diminishes. In particular, we show that for small $D>0$ the boundary of the tumor patch stays in a small neighborhood of the smooth tu…
▽ More
In this paper, we study a tumor growth model with nutrients. The contact inhibition for the tumor cells, presented in the model, results in the evolution of a congested tumor patch. We study the regularity of the tumor patch as the nutrients' diffusion strength $D$ diminishes. In particular, we show that for small $D>0$ the boundary of the tumor patch stays in a small neighborhood of the smooth tumor patch boundary obtained with $D=0$, uniformly with respect to the Hausdorff distance.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
A Permutation-free Kernel Two-Sample Test
Authors:
Shubhanshu Shekhar,
Ilmun Kim,
Aaditya Ramdas
Abstract:
The kernel Maximum Mean Discrepancy~(MMD) is a popular multivariate distance metric between distributions that has found utility in two-sample testing. The usual kernel-MMD test statistic is a degenerate U-statistic under the null, and thus it has an intractable limiting distribution. Hence, to design a level-$α$ test, one usually selects the rejection threshold as the $(1-α)$-quantile of the perm…
▽ More
The kernel Maximum Mean Discrepancy~(MMD) is a popular multivariate distance metric between distributions that has found utility in two-sample testing. The usual kernel-MMD test statistic is a degenerate U-statistic under the null, and thus it has an intractable limiting distribution. Hence, to design a level-$α$ test, one usually selects the rejection threshold as the $(1-α)$-quantile of the permutation distribution. The resulting nonparametric test has finite-sample validity but suffers from large computational cost, since every permutation takes quadratic time. We propose the cross-MMD, a new quadratic-time MMD test statistic based on sample-splitting and studentization. We prove that under mild assumptions, the cross-MMD has a limiting standard Gaussian distribution under the null. Importantly, we also show that the resulting test is consistent against any fixed alternative, and when using the Gaussian kernel, it has minimax rate-optimal power against local alternatives. For large sample sizes, our new cross-MMD provides a significant speedup over the MMD, for only a slight loss in power.
△ Less
Submitted 4 February, 2023; v1 submitted 27 November, 2022;
originally announced November 2022.
-
The Projected Covariance Measure for assumption-lean variable significance testing
Authors:
Anton Rask Lundborg,
Ilmun Kim,
Rajen D. Shah,
Richard J. Samworth
Abstract:
Testing the significance of a variable or group of variables $X$ for predicting a response $Y$, given additional covariates $Z$, is a ubiquitous task in statistics. A simple but common approach is to specify a linear model, and then test whether the regression coefficient for $X$ is non-zero. However, when the model is misspecified, the test may have poor power, for example when $X$ is involved in…
▽ More
Testing the significance of a variable or group of variables $X$ for predicting a response $Y$, given additional covariates $Z$, is a ubiquitous task in statistics. A simple but common approach is to specify a linear model, and then test whether the regression coefficient for $X$ is non-zero. However, when the model is misspecified, the test may have poor power, for example when $X$ is involved in complex interactions, or lead to many false rejections. In this work we study the problem of testing the model-free null of conditional mean independence, i.e. that the conditional mean of $Y$ given $X$ and $Z$ does not depend on $X$. We propose a simple and general framework that can leverage flexible nonparametric or machine learning methods, such as additive models or random forests, to yield both robust error control and high power. The procedure involves using these methods to perform regressions, first to estimate a form of projection of $Y$ on $X$ and $Z$ using one half of the data, and then to estimate the expected conditional covariance between this projection and $Y$ on the remaining half of the data. While the approach is general, we show that a version of our procedure using spline regression achieves what we show is the minimax optimal rate in this nonparametric testing problem. Numerical experiments demonstrate the effectiveness of our approach both in terms of maintaining Type I error control, and power, compared to several existing approaches.
△ Less
Submitted 7 May, 2024; v1 submitted 3 November, 2022;
originally announced November 2022.
-
Regularity of Hele-Shaw Flow with source and drift
Authors:
Inwon Kim,
Yuming Paul Zhang
Abstract:
In this paper we study the regularity property of Hele-Shaw flow, where source and drift are present in the evolution. More specifically we consider Hölder continuous source and Lipschitz continuous drift. We show that if the free boundary of the solution is locally close to a Lipschitz graph, then it is indeed Lipschitz, given that the Lipschitz constant is small. When there is no drift, our resu…
▽ More
In this paper we study the regularity property of Hele-Shaw flow, where source and drift are present in the evolution. More specifically we consider Hölder continuous source and Lipschitz continuous drift. We show that if the free boundary of the solution is locally close to a Lipschitz graph, then it is indeed Lipschitz, given that the Lipschitz constant is small. When there is no drift, our result establishes $C^{1,γ}$ regularity of the free boundary by combining our result with the obstacle problem theory. In general, when the source and drift are both smooth, we prove that the solution is non-degenerate, indicating higher regularity of the free boudary.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Isometric, symmetric and isosymmetric commuting $d$-tuples of Banach space operators
Authors:
Bhagwati Prashad Duggal,
In Hyun Kim
Abstract:
Generalising the definition to commuting $d$-tuples of operators, a number of authors have considered structural properties of $m$-isometric, $n$-symmetric and $(m,n)$-isosymmetric commuting $d$-tuples in the recent past. This note is an attempt to take the mystique out of this extension and show how a large number of these properties follow from the more familiar arguments used to prove the singl…
▽ More
Generalising the definition to commuting $d$-tuples of operators, a number of authors have considered structural properties of $m$-isometric, $n$-symmetric and $(m,n)$-isosymmetric commuting $d$-tuples in the recent past. This note is an attempt to take the mystique out of this extension and show how a large number of these properties follow from the more familiar arguments used to prove the single operator version of these properties.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Incompressible limit of porous medium equation with bistable and monostable reaction terms
Authors:
Inwon Kim,
Antoine Mellet
Abstract:
We study the incompressible limit of the porous medium equation with a reaction term that is non-monotone with respect to the pressure variable. More specifically we consider reaction terms that are either bistable or monostable. We show that this type of reaction term generates many interesting differences in the qualitative behavior of solutions, in contrast to the problem with monotone reaction…
▽ More
We study the incompressible limit of the porous medium equation with a reaction term that is non-monotone with respect to the pressure variable. More specifically we consider reaction terms that are either bistable or monostable. We show that this type of reaction term generates many interesting differences in the qualitative behavior of solutions, in contrast to the problem with monotone reaction terms that have been extensively studied in recent literature. After characterizing the limit problem, we embark on a comprehensive study of the problem in one space dimension, to illustrate the delicate nature of the problem, including the generic nature of non-uniqueness and instability. For compactly supported initial data, we show that the density can either perish or thrive, even if it starts from the same initial data, depending on its initial pressure configuration. When the initial pressure is a characteristic function, we establish the existence of the sharp threshold separating the two behaviors. Lastly we present a detailed analysis of the behavior of traveling waves in this incompressible limit. We study the existence of traveling waves for the limiting model and prove convergence results in the incompressible limit (depending on the reaction term).
△ Less
Submitted 19 August, 2022;
originally announced August 2022.
-
Curvature of the total space of a Griffiths negative vector bundle and quasi-Fuchsian space
Authors:
Inkang Kim,
Xueyuan Wan,
Genkai Zhang
Abstract:
For a holomorphic vector bundle $E$ over a Hermitian manifold $M$ there are two important notions of curvature positivity, the Griffiths positivity and Nakano positivity. We study the consequence of these positivities and the relevant estimates. If $E$ is Griffiths negative over Kähler manifold, then there is a Kähler metric on its total space $E$, and we calculate the curvature and prove the non-…
▽ More
For a holomorphic vector bundle $E$ over a Hermitian manifold $M$ there are two important notions of curvature positivity, the Griffiths positivity and Nakano positivity. We study the consequence of these positivities and the relevant estimates. If $E$ is Griffiths negative over Kähler manifold, then there is a Kähler metric on its total space $E$, and we calculate the curvature and prove the non-positivity of the curvature along the tautological direction. The Nakano positivity can be formulated as a positivity for the Nakano curvature operator and we give estimate the Nakano curvature operator associated with a Nakano positive direct image bundle. As applications we construct a map** class group invariant Kähler metric on the quasi-Fuchsian space QF$(S)$, which extends the Weil-Petersson metric on the Teichmüller space $\mathcal{T}(S)\subset {\rm QF}(S)$, and we obtain estimates for the Nakano curvature operator for the dual Weil-Petersson metric on the holomorphic cotangent bundle of Teichmüller space.
△ Less
Submitted 14 August, 2022;
originally announced August 2022.
-
Comments on "Testing Conditional Independence of Discrete Distributions"
Authors:
Ilmun Kim
Abstract:
In this short note, we identify and address an error in the proof of Theorem 1.3 in Canonne et al. (2018), a recent breakthrough in conditional independence testing. After correcting the error, we show that the general sample complexity result established in Canonne et al. (2018) remains the same.
In this short note, we identify and address an error in the proof of Theorem 1.3 in Canonne et al. (2018), a recent breakthrough in conditional independence testing. After correcting the error, we show that the general sample complexity result established in Canonne et al. (2018) remains the same.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Sinai-Ruelle-Bowen measure Entropy of geodesic flow on Convex Projective Surfaces I
Authors:
Patrick Foulon,
Inkang Kim
Abstract:
We study the entropy of Sinai-Ruelle-Bowen measure of the geodesic flow on convex real projective surfaces, and shows that the Hilbert area tends to infinity if the entropy tends to zero. For the Blaschke metric, we obtain the converse statement as well.
We study the entropy of Sinai-Ruelle-Bowen measure of the geodesic flow on convex real projective surfaces, and shows that the Hilbert area tends to infinity if the entropy tends to zero. For the Blaschke metric, we obtain the converse statement as well.
△ Less
Submitted 5 February, 2024; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Efficient Aggregated Kernel Tests using Incomplete $U$-statistics
Authors:
Antonin Schrab,
Ilmun Kim,
Benjamin Guedj,
Arthur Gretton
Abstract:
We propose a series of computationally efficient nonparametric tests for the two-sample, independence, and goodness-of-fit problems, using the Maximum Mean Discrepancy (MMD), Hilbert Schmidt Independence Criterion (HSIC), and Kernel Stein Discrepancy (KSD), respectively. Our test statistics are incomplete $U$-statistics, with a computational cost that interpolates between linear time in the number…
▽ More
We propose a series of computationally efficient nonparametric tests for the two-sample, independence, and goodness-of-fit problems, using the Maximum Mean Discrepancy (MMD), Hilbert Schmidt Independence Criterion (HSIC), and Kernel Stein Discrepancy (KSD), respectively. Our test statistics are incomplete $U$-statistics, with a computational cost that interpolates between linear time in the number of samples, and quadratic time, as associated with classical $U$-statistic tests. The three proposed tests aggregate over several kernel bandwidths to detect departures from the null on various scales: we call the resulting tests MMDAggInc, HSICAggInc and KSDAggInc. This procedure provides a solution to the fundamental kernel selection problem as we can aggregate a large number of kernels with several bandwidths without incurring a significant loss of test power. For the test thresholds, we derive a quantile bound for wild bootstrapped incomplete $U$-statistics, which is of independent interest. We derive non-asymptotic uniform separation rates for MMDAggInc and HSICAggInc, and quantify exactly the trade-off between computational efficiency and the attainable rates: this result is novel for tests based on incomplete $U$-statistics, to our knowledge. We further show that in the quadratic-time case, the wild bootstrap incurs no penalty to test power over the more widespread permutation-based approach, since both attain the same minimax optimal rates (which in turn match the rates that use oracle quantiles). We support our claims with numerical experiments on the trade-off between computational efficiency and test power. In all three testing frameworks, the linear-time versions of our proposed tests perform at least as well as the current linear-time state-of-the-art tests.
△ Less
Submitted 26 January, 2023; v1 submitted 18 June, 2022;
originally announced June 2022.
-
A weighted $L_p$-regularity theory for parabolic partial differential equations with time measurable pseudo-differential operators
Authors:
Jae-Hwan Choi,
Ildoo Kim
Abstract:
We obtain the existence, uniqueness, and regularity estimates of the following Cauchy problem \begin{equation}\label{ab eqn} \begin{cases}
\partial_t u(t,x)=ψ(t,-i\nabla)u(t,x)+f(t,x),\quad &(t,x)\in(0,T)\times\mathbb{R}^d,\\ u(0,x)=0,\quad & x\in\mathbb{R}^d \end{cases} \end{equation} in (Muckenhoupt) weighted $L_p$-spaces with time-measurable pseudo-differential operators \begin{equation}
\l…
▽ More
We obtain the existence, uniqueness, and regularity estimates of the following Cauchy problem \begin{equation}\label{ab eqn} \begin{cases}
\partial_t u(t,x)=ψ(t,-i\nabla)u(t,x)+f(t,x),\quad &(t,x)\in(0,T)\times\mathbb{R}^d,\\ u(0,x)=0,\quad & x\in\mathbb{R}^d \end{cases} \end{equation} in (Muckenhoupt) weighted $L_p$-spaces with time-measurable pseudo-differential operators \begin{equation}
\label{ab op} ψ(t,-i\nabla)u(t,x):=\mathcal{F}^{-1}\left[ψ(t,\cdot)\mathcal{F}[u](t,\cdot)\right](x). \end{equation} More precisely, we find sufficient conditions of the symbol $ψ(t,ξ)$ (especially depending on the smoothness of the symbol with respect to $ξ$) to guarantee that equation is well-posed in (Muckenhoupt) weighted $L_p$-spaces. Here the symbol $ψ(t,ξ)$ is merely measurable with respect to $t$, and the sufficient smoothness of $ψ(t,ξ)$ with respect to $ξ$ is characterized by a property of each weight. In particular, we prove the existence of a positive constant $N$ such that for any solution $u$ to the equation, \begin{equation}
\label{ab est} \int_0^T \int_{\mathbb{R}^d} |(-Δ)^{γ/2} u(t,x) |^p (t^2 + |x|^2)^{α/2} \mathrm{d}x\mathrm{d}t \leq N\int_0^T \int_{\mathbb{R}^d} |f(t,x)|^p (t^2 + |x|^2)^{α/2} \mathrm{d}x\mathrm{d}t \end{equation} and \begin{equation}
\label{ab est 2} \int_0^T \left(\int_{\mathbb{R}^d} |(-Δ)^{γ/2} u(t,x) |^p |x|^{α_2} \mathrm{d}x \right)^{q/p} t^{α_1}\mathrm{d}t \leq N\int_0^T \left(\int_{\mathbb{R}^d} |f(t,x) |^p |x|^{α_2} \mathrm{d}x \right)^{q/p} t^{α_1}\mathrm{d}t, \end{equation} where $p,q\in(1,\infty)$, $-d-1<α< (d+1)(p-1)$, $-1 < α_1 < q-1$, $-d <α_2< d(p-1)$, and $γ$ is the order of the operator $ψ(t,-i\nabla)$.
△ Less
Submitted 16 June, 2023; v1 submitted 24 May, 2022;
originally announced May 2022.
-
Density-constrained Chemotaxis and Hele-Shaw flow
Authors:
Inwon Kim,
Antoine Mellet,
Yi**g Wu
Abstract:
We consider a model of congestion dynamics with chemotaxis, where the density of cells follows the chemical signal it generates, while observing an incompressibility constraint. We show that when the chemical diffuses slowly and attracts the cells strongly, then the dynamics of the congested cells is well approximated by a surface-tension driven free boundary problem. More precisely, we show that…
▽ More
We consider a model of congestion dynamics with chemotaxis, where the density of cells follows the chemical signal it generates, while observing an incompressibility constraint. We show that when the chemical diffuses slowly and attracts the cells strongly, then the dynamics of the congested cells is well approximated by a surface-tension driven free boundary problem. More precisely, we show that in this limit the density of cell converges to the characteristic function of a set whose evolution is described by a Hele-Shaw free boundary problem with surface tension. Our problem is set in a bounded domain, which leads to an interesting analysis on the limiting boundary conditions for the density function. Namely, we prove that the assumption of Robin boundary conditions for the chemical potential leads to a contact angle condition for the free interface.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
A density-constrained model for Chemotaxis
Authors:
Inwon Kim,
Antoine Mellet,
Yi**g Wu
Abstract:
We consider a model of congestion dynamics with chemotaxis: The density of cells follows a chemical signal it generates, while subject to an incompressibility constraint. The incompressibility constraint results in the formation of patches, describing regions where the maximal density has been reached. The dynamics of these patches can be described by either Hele-Shaw or Richards equation type flo…
▽ More
We consider a model of congestion dynamics with chemotaxis: The density of cells follows a chemical signal it generates, while subject to an incompressibility constraint. The incompressibility constraint results in the formation of patches, describing regions where the maximal density has been reached. The dynamics of these patches can be described by either Hele-Shaw or Richards equation type flow (depending on whether we consider the model with diffusion or the model with pure advection). Our focus in this paper is on the construction of weak solutions for this problem via a variational discrete time scheme of JKO type. We also establish the uniqueness of these solutions. In addition, we make more rigorous the connection between this incompressible chemotaxis model and the free boundary problems describing the motion of the patches in terms of the density and associated pressure variable. In particular, we obtain new results characterizing the pressure variable as the solution of an obstacle problem and prove that in the pure advection case the dynamic preserves patches.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
Tumor Growth with Nutrients: Regularity and Stability
Authors:
Matt Jacobs,
Inwon Kim,
Jiajun Tong
Abstract:
In this paper we study a tumor growth model with nutrients. The model presents dynamic patch solutions due to the contact inhibition among the tumor cells. We show that when the nutrients do not diffuse and the cells do not die, the tumor density exhibits regularizing dynamics. In particular, we provide contraction estimates, exponential rate of asymptotic convergence, and boundary regularity of t…
▽ More
In this paper we study a tumor growth model with nutrients. The model presents dynamic patch solutions due to the contact inhibition among the tumor cells. We show that when the nutrients do not diffuse and the cells do not die, the tumor density exhibits regularizing dynamics. In particular, we provide contraction estimates, exponential rate of asymptotic convergence, and boundary regularity of the tumor patch. These results are in sharp contrast to the models either with nutrient diffusion or with death rate in tumor cells.
△ Less
Submitted 15 April, 2022;
originally announced April 2022.
-
New Sasaki-Einstein 5-manifolds
Authors:
Dasol Jeong,
In-Kyun Kim,
Jihun Park,
Joonyeong Won
Abstract:
We prove that closed simply connected $5$-manifolds $2(S^2\times S^3)\# nM_2$ allow Sasaki-Einstein structures, where $M_2$ is the closed simply connected $5$-manifold with $\mathrm{H}_2(M_2,\mathbb{Z})=\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/2\mathbb{Z}$, $nM_2$ is the $n$-fold connected sum of $M_2$, and $2(S^2\times S^3)$ is the two-fold connected sum of $S^2\times S^3$.
We prove that closed simply connected $5$-manifolds $2(S^2\times S^3)\# nM_2$ allow Sasaki-Einstein structures, where $M_2$ is the closed simply connected $5$-manifold with $\mathrm{H}_2(M_2,\mathbb{Z})=\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/2\mathbb{Z}$, $nM_2$ is the $n$-fold connected sum of $M_2$, and $2(S^2\times S^3)$ is the two-fold connected sum of $S^2\times S^3$.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
P-class is a proper subclass of NP-class; and more
Authors:
Jong** Kim,
Gwang** Kim,
JongPyo Lee,
ShuanHong Wang,
Ki-Bong Nam,
GyungSig Seo,
InSu Kim,
YangGon Kim
Abstract:
We may give rise to some questions related to the mathematical structures of $P$-class and $NP$-class. We have seen that one is a proper subclass of the other. Here we disclose more that $P$- class turns out to be the proper distributive sublattice of the $NP$- class.
We may give rise to some questions related to the mathematical structures of $P$-class and $NP$-class. We have seen that one is a proper subclass of the other. Here we disclose more that $P$- class turns out to be the proper distributive sublattice of the $NP$- class.
△ Less
Submitted 9 July, 2022; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Signature for flat unitary bundles over surfaces with boundary
Authors:
Inkang Kim,
Pierre Pansu,
Xueyuan Wan
Abstract:
This paper deals with the representations of the fundamental groups of compact surfaces with boundary into classical simple Lie groups of Hermitian type. We relate work on the signature of the associated local systems of Atiyah-Patodi-Singer, to Burger-Iozzi-Wienhard's Toledo invariant. To measure the difference, we extend Atiyah-Patodi-Singer's rho invariant, initially defined on $\mathrm{U}(p)$,…
▽ More
This paper deals with the representations of the fundamental groups of compact surfaces with boundary into classical simple Lie groups of Hermitian type. We relate work on the signature of the associated local systems of Atiyah-Patodi-Singer, to Burger-Iozzi-Wienhard's Toledo invariant. To measure the difference, we extend Atiyah-Patodi-Singer's rho invariant, initially defined on $\mathrm{U}(p)$, to discontinuous class functions, first on $\mathrm{U}(p,q)$, and then on other classical groups via embeddings into $\mathrm{U}(p,q)$. In this way, we present three different invariants -- signature, Toledo and rho invariant -- in a unifying way, which is a version of the classical signature formula of Atiyah-Patodi-Singer for manifolds with boundary.
△ Less
Submitted 16 February, 2024; v1 submitted 13 February, 2022;
originally announced February 2022.
-
K-stability of log del Pezzo hypersurfaces with index 2
Authors:
In-Kyun Kim,
Nivedita Viswanathan,
Joonyeong Won
Abstract:
We completely classify K-stability of log del Pezzo hypersurfaces with index 2.
We completely classify K-stability of log del Pezzo hypersurfaces with index 2.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
Algebraic Multiscale Method for two--dimensional elliptic problems
Authors:
Kanghun Cho,
Imbunm Kim,
Raehyun Kim,
Dongwoo Sheen
Abstract:
We introduce an algebraic multiscale method for two--dimensional problems. The method uses the generalized multiscale finite element method based on the quadrilateral nonconforming finite element spaces. Differently from the one--dimensional algebraic multiscale method, we apply the dimension reduction techniques to construct multiscale basis functions. Also moment functions are considered to impo…
▽ More
We introduce an algebraic multiscale method for two--dimensional problems. The method uses the generalized multiscale finite element method based on the quadrilateral nonconforming finite element spaces. Differently from the one--dimensional algebraic multiscale method, we apply the dimension reduction techniques to construct multiscale basis functions. Also moment functions are considered to impose continuity between local basis functions. Some representative numerical results are presented.
△ Less
Submitted 25 January, 2022;
originally announced January 2022.
-
Local permutation tests for conditional independence
Authors:
Ilmun Kim,
Matey Neykov,
Sivaraman Balakrishnan,
Larry Wasserman
Abstract:
In this paper, we investigate local permutation tests for testing conditional independence between two random vectors $X$ and $Y$ given $Z$. The local permutation test determines the significance of a test statistic by locally shuffling samples which share similar values of the conditioning variables $Z$, and it forms a natural extension of the usual permutation approach for unconditional independ…
▽ More
In this paper, we investigate local permutation tests for testing conditional independence between two random vectors $X$ and $Y$ given $Z$. The local permutation test determines the significance of a test statistic by locally shuffling samples which share similar values of the conditioning variables $Z$, and it forms a natural extension of the usual permutation approach for unconditional independence testing. Despite its simplicity and empirical support, the theoretical underpinnings of the local permutation test remain unclear. Motivated by this gap, this paper aims to establish theoretical foundations of local permutation tests with a particular focus on binning-based statistics. We start by revisiting the hardness of conditional independence testing and provide an upper bound for the power of any valid conditional independence test, which holds when the probability of observing collisions in $Z$ is small. This negative result naturally motivates us to impose additional restrictions on the possible distributions under the null and alternate. To this end, we focus our attention on certain classes of smooth distributions and identify provably tight conditions under which the local permutation method is universally valid, i.e. it is valid when applied to any (binning-based) test statistic. To complement this result on type I error control, we also show that in some cases, a binning-based statistic calibrated via the local permutation method can achieve minimax optimal power. We also introduce a double-binning permutation strategy, which yields a valid test over less smooth null distributions than the typical single-binning method without compromising much power. Finally, we present simulation results to support our theoretical findings.
△ Less
Submitted 6 January, 2022; v1 submitted 21 December, 2021;
originally announced December 2021.
-
MMD Aggregated Two-Sample Test
Authors:
Antonin Schrab,
Ilmun Kim,
Mélisande Albert,
Béatrice Laurent,
Benjamin Guedj,
Arthur Gretton
Abstract:
We propose two novel nonparametric two-sample kernel tests based on the Maximum Mean Discrepancy (MMD). First, for a fixed kernel, we construct an MMD test using either permutations or a wild bootstrap, two popular numerical procedures to determine the test threshold. We prove that this test controls the probability of type I error non-asymptotically. Hence, it can be used reliably even in setting…
▽ More
We propose two novel nonparametric two-sample kernel tests based on the Maximum Mean Discrepancy (MMD). First, for a fixed kernel, we construct an MMD test using either permutations or a wild bootstrap, two popular numerical procedures to determine the test threshold. We prove that this test controls the probability of type I error non-asymptotically. Hence, it can be used reliably even in settings with small sample sizes as it remains well-calibrated, which differs from previous MMD tests which only guarantee correct test level asymptotically. When the difference in densities lies in a Sobolev ball, we prove minimax optimality of our MMD test with a specific kernel depending on the smoothness parameter of the Sobolev ball. In practice, this parameter is unknown and, hence, the optimal MMD test with this particular kernel cannot be used. To overcome this issue, we construct an aggregated test, called MMDAgg, which is adaptive to the smoothness parameter. The test power is maximised over the collection of kernels used, without requiring held-out data for kernel selection (which results in a loss of test power), or arbitrary kernel choices such as the median heuristic. We prove that MMDAgg still controls the level non-asymptotically, and achieves the minimax rate over Sobolev balls, up to an iterated logarithmic term. Our guarantees are not restricted to a specific type of kernel, but hold for any product of one-dimensional translation invariant characteristic kernels. We provide a user-friendly parameter-free implementation of MMDAgg using an adaptive collection of bandwidths. We demonstrate that MMDAgg significantly outperforms alternative state-of-the-art MMD-based two-sample tests on synthetic data satisfying the Sobolev smoothness assumption, and that, on real-world image data, MMDAgg closely matches the power of tests leveraging the use of models such as neural networks.
△ Less
Submitted 21 August, 2023; v1 submitted 28 October, 2021;
originally announced October 2021.
-
The Stefan problem and free targets of optimal Brownian martingale transport
Authors:
Inwon C. Kim,
Young-Heon Kim
Abstract:
We formulate and solve a free target optimal Brownian stop** problem from a given distribution while the target distribution is free and is conditioned to satisfy a given density height constraint. The free target optimization problem exhibits monotonicity, from which a remarkable universality follows, in the sense that the optimal target is independent of its Lagrangian cost type. In particular…
▽ More
We formulate and solve a free target optimal Brownian stop** problem from a given distribution while the target distribution is free and is conditioned to satisfy a given density height constraint. The free target optimization problem exhibits monotonicity, from which a remarkable universality follows, in the sense that the optimal target is independent of its Lagrangian cost type. In particular, the solutions to this optimization problem generate solutions to both unstable and stable type of the Stefan problem, where former stands for freezing of supercooled fluid $(St_1)$ and the latter for ice melting $(St_2)$. This unified approach to both types of Stefan problem is new. In particular we obtain global-time existence and weak-strong uniqueness for the ill-posed freezing problem $(St_1)$, for a given initial data and for a well-prepared class of initial domains generated from the initial data.
△ Less
Submitted 28 December, 2023; v1 submitted 7 October, 2021;
originally announced October 2021.
-
On the degree of a finite cover which fibers over circle
Authors:
Inkang Kim,
Hongbin Sun
Abstract:
We give a lower bound for the degree of a finite cover of a hyperbolic 3-manifold which fibers over the circle, in terms of volume, the diameter of the manifold and other new invariants.
We give a lower bound for the degree of a finite cover of a hyperbolic 3-manifold which fibers over the circle, in terms of volume, the diameter of the manifold and other new invariants.
△ Less
Submitted 21 September, 2021;
originally announced September 2021.
-
Signature, Toledo invariant and surface group representations in the real symplectic group
Authors:
Inkang Kim,
Pierre Pansu,
Xueyuan Wan
Abstract:
In this paper, by using Atiyah-Patodi-Singer index theorem, we obtain a formula for the signature of a flat symplectic vector bundle over a surface with boundary, which is related to the Toledo invariant of a surface group representation in the real symplectic group and the Rho invariant on the boundary. As an application, we obtain a Milnor-Wood type inequality for the signature. In particular, w…
▽ More
In this paper, by using Atiyah-Patodi-Singer index theorem, we obtain a formula for the signature of a flat symplectic vector bundle over a surface with boundary, which is related to the Toledo invariant of a surface group representation in the real symplectic group and the Rho invariant on the boundary. As an application, we obtain a Milnor-Wood type inequality for the signature. In particular, we give a new proof of the Milnor-Wood inequality for the Toledo invariant in the case of closed surfaces and obtain some modified inequalities for the surface with boundary.
△ Less
Submitted 28 February, 2022; v1 submitted 18 September, 2021;
originally announced September 2021.
-
Briançon-Skoda exponents and the maximal root of reduced Bernstein-Sato polynomials
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
For a holomorphic function $f$ on a complex manifold $X$, the Briançon-Skoda exponent $e^{\rm BS}(f)$ is the smallest integer $k$ with $f^k\in(\partial f)$ (replacing $X$ with a neighborhood of $f^{-1}(0)$), where $(\partial f)$ denotes the Jacobian ideal of $f$. It is shown that $e^{\rm BS}(f)\le d_X$ $(:=\dim X)$ by Brian\c con-Skoda. We prove that $e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1$ with…
▽ More
For a holomorphic function $f$ on a complex manifold $X$, the Briançon-Skoda exponent $e^{\rm BS}(f)$ is the smallest integer $k$ with $f^k\in(\partial f)$ (replacing $X$ with a neighborhood of $f^{-1}(0)$), where $(\partial f)$ denotes the Jacobian ideal of $f$. It is shown that $e^{\rm BS}(f)\le d_X$ $(:=\dim X)$ by Brian\c con-Skoda. We prove that $e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1$ with $-\widetildeα_f$ the maximal root of the reduced Bernstein-Sato polynomial $b_f(s)/(s+1)$, assuming the latter exists (shrinking $X$ if necessary). This implies for instance that $e^{\rm BS}(f)\le d_X-2$ in the case $f^{-1}(0)$ has only rational singularities, that is, if $\widetildeα_f>1$.
△ Less
Submitted 5 May, 2022; v1 submitted 16 August, 2021;
originally announced August 2021.
-
Higher Du Bois singularities of hypersurfaces
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
For a complex algebraic variety $X$, we introduce higher $p$-Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms $Ω_X^q$ and the shifted graded pieces of the Du Bois complex $\underlineΩ_X^q$ for $q\le p$. If $X$ is a reduced hypersurface, we show that higher $p$-Du~Bois singularity coincides with higher $p$-log canonical singularity, generalizin…
▽ More
For a complex algebraic variety $X$, we introduce higher $p$-Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms $Ω_X^q$ and the shifted graded pieces of the Du Bois complex $\underlineΩ_X^q$ for $q\le p$. If $X$ is a reduced hypersurface, we show that higher $p$-Du~Bois singularity coincides with higher $p$-log canonical singularity, generalizing a well-known theorem for $p=0$. The assertion that $p$-log canonicity implies $p$-Du Bois has been proved by Mustata, Olano, Popa, and Witaszek quite recently as a corollary of two theorems asserting that the sheaves of reflexive differential forms $Ω_X^{[q]}$ ($q\le p$) coincide with $Ω_X^q$ and $\underlineΩ_X^q$ respectively, and these are shown by calculating the depth of the latter two sheaves. We construct explicit isomorphisms between $Ω_X^q$ and $\underlineΩ_X^q$ applying the acyclicity of a Koszul complex in a certain range. We also improve some non-vanishing assertion shown by them using mixed Hodge modules and the Tjurina subspectrum in the isolated singularity case. This is useful for instance to estimate the lower bound of the maximal root of the reduced Bernstein-Sato polynomial in the case where a quotient singularity is a hypersurface and its singular locus has codimension at most 4.
△ Less
Submitted 23 March, 2022; v1 submitted 14 July, 2021;
originally announced July 2021.
-
Scalar curvature, mean curvature and harmonic maps to the circle
Authors:
Xiaoxiang Chai,
Inkang Kim
Abstract:
We study harmonic maps from a 3-manifold with boundary to $\mathbb{S}^1$ and prove a special case of dihedral rigidity of three dimensional cubes whose dihedral angles are $π/ 2$. Furthermore we give some applications to map** torus hyperbolic 3-manifolds.
We study harmonic maps from a 3-manifold with boundary to $\mathbb{S}^1$ and prove a special case of dihedral rigidity of three dimensional cubes whose dihedral angles are $π/ 2$. Furthermore we give some applications to map** torus hyperbolic 3-manifolds.
△ Less
Submitted 7 June, 2021; v1 submitted 17 March, 2021;
originally announced March 2021.