Showing 1–50 of 144 results for author: Huang, T

Distributional MIPLIB: a Multi-Domain Library for Advancing ML-Guided MILP Methods

Authors: Weimin Huang, Taoan Huang, Aaron M Ferber, Bistra Dilkina

Abstract: Mixed Integer Linear Programming (MILP) is a fundamental tool for modeling combinatorial optimization problems. Recently, a growing body of research has used machine learning to accelerate MILP solving. Despite the increasing popularity of this approach, there is a lack of a common repository that provides distributions of similar MILP instances across different domains, at different hardness leve… ▽ More Mixed Integer Linear Programming (MILP) is a fundamental tool for modeling combinatorial optimization problems. Recently, a growing body of research has used machine learning to accelerate MILP solving. Despite the increasing popularity of this approach, there is a lack of a common repository that provides distributions of similar MILP instances across different domains, at different hardness levels, with standardized test sets. In this paper, we introduce Distributional MIPLIB, a multi-domain library of problem distributions for advancing ML-guided MILP methods. We curate MILP distributions from existing work in this area as well as real-world problems that have not been used, and classify them into different hardness levels. It will facilitate research in this area by enabling comprehensive evaluation on diverse and realistic domains. We empirically illustrate the benefits of using Distributional MIPLIB as a research vehicle in two ways. We evaluate the performance of ML-guided variable branching on previously unused distributions to identify potential areas for improvement. Moreover, we propose to learn branching policies from a mix of distributions, demonstrating that mixed distributions achieve better performance compared to homogeneous distributions when there is limited data and generalize well to larger instances. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Adaptive Ensemble Control for Stochastic Systems with Mixed Asymmetric Laplace Noises

Authors: Yajie Yu, Xuehui Ma, Shiliang Zhang, Zhuzhu Wang, Xubing Shi, Yushuai Li, Tingwen Huang

Abstract: This paper presents an adaptive ensemble control for stochastic systems subject to asymmetric noises and outliers. Asymmetric noises skew system observations, and outliers with large amplitude deteriorate the observations even further. Such disturbances induce poor system estimation and degraded stochastic system control. In this work, we model the asymmetric noises and outliers by mixed asymmetri… ▽ More This paper presents an adaptive ensemble control for stochastic systems subject to asymmetric noises and outliers. Asymmetric noises skew system observations, and outliers with large amplitude deteriorate the observations even further. Such disturbances induce poor system estimation and degraded stochastic system control. In this work, we model the asymmetric noises and outliers by mixed asymmetric Laplace distributions (ALDs), and propose an optimal control for stochastic systems with mixed ALD noises. Particularly, we segregate the system disturbed by mixed ALD noises into subsystems, each of which is subject to a specific ALD noise. For each subsystem, we design an iterative quantile filter (IQF) to estimate the system parameters using system observations. With the estimated parameters by IQF, we derive the certainty equivalence (CE) control law for each subsystem. Then we use the Bayesian approach to ensemble the subsystem CE controllers, with each of the controllers weighted by their posterior probability. We finalize our control law as the weighted sum of the control signals by the sub-system CE controllers. To demonstrate our approach, we conduct numerical simulations and Monte Carlo analyses. The results show improved tracking performance by our approach for skew noises and its robustness to outliers, compared with single ALD based and RLS-based control policy. △ Less

Submitted 16 May, 2024; originally announced May 2024.

Triple product $p$-adic $L$-functions for finite slope families and a $p$-adic Gross-Zagier formula

Authors: Ting-Han Huang

Abstract: In this paper, we generalize two results of H. Darmon and V. Rotger on triple product $p$-adic $L$-functions associated with Hida families to finite slope families. We first prove a $p$-adic Gross-Zagier formula, then demonstrate an application to a special case of the equivariant Birch and Swinnerton-Dyer conjecture for supersingular elliptic curves. In this paper, we generalize two results of H. Darmon and V. Rotger on triple product $p$-adic $L$-functions associated with Hida families to finite slope families. We first prove a $p$-adic Gross-Zagier formula, then demonstrate an application to a special case of the equivariant Birch and Swinnerton-Dyer conjecture for supersingular elliptic curves. △ Less

Submitted 27 March, 2024; originally announced March 2024.

MSC Class: 11F12; 11G05; 11G35; 11G40

Numerical Solutions for Stochastic Continuous-time Algebraic Riccati Equations

Authors: Tsung-Ming Huang, Yueh-Cheng Kuo, Ren-Cang Li, Wen-Wei Lin

Abstract: We are concerned with efficient numerical methods for stochastic continuous-time algebraic Riccati equations (SCARE). Such equations frequently arise from the state-dependent Riccati equation approach which is perhaps the only systematic way today to study nonlinear control problems. Often involved Riccati-type equations are of small scale, but have to be solved repeatedly in real time. Important… ▽ More We are concerned with efficient numerical methods for stochastic continuous-time algebraic Riccati equations (SCARE). Such equations frequently arise from the state-dependent Riccati equation approach which is perhaps the only systematic way today to study nonlinear control problems. Often involved Riccati-type equations are of small scale, but have to be solved repeatedly in real time. Important applications include the 3D missile/target engagement, the F16 aircraft flight control, and the quadrotor optimal control, to name a few. A new inner-outer iterative method that combines the fixed-point strategy and the structure-preserving doubling algorithm (SDA) is proposed. It is proved that the method is monotonically convergent, and in particular, taking the zero matrix as initial, the method converges to the desired stabilizing solution. Previously, Newton's method has been called to solve SCARE, but it was mostly investigated from its theoretic aspect than numerical aspect in terms of robust and efficient numerical implementation. For that reason, we revisit Newton's method for SCARE, focusing on how to calculate each Newton iterative step efficiently so that Newton's method for SCARE can become practical. It is proposed to use our new inner-outer iterative method, which is provably convergent, to provide critical initial starting points for Newton's method to ensure its convergence. Finally several numerical experiments are conducted to validate the new method and robust implementation of Newton's method. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Learning Backdoors for Mixed Integer Programs with Contrastive Learning

Authors: Junyang Cai, Taoan Huang, Bistra Dilkina

Abstract: Many real-world problems can be efficiently modeled as Mixed Integer Programs (MIPs) and solved with the Branch-and-Bound method. Prior work has shown the existence of MIP backdoors, small sets of variables such that prioritizing branching on them when possible leads to faster running times. However, finding high-quality backdoors that improve running times remains an open question. Previous work… ▽ More Many real-world problems can be efficiently modeled as Mixed Integer Programs (MIPs) and solved with the Branch-and-Bound method. Prior work has shown the existence of MIP backdoors, small sets of variables such that prioritizing branching on them when possible leads to faster running times. However, finding high-quality backdoors that improve running times remains an open question. Previous work learns to estimate the relative solver speed of randomly sampled backdoors through ranking and then decide whether to use it. In this paper, we utilize the Monte-Carlo tree search method to collect backdoors for training, rather than relying on random sampling, and adapt a contrastive learning framework to train a Graph Attention Network model to predict backdoors. Our method, evaluated on four common MIP problem domains, demonstrates performance improvements over both Gurobi and previous models. △ Less

Submitted 18 January, 2024; originally announced January 2024.

Pointwise estimates for the fundamental solution of higher order Schrödinger equation in odd dimensions

Authors: Han Cheng, Shanlin Huang, Tianxiao Huang, Quan Zheng

Abstract: In this paper, for any odd $n$ and any integer $m\geq1$, we study the fundamental solution of the higher order Schrödinger equation $$ \mathbf{i}\partial_tu(x, t)=((-Δ)^m+V(x))u(x, t), \quad t\in \mathbb{R},\,\,x\in \mathbb{R}^n, $$ where $V$ is a real-valued potential with certain decay, smoothness, and spectral properties. Let $P_{ac}(H)$ denote the projection onto the absolutely continuous spec… ▽ More In this paper, for any odd $n$ and any integer $m\geq1$, we study the fundamental solution of the higher order Schrödinger equation $$ \mathbf{i}\partial_tu(x, t)=((-Δ)^m+V(x))u(x, t), \quad t\in \mathbb{R},\,\,x\in \mathbb{R}^n, $$ where $V$ is a real-valued potential with certain decay, smoothness, and spectral properties. Let $P_{ac}(H)$ denote the projection onto the absolutely continuous spectrum space of $H=(-Δ)^m+V$. Our main result says that $e^{-\mathbf{i} tH}P_{ac}(H)$ has integral kernel $K(t,x,y)$ satisfying $$ |K(t,x,y)|\le C (1+|t|)^{-h}(1+|t|^{-\frac{n}{2 m}})\left(1+|t|^{-\frac{1}{2 m}}|x-y|\right)^{-\frac{n(m-1)}{2 m-1}},\quad t\neq0,\,x,y\in\mathbb{R}^n, $$ where the constants $C, h>0$, and $h$ can be specified by $m, n$ and the spectral property of $H$. A similar result for smoothing operators like $H^\fracα{2m}e^{-\mathbf{i}tH}P_{ac}(H)$ is also given. △ Less

Submitted 2 June, 2024; v1 submitted 10 January, 2024; originally announced January 2024.

Comments: A result for smoothing operators is given, 104pp

On Novel Fixed-Point-Type Iterations with Structure-Preserving Doubling Algorithms for Stochastic Continuous-time Algebraic Riccati equations

Authors: Tsung-Ming Huang, Yueh-Cheng Kuo, Ren-Cang Li, Wen-Wei Lin

