Showing 1–29 of 29 results for author: Kim, Y H

On approximation of convex functionals with a convexity constraint and general Lagrangians

Authors: Young Ho Kim

Abstract: In this note, we prove that minimizers of convex functionals with a convexity constraint and a general class of Lagrangians can be approximated by solutions to fourth-order equations of Abreu type. Our result generalizes that of Le (Twisted Harnack inequality and approximation of variational problems with a convexity constraint by singular Abreu equations. Adv. Math. 434 (2023)) where the case of… ▽ More In this note, we prove that minimizers of convex functionals with a convexity constraint and a general class of Lagrangians can be approximated by solutions to fourth-order equations of Abreu type. Our result generalizes that of Le (Twisted Harnack inequality and approximation of variational problems with a convexity constraint by singular Abreu equations. Adv. Math. 434 (2023)) where the case of quadratically growing Lagrangians was treated. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Scaling limit and tail bounds for a random walk model of SOS level lines

Authors: Milind Hegde, Yujin H. Kim, Christian Serio

Abstract: This paper analyzes a random walk model for the level lines appearing in the entropic repulsion phenomena of three-dimensional discrete random interfaces above a hard wall; we are particularly motivated by the low-temperature (2+1)D solid-on-solid (SOS) model, where the emergence of these level lines has been rigorously established. The model we consider is a line ensemble of non-crossing random w… ▽ More This paper analyzes a random walk model for the level lines appearing in the entropic repulsion phenomena of three-dimensional discrete random interfaces above a hard wall; we are particularly motivated by the low-temperature (2+1)D solid-on-solid (SOS) model, where the emergence of these level lines has been rigorously established. The model we consider is a line ensemble of non-crossing random walk bridges above a wall with geometrically growing area tilts. Our main result, which in particular resolves a question of Caputo, Ioffe, and Wachtel (2019), is an edge 1:2:3 scaling limit for this ensemble as the domain size $N$ diverges, with a growing number of walks (including the number of level lines of the SOS model) and high boundary conditions (covering the maximum upper deviation of the SOS level lines). As a key input, we establish Tracy--Widom-type upper tail bounds for each of the relevant curves in the line ensemble. An ingredient which may be of independent interest is a ballot theorem for random walk bridges under a broader range of boundary values than available in the literature. △ Less

Submitted 14 February, 2025; originally announced February 2025.

Comments: 60 pages, 7 figures

MSC Class: 60G50; 60F17; 82B41; 82B20

Dual Frame Completion Problem

Authors: Roza Aceska, Yeon Hyang Kim, Sivaram K. Narayan

Abstract: In this paper we present the construction of an exact dual frame under specific structural assumptions posed on the dual frame. When given a frame $F$ for a finite dimensional Hilbert space, and a set of vectors $H$ that is assumed to be a subset of a dual frame of $F$, we answer the following question: Which dual frame $G$ for $F$ - if it exists - completes the given set $H$? Solutions are explor… ▽ More In this paper we present the construction of an exact dual frame under specific structural assumptions posed on the dual frame. When given a frame $F$ for a finite dimensional Hilbert space, and a set of vectors $H$ that is assumed to be a subset of a dual frame of $F$, we answer the following question: Which dual frame $G$ for $F$ - if it exists - completes the given set $H$? Solutions are explored through a direct and an indirect approach, as well as via the singular value decomposition of the synthesis operator of $F$. △ Less

Submitted 14 January, 2025; originally announced January 2025.

Absolute continuity of non-Gaussian and Gaussian multiplicative chaos measures

Authors: Yujin H. Kim, Xaver Kriechbaum

Abstract: In this article, we consider the multiplicative chaos measure associated to the log-correlated random Fourier series, or random wave model, with i.i.d. coefficients taken from a general class of distributions. This measure was shown to be non-degenerate when the inverse temperature is subcritical by Junnila (Int. Math. Res. Not. 2020 (2020), no. 19, 6169-6196). When the coefficients are Gaussian,… ▽ More In this article, we consider the multiplicative chaos measure associated to the log-correlated random Fourier series, or random wave model, with i.i.d. coefficients taken from a general class of distributions. This measure was shown to be non-degenerate when the inverse temperature is subcritical by Junnila (Int. Math. Res. Not. 2020 (2020), no. 19, 6169-6196). When the coefficients are Gaussian, this measure is an example of a Gaussian multiplicative chaos (GMC), a well-studied universal object in the study of log-correlated fields. In the case of non-Gaussian coefficients, the resulting chaos is not a GMC in general. However, for inverse temperature inside the $L^1$-regime, we construct a coupling between the non-Gaussian multiplicative chaos measure and a GMC such that the two are almost surely mutually absolutely continuous. △ Less

