-
Coding with the transverse intersection algebra
Authors:
Ofir Aharoni,
Daniel An,
Alice Kwon,
Ruth Lawrence,
Dennis Sullivan
Abstract:
The concept of a fluid algebra was introduced by Sullivan over a decade ago as an algebraic construct which contains everything necessary in order to write down a form of the Euler equation, as an ODE whose solutions have invariant quantities which can be identified as energy and enthalpy. The natural (infinite-dimensional) fluid algebra on co-exact 1-forms on a three-dimensional closed oriented R…
▽ More
The concept of a fluid algebra was introduced by Sullivan over a decade ago as an algebraic construct which contains everything necessary in order to write down a form of the Euler equation, as an ODE whose solutions have invariant quantities which can be identified as energy and enthalpy. The natural (infinite-dimensional) fluid algebra on co-exact 1-forms on a three-dimensional closed oriented Riemannian manifold leads to an Euler equation which is equivalent to the classical Euler equation which describes non-viscous fluid flow. In this paper, the recently introduced transverse intersection algebra associated to a cubic lattice of An-Lawrence-Sullivan is used to construct a finite-dimensional fluid algebra on a cubic lattice (with odd periods). The corresponding Euler equation is an ODE which it is proposed is a `good' discretisation of the continuum Euler equation. This paper contains all the explicit details necessary to implement numerically the corresponding Euler equation. Such an implementation has been carried out by our team and results are pending.
△ Less
Submitted 8 April, 2025;
originally announced April 2025.
-
Infinite-order combinatorial Transverse Intersection Algebra TIA via the probabilistic wiggling model
Authors:
Daniel An,
Ruth Lawrence,
Dennis Sullivan
Abstract:
This paper constructs a graded-commutative, associative, differential Transverse Intersection Algebra TIA {on the torus (in any dimension) with its cubical decomposition by using a probabilistic wiggling interpretation. This structure agrees with the combinatorial graded intersection algebra (graded by codimension) defined by transversality on pairs of `cuboidal chains' which are in general positi…
▽ More
This paper constructs a graded-commutative, associative, differential Transverse Intersection Algebra TIA {on the torus (in any dimension) with its cubical decomposition by using a probabilistic wiggling interpretation. This structure agrees with the combinatorial graded intersection algebra (graded by codimension) defined by transversality on pairs of `cuboidal chains' which are in general position. In order to define an intersection of cuboids which are not necessarily in general position, the boundaries of the cuboids are considered to be `wiggled' by a distance small compared with the lattice parameter, according to a suitable probability distribution and then almost always the wiggled cuboids will be in general position, producing a transverse intersection with new probability distributions on the bounding sides. In order to make a closed theory, each geometric cuboid appears in an infinite number of forms with different probability distributions on the wiggled boundaries. The resulting structure is commutative, associative and satisfies the product rule with respect to the natural boundary operator deduced from the geometric boundary of the wiggled cuboids.
This TIA can be viewed as a combinatorial analogue of differential forms in which the continuity of space has been replaced by a lattice with corrections to infinite order. See the comparison to Whitney forms at the end of the paper.
For application to fluid algebra we also consider the same construction starting with the $2h$ cubical complex instead of the $h$ cubical complex. The adjoined higher order elements will be identical to those required in the $h$ cubical complex.
The $d$-dimensional theory is a tensor product of $d$ copies of the one-dimensional theory.
△ Less
Submitted 18 March, 2025;
originally announced April 2025.
-
Optimal interpolation-based coordinate descent method for parameterized quantum circuits
Authors:
Zhijian Lai,
Jiang Hu,
Taehee Ko,
Jiayuan Wu,
Dong An
Abstract:
Parameterized quantum circuits appear ubiquitously in the design of many quantum algorithms, such as variational quantum algorithms, where the optimization of parameters is crucial for algorithmic efficiency. In this work, we propose an Optimal Interpolation-based Coordinate Descent (OICD) method to solve the parameter optimization problem that arises in parameterized quantum circuits. Our OICD me…
▽ More
Parameterized quantum circuits appear ubiquitously in the design of many quantum algorithms, such as variational quantum algorithms, where the optimization of parameters is crucial for algorithmic efficiency. In this work, we propose an Optimal Interpolation-based Coordinate Descent (OICD) method to solve the parameter optimization problem that arises in parameterized quantum circuits. Our OICD method employs an interpolation technique to approximate the cost function of a parameterized quantum circuit, effectively recovering its trigonometric characteristics, then performs an argmin update on a single parameter per iteration on a classical computer. We determine the optimal interpolation nodes in our OICD method to mitigate the impact of statistical errors from quantum measurements. Additionally, for the case of equidistant frequencies -- commonly encountered when the Hermitian generators are Pauli operators -- we show that the optimal interpolation nodes are equidistant nodes, and our OICD method can simultaneously minimize the mean squared error, the condition number of the interpolation matrix, and the average variance of derivatives of the cost function. We perform numerical simulations of our OICD method using Qiskit Aer and test its performance on the maxcut problem, the transverse field Ising model, and the XXZ model. Numerical results imply that our OICD method is more efficient than the commonly used stochastic gradient descent method and the existing random coordinate descent method.
△ Less
Submitted 6 March, 2025;
originally announced March 2025.
-
On approximate Pareto solutions in nonsmooth interval-valued multiobjective optimization with data uncertainty in constraints
Authors:
Vu Hong Quan,
Duong Thi Viet An,
Nguyen Van Tuyen
Abstract:
This paper deals with approximate Pareto solutions of a nonsmooth interval-valued multiobjective optimization problem with data uncertainty in constraints. We first introduce some kinds of approximate Pareto solutions for the robust counterpart (RMP) of the problem in question by considering the lower-upper interval order relation including: (almost, almost regular) $\mathcal{E}$-Pareto solution a…
▽ More
This paper deals with approximate Pareto solutions of a nonsmooth interval-valued multiobjective optimization problem with data uncertainty in constraints. We first introduce some kinds of approximate Pareto solutions for the robust counterpart (RMP) of the problem in question by considering the lower-upper interval order relation including: (almost, almost regular) $\mathcal{E}$-Pareto solution and (almost, almost regular) $\mathcal{E}$-quasi Pareto solution. By using a scalar penalty function, we obtain a result on the existence of an almost regular $\mathcal{E}$-Pareto solution of (RMP) that satisfies the Karush--Kuhn--Tucker necessary optimality condition up to a given precision. We then establish sufficient conditions and Wolfe-type $\mathcal{E}$-duality relations for approximate Pareto solutions of (RMP) under the assumption of generalized convexity. In addition, we present a dual multiobjective problem to the primal one via the $\mathcal{E}$-interval-valued vector Lagrangian function and examine duality relations.
△ Less
Submitted 22 February, 2025;
originally announced February 2025.
-
The combinatorial transverse intersection algebra
Authors:
Daniel An,
Ruth Lawrence,
Dennis Sullivan
Abstract:
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition:
Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by transversality on the usual chains which are in general position. This, (with extra elements added) on the entire $h$-cubulated three torus whose differential satisfie…
▽ More
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition:
Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by transversality on the usual chains which are in general position. This, (with extra elements added) on the entire $h$-cubulated three torus whose differential satisfies the product rule and which agrees with the set theoretic intersection product appropriately weighted. The construction is characterized given these properties (see Comprehensive Theorem below). The challenge is to minimally adjoin infinitesimal elements when the geometric elements have glancing but transversal intersections weighted in such a way that the associativity (and commutativity) is not destroyed and the Leibniz product rule for the boundary operator is restored.
Secondly, there is a $2h$ subcomplex introduced in Sullivan arXiv:1811.00086 and discussed further in Lawrence-Sullivan-Ranade arXiv:2011.07505 which shares the above good properties when ideal elements are added AND which also has a star bijection between degree zero and degree three and between one and degree two. This is introduced for the purposes of computations of 3D fluid motion, incompressible, with or without viscosity. For the latter purposes one only needs the good properties in dimensions zero, one and two, where the situation is a bit better.
It is a new feature that the three good properties are respected by the crumbling chain mappings from coarse to finer subdivisions. The star operator does not cooperate with crumbling and is the sole reason in this discrete approximation for the Kolmogorov cascade to finer scales.
△ Less
Submitted 9 February, 2025;
originally announced February 2025.
-
On second-order optimality conditions for $C^{1,1}$ optimization problems via Lagrangian functions
Authors:
Duong Thi Viet An,
Nguyen Van Tuyen
Abstract:
This paper focuses on optimality conditions for $C^{1,1}$-smooth optimization problems subject to inequality and equality constraints. By employing the concept of limiting (Mordukhovich) second-order subdifferentials to the Lagrangian function associated with the problem, we derive new second-order optimality conditions for the considered problem. Applications for multiobjective optimization probl…
▽ More
This paper focuses on optimality conditions for $C^{1,1}$-smooth optimization problems subject to inequality and equality constraints. By employing the concept of limiting (Mordukhovich) second-order subdifferentials to the Lagrangian function associated with the problem, we derive new second-order optimality conditions for the considered problem. Applications for multiobjective optimization problems are studied as well. These results extend and refine existing results in the literature.
△ Less
Submitted 27 December, 2024;
originally announced December 2024.
-
On Differential Stability of a Class of Convex Optimization Problems
Authors:
Nguyen Dong Yen,
Duong Thi Viet An,
Vu Thi Huong,
Nguyen Ngoc Luan
Abstract:
The recent results of An, Luan, and Yen [Differential stability in convex optimization via generalized polyhedrality. Vietnam J. Math. https://-doi.org/10.1007/s10013-024-00721-y] on differential stability of parametric optimization problems described by proper generalized polyhedral convex functions and generalized polyhedral convex set-valued maps are analyzed, developed, and sharpened in this p…
▽ More
The recent results of An, Luan, and Yen [Differential stability in convex optimization via generalized polyhedrality. Vietnam J. Math. https://-doi.org/10.1007/s10013-024-00721-y] on differential stability of parametric optimization problems described by proper generalized polyhedral convex functions and generalized polyhedral convex set-valued maps are analyzed, developed, and sharpened in this paper. Namely, keeping the Hausdorff locally convex topological vector spaces setting, we clarify the relationships between the upper estimates and lower estimates for the subdifferential and the singular subdifferential of the optimal value function. As shown by an example, the lower estimates can be strict. But, surprisingly, each upper estimate is an equality. Thus, exact formulas for the subdifferential and the singular subdifferential under consideration are obtained. In addition, it is proved that each subdifferential upper estimate coincides with the corresponding lower estimate if either the objective function or the constraint set-valued map is polyhedral convex.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
-
Laplace transform based quantum eigenvalue transformation via linear combination of Hamiltonian simulation
Authors:
Dong An,
Andrew M. Childs,
Lin Lin,
Lexing Ying
Abstract:
Eigenvalue transformations, which include solving time-dependent differential equations as a special case, have a wide range of applications in scientific and engineering computation. While quantum algorithms for singular value transformations are well studied, eigenvalue transformations are distinct, especially for non-normal matrices. We propose an efficient quantum algorithm for performing a cl…
▽ More
Eigenvalue transformations, which include solving time-dependent differential equations as a special case, have a wide range of applications in scientific and engineering computation. While quantum algorithms for singular value transformations are well studied, eigenvalue transformations are distinct, especially for non-normal matrices. We propose an efficient quantum algorithm for performing a class of eigenvalue transformations that can be expressed as a certain type of matrix Laplace transformation. This allows us to significantly extend the recently developed linear combination of Hamiltonian simulation (LCHS) method [An, Liu, Lin, Phys. Rev. Lett. 131, 150603, 2023; An, Childs, Lin, arXiv:2312.03916] to represent a wider class of eigenvalue transformations, such as powers of the matrix inverse, $A^{-k}$, and the exponential of the matrix inverse, $e^{-A^{-1}}$. The latter can be interpreted as the solution of a mass-matrix differential equation of the form $A u'(t)=-u(t)$. We demonstrate that our eigenvalue transformation approach can solve this problem without explicitly inverting $A$, reducing the computational complexity.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
Fast-forwarding quantum algorithms for linear dissipative differential equations
Authors:
Dong An,
Akwum Onwunta,
Gengzhi Yang
Abstract:
We establish improved complexity estimates of quantum algorithms for linear dissipative ordinary differential equations (ODEs) and show that the time dependence can be fast-forwarded to be sub-linear. Specifically, we show that a quantum algorithm based on truncated Dyson series can prepare history states of dissipative ODEs up to time $T$ with cost…
▽ More
We establish improved complexity estimates of quantum algorithms for linear dissipative ordinary differential equations (ODEs) and show that the time dependence can be fast-forwarded to be sub-linear. Specifically, we show that a quantum algorithm based on truncated Dyson series can prepare history states of dissipative ODEs up to time $T$ with cost $\widetilde{\mathcal{O}}(\log(T) (\log(1/ε))^2 )$, which is an exponential speedup over the best previous result. For final state preparation at time $T$, we show that its complexity is $\widetilde{\mathcal{O}}(\sqrt{T} (\log(1/ε))^2 )$, achieving a polynomial speedup in $T$. We also analyze the complexity of simpler lower-order quantum algorithms, such as the forward Euler method and the trapezoidal rule, and find that even lower-order methods can still achieve $\widetilde{\mathcal{O}}(\sqrt{T})$ cost with respect to time $T$ for preparing final states of dissipative ODEs. As applications, we show that quantum algorithms can simulate dissipative non-Hermitian quantum dynamics and heat process with fast-forwarded complexity sub-linear in time.
△ Less
Submitted 16 October, 2024;
originally announced October 2024.
-
Approximate optimality conditions and sensitivity analysis in nearly convex optimization
Authors:
Nguyen Van Tuyen,
Liguo Jiao,
Vu Hong Quan,
Duong Thi Viet An
Abstract:
In this paper, approximate optimality conditions and sensitivity analysis in nearly convex optimization are discussed. More precisely, as in the spirit of convex analysis, we introduce the concept of $\varepsilon$-subdifferential for nearly convex functions. Then, we examine some significant properties and rules for the $\varepsilon$-subdifferential. These rules are applied to study optimality con…
▽ More
In this paper, approximate optimality conditions and sensitivity analysis in nearly convex optimization are discussed. More precisely, as in the spirit of convex analysis, we introduce the concept of $\varepsilon$-subdifferential for nearly convex functions. Then, we examine some significant properties and rules for the $\varepsilon$-subdifferential. These rules are applied to study optimality conditions as well as sensitivity analysis for parametric nearly convex optimization problems, which are two important topics in optimization theory.
△ Less
Submitted 6 October, 2024;
originally announced October 2024.
-
Decay characterization of solutions to semi-linear structurally damped $σ$-evolution equations with time-dependent damping
Authors:
Cung The Anh,
Phan Duc An,
Pham Trieu Duong
Abstract:
In this paper, we study the Cauchy problem to the linear damped $σ$-evolution equation with time-dependent damping in the effective cases \begin{equation*} u_{t t}+(-Δ)^σu+b(t)(-Δ)^δu_t=0, \end{equation*} and investigate the decay rates of the solution and its derivatives that are expressed in terms of the decay character of the initial data $u_0(x)=u(0, x)$ and $u_1(x)=u_t(0, x)$. We are interest…
▽ More
In this paper, we study the Cauchy problem to the linear damped $σ$-evolution equation with time-dependent damping in the effective cases \begin{equation*} u_{t t}+(-Δ)^σu+b(t)(-Δ)^δu_t=0, \end{equation*} and investigate the decay rates of the solution and its derivatives that are expressed in terms of the decay character of the initial data $u_0(x)=u(0, x)$ and $u_1(x)=u_t(0, x)$. We are interested also in the existence and decay rate of the global in time solution with small data for the corresponding semi-linear problem with the nonlinear term of power type $||D|^γu|^p$. The blow-up results for solutions to the semi-linear problem in the case $γ=0$ are presented to show the sharpness of the exponent $p$.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Multi-product Hamiltonian simulation with explicit commutator scaling
Authors:
Junaid Aftab,
Dong An,
Konstantina Trivisa
Abstract:
The well-conditioned multi-product formula (MPF), proposed by [Low, Kliuchnikov, and Wiebe, 2019], is a simple high-order time-independent Hamiltonian simulation algorithm that implements a linear combination of standard product formulas of low order. While the MPF aims to simultaneously exploit commutator scaling among Hamiltonians and achieve near-optimal time and precision dependence, its lack…
▽ More
The well-conditioned multi-product formula (MPF), proposed by [Low, Kliuchnikov, and Wiebe, 2019], is a simple high-order time-independent Hamiltonian simulation algorithm that implements a linear combination of standard product formulas of low order. While the MPF aims to simultaneously exploit commutator scaling among Hamiltonians and achieve near-optimal time and precision dependence, its lack of a rigorous error bound on the nested commutators renders its practical advantage ambiguous. In this work, we conduct a rigorous complexity analysis of the well-conditioned MPF, demonstrating explicit commutator scaling and near-optimal time and precision dependence at the same time. Using our improved complexity analysis, we present several applications of practical interest where the MPF based on a second-order product formula can achieve a polynomial speedup in both system size and evolution time, as well as an exponential speedup in precision, compared to second-order and even higher-order product formulas. Compared to post-Trotter methods, the MPF based on a second-order product formula can achieve polynomially better scaling in system size, with only poly-logarithmic overhead in evolution time and precision.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Quantum algorithm for linear non-unitary dynamics with near-optimal dependence on all parameters
Authors:
Dong An,
Andrew M. Childs,
Lin Lin
Abstract:
We introduce a family of identities that express general linear non-unitary evolution operators as a linear combination of unitary evolution operators, each solving a Hamiltonian simulation problem. This formulation can exponentially enhance the accuracy of the recently introduced linear combination of Hamiltonian simulation (LCHS) method [An, Liu, and Lin, Physical Review Letters, 2023]. For the…
▽ More
We introduce a family of identities that express general linear non-unitary evolution operators as a linear combination of unitary evolution operators, each solving a Hamiltonian simulation problem. This formulation can exponentially enhance the accuracy of the recently introduced linear combination of Hamiltonian simulation (LCHS) method [An, Liu, and Lin, Physical Review Letters, 2023]. For the first time, this approach enables quantum algorithms to solve linear differential equations with both optimal state preparation cost and near-optimal scaling in matrix queries on all parameters.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Quantum algorithms for linear and non-linear fractional reaction-diffusion equations
Authors:
Dong An,
Konstantina Trivisa
Abstract:
High-dimensional fractional reaction-diffusion equations have numerous applications in the fields of biology, chemistry, and physics, and exhibit a range of rich phenomena. While classical algorithms have an exponential complexity in the spatial dimension, a quantum computer can produce a quantum state that encodes the solution with only polynomial complexity, provided that suitable input access i…
▽ More
High-dimensional fractional reaction-diffusion equations have numerous applications in the fields of biology, chemistry, and physics, and exhibit a range of rich phenomena. While classical algorithms have an exponential complexity in the spatial dimension, a quantum computer can produce a quantum state that encodes the solution with only polynomial complexity, provided that suitable input access is available. In this work, we investigate efficient quantum algorithms for linear and nonlinear fractional reaction-diffusion equations with periodic boundary conditions. For linear equations, we analyze and compare the complexity of various methods, including the second-order Trotter formula, time-marching method, and truncated Dyson series method. We also present a novel algorithm that combines the linear combination of Hamiltonian simulation technique with the interaction picture formalism, resulting in optimal scaling in the spatial dimension. For nonlinear equations, we employ the Carleman linearization method and propose a block-encoding version that is appropriate for the dense matrices that arise from the spatial discretization of fractional reaction-diffusion equations.
△ Less
Submitted 29 October, 2023;
originally announced October 2023.
-
Face relative interior of convex sets in topological vector spaces
Authors:
Reinier Díaz Mill án,
Vera Roshchina
Abstract:
A new notion of face relative interior for convex sets in topological real vector spaces is introduced in this work. Face relative interior is grounded in the facial structure, and may capture the geometry of convex sets in topological vector spaces better than other generalisations of relative interior.
We show that the face relative interior partitions convex sets into face relative interiors…
▽ More
A new notion of face relative interior for convex sets in topological real vector spaces is introduced in this work. Face relative interior is grounded in the facial structure, and may capture the geometry of convex sets in topological vector spaces better than other generalisations of relative interior.
We show that the face relative interior partitions convex sets into face relative interiors of their closure-equivalent faces (different to the partition generated by intrinsic cores), establish the conditions for nonemptiness of this new notion, compare the face relative interior with other concepts of convex interior and prove basic calculus rules.
△ Less
Submitted 30 June, 2024; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Sensitivity Analysis in Parametric Convex Vector Optimization
Authors:
Duong Thi Viet An,
Le Thanh Tung
Abstract:
In this paper, sensitivity analysis of the efficient sets in parametric convex vector optimization is considered. Namely, the perturbation, weak perturbation, and proper perturbation maps are defined as set-valued maps. We establish the formulas for computing the Fréchet coderivative of the profile of the above three kinds of perturbation maps. Because of the convexity assumptions, the conditions…
▽ More
In this paper, sensitivity analysis of the efficient sets in parametric convex vector optimization is considered. Namely, the perturbation, weak perturbation, and proper perturbation maps are defined as set-valued maps. We establish the formulas for computing the Fréchet coderivative of the profile of the above three kinds of perturbation maps. Because of the convexity assumptions, the conditions set are fairly simple if compared to those in the general case. In addition, our conditions are stated directly on the data of the problem. It is worth emphasizing that our approach is based on convex analysis tools which are different from those in the general case.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
Linear combination of Hamiltonian simulation for nonunitary dynamics with optimal state preparation cost
Authors:
Dong An,
Jin-Peng Liu,
Lin Lin
Abstract:
We propose a simple method for simulating a general class of non-unitary dynamics as a linear combination of Hamiltonian simulation (LCHS) problems. LCHS does not rely on converting the problem into a dilated linear system problem, or on the spectral mapping theorem. The latter is the mathematical foundation of many quantum algorithms for solving a wide variety of tasks involving non-unitary proce…
▽ More
We propose a simple method for simulating a general class of non-unitary dynamics as a linear combination of Hamiltonian simulation (LCHS) problems. LCHS does not rely on converting the problem into a dilated linear system problem, or on the spectral mapping theorem. The latter is the mathematical foundation of many quantum algorithms for solving a wide variety of tasks involving non-unitary processes, such as the quantum singular value transformation (QSVT). The LCHS method can achieve optimal cost in terms of state preparation. We also demonstrate an application for open quantum dynamics simulation using the complex absorbing potential method with near-optimal dependence on all parameters.
△ Less
Submitted 23 October, 2023; v1 submitted 2 March, 2023;
originally announced March 2023.
-
A theory of quantum differential equation solvers: limitations and fast-forwarding
Authors:
Dong An,
Jin-Peng Liu,
Daochen Wang,
Qi Zhao
Abstract:
We study the limitations and fast-forwarding of quantum algorithms for linear ordinary differential equation (ODE) systems with a particular focus on non-quantum dynamics, where the coefficient matrix in the ODE is not anti-Hermitian or the ODE is inhomogeneous. On the one hand, for generic homogeneous linear ODEs, by proving worst-case lower bounds, we show that quantum algorithms suffer from com…
▽ More
We study the limitations and fast-forwarding of quantum algorithms for linear ordinary differential equation (ODE) systems with a particular focus on non-quantum dynamics, where the coefficient matrix in the ODE is not anti-Hermitian or the ODE is inhomogeneous. On the one hand, for generic homogeneous linear ODEs, by proving worst-case lower bounds, we show that quantum algorithms suffer from computational overheads due to two types of ``non-quantumness'': real part gap and non-normality of the coefficient matrix. We then show that homogeneous ODEs in the absence of both types of ``non-quantumness'' are equivalent to quantum dynamics, and reach the conclusion that quantum algorithms for quantum dynamics work best. We generalize our results to the inhomogeneous case and find that existing generic quantum ODE solvers cannot be substantially improved. To obtain these lower bounds, we propose a general framework for proving lower bounds on quantum algorithms that are amplifiers, meaning that they amplify the difference between a pair of input quantum states. On the other hand, we show how to fast-forward quantum algorithms for solving special classes of ODEs which leads to improved efficiency. More specifically, we obtain quadratic improvements in the evolution time $T$ for inhomogeneous ODEs with a negative semi-definite coefficient matrix, and exponential improvements in both $T$ and the spectral norm of the coefficient matrix for inhomogeneous ODEs with efficiently implementable eigensystems, including various spatially discretized linear evolutionary partial differential equations. We give fast-forwarding algorithms that are conceptually different from existing ones in the sense that they neither require time discretization nor solving high-dimensional linear systems.
△ Less
Submitted 2 March, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
A matheuristic for tri-objective binary integer programming
Authors:
Duleabom An,
Sophie N. Parragh,
Markus Sinnl,
Fabien Tricoire
Abstract:
Many real-world optimisation problems involve multiple objectives. When considered concurrently, they give rise to a set of optimal trade-off solutions, also known as efficient solutions. These solutions have the property that neither objective can be improved without deteriorating another objective. Motivated by the success of matheuristics in the single-objective domain, we propose a linear prog…
▽ More
Many real-world optimisation problems involve multiple objectives. When considered concurrently, they give rise to a set of optimal trade-off solutions, also known as efficient solutions. These solutions have the property that neither objective can be improved without deteriorating another objective. Motivated by the success of matheuristics in the single-objective domain, we propose a linear programming-based matheuristic for tri-objective binary integer programming. To achieve a high-quality approximation of the optimal set of trade-off solutions, a lower bound set is first obtained using the vector linear programming solver Bensolve. Then, feasibility pump-based ideas in combination with path relinking are applied in novel ways so as to obtain a high quality upper bound set. Our matheuristic is compared to a recently-suggested algorithm that is, to the best of our knowledge, the only existing matheuristic method for tri-objective integer programming. In an extensive computational study, we show that our method generates a better approximation of the true Pareto front than the benchmark method on a large set of tri-objective benchmark instances. Since the developed approach starts from a potentially fractional lower bound set, it may also be used as a primal heuristic in the context of linear relaxation-based multi-objective branch-and-bound algorithms.
△ Less
Submitted 5 May, 2022;
originally announced May 2022.
-
Efficient quantum algorithm for nonlinear reaction-diffusion equations and energy estimation
Authors:
Dong An,
Di Fang,
Stephen Jordan,
Jin-Peng Liu,
Guang Hao Low,
Jiasu Wang
Abstract:
Nonlinear differential equations exhibit rich phenomena in many fields but are notoriously challenging to solve. Recently, Liu et al. [1] demonstrated the first efficient quantum algorithm for dissipative quadratic differential equations under the condition $R < 1$, where $R$ measures the ratio of nonlinearity to dissipation using the $\ell_2$ norm. Here we develop an efficient quantum algorithm b…
▽ More
Nonlinear differential equations exhibit rich phenomena in many fields but are notoriously challenging to solve. Recently, Liu et al. [1] demonstrated the first efficient quantum algorithm for dissipative quadratic differential equations under the condition $R < 1$, where $R$ measures the ratio of nonlinearity to dissipation using the $\ell_2$ norm. Here we develop an efficient quantum algorithm based on [1] for reaction-diffusion equations, a class of nonlinear partial differential equations (PDEs). To achieve this, we improve upon the Carleman linearization approach introduced in [1] to obtain a faster convergence rate under the condition $R_D < 1$, where $R_D$ measures the ratio of nonlinearity to dissipation using the $\ell_{\infty}$ norm. Since $R_D$ is independent of the number of spatial grid points $n$ while $R$ increases with $n$, the criterion $R_D<1$ is significantly milder than $R<1$ for high-dimensional systems and can stay convergent under grid refinement for approximating PDEs. As applications of our quantum algorithm we consider the Fisher-KPP and Allen-Cahn equations, which have interpretations in classical physics. In particular, we show how to estimate the mean square kinetic energy in the solution by postprocessing the quantum state that encodes it to extract derivative information.
△ Less
Submitted 6 November, 2023; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Time-dependent Hamiltonian Simulation of Highly Oscillatory Dynamics and Superconvergence for Schrödinger Equation
Authors:
Dong An,
Di Fang,
Lin Lin
Abstract:
We propose a simple quantum algorithm for simulating highly oscillatory quantum dynamics, which does not require complicated quantum control logic for handling time-ordering operators. To our knowledge, this is the first quantum algorithm that is both insensitive to the rapid changes of the time-dependent Hamiltonian and exhibits commutator scaling. Our method can be used for efficient Hamiltonian…
▽ More
We propose a simple quantum algorithm for simulating highly oscillatory quantum dynamics, which does not require complicated quantum control logic for handling time-ordering operators. To our knowledge, this is the first quantum algorithm that is both insensitive to the rapid changes of the time-dependent Hamiltonian and exhibits commutator scaling. Our method can be used for efficient Hamiltonian simulation in the interaction picture. In particular, we demonstrate that for the simulation of the Schrödinger equation, our method exhibits superconvergence and achieves a surprising second order convergence rate, of which the proof rests on a careful application of pseudo-differential calculus. Numerical results verify the effectiveness and the superconvergence property of our method.
△ Less
Submitted 11 April, 2022; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Parallel transport dynamics for mixed quantum states with applications to time-dependent density functional theory
Authors:
Dong An,
Di Fang,
Lin Lin
Abstract:
Direct simulation of the von Neumann dynamics for a general (pure or mixed) quantum state can often be expensive. One prominent example is the real-time time-dependent density functional theory (rt-TDDFT), a widely used framework for the first principle description of many-electron dynamics in chemical and materials systems. Practical rt-TDDFT calculations often avoid the direct simulation of the…
▽ More
Direct simulation of the von Neumann dynamics for a general (pure or mixed) quantum state can often be expensive. One prominent example is the real-time time-dependent density functional theory (rt-TDDFT), a widely used framework for the first principle description of many-electron dynamics in chemical and materials systems. Practical rt-TDDFT calculations often avoid the direct simulation of the von Neumann equation, and solve instead a set of Schrödinger equations, of which the dynamics is equivalent to that of the von Neumann equation. However, the time step size employed by the Schrödinger dynamics is often much smaller. In order to improve the time step size and the overall efficiency of the simulation, we generalize a recent work of the parallel transport (PT) dynamics for simulating pure states [An, Lin, Multiscale Model. Simul. 18, 612, 2020] to general quantum states. The PT dynamics provides the optimal gauge choice, and can employ a time step size comparable to that of the von Neumann dynamics. Going beyond the linear and near adiabatic regime in previous studies, we find that the error of the PT dynamics can be bounded by certain commutators between Hamiltonians, density matrices, and their derived quantities. Such a commutator structure is not present in the Schrödinger dynamics. We demonstrate that the parallel transport-implicit midpoint (PT-IM) method is a suitable method for simulating the PT dynamics, especially when the spectral radius of the Hamiltonian is large. The commutator structure of the error bound, and numerical results for model rt-TDDFT calculations in both linear and nonlinear regimes, confirm the advantage of the PT dynamics.
△ Less
Submitted 31 May, 2021;
originally announced May 2021.
-
A LP relaxation based matheuristic for multi-objective integer programming
Authors:
Duleabom An,
Sophie N. Parragh,
Markus Sinnl,
Fabien Tricoire
Abstract:
Motivated by their success in the single-objective domain, we propose a very simple linear programming-based matheuristic for tri-objective binary integer programming. To tackle the problem, we obtain lower bound sets by means of the vector linear programming solver Bensolve. Then, simple heuristic approaches, such as rounding and path relinking, are applied to this lower bound set to obtain high-…
▽ More
Motivated by their success in the single-objective domain, we propose a very simple linear programming-based matheuristic for tri-objective binary integer programming. To tackle the problem, we obtain lower bound sets by means of the vector linear programming solver Bensolve. Then, simple heuristic approaches, such as rounding and path relinking, are applied to this lower bound set to obtain high-quality approximations of the optimal set of trade-off solutions. The proposed algorithm is compared to a recently suggested algorithm which is, to the best of our knowledge, the only existing matheuristic method for tri-objective integer programming. Computational experiments show that our method produces a better approximation of the true Pareto front using significantly less time than the benchmark method on standard benchmark instances for the three-objective knapsack problem.
△ Less
Submitted 6 February, 2021;
originally announced February 2021.
-
Time-dependent unbounded Hamiltonian simulation with vector norm scaling
Authors:
Dong An,
Di Fang,
Lin Lin
Abstract:
The accuracy of quantum dynamics simulation is usually measured by the error of the unitary evolution operator in the operator norm, which in turn depends on certain norm of the Hamiltonian. For unbounded operators, after suitable discretization, the norm of the Hamiltonian can be very large, which significantly increases the simulation cost. However, the operator norm measures the worst-case erro…
▽ More
The accuracy of quantum dynamics simulation is usually measured by the error of the unitary evolution operator in the operator norm, which in turn depends on certain norm of the Hamiltonian. For unbounded operators, after suitable discretization, the norm of the Hamiltonian can be very large, which significantly increases the simulation cost. However, the operator norm measures the worst-case error of the quantum simulation, while practical simulation concerns the error with respect to a given initial vector at hand. We demonstrate that under suitable assumptions of the Hamiltonian and the initial vector, if the error is measured in terms of the vector norm, the computational cost may not increase at all as the norm of the Hamiltonian increases using Trotter type methods. In this sense, our result outperforms all previous error bounds in the quantum simulation literature. Our result extends that of [Jahnke, Lubich, BIT Numer. Math. 2000] to the time-dependent setting. We also clarify the existence and the importance of commutator scalings of Trotter and generalized Trotter methods for time-dependent Hamiltonian simulations.
△ Less
Submitted 21 May, 2021; v1 submitted 24 December, 2020;
originally announced December 2020.
-
Quantum-accelerated multilevel Monte Carlo methods for stochastic differential equations in mathematical finance
Authors:
Dong An,
Noah Linden,
Jin-Peng Liu,
Ashley Montanaro,
Changpeng Shao,
Jiasu Wang
Abstract:
Inspired by recent progress in quantum algorithms for ordinary and partial differential equations, we study quantum algorithms for stochastic differential equations (SDEs). Firstly we provide a quantum algorithm that gives a quadratic speed-up for multilevel Monte Carlo methods in a general setting. As applications, we apply it to compute expectation values determined by classical solutions of SDE…
▽ More
Inspired by recent progress in quantum algorithms for ordinary and partial differential equations, we study quantum algorithms for stochastic differential equations (SDEs). Firstly we provide a quantum algorithm that gives a quadratic speed-up for multilevel Monte Carlo methods in a general setting. As applications, we apply it to compute expectation values determined by classical solutions of SDEs, with improved dependence on precision. We demonstrate the use of this algorithm in a variety of applications arising in mathematical finance, such as the Black-Scholes and Local Volatility models, and Greeks. We also provide a quantum algorithm based on sublinear binomial sampling for the binomial option pricing model with the same improvement.
△ Less
Submitted 22 June, 2021; v1 submitted 11 December, 2020;
originally announced December 2020.
-
Towards sharp error analysis of extended Lagrangian molecular dynamics
Authors:
Dong An,
Lin Lin,
Michael Lindsey
Abstract:
The extended Lagrangian molecular dynamics (XLMD) method provides a useful framework for reducing the computational cost of a class of molecular dynamics simulations with constrained latent variables. The XLMD method relaxes the constraints by introducing a fictitious mass $\varepsilon$ for the latent variables, solving a set of singularly perturbed ordinary differential equations. While favorable…
▽ More
The extended Lagrangian molecular dynamics (XLMD) method provides a useful framework for reducing the computational cost of a class of molecular dynamics simulations with constrained latent variables. The XLMD method relaxes the constraints by introducing a fictitious mass $\varepsilon$ for the latent variables, solving a set of singularly perturbed ordinary differential equations. While favorable numerical performance of XLMD has been demonstrated in several different contexts in the past decade, mathematical analysis of the method remains scarce. We propose the first error analysis of the XLMD method in the context of a classical polarizable force field model. While the dynamics with respect to the atomic degrees of freedom are general and nonlinear, the key mathematical simplification of the polarizable force field model is that the constraints on the latent variables are given by a linear system of equations. We prove that when the initial value of the latent variables is compatible in a sense that we define, XLMD converges as the fictitious mass $\varepsilon$ is made small with $\mathcal{O}(\varepsilon)$ error for the atomic degrees of freedom and with $\mathcal{O}(\sqrt{\varepsilon})$ error for the latent variables, when the dimension of the latent variable $d'$ is 1. Furthermore, when the initial value of the latent variables is improved to be optimally compatible in a certain sense, we prove that the convergence rate can be improved to $\mathcal{O}(\varepsilon)$ for the latent variables as well. Numerical results verify that both estimates are sharp not only for $d' =1$, but also for arbitrary $d'$. In the setting of general $d'$, we do obtain convergence, but with the non-sharp rate of $\mathcal{O}(\sqrt{\varepsilon})$ for both the atomic and latent variables.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Fast inversion, preconditioned quantum linear system solvers, and fast evaluation of matrix functions
Authors:
Yu Tong,
Dong An,
Nathan Wiebe,
Lin Lin
Abstract:
Preconditioning is the most widely used and effective way for treating ill-conditioned linear systems in the context of classical iterative linear system solvers. We introduce a quantum primitive called fast inversion, which can be used as a preconditioner for solving quantum linear systems. The key idea of fast inversion is to directly block-encode a matrix inverse through a quantum circuit imple…
▽ More
Preconditioning is the most widely used and effective way for treating ill-conditioned linear systems in the context of classical iterative linear system solvers. We introduce a quantum primitive called fast inversion, which can be used as a preconditioner for solving quantum linear systems. The key idea of fast inversion is to directly block-encode a matrix inverse through a quantum circuit implementing the inversion of eigenvalues via classical arithmetics. We demonstrate the application of preconditioned linear system solvers for computing single-particle Green's functions of quantum many-body systems, which are widely used in quantum physics, chemistry, and materials science. We analyze the complexities in three scenarios: the Hubbard model, the quantum many-body Hamiltonian in the planewave-dual basis, and the Schwinger model. We also provide a method for performing Green's function calculation in second quantization within a fixed particle manifold and note that this approach may be valuable for simulation more broadly. Besides solving linear systems, fast inversion also allows us to develop fast algorithms for computing matrix functions, such as the efficient preparation of Gibbs states. We introduce two efficient approaches for such a task, based on the contour integral formulation and the inverse transform respectively.
△ Less
Submitted 28 September, 2021; v1 submitted 30 August, 2020;
originally announced August 2020.
-
Optimality conditions based on the Fréchet second-order subdifferential
Authors:
Duong Thi Viet An,
Nguyen Dong Yen
Abstract:
This paper focuses on second-order necessary optimality conditions for constrained optimization problems on Banach spaces. For problems in the classical setting, where the objective function is $C^2$-smooth, we show that strengthened second-order necessary optimality conditions are valid if the constraint set is generalized polyhedral convex. For problems in a new setting, where the objective func…
▽ More
This paper focuses on second-order necessary optimality conditions for constrained optimization problems on Banach spaces. For problems in the classical setting, where the objective function is $C^2$-smooth, we show that strengthened second-order necessary optimality conditions are valid if the constraint set is generalized polyhedral convex. For problems in a new setting, where the objective function is just assumed to be $C^1$-smooth and the constraint set is generalized polyhedral convex, we establish sharp second-order necessary optimality conditions based on the Fréchet second-order subdifferential of the objective function and the second-order tangent set to the constraint set. Three examples are given to show that the used hypotheses are essential for the new theorems. Our second-order necessary optimality conditions refine and extend several existing results.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
Split representation of adaptively compressed polarizability operator
Authors:
Dong An,
Lin Lin,
Ze Xu
Abstract:
The polarizability operator plays a central role in density functional perturbation theory and other perturbative treatment of first principle electronic structure theories. The cost of computing the polarizability operator generally scales as $\mathcal{O}(N_{e}^4)$ where $N_e$ is the number of electrons in the system. The recently developed adaptively compressed polarizability operator (ACP) form…
▽ More
The polarizability operator plays a central role in density functional perturbation theory and other perturbative treatment of first principle electronic structure theories. The cost of computing the polarizability operator generally scales as $\mathcal{O}(N_{e}^4)$ where $N_e$ is the number of electrons in the system. The recently developed adaptively compressed polarizability operator (ACP) formulation [L. Lin, Z. Xu and L. Ying, Multiscale Model. Simul. 2017] reduces such complexity to $\mathcal{O}(N_{e}^3)$ in the context of phonon calculations with a large basis set for the first time, and demonstrates its effectiveness for model problems. In this paper, we improve the performance of the ACP formulation by splitting the polarizability into a near singular component that is statically compressed, and a smooth component that is adaptively compressed. The new split representation maintains the $\mathcal{O}(N_e^3)$ complexity, and accelerates nearly all components of the ACP formulation, including Chebyshev interpolation of energy levels, iterative solution of Sternheimer equations, and convergence of the Dyson equations. For simulation of real materials, we discuss how to incorporate nonlocal pseudopotentials and finite temperature effects. We demonstrate the effectiveness of our method using one-dimensional model problem in insulating and metallic regimes, as well as its accuracy for real molecules and solids.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
Quantum linear system solver based on time-optimal adiabatic quantum computing and quantum approximate optimization algorithm
Authors:
Dong An,
Lin Lin
Abstract:
We demonstrate that with an optimally tuned scheduling function, adiabatic quantum computing (AQC) can readily solve a quantum linear system problem (QLSP) with $\mathcal{O}(κ~\text{poly}(\log(κ/ε)))$ runtime, where $κ$ is the condition number, and $ε$ is the target accuracy. This is near optimal with respect to both $κ$ and $ε$. Our method is applicable to general non-Hermitian matrices, and the…
▽ More
We demonstrate that with an optimally tuned scheduling function, adiabatic quantum computing (AQC) can readily solve a quantum linear system problem (QLSP) with $\mathcal{O}(κ~\text{poly}(\log(κ/ε)))$ runtime, where $κ$ is the condition number, and $ε$ is the target accuracy. This is near optimal with respect to both $κ$ and $ε$. Our method is applicable to general non-Hermitian matrices, and the cost as well as the number of qubits can be reduced when restricted to Hermitian matrices, and further to Hermitian positive definite matrices. The success of the time-optimal AQC implies that the quantum approximate optimization algorithm (QAOA) with an optimal control protocol can also achieve the same complexity in terms of the runtime. Numerical results indicate that QAOA can yield the lowest runtime compared to the time-optimal AQC, vanilla AQC, and the recently proposed randomization method.
△ Less
Submitted 9 March, 2022; v1 submitted 12 September, 2019;
originally announced September 2019.
-
Convergence of Stochastic-extended Lagrangian molecular dynamics method for polarizable force field simulation
Authors:
Dong An,
Sara Y. Cheng,
Teresa Head-Gordon,
Lin Lin,
Jianfeng Lu
Abstract:
Extended Lagrangian molecular dynamics (XLMD) is a general method for performing molecular dynamics simulations using quantum and classical many-body potentials. Recently several new XLMD schemes have been proposed and tested on several classes of many-body polarization models such as induced dipoles or Drude charges, by creating an auxiliary set of these same degrees of freedom that are reversibl…
▽ More
Extended Lagrangian molecular dynamics (XLMD) is a general method for performing molecular dynamics simulations using quantum and classical many-body potentials. Recently several new XLMD schemes have been proposed and tested on several classes of many-body polarization models such as induced dipoles or Drude charges, by creating an auxiliary set of these same degrees of freedom that are reversibly integrated through time. This gives rise to a singularly perturbed Hamiltonian system that provides a good approximation to the time evolution of the real mutual polarization field. To further improve upon the accuracy of the XLMD dynamics, and to potentially extend it to other many-body potentials, we introduce a stochastic modification which leads to a set of singularly perturbed Langevin equations with degenerate noise. We prove that the resulting Stochastic-XLMD converges to the accurate dynamics, and the convergence rate is both optimal and is independent of the accuracy of the initial polarization field. We carefully study the scaling of the damping factor and numerical noise for efficient numerical simulation for Stochastic-XLMD, and we demonstrate the effectiveness of the method for model polarizable force field systems.
△ Less
Submitted 27 February, 2020; v1 submitted 26 April, 2019;
originally announced April 2019.
-
Differential stability of convex optimization problems with possibly empty solution sets
Authors:
Duong Thi Viet An,
Jen-Chih Yao
Abstract:
As a complement to two recent papers by An and Yen [An, D.T.V., Yen, N.D.: Differential stability of convex optimization problems under inclusion constraints. Appl. Anal., 94, 108--128 (2015)], and by An and Yao [An, D.T.V., Yao, J.-C.: Further results on differential stability of convex optimization problems. J. Optim. Theory Appl., 170, 28--42 (2016)] on subdifferentials of the optimal value fun…
▽ More
As a complement to two recent papers by An and Yen [An, D.T.V., Yen, N.D.: Differential stability of convex optimization problems under inclusion constraints. Appl. Anal., 94, 108--128 (2015)], and by An and Yao [An, D.T.V., Yao, J.-C.: Further results on differential stability of convex optimization problems. J. Optim. Theory Appl., 170, 28--42 (2016)] on subdifferentials of the optimal value function of infinite-dimensional convex optimization problems, this paper studies the differential stability of convex optimization problems, where the solution set may be empty. By using a suitable sum rule for $\varepsilon$-subdifferentials, we obtain exact formulas for computing the $\varepsilon$-subdifferential of the optimal value function. Several illustrative examples are also given.
△ Less
Submitted 4 May, 2018;
originally announced May 2018.
-
Quantum Dynamics with the Parallel Transport Gauge
Authors:
Dong An,
Lin Lin
Abstract:
The dynamics of a closed quantum system is often studied with the direct evolution of the Schrodinger equation. In this paper, we propose that the gauge choice (i.e. degrees of freedom irrelevant to physical observables) of the Schrodinger equation can be generally non-optimal for numerical simulation. This can limit, and in some cases severely limit the time step size. We find that the optimal ga…
▽ More
The dynamics of a closed quantum system is often studied with the direct evolution of the Schrodinger equation. In this paper, we propose that the gauge choice (i.e. degrees of freedom irrelevant to physical observables) of the Schrodinger equation can be generally non-optimal for numerical simulation. This can limit, and in some cases severely limit the time step size. We find that the optimal gauge choice is given by a parallel transport formulation. This parallel transport dynamics can be simply interpreted as the dynamics driven by the residual vectors, analogous to those defined in eigenvalue problems in the time-independent setup. The parallel transport dynamics can be derived from a Hamiltonian structure, thus suitable to be solved using a symplectic and implicit time discretization scheme, such as the implicit midpoint rule, which allows the usage of a large time step and ensures the long time numerical stability. We analyze the parallel transport dynamics in the context of the singularly perturbed linear Schrodinger equation, and demonstrate its superior performance in the near adiabatic regime. We demonstrate the effectiveness of our method using numerical results for linear and nonlinear Schrodinger equations, as well as the time-dependent density functional theory (TDDFT) calculations for electrons in a benzene molecule driven by an ultrashort laser pulse.
△ Less
Submitted 19 February, 2020; v1 submitted 5 April, 2018;
originally announced April 2018.
-
Differential stability of a class of convex optimal control problems
Authors:
Duong Thi Viet An,
Jen-Chih Yao,
Nguyen Dong Yen
Abstract:
A parametric constrained convex optimal control problem, where the initial state is perturbed and the linear state equation contains a noise, is considered in this paper. Formulas for computing the subdifferential and the singular subdifferential of the optimal value function at a given parameter are obtained by means of some recent results on differential stability in mathematical programming. Th…
▽ More
A parametric constrained convex optimal control problem, where the initial state is perturbed and the linear state equation contains a noise, is considered in this paper. Formulas for computing the subdifferential and the singular subdifferential of the optimal value function at a given parameter are obtained by means of some recent results on differential stability in mathematical programming. The computation procedures and illustrative examples are presented.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Subdifferential Stability Analysis for Convex Optimization Problems via Multiplier Sets
Authors:
Duong Thi Viet An,
Nguyen Dong Yen
Abstract:
This paper discusses differential stability of convex programming problems in Hausdorff locally convex topological vector spaces. Among other things, we obtain formulas for computing or estimating the subdifferential and the singular subdifferential of the optimal value function via suitable multiplier sets.
This paper discusses differential stability of convex programming problems in Hausdorff locally convex topological vector spaces. Among other things, we obtain formulas for computing or estimating the subdifferential and the singular subdifferential of the optimal value function via suitable multiplier sets.
△ Less
Submitted 6 May, 2018; v1 submitted 12 July, 2017;
originally announced July 2017.
-
Differential Stability of Convex Discrete Optimal Control Problems
Authors:
Duong Thi Viet An,
Nguyen Thi Toan
Abstract:
Differential stability of convex discrete optimal control problems in Banach spaces is studied in this paper. By using some recent results of An and Yen [Appl. Anal. 94, 108--128 (2015)] on differential stability of parametric convex optimization problems under inclusion constraints, we obtain an upper estimate for the subdifferential of the optimal value function of a parametric convex discrete o…
▽ More
Differential stability of convex discrete optimal control problems in Banach spaces is studied in this paper. By using some recent results of An and Yen [Appl. Anal. 94, 108--128 (2015)] on differential stability of parametric convex optimization problems under inclusion constraints, we obtain an upper estimate for the subdifferential of the optimal value function of a parametric convex discrete optimal control problem, where the objective function may be nondifferentiable. If the objective function is differentiable, the obtained upper estimate becomes an equality. It is shown that the singular subdifferential of the just mentioned optimal value function always consists of the origin of the dual space.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
-
Second main theorem and unicity of meromorphic mappings for hypersurfaces in projective varieties
Authors:
Si Duc Quang,
Do Phuong An
Abstract:
Let $V$ be a projective subvariety of $\mathbb P^n(\mathbb C)$. A family of hypersurfaces $\{Q_i\}_{i=1}^q$ in $\mathbb P^n(\mathbb C)$ is said to be in $N$-subgeneral position with respect to $V$ if for any $1\le i_1<\cdots <i_{N+1}$, $ V\cap (\bigcap_{j=1}^{N+1}Q_{i_j})=\emptyset$. In this paper, we will prove a second main theorem for meromorphic mappings of $\mathbb C^m$ into $V$ intersecting…
▽ More
Let $V$ be a projective subvariety of $\mathbb P^n(\mathbb C)$. A family of hypersurfaces $\{Q_i\}_{i=1}^q$ in $\mathbb P^n(\mathbb C)$ is said to be in $N$-subgeneral position with respect to $V$ if for any $1\le i_1<\cdots <i_{N+1}$, $ V\cap (\bigcap_{j=1}^{N+1}Q_{i_j})=\emptyset$. In this paper, we will prove a second main theorem for meromorphic mappings of $\mathbb C^m$ into $V$ intersecting hypersurfaces in subgeneral position with truncated counting functions. As an application of the above theorem, we give a uniqueness theorem for meromorphic mappings of $\mathbb C^m$ into $V$ sharing a few hypersurfaces without counting multiplicity. In particular, we extend the uniqueness theorem for linear nondegenerate meromorphic mappings of $\mathbb C^m$ into $\mathbb P^n(\mathbb C)$ sharing $2n+3$ hyperplanes in general position to the case where the mappings may be linear degenerate.
△ Less
Submitted 30 July, 2016; v1 submitted 3 December, 2014;
originally announced December 2014.
-
Symmetric (2,3,5) distributions, an interesting ODE of 7th order and Plebanski metric
Authors:
Daniel An,
Pawel Nurowski
Abstract:
We show that the unique 7th order ODE having 10 contact symmetries appears naturally in the theory of generic 2-distributions in dimension five.
We show that the unique 7th order ODE having 10 contact symmetries appears naturally in the theory of generic 2-distributions in dimension five.
△ Less
Submitted 3 August, 2016; v1 submitted 7 February, 2013;
originally announced February 2013.
-
Twistor space for rolling bodies
Authors:
Daniel An,
Pawel Nurowski
Abstract:
On a natural circle bundle T(M) over a 4-dimensional manifold M equipped with a split signature metric g, whose fibers are real totally null selfdual 2-planes, we consider a tautological rank 2 distribution D obtained by lifting each totally null plane horizontally to its point in the fiber. Over the open set where g is not antiselfdual, the distribution D is (2,3,5) in T(M). We show that if M is…
▽ More
On a natural circle bundle T(M) over a 4-dimensional manifold M equipped with a split signature metric g, whose fibers are real totally null selfdual 2-planes, we consider a tautological rank 2 distribution D obtained by lifting each totally null plane horizontally to its point in the fiber. Over the open set where g is not antiselfdual, the distribution D is (2,3,5) in T(M). We show that if M is a Cartesian product of two Riemann surfaces (S1,g1) and (S2,g2), and if g=g1--g2, then the circle bundle T(S1 x S2) is just the configuration space for the physical system of two solid bodies B1 and B2, bounded by the surfaces S1 and S2 and rolling on each other. The condition for the two bodies to roll on each other `without slipping or twisting' identifies the restricted velocity space for such a system with the tautological distribution D on T(S1 x S2). We call T(S1 x S2) the twistor space, and D the twistor distribution for the rolling bodies. Among others we address the following question: "For which pairs of bodies does the restricted velocity distribution (which we identify with the twistor distribution D) have the simple Lie group G2 as its group of symmetries?" Apart from the well known situation when the boundaries S1 and S2 of the two bodies have constant curvatures whose ratio is 1:9, we unexpectedly find three different types of surfaces, which when bounding a body that rolls `without slipping or twisting' on a plane, have D with the symmetry group G2. Although we have found the differential equations for the curvatures of S1 and S2 that gives D with G2 symmetry, we are unable to solve them in full generality so far.
△ Less
Submitted 12 October, 2012;
originally announced October 2012.