Abstract: In this paper we mainly propose efficient and reliable numerical algorithms for solving stochastic continuous-time algebraic Riccati equations (SCARE) typically arising from the differential statedependent Riccati equation technique from the 3D missile/target engagement, the F16 aircraft flight control and the quadrotor optimal control etc. To this end, we develop a fixed point (FP)-type iteration… ▽ More In this paper we mainly propose efficient and reliable numerical algorithms for solving stochastic continuous-time algebraic Riccati equations (SCARE) typically arising from the differential statedependent Riccati equation technique from the 3D missile/target engagement, the F16 aircraft flight control and the quadrotor optimal control etc. To this end, we develop a fixed point (FP)-type iteration with solving a CARE by the structure-preserving doubling algorithm (SDA) at each iterative step, called FP-CARE SDA. We prove that either the FP-CARE SDA is monotonically nondecreasing or nonincreasing, and is R-linearly convergent, with the zero initial matrix or a special initial matrix satisfying some assumptions. The FP-CARE SDA (FPC) algorithm can be regarded as a robust initial step to produce a good initial matrix, and then the modified Newton (mNT) method can be used by solving the corresponding Lyapunov equation with SDA (FPC-mNT-Lyap SDA). Numerical experiments show that the FPC-mNT-Lyap SDA algorithm outperforms the other existing algorithms. △ Less

Submitted 30 November, 2023; originally announced December 2023.

The connecting homomorphism for Hermitian $K$-theory

Authors: Tao Huang, Heng Xie

Abstract: We provide a geometric interpretation for the connecting homomorphism in the localization sequence of Hermitian $K$-theory. As an application, we compute the Hermitian $K$-theory of projective bundles and Grassmannians in the regular case. We provide an explicit basis for Hermitian $K$-theory of Grassmannians, which is indexed by even Young diagrams together with another special class of Young dia… ▽ More We provide a geometric interpretation for the connecting homomorphism in the localization sequence of Hermitian $K$-theory. As an application, we compute the Hermitian $K$-theory of projective bundles and Grassmannians in the regular case. We provide an explicit basis for Hermitian $K$-theory of Grassmannians, which is indexed by even Young diagrams together with another special class of Young diagrams, that we call $\textit{buffalo-check}$ Young diagrams. To achieve this, we develop pushforwards and pullbacks in Hermitian $K$-theory using Grothendieck's residue complexes, and we establish fundamental theorems for those pushforwards and pullbacks, including base change, projection, and excess intersection formulas. △ Less

Submitted 1 March, 2024; v1 submitted 4 November, 2023; originally announced November 2023.

Comments: Buffalo-check Young diagrams are introduced to index the additive basis for the K-theory part of Hermitian K-theory of Grassmannians

MSC Class: 19G38; 11E81; and 14M15

Counting Divisors in the Outputs of a Binary Quadratic Form

Authors: Chan Ieong Kuan, David Lowry-Duda, Alexander Walker, Tinghao Huang

Abstract: For a fixed natural number $h$, we prove meromorphic continuation of the two-variable Dirichlet series $\sum_m r_2(m) σ_w(m + h) (m + h)^{-s + w}$ to $\mathbb{C}^2$ and use this to obtain asymptotics for $\sum_{m^2 + n^2 \leq X} σ_w(m^2 + n^2 + h)$. We approach this continuation through spectral theory. Our results are comparable to earlier work of Bykovskii, who used different methods to study th… ▽ More For a fixed natural number $h$, we prove meromorphic continuation of the two-variable Dirichlet series $\sum_m r_2(m) σ_w(m + h) (m + h)^{-s + w}$ to $\mathbb{C}^2$ and use this to obtain asymptotics for $\sum_{m^2 + n^2 \leq X} σ_w(m^2 + n^2 + h)$. We approach this continuation through spectral theory. Our results are comparable to earlier work of Bykovskii, who used different methods to study the sums $\sum_{n^2 \leq X} σ_w(n^2 + h)$. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Comments: 41 pages, including an appendix by Kuan and Huang

MSC Class: 11F30; 11N37; 11F72

A quantitative pairwise comparison-based constraint handling technique for constrained optimization

Authors: Ting Huang, Qiang Zhang, Witold Pedrycz, Shanlin Yang

Abstract: This study proposes a new constraint handling technique for assisting metaheuristic optimization algorithms to solve constrained optimization problems more effectively and efficiently. Given any two solutions of any constrained optimization problems, they are first mapped into a two-dimensional Cartesian coordinate system with their objective function value differences and constraint violation dif… ▽ More This study proposes a new constraint handling technique for assisting metaheuristic optimization algorithms to solve constrained optimization problems more effectively and efficiently. Given any two solutions of any constrained optimization problems, they are first mapped into a two-dimensional Cartesian coordinate system with their objective function value differences and constraint violation differences as the two axes. To the best of our knowledge, we are the first to deal with constraints by building such a Cartesian coordinate system. Then, the Cartesian coordinate system is divided into a series of grids by assigning ranks to different intervals of differences. In this way, a pairwise comparison criterion is derived with the use of the fused ranks, which achieves non-hierarchical comparison neither preferring objective function values nor constraint violations, resulting in more accurate evaluation compared with existing techniques. Moreover, an evaluation function that is equivalent to the pairwise comparison criterion is proposed, which further improves computational efficiency. The effectiveness and efficiency of the proposed constraint handling technique are verified on two well-known public datasets, that is, CEC 2006 and CEC 2017. The results demonstrate that metaheuristic optimization algorithms with using the proposed constraint handling technique can converge to a feasible optimal solution faster and more reliably. Experimental analysis on the parameters involved reveal guidance for their optimal settings. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Comments: 58 pages in total (33 pages of main body and 25 pages of supplementary material), 38 figures in total (14 figures in the main body and 24 figures in the supplementary material)

MSC Class: 90-08 (Primary)

Decentralized Riemannian Conjugate Gradient Method on the Stiefel Manifold

Authors: Jun Chen, Haishan Ye, Mengmeng Wang, Tianxin Huang, Guang Dai, Ivor W. Tsang, Yong Liu

Abstract: The conjugate gradient method is a crucial first-order optimization method that generally converges faster than the steepest descent method, and its computational cost is much lower than that of second-order methods. However, while various types of conjugate gradient methods have been studied in Euclidean spaces and on Riemannian manifolds, there is little study for those in distributed scenarios.… ▽ More The conjugate gradient method is a crucial first-order optimization method that generally converges faster than the steepest descent method, and its computational cost is much lower than that of second-order methods. However, while various types of conjugate gradient methods have been studied in Euclidean spaces and on Riemannian manifolds, there is little study for those in distributed scenarios. This paper proposes a decentralized Riemannian conjugate gradient descent (DRCGD) method that aims at minimizing a global function over the Stiefel manifold. The optimization problem is distributed among a network of agents, where each agent is associated with a local function, and the communication between agents occurs over an undirected connected graph. Since the Stiefel manifold is a non-convex set, a global function is represented as a finite sum of possibly non-convex (but smooth) local functions. The proposed method is free from expensive Riemannian geometric operations such as retractions, exponential maps, and vector transports, thereby reducing the computational complexity required by each agent. To the best of our knowledge, DRCGD is the first decentralized Riemannian conjugate gradient algorithm to achieve global convergence over the Stiefel manifold. △ Less

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

Journal ref: International Conference on Learning Representations, 2024

Model-Assisted Probabilistic Safe Adaptive Control With Meta-Bayesian Learning

Authors: Shengbo Wang, Ke Li, Yin Yang, Yuting Cao, Tingwen Huang, Shi** Wen

Abstract: Breaking safety constraints in control systems can lead to potential risks, resulting in unexpected costs or catastrophic damage. Nevertheless, uncertainty is ubiquitous, even among similar tasks. In this paper, we develop a novel adaptive safe control framework that integrates meta learning, Bayesian models, and control barrier function (CBF) method. Specifically, with the help of CBF method, we… ▽ More Breaking safety constraints in control systems can lead to potential risks, resulting in unexpected costs or catastrophic damage. Nevertheless, uncertainty is ubiquitous, even among similar tasks. In this paper, we develop a novel adaptive safe control framework that integrates meta learning, Bayesian models, and control barrier function (CBF) method. Specifically, with the help of CBF method, we learn the inherent and external uncertainties by a unified adaptive Bayesian linear regression (ABLR) model, which consists of a forward neural network (NN) and a Bayesian output layer. Meta learning techniques are leveraged to pre-train the NN weights and priors of the ABLR model using data collected from historical similar tasks. For a new control task, we refine the meta-learned models using a few samples, and introduce pessimistic confidence bounds into CBF constraints to ensure safe control. Moreover, we provide theoretical criteria to guarantee probabilistic safety during the control processes. To validate our approach, we conduct comparative experiments in various obstacle avoidance scenarios. The results demonstrate that our algorithm significantly improves the Bayesian model-based CBF method, and is capable for efficient safe exploration even with multiple uncertain constraints. △ Less

Submitted 13 July, 2023; v1 submitted 3 July, 2023; originally announced July 2023.

Optimal Differentially Private Model Training with Public Data

Authors: Andrew Lowy, Zeman Li, Tianjian Huang, Meisam Razaviyayn

Abstract: Differential privacy (DP) ensures that training a machine learning model does not leak private data. In practice, we may have access to auxiliary public data that is free of privacy concerns. In this work, we assume access to a given amount of public data and settle the following fundamental open questions: 1. What is the optimal (worst-case) error of a DP model trained over a private data set whi… ▽ More Differential privacy (DP) ensures that training a machine learning model does not leak private data. In practice, we may have access to auxiliary public data that is free of privacy concerns. In this work, we assume access to a given amount of public data and settle the following fundamental open questions: 1. What is the optimal (worst-case) error of a DP model trained over a private data set while having access to side public data? 2. How can we harness public data to improve DP model training in practice? We consider these questions in both the local and central models of pure and approximate DP. To answer the first question, we prove tight (up to log factors) lower and upper bounds that characterize the optimal error rates of three fundamental problems: mean estimation, empirical risk minimization, and stochastic convex optimization. We show that the optimal error rates can be attained (up to log factors) by either discarding private data and training a public model, or treating public data like it is private and using an optimal DP algorithm. To address the second question, we develop novel algorithms that are "even more optimal" (i.e. better constants) than the asymptotically optimal approaches described above. For local DP mean estimation, our algorithm is \ul{optimal including constants}. Empirically, our algorithms show benefits over the state-of-the-art. △ Less

