arXiv subjects

Minki Kim

Publications and source records attributed to Minki Kim.

At least 19 recordsLinked to original sources

arXiv2026

Hydrodynamic modulation via cupping in a crustacean-inspired propulsor

Shrimp, like many invertebrates swimming at intermediate Reynolds numbers ($Re$), rely on the interplay between morphology and kinematics to generate thrust while producing sufficient lift to overcome their negative buoyancy. Shrimp pleopods branch into an endopodite and an exopodite, whose relative motion varies the projected surface area during the swimming cycle. For this mechanism to function, the exopodite must be cambered relative to the endopodite at a set cupping angle $\zeta$, which partially decouples the effective angle of attack of the exopodite from the overall leg kinematics. Here, we investigate the role of $\zeta$ in modulating thrust$-$lift balance during steady forward locomotion. Using a dynamically scaled (40$\times$) robotic pleopod, we systematically varied $\zeta$ from $0^\circ$ to $80^\circ$, measured hydrodynamic forces, and performed particle image velocimetry at $Re = 968$. Moderate cupping angles ($\zeta = 20^\circ-40^\circ$), consistent with biological observations, provide optimal thrust$-$lift balance. At these angles, the exopodite abducts rapidly during the power stroke, maximizing projected area at peak flow velocity, and adducts early during the return stroke, minimizing resistive drag. A reduced-order force model reveals that the exopodite contributes 52$-$62\% of total lift, particularly at intermediate $\zeta$, where a leading-edge vortex (LEV) forms and remains attached throughout the power stroke. At extreme cupping angles, LEV coherence degrades and force production weakens. These findings demonstrate that shrimp pleopods function as hybrid propulsors exploiting both drag- and lift-based forces, and that $\zeta$ serves as a geometric control parameter capable of tuning thrust$-$lift balance independently of stroke kinematics.

physics.flu-dyn↗

arXiv2025

From spinning sea ice floes to ocean enstrophy spectra in the Marginal Ice Zone

Quantifying kinetic energy (KE) and enstrophy transfer, mixing, and dissipation in the Arctic Ocean is key to understanding polar ocean dynamics, which are critical components of the global climate system. However, in ice-covered regions, limited eddy-resolving observations challenge characterizing KE and enstrophy transfer across scales. Here, we use satellite-derived sea ice floe rotation rates to infer the surface ocean enstrophy spectra in the marginal ice zone. Employing a coarse-graining approach, we treat each floe as a local spatial filter. The method is validated with idealized sea ice-ocean simulations and applied to floe observations in the Beaufort Gyre. Our results reveal steepened spectral slopes at low sea ice concentrations, indicating enhanced mesoscale activity during the spring-to-summer transition. High-resolution simulations support these findings but overestimate enstrophy, highlighting a denser array of observations. Our two-dimensional spectral estimates are the first of their kind, providing a scalable approach for mapping Arctic Ocean characteristics.

physics.ao-ph↗

arXiv2025

Domination numbers and homotopy in certain ternary graphs

A ternary graph is a graph with no induced cycles of length $0$ modulo $3$. It was recently shown that, if the independence complex of a ternary graph is not contractible, then it is homotopy equivalent to a sphere. When a ternary graph also does not contain induced cycles of length $1$ modulo $3$, we prove that the dimension of the sphere is equal to the dimension of a minimum maximal simplex of the independence complex, or equivalently, to the value obtained by subtracting $1$ from the independent domination number of the graph. The same statement holds if we replace the independent domination number with the domination number. We also give a hypergraph analogue of the statement above.

math.CO↗

arXiv2025

A simulation modeling framework for fluid motion and transport in a rocking bioreactor with application to cultivated meat production

Rocking or wave-mixed bioreactors have emerged as a promising innovation in the production of cultivated meat due to their disposable nature, low operating costs, and scalability. However, despite these advantages, the performance of rocking bioreactors is not well characterized in view of their relatively short history in the market and the wide range of geometrical and operating parameters. In the present study we develop a rigorous computational framework for this multiphase, multi-physics system to quantitatively evaluate mixing, oxygen transfer, and shear stress within a rectangular rocking bioreactor under various operating conditions. This framework is implemented using the Basilisk open-source platform. We use a second-order finite volume Navier-Stokes solver and a volume-of-fluid interface reconstruction scheme to accurately resolve the highly nonlinear fluid motion. By solving the advection-diffusion equation for a multi-fluid system, we examine mixing time and the oxygen mass transfer coefficient for different operating conditions, both of which show a strong relationship with steady streaming underlying the instantaneous laminar flow. We further highlight two critical hydrodynamic phenomena that significantly influence bioreactor performance. Firstly, we investigate the transitional regime from laminar to turbulent flow. Moreover, we identify specific operating conditions that trigger resonance within the bioreactor, enhancing mixing and oxygen transfer. We finally discuss the potential effects of shear stress and energy dissipation rate on cell survival. Our findings are expected to provide valuable insights and guidelines for designing optimized bioreactors to support the next-generation cultivated meat industry pipelines.