Submitted 25 October, 2024; originally announced October 2024.

Comments: 28 pages, 0 figures

MSC Class: 60G57; 60G20; 60G60; 60G15; 60G30

Interior Harnack inequality and Hölder estimates for linearized Monge-Ampère equations in divergence form with drift

Authors: Young Ho Kim

Abstract: In this paper, we study interior estimates for solutions to linearized Monge-Ampère equations in divergence form with drift terms and the right-hand side containing the divergence of a bounded vector field. Equations of this type appear in the study of semigeostrophic equations in meteorology and the solvability of singular Abreu equations in the calculus of variations with a convexity constraint.… ▽ More In this paper, we study interior estimates for solutions to linearized Monge-Ampère equations in divergence form with drift terms and the right-hand side containing the divergence of a bounded vector field. Equations of this type appear in the study of semigeostrophic equations in meteorology and the solvability of singular Abreu equations in the calculus of variations with a convexity constraint. We prove an interior Harnack inequality and Hölder estimates for solutions to equations of this type in two dimensions, and under an integrability assumption on the Hessian matrix of the Monge-Ampère potential in higher dimensions. Our results extend those of Le (Analysis of Monge-Ampère equations, Graduate Studies in Mathematics, vol.240, American Mathematical Society, 2024) to equations with drift terms. △ Less

Submitted 5 March, 2025; v1 submitted 19 May, 2024; originally announced May 2024.

Comments: Final version to appear in Calculus of Variations and Partial Differential Equations

On the One-dimensional Singular Abreu Equations

Authors: Young Ho Kim

Abstract: Singular fourth-order Abreu equations have been used to approximate minimizers of convex functionals subject to a convexity constraint in dimensions higher than or equal to two. For Abreu type equations, they often exhibit different solvability phenomena in dimension one and dimensions at least two. We prove the analogues of these results for the variational problem and singular Abreu equations in… ▽ More Singular fourth-order Abreu equations have been used to approximate minimizers of convex functionals subject to a convexity constraint in dimensions higher than or equal to two. For Abreu type equations, they often exhibit different solvability phenomena in dimension one and dimensions at least two. We prove the analogues of these results for the variational problem and singular Abreu equations in dimension one, and use the approximation scheme to obtain a characterization of limiting minimizers to the one-dimensional variational problem. △ Less

Submitted 22 August, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: final version to appear in Applied Mathematics and Optimization

The shape of the front of multidimensional branching Brownian motion

Authors: Yujin H. Kim, Ofer Zeitouni

Abstract: We study the shape of the outer envelope of a branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$. We focus on the extremal particles: those whose norm is within $O(1)$ of the maximal norm amongst the particles alive at time $t$. Our main result is a scaling limit, with exponent $3/2$, for the outer-envelope of the BBM around each extremal particle (the "front"); the scaling limit is a co… ▽ More We study the shape of the outer envelope of a branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$. We focus on the extremal particles: those whose norm is within $O(1)$ of the maximal norm amongst the particles alive at time $t$. Our main result is a scaling limit, with exponent $3/2$, for the outer-envelope of the BBM around each extremal particle (the "front"); the scaling limit is a continuous random surface given explicitly in terms of a Bessel(3) process. Towards this end, we introduce a point process that captures the full landscape around each extremal particle and show convergence in distribution to an explicit point process. This complements the global description of the extremal process given in Berestycki et. al. (Ann. Probab. 52 (2024), no. 3, 955-982), where the local behavior at directions transversal to the radial component of the extremal particles is not addressed. △ Less

Submitted 20 June, 2025; v1 submitted 22 January, 2024; originally announced January 2024.

Comments: 28 pages, 4 figures

MSC Class: 60D05; 60G70; 60J80; 60J60; 60G55

On level line fluctuations of SOS surfaces above a wall

Authors: Patrizio Caddeo, Yujin H. Kim, Eyal Lubetzky