Submitted 13 February, 2024; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: V2 changed the title and added high-dimensional approximate semi-DP lower bounds

Formation Control with Unknown Directions and General Coupling Coefficients

Authors: Zhen Li, Yang Tang, Yongqing Fan, Tingwen Huang

Abstract: Generally, the normal displacement-based formation control has a sensing mode that requires the agent not only to have certain knowledge of its direction, but also to gather its local information characterized by nonnegative coupling coefficients. However, the direction may be unknown in the sensing processes, and the coupling coefficients may also involve negative ones due to some circumstances.… ▽ More Generally, the normal displacement-based formation control has a sensing mode that requires the agent not only to have certain knowledge of its direction, but also to gather its local information characterized by nonnegative coupling coefficients. However, the direction may be unknown in the sensing processes, and the coupling coefficients may also involve negative ones due to some circumstances. This paper introduces these phenomena into a class of displacement-based formation control problem. Then, a geometric approach have been employed to overcome the difficulty of analysis on the introduced phenomena. The purpose of this approach is to construct some convex polytopes for containing the effects caused by the unknown direction, and to analyze the non-convexity by admitting the negative coupling coefficients in a certain range. Under the actions of these phenomena, the constructed polytopes are shown to be invariant in view of the contractive set method. It means that the convergence of formation shape can be guaranteed. Subsequently, an example is given to examine the applicability of derived result. △ Less

Submitted 3 June, 2023; originally announced June 2023.

Prox-DBRO-VR: A Unified Analysis on Decentralized Byzantine-Resilient Composite Stochastic Optimization with Variance Reduction and Non-Asymptotic Convergence Rates

Authors: **hui Hu, Guo Chen, Huaqing Li, Xiaoyu Guo, Tingwen Huang

Abstract: Decentralized stochastic gradient algorithms resolve efficiently large-scale finite-sum optimization problems when all agents over networks are reliable. However, most of these algorithms are not resilient to adverse conditions, such as malfunctioning agents, software bugs, and cyber attacks. This paper aims to handle a class of general composite finite-sum optimization problems over multi-agent c… ▽ More Decentralized stochastic gradient algorithms resolve efficiently large-scale finite-sum optimization problems when all agents over networks are reliable. However, most of these algorithms are not resilient to adverse conditions, such as malfunctioning agents, software bugs, and cyber attacks. This paper aims to handle a class of general composite finite-sum optimization problems over multi-agent cyber-physical systems (CPSs) in the presence of an unknown number of Byzantine agents. Based on the proximal map** method, variance-reduced (VR) techniques, and a norm-penalized approximation strategy, we propose a decentralized Byzantine-resilient and proximal-gradient algorithmic framework, dubbed Prox-DBRO-VR,which achieves an optimization and control goal using only local computations and communications. To reduce asymptotically the variance generated by evaluating the local noisy stochastic gradients, we incorporate two localized VR techniques (SAGA and LSVRG) into Prox-DBRO-VR to design Prox-DBRO-SAGA and Prox-DBRO-LSVRG. By analyzing the contraction relationships among the gradient-learning error, robust consensus condition, and optimality gap in a unified theoretical framework, it is demonstrated that both Prox-DBRO-SAGA and Prox-DBRO-LSVRG,with a well-designed constant (resp., decaying) step-size, converge linearly (resp., sublinearly) inside an error ball around the optimal solution to the original problem under standard assumptions. The trade-off between convergence accuracy and the number of Byzantine agents in both linear and sub-linear cases is also characterized. In simulation, the effectiveness and practicability of the proposed algorithms are manifested via resolving a decentralized sparse machine-learning problem over multi-agent CPSs under various Byzantine attacks. △ Less

Submitted 29 April, 2024; v1 submitted 13 May, 2023; originally announced May 2023.

Comments: 17 pages, 13 figures

Singularity formation for full Ericksen-Leslie system of nematic liquid crystal flows in dimension two

Authors: Geng Chen, Tao Huang, Xiang Xu

Abstract: In this paper, we prove the singularity formation for Poiseuille laminar flow of full Ericksen-Leslie system modeling nematic liquid crystal flows in dimension two. The singularity is due to the geometric effect at the origin. In this paper, we prove the singularity formation for Poiseuille laminar flow of full Ericksen-Leslie system modeling nematic liquid crystal flows in dimension two. The singularity is due to the geometric effect at the origin. △ Less

Submitted 5 May, 2023; originally announced May 2023.

High-order implicit shock tracking boundary conditions for flows with parametrized shocks

Authors: Tianci Huang, Charles Naudet, Matthew J. Zahr

Abstract: High-order implicit shock tracking (fitting) is a class of high-order, optimization-based numerical methods to approximate solutions of conservation laws with non-smooth features by aligning elements of the computational mesh with non-smooth features. This ensures the non-smooth features are perfectly represented by inter-element jumps and high-order basis functions approximate smooth regions of t… ▽ More High-order implicit shock tracking (fitting) is a class of high-order, optimization-based numerical methods to approximate solutions of conservation laws with non-smooth features by aligning elements of the computational mesh with non-smooth features. This ensures the non-smooth features are perfectly represented by inter-element jumps and high-order basis functions approximate smooth regions of the solution without nonlinear stabilization, which leads to accurate approximations on traditionally coarse meshes. In this work, we introduce a robust implicit shock tracking framework specialized for problems with parameter-dependent lead shocks (i.e., shocks separating a farfield condition from the downstream flow), which commonly arise in high-speed aerodynamics and astrophysics applications. After a shock-aligned mesh is produced at one parameter configuration, all elements upstream of the lead shock are removed and the nodes on the lead shock are positioned for new parameter configurations using the implicit shock tracking solver. The proposed framework can be used for most many-query applications involving parametrized lead shocks such as optimization, uncertainty quantification, parameter sweeps, "what-if" scenarios, or parameter-based continuation. We demonstrate the robustness and flexibility of the framework using a one-dimensional space-time Riemann problem, and two- and three-dimensional supersonic and hypersonic benchmark problems. △ Less

Submitted 22 April, 2023; originally announced April 2023.

Comments: 29 pages, 19 figures, 1 table

Efficient Alternating Minimization Solvers for Wyner Multi-View Unsupervised Learning

Authors: Teng-Hui Huang, Hesham El Gamal

Abstract: In this work, we adopt Wyner common information framework for unsupervised multi-view representation learning. Within this framework, we propose two novel formulations that enable the development of computational efficient solvers based on the alternating minimization principle. The first formulation, referred to as the {\em variational form}, enjoys a linearly growing complexity with the number o… ▽ More In this work, we adopt Wyner common information framework for unsupervised multi-view representation learning. Within this framework, we propose two novel formulations that enable the development of computational efficient solvers based on the alternating minimization principle. The first formulation, referred to as the {\em variational form}, enjoys a linearly growing complexity with the number of views and is based on a variational-inference tight surrogate bound coupled with a Lagrangian optimization objective function. The second formulation, i.e., the {\em representational form}, is shown to include known results as special cases. Here, we develop a tailored version from the alternating direction method of multipliers (ADMM) algorithm for solving the resulting non-convex optimization problem. In the two cases, the convergence of the proposed solvers is established in certain relevant regimes. Furthermore, our empirical results demonstrate the effectiveness of the proposed methods as compared with the state-of-the-art solvers. In a nutshell, the proposed solvers offer computational efficiency, theoretical convergence guarantees (local minima), scalable complexity with the number of views, and exceptional accuracy as compared with the state-of-the-art techniques. Our focus here is devoted to the discrete case and our results for continuous distributions are reported elsewhere. △ Less

Submitted 26 April, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

$L^{2}$-Hodge theory on complete almost Kähler manifold and its application

Authors: Teng Huang, Qiang Tan

Abstract: Let $(X,J,ω)$ be a complete $2n$-dimensional almost Kähler manifold. First part of this article, we construct some identities of various Laplacians, generalized Hodge and Serre dualities, a generalized hard Lefschetz duality, and a Lefschetz decomposition, all on the space of $\ker{Δ_{\partial}}\cap\ker{Δ_{\bar{\partial}}}$ on pure bidegree. In the second part, as some applications of those identi… ▽ More Let $(X,J,ω)$ be a complete $2n$-dimensional almost Kähler manifold. First part of this article, we construct some identities of various Laplacians, generalized Hodge and Serre dualities, a generalized hard Lefschetz duality, and a Lefschetz decomposition, all on the space of $\ker{Δ_{\partial}}\cap\ker{Δ_{\bar{\partial}}}$ on pure bidegree. In the second part, as some applications of those identities, we establish some vanishing theorems on the spaces of $L^{2}$-harmonic $(p,q)$-forms on $X$ under some growth assumptions on the Käher form $ω$. We also give some $L^{2}$-estimates to sharpen the vanishing theorems in two specific cases. At last of the article, as an application, we study the topology of the compact almost Kähler manifold with negative sectional curvature. △ Less

Submitted 6 February, 2024; v1 submitted 28 January, 2023; originally announced February 2023.

Comments: 30 pages, Submitted. The main theorems remain unchanged. We remove the section about Theorem 1.7

