Showing 1–50 of 506 results for author: Lin, Y

A few good choices

Authors: Thanh Nguyen, Haoyu Song, Young-San Lin

Abstract: A Condorcet winning set addresses the Condorcet paradox by selecting a few candidates--rather than a single winner--such that no unselected alternative is preferred to all of them by a majority of voters. This idea extends to $α$-undominated sets, which ensure the same property for any $α$-fraction of voters and are guaranteed to exist in constant size for any $α$. However, the requirement that an… ▽ More A Condorcet winning set addresses the Condorcet paradox by selecting a few candidates--rather than a single winner--such that no unselected alternative is preferred to all of them by a majority of voters. This idea extends to $α$-undominated sets, which ensure the same property for any $α$-fraction of voters and are guaranteed to exist in constant size for any $α$. However, the requirement that an outsider be preferred to every member of the set can be overly restrictive and difficult to justify in many applications. Motivated by this, we introduce a more flexible notion: $(t, α)$-undominated sets. Here, each voter compares an outsider to their $t$-th most preferred member of the set, and the set is undominated if no outsider is preferred by more than an $α$-fraction of voters. This framework subsumes prior definitions, recovering Condorcet winning sets when $(t = 1, α= 1/2)$ and $α$-undominated sets when $t = 1$, and introduces a new, tunable notion of collective acceptability for $t > 1$. We establish three main results: 1. We prove that a $(t, α)$-undominated set of size $O(t/α)$ exists for all values of $t$ and $α$. 2. We show that as $t$ becomes large, the minimum size of such a set approaches $t/α$, which is asymptotically optimal. 3. In the special case $t = 1$, we improve the bound on the size of an $α$-undominated set given by Charikar, Lassota, Ramakrishnan, Vetta, and Wang (STOC 2025). As a consequence, we show that a Condorcet winning set of five candidates exists, improving their bound of six. △ Less

Submitted 29 June, 2025; v1 submitted 27 June, 2025; originally announced June 2025.

Quasi-triangular and factorizable Poisson bialgebras

Authors: Yuanchang Lin, Dilei Lu

Abstract: In this paper, we introduce the notions of quasi-triangular and factorizable Poisson bialgebras. A factorizable Poisson bialgebra induces a factorization of the underlying Poisson algebra. We prove that the Drinfeld classical double of a Poisson bialgebra naturally admits a factorizable Poisson bialgebra structure. Furthermore, we introduce the notion of quadratic Rota-Baxter Poisson algebras and… ▽ More In this paper, we introduce the notions of quasi-triangular and factorizable Poisson bialgebras. A factorizable Poisson bialgebra induces a factorization of the underlying Poisson algebra. We prove that the Drinfeld classical double of a Poisson bialgebra naturally admits a factorizable Poisson bialgebra structure. Furthermore, we introduce the notion of quadratic Rota-Baxter Poisson algebras and show that a quadratic Rota-Baxter Poisson algebra of zero weight induces a triangular factorizable Poisson bialgebra. Moreover, we establish a one-to-one correspondence between factorizable Poisson bialgebras and quadratic Rota-Baxter Poisson algebras of nonzero weights. Finally, we establish the quasi-triangular and factorizable theories for differential ASI bialgebras, and construct quasi-triangular and factorizable Poisson bialgebras from quasi-triangular and factorizable (commutative and cocommutative) differential ASI bialgebras respectively. △ Less

Submitted 26 June, 2025; originally announced June 2025.

Relating insplittings of 2-graphs and of textile systems

Authors: Samantha Brooker, Priyanga Ganesan, Elizabeth Gillaspy, Ying-Fen Lin, David Pask, Julia Plavnik

Abstract: The graphical operation of insplitting is key to understanding conjugacy of shifts of finite type (SFTs) in both one and two dimensions. In this paper, we consider two approaches to studying 2-dimensional SFTs: textile systems and rank-2 graphs. Nasu's textile systems describe all two-sided 2D SFTs up to conjugacy, whereas the 2-graphs (higher-rank graphs of rank 2) introduced by Kumjian and Pask… ▽ More The graphical operation of insplitting is key to understanding conjugacy of shifts of finite type (SFTs) in both one and two dimensions. In this paper, we consider two approaches to studying 2-dimensional SFTs: textile systems and rank-2 graphs. Nasu's textile systems describe all two-sided 2D SFTs up to conjugacy, whereas the 2-graphs (higher-rank graphs of rank 2) introduced by Kumjian and Pask yield associated C*-algebras. Both models have a naturally-associated notion of insplitting. We show that these notions do not coincide, raising the question of whether insplitting a 2-graph induces a conjugacy of the associated one-sided 2-dimensional SFTs. Our first main result shows how to reconstruct 2-graph insplitting using textile-system insplits and inversions, and consequently proves that 2-graph insplitting induces a conjugacy of dynamical systems. We also present several other facets of the relationship between 2-graph insplitting and textile-system insplitting. Incorporating an insplit of the bottom graph of the textile system turns out to be key to this relationship. By articulating the connection between operator-algebraic and dynamical notions of insplitting in two dimensions, this article lays the groundwork for a C*-algebraic framework for classifying one-sided conjugacy in higher-dimensional SFTs. △ Less

Submitted 26 June, 2025; originally announced June 2025.

Comments: 40 pages, comments welcome

MSC Class: 46L05 (primary); 37A55 (secondary)

Repelling curvature via $ε-$repelling Laplacian on positive connected signed graphs

Authors: Yong Lin, Shi Wan

Abstract: The paper defines a positive semidefinite operator called $ε-$repelling Laplacian on a positive connected signed graph where $ε$ is an arbitrary positive number less than a constant $ε_0$ related to the graph's consensus problem. Then we investigate the upper bound of the second smallest eigenvalue of $ε-$repelling Laplacian. Besides, we use the pseudoinverse of $ε-$repelling Laplacian to construc… ▽ More The paper defines a positive semidefinite operator called $ε-$repelling Laplacian on a positive connected signed graph where $ε$ is an arbitrary positive number less than a constant $ε_0$ related to the graph's consensus problem. Then we investigate the upper bound of the second smallest eigenvalue of $ε-$repelling Laplacian. Besides, we use the pseudoinverse of $ε-$repelling Laplacian to construct a simplex as well as $ε-$repelling cost whose square root turns out to be a distance among the vertices of the simplex. We also extend the node and edge resistance curvature proposed by K.Devriendt et al. to node and edge $ε-$repelling curvature and derive the corresponding Lichnerowicz inequalities on any positive connected signed graph. Moreover, it turns out that edge $ε-$repelling curvature is no more than the Lin-Lu-Yau curvature of the underlying graph whose transport cost is $ε-$repelling cost rather than the length of the shortest path. △ Less

Submitted 12 June, 2025; originally announced June 2025.

A note on the boundary Dehn twist of $K3$ surfaces

Authors: Yujie Lin

Abstract: By the work of Baraglia-Konno and Kronheimer-Mrowka, the boundary Dehn twist on punctured $K3$ surfaces is nontrivial in the smooth mapping class group relative to boundary. In this short note, we prove that it becomes trivial after abelianization. The proof is based on an obstruction for $\mathrm{Spin}^\mathbb{C}$ families due to Baraglia-Konno and the global Torelli theorem of $K3$ surfaces. By the work of Baraglia-Konno and Kronheimer-Mrowka, the boundary Dehn twist on punctured $K3$ surfaces is nontrivial in the smooth mapping class group relative to boundary. In this short note, we prove that it becomes trivial after abelianization. The proof is based on an obstruction for $\mathrm{Spin}^\mathbb{C}$ families due to Baraglia-Konno and the global Torelli theorem of $K3$ surfaces. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Comments: 6 pages

An Efficient Augmented Lagrangian Method for Dynamic Optimal Transport on Surfaces Based on Second-Order Cone Programming

Authors: Liang Chen, Youyicun Lin, Yuxuan Zhou

Abstract: This paper proposes an efficient numerical optimization approach for solving dynamic optimal transport (DOT) problems on general smooth surfaces, computing both the quadratic Wasserstein distance and the associated transportation path. Building on the convex DOT model of Benamou and Brenier, we first properly reformulate its dual problem, discretized on a triangular mesh for space together with a… ▽ More This paper proposes an efficient numerical optimization approach for solving dynamic optimal transport (DOT) problems on general smooth surfaces, computing both the quadratic Wasserstein distance and the associated transportation path. Building on the convex DOT model of Benamou and Brenier, we first properly reformulate its dual problem, discretized on a triangular mesh for space together with a staggered grid for time, to a linear second-order cone programming. Then the resulting finite-dimensional convex optimization problem is solved via an inexact semi-proximal augmented Lagrangian method with a highly efficient numerical implementation, and the algorithm is guaranteed to converge to a Karush-Kuhn-Tucker solution without imposing any additional assumptions. Finally, we implement the proposed methodology as an open-source software package. The effectiveness, robustness, and computational efficiency of the software are demonstrated through extensive numerical experiments across diverse datasets, where it consistently outperforms state-of-the-art solvers by several times in speed. △ Less

