-
Global existence and asymptotic stability for the Toner-Tu model of flocking
Authors:
Young-Pil Choi,
Kyungkeun Kang,
Woojae Lee
Abstract:
This paper deals with the Toner-Tu (TT) model, which is a hydrodynamic model describing the collective motion of numerous self-propelled agents. We analytically study the global-in-time well-posedness of the TT model near the steady-state solution in the ordered phase. We also show the large-time behavior of solutions showing that the steady-state solution is polynomially stable in a Sobolev space…
▽ More
This paper deals with the Toner-Tu (TT) model, which is a hydrodynamic model describing the collective motion of numerous self-propelled agents. We analytically study the global-in-time well-posedness of the TT model near the steady-state solution in the ordered phase. We also show the large-time behavior of solutions showing that the steady-state solution is polynomially stable in a Sobolev space in the sense that solutions that are initially close to that steady state converge to that at least polynomially fast as time tends to infinity. Moreover, we investigate the variant of the TT model which describes the dynamics of the actin filament.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Effective Results in The Metric Theory of Quantitative Diophantine Approximation
Authors:
Ying Wai Lee,
Andrew Scoones
Abstract:
Many results related to quantitative problems in the metric theory of Diophantine approximation are asymptotic, such as the number of rational solutions to certain inequalities grows with the same rate almost everywhere modulo an asymptotic error term. The error term incorporates an implicit constant that varies from one point to another. This means that applications of these results does not give…
▽ More
Many results related to quantitative problems in the metric theory of Diophantine approximation are asymptotic, such as the number of rational solutions to certain inequalities grows with the same rate almost everywhere modulo an asymptotic error term. The error term incorporates an implicit constant that varies from one point to another. This means that applications of these results does not give concrete bounds when applied to, say a finite sum, or when applied to counting the number of solutions up to a finite point for a given inequality. This paper addresses this problem and makes the tools and their results effective, by making the implicit constant explicit outside of an exceptional subset of Lebesgue measure at most $δ>0$, an arbitrarily small constant chosen in advance. We deduce from this the fully effective results for Schmidt's Theorem, quantitative Koukoulopoulos-Maynard Theorem and quantitative results on $M_{0}$-sets; we also provide effective results regarding statistics of normal numbers and strong law of large numbers.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Deterministic Multi-stage Constellation Reconfiguration Using Integer Linear Programming and Sequential Decision-Making Methods
Authors:
Hang Woon Lee,
David O. Williams Rogers,
Brycen D. Pearl,
Hao Chen,
Koki Ho
Abstract:
In this paper, we address the problem of reconfiguring Earth observation satellite constellation systems through multiple stages. The Multi-stage Constellation Reconfiguration Problem (MCRP) aims to maximize the total observation rewards obtained by covering a set of targets of interest through the active manipulation of the orbits and relative phasing of constituent satellites. In this paper, we…
▽ More
In this paper, we address the problem of reconfiguring Earth observation satellite constellation systems through multiple stages. The Multi-stage Constellation Reconfiguration Problem (MCRP) aims to maximize the total observation rewards obtained by covering a set of targets of interest through the active manipulation of the orbits and relative phasing of constituent satellites. In this paper, we consider deterministic problem settings in which the targets of interest are known a priori. We propose a novel integer linear programming formulation for MCRP, capable of obtaining provably optimal solutions. To overcome computational intractability due to the combinatorial explosion in solving large-scale instances, we introduce two computationally efficient sequential decision-making methods based on the principles of a myopic policy and a rolling horizon procedure. The computational experiments demonstrate that the devised sequential decision-making approaches yield high-quality solutions with improved computational efficiency over the baseline MCRP. Finally, a case study using Hurricane Harvey data showcases the advantages of multi-stage constellation reconfiguration over single-stage and no-reconfiguration scenarios.
△ Less
Submitted 30 April, 2024; v1 submitted 21 January, 2024;
originally announced January 2024.
-
On the real zeros of depth 1 quasimodular forms
Authors:
Bo-Hae Im,
Wonwoong Lee
Abstract:
We discuss the critical points of modular forms, or more generally the zeros of quasimodular forms of depth $1$ for $\mathrm{PSL}_2(\mathbb Z)$. In particular, we consider the derivatives of the unique weight $k$ modular forms $f_k$ with the maximal number of consecutive zero Fourier coefficients following the constant $1$. Our main results state that (1) every zero of a depth $1$ quasimodular for…
▽ More
We discuss the critical points of modular forms, or more generally the zeros of quasimodular forms of depth $1$ for $\mathrm{PSL}_2(\mathbb Z)$. In particular, we consider the derivatives of the unique weight $k$ modular forms $f_k$ with the maximal number of consecutive zero Fourier coefficients following the constant $1$. Our main results state that (1) every zero of a depth $1$ quasimodular form near the derivative of the Eisenstein series in the standard fundamental domain lies on the geodesic segment $\{z \in \mathbb H: \Re(z)=1/2\}$, and (2) more than half of zeros of $f_k$ in the standard fundamental domain lie on the geodesic segment $\{z \in \mathbb H: \Re(z)=1/2\}$ for large enough $k$ with $k\equiv 0 \pmod{12}$.
△ Less
Submitted 1 January, 2024;
originally announced January 2024.
-
Recursive Self-Composite Approach Towards Structural Understanding of Boolean Network
Authors:
Jongrae Kim,
Woojeong Lee,
Kwang-Hyun Cho
Abstract:
Boolean networks have been widely used in many areas of science and engineering to represent various dynamical behaviour. In systems biology, they became useful tools to study the dynamical characteristics of large-scale biomolecular networks and there have been a number of studies to develop efficient ways of finding steady states or cycles of Boolean network models. On the other hand, there has…
▽ More
Boolean networks have been widely used in many areas of science and engineering to represent various dynamical behaviour. In systems biology, they became useful tools to study the dynamical characteristics of large-scale biomolecular networks and there have been a number of studies to develop efficient ways of finding steady states or cycles of Boolean network models. On the other hand, there has been little attention to analyzing the dynamic properties of the network structure itself. Here, we present a systematic way to study such properties by introducing a recursive self-composite of the logic update rules. Of note, we found that all Boolean update rules actually have repeated logic structures underneath. This repeated nature of Boolean networks reveals interesting algebraic properties embedded in the networks. We found that each converged logic leads to the same states, called kernel states. As a result, the longest-length period of states cycle turns out to be equal to the number of converged logics in the logic cycle. Based on this, we propose a lea** and filling algorithm to avoid any possible large string explosions during the self-composition procedures. Finally, we demonstrate how the proposed approach can be used to reveal interesting hidden properties using Boolean network examples of a simple network with a long feedback structure, a T-cell receptor network and a cancer network.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Cislunar Satellite Constellation Design Via Integer Linear Programming
Authors:
Malav Patel,
Yuri Shimane,
Hang Woon Lee,
Koki Ho
Abstract:
Cislunar space awareness is of increasing interest to the international community as Earth-Moon traffic is projected to increase. This raises the problem of placing satellites optimally in a constellation to provide satisfactory coverage for said traffic. The Circular Restricted 3 Body Problem (CR3BP) provides promising periodic orbits in the Earth-Moon rotating frame for traffic monitoring. This…
▽ More
Cislunar space awareness is of increasing interest to the international community as Earth-Moon traffic is projected to increase. This raises the problem of placing satellites optimally in a constellation to provide satisfactory coverage for said traffic. The Circular Restricted 3 Body Problem (CR3BP) provides promising periodic orbits in the Earth-Moon rotating frame for traffic monitoring. This work converts a spatially and temporally varying traffic coverage requirement into an integer linear programming problem, attempting to minimize the number of satellites required for the requested coverage.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Deep JKO: time-implicit particle methods for general nonlinear gradient flows
Authors:
Wonjun Lee,
Li Wang,
Wuchen Li
Abstract:
We develop novel neural network-based implicit particle methods to compute high-dimensional Wasserstein-type gradient flows with linear and nonlinear mobility functions. The main idea is to use the Lagrangian formulation in the Jordan--Kinderlehrer--Otto (JKO) framework, where the velocity field is approximated using a neural network. We leverage the formulations from the neural ordinary different…
▽ More
We develop novel neural network-based implicit particle methods to compute high-dimensional Wasserstein-type gradient flows with linear and nonlinear mobility functions. The main idea is to use the Lagrangian formulation in the Jordan--Kinderlehrer--Otto (JKO) framework, where the velocity field is approximated using a neural network. We leverage the formulations from the neural ordinary differential equation (neural ODE) in the context of continuous normalizing flow for efficient density computation. Additionally, we make use of an explicit recurrence relation for computing derivatives, which greatly streamlines the backpropagation process. Our methodology demonstrates versatility in handling a wide range of gradient flows, accommodating various potential functions and nonlinear mobility scenarios. Extensive experiments demonstrate the efficacy of our approach, including an illustrative example from Bayesian inverse problems. This underscores that our scheme provides a viable alternative solver for the Kalman-Wasserstein gradient flow.
△ Less
Submitted 11 November, 2023;
originally announced November 2023.
-
Monotone Generative Modeling via a Gromov-Monge Embedding
Authors:
Wonjun Lee,
Yifei Yang,
Dongmian Zou,
Gilad Lerman
Abstract:
Generative Adversarial Networks (GANs) are powerful tools for creating new content, but they face challenges such as sensitivity to starting conditions and mode collapse. To address these issues, we propose a deep generative model that utilizes the Gromov-Monge embedding (GME). It helps identify the low-dimensional structure of the underlying measure of the data and then maps it, while preserving…
▽ More
Generative Adversarial Networks (GANs) are powerful tools for creating new content, but they face challenges such as sensitivity to starting conditions and mode collapse. To address these issues, we propose a deep generative model that utilizes the Gromov-Monge embedding (GME). It helps identify the low-dimensional structure of the underlying measure of the data and then maps it, while preserving its geometry, into a measure in a low-dimensional latent space, which is then optimally transported to the reference measure. We guarantee the preservation of the underlying geometry by the GME and $c$-cyclical monotonicity of the generative map, where $c$ is an intrinsic embedding cost employed by the GME. The latter property is a first step in guaranteeing better robustness to initialization of parameters and mode collapse. Numerical experiments demonstrate the effectiveness of our approach in generating high-quality images, avoiding mode collapse, and exhibiting robustness to different starting conditions.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Traffic smoothing using explicit local controllers
Authors:
Amaury Hayat,
Arwa Alanqary,
Rahul Bhadani,
Christopher Denaro,
Ryan J. Weightman,
Shengquan Xiang,
Jonathan W. Lee,
Matthew Bunting,
Anish Gollakota,
Matthew W. Nice,
Derek Gloudemans,
Gergely Zachar,
Jon F. Davis,
Maria Laura Delle Monache,
Benjamin Seibold,
Alexandre M. Bayen,
Jonathan Sprinkle,
Daniel B. Work,
Benedetto Piccoli
Abstract:
The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the N…
▽ More
The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the Nashville area was able to regularize the velocity profile by reducing oscillations in time and velocity differences among vehicles. Quantitative measures of this effect were possible due to the innovative I-24 MOTION system capable of monitoring the traffic conditions for all vehicles on the roadway. This paper presents the control design, the technological aspects involved in its deployment, and, finally, the results achieved by the experiment.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Monotone discretizations of levelset convex geometric PDEs
Authors:
Jeff Calder,
Wonjun Lee
Abstract:
We introduce a novel algorithm that converges to level-set convex viscosity solutions of high-dimensional Hamilton-Jacobi equations. The algorithm is applicable to a broad class of curvature motion PDEs, as well as a recently developed Hamilton-Jacobi equation for the Tukey depth, which is a statistical depth measure of data points. A main contribution of our work is a new monotone scheme for appr…
▽ More
We introduce a novel algorithm that converges to level-set convex viscosity solutions of high-dimensional Hamilton-Jacobi equations. The algorithm is applicable to a broad class of curvature motion PDEs, as well as a recently developed Hamilton-Jacobi equation for the Tukey depth, which is a statistical depth measure of data points. A main contribution of our work is a new monotone scheme for approximating the direction of the gradient, which allows for monotone discretizations of pure partial derivatives in the direction of, and orthogonal to, the gradient. We provide a convergence analysis of the algorithm on both regular Cartesian grids and unstructured point clouds in any dimension and present numerical experiments that demonstrate the effectiveness of the algorithm in approximating solutions of the affine flow in two dimensions and the Tukey depth measure of high-dimensional datasets such as MNIST and FashionMNIST.
△ Less
Submitted 13 November, 2023; v1 submitted 12 October, 2023;
originally announced October 2023.
-
Regularization of the inverse Laplace transform by Mollification
Authors:
Pierre Maréchal,
Faouzi Triki,
Walter C. Simo Tao Lee
Abstract:
In this paper we study the inverse Laplace transform. We first derive a new global logarithmic stability estimate that shows that the inversion is severely ill-posed. Then we propose a regularization method to compute the inverse Laplace transform using the concept of mollification. Taking into account the exponential instability we derive a criterion for selection of the regularization parameter.…
▽ More
In this paper we study the inverse Laplace transform. We first derive a new global logarithmic stability estimate that shows that the inversion is severely ill-posed. Then we propose a regularization method to compute the inverse Laplace transform using the concept of mollification. Taking into account the exponential instability we derive a criterion for selection of the regularization parameter. We show that by taking the optimal value of this parameter we improve significantly the convergence of the method. Finally, making use of the holomorphic extension of the Laplace transform, we suggest a new PDEs based numerical method for the computation of the solution. The effectiveness of the proposed regularization method is demonstrated through several numerical examples.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Spinor representation in isotropic 3-space via Laguerre geometry
Authors:
Joseph Cho,
Dami Lee,
Wonjoo Lee,
Seong-Deog Yang
Abstract:
We give a detailed description of the geometry of isotropic space, in parallel to those of Euclidean space within the realm of Laguerre geometry. After develo** basic surface theory in isotropic space, we define spin transformations, directly leading to the spinor representation of conformal surfaces in isotropic space. As an application, we obtain the Weierstrass-type representation for zero me…
▽ More
We give a detailed description of the geometry of isotropic space, in parallel to those of Euclidean space within the realm of Laguerre geometry. After develo** basic surface theory in isotropic space, we define spin transformations, directly leading to the spinor representation of conformal surfaces in isotropic space. As an application, we obtain the Weierstrass-type representation for zero mean curvature surfaces, and the Kenmotsu-type representation for constant mean curvature surfaces, allowing us to construct many explicit examples.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Björling problem for zero mean curvature surfaces in the three-dimensional light cone
Authors:
Joseph Cho,
So Young Kim,
Dami Lee,
Wonjoo Lee,
Seong-Deog Yang
Abstract:
We solve the Björling problem for zero mean curvature surfaces in the three-dimensional light cone. As an application, we construct and classify all rotational zero mean curvature surfaces.
We solve the Björling problem for zero mean curvature surfaces in the three-dimensional light cone. As an application, we construct and classify all rotational zero mean curvature surfaces.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
Non-holomorphic Eisenstein series for certain Fuchsian groups and class numbers
Authors:
Bo-Hae Im,
Wonwoong Lee
Abstract:
We study certain types of Fuchsian groups of the first kind denoted by $R(N)$, which coincide with the Fricke groups or the arithmetic Hecke triangle groups of low levels. We find all elliptic points and cusps of $R(p)$ for a prime $p$, and prove that there is a one-to-one correspondence between the set of equivalence classes of elliptic points of $R(p)$ and the imaginary quadratic class group. We…
▽ More
We study certain types of Fuchsian groups of the first kind denoted by $R(N)$, which coincide with the Fricke groups or the arithmetic Hecke triangle groups of low levels. We find all elliptic points and cusps of $R(p)$ for a prime $p$, and prove that there is a one-to-one correspondence between the set of equivalence classes of elliptic points of $R(p)$ and the imaginary quadratic class group. We also find the explicit formula of the Fourier expansion of the non-holomorphic Eisenstein series for $R(N)$ and study their analytic properties. These non-holomorphic Eisenstein series together with cusp forms provide a basis for the space of polyharmonic Maass forms for $R(N)$.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
On the common zeros of quasi-modular forms for $Γ_0^+(N)$ of level $N=1,2,3$
Authors:
Bo-Hae Im,
Ho** Kim,
Wonwoong Lee
Abstract:
In this paper, we study common zeros of the iterated derivatives of the Eisenstein series for $Γ_0^+(N)$ of level $N=1,2$ and $3$, which are quasi-modular forms. More precisely, we investigate the common zeros of quasi-modular forms, and prove that all the zeros of the iterated derivatives of the Eisenstein series $\frac{d^m E_k^{(N)}(τ)}{dτ^m}$ of weight $k=2,4,6$ for $Γ_0^+(N)$ of level $N=2,3$…
▽ More
In this paper, we study common zeros of the iterated derivatives of the Eisenstein series for $Γ_0^+(N)$ of level $N=1,2$ and $3$, which are quasi-modular forms. More precisely, we investigate the common zeros of quasi-modular forms, and prove that all the zeros of the iterated derivatives of the Eisenstein series $\frac{d^m E_k^{(N)}(τ)}{dτ^m}$ of weight $k=2,4,6$ for $Γ_0^+(N)$ of level $N=2,3$ are simple by generalizaing the results of Meher \cite{MEH} and Gun and Oesterlé \cite{SJ20} for SL$_2(\mathbb{Z})$.
△ Less
Submitted 14 June, 2022;
originally announced June 2022.
-
Regional Constellation Reconfiguration Problem: Integer Linear Programming Formulation and Lagrangian Heuristic Method
Authors:
Hang Woon Lee,
Koki Ho
Abstract:
A group of satellites, with either homogeneous or heterogeneous orbital characteristics and/or hardware specifications, can undertake a reconfiguration process due to variations in operations pertaining to Earth observation missions. This paper investigates the problem of optimizing a satellite constellation reconfiguration process against two competing mission objectives: (i) the maximization of…
▽ More
A group of satellites, with either homogeneous or heterogeneous orbital characteristics and/or hardware specifications, can undertake a reconfiguration process due to variations in operations pertaining to Earth observation missions. This paper investigates the problem of optimizing a satellite constellation reconfiguration process against two competing mission objectives: (i) the maximization of the total coverage reward and (ii) the minimization of the total cost of the transfer. The decision variables for the reconfiguration process include the design of the new configuration and the assignment of satellites from one configuration to another. We present a novel bi-objective integer linear programming formulation that combines constellation design and transfer problems. The formulation lends itself to the use of generic mixed-integer linear programming (MILP) methods such as the branch-and-bound algorithm for the computation of provably-optimal solutions; however, these approaches become computationally prohibitive even for moderately-sized instances. In response to this challenge, this paper proposes a Lagrangian relaxation-based heuristic method that leverages the assignment problem structure embedded in the problem. The results from the computational experiments attest to the near-optimality of the Lagrangian heuristic solutions and a significant improvement in the computational runtime compared to a commercial MILP solver.
△ Less
Submitted 2 July, 2023; v1 submitted 6 June, 2022;
originally announced June 2022.
-
Combining Reinforcement Learning and Optimal Transport for the Traveling Salesman Problem
Authors:
Yong Liang Goh,
Wee Sun Lee,
Xavier Bresson,
Thomas Laurent,
Nicholas Lim
Abstract:
The traveling salesman problem is a fundamental combinatorial optimization problem with strong exact algorithms. However, as problems scale up, these exact algorithms fail to provide a solution in a reasonable time. To resolve this, current works look at utilizing deep learning to construct reasonable solutions. Such efforts have been very successful, but tend to be slow and compute intensive. Thi…
▽ More
The traveling salesman problem is a fundamental combinatorial optimization problem with strong exact algorithms. However, as problems scale up, these exact algorithms fail to provide a solution in a reasonable time. To resolve this, current works look at utilizing deep learning to construct reasonable solutions. Such efforts have been very successful, but tend to be slow and compute intensive. This paper exemplifies the integration of entropic regularized optimal transport techniques as a layer in a deep reinforcement learning network. We show that we can construct a model capable of learning without supervision and inferences significantly faster than current autoregressive approaches. We also empirically evaluate the benefits of including optimal transport algorithms within deep learning models to enforce assignment constraints during end-to-end training.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Random Features for High-Dimensional Nonlocal Mean-Field Games
Authors:
Sudhanshu Agrawal,
Wonjun Lee,
Samy Wu Fung,
Levon Nurbekyan
Abstract:
We propose an efficient solution approach for high-dimensional nonlocal mean-field game (MFG) systems based on the Monte Carlo approximation of interaction kernels via random features. We avoid costly space-discretizations of interaction terms in the state-space by passing to the feature-space. This approach allows for a seamless mean-field extension of virtually any single-agent trajectory optimi…
▽ More
We propose an efficient solution approach for high-dimensional nonlocal mean-field game (MFG) systems based on the Monte Carlo approximation of interaction kernels via random features. We avoid costly space-discretizations of interaction terms in the state-space by passing to the feature-space. This approach allows for a seamless mean-field extension of virtually any single-agent trajectory optimization algorithm. Here, we extend the direct transcription approach in optimal control to the mean-field setting. We demonstrate the efficiency of our method by solving MFG problems in high-dimensional spaces which were previously out of reach for conventional non-deep-learning techniques.
△ Less
Submitted 9 July, 2022; v1 submitted 25 February, 2022;
originally announced February 2022.
-
A variational technique of mollification applied to backward heat conduction problems
Authors:
Walter C. Simo Tao Lee
Abstract:
This paper addresses a backward heat conduction problem with fractional Laplacian and time-dependent coefficient in an unbounded domain. The problem models generalized diffusion processes and is well-known to be severely ill-posed. We investigate a simple and powerful variational regularization technique based on mollification. Under classical Sobolev smoothness conditions, we derive order-optimal…
▽ More
This paper addresses a backward heat conduction problem with fractional Laplacian and time-dependent coefficient in an unbounded domain. The problem models generalized diffusion processes and is well-known to be severely ill-posed. We investigate a simple and powerful variational regularization technique based on mollification. Under classical Sobolev smoothness conditions, we derive order-optimal convergence rates between the exact solution and regularized approximation in the practical case where both the data and the operator are noisy. Moreover, we propose an order-optimal a-posteriori parameter choice rule based on the Morozov principle. Finally, we illustrate the robustness and efficiency of the regularization technique by some numerical examples including image deblurring.
△ Less
Submitted 21 February, 2022;
originally announced February 2022.
-
Physics-Guided Problem Decomposition for Scaling Deep Learning of High-dimensional Eigen-Solvers: The Case of Schrödinger's Equation
Authors:
Sangeeta Srivastava,
Samuel Olin,
Viktor Podolskiy,
Anuj Karpatne,
Wei-Cheng Lee,
Anish Arora
Abstract:
Given their ability to effectively learn non-linear map**s and perform fast inference, deep neural networks (NNs) have been proposed as a viable alternative to traditional simulation-driven approaches for solving high-dimensional eigenvalue equations (HDEs), which are the foundation for many scientific applications. Unfortunately, for the learned models in these scientific applications to achiev…
▽ More
Given their ability to effectively learn non-linear map**s and perform fast inference, deep neural networks (NNs) have been proposed as a viable alternative to traditional simulation-driven approaches for solving high-dimensional eigenvalue equations (HDEs), which are the foundation for many scientific applications. Unfortunately, for the learned models in these scientific applications to achieve generalization, a large, diverse, and preferably annotated dataset is typically needed and is computationally expensive to obtain. Furthermore, the learned models tend to be memory- and compute-intensive primarily due to the size of the output layer. While generalization, especially extrapolation, with scarce data has been attempted by imposing physical constraints in the form of physics loss, the problem of model scalability has remained.
In this paper, we alleviate the compute bottleneck in the output layer by using physics knowledge to decompose the complex regression task of predicting the high-dimensional eigenvectors into multiple simpler sub-tasks, each of which are learned by a simple "expert" network. We call the resulting architecture of specialized experts Physics-Guided Mixture-of-Experts (PG-MoE). We demonstrate the efficacy of such physics-guided problem decomposition for the case of the Schrödinger's Equation in Quantum Mechanics. Our proposed PG-MoE model predicts the ground-state solution, i.e., the eigenvector that corresponds to the smallest possible eigenvalue. The model is 150x smaller than the network trained to learn the complex task while being competitive in generalization. To improve the generalization of the PG-MoE, we also employ a physics-guided loss function based on variational energy, which by quantum mechanics principles is minimized iff the output is the ground-state solution.
△ Less
Submitted 15 February, 2022; v1 submitted 12 February, 2022;
originally announced February 2022.
-
Optimal Layout Plan of Stands at the Macao Food Festival via Minimizing the Electrostatic Potential Energy with the Effective Charge as Popularity of Stands
Authors:
Ka Ian Im,
In Kio Choi,
Pak Kio Lei,
Hou Fai Chan,
U In Ian,
Wei Shan Lee
Abstract:
We proposed a mathematical model for designing the layout diagram of stand locations at the Macao Food Festival. The optimal layout diagram may be defined in such a way that, while requiring the distance between every pair of stands should not be too far away from each other, the crowd control is well managed so that people may patronize stands more effectively. More popular stands may have larger…
▽ More
We proposed a mathematical model for designing the layout diagram of stand locations at the Macao Food Festival. The optimal layout diagram may be defined in such a way that, while requiring the distance between every pair of stands should not be too far away from each other, the crowd control is well managed so that people may patronize stands more effectively. More popular stands may have larger patronage, resulting in higher pedestrian flow nearby. Therefore, to avoid customers from packing shoulder to shoulder around more popular stands, we may treat every stand as a charged particle carrying an effective charge: the more popular a stand is, the higher the effective charge it carries. Under this assumption, the problem is then converted to the minimization problem of Coulomb electrostatic potential energy on a specific configuration of charge locations, with which the global minimum may be found by the Simulated Annealing and Metropolis Algorithm. Electrostatic energy density is interpreted as density of customers, while electric field the reversed crowd flow. Therefore, at a certain location we are able to predict the customer density by calculating the energy density and the net crowd flow with electric field lines. We also concluded that even though the required computation time to obtain a configuration of stand locations with the energy value close to the global minimum with a tolerable difference may be irrelevant to the randomly generated initial configuration of stand locations, setting up an appropriate initial configuration could be one of the key issues to find out the actual global minimum.
△ Less
Submitted 16 February, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
A unified framework for the regularization of final value time-fractional diffusion equation
Authors:
Walter Simo Tao Lee
Abstract:
This paper focuses on the regularization of backward time-fractional diffusion problem on unbounded domain. This problem is well-known to be ill-posed, whence the need of a regularization method in order to recover stable approximate solution. For the problem under consideration, we present a unified framework of regularization which covers some techniques such as Fourier regularization [19], moll…
▽ More
This paper focuses on the regularization of backward time-fractional diffusion problem on unbounded domain. This problem is well-known to be ill-posed, whence the need of a regularization method in order to recover stable approximate solution. For the problem under consideration, we present a unified framework of regularization which covers some techniques such as Fourier regularization [19], mollification [12] and approximate-inverse [7]. We investigate a regularization technique with two major advantages: the simplicity of computation of the regularized solution and the avoid of truncation of high frequency components (so as to avoid undesirable oscillation on the resulting approximate-solution). Under classical Sobolev-smoothness conditions, we derive order-optimal error estimates between the approximate solution and the exact solution in the case where both the data and the model are only approximately known. In addition, an order-optimal a-posteriori parameter choice rule based on the Morozov principle is given. Finally, via some numerical experiments in two-dimensional space, we illustrate the efficiency of our regularization approach and we numerically confirm the theoretical convergence rates established in the paper.
△ Less
Submitted 27 December, 2021;
originally announced December 2021.
-
Optimal Gap Sequences in Shellsort for $n\leq16$ Elements
Authors:
Ying Wai Lee
Abstract:
Optimal gap sequences in Shellsort, defined as gap sequences having the minimised maximum number of comparisons for a fixed number of pairwise distinct elements, are found by minimax search in reduced permutational spaces, namely Bad $(s,1)$-sorted permutations. Exact optimal gap sequences in Shellsort for $n\leq16$ pairwise distinct elements are established, and the best known gap sequences for…
▽ More
Optimal gap sequences in Shellsort, defined as gap sequences having the minimised maximum number of comparisons for a fixed number of pairwise distinct elements, are found by minimax search in reduced permutational spaces, namely Bad $(s,1)$-sorted permutations. Exact optimal gap sequences in Shellsort for $n\leq16$ pairwise distinct elements are established, and the best known gap sequences for $17\leq n\leq 30$ are listed with conjectures made. It notably discovers some optimal gap sequences consist of increments larger than the half of the total number of the elements to sort.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Empirically Improved Tokuda Gap Sequence in Shellsort
Authors:
Ying Wai Lee
Abstract:
Experiments are conducted to improve Tokuda (1992) gap sequence in Shellsort into $γ$-sequences, and the best result is the gap sequence in which the $k$-th increment $h_k$ is given by \begin{align} h_k=\left\lceil \frac{γ^k-1}{γ-1} \right\rceil \end{align} , where $γ=2.243609061420001...$ and $k\in\mathbb{N}_1$. The first few increments of the gap sequence are \begin{align} 1,\, 4,\, 9,\, 20,\, 4…
▽ More
Experiments are conducted to improve Tokuda (1992) gap sequence in Shellsort into $γ$-sequences, and the best result is the gap sequence in which the $k$-th increment $h_k$ is given by \begin{align} h_k=\left\lceil \frac{γ^k-1}{γ-1} \right\rceil \end{align} , where $γ=2.243609061420001...$ and $k\in\mathbb{N}_1$. The first few increments of the gap sequence are \begin{align} 1,\, 4,\, 9,\, 20,\, 45,\, 102,\, 230,\, 516,\,1158,\,2599,\,5831,\,13082,\,29351,\,65853,\, 147748,\,331490,\,743735,\, ...\end{align}It empirically yields less numbers of comparison on average than Tokuda (1992) gap sequence. In the procedure of search, it reveals the potential existence of a new type of fractal.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Operator-valued rational functions
Authors:
Raul E. Curto,
In Sung Hwang,
Woo Young Lee
Abstract:
In this paper we show that every inner divisor of the operator-valued coordinate function, $zI_E$, is a Blaschke-Potapov factor. We also introduce a notion of operator-valued "rational" function and then show that $Δ$ is two-sided inner and rational if and only if it can be represented as a finite Blaschke-Potapov product; this extends to operator-valued functions the well-known result proved by V…
▽ More
In this paper we show that every inner divisor of the operator-valued coordinate function, $zI_E$, is a Blaschke-Potapov factor. We also introduce a notion of operator-valued "rational" function and then show that $Δ$ is two-sided inner and rational if and only if it can be represented as a finite Blaschke-Potapov product; this extends to operator-valued functions the well-known result proved by V.P. Potapov for matrix-valued functions.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Computational Mean-field information dynamics associated with Reaction diffusion equations
Authors:
Wuchen Li,
Wonjun Lee,
Stanley Osher
Abstract:
We formulate and compute a class of mean-field information dynamics for reaction-diffusion equations. Given a class of nonlinear reaction-diffusion equations and entropy type Lyapunov functionals, we study their gradient flows formulations with generalized optimal transport metrics and mean-field control problems. We apply the primal-dual hybrid gradient algorithm to compute the mean-field control…
▽ More
We formulate and compute a class of mean-field information dynamics for reaction-diffusion equations. Given a class of nonlinear reaction-diffusion equations and entropy type Lyapunov functionals, we study their gradient flows formulations with generalized optimal transport metrics and mean-field control problems. We apply the primal-dual hybrid gradient algorithm to compute the mean-field control problems with potential energies. A byproduct of the proposed method contains a new and efficient variational scheme for solving implicit in time schemes of mean-field control problems. Several numerical examples demonstrate the solutions of mean-field control problems.
△ Less
Submitted 9 July, 2022; v1 submitted 23 July, 2021;
originally announced July 2021.
-
A mollifier approach to regularize a Cauchy problem for the inhomogeneous Helmholtz equation
Authors:
Pierre Marechal,
Walter Simo Tao Lee,
Faouzi Triki
Abstract:
The Cauchy problem for the inhomogeneous Helmholtz equation with non-uniform refraction index is considered. The ill-posedness of this problem is tackled by means of the variational form of mollification. This approach is proved to be consistent, and the proposed numerical simulations are quite promising.
The Cauchy problem for the inhomogeneous Helmholtz equation with non-uniform refraction index is considered. The ill-posedness of this problem is tackled by means of the variational form of mollification. This approach is proved to be consistent, and the proposed numerical simulations are quite promising.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
Mean field control problems for vaccine distribution
Authors:
Wonjun Lee,
Siting Liu,
Wuchen Li,
Stanley Osher
Abstract:
With the invention of the COVID-19 vaccine, ship** and distributing are crucial in controlling the pandemic. In this paper, we build a mean-field variational problem in a spatial domain, which controls the propagation of pandemic by the optimal transportation strategy of vaccine distribution. Here we integrate the vaccine distribution into the mean-field SIR model designed in our previous paper…
▽ More
With the invention of the COVID-19 vaccine, ship** and distributing are crucial in controlling the pandemic. In this paper, we build a mean-field variational problem in a spatial domain, which controls the propagation of pandemic by the optimal transportation strategy of vaccine distribution. Here we integrate the vaccine distribution into the mean-field SIR model designed in our previous paper arXiv:2006.01249. Numerical examples demonstrate that the proposed model provides practical strategies in vaccine distribution on a spatial domain.
△ Less
Submitted 9 July, 2022; v1 submitted 24 April, 2021;
originally announced April 2021.
-
Cancellable elements of the lattice of monoid varieties
Authors:
Sergey V. Gusev,
Edmond W. H. Lee
Abstract:
The set of all cancellable elements of the lattice of semigroup varieties has recently been shown to be countably infinite. But the description of all cancellable elements of the lattice $\mathbb{MON}$ of monoid varieties remains unknown. This problem is addressed in the present article. The first example of a monoid variety with modular but non-distributive subvariety lattice is first exhibited.…
▽ More
The set of all cancellable elements of the lattice of semigroup varieties has recently been shown to be countably infinite. But the description of all cancellable elements of the lattice $\mathbb{MON}$ of monoid varieties remains unknown. This problem is addressed in the present article. The first example of a monoid variety with modular but non-distributive subvariety lattice is first exhibited. Then a necessary condition of the modularity of an element in $\mathbb{MON}$ is established. These results play a crucial role in the complete description of all cancellable elements of the lattice $\mathbb{MON}$. It turns out that there are precisely five such elements.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
Foundations of space-time finite element methods: polytopes, interpolation, and integration
Authors:
Cory V. Frontin,
Gage S. Walters,
Freddie D. Witherden,
Carl W. Lee,
David M. Williams,
David L. Darmofal
Abstract:
The main purpose of this article is to facilitate the implementation of space-time finite element methods in four-dimensional space. In order to develop a finite element method in this setting, it is necessary to create a numerical foundation, or equivalently a numerical infrastructure. This foundation should include a collection of suitable elements (usually hypercubes, simplices, or closely rela…
▽ More
The main purpose of this article is to facilitate the implementation of space-time finite element methods in four-dimensional space. In order to develop a finite element method in this setting, it is necessary to create a numerical foundation, or equivalently a numerical infrastructure. This foundation should include a collection of suitable elements (usually hypercubes, simplices, or closely related polytopes), numerical interpolation procedures (usually orthonormal polynomial bases), and numerical integration procedures (usually quadrature rules). It is well known that each of these areas has yet to be fully explored, and in the present article, we attempt to directly address this issue. We begin by develo** a concrete, sequential procedure for constructing generic four-dimensional elements (4-polytopes). Thereafter, we review the key numerical properties of several canonical elements: the tesseract, tetrahedral prism, and pentatope. Here, we provide explicit expressions for orthonormal polynomial bases on these elements. Next, we construct fully symmetric quadrature rules with positive weights that are capable of exactly integrating high-degree polynomials, e.g. up to degree 17 on the tesseract. Finally, the quadrature rules are successfully tested using a set of canonical numerical experiments on polynomial and transcendental functions.
△ Less
Submitted 5 March, 2021; v1 submitted 15 December, 2020;
originally announced December 2020.
-
The back-and-forth method for Wasserstein gradient flows
Authors:
Matt Jacobs,
Wonjun Lee,
Flavien Léger
Abstract:
We present a method to efficiently compute Wasserstein gradient flows. Our approach is based on a generalization of the back-and-forth method (BFM) introduced by Jacobs and Léger to solve optimal transport problems. We evolve the gradient flow by solving the dual problem to the JKO scheme. In general, the dual problem is much better behaved than the primal problem. This allows us to efficiently ru…
▽ More
We present a method to efficiently compute Wasserstein gradient flows. Our approach is based on a generalization of the back-and-forth method (BFM) introduced by Jacobs and Léger to solve optimal transport problems. We evolve the gradient flow by solving the dual problem to the JKO scheme. In general, the dual problem is much better behaved than the primal problem. This allows us to efficiently run large-scale simulations for a large class of internal energies including singular and non-convex energies.
△ Less
Submitted 16 November, 2020;
originally announced November 2020.
-
The lattice of varieties of monoids
Authors:
Sergey V. Gusev,
Edmond W. H. Lee,
Boris M. Vernikov
Abstract:
We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated.
We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated.
△ Less
Submitted 14 October, 2022; v1 submitted 6 November, 2020;
originally announced November 2020.
-
Multiscale matrix pencils for separable reconstruction problems
Authors:
Annie Cuyt,
Wen-shin Lee
Abstract:
The nonlinear inverse problem of exponential data fitting is separable since the fitting function is a linear combination of parameterized exponential functions, thus allowing to solve for the linear coefficients separately from the nonlinear parameters. The matrix pencil method, which reformulates the problem statement into a generalized eigenvalue problem for the nonlinear parameters and a struc…
▽ More
The nonlinear inverse problem of exponential data fitting is separable since the fitting function is a linear combination of parameterized exponential functions, thus allowing to solve for the linear coefficients separately from the nonlinear parameters. The matrix pencil method, which reformulates the problem statement into a generalized eigenvalue problem for the nonlinear parameters and a structured linear system for the linear parameters, is generally considered as the more stable method to solve the problem computationally. In Section 2 the matrix pencil associated with the classical complex exponential fitting or sparse interpolation problem is summarized and the concepts of dilation and translation are introduced to obtain matrix pencils at different scales.
Exponential analysis was earlier generalized to the use of several polynomial basis functions and some operator eigenfunctions. However, in most generalizations a computational scheme in terms of an eigenvalue problem is lacking. In the subsequent Sections 3--6 the matrix pencil formulation, including the dilation and translation paradigm, is generalized to more functions. Each of these periodic, polynomial or special function classes needs a tailored approach, where optimal use is made of the properties of the parameterized elementary or special function used in the sparse interpolation problem under consideration. With each generalization a structured linear matrix pencil is associated, immediately leading to a computational scheme for the nonlinear and linear parameters, respectively from a generalized eigenvalue problem and one or more structured linear systems.
Finally, in Section 7 we illustrate the new methods.
△ Less
Submitted 9 June, 2023; v1 submitted 5 August, 2020;
originally announced August 2020.
-
A Reinforcement Learning Approach for Dynamic Information Flow Tracking Games for Detecting Advanced Persistent Threats
Authors:
Dinuka Sahabandu,
Shana Moothedath,
Joey Allen,
Linda Bushnell,
Wenke Lee,
Radha Poovendran
Abstract:
Advanced Persistent Threats (APTs) are stealthy attacks that threaten the security and privacy of sensitive information. Interactions of APTs with victim system introduce information flows that are recorded in the system logs. Dynamic Information Flow Tracking (DIFT) is a promising detection mechanism for detecting APTs. DIFT taints information flows originating at system entities that are suscept…
▽ More
Advanced Persistent Threats (APTs) are stealthy attacks that threaten the security and privacy of sensitive information. Interactions of APTs with victim system introduce information flows that are recorded in the system logs. Dynamic Information Flow Tracking (DIFT) is a promising detection mechanism for detecting APTs. DIFT taints information flows originating at system entities that are susceptible to an attack, tracks the propagation of the tainted flows, and authenticates the tainted flows at certain system components according to a pre-defined security policy. Deployment of DIFT to defend against APTs in cyber systems is limited by the heavy resource and performance overhead associated with DIFT. In this paper, we propose a resource-efficient model for DIFT by incorporating the security costs, false-positives, and false-negatives associated with DIFT. Specifically, we develop a game-theoretic framework and provide an analytical model of DIFT that enables the study of trade-off between resource efficiency and the effectiveness of detection. Our game model is a nonzero-sum, infinite-horizon, average reward stochastic game. Our model incorporates the information asymmetry between players that arises from DIFT's inability to distinguish malicious flows from benign flows and APT's inability to know the locations where DIFT performs a security analysis. Additionally, the game has incomplete information as the transition probabilities (false-positive and false-negative rates) are unknown. We propose a multiple-time scale stochastic approximation algorithm to learn an equilibrium solution of the game. We prove that our algorithm converges to an average reward Nash equilibrium. We evaluate our proposed model and algorithm on a real-world ransomware dataset and validate the effectiveness of the proposed approach.
△ Less
Submitted 28 June, 2021; v1 submitted 30 June, 2020;
originally announced July 2020.
-
Controlling Propagation of epidemics via mean-field control
Authors:
Wonjun Lee,
Siting Liu,
Hamidou Tembine,
Wuchen Li,
Stanley Osher
Abstract:
The coronavirus disease 2019 (COVID-19) pandemic is changing and impacting lives on a global scale. In this paper, we introduce a mean-field game model in controlling the propagation of epidemics on a spatial domain. The control variable, the spatial velocity, is first introduced for the classical disease models, such as the SIR model. For this proposed model, we provide fast numerical algorithms…
▽ More
The coronavirus disease 2019 (COVID-19) pandemic is changing and impacting lives on a global scale. In this paper, we introduce a mean-field game model in controlling the propagation of epidemics on a spatial domain. The control variable, the spatial velocity, is first introduced for the classical disease models, such as the SIR model. For this proposed model, we provide fast numerical algorithms based on proximal primal-dual methods. Numerical experiments demonstrate that the proposed model illustrates how to separate infected patients in a spatial domain effectively.
△ Less
Submitted 10 November, 2020; v1 submitted 1 June, 2020;
originally announced June 2020.
-
Regularization of linear and nonlinear ill-posed problems by mollification
Authors:
Walter Cedric Simo Tao Lee
Abstract:
In this paper, we address the problem of approximating solutions of ill-posed problems using mollification. We quickly review existing mollification regularization methods and provide two new approximate solutions to a general ill-posed equation $T(f) =g$ where $T$ can be nonlinear. The regularized solutions we define extend the work of Bonnefond and Maréchal \cite{xapi}, and trace their origins i…
▽ More
In this paper, we address the problem of approximating solutions of ill-posed problems using mollification. We quickly review existing mollification regularization methods and provide two new approximate solutions to a general ill-posed equation $T(f) =g$ where $T$ can be nonlinear. The regularized solutions we define extend the work of Bonnefond and Maréchal \cite{xapi}, and trace their origins in the variational formulation of mollification, which to the best of our knowledge, was first introduced by Lannes et al. \cite{lannes}. In addition to consistency results, for the first time, we provide some convergence rates for a mollification method defined through a variational formulation.
△ Less
Submitted 2 May, 2020; v1 submitted 17 March, 2020;
originally announced March 2020.
-
Generalized Unnormalized Optimal Transport and its fast algorithms
Authors:
Wonjun Lee,
Rongjie Lai,
Wuchen Li,
Stanley Osher
Abstract:
We introduce fast algorithms for generalized unnormalized optimal transport. To handle densities with different total mass, we consider a dynamic model, which mixes the $L^p$ optimal transport with $L^p$ distance. For $p=1$, we derive the corresponding $L^1$ generalized unnormalized Kantorovich formula. We further show that the problem becomes a simple $L^1$ minimization which is solved efficientl…
▽ More
We introduce fast algorithms for generalized unnormalized optimal transport. To handle densities with different total mass, we consider a dynamic model, which mixes the $L^p$ optimal transport with $L^p$ distance. For $p=1$, we derive the corresponding $L^1$ generalized unnormalized Kantorovich formula. We further show that the problem becomes a simple $L^1$ minimization which is solved efficiently by a primal-dual algorithm. For $p=2$, we derive the $L^2$ generalized unnormalized Kantorovich formula, a new unnormalized Monge problem and the corresponding Monge-Ampère equation. Furthermore, we introduce a new unconstrained optimization formulation of the problem. The associated gradient flow is essentially related to an elliptic equation which can be solved efficiently. Here the proposed gradient descent procedure together with the Nesterov acceleration involves the Hamilton-Jacobi equation which arises from the KKT conditions. Several numerical examples are presented to illustrate the effectiveness of the proposed algorithms.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Varieties of monoids with complex lattices of subvarieties
Authors:
Sergey V. Gusev,
Edmond W. H. Lee
Abstract:
A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. Examples of finitely universal varieties of semigroups have been available since the early 1970s, but it is unknown if there exists a finitely universal variety of monoids. The main objective of the present article is to exhibit the first examples of finitely universal varieties of m…
▽ More
A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. Examples of finitely universal varieties of semigroups have been available since the early 1970s, but it is unknown if there exists a finitely universal variety of monoids. The main objective of the present article is to exhibit the first examples of finitely universal varieties of monoids. The finite universality of these varieties is established by showing that the lattice of equivalence relations on every sufficiently large finite set is anti-isomorphic to some subinterval of the lattice of subvarieties.
△ Less
Submitted 13 June, 2020; v1 submitted 21 January, 2020;
originally announced January 2020.
-
Rank 3 Quadratic Generators of Veronese Embeddings
Authors:
Kang** Han,
Wanseok Lee,
Hyunsuk Moon,
Euisung Park
Abstract:
Let $L$ be a very ample line bundle on a projective scheme $X$ defined over an algebraically closed field $\Bbbk$ with ${\rm char}~\Bbbk \neq 2$. We say that $(X,L)$ satisfies property $\mathsf{QR}(k)$ if the homogeneous ideal of the linearly normal embedding $X \subset \mathbb{P}H^0 (X,L)$ can be generated by quadrics of rank $\leq k$. Many classical varieties such as Segre-Veronese embeddings, r…
▽ More
Let $L$ be a very ample line bundle on a projective scheme $X$ defined over an algebraically closed field $\Bbbk$ with ${\rm char}~\Bbbk \neq 2$. We say that $(X,L)$ satisfies property $\mathsf{QR}(k)$ if the homogeneous ideal of the linearly normal embedding $X \subset \mathbb{P}H^0 (X,L)$ can be generated by quadrics of rank $\leq k$. Many classical varieties such as Segre-Veronese embeddings, rational normal scrolls and curves of high degree satisfy property $\mathsf{QR}(4)$.
In this paper, we first prove that if ${\rm char}~\Bbbk \neq 3$ then $(\mathbb{P}^n , \mathcal{O}_{\mathbb{P}^n} (d))$ satisfies property $\mathsf{QR}(3)$ for all $n \geq 1$ and $d \geq 2$. We also investigate an asymptotic behavior of property $\mathsf{QR}(3)$ for any projective scheme. Namely, we prove that $(i)$ if $X \subset \mathbb{P} H^0 (X,L)$ is $m$-regular then $(X,L^d )$ satisfies property $\mathsf{QR}(3)$ for all $d \geq m$ and $(ii)$ if $A$ is an ample line bundle on $X$ then $(X,A^d )$ satisfies property $\mathsf{QR}(3)$ for all sufficiently large even number $d$. These results provide an affirmative evidence for the expectation that property $\mathsf{QR}(3)$ holds for all sufficiently ample line bundles on $X$, as in the cases of Green-Lazarsfeld's condition $\mathrm{N}_p$ and Eisenbud-Koh-Stillman's determininantal presentation in [EKS88]. Finally, when ${\rm char}~\Bbbk = 3$ we prove that $(\mathbb{P}^n , \mathcal{O}_{\mathbb{P}^n} (2))$ fails to satisfy property $\mathsf{QR}(3)$ for all $n \geq 3$.
△ Less
Submitted 13 April, 2021; v1 submitted 18 January, 2020;
originally announced January 2020.
-
A Survey on Varieties Generated by Small Semigroups and a Companion Website
Authors:
João Araújo,
João Pedro Araújo,
Peter J. Cameron,
Edmond W. H. Lee,
Jorge Raminhos
Abstract:
The aim of this paper is to provide an atlas of identity bases for varieties generated by small semigroups and groups. To help the working mathematician easily find information, we provide a companion website that runs in the background automated reasoning tools, finite model builders, and GAP, so that the user has an automatic \textit{intelligent} guide on the literature.
This paper is mainly a…
▽ More
The aim of this paper is to provide an atlas of identity bases for varieties generated by small semigroups and groups. To help the working mathematician easily find information, we provide a companion website that runs in the background automated reasoning tools, finite model builders, and GAP, so that the user has an automatic \textit{intelligent} guide on the literature.
This paper is mainly a survey of what is known about identity bases for semigroups or groups of small orders, and we also mend some gaps left unresolved by previous authors. For instance, we provide the first complete and justified list of identity bases for the varieties generated by a semigroup of order up to~$4$, and the website contains the list of varieties generated by a semigroup of order up to~$5$.
The website also provides identity bases for several types of semigroups or groups, such as bands, commutative groups, and metabelian groups. On the inherently non-finitely based finite semigroups side, the website can decide if a given finite semigroup possesses this property or not.
We provide some other functionalities such as a tool that outputs the multiplication table of a semigroup given by a $C$-presentation, where~$C$ is any class of algebras defined by a set of first order formulas.
The companion website can be found here
\url{http://sgv.pythonanywhere.com}
Please send any comments/suggestions to \url{[email protected]}
△ Less
Submitted 13 November, 2019;
originally announced November 2019.
-
Tropical Optimal Transport and Wasserstein Distances
Authors:
Wonjun Lee,
Wuchen Li,
Bo Lin,
Anthea Monod
Abstract:
We study the problem of optimal transport in tropical geometry and define the Wasserstein-$p$ distances in the continuous metric measure space setting of the tropical projective torus. We specify the tropical metric -- a combinatorial metric that has been used to study of the tropical geometric space of phylogenetic trees -- as the ground metric and study the cases of $p=1,2$ in detail. The case o…
▽ More
We study the problem of optimal transport in tropical geometry and define the Wasserstein-$p$ distances in the continuous metric measure space setting of the tropical projective torus. We specify the tropical metric -- a combinatorial metric that has been used to study of the tropical geometric space of phylogenetic trees -- as the ground metric and study the cases of $p=1,2$ in detail. The case of $p=1$ gives an efficient computation of the infinitely-many geodesics on the tropical projective torus, while the case of $p=2$ gives a form for Fréchet means and a general inner product structure. Our results also provide theoretical foundations for geometric insight a statistical framework in a tropical geometric setting. We construct explicit algorithms for the computation of the tropical Wasserstein-1 and 2 distances and prove their convergence. Our results provide the first study of the Wasserstein distances and optimal transport in tropical geometry. Several numerical examples are provided.
△ Less
Submitted 17 May, 2021; v1 submitted 13 November, 2019;
originally announced November 2019.
-
The Beurling-Lax-Halmos Theorem for Infinite Multiplicity
Authors:
Raul E. Curto,
In Sung Hwang,
Woo Young Lee
Abstract:
In this paper, we consider several questions emerging from the Beurling-Lax-Halmos Theorem, which characterizes the shift-invariant subspaces of vector-valued Hardy spaces. The Beurling-Lax-Halmos Theorem states that a backward shift-invariant subspace is a model space $\mathcal{H}(Δ) \equiv H_E^2 \ominus ΔH_{E}^2$, for some inner function $Δ$. Our first question calls for a description of the set…
▽ More
In this paper, we consider several questions emerging from the Beurling-Lax-Halmos Theorem, which characterizes the shift-invariant subspaces of vector-valued Hardy spaces. The Beurling-Lax-Halmos Theorem states that a backward shift-invariant subspace is a model space $\mathcal{H}(Δ) \equiv H_E^2 \ominus ΔH_{E}^2$, for some inner function $Δ$. Our first question calls for a description of the set $F$ in $H_E^2$ such that $\mathcal{H}(Δ)=E_F^*$, where $E_F^*$ denotes the smallest backward shift-invariant subspace containing the set $F$. In our pursuit of a general solution to this question, we are naturally led to take into account a canonical decomposition of operator-valued strong $L^2$-functions. Next, we ask: Is every shift-invariant subspace the kernel of a (possibly unbounded) Hankel operator? As we know, the kernel of a Hankel operator is shift-invariant, so the above question is equivalent to seeking a solution to the equation $\ker H_Φ^*=ΔH_{E^{\prime}}^2$, where $Δ$ is an inner function satisfying $Δ^* Δ=I_{E^{\prime}}$ almost everywhere on the unit circle $\mathbb{T}$ and $H_Φ$ denotes the Hankel operator with symbol $Φ$. Consideration of the above question on the structure of shift-invariant subspaces leads us to study and coin a new notion of "Beurling degree" for an inner function. We then establish a deep connection between the spectral multiplicity of the model operator and the Beurling degree of the corresponding characteristic function. At the same time, we consider the notion of meromorphic pseudo-continuations of bounded type for operator-valued functions, and then use this notion to study the spectral multiplicity of model operators (truncated backward shifts) between separable complex Hilbert spaces. In particular, we consider the multiplicity-free case.
△ Less
Submitted 19 October, 2019;
originally announced October 2019.
-
Satellite Constellation Pattern Optimization for Complex Regional Coverage
Authors:
Hang Woon Lee,
Seiichi Shimizu,
Shoji Yoshikawa,
Koki Ho
Abstract:
The use of regional coverage satellite constellations is on the rise, urging the need for an optimal constellation design method for complex regional coverage. Traditional constellations are often designed for continuous global coverage, and the few existing regional constellation design methods lead to suboptimal solutions for periodically time-varying or spatially-varying regional coverage requi…
▽ More
The use of regional coverage satellite constellations is on the rise, urging the need for an optimal constellation design method for complex regional coverage. Traditional constellations are often designed for continuous global coverage, and the few existing regional constellation design methods lead to suboptimal solutions for periodically time-varying or spatially-varying regional coverage requirements. This paper introduces a new general approach to design an optimal constellation pattern that satisfies such complex regional coverage requirements. To this end, the circular convolution nature of the repeating ground track orbit and common ground track constellation is formalized. This formulation enables a scalable constellation pattern analysis for multiple target areas and with multiple sub-constellations. The formalized circular convolution relationship is first used to derive a baseline constellation pattern design method with the conventional assumption of symmetry. Next, a novel method based on binary integer linear programming is developed, which aims to optimally design a constellation pattern with the minimum number of satellites. This binary integer linear programming method is shown to achieve optimal constellation patterns for general problem settings that the baseline method cannot achieve. Five illustrative examples are analyzed to demonstrate the value of the proposed new approach.
△ Less
Submitted 5 October, 2020; v1 submitted 1 October, 2019;
originally announced October 2019.
-
A new regularization method for linear exponentially ill-posed problems
Authors:
Walter Cedric Simo Tao Lee
Abstract:
This paper provides a new regularization method which is particularly suitable for linear exponentially ill-posed problems. Under logarithmic source conditions (which have a natural interpretation in terms of Sobolev spaces in the aforementioned context), concepts of qualifications as well as order optimal rates of convergence are presented. Optimality results under general source conditions expre…
▽ More
This paper provides a new regularization method which is particularly suitable for linear exponentially ill-posed problems. Under logarithmic source conditions (which have a natural interpretation in terms of Sobolev spaces in the aforementioned context), concepts of qualifications as well as order optimal rates of convergence are presented. Optimality results under general source conditions expressed in terms of index functions are also studied.
Finally, numerical experiments on three test problems attest the better performance of the new method compared to the well known Tikhonov method in instances of exponentially ill-posed problems.
△ Less
Submitted 7 July, 2020; v1 submitted 26 September, 2019;
originally announced September 2019.
-
Asymptotic behavior of Vianna's exotic Lagrangian tori $T_{a,b,c}$ in $\mathbb{CP}^2$ as $a+b+c \to \infty$
Authors:
Weonmo Lee,
Yong-Geun Oh,
Renato Vianna
Abstract:
In this paper, we study various asymptotic behavior of the infinite family of monotone Lagrangian tori $T_{a,b,c}$ in $\mathbb{CP}^2$ associated to Markov triples $(a,b,c)$ described in \cite{Vi14}. We first prove that the Gromov capacity of the complement $\mathbb{CP}^2 \setminus T_{a,b,c}$ is greater than or equal to $\frac13$ of the area of the complex line for all Markov triple $(a,b,c)$. We t…
▽ More
In this paper, we study various asymptotic behavior of the infinite family of monotone Lagrangian tori $T_{a,b,c}$ in $\mathbb{CP}^2$ associated to Markov triples $(a,b,c)$ described in \cite{Vi14}. We first prove that the Gromov capacity of the complement $\mathbb{CP}^2 \setminus T_{a,b,c}$ is greater than or equal to $\frac13$ of the area of the complex line for all Markov triple $(a,b,c)$. We then prove that there is a representative of the family $\{T_{a,b,c}\}$ whose loci completely miss a metric ball of nonzero size and in particular the loci of the union of the family is not dense in $\mathbb{CP}^2$.
△ Less
Submitted 14 June, 2019; v1 submitted 26 April, 2019;
originally announced April 2019.
-
On the polygon determined by the short diagonals of a convex polygon
Authors:
Jacqueline Cho,
Dan Ismailescu,
Yiwon Kim,
Andrew Woojong Lee
Abstract:
Let $K$ be a convex pentagon in the plane and let $K_1$ be the pentagon bounded by the diagonals of $K$. It has been conjectured that the maximum of the ratio between the areas of $K_1$ and $K$ is reached when $K$ is an affine regular pentagon. In this paper we prove this conjecture. We also show that for polygons with at least six vertices the trivial answers are the best possible.
Let $K$ be a convex pentagon in the plane and let $K_1$ be the pentagon bounded by the diagonals of $K$. It has been conjectured that the maximum of the ratio between the areas of $K_1$ and $K$ is reached when $K$ is an affine regular pentagon. In this paper we prove this conjecture. We also show that for polygons with at least six vertices the trivial answers are the best possible.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
The Poisson random effect model for experience ratemaking: limitations and alternative solutions
Authors:
Woojoo Lee,
Jeonghwan Kim,
Jae Youn Ahn
Abstract:
Poisson random effect models with a shared random effect have been widely used in actuarial science for analyzing the number of claims. In particular, the random effect is a key factor in a posteriori risk classification. However, the necessity of the random effect may not be properly assessed due to the dual role of the random effect; it affects both the marginal distribution of the number of cla…
▽ More
Poisson random effect models with a shared random effect have been widely used in actuarial science for analyzing the number of claims. In particular, the random effect is a key factor in a posteriori risk classification. However, the necessity of the random effect may not be properly assessed due to the dual role of the random effect; it affects both the marginal distribution of the number of claims and the dependence among the numbers of claims obtained from an individual over time. In line with such observations, we explain that one should be careful in using the score test for the nullity of the variance of the shared random effect, as a sufficient condition for the existence of the posteriori risk classification. To safely perform the a posteriori risk classification, we propose considering an alternative random effect model based on the negative binomial distribution, and show that safer conclusions about the a posteriori risk classification can be made based on it. We also derive the score test as a sufficient condition for the existence of the a posteriori risk classification based on the proposed model.
△ Less
Submitted 11 November, 2018;
originally announced November 2018.
-
Homophonic Quotients of Linguistic Free Groups: German, Korean, and Turkish
Authors:
Herbert Gangl,
Gizem Karaali,
Woohyung Lee
Abstract:
In 1993, the homophonic quotient groups for French and English (the quotient of the free group generated by the French (respectively English) alphabet determined by relations representing standard pronunciation rules) were explicitly characterized [5]. In this paper we apply the same methodology to three different language systems: German, Korean, and Turkish. We argue that our results point to so…
▽ More
In 1993, the homophonic quotient groups for French and English (the quotient of the free group generated by the French (respectively English) alphabet determined by relations representing standard pronunciation rules) were explicitly characterized [5]. In this paper we apply the same methodology to three different language systems: German, Korean, and Turkish. We argue that our results point to some interesting differences between these three languages (or at least their current script systems).
△ Less
Submitted 10 August, 2018;
originally announced August 2018.
-
On curves lying on a rational normal surface scroll
Authors:
Wanseok Lee,
Euisung Park
Abstract:
In this paper, we study the minimal free resolution of non-ACM divisors $X$ of a smooth rational normal surface scroll $S=S(a_1 ,a_2 ) \subset \mathbb{P}^r$. Our main result shows that for $a_2 \geq 2a_1 -1$, there exists a nice decomposition of the Betti table of $X$ as a sum of much simpler Betti tables. As a by-product of our results, we obtain a complete description of the graded Betti numbers…
▽ More
In this paper, we study the minimal free resolution of non-ACM divisors $X$ of a smooth rational normal surface scroll $S=S(a_1 ,a_2 ) \subset \mathbb{P}^r$. Our main result shows that for $a_2 \geq 2a_1 -1$, there exists a nice decomposition of the Betti table of $X$ as a sum of much simpler Betti tables. As a by-product of our results, we obtain a complete description of the graded Betti numbers of $X$ for the cases where $S=S(1,r-2)$ for some $r \geq 3$ and $S=S(2,r-3)$ for some $r \geq 6$.
△ Less
Submitted 4 December, 2018; v1 submitted 9 August, 2018;
originally announced August 2018.
-
Estimates for Brascamp-Lieb forms in $L^p$ spaces with power weights
Authors:
Russell M. Brown,
Carl W. Lee,
Katharine A. Ott
Abstract:
We establish a set of necessary conditions and a set of sufficient conditions for boundedness of a family of Brascamp-Lieb forms in Lorentz spaces and $L^p$-spaces with power weights. The conditions are close to optimal.
We establish a set of necessary conditions and a set of sufficient conditions for boundedness of a family of Brascamp-Lieb forms in Lorentz spaces and $L^p$-spaces with power weights. The conditions are close to optimal.
△ Less
Submitted 16 June, 2020; v1 submitted 18 July, 2018;
originally announced July 2018.