Object identification by using orthonormal circus functions from the trace transform

In this paper we present an efficient way to both compute and extract salient information from trace transform signatures to perform object identification tasks. We also present a feature selection analysis of the classical trace-transform functionals, which reveals that most of them retrieve redundant information causing misleading similarity measurements. In order to overcome this problem, we propose a set of functionals based on Laguerre polynomials that return orthonormal signatures between these functionals. In this way, each signature provides salient and non-correlated information that contributes to the description of an image object. The proposed functionals were tested considering a vehicle identification problem, outperforming the classical trace transform functionals in terms of computational complexity and identification rate

Reference-State One-Particle Density-Matrix Theory

A density-matrix formalism is developed based on the one-particle density-matrix of a single-determinantal reference-state. The v-representable problem does not appear in the proposed method, nor the need to introduce functionals defined by a constrained search. The correlation-energy functionals are not universal; they depend on the external potential. Nevertheless, model systems can still be used to derive universal energy-functionals. In addition, the correlation-energy functionals can be partitioned into individual terms that are -- to a varying degree -- universal; yielding, for example, an electron gas approximation. Variational and non-variational energy functionals are introduced that yield the target-state energy when the reference state -- or its corresponding one-particle density matrix -- is constructed from Brueckner orbitals. Using many-body perturbation theory, diagrammatic expansions are given for the non-variational energy-functionals, where the individual diagrams explicitly depend on the one-particle density-matrix. Non-variational energy-functionals yield generalized Hartree--Fock equations involving a non-local correlation-potential and the Hartree--Fock exchange; these equations are obtained by imposing the Brillouin--Brueckner condition. The same equations -- for the most part -- are obtained from variational energy-functionals using functional minimizations, yielding the (kernel of) correlation potential as the functional derivative of correlation-energy functionals. Approximations for the correlation-energy functions are introduced, including a one-particle-density-matrix variant of the local-density approximation (LDA) and a variant of the Lee--Yang--Parr (LYP) functional.Comment: 68 Page, 0 Figures, RevTeX 4, Submitted to Phys.Rev.A (on April 28 2003

Some applications of logic to feasibility in higher types

In this paper we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalize the corresponding properties of the class of feasible functions. We also improve the Kapron - Cook result on mashine representation of basic feasible functionals. Our proofs are based on essential applications of logic. We introduce a weak fragment of second order arithmetic with second order variables ranging over functions from N into N which suitably characterizes basic feasible functionals, and show that it is a useful tool for investigating the properties of basic feasible functionals. In particular, we provide an example how one can extract feasible "programs" from mathematical proofs which use non-feasible functionals (like second order polynomials)

Some functionals on compact manifolds with boundary

We analyze critical points of two functionals of Riemannian metrics on compact manifolds with boundary. These functionals are motivated by formulae of the mass functionals of asymptotically flat and asymptotically hyperbolic manifolds

Cut-touching linear functionals in the conformal bootstrap

The modern conformal bootstrap program often employs the method of linear functionals to derive the numerical or analytical bounds on the CFT data. These functionals must have a crucial "swapping" property, allowing to swap infinite summation with the action of the functional in the conformal bootstrap sum rule. Swapping is easy to justify for the popular functionals involving finite sums of derivatives. However, it is far from obvious for "cut-touching" functionals, involving integration over regions where conformal block decomposition does not converge uniformly. Functionals of this type were recently considered by Mazac in his work on analytic derivation of optimal bootstrap bounds. We derive general swapping criteria for the cut-touching functionals, and check in a few explicit examples that Mazac's functionals pass our criteria.Comment: 19 pages, 7 figures, v2: author order corrected, v3: full domain of 4pt analyticity made more precise, v4: misprint corrected and acknowledgement adde

A study of accurate exchange-correlation functionals through adiabatic connection

A systematic way of improving exchange-correlation energy functionals of density functional theory has been to make them satisfy more and more exact relations. Starting from the initial GGA functionals, this has culminated into the recently proposed SCAN(Strongly constrained and appropriately normed) functional that satisfies several known constraints and is appropriately normed. The ultimate test for the functionals developed is the accuracy of energy calculated by employing them. In this paper, we test these exchange-correlation functionals -the GGA hybrid functionals B3LYP and PBE0, and the meta-GGA functional SCAN- from a different perspective. We study how accurately these functionals reproduce the exchange-correlation energy when electron-electron interaction is scaled as scaling parameter times Vee with this parameter varying between 0 and 1. Our study reveals interesting comparison between these functionals and the associated difference Tc between the interacting and the non-interacting kinetic energy for the same density.Comment: 8 Pages, 3 Figures and 8 Table