Submitted 10 June, 2025; originally announced June 2025.

MSC Class: 49Q22; 65K10; 90C06; 90-04

Fractional Sobolev spaces and fractional $p$-Laplace equations on locally finite graphs

Authors: Mengjie Zhang, Yong Lin, Yunyan Yang

Abstract: Graph-based analysis holds both theoretical and applied significance, attracting considerable attention from researchers and yielding abundant results in recent years. However, research on fractional problems remains limited, with most of established results restricted to lattice graphs. In this paper, fractional Sobolev spaces are constructed on general graphs that are connected, locally finite a… ▽ More Graph-based analysis holds both theoretical and applied significance, attracting considerable attention from researchers and yielding abundant results in recent years. However, research on fractional problems remains limited, with most of established results restricted to lattice graphs. In this paper, fractional Sobolev spaces are constructed on general graphs that are connected, locally finite and stochastically complete. Under certain assumptions, these spaces exhibit completeness, reflexivity, and other properties. Moreover, we propose a fractional $p$-Laplace operator, and study the existence of solutions to some nonlinear Schrödinger type equations involving this nonlocal operator. The main contribution of this paper is to establish a relatively comprehensive set of analytical tools for studying fractional problems on graphs. △ Less

Submitted 9 June, 2025; originally announced June 2025.

Comments: 18 pages

MSC Class: 35A15; 35R02; 35R11; 46E35

Maximizing the Value of Predictions in Control: Accuracy Is Not Enough

Authors: Yiheng Lin, Christopher Yeh, Zaiwei Chen, Adam Wierman

Abstract: We study the value of stochastic predictions in online optimal control with random disturbances. Prior work provides performance guarantees based on prediction error but ignores the stochastic dependence between predictions and disturbances. We introduce a general framework modeling their joint distribution and define "prediction power" as the control cost improvement from the optimal use of predi… ▽ More We study the value of stochastic predictions in online optimal control with random disturbances. Prior work provides performance guarantees based on prediction error but ignores the stochastic dependence between predictions and disturbances. We introduce a general framework modeling their joint distribution and define "prediction power" as the control cost improvement from the optimal use of predictions compared to ignoring the predictions. In the time-varying Linear Quadratic Regulator (LQR) setting, we derive a closed-form expression for prediction power and discuss its mismatch with prediction accuracy and connection with online policy optimization. To extend beyond LQR, we study general dynamics and costs. We establish a lower bound of prediction power under two sufficient conditions that generalize the properties of the LQR setting, characterizing the fundamental benefit of incorporating stochastic predictions. We apply this lower bound to non-quadratic costs and show that even weakly dependent predictions yield significant performance gains. △ Less

Submitted 4 June, 2025; originally announced June 2025.

A Convergent Inexact Abedin-Kitagawa Iteration Method for Monge-Ampère Eigenvalue Problems

Authors: Liang Chen, Youyicun Lin, Junqi Yang, Wenfan Yi

Abstract: In this paper, we propose an inexact Aleksandrov solution based Abedin-Kitagawa iteration (AKI) method for solving (real) Monge-Amp{è}re eigenvalue problems. The proposed approach utilizes the convergent Rayleigh inverse iterative formulation introduced by Abedin and Kitagawa as the prototype. More importantly, it employs an error tolerance criterion of inexact Aleksandrov solutions to approximate… ▽ More In this paper, we propose an inexact Aleksandrov solution based Abedin-Kitagawa iteration (AKI) method for solving (real) Monge-Amp{è}re eigenvalue problems. The proposed approach utilizes the convergent Rayleigh inverse iterative formulation introduced by Abedin and Kitagawa as the prototype. More importantly, it employs an error tolerance criterion of inexact Aleksandrov solutions to approximately solve the subproblems without spoiling the convergence, which becomes the most crucial issue for the efficient implementation of the iterative method. For the two-dimensional case, by properly taking advantage of the flexibility rendered by the proposed inexact approach and a convergent fixed-point-based approach to solve the subproblems, considerable advancements in computational efficiency can be achieved by the inexact AKI method with its convergence under the ${\cal C}^{2,α}$ boundary condition being rigorously established. Numerical experiments are conducted to demonstrate the efficiency of the proposed inexact AKI method. The numerical results suggest that the inexact AKI method can be more than eight times faster than the original AKI method, at least for all the tested problems. △ Less

Submitted 9 May, 2025; originally announced May 2025.

MSC Class: 65H17; 35J96; 65N25

An efficient second-order cone programming approach for dynamic optimal transport on staggered grid discretization

Authors: Liang Chen, Youyicun Lin, Yuxuan Zhou

Abstract: This paper proposes an efficient numerical method based on second-order cone programming (SOCP) to solve dynamic optimal transport (DOT) problems with quadratic cost on staggered grid discretization. By properly reformulating discretized DOT problems into a linear SOCP, the proposed method eliminates the interpolation matrices and thus avoids solving a series of cubic equations and linear systems… ▽ More This paper proposes an efficient numerical method based on second-order cone programming (SOCP) to solve dynamic optimal transport (DOT) problems with quadratic cost on staggered grid discretization. By properly reformulating discretized DOT problems into a linear SOCP, the proposed method eliminates the interpolation matrices and thus avoids solving a series of cubic equations and linear systems induced by interpolation. Then, by taking advantage of the SOCP reformulation, we can solve them efficiently by a computationally highly economical implementation of an inexact decomposition-based proximal augmented Lagrangian method. Moreover, we have made the proposed approach an open-source software package. Numerical experiments on various DOT problems suggest that the proposed approach performs significantly more efficiently than state-of-the-art software packages. In addition, it exhibits prominent robustness to problems with non-negative measures. △ Less

Submitted 8 May, 2025; originally announced May 2025.

MSC Class: 90C25; 90C06; 90-04; 65K05; 49Q22

Modified Control Barrier Function for Quadratic Program Based Control Design via Sum-of-Squares Programming

Authors: Yankai Lin, Michelle S. Chong, Carlos Murguia

Abstract: We consider a nonlinear control affine system controlled by inputs generated by a quadratic program (QP) induced by a control barrier functions (CBF). Specifically, we slightly modify the condition satisfied by CBFs and study how the modification can positively impact the closed loop behavior of the system. We show that, QP-based controllers designed using the modified CBF condition preserves the… ▽ More We consider a nonlinear control affine system controlled by inputs generated by a quadratic program (QP) induced by a control barrier functions (CBF). Specifically, we slightly modify the condition satisfied by CBFs and study how the modification can positively impact the closed loop behavior of the system. We show that, QP-based controllers designed using the modified CBF condition preserves the desired properties of QP-based controllers using standard CBF conditions. Furthermore, using the generalized S-procedure for polynomial functions, we formulate the design of the modified CBFs as a Sum-Of-Squares (SOS) program, which can be solved efficiently. Via a numerical example, the proposed CBF design is shown to have superior performance over the standard CBF widely used in existing literature. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Quasi-triangular and factorizable perm bialgebras

Authors: Yuanchang Lin

Abstract: In this paper, we introduce the notions of quasi-triangular and factorizable perm bialgebras, based on notions of the perm Yang-Baxter equation and $(R, \mathrm{ad})$-invariant condition. A factorizable perm bialgebra induces a factorization of the underlying perm algebra and the double of a perm bialgebra naturally admits a factorizable perm bialgebra structure. The notion of relative Rota-Baxter… ▽ More In this paper, we introduce the notions of quasi-triangular and factorizable perm bialgebras, based on notions of the perm Yang-Baxter equation and $(R, \mathrm{ad})$-invariant condition. A factorizable perm bialgebra induces a factorization of the underlying perm algebra and the double of a perm bialgebra naturally admits a factorizable perm bialgebra structure. The notion of relative Rota-Baxter operators of weights on perm algebras is introduced to characterize solutions of the perm Yang-Baxter equation, whose skew-symmetric parts are $(R, \mathrm{ad})$-invariant. These operators are in one-to-one correspondence with linear transformations fulfilling a Rota-Baxter-type identity in the case of quadratic perm algebras. Furthermore, we introduce the notion of quadratic Rota-Baxter perm algebras of weights, demonstrate that a quadratic Rota-Baxter perm algebra of weight $0$ induces a triangular perm bialgebra, and establish a one-to-one correspondence between quadratic Rota-Baxter perm algebras of nonzero weights and factorizable perm bialgebras. △ Less

Submitted 23 April, 2025; originally announced April 2025.

