-
Non-commutative Iwasawa theory of abelian varieties over global function fields
Authors:
Li-Tong Deng,
Yukako Kezuka,
Yong-Xiong Li,
Meng Fai Lim
Abstract:
Let $A$ be an abelian variety defined over a global function field $F$. We investigate the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ for any prime number $p$ distinct from the characteristic of $F$, over $p$-adic Lie extensions $F_\infty$ of $F$ which contain the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$. In particular, we prove that the Pontryagin dual of t…
▽ More
Let $A$ be an abelian variety defined over a global function field $F$. We investigate the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ for any prime number $p$ distinct from the characteristic of $F$, over $p$-adic Lie extensions $F_\infty$ of $F$ which contain the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$. In particular, we prove that the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F^\mathrm{cyc})$ is a torsion $\mathbb{Z}_p[[\mathrm{Gal}(F^\mathrm{cyc}/F)]]$-module with trivial $μ$-invariant, and we establish the $\mathfrak{M}_H(G)$-conjecture of Coates-Fukaya-Kato-Sujatha-Venjakob for $A/F_\infty$.
In view of the validity of the $\mathfrak{M}_H(G)$-conjecture, it therefore makes sense to speak of the characteristic element (in the sense of Coates et al.) attached to the Pontryagin dual of $\mathrm{Sel}(A/F_\infty)$. We relate the order of vanishing of the characteristic elements, evaluated at Artin representations, to the corank of the Selmer group of the corresponding twist of $A$ over the base field $F$. Combining this with the deep results of Tate, Milne and Kato-Trihan, we show that the order of vanishing of the characteristic elements is equal to the order of vanishing of the $L$-function of $A/F$ at $s=1$ under appropriate assumptions.
Finally, we relate the generalised Euler characteristic of $\mathrm{Sel}(A/F_\infty)$ to the Euler characteristic of $\mathrm{Sel}(A/F^{\mathrm{cyc}})$. This is a natural analogue of Zerbes' result in the number field context and generalises previous results of Sechi and Valentino in the function field context.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Existence of optimal pairs for optimal control problems with states constrained to Riemannian manifolds
Authors:
Li Deng,
Xu Zhang
Abstract:
In this paper, we investigate the existence of optimal pairs for optimal control problems with their states constrained pointwise to Riemannian manifolds. For this purpose, by means of the Riemannian geometric tool, we introduce a crucial Cesari-type property, which is an extension of the classical Cesari property (See [3, Definition 3.3, p. 51]) from the setting of Euclidean spaces to that of Rie…
▽ More
In this paper, we investigate the existence of optimal pairs for optimal control problems with their states constrained pointwise to Riemannian manifolds. For this purpose, by means of the Riemannian geometric tool, we introduce a crucial Cesari-type property, which is an extension of the classical Cesari property (See [3, Definition 3.3, p. 51]) from the setting of Euclidean spaces to that of Riemannian manifolds. Moreover, we show the efficiency of our result by a concrete example.
△ Less
Submitted 13 January, 2024;
originally announced January 2024.
-
Quadratic forms, $K$-groups and $L$-values of elliptic curves
Authors:
Li-Tong Deng,
Yong-Xiong Li,
Shuai Zhai
Abstract:
Let $f$ be a positive definite integral quadratic form in $d$ variables. In the present paper, we establish a direct link between the genus representation number of $f$ and the order of higher even $K$-groups of the ring of integers of real quadratic fields, provided $f$ is diagonal and $d \equiv 1 \mod 4$, by applying the Siegel mass formula. When $d=3$, we derive an explicit formula of $r_f(n)$…
▽ More
Let $f$ be a positive definite integral quadratic form in $d$ variables. In the present paper, we establish a direct link between the genus representation number of $f$ and the order of higher even $K$-groups of the ring of integers of real quadratic fields, provided $f$ is diagonal and $d \equiv 1 \mod 4$, by applying the Siegel mass formula. When $d=3$, we derive an explicit formula of $r_f(n)$ in terms of the class number of the corresponding imaginary quadratic field and the central algebraic values of $L$-functions of quadratic twists of elliptic curves, by exploring a theorem of Waldspurger. Moreover, by the $2$-divisibility results on the algebraic $L$-values of quadratic twist of elliptic curves, we obtain a lower bound for the $2$-adic valuation of $r_f(n)$ for some odd integer $n$. The numerical results show our lower bound is optimal for certain cases. We also apply our main result to the quadratic form $f=x_1^2+\cdots+x^2_d$ to determine the order of the higher $K$-groups numerically.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
NP-Hardness of Tensor Network Contraction Ordering
Authors:
Jianyu Xu,
Hanwen Zhang,
Ling Liang,
Lei Deng,
Yuan Xie,
Guoqi Li
Abstract:
We study the optimal order (or sequence) of contracting a tensor network with a minimal computational cost. We conclude 2 different versions of this optimal sequence: that minimize the operation number (OMS) and that minimize the time complexity (CMS). Existing results only shows that OMS is NP-hard, but no conclusion on CMS problem. In this work, we firstly reduce CMS to CMS-0, which is a sub-pro…
▽ More
We study the optimal order (or sequence) of contracting a tensor network with a minimal computational cost. We conclude 2 different versions of this optimal sequence: that minimize the operation number (OMS) and that minimize the time complexity (CMS). Existing results only shows that OMS is NP-hard, but no conclusion on CMS problem. In this work, we firstly reduce CMS to CMS-0, which is a sub-problem of CMS with no free indices. Then we prove that CMS is easier than OMS, both in general and in tree cases. Last but not least, we prove that CMS is still NP-hard. Based on our results, we have built up relationships of hardness of different tensor network contraction problems.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
A Theoretically Guaranteed Quaternion Weighted Schatten p-norm Minimization Method for Color Image Restoration
Authors:
Qing-Hua Zhang,
Liang-Tian He,
Yi-Lun Wang,
Liang-Jian Deng,
Jun Liu
Abstract:
Inspired by the fact that the matrix formulated by nonlocal similar patches in a natural image is of low rank, the rank approximation issue have been extensively investigated over the past decades, among which weighted nuclear norm minimization (WNNM) and weighted Schatten $p$-norm minimization (WSNM) are two prevailing methods have shown great superiority in various image restoration (IR) problem…
▽ More
Inspired by the fact that the matrix formulated by nonlocal similar patches in a natural image is of low rank, the rank approximation issue have been extensively investigated over the past decades, among which weighted nuclear norm minimization (WNNM) and weighted Schatten $p$-norm minimization (WSNM) are two prevailing methods have shown great superiority in various image restoration (IR) problems. Due to the physical characteristic of color images, color image restoration (CIR) is often a much more difficult task than its grayscale image counterpart. However, when applied to CIR, the traditional WNNM/WSNM method only processes three color channels individually and fails to consider their cross-channel correlations. Very recently, a quaternion-based WNNM approach (QWNNM) has been developed to mitigate this issue, which is capable of representing the color image as a whole in the quaternion domain and preserving the inherent correlation among the three color channels. Despite its empirical success, unfortunately, the convergence behavior of QWNNM has not been strictly studied yet. In this paper, on the one side, we extend the WSNM into quaternion domain and correspondingly propose a novel quaternion-based WSNM model (QWSNM) for tackling the CIR problems. Extensive experiments on two representative CIR tasks, including color image denoising and deblurring, demonstrate that the proposed QWSNM method performs favorably against many state-of-the-art alternatives, in both quantitative and qualitative evaluations. On the other side, more importantly, we preliminarily provide a theoretical convergence analysis, that is, by modifying the quaternion alternating direction method of multipliers (QADMM) through a simple continuation strategy, we theoretically prove that both the solution sequences generated by the QWNNM and QWSNM have fixed-point convergence guarantees.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
An application of Birch-Tate formula to tame kernels of real quadratic number fields
Authors:
Li-Tong Deng,
Yong-Xiong Li
Abstract:
Let $F$ be a real quadratic number field with discriminant $D$ and $\mathcal{O}_F$ the ring of integers in $F$. Let $χ_F$ be the Dirichlet character associated to $F/\mathbb{Q}$. Write $L(χ_F,s)$ for the Dirichlet L-function of $χ_F$. By an induction argument for imprimitive Dirichlet L-values, we get several $2$-divisibility results on $L(χ_F,-1)$ when $D$ has arbitrarily finitely many prime divi…
▽ More
Let $F$ be a real quadratic number field with discriminant $D$ and $\mathcal{O}_F$ the ring of integers in $F$. Let $χ_F$ be the Dirichlet character associated to $F/\mathbb{Q}$. Write $L(χ_F,s)$ for the Dirichlet L-function of $χ_F$. By an induction argument for imprimitive Dirichlet L-values, we get several $2$-divisibility results on $L(χ_F,-1)$ when $D$ has arbitrarily finitely many prime divisors. As an application, by making use of the Birch-Tate formula for $F$, we determine the $2$-primary part for the second $K$ group $K_2\mathcal{O}_F$. We also give a new proof for an old theorem of Browkin and Schinzel.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
Existence of multi-dimensional pulsating fronts for KPP equations: a new formulation approach
Authors:
Liangliang Deng,
Arnaud Ducrot
Abstract:
This paper is concerned with the existence of pulsating travelling fronts for a KPP reaction-diffusion equation posed in a multi-dimensional periodic medium. We provide an alternative proof of the classic existence result. Our proof relies largely on the construction of a wave profile under a moving frame, which avoids many technical difficulties in dealing with degenerate elliptic equations. Intr…
▽ More
This paper is concerned with the existence of pulsating travelling fronts for a KPP reaction-diffusion equation posed in a multi-dimensional periodic medium. We provide an alternative proof of the classic existence result. Our proof relies largely on the construction of a wave profile under a moving frame, which avoids many technical difficulties in dealing with degenerate elliptic equations. Intriguingly, our analysis also yields that the profile of the front propagating along each rational direction in $\mathbb{S}^{N-1}$ is periodic in time.
△ Less
Submitted 15 March, 2023; v1 submitted 15 February, 2023;
originally announced February 2023.
-
Soliton resolution for the Harry Dym equation with weighted Sobolev initial data
Authors:
Lin Deng,
Zhenyun Qin
Abstract:
The soliton resolution for the Harry Dym equation is established for initial conditions in weighted Sobolev space $H^{1,1}(\mathbb{R})$. Combining the nonlinear steepest descent method and $\bar{\partial}$-derivatives condition, we obtain that when $\frac{y}{t}<-ε(ε>0)$ the long time asymptotic expansion of the solution $q(x,t)$ in any fixed cone \begin{equation}
C\left(y_{1}, y_{2}, v_{1}, v_{2…
▽ More
The soliton resolution for the Harry Dym equation is established for initial conditions in weighted Sobolev space $H^{1,1}(\mathbb{R})$. Combining the nonlinear steepest descent method and $\bar{\partial}$-derivatives condition, we obtain that when $\frac{y}{t}<-ε(ε>0)$ the long time asymptotic expansion of the solution $q(x,t)$ in any fixed cone \begin{equation}
C\left(y_{1}, y_{2}, v_{1}, v_{2}\right)=\left\{(y, t) \in R^{2} \mid y=y_{0}+v t, y_{0} \in\left[y_{1}, y_{2}\right], v \in\left[v_{1}, v_{2}\right]\right\} \end{equation} up to an residual error of order $\mathcal{O}(t^{-1})$. The expansion shows the long time asymptotic behavior can be described as an $N(I)$-soliton on discrete spectrum whose parameters are modulated by a sum of localized soliton-soliton interactions as one moves through the cone and the second term coming from soliton-radiation interactionson on continuous spectrum.
△ Less
Submitted 18 March, 2021;
originally announced March 2021.
-
Optimal Planning of Integrated Heat and Electricity Systems: a Tightening McCormick Approach
Authors:
Lirong Deng,
Xuan Zhang,
Tianshu Yang,
Hongbin Sun
Abstract:
In this paper, we propose a convex planning model of integrated heat and electricity systems considering variable mass flow rates. The main challenge comes from the non-convexity of the bilinear terms in the district heating network, i.e., the product of mass flow rate and nodal temperature. To resolve this issue, we first reformulate the district heating network model through equivalent transform…
▽ More
In this paper, we propose a convex planning model of integrated heat and electricity systems considering variable mass flow rates. The main challenge comes from the non-convexity of the bilinear terms in the district heating network, i.e., the product of mass flow rate and nodal temperature. To resolve this issue, we first reformulate the district heating network model through equivalent transformation and variable substitution. It shows that the reformulated model has only one set of nonconvex constraints with reduced bilinear terms and the others are linear constraints. Such a reformulation not only guarantees the optimality but fastens the solving process. To relax the remaining bilinear constraints, we apply McCormick envelopes and further propose a heuristic tightening method to constrict the bounds of the McCormick approach and get a nearby feasible solution. Case studies show that the tightening McCormick method quickly solves the heat-electricity planning problem with acceptable feasibility check and optimality.
△ Less
Submitted 27 November, 2020;
originally announced November 2020.
-
Second order necessary conditions for optimal control problems with endpoints-constraints and convex control-constraints
Authors:
Li Deng
Abstract:
In this manuscript, we consider a control system governed by a general ordinary differential equation on a Riemannian manifold, with its endpoints satisfying some inequalities and equalities, and its control constrained to a closed convex set. We concern on an optimal control problem of this system, and obtain the second order necessary condition in the sense of convex variation (Theorem 2.2). To…
▽ More
In this manuscript, we consider a control system governed by a general ordinary differential equation on a Riemannian manifold, with its endpoints satisfying some inequalities and equalities, and its control constrained to a closed convex set. We concern on an optimal control problem of this system, and obtain the second order necessary condition in the sense of convex variation (Theorem 2.2). To this end, we first obtain a second order necessary condition of an optimization problem (Theorem 4.2) via separation theorem of convex sets. Then, we derive our necessary condition by transforming the optimal control problem into an optimization problem. It is worth to point out that, our necessary condtition evolves the curvature tensor, which is trivial in Euclidean case. Moreover, even M is a Euclidean space, our result is still of interest. Actually, we give an example (Example 2.1) which shows that, when an optimal control stays at the boundary of the control set, the existing results are invalid while Theorem 2.2 works.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
Second Order Necessary Conditions for Endpoints-Constrained Optimal Control Problems on Riemannian manifolds
Authors:
Li Deng,
Xu Zhang
Abstract:
In this paper, we are concerned with optimal control problems evolved on Riemannian manifolds, where the initial and final states satisfy some inequality and equality type constraints, and the control set is a separable metric space. We obtain the second order necessary conditions of integral and quasi-pointwise forms, both of which work for Pontryagin type critical controls and involve the curvat…
▽ More
In this paper, we are concerned with optimal control problems evolved on Riemannian manifolds, where the initial and final states satisfy some inequality and equality type constraints, and the control set is a separable metric space. We obtain the second order necessary conditions of integral and quasi-pointwise forms, both of which work for Pontryagin type critical controls and involve the curvature tensor. Also, we apply the condition of integral form to the Bolza problem, where the initial and final states are subject to equality's type constraint.
△ Less
Submitted 10 July, 2020;
originally announced July 2020.
-
A linesearch projection algorithm for solving equilibrium problems without monotonicity in Hilbert spaces
Authors:
Lanmei Deng,
Rong Hu,
Ya** Fang
Abstract:
We propose a linesearch projection algorithm for solving non-monotone and non-Lipschitzian equilibrium problems in Hilbert spaces. It is proved that the sequence generated by the proposed algorithm converges strongly to a solution of the equilibrium problem under the assumption that the solution set of the associated Minty equilibrium problem is nonempty. Compared with existing methods, we do not…
▽ More
We propose a linesearch projection algorithm for solving non-monotone and non-Lipschitzian equilibrium problems in Hilbert spaces. It is proved that the sequence generated by the proposed algorithm converges strongly to a solution of the equilibrium problem under the assumption that the solution set of the associated Minty equilibrium problem is nonempty. Compared with existing methods, we do not employ Fejér monotonicity in the strategy of proving the convergence. This comes from projecting a fixed point instead of the current point onto a subset of the feasible set at each iteration. Moreover, employing an Armijo-linesearch without subgradient has a great advantage in CPU-time. Some numerical experiments demonstrate the efficiency and strength of the presented algorithm.
△ Less
Submitted 3 March, 2021; v1 submitted 6 June, 2020;
originally announced June 2020.
-
A New Operator Splitting Method for Euler's Elastica Model
Authors:
Liang-Jian Deng,
Roland Glowinski,
Xue-Cheng Tai
Abstract:
Euler's elastica model has a wide range of applications in Image Processing and Computer Vision. However, the non-convexity, the non-smoothness and the nonlinearity of the associated energy functional make its minimization a challenging task, further complicated by the presence of high order derivatives in the model. In this article we propose a new operator-splitting algorithm to minimize the Eul…
▽ More
Euler's elastica model has a wide range of applications in Image Processing and Computer Vision. However, the non-convexity, the non-smoothness and the nonlinearity of the associated energy functional make its minimization a challenging task, further complicated by the presence of high order derivatives in the model. In this article we propose a new operator-splitting algorithm to minimize the Euler elastica functional. This algorithm is obtained by applying an operator-splitting based time discretization scheme to an initial value problem (dynamical flow) associated with the optimality system (a system of multivalued equations). The sub-problems associated with the three fractional steps of the splitting scheme have either closed form solutions or can be handled by fast dedicated solvers. Compared with earlier approaches relying on ADMM (Alternating Direction Method of Multipliers), the new method has, essentially, only the time discretization step as free parameter to choose, resulting in a very robust and stable algorithm. The simplicity of the sub-problems and its modularity make this algorithm quite efficient. Applications to the numerical solution of smoothing test problems demonstrate the efficiency and robustness of the proposed methodology.
△ Less
Submitted 16 November, 2018;
originally announced November 2018.
-
Multi-dimensional imaging data recovery via minimizing the partial sum of tubal nuclear norm
Authors:
Tai-Xiang Jiang,
Ting-Zhu Huang,
Xi-Le Zhao,
Liang-Jian Deng
Abstract:
In this paper, we investigate tensor recovery problems within the tensor singular value decomposition (t-SVD) framework. We propose the partial sum of the tubal nuclear norm (PSTNN) of a tensor. The PSTNN is a surrogate of the tensor tubal multi-rank. We build two PSTNN-based minimization models for two typical tensor recovery problems, i.e., the tensor completion and the tensor principal componen…
▽ More
In this paper, we investigate tensor recovery problems within the tensor singular value decomposition (t-SVD) framework. We propose the partial sum of the tubal nuclear norm (PSTNN) of a tensor. The PSTNN is a surrogate of the tensor tubal multi-rank. We build two PSTNN-based minimization models for two typical tensor recovery problems, i.e., the tensor completion and the tensor principal component analysis. We give two algorithms based on the alternating direction method of multipliers (ADMM) to solve proposed PSTNN-based tensor recovery models. Experimental results on the synthetic data and real-world data reveal the superior of the proposed PSTNN.
△ Less
Submitted 23 January, 2020; v1 submitted 15 December, 2017;
originally announced December 2017.
-
Convex Set of Doubly Substochastic Matrices
Authors:
Lei Deng,
Qiulin Lin
Abstract:
Denote $\mathcal{A}$ as the set of all doubly substochastic $m \times n$ matrices and let $k$ be a positive integer. Let $\mathcal{A}_k$ be the set of all $1/k$-bounded doubly substochastic $m \times n$ matrices, i.e., $\mathcal{A}_k \triangleq \{E \in \mathcal{A}: e_{i,j} \in [0, 1/k], \forall i=1,2,\cdots,m, j = 1,2,\cdots, n\}$. Denote $\mathcal{B}_k$ as the set of all matrices in…
▽ More
Denote $\mathcal{A}$ as the set of all doubly substochastic $m \times n$ matrices and let $k$ be a positive integer. Let $\mathcal{A}_k$ be the set of all $1/k$-bounded doubly substochastic $m \times n$ matrices, i.e., $\mathcal{A}_k \triangleq \{E \in \mathcal{A}: e_{i,j} \in [0, 1/k], \forall i=1,2,\cdots,m, j = 1,2,\cdots, n\}$. Denote $\mathcal{B}_k$ as the set of all matrices in $\mathcal{A}_k$ whose entries are either $0$ or $1/k$. We prove that $\mathcal{A}_k$ is the convex hull of all matrices in $\mathcal{B}_k$.
△ Less
Submitted 18 November, 2017;
originally announced November 2017.
-
Multi-period investment strategies under Cumulative Prospect Theory
Authors:
Liurui Deng,
Traian A. Pirvu
Abstract:
In this article, inspired by Shi, et al. we investigate the optimal portfolio selection with one risk-free asset and one risky asset in a multiple period setting under cumulative prospect theory (CPT). Compared with their study, our novelty is that we consider a stochastic benchmark, and portfolio constraints. We test the sensitivity of the optimal CPT-investment strategies to different model para…
▽ More
In this article, inspired by Shi, et al. we investigate the optimal portfolio selection with one risk-free asset and one risky asset in a multiple period setting under cumulative prospect theory (CPT). Compared with their study, our novelty is that we consider a stochastic benchmark, and portfolio constraints. We test the sensitivity of the optimal CPT-investment strategies to different model parameters by performing a numerical analysis.
△ Less
Submitted 22 March, 2019; v1 submitted 30 August, 2016;
originally announced August 2016.
-
Second Order Necessary Conditions for Optimal Control Problems on Riemannian Manifolds
Authors:
Qing Cui,
Li Deng,
Xu Zhang
Abstract:
This work is concerned with an optimal control problem on a Riemannian manifold, for which two typical cases are considered. The first case is when the endpoint is free. For this case, the control set is assumed to be a separable metric space. By introducing suitable dual equations, which depend on the curvature tensor of the manifold, we establish the second order necessary and sufficient optimal…
▽ More
This work is concerned with an optimal control problem on a Riemannian manifold, for which two typical cases are considered. The first case is when the endpoint is free. For this case, the control set is assumed to be a separable metric space. By introducing suitable dual equations, which depend on the curvature tensor of the manifold, we establish the second order necessary and sufficient optimality conditions of integral form. In particular, when the control set is a Polish space, the second order necessary condition is reduced to a pointwise form. As a key preliminary result and also an interesting byproduct, we derive a geometric lemma, which may have some independent interest. The second case is when the endpoint is fixed. For this more difficult case, the control set is assumed to be open in an Euclidian space. We obtain the second order necessary and sufficient optimality conditions, in which the curvature tensor also appears explicitly. Our optimality conditions can be used to recover the following famous geometry result: Any geodesic connecting two fixed points on a Riemannian manifold satisfies the second variation of energy; while the existing optimality conditions in control literatures fail to give the same result.
△ Less
Submitted 7 November, 2016; v1 submitted 25 August, 2015;
originally announced August 2015.
-
Single image super-resolution by approximated Heaviside functions
Authors:
Liang-Jian Deng,
Weihong Guo,
Ting-Zhu Huang
Abstract:
Image super-resolution is a process to enhance image resolution. It is widely used in medical imaging, satellite imaging, target recognition, etc. In this paper, we conduct continuous modeling and assume that the unknown image intensity function is defined on a continuous domain and belongs to a space with a redundant basis. We propose a new iterative model for single image super-resolution based…
▽ More
Image super-resolution is a process to enhance image resolution. It is widely used in medical imaging, satellite imaging, target recognition, etc. In this paper, we conduct continuous modeling and assume that the unknown image intensity function is defined on a continuous domain and belongs to a space with a redundant basis. We propose a new iterative model for single image super-resolution based on an observation: an image is consisted of smooth components and non-smooth components, and we use two classes of approximated Heaviside functions (AHFs) to represent them respectively. Due to sparsity of the non-smooth components, a $L_{1}$ model is employed. In addition, we apply the proposed iterative model to image patches to reduce computation and storage. Comparisons with some existing competitive methods show the effectiveness of the proposed method.
△ Less
Submitted 12 March, 2015;
originally announced March 2015.
-
Characterizing the Topography of Multi-dimensional Energy Landscapes
Authors:
H. Lydia Deng,
John A. Scales
Abstract:
A basic issue in optimization, inverse theory,neural networks, computational chemistry and many other problems is the geometrical characterization of high dimensional functions. In inverse calculations one aims to characterize the set of models that fit the data (among other constraints). If the data misfit function is unimodal then one can find its peak by local optimization methods and character…
▽ More
A basic issue in optimization, inverse theory,neural networks, computational chemistry and many other problems is the geometrical characterization of high dimensional functions. In inverse calculations one aims to characterize the set of models that fit the data (among other constraints). If the data misfit function is unimodal then one can find its peak by local optimization methods and characterize its width (related to the range of data-fitting models) by estimating derivatives at this peak. On the other hand, if there are local extrema, then a number of interesting and difficult problems arise. Are the local extrema important compared to the global or can they be eliminated (e.g., by smoothing) without significant loss of information? Is there a sufficiently small number of local extrema that they can be enumerated via local optimization? What are the basins of attraction of these local extrema? Can two extrema be joined by a path that never goes uphill? Can the whole problem be reduced to one of enumerating the local extrema and their basins of attraction? For locally ill-conditioned functions, premature convergence of local optimization can be confused with the presence of local extrema. Addressing any of these issues requires topographic information about the functions under study. But in many applications these functions may have hundreds or thousands of variables and can only be evaluated pointwise (by some numerical method for instance). In this paper we describe systematic (but generic) methods of analysing the topography of high dimensional functions using local optimization methods applied to randomly chosen starting models. We provide a number of quantitative measures of function topography that have proven to be useful in practical problems along with error estimates.
△ Less
Submitted 2 February, 2014;
originally announced May 2014.
-
The Riordan Group and Symmetric Lattice Paths
Authors:
Li-Hua Deng,
Eva Y. P. Deng,
Louis W. Shapiro
Abstract:
In this paper, we study symmetric lattice paths. Let $d_{n}$, $m_{n}$, and $s_{n}$ denote the number of symmetric Dyck paths, symmetric Motzkin paths, and symmetric Schröder paths of length $2n$, respectively. By using Riordan group methods we obtain six identities relating $d_{n}$, $m_{n}$, and $s_{n}$ and also give two of them combinatorial proofs. Finally, we investigate some relations satisf…
▽ More
In this paper, we study symmetric lattice paths. Let $d_{n}$, $m_{n}$, and $s_{n}$ denote the number of symmetric Dyck paths, symmetric Motzkin paths, and symmetric Schröder paths of length $2n$, respectively. By using Riordan group methods we obtain six identities relating $d_{n}$, $m_{n}$, and $s_{n}$ and also give two of them combinatorial proofs. Finally, we investigate some relations satisfied by the generic element of some special Riordan arrays and get the average mid-height and the average number of points on the x-axis of symmetric Dyck paths of length $2n.$
△ Less
Submitted 9 June, 2009;
originally announced June 2009.