Long-time dynamics of Ericksen-Leslie system on $\mathbb S^2$

Authors: Tao Huang, Chengyuan Qu

Abstract: In this paper, we study the long-time behavior of full Ericksen-Leslie system modeling the hydrodynamics of nematic liquid crystals between two dimensional unit spheres. Under a weaker assumption for Leslie's coefficients, we give the key energy inequality for the global weak solution. At last, inspired by the conditions on the simplified system, we establish several sufficient conditions which gu… ▽ More In this paper, we study the long-time behavior of full Ericksen-Leslie system modeling the hydrodynamics of nematic liquid crystals between two dimensional unit spheres. Under a weaker assumption for Leslie's coefficients, we give the key energy inequality for the global weak solution. At last, inspired by the conditions on the simplified system, we establish several sufficient conditions which guarantee the uniform convergence of the system in $L^2$ and $H^k$ spaces as time tends to infinity under small initial data. △ Less

Submitted 22 February, 2023; originally announced February 2023.

FedSpeed: Larger Local Interval, Less Communication Round, and Higher Generalization Accuracy

Authors: Yan Sun, Li Shen, Tiansheng Huang, Liang Ding, Dacheng Tao

Abstract: Federated learning is an emerging distributed machine learning framework which jointly trains a global model via a large number of local devices with data privacy protections. Its performance suffers from the non-vanishing biases introduced by the local inconsistent optimal and the rugged client-drifts by the local over-fitting. In this paper, we propose a novel and practical method, FedSpeed, to… ▽ More Federated learning is an emerging distributed machine learning framework which jointly trains a global model via a large number of local devices with data privacy protections. Its performance suffers from the non-vanishing biases introduced by the local inconsistent optimal and the rugged client-drifts by the local over-fitting. In this paper, we propose a novel and practical method, FedSpeed, to alleviate the negative impacts posed by these problems. Concretely, FedSpeed applies the prox-correction term on the current local updates to efficiently reduce the biases introduced by the prox-term, a necessary regularizer to maintain the strong local consistency. Furthermore, FedSpeed merges the vanilla stochastic gradient with a perturbation computed from an extra gradient ascent step in the neighborhood, thereby alleviating the issue of local over-fitting. Our theoretical analysis indicates that the convergence rate is related to both the communication rounds $T$ and local intervals $K$ with a upper bound $\small \mathcal{O}(1/T)$ if setting a proper local interval. Moreover, we conduct extensive experiments on the real-world dataset to demonstrate the efficiency of our proposed FedSpeed, which performs significantly faster and achieves the state-of-the-art (SOTA) performance on the general FL experimental settings than several baselines. Our code is available at \url{https://github.com/woodenchild95/FL-Simulator.git}. △ Less

Submitted 5 July, 2023; v1 submitted 20 February, 2023; originally announced February 2023.

Comments: ICLR 2023

Multi-Metric AutoRec for High Dimensional and Sparse User Behavior Data Prediction

Authors: Cheng Liang, Teng Huang, Yi He, Song Deng, Di Wu, Xin Luo

Abstract: User behavior data produced during interaction with massive items in the significant data era are generally heterogeneous and sparse, leaving the recommender system (RS) a large diversity of underlying patterns to excavate. Deep neural network-based models have reached the state-of-the-art benchmark of the RS owing to their fitting capabilities. However, prior works mainly focus on designing an in… ▽ More User behavior data produced during interaction with massive items in the significant data era are generally heterogeneous and sparse, leaving the recommender system (RS) a large diversity of underlying patterns to excavate. Deep neural network-based models have reached the state-of-the-art benchmark of the RS owing to their fitting capabilities. However, prior works mainly focus on designing an intricate architecture with fixed loss function and regulation. These single-metric models provide limited performance when facing heterogeneous and sparse user behavior data. Motivated by this finding, we propose a multi-metric AutoRec (MMA) based on the representative AutoRec. The idea of the proposed MMA is mainly two-fold: 1) apply different $L_p$-norm on loss function and regularization to form different variant models in different metric spaces, and 2) aggregate these variant models. Thus, the proposed MMA enjoys the multi-metric orientation from a set of dispersed metric spaces, achieving a comprehensive representation of user data. Theoretical studies proved that the proposed MMA could attain performance improvement. The extensive experiment on five real-world datasets proves that MMA can outperform seven other state-of-the-art models in predicting unobserved user behavior data. △ Less

Submitted 20 December, 2022; originally announced December 2022.

Comments: 6 pages, 4 Tables

SurCo: Learning Linear Surrogates For Combinatorial Nonlinear Optimization Problems

Authors: Aaron Ferber, Taoan Huang, Daochen Zha, Martin Schubert, Benoit Steiner, Bistra Dilkina, Yuandong Tian

Abstract: Optimization problems with nonlinear cost functions and combinatorial constraints appear in many real-world applications but remain challenging to solve efficiently compared to their linear counterparts. To bridge this gap, we propose $\textbf{SurCo}$ that learns linear $\underline{\text{Sur}}$rogate costs which can be used in existing $\underline{\text{Co}}$mbinatorial solvers to output good solu… ▽ More Optimization problems with nonlinear cost functions and combinatorial constraints appear in many real-world applications but remain challenging to solve efficiently compared to their linear counterparts. To bridge this gap, we propose $\textbf{SurCo}$ that learns linear $\underline{\text{Sur}}$rogate costs which can be used in existing $\underline{\text{Co}}$mbinatorial solvers to output good solutions to the original nonlinear combinatorial optimization problem. The surrogate costs are learned end-to-end with nonlinear loss by differentiating through the linear surrogate solver, combining the flexibility of gradient-based methods with the structure of linear combinatorial optimization. We propose three $\texttt{SurCo}$ variants: $\texttt{SurCo}-\texttt{zero}$ for individual nonlinear problems, $\texttt{SurCo}-\texttt{prior}$ for problem distributions, and $\texttt{SurCo}-\texttt{hybrid}$ to combine both distribution and problem-specific information. We give theoretical intuition motivating $\texttt{SurCo}$, and evaluate it empirically. Experiments show that $\texttt{SurCo}$ finds better solutions faster than state-of-the-art and domain expert approaches in real-world optimization problems such as embedding table sharding, inverse photonic design, and nonlinear route planning. △ Less

Submitted 19 July, 2023; v1 submitted 22 October, 2022; originally announced October 2022.

Convergence Analysis of Volumetric Stretch Energy Minimization and its Associated Optimal Mass Transport

Authors: Tsung-Ming Huang, Wei-Hung Liao, Wen-Wei Lin, Mei-Heng Yueh, Shing-Tung Yau

Abstract: The volumetric stretch energy has been widely applied to the computation of volume-/mass-preserving parameterizations of simply connected tetrahedral mesh models. However, this approach still lacks theoretical support. In this paper, we provide the theoretical foundation for volumetric stretch energy minimization (VSEM) to compute volume-/mass-preserving parameterizations. In addition, we develop… ▽ More The volumetric stretch energy has been widely applied to the computation of volume-/mass-preserving parameterizations of simply connected tetrahedral mesh models. However, this approach still lacks theoretical support. In this paper, we provide the theoretical foundation for volumetric stretch energy minimization (VSEM) to compute volume-/mass-preserving parameterizations. In addition, we develop an associated efficient VSEM algorithm with guaranteed asymptotic R-linear convergence. Furthermore, based on the VSEM algorithm, we propose a projected gradient method for the computation of the volume/mass-preserving optimal mass transport map with a guaranteed convergence rate of $\mathcal{O}(1/m)$, and combined with Nesterov-based acceleration, the guaranteed convergence rate becomes $\mathcal{O}(1/m^2)$. Numerical experiments are presented to justify the theoretical convergence behavior for various examples drawn from known benchmark models. Moreover, these numerical experiments show the effectiveness and accuracy of the proposed algorithm, particularly in the processing of 3D medical MRI brain images. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Comments: 26 pages

MSC Class: 68U05; 65D18; 52C35; 33F05; 65E10

Finite polynomial cohomology with coefficients

Authors: Ting-Han Huang, Ju-Feng Wu

Abstract: We introduce a theory of finite polynomial cohomology with coefficients in this paper. We prove several basic properties and introduce an Abel-Jacobi map with coefficients. As applications, we use such a cohomology theory to study arithmetics of compact Shimura curves over $\mathbb{Q}$, and simplify proofs of the works of Darmon-Rotger and Bertolini-Darmon-Prasanna. We introduce a theory of finite polynomial cohomology with coefficients in this paper. We prove several basic properties and introduce an Abel-Jacobi map with coefficients. As applications, we use such a cohomology theory to study arithmetics of compact Shimura curves over $\mathbb{Q}$, and simplify proofs of the works of Darmon-Rotger and Bertolini-Darmon-Prasanna. △ Less

Submitted 18 January, 2024; v1 submitted 21 September, 2022; originally announced September 2022.

MSC Class: 11G25; 14F30; 14G22

Fundamental Theory and R-linear Convergence of Stretch Energy Minimization for Equiareal parameterizations

Authors: Tsung-Ming Huang, Wei-Hung Liao, Wen-Wei Lin