MSC Class: 16T10; 16T25; 16W99; 17B38

The $L_p$ Minkowski problems on affine dual quermassintegrals

Authors: Youjiang Lin, Yuchi Wu

Abstract: In this paper, we provided $L_p$ curvature measures of affine dual quermassintegrals for $p\in\mathbb{R}$, and solved the existence part of the $L_p$ Minkowski problems for the non-symmetric measures when $p>1$ and symmetric measures when $p\geq0$. When $p=0$, this is the affine dual Minkowski problems, which is introduced and solved by Cai-Leng-Wu-Xi in [7]. In this paper, we provided $L_p$ curvature measures of affine dual quermassintegrals for $p\in\mathbb{R}$, and solved the existence part of the $L_p$ Minkowski problems for the non-symmetric measures when $p>1$ and symmetric measures when $p\geq0$. When $p=0$, this is the affine dual Minkowski problems, which is introduced and solved by Cai-Leng-Wu-Xi in [7]. △ Less

Submitted 16 April, 2025; originally announced April 2025.

Comments: arXiv admin note: text overlap with arXiv:1802.00933 by other authors

MSC Class: 52A20; 52A30; 52A40

Traffic Flow Data Completion and Anomaly Diagnosis via Sparse and Low-Rank Tensor Optimization

Authors: Junxi Man, Yumin Lin, Xiaoyu Li

Abstract: Spatiotemporal traffic time series, such as traffic speed data, collected from sensing systems are often incomplete, with considerable corruption and large amounts of missing values. A vast amount of data conceals implicit data structures, which poses significant challenges for data recovery issues, such as mining the potential spatio-temporal correlations of data and identifying abnormal data. In… ▽ More Spatiotemporal traffic time series, such as traffic speed data, collected from sensing systems are often incomplete, with considerable corruption and large amounts of missing values. A vast amount of data conceals implicit data structures, which poses significant challenges for data recovery issues, such as mining the potential spatio-temporal correlations of data and identifying abnormal data. In this paper, we propose a Tucker decomposition-based sparse low-rank high-order tensor optimization model (TSLTO) for data imputation and anomaly diagnosis. We decompose the traffic tensor data into low-rank and sparse tensors, and establish a sparse low-rank high-order tensor optimization model based on Tucker decomposition. By utilizing tools of non-smooth analysis for tensor functions, we explore the optimality conditions of the proposed tensor optimization model and design an ADMM optimization algorithm for solving the model. Finally, numerical experiments are conducted on both synthetic data and a real-world dataset: the urban traffic speed dataset of Guangzhou. Numerical comparisons with several representative existing algorithms demonstrate that our proposed approach achieves higher accuracy and efficiency in traffic flow data recovery and anomaly diagnosis tasks. △ Less

Submitted 2 April, 2025; originally announced April 2025.

Path degeneracy and applications

Authors: Y. Lin, P. Ossona de Mendez

Abstract: In this work, we relate girth and path-degeneracy in classes with sub-exponential expansion, with explicit bounds for classes with polynomial expansion and proper minor-closed classes that are tight up to a constant factor (and tight up to second order terms if a classical conjecture on existence of $g$-cages is verified). As an application, we derive bounds on the generalized acyclic indices, on… ▽ More In this work, we relate girth and path-degeneracy in classes with sub-exponential expansion, with explicit bounds for classes with polynomial expansion and proper minor-closed classes that are tight up to a constant factor (and tight up to second order terms if a classical conjecture on existence of $g$-cages is verified). As an application, we derive bounds on the generalized acyclic indices, on the generalized arboricities, and on the weak coloring numbers of high-girth graphs in such classes. Along the way, we prove a conjecture proposed in [T.~Bartnicki et al., Generalized arboricity of graphs with large girth, Discrete Mathematics 342 (2019), no.~5, 1343--1350.], which asserts that, for every integer $k$, there is an integer $g(p,k)$ such that every $K_k$ minor-free graph with girth at least $g(p,k)$ has $p$-arboricity at most $p+1$. △ Less

Submitted 24 March, 2025; originally announced March 2025.

Refining Image Edge Detection via Linear Canonical Riesz Transforms

Authors: Shuhui Yang, Zunwei Fu, Dachun Yang, Yan Lin, Zhen Li

Abstract: Combining the linear canonical transform and the Riesz transform, we introduce the linear canonical Riesz transform (for short, LCRT), which is further proved to be a linear canonical multiplier. Using this LCRT multiplier, we conduct numerical simulations on images. Notably, the LCRT multiplier significantly reduces the complexity of the algorithm. Based on these we introduce the new concept of t… ▽ More Combining the linear canonical transform and the Riesz transform, we introduce the linear canonical Riesz transform (for short, LCRT), which is further proved to be a linear canonical multiplier. Using this LCRT multiplier, we conduct numerical simulations on images. Notably, the LCRT multiplier significantly reduces the complexity of the algorithm. Based on these we introduce the new concept of the sharpness $R^{\rm E}_{\rm sc}$ of the edge strength and continuity of images associated with the LCRT and, using it, we propose a new LCRT image edge detection method (for short, LCRT-IED method) and provide its mathematical foundation. Our experiments indicate that this sharpness $R^{\rm E}_{\rm sc}$ characterizes the macroscopic trend of edge variations of the image under consideration, while this new LCRT-IED method not only controls the overall edge strength and continuity of the image, but also excels in feature extraction in some local regions. These highlight the fundamental differences between the LCRT and the Riesz transform, which are precisely due to the multiparameter of the former. This new LCRT-IED method might be of significant importance for image feature extraction, image matching, and image refinement. △ Less

Submitted 14 March, 2025; originally announced March 2025.

Comments: 30 pages, 60 figures,

MSC Class: Primary 42B20; Secondary 42B35; 42A38; 94A08

Backward Stochastic Differential Equations-guided Generative Model for Structural-to-functional Neuroimage Translator

Authors: Zengjing Chen, Lu Wang, Yongkang Lin, Jie Peng, Zhiping Liu, Jie Luo, Bao Wang, Yingchao Liu, Nazim Haouchine, Xu Qiao

Abstract: A Method for structural-to-functional neuroimage translator A Method for structural-to-functional neuroimage translator △ Less

Submitted 23 February, 2025; originally announced March 2025.

Sets of equiangular lines in dimension $18$ constructed from $A_9 \oplus A_9 \oplus A_1$

Authors: Yen-chi Roger Lin, Akihiro Munemasa, Tetsuji Taniguchi, Kiyoto Yoshino

Abstract: In 2023, Greaves et~al.\ constructed several sets of 57 equiangular lines in dimension 18. Using the concept of switching root introduced by Cao et~al.\ in 2021, these sets of equiangular lines are embedded in a lattice of rank 19 spanned by norm 3 vectors together with a switching root. We characterize this lattice as an overlattice of the root lattice $A_9\oplus A_9\oplus A_1$, and show that the… ▽ More In 2023, Greaves et~al.\ constructed several sets of 57 equiangular lines in dimension 18. Using the concept of switching root introduced by Cao et~al.\ in 2021, these sets of equiangular lines are embedded in a lattice of rank 19 spanned by norm 3 vectors together with a switching root. We characterize this lattice as an overlattice of the root lattice $A_9\oplus A_9\oplus A_1$, and show that there are at least $246896$ sets of 57 equiangular lines in dimension $18$ arising in this way, up to isometry. Additionally, we prove that all of these sets of equiangular lines are strongly maximal. Here, a set of equiangular lines is said to be strongly maximal if there is no set of equiangular lines properly containing it even if the dimension of the underlying space is increased. Among these sets, there are ones with only six distinct Seidel eigenvalues. △ Less

Submitted 27 June, 2025; v1 submitted 8 March, 2025; originally announced March 2025.

Comments: 17 pages, corrected typo, deleted duplicate bibliographic entries

MSC Class: 05B40; 05B20; 05C50; 05C70

Weighted balanced truncation method for approximating kernel functions by exponentials

Authors: Yuanshen Lin, Zhenli Xu, Yusu Zhang, Qi Zhou

Abstract: Kernel approximation with exponentials is useful in many problems with convolution quadrature and particle interactions such as integral-differential equations, molecular dynamics and machine learning. This paper proposes a weighted balanced truncation to construct an optimal model reduction method for compressing the number of exponentials in the sum-of-exponentials approximation of kernel functi… ▽ More Kernel approximation with exponentials is useful in many problems with convolution quadrature and particle interactions such as integral-differential equations, molecular dynamics and machine learning. This paper proposes a weighted balanced truncation to construct an optimal model reduction method for compressing the number of exponentials in the sum-of-exponentials approximation of kernel functions. This method shows great promise in approximating long-range kernels, achieving over 4 digits of accuracy improvement for the Ewald-splitting and inverse power kernels in comparison with the classical balanced truncation. Numerical results demonstrate its excellent performance and attractive features for practical applications. △ Less

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