physics.flu-dyn↗

arXiv2025

Fractional discrete Helly for pairs in a family of boxes

Given a point set $S$ in $\mathbb{R}^d$, a family of sets is $S$-intersecting if its members have a point in common in $S$. Recently, Edwards and Sober\'{o}n proved a fractional version of Halman's theorem for axis-parallel boxes, showing that every finite family $F$ of axis-parallel boxes in $\mathbb{R}^d$ with positive density of $S$-intersecting $(d+1)$-tuples contains an $S$-intersecting subfamily of size linear in $|F|$. We prove that qualitatively the same conclusion can be achieved if the density of $S$-intersecting pairs is sufficiently large.

math.CO↗

arXiv2024

Characterization of sea ice kinematics over oceanic eddies

Eddies within the meso/submeso-scale range are prevalent throughout the Arctic Ocean, playing a pivotal role in regulating freshwater budget, heat transfer, and sea ice transport. While observations have suggested a strong connection between the dynamics of sea ice and the underlying turbulent flows, quantifying this relationship remains an ambitious task due to the challenges of acquiring concurrent sea ice and ocean measurements. Recently, an innovative study using a unique algorithm to track sea ice floes showed that ice floes can be used as vorticity meters of the ocean. Here, we present a numerical and analytical evaluation of this result by estimating the kinematic link between free-drifting ice floes and underlying ocean eddies using idealized vortex models. These analyses are expanded to explore local eddies in quasi-geostrophic turbulence, providing a more realistic representation of eddies in the Arctic Ocean. We find that in both flow fields, the relationship between floe rotation rates and ocean vorticity depends on the relative size of the ice floe to the eddy. As the floe size approaches and exceeds the eddy size, the floe rotation rates depart from half of the ocean vorticity. Finally, the effects of ice floe thickness, atmospheric winds, and floe-floe collisions on floe rotations are investigated. The derived relations and floe statistics set the foundation for leveraging remote sensing observations of floe motions to characterize eddy vorticity at small to moderate scales. This innovative approach opens new possibilities for quantifying Arctic Ocean eddy characteristics, providing valuable inputs for more accurate climate projections.

physics.flu-dyn↗

arXiv2024

Colorful fractional Helly theorem via weak saturation

Two celebrated extensions of the classical Helly's theorem are the fractional Helly theorem and the colorful Helly theorem. Bulavka, Goodarzi, and Tancer recently established the optimal bound for the unified generalization of the fractional and the colorful Helly theorems using a colored extension of the exterior algebra. In this paper, we combinatorially reduce both the fractional Helly theorem and its colorful version to a classical problem in extremal combinatorics known as {weak saturation}. No such results connecting the fractional Helly theorem and weak saturation are known in the long history of literature. These reductions, along with basic linear algebraic arguments for the reduced weak saturation problems, let us give new short proofs of the optimal bounds for both the fractional Helly theorem and its colorful version without using exterior algebra.

math.CO↗

arXiv2023

An Eisenbud-Goto type inequality for Stanley-Reisner ideals and simplicial complexes

The Leray number of an abstract simplicial complex is the minimal integer $d$ where its induced subcomplexes have trivial homology groups in dimension $d$ or greater. We give an upper bound on the Leray number of a complex in terms of how the facets are attached to each other. We also describe the structure of complexes for the equality of the bound that we found. Through the Stanley-Reisner correspondence, our results give an Eisenbud-Goto type inequality for any square-free monomial ideals. This generalizes Terai's result.

math.AC↗

arXiv2023

Independent domination versus packing in subcubic graphs

In 2011, Henning, L\"{o}wenstein, and Rautenbach observed that the domination number of a graph is bounded from above by the product of the packing number and the maximum degree of the graph. We prove a stronger statement in subcubic graphs: the independent domination number is bounded from above by three times the packing number.

math.CO↗

arXiv2023

Extensions of the Colorful Helly Theorem for $d$-collapsible and $d$-Leray complexes