Abstract: In this paper, we first extend the finite distortion problem from the bounded domains in $\mathbb{R}^2$ to the closed genus-zero surfaces in $\mathbb{R}^3$ by the stereographic projection. Then we derive a theoretical foundation for spherical equiareal parameterizations between a simply connected closed surface $\mathcal{M}$ and a unit sphere $\mathbb{S}^2$ via minimizing the total area distortion… ▽ More In this paper, we first extend the finite distortion problem from the bounded domains in $\mathbb{R}^2$ to the closed genus-zero surfaces in $\mathbb{R}^3$ by the stereographic projection. Then we derive a theoretical foundation for spherical equiareal parameterizations between a simply connected closed surface $\mathcal{M}$ and a unit sphere $\mathbb{S}^2$ via minimizing the total area distortion energy on $\overline{\mathbb{C}}$. Provided we determine the minimizer of the total area distortion energy, the minimizer composed with the initial conformal map determines the equiareal map between the extended planes. Taking the inverse stereographic projection, we can derive the equiareal map between $\mathcal{M}$ and $\mathbb{S}^2$. The total area distortion energy can be rewritten into the sum of Dirichlet energies associated with the southern and northern hemispheres, respectively, and can be decreased by alternatingly solving the corresponding Laplacian equations. Based on this foundational theory, we develop a modified stretch energy minimization for the computation of the spherical equiareal parameterization between $\mathcal{M}$ and $\mathbb{S}^2$. In addition, under some mild conditions, we verify that our proposed algorithm has asymptotically R-linear convergence or forms a quasi-periodic solution. Numerical experiments on various benchmarks validate the assumptions for convergence always hold and indicate the efficiency, reliability and robustness of the developed modified stretch energy minimization. △ Less

Submitted 28 July, 2022; originally announced July 2022.

MSC Class: 68U05; 65D18; 52C35; 33F05; 65E10

Convergence Analysis of Dirichlet Energy Minimization for Spherical Conformal Parameterizations

Authors: Wei-Hung Liao, Tsung-Ming Huang, Wen-Wei Lin, Mei-Heng Yueh

Abstract: In this paper, we first derive a theoretical basis for spherical conformal parameterizations between a simply connected closed surface $\mathcal{S}$ and a unit sphere $\mathbb{S}^2$ by minimizing the Dirichlet energy on $\overline{\mathbb{C}}$ by stereographic projection. The Dirichlet energy can be rewritten as the sum of the energies associated with the southern and northern hemispheres and can… ▽ More In this paper, we first derive a theoretical basis for spherical conformal parameterizations between a simply connected closed surface $\mathcal{S}$ and a unit sphere $\mathbb{S}^2$ by minimizing the Dirichlet energy on $\overline{\mathbb{C}}$ by stereographic projection. The Dirichlet energy can be rewritten as the sum of the energies associated with the southern and northern hemispheres and can be decreased under an equivalence relation by alternatingly solving the corresponding Laplacian equations. Based on this theoretical foundation, we develop a modified Dirichlet energy minimization with nonequivalence deflation for the computation of the spherical conformal parameterization between $\mathcal{S}$ and $\mathbb{S}^2$. In addition, under some mild conditions, we verify the asymptotically R-linear convergence of the proposed algorithm. Numerical experiments on various benchmarks confirm that the assumptions for convergence always hold and indicate the efficiency, reliability and robustness of the developed modified Dirichlet energy minimization. △ Less

Submitted 30 June, 2022; originally announced June 2022.

Comments: 29 pages

MSC Class: 68U05; 65D18; 52C35; 33F05; 65E10

A Linearly Convergent Douglas-Rachford Splitting Solver for Markovian Information-Theoretic Optimization Problems

Authors: Teng-Hui Huang, Aly El Gamal, Hesham El Gamal

Abstract: In this work, we propose solving the Information bottleneck (IB) and Privacy Funnel (PF) problems with Douglas-Rachford Splitting methods (DRS). We study a general Markovian information-theoretic Lagrangian that includes IB and PF into a unified framework. We prove the linear convergence of the proposed solvers using the Kurdyka-Łojasiewicz inequality. Moreover, our analysis is beyond IB and PF an… ▽ More In this work, we propose solving the Information bottleneck (IB) and Privacy Funnel (PF) problems with Douglas-Rachford Splitting methods (DRS). We study a general Markovian information-theoretic Lagrangian that includes IB and PF into a unified framework. We prove the linear convergence of the proposed solvers using the Kurdyka-Łojasiewicz inequality. Moreover, our analysis is beyond IB and PF and applies to any convex-weakly convex pair objectives. Based on the results, we develop two types of linearly convergent IB solvers, with one improves the performance of convergence over existing solvers while the other can be independent to the relevance-compression trade-off. Moreover, our results apply to PF, yielding a new class of linearly convergent PF solvers. Empirically, the proposed IB solvers IB obtain solutions that are comparable to the Blahut-Arimoto-based benchmark and is convergent for a wider range of the penalty coefficient than existing solvers. For PF, our non-greedy solvers can characterize the privacy-utility trade-off better than the clustering-based greedy solvers. △ Less

Submitted 23 October, 2022; v1 submitted 14 March, 2022; originally announced March 2022.

On singularities of Ericksen-Leslie system in dimension three

Authors: Tao Huang, Peiyong Wang

Abstract: In this paper, we consider the initial and boundary value problem of Ericksen-Leslie system modeling nematic liquid crystal flows in dimension three. Two examples of singularity at finite time are constructed. The first example is constructed in a special axisymmetric class with suitable axisymmetric initial and boundary data, while the second example is constructed for an initial data with small… ▽ More In this paper, we consider the initial and boundary value problem of Ericksen-Leslie system modeling nematic liquid crystal flows in dimension three. Two examples of singularity at finite time are constructed. The first example is constructed in a special axisymmetric class with suitable axisymmetric initial and boundary data, while the second example is constructed for an initial data with small energy but nontrivial topology. A counter example of maximum principle to the system is constructed by utilizing the Poiseuille flow in dimension one. △ Less

Submitted 3 February, 2022; originally announced February 2022.

Comments: arXiv admin note: text overlap with arXiv:1504.01080

On harmonic symmetries for locally conformally Kähler manifolds

Authors: Teng Huang

Abstract: In this article, we study harmonic symmetries on the compact locally conformally Kähler manifold $M$ of $dim_{\mathbb{C}}=n$. The space of harmonic symmetries is a subspace of harmonic differential forms which defined by the kernel of a certain Laplacian-type operator $\square$. We observe that the spaces $\ker(\square)\capΩ^{l}=\{0\}$ for any $|l-n|\geq2$ and… ▽ More In this article, we study harmonic symmetries on the compact locally conformally Kähler manifold $M$ of $dim_{\mathbb{C}}=n$. The space of harmonic symmetries is a subspace of harmonic differential forms which defined by the kernel of a certain Laplacian-type operator $\square$. We observe that the spaces $\ker(\square)\capΩ^{l}=\{0\}$ for any $|l-n|\geq2$ and $\kerΔ_{\bar{\partial}}\cap P^{k,n-1-k}\cap\ker(i_{θ^{\sharp}})\cong\ker(\square^{k,n-1-k})$, $\kerΔ_{\bar{\partial}}\cap P^{k,n-k}\cong\ker(\square^{k,n-k})$. Furthermore, suppose that $M$ is a Vaisman manifold, we prove that (i) $α$ is $(n-1)$-form in $\ker(\square)$ if only if $α$ is a transversally harmonic and transversally effective $\mathcal{V}$-foliate form; (ii) $α$ is a $(p,n-p)$-form in $\ker(\square^{p,n-p})$ if only if there are two forms $β_{1}\in\mathcal{S}^{p-1,n-p}$ and $β_{2}\in\mathcal{S}^{p,n-p-1}$ such that $α=θ^{1,0}\wedgeβ_{1}+θ^{0,1}\wedgeβ_{2}$. △ Less

Submitted 30 January, 2022; originally announced January 2022.

Comments: 19 pages, to appear in Annali di Matematica Pura ed Applicata (1923-)

Efficient Estimation of the Maximal Association between Multiple Predictors and a Survival Outcome

Authors: Tzu-Jung Huang, Alex Luedtke, Ian W. McKeague

