English
Related papers

Related papers: A characterization of the algebraic degree in semi…

200 papers

In this paper we construct a hierarchy of multivariate polynomial approximation kernels via semidefinite programming. We give details on the implementation of the semidefinite programs defining the kernels. Finally, we show how a symmetry…

Optimization and Control · Mathematics 2023-07-19 Felix Kirschner , Etienne de Klerk

The completely bounded trace and spectral norms in finite dimensions are shown to be expressible by semidefinite programs. This provides an efficient method by which these norms may be both calculated and verified, and gives alternate…

Quantum Physics · Physics 2009-04-15 John Watrous

It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their power series expansions. We show that the linear differential…

Symbolic Computation · Computer Science 2008-04-03 Alin Bostan , Frédéric Chyzak , Bruno Salvy , Grégoire Lecerf , Éric Schost

In semidefinite programming the dual may fail to attain its optimal value and there could be a duality gap, i.e., the primal and dual optimal values may differ. In a striking paper, Ramana proposed a polynomial size extended dual that does…

Optimization and Control · Mathematics 2022-09-08 Bruno F. Lourenço , Gábor Pataki

The Zariski closure of the central path which interior point algorithms track in convex optimization problems such as linear, quadratic, and semidefinite programs is an algebraic curve. The degree of this curve has been studied in relation…

Optimization and Control · Mathematics 2021-04-19 Serkan Hoşten , Isabelle Shankar , Angélica Torres

Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case…

Symbolic Computation · Computer Science 2024-06-13 Cordian Riener , Robin Schabert , Thi Xuan Vu

We investigate average gradient degree of normal random polynomials of fixed algebraic degree n. In particular, for polynomials of two variables, asymptotics of the average gradient degree for large values of n is determined.

High Energy Physics - Theory · Physics 2007-05-23 George Khimshiashvili , Alexander Ushveridze

Given a polynomial $f$ and a semi-algebraic set $S$, we provide a symbolic algorithm to find the equations and inequalities defining a semi-algebraic set $Q$ which is identical to the closure of the image of $S$ under $f$, i.e.,…

Algebraic Geometry · Mathematics 2022-10-26 Ngoc Hoang Anh Mai

Our goal is to define an algebraic language for reasoning about non-deterministic computations. Towards this goal, we introduce an algebra of string-to-string transductions. Specifically, it is an algebra of partial functions on words over…

Logic in Computer Science · Computer Science 2023-11-22 Eugenia Ternovska

The present paper is devoted to the description of finite-dimensional semisimple Leibniz algebras over complex numbers, their derivations and automorphisms.

Rings and Algebras · Mathematics 2017-08-29 Shavkat Ayupov , Karimbergen Kudaybergenov , Bakhrom Omirov , Kaiming Zhao

We show that if $T$ is any of four semigroups of two elements that are not groups, there exists a finite dimensional associative $T$-graded algebra over a field of characteristic $0$ such that the codimensions of its graded polynomial…

Rings and Algebras · Mathematics 2017-01-23 Alexey Sergeevich Gordienko

We give a criterion when a polynomial $x^n-g$ is irreducible over a pseudofinite field. As an application we give an explicit description of algebraic closure of some pseudofinite fields of zero characteristic.

Logic · Mathematics 2021-09-30 Jakub Gismatullin , Katarzyna Tarasek

We calculate the degree of the algebra of covariants $\mathcal{C}_d$ for binary $d$-form. Also, for the degree we obtain its integral representation and asymptotic behavior.

Rings and Algebras · Mathematics 2019-08-27 Leonid Bedratyuk , Nadia Ilash

Motivated by a question in Schubert calculus, we study the interplay of quasisymmetric polynomials with the divided symmetrization operator, which was introduced by Postnikov in the context of volume polynomials of permutahedra. Divided…

Combinatorics · Mathematics 2020-05-05 Philippe Nadeau , Vasu Tewari

We show that semi-infinite cohomology of a finite dimensional graded algebra (satisfying some additional requirements) are a particular case of a general categorical construction. The motivating example is provided by small quantum groups…

Representation Theory · Mathematics 2007-05-23 Roman Bezrukavnikov

In a recent paper by L. Fel two new identities for the degree of syzygies are given. We present an algebraic proof of them, using only basic homological algebra tools. We also extend these results.

Commutative Algebra · Mathematics 2012-06-12 Ivan Martino , Neeraj Kumar

This paper is a tutorial in a general and explicit procedure to simplify semidefinite programs which are invariant under the action of a symmetry group. The procedure is based on basic notions of representation theory of finite groups. As…

Optimization and Control · Mathematics 2008-10-24 Frank Vallentin

Semialgebraic splines are functions that are piecewise polynomial with respect to a cell decomposition into sets defined by polynomial inequalities. We study bivariate semialgebraic splines, formulating spaces of semialgebraic splines in…

Commutative Algebra · Mathematics 2016-04-21 Michael DiPasquale , Frank Sottile , Lanyin Sun

We give a characterization of deterministic polynomial time computation based on an algebraic structure called the resolution semiring, whose elements can be understood as logic programs or sets of rewriting rules over first-order terms.…

Logic in Computer Science · Computer Science 2015-02-05 Clément Aubert , Marc Bagnol , Thomas Seiller

These lecture notes provide an informal introduction to the theory of nonnegative polynomials and sums of squares. We highlight the history and some recent developments, especially the new connections with classical (complex) algebraic…

Algebraic Geometry · Mathematics 2021-06-01 Grigoriy Blekherman , Jannik Wesner