We present extensions of the Colorful Helly Theorem for $d$-collapsible and $d$-Leray complexes, providing a common generalization to the matroidal versions of the theorem due to Kalai and Meshulam, the ``very colorful" Helly theorem introduced by Arocha, B\'ar\'any, Bracho, Fabila and Montejano, and the ``semi-intersecting" colorful Helly theorem proved by Montejano and Karasev. As an application, we obtain the following extension of Tverberg's Theorem: Let $A$ be a finite set of points in $\mathbb{R}^d$ with $|A|>(r-1)(d+1)$. Then, there exist a partition $A_1,\ldots,A_r$ of $A$ and a subset $B\subset A$ of size $(r-1)(d+1)$, such that $\cap_{i=1}^r \text{conv}( (B\cup\{p\})\cap A_i)\neq\emptyset$ for all $p\in A\setminus B$. That is, we obtain a partition of $A$ into $r$ parts that remains a Tverberg partition even after removing all but one arbitrary point from $A\setminus B$.

math.CO↗

arXiv2023

Strong Erd\H{o}s-Hajnal properties in chordal graphs

A graph class $\mathcal{G}$ has the strong Erd\H{o}s-Hajnal property (SEH-property) if there is a constant $c=c(\mathcal{G}) > 0$ such that for every member $G$ of $\mathcal{G}$, either $G$ or its complement has $K_{m, m}$ as a subgraph where $m \geq \left\lfloor c|V(G)|\right\rfloor$. We prove that the class of chordal graphs satisfy SEH-property with constant $c = 2/9$. On the other hand, a strengthening of SEH-property which we call the colorful Erd\H{o}s-Hajnal property was discussed in geometric settings by Alon et al. (2005) and by Fox et al. (2012). Inspired by their results, we show that for every pair $F_1, F_2$ of subtree families of the same size in a tree $T$ with $k$ leaves, there exists subfamilies $F'_1 \subseteq F_1$ and $F'_2 \subseteq F_2$ of size $\theta \left( \frac{\ln k}{k} \left| F_1 \right|\right)$ such that either every pair of representatives from distinct subfamilies intersect or every such pair do not intersect. Our results are asymptotically optimal.

math.CO↗

arXiv2022

Independent domination of graphs with bounded maximum degree

An independent dominating set of a graph, also known as a maximal independent set, is a set $S$ of pairwise non-adjacent vertices such that every vertex not in $S$ is adjacent to some vertex in $S$. We prove that for $\Delta=4$ or $\Delta\ge 6$, every connected $n$-vertex graph of maximum degree at most $\Delta$ has an independent dominating set of size at most $(1-\frac{\Delta}{\lfloor\Delta^2/4\rfloor+\Delta})(n-1)+1$. In addition, we characterize all connected graphs having the equality and we show that other connected graphs have an independent dominating set of size at most $(1-\frac{\Delta}{ \lfloor\Delta^2/4\rfloor+\Delta})n$.

math.CO↗

arXiv2021

Leray numbers of tolerance complexes

Let $K$ be a simplicial complex on vertex set $V$. $K$ is called $d$-Leray if the homology groups of any induced subcomplex of $K$ are trivial in dimensions $d$ and higher. $K$ is called $d$-collapsible if it can be reduced to the void complex by sequentially removing a simplex of size at most $d$ that is contained in a unique maximal face. We define the $t$-tolerance complex of $K$, $\mathcal{T}_t(K)$, as the simplicial complex on vertex set $V$ whose simplices are formed as the union of a simplex in $K$ and a set of size at most $t$. We prove that for any $d$ and $t$ there exists a positive integer $h(t,d)$ such that, for every $d$-collapsible complex $K$, the $t$-tolerance complex $\mathcal{T}_t(K)$ is $h(t,d)$-Leray. The definition of the complex $\mathcal{T}_t(K)$ is motivated by results of Montejano and Oliveros on "tolerant" versions of Helly's theorem. As an application, we present some new tolerant versions of the colorful Helly theorem.

math.CO↗

arXiv2021

Well-mixing vertices and almost expanders

We study regular graphs in which the random walks starting from a positive fraction of vertices have small mixing time. We prove that any such graph is virtually an expander and has no small separator. This answers a question of Pak [SODA, 2002]. As a corollary, it shows that sparse (constant degree) regular graphs with many well-mixing vertices have a long cycle, improving a result of Pak. Furthermore, such cycle can be found in polynomial time. Secondly, we show that if the random walks from a positive fraction of vertices are well-mixing, then the random walks from almost all vertices are well-mixing (with a slightly worse mixing time).

math.CO↗

arXiv2021

Fractional Helly theorem for Cartesian products of convex sets