Abstract: This paper develops a new approach to post-selection inference for screening high-dimensional predictors of survival outcomes. Post-selection inference for right-censored outcome data has been investigated in the literature, but much remains to be done to make the methods both reliable and computationally-scalable in high-dimensions. Machine learning tools are commonly used to provide {\it predict… ▽ More This paper develops a new approach to post-selection inference for screening high-dimensional predictors of survival outcomes. Post-selection inference for right-censored outcome data has been investigated in the literature, but much remains to be done to make the methods both reliable and computationally-scalable in high-dimensions. Machine learning tools are commonly used to provide {\it predictions} of survival outcomes, but the estimated effect of a selected predictor suffers from confirmation bias unless the selection is taken into account. The new approach involves construction of semi-parametrically efficient estimators of the linear association between the predictors and the survival outcome, which are used to build a test statistic for detecting the presence of an association between any of the predictors and the outcome. Further, a stabilization technique reminiscent of bagging allows a normal calibration for the resulting test statistic, which enables the construction of confidence intervals for the maximal association between predictors and the outcome and also greatly reduces computational cost. Theoretical results show that this testing procedure is valid even when the number of predictors grows superpolynomially with sample size, and our simulations support that this asymptotic guarantee is indicative the performance of the test at moderate sample sizes. The new approach is applied to the problem of identifying patterns in viral gene expression associated with the potency of an antiviral drug. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 102 pages, 7 figures, 4 tables

MSC Class: 62N03; 62G10; 62G20

Spherical Heron triangles and elliptic curves

Authors: Tinghao Huang, Matilde Lalín, Olivier Mila

Abstract: We define spherical Heron triangles (spherical triangles with "rational" side-lengths and angles) and parametrize them via rational points of certain families of elliptic curves. We show that the congruent number problem has infinitely many solutions for most areas in the spherical setting and we find a spherical Heron triangle with rational medians. We also explore the question of spherical trian… ▽ More We define spherical Heron triangles (spherical triangles with "rational" side-lengths and angles) and parametrize them via rational points of certain families of elliptic curves. We show that the congruent number problem has infinitely many solutions for most areas in the spherical setting and we find a spherical Heron triangle with rational medians. We also explore the question of spherical triangles with a single rational median or a single a rational area bisector (median splitting the triangle in half), and discuss various problems involving isosceles spherical triangles. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Comments: 22 pages, 2 figures

Numerical evidence for a Haagerup conformal field theory

Authors: Tzu-Chen Huang, Ying-Hsuan Lin, Kantaro Ohmori, Yuji Tachikawa, Masaki Tezuka

Abstract: We numerically study an anyon chain based on the Haagerup fusion category, and find evidence that it leads in the long-distance limit to a conformal field theory whose central charge is $\sim 2$. Fusion categories generalize the concept of finite group symmetries to non-invertible symmetry operations, and the Haagerup fusion category is the simplest one which comes neither from finite groups nor a… ▽ More We numerically study an anyon chain based on the Haagerup fusion category, and find evidence that it leads in the long-distance limit to a conformal field theory whose central charge is $\sim 2$. Fusion categories generalize the concept of finite group symmetries to non-invertible symmetry operations, and the Haagerup fusion category is the simplest one which comes neither from finite groups nor affine Lie algebras. As such, ours is the first example of conformal field theories which have truly exotic generalized symmetries. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Comments: 4+1 pages, 7 figures; the authors are ordered alphabetically

Report number: CALT-TH-2021-034

Construction of two-dimensional topological field theories with non-invertible symmetries

Authors: Tzu-Chen Huang, Ying-Hsuan Lin, Sahand Seifnashri

Abstract: We construct the defining data of two-dimensional topological field theories (TFTs) enriched by non-invertible symmetries/topological defect lines. Simple formulae for the three-point functions and the lasso two-point functions are derived, and crossing symmetry is proven. The key ingredients are open-to-closed maps and a boundary crossing relation, by which we show that a diagonal basis exists in… ▽ More We construct the defining data of two-dimensional topological field theories (TFTs) enriched by non-invertible symmetries/topological defect lines. Simple formulae for the three-point functions and the lasso two-point functions are derived, and crossing symmetry is proven. The key ingredients are open-to-closed maps and a boundary crossing relation, by which we show that a diagonal basis exists in the defect Hilbert spaces. We then introduce regular TFTs, provide their explicit constructions for the Fibonacci, Ising and Haagerup $\mathcal{H}_3$ fusion categories, and match our formulae with previous bootstrap results. We end by explaining how non-regular TFTs are obtained from regular TFTs via generalized gauging. △ Less

Submitted 28 October, 2021; v1 submitted 6 October, 2021; originally announced October 2021.

Comments: 41+9 pages; v2: minor update

Report number: CALT-TH-2021-035, YITP-SB-2021-19

On second non-HLC degree of closed symplectic manifold

Authors: Teng Huang

Abstract: In this note, we show that for a closed almost-Kähler manifold $(X,J)$ with the almost complex structure $J$ satisfies $\dim\ker P_{J}=b_{2}-1$ the space of de Rham harmonic forms is contained in the space of symplectic-Bott-Chern harmonic forms. In particular, suppose that $X$ is four-dimension, if the self-dual Betti number $b^{+}_{2}=1$, then we prove that the second non-HLC degree measures the… ▽ More In this note, we show that for a closed almost-Kähler manifold $(X,J)$ with the almost complex structure $J$ satisfies $\dim\ker P_{J}=b_{2}-1$ the space of de Rham harmonic forms is contained in the space of symplectic-Bott-Chern harmonic forms. In particular, suppose that $X$ is four-dimension, if the self-dual Betti number $b^{+}_{2}=1$, then we prove that the second non-HLC degree measures the gap between the de Rham and the symplectic-Bott-Chern harmonic forms. △ Less

Submitted 16 August, 2021; originally announced August 2021.

Comments: 10 pages, appeared in Int. J. Math. We have corrected the typos of the title of the original document in IJM

A Decentralized Adaptive Momentum Method for Solving a Class of Min-Max Optimization Problems

Authors: Babak Barazandeh, Tianjian Huang, George Michailidis

Abstract: Min-max saddle point games have recently been intensely studied, due to their wide range of applications, including training Generative Adversarial Networks (GANs). However, most of the recent efforts for solving them are limited to special regimes such as convex-concave games. Further, it is customarily assumed that the underlying optimization problem is solved either by a single machine or in th… ▽ More Min-max saddle point games have recently been intensely studied, due to their wide range of applications, including training Generative Adversarial Networks (GANs). However, most of the recent efforts for solving them are limited to special regimes such as convex-concave games. Further, it is customarily assumed that the underlying optimization problem is solved either by a single machine or in the case of multiple machines connected in centralized fashion, wherein each one communicates with a central node. The latter approach becomes challenging, when the underlying communications network has low bandwidth. In addition, privacy considerations may dictate that certain nodes can communicate with a subset of other nodes. Hence, it is of interest to develop methods that solve min-max games in a decentralized manner. To that end, we develop a decentralized adaptive momentum (ADAM)-type algorithm for solving min-max optimization problem under the condition that the objective function satisfies a Minty Variational Inequality condition, which is a generalization to convex-concave case. The proposed method overcomes shortcomings of recent non-adaptive gradient-based decentralized algorithms for min-max optimization problems that do not perform well in practice and require careful tuning. In this paper, we obtain non-asymptotic rates of convergence of the proposed algorithm (coined DADAM$^3$) for finding a (stochastic) first-order Nash equilibrium point and subsequently evaluate its performance on training GANs. The extensive empirical evaluation shows that DADAM$^3$ outperforms recently developed methods, including decentralized optimistic stochastic gradient for solving such min-max problems. △ Less

Submitted 28 June, 2021; v1 submitted 10 June, 2021; originally announced June 2021.

Journal ref: Signal Processing Volume 189, December 2021, 108245

Hodge theory of holomorphic vector bundle on compact Kähler hyperbolic manifold

Authors: Teng Huang

Abstract: Let $E$ be a holomorphic vector bundle over a compact Kähler manifold $(X,ω)$ with negative sectional curvature $sec\leq -K<0$, $Δ_{E}$ be the Chern connection on $E$. In this article we show that if $C:=|[Λ,iΘ(E)]|\leq c_{n}K$, then $(X,E)$ satisfy a family of Chern number inequalities. The main idea in our proof is study the $L^{2}$ $\bar{\partial}_{\tilde{E}}$-harmonic forms on lifting bundle… ▽ More Let $E$ be a holomorphic vector bundle over a compact Kähler manifold $(X,ω)$ with negative sectional curvature $sec\leq -K<0$, $Δ_{E}$ be the Chern connection on $E$. In this article we show that if $C:=|[Λ,iΘ(E)]|\leq c_{n}K$, then $(X,E)$ satisfy a family of Chern number inequalities. The main idea in our proof is study the $L^{2}$ $\bar{\partial}_{\tilde{E}}$-harmonic forms on lifting bundle $\tilde{E}$ over the universal covering space $\tilde{X}$. We also observe that there is a closely relationship between the eigenvalue of the Laplace-Beltrami operator $Δ_{\bar{\partial}_{\tilde{E}}}$ and the Euler characteristic of $X$. Precisely, if there is a line bundle $L$ on $X$ such that $χ^{p}(X,L^{\otimes m})$ is not constant for some integers $p\in[0,n]$, then the Euler characteristic of $X$ satisfies $(-1)^{n}χ(X)\geq (n+1)+\lfloor\frac{c_{n}K}{2nC} \rfloor$. △ Less

Submitted 30 August, 2021; v1 submitted 5 May, 2021; originally announced May 2021.

Comments: 32 pages, Appeared in IMRN

A robust, high-order implicit shock tracking method for simulation of complex, high-speed flows

Authors: Tianci Huang, Matthew J. Zahr

Abstract: High-order implicit shock tracking is a new class of numerical methods to approximate solutions of conservation laws with non-smooth features. These methods align elements of the computational mesh with non-smooth features to represent them perfectly, allowing high-order basis functions to approximate smooth regions of the solution without the need for nonlinear stabilization, which leads to accur… ▽ More High-order implicit shock tracking is a new class of numerical methods to approximate solutions of conservation laws with non-smooth features. These methods align elements of the computational mesh with non-smooth features to represent them perfectly, allowing high-order basis functions to approximate smooth regions of the solution without the need for nonlinear stabilization, which leads to accurate approximations on traditionally coarse meshes. The hallmark of these methods is the underlying optimization formulation whose solution is a feature-aligned mesh and the corresponding high-order approximation to the flow; the key challenge is robustly solving the central optimization problem. In this work, we develop a robust optimization solver for high-order implicit shock tracking methods so they can be reliably used to simulate complex, high-speed, compressible flows in multiple dimensions. The proposed method integrates practical robustness measures into a sequential quadratic programming method, including dimension- and order-independent simplex element collapses, mesh smoothing, and element-wise solution re-initialization, which prove to be necessary to reliably track complex discontinuity surfaces, such as curved and reflecting shocks, shock formation, and shock-shock interaction. A series of nine numerical experiments -- including two- and three-dimensional compressible flows with complex discontinuity surfaces -- are used to demonstrate: 1) the robustness of the solver, 2) the meshes produced are high-quality and track continuous, non-smooth features in addition to discontinuities, 3) the method achieves the optimal convergence rate of the underlying discretization even for flows containing discontinuities, and 4) the method produces highly accurate solutions on extremely coarse meshes relative to approaches based on shock capturing. △ Less

Submitted 13 January, 2022; v1 submitted 30 April, 2021; originally announced May 2021.

