-
Colorful circuits and colorful topes in oriented matroids
Authors:
Minho Cho,
Seunghun Lee,
Frédéric Meunier
Abstract:
We provide a short proof of a conic version of the colorful Carathéodory theorem for oriented matroids. Holmsen's extension of the colorful Carathéodory theorem to oriented matroids (Advances in Mathematics, 2016) already encompasses several generalizations of the original result, but not its conic version. Our approach relies on a common generalization of Sperner's lemma and Meshulam's lemma-two…
▽ More
We provide a short proof of a conic version of the colorful Carathéodory theorem for oriented matroids. Holmsen's extension of the colorful Carathéodory theorem to oriented matroids (Advances in Mathematics, 2016) already encompasses several generalizations of the original result, but not its conic version. Our approach relies on a common generalization of Sperner's lemma and Meshulam's lemma-two closely related results from combinatorial topology that have found a number of applications in discrete geometry and combinatorics. This generalization may be of independent interest.
Using a similar approach, we also establish the following colorful theorem for topes, whose special geometric case had not been considered before: Given $n$ topes from a uniform oriented matroid with $n$ elements, if they agree on some element, then there is a way to select a distinct element from each tope, together with its sign, so as to form another tope of the oriented matroid. Motivated by this theorem, we further explore other conditions leading to the same conclusion.
△ Less
Submitted 25 September, 2025; v1 submitted 17 September, 2025;
originally announced September 2025.
-
Robust Confidence Intervals for a Binomial Proportion: Local Optimality and Adaptivity
Authors:
Minjun Cho,
Yuetian Luo,
Chao Gao
Abstract:
This paper revisits the classical problem of interval estimation of a binomial proportion under Huber contamination. Our main result derives the rate of optimal interval length when the contamination proportion is unknown under a local minimax framework, where the performance of an interval is evaluated at each point in the parameter space. By comparing the rate with the optimal length of a confid…
▽ More
This paper revisits the classical problem of interval estimation of a binomial proportion under Huber contamination. Our main result derives the rate of optimal interval length when the contamination proportion is unknown under a local minimax framework, where the performance of an interval is evaluated at each point in the parameter space. By comparing the rate with the optimal length of a confidence interval that is allowed to use the knowledge of contamination proportion, we characterize the exact adaptation cost due to the ignorance of data quality. Our construction of the confidence interval to achieve local length optimality builds on robust hypothesis testing with a new monotonization step, which guarantees valid coverage, boundary-respecting intervals, and an efficient algorithm for computing the endpoints. The general strategy of interval construction can be applied beyond the binomial setting, and leads to optimal interval estimation for Poisson data with contamination as well. We also investigate a closely related Erdős--Rényi model with node contamination. Though its optimal rate of parameter estimation agrees with that of the binomial setting, we show that adaptation to unknown contamination proportion is provably impossible for interval estimation in that setting.
△ Less
Submitted 5 September, 2025;
originally announced September 2025.
-
A Dynamically Weighted ADMM Framework for Byzantine Resilience
Authors:
Vishnu Vijay,
Kartik A. Pant,
Minhyun Cho,
Inseok Hwang
Abstract:
The alternating direction of multipliers method (ADMM) is a popular method to solve distributed consensus optimization utilizing efficient communication among various nodes in the network. However, in the presence of faulty or attacked nodes, even a small perturbation (or sharing false data) during the communication can lead to divergence of the solution. To address this issue, in this work we con…
▽ More
The alternating direction of multipliers method (ADMM) is a popular method to solve distributed consensus optimization utilizing efficient communication among various nodes in the network. However, in the presence of faulty or attacked nodes, even a small perturbation (or sharing false data) during the communication can lead to divergence of the solution. To address this issue, in this work we consider ADMM under the effect of Byzantine threat, where an unknown subset of nodes is subject to Byzantine attacks or faults. We propose Dynamically Weighted ADMM (DW-ADMM), a novel variant of ADMM that uses dynamic weights on the edges of the network, thus promoting resilient distributed optimization. We establish that the proposed method (i) produces a nearly identical solution to conventional ADMM in the error-free case, and (ii) guarantees a bounded solution with respect to the global minimizer, even under Byzantine threat. Finally, we demonstrate the effectiveness of our proposed algorithm using an illustrative numerical simulation.
△ Less
Submitted 15 August, 2025;
originally announced August 2025.
-
Bootstrapping Nonequilibrium Stochastic Processes
Authors:
Minjae Cho
Abstract:
We show that bootstrap methods based on the positivity of probability measures provide a systematic framework for studying both synchronous and asynchronous nonequilibrium stochastic processes on infinite lattices. First, we formulate linear programming problems that use positivity and invariance property of invariant measures to derive rigorous bounds on their expectation values. Second, for time…
▽ More
We show that bootstrap methods based on the positivity of probability measures provide a systematic framework for studying both synchronous and asynchronous nonequilibrium stochastic processes on infinite lattices. First, we formulate linear programming problems that use positivity and invariance property of invariant measures to derive rigorous bounds on their expectation values. Second, for time evolution in asynchronous processes, we exploit the master equation along with positivity and initial conditions to construct linear and semidefinite programming problems that yield bounds on expectation values at both short and late times. We illustrate both approaches using two canonical examples: the contact process in 1+1 and 2+1 dimensions, and the Domany-Kinzel model in both synchronous and asynchronous forms in 1+1 dimensions. Our bounds on invariant measures yield rigorous lower bounds on critical rates, while those on time evolutions provide two-sided bounds on the half-life of the infection density and the temporal correlation length in the subcritical phase.
△ Less
Submitted 29 July, 2025; v1 submitted 19 May, 2025;
originally announced May 2025.
-
Optimal Constructions for DNA Self-Assembly of $k$-Regular Graphs
Authors:
Lisa Baek,
Ethan Bove,
Michael Cho,
Xingyi Zhang,
Leyda Almodóvar,
Amanda Harsy,
Cory Johnson,
Jessica Sorrells
Abstract:
Within biology, it is of interest to construct DNA complexes of a certain shape. These complexes can be represented through graph theory, using edges to model strands of DNA joined at junctions, represented by vertices. Because guided construction is inefficient, design strategies for DNA self-assembly are desirable. In the flexible tile model, branched DNA molecules are referred to as tiles, each…
▽ More
Within biology, it is of interest to construct DNA complexes of a certain shape. These complexes can be represented through graph theory, using edges to model strands of DNA joined at junctions, represented by vertices. Because guided construction is inefficient, design strategies for DNA self-assembly are desirable. In the flexible tile model, branched DNA molecules are referred to as tiles, each consisting of flexible unpaired cohesive ends with the ability to form bond-edges. We thus consider the minimum number of tile and bond-edge types necessary to construct a graph $G$ (i.e. a target structure) without allowing the formation of graphs of lesser order, or nonisomorphic graphs of equal order. We emphasize the concept of (un)swappable graphs, establishing lower bounds for unswappable graphs. We also introduce a method of establishing upper bounds via vertex covers. We apply both of these methods to prove new bounds on rook's graphs and Kneser graphs.
△ Less
Submitted 5 February, 2025;
originally announced February 2025.
-
K-theoretic Tate-Poitou duality at prime 2
Authors:
Myungsin Cho
Abstract:
We extend the result of Blumberg and Mandell on K-theoretic Tate-Poitou duality at odd primes which serves as a spectral refinement of the classical arithmetic Tate-Poitou duality. The duality is formulated for the $K(1)$-localized algebraic K-theory of the ring of $p$-integers in a number field and its completion using the $\mathbb{Z}_p$-Anderson duality. This paper completes the picture by addre…
▽ More
We extend the result of Blumberg and Mandell on K-theoretic Tate-Poitou duality at odd primes which serves as a spectral refinement of the classical arithmetic Tate-Poitou duality. The duality is formulated for the $K(1)$-localized algebraic K-theory of the ring of $p$-integers in a number field and its completion using the $\mathbb{Z}_p$-Anderson duality. This paper completes the picture by addressing the prime 2, where the real embeddings of number fields introduce extra complexities. As an application, we identify the homotopy type at prime 2 of the homotopy fiber of the cyclotomic trace for the sphere spectrum in terms of the algebraic K-theory of the integers.
△ Less
Submitted 22 May, 2025; v1 submitted 6 January, 2025;
originally announced January 2025.
-
Thermal Bootstrap of Matrix Quantum Mechanics
Authors:
Minjae Cho,
Barak Gabai,
Joshua Sandor,
Xi Yin
Abstract:
We implement a bootstrap method that combines stationary state conditions, thermal inequalities, and semidefinite relaxations of matrix logarithm in the ungauged one-matrix quantum mechanics, at finite rank N as well as in the large N limit, and determine finite temperature observables that interpolate between available analytic results in the low and high temperature limits respectively. We also…
▽ More
We implement a bootstrap method that combines stationary state conditions, thermal inequalities, and semidefinite relaxations of matrix logarithm in the ungauged one-matrix quantum mechanics, at finite rank N as well as in the large N limit, and determine finite temperature observables that interpolate between available analytic results in the low and high temperature limits respectively. We also obtain bootstrap bounds on thermal phase transition as well as preliminary results in the ungauged two-matrix quantum mechanics.
△ Less
Submitted 27 March, 2025; v1 submitted 5 October, 2024;
originally announced October 2024.
-
Colorful fractional Helly theorem via weak saturation
Authors:
Debsoumya Chakraborti,
Minho Cho,
Jinha Kim,
Minki Kim
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Spectral mapping theorem and the Taylor spectrum
Authors:
Muneo Cho,
B. Nachevska Nastovska,
Kotaro Tanahashi
Abstract:
In [6] Cho and Tanahashi showe new spectral mapping theorem of the taylor spectrum for doubly commuting pairs of p-hyponormal operators and log-hyponormal operators. In this paper, we will show that same spectral mapping theorem holds for commuting n-tuples.
In [6] Cho and Tanahashi showe new spectral mapping theorem of the taylor spectrum for doubly commuting pairs of p-hyponormal operators and log-hyponormal operators. In this paper, we will show that same spectral mapping theorem holds for commuting n-tuples.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Long-time behavior of logarithmic spiral vortex sheets with two branches
Authors:
Minki Cho
Abstract:
We consider logarithmic spiral vortex sheets consisting of two branches. Based on some simple assumptions that appear true by numerical computations, we fully classify their long-time behavior and asymptotics, where in all cases each branch decays to $0$ or blows up in finite time. Furthermore, we present illustrations determining which range of initial data corresponds to each case. We also deter…
▽ More
We consider logarithmic spiral vortex sheets consisting of two branches. Based on some simple assumptions that appear true by numerical computations, we fully classify their long-time behavior and asymptotics, where in all cases each branch decays to $0$ or blows up in finite time. Furthermore, we present illustrations determining which range of initial data corresponds to each case. We also determine the asymptotic stability of the symmetric and asymmetric self-similar spirals.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Bootstrapping the Stochastic Resonance
Authors:
Minjae Cho
Abstract:
Stochastic resonance is a phenomenon where a noise of appropriate intensity enhances the input signal strength. In this work, by employing the recently developed convex optimization methods in the context of dynamical systems and stochastic processes, we derive rigorous two-sided bounds on the expected power at the input signal frequency for the prototypical example of stochastic resonance, the do…
▽ More
Stochastic resonance is a phenomenon where a noise of appropriate intensity enhances the input signal strength. In this work, by employing the recently developed convex optimization methods in the context of dynamical systems and stochastic processes, we derive rigorous two-sided bounds on the expected power at the input signal frequency for the prototypical example of stochastic resonance, the double-well potential with periodic forcing and Gaussian white noise.
△ Less
Submitted 20 September, 2023; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Bootstrap, Markov Chain Monte Carlo, and LP/SDP Hierarchy for the Lattice Ising Model
Authors:
Minjae Cho,
Xin Sun
Abstract:
Bootstrap is an idea that imposing consistency conditions on a physical system may lead to rigorous and nontrivial statements about its physical observables. In this work, we discuss the bootstrap problem for the invariant measure of the stochastic Ising model defined as a Markov chain where probability bounds and invariance equations are imposed. It is described by a linear programming (LP) hiera…
▽ More
Bootstrap is an idea that imposing consistency conditions on a physical system may lead to rigorous and nontrivial statements about its physical observables. In this work, we discuss the bootstrap problem for the invariant measure of the stochastic Ising model defined as a Markov chain where probability bounds and invariance equations are imposed. It is described by a linear programming (LP) hierarchy whose asymptotic convergence is shown by explicitly constructing the invariant measure from the convergent sequence of moments. We also discuss the relation between the LP hierarchy for the invariant measure and a recently introduced semidefinite programming (SDP) hierarchy for the Gibbs measure of the statistical Ising model based on reflection positivity and spin-flip equations.
△ Less
Submitted 23 October, 2023; v1 submitted 2 September, 2023;
originally announced September 2023.
-
Chip-firing and critical groups of signed graphs
Authors:
Matthew Cho,
Anton Dochtermann,
Ryota Inagaki,
Suho Oh,
Dylan Snustad,
Bailee Zacovic
Abstract:
We study chip-firing on a signed graph $G_φ$, employing a general theory of chip-firing on invertible matrices introduced by Guzmán and Klivans. Here a negative edge designates an adversarial relationship, so that firing a vertex incident to such an edge leads to a loss of chips at both endpoints. The chip-firing rule for $G_φ$ is described by its reduced Laplacian matrix $L_{G_φ}$, which also def…
▽ More
We study chip-firing on a signed graph $G_φ$, employing a general theory of chip-firing on invertible matrices introduced by Guzmán and Klivans. Here a negative edge designates an adversarial relationship, so that firing a vertex incident to such an edge leads to a loss of chips at both endpoints. The chip-firing rule for $G_φ$ is described by its reduced Laplacian matrix $L_{G_φ}$, which also defines the critical group ${\mathcal K}(G_φ)$. The valid chip configurations are given by the lattice points of a rational cone determined by $G_φ$ and the underlying graph $G$. This gives rise to notions of critical as well as $z$-superstable configurations, both of which are counted by the determinant of $L_{G_φ}$. We establish general results regarding these configurations, focusing on efficient methods of verifying the underlying properties. We then study the critical groups of signed graphs in the context of vertex switching and Smith normal forms. We use this to compute the critical groups of various classes of signed graphs including signed cycles, wheels, complete graphs, and fans, in the process generalizing results of Biggs and others.
△ Less
Submitted 17 April, 2024; v1 submitted 15 June, 2023;
originally announced June 2023.
-
Transversal numbers of stacked spheres
Authors:
Minho Cho,
Jinha Kim
Abstract:
A stacked $d$-sphere $S$ is the boundary complex of a stacked $(d+1)$-ball, which is obtained by taking cone over a free $d$-face repeatedly from a $(d+1)$-simplex. A stacked sphere $S$ is called linear if every cone is taken over a face added in the previous step. In this paper, we study the transversal number of facets of stacked $d$-spheres, denoted by $τ(S)$, which is the minimum number of ver…
▽ More
A stacked $d$-sphere $S$ is the boundary complex of a stacked $(d+1)$-ball, which is obtained by taking cone over a free $d$-face repeatedly from a $(d+1)$-simplex. A stacked sphere $S$ is called linear if every cone is taken over a face added in the previous step. In this paper, we study the transversal number of facets of stacked $d$-spheres, denoted by $τ(S)$, which is the minimum number of vertices intersecting with all facets. Briggs, Dobbins and Lee showed that the transversal ratio of a stacked $d$-sphere is bounded above by $\frac{2}{d+2}+o(1)$ and can be as large as $\frac{2}{d+3}$. We improve the lower bound by constructing linear stacked $d$-spheres with transversal ratio $\frac{6}{3d+8}$ and general stacked $d$-spheres with transversal ratio $\frac{2d+3}{(d+2)^2}$. Finally, we show that $\frac{6}{3d+8}$ is optimal for linear stacked $2$-spheres, that is, the transversal ratio is at most $\frac{3}{7} + o(1)$ for linear stacked $2$-spheres.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Strong Erdős-Hajnal properties in chordal graphs
Authors:
Minho Cho,
Andreas F. Holmsen,
Jinha Kim,
Minki Kim
Abstract:
A graph class $\mathcal{G}$ has the strong Erdő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 strength…
▽ More
A graph class $\mathcal{G}$ has the strong Erdő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ő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 $θ\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.
△ Less
Submitted 5 February, 2023;
originally announced February 2023.
-
On Attack Detection and Identification for the Cyber-Physical System using Lifted System Model
Authors:
Dawei Sun,
Minhyun Cho,
Inseok Hwang
Abstract:
Motivated by the safety and security issues related to cyber-physical systems with potentially multi-rate, delayed, and nonuniformly sampled measurements, we investigate the attack detection and identification using the lifted system model in this paper. Attack detectability and identifiability based on the lifted system model are formally defined and rigorously characterized in a novel approach.…
▽ More
Motivated by the safety and security issues related to cyber-physical systems with potentially multi-rate, delayed, and nonuniformly sampled measurements, we investigate the attack detection and identification using the lifted system model in this paper. Attack detectability and identifiability based on the lifted system model are formally defined and rigorously characterized in a novel approach. The method of checking detectability is discussed, and a residual design problem for attack detection is formulated in a general way. For attack identification, we define and characterize it by generalizing the concept of mode discernibility for switched systems, and a method for identifying the attack is discussed based on the theoretical analysis. An illustrative example of an unmanned aircraft system (UAS) is provided to validate the main results.
△ Less
Submitted 8 December, 2022;
originally announced December 2022.
-
Robust fast direct integral equation solver for three-dimensional quasi-periodic scattering problems with a large number of layers
Authors:
Bowei Wu,
Min Hyung Cho
Abstract:
A boundary integral equation method for the 3-D Helmholtz equation in multilayered media with many quasi-periodic layers is presented. Compared with conventional quasi-periodic Green's function method, the new method is robust at all scattering parameters. A periodizing scheme is used to decompose the solution into near- and far-field contributions. The near-field contribution uses the free-space…
▽ More
A boundary integral equation method for the 3-D Helmholtz equation in multilayered media with many quasi-periodic layers is presented. Compared with conventional quasi-periodic Green's function method, the new method is robust at all scattering parameters. A periodizing scheme is used to decompose the solution into near- and far-field contributions. The near-field contribution uses the free-space Green's function in an integral equation on the interface in the unit cell and its immediate eight neighbors; the far-field contribution uses proxy point sources that enclose the unit cell. A specialized high-order quadrature is developed to discretize the underlying surface integral operators to keep the number of unknowns per layer small. We achieve overall linear computational complexity in the number of layers by reducing the linear system into block tridiagonal form and then solving the system directly via block LU decomposition. The new solver is capable of handling a 100-interface structure with 961.3k unknowns to $10^{-5}$ accuracy in less than 2 hours on a desktop workstation.
△ Less
Submitted 26 November, 2022;
originally announced November 2022.
-
Quadrature by Two Expansions for Evaluating Helmholtz Layer Potentials
Authors:
Jared Weed,
Lingyun Ding,
Jingfang Huang,
Min Hyung Cho
Abstract:
In this paper, a Quadrature by Two Expansions (QB2X) numerical integration technique is developed for the single and double layer potentials of the Helmholtz equation in two dimensions. The QB2X method uses both local complex Taylor expansions and plane wave type expansions to achieve a resulting representation which is numerically accurate for all target points (interior, exterior, or exactly on…
▽ More
In this paper, a Quadrature by Two Expansions (QB2X) numerical integration technique is developed for the single and double layer potentials of the Helmholtz equation in two dimensions. The QB2X method uses both local complex Taylor expansions and plane wave type expansions to achieve a resulting representation which is numerically accurate for all target points (interior, exterior, or exactly on the boundary) inside a leaf box in the fast multipole method (FMM) hierarchical tree structure. Compared to the original Quadrature by Expansion (QBX) method, the QB2X method explicitly includes the nonlinearity from the boundary geometry in the plane wave expansions, thereby providing for higher order representations of both the boundary geometry and density functions in the integrand, with its convergence following standard FMM error analysis. Numerical results are presented to demonstrate the performance of the QB2X method for Helmholtz layer potentials and its comparison with the original QBX method for both flat and curved boundaries with various densities. The QB2X method overcomes the challenges of the original QBX method, and is better suited for efficient solutions of the Helmholtz equation with complex geometries.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
Bootstrapping the Ising Model on the Lattice
Authors:
Minjae Cho,
Barak Gabai,
Ying-Hsuan Lin,
Victor A. Rodriguez,
Joshua Sandor,
Xi Yin
Abstract:
We study the statistical Ising model of spins on the infinite lattice using a bootstrap method that combines spin-flip identities with positivity conditions, including reflection positivity and Griffiths inequalities, to derive rigorous two-sided bounds on spin correlators through semi-definite programming. For the 2D Ising model on the square lattice, the bootstrap bounds based on correlators sup…
▽ More
We study the statistical Ising model of spins on the infinite lattice using a bootstrap method that combines spin-flip identities with positivity conditions, including reflection positivity and Griffiths inequalities, to derive rigorous two-sided bounds on spin correlators through semi-definite programming. For the 2D Ising model on the square lattice, the bootstrap bounds based on correlators supported in a 13-site diamond-shaped region determine the nearest-spin correlator to within a small window, which for a wide range of coupling and magnetic field is narrower than the precision attainable with Monte Carlo methods. We also report preliminary results of the bootstrap bounds for the 3D Ising model on the cubic lattice.
△ Less
Submitted 1 July, 2022; v1 submitted 24 June, 2022;
originally announced June 2022.
-
The Krein-von Neumann Extension of a Regular Even Order Quasi-Differential Operator
Authors:
Minsung Cho,
Seth Hoisington,
Roger Nichols,
Brian Udall
Abstract:
We characterize by boundary conditions the Krein-von Neumann extension of a strictly positive minimal operator corresponding to a regular even order quasi-differential expression of Shin-Zettl type. The characterization is stated in terms of a specially chosen basis for the kernel of the maximal operator and employs a description of the Friedrichs extension due to Möller and Zettl.
We characterize by boundary conditions the Krein-von Neumann extension of a strictly positive minimal operator corresponding to a regular even order quasi-differential expression of Shin-Zettl type. The characterization is stated in terms of a specially chosen basis for the kernel of the maximal operator and employs a description of the Friedrichs extension due to Möller and Zettl.
△ Less
Submitted 28 August, 2021;
originally announced August 2021.
-
Cooperative conditions for the existence of rainbow matchings
Authors:
Ron Aharoni,
Joseph Briggs,
Minho Cho,
Jinha Kim
Abstract:
Let $k>1$, and let $\mathcal{F}$ be a family of $2n+k-3$ non-empty sets of edges in a bipartite graph. If the union of every $k$ members of $\mathcal{F}$ contains a matching of size $n$, then there exists an $\mathcal{F}$-rainbow matching of size $n$. Replacing $2n+k-3$ by $2n+k-2$, the result is true also for $k=1$, and it can be proved (for all $k$) both topologically and by a relatively simple…
▽ More
Let $k>1$, and let $\mathcal{F}$ be a family of $2n+k-3$ non-empty sets of edges in a bipartite graph. If the union of every $k$ members of $\mathcal{F}$ contains a matching of size $n$, then there exists an $\mathcal{F}$-rainbow matching of size $n$. Replacing $2n+k-3$ by $2n+k-2$, the result is true also for $k=1$, and it can be proved (for all $k$) both topologically and by a relatively simple combinatorial argument. The main effort is in gaining the last $1$, which makes the result sharp.
△ Less
Submitted 28 December, 2021; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Adapting free-space fast multipole method for layered media Green's function: algorithm and analysis
Authors:
Min Hyung Cho,
Jingfang Huang
Abstract:
In this paper, we present a numerical algorithm for the accurate and efficient computation of the convolution of the frequency domain layered media Green's function with a given density function. Instead of compressing the convolution matrix directly as in the classical fast multipole method, fast direct solvers, and fast H-matrix algorithms, the new algorithm considers a translated form of the or…
▽ More
In this paper, we present a numerical algorithm for the accurate and efficient computation of the convolution of the frequency domain layered media Green's function with a given density function. Instead of compressing the convolution matrix directly as in the classical fast multipole method, fast direct solvers, and fast H-matrix algorithms, the new algorithm considers a translated form of the original matrix so that many existing building blocks from the highly optimized free-space fast multipole method can be easily adapted to the Sommerfeld integral representations of the layered media Green's function. An asymptotic analysis is performed on the Sommerfeld integrals for large orders to provide an estimate of the decay rate in the new "multipole" and "local" expansions. In order to avoid the highly oscillatory integrand in the original Sommerfeld integral representations when the source and target are close to each other, or when they are both close to the interface in the scattered field, mathematically equivalent alternative direction integral representations are introduced. The convergence of the multipole and local expansions and formulas and quadrature rules for the original and alternative direction integral representations are numerically validated.
△ Less
Submitted 21 February, 2019;
originally announced February 2019.
-
Taylor expansion based fast Multipole Methods for 3-D Helmholtz equations in Layered Media
Authors:
Bo Wanga,
Duan Chen,
Bo Zhang,
Wenzhong Zhang,
Min Hyung Cho,
Wei Cai
Abstract:
In this paper, we develop fast multipole methods for 3D Helmholtz kernel in layered media. Two algorithms based on different forms of Taylor expansion of layered media Green's function are developed. A key component of the first algorithm is an efficient algorithm based on discrete complex image approximation and recurrence formula for the calculation of the layered media Green's function and its…
▽ More
In this paper, we develop fast multipole methods for 3D Helmholtz kernel in layered media. Two algorithms based on different forms of Taylor expansion of layered media Green's function are developed. A key component of the first algorithm is an efficient algorithm based on discrete complex image approximation and recurrence formula for the calculation of the layered media Green's function and its derivatives, which are given in terms of Sommerfeld integrals. The second algorithm uses symmetric derivatives in the Taylor expansion to reduce the size of precomputed tables for the derivatives of layered media Green's function. Numerical tests in layered media have validated the accuracy and O(N) complexity of the proposed algorithms.
△ Less
Submitted 15 February, 2019;
originally announced February 2019.
-
Spectrally-accurate numerical method for acoustic scattering from doubly-periodic 3D multilayered media
Authors:
Min Hyung Cho
Abstract:
A periodizing scheme and the method of fundamental solutions are used to solve acoustic wave scattering from doubly-periodic three-dimensional multilayered media. A scattered wave in a unit cell is represented by the sum of the near and distant contribution. The near contribution uses the free-space Green's function and its eight immediate neighbors. The contribution from the distant sources is ex…
▽ More
A periodizing scheme and the method of fundamental solutions are used to solve acoustic wave scattering from doubly-periodic three-dimensional multilayered media. A scattered wave in a unit cell is represented by the sum of the near and distant contribution. The near contribution uses the free-space Green's function and its eight immediate neighbors. The contribution from the distant sources is expressed using proxy source points over a sphere surrounding the unit cell and its neighbors. The Rayleigh-Bloch radiation condition is applied to the top and bottom layers. Extra unknowns produced by the periodizing scheme in the linear system are eliminated using a Schur complement. The proposed numerical method avoids using singular quadratures and the quasi-periodic Green's function or complicated lattice sum techniques. Therefore, the proposed scheme is robust at all scattering parameters including Wood anomalies. The algorithm is also applicable to electromagnetic problems by using the dyadic Green's function. Numerical examples with 10-digit accuracy are provided. Finally, reflection and transmission spectra are computed over a wide range of incident angles for device characterization.
△ Less
Submitted 26 March, 2019; v1 submitted 11 June, 2018;
originally announced June 2018.
-
Separation-Free Super-Resolution from Compressed Measurements is Possible: an Orthonormal Atomic Norm Minimization Approach
Authors:
Weiyu Xu,
Jirong Yi,
Soura Dasgupta,
Jian-Feng Cai,
Mathews Jacob,
Myung Cho
Abstract:
We consider the problem of recovering the superposition of $R$ distinct complex exponential functions from compressed non-uniform time-domain samples. Total Variation (TV) minimization or atomic norm minimization was proposed in the literature to recover the $R$ frequencies or the missing data. However, it is known that in order for TV minimization and atomic norm minimization to recover the missi…
▽ More
We consider the problem of recovering the superposition of $R$ distinct complex exponential functions from compressed non-uniform time-domain samples. Total Variation (TV) minimization or atomic norm minimization was proposed in the literature to recover the $R$ frequencies or the missing data. However, it is known that in order for TV minimization and atomic norm minimization to recover the missing data or the frequencies, the underlying $R$ frequencies are required to be well-separated, even when the measurements are noiseless. This paper shows that the Hankel matrix recovery approach can super-resolve the $R$ complex exponentials and their frequencies from compressed non-uniform measurements, regardless of how close their frequencies are to each other. We propose a new concept of orthonormal atomic norm minimization (OANM), and demonstrate that the success of Hankel matrix recovery in separation-free super-resolution comes from the fact that the nuclear norm of a Hankel matrix is an orthonormal atomic norm. More specifically, we show that, in traditional atomic norm minimization, the underlying parameter values $\textbf{must}$ be well separated to achieve successful signal recovery, if the atoms are changing continuously with respect to the continuously-valued parameter. In contrast, for the OANM, it is possible the OANM is successful even though the original atoms can be arbitrarily close.
As a byproduct of this research, we provide one matrix-theoretic inequality of nuclear norm, and give its proof from the theory of compressed sensing.
△ Less
Submitted 4 November, 2017;
originally announced November 2017.
-
Fast dose optimization for rotating shield brachytherapy
Authors:
Myung Cho,
Xiaodong Wu,
Hossein Dakhah,
Jirong Yi,
Ryan T. Flynn,
Yusung Kim,
Weiyu Xu
Abstract:
Purpose: To provide a fast computational method, based on the proximal graph solver (POGS) - a convex optimization solver using the alternating direction method of multipliers (ADMM), for calculating an optimal treatment plan in rotating shield brachytherapy (RSBT). RSBT treatment planning has more degrees of freedom than conventional high-dose-rate brachytherapy (HDR-BT) due to the addition of em…
▽ More
Purpose: To provide a fast computational method, based on the proximal graph solver (POGS) - a convex optimization solver using the alternating direction method of multipliers (ADMM), for calculating an optimal treatment plan in rotating shield brachytherapy (RSBT). RSBT treatment planning has more degrees of freedom than conventional high-dose-rate brachytherapy (HDR-BT) due to the addition of emission direction, and this necessitates a fast optimization technique to enable clinical usage. // Methods: The multi-helix RSBT (H-RSBT) delivery technique was considered with five representative cervical cancer patients. Treatment plans were generated for all patients using the POGS method and the previously considered commercial solver IBM CPLEX. The rectum, bladder, sigmoid, high-risk clinical target volume (HR-CTV), and HR-CTV boundary were the structures considered in our optimization problem, called the asymmetric dose-volume optimization with smoothness control. Dose calculation resolution was 1x1x3 mm^3 for all cases. The H-RSBT applicator has 6 helices, with 33.3 mm of translation along the applicator per helical rotation and 1.7 mm spacing between dwell positions, yielding 17.5 degree emission angle spacing per 5 mm along the applicator.// Results: For each patient, HR-CTV D90, HR-CTV D100, rectum D2cc, sigmoid D2cc, and bladder D2cc matched within 1% for CPLEX and POGS. Also, we obtained similar EQD2 figures between CPLEX and POGS. POGS was around 18 times faster than CPLEX. Over all patients, total optimization times were 32.1-65.4 seconds for CPLEX and 2.1-3.9 seconds for POGS. // Conclusions: POGS substantially reduced treatment plan optimization time around 18 times for RSBT with similar HR-CTV D90, OAR D2cc values, and EQD2 figure relative to CPLEX, which is significant progress toward clinical translation of RSBT. POGS is also applicable to conventional HDR-BT.
△ Less
Submitted 19 April, 2017;
originally announced April 2017.
-
A Heterogeneous FMM for 2-D Layered Media Helmholtz Equation I: Two & Three Layers Cases
Authors:
Min Hyung Cho,
Jingfang Huang,
Dangxing Chen,
Wei Cai
Abstract:
In this paper, we will introduce a new heterogeneous fast multipole method (H-FMM) for 2-D Helmholtz equation in layered media. To illustrate the main algorithm ideas, we focus on the case of two and three layers in this work. The key compression step in the H-FMM is based on a fact that the multipole expansion for the sources of the free-space Green's function can be used also to compress the far…
▽ More
In this paper, we will introduce a new heterogeneous fast multipole method (H-FMM) for 2-D Helmholtz equation in layered media. To illustrate the main algorithm ideas, we focus on the case of two and three layers in this work. The key compression step in the H-FMM is based on a fact that the multipole expansion for the sources of the free-space Green's function can be used also to compress the far field of the sources of the layered-media or domain Green's function, and a similar result exists for the translation operators for the multipole and local expansions. The mathematical error analysis is shown rigorously by an image representation of the Sommerfeld spectral form of the domain Green's function. As a result, in the H-FMM algorithm, both the "multipole-to-multipole" and "local-to-local" translation operators are the same as those in the free-space case, allowing easy adaptation of existing free-space FMM. All the spatially variant information of the domain Green's function are collected into the "multipole-to-local" translations and therefore the FMM becomes "heterogeneous". The compressed representation further reduces the cost of evaluating the domain Green's function when computing the local direct interactions. Preliminary numerical experiments are presented to demonstrate the efficiency and accuracy of the algorithm with much improved performance over some existing methods for inhomogeneous media. Furthermore, we also show that, due to the equivalence between the complex line image representation and Sommerfeld integral representation of layered media Green's function, the new algorithm can be generalized to multi-layered media with minor modification where details for compression formulas, translation operators, and bookkeeping strategies will be addressed in a subsequent paper.
△ Less
Submitted 27 March, 2017;
originally announced March 2017.
-
Efficient and accurate computation of electric field dyadic Green's function in layered media
Authors:
Min Hyung Cho,
Wei Cai
Abstract:
Concise and explicit formulas for dyadic Green's functions, representing the electric and magnetic fields due to a dipole source placed in layered media, are derived in this paper. First, the electric and magnetic fields in the spectral domain for the half space are expressed using Fresnel reflection and transmission coefficients. Each component of electric field in the spectral domain constitutes…
▽ More
Concise and explicit formulas for dyadic Green's functions, representing the electric and magnetic fields due to a dipole source placed in layered media, are derived in this paper. First, the electric and magnetic fields in the spectral domain for the half space are expressed using Fresnel reflection and transmission coefficients. Each component of electric field in the spectral domain constitutes the spectral Green's function in layered media. The Green's function in the spatial domain is then recovered involving Sommerfeld integrals for each component in the spectral domain. By using Bessel identities, the number of Sommerfeld integrals are reduced, resulting in much simpler and more efficient formulas for numerical implementation compared with previous results. This approach is extended to the three-layer Green's function. In addition, the singular part of the Green's function is naturally separated out so that integral equation methods developed for free space Green's functions can be used with minimal modification. Numerical results are included to show efficiency and accuracy of the derived formulas.
△ Less
Submitted 14 October, 2016;
originally announced October 2016.
-
Steklov Approximations of Harmonic Boundary Value Problems on Planar Regions
Authors:
Giles Auchmuty,
Manki Cho
Abstract:
Error estimates for approximations of harmonic functions on planar regions by subspaces spanned by the first harmonic Steklov eigenfunctions are found. They are based on the explicit representation of harmonic functions in terms of these harmonic Steklov eigenfunctions. When the region is a rectangle of aspect ratio h, some computational results regarding these approximations for problems with kno…
▽ More
Error estimates for approximations of harmonic functions on planar regions by subspaces spanned by the first harmonic Steklov eigenfunctions are found. They are based on the explicit representation of harmonic functions in terms of these harmonic Steklov eigenfunctions. When the region is a rectangle of aspect ratio h, some computational results regarding these approximations for problems with known explicit solutions are described.
△ Less
Submitted 23 September, 2016;
originally announced September 2016.
-
Accurate and Efficient Nystrom Volume Integral Equation Method for the Maxwell equations for Multiple 3-D Scatterers
Authors:
Duan Chen,
Wei Cai,
Brian Zinser,
Min Hyung Cho
Abstract:
In this paper, we develop an accurate and efficient Nyström volume integral equation (VIE) method for the Maxwell equations for large number of 3-D scatterers. The Cauchy Principal Values that arise from the VIE are computed accurately using a finite size exclusion volume together with explicit correction integrals consisting of removable singularities. Also, the hyper-singular integrals are compu…
▽ More
In this paper, we develop an accurate and efficient Nyström volume integral equation (VIE) method for the Maxwell equations for large number of 3-D scatterers. The Cauchy Principal Values that arise from the VIE are computed accurately using a finite size exclusion volume together with explicit correction integrals consisting of removable singularities. Also, the hyper-singular integrals are computed using interpolated quadrature formulae with tensor-product quadrature nodes for several objects, such as cubes and spheres, that are frequently encountered in the design of meta-materials . The resulting Nyström VIE method is shown to have high accuracy with a minimum number of collocation points and demonstrate $p$-convergence for computing the electromagnetic scattering of these objects. Numerical calculations of multiple scatterers of cubic and spherical shapes validate the efficiency and accuracy of the proposed method.
△ Less
Submitted 23 October, 2015;
originally announced October 2015.
-
Boundary Integrals and Approximations of Harmonic Functions
Authors:
Giles Auchmuty,
Manki Cho
Abstract:
Formulae for the value of a harmonic function at the center of a rectangle are found that involve boundary integrals. The central value of a harmonic function is shown to be well approximated by the mean value of the function on the boundary plus a very small number (often just 1 or 2) of additional boundary integrals. The formulae are consequences of Steklov (spectral) representations of the func…
▽ More
Formulae for the value of a harmonic function at the center of a rectangle are found that involve boundary integrals. The central value of a harmonic function is shown to be well approximated by the mean value of the function on the boundary plus a very small number (often just 1 or 2) of additional boundary integrals. The formulae are consequences of Steklov (spectral) representations of the functions that converge exponentially at the center. Similar approximation are found for the central values of solutions of Robin and Neumann boundary value problems. The results are based on explicit expressions for the Steklov eigenvalues and eigenfunctions.
△ Less
Submitted 27 January, 2015; v1 submitted 5 November, 2014;
originally announced November 2014.
-
Robust fast direct integral equation solver for quasi-periodic scattering problems with a large number of layers
Authors:
Min Hyung Cho,
Alex H. Barnett
Abstract:
We present a new boundary integral formulation for time-harmonic wave diffraction from two-dimensional structures with many layers of arbitrary periodic shape, such as multilayer dielectric gratings in TM polarization. Our scheme is robust at all scattering parameters, unlike the conventional quasi-periodic Green's function method which fails whenever any of the layers approaches a Wood anomaly. W…
▽ More
We present a new boundary integral formulation for time-harmonic wave diffraction from two-dimensional structures with many layers of arbitrary periodic shape, such as multilayer dielectric gratings in TM polarization. Our scheme is robust at all scattering parameters, unlike the conventional quasi-periodic Green's function method which fails whenever any of the layers approaches a Wood anomaly. We achieve this by a decomposition into near- and far-field contributions. The former uses the free-space Green's function in a second-kind integral equation on one period of the material interfaces and their immediate left and right neighbors; the latter uses proxy point sources and small least-squares solves (Schur complements) to represent the remaining contribution from distant copies. By using high-order discretization on interfaces (including those with corners), the number of unknowns per layer is kept small. We achieve overall linear complexity in the number of layers, by direct solution of the resulting block tridiagonal system. For device characterization we present an efficient method to sweep over multiple incident angles, and show a $25\times$ speedup over solving each angle independently. We solve the scattering from a 1000-layer structure with $3\times 10^5$ unknowns to 9-digit accuracy in 2.5 minutes on a desktop workstation.
△ Less
Submitted 18 October, 2014;
originally announced October 2014.
-
Super-resolution Line Spectrum Estimation with Block Priors
Authors:
Kumar Vijay Mishra,
Myung Cho,
Anton Kruger,
Weiyu Xu
Abstract:
We address the problem of super-resolution line spectrum estimation of an undersampled signal with block prior information. The component frequencies of the signal are assumed to take arbitrary continuous values in known frequency blocks. We formulate a general semidefinite program to recover these continuous-valued frequencies using theories of positive trigonometric polynomials. The proposed sem…
▽ More
We address the problem of super-resolution line spectrum estimation of an undersampled signal with block prior information. The component frequencies of the signal are assumed to take arbitrary continuous values in known frequency blocks. We formulate a general semidefinite program to recover these continuous-valued frequencies using theories of positive trigonometric polynomials. The proposed semidefinite program achieves super-resolution frequency recovery by taking advantage of known structures of frequency blocks. Numerical experiments show great performance enhancements using our method.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.
-
Precise Semidefinite Programming Formulation of Atomic Norm Minimization for Recovering d-Dimensional ($d\geq 2$) Off-the-Grid Frequencies
Authors:
Weiyu Xu,
Jian-Feng Cai,
Kumar Vijay Mishra,
Myung Cho,
Anton Kruger
Abstract:
Recent research in off-the-grid compressed sensing (CS) has demonstrated that, under certain conditions, one can successfully recover a spectrally sparse signal from a few time-domain samples even though the dictionary is continuous. In particular, atomic norm minimization was proposed in \cite{tang2012csotg} to recover $1$-dimensional spectrally sparse signal. However, in spite of existing resear…
▽ More
Recent research in off-the-grid compressed sensing (CS) has demonstrated that, under certain conditions, one can successfully recover a spectrally sparse signal from a few time-domain samples even though the dictionary is continuous. In particular, atomic norm minimization was proposed in \cite{tang2012csotg} to recover $1$-dimensional spectrally sparse signal. However, in spite of existing research efforts \cite{chi2013compressive}, it was still an open problem how to formulate an equivalent positive semidefinite program for atomic norm minimization in recovering signals with $d$-dimensional ($d\geq 2$) off-the-grid frequencies. In this paper, we settle this problem by proposing equivalent semidefinite programming formulations of atomic norm minimization to recover signals with $d$-dimensional ($d\geq 2$) off-the-grid frequencies.
△ Less
Submitted 2 December, 2013;
originally announced December 2013.
-
Universally Elevating the Phase Transition Performance of Compressed Sensing: Non-Isometric Matrices are Not Necessarily Bad Matrices
Authors:
Weiyu Xu,
Myung Cho
Abstract:
In compressed sensing problems, $\ell_1$ minimization or Basis Pursuit was known to have the best provable phase transition performance of recoverable sparsity among polynomial-time algorithms. It is of great theoretical and practical interest to find alternative polynomial-time algorithms which perform better than $\ell_1$ minimization. \cite{Icassp reweighted l_1}, \cite{Isit reweighted l_1}, \c…
▽ More
In compressed sensing problems, $\ell_1$ minimization or Basis Pursuit was known to have the best provable phase transition performance of recoverable sparsity among polynomial-time algorithms. It is of great theoretical and practical interest to find alternative polynomial-time algorithms which perform better than $\ell_1$ minimization. \cite{Icassp reweighted l_1}, \cite{Isit reweighted l_1}, \cite{XuScaingLaw} and \cite{iterativereweightedjournal} have shown that a two-stage re-weighted $\ell_1$ minimization algorithm can boost the phase transition performance for signals whose nonzero elements follow an amplitude probability density function (pdf) $f(\cdot)$ whose $t$-th derivative $f^{t}(0) \neq 0$ for some integer $t \geq 0$. However, for signals whose nonzero elements are strictly suspended from zero in distribution (for example, constant-modulus, only taking values `$+d$' or `$-d$' for some nonzero real number $d$), no polynomial-time signal recovery algorithms were known to provide better phase transition performance than plain $\ell_1$ minimization, especially for dense sensing matrices. In this paper, we show that a polynomial-time algorithm can universally elevate the phase-transition performance of compressed sensing, compared with $\ell_1$ minimization, even for signals with constant-modulus nonzero elements. Contrary to conventional wisdoms that compressed sensing matrices are desired to be isometric, we show that non-isometric matrices are not necessarily bad sensing matrices. In this paper, we also provide a framework for recovering sparse signals when sensing matrices are not isometric.
△ Less
Submitted 17 July, 2013;
originally announced July 2013.
-
Precisely Verifying the Null Space Conditions in Compressed Sensing: A Sandwiching Algorithm
Authors:
Myung Cho,
Weiyu Xu
Abstract:
In this paper, we propose new efficient algorithms to verify the null space condition in compressed sensing (CS). Given an $(n-m) \times n$ ($m>0$) CS matrix $A$ and a positive $k$, we are interested in computing $\displaystyle α_k = \max_{\{z: Az=0,z\neq 0\}}\max_{\{K: |K|\leq k\}}$ ${\|z_K \|_{1}}{\|z\|_{1}}$, where $K$ represents subsets of $\{1,2,...,n\}$, and $|K|$ is the cardinality of $K$.…
▽ More
In this paper, we propose new efficient algorithms to verify the null space condition in compressed sensing (CS). Given an $(n-m) \times n$ ($m>0$) CS matrix $A$ and a positive $k$, we are interested in computing $\displaystyle α_k = \max_{\{z: Az=0,z\neq 0\}}\max_{\{K: |K|\leq k\}}$ ${\|z_K \|_{1}}{\|z\|_{1}}$, where $K$ represents subsets of $\{1,2,...,n\}$, and $|K|$ is the cardinality of $K$. In particular, we are interested in finding the maximum $k$ such that $α_k < {1}{2}$. However, computing $α_k$ is known to be extremely challenging. In this paper, we first propose a series of new polynomial-time algorithms to compute upper bounds on $α_k$. Based on these new polynomial-time algorithms, we further design a new sandwiching algorithm, to compute the \emph{exact} $α_k$ with greatly reduced complexity. When needed, this new sandwiching algorithm also achieves a smooth tradeoff between computational complexity and result accuracy. Empirical results show the performance improvements of our algorithm over existing known methods; and our algorithm outputs precise values of $α_k$, with much lower complexity than exhaustive search.
△ Less
Submitted 9 August, 2013; v1 submitted 11 June, 2013;
originally announced June 2013.