Comments: 11 pages, 6 figures

Almost sure existence of global weak solutions for incompressible generalized Navier-Stokes equations

Authors: Yuan-Xin Lin, Ya-Guang Wang

Abstract: In this paper we consider the initial value problem of the incompressible generalized Navier-Stokes equations in torus $\mathbb{T}^d$ with $d \geq 2$. The generalized Navier-Stokes equations is obtained by replacing the standard Laplacian in the classical Navier-Stokes equations by the fractional order Laplacian $-(-Δ)^\al$ with $\al \in \left( \frac{2}{3},1 \right]$. After an appropriate randomiz… ▽ More In this paper we consider the initial value problem of the incompressible generalized Navier-Stokes equations in torus $\mathbb{T}^d$ with $d \geq 2$. The generalized Navier-Stokes equations is obtained by replacing the standard Laplacian in the classical Navier-Stokes equations by the fractional order Laplacian $-(-Δ)^\al$ with $\al \in \left( \frac{2}{3},1 \right]$. After an appropriate randomization on the initial data, we obtain the almost sure existence of global weak solutions for initial data being in $\Dot{H}^s(\mathbb{T}^d)$ with $s\in (1-2\al,0)$. △ Less

Submitted 21 February, 2025; originally announced February 2025.

The $p$-rank stratification of the moduli space of double covers of a fixed elliptic curve

Authors: Kevin Chang, Dušan Dragutinović, Steven R. Groen, Yuxin Lin, Natalia Pacheco-Tallaj, Deepesh Singhal

Abstract: In this paper we investigate the $p$-rank stratification of the moduli space of curves of genus $g$ that admit a double cover to a fixed elliptic curve $E$ in characteristic $p>2$. We show that the closed $p$-rank strata of this moduli space are equidimensional of the expected dimension. We also show the existence of a smooth double cover of $E$ of all the possible values of the $p$-rank on this m… ▽ More In this paper we investigate the $p$-rank stratification of the moduli space of curves of genus $g$ that admit a double cover to a fixed elliptic curve $E$ in characteristic $p>2$. We show that the closed $p$-rank strata of this moduli space are equidimensional of the expected dimension. We also show the existence of a smooth double cover of $E$ of all the possible values of the $p$-rank on this moduli space. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 34 pages. Comments are welcome!

MSC Class: 14H10 (Primary) 14G17; 14H30; 14H40 (Secondary)

Quantifying Correlations of Machine Learning Models

Authors: Yuanyuan Li, Neeraj Sarna, Yang Lin

Abstract: Machine Learning models are being extensively used in safety critical applications where errors from these models could cause harm to the user. Such risks are amplified when multiple machine learning models, which are deployed concurrently, interact and make errors simultaneously. This paper explores three scenarios where error correlations between multiple models arise, resulting in such aggregat… ▽ More Machine Learning models are being extensively used in safety critical applications where errors from these models could cause harm to the user. Such risks are amplified when multiple machine learning models, which are deployed concurrently, interact and make errors simultaneously. This paper explores three scenarios where error correlations between multiple models arise, resulting in such aggregated risks. Using real-world data, we simulate these scenarios and quantify the correlations in errors of different models. Our findings indicate that aggregated risks are substantial, particularly when models share similar algorithms, training datasets, or foundational models. Overall, we observe that correlations across models are pervasive and likely to intensify with increased reliance on foundational models and widely used public datasets, highlighting the need for effective mitigation strategies to address these challenges. △ Less

Submitted 6 February, 2025; originally announced February 2025.

On the characterization of graphs with tree 3-spanners

Authors: Lan Lin, Yixun Lin

Abstract: The tree spanner problem for a graph $G$ is as follows: For a given integer $k$, is there a spanning tree $T$ of $G$ (called a tree $k$-spanner) such that the distance in $T$ between every pair of vertices is at most $k$ times their distance in $G$? The minimum $k$ that $G$ admits a tree $k$-spanner is denoted by $σ(G)$. It is well known in the literature that determining $σ(G)\leq 2$ is polynomia… ▽ More The tree spanner problem for a graph $G$ is as follows: For a given integer $k$, is there a spanning tree $T$ of $G$ (called a tree $k$-spanner) such that the distance in $T$ between every pair of vertices is at most $k$ times their distance in $G$? The minimum $k$ that $G$ admits a tree $k$-spanner is denoted by $σ(G)$. It is well known in the literature that determining $σ(G)\leq 2$ is polynomially solvable, while determining $σ(G)\leq k$ for $k\geq 4$ is NP-complete. A long-standing open problem is to characterize graphs with $σ(G)=3$. This paper settles this open problem by proving that it is polynomially solvable. △ Less

Submitted 5 February, 2025; originally announced February 2025.

Comments: 19 pages, 5 figures

MSC Class: 05C35; 05C05; 90C27 ACM Class: G.2.1; G.2.2

Local Existence of a Classical Solution for Quasi-Linear Hyperbolic Systems

Authors: Shih-Wei Chou, Ying-Chieh Lin, Naoki Tsuge

Abstract: In this paper, we study quasi-linear hyperbolic systems. Our goal in this paper is to provide a new proof of local existence of a classical solution for the system. Most difficult point is to prove the convergence of the derivative of approximate solutions by the Arzela-Ascoli theorem. In this paper, we study quasi-linear hyperbolic systems. Our goal in this paper is to provide a new proof of local existence of a classical solution for the system. Most difficult point is to prove the convergence of the derivative of approximate solutions by the Arzela-Ascoli theorem. △ Less

Submitted 16 January, 2025; originally announced January 2025.

Orthogonal greedy algorithm for linear operator learning with shallow neural network

Authors: Ye Lin, Jiwei Jia, Young Ju Lee, Ran Zhang

Abstract: Greedy algorithms, particularly the orthogonal greedy algorithm (OGA), have proven effective in training shallow neural networks for fitting functions and solving partial differential equations (PDEs). In this paper, we extend the application of OGA to the tasks of linear operator learning, which is equivalent to learning the kernel function through integral transforms. Firstly, a novel greedy alg… ▽ More Greedy algorithms, particularly the orthogonal greedy algorithm (OGA), have proven effective in training shallow neural networks for fitting functions and solving partial differential equations (PDEs). In this paper, we extend the application of OGA to the tasks of linear operator learning, which is equivalent to learning the kernel function through integral transforms. Firstly, a novel greedy algorithm is developed for kernel estimation rate in a new semi-inner product, which can be utilized to approximate the Green's function of linear PDEs from data. Secondly, we introduce the OGA for point-wise kernel estimation to further improve the approximation rate, achieving orders of accuracy improvement across various tasks and baseline models. In addition, we provide a theoretical analysis on the kernel estimation problem and the optimal approximation rates for both algorithms, establishing their efficacy and potential for future applications in PDEs and operator learning tasks. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Fast data inversion for high-dimensional dynamical systems from noisy measurements

Authors: Yizi Lin, Xubo Liu, Paul Segall, Mengyang Gu

Abstract: In this work, we develop a scalable approach for a flexible latent factor model for high-dimensional dynamical systems. Each latent factor process has its own correlation and variance parameters, and the orthogonal factor loading matrix can be either fixed or estimated. We utilize an orthogonal factor loading matrix that avoids computing the inversion of the posterior covariance matrix at each tim… ▽ More In this work, we develop a scalable approach for a flexible latent factor model for high-dimensional dynamical systems. Each latent factor process has its own correlation and variance parameters, and the orthogonal factor loading matrix can be either fixed or estimated. We utilize an orthogonal factor loading matrix that avoids computing the inversion of the posterior covariance matrix at each time of the Kalman filter, and derive closed-form expressions in an expectation-maximization algorithm for parameter estimation, which substantially reduces the computational complexity without approximation. Our study is motivated by inversely estimating slow slip events from geodetic data, such as continuous GPS measurements. Extensive simulated studies illustrate higher accuracy and scalability of our approach compared to alternatives. By applying our method to geodetic measurements in the Cascadia region, our estimated slip better agrees with independently measured seismic data of tremor events. The substantial acceleration from our method enables the use of massive noisy data for geological hazard quantification and other applications. △ Less

Submitted 18 June, 2025; v1 submitted 2 January, 2025; originally announced January 2025.

Central limit theorems for vector-valued composite functionals with smoothing and applications

Authors: Huihui Chen, Darinka Dentcheva, Yang Lin, Gregory J. Stock

Abstract: This paper focuses on vector-valued composite functionals, which may be nonlinear in probability. Our primary goal is to establish central limit theorems for these functionals when mixed estimators are employed. Our study is relevant to the evaluation and comparison of risk in decision-making contexts and extends to functionals that arise in machine learning methods. A generalized family of compos… ▽ More This paper focuses on vector-valued composite functionals, which may be nonlinear in probability. Our primary goal is to establish central limit theorems for these functionals when mixed estimators are employed. Our study is relevant to the evaluation and comparison of risk in decision-making contexts and extends to functionals that arise in machine learning methods. A generalized family of composite risk functionals is presented, which encompasses most of the known coherent risk measures including systemic measures of risk. The paper makes two main contributions. First, we analyze vector-valued functionals, providing a framework for evaluating high-dimensional risks. This framework facilitates the comparison of multiple risk measures, as well as the estimation and asymptotic analysis of systemic risk and its optimal value in decision-making problems. Second, we derive novel central limit theorems for optimized composite functionals when mixed types of estimators: empirical and smoothed estimators are used. We provide verifiable sufficient conditions for the central limit formulae and show their applicability to several popular measures of risk. △ Less

Submitted 8 January, 2025; v1 submitted 26 December, 2024; originally announced December 2024.

Semistrong edge colorings of planar graphs

Authors: Yuquan Lin, Wensong Lin

Abstract: Strengthened notions of a matching $M$ of a graph $G$ have been considered, requiring that the matching $M$ has some properties with respect to the subgraph $G_M$ of $G$ induced by the vertices covered by $M$: If $M$ is the unique perfect matching of $G_M$, then $M$ is a uniquely restricted matching of $G$; if all the edges of $M$ are pendant edges of $G_M$, then $M$ is a semistrong matching of… ▽ More Strengthened notions of a matching $M$ of a graph $G$ have been considered, requiring that the matching $M$ has some properties with respect to the subgraph $G_M$ of $G$ induced by the vertices covered by $M$: If $M$ is the unique perfect matching of $G_M$, then $M$ is a uniquely restricted matching of $G$; if all the edges of $M$ are pendant edges of $G_M$, then $M$ is a semistrong matching of $G$; if all the vertices of $G_M$ are pendant, then $M$ is an induced matching of $G$. Strengthened notions of edge coloring and of the chromatic index follow. In this paper, we consider the maximum semistrong chromatic index of planar graphs with given maximum degree $Δ$. We prove that graphs with maximum average degree less than ${14}/{5}$ have semistrong chromatic index (hence uniquely restricted chromatic index) at most $2Δ+4$, and we reduce the bound to $2Δ+2$ if the maximum average degree is less than ${8}/{3}$. These cases cover, in particular, the cases of planar graphs with girth at least 7 (resp. at least 8). Our result makes some progress on the conjecture of Lužar, Mockovčiaková and Soták [J. Graph Theory 105 (2024) 612--632], which asserts that every planar graph $G$ has a semistrong edge coloring with $2Δ+C$ colors, for some universal constant $C$. (Note that such a conjecture would fail for strong edge coloring as there exist graphs with arbitrarily large maximum degree that are not strongly $(4Δ-5)$-edge-colorable.) We conjecture that the upper bound for both the uniquely restricted chromatic index and the semistrong chromatic index of planar graphs with maximum degree $Δ$ is $2Δ+4$, and provide an example of a planar graph achieving this bound. △ Less

Submitted 26 December, 2024; originally announced December 2024.

Multilinear Strongly Singular Integral Operators with Generalized Kernels on RD-Spaces

Authors: Kang Chen, Yan Lin, Shuhui Yang

Abstract: In this article, we introduce a class of multilinear strongly singular integral operators with generalized kernels on the RD-space. The boundedness of these operators on weighted Lebesgue spaces is established. Moreover, two types of endpoint estimates and their boundedness on generalized weighted Morrey spaces are obtained. Our results further generalize the relevant conclusions on generalized ke… ▽ More In this article, we introduce a class of multilinear strongly singular integral operators with generalized kernels on the RD-space. The boundedness of these operators on weighted Lebesgue spaces is established. Moreover, two types of endpoint estimates and their boundedness on generalized weighted Morrey spaces are obtained. Our results further generalize the relevant conclusions on generalized kernels in Euclidean spaces. Moreover, the weak-type results on weighted Lebesgue spaces are brand new even in the situation of Euclidean spaces. In addition, when the generalized kernels degenerate into classical kernels, our research results also extend the relevant known results. It is worth mentioning that our RD spaces are more general than theirs. △ Less

Submitted 24 December, 2024; originally announced December 2024.

Comments: 24 pages

MSC Class: 42B25; 42B35

The Calderón problem for the logarithmic Schrödinger equation

Authors: Bastian Harrach, Yi-Hsuan Lin, Tobias Weth

Abstract: We study the Calderón problem for a logarithmic Schrödinger type operator of the form $L_Δ +q$, where $L_Δ$ denotes the logarithmic Laplacian, which arises as formal derivative $\frac{d}{ds} \big|_{s=0}(-Δ)^s$ of the family of fractional Laplacian operators. This operator enjoys remarkable nonlocal properties, such as the unique continuation and Runge approximation. Based on these tools, we can un… ▽ More We study the Calderón problem for a logarithmic Schrödinger type operator of the form $L_Δ +q$, where $L_Δ$ denotes the logarithmic Laplacian, which arises as formal derivative $\frac{d}{ds} \big|_{s=0}(-Δ)^s$ of the family of fractional Laplacian operators. This operator enjoys remarkable nonlocal properties, such as the unique continuation and Runge approximation. Based on these tools, we can uniquely determine bounded potentials using the Dirichlet-to-Neumann map. Additionally, we can build a constructive uniqueness result by utilizing the monotonicity method. Our results hold for any space dimension. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Comments: 19 pages. All comments are welcome

Asymptotically Optimal Distributionally Robust Solutions through Forecasting and Operations Decentralization

Authors: Yue Lin, Daniel Zhuoyu Long, Viet Anh Nguyen, Jin Qi

Abstract: Two-stage risk-averse distributionally robust optimization (DRO) problems are ubiquitous across many engineering and business applications. Despite their promising resilience, two-stage DRO problems are generally computationally intractable. To address this challenge, we propose a simple framework by decentralizing the decision-making process into two specialized teams: forecasting and operations.… ▽ More Two-stage risk-averse distributionally robust optimization (DRO) problems are ubiquitous across many engineering and business applications. Despite their promising resilience, two-stage DRO problems are generally computationally intractable. To address this challenge, we propose a simple framework by decentralizing the decision-making process into two specialized teams: forecasting and operations. This decentralization aligns with prevalent organizational practices, in which the operations team uses the information communicated from the forecasting team as input to make decisions. We formalize this decentralized procedure as a bilevel problem to design a communicated distribution that can yield asymptotic optimal solutions to original two-stage risk-averse DRO problems. We identify an optimal solution that is surprisingly simple: The forecasting team only needs to communicate a two-point distribution to the operations team. Consequently, the operations team can solve a highly tractable and scalable optimization problem to identify asymptotic optimal solutions. Specifically, as the magnitude of the problem parameters (including the uncertain parameters and the first-stage capacity) increases to infinity at an appropriate rate, the cost ratio between our induced solution and the original optimal solution converges to one, indicating that our decentralized approach yields high-quality solutions. We compare our decentralized approach against the truncated linear decision rule approximation and demonstrate that our approach has broader applicability and superior computational efficiency while maintaining competitive performance. Using real-world sales data, we have demonstrated the practical effectiveness of our strategy. The finely tuned solution significantly outperforms traditional sample-average approximation methods in out-of-sample performance. △ Less

Submitted 22 December, 2024; originally announced December 2024.

Entanglement principle for the fractional Laplacian with applications to inverse problems

Authors: Ali Feizmohammadi, Yi-Hsuan Lin

Abstract: We prove an entanglement principle for fractional Laplace operators on $\mathbb R^n$ for $n\geq 2$ as follows; if different fractional powers of the Laplace operator acting on several distinct functions on $\mathbb R^n$, which vanish on some nonempty open set $O$, are known to be linearly dependent on $O$, then all the functions must be globally zero. This remarkable principle was recently discove… ▽ More We prove an entanglement principle for fractional Laplace operators on $\mathbb R^n$ for $n\geq 2$ as follows; if different fractional powers of the Laplace operator acting on several distinct functions on $\mathbb R^n$, which vanish on some nonempty open set $O$, are known to be linearly dependent on $O$, then all the functions must be globally zero. This remarkable principle was recently discovered to be true for smooth functions on compact Riemannian manifolds without boundary \cite{FKU24}. Our main result extends the principle to the noncompact Euclidean space stated for tempered distributions under suitable decay conditions at infinity. We also present applications of this principle to solve new inverse problems for recovering anisotropic principal terms as well as zeroth order coefficients in fractional polyharmonic equations. Our proof of the entanglement principle uses the heat semigroup formulation of fractional Laplacian to establish connections between the principle and the study of several topics including interpolation properties for holomorphic functions under certain growth conditions at infinity, meromorphic extensions of holomorphic functions from a subdomain, as well as support theorems for spherical mean transforms on $\mathbb R^n$ that are defined as averages of functions over spheres. △ Less

Submitted 17 December, 2024; originally announced December 2024.

Comments: 33 pages

Undecidability of polynomial inequalities in tournaments

Authors: Hao Chen, Yupeng Lin, Jie Ma, Fan Wei

Abstract: Many fundamental problems in extremal combinatorics are equivalent to proving certain polynomial inequalities in graph homomorphism densities. In 2011, a breakthrough result by Hatami and Norine showed that it is undecidable to verify polynomial inequalities in graph homomorphism densities. Recently, Blekherman, Raymond and Wei extended this result by showing that it is also undecidable to determi… ▽ More Many fundamental problems in extremal combinatorics are equivalent to proving certain polynomial inequalities in graph homomorphism densities. In 2011, a breakthrough result by Hatami and Norine showed that it is undecidable to verify polynomial inequalities in graph homomorphism densities. Recently, Blekherman, Raymond and Wei extended this result by showing that it is also undecidable to determine the validity of polynomial inequalities in homomorphism densities for weighted graphs with edge weights taking real values. These two results resolved a question of Lovász. In this paper, we consider the problem of determining the validity of polynomial inequalities in digraph homomorphism densities for tournaments. We prove that the answer to this problem is also undecidable. △ Less

Submitted 9 December, 2024; v1 submitted 6 December, 2024; originally announced December 2024.

Comments: 22 pages, 3 figures

An In-Depth Examination of Risk Assessment in Multi-Class Classification Algorithms

Authors: Disha Ghandwani, Neeraj Sarna, Yuanyuan Li, Yang Lin

Abstract: Advanced classification algorithms are being increasingly used in safety-critical applications like health-care, engineering, etc. In such applications, miss-classifications made by ML algorithms can result in substantial financial or health-related losses. To better anticipate and prepare for such losses, the algorithm user seeks an estimate for the probability that the algorithm miss-classifies… ▽ More Advanced classification algorithms are being increasingly used in safety-critical applications like health-care, engineering, etc. In such applications, miss-classifications made by ML algorithms can result in substantial financial or health-related losses. To better anticipate and prepare for such losses, the algorithm user seeks an estimate for the probability that the algorithm miss-classifies a sample. We refer to this task as the risk-assessment. For a variety of models and datasets, we numerically analyze the performance of different methods in solving the risk-assessment problem. We consider two solution strategies: a) calibration techniques that calibrate the output probabilities of classification models to provide accurate probability outputs; and b) a novel approach based upon the prediction interval generation technique of conformal prediction. Our conformal prediction based approach is model and data-distribution agnostic, simple to implement, and provides reasonable results for a variety of use-cases. We compare the different methods on a broad variety of models and datasets. △ Less

Submitted 5 December, 2024; originally announced December 2024.

Topological Elliptic Genera I -- The mathematical foundation

Authors: Ying-Hsuan Lin, Mayuko Yamashita

Abstract: We construct {\it Topological Elliptic Genera}, homotopy-theoretic refinements of the elliptic genera for $SU$-manifolds and variants including the Witten-Landweber-Ochanine genus. The codomains are genuinely $G$-equivariant Topological Modular Forms developed by Gepner-Meier, twisted by $G$-representations. As the first installment of a series of articles on Topological Elliptic Genera, this issu… ▽ More We construct {\it Topological Elliptic Genera}, homotopy-theoretic refinements of the elliptic genera for $SU$-manifolds and variants including the Witten-Landweber-Ochanine genus. The codomains are genuinely $G$-equivariant Topological Modular Forms developed by Gepner-Meier, twisted by $G$-representations. As the first installment of a series of articles on Topological Elliptic Genera, this issue lays the mathematical foundation and discusses immediate applications. Most notably, we deduce an interesting divisibility result for the Euler numbers of $Sp$-manifolds. △ Less

Submitted 19 January, 2025; v1 submitted 3 December, 2024; originally announced December 2024.

Comments: 90 pages, comments are welcome!

MSC Class: 55N34 (Primary); 55P91; 55N22 (Secondary)

A Booby Trap Game

Authors: Thomas Lidbetter, Kyle Lin

Abstract: This paper presents a booby trap game played between a defender and an attacker on a search space, which may be a compact subset of Euclidean space or a network. The defender has several booby traps and chooses where to plant them. The attacker, aware of the presence of these booby traps but not their locations, chooses a subset of the space and collects a reward equal to the measure of the subset… ▽ More This paper presents a booby trap game played between a defender and an attacker on a search space, which may be a compact subset of Euclidean space or a network. The defender has several booby traps and chooses where to plant them. The attacker, aware of the presence of these booby traps but not their locations, chooses a subset of the space and collects a reward equal to the measure of the subset. If the attacker does not encounter any booby traps, then the attacker keeps the reward; otherwise, the attacker gets nothing. The attacker's objective is to maximize the expected reward, while the defender's objective is to minimize it. We solve this game in the case that the search space is a compact subset of Euclidean space, and then turn our attention to the case where the search space is a network in which the attacker must choose a connected subset of the network. We solve the game when the network is a circle or a line. For the case of one booby trap, we solve the game for 2-connected networks, and when the network is a tree we present an upper bound and a lower bound for the value of the game whose ratio is at most 27/25. We also present an optimal solution for each player in a few cases where the tree is a star network. △ Less

Submitted 2 December, 2024; originally announced December 2024.

Space-time structure and particle-fluid duality of solutions for Boltzmann equation with hard potentials

Authors: Yu-Chu Lin, Haitao Wang, Kung-Chien Wu

Abstract: We study the quantitative pointwise behavior of solutions to the Boltzmann equation for hard potentials and Maxwellian molecules, which generalize the hard sphere case introduced by Liu-Yu in 2004 (Comm. Pure Appl. Math. 57:1543-1608, 2004). The large time behavior of the solution is dominated by fluid structures, similar to the hard sphere case. However, unlike hard sphere, the spatial decay here… ▽ More We study the quantitative pointwise behavior of solutions to the Boltzmann equation for hard potentials and Maxwellian molecules, which generalize the hard sphere case introduced by Liu-Yu in 2004 (Comm. Pure Appl. Math. 57:1543-1608, 2004). The large time behavior of the solution is dominated by fluid structures, similar to the hard sphere case. However, unlike hard sphere, the spatial decay here depends on the potential power $γ$ and the initial velocity weight. A key challenge in this problem is the loss of velocity weight in linear estimates, which makes standard nonlinear iteration infeasible. To address this, we develop an Enhanced Mixture Lemma, demonstrating that mixing the transport and gain parts of the linearized collision operator can generate arbitrary-order regularity and decay in both space and velocity variables. This allows us to decompose the linearized solution into fluid (arbitrary regularity and velocity decay) and particle (rapid space-time decay, but with loss of velocity decay) parts, making it possible to solve the nonlinear problem through this particle-fluid duality. △ Less

Submitted 17 November, 2024; originally announced November 2024.

Comments: 37 pages

Learning-Augmented Algorithms for Online Concave Packing and Convex Covering Problems

Authors: Elena Grigorescu, Young-San Lin, Maoyuan Song

Abstract: Learning-augmented algorithms have been extensively studied across the computer science community in the recent years, driven by advances in machine learning predictors, which can provide additional information to augment classical algorithms. Such predictions are especially powerful in the context of online problems, where decisions have to be made without knowledge of the future, and which tradi… ▽ More Learning-augmented algorithms have been extensively studied across the computer science community in the recent years, driven by advances in machine learning predictors, which can provide additional information to augment classical algorithms. Such predictions are especially powerful in the context of online problems, where decisions have to be made without knowledge of the future, and which traditionally exhibits impossibility results bounding the performance of any online algorithm. The study of learning-augmented algorithms thus aims to use external advice prudently, to overcome classical impossibility results when the advice is accurate, and still perform comparably to the state-of-the-art online algorithms even when the advice is inaccurate. In this paper, we present learning-augmented algorithmic frameworks for two fundamental optimizations settings, extending and generalizing prior works. For online packing with concave objectives, we present a simple but overarching strategy that switches between the advice and the state-of-the-art online algorithm. For online covering with convex objectives, we greatly extend primal-dual methods for online convex covering programs by Azar et al. (FOCS 2016) and previous learning-augmented framework for online covering linear programs from the literature, to many new applications. We show that our algorithms break impossibility results when the advice is accurate, while maintaining comparable performance with state-of-the-art classical online algorithms even when the advice is erroneous. △ Less

Submitted 12 November, 2024; originally announced November 2024.

Comments: 38 pages. In submission

On trilinear singular Brascamp-Lieb integrals

Authors: Lars Becker, Polona Durcik, Fred Yu-Hsiang Lin

Abstract: We classify all trilinear singular Brascamp-Lieb forms, completing the classification in the two dimensional case by Demeter and Thiele in arXiv:0803.1268. We use known results in the representation theory of finite dimensional algebras, namely the classification of indecomposable representations of the four subspace quiver. Our classification lays out a roadmap for achieving bounds for all degene… ▽ More We classify all trilinear singular Brascamp-Lieb forms, completing the classification in the two dimensional case by Demeter and Thiele in arXiv:0803.1268. We use known results in the representation theory of finite dimensional algebras, namely the classification of indecomposable representations of the four subspace quiver. Our classification lays out a roadmap for achieving bounds for all degenerate higher dimensional bilinear Hilbert transforms. As another step towards this goal, we prove new bounds for a particular class of forms that arises as a natural next candidate from our classification. We further prove conditional bounds for forms associated with mutually related representations. For this purpose we develop a method of rotations that allows us to decompose any homogeneous $d$-dimensional singular integral kernel into $(d-1)$-dimensional kernels on hyperplanes. △ Less

Submitted 31 October, 2024; originally announced November 2024.

Comments: 44 pages

MSC Class: 42B20; 42B15

Scalable physics-guided data-driven component model reduction for steady Navier-Stokes flow

Authors: Seung Whan Chung, Youngsoo Choi, Pratanu Roy, Thomas Roy, Tiras Y. Lin, Du T. Nguyen, Christopher Hahn, Eric B. Duoss, Sarah E. Baker

Abstract: Computational physics simulation can be a powerful tool to accelerate industry deployment of new scientific technologies. However, it must address the challenge of computationally tractable, moderately accurate prediction at large industry scales, and training a model without data at such large scales. A recently proposed component reduced order modeling (CROM) tackles this challenge by combining… ▽ More Computational physics simulation can be a powerful tool to accelerate industry deployment of new scientific technologies. However, it must address the challenge of computationally tractable, moderately accurate prediction at large industry scales, and training a model without data at such large scales. A recently proposed component reduced order modeling (CROM) tackles this challenge by combining reduced order modeling (ROM) with discontinuous Galerkin domain decomposition (DG-DD). While it can build a component ROM at small scales that can be assembled into a large scale system, its application is limited to linear physics equations. In this work, we extend CROM to nonlinear steady Navier-Stokes flow equation. Nonlinear advection term is evaluated via tensorial approach or empirical quadrature procedure. Application to flow past an array of objects at moderate Reynolds number demonstrates $\sim23.7$ times faster solutions with a relative error of $\sim 2.3\%$, even at scales $256$ times larger than the original problem. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Comments: 6 pages, 1 figure

Report number: LLNL-PROC-868977

Scaled-up prediction of steady Navier-Stokes equation with component reduced order modeling

Authors: Seung Whan Chung, Youngsoo Choi, Pratanu Roy, Thomas Roy, Tiras Y. Lin, Du T. Nguyen, Christopher Hahn, Eric B. Duoss, Sarah E. Baker

Abstract: Scaling up new scientific technologies from laboratory to industry often involves demonstrating performance on a larger scale. Computer simulations can accelerate design and predictions in the deployment process, though traditional numerical methods are computationally intractable even for intermediate pilot plant scales. Recently, component reduced order modeling method is developed to tackle thi… ▽ More Scaling up new scientific technologies from laboratory to industry often involves demonstrating performance on a larger scale. Computer simulations can accelerate design and predictions in the deployment process, though traditional numerical methods are computationally intractable even for intermediate pilot plant scales. Recently, component reduced order modeling method is developed to tackle this challenge by combining projection reduced order modeling and discontinuous Galerkin domain decomposition. However, while many scientific or engineering applications involve nonlinear physics, this method has been only demonstrated for various linear systems. In this work, the component reduced order modeling method is extended to steady Navier-Stokes flow, with application to general nonlinear physics in view. Large-scale, global domain is decomposed into combination of small-scale unit component. Linear subspaces for flow velocity and pressure are identified via proper orthogonal decomposition over sample snapshots collected at small scale unit component. Velocity bases are augmented with pressure supremizer, in order to satisfy inf-sup condition for stable pressure prediction. Two different nonlinear reduced order modeling methods are employed and compared for efficient evaluation of nonlinear advection: 3rd-order tensor projection operator and empirical quadrature procedure. The proposed method is demonstrated on flow over arrays of five different unit objects, achieving $23$ times faster prediction with less than $4\%$ relative error up to $256$ times larger scale domain than unit components. Furthermore, a numerical experiment with pressure supremizer strongly indicates the need of supremizer for stable pressure prediction. A comparison between tensorial approach and empirical quadrature procedure is performed, which suggests a slight advantage for empirical quadrature procedure. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Comments: 34 pages, 7 figures

Report number: LLNL-JRNL-870606

A Globally Optimal Portfolio for m-Sparse Sharpe Ratio Maximization

Authors: Yizun Lin, Zhao-Rong Lai, Cheng Li

Abstract: The Sharpe ratio is an important and widely-used risk-adjusted return in financial engineering. In modern portfolio management, one may require an m-sparse (no more than m active assets) portfolio to save managerial and financial costs. However, few existing methods can optimize the Sharpe ratio with the m-sparse constraint, due to the nonconvexity and the complexity of this constraint. We propose… ▽ More The Sharpe ratio is an important and widely-used risk-adjusted return in financial engineering. In modern portfolio management, one may require an m-sparse (no more than m active assets) portfolio to save managerial and financial costs. However, few existing methods can optimize the Sharpe ratio with the m-sparse constraint, due to the nonconvexity and the complexity of this constraint. We propose to convert the m-sparse fractional optimization problem into an equivalent m-sparse quadratic programming problem. The semi-algebraic property of the resulting objective function allows us to exploit the Kurdyka-Lojasiewicz property to develop an efficient Proximal Gradient Algorithm (PGA) that leads to a portfolio which achieves the globally optimal m-sparse Sharpe ratio under certain conditions. The convergence rates of PGA are also provided. To the best of our knowledge, this is the first proposal that achieves a globally optimal m-sparse Sharpe ratio with a theoretically-sound guarantee. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Comments: 26 pages, 2 figures

MSC Class: 90C26; 90C32; 65K05

The fractional anisotropic Calderón problem for a nonlocal parabolic equation on closed Riemannian manifolds

Authors: Yi-Hsuan Lin

Abstract: We consider the fractional anisotropic Calderón problem for the nonlocal parabolic equation $(\partial_t -Δ_g)^s u=f$ ($0<s<1$) on closed Riemannian manifolds. More concretely, we can determine the Riemannian manifold $(M,g)$ up to isometry by using the local source-to-solution map in an arbitrarily small open cylinder in the spacetime domain. This can be regarded as a nonlocal analog of the aniso… ▽ More We consider the fractional anisotropic Calderón problem for the nonlocal parabolic equation $(\partial_t -Δ_g)^s u=f$ ($0<s<1$) on closed Riemannian manifolds. More concretely, we can determine the Riemannian manifold $(M,g)$ up to isometry by using the local source-to-solution map in an arbitrarily small open cylinder in the spacetime domain. This can be regarded as a nonlocal analog of the anisotropic Calderón problem in the parabolic setting. We also study several useful properties for nonlocal parabolic operators by using comprehensive spectrum analysis with semigroup theory. △ Less

Submitted 23 October, 2024; originally announced October 2024.

Comments: 15 pages. All comments are welcome!

Special Lagrangian submanifolds in K3-fibered Calabi-Yau 3-folds

Authors: Shih-Kai Chiu, Yu-Shen Lin

Abstract: We construct special Lagrangian submanifolds in collapsing Calabi-Yau 3-folds fibered by K3 surfaces. As these 3-folds collapse, the special Lagrangians shrink to 1-dimensional graphs in the base, mirroring the conjectured tropicalization of holomorphic curves in collapsing SYZ torus-fibered Calabi-Yau manifolds. This confirms predictions of Donaldson and Donaldson-Scaduto in the Calabi-Yau settin… ▽ More We construct special Lagrangian submanifolds in collapsing Calabi-Yau 3-folds fibered by K3 surfaces. As these 3-folds collapse, the special Lagrangians shrink to 1-dimensional graphs in the base, mirroring the conjectured tropicalization of holomorphic curves in collapsing SYZ torus-fibered Calabi-Yau manifolds. This confirms predictions of Donaldson and Donaldson-Scaduto in the Calabi-Yau setting. Additionally, we discuss our results in the contexts of the Thomas-Yau conjecture, the Donaldson-Scaduto conjecture, and mirror symmetry. △ Less

Submitted 23 October, 2024; originally announced October 2024.

Comments: 71 pages

A short proof on the boundedness of triangular Hilbert transform along curves

Authors: Martin Hsu, Fred Yu-Hsiang Lin

Abstract: We give a short and elementary proof of the boundedness of triangular Hilbert transform along non-flat curves definable in a polynomially bounded o-minimal structure. We also provide a criterion on the multiplier to determine whether the associated fiber-wisely defined bilinear operator admits a smoothing inequality. We give a short and elementary proof of the boundedness of triangular Hilbert transform along non-flat curves definable in a polynomially bounded o-minimal structure. We also provide a criterion on the multiplier to determine whether the associated fiber-wisely defined bilinear operator admits a smoothing inequality. △ Less

Submitted 21 October, 2024; originally announced October 2024.

Kirillov's conjecture on Hecke-Grothendieck polynomials

Authors: Ben Brubaker, A. Suki Dasher, Michael Hu, Nupur Jain, Yifan Li, Yi Lin, Maria Mihaila, Van Tran, I. Deniz Ünel

Abstract: We use algebraic methods in statistical mechanics to represent a multi-parameter class of polynomials in severable variables as partition functions of a new family of solvable lattice models. The class of polynomials, defined by A.N. Kirillov, is derived from the largest class of divided difference operators satisfying the braid relations of Cartan type $A$. It includes as specializations Schubert… ▽ More We use algebraic methods in statistical mechanics to represent a multi-parameter class of polynomials in severable variables as partition functions of a new family of solvable lattice models. The class of polynomials, defined by A.N. Kirillov, is derived from the largest class of divided difference operators satisfying the braid relations of Cartan type $A$. It includes as specializations Schubert, Grothendieck, and dual-Grothendieck polynomials among others. In particular, our results prove positivity conjectures of Kirillov for the subfamily of Hecke--Grothendieck polynomials, while the larger family is shown to exhibit rare instances of negative coefficients. △ Less

Submitted 10 October, 2024; originally announced October 2024.

Break recovery in graphical networks with D-trace loss

Authors: Ying Lin, Benjamin Poignard, Ting Kei Pong, Akiko Takeda

Abstract: We consider the problem of estimating a time-varying sparse precision matrix, which is assumed to evolve in a piece-wise constant manner. Building upon the Group Fused LASSO and LASSO penalty functions, we estimate both the network structure and the change-points. We propose an alternative estimator to the commonly employed Gaussian likelihood loss, namely the D-trace loss. We provide the conditio… ▽ More We consider the problem of estimating a time-varying sparse precision matrix, which is assumed to evolve in a piece-wise constant manner. Building upon the Group Fused LASSO and LASSO penalty functions, we estimate both the network structure and the change-points. We propose an alternative estimator to the commonly employed Gaussian likelihood loss, namely the D-trace loss. We provide the conditions for the consistency of the estimated change-points and of the sparse estimators in each block. We show that the solutions to the corresponding estimation problem exist when some conditions relating to the tuning parameters of the penalty functions are satisfied. Unfortunately, these conditions are not verifiable in general, posing challenges for tuning the parameters in practice. To address this issue, we introduce a modified regularizer and develop a revised problem that always admits solutions: these solutions can be used for detecting possible unsolvability of the original problem or obtaining a solution of the original problem otherwise. An alternating direction method of multipliers (ADMM) is then proposed to solve the revised problem. The relevance of the method is illustrated through simulations and real data experiments. △ Less

Submitted 5 October, 2024; originally announced October 2024.

MSC Class: 62F12; 90C25; 90C90

FracGM: A Fast Fractional Programming Technique for Geman-McClure Robust Estimator

Authors: Bang-Shien Chen, Yu-Kai Lin, Jian-Yu Chen, Chih-Wei Huang, Jann-Long Chern, Ching-Cherng Sun

Abstract: Robust estimation is essential in computer vision, robotics, and navigation, aiming to minimize the impact of outlier measurements for improved accuracy. We present a fast algorithm for Geman-McClure robust estimation, FracGM, leveraging fractional programming techniques. This solver reformulates the original non-convex fractional problem to a convex dual problem and a linear equation system, iter… ▽ More Robust estimation is essential in computer vision, robotics, and navigation, aiming to minimize the impact of outlier measurements for improved accuracy. We present a fast algorithm for Geman-McClure robust estimation, FracGM, leveraging fractional programming techniques. This solver reformulates the original non-convex fractional problem to a convex dual problem and a linear equation system, iteratively solving them in an alternating optimization pattern. Compared to graduated non-convexity approaches, this strategy exhibits a faster convergence rate and better outlier rejection capability. In addition, the global optimality of the proposed solver can be guaranteed under given conditions. We demonstrate the proposed FracGM solver with Wahba's rotation problem and 3-D point-cloud registration along with relaxation pre-processing and projection post-processing. Compared to state-of-the-art algorithms, when the outlier rates increase from 20% to 80%, FracGM shows 53% and 88% lower rotation and translation increases. In real-world scenarios, FracGM achieves better results in 13 out of 18 outcomes, while having a 19.43% improvement in the computation time. △ Less

Submitted 20 November, 2024; v1 submitted 20 September, 2024; originally announced September 2024.

Comments: 8 pages, 6 figures

Journal ref: IEEE Robotics and Automation Letters, 9(12), 11666-11673, 2024

A Krasnoselskii-Mann Proximity Algorithm for Markowitz Portfolios with Adaptive Expected Return Level

Authors: Yizun Lin, Yongxin He, Zhao-Rong Lai

Abstract: Markowitz's criterion aims to balance expected return and risk when optimizing the portfolio. The expected return level is usually fixed according to the risk appetite of an investor, then the risk is minimized at this fixed return level. However, the investor may not know which return level is suitable for her/him and the current financial circumstance. It motivates us to find a novel approach th… ▽ More Markowitz's criterion aims to balance expected return and risk when optimizing the portfolio. The expected return level is usually fixed according to the risk appetite of an investor, then the risk is minimized at this fixed return level. However, the investor may not know which return level is suitable for her/him and the current financial circumstance. It motivates us to find a novel approach that adaptively optimizes this return level and the portfolio at the same time. It not only relieves the trouble of deciding the return level during an investment but also gets more adaptive to the ever-changing financial market than a subjective return level. In order to solve the new model, we propose an exact, convergent, and efficient Krasnoselskii-Mann Proximity Algorithm based on the proximity operator and Krasnoselskii-Mann momentum technique. Extensive experiments show that the proposed method achieves significant improvements over state-of-the-art methods in portfolio optimization. This finding may contribute a new perspective on the relationship between return and risk in portfolio optimization. △ Less

Submitted 7 November, 2024; v1 submitted 20 September, 2024; originally announced September 2024.

Comments: 29 pages, 2 figures

MSC Class: 65K05; 90C25; 91B28

An accelerated preconditioned proximal gradient algorithm with a generalized Nesterov momentum for PET image reconstruction

Authors: Yizun Lin, Yongxin He, C. Ross Schmidtlein, Deren Han

Abstract: This paper presents an Accelerated Preconditioned Proximal Gradient Algorithm (APPGA) for effectively solving a class of Positron Emission Tomography (PET) image reconstruction models with differentiable regularizers. We establish the convergence of APPGA with the Generalized Nesterov (GN) momentum scheme, demonstrating its ability to converge to a minimizer of the objective function with rates of… ▽ More This paper presents an Accelerated Preconditioned Proximal Gradient Algorithm (APPGA) for effectively solving a class of Positron Emission Tomography (PET) image reconstruction models with differentiable regularizers. We establish the convergence of APPGA with the Generalized Nesterov (GN) momentum scheme, demonstrating its ability to converge to a minimizer of the objective function with rates of $o(1/k^{2ω})$ and $o(1/k^ω)$ in terms of the function value and the distance between consecutive iterates, respectively, where $ω\in(0,1]$ is the power parameter of the GN momentum. To achieve an efficient algorithm with high-order convergence rate for the higher-order isotropic total variation (ITV) regularized PET image reconstruction model, we replace the ITV term by its smoothed version and subsequently apply APPGA to solve the smoothed model. Numerical results presented in this work indicate that as $ω\in(0,1]$ increase, APPGA converges at a progressively faster rate. Furthermore, APPGA exhibits superior performance compared to the preconditioned proximal gradient algorithm and the preconditioned Krasnoselskii-Mann algorithm. The extension of the GN momentum technique for solving a more complex optimization model with multiple nondifferentiable terms is also discussed. △ Less

Submitted 20 September, 2024; originally announced September 2024.

Comments: 28 pages, 9 figures

MSC Class: 65J22; 65K05; 90C25