-
Universal behaviour of majority bootstrap percolation on high-dimensional geometric graphs
Authors:
Maurício Collares,
Joshua Erde,
Anna Geisler,
Mihyun Kang
Abstract:
Majority bootstrap percolation is a monotone cellular automata that can be thought of as a model of infection spreading in networks. Starting with an initially infected set, new vertices become infected once more than half of their neighbours are infected. The average case behaviour of this process was studied on the $n$-dimensional hypercube by Balogh, Bollobás and Morris, who showed that there i…
▽ More
Majority bootstrap percolation is a monotone cellular automata that can be thought of as a model of infection spreading in networks. Starting with an initially infected set, new vertices become infected once more than half of their neighbours are infected. The average case behaviour of this process was studied on the $n$-dimensional hypercube by Balogh, Bollobás and Morris, who showed that there is a phase transition as the typical density of the initially infected set increases: For small enough densities the spread of infection is typically local, whereas for large enough densities typically the whole graph eventually becomes infected. Perhaps surprisingly, they showed that the critical window in which this phase transition occurs is bounded away from $1/2$, and they gave bounds on its width on a finer scale. In this paper we consider the majority bootstrap percolation process on a class of high-dimensional geometric graphs which includes many of the graph families on which percolation processes are typically considered, such as grids, tori and Hamming graphs, as well as other well-studied families of graphs such as (bipartite) Kneser graphs, including the odd graph and the middle layer graph. We show similar quantitative behaviour in terms of the location and width of the critical window for the majority bootstrap percolation process on this class of graphs.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Bootstrap percolation on the high-dimensional Hamming graph
Authors:
Mihyun Kang,
Michael Missethan,
Dominik Schmid
Abstract:
In the random $r$-neighbour bootstrap percolation process on a graph $G$, a set of initially infected vertices is chosen at random by retaining each vertex of $G$ independently with probability $p\in (0,1)$, and "healthy" vertices get infected in subsequent rounds if they have at least $r$ infected neighbours. A graph $G$ \emph{percolates} if every vertex becomes eventually infected. A central pro…
▽ More
In the random $r$-neighbour bootstrap percolation process on a graph $G$, a set of initially infected vertices is chosen at random by retaining each vertex of $G$ independently with probability $p\in (0,1)$, and "healthy" vertices get infected in subsequent rounds if they have at least $r$ infected neighbours. A graph $G$ \emph{percolates} if every vertex becomes eventually infected. A central problem in this process is to determine the critical probability $p_c(G,r)$, at which the probability that $G$ percolates passes through one half. In this paper, we study random $2$-neighbour bootstrap percolation on the $n$-dimensional Hamming graph $\square_{i=1}^n K_k$, which is the graph obtained by taking the Cartesian product of $n$ copies of the complete graph $K_k$ on $k$ vertices. We extend a result of Balogh and Bollobás [Bootstrap percolation on the hypercube, Probab. Theory Related Fields. 134 (2006), no. 4, 624-648. MR2214907] about the asymptotic value of the critical probability $p_c(Q^n,2)$ for random $2$-neighbour bootstrap percolation on the $n$-dimensional hypercube $Q^n=\square_{i=1}^n K_2$ to the $n$-dimensional Hamming graph $\square_{i=1}^n K_k$, determining the asymptotic value of $p_c\left(\square_{i=1}^n K_k,2\right)$, up to multiplicative constants (when $n \rightarrow \infty$), for arbitrary $k \in \mathbb N$ satisfying $2 \leq k\leq 2^{\sqrt{n}}$.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Long-time behavior toward composite wave of shocks for 3D barotropic navier-stokes system
Authors:
Moon-** Kang,
Hobin Lee
Abstract:
We consider the barotropic Navier-Stokes system in three space dimensions with periodic boundary condition in the transversal direction. We show the long-time behavior of the 3D barotropic Navier-Stokes flow perturbed from a composition of two shock waves with suitably small amplitudes. We prove that the perturbed Navier-Stokes flow converges, uniformly in space, towards a composition of two plana…
▽ More
We consider the barotropic Navier-Stokes system in three space dimensions with periodic boundary condition in the transversal direction. We show the long-time behavior of the 3D barotropic Navier-Stokes flow perturbed from a composition of two shock waves with suitably small amplitudes. We prove that the perturbed Navier-Stokes flow converges, uniformly in space, towards a composition of two planar viscous shock waves as time goes to infinity, up to dynamical shifts. This is the first result on time-asymptotic stability of composite wave of two shocks for multi-D Navier-Stokes system. The main part of proof is based on the method of a-contraction with shifts.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Traveling Wave Solutions to Brenner-Navier-Stokes-Fourier system
Authors:
Saehoon Eo,
Namhyun Eun,
Moon-** Kang,
HyeonSeop Oh
Abstract:
As a continuum model for compressible fluid flows, Howard Brenner proposed the so-called Brenner-Navier-Stokes-Fourier(BNSF) system that improves some flaws of the Navier-Stokes-Fourier(NSF) system. For BNSF system, the volume velocity concept is introduced and is far different from the mass velocity of NSF, since the density of a compressible fluid is inhomogeneous. Although BNSF was introduced m…
▽ More
As a continuum model for compressible fluid flows, Howard Brenner proposed the so-called Brenner-Navier-Stokes-Fourier(BNSF) system that improves some flaws of the Navier-Stokes-Fourier(NSF) system. For BNSF system, the volume velocity concept is introduced and is far different from the mass velocity of NSF, since the density of a compressible fluid is inhomogeneous. Although BNSF was introduced more than ten years ago, the mathematical study on BNSF is still in its infancy. We consider the BNSF system in the Lagrangian mass coordinates. We prove the existence and uniqueness of monotone traveling wave solutions to the BNSF system. We also present some quantitative estimates for them.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
Asymptotic behavior toward viscous shock for impermeable wall and inflow problem of barotropic Navier-Stokes equations
Authors:
Xushan Huang,
Moon-** Kang,
Jeongho Kim,
Hobin Lee
Abstract:
We consider the compressible barotropic Navier-Stokes equations in a half-line and study the time-asymptotic behavior toward the outgoing viscous shock wave. Precisely, we consider the two boundary problems: impermeable wall and inflow problems, where the velocity at the boundary is given as a constant state. For both problems, when the asymptotic profile determined by the prescribed constant stat…
▽ More
We consider the compressible barotropic Navier-Stokes equations in a half-line and study the time-asymptotic behavior toward the outgoing viscous shock wave. Precisely, we consider the two boundary problems: impermeable wall and inflow problems, where the velocity at the boundary is given as a constant state. For both problems, when the asymptotic profile determined by the prescribed constant states at the boundary and far-fields is a viscous shock, we show that the solution asymptotically converges to the shifted viscous shock profiles uniformly in space, under the condition that initial perturbation is small enough in H1 norm. We do not impose the zero mass condition on initial data, which improves the previous results by Matsumura and Mei [20] for impermeable case, and by Huang, Matsumura and Shi [8] for inflow case. Moreover, for the inflow case, we remove the assumption in [8]. Our results are based on the method of a-contraction with shifts, as the first extension of the method to the boundary value problems.
△ Less
Submitted 6 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Neural Operators Learn the Local Physics of Magnetohydrodynamics
Authors:
Taeyoung Kim,
Youngsoo Ha,
Myungjoo Kang
Abstract:
Magnetohydrodynamics (MHD) plays a pivotal role in describing the dynamics of plasma and conductive fluids, essential for understanding phenomena such as the structure and evolution of stars and galaxies, and in nuclear fusion for plasma motion through ideal MHD equations. Solving these hyperbolic PDEs requires sophisticated numerical methods, presenting computational challenges due to complex str…
▽ More
Magnetohydrodynamics (MHD) plays a pivotal role in describing the dynamics of plasma and conductive fluids, essential for understanding phenomena such as the structure and evolution of stars and galaxies, and in nuclear fusion for plasma motion through ideal MHD equations. Solving these hyperbolic PDEs requires sophisticated numerical methods, presenting computational challenges due to complex structures and high costs. Recent advances introduce neural operators like the Fourier Neural Operator (FNO) as surrogate models for traditional numerical analyses. This study explores a modified Flux Fourier neural operator model to approximate the numerical flux of ideal MHD, offering a novel approach that outperforms existing neural operator models by enabling continuous inference, generalization outside sampled distributions, and faster computation compared to classical numerical schemes.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Measure-valued death state and local sensitivity analysis for Winfree models with uncertain high-order couplings
Authors:
Seung-Yeal Ha,
Myeongju Kang,
Jaeyoung Yoon,
Mattia Zanella
Abstract:
We study the measure-valued death state and local sensitivity analysis of the Winfree model and its mean-field counterpart with uncertain high-order couplings. The Winfree model is the first mathematical model for synchronization, and it can cast as the effective approximation of the pulse-coupled model for synchronization, and it exhibits diverse asymptotic patterns depending on system parameters…
▽ More
We study the measure-valued death state and local sensitivity analysis of the Winfree model and its mean-field counterpart with uncertain high-order couplings. The Winfree model is the first mathematical model for synchronization, and it can cast as the effective approximation of the pulse-coupled model for synchronization, and it exhibits diverse asymptotic patterns depending on system parameters and initial data. For the proposed models, we present several frameworks leading to oscillator death in terms of system parameters and initial data, and the propagation of regularity in random space. We also present several numerical tests and compare them with analytical results.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Bootstrap Percolation on the Binomial Random $k$-uniform Hypergraph
Authors:
Mihyun Kang,
Christoph Koch,
Tamás Makai
Abstract:
We investigate the behaviour of $r$-neighbourhood bootstrap percolation on the binomial $k$-uniform random hypergraph $H_k(n,p)$ for given integers $k\geq 2$ and $r\geq 2$. In $r$-neighbourhood bootstrap percolation, infection spreads through the hypergraph, starting from a set of initially infected vertices, and in each subsequent step of the process every vertex with at least $r$ infected neighb…
▽ More
We investigate the behaviour of $r$-neighbourhood bootstrap percolation on the binomial $k$-uniform random hypergraph $H_k(n,p)$ for given integers $k\geq 2$ and $r\geq 2$. In $r$-neighbourhood bootstrap percolation, infection spreads through the hypergraph, starting from a set of initially infected vertices, and in each subsequent step of the process every vertex with at least $r$ infected neighbours becomes infected. For our analysis the set of initially infected vertices is chosen uniformly at random from all sets of given size. In the regime $n^{-1}\ll n^{k-2}p \ll n^{-1/r}$ we establish a threshold such that if the number of initially infected vertices remains below the threshold, then with high probability only a few additional vertices become infected, while if the number of initially infected vertices exceeds the threshold then with high probability almost every vertex becomes infected. In fact we show that the probability of failure decreases exponentially.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
$L^2$ decay for large perturbations of viscous shocks for multi-D Burgers equation
Authors:
Moon-** Kang,
HyeonSeop Oh
Abstract:
We consider a planar viscous shock of moderate strength for a scalar viscous conservation law in multi-D. We consider a strictly convex flux, as a small perturbation of the Burgers flux, along the normal direction to the shock front. However, for the transversal directions, we do not have any restrictions on flux function. We first show the contraction property for any large perturbations in…
▽ More
We consider a planar viscous shock of moderate strength for a scalar viscous conservation law in multi-D. We consider a strictly convex flux, as a small perturbation of the Burgers flux, along the normal direction to the shock front. However, for the transversal directions, we do not have any restrictions on flux function. We first show the contraction property for any large perturbations in $L^2$ of the planar viscous shock. If the initial $L^2$-perturbation is also in $L^1$, the large perturbation converges to zero in $L^2$ as time goes to infinity with $t^{-1/4}$ decay rate. The contraction and decay estimates hold up to dynamical shift. For the results, we do not impose any smallness conditions on the initial value. This result extends the 1D case \cite{Kang-V-1} by the first author and Vasseur to the multi-dimensional case.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Long-time behavior towards viscous-dispersive shock for Navier-Stokes equations of Korteweg type
Authors:
Sungho Han,
Moon-** Kang,
Jeongho Kim,
Hobin Lee
Abstract:
We consider the so-called Naiver-Stokes-Korteweg(NSK) equations for the dynamics of compressible barotropic viscous fluids with internal capillarity. We handle the time-asymptotic stability in 1D of the viscous-dispersive shock wave that is a traveling wave solution to NSK as a viscous-dispersive counterpart of a Riemann shock. More precisely, we prove that when the prescribed far-field states of…
▽ More
We consider the so-called Naiver-Stokes-Korteweg(NSK) equations for the dynamics of compressible barotropic viscous fluids with internal capillarity. We handle the time-asymptotic stability in 1D of the viscous-dispersive shock wave that is a traveling wave solution to NSK as a viscous-dispersive counterpart of a Riemann shock. More precisely, we prove that when the prescribed far-field states of NSK are connected by a single Hugoniot curve, then solutions of NSK tend to the viscous-dispersive shock wave as time goes to infinity. To obtain the convergence, we extend the theory of $a$-contraction with shifts, used for the Navier-Stokes equations, to the NSK system. The main difficulty in analysis for NSK is due to the third-order derivative terms of the specific volume in the momentum equation. To resolve the problem, we introduce an auxiliary variable that is equivalent to the derivative of the specific volume.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Asymptotic properties of Vecchia approximation for Gaussian processes
Authors:
Myeongjong Kang,
Florian Schäfer,
Joseph Guinness,
Matthias Katzfuss
Abstract:
Vecchia approximation has been widely used to accurately scale Gaussian-process (GP) inference to large datasets, by expressing the joint density as a product of conditional densities with small conditioning sets. We study fixed-domain asymptotic properties of Vecchia-based GP inference for a large class of covariance functions (including Matérn covariances) with boundary conditioning. In this set…
▽ More
Vecchia approximation has been widely used to accurately scale Gaussian-process (GP) inference to large datasets, by expressing the joint density as a product of conditional densities with small conditioning sets. We study fixed-domain asymptotic properties of Vecchia-based GP inference for a large class of covariance functions (including Matérn covariances) with boundary conditioning. In this setting, we establish that consistency and asymptotic normality of maximum exact-likelihood estimators imply those of maximum Vecchia-likelihood estimators, and that exact GP prediction can be approximated accurately by Vecchia GP prediction, given that the size of conditioning sets grows polylogarithmically with the data size. Hence, Vecchia-based inference with quasilinear complexity is asymptotically equivalent to exact GP inference with cubic complexity. This also provides a general new result on the screening effect. Our findings are illustrated by numerical experiments, which also show that Vecchia approximation can be more accurate than alternative approaches such as covariance tapering and reduced-rank approximations.
△ Less
Submitted 5 February, 2024; v1 submitted 28 January, 2024;
originally announced January 2024.
-
From Navier-Stokes to BV solutions of the barotropic Euler equations
Authors:
Geng Chen,
Moon-** Kang,
Alexis F. Vasseur
Abstract:
In the realm of mathematical fluid dynamics, a formidable challenge lies in establishing inviscid limits from the Navier-Stokes equations to the Euler equations, wherein physically admissible solutions can be discerned. The pursuit of solving this intricate problem, particularly concerning singular solutions, persists in both compressible and incompressible scenarios.
This article focuses on sma…
▽ More
In the realm of mathematical fluid dynamics, a formidable challenge lies in establishing inviscid limits from the Navier-Stokes equations to the Euler equations, wherein physically admissible solutions can be discerned. The pursuit of solving this intricate problem, particularly concerning singular solutions, persists in both compressible and incompressible scenarios.
This article focuses on small $BV$ solutions to the barotropic Euler equation in one spatial dimension. Our investigation demonstrates that these solutions are inviscid limits for solutions to the associated compressible Navier-Stokes equation. Moreover, we extend our findings by establishing the well-posedness of such solutions within the broader class of inviscid limits of Navier-Stokes equations with locally bounded energy initial values.
△ Less
Submitted 18 February, 2024; v1 submitted 17 January, 2024;
originally announced January 2024.
-
Approximating Numerical Fluxes Using Fourier Neural Operators for Hyperbolic Conservation Laws
Authors:
Taeyoung Kim,
Myungjoo Kang
Abstract:
Traditionally, classical numerical schemes have been employed to solve partial differential equations (PDEs) using computational methods. Recently, neural network-based methods have emerged. Despite these advancements, neural network-based methods, such as physics-informed neural networks (PINNs) and neural operators, exhibit deficiencies in robustness and generalization. To address these issues,…
▽ More
Traditionally, classical numerical schemes have been employed to solve partial differential equations (PDEs) using computational methods. Recently, neural network-based methods have emerged. Despite these advancements, neural network-based methods, such as physics-informed neural networks (PINNs) and neural operators, exhibit deficiencies in robustness and generalization. To address these issues, numerous studies have integrated classical numerical frameworks with machine learning techniques, incorporating neural networks into parts of traditional numerical methods. In this study, we focus on hyperbolic conservation laws by replacing traditional numerical fluxes with neural operators. To this end, we developed loss functions inspired by established numerical schemes related to conservation laws and approximated numerical fluxes using Fourier neural operators (FNOs). Our experiments demonstrated that our approach combines the strengths of both traditional numerical schemes and FNOs, outperforming standard FNO methods in several respects. For instance, we demonstrate that our method is robust, has resolution invariance, and is feasible as a data-driven method. In particular, our method can make continuous predictions over time and exhibits superior generalization capabilities with out-of-distribution (OOD) samples, which are challenges that existing neural operator methods encounter.
△ Less
Submitted 13 May, 2024; v1 submitted 3 January, 2024;
originally announced January 2024.
-
Central extensions of higher groups: Green-Schwarz mechanism and 2-connections
Authors:
Monica **woo Kang,
Sungkyung Kang
Abstract:
We study the smooth $2$-group structure arising in the presence of quantum field theory with one-form symmetry. We acquire $2$-group structures obtained by a central extension of the zero-form symmetry by the one-form symmetry. We determine that the existence of a $2$-group structure is guaranteed by Chern--Simons levels. We further verify how we will be able to provide a fix to the current $2$-gr…
▽ More
We study the smooth $2$-group structure arising in the presence of quantum field theory with one-form symmetry. We acquire $2$-group structures obtained by a central extension of the zero-form symmetry by the one-form symmetry. We determine that the existence of a $2$-group structure is guaranteed by Chern--Simons levels. We further verify how we will be able to provide a fix to the current $2$-group problems by using the bibundle model. We outline the principal $2$-connection theory with respect to such $2$-group and compare it with the ansatz obtained from the Green--Schwarz mechanism. We further propose the existence of smooth $\infty$-group symmetries in quantum field theory.
△ Less
Submitted 27 November, 2023; v1 submitted 24 November, 2023;
originally announced November 2023.
-
Trend to equilibrium and diffusion limit for the inertial Kuramoto-Sakaguchi equation
Authors:
Francis Filbet,
Myeongju Kang
Abstract:
In this paper, we study the inertial Kuramoto-Sakaguchi equation for interacting oscillatory systems. On the one hand, we prove the convergence toward corresponding phasehomogeneous stationary states in weighted Lebesgue norm sense when the coupling strength is small enough. In [10], it is proved that when the noise intensity is sufficiently large, equilibrium of the inertial Kuramoto-Sakaguchi eq…
▽ More
In this paper, we study the inertial Kuramoto-Sakaguchi equation for interacting oscillatory systems. On the one hand, we prove the convergence toward corresponding phasehomogeneous stationary states in weighted Lebesgue norm sense when the coupling strength is small enough. In [10], it is proved that when the noise intensity is sufficiently large, equilibrium of the inertial Kuramoto-Sakaguchi equation is asymptotically stable. For generic initial data, every solutions converges to equilibrium in weighted Sobolev norm sense. We improve this previous result by showing the convergence for a larger class of functions and by providing a simpler proof. On the other hand, we investigate the diffusion limit when all oscillators are identical. In [19], authors studied the same problem using an energy estimate, renormlized solutions and a compactness method, through which error estimates could not be discussed. Here we provide error estimates for the diffusion limit with respect to the mass m $\ll$ 1 using a simple proof by imposing slightly more regularity on the solution.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Integral periodic orbits on affine spaces
Authors:
Minchan Kang
Abstract:
In this paper, we give an elementary proof on the existence of an effective uniform upper bound on the size of integral periodic orbits of a single endomorphism in an affine space, dependent solely on its dimension. In fact, we derive a formula relating the primitive period to the local primitive period obtained through reduction modulo prime number. In particular, we prove that the size of any in…
▽ More
In this paper, we give an elementary proof on the existence of an effective uniform upper bound on the size of integral periodic orbits of a single endomorphism in an affine space, dependent solely on its dimension. In fact, we derive a formula relating the primitive period to the local primitive period obtained through reduction modulo prime number. In particular, we prove that the size of any integral periodic orbit in the affine plane does not exceed 24.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
Percolation through Isoperimetry
Authors:
Sahar Diskin,
Joshua Erde,
Mihyun Kang,
Michael Krivelevich
Abstract:
We provide a sufficient condition on the isoperimetric properties of a regular graph $G$ of growing degree $d$, under which the random subgraph $G_p$ typically undergoes a phase transition around $p=\frac{1}{d}$ which resembles the emergence of a giant component in the binomial random graph model $G(n,p)$. We further show that this condition is tight.
More precisely, let $d=ω(1)$, let $ε>0$ be a…
▽ More
We provide a sufficient condition on the isoperimetric properties of a regular graph $G$ of growing degree $d$, under which the random subgraph $G_p$ typically undergoes a phase transition around $p=\frac{1}{d}$ which resembles the emergence of a giant component in the binomial random graph model $G(n,p)$. We further show that this condition is tight.
More precisely, let $d=ω(1)$, let $ε>0$ be a small enough constant, and let $p \cdot d=1+ε$. We show that if $C$ is sufficiently large and $G$ is a $d$-regular $n$-vertex graph where every subset $S\subseteq V(G)$ of order at most $\frac{n}{2}$ has edge-boundary of size at least $C|S|$, then $G_p$ typically has a unique linear sized component, whose order is asymptotically $y(ε)n$, where $y(ε)$ is the survival probability of a Galton-Watson tree with offspring distribution Po$(1+ε)$. We further give examples to show that this result is tight both in terms of its dependence on $C$, and with respect to the order of the second-largest component.
We also consider a more general setting, where we only control the expansion of sets up to size $k$. In this case, we show that if $G$ is such that every subset $S\subseteq V(G)$ of order at most $k$ has edge-boundary of size at least $d|S|$ and $p$ is such that $p\cdot d \geq 1 + ε$, then $G_p$ typically contains a component of order $Ω(k)$.
△ Less
Submitted 18 January, 2024; v1 submitted 20 August, 2023;
originally announced August 2023.
-
Catching a robber on a random $k$-uniform hypergraph
Authors:
Joshua Erde,
Mihyun Kang,
Florian Lehner,
Bojan Mohar,
Dominik Schmid
Abstract:
The game of \emph{Cops and Robber} is usually played on a graph, where a group of cops attempt to catch a robber moving along the edges of the graph. The \emph{cop number} of a graph is the minimum number of cops required to win the game. An important conjecture in this area, due to Meyniel, states that the cop number of an $n$-vertex connected graph is $O(\sqrt{n})$. In 2016, Prałat and Wormald […
▽ More
The game of \emph{Cops and Robber} is usually played on a graph, where a group of cops attempt to catch a robber moving along the edges of the graph. The \emph{cop number} of a graph is the minimum number of cops required to win the game. An important conjecture in this area, due to Meyniel, states that the cop number of an $n$-vertex connected graph is $O(\sqrt{n})$. In 2016, Prałat and Wormald [Meyniel's conjecture holds for random graphs, Random Structures Algorithms. 48 (2016), no. 2, 396-421. MR3449604] showed that this conjecture holds with high probability for random graphs above the connectedness threshold. Moreoever, Łuczak and Prałat [Chasing robbers on random graphs: Zigzag theorem, Random Structures Algorithms. 37 (2010), no. 4, 516-524. MR2760362] showed that on a $\log$-scale the cop number demonstrates a surprising \emph{zigzag} behaviour in dense regimes of the binomial random graph $G(n,p)$. In this paper, we consider the game of Cops and Robber on a hypergraph, where the players move along hyperedges instead of edges. We show that with high probability the cop number of the $k$-uniform binomial random hypergraph $G^k(n,p)$ is $O\left(\sqrt{\frac{n}{k}}\, \log n \right)$ for a broad range of parameters $p$ and $k$ and that on a $\log$-scale our upper bound on the cop number arises as the minimum of \emph{two} complementary zigzag curves, as opposed to the case of $G(n,p)$. Furthermore, we conjecture that the cop number of a connected $k$-uniform hypergraph on $n$ vertices is $O\left(\sqrt{\frac{n}{k}}\,\right)$.
△ Less
Submitted 11 April, 2024; v1 submitted 28 July, 2023;
originally announced July 2023.
-
Partitioning problems via random processes
Authors:
Michael Anastos,
Oliver Cooley,
Mihyun Kang,
Matthew Kwan
Abstract:
There are a number of well-known problems and conjectures about partitioning graphs to satisfy local constraints. For example, the majority colouring conjecture of Kreutzer, Oum, Seymour, van der Zypen and Wood states that every directed graph has a 3-colouring such that for every vertex $v$, at most half of the out-neighbours of $v$ have the same colour as $v$. As another example, the internal pa…
▽ More
There are a number of well-known problems and conjectures about partitioning graphs to satisfy local constraints. For example, the majority colouring conjecture of Kreutzer, Oum, Seymour, van der Zypen and Wood states that every directed graph has a 3-colouring such that for every vertex $v$, at most half of the out-neighbours of $v$ have the same colour as $v$. As another example, the internal partition conjecture, due to DeVos and to Ban and Linial, states that for every $d$, all but finitely many $d$-regular graphs have a partition into two nonempty parts such that for every vertex $v$, at least half of the neighbours of $v$ lie in the same part as $v$.
We prove several results in this spirit: in particular, two of our results are that the majority colouring conjecture holds for Erdős-Rényi random directed graphs (of any density), and that the internal partition conjecture holds if we permit a tiny number of "exceptional vertices".
Our proofs involve a variety of techniques, including several different methods to analyse random recolouring processes. One highlight is a "personality-changing" scheme: we "forget" certain information based on the state of a Markov chain, giving us more independence to work with.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
The proportion of monogenic orders of prime power indices of the pure cubic field
Authors:
Minchan Kang,
Dohyeong Kim
Abstract:
In this paper, we investigate the proportion of monogenic orders among the orders whose indices are a power of a fixed prime in a pure cubic field. We prove that the proportion is zero for a prime number that is not equal to 2 or 3. To do this, we first count the number of orders whose indices are power of a fixed prime. This is done by considering every full rank submodules of the ring of integer…
▽ More
In this paper, we investigate the proportion of monogenic orders among the orders whose indices are a power of a fixed prime in a pure cubic field. We prove that the proportion is zero for a prime number that is not equal to 2 or 3. To do this, we first count the number of orders whose indices are power of a fixed prime. This is done by considering every full rank submodules of the ring of integers, and establishing the condition to be closed under multiplication. Next, we derive the index form of arbitrary orders based on the index form of the ring of integers. Then, we obtain an upper bound of the number of monogenic orders with prime power indices by applying the finiteness of the number of primitive solutions of the Thue-Mahler equation.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
Time-asymptotic stability of generic Riemann solutions for compressible Navier-Stokes-Fourier equations
Authors:
Moon-** Kang,
Alexis Vasseur,
Yi Wang
Abstract:
We establish the time-asymptotic stability of solutions to the one-dimensional compressible Navier-Stokes-Fourier equations, with initial data perturbed from Riemann data that forms a generic Riemann solution. The Riemann solution under consideration is composed of a viscous shock, a viscous contact wave, and a rarefaction wave. We prove that the perturbed solution of Navier-Stokes-Fourier converg…
▽ More
We establish the time-asymptotic stability of solutions to the one-dimensional compressible Navier-Stokes-Fourier equations, with initial data perturbed from Riemann data that forms a generic Riemann solution. The Riemann solution under consideration is composed of a viscous shock, a viscous contact wave, and a rarefaction wave. We prove that the perturbed solution of Navier-Stokes-Fourier converges, uniformly in space as time goes to infinity, to a viscous ansatz composed of viscous shock with time-dependent shift, a viscous contact wave and an inviscid rarefaction wave.
This is a first resolution of the challenging open problem associated with the generic Riemann solution. Our approach relies on the method of a-contraction with shifts, specifically applied to both the shock wave and the contact discontinuity wave. It enables the application of a global energy method for the generic combination of three waves.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Feature-aligned N-BEATS with Sinkhorn divergence
Authors:
Joonhun Lee,
Myeongho Jeon,
Myungjoo Kang,
Kyunghyun Park
Abstract:
We propose Feature-aligned N-BEATS as a domain-generalized time series forecasting model. It is a nontrivial extension of N-BEATS with doubly residual stacking principle (Oreshkin et al. [45]) into a representation learning framework. In particular, it revolves around marginal feature probability measures induced by the intricate composition of residual and feature extracting operators of N-BEATS…
▽ More
We propose Feature-aligned N-BEATS as a domain-generalized time series forecasting model. It is a nontrivial extension of N-BEATS with doubly residual stacking principle (Oreshkin et al. [45]) into a representation learning framework. In particular, it revolves around marginal feature probability measures induced by the intricate composition of residual and feature extracting operators of N-BEATS in each stack and aligns them stack-wise via an approximate of an optimal transport distance referred to as the Sinkhorn divergence. The training loss consists of an empirical risk minimization from multiple source domains, i.e., forecasting loss, and an alignment loss calculated with the Sinkhorn divergence, which allows the model to learn invariant features stack-wise across multiple source data sequences while retaining N-BEATS's interpretable design and forecasting power. Comprehensive experimental evaluations with ablation studies are provided and the corresponding results demonstrate the proposed model's forecasting and generalization capabilities.
△ Less
Submitted 25 February, 2024; v1 submitted 24 May, 2023;
originally announced May 2023.
-
ReSDF: Redistancing Implicit Surfaces using Neural Networks
Authors:
Yesom Park,
Chang hoon Song,
Jooyoung Hahn,
Myungjoo Kang
Abstract:
This paper proposes a deep-learning-based method for recovering a signed distance function (SDF) of a given hypersurface represented by an implicit level set function. Using the flexibility of constructing a neural network, we use an augmented network by defining an auxiliary output to represent the gradient of the SDF. There are three advantages of the augmented network; (i) the target interface…
▽ More
This paper proposes a deep-learning-based method for recovering a signed distance function (SDF) of a given hypersurface represented by an implicit level set function. Using the flexibility of constructing a neural network, we use an augmented network by defining an auxiliary output to represent the gradient of the SDF. There are three advantages of the augmented network; (i) the target interface is accurately captured, (ii) the gradient has a unit norm, and (iii) two outputs are approximated by a single network. Moreover, unlike a conventional loss term which uses a residual of the eikonal equation, a novel training objective consisting of three loss terms is designed. The first loss function enforces a pointwise matching between two outputs of the augmented network. The second loss function leveraged by a geometric characteristic of the SDF imposes the shortest path obtained by the gradient. The third loss function regularizes a singularity of the SDF caused by discontinuities of the gradient. Numerical results across a wide range of complex and irregular interfaces in two and three-dimensional domains confirm the effectiveness and accuracy of the proposed method. We also compare the results of the proposed method with physics-informed neural networks approaches and the fast marching method.
△ Less
Submitted 14 May, 2023;
originally announced May 2023.
-
Isoperimetric Inequalities and Supercritical Percolation on High-dimensional Graphs
Authors:
Sahar Diskin,
Joshua Erde,
Mihyun Kang,
Michael Krivelevich
Abstract:
It is known that many different types of finite random subgraph models undergo quantitatively similar phase transitions around their percolation thresholds, and the proofs of these results rely on isoperimetric properties of the underlying host graph. Recently, the authors showed that such a phase transition occurs in a large class of regular high-dimensional product graphs, generalising a classic…
▽ More
It is known that many different types of finite random subgraph models undergo quantitatively similar phase transitions around their percolation thresholds, and the proofs of these results rely on isoperimetric properties of the underlying host graph. Recently, the authors showed that such a phase transition occurs in a large class of regular high-dimensional product graphs, generalising a classic result for the hypercube.
In this paper we give new isoperimetric inequalities for such regular high-dimensional product graphs, which generalise the well-known isoperimetric inequality of Harper for the hypercube, and are asymptotically sharp for a wide range of set sizes. We then use these isoperimetric properties to investigate the structure of the giant component $L_1$ in supercritical percolation on these product graphs, that is, when $p=\frac{1+ε}{d}$, where $d$ is the degree of the product graph and $ε>0$ is a small enough constant.
We show that typically $L_1$ has edge-expansion $Ω\left(\frac{1}{d\ln d}\right)$. Furthermore, we show that $L_1$ likely contains a linear-sized subgraph with vertex-expansion $Ω\left(\frac{1}{d\ln d}\right)$. These results are best possible up to the logarithmic factor in $d$.
Using these likely expansion properties, we determine, up to small polylogarithmic factors in $d$, the likely diameter of $L_1$ as well as the typical mixing time of a lazy random walk on $L_1$. Furthermore, we show the likely existence of a path of length $Ω\left(\frac{n}{d\ln d}\right)$. These results not only generalise, but also improve substantially upon the known bounds in the case of the hypercube, where in particular the likely diameter and typical mixing time of $L_1$ were previously only known to be polynomial in $d$.
△ Less
Submitted 22 January, 2024; v1 submitted 30 March, 2023;
originally announced April 2023.
-
Cliques, Chromatic Number, and Independent Sets in the Semi-random Process
Authors:
David Gamarnik,
Mihyun Kang,
Pawel Pralat
Abstract:
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to s…
▽ More
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible. In this paper, we investigate the following three properties: containing a complete graph of order $k$, having the chromatic number at least $k$, and not having an independent set of size at least $k$.
△ Less
Submitted 13 May, 2024; v1 submitted 23 March, 2023;
originally announced March 2023.
-
The $k$-XORSAT threshold revisited
Authors:
Amin Coja-Oghlan,
Mihyun Kang,
Lena Krieg,
Maurice Rolvien
Abstract:
We provide a simplified proof of the random $k$-XORSAT satisfiability threshold theorem. As an extension we also determine the full rank threshold for sparse random matrices over finite fields with precisely $k$ non-zero entries per row. This complements a result from [Ayre, Coja-Oghlan, Gao, Müller: Combinatorica 2020]. The proof combines physics-inspired message passing arguments with a surgical…
▽ More
We provide a simplified proof of the random $k$-XORSAT satisfiability threshold theorem. As an extension we also determine the full rank threshold for sparse random matrices over finite fields with precisely $k$ non-zero entries per row. This complements a result from [Ayre, Coja-Oghlan, Gao, Müller: Combinatorica 2020]. The proof combines physics-inspired message passing arguments with a surgical moment computation.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
Percolation on Irregular High-dimensional Product Graphs
Authors:
Sahar Diskin,
Joshua Erde,
Mihyun Kang,
Michael Krivelevich
Abstract:
We consider bond percolation on high-dimensional product graphs $G=\square_{i=1}^tG^{(i)}$, where $\square$ denotes the Cartesian product. We call the $G^{(i)}$ the base graphs and the product graph $G$ the host graph. Very recently, Lichev showed that, under a mild requirement on the isoperimetric properties of the base graphs, the component structure of the percolated graph $G_p$ undergoes a pha…
▽ More
We consider bond percolation on high-dimensional product graphs $G=\square_{i=1}^tG^{(i)}$, where $\square$ denotes the Cartesian product. We call the $G^{(i)}$ the base graphs and the product graph $G$ the host graph. Very recently, Lichev showed that, under a mild requirement on the isoperimetric properties of the base graphs, the component structure of the percolated graph $G_p$ undergoes a phase transition when $p$ is around $\frac{1}{d}$, where $d$ is the average degree of the host graph.
In the supercritical regime, we strengthen Lichev's result by showing that the giant component is in fact unique, with all other components of order $o(|G|)$, and determining the sharp asymptotic order of the giant. Furthermore, we answer two questions posed by Lichev: firstly, we provide a construction showing that the requirement of bounded-degree is necessary for the likely emergence of a linear order component; secondly, we show that the isoperimetric requirement on the base graphs can be, in fact, super-exponentially small in the dimension. Finally, in the subcritical regime, we give an example showing that in the case of irregular high-dimensional product graphs, there can be a polynomially large component with high probability, very much unlike the quantitative behaviour seen in the Erdős-Rényi random graph and in the percolated hypercube, and in fact in any regular high-dimensional product graphs, as shown by the authors in a companion paper.
△ Less
Submitted 26 January, 2024; v1 submitted 18 November, 2022;
originally announced November 2022.
-
Percolation on High-dimensional Product Graphs
Authors:
Sahar Diskin,
Joshua Erde,
Mihyun Kang,
Michael Krivelevich
Abstract:
We consider percolation on high-dimensional product graphs, where the base graphs are regular and of bounded order. In the subcritical regime, we show that typically the largest component is of order logarithmic in the number of vertices. In the supercritical regime, our main result recovers the sharp asymptotic of the order of the largest component, and shows that all the other components are typ…
▽ More
We consider percolation on high-dimensional product graphs, where the base graphs are regular and of bounded order. In the subcritical regime, we show that typically the largest component is of order logarithmic in the number of vertices. In the supercritical regime, our main result recovers the sharp asymptotic of the order of the largest component, and shows that all the other components are typically of order logarithmic in the number of vertices. In particular, we show that this phase transition is quantitatively similar to the one of the binomial random graph.
This generalises the results of Ajtai, Komlós, and Szemerédi and of Bollobás, Kohayakawa, and Łuczak who showed that the $d$-dimensional hypercube, which is the $d$-fold Cartesian product of an edge, undergoes a phase transition quantitatively similar to the one of the binomial random graph.
△ Less
Submitted 10 April, 2024; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Large-time behavior of composite waves of viscous shocks for the barotropic Navier-Stokes equations
Authors:
Sungho Han,
Moon-** Kang,
Jeongho Kim
Abstract:
We study the large-time behavior of the 1D barotropic Navier-Stokes flow perturbed from Riemann data generating a composition of two shock waves with small amplitudes. We prove that the perturbed Navier-Stokes flow converges, uniformly in space, towards a composition of two viscous shock waves as time goes to infinity, up to dynamical shifts. Especially, the strengths of the two waves can be chose…
▽ More
We study the large-time behavior of the 1D barotropic Navier-Stokes flow perturbed from Riemann data generating a composition of two shock waves with small amplitudes. We prove that the perturbed Navier-Stokes flow converges, uniformly in space, towards a composition of two viscous shock waves as time goes to infinity, up to dynamical shifts. Especially, the strengths of the two waves can be chosen independently. This is the first result for the convergence to a composite wave of two viscous shocks with independently small amplitudes.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Emergence of phase-locked states for a deterministic and stochastic Winfree model with inertia
Authors:
Myeongju Kang,
Marco Rehmeier
Abstract:
We study the emergence of phase-locking for Winfree oscillators under the effect of inertia. It is known that in a large coupling regime, oscillators governed by the deterministic second-order Winfree model with inertia converge to a unique equilibrium. In contrast, in this paper we show the asymptotic emergence of non-trivial synchronization in a suitably small coupling regime. Moreover, we study…
▽ More
We study the emergence of phase-locking for Winfree oscillators under the effect of inertia. It is known that in a large coupling regime, oscillators governed by the deterministic second-order Winfree model with inertia converge to a unique equilibrium. In contrast, in this paper we show the asymptotic emergence of non-trivial synchronization in a suitably small coupling regime. Moreover, we study the effect of a new stochastically perturbed Winfree system with multiplicative noise and obtain lower estimates in probability for the pathwise emergence of such a synchronizing pattern, provided the noise is sufficiently small. We also provide numerical simulations which hint at the possibility of more general and stronger analytical results.
△ Less
Submitted 27 May, 2022;
originally announced May 2022.
-
A note on the width of sparse random graphs
Authors:
Tuan Anh Do,
Joshua Erde,
Mihyun Kang
Abstract:
In this note, we consider the width of a supercritical random graph according to some commonly studied width measures. We give short, direct proofs of results of Lee, Lee and Oum, and of Perarnau and Serra, on the rank- and tree-width of the random graph $G(n,p)$ when $p= \frac{1+ε}{n}$ for $ε> 0$ constant. Our proofs avoid the use, as a black box, of a result of Benjamini, Kozma and Wormald on th…
▽ More
In this note, we consider the width of a supercritical random graph according to some commonly studied width measures. We give short, direct proofs of results of Lee, Lee and Oum, and of Perarnau and Serra, on the rank- and tree-width of the random graph $G(n,p)$ when $p= \frac{1+ε}{n}$ for $ε> 0$ constant. Our proofs avoid the use, as a black box, of a result of Benjamini, Kozma and Wormald on the expansion properties of the giant component in this regime, and so as a further benefit we obtain explicit bounds on the dependence of these results on $ε$. Finally, we also consider the width of the random graph in the weakly supercritical regime, where $ε= o(1)$ and $ε^3n \to \infty$. In this regime, we determine, up to a constant multiplicative factor, the rank- and tree-width of $G(n,p)$ as a function of $n$ and $ε$.
△ Less
Submitted 26 January, 2024; v1 submitted 12 February, 2022;
originally announced February 2022.
-
Nonperturbative gravity corrections to bulk reconstruction
Authors:
Elliott Gesteau,
Monica **woo Kang
Abstract:
We introduce a new algebraic framework for understanding nonperturbative gravitational aspects of bulk reconstruction with a finite or infinite-dimensional boundary Hilbert space. We use relative entropy equivalence between bulk and boundary with an inclusion of nonperturbative gravitational errors, which give rise to approximate recovery. We utilize the privacy/correctability correspondence to pr…
▽ More
We introduce a new algebraic framework for understanding nonperturbative gravitational aspects of bulk reconstruction with a finite or infinite-dimensional boundary Hilbert space. We use relative entropy equivalence between bulk and boundary with an inclusion of nonperturbative gravitational errors, which give rise to approximate recovery. We utilize the privacy/correctability correspondence to prove that the reconstruction wedge, the intersection of all entanglement wedges in pure and mixed states, manifestly satisfies bulk reconstruction. We explicitly demonstrate that local operators in the reconstruction wedge of a given boundary region can be recovered in a state-independent way for arbitrarily large code subspaces, up to nonperturbative errors in $G_N$. We further discuss state-dependent recovery beyond the reconstruction wedge and the use of the twirled Petz map as a universal recovery channel. We discuss our setup in the context of quantum islands and the information paradox.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
Expansion in supercritical random subgraphs of the hypercube and its consequences
Authors:
Joshua Erde,
Mihyun Kang,
Michael Krivelevich
Abstract:
It is well-known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, undergoes a phase transition when $p$ is around $\frac{1}{d}$. More precisely, standard arguments show that just below this value of $p$ all components of this graph have order $O(d)$ with probability tending to one as $d \to \infty$ (whp for short…
▽ More
It is well-known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, undergoes a phase transition when $p$ is around $\frac{1}{d}$. More precisely, standard arguments show that just below this value of $p$ all components of this graph have order $O(d)$ with probability tending to one as $d \to \infty$ (whp for short), whereas Ajtai, Komlós and Szemerédi [Largest random component of a $k$-cube, Combinatorica 2 (1982), no. 1, 1--7; MR0671140] showed that just above this value, in the supercritical regime, whp there is a unique `giant' component of order $Θ\left(2^d\right)$. We show that whp the vertex-expansion of the giant component is inverse polynomial in $d$. As a consequence we obtain polynomial in $d$ bounds on the diameter of the giant component and the mixing time of the lazy random walk on the giant component, answering questions of Bollobás, Kohayakawa and Łuczak [On the diameter and radius of random subgraphs of the cube, Random Structures and Algorithms 5 (1994), no. 5, 627--648; MR1300592] and of Pete [A note on percolation on $\mathbb{Z}^d$: isoperimetric profile via exponential cluster repulsion, Electron. Commun. Probab. 13 (2008), 377--392; MR2415145]. Furthermore, our results imply lower bounds on the circumference and Hadwiger number of a random subgraph of the hypercube in this regime of $p$ which are tight up to polynomial factors in $d$.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
A Constrained Consensus Based Optimization algorithm and its Application to Finance
Authors:
Hyeong-Ohk Bae,
Seung-Yeal Ha,
Myeongju Kang,
Hyuncheul Lim,
Chanho Min,
Jane Yoo
Abstract:
In this paper, we propose a predictor-corrector type Consensus Based Optimization (CBO) algorithm on a convex feasible set. Our proposed algorithm generalizes the CBO algorithm in [11] to tackle a constrained optimization problem for the global minima of the non-convex function defined on a convex domain. As a practical application of the proposed algorithm, we study the portfolio optimization pro…
▽ More
In this paper, we propose a predictor-corrector type Consensus Based Optimization (CBO) algorithm on a convex feasible set. Our proposed algorithm generalizes the CBO algorithm in [11] to tackle a constrained optimization problem for the global minima of the non-convex function defined on a convex domain. As a practical application of the proposed algorithm, we study the portfolio optimization problem in finance. In this application, we introduce an objective function to choose the optimal weight on each asset in a asset-bundle which yields the maximal expected returns given a certain level of risks. Simulation results show that our proposed predictor-corrector type model is successful in finding the optimal value.
△ Less
Submitted 12 October, 2021; v1 submitted 9 October, 2021;
originally announced October 2021.
-
The early evolution of the random graph process in planar graphs and related classes
Authors:
Mihyun Kang,
Michael Missethan
Abstract:
We study the random planar graph process introduced by Gerke, Schlatter, Steger, and Taraz [The random planar graph process, Random Structures Algorithms 32 (2008), no. 2, 236--261; MR2387559]: Begin with an empty graph on $n$ vertices, consider the edges of the complete graph $K_n$ one by one in a random ordering, and at each step add an edge to a current graph only if the graph remains planar. T…
▽ More
We study the random planar graph process introduced by Gerke, Schlatter, Steger, and Taraz [The random planar graph process, Random Structures Algorithms 32 (2008), no. 2, 236--261; MR2387559]: Begin with an empty graph on $n$ vertices, consider the edges of the complete graph $K_n$ one by one in a random ordering, and at each step add an edge to a current graph only if the graph remains planar. They studied the number of edges added up to step $t$ for 'large' $t=ω(n)$. In this paper we extend their results by determining the asymptotic number of edges added up to step $t$ in the early evolution of the process when $t=O(n)$. We also show that this result holds for a much more general class of graphs, including outerplanar graphs, planar graphs, and graphs on surfaces.
△ Less
Submitted 13 June, 2022; v1 submitted 5 October, 2021;
originally announced October 2021.
-
On the chromatic number of graphons
Authors:
Mikhail Isaev,
Mihyun Kang
Abstract:
We extend Bollobas' classical result on the chromatic number of a binomial random graph to the exchangeable random graph model $\mathcal{G}(n,W)$ defined by a graphon $W:[0,1]^2 \rightarrow [0,1]$, which is a symmetric measurable function. In the case when $W$ can be approximated by block graphons in $\mathcal{L}^{\infty}$-norm, we show that asymptotically optimal value of the number of colours re…
▽ More
We extend Bollobas' classical result on the chromatic number of a binomial random graph to the exchangeable random graph model $\mathcal{G}(n,W)$ defined by a graphon $W:[0,1]^2 \rightarrow [0,1]$, which is a symmetric measurable function. In the case when $W$ can be approximated by block graphons in $\mathcal{L}^{\infty}$-norm, we show that asymptotically optimal value of the number of colours required for $\mathcal{G}(n,W)$ is determined by colouring strategies that use a finite number of different types of colour classes. Furthermore, if $W$ is a block graphon with $k\times k$ blocks then $k$ types of colour classes are sufficient. We also show that if $W$ is block-increasing or block-Lipschitz then such colouring strategies that use $k$ types determine the chromatic number up to a multiplicative error of order $O(k^{-1})$.
△ Less
Submitted 11 May, 2023; v1 submitted 16 September, 2021;
originally announced September 2021.
-
On the chromatic number in the stochastic block model
Authors:
Mikhail Isaev,
Mihyun Kang
Abstract:
We prove a generalisation of Bollobás' classical result on the asymptotics of the chromatic number of the binomial random graph to the stochastic block model. In addition, by allowing the number of blocks to grow, we determine the chromatic number in the Chung-Lu model. Our approach is based on the estimates for the weighted independence number, where weights are specifically designed to encapsula…
▽ More
We prove a generalisation of Bollobás' classical result on the asymptotics of the chromatic number of the binomial random graph to the stochastic block model. In addition, by allowing the number of blocks to grow, we determine the chromatic number in the Chung-Lu model. Our approach is based on the estimates for the weighted independence number, where weights are specifically designed to encapsulate inhomogeneities of the random graph.
△ Less
Submitted 28 April, 2023; v1 submitted 2 September, 2021;
originally announced September 2021.
-
Solving incompressible Navier--Stokes equations on irregular domains and quadtrees by monolithic approach
Authors:
Hyuntae Cho,
Yesom Park,
Myungjoo Kang
Abstract:
We present a second-order monolithic method for solving incompressible Navier--Stokes equations on irregular domains with quadtree grids. A semi-collocated grid layout is adopted, where velocity variables are located at cell vertices, and pressure variables are located at cell centers. Compact finite difference methods with ghost values are used to discretize the advection and diffusion terms of t…
▽ More
We present a second-order monolithic method for solving incompressible Navier--Stokes equations on irregular domains with quadtree grids. A semi-collocated grid layout is adopted, where velocity variables are located at cell vertices, and pressure variables are located at cell centers. Compact finite difference methods with ghost values are used to discretize the advection and diffusion terms of the velocity. A pressure gradient and divergence operator on the quadtree that use compact stencils are developed. Furthermore, the proposed method is extended to cubical domains with octree grids. Numerical results demonstrate that the method is second-order convergent in $L^\infty$ norms and can handle irregular domains for various Reynolds numbers.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
The sparse parity matrix
Authors:
Amin Coja-Oghlan,
Oliver Cooley,
Mihyun Kang,
Joon Lee,
Jean Bernoulli Ravelomanana
Abstract:
Let $\mathbf{A}$ be an $n\times n$-matrix over $\mathbb{F}_2$ whose every entry equals $1$ with probability $d/n$ independently for a fixed $d>0$. Draw a vector $\mathbf{y}$ randomly from the column space of $\mathbf{A}$. It is a simple observation that the entries of a random solution $\mathbf{x}$ to $\mathbf{A} x=\mathbf{y}$ are asymptotically pairwise independent, i.e.,…
▽ More
Let $\mathbf{A}$ be an $n\times n$-matrix over $\mathbb{F}_2$ whose every entry equals $1$ with probability $d/n$ independently for a fixed $d>0$. Draw a vector $\mathbf{y}$ randomly from the column space of $\mathbf{A}$. It is a simple observation that the entries of a random solution $\mathbf{x}$ to $\mathbf{A} x=\mathbf{y}$ are asymptotically pairwise independent, i.e., $\sum_{i<j}\mathbb{E}|\mathbb{P}[\mathbf{x}_i=s,\,\mathbf{x}_j=t\mid\mathbf{A}]-\mathbb{P}[\mathbf{x}_i=s\mid\mathbf{A}]\mathbb{P}[\mathbf{x}_j=t\mid\mathbf{A}]|=o(n^2)$ for $s,t\in\mathbb{F}_2$. But what can we say about the {\em overlap} of two random solutions $\mathbf{x},\mathbf{x}'$, defined as $n^{-1}\sum_{i=1}^n\mathbf{1}\{\mathbf{x}_i=\mathbf{x}_i'\}$? We prove that for $d<\mathrm{e}$ the overlap concentrates on a single deterministic value $α_*(d)$. By contrast, for $d>\mathrm{e}$ the overlap concentrates on a single value once we condition on the matrix $\mathbf{A}$, while over the probability space of $\mathbf{A}$ its conditional expectation vacillates between two different values $α_*(d)<α^*(d)$, either of which occurs with probability $1/2+o(1)$. This bifurcated non-concentration result provides an instructive contribution to both the theory of random constraint satisfaction problems and of inference problems on random structures.
△ Less
Submitted 7 September, 2023; v1 submitted 13 July, 2021;
originally announced July 2021.
-
Expansion, long cycles, and complete minors in supercritical random subgraphs of the hypercube
Authors:
Joshua Erde,
Mihyun Kang,
Michael Krivelevich
Abstract:
Analogous to the case of the binomial random graph $G(d+1,p)$, it is known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, which we denote by $Q^d_p$, undergoes a phase transition around the critical value of $p=\frac{1}{d}$. More precisely, standard arguments show that significantly below this value of $p$, wit…
▽ More
Analogous to the case of the binomial random graph $G(d+1,p)$, it is known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, which we denote by $Q^d_p$, undergoes a phase transition around the critical value of $p=\frac{1}{d}$. More precisely, standard arguments show that significantly below this value of $p$, with probability tending to one as $d \to \infty$ (whp for short) all components of this graph have order $O(d)$, whereas Ajtai, Komlós and Szemerédi showed that significantly above this value, in the \emph{supercritical regime}, whp there is a unique `giant' component of order $Θ\left(2^d\right)$. In $G(d+1,p)$ much more is known about the complex structure of the random graph which emerges in this supercritical regime. For example, it is known that in this regime whp $G(d+1,p)$ contains paths and cycles of length $Ω(d)$, as well as complete minors of order $Ω\left(\sqrt{d}\right)$. In this paper we obtain analogous results in $Q^d_p$. In particular, we show that for supercritical $p$, i.e., when $p=\frac{1+ε}{d}$ for a positive constant $ε$, whp $Q^d_p$ contains a cycle of length $Ω\left(\frac{2^d}{d^3(\log d)^3} \right)$ and a complete minor of order $Ω\left(\frac{2^{\frac{d}{2}}}{d^3(\log d)^3 }\right)$. In order to prove these results, we show that whp the largest component of $Q^d_p$ has good edge-expansion properties, a result of independent interest. We also consider the genus of $Q^d_p$ and show that, in this regime of $p$, whp the genus is $Ω\left(2^d\right)$.
△ Less
Submitted 1 December, 2021; v1 submitted 8 June, 2021;
originally announced June 2021.
-
Component behaviour and excess of random bipartite graphs near the critical point
Authors:
Tuan Anh Do,
Joshua Erde,
Mihyun Kang,
Michael Missethan
Abstract:
The binomial random bipartite graph $G(n,n,p)$ is the random graph formed by taking two partition classes of size $n$ and including each edge between them independently with probability $p$. It is known that this model exhibits a similar phase transition as that of the binomial random graph $G(n,p)$ as $p$ passes the critical point of $\frac{1}{n}$. We study the component structure of this model n…
▽ More
The binomial random bipartite graph $G(n,n,p)$ is the random graph formed by taking two partition classes of size $n$ and including each edge between them independently with probability $p$. It is known that this model exhibits a similar phase transition as that of the binomial random graph $G(n,p)$ as $p$ passes the critical point of $\frac{1}{n}$. We study the component structure of this model near to the critical point. We show that, as with $G(n,p)$, for an appropriate range of $p$ there is a unique `giant' component and we determine asymptotically its order and excess. We also give more precise results for the distribution of the number of components of a fixed order in this range of $p$. These results rely on new bounds for the number of bipartite graphs with a fixed number of vertices and edges, which we also derive.
△ Less
Submitted 29 June, 2023; v1 submitted 31 May, 2021;
originally announced May 2021.
-
Concentration of maximum degree in random planar graphs
Authors:
Mihyun Kang,
Michael Missethan
Abstract:
Let $P(n,m)$ be a graph chosen uniformly at random from the class of all planar graphs on vertex set $[n]:=\left\{1, \ldots, n\right\}$ with $m=m(n)$ edges. We show that in the sparse regime, when $m/n\leq 1$, with high probability the maximum degree of $P(n,m)$ takes at most two different values. In contrast, this is not true anymore in the dense regime, when $m/n>1$, where the maximum degree of…
▽ More
Let $P(n,m)$ be a graph chosen uniformly at random from the class of all planar graphs on vertex set $[n]:=\left\{1, \ldots, n\right\}$ with $m=m(n)$ edges. We show that in the sparse regime, when $m/n\leq 1$, with high probability the maximum degree of $P(n,m)$ takes at most two different values. In contrast, this is not true anymore in the dense regime, when $m/n>1$, where the maximum degree of $P(n,m)$ is not concentrated on any subset of $[n]$ with bounded size.
△ Less
Submitted 10 May, 2022; v1 submitted 30 April, 2021;
originally announced April 2021.
-
Time-asymptotic stability of composite waves of viscous shock and rarefaction for barotropic Navier-Stokes equations
Authors:
Moon-** Kang,
Alexis F. Vasseur,
Yi Wang
Abstract:
We prove the time-asymptotic stability of composite waves consisting of the superposition of a viscous shock and a rarefaction for the one-dimensional compressible barotropic Navier-Stokes equations. Our result solves a long-standing problem first mentioned in 1986 by Matsumura and Nishihara in [25]. The same authors introduced it officially as an open problem in 1992 in [26] and it was again desc…
▽ More
We prove the time-asymptotic stability of composite waves consisting of the superposition of a viscous shock and a rarefaction for the one-dimensional compressible barotropic Navier-Stokes equations. Our result solves a long-standing problem first mentioned in 1986 by Matsumura and Nishihara in [25]. The same authors introduced it officially as an open problem in 1992 in [26] and it was again described as very challenging open problem in 2018 in the survey paper [23]. The main difficulty is due to the incompatibility of the standard anti-derivative method, used to study the stability of viscous shocks, and the energy method used for the stability of rarefactions. Instead of the anti-derivative method, our proof uses the $a$-contraction with shifts theory recently developed by two of the authors. This method is energy based, and can seamlessly handle the superposition of waves of different kinds.
△ Less
Submitted 14 October, 2021; v1 submitted 13 April, 2021;
originally announced April 2021.
-
On a generalized Kuramoto model with relativistic effects and emergent dynamics
Authors:
Chan Ho Min,
Hyun** Ahn,
Seung-Yeal Ha,
Myeongju Kang
Abstract:
We propose a generalized Kuramoto model with relativistic effects and investigate emergent asymptotic behaviors. The proposed generalized Kuramoto model incorporates relativistic Kuramoto(RK) type models which can be derived from the relativistic Cucker-Smale (RCS) on the unit sphere under suitable approximations. We present several sufficient frameworks leading to complete synchronization in term…
▽ More
We propose a generalized Kuramoto model with relativistic effects and investigate emergent asymptotic behaviors. The proposed generalized Kuramoto model incorporates relativistic Kuramoto(RK) type models which can be derived from the relativistic Cucker-Smale (RCS) on the unit sphere under suitable approximations. We present several sufficient frameworks leading to complete synchronization in terms of initial data and system parameters. For the relativistic Kuramoto model, we show that it can be reduced to the Kuramoto model in any finite time interval in a non-relativistic limit. We also provide several numerical examples for two approximations of the relativistic Kuramoto model, and compare them with analytical results.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
On a question of Vera T. Sós about size forcing of graphons
Authors:
Oliver Cooley,
Mihyun Kang,
Oleg Pikhurko
Abstract:
The $k$-sample $\mathbb{G}(k,W)$ from a graphon $W:[0,1]^2\to [0,1]$ is the random graph on $\{1,\dots,k\}$, where we sample $x_1,\dots,x_k\in [0,1]$ uniformly at random and make each pair $\{i,j\}\subseteq \{1,\dots,k\}$ an edge with probability $W(x_i,x_j)$, with all these choices being mutually independent. Let the random variable $X_k(W)$ be the number of edges in $\mathbb{G}(k,W)$.
Vera T.…
▽ More
The $k$-sample $\mathbb{G}(k,W)$ from a graphon $W:[0,1]^2\to [0,1]$ is the random graph on $\{1,\dots,k\}$, where we sample $x_1,\dots,x_k\in [0,1]$ uniformly at random and make each pair $\{i,j\}\subseteq \{1,\dots,k\}$ an edge with probability $W(x_i,x_j)$, with all these choices being mutually independent. Let the random variable $X_k(W)$ be the number of edges in $\mathbb{G}(k,W)$.
Vera T. Sós asked in 2012 whether two graphons $U,W$ are necessarily weakly isomorphic if the random variables $X_k(U)$ and $X_k(W)$ have the same distribution for every integer $k\ge 2$. This question when one of the graphons $W$ is a constant function was answered positively by Endre Csóka and independently by Jacob Fox, Tomasz Łuczak and Vera T. Sós. Here we investigate the question when $W$ is a 2-step graphon and prove that the answer is positive for a 3-dimensional family of such graphons.
We also present some related results.
△ Less
Submitted 25 July, 2022; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Warning Propagation on random graphs
Authors:
Amin Coja-Oghlan,
Oliver Cooley,
Mihyun Kang,
Joon Lee,
Jean B. Ravelomanana
Abstract:
Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$-core of a random graph. Here we analyse Warning Propagation in full generality on the binomial rando…
▽ More
Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$-core of a random graph. Here we analyse Warning Propagation in full generality on the binomial random graph. We prove that under a mild stability assumption Warning Propagation converges rapidly. In effect, the analysis of the fixed point of the message passing process on a random graph reduces to analysing the process on a Galton-Watson tree. This result corroborates and generalises a heuristic first put forward by Pittel, Spencer and Wormald in their seminal $k$-core paper (JCTB 1996).
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
Local limit of sparse random planar graphs
Authors:
Mihyun Kang,
Michael Missethan
Abstract:
Let $P(n,m)$ be a graph chosen uniformly at random from the class of all planar graphs on vertex set $\left\{1, \ldots, n\right\}$ with $m=m(n)$ edges. We determine the (Benjamini-Schramm) local weak limit of $P(n,m)$ in the sparse regime when $m\leq n+o\left(n\left(\log n\right)^{-2/3}\right)$. Assuming that the average degree $2m/n$ tends to a constant $c\in[0,2]$ the local weak limit of…
▽ More
Let $P(n,m)$ be a graph chosen uniformly at random from the class of all planar graphs on vertex set $\left\{1, \ldots, n\right\}$ with $m=m(n)$ edges. We determine the (Benjamini-Schramm) local weak limit of $P(n,m)$ in the sparse regime when $m\leq n+o\left(n\left(\log n\right)^{-2/3}\right)$. Assuming that the average degree $2m/n$ tends to a constant $c\in[0,2]$ the local weak limit of $P(n,m)$ is a Galton-Watson tree with offspring distribution $Po(c)$ if $c\leq 1$, while it is the Skeleton tree if $c=2$. Furthermore, there is a smooth transition between these two cases in the sense that the local weak limit of $P(n,m)$ is a linear combination of a Galton-Watson tree and the Skeleton tree if $c\in\left(1,2\right)$.
△ Less
Submitted 28 January, 2021;
originally announced January 2021.
-
Loose cores and cycles in random hypergraphs
Authors:
Oliver Cooley,
Mihyun Kang,
Julian Zalla
Abstract:
Inspired by the study of loose cycles in hypergraphs, we define the \emph{loose core} in hypergraphs as a structure which mirrors the close relationship between cycles and $2$-cores in graphs. We prove that in the $r$-uniform binomial random hypergraph $H^r(n,p)$, the order of the loose core undergoes a phase transition at a certain critical threshold and determine this order, as well as the numbe…
▽ More
Inspired by the study of loose cycles in hypergraphs, we define the \emph{loose core} in hypergraphs as a structure which mirrors the close relationship between cycles and $2$-cores in graphs. We prove that in the $r$-uniform binomial random hypergraph $H^r(n,p)$, the order of the loose core undergoes a phase transition at a certain critical threshold and determine this order, as well as the number of edges, asymptotically in the subcritical and supercritical regimes.
Our main tool is an algorithm called CoreConstruct, which enables us to analyse a peeling process for the loose core. By analysing this algorithm we determine the asymptotic degree distribution of vertices in the loose core and in particular how many vertices and edges the loose core contains. As a corollary we obtain an improved upper bound on the length of the longest loose cycle in $H^r(n,p)$.
△ Less
Submitted 13 January, 2021;
originally announced January 2021.
-
Emergent behaviors of high-dimensional Kuramoto models on Stiefel manifolds
Authors:
Seung-Yeal Ha,
Myeongju Kang,
Dohyun Kim
Abstract:
We study emergent asymptotic dynamics for the first and second-order high-dimensional Kuramoto models on Stiefel manifolds which extend the previous consensus models on Riemannian manifolds including several matrix Lie groups. For the first-order consensus model on the Stiefel manifold proposed in [Markdahl et al, 2018], we show that the homogeneous ensemble relaxes the complete consensus state ex…
▽ More
We study emergent asymptotic dynamics for the first and second-order high-dimensional Kuramoto models on Stiefel manifolds which extend the previous consensus models on Riemannian manifolds including several matrix Lie groups. For the first-order consensus model on the Stiefel manifold proposed in [Markdahl et al, 2018], we show that the homogeneous ensemble relaxes the complete consensus state exponentially fast. On the other hand for a heterogeneous ensemble, we provide a sufficient condition leading to the phase-locked state in which relative distances between two states converge to definite values in a large coupling strength regime. We also propose a second-order extension of the first-order one by adding an inertial effect, and study emergent behaviors using Lyapunov functionals such as an energy functional and an averaged distance functional.
△ Less
Submitted 12 January, 2021;
originally announced January 2021.
-
Matter representations from geometry: under the spell of Dynkin
Authors:
Mboyo Esole,
Monica **woo Kang
Abstract:
In the traditional Katz-Vafa method, matter representations are determined by decomposing the adjoint representation of a parent simple Lie algebra $\mathfrak{m}$ as the direct sum of irreducible representations of a semisimple subalgebra $\mathfrak{g}$. The Katz-Vafa method becomes ambiguous as soon as $\mathfrak{m}$ contains several subalgebras isomorphic to $\mathfrak{g}$ but giving different d…
▽ More
In the traditional Katz-Vafa method, matter representations are determined by decomposing the adjoint representation of a parent simple Lie algebra $\mathfrak{m}$ as the direct sum of irreducible representations of a semisimple subalgebra $\mathfrak{g}$. The Katz-Vafa method becomes ambiguous as soon as $\mathfrak{m}$ contains several subalgebras isomorphic to $\mathfrak{g}$ but giving different decompositions of the adjoint representation. We propose a selection rule that characterizes the matter representations observed in generic constructions in F-theory and M-theory: the matter representations in generic F-theory compactifications correspond to linear equivalence classes of subalgebras $\mathfrak{g}\subset \mathfrak{m}$ with Dynkin index one along each simple components of $\mathfrak{g}$. This simple yet elegant selection rule allows us to apply the Katz-Vafa method to a much large class of models. We illustrate on numerous examples how this proposal streamlines the derivation of matter representations in F-theory and resolves previously ambiguous cases.
△ Less
Submitted 24 December, 2020;
originally announced December 2020.