Helly's theorem and its variants show that for a family of convex sets in Euclidean space, local intersection patterns influence global intersection patterns. A classical result of Eckhoff in 1988 provided an optimal fractional Helly theorem for axis-aligned boxes, which are Cartesian products of line segments. Answering a question raised by B\'ar\'any and Kalai, and independently Lew, we generalize Eckhoff's result to Cartesian products of convex sets in all dimensions. In particular, we prove that given $\alpha \in (1-\frac{1}{t^d},1]$ and a finite family $\mathcal{F}$ of Cartesian products of convex sets $\prod_{i\in[t]}A_i$ in $\mathbb{R}^{td}$ with $A_i\subset \mathbb{R}^d$ if at least $\alpha$-fraction of the $(d+1)$-tuples in $\mathcal{F}$ are intersecting then at least $(1-(t^d(1-\alpha))^{1/(d+1)})$-fraction of sets in $\mathcal{F}$ are intersecting. This is a special case of a more general result on intersections of $d$-Leray complexes. We also provide a construction showing that our result on $d$-Leray complexes is optimal. Interestingly the extremal example is representable as a family of cartesian products of convex sets, implying the bound $\alpha>1-\frac{1}{t^d}$ and the fraction $(1-(t^d(1-\alpha))^{1/(d+1)})$ above are also best possible. The well-known optimal construction for fractional Helly theorem for convex sets in $\mathbb{R}^d$ does not have $(p,d+1)$-condition for sublinear $p$. Inspired by this we give constructions showing that, somewhat surprisingly, imposing additional $(p,d+1)$-condition has negligible effect on improving the quantitative bounds in neither the fractional Helly theorem for convex sets nor Cartesian products of convex sets. Our constructions offer a rich family of distinct extremal configurations for fractional Helly theorem, implying in a sense that the optimal bound is stable.

math.CO↗

arXiv2021

Evaluation and Optimization of Distributed Machine Learning Techniques for Internet of Things

Federated learning (FL) and split learning (SL) are state-of-the-art distributed machine learning techniques to enable machine learning training without accessing raw data on clients or end devices. However, their \emph{comparative training performance} under real-world resource-restricted Internet of Things (IoT) device settings, e.g., Raspberry Pi, remains barely studied, which, to our knowledge, have not yet been evaluated and compared, rendering inconvenient reference for practitioners. This work firstly provides empirical comparisons of FL and SL in real-world IoT settings regarding (i) learning performance with heterogeneous data distributions and (ii) on-device execution overhead. Our analyses in this work demonstrate that the learning performance of SL is better than FL under an imbalanced data distribution but worse than FL under an extreme non-IID data distribution. Recently, FL and SL are combined to form splitfed learning (SFL) to leverage each of their benefits (e.g., parallel training of FL and lightweight on-device computation requirement of SL). This work then considers FL, SL, and SFL, and mount them on Raspberry Pi devices to evaluate their performance, including training time, communication overhead, power consumption, and memory usage. Besides evaluations, we apply two optimizations. Firstly, we generalize SFL by carefully examining the possibility of a hybrid type of model training at the server-side. The generalized SFL merges sequential (dependent) and parallel (independent) processes of model training and is thus beneficial for a system with large-scaled IoT devices, specifically at the server-side operations. Secondly, we propose pragmatic techniques to substantially reduce the communication overhead by up to four times for the SL and (generalized) SFL.

cs.LG↗

arXiv2021

A system of disjoint representatives of line segments with given $k$ directions

We prove that for all positive integers $n$ and $k$, there exists an integer $N = N(n,k)$ satisfying the following. If $U$ is a set of $k$ direction vectors in the plane and $\mathcal{J}_U$ is the set of all line segments in direction $u$ for some $u\in U$, then for every $N$ families $\mathcal{F}_1, \ldots, \mathcal{F}_N$, each consisting of $n$ mutually disjoint segments in $\mathcal{J}_U$, there is a set $\{A_1, \ldots, A_n\}$ of $n$ disjoint segments in $\bigcup_{1\leq i\leq N}\mathcal{F}_i$ and distinct integers $p_1, \ldots, p_n\in \{1, \ldots, N\}$ satisfying that $A_j\in \mathcal{F}_{p_j}$ for all $j\in \{1, \ldots, n\}$. We generalize this property for underlying lines on fixed $k$ directions to $k$ families of simple curves with certain conditions.

math.CO↗

arXiv2021

Domination numbers and noncover complexes of hypergraphs

Let $\mathcal{H}$ be a hypergraph on a finite set $V$. A {\em cover} of $\mathcal{H}$ is a set of vertices that meets all edges of $\mathcal{H}$. If $W$ is not a cover of $\mathcal{H}$, then $W$ is said to be a {\em noncover} of $\mathcal{H}$. The {\em noncover complex} of $\mathcal{H}$ is the abstract simplicial complex whose faces are the noncovers of $\mathcal{H}$. In this paper, we study homological properties of noncover complexes of hypergraphs. In particular, we obtain an upper bound on their Leray numbers. The bound is in terms of hypergraph domination numbers. Also, our proof idea is applied to compute the homotopy type of the noncover complexes of certain uniform hypergraphs, called {\em tight paths} and {\em tight cycles}. This extends to hypergraphs known results on graphs.

math.CO↗