相关论文: First Order Optimum Calculi

Let $\mathcal{A}$ be an affine hyperplane arrangement, $L(\mathcal{A})$ its intersection poset, and $\chi_{\mathcal{A}}(t)$ its characteristic polynomial. This paper aims to propose combinatorial structures for the factorization of…

In this paper, we study optimization methods consisting of iteratively minimizing surrogates of an objective function. By proposing several algorithmic variants and simple convergence analyses, we make two main contributions. First, we…

Notions of asimulation and k-asimulation introduced in [Olkhovikov, 2011] are extended onto the level of predicate logic. We then prove that a first-order formula is equivalent to a standard translation of an intuitionistic predicate…

A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced…

In this paper some new properties and computational tools for finding KL-optimum designs are provided. KL-optimality is a general criterion useful to select the best experimental conditions to discriminate between statistical models. A…

We provide first order perturbation formulas for the matrix square root (in the positive semi-definite case) and the matrix modulus (in the general case). The results are new for singular matrices, and extend previously known Fr\'{e}chet…

The set of the first Hilbert coefficients of parameter ideals relative to a module--its Chern coefficients--over a local Noetherian ring codes for considerable information about its structure--noteworthy properties such as that of…

We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a $p$-adic field, together with relevant arithmetic information about the fields generated by the irreducible…

We give a definition of integration by quadratures of first-order ordinary differential equations, and recover a little known result by Maximovic which states that a first-order ordinary differential equation can be integrated by…

In this note, we present a characterization of sets definable in Skolem arithmetic, i.e., the first-order theory of natural numbers with multiplication. This characterization allows us to prove the decidability of the theory. The idea is…

First-order learning involves finding a clause-form definition of a relation from examples of the relation and relevant background information. In this paper, a particular first-order learning system is modified to customize it for finding…

From the bicovariant first order differential calculus on inhomogeneous Hopf algebra ${\cal B}$ we construct the set of right-invariant Maurer-Cartan one-forms considered as a right-invariant basis of a bicovariant ${\cal B}$-bimodule over…

We consider a family of all analytic and univalent functions in the unit disk of the form $f(z)=z+a_2z^2+a_3z^3+\cdots$. The aim of this article is to investigate the bounds of the difference of moduli of initial successive coefficients,…

We analyze worst-case convergence guarantees of first-order optimization methods over a function class extending that of smooth and convex functions. This class contains convex functions that admit a simple quadratic upper bound. Its study…

Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard…

Universal continuous calculi are defined and it is shown that for every finite tuple of pairwise commuting Hermitian elements of a Su*-algebra (an ordered *-algebra that is symmetric, i.e. "strictly" positive elements are invertible, and…

We propose first order algorithms for convex optimization problems where the feasible set is described by a large number of convex inequalities that is to be explored by subgradient projections. The first algorithm is an adaptation of a…

We present automated theorem provers for the first-order logic of here and there (HT). They are based on a native sequent calculus for the logic of HT and an axiomatic embedding of the logic of HT into intuitionistic logic. The analytic…

The fractional Hamiltonian analysis of 1+1 dimensional field theory is investigated and the fractional Ostrogradski's formulation is obtained. The fractional path integral of both simple harmonic oscillator with an acceleration-squares part…

A new cohomology, induced by a vector field, is defined on pairs of differential forms ($1$--differentiable forms) in a manifold. It is proved a link with the classical de Rham cohomology and an $1$-differentable cohomology of Lichnerowicz…