Comments: 45 pages, 37 figures, 4 tables

QROSS: QUBO Relaxation Parameter Optimisation via Learning Solver Surrogates

Authors: Tian Huang, Siong Thye Goh, Sabrish Gopalakrishnan, Tao Luo, Qianxiao Li, Hoong Chuin Lau

Abstract: An increasingly popular method for solving a constrained combinatorial optimisation problem is to first convert it into a quadratic unconstrained binary optimisation (QUBO) problem, and solve it using a standard QUBO solver. However, this relaxation introduces hyper-parameters that balance the objective and penalty terms for the constraints, and their chosen values significantly impact performance… ▽ More An increasingly popular method for solving a constrained combinatorial optimisation problem is to first convert it into a quadratic unconstrained binary optimisation (QUBO) problem, and solve it using a standard QUBO solver. However, this relaxation introduces hyper-parameters that balance the objective and penalty terms for the constraints, and their chosen values significantly impact performance. Hence, tuning these parameters is an important problem. Existing generic hyper-parameter tuning methods require multiple expensive calls to a QUBO solver, making them impractical for performance critical applications when repeated solutions of similar combinatorial optimisation problems are required. In this paper, we propose the QROSS method, in which we build surrogate models of QUBO solvers via learning from solver data on a collection of instances of a problem. In this way, we are able capture the common structure of the instances and their interactions with the solver, and produce good choices of penalty parameters with fewer number of calls to the QUBO solver. We take the Traveling Salesman Problem (TSP) as a case study, where we demonstrate that our method can find better solutions with fewer calls to QUBO solver compared with conventional hyper-parameter tuning techniques. Moreover, with simple adaptation methods, QROSS is shown to generalise well to out-of-distribution datasets and different types of QUBO solvers. △ Less

Submitted 19 March, 2021; originally announced March 2021.

Comments: 17 pages

MSC Class: 90C27 (Primary) 81P68; 68T07 (Secondary) ACM Class: G.1.6; I.2.8

On $L^{2}$-harmonic forms of complete almost Kähler manifold

Authors: Teng Huang

Abstract: In this article, we study the $L^{2}$-harmonic forms on the complete $2n$-dimensional almost Käher manifold $X$. We observe that the $L^{2}$-harmonic forms can decomposition into Lefschetz powers of primitive forms. Therefore we can extend vanishing theorems of $d$(bounded) (resp. $d$(sublinear)) Kähler manifold proved by Gromov (resp. Cao-Xavier, Jost-Zuo) to almost Kählerian case, that is, the s… ▽ More In this article, we study the $L^{2}$-harmonic forms on the complete $2n$-dimensional almost Käher manifold $X$. We observe that the $L^{2}$-harmonic forms can decomposition into Lefschetz powers of primitive forms. Therefore we can extend vanishing theorems of $d$(bounded) (resp. $d$(sublinear)) Kähler manifold proved by Gromov (resp. Cao-Xavier, Jost-Zuo) to almost Kählerian case, that is, the spaces of all harmonic $(p,q)$-forms on $X$ vanishing unless $p+q=n$. We also give a lower bound on the spectra of the Laplace operator to sharpen the Lefschetz vanishing theorem on $d$(bounded) case. △ Less

Submitted 3 August, 2021; v1 submitted 16 March, 2021; originally announced March 2021.

Comments: 18 pages, accepted in J. Geom. Anal

On Euler number of symplectic hyperbolic manifold

Authors: Teng Huang

Abstract: In this article, we introduce a class of closed $2n$-dimensional almost Kähler manifold $X$ which called the special symplectic hyperbolic manifold. Those manifolds include Kähler hyperbolic manifolds. We study the spaces of $L^{2}$-harmonic forms on the universal covering space of $X$. We then prove the Singer conjecture on special symplectic hyperbolic case. As an application, we can show that t… ▽ More In this article, we introduce a class of closed $2n$-dimensional almost Kähler manifold $X$ which called the special symplectic hyperbolic manifold. Those manifolds include Kähler hyperbolic manifolds. We study the spaces of $L^{2}$-harmonic forms on the universal covering space of $X$. We then prove the Singer conjecture on special symplectic hyperbolic case. As an application, we can show that the Euler number of a special symplectic manifold satisfies the inequality $(-1)^{n}χ(X)>0$. △ Less

Submitted 5 December, 2023; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: 26 pages, appear in Adv. Math

Topological Field Theory with Haagerup Symmetry

Authors: Tzu-Chen Huang, Ying-Hsuan Lin

Abstract: We construct a (1+1)$d$ topological field theory (TFT) whose topological defect lines (TDLs) realize the transparent Haagerup $\mathcal{H}_3$ fusion category. This TFT has six vacua, and each of the three non-invertible simple TDLs hosts three defect operators, giving rise to a total of 15 point-like operators. The TFT data, including the three-point coefficients and lasso diagrams, are determined… ▽ More We construct a (1+1)$d$ topological field theory (TFT) whose topological defect lines (TDLs) realize the transparent Haagerup $\mathcal{H}_3$ fusion category. This TFT has six vacua, and each of the three non-invertible simple TDLs hosts three defect operators, giving rise to a total of 15 point-like operators. The TFT data, including the three-point coefficients and lasso diagrams, are determined by solving all the sphere four-point crossing equations and torus one-point modular invariance equations. We further verify that the Cardy states furnish a non-negative integer matrix representation under TDL fusion. While many of the constraints we derive are not limited to the this particular TFT with six vacua, we leave open the construction of TFTs with two or four vacua. Finally, TFTs realizing the Haagerup $\mathcal{H}_1$ and $\mathcal{H}_2$ fusion categories can be obtained by gauging algebra objects. This note makes a modest offering in our pursuit of exotica and the quest for their eventual conformity. △ Less

Submitted 28 April, 2021; v1 submitted 10 February, 2021; originally announced February 2021.

Comments: 41+11 pages, 1 figure, 3 tables; v2: corrected statements about the literature, revised Appendix A

Report number: CALT-TH-2021-006

Bifurcation Analysis of the Eigenstructure of the Discrete Single-curl Operator in Three-dimensional Maxwell's Equations with Pasteur Media

Authors: Xin Liang, Zhen-Chen Guo, Tsung-Ming Huang, Tiexiang Li, Wen-Wei Lin

Abstract: This paper focuses on studying the bifurcation analysis of the eigenstructure of the $γ$-parameterized generalized eigenvalue problem ($γ$-GEP) arising in three-dimensional (3D) source-free Maxwell's equations with Pasteur media, where $γ$ is the magnetoelectric chirality parameter. For the weakly coupled case, namely, $γ< γ_{*} \equiv$ critical value, the $γ$-GEP is positive definite, which has b… ▽ More This paper focuses on studying the bifurcation analysis of the eigenstructure of the $γ$-parameterized generalized eigenvalue problem ($γ$-GEP) arising in three-dimensional (3D) source-free Maxwell's equations with Pasteur media, where $γ$ is the magnetoelectric chirality parameter. For the weakly coupled case, namely, $γ< γ_{*} \equiv$ critical value, the $γ$-GEP is positive definite, which has been well-studied by Chern et.\ al, 2015. For the strongly coupled case, namely, $γ> γ_{*}$, the $γ$-GEP is no longer positive definite, introducing a totally different and complicated structure. For the critical strongly coupled case, numerical computations for electromagnetic fields have been presented by Huang et.\ al, 2018. In this paper, we build several theoretical results on the eigenstructure behavior of the $γ$-GEPs. We prove that the $γ$-GEP is regular for any $γ> 0$, and the $γ$-GEP has $2 \times 2$ Jordan blocks of infinite eigenvalues at the critical value $γ_{*}$. Then, we show that the $2 \times 2$ Jordan block will split into a complex conjugate eigenvalue pair that rapidly goes down and up and then collides at some real point near the origin. Next, it will bifurcate into two real eigenvalues, with one moving toward the left and the other to the right along the real axis as $γ$ increases. A newly formed state whose energy is smaller than the ground state can be created as $γ$ is larger than the critical value. This stunning feature of the physical phenomenon would be very helpful in practical applications. Therefore, the purpose of this paper is to clarify the corresponding theoretical eigenstructure of 3D Maxwell's equations with Pasteur media. △ Less

Submitted 1 December, 2020; originally announced December 2020.

Comments: 26 pages, 5 figures

MSC Class: Primary: 15A18; 15A22; Secondary 65F15

Journal ref: IMA J. Numer. Anal., Volume 424, Issue 4, Pages 3735-3770, 2022

Firefighting on the Hexagonal Grid and on Infinite Trees

Authors: Alexander Dean, Sean English, Tongyun Huang, Robert A. Krueger, Andy Lee, Mose Mizrahi, Casey Wheaton-Werle

Abstract: The firefighter problem with $k$ firefighters on an infinite graph $G$ is an iterative graph process, defined as follows: Suppose a fire breaks out at a given vertex $v\in V(G)$ on Turn 1. On each subsequent even turn, $k$ firefighters protect $k$ vertices that are not on fire, and on each subsequent odd turn, any vertex that is on fire spreads the fire to all adjacent unprotected vertices. The fi… ▽ More The firefighter problem with $k$ firefighters on an infinite graph $G$ is an iterative graph process, defined as follows: Suppose a fire breaks out at a given vertex $v\in V(G)$ on Turn 1. On each subsequent even turn, $k$ firefighters protect $k$ vertices that are not on fire, and on each subsequent odd turn, any vertex that is on fire spreads the fire to all adjacent unprotected vertices. The firefighters' goal is to eventually stop the spread of the fire. If there exists a strategy for $k$ firefighters to eventually stop the spread of the fire, then we say $G$ is $k$-containable. We consider the firefighter problem on the hexagonal grid, which is the graph whose vertices and edges are exactly the vertices and edges of a regular hexagonal tiling of the plane. It is not known if the hexagonal grid is $1$-containable. In arXiv:1305.7076 [math.CO], it was shown that if the firefighters have one firefighter per turn and one extra firefighter on two turns, the firefighters can contain the fire. We improve on this result by showing that even with only one extra firefighter on one turn, the firefighters can still contain the fire. In addition, we explore $k$-containability for birth sequence trees, which are infinite rooted trees that have the property that every vertex at the same level has the same degree. A birth sequence forest is an infinite forest, each component of which is a birth sequence tree. For birth sequence trees and forests, the fire always starts at the root of each tree. We provide a pseudopolynomial time algorithm to decide if all the vertices at a fixed level can be protected or not. △ Less

