-
Random walk in slowly changing environments
Authors:
Bryan Park,
Souvik Ray
Abstract:
A Random Walk in Changing Environment (RWCE) is a weighted random walk on a locally finite, connected graph $G$ with random, time-dependent edge-weights. This includes self-interacting random walks, where the edge-weights depend on the history of the process. In general, even the basic question of recurrence or transience for RWCEs is difficult, especially when the underlying graph contains cycles…
▽ More
A Random Walk in Changing Environment (RWCE) is a weighted random walk on a locally finite, connected graph $G$ with random, time-dependent edge-weights. This includes self-interacting random walks, where the edge-weights depend on the history of the process. In general, even the basic question of recurrence or transience for RWCEs is difficult, especially when the underlying graph contains cycles. In this note, we derive a condition for recurrence or transience that is too restrictive for classical RWCEs but instead works for any graph $G.$ Namely, we show that any bounded RWCE on $G$ with "slowly" changing edge-weights inherits the recurrence or transience of the initial weighted graph.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Exotic definite four-manifolds with non-cyclic fundamental group
Authors:
Robert Harris,
Patrick Naylor,
B. Doug Park
Abstract:
We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.
We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Grou** predictors via network-wide metrics
Authors:
Brandon Woosuk Park,
Anand N. Vidyashankar,
Tucker S. McElroy
Abstract:
When multitudes of features can plausibly be associated with a response, both privacy considerations and model parsimony suggest grou** them to increase the predictive power of a regression model. Specifically, the identification of groups of predictors significantly associated with the response variable eases further downstream analysis and decision-making. This paper proposes a new data analys…
▽ More
When multitudes of features can plausibly be associated with a response, both privacy considerations and model parsimony suggest grou** them to increase the predictive power of a regression model. Specifically, the identification of groups of predictors significantly associated with the response variable eases further downstream analysis and decision-making. This paper proposes a new data analysis methodology that utilizes the high-dimensional predictor space to construct an implicit network with weighted edges %and weights on the edges to identify significant associations between the response and the predictors. Using a population model for groups of predictors defined via network-wide metrics, a new supervised grou** algorithm is proposed to determine the correct group, with probability tending to one as the sample size diverges to infinity. For this reason, we establish several theoretical properties of the estimates of network-wide metrics. A novel model-assisted bootstrap procedure that substantially decreases computational complexity is developed, facilitating the assessment of uncertainty in the estimates of network-wide metrics. The proposed methods account for several challenges that arise in the high-dimensional data setting, including (i) a large number of predictors, (ii) uncertainty regarding the true statistical model, and (iii) model selection variability. The performance of the proposed methods is demonstrated through numerical experiments, data from sports analytics, and breast cancer data.
△ Less
Submitted 4 May, 2024;
originally announced May 2024.
-
Sharp Maximal function estimates for Multilinear pseudo-differential operators of type (0,0)
Authors:
Bae Jun Park,
Naohito Tomita
Abstract:
In this paper, we study sharp maximal function estimates for multilinear pseudo-differential operators. Our target is operators of type (0, 0) for which a differentiation does not make any decay of the associated symbol. Analogous results for operators of type (ρ, ρ), 0 < ρ< 1, appeared in an earlier work of the authors, but a different approach is given for ρ= 0
In this paper, we study sharp maximal function estimates for multilinear pseudo-differential operators. Our target is operators of type (0, 0) for which a differentiation does not make any decay of the associated symbol. Analogous results for operators of type (ρ, ρ), 0 < ρ< 1, appeared in an earlier work of the authors, but a different approach is given for ρ= 0
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Boundedness criteria for bilinear Fourier multipliers via shifted square function estimates
Authors:
Georgios Dosidis,
Bae Jun Park,
Lenka Slavikova
Abstract:
We prove a sharp criterion for the boundedness of bilinear Fourier multiplier operators associated with symbols obtained by summing all dyadic dilations of a given bounded function $m_0$ compactly supported away from the origin. Our result admits the best possible behavior with respect to a modulation of the function $m_0$ and is intimately connected with optimal bounds for the family of shifted s…
▽ More
We prove a sharp criterion for the boundedness of bilinear Fourier multiplier operators associated with symbols obtained by summing all dyadic dilations of a given bounded function $m_0$ compactly supported away from the origin. Our result admits the best possible behavior with respect to a modulation of the function $m_0$ and is intimately connected with optimal bounds for the family of shifted square functions. As an application, we obtain estimates for bilinear singular integral operators with rough homogeneous kernels whose restriction to the unit sphere belongs to the Orlicz space $L(\log L)^α$. This improves an earlier result of the first and third authors, where such estimates were established for rough kernels belonging to the space $L^q$, $q>1$, on the unit sphere.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Monochromatic $k$-connection of graphs
Authors:
Qingqiong Cai,
Shinya Fujita,
Henry Liu,
Boram Park
Abstract:
An edge-coloured path is monochromatic if all of its edges have the same colour. For a $k$-connected graph $G$, the monochromatic $k$-connection number of $G$, denoted by $mc_k(G)$, is the maximum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by $k$ internally vertex-disjoint monochromatic paths. In this paper, we shall study the parameter $mc_k(G)$. We ob…
▽ More
An edge-coloured path is monochromatic if all of its edges have the same colour. For a $k$-connected graph $G$, the monochromatic $k$-connection number of $G$, denoted by $mc_k(G)$, is the maximum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by $k$ internally vertex-disjoint monochromatic paths. In this paper, we shall study the parameter $mc_k(G)$. We obtain bounds for $mc_k(G)$, for general graphs $G$. We also compute $mc_k(G)$ exactly when $k$ is small, and $G$ is a graph on $n$ vertices, with a spanning $k$-connected subgraph having the minimum possible number of edges, namely $\lceil\frac{kn}{2}\rceil$. We prove a similar result when $G$ is a bipartite graph.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Vector-valued estimates for shifted operators
Authors:
Bae Jun Park
Abstract:
Shifted variants of (dyadic) Hardy-Littlewood maximal function and Stein's square function have played a significant role in the study of many important operators such as Calderon commutators, (bilinear) Hilbert transforms, multilinear multipliers, and multilinear rough singular integrals. Estimates for such shifted operators have a certain logarithmic growth in terms of the shift factor, but the…
▽ More
Shifted variants of (dyadic) Hardy-Littlewood maximal function and Stein's square function have played a significant role in the study of many important operators such as Calderon commutators, (bilinear) Hilbert transforms, multilinear multipliers, and multilinear rough singular integrals. Estimates for such shifted operators have a certain logarithmic growth in terms of the shift factor, but the optimality of the logarithmic growth has not yet been fully resolved. In this article, we provide sharp vector-valued shifted maximal inequality for generalized Peetre's maximal function, from which improved estimates for the above shifted operators follow with optimal logarithmic growths in a new way. We also obtain a vector-valued maximal inequality for the shifted (dyadic) Hardy-Littlewood maximal operator.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
Strong odd coloring of sparse graphs
Authors:
Hyemin Kwon,
Boram Park
Abstract:
An odd coloring of a graph $G$ is a proper coloring of $G$ such that for every non-isolated vertex $v$, there is a color appearing an odd number of times in $N_G(v)$. Odd coloring of graphs was studied intensively in recent few years. In this paper, we introduce the notion of a strong odd coloring, as not only a strengthened version of odd coloring, but also a relaxation of square coloring. A stro…
▽ More
An odd coloring of a graph $G$ is a proper coloring of $G$ such that for every non-isolated vertex $v$, there is a color appearing an odd number of times in $N_G(v)$. Odd coloring of graphs was studied intensively in recent few years. In this paper, we introduce the notion of a strong odd coloring, as not only a strengthened version of odd coloring, but also a relaxation of square coloring. A strong odd coloring of a graph $G$ is a proper coloring of $G$ such that for every non-isolated vertex $v$, if a color appears in $N_G(v)$, then it appears an odd number of times in $N_G(v)$. We denote by $χ_{so}(G)$ the smallest integer $k$ such that $G$ admits a strong odd coloring with $k$ colors. We prove that if $G$ is a graph with $mad(G)\le\frac{20}{7}$, then $χ_{so}(G)\le Δ(G)+4$, and the bound is tight. We also prove that if $G$ is a graph with $mad(G)\le\frac{30}{11}$ and $Δ(G)\ge 4$, then $χ_{so}(G)\le Δ(G)+3$.
△ Less
Submitted 22 January, 2024; v1 submitted 21 January, 2024;
originally announced January 2024.
-
A graph-theoretic remark on Stieltjes moment sequences
Authors:
Bryan Park
Abstract:
For any integer $k\geq 1,$ define $L_k: \mathbb{R}^\mathbb{N}\to \mathbb{R}^\mathbb{N}$ by $(a_n)_{n\in\mathbb{N}}\mapsto (a'_n)_{n\in\mathbb{N}}$ where $a'_n=\det(a_{n+i+j})_{i,j=0}^{k-1}$. Previously, Zhu showed that $L_k$ preserves the Stieltjes moment (SM) property of sequences (Proc. Am. Math. Soc., 2019). The proof used the characterization of SM sequences in terms of positive semidefinite H…
▽ More
For any integer $k\geq 1,$ define $L_k: \mathbb{R}^\mathbb{N}\to \mathbb{R}^\mathbb{N}$ by $(a_n)_{n\in\mathbb{N}}\mapsto (a'_n)_{n\in\mathbb{N}}$ where $a'_n=\det(a_{n+i+j})_{i,j=0}^{k-1}$. Previously, Zhu showed that $L_k$ preserves the Stieltjes moment (SM) property of sequences (Proc. Am. Math. Soc., 2019). The proof used the characterization of SM sequences in terms of positive semidefinite Hankel matrices. In this note, we give another proof by viewing SM sequences as weighted enumerations of closed walks on $\mathbb{N}$. Our proof is essentially a double-counting argument that views a $k$-tuple of non-crossing Dyck paths as a single closed walk on some bipartite subgraph of $\mathbb{N}^k.$
△ Less
Submitted 5 June, 2024; v1 submitted 24 November, 2023;
originally announced November 2023.
-
Sharp maximal function estimates for linear and multilinear pseudo-differential operators
Authors:
Bae Jun Park,
Naohito Tomita
Abstract:
In this paper, we study pointwise estimates for linear and multilinear pseudo-differential operators with exotic symbols in terms of the Fefferman-Stein sharp maximal function and Hardy-Littlewood type maximal function. Especially in the multilinear case, we use a multi-sublinear variant of the classical Hardy-Littlewood maximal function introduced by Lerner, Ombrosi, Pérez, Torres, and Trujillo-G…
▽ More
In this paper, we study pointwise estimates for linear and multilinear pseudo-differential operators with exotic symbols in terms of the Fefferman-Stein sharp maximal function and Hardy-Littlewood type maximal function. Especially in the multilinear case, we use a multi-sublinear variant of the classical Hardy-Littlewood maximal function introduced by Lerner, Ombrosi, Pérez, Torres, and Trujillo-González, which provides more elaborate and natural weighted estimates in the multilinear setting.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
Generalization of the Thistlethwaite--Tsvietkova Method
Authors:
Alice Kwon,
Byungdo Park,
Ying Hong Tham
Abstract:
In work by Thistlethwaite and Tsvietkova, an alternative method for solving for the hyperbolic structure of the complement of a link in the 3-sphere is developed. We generalize this method to other classes of links, in particular links in the thickened torus and fully augmented links.
In work by Thistlethwaite and Tsvietkova, an alternative method for solving for the hyperbolic structure of the complement of a link in the 3-sphere is developed. We generalize this method to other classes of links, in particular links in the thickened torus and fully augmented links.
△ Less
Submitted 17 October, 2023; v1 submitted 3 September, 2023;
originally announced September 2023.
-
A simple proof of the non-uniform Kahn-Kalai conjecture
Authors:
Bryan Park,
Jan Vondrák
Abstract:
We revisit the Kahn-Kalai conjecture, recently proved in striking fashion by Park and Pham, and present a slightly reformulated simple proof which has a few advantages: (1) it works for non-uniform product measures, (2) it gives near-optimal bounds even for sampling probabilities close to 1, (3) it gives a clean bound of $p_c \leq 4q_c \log_2 (7\ell)$ for every $\ell$-bounded set system,…
▽ More
We revisit the Kahn-Kalai conjecture, recently proved in striking fashion by Park and Pham, and present a slightly reformulated simple proof which has a few advantages: (1) it works for non-uniform product measures, (2) it gives near-optimal bounds even for sampling probabilities close to 1, (3) it gives a clean bound of $p_c \leq 4q_c \log_2 (7\ell)$ for every $\ell$-bounded set system, $\ell\geq 1$.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
A sharp Hörmander estimate for multi-parameter and multi-linear Fourier multiplier operators
Authors:
Jiao Chen,
Danqing He,
Guozhen Lu,
Bae Jun Park,
Lu Zhang
Abstract:
In this paper, we investigate the Hörmander type theorems for the multi-linear and multi-parameter Fourier multipliers. When the multipliers are characterized by $L^u$-based Sobolev norms for $1<u\le 2$ , our results on the smoothness assumptions are sharp in the multi-parameter and bilinear case. In the multi-parameter and multi-linear case, our results are almost sharp. Moreover, even in the one…
▽ More
In this paper, we investigate the Hörmander type theorems for the multi-linear and multi-parameter Fourier multipliers. When the multipliers are characterized by $L^u$-based Sobolev norms for $1<u\le 2$ , our results on the smoothness assumptions are sharp in the multi-parameter and bilinear case. In the multi-parameter and multi-linear case, our results are almost sharp. Moreover, even in the one-parameter and multi-linear case, our results improve earlier ones in the literature.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Brooks-type theorems for relaxations of square colorings
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Hyemin Kwon,
Boram Park
Abstract:
The following relaxation of proper coloring the square of a graph was recently introduced: for a positive integer $h$, the proper $h$-conflict-free chromatic number of a graph $G$, denoted $χ_{pcf}^h(G)$, is the minimum $k$ such that $G$ has a proper $k$-coloring where every vertex $v$ has $\min\{deg_G(v),h\}$ colors appearing exactly once on its neighborhood. Caro, Petruševski, and Škrekovski put…
▽ More
The following relaxation of proper coloring the square of a graph was recently introduced: for a positive integer $h$, the proper $h$-conflict-free chromatic number of a graph $G$, denoted $χ_{pcf}^h(G)$, is the minimum $k$ such that $G$ has a proper $k$-coloring where every vertex $v$ has $\min\{deg_G(v),h\}$ colors appearing exactly once on its neighborhood. Caro, Petruševski, and Škrekovski put forth a Brooks-type conjecture: if $G$ is a graph with $Δ(G)\ge 3$, then $χ_{pcf}^1(G)\leq Δ(G)+1$. The best known result regarding the conjecture is $χ_{pcf}^1(G)\leq 2Δ(G)+1$, which is implied by a result of Pach and Tardos. We improve upon the aforementioned result for all $h$, and also enlarge the class of graphs for which the conjecture is known to be true.
Our main result is the following: for a graph $G$, if $Δ(G) \ge h+2$, then $χ_{pcf}^h(G)\le (h+1)Δ(G)-1$; this is tight up to the additive term as we explicitly construct infinitely many graphs $G$ with $χ_{pcf}^h(G)=(h+1)(Δ(G)-1)$. We also show that the conjecture is true for chordal graphs, and obtain partial results for quasi-line graphs and claw-free graphs. Our main result also improves upon a Brooks-type result for $h$-dynamic coloring.
△ Less
Submitted 17 April, 2024; v1 submitted 13 February, 2023;
originally announced February 2023.
-
Exponential Concentration for Geometric-Median-of-Means in Non-Positive Curvature Spaces
Authors:
Ho Yun,
Byeong U. Park
Abstract:
In Euclidean spaces, the empirical mean vector as an estimator of the population mean is known to have polynomial concentration unless a strong tail assumption is imposed on the underlying probability measure. The idea of median-of-means tournament has been considered as a way of overcoming the sub-optimality of the empirical mean vector. In this paper, to address the sub-optimal performance of th…
▽ More
In Euclidean spaces, the empirical mean vector as an estimator of the population mean is known to have polynomial concentration unless a strong tail assumption is imposed on the underlying probability measure. The idea of median-of-means tournament has been considered as a way of overcoming the sub-optimality of the empirical mean vector. In this paper, to address the sub-optimal performance of the empirical mean in a more general setting, we consider general Polish spaces with a general metric, which are allowed to be non-compact and of infinite-dimension. We discuss the estimation of the associated population Frechet mean, and for this we extend the existing notion of median-of-means to this general setting. We devise several new notions and inequalities associated with the geometry of the underlying metric, and using them we study the concentration properties of the extended notions of median-of-means as the estimators of the population Frechet mean. We show that the new estimators achieve exponential concentration under only a second moment condition on the underlying distribution, while the empirical Frechet mean has polynomial concentration. We focus our study on spaces with non-positive Alexandrov curvature since they afford slower rates of convergence than spaces with positive curvature. We note that this is the first work that derives non-asymptotic concentration inequalities for extended notions of the median-of-means in non-vector spaces with a general metric.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
Multilinear rough singular integral operators
Authors:
Loukas Grafakos,
Danqing He,
Petr Honzik,
Bae Jun Park
Abstract:
We study $m$-linear homogeneous rough singular integral operators $\mathcal{L}_Ω$ associated with integrable functions $Ω$ on $\mathbb{S}^{mn-1}$ with mean value zero. We prove boundedness for $\mathcal{L}_Ω$ from $L^{p_1}\times \cdots \times L^{p_m}$ to $L^p$ when $1<p_1,\dots, p_m<\infty$ and $1/p=1/p_1+\cdots +1/p_m$ in the largest possible open set of exponents when…
▽ More
We study $m$-linear homogeneous rough singular integral operators $\mathcal{L}_Ω$ associated with integrable functions $Ω$ on $\mathbb{S}^{mn-1}$ with mean value zero. We prove boundedness for $\mathcal{L}_Ω$ from $L^{p_1}\times \cdots \times L^{p_m}$ to $L^p$ when $1<p_1,\dots, p_m<\infty$ and $1/p=1/p_1+\cdots +1/p_m$ in the largest possible open set of exponents when $Ω\in L^q(\mathbb S^{mn-1})$ and $q\ge 2$. This set can be described by a convex polyhedron in $\mathbb R^m$.
△ Less
Submitted 2 July, 2022;
originally announced July 2022.
-
Proper conflict-free coloring of sparse graphs
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Hyemin Kwon,
Boram Park
Abstract:
A {\it proper conflict-free $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing exactly once on its neighborhood. This notion was formally introduced by Fabrici et al., who proved that planar graphs have a proper conflict-free 8-coloring and constructed a planar graph with no proper conflict-free 5-coloring. Caro, Petruševski, and Škrekovski i…
▽ More
A {\it proper conflict-free $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing exactly once on its neighborhood. This notion was formally introduced by Fabrici et al., who proved that planar graphs have a proper conflict-free 8-coloring and constructed a planar graph with no proper conflict-free 5-coloring. Caro, Petruševski, and Škrekovski investigated this coloring concept further, and in particular studied upper bounds on the maximum average degree that guarantees a proper conflict-free $c$-coloring for $c\in\{4,5,6\}$.
Along these lines, we completely determine the threshold on the maximum average degree of a graph $G$, denoted $mad(G)$, that guarantees a proper conflict-free $c$-coloring for all $c$ and also provide tightness examples. Namely, for $c\geq 5$ we prove that a graph $G$ with $mad(G)\leq \frac{4c}{c+2}$ has a proper conflict-free $c$-coloring, unless $G$ contains a $1$-subdivision of the complete graph on $c+1$ vertices. When $c=4$, we show that a graph $G$ with $mad(G)<\frac{12}{5}$ has a proper conflict-free $4$-coloring, unless $G$ contains an induced $5$-cycle. In addition, we show that a planar graph with girth at least 5 has a proper conflict-free $7$-coloring.
△ Less
Submitted 11 April, 2022; v1 submitted 30 March, 2022;
originally announced March 2022.
-
On the boundedness of multilinear Fourier multipliers on Hardy spaces
Authors:
** Bong Lee,
Bae Jun Park
Abstract:
In this paper, we study multilinear Fourier multiplier operators on Hardy spaces. In particular, we prove that the multilinear Fourier multiplier operator of Hörmander type is bounded from $H^{p_1} \times \cdots \times H^{p_m}$ to $H^p$ for $0<p_1,\dots,p_m\le 1$ with $1/p_1 + \cdots 1/p_m = 1/p$, under suitable cancellation conditions. As a result, we extend the trilinear estimates of the authors…
▽ More
In this paper, we study multilinear Fourier multiplier operators on Hardy spaces. In particular, we prove that the multilinear Fourier multiplier operator of Hörmander type is bounded from $H^{p_1} \times \cdots \times H^{p_m}$ to $H^p$ for $0<p_1,\dots,p_m\le 1$ with $1/p_1 + \cdots 1/p_m = 1/p$, under suitable cancellation conditions. As a result, we extend the trilinear estimates of the authors(arXiv:2107.00225) to general multilinear ones and improve the boundedness result of the authors, Lee, Heo, Hong, Park, and Yang(Math. Ann. 381 : 499-555, 2021) in limiting situations.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Odd coloring of sparse graphs and planar graphs
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Hyemin Kwon,
Boram Park
Abstract:
An {\it odd $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing an odd number of times on its neighborhood. This concept was introduced very recently by Petru\v sevski and \v Skrekovski and has attracted considerable attention. Cranston investigated odd colorings of graphs with bounded maximum average degree, and conjectured that every graph…
▽ More
An {\it odd $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing an odd number of times on its neighborhood. This concept was introduced very recently by Petru\v sevski and \v Skrekovski and has attracted considerable attention. Cranston investigated odd colorings of graphs with bounded maximum average degree, and conjectured that every graph $G$ with $mad(G)\leq \frac{4c-4}{c+1}$ has an odd $c$-coloring for $c\geq 4$, and proved the conjecture for $c\in\{5, 6\}$. In particular, planar graphs with girth at least $7$ and $6$ have an odd $5$-coloring and an odd $6$-coloring, respectively.
We completely resolve Cranston's conjecture. For $c\geq 7$, we show that the conjecture is true, in a stronger form that was implicitly suggested by Cranston, but for $c=4$, we construct counterexamples, which all contain $5$-cycles. On the other hand, we show that a graph $G$ with $mad(G)<\frac{22}{9}$ and no induced $5$-cycles has an odd $4$-coloring. This implies that a planar graph with girth at least 11 has an odd $4$-coloring. We also prove that a planar graph with girth at least 5 has an odd $6$-coloring.
△ Less
Submitted 22 December, 2022; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Tight bound for independent domination of cubic graphs without $4$-cycles
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Hyemin Kwon,
Boram Park
Abstract:
Given a graph $G$, a dominating set of $G$ is a set $S$ of vertices such that each vertex not in $S$ has a neighbor in $S$. The domination number of $G$, denoted $γ(G)$, is the minimum size of a dominating set of $G$. The independent domination number of $G$, denoted $i(G)$, is the minimum size of a dominating set of $G$ that is also independent.
Recently, Abrishami and Henning proved that if…
▽ More
Given a graph $G$, a dominating set of $G$ is a set $S$ of vertices such that each vertex not in $S$ has a neighbor in $S$. The domination number of $G$, denoted $γ(G)$, is the minimum size of a dominating set of $G$. The independent domination number of $G$, denoted $i(G)$, is the minimum size of a dominating set of $G$ that is also independent.
Recently, Abrishami and Henning proved that if $G$ is a cubic graph with girth at least $6$, then $i(G) \le \frac{4}{11}|V(G)|$. We show a result that not only improves upon the upper bound of the aforementioned result, but also applies to a larger class of graphs, and is also tight. Namely, we prove that if $G$ is a cubic graph without $4$-cycles, then $i(G) \le \frac{5}{14}|V(G)|$, which is tight. Our result also implies that every cubic graph $G$ without $4$-cycles satisfies $\frac{i(G)}{γ(G)} \le \frac{5}{4}$, which partially answers a question by O and West in the affirmative.
△ Less
Submitted 29 December, 2021; v1 submitted 22 December, 2021;
originally announced December 2021.
-
A Deep Learning Algorithm for Piecewise Linear Interface Construction (PLIC)
Authors:
Mohammadmehdi Ataei,
Erfan Pirmorad,
Franco Costa,
Se** Han,
Chul B Park,
Markus Bussmann
Abstract:
Piecewise Linear Interface Construction (PLIC) is frequently used to geometrically reconstruct fluid interfaces in Computational Fluid Dynamics (CFD) modeling of two-phase flows. PLIC reconstructs interfaces from a scalar field that represents the volume fraction of each phase in each computational cell. Given the volume fraction and interface normal, the location of a linear interface is uniquely…
▽ More
Piecewise Linear Interface Construction (PLIC) is frequently used to geometrically reconstruct fluid interfaces in Computational Fluid Dynamics (CFD) modeling of two-phase flows. PLIC reconstructs interfaces from a scalar field that represents the volume fraction of each phase in each computational cell. Given the volume fraction and interface normal, the location of a linear interface is uniquely defined. For a cubic computational cell (3D), the position of the planar interface is determined by intersecting the cube with a plane, such that the volume of the resulting truncated polyhedron cell is equal to the volume fraction. Yet it is geometrically complex to find the exact position of the plane, and it involves calculations that can be a computational bottleneck of many CFD models. However, while the forward problem of 3D PLIC is challenging, the inverse problem, of finding the volume of the truncated polyhedron cell given a defined plane, is simple. In this work, we propose a deep learning model for the solution to the forward problem of PLIC by only making use of its inverse problem. The proposed model is up to several orders of magnitude faster than traditional schemes, which significantly reduces the computational bottleneck of PLIC in CFD simulations.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
On independent domination of regular graphs
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Boram Park
Abstract:
Given a graph $G$, a dominating set of $G$ is a set $S$ of vertices such that each vertex not in $S$ has a neighbor in $S$. The domination number of $G$, denoted $γ(G)$, is the minimum size of a dominating set of $G$. The independent domination number of $G$, denoted $i(G)$, is the minimum size of a dominating set of $G$ that is also independent. Note that every graph has an independent dominating…
▽ More
Given a graph $G$, a dominating set of $G$ is a set $S$ of vertices such that each vertex not in $S$ has a neighbor in $S$. The domination number of $G$, denoted $γ(G)$, is the minimum size of a dominating set of $G$. The independent domination number of $G$, denoted $i(G)$, is the minimum size of a dominating set of $G$ that is also independent. Note that every graph has an independent dominating set, as a maximal independent set is equivalent to an independent dominating set.
Let $G$ be a connected $k$-regular graph that is not $K_{k, k}$ where $k\geq 4$. Generalizing a result by Lam, Shiu, and Sun, we prove that $i(G)\le \frac{k-1}{2k-1}|V(G)|$, which is tight for $k = 4$. This answers a question by Goddard et al. in the affirmative. We also show that $\frac{i(G)}{γ(G)} \le \frac{k^3-3k^2+2}{2k^2-6k+2}$, strengthening upon a result of Knor, Škrekovski, and Tepeh. In addition, we prove that a graph $G'$ with maximum degree at most $4$ satisfies $i(G') \le \frac{5}{9}|V(G')|$, which is also tight.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Trilinear Fourier multipliers on Hardy spaces
Authors:
** Bong Lee,
Bae Jun Park
Abstract:
In this paper, we obtain the $H^{p_1}\times H^{p_2}\times H^{p_3}\to H^p$ boundedness for trilinear Fourier multiplier operators, which is a trilinear analogue of the multiplier theorem of Calderón and Torchinsky (Adv. Math. 24 : 101-171, 1977). Our result improves the trilinear estimate in the very recent work of the authors, Lee, Heo, Hong, Park, and Yang (Math. Ann., to appear ) by additionally…
▽ More
In this paper, we obtain the $H^{p_1}\times H^{p_2}\times H^{p_3}\to H^p$ boundedness for trilinear Fourier multiplier operators, which is a trilinear analogue of the multiplier theorem of Calderón and Torchinsky (Adv. Math. 24 : 101-171, 1977). Our result improves the trilinear estimate in the very recent work of the authors, Lee, Heo, Hong, Park, and Yang (Math. Ann., to appear ) by additionally assuming an appropriate vanishing moment condition, which is natural in the boundedness into the Hardy space $H^p$ for $0<p\le 1$.
△ Less
Submitted 9 November, 2023; v1 submitted 1 July, 2021;
originally announced July 2021.
-
Noncommutative Differential K-theory
Authors:
Byungdo Park,
Arthur J. Parzygnat,
Corbett Redden,
Augusto Stoffel
Abstract:
We introduce a differential extension of algebraic K-theory of an algebra using Karoubi's Chern character. In doing so, we develop a necessary theory of secondary transgression forms as well as a differential refinement of the smooth Serre--Swan correspondence. Our construction subsumes the differential K-theory of a smooth manifold when the algebra is complex-valued smooth functions. Furthermore,…
▽ More
We introduce a differential extension of algebraic K-theory of an algebra using Karoubi's Chern character. In doing so, we develop a necessary theory of secondary transgression forms as well as a differential refinement of the smooth Serre--Swan correspondence. Our construction subsumes the differential K-theory of a smooth manifold when the algebra is complex-valued smooth functions. Furthermore, our construction fits into a noncommutative differential cohomology hexagon diagram.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
Q-Rater: Non-Convex Optimization for Post-Training Uniform Quantization
Authors:
Byeongwook Kim,
Dongsoo Lee,
Yeonju Ro,
Yongkweon Jeon,
Se Jung Kwon,
Baeseong Park,
Daehwan Oh
Abstract:
Various post-training uniform quantization methods have usually been studied based on convex optimization. As a result, most previous ones rely on the quantization error minimization and/or quadratic approximations. Such approaches are computationally efficient and reasonable when a large number of quantization bits are employed. When the number of quantization bits is relatively low, however, non…
▽ More
Various post-training uniform quantization methods have usually been studied based on convex optimization. As a result, most previous ones rely on the quantization error minimization and/or quadratic approximations. Such approaches are computationally efficient and reasonable when a large number of quantization bits are employed. When the number of quantization bits is relatively low, however, non-convex optimization is unavoidable to improve model accuracy. In this paper, we propose a new post-training uniform quantization technique considering non-convexity. We empirically show that hyper-parameters for clip** and rounding of weights and activations can be explored by monitoring task loss. Then, an optimally searched set of hyper-parameters is frozen to proceed to the next layer such that an incremental non-convex optimization is enabled for post-training quantization. Throughout extensive experimental results using various models, our proposed technique presents higher model accuracy, especially for a low-bit quantization.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
Improved estimates for bilinear rough singular integrals
Authors:
Danqing He,
Bae Jun Park
Abstract:
We study bilinear rough singular integral operators $\mathcal{L}_Ω$ associated with a function $Ω$ on the sphere $\mathbb{S}^{2n-1}$.
In the recent work of Grafakos, He, and Slavíková (Math. Ann. 376: 431-455, 2020), they showed that $\mathcal{L}_Ω$ is bounded from $L^2\times L^2$ to $L^1$, provided that $Ω\in L^q(\mathbb{S}^{2n-1})$ for $4/3<q\le \infty$ with mean value zero. In this paper, we…
▽ More
We study bilinear rough singular integral operators $\mathcal{L}_Ω$ associated with a function $Ω$ on the sphere $\mathbb{S}^{2n-1}$.
In the recent work of Grafakos, He, and Slavíková (Math. Ann. 376: 431-455, 2020), they showed that $\mathcal{L}_Ω$ is bounded from $L^2\times L^2$ to $L^1$, provided that $Ω\in L^q(\mathbb{S}^{2n-1})$ for $4/3<q\le \infty$ with mean value zero. In this paper, we provide a generalization of their result. We actually prove $L^{p_1}\times L^{p_2}\to L^p$ estimates for $\mathcal{L}_Ω$ under the assumption
$$Ω\in L^q(\mathbb{S}^{2n-1}) \quad \text{ for }~\max{\Big(\;\frac{4}{3}\;,\; \frac{p}{2p-1} \;\Big)<q\le \infty}$$ where $1<p_1,p_2\le\infty$ and $1/2<p<\infty$ with $1/p=1/p_1+1/p_2$ . Our result improves that of Grafakos, He, and Honzík (Adv. Math. 326: 54-78, 2018), in which the more restrictive condition $Ω\in L^{\infty}(\mathbb{S}^{2n-1})$ is required for the $L^{p_1}\times L^{p_2}\to L^p$ boundedness.
△ Less
Submitted 13 July, 2022; v1 submitted 29 April, 2021;
originally announced April 2021.
-
On pointwise a.e. convergence of multilinear operators
Authors:
Loukas Grafakos,
Danqing He,
Petr Honzík,
Bae Jun Park
Abstract:
In this work we obtain the pointwise almost everywhere convergence for two families of multilinear operators: (a) truncated homogeneous singular integral operators associated with $L^q$ functions on the sphere and (b) lacunary multiplier operators of limited decay.
The a.e. convergence is deduced from the $L^2\times\cdots\times L^2\to L^{2/m}$ boundedness of the associated maximal multilinear op…
▽ More
In this work we obtain the pointwise almost everywhere convergence for two families of multilinear operators: (a) truncated homogeneous singular integral operators associated with $L^q$ functions on the sphere and (b) lacunary multiplier operators of limited decay.
The a.e. convergence is deduced from the $L^2\times\cdots\times L^2\to L^{2/m}$ boundedness of the associated maximal multilinear operators.
△ Less
Submitted 27 May, 2022; v1 submitted 19 December, 2020;
originally announced December 2020.
-
Improvements on Hippchen's Conjecture
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Boram Park
Abstract:
Let $G$ be a $k$-connected graph on $n$ vertices. Hippchen's Conjecture states that two longest paths in $G$ share at least $k$ vertices. Gutiérrez recently proved the conjecture when $k\leq 4$ or $k\geq \frac{n-2}{3}$. We improve upon both results; namely, we show that two longest paths in $G$ share at least $k$ vertices when $k=5$ or $k\geq \frac{n+2}{5}$. This completely resolves two conjecture…
▽ More
Let $G$ be a $k$-connected graph on $n$ vertices. Hippchen's Conjecture states that two longest paths in $G$ share at least $k$ vertices. Gutiérrez recently proved the conjecture when $k\leq 4$ or $k\geq \frac{n-2}{3}$. We improve upon both results; namely, we show that two longest paths in $G$ share at least $k$ vertices when $k=5$ or $k\geq \frac{n+2}{5}$. This completely resolves two conjectures of Gutiérrez in the affirmative.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
Initial $L^2\times\cdots\times L^2 $ bounds for multilinear operators
Authors:
Loukas Grafakos,
Danqing He,
Petr Honzík,
Bae Jun Park
Abstract:
The $L^p$ boundedness theory of convolution operators is \linebreak based on an initial $L^2\to L^2$ estimate derived from the Fourier transform. The corresponding theory of multilinear operators lacks such a simple initial estimate in view of the unavailability of Plancherel's identity in this setting, and up to now it has not been clear what a natural initial estimate might be. In this work we a…
▽ More
The $L^p$ boundedness theory of convolution operators is \linebreak based on an initial $L^2\to L^2$ estimate derived from the Fourier transform. The corresponding theory of multilinear operators lacks such a simple initial estimate in view of the unavailability of Plancherel's identity in this setting, and up to now it has not been clear what a natural initial estimate might be. In this work we achieve exactly this goal, i.e., obtain an initial $L^2\times\cdots\times L^2\to L^{2/m}$ estimate for general building blocks of $m$-linear multiplier operators. We apply this result to deduce analogous bounds for multilinear rough singular integrals, multipliers of Hörmander type, and multipliers whose derivatives satisfy qualitative estimates.
△ Less
Submitted 19 December, 2020; v1 submitted 28 October, 2020;
originally announced October 2020.
-
Additive Models for Symmetric Positive-Definite Matrices, Riemannian Manifolds and Lie groups
Authors:
Zhenhua Lin,
Hans-Georg Müller,
Byeong U. Park
Abstract:
In this paper an additive regression model for a symmetric positive-definite matrix valued response and multiple scalar predictors is proposed. The model exploits the abelian group structure inherited from either the Log-Cholesky metric or the Log-Euclidean framework that turns the space of symmetric positive-definite matrices into a Riemannian manifold and further a bi-invariant Lie group. The ad…
▽ More
In this paper an additive regression model for a symmetric positive-definite matrix valued response and multiple scalar predictors is proposed. The model exploits the abelian group structure inherited from either the Log-Cholesky metric or the Log-Euclidean framework that turns the space of symmetric positive-definite matrices into a Riemannian manifold and further a bi-invariant Lie group. The additive model for responses in the space of symmetric positive-definite matrices with either of these metrics is shown to connect to an additive model on a tangent space. This connection not only entails an efficient algorithm to estimate the component functions but also allows to generalize the proposed additive model to general Riemannian manifolds that might not have a Lie group structure. Optimal asymptotic convergence rates and normality of the estimated component functions are also established. Numerical studies show that the proposed model enjoys superior numerical performance, especially when there are multiple predictors. The practical merits of the proposed model are demonstrated by analyzing diffusion tensor brain imaging data.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
NPLIC: A Machine Learning Approach to Piecewise Linear Interface Construction
Authors:
Mohammadmehdi Ataei,
Markus Bussmann,
Vahid Shaayegan,
Franco Costa,
Se** Han,
Chul B. Park
Abstract:
Volume of fluid (VOF) methods are extensively used to track fluid interfaces in numerical simulations, and many VOF algorithms require that the interface be reconstructed geometrically. For this purpose, the Piecewise Linear Interface Construction (PLIC) technique is most frequently used, which for reasons of geometric complexity can be slow and difficult to implement. Here, we propose an alternat…
▽ More
Volume of fluid (VOF) methods are extensively used to track fluid interfaces in numerical simulations, and many VOF algorithms require that the interface be reconstructed geometrically. For this purpose, the Piecewise Linear Interface Construction (PLIC) technique is most frequently used, which for reasons of geometric complexity can be slow and difficult to implement. Here, we propose an alternative neural network based method called NPLIC to perform PLIC calculations. The model is trained on a large synthetic dataset of PLIC solutions for square, cubic, triangular, and tetrahedral meshes. We show that this data-driven approach results in accurate calculations at a fraction of the usual computational cost, and a single neural network system can be used for interface reconstruction of different mesh types.
△ Less
Submitted 24 January, 2021; v1 submitted 26 June, 2020;
originally announced July 2020.
-
Decomposing planar graphs into graphs with degree restrictions
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Ringi Kim,
Boram Park,
Tingting Shan,
Xuding Zhu
Abstract:
Given a graph $G$, a decomposition of $G$ is a partition of its edges. A graph is $(d, h)$-decomposable if its edge set can be partitioned into a $d$-degenerate graph and a graph with maximum degree at most $h$. For $d \le 4$, we are interested in the minimum integer $h_d$ such that every planar graph is $(d,h_d)$-decomposable. It was known that $h_3 \le 4$, $h_2\le 8$, and $h_1 = \infty$. This pa…
▽ More
Given a graph $G$, a decomposition of $G$ is a partition of its edges. A graph is $(d, h)$-decomposable if its edge set can be partitioned into a $d$-degenerate graph and a graph with maximum degree at most $h$. For $d \le 4$, we are interested in the minimum integer $h_d$ such that every planar graph is $(d,h_d)$-decomposable. It was known that $h_3 \le 4$, $h_2\le 8$, and $h_1 = \infty$. This paper proves that $h_4=1, h_3=2$, and $4 \le h_2 \le 6$.
△ Less
Submitted 3 July, 2020;
originally announced July 2020.
-
The multilinear Hormander multiplier theorem with a Lorentz-Sobolev condition
Authors:
Loukas Grafakos,
Bae Jun Park
Abstract:
In this article, we provide a multilinear version of the Hörmander multiplier theorem with a Lorentz-Sobolev space condition. The work is motivated by the recent result of the first author and Slavíková where an analogous version of classical Hörmander multiplier theorem was obtained; this version is sharp in many ways and reduces the number of indices that appear in the statement of the theorem.…
▽ More
In this article, we provide a multilinear version of the Hörmander multiplier theorem with a Lorentz-Sobolev space condition. The work is motivated by the recent result of the first author and Slavíková where an analogous version of classical Hörmander multiplier theorem was obtained; this version is sharp in many ways and reduces the number of indices that appear in the statement of the theorem. As a natural extension of the linear case, in this work, we prove that if $mn/2<s<mn$, then $$ \big\Vert T_σ(f_1,\dots,f_m)\big\Vert_{L^p((\mathbb{R})^n)}\lesssim \sup_{k\in\mathbb{Z}}\big\Vert σ(2^k\;\vec{\cdot}\;)\widehat{Ψ^{(m)}}\big\Vert_{L_{s}^{mn/s,1}(\mathbb{R}^{mn})}\Vert f_1\Vert_{L^{p_1}((\mathbb{R})^n)}\cdots \Vert f_m\Vert_{L^{p_m}((\mathbb{R})^n)} $$
for certain $p,p_1,\dots,p_m$ with $1/p=1/p_1+\dots+1/p_m$. We also show that the above estimate is sharp, in the sense that the Lorentz-Sobolev space $L_s^{mn/s,1}$ cannot be replaced by $L_{s}^{r,q}$ for $r<mn/s$, $0<q\leq \infty$, or by $L_s^{mn/s,q}$ for $q>1$.
△ Less
Submitted 3 May, 2020;
originally announced May 2020.
-
Characterization of multilinear multipliers in terms of Sobolev space regularity
Authors:
Loukas Grafakos,
Bae Jun Park
Abstract:
We provide necessary and sufficient conditions for multilinear multiplier operators with symbols in $L^r$-based product-type Sobolev spaces uniformly over all annuli to be bounded from products of Hardy spaces to a Lebesgue space. We consider the case $1<r\leq 2$ and we characterize boundedness in terms of inequalities relating the Lebesgue indices (or Hardy indices), the dimension, and the regula…
▽ More
We provide necessary and sufficient conditions for multilinear multiplier operators with symbols in $L^r$-based product-type Sobolev spaces uniformly over all annuli to be bounded from products of Hardy spaces to a Lebesgue space. We consider the case $1<r\leq 2$ and we characterize boundedness in terms of inequalities relating the Lebesgue indices (or Hardy indices), the dimension, and the regularity and integrability indices of the Sobolev space. The case $r>2$ cannot be handled by known techniques and remains open. Our result not only extends but also establishes the sharpness of previous results of Miyachi, Nguyen, Tomita, and the first author, who only considered the case $r=2$.
△ Less
Submitted 11 March, 2021; v1 submitted 26 March, 2020;
originally announced March 2020.
-
The strong clique number of graphs with forbidden cycles
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Ringi Kim,
Boram Park
Abstract:
Given a graph $G$, the strong clique number of $G$, denoted $ω_S(G)$, is the maximum size of a set $S$ of edges such that every pair of edges in $S$ has distance at most $2$ in the line graph of $G$. As a relaxation of the renowned Erdős--Nešetřil conjecture regarding the strong chromatic index, Faudree et al. suggested investigating the strong clique number, and conjectured a quadratic upper boun…
▽ More
Given a graph $G$, the strong clique number of $G$, denoted $ω_S(G)$, is the maximum size of a set $S$ of edges such that every pair of edges in $S$ has distance at most $2$ in the line graph of $G$. As a relaxation of the renowned Erdős--Nešetřil conjecture regarding the strong chromatic index, Faudree et al. suggested investigating the strong clique number, and conjectured a quadratic upper bound in terms of the maximum degree.
Recently, Cames van Batenburg, Kang, and Pirot conjectured a linear upper bound in terms of the maximum degree for graphs without even cycles. Namely, if $G$ is a $C_{2k}$-free graph, then $ω_S(G)\leq (2k-1)Δ(G)-{2k-1\choose 2}$, and if $G$ is a $C_{2k}$-free bipartite graph, then $ω_S(G)\leq kΔ(G)-(k-1)$. We prove the second conjecture in a stronger form, by showing that forbidding all odd cycles is not necessary. To be precise, we show that a $\{C_5, C_{2k}\}$-free graph $G$ with $Δ(G)\ge 1$ satisfies $ω_S(G)\leq kΔ(G)-(k-1)$, when either $k\geq 4$ or $k\in \{2,3\}$ and $G$ is also $C_3$-free. Regarding the first conjecture, we prove an upper bound that is off by the constant term. Namely, for $k\geq 3$, we prove that a $C_{2k}$-free graph $G$ with $Δ(G)\ge 1$ satisfies $ω_S(G)\leq (2k-1)Δ(G)+(2k-1)^2$. This improves some results of Cames van Batenburg, Kang, and Pirot.
△ Less
Submitted 23 March, 2020;
originally announced March 2020.
-
Partitioning planar graphs without $4$-cycles and $5$-cycles into bounded degree forests
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Boram Park
Abstract:
In 1976, Steinberg conjectured that planar graphs without $4$-cycles and $5$-cycles are $3$-colorable. This conjecture attracted numerous researchers for about 40 years, until it was recently disproved by Cohen-Addad et al. (2017). However, coloring planar graphs with restrictions on cycle lengths is still an active area of research, and the interest in this particular graph class remains. Let…
▽ More
In 1976, Steinberg conjectured that planar graphs without $4$-cycles and $5$-cycles are $3$-colorable. This conjecture attracted numerous researchers for about 40 years, until it was recently disproved by Cohen-Addad et al. (2017). However, coloring planar graphs with restrictions on cycle lengths is still an active area of research, and the interest in this particular graph class remains. Let $G$ be a planar graph without $4$-cycles and $5$-cycles. For integers $d_1$ and $d_2$ satisfying $d_1+d_2\geq8$ and $d_2\geq d_1\geq 2$, it is known that $V(G)$ can be partitioned into two sets $V_1$ and $V_2$, where each $V_i$ induces a graph with maximum degree at most $d_i$. Since Steinberg's Conjecture is false, a partition of $V(G)$ into two sets, where one induces an empty graph and the other induces a forest is not guaranteed. Our main theorem is at the intersection of the two aforementioned research directions. We prove that $V(G)$ can be partitioned into two sets $V_1$ and $V_2$, where $V_1$ induces a forest with maximum degree at most $3$ and $V_2$ induces a forest with maximum degree at most $4$; this is both a relaxation of Steinberg's conjecture and a strengthening of results by Sittitrai and Nakprasit (2019) in a much stronger form.
△ Less
Submitted 22 March, 2020;
originally announced March 2020.
-
The optimal proper connection number of a graph with given independence number
Authors:
Shinya Fujita,
Boram Park
Abstract:
An edge-colored connected graph $G$ is properly connected if between every pair of distinct vertices, there exists a path that no two adjacent edges have a same color. Fujita (2019) introduced the optimal proper connection number ${\mathrm{pc}_{\mathrm{opt}}}(G)$ for a monochromatic connected graph $G$, to make a connected graph properly connected efficiently. More precisely,…
▽ More
An edge-colored connected graph $G$ is properly connected if between every pair of distinct vertices, there exists a path that no two adjacent edges have a same color. Fujita (2019) introduced the optimal proper connection number ${\mathrm{pc}_{\mathrm{opt}}}(G)$ for a monochromatic connected graph $G$, to make a connected graph properly connected efficiently. More precisely, ${\mathrm{pc}_{\mathrm{opt}}}(G)$ is the smallest integer $p+q$ when one converts a given monochromatic graph $G$ into a properly connected graph by recoloring $p$ edges with $q$ colors.
In this paper, we show that ${\mathrm{pc}_{\mathrm{opt}}}(G)$ has an upper bound in terms of the independence number $α(G)$. Namely, we prove that for a connected graph $G$, ${\mathrm{pc}_{\mathrm{opt}}}(G)\le \frac{5α(G)-1}{2}$. Moreoevr, for the case $α(G)\leq 3$, we improve the upper bound to $4$, which is tight.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Brown representability for directed graphs
Authors:
Zachary McGuirk,
Byungdo Park
Abstract:
We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.
We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.
△ Less
Submitted 22 July, 2021; v1 submitted 16 March, 2020;
originally announced March 2020.
-
Generalized list colouring of graphs
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Yiting Jiang,
Ringi Kim,
Boram Park,
Jiayan Yan,
Xuding Zhu
Abstract:
This paper disproves a conjecture of Wang, Wu, Yan and Xie, and answers in negative a question in Dvorak, Pekarek and Sereni. In return, we pose five open problems.
This paper disproves a conjecture of Wang, Wu, Yan and Xie, and answers in negative a question in Dvorak, Pekarek and Sereni. In return, we pose five open problems.
△ Less
Submitted 18 February, 2020;
originally announced February 2020.
-
The size of graphs with restricted rainbow $2$-connection number
Authors:
Shinya Fujita,
Henry Liu,
Boram Park
Abstract:
Let $k$ be a positive integer, and $G$ be a $k$-connected graph. An edge-coloured path is \emph{rainbow} if all of its edges have distinct colours. The \emph{rainbow $k$-connection number} of $G$, denoted by $rc_k(G)$, is the minimum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by $k$ internally vertex-disjoint rainbow paths. The function $rc_k(G)$ was in…
▽ More
Let $k$ be a positive integer, and $G$ be a $k$-connected graph. An edge-coloured path is \emph{rainbow} if all of its edges have distinct colours. The \emph{rainbow $k$-connection number} of $G$, denoted by $rc_k(G)$, is the minimum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by $k$ internally vertex-disjoint rainbow paths. The function $rc_k(G)$ was introduced by Chartrand, Johns, McKeon and Zhang in 2009, and has since attracted significant interest. Let $t_k(n,r)$ denote the minimum number of edges in a $k$-connected graph $G$ on $n$ vertices with $rc_k(G)\le r$. Let $s_k(n,r)$ denote the maximum number of edges in a $k$-connected graph $G$ on $n$ vertices with $rc_k(G)\ge r$. The functions $t_1(n,r)$ and $s_1(n,r)$ have previously been studied by various authors. In this paper, we study the functions $t_2(n,r)$ and $s_2(n,r)$. We determine bounds for $t_2(n,r)$ which imply that $t_2(n,2)=(1+o(1))n\log_2 n$, and $t_2(n,r)$ is linear in $n$ for $r\ge 3$. We also provide some remarks about the function $s_2(n,r)$.
△ Less
Submitted 7 September, 2020; v1 submitted 15 December, 2019;
originally announced December 2019.
-
On the failure of multilinear multiplier theorem with endpoint smoothness conditions
Authors:
Bae Jun Park
Abstract:
We study a multilinear version of Hörmander multiplier theorem, namely \begin{equation*} \Vert T_σ(f_1,\dots,f_n)\Vert_{L^p}\lesssim \sup_{k\in\mathbb{Z}}{\Vert σ(2^k\cdot,\dots,2^k\cdot)\widehat{φ^{(n)}}\Vert_{L^{2}_{(s_1,\dots,s_n)}}}\Vert f_1\Vert_{H^{p_1}}\cdots\Vert f_n\Vert_{H^{p_n}}. \end{equation*} We show that the estimate does not hold in the limiting case $\min{(s_1,\dots,s_n)}=d/2$ or…
▽ More
We study a multilinear version of Hörmander multiplier theorem, namely \begin{equation*} \Vert T_σ(f_1,\dots,f_n)\Vert_{L^p}\lesssim \sup_{k\in\mathbb{Z}}{\Vert σ(2^k\cdot,\dots,2^k\cdot)\widehat{φ^{(n)}}\Vert_{L^{2}_{(s_1,\dots,s_n)}}}\Vert f_1\Vert_{H^{p_1}}\cdots\Vert f_n\Vert_{H^{p_n}}. \end{equation*} We show that the estimate does not hold in the limiting case $\min{(s_1,\dots,s_n)}=d/2$ or $\sum_{k\in J}{({s_k}/{d}-{1}/{p_k})}=-{1}/{2}$ for some $J \subset \{1,\dots,n\}$. This provides the necessary and sufficient condition on $(s_1,\dots,s_n)$ for the boundedness of $T_σ$.
△ Less
Submitted 14 March, 2021; v1 submitted 9 December, 2019;
originally announced December 2019.
-
Sharp Hardy space estimates for multipliers
Authors:
Loukas Grafakos,
Bae Jun Park
Abstract:
We provide an improvement of Calderón and Torchinsky's version of the Hörmander multiplier theorem on Hardy spaces $H^p$ ($0<p<\infty$), by replacing the Sobolev space $L_s^2(A_0)$ by the Lorentz-Sobolev space $L_s^{τ^{(s,p)} ,\min(1,p) }(A_0)$, where $τ^{(s,p)} =\frac{n}{s-(n/\min{(1,p)}-n)}$ and $A_0$ is the annulus $\{ξ\in \mathbb{R}^n: 1/2<|ξ|<2\}$. Our theorem also extends that of Grafakos an…
▽ More
We provide an improvement of Calderón and Torchinsky's version of the Hörmander multiplier theorem on Hardy spaces $H^p$ ($0<p<\infty$), by replacing the Sobolev space $L_s^2(A_0)$ by the Lorentz-Sobolev space $L_s^{τ^{(s,p)} ,\min(1,p) }(A_0)$, where $τ^{(s,p)} =\frac{n}{s-(n/\min{(1,p)}-n)}$ and $A_0$ is the annulus $\{ξ\in \mathbb{R}^n: 1/2<|ξ|<2\}$. Our theorem also extends that of Grafakos and Slavíková to the range $0<p\le 1$. Our result is sharp in the sense that the preceding Lorentz-Sobolev space cannot be replaced by a smaller Lorentz-Sobolev space $L^{r,q}_s(A_0)$ with $r< τ^{(s,p)} $ or $q>\min(1,p)$.
△ Less
Submitted 14 March, 2021; v1 submitted 3 December, 2019;
originally announced December 2019.
-
Stable structure on safe set problems in vertex-weighted graphs
Authors:
Shinya Fujita,
Tadashi Sakuma,
Boram Park
Abstract:
Let $G$ be a graph, and let $w$ be a positive real-valued weight function on $V(G)$. For every subset $S$ of $V(G)$, let $w(S)=\sum_{v \in S} w(v).$ A non-empty subset $S \subset V(G)$ is a weighted safe set of $(G,w)$ if, for every component $C$ of the subgraph induced by $S$ and every component $D$ of $G-S$, we have $w(C) \geq w(D)$ whenever there is an edge between $C$ and $D$. If the subgraph…
▽ More
Let $G$ be a graph, and let $w$ be a positive real-valued weight function on $V(G)$. For every subset $S$ of $V(G)$, let $w(S)=\sum_{v \in S} w(v).$ A non-empty subset $S \subset V(G)$ is a weighted safe set of $(G,w)$ if, for every component $C$ of the subgraph induced by $S$ and every component $D$ of $G-S$, we have $w(C) \geq w(D)$ whenever there is an edge between $C$ and $D$. If the subgraph of $G$ induced by a weighted safe set $S$ is connected, then the set $S$ is called a connected weighted safe set of $(G,w)$. The weighted safe number $\mathrm{s}(G,w)$ and connected weighted safe number $\mathrm{cs}(G,w)$ of $(G,w)$ are the minimum weights $w(S)$ among all weighted safe sets and all connected weighted safe sets of $(G,w)$, respectively. Note that for every pair $(G,w)$, $\mathrm{s}(G,w) \le \mathrm{cs}(G,w)$ by their definitions. Recently, it was asked which pair $(G,w)$ satisfies the equality and shown that every weighted cycle satisfies the equality. In this paper, we give a complete list of connected bipartite graphs $G$ such that $\mathrm{s}(G,w)=\mathrm{cs}(G,w)$ for every weight function $w$ on $V(G)$.
△ Less
Submitted 24 February, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
The Power Grid Library for Benchmarking AC Optimal Power Flow Algorithms
Authors:
Sogol Babaeinejadsarookolaee,
Adam Birchfield,
Richard D. Christie,
Carleton Coffrin,
Christopher DeMarco,
Ruisheng Diao,
Michael Ferris,
Stephane Fliscounakis,
Scott Greene,
Renke Huang,
Cedric Josz,
Roman Korab,
Bernard Lesieutre,
Jean Maeght,
Terrence W. K. Mak,
Daniel K. Molzahn,
Thomas J. Overbye,
Patrick Panciatici,
Byungkwon Park,
Jonathan Snodgrass,
Ahmad Tbaileh,
Pascal Van Hentenryck,
Ray Zimmerman
Abstract:
In recent years, the power systems research community has seen an explosion of novel methods for formulating the AC power flow equations. Consequently, benchmarking studies using the seminal AC Optimal Power Flow (AC-OPF) problem have emerged as the primary method for evaluating these emerging methods. However, it is often difficult to directly compare these studies due to subtle differences in th…
▽ More
In recent years, the power systems research community has seen an explosion of novel methods for formulating the AC power flow equations. Consequently, benchmarking studies using the seminal AC Optimal Power Flow (AC-OPF) problem have emerged as the primary method for evaluating these emerging methods. However, it is often difficult to directly compare these studies due to subtle differences in the AC-OPF problem formulation as well as the network, generation, and loading data that are used for evaluation. To help address these challenges, this IEEE PES Task Force report proposes a standardized AC-OPF mathematical formulation and the PGLib-OPF networks for benchmarking AC-OPF algorithms. A motivating study demonstrates some limitations of the established network datasets in the context of benchmarking AC-OPF algorithms and a validation study demonstrates the efficacy of using the PGLib-OPF networks for this purpose. In the interest of scientific discourse and future additions, the PGLib-OPF benchmark library is open-access and all the of network data is provided under a creative commons license.
△ Less
Submitted 4 January, 2021; v1 submitted 7 August, 2019;
originally announced August 2019.
-
On induced saturation for paths
Authors:
Eun-Kyung Cho,
Ilkyoo Choi,
Boram Park
Abstract:
For a graph $H$, a graph $G$ is $H$-induced-saturated if $G$ does not contain an induced copy of $H$, but either removing an edge from $G$ or adding a non-edge to $G$ creates an induced copy of $H$. Depending on the graph $H$, an $H$-induced-saturated graph does not necessarily exist. In fact, Martin and Smith (2012) showed that $P_4$-induced-saturated graphs do not exist, where $P_k$ denotes a pa…
▽ More
For a graph $H$, a graph $G$ is $H$-induced-saturated if $G$ does not contain an induced copy of $H$, but either removing an edge from $G$ or adding a non-edge to $G$ creates an induced copy of $H$. Depending on the graph $H$, an $H$-induced-saturated graph does not necessarily exist. In fact, Martin and Smith (2012) showed that $P_4$-induced-saturated graphs do not exist, where $P_k$ denotes a path on $k$ vertices. Axenovich and Csikós (2019) asked the existence of $P_k$-induced-saturated graphs for $k \ge 5$; it is easy to construct such graphs when $k\in\{2, 3\}$. Recently, Räty constructed a graph that is $P_6$-induced-saturated. In this paper, we show that there exists a $P_{k}$-induced-saturated graph for infinitely many values of $k$. To be precise, we find a $P_{3n}$-induced-saturated graph for every positive integer $n$. As a consequence, for each positive integer $n$, we construct infinitely many $P_{3n}$-induced-saturated graphs. We also show that the Kneser graph $K(n,2)$ is $P_6$-induced-saturated for every $n\ge 5$.
△ Less
Submitted 11 July, 2019;
originally announced July 2019.
-
Fourier multipliers on a vector-valued function space
Authors:
Bae Jun Park
Abstract:
We study multiplier theorems on a vector-valued function space, which is a generalization of the results of Calderón-Torchinsky and Grafakos-He-Honzík-Nguyen, and an improvement of the result of Triebel. For $0<p<\infty$ and $0<q\leq \infty$ we obtain that if $r>\frac{d}{s-(d/\min{(1,p,q)}-d)}$, then…
▽ More
We study multiplier theorems on a vector-valued function space, which is a generalization of the results of Calderón-Torchinsky and Grafakos-He-Honzík-Nguyen, and an improvement of the result of Triebel. For $0<p<\infty$ and $0<q\leq \infty$ we obtain that if $r>\frac{d}{s-(d/\min{(1,p,q)}-d)}$, then $$\big\Vert \big\{\big( m_k \hat{f_k}\big)^{\vee}\big\}_{k\in\mathbb{N}}\big\Vert_{L^p(l^q)}\lesssim_{p,q} \sup_{l\in\mathbb{N}}{\big\Vert m_l(2^l\cdot)\big\Vert_{L_s^r(\mathbb{R}^d)}} \big\Vert \big\{f_k\big\}_{k\in\mathbb{N}}\big\Vert_{L^p(l^q)}, ~~f_k\in\mathcal{E}(A2^k),$$ under the condition $\max{(|d/p-d/2|,|d/q-d/2|)}<s<d/\min{(1,p,q)}$. An extension to $p=\infty$ will be additionally considered in the scale of Triebel-Lizorkin space.
Our result is sharp in the sense that the Sobolev space in the above estimate cannot be replaced by a smaller Sobolev space $L_s^r$ with $r\leq \frac{d}{s-(d/\min{(1,p,q)}-d)}$.
△ Less
Submitted 22 September, 2020; v1 submitted 26 April, 2019;
originally announced April 2019.
-
Collapsibility of non-cover complexes of graphs
Authors:
Ilkyoo Choi,
**ha Kim,
Boram Park
Abstract:
Given a graph $G$, the non-cover complex of $G$ is the combinatorial Alexander dual of the independence complex of $G$. Aharoni asked if the non-cover complex of a graph $G$ without isolated vertices is $(|V(G)|-i γ(G)-1)$-collapsible where $i γ(G)$ denotes the independent domination number of $G$. Extending a result by the second author, who verified Aharoni's question in the affirmative for chor…
▽ More
Given a graph $G$, the non-cover complex of $G$ is the combinatorial Alexander dual of the independence complex of $G$. Aharoni asked if the non-cover complex of a graph $G$ without isolated vertices is $(|V(G)|-i γ(G)-1)$-collapsible where $i γ(G)$ denotes the independent domination number of $G$. Extending a result by the second author, who verified Aharoni's question in the affirmative for chordal graphs, we prove that the answer to the question is yes for all graphs. Namely, we show that for a graph $G$, the non-cover complex of a graph $G$ is $(|V(G)|-i γ(G)-1)$-collapsible.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
On Star 5-Colorings of Sparse Graphs
Authors:
Ilkyoo Choi,
Boram Park
Abstract:
A \textit{star $k$-coloring} of a graph $G$ is a proper (vertex) $k$-coloring of $G$ such that the vertices on a path of length three receive at least three colors. Given a graph $G$, its \textit{star chromatic number}, denoted $χ_s(G)$, is the minimum integer $k$ for which $G$ admits a star $k$-coloring. Studying star coloring of sparse graphs is an active area of research, especially in terms of…
▽ More
A \textit{star $k$-coloring} of a graph $G$ is a proper (vertex) $k$-coloring of $G$ such that the vertices on a path of length three receive at least three colors. Given a graph $G$, its \textit{star chromatic number}, denoted $χ_s(G)$, is the minimum integer $k$ for which $G$ admits a star $k$-coloring. Studying star coloring of sparse graphs is an active area of research, especially in terms of the maximum average degree of a graph; the \textit{maximum average degree}, denoted $mad(G)$, of a graph $G$ is $\max\left\{ \frac{2|E(H)|}{|V(H)|}:{H \subset G}\right\}$. It is known that for a graph $G$, if $mad(G)<\frac{8}{3}$, then $χ_s(G)\leq 6$, and if $mad(G)< \frac{18}{7}$ and its girth is at least 6, then $χ_s(G)\le 5$. We improve both results by showing that for a graph $G$, if $mad(G)\le \frac{8}{3}$, then $χ_s(G)\le 5$. As an immediate corollary, we obtain that a planar graph with girth at least 8 has a star 5-coloring, improving the best known girth condition for a planar graph to have a star 5-coloring.
△ Less
Submitted 24 September, 2019; v1 submitted 25 March, 2019;
originally announced March 2019.
-
Equivalence of (quasi-)norms on a vector-valued function space and its applications to multilinear operators
Authors:
Bae Jun Park
Abstract:
In this paper we present (quasi-)norm equivalence on a vector-valued function space $L^p_A(l^q)$ and extend the equivalence to $p=\infty$ and $0<q<\infty$ in the scale of Triebel-Lizorkin space, motivated by Fraizer-Jawerth. By applying the results, we improve the multilinear Hormander's multiplier theorem of Tomita, that of Grafakos-Si, and the boundedness results for bilinear pseudo-differential…
▽ More
In this paper we present (quasi-)norm equivalence on a vector-valued function space $L^p_A(l^q)$ and extend the equivalence to $p=\infty$ and $0<q<\infty$ in the scale of Triebel-Lizorkin space, motivated by Fraizer-Jawerth. By applying the results, we improve the multilinear Hormander's multiplier theorem of Tomita, that of Grafakos-Si, and the boundedness results for bilinear pseudo-differential operators, given by Koezuka-Tomita.
△ Less
Submitted 14 March, 2021; v1 submitted 21 March, 2019;
originally announced March 2019.
-
Largest 2-regular subgraphs in 3-regular graphs
Authors:
Ilkyoo Choi,
Ringi Kim,
Alexandr Kostochka,
Boram Park,
Douglas B. West
Abstract:
For a graph $G$, let $f_2(G)$ denote the largest number of vertices in a $2$-regular subgraph of $G$. We determine the minimum of $f_2(G)$ over $3$-regular $n$-vertex simple graphs $G$. To do this, we prove that every $3$-regular multigraph with exactly $c$ cut-edges has a $2$-regular subgraph that omits at most $\max\{0,\lfloor (c-1)/2\rfloor\}$ vertices. More generally, every $n$-vertex multigra…
▽ More
For a graph $G$, let $f_2(G)$ denote the largest number of vertices in a $2$-regular subgraph of $G$. We determine the minimum of $f_2(G)$ over $3$-regular $n$-vertex simple graphs $G$. To do this, we prove that every $3$-regular multigraph with exactly $c$ cut-edges has a $2$-regular subgraph that omits at most $\max\{0,\lfloor (c-1)/2\rfloor\}$ vertices. More generally, every $n$-vertex multigraph with maximum degree $3$ and $m$ edges has a $2$-regular subgraph that omits at most $\max\{0,\lfloor (3n-2m+c-1)/2\rfloor\}$ vertices. These bounds are sharp; we describe the extremal multigraphs.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
