-
Rectangular representations and $λ$-independence of algebraic monodromy groups
Authors:
Chun-Yin Hui,
Wonwoong Lee
Abstract:
Let $\mathfrak g$ be a complex semisimple Lie algebra. We define what it means for a finite dimensional representation of $\mathfrak g$ to be rectangular and completely classify faithful rectangular representations. As an application, we obtain new $λ$-independence results on the algebraic monodromy groups of compatible systems of $λ$-adic Galois representations of number fields.
Let $\mathfrak g$ be a complex semisimple Lie algebra. We define what it means for a finite dimensional representation of $\mathfrak g$ to be rectangular and completely classify faithful rectangular representations. As an application, we obtain new $λ$-independence results on the algebraic monodromy groups of compatible systems of $λ$-adic Galois representations of number fields.
△ Less
Submitted 27 June, 2025;
originally announced June 2025.
-
Decomposition of real numbers into sums of Lüroth sets
Authors:
Maiken Gravgaard,
Ying Wai Lee
Abstract:
We study the decomposition of real numbers into sums of Lüroth sets, which are defined by numbers whose Lüroth expansions have prescribed digit constraints. We establish several results on the congruence modulo 1 of sums of Lüroth sets, including summands with digits bounded above, below, and combinations of the two. We also analyse the Hausdorff dimension of Lüroth sets and their sums. The result…
▽ More
We study the decomposition of real numbers into sums of Lüroth sets, which are defined by numbers whose Lüroth expansions have prescribed digit constraints. We establish several results on the congruence modulo 1 of sums of Lüroth sets, including summands with digits bounded above, below, and combinations of the two. We also analyse the Hausdorff dimension of Lüroth sets and their sums. The results extend classical findings on continued fractions to Lüroth expansions.
△ Less
Submitted 14 June, 2025;
originally announced June 2025.
-
A Finite-Time Analysis of TD Learning with Linear Function Approximation without Projections nor Strong Convexity
Authors:
Wei-Cheng Lee,
Francesco Orabona
Abstract:
We investigate the finite-time convergence properties of Temporal Difference (TD) learning with linear function approximation, a cornerstone algorithm in reinforcement learning. While prior work has established convergence guarantees, these results typically rely on the assumption that each iterate is projected onto a bounded set or that the learning rate is set according to the unknown strong con…
▽ More
We investigate the finite-time convergence properties of Temporal Difference (TD) learning with linear function approximation, a cornerstone algorithm in reinforcement learning. While prior work has established convergence guarantees, these results typically rely on the assumption that each iterate is projected onto a bounded set or that the learning rate is set according to the unknown strong convexity constant -- conditions that are both artificial and do not match the current practice.
In this paper, we challenge the necessity of such assumptions and present a refined analysis of TD learning. We show that the simple projection-free variant converges with a rate of $\tilde{\mathcal{O}}(\frac{||θ^*||^2_2}{\sqrt{T}})$, even in the presence of Markovian noise. Our analysis reveals a novel self-bounding property of the TD updates and exploits it to guarantee bounded iterates.
△ Less
Submitted 1 June, 2025;
originally announced June 2025.
-
Bernstein-type theorem for constant mean curvature surfaces in the isotropic 3-space
Authors:
Shintaro Akamine,
Wonjoo Lee,
Seong-Deog Yang
Abstract:
There are many non-trivial entire spacelike graphs with constant mean curvature $H$ (CMC $H$, for short) in the isotropic 3-space $\mathbb{I}^3$. In this paper, we show a value distribution theorem of Gaussian curvature of complete spacelike constant mean curvature surfaces in $\mathbb{I}^3$, which implies a Bernstein-type theorem for CMC $H$ graphs in $\mathbb{I}^3$.
There are many non-trivial entire spacelike graphs with constant mean curvature $H$ (CMC $H$, for short) in the isotropic 3-space $\mathbb{I}^3$. In this paper, we show a value distribution theorem of Gaussian curvature of complete spacelike constant mean curvature surfaces in $\mathbb{I}^3$, which implies a Bernstein-type theorem for CMC $H$ graphs in $\mathbb{I}^3$.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
The Rich and the Simple: On the Implicit Bias of Adam and SGD
Authors:
Bhavya Vasudeva,
Jung Whan Lee,
Vatsal Sharan,
Mahdi Soltanolkotabi
Abstract:
Adam is the de facto optimization algorithm for several deep learning applications, but an understanding of its implicit bias and how it differs from other algorithms, particularly standard first-order methods such as (stochastic) gradient descent (GD), remains limited. In practice, neural networks trained with SGD are known to exhibit simplicity bias -- a tendency to find simple solutions. In con…
▽ More
Adam is the de facto optimization algorithm for several deep learning applications, but an understanding of its implicit bias and how it differs from other algorithms, particularly standard first-order methods such as (stochastic) gradient descent (GD), remains limited. In practice, neural networks trained with SGD are known to exhibit simplicity bias -- a tendency to find simple solutions. In contrast, we show that Adam is more resistant to such simplicity bias. To demystify this phenomenon, in this paper, we investigate the differences in the implicit biases of Adam and GD when training two-layer ReLU neural networks on a binary classification task involving synthetic data with Gaussian clusters. We find that GD exhibits a simplicity bias, resulting in a linear decision boundary with a suboptimal margin, whereas Adam leads to much richer and more diverse features, producing a nonlinear boundary that is closer to the Bayes' optimal predictor. This richer decision boundary also allows Adam to achieve higher test accuracy both in-distribution and under certain distribution shifts. We theoretically prove these results by analyzing the population gradients. To corroborate our theoretical findings, we present empirical results showing that this property of Adam leads to superior generalization across datasets with spurious correlations where neural networks trained with SGD are known to show simplicity bias and don't generalize well under certain distributional shifts.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Ruled zero mean curvature surfaces in the three-dimensional light cone
Authors:
Joseph Cho,
Dami Lee,
Wonjoo Lee,
Seong-Deog Yang
Abstract:
We obtain a complete classification of ruled zero mean curvature surfaces in the three-dimensional light cone. En route, we examine geodesics and screw motions in the space form, allowing us to discover helicoids. We also consider their relationship to catenoids using Weierstrass representations of zero mean curvature surfaces in the three-dimensional light cone.
We obtain a complete classification of ruled zero mean curvature surfaces in the three-dimensional light cone. En route, we examine geodesics and screw motions in the space form, allowing us to discover helicoids. We also consider their relationship to catenoids using Weierstrass representations of zero mean curvature surfaces in the three-dimensional light cone.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Asymptotic Error Bounds and Fractional-Bit Design for Fixed-Point Grover's Quantum Algorithm Emulation
Authors:
Seonghyun Choi,
Kyeongwon Lee,
Jongin Choi,
Woojoo Lee
Abstract:
Quantum computing (QC) emulators, which simulate quantum algorithms on classical hardware, are indispensable platforms for testing quantum algorithms before scalable quantum computers become widely available. A critical challenge in QC emulation is managing numerical errors from finite arithmetic precision, especially truncation errors in resource-efficient fixed-point arithmetic. Despite its impo…
▽ More
Quantum computing (QC) emulators, which simulate quantum algorithms on classical hardware, are indispensable platforms for testing quantum algorithms before scalable quantum computers become widely available. A critical challenge in QC emulation is managing numerical errors from finite arithmetic precision, especially truncation errors in resource-efficient fixed-point arithmetic. Despite its importance, systematic studies quantifying how truncation errors impact quantum algorithm accuracy are limited. In this paper, we propose a rigorous quantitative framework analyzing truncation error propagation in fixed-point QC emulation, focusing on Grover's quantum search algorithm. First, we introduce a simplified two-value amplitude representation of quantum states during Grover's iterations and prove its theoretical validity. Using this representation, we derive explicit mathematical expressions characterizing truncation error accumulation across quantum gate operations. We quantify the overall emulation error by the $\ell_2$ distance between ideal and emulated probability distributions, obtaining asymptotic bounds scaling as $O(2^{n-f})$, where $n$ is the number of qubits and $f$ is fractional-bit precision. Extensive numerical simulations and empirical experiments on a practical fixed-point QC emulator confirm that observed errors precisely match our theoretical predictions. Finally, we provide a closed-form formula to determine the minimal fractional-bit precision required to achieve a specified error threshold, offering clear guidelines for emulator designers balancing accuracy and resource utilization.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Understanding Contrastive Learning through Variational Analysis and Neural Network Optimization Perspectives
Authors:
Jeff Calder,
Wonjun Lee
Abstract:
The SimCLR method for contrastive learning of invariant visual representations has become extensively used in supervised, semi-supervised, and unsupervised settings, due to its ability to uncover patterns and structures in image data that are not directly present in the pixel representations. However, the reason for this success is not well-explained, since it is not guaranteed by invariance alone…
▽ More
The SimCLR method for contrastive learning of invariant visual representations has become extensively used in supervised, semi-supervised, and unsupervised settings, due to its ability to uncover patterns and structures in image data that are not directly present in the pixel representations. However, the reason for this success is not well-explained, since it is not guaranteed by invariance alone. In this paper, we conduct a mathematical analysis of the SimCLR method with the goal of better understanding the geometric properties of the learned latent distribution. Our findings reveal two things: (1) the SimCLR loss alone is not sufficient to select a good minimizer -- there are minimizers that give trivial latent distributions, even when the original data is highly clustered -- and (2) in order to understand the success of contrastive learning methods like SimCLR, it is necessary to analyze the neural network training dynamics induced by minimizing a contrastive learning loss. Our preliminary analysis for a one-hidden layer neural network shows that clustering structure can present itself for a substantial period of time during training, even if it eventually converges to a trivial minimizer. To substantiate our theoretical insights, we present numerical results that confirm our theoretical predictions.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
New Lower Bounds for Stochastic Non-Convex Optimization through Divergence Decomposition
Authors:
El Mehdi Saad,
Wei-Cheng Lee,
Francesco Orabona
Abstract:
We study fundamental limits of first-order stochastic optimization in a range of nonconvex settings, including L-smooth functions satisfying Quasar-Convexity (QC), Quadratic Growth (QG), and Restricted Secant Inequalities (RSI). While the convergence properties of standard algorithms are well-understood in deterministic regimes, significantly fewer results address the stochastic case, where only u…
▽ More
We study fundamental limits of first-order stochastic optimization in a range of nonconvex settings, including L-smooth functions satisfying Quasar-Convexity (QC), Quadratic Growth (QG), and Restricted Secant Inequalities (RSI). While the convergence properties of standard algorithms are well-understood in deterministic regimes, significantly fewer results address the stochastic case, where only unbiased and noisy gradients are available. We establish new lower bounds on the number of noisy gradient queries to minimize these classes of functions, also showing that they are tight (up to a logarithmic factor) in all the relevant quantities characterizing each class. Our approach reformulates the optimization task as a function identification problem, leveraging divergence decomposition arguments to construct a challenging subclass that leads to sharp lower bounds. Furthermore, we present a specialized algorithm in the one-dimensional setting that achieves faster rates, suggesting that certain dimensional thresholds are intrinsic to the complexity of non-convex stochastic optimization.
△ Less
Submitted 1 June, 2025; v1 submitted 19 February, 2025;
originally announced February 2025.
-
Lüroth Expansions in Diophantine Approximation: Metric Properties and Conjectures
Authors:
Ying Wai Lee
Abstract:
This paper focuses on the metric properties of Lüroth well approximable numbers, studying analogous of classical results, namely the Khintchine Theorem, the Jarník--Besicovitch Theorem, and the result of Dodson. A supplementary proof is provided for a measure-theoretic statement originally proposed by Tan--Zhou. The Beresnevich--Velani Mass Transference Principle is applied to extend a dimensional…
▽ More
This paper focuses on the metric properties of Lüroth well approximable numbers, studying analogous of classical results, namely the Khintchine Theorem, the Jarník--Besicovitch Theorem, and the result of Dodson. A supplementary proof is provided for a measure-theoretic statement originally proposed by Tan--Zhou. The Beresnevich--Velani Mass Transference Principle is applied to extend a dimensional result of Cao--Wu--Zhang. A counterexample is constructed, leading to a revision of a conjecture by Tan--Zhou concerning dimension, along with a partial result.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
Geometry-Preserving Encoder/Decoder in Latent Generative Models
Authors:
Wonjun Lee,
Riley C. W. O'Neill,
Dongmian Zou,
Jeff Calder,
Gilad Lerman
Abstract:
Generative modeling aims to generate new data samples that resemble a given dataset, with diffusion models recently becoming the most popular generative model. One of the main challenges of diffusion models is solving the problem in the input space, which tends to be very high-dimensional. Recently, solving diffusion models in the latent space through an encoder that maps from the data space to a…
▽ More
Generative modeling aims to generate new data samples that resemble a given dataset, with diffusion models recently becoming the most popular generative model. One of the main challenges of diffusion models is solving the problem in the input space, which tends to be very high-dimensional. Recently, solving diffusion models in the latent space through an encoder that maps from the data space to a lower-dimensional latent space has been considered to make the training process more efficient and has shown state-of-the-art results. The variational autoencoder (VAE) is the most commonly used encoder/decoder framework in this domain, known for its ability to learn latent representations and generate data samples. In this paper, we introduce a novel encoder/decoder framework with theoretical properties distinct from those of the VAE, specifically designed to preserve the geometric structure of the data distribution. We demonstrate the significant advantages of this geometry-preserving encoder in the training process of both the encoder and decoder. Additionally, we provide theoretical results proving convergence of the training process, including convergence guarantees for encoder training, and results showing faster convergence of decoder training when using the geometry-preserving encoder.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
Shock-type singularity of the hyperbolic-parabolic chemotaxis system
Authors:
Woojae Lee
Abstract:
This paper deals with the hyperbolic-parabolic chemotaxis (HPC) model, which is a hydrodynamic model describing vascular network formation at the early stage of the vasculature. We study analytically the singularity formation associated with the shock-type structure, which was numerically observed by Filbet, Lauren{ç}ot, and Perthame \cite{filbet2005derivation} and Filbet and Shu \cite{filbet2005a…
▽ More
This paper deals with the hyperbolic-parabolic chemotaxis (HPC) model, which is a hydrodynamic model describing vascular network formation at the early stage of the vasculature. We study analytically the singularity formation associated with the shock-type structure, which was numerically observed by Filbet, Lauren{ç}ot, and Perthame \cite{filbet2005derivation} and Filbet and Shu \cite{filbet2005approximation}. We construct the blow-up profile in a 1D HPC system on $\mathbb{R}$ as follows: The blow-up profile is stable in the sense of $H^m$ topology ($m\geq 5$) prior to the occurrence of the singularity. For the first singularity, while the density and velocity $(ρ, u)$ of endothelial cells themselves remain bounded, the gradients of the density and velocity blow up. The chemoattractant concentration $φ$ has $C^2$ regularity. However, the density and velocity with $C^ {\frac{1}{3}}$ regularity exhibit a cusp singularity at a unique blow-up point, the location and time of which are explicitly estimated. Furthermore, the HPC system is $C^1$ differentiable except in any neighborhood of the blow-up point.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
Explicit Upper Bounds on Decay Rates of Fourier Transforms of Self-similar Measures on Self-similar Sets
Authors:
Ying Wai Lee
Abstract:
The study of Fourier transforms of probability measures on fractal sets plays an important role in recent research. Faster decay rates are known to yield enhanced results in areas such as metric number theory. This paper focuses on self-similar probability measures defined on self-similar sets. Explicit upper bounds are derived for their decay rates, improving upon prior research. These findings a…
▽ More
The study of Fourier transforms of probability measures on fractal sets plays an important role in recent research. Faster decay rates are known to yield enhanced results in areas such as metric number theory. This paper focuses on self-similar probability measures defined on self-similar sets. Explicit upper bounds are derived for their decay rates, improving upon prior research. These findings are illustrated with an application to sets of numbers whose digits in their Lüroth representations are restricted to a finite set.
△ Less
Submitted 21 December, 2024;
originally announced December 2024.
-
Super-Polynomial Growth of the Generalized Persistence Diagram
Authors:
Donghan Kim,
Woojin Kim,
Wonjun Lee
Abstract:
The Generalized Persistence Diagram (GPD) for multi-parameter persistence naturally extends the classical notion of persistence diagram for one-parameter persistence. However, unlike its classical counterpart, computing the GPD remains a significant challenge. The main hurdle is that, while the GPD is defined as the Möbius inversion of the Generalized Rank Invariant (GRI), computing the GRI is int…
▽ More
The Generalized Persistence Diagram (GPD) for multi-parameter persistence naturally extends the classical notion of persistence diagram for one-parameter persistence. However, unlike its classical counterpart, computing the GPD remains a significant challenge. The main hurdle is that, while the GPD is defined as the Möbius inversion of the Generalized Rank Invariant (GRI), computing the GRI is intractable due to the formidable size of its domain, i.e., the set of all connected and convex subsets in a finite grid in $\mathbb{R}^d$ with $d \geq 2$. This computational intractability suggests seeking alternative approaches to computing the GPD.
In order to study the complexity associated to computing the GPD, it is useful to consider its classical one-parameter counterpart, where for a filtration of a simplicial complex with $n$ simplices, its persistence diagram contains at most $n$ points. This observation leads to the question: 'Given a $d$-parameter simplicial filtration, could the cardinality of its GPD (specifically, the support of the GPD) also be bounded by a polynomial in the number of simplices in the filtration?' This is the case for $d=1$, where we compute the persistence diagram directly at the simplicial filtration level. If this were also the case for $d\geq2$, it might be possible to compute the GPD directly and much more efficiently without relying on the GRI.
We show that the answer to the question above is negative, demonstrating the inherent difficulty of computing the GPD. More specifically, we construct a sequence of $d$-parameter simplicial filtrations where the cardinalities of their GPDs are not bounded by any polynomial in the the number of simplices. Furthermore, we show that several commonly used methods for constructing multi-parameter filtrations can give rise to such "wild" filtrations.
△ Less
Submitted 15 April, 2025; v1 submitted 6 December, 2024;
originally announced December 2024.
-
Benchmarking Agility and Reconfigurability in Satellite Systems for Tropical Cyclone Monitoring
Authors:
Brycen D. Pearl,
Logan P. Gold,
Hang Woon Lee
Abstract:
Tropical cyclones (TCs) are highly dynamic natural disasters that travel vast distances and occupy a large spatial scale, leading to loss of life, economic strife, and destruction of infrastructure. The severe impact of TCs makes them crucial to monitor such that the collected data contributes to forecasting their trajectory and severity, as well as the provision of information to relief agencies.…
▽ More
Tropical cyclones (TCs) are highly dynamic natural disasters that travel vast distances and occupy a large spatial scale, leading to loss of life, economic strife, and destruction of infrastructure. The severe impact of TCs makes them crucial to monitor such that the collected data contributes to forecasting their trajectory and severity, as well as the provision of information to relief agencies. Among the various methods used to monitor TCs, Earth observation satellites are the most flexible, allowing for frequent observations with a wide variety of instruments. Traditionally, satellite scheduling algorithms assume nadir-directional observations, a limitation that can be alleviated by incorporating satellite agility and constellation reconfigurability -- two state-of-the-art concepts of operations (CONOPS) that extend the amount of time TCs can be observed from orbit. This paper conducts a systematic comparative analysis between both CONOPS to present the performance of each relative to baseline nadir-directional observations in monitoring TCs. A dataset of 100 historical TCs is used to provide a benchmark concerning real-world data through maximizing the number of quality observations. The results of the comparative analysis indicate that constellation reconfigurability allowing plane-change maneuvers outperforms satellite agility in the majority of TCs analyzed.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Bayesian optimization approach for tracking the location and orientation of a moving target using far-field data
Authors:
Woojoo Lee,
Mikyoung Lim,
Sangwoo Kang
Abstract:
We investigate the inverse scattering problem for tracking the location and orientation of a moving scatterer using a single incident field. We solve the problem by adopting the optimization approach with the objective function defined by the discrepancy in far-field data. We rigorously derive formulas for the far-field data under translation and rotation of the target and prove that the objective…
▽ More
We investigate the inverse scattering problem for tracking the location and orientation of a moving scatterer using a single incident field. We solve the problem by adopting the optimization approach with the objective function defined by the discrepancy in far-field data. We rigorously derive formulas for the far-field data under translation and rotation of the target and prove that the objective function is locally Lipschitz with respect to the orientation angle at the true angle. By integrating these formulas with the Bayesian optimization approach, we reduce the cost of objective function evaluations. For the instance of an unknown target, machine learning via fully connected neural networks is applied to identify the shape of the target. Numerical simulations for randomly generated shapes and trajectories demonstrate the effectiveness of the proposed method.
△ Less
Submitted 26 November, 2024;
originally announced November 2024.
-
Divisor problems for restricted Fourier coefficients of modular forms
Authors:
Yuk-Kam Lau,
Wonwoong Lee
Abstract:
Let $d(n)$ be the number of divisors of $n$. We investigate the average value of $d(a_f(p))^r$ for $r$ a positive integer and $a_f(p)$ the $p$-th Fourier coefficient of a cuspidal eigenform $f$ having integral Fourier coefficients, where $p$ is a prime subject to a constraint on the angle associated with the normalized Fourier coefficient.
Let $d(n)$ be the number of divisors of $n$. We investigate the average value of $d(a_f(p))^r$ for $r$ a positive integer and $a_f(p)$ the $p$-th Fourier coefficient of a cuspidal eigenform $f$ having integral Fourier coefficients, where $p$ is a prime subject to a constraint on the angle associated with the normalized Fourier coefficient.
△ Less
Submitted 26 November, 2024;
originally announced November 2024.
-
Almost invariant subspaces of shift operators and products of Toeplitz and Hankel operators
Authors:
Caixing Gu,
In Sung Hwang,
Hyoung Joon Kim,
Woo Young Lee,
Jaehui Park
Abstract:
In this paper we formulate the almost invariant subspaces theorems of backward shift operators in terms of the ranges or kernels of product of Toeplitz and Hankel operators. This approach simplifies and gives more explicit forms of these almost invariant subspaces which are derived from related nearly backward shift invariant subspaces with finite defect. Furthermore, this approach also leads to t…
▽ More
In this paper we formulate the almost invariant subspaces theorems of backward shift operators in terms of the ranges or kernels of product of Toeplitz and Hankel operators. This approach simplifies and gives more explicit forms of these almost invariant subspaces which are derived from related nearly backward shift invariant subspaces with finite defect. Furthermore, this approach also leads to the surprising result that the almost invariant subspaces of backward shift operators are the same as the almost invariant subspaces of forward shift operators which were treated only briefly in literature.
△ Less
Submitted 20 November, 2024;
originally announced November 2024.
-
Moment of derivatives of L-functions for two distinct newforms
Authors:
Seokhyun Choi,
Beomho Kim,
Hansol Kim,
Hojin Kim,
Wonwoong Lee
Abstract:
We establish an unconditional result concerning the asymptotic formula for the moment of derivatives of $L$-functions $L(s, f \otimes χ_{8d})L(s, g \otimes χ_{8d})$ over quadratic twists, where $f$ and $g$ are distinct cuspidal newforms.
We establish an unconditional result concerning the asymptotic formula for the moment of derivatives of $L$-functions $L(s, f \otimes χ_{8d})L(s, g \otimes χ_{8d})$ over quadratic twists, where $f$ and $g$ are distinct cuspidal newforms.
△ Less
Submitted 18 March, 2025; v1 submitted 12 November, 2024;
originally announced November 2024.
-
A comparative study of dynamic models for gravity-driven particle-laden flows
Authors:
Wing Pok Lee,
Jonathan D. Woo,
Luke F. Triplett,
Yifan Gu,
Sarah C. Burnett,
Lingyun Ding,
Andrea L. Bertozzi
Abstract:
The dynamics of viscous thin-film particle-laden flows down inclined surfaces are commonly modeled with one of two approaches: a diffusive flux model or a suspension balance model. The diffusive flux model assumes that the particles migrate via a diffusive flux induced by gradients in both the particle concentration and the effective suspension viscosity. The suspension balance model introduces no…
▽ More
The dynamics of viscous thin-film particle-laden flows down inclined surfaces are commonly modeled with one of two approaches: a diffusive flux model or a suspension balance model. The diffusive flux model assumes that the particles migrate via a diffusive flux induced by gradients in both the particle concentration and the effective suspension viscosity. The suspension balance model introduces non-Newtonian bulk stress with shear-induced normal stresses, the gradients of which cause particle migration. Both models have appeared in the literature of particle-laden flow with virtually no comparison between the two models. For particle-laden viscous flow on an incline, in a thin-film geometry, one can use lubrication theory to derive a compact dynamic model in the form of a $2\times 2$ system of conservation laws. We can then directly compare the two theories side by side by looking at similarities and differences in the flux functions for the conservation laws, and in exact and numerical simulations of the equations. We compare the flux profiles over a range of parameters, showing fairly good agreement between the models, with the biggest difference involving the behavior at the free surface. We also consider less dense suspensions at lower inclination angles where the dynamics involve two shock waves that can be clearly measured in experiments. In this context the solutions differ by no more than about 10%, suggesting that either model could be used for this configuration.
△ Less
Submitted 30 October, 2024;
originally announced October 2024.
-
Embedded State Estimation for Optimization of Cislunar Space Domain Awareness Constellation Design
Authors:
Thomas H. Clareson,
Matthew C. Fox,
Dominic K. Amato,
Hang Woon Lee
Abstract:
The traffic in cislunar space is expected to increase over the coming years, leading to a higher likelihood of conjunction events among active satellites, orbital debris, and non-cooperative satellites. This increase necessitates enhanced space domain awareness (SDA) capabilities that include state estimation for targets of interest. Both Earth surface-based and space-based observation platforms i…
▽ More
The traffic in cislunar space is expected to increase over the coming years, leading to a higher likelihood of conjunction events among active satellites, orbital debris, and non-cooperative satellites. This increase necessitates enhanced space domain awareness (SDA) capabilities that include state estimation for targets of interest. Both Earth surface-based and space-based observation platforms in geosynchronous orbit or below face challenges such as range, exclusion, and occlusion that hinder observation. Motivated by the need to place space-based observers in the cislunar space regime to overcome these challenges, this paper proposes a cislunar SDA constellation design and analysis framework that integrates state estimation into an optimization problem for determining the placement of observers for optimal state estimation performance on a set of targets. The proposed multi-observer placement optimization problem samples from a range of possible target orbits. Upon convergence, the optimized constellation is validated against a broader set of targets to assess its effectiveness. Two comparative analyses are presented to evaluate the effects of changes in the sensor tasking procedure and sensor fidelity on the optimized constellation, comparing these to a single observer baseline case. The results demonstrate that the optimized constellations can provide accurate state estimation for various orbit families.
△ Less
Submitted 8 October, 2024;
originally announced October 2024.
-
Optimal Classification-based Anomaly Detection with Neural Networks: Theory and Practice
Authors:
Tian-Yi Zhou,
Matthew Lau,
Jizhou Chen,
Wenke Lee,
Xiaoming Huo
Abstract:
Anomaly detection is an important problem in many application areas, such as network security. Many deep learning methods for unsupervised anomaly detection produce good empirical performance but lack theoretical guarantees. By casting anomaly detection into a binary classification problem, we establish non-asymptotic upper bounds and a convergence rate on the excess risk on rectified linear unit…
▽ More
Anomaly detection is an important problem in many application areas, such as network security. Many deep learning methods for unsupervised anomaly detection produce good empirical performance but lack theoretical guarantees. By casting anomaly detection into a binary classification problem, we establish non-asymptotic upper bounds and a convergence rate on the excess risk on rectified linear unit (ReLU) neural networks trained on synthetic anomalies. Our convergence rate on the excess risk matches the minimax optimal rate in the literature. Furthermore, we provide lower and upper bounds on the number of synthetic anomalies that can attain this optimality. For practical implementation, we relax some conditions to improve the search for the empirical risk minimizer, which leads to competitive performance to other classification-based methods for anomaly detection. Overall, our work provides the first theoretical guarantees of unsupervised neural network-based anomaly detectors and empirical insights on how to design them well.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
Envisioning an Optimal Network of Space-Based Lasers for Orbital Debris Remediation
Authors:
David O. Williams Rogers,
Matthew C. Fox,
Paul R. Stysley,
Hang Woon Lee
Abstract:
The significant expansion of the orbital debris population poses a serious threat to the safety and sustainability of space operations. This paper investigates orbital debris remediation through a network of collaborative space-based lasers, leveraging the principle of momentum transfer onto debris via laser ablation. A novel delta-v vector analysis framework quantifies the cumulative effects of m…
▽ More
The significant expansion of the orbital debris population poses a serious threat to the safety and sustainability of space operations. This paper investigates orbital debris remediation through a network of collaborative space-based lasers, leveraging the principle of momentum transfer onto debris via laser ablation. A novel delta-v vector analysis framework quantifies the cumulative effects of multiple concurrent laser-to-debris (L2D) engagements, utilizing the vector composition of the imparted delta-v vectors. The paper formulates the Concurrent Location-Scheduling Problem (CLSP) to optimize the placement of laser platforms and the scheduling of L2D engagements, aiming to maximize debris remediation capacity. Given the computational intractability of the CLSP, a decomposition strategy is employed, yielding two sequential subproblems: (1) determining optimal laser platform locations via the Maximal Covering Location Problem, and (2) scheduling L2D engagements using a novel integer linear programming approach to maximize debris remediation capacity. Computational experiments evaluate the efficacy of the proposed framework across diverse mission scenarios, demonstrating critical network functions such as collaborative and controlled nudging, deorbiting, and just-in-time collision avoidance. A sensitivity analysis further explores the impact of varying the number and distribution of laser platforms on debris remediation capacity, offering insights into optimizing the performance of space-based laser networks.
△ Less
Submitted 26 November, 2024; v1 submitted 4 September, 2024;
originally announced September 2024.
-
Monodromy and irreducibility of type $A_1$ automorphic Galois representations
Authors:
Chun-Yin Hui,
Wonwoong Lee
Abstract:
Let $K$ be a totally real field and $π$ be a regular algebraic polarized cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb A_K)$. Let $\{ρ_{π,λ}:\mathrm{Gal}_K\to\mathrm{GL}_n(\overline E_λ)\}_λ$ be the compatible system of Galois representations attached to $π$ and denote by $\mathbf G_λ$ the algebraic monodromy group of $ρ_{π,λ}$. Suppose there exists $λ_0$ such that (a) $ρ_{π,λ_0}$…
▽ More
Let $K$ be a totally real field and $π$ be a regular algebraic polarized cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb A_K)$. Let $\{ρ_{π,λ}:\mathrm{Gal}_K\to\mathrm{GL}_n(\overline E_λ)\}_λ$ be the compatible system of Galois representations attached to $π$ and denote by $\mathbf G_λ$ the algebraic monodromy group of $ρ_{π,λ}$. Suppose there exists $λ_0$ such that (a) $ρ_{π,λ_0}$ is irreducible; (b) $\mathbf G_{λ_0}$ is connected and of type $A_1$; and (c) the tautological representation of $\mathbf G_{λ_0}$ is of a certain type. We prove that $\bullet$ $\mathbf G_{λ,\mathbb C}\subset\mathrm{GL}_{n, \mathbb C}$ is independent of $λ$; $\bullet$ $ρ_{π,λ}$ is irreducible for all $λ$, and residually irreducible for almost all $λ$. Moreover, if $K=\mathbb Q$ or $n$ is odd, we prove that the same conclusions hold without the assumption that $π$ is polarized. We also prove that if $K=\mathbb Q$, then the compatible system $\{ρ_{π,λ}\}_λ$ is constructed from certain two-dimensional modular compatible systems up to twist.
△ Less
Submitted 25 April, 2025; v1 submitted 17 July, 2024;
originally announced July 2024.
-
Approximation of the first Steklov-Dirichlet eigenvalue on eccentric spherical shells in general dimensions
Authors:
Jiho Hong,
Woojoo Lee,
Mikyoung Lim
Abstract:
We study the first Steklov-Dirichlet eigenvalue on eccentric spherical shells in $\mathbb{R}^{n+2}$ with $n\geq 1$, imposing the Steklov condition on the outer boundary sphere, denoted by $Γ_S$, and the Dirichlet condition on the inner boundary sphere. The first eigenfunction admits a Fourier--Gegenbauer series expansion via the bispherical coordinates, where the Dirichlet-to-Neumann operator on…
▽ More
We study the first Steklov-Dirichlet eigenvalue on eccentric spherical shells in $\mathbb{R}^{n+2}$ with $n\geq 1$, imposing the Steklov condition on the outer boundary sphere, denoted by $Γ_S$, and the Dirichlet condition on the inner boundary sphere. The first eigenfunction admits a Fourier--Gegenbauer series expansion via the bispherical coordinates, where the Dirichlet-to-Neumann operator on $Γ_S$ can be recursively expressed in terms of the expansion coefficients arXiv:2309.09587. In this paper, we develop a finite section approach for the Dirichlet-to-Neumann operator to approximate the first Steklov--Dirichlet eigenvalue on eccentric spherical shells. We prove the exponential convergence of this approach by using the variational characterization of the first eigenvalue. Furthermore, based on the convergence result, we propose a numerical computation scheme as an extension of the two-dimensional result in [Hong et al., Ann. Mat. Pura Appl., 2022] to general dimensions. We provide numerical examples of the first Steklov-Dirichlet eigenvalue on eccentric spherical shells with various geometric configurations.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
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 Multistage Constellation Reconfiguration Using Integer 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 4 September, 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 leaping 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 popular for generative tasks; however, they often require careful architecture selection, extensive empirical tuning, and are prone to mode collapse. To overcome these challenges, we propose a novel model that identifies the low-dimensional structure of the underlying data distribution, maps it into a low-dimensional latent space while preserving the unde…
▽ More
Generative adversarial networks (GANs) are popular for generative tasks; however, they often require careful architecture selection, extensive empirical tuning, and are prone to mode collapse. To overcome these challenges, we propose a novel model that identifies the low-dimensional structure of the underlying data distribution, maps it into a low-dimensional latent space while preserving the underlying geometry, and then optimally transports a reference measure to the embedded distribution. We prove three key properties of our method: 1) The encoder preserves the geometry of the underlying data; 2) The generator is $c$-cyclically monotone, where $c$ is an intrinsic embedding cost employed by the encoder; and 3) The discriminator's modulus of continuity improves with the geometric preservation of the data. Numerical experiments demonstrate the effectiveness of our approach in generating high-quality images and exhibiting robustness to both mode collapse and training instability.
△ Less
Submitted 3 July, 2024; v1 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 developing 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 developing 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,
Hojin 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 mappings 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 mappings 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.