Submitted 6 June, 2021; v1 submitted 10 October, 2020; originally announced October 2020.

Comments: 17 pages, 4 figures

MSC Class: 05C57; 05C63

Alternating Direction Method of Multipliers for Quantization

Authors: Tianjian Huang, Prajwal Singhania, Maziar Sanjabi, Pabitra Mitra, Meisam Razaviyayn

Abstract: Quantization of the parameters of machine learning models, such as deep neural networks, requires solving constrained optimization problems, where the constraint set is formed by the Cartesian product of many simple discrete sets. For such optimization problems, we study the performance of the Alternating Direction Method of Multipliers for Quantization ($\texttt{ADMM-Q}$) algorithm, which is a va… ▽ More Quantization of the parameters of machine learning models, such as deep neural networks, requires solving constrained optimization problems, where the constraint set is formed by the Cartesian product of many simple discrete sets. For such optimization problems, we study the performance of the Alternating Direction Method of Multipliers for Quantization ($\texttt{ADMM-Q}$) algorithm, which is a variant of the widely-used ADMM method applied to our discrete optimization problem. We establish the convergence of the iterates of $\texttt{ADMM-Q}$ to certain $\textit{stationary points}$. To the best of our knowledge, this is the first analysis of an ADMM-type method for problems with discrete variables/constraints. Based on our theoretical insights, we develop a few variants of $\texttt{ADMM-Q}$ that can handle inexact update rules, and have improved performance via the use of "soft projection" and "injecting randomness to the algorithm". We empirically evaluate the efficacy of our proposed approaches. △ Less

Submitted 1 March, 2021; v1 submitted 7 September, 2020; originally announced September 2020.

$L^{2}$-hard Lefschetz complete symplectic manifolds

Authors: Teng Huang, Qiang Tan

Abstract: For a complete symplectic manifold $M^{2n}$, we define the $L^{2}$-hard Lefschetz property on $M^{2n}$. We also prove that the complete symplectic manifold $M^{2n}$ satisfies $L^{2}$-hard Lefschetz property if and only if every class of $L^{2}$-harmonic forms contains a $L^{2}$ symplectic harmonic form. As an application, we get if $M^{2n}$ is a closed symplectic parabolic manifold which satisfies… ▽ More For a complete symplectic manifold $M^{2n}$, we define the $L^{2}$-hard Lefschetz property on $M^{2n}$. We also prove that the complete symplectic manifold $M^{2n}$ satisfies $L^{2}$-hard Lefschetz property if and only if every class of $L^{2}$-harmonic forms contains a $L^{2}$ symplectic harmonic form. As an application, we get if $M^{2n}$ is a closed symplectic parabolic manifold which satisfies the hard Lefschetz property, then its Euler characteristic satisfies the inequality $(-1)^{n}χ(M^{2n})\geq0$. △ Less

Submitted 13 July, 2020; originally announced August 2020.

Comments: Published in Ann. Mat. Pura Appl

Unified statistical inference for a novel nonlinear dynamic functional/longitudinal data model

Authors: Lixia Hu, Tao Huang, **hong You

Abstract: In light of recent work studying massive functional/longitudinal data, such as the resulting data from the COVID-19 pandemic, we propose a novel functional/longitudinal data model which is a combination of the popular varying coefficient (VC) model and additive model. We call it Semi-VCAM in which the response could be a functional/longitudinal variable, and the explanatory variables could be a mi… ▽ More In light of recent work studying massive functional/longitudinal data, such as the resulting data from the COVID-19 pandemic, we propose a novel functional/longitudinal data model which is a combination of the popular varying coefficient (VC) model and additive model. We call it Semi-VCAM in which the response could be a functional/longitudinal variable, and the explanatory variables could be a mixture of functional/longitudinal and scalar variables. Notably some of the scalar variables could be categorical variables as well. The Semi-VCAM simultaneously allows for both substantial flexibility and the maintaining of one-dimensional rates of convergence. A local linear smoothing with the aid of an initial B spline series approximation is developed to estimate the unknown functional effects in the model. To avoid the subjective choice between the sparse and dense cases of the data, we establish the asymptotic theories of the resultant Pilot Estimation Based Local Linear Estimators (PEBLLE) on a unified framework of sparse, dense and ultra-dense cases of the data. Moreover, we construct unified consistent tests to justify whether a parsimony submodel is sufficient or not. These test methods also avoid the subjective choice between the sparse, dense and ultra dense cases of the data. Extensive Monte Carlo simulation studies investigating the finite sample performance of the proposed methodologies confirm our asymptotic results. We further illustrate our methodologies via analyzing the COVID-19 data from China and the CD4 data. △ Less

Submitted 3 July, 2020; originally announced July 2020.

Comments: 29 pages; 4 figures

The $F$-Symbols for Transparent Haagerup-Izumi Categories with $G = \mathbb{Z}_{2n+1}$

Authors: Tzu-Chen Huang, Ying-Hsuan Lin

Abstract: A fusion category is called transparent if the associator involving any invertible object is the identity map. For the Haagerup-Izumi fusion rings with $G = \mathbb{Z}_{2n+1}$ (the $\mathbb{Z}_3$ case is the Haagerup fusion ring with six simple objects), the transparent ansatz reduces the number of independent $F$-symbols from order $\mathcal{O}(n^6)$ to $\mathcal{O}(n^2)$, rendering the pentagon… ▽ More A fusion category is called transparent if the associator involving any invertible object is the identity map. For the Haagerup-Izumi fusion rings with $G = \mathbb{Z}_{2n+1}$ (the $\mathbb{Z}_3$ case is the Haagerup fusion ring with six simple objects), the transparent ansatz reduces the number of independent $F$-symbols from order $\mathcal{O}(n^6)$ to $\mathcal{O}(n^2)$, rendering the pentagon identity practically solvable. Transparent Haagerup-Izumi fusion categories are thereby constructively classified up to $G = \mathbb{Z}_9$, recovering all known Haagerup-Izumi fusion categories to this order, and producing new ones. Transparent Haagerup-Izumi fusion categories additionally satisfying $S_4$ tetrahedral invariance are further classified up to $G = \mathbb{Z}_{15}$, and the explicit $F$-symbols for the unitary ones, including the Haagerup $\mathcal{H}_3$ fusion category, are compactly presented. The $F$-symbols for the Haagerup $\mathcal{H}_2$ fusion category are also presented. Going beyond, the transparent ansatz offers a viable course towards constructing novel fusion categories for new fusion rings. △ Less

Submitted 30 September, 2021; v1 submitted 1 July, 2020; originally announced July 2020.

Comments: 25+9 pages, 1 table; v2: improved exposition; v3: adopted unitary gauge for pseudo-unitary fusion categories

Report number: CALT-TH-2020-018

Existence of global weak solutions to the compressible Ericksen-Leslie system in dimension one

Authors: Huajun Gong, Tao Huang, Changyou Wang

Abstract: We consider the compressible Ericksen-Leslie system of liquid crystal flows in one dimension. A global weak solution is constructed with initial density $ρ_0\geq 0$ and $ρ_0\in L^γ$ for $γ>1$. We consider the compressible Ericksen-Leslie system of liquid crystal flows in one dimension. A global weak solution is constructed with initial density $ρ_0\geq 0$ and $ρ_0\in L^γ$ for $γ>1$. △ Less

Submitted 16 June, 2020; originally announced June 2020.

Non-convex Min-Max Optimization: Applications, Challenges, and Recent Theoretical Advances

Authors: Meisam Razaviyayn, Tianjian Huang, Songtao Lu, Maher Nouiehed, Maziar Sanjabi, Mingyi Hong

Abstract: The min-max optimization problem, also known as the saddle point problem, is a classical optimization problem which is also studied in the context of zero-sum games. Given a class of objective functions, the goal is to find a value for the argument which leads to a small objective value even for the worst case function in the given class. Min-max optimization problems have recently become very pop… ▽ More The min-max optimization problem, also known as the saddle point problem, is a classical optimization problem which is also studied in the context of zero-sum games. Given a class of objective functions, the goal is to find a value for the argument which leads to a small objective value even for the worst case function in the given class. Min-max optimization problems have recently become very popular in a wide range of signal and data processing applications such as fair beamforming, training generative adversarial networks (GANs), and robust machine learning, to just name a few. The overarching goal of this article is to provide a survey of recent advances for an important subclass of min-max problem, where the minimization and maximization problems can be non-convex and/or non-concave. In particular, we will first present a number of applications to showcase the importance of such min-max problems; then we discuss key theoretical challenges, and provide a selective review of some exciting recent theoretical and algorithmic advances in tackling non-convex min-max problems. Finally, we will point out open questions and future research directions. △ Less

Submitted 18 August, 2020; v1 submitted 15 June, 2020; originally announced June 2020.

Journal ref: IEEE Signal Processing Magazine (Volume: 37, Issue: 5, Sept. 2020)