-
AI Driven Laser Parameter Search: Inverse Design of Photonic Surfaces using Greedy Surrogate-based Optimization
Authors:
Luka Grbcic,
Minok Park,
Juliane Müller,
Vassilia Zorba,
Wibe Albert de Jong
Abstract:
Photonic surfaces designed with specific optical characteristics are becoming increasingly important for use in in various energy harvesting and storage systems. , In this study, we develop a surrogate-based optimization approach for designing such surfaces. The surrogate-based optimization framework employs the Random Forest algorithm and uses a greedy, prediction-based exploration strategy to id…
▽ More
Photonic surfaces designed with specific optical characteristics are becoming increasingly important for use in in various energy harvesting and storage systems. , In this study, we develop a surrogate-based optimization approach for designing such surfaces. The surrogate-based optimization framework employs the Random Forest algorithm and uses a greedy, prediction-based exploration strategy to identify the laser fabrication parameters that minimize the discrepancy relative to a user-defined target optical characteristics. We demonstrate the approach on two synthetic benchmarks and two specific cases of photonic surface inverse design targets. It exhibits superior performance when compared to other optimization algorithms across all benchmarks. Additionally, we demonstrate a technique of inverse design warm starting for changed target optical characteristics which enhances the performance of the introduced approach.
△ Less
Submitted 20 June, 2024;
originally announced July 2024.
-
Random surfaces and lattice Yang-Mills
Authors:
Sky Cao,
Minjae Park,
Scott Sheffield
Abstract:
We study Wilson loop expectations in lattice Yang-Mills models with a compact Lie group $G$. Using tools recently introduced in a companion paper, we provide alternate derivations, interpretations, and generalizations of several recent theorems about Brownian motion limits (Dahlqvist), lattice string trajectories (Chatterjee and Jafarov) and surface sums (Magee and Puder). We show further that one…
▽ More
We study Wilson loop expectations in lattice Yang-Mills models with a compact Lie group $G$. Using tools recently introduced in a companion paper, we provide alternate derivations, interpretations, and generalizations of several recent theorems about Brownian motion limits (Dahlqvist), lattice string trajectories (Chatterjee and Jafarov) and surface sums (Magee and Puder). We show further that one can express Wilson loop expectations as sums over embedded planar maps in a manner that applies to any matrix dimension $N \geq 1$, any inverse temperature $β>0$, and any lattice dimension $d \geq 2$.
When $G=\mathrm{U}(N)$, the embedded maps we consider are pairs $(\mathcal M, φ)$ where $\mathcal M$ is a planar (or higher genus) map and $φ$ is a graph homomorphism from $\mathcal M$ to a lattice such as $\mathbb Z^d$. The faces of $\mathcal M$ come in two partite classes: $\textit{edge-faces}$ (each mapped by $φ$ onto a single edge) and $\textit{plaquette-faces}$ (each mapped by $φ$ onto a single plaquette). The weight of a lattice edge $e$ is the Weingarten function applied to the partition whose parts are given by half the boundary lengths of the faces in $φ^{-1}(e)$. (The Weingarten function becomes quite simple in the $N\to \infty$ limit.) The overall weight of an embedded map is proportional to $N^χ$ (where $χ$ is the Euler characteristic) times the product of the edge weights. We establish analogous results for $\mathrm{SU}(N)$, $\mathrm{O}(N)$, $\mathrm{SO}(N)$, and $\mathrm{Sp}(N/2)$, where the embedded surfaces and weights take a different form. There are several variants of these constructions. In this context, we present a list of relevant open problems spanning several disciplines: random matrix theory, representation theory, statistical physics, and the theory of random surfaces, including random planar maps and Liouville quantum gravity.
△ Less
Submitted 8 December, 2023; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Wilson loop expectations as sums over surfaces on the plane
Authors:
Minjae Park,
Joshua Pfeffer,
Scott Sheffield,
Pu Yu
Abstract:
Although lattice Yang-Mills theory on finite subgraphs of $\mathbb Z^d$ is easy to rigorously define, the construction of a satisfactory continuum theory on $\mathbb R^d$ is a major open problem when $d \geq 3$. Such a theory should in some sense assign a Wilson loop expectation to each suitable finite collection $\mathcal L$ of loops in $\mathbb R^d$. One classical approach is to try to represent…
▽ More
Although lattice Yang-Mills theory on finite subgraphs of $\mathbb Z^d$ is easy to rigorously define, the construction of a satisfactory continuum theory on $\mathbb R^d$ is a major open problem when $d \geq 3$. Such a theory should in some sense assign a Wilson loop expectation to each suitable finite collection $\mathcal L$ of loops in $\mathbb R^d$. One classical approach is to try to represent this expectation as a sum over surfaces with boundary $\mathcal L$. There are some formal/heuristic ways to make sense of this notion, but they typically yield an ill-defined difference of infinities.
In this paper, we show how to make sense of Yang-Mills integrals as surface sums for $d=2$, where the continuum theory is more accessible. Applications include several new explicit calculations, a new combinatorial interpretation of the master field, and a new probabilistic proof of the Makeenko-Migdal equation.
△ Less
Submitted 5 October, 2023; v1 submitted 3 May, 2023;
originally announced May 2023.
-
Brownian loops on non-smooth surfaces and the Polyakov-Alvarez formula
Authors:
Minjae Park,
Joshua Pfeffer,
Scott Sheffield
Abstract:
Let $ρ$ be compactly supported on $D \subset \mathbb R^2$. Endow $\mathbb R^2$ with the metric $e^ρ(dx_1^2 + dx_2^2)$. As $δ\to 0$ the set of Brownian loops centered in $D$ with length at least $δ$ has measure $$\frac{\text{area}(D)}{2πδ} + \frac{1}{48π}(ρ,ρ)_{\nabla}+ o(1).$$ When $ρ$ is smooth, this follows from the classical Polyakov-Alvarez formula. We show that the above also holds if $ρ$ is…
▽ More
Let $ρ$ be compactly supported on $D \subset \mathbb R^2$. Endow $\mathbb R^2$ with the metric $e^ρ(dx_1^2 + dx_2^2)$. As $δ\to 0$ the set of Brownian loops centered in $D$ with length at least $δ$ has measure $$\frac{\text{area}(D)}{2πδ} + \frac{1}{48π}(ρ,ρ)_{\nabla}+ o(1).$$ When $ρ$ is smooth, this follows from the classical Polyakov-Alvarez formula. We show that the above also holds if $ρ$ is not smooth, e.g. if $ρ$ is only Lipschitz. This fact can alternatively be expressed in terms of heat kernel traces, eigenvalue asymptotics, or zeta regularized determinants. Variants of this statement apply to more general non-smooth manifolds on which one considers all loops (not only those centered in a domain $D$).
We also show that the $o(1)$ error is uniform for any family of $ρ$ satisfying certain conditions. This implies that if we weight a measure $ν$ on this family by the ($δ$-truncated) Brownian loop soup partition function, and take the vague $δ\to 0$ limit, we obtain a measure whose Radon-Nikodym derivative with respect to $ν$ is $\exp\bigl( \frac{1}{48π}(ρ,ρ)_{\nabla}\bigr)$. When the measure is a certain regularized Liouville quantum gravity measure, a companion work [APPS20] shows that this weighting has the effect of changing the so-called central charge of the surface.
△ Less
Submitted 5 February, 2023;
originally announced February 2023.
-
On the geometry of uniform meandric systems
Authors:
Jacopo Borga,
Ewain Gwynne,
Minjae Park
Abstract:
A meandric system of size $n$ is the set of loops formed from two arc diagrams (non-crossing perfect matchings) on $\{1,\dots,2n\}$, one drawn above the real line and the other below the real line. A uniform random meandric system can be viewed as a random planar map decorated by a Hamiltonian path (corresponding to the real line) and a collection of loops (formed by the arcs). Based on physics he…
▽ More
A meandric system of size $n$ is the set of loops formed from two arc diagrams (non-crossing perfect matchings) on $\{1,\dots,2n\}$, one drawn above the real line and the other below the real line. A uniform random meandric system can be viewed as a random planar map decorated by a Hamiltonian path (corresponding to the real line) and a collection of loops (formed by the arcs). Based on physics heuristics and numerical evidence, we conjecture that the scaling limit of this decorated random planar map is given by an independent triple consisting of a Liouville quantum gravity (LQG) sphere with parameter $γ=\sqrt 2$, a Schramm-Loewner evolution (SLE) curve with parameter $κ=8$, and a conformal loop ensemble (CLE) with parameter $κ=6$.
We prove several rigorous results which are consistent with this conjecture. In particular, a uniform meandric system admits loops of nearly macroscopic graph-distance diameter with high probability. Furthermore, a.s., the uniform infinite meandric system with boundary has no infinite path. But, a.s., its boundary-modified version has a unique infinite path whose scaling limit is conjectured to be chordal SLE$_6$.
△ Less
Submitted 26 September, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
The Deep Minimizing Movement Scheme
Authors:
Min Sue Park,
Cheolhyeong Kim,
Hwijae Son,
Hyung Ju Hwang
Abstract:
Solutions of certain partial differential equations (PDEs) are often represented by the steepest descent curves of corresponding functionals. Minimizing movement scheme was developed in order to study such curves in metric spaces. Especially, Jordan-Kinderlehrer-Otto studied the Fokker-Planck equation in this way with respect to the Wasserstein metric space. In this paper, we propose a deep learni…
▽ More
Solutions of certain partial differential equations (PDEs) are often represented by the steepest descent curves of corresponding functionals. Minimizing movement scheme was developed in order to study such curves in metric spaces. Especially, Jordan-Kinderlehrer-Otto studied the Fokker-Planck equation in this way with respect to the Wasserstein metric space. In this paper, we propose a deep learning-based minimizing movement scheme for approximating the solutions of PDEs. The proposed method is highly scalable for high-dimensional problems as it is free of mesh generation. We demonstrate through various kinds of numerical examples that the proposed method accurately approximates the solutions of PDEs by finding the steepest descent direction of a functional even in high dimensions.
△ Less
Submitted 25 September, 2023; v1 submitted 30 September, 2021;
originally announced September 2021.
-
Brownian loops and the central charge of a Liouville random surface
Authors:
Morris Ang,
Minjae Park,
Joshua Pfeffer,
Scott Sheffield
Abstract:
We explore the geometric meaning of the so-called zeta-regularized determinant of the Laplace-Beltrami operator on a compact surface, with or without boundary. We relate the $(-c/2)$-th power of the determinant of the Laplacian to the appropriately regularized partition function of a Brownian loop soup of intensity $c$ on the surface. This means that, in a certain sense, decorating a random surfac…
▽ More
We explore the geometric meaning of the so-called zeta-regularized determinant of the Laplace-Beltrami operator on a compact surface, with or without boundary. We relate the $(-c/2)$-th power of the determinant of the Laplacian to the appropriately regularized partition function of a Brownian loop soup of intensity $c$ on the surface. This means that, in a certain sense, decorating a random surface by a Brownian loop soup of intensity $c$ corresponds to weighting the law of the surface by the $(-c/2)$-th power of the determinant of the Laplacian.
Next, we introduce a method of regularizing a Liouville quantum gravity (LQG) surface (with some matter central charge parameter $\mathbf{c}$) to produce a smooth surface. And we show that weighting the law of this random surface by the $( -\mathbf{c}'/ 2)$-th power of the Laplacian determinant has precisely the effect of changing the matter central charge from $\mathbf{c}$ to $\mathbf{c} + \mathbf{c}'$. Taken together with the earlier results, this provides a way of interpreting an LQG surface of matter central charge $\mathbf{c}$ as a pure LQG surface decorated by a Brownian loop soup of intensity $\mathbf{c}$.
Building on this idea, we present several open problems about random planar maps and their continuum analogs. Although the original construction of LQG is well-defined only for $\mathbf{c}\leq 1$, some of the constructions and questions also make sense when $\mathbf{c}>1$.
△ Less
Submitted 3 July, 2020; v1 submitted 24 May, 2020;
originally announced May 2020.
-
Large deviations of radial SLE$_{\infty}$
Authors:
Morris Ang,
Minjae Park,
Yilin Wang
Abstract:
We derive the large deviation principle for radial Schramm-Loewner evolution ($\operatorname{SLE}$) on the unit disk with parameter $κ\rightarrow \infty$. Restricting to the time interval $[0,1]$, the good rate function is finite only on a certain family of Loewner chains driven by absolutely continuous probability measures $\{φ_t^2 (ζ)\, dζ\}_{t \in [0,1]}$ on the unit circle and equals…
▽ More
We derive the large deviation principle for radial Schramm-Loewner evolution ($\operatorname{SLE}$) on the unit disk with parameter $κ\rightarrow \infty$. Restricting to the time interval $[0,1]$, the good rate function is finite only on a certain family of Loewner chains driven by absolutely continuous probability measures $\{φ_t^2 (ζ)\, dζ\}_{t \in [0,1]}$ on the unit circle and equals $\int_0^1 \int_{S^1} |φ_t'|^2/2\,dζ\,dt$. Our proof relies on the large deviation principle for the long-time average of the Brownian occupation measure by Donsker and Varadhan.
△ Less
Submitted 31 July, 2020; v1 submitted 7 February, 2020;
originally announced February 2020.
-
VeST: Very Sparse Tucker Factorization of Large-Scale Tensors
Authors:
Moonjeong Park,
Jun-Gi Jang,
Lee Sael
Abstract:
Given a large tensor, how can we decompose it to sparse core tensor and factor matrices such that it is easier to interpret the results? How can we do this without reducing the accuracy? Existing approaches either output dense results or give low accuracy. In this paper, we propose VeST, a tensor factorization method for partially observable data to output a very sparse core tensor and factor matr…
▽ More
Given a large tensor, how can we decompose it to sparse core tensor and factor matrices such that it is easier to interpret the results? How can we do this without reducing the accuracy? Existing approaches either output dense results or give low accuracy. In this paper, we propose VeST, a tensor factorization method for partially observable data to output a very sparse core tensor and factor matrices. VeST performs initial decomposition, determines unimportant entries in the decomposition results, removes the unimportant entries, and carefully updates the remaining entries. To determine unimportant entries, we define and use entry-wise 'responsibility' for the decomposed results. The entries are updated iteratively in a coordinate descent manner in parallel for scalable computation. Extensive experiments show that our method VeST is at least 2.2 times more sparse and at least 2.8 times more accurate compared to competitors. Moreover, VeST is scalable in terms of input order, dimension, and the number of observable entries. Thanks to VeST, we successfully interpret the result of real-world tensor data based on the sparsity pattern of the resulting factor matrices.
△ Less
Submitted 9 April, 2019; v1 submitted 4 April, 2019;
originally announced April 2019.
-
Sparse PCA from Sparse Linear Regression
Authors:
Guy Bresler,
Sung Min Park,
Madalina Persu
Abstract:
Sparse Principal Component Analysis (SPCA) and Sparse Linear Regression (SLR) have a wide range of applications and have attracted a tremendous amount of attention in the last two decades as canonical examples of statistical problems in high dimension. A variety of algorithms have been proposed for both SPCA and SLR, but an explicit connection between the two had not been made. We show how to effi…
▽ More
Sparse Principal Component Analysis (SPCA) and Sparse Linear Regression (SLR) have a wide range of applications and have attracted a tremendous amount of attention in the last two decades as canonical examples of statistical problems in high dimension. A variety of algorithms have been proposed for both SPCA and SLR, but an explicit connection between the two had not been made. We show how to efficiently transform a black-box solver for SLR into an algorithm for SPCA: assuming the SLR solver satisfies prediction error guarantees achieved by existing efficient algorithms such as those based on the Lasso, the SPCA algorithm derived from it achieves near state of the art guarantees for testing and for support recovery for the single spiked covariance model as obtained by the current best polynomialtime algorithms. Our reduction not only highlights the inherent similarity between the two problems, but also, from a practical standpoint, allows one to obtain a collection of algorithms for SPCA directly from known algorithms for SLR. We provide experimental results on simulated data comparing our proposed framework to other algorithms for SPCA.
△ Less
Submitted 25 November, 2018;
originally announced November 2018.
-
Idempotence and divisorialty in Prüfer-like domains
Authors:
Marco Fontana,
Evan Houston,
Mi Hee Park
Abstract:
Let $D$ be a Prüfer $\star$-multiplication domain, where $\star$ is a semistar operation on $D$. We show that certain ideal-theoretic properties related to idempotence and divisoriality hold in Prüfer domains, and we use the associated semistar Nagata ring of $D$ to show that the natural counterparts of these properties also hold in $D$.
Let $D$ be a Prüfer $\star$-multiplication domain, where $\star$ is a semistar operation on $D$. We show that certain ideal-theoretic properties related to idempotence and divisoriality hold in Prüfer domains, and we use the associated semistar Nagata ring of $D$ to show that the natural counterparts of these properties also hold in $D$.
△ Less
Submitted 22 November, 2018;
originally announced November 2018.
-
Sharpness and semistar operations in Pruefer-like domains
Authors:
Marco Fontana,
Evan Houston,
Mi Hee Park
Abstract:
Let $\star$ be a semistar operation on a domain $D$, $\star_f$ the finite-type semistar operation associated to $\star$, and $D$ a Prüfer $\star$-multiplication domain (P$\star$MD). For the special case of a Prüfer domain (where $\star$ is equal to the identity semistar operation), we show that a nonzero prime $P$ of $D$ is sharp, that is, that $D_P \nsupseteq \bigcap D_M$, where the intersection…
▽ More
Let $\star$ be a semistar operation on a domain $D$, $\star_f$ the finite-type semistar operation associated to $\star$, and $D$ a Prüfer $\star$-multiplication domain (P$\star$MD). For the special case of a Prüfer domain (where $\star$ is equal to the identity semistar operation), we show that a nonzero prime $P$ of $D$ is sharp, that is, that $D_P \nsupseteq \bigcap D_M$, where the intersection is taken over the maximal ideals $M$ of $D$ that do not contain $P$, if and only if two closely related spectral semistar operations on $D$ differ. We then give an appropriate definition of $\star_f$-sharpness for an arbitrary P$\star$MD $D$ and show that a nonzero prime $P$ of $D$ is $\star_f$-sharp if and only if its extension to the $\star$-Nagata ring of $D$ is sharp. Calling a P$\star$MD $\star_f$-sharp ($\star_f$-doublesharp) if each maximal (prime) $\star_f$-ideal of $D$ is sharp, we also prove that such a $D$ is $\star_f$-doublesharp if and only if each $(\star, t)$-linked overring of $D$ is $\star_f$-sharp.
△ Less
Submitted 7 November, 2018;
originally announced November 2018.
-
Stochastic resin transfer molding process
Authors:
M. Park,
M. V. Tretyakov
Abstract:
We consider one-dimensional and two-dimensional models of the stochastic resin transfer molding process, which are formulated as random moving boundary problems. We study their properties, analytically in the one-dimensional case and numerically in the two-dimensional case. We show how variability of time to fill depends on correlation lengths and smoothness of a random permeability field.
We consider one-dimensional and two-dimensional models of the stochastic resin transfer molding process, which are formulated as random moving boundary problems. We study their properties, analytically in the one-dimensional case and numerically in the two-dimensional case. We show how variability of time to fill depends on correlation lengths and smoothness of a random permeability field.
△ Less
Submitted 2 March, 2017; v1 submitted 7 June, 2016;
originally announced June 2016.
-
Improved Multilevel Monte Carlo Methods for Finite Volume Discretisations of Darcy Flow in Randomly Layered Media
Authors:
Minho Park,
Aretha Teckentrup
Abstract:
We consider the application of multilevel Monte Carlo methods to steady state Darcy flow in a random porous medium, described mathematically by elliptic partial differential equations with random coefficients. The levels in the multilevel estimator are defined by finite volume discretisations of the governing equations with different mesh parameters. To simulate different layers in the subsurface,…
▽ More
We consider the application of multilevel Monte Carlo methods to steady state Darcy flow in a random porous medium, described mathematically by elliptic partial differential equations with random coefficients. The levels in the multilevel estimator are defined by finite volume discretisations of the governing equations with different mesh parameters. To simulate different layers in the subsurface, the permeability is modelled as a piecewise constant or piecewise spatially correlated random field, including the possibility of piecewise log-normal random fields. The location of the layers is assumed unknown, and modelled by a random process. We prove new convergence results of the spatial discretisation error required to quantify the mean square error of the multilevel estimator, and provide an optimal implementation of the method based on algebraic multigrid methods and a novel variance reduction technique termed Coarse Grid Variates.
△ Less
Submitted 15 June, 2015;
originally announced June 2015.
-
A Block Circulant Embedding Method for Simulation of Stationary Gaussian Random Fields on Block-regular Grids
Authors:
M. Park,
M. V. Tretyakov
Abstract:
We propose a new method for sampling from stationary Gaussian random field on a grid which is not regular but has a regular block structure which is often the case in applications. The introduced block circulant embedding method (BCEM) can outperform the classical circulant embedding method (CEM) which requires a regularization of the irregular grid before its application. Comparison of BCEM vs CE…
▽ More
We propose a new method for sampling from stationary Gaussian random field on a grid which is not regular but has a regular block structure which is often the case in applications. The introduced block circulant embedding method (BCEM) can outperform the classical circulant embedding method (CEM) which requires a regularization of the irregular grid before its application. Comparison of BCEM vs CEM is performed on some typical model problems.
△ Less
Submitted 9 April, 2015; v1 submitted 6 November, 2014;
originally announced November 2014.
-
Polynomial extensions of semistar operations
Authors:
Gyu Whan Chang,
Marco Fontana,
Mi Hee Park
Abstract:
We provide a complete solution to the problem of extending arbitrary semistar operations of an integral domain $D$ to semistar operations of the polynomial ring $D[X]$. As an application, we show that one can reobtain the main results of some previous papers concerning the problem in the special cases of stable semistar operations of finite type or semistar operations defined by families of overri…
▽ More
We provide a complete solution to the problem of extending arbitrary semistar operations of an integral domain $D$ to semistar operations of the polynomial ring $D[X]$. As an application, we show that one can reobtain the main results of some previous papers concerning the problem in the special cases of stable semistar operations of finite type or semistar operations defined by families of overrings. Finally, we investigate the behavior of the polynomial extensions of the most important and classical operations such as $d_D$, $v_D$, $t_D$, $w_D$ and $b_D$ operations.
△ Less
Submitted 16 June, 2013;
originally announced June 2013.
-
Bijective Projections on Parabolic Quotients of Affine Weyl Groups
Authors:
Elizabeth Milićević,
Margaret Nichols,
Min Hae Park,
XiaoLin Shi,
Alexander Youcis
Abstract:
Affine Weyl groups and their parabolic quotients are used extensively as indexing sets for objects in combinatorics, representation theory, algebraic geometry, and number theory. Moreover, in the classical Lie types we can conveniently realize the elements of these quotients via intuitive geometric and combinatorial models such as abaci, alcoves, coroot lattice points, core partitions, and bounded…
▽ More
Affine Weyl groups and their parabolic quotients are used extensively as indexing sets for objects in combinatorics, representation theory, algebraic geometry, and number theory. Moreover, in the classical Lie types we can conveniently realize the elements of these quotients via intuitive geometric and combinatorial models such as abaci, alcoves, coroot lattice points, core partitions, and bounded partitions. Berg, Jones, and Vazirani described a bijection between n-cores with first part equal to k and (n-1)-cores with first part less than or equal to k, and they interpret this bijection in terms of these other combinatorial models for the quotient of the affine symmetric group by the finite symmetric group. In this paper we discuss how to generalize the bijection of Berg-Jones-Vazirani to parabolic quotients of affine Weyl groups in type C. We develop techniques using the associated affine hyperplane arrangement to interpret this bijection geometrically as a projection of alcoves onto the hyperplane containing their coroot lattice points. We are thereby able to analyze this bijective projection in the language of various additional combinatorial models developed by Hanusa and Jones, such as abaci, core partitions, and canonical reduced expressions in the Coxeter group.
△ Less
Submitted 26 September, 2014; v1 submitted 4 December, 2012;
originally announced December 2012.
-
Fully Synchronous Solutions and the Synchronization Phase Transition for the Finite N Kuramoto Model
Authors:
Jared C. Bronski,
Lee DeVille,
Moon Jip Park
Abstract:
We present a detailed analysis of the stability of synchronized solutions to the Kuramoto system of oscillators. We derive an analytical expression counting the dimension of the unstable manifold associated to a given stationary solution. From this we are able to derive a number of consequences, including: analytic expressions for the first and last frequency vectors to synchronize, upper and lowe…
▽ More
We present a detailed analysis of the stability of synchronized solutions to the Kuramoto system of oscillators. We derive an analytical expression counting the dimension of the unstable manifold associated to a given stationary solution. From this we are able to derive a number of consequences, including: analytic expressions for the first and last frequency vectors to synchronize, upper and lower bounds on the probability that a randomly chosen frequency vector will synchronize, and very sharp results on the large $N$ limit of this model. One of the surprises in this calculation is that for frequencies that are Gaussian distributed the correct scaling for full synchrony is not the one commonly studied in the literature---rather, there is a logarithmic correction to the scaling which is related to the extremal value statistics of the random frequency vector.
△ Less
Submitted 22 November, 2011;
originally announced November 2011.
-
Bounding Procedures for Stochastic Dynamic Programs with Application to the Perimeter Patrol Problem
Authors:
Myoungkuk Park,
Krishnamoorthy Kalyanam,
Swaroop Darbha,
Phil Chandler,
Meir Pachter
Abstract:
One often encounters the curse of dimensionality in the application of dynamic programming to determine optimal policies for controlled Markov chains. In this paper, we provide a method to construct sub-optimal policies along with a bound for the deviation of such a policy from the optimum via a linear programming approach. The state-space is partitioned and the optimal cost-to-go or value functio…
▽ More
One often encounters the curse of dimensionality in the application of dynamic programming to determine optimal policies for controlled Markov chains. In this paper, we provide a method to construct sub-optimal policies along with a bound for the deviation of such a policy from the optimum via a linear programming approach. The state-space is partitioned and the optimal cost-to-go or value function is approximated by a constant over each partition. By minimizing a non-negative cost function defined on the partitions, one can construct an approximate value function which also happens to be an upper bound for the optimal value function of the original Markov Decision Process (MDP). As a key result, we show that this approximate value function is {\it independent} of the non-negative cost function (or state dependent weights as it is referred to in the literature) and moreover, this is the least upper bound that one can obtain once the partitions are specified. Furthermore, we show that the restricted system of linear inequalities also embeds a family of MDPs of lower dimension, one of which can be used to construct a lower bound on the optimal value function. The construction of the lower bound requires the solution to a combinatorial problem. We apply the linear programming approach to a perimeter surveillance stochastic optimal control problem and obtain numerical results that corroborate the efficacy of the proposed methodology.
△ Less
Submitted 16 August, 2011;
originally announced August 2011.
-
On the Star Class Group of a Pullback
Authors:
Marco Fontana,
Mi Hee Park
Abstract:
For the domain $R$ arising from the construction $T, M,D$, we relate the star class groups of $R$ to those of $T$ and $D$. More precisely, let $T$ be an integral domain, $M$ a nonzero maximal ideal of $T$, $D$ a proper subring of $k:=T/M$, $φ: T\to k$ the natural projection, and let $R=φ^{-1}(D)$. For each star operation $\ast$ on $R$, we define the star operation $\ast_φ$ on $D$, i.e., the ``pr…
▽ More
For the domain $R$ arising from the construction $T, M,D$, we relate the star class groups of $R$ to those of $T$ and $D$. More precisely, let $T$ be an integral domain, $M$ a nonzero maximal ideal of $T$, $D$ a proper subring of $k:=T/M$, $φ: T\to k$ the natural projection, and let $R=φ^{-1}(D)$. For each star operation $\ast$ on $R$, we define the star operation $\ast_φ$ on $D$, i.e., the ``projection'' of $\ast$ under $φ$, and the star operation ${(\ast)}_{_{T}}$ on $T$, i.e., the ``extension'' of $\ast$ to $T$. Then we show that, under a mild hypothesis on the group of units of $T$, if $\ast$ is a star operation of finite type, $0\to \Cl^{\ast_φ}(D) \to \Cl^\ast(R) \to \Cl^{{(\ast)}_{_{T}}}(T)\to 0$ is split exact. In particular, when $\ast = t_{R}$, we deduce that the sequence $ 0\to \Cl^{t_{D}}(D) {\to} \Cl^{t_{R}}(R) {\to}\Cl^{(t_{R})_{_{T}}}(T) \to 0 $ is split exact. The relation between ${(t_{R})_{_{T}}}$ and $t_{T}$ (and between $\Cl^{(t_{R})_{_{T}}}(T)$ and $\Cl^{t_{T}}(T)$) is also investigated.
△ Less
Submitted 20 September, 2005;
originally announced September 2005.
-
Quantum dynamical semigroups generated by noncommutative unbounded elliptic operators
Authors:
C. Bahn,
C. K. Ko,
Y. M. Park
Abstract:
We study quantum dynamical semigroups generated by noncommutative unbounded elliptic operators which can be written as Lindblad type unbounded generators. Under appropriate conditions, we first construct the minimal quantum dynamical semigroups for the generators and then use Chebotarev and Fagnola's sufficient conditions for conservativity to show that the semigroups are conservative.
We study quantum dynamical semigroups generated by noncommutative unbounded elliptic operators which can be written as Lindblad type unbounded generators. Under appropriate conditions, we first construct the minimal quantum dynamical semigroups for the generators and then use Chebotarev and Fagnola's sufficient conditions for conservativity to show that the semigroups are conservative.
△ Less
Submitted 9 May, 2005;
originally announced May 2005.
-
Remarks on sufficient conditions for conservativity of minimal quantum dynamical semigroups
Authors:
C. Bahn C. K. Ko,
Y. M. Park
Abstract:
We obtain sufficient conditions for conservativity of minimal quantum dynamical semigroup by modifying and extending the method used in [Chebotarev and Fagnola, J. Funct. Anal. 153(1998), 382-404]. Our criterion for conservativity can be considered as a complement to Chebotarev and Fagnola's conditions. In order to show that our conditions are useful, we apply our results to a concrete example(a…
▽ More
We obtain sufficient conditions for conservativity of minimal quantum dynamical semigroup by modifying and extending the method used in [Chebotarev and Fagnola, J. Funct. Anal. 153(1998), 382-404]. Our criterion for conservativity can be considered as a complement to Chebotarev and Fagnola's conditions. In order to show that our conditions are useful, we apply our results to a concrete example(a model of heavy ion collision).
△ Less
Submitted 18 March, 2005;
originally announced March 2005.
-
Remarks on the Structure of Dirichlet Forms on Standard Forms of von Neumann Algebras
Authors:
Y. M. Park
Abstract:
For a von Neumann algebra M acting on a Hilbert space H with a cyclic and separating vector v, we investigate the structure of Dirichlet forms on the natural standard form associated with the pair (M,v). For a general Lindblad type generator L of a conservative quantum dynamical semigroup on M, we give sufficient conditions so that the operator S induced by L via the symmetric embedding of M int…
▽ More
For a von Neumann algebra M acting on a Hilbert space H with a cyclic and separating vector v, we investigate the structure of Dirichlet forms on the natural standard form associated with the pair (M,v). For a general Lindblad type generator L of a conservative quantum dynamical semigroup on M, we give sufficient conditions so that the operator S induced by L via the symmetric embedding of M into H to be self-adjoint. It turns out that the self-adjoint operator S can be written in the form of a Dirichlet operator associated to a Dirichlet form given in [23]. In order to make the connection possible, we also extend the range of applications of the formula in [23].
△ Less
Submitted 2 January, 2004;
originally announced January 2004.
-
Star operations and Pullbacks
Authors:
Marco Fontana,
Mi Hee Park
Abstract:
In this paper we study the star operations on a pullback of integral domains. In particular, we characterize the star operations of a domain arising from a pullback of ``a general type'' by introducing new techniques for ``projecting'' and ``lifting'' star operations under surjective homomorphisms of integral domains. We study the transfer in a pullback (or with respect to a surjective homomorph…
▽ More
In this paper we study the star operations on a pullback of integral domains. In particular, we characterize the star operations of a domain arising from a pullback of ``a general type'' by introducing new techniques for ``projecting'' and ``lifting'' star operations under surjective homomorphisms of integral domains. We study the transfer in a pullback (or with respect to a surjective homomorphism) of some relevant classes or distinguished properties of star operations such as $v-, t-, w-, b-, d-,$ finite type, e.a.b., stable, and spectral operations. We apply part of the theory developed here to give a complete positive answer to a problem posed by D. F. Anderson in 1992 concerning the star operations on the ``$D+M$'' constructions.
△ Less
Submitted 5 November, 2003;
originally announced November 2003.