Abstract: We study the low temperature $(2+1)$D Solid-On-Solid model on $[[1, L ]]^2$ with zero boundary conditions and nonnegative heights (a floor at height $0$). Caputo et al. (2016) established that this random surface typically admits either $\mathfrak h $ or $\mathfrak h+1$ many nested macroscopic level line loops $\{\mathcal L_i\}_{i\geq 0}$ for an explicit $\mathfrak h\asymp \log L$, and its top loo… ▽ More We study the low temperature $(2+1)$D Solid-On-Solid model on $[[1, L ]]^2$ with zero boundary conditions and nonnegative heights (a floor at height $0$). Caputo et al. (2016) established that this random surface typically admits either $\mathfrak h $ or $\mathfrak h+1$ many nested macroscopic level line loops $\{\mathcal L_i\}_{i\geq 0}$ for an explicit $\mathfrak h\asymp \log L$, and its top loop $\mathcal L_0$ has cube-root fluctuations: e.g., if $ρ(x)$ is the vertical displacement of $\mathcal L_0$ from the bottom boundary point $(x,0)$, then $\max ρ(x) = L^{1/3+o(1)}$ over $x\in I_0:=L/2+[[-L^{2/3},L^{2/3}]]$. It is believed that rescaling $ρ$ by $L^{1/3}$ and $I_0$ by $L^{2/3}$ would yield a limit law of a diffusion on $[-1,1]$. However, no nontrivial lower bound was known on $ρ(x)$ for a fixed $x\in I_0$ (e.g., $x=\frac L2$), let alone on $\minρ(x)$ in $I_0$, to complement the bound on $\maxρ(x)$. Here we show a lower bound of the predicted order $L^{1/3}$: for every $ε>0$ there exists $δ>0$ such that $\min_{x\in I_0} ρ(x) \geq δL^{1/3}$ with probability at least $1-ε$. The proof relies on the Ornstein--Zernike machinery due to Campanino-Ioffe-Velenik, and a result of Ioffe, Shlosman and Toninelli (2015) that rules out pinning in Ising polymers with modified interactions along the boundary. En route, we refine the latter result into a Brownian excursion limit law, which may be of independent interest. We further show that in a $ K L^{2/3}\times K L^{2/3}$ box with boundary conditions $\mathfrak h-1,\mathfrak h,\mathfrak h,\mathfrak h$ (i.e., $\mathfrak h-1$ on the bottom side and $\mathfrak h$ elsewhere), the limit of $ρ(x)$ as $K,L\to\infty$ is a Ferrari--Spohn diffusion. △ Less

Submitted 22 October, 2024; v1 submitted 16 September, 2023; originally announced September 2023.

Comments: 63 pages, 2 figures. Final version

MSC Class: 60K35; 82B20; 82B24; 82B41

Journal ref: Forum of Mathematics, Sigma 12 (2024) e91

KPP traveling waves in the half-space

Authors: Julien Berestycki, Cole Graham, Yujin H. Kim, Bastien Mallein

Abstract: We study traveling waves of the KPP equation in the half-space with Dirichlet boundary conditions. We show that minimal-speed waves are unique up to translation and rotation but faster waves are not. We represent our waves as Laplace transforms of martingales associated to branching Brownian motion in the half-plane with killing on the boundary. We thereby identify the waves' asymptotic behavior… ▽ More We study traveling waves of the KPP equation in the half-space with Dirichlet boundary conditions. We show that minimal-speed waves are unique up to translation and rotation but faster waves are not. We represent our waves as Laplace transforms of martingales associated to branching Brownian motion in the half-plane with killing on the boundary. We thereby identify the waves' asymptotic behavior and uncover a novel feature of the minimal-speed wave $Φ$. Far from the boundary, $Φ$ converges to a logarithmic shift of the 1D wave $w$ of the same speed: $\displaystyle \lim_{y \to \infty} Φ\big(x + \tfrac{1}{\sqrt{2}}\log y, y\big) = w(x)$. △ Less

Submitted 11 August, 2023; v1 submitted 26 May, 2023; originally announced May 2023.

Comments: 54 pages. Added Remark 1.1 on the applicability of our methods to more general, "KPP" nonlinearities. Minor typos corrected

MSC Class: 35C07 (Primary); 35K57; 60J80; 35B53; 35B40; 60J65 (Secondary)

Singular Abreu equations and linearized Monge-Ampère equations with drifts

Authors: Young Ho Kim, Nam Q. Le, Ling Wang, Bin Zhou

Abstract: We study the solvability of singular Abreu equations which arise in the approximation of convex functionals subject to a convexity constraint. Previous works established the solvability of their second boundary value problems either in two dimensions, or in higher dimensions under either a smallness condition or a radial symmetry condition. Here, we solve the higher dimensional case by transformin… ▽ More We study the solvability of singular Abreu equations which arise in the approximation of convex functionals subject to a convexity constraint. Previous works established the solvability of their second boundary value problems either in two dimensions, or in higher dimensions under either a smallness condition or a radial symmetry condition. Here, we solve the higher dimensional case by transforming singular Abreu equations into linearized Monge-Ampère equations with drifts. We establish global Hölder estimates for the linearized Monge-Ampère equation with drifts under suitable hypotheses, and then use them to the regularity and solvability of the second boundary value problem for singular Abreu equations in higher dimensions. Many cases with general right-hand side will also be discussed. △ Less

Submitted 5 August, 2024; v1 submitted 23 September, 2022; originally announced September 2022.

Comments: v2: final version to appear in JEMS

The extremal point process of branching Brownian motion in $\mathbb{R}^d$

Authors: Julien Berestycki, Yujin H. Kim, Eyal Lubetzky, Bastien Mallein, Ofer Zeitouni

Abstract: We consider a branching Brownian motion in $\mathbb{R}^d$ with $d \geq 1$ in which the position $X_t^{(u)}\in \mathbb{R}^d$ of a particle $u$ at time $t$ can be encoded by its direction $θ^{(u)}_t \in \mathbb{S}^{d-1}$ and its distance $R^{(u)}_t$ to 0. We prove that the {\it extremal point process} $\sum δ_{θ^{(u)}_t, R^{(u)}_t - m_t^{(d)}}$ (where the sum is over all particles alive at time $t$… ▽ More We consider a branching Brownian motion in $\mathbb{R}^d$ with $d \geq 1$ in which the position $X_t^{(u)}\in \mathbb{R}^d$ of a particle $u$ at time $t$ can be encoded by its direction $θ^{(u)}_t \in \mathbb{S}^{d-1}$ and its distance $R^{(u)}_t$ to 0. We prove that the {\it extremal point process} $\sum δ_{θ^{(u)}_t, R^{(u)}_t - m_t^{(d)}}$ (where the sum is over all particles alive at time $t$ and $m^{(d)}_t$ is an explicit centring term) converges in distribution to a randomly shifted decorated Poisson point process on $\mathbb{S}^{d-1} \times \mathbb{R}$. More precisely, the so-called {\it clan-leaders} form a Cox process with intensity proportional to $D_\infty(θ) e^{-\sqrt{2}r} ~\mathrm{d} r ~\mathrm{d} θ$, where $D_\infty(θ)$ is the limit of the derivative martingale in direction $θ$ and the decorations are i.i.d. copies of the decoration process of the standard one-dimensional branching Brownian motion. This proves a conjecture of Stasiński, Berestycki and Mallein (Ann. Inst. H. Poincaré 57:1786--1810, 2021), and builds on that paper and on Kim, Lubetzky and Zeitouni (arXiv:2104.07698). △ Less

Submitted 29 November, 2023; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 20 pages, 4 figures; Version 2 includes referees comments

MSC Class: 60J65; 60J70; 60J80

The maximum of branching Brownian motion in $\mathbb{R}^d$

Authors: Yujin H. Kim, Eyal Lubetzky, Ofer Zeitouni

Abstract: We show that in branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$, the law of $R_t^*$, the maximum distance of a particle from the origin at time $t$, converges as $t\to\infty$ to the law of a randomly shifted Gumbel random variable. We show that in branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$, the law of $R_t^*$, the maximum distance of a particle from the origin at time $t$, converges as $t\to\infty$ to the law of a randomly shifted Gumbel random variable. △ Less

Submitted 24 August, 2022; v1 submitted 15 April, 2021; originally announced April 2021.

Comments: 53 pages, 7 figures. Minor typos corrected. Final version, to appear in the Annals of Applied Probability

MSC Class: 60J65; 60J70; 60J80

The lower tail of the half-space KPZ equation

Authors: Yujin H. Kim

Abstract: We establish the first tight bound on the lower tail probability of the half-space KPZ equation with Neumann boundary parameter $A = -1/2$ and narrow-wedge initial data. When the tail depth is of order $T^{2/3}$, the lower bound demonstrates a crossover between a regime of super-exponential decay with exponent $\frac{5}{2}$ (and leading pre-factor $\frac{2}{15 π}T^{1/3}$) and a regime with exponen… ▽ More We establish the first tight bound on the lower tail probability of the half-space KPZ equation with Neumann boundary parameter $A = -1/2$ and narrow-wedge initial data. When the tail depth is of order $T^{2/3}$, the lower bound demonstrates a crossover between a regime of super-exponential decay with exponent $\frac{5}{2}$ (and leading pre-factor $\frac{2}{15 π}T^{1/3}$) and a regime with exponent $3$ (and leading pre-factor $\frac{1}{24}$); the upper bound demonstrates a crossover between a regime with exponent $\frac{3}{2}$ (and arbitrarily small pre-factor) and a regime with exponent $3$ (and leading pre-factor $\frac{1}{24}$). We show that, given a crude leading-order asymptotic in the Stokes region (Definition $1.7$, first defined in (Duke Math J., [Bot17])) for the Ablowitz-Segur solution to the Painlevé II equation, the upper bound on the lower tail probability can be improved to demonstrate the same crossover as the lower bound. We also establish novel bounds on the large deviations of the GOE point process. △ Less

Submitted 25 September, 2021; v1 submitted 19 May, 2019; originally announced May 2019.

Comments: Journal version: minor corrections, slight re-ordering of introduction. 39 pages

MSC Class: 60H15; 60B20; 45M05; 60F10; 60G55; 60H25

Journal ref: Stochastic Process. Appl. 142 (2021) 365-406

A Refined Conjecture for the Variance of Gaussian Primes Across Sectors

Authors: Ryan C. Chen, Yujin H. Kim, Jared D. Lichtman, Steven J. Miller, Alina Shubina, Shannon Sweitzer, Ezra Waxman, Eric Winsor, Jianing Yang

Abstract: We derive a refined conjecture for the variance of Gaussian primes across sectors, with a power saving error term, by applying the L-functions Ratios Conjecture. We observe a bifurcation point in the main term, consistent with the Random Matrix Theory (RMT) heuristic previously proposed by Rudnick and Waxman. Our model also identifies a second bifurcation point, undetected by the RMT model, that e… ▽ More We derive a refined conjecture for the variance of Gaussian primes across sectors, with a power saving error term, by applying the L-functions Ratios Conjecture. We observe a bifurcation point in the main term, consistent with the Random Matrix Theory (RMT) heuristic previously proposed by Rudnick and Waxman. Our model also identifies a second bifurcation point, undetected by the RMT model, that emerges upon taking into account lower order terms. For sufficiently small sectors, we moreover prove an unconditional result that is consistent with our conjecture down to lower order terms. △ Less

Submitted 22 February, 2021; v1 submitted 22 January, 2019; originally announced January 2019.

Comments: 47 pages. Minor revisions. Appendix with relevant Mathematica code, included. Accepted for publication in Experimental Mathematics

Journal ref: Experimental Mathematics (2020)

Limiting Distributions in Generalized Zeckendorf Decompositions

Authors: Alexandre Gueganic, Granger Carty, Yujin H. Kim, Steven J. Miller, Alina Shubina, Shannon Sweitzer, Eric Winsor, Jianing Yang

Abstract: An equivalent definition of the Fibonacci numbers is that they are the unique sequence such that every integer can be written uniquely as a sum of non-adjacent terms. We can view this as we have bins of length 1, we can take at most one element from a bin, and if we choose an element from a bin we cannot take one from a neighboring bin. We generalize to allowing bins of varying length and restrict… ▽ More An equivalent definition of the Fibonacci numbers is that they are the unique sequence such that every integer can be written uniquely as a sum of non-adjacent terms. We can view this as we have bins of length 1, we can take at most one element from a bin, and if we choose an element from a bin we cannot take one from a neighboring bin. We generalize to allowing bins of varying length and restrictions as to how many elements may be used in a decomposition. We derive conditions on when the resulting sequences have uniqueness of decomposition, and (similar to the Fibonacci case) when the number of summands converges to a Gaussian; the main tool in the proofs here is the Lyaponuv Central Limit Theorem. △ Less

Submitted 6 October, 2018; originally announced October 2018.

Comments: Version 1.0, 18 pages

MSC Class: 11G05 (primary); 11G07; 11G40; 11M41 (secondary)

Journal ref: The Fibonacci Quarterly 57 (2019) 109-125

Scalability of frames generated by dynamical operators

Authors: Roza Aceska, Yeon Hyang Kim

Abstract: Let $A$ be an operator on {a separable } Hilbert space $\cH$, and let $G \subset \cH$. It is known that - under appropriate conditions on $A$ and $G$ - the set of iterations $F_G(A)= \{A^j \gbf \; | \; \gbf \in G, \; 0 \leq j \leq L(\gbf) \} $ is a frame for $\cH$. We call $F_G(A)$ a dynamical frame for $\cH$, and explore further its properties; in particular, we show that the canonical dual frame… ▽ More Let $A$ be an operator on {a separable } Hilbert space $\cH$, and let $G \subset \cH$. It is known that - under appropriate conditions on $A$ and $G$ - the set of iterations $F_G(A)= \{A^j \gbf \; | \; \gbf \in G, \; 0 \leq j \leq L(\gbf) \} $ is a frame for $\cH$. We call $F_G(A)$ a dynamical frame for $\cH$, and explore further its properties; in particular, we show that the canonical dual frame of $F_G(A)$ also has an iterative set structure. We explore the relations between the operator $A$, the set $G$ and the number of iterations $L$ which ensure that the system $F_G(A)$ is a scalable frame. We give a general statement on frame scalability, We and study in detail the case when $A$ is a normal operator, utilizing the unitary diagonalization in finite dimensions. In addition, we answer the question of when $F_G(A)$ is a scalable frame in several special cases involving block-diagonal and companion operators. △ Less

Submitted 1 December, 2016; v1 submitted 19 August, 2016; originally announced August 2016.

Minimal scalings and structural properties of scalable frames

Authors: Alice Chan, Rachel Domagalski, Yeon Hyang Kim, Sivaram K. Narayan, Hong Suh, Xingyu Zhang

Abstract: For a unit-norm frame $F = \{f_i\}_{i=1}^k$ in $\R^n$, a scaling is a vector $c=(c(1),\dots,c(k))\in \R_{\geq 0}^k$ such that $\{\sqrt{c(i)}f_i\}_{i =1}^k$ is a Parseval frame in $\R^n$. If such a scaling exists, $F$ is said to be scalable. A scaling $c$ is a minimal scaling if $\{f_i : c(i)>0\}$ has no proper scalable subframe. It is known that the set of all scalings of $F$ is a convex polytope… ▽ More For a unit-norm frame $F = \{f_i\}_{i=1}^k$ in $\R^n$, a scaling is a vector $c=(c(1),\dots,c(k))\in \R_{\geq 0}^k$ such that $\{\sqrt{c(i)}f_i\}_{i =1}^k$ is a Parseval frame in $\R^n$. If such a scaling exists, $F$ is said to be scalable. A scaling $c$ is a minimal scaling if $\{f_i : c(i)>0\}$ has no proper scalable subframe. It is known that the set of all scalings of $F$ is a convex polytope whose vertices correspond to minimal scalings. In this paper, we provide an estimation of the number of minimal scalings of a scalable frame and a characterization of when minimal scalings are affinely dependent. Using this characterization, we can conclude that all strict scalings $c=(c(1),\dots,c(k))\in \R_{> 0}^k$ of $F$ have the same structural property. We also present the uniqueness of orthogonal partitioning property of any set of minimal scalings, which provides all possible tight subframes of a given scaled frame. △ Less

Submitted 11 October, 2016; v1 submitted 10 August, 2015; originally announced August 2015.

Center of gravity and a characterization of parabolas

Authors: Dong-Soo Kim, Young Ho Kim, Sookhee Park

Abstract: Archimedes determined the center of gravity of a parabolic section as follows. For a parabolic section between a parabola and any chord $AB$ on the parabola, let us denote by $P$ the point on the parabola where the tangent is parallel to $AB$ and by $V$ the point where the line through $P$ parallel to the axis of the parabola meets the chord $AB$. Then the center $G$ of gravity of the section lies… ▽ More Archimedes determined the center of gravity of a parabolic section as follows. For a parabolic section between a parabola and any chord $AB$ on the parabola, let us denote by $P$ the point on the parabola where the tangent is parallel to $AB$ and by $V$ the point where the line through $P$ parallel to the axis of the parabola meets the chord $AB$. Then the center $G$ of gravity of the section lies on $PV$ called the axis of the parabolic section with $PG=\frac{3}{5}PV$. In this paper, we study strictly locally convex plane curves satisfying the above center of gravity properties. As a result, we prove that among strictly locally convex plane curves, those properties characterize parabolas. △ Less

Submitted 31 January, 2015; originally announced February 2015.

Comments: 11pages

MSC Class: 53A04

Factor posets of frames and dual frames in finite dimensions

Authors: Kileen Berry, Martin S. Copenhaver, Eric Evert, Yeon Hyang Kim, Troy Klingler, Sivaram K. Narayan, Son T. Nghiem

Abstract: We consider frames in a finite-dimensional Hilbert space where frames are exactly the spanning sets of the vector space. A factor poset of a frame is defined to be a collection of subsets of $I$, the index set of our vectors, ordered by inclusion so that nonempty $J \subseteq I$ is in the factor poset if and only if $\{f_i\}_{i \in J}$ is a tight frame. We first study when a poset… ▽ More We consider frames in a finite-dimensional Hilbert space where frames are exactly the spanning sets of the vector space. A factor poset of a frame is defined to be a collection of subsets of $I$, the index set of our vectors, ordered by inclusion so that nonempty $J \subseteq I$ is in the factor poset if and only if $\{f_i\}_{i \in J}$ is a tight frame. We first study when a poset $P\subseteq 2^I$ is a factor poset of a frame and then relate the two topics by discussing the connections between the factor posets of frames and their duals. Additionally we discuss duals with regard to $\ell^p$ minimization. △ Less

Submitted 15 November, 2014; originally announced November 2014.

Comments: This work was completed during the 2012 Central Michigan University NSF-REU program. Submitted

MSC Class: 42C15; 05B20; 15A03

Journal ref: Involve 9 (2016) 237-248

Cheng-Yau operator and Gauss map of surfaces of revolution

Authors: Dong-Soo Kim, Jong Ryul Kim, Young Ho Kim

Abstract: We study the Gauss map $G$ of surfaces of revolution in the 3-dimensional Euclidean space ${\mathbb{E}^3}$ with respect to the so called Cheng-Yau operator $\square$ acting on the functions defined on the surfaces. As a result, we establish the classification theorem that the only surfaces of revolution with Gauss map $G$ satisfying $\square G=AG$ for some $3\times3$ matrix $A$ are the planes, rig… ▽ More We study the Gauss map $G$ of surfaces of revolution in the 3-dimensional Euclidean space ${\mathbb{E}^3}$ with respect to the so called Cheng-Yau operator $\square$ acting on the functions defined on the surfaces. As a result, we establish the classification theorem that the only surfaces of revolution with Gauss map $G$ satisfying $\square G=AG$ for some $3\times3$ matrix $A$ are the planes, right circular cones, circular cylinders and spheres. △ Less

Submitted 9 November, 2014; originally announced November 2014.

Comments: 14pages

MSC Class: 53A05; 53B25

Area of triangles associated with a curve II

Authors: Dong-Soo Kim, Wonyong Kim, Young Ho Kim, Dae Heui Park

Abstract: It is well known that the area $U$ of the triangle formed by three tangents to a parabola $X$ is half of the area $T$ of the triangle formed by joining their points of contact. In this article, we consider whether this property and similar ones characterizes parabolas. As a result, we present three conditions which are necessary and sufficient for a strictly convex curve in the plane to be an open… ▽ More It is well known that the area $U$ of the triangle formed by three tangents to a parabola $X$ is half of the area $T$ of the triangle formed by joining their points of contact. In this article, we consider whether this property and similar ones characterizes parabolas. As a result, we present three conditions which are necessary and sufficient for a strictly convex curve in the plane to be an open part of a parabola. △ Less

Submitted 10 April, 2014; originally announced April 2014.

Comments: 12 pages. arXiv admin note: substantial text overlap with arXiv:1401.4751

MSC Class: 53A04

On the Archimedean characterization of parabolas

Authors: Dong-Soo Kim, Young Ho Kim

Abstract: Archimedes knew that the area between a parabola and any chord $AB$ on the parabola is four thirds of the area of triangle $ΔABP$ where P is the point on the parabola at which the tangent is parallel to $AB$. We consider whether this property (and similar ones) characterizes parabolas. We present five conditions which are necessary and sufficient for a strictly convex curve in the plane to be a pa… ▽ More Archimedes knew that the area between a parabola and any chord $AB$ on the parabola is four thirds of the area of triangle $ΔABP$ where P is the point on the parabola at which the tangent is parallel to $AB$. We consider whether this property (and similar ones) characterizes parabolas. We present five conditions which are necessary and sufficient for a strictly convex curve in the plane to be a parabola. △ Less

Submitted 14 May, 2013; originally announced May 2013.

Comments: 13 pages

MSC Class: 53A04

Maximum Robustness and Surgery of Frames in finite dimensions

Authors: Martin S. Copenhaver, Yeon Hyang Kim, Cortney Logan, Kyanne Mayfield, Sivaram K. Narayan, Jonathan Sheperd

Abstract: We consider frames in a finite-dimensional Hilbert space Hn where frames are exactly the spanning sets of the vector space. We present a method to determine the maximum robustness of a frame. We present results on tight subframes and surgery of frames. We also answer the question of when length surgery resulting in a tight frame set for Hn is possible. We consider frames in a finite-dimensional Hilbert space Hn where frames are exactly the spanning sets of the vector space. We present a method to determine the maximum robustness of a frame. We present results on tight subframes and surgery of frames. We also answer the question of when length surgery resulting in a tight frame set for Hn is possible. △ Less

Submitted 5 March, 2013; originally announced March 2013.

Comments: This work was done as a part of the REU program in Summer 2011. Submitted

MSC Class: 42C15; 05B20; 15A03

Diagram vectors and Tight Frame Scaling in Finite Dimensions

Authors: Martin S. Copenhaver, Yeon Hyang Kim, Cortney Logan, Kyanne Mayfield, Sivaram K. Narayan, Matthew J. Petro, Jonathan Sheperd

Abstract: We consider frames in a finite-dimensional Hilbert space Hn where frames are exactly the spanning sets of the vector space. The diagram vector of a vector in R2 was previously defined using polar coordinates and was used to characterize tight frames in R2 in a geometric fashion. Reformulating the definition of a diagram vector in R2 we provide a natural extension of this notion to Rn and Cn. Using… ▽ More We consider frames in a finite-dimensional Hilbert space Hn where frames are exactly the spanning sets of the vector space. The diagram vector of a vector in R2 was previously defined using polar coordinates and was used to characterize tight frames in R2 in a geometric fashion. Reformulating the definition of a diagram vector in R2 we provide a natural extension of this notion to Rn and Cn. Using the diagram vectors we give a characterization of tight frames in Rn or Cn. Further we provide a characterization of when a unit-norm frame in Rn or Cn can be scaled to a tight frame. This classification allows us to determine all scaling coefficients that make a unit-norm frame into a tight frame. △ Less

Submitted 5 March, 2013; originally announced March 2013.

Comments: This work was done as a part of the REU program in Summer 2011. Submitted

MSC Class: 42C15; 05B20; 15A03

Some characterizations of spheres and elliptic paraboloids II

Authors: Dong-Soo Kim, Young Ho Kim

Abstract: We show some characterizations of hyperspheres in the $(n+1)$-dimensional Euclidean space ${\Bbb E}^{n+1}$ with intrinsic and extrinsic properties such as the $n$-dimensional area of the sections cut off by hyperplanes, the $(n+1)$-dimensional volume of regions between parallel hyperplanes, and the $n$-dimensional surface area of regions between parallel hyperplanes. We also establish two characte… ▽ More We show some characterizations of hyperspheres in the $(n+1)$-dimensional Euclidean space ${\Bbb E}^{n+1}$ with intrinsic and extrinsic properties such as the $n$-dimensional area of the sections cut off by hyperplanes, the $(n+1)$-dimensional volume of regions between parallel hyperplanes, and the $n$-dimensional surface area of regions between parallel hyperplanes. We also establish two characterizations of elliptic paraboloids in the $(n+1)$-dimensional Euclidean space ${\Bbb E}^{n+1}$ with the $n$-dimensional area of the sections cut off by hyperplanes and the $(n+1)$-dimensional volume of regions between parallel hyperplanes. For further study, we suggest a few open problems. △ Less

Submitted 27 August, 2012; originally announced August 2012.

Comments: 10 pages

MSC Class: 53A05; 53A07

On q-Berstein and q-Hermite polynomials

Authors: T. Kim, J. Choi, Y. H. Kim, C. S. Ryoo

Abstract: In this paper, we investigate the properties of q-Hermite polynomials related to q-Bernstein polynomials. From these properties, we derive some interesting relations between q-Berstein polynomials and q-Hermite polynomials. In this paper, we investigate the properties of q-Hermite polynomials related to q-Bernstein polynomials. From these properties, we derive some interesting relations between q-Berstein polynomials and q-Hermite polynomials. △ Less

Submitted 24 January, 2011; originally announced January 2011.

Comments: 7n pages

MSC Class: 11B68; 11S80

On the fermionic p-adic integral representation of Bernstein polynomials associated with Euler numbers and polynomials

Authors: T. Kim, J. Choi, Y. H. Kim, C. S. Ryoo

Abstract: In this paper, we give a fermionic p-adic integral representions of Benstein polynomials associated with Euler numbers and polynomials. Finally, we give some interesting identities for the Euler numbers by using the properties of our integral represention. In this paper, we give a fermionic p-adic integral representions of Benstein polynomials associated with Euler numbers and polynomials. Finally, we give some interesting identities for the Euler numbers by using the properties of our integral represention. △ Less

Submitted 30 August, 2010; originally announced August 2010.

Comments: 10 pages

MSC Class: 11B68; 11S80

New identities involving q-Euler polynomials of higher order

Authors: Taekyun Kim, Y. H. Kim

Abstract: In this paper we give new identities involving q-Euler polynomials of higher order. In this paper we give new identities involving q-Euler polynomials of higher order. △ Less

Submitted 4 January, 2010; originally announced January 2010.

Comments: 11 pages

MSC Class: 11B68

A hysteresis model for two-dimensional input signals

Authors: S. A. Belbas, Young Hee Kim

Abstract: We formulate and analyze a new model of vector hysteresis for the case of two-dimensional input signals. We prove certain properties of this model and we present the solutions to two identification problems connected with our model. We formulate and analyze a new model of vector hysteresis for the case of two-dimensional input signals. We prove certain properties of this model and we present the solutions to two identification problems connected with our model. △ Less

Submitted 26 April, 2008; originally announced April 2008.