English
Related papers

Related papers: A primal-dual formulation for certifiable computat…

200 papers

In this paper we present a semantics for a linear algebraic lambda-calculus based on realizability. This semantics characterizes a notion of unitarity in the system, answering a long standing issue. We derive from the semantics a set of…

Logic in Computer Science · Computer Science 2019-12-06 Alejandro Díaz-Caro , Mauricio Guillermo , Alexandre Miquel , Benoît Valiron

This paper addresses non-convex constrained optimization problems that are characterized by a scalar complicating constraint. We propose an iterative bisection method for the dual problem (DualBi Algorithm) that recovers a feasible primal…

Optimization and Control · Mathematics 2024-10-07 Lucrezia Manieri , Alessandro Falsone , Maria Prandini

In this work, we extend modular techniques for computing Gr\"obner bases involving rational coefficients to (two-sided) ideals in free algebras. We show that the infinite nature of Gr\"obner bases in this setting renders the classical…

Symbolic Computation · Computer Science 2025-02-18 Clemens Hofstadler , Viktor Levandovskyy

Using a binary representation for basis elements of an algebra combined with a framework of multiplier and index functions, a connection has been established between the structure of a large class of algebras and the XOR componentwise…

Mathematical Physics · Physics 2025-09-30 Derek Courchesne , Sébastien Tremblay

We present a new duality theory for non-convex variational problems, under possibly mixed Dirichlet and Neumann boundary conditions. The dual problem reads nicely as a linear programming problem, and our main result states that there is no…

Optimization and Control · Mathematics 2016-07-12 Guy Bouchitté , Ilaria Fragalà

Boris Shapiro and Michael Shapiro have a conjecture concerning the Schubert calculus and real enumerative geometry and which would give infinitely many families of zero-dimensional systems of real polynomials (including families of…

Algebraic Geometry · Mathematics 2007-05-23 Frank Sottile

We propose a framework for bilinear multiplier operators defined via the (bivariate) spectral theorem. Under this framework we prove Coifman-Meyer type multiplier theorems and fractional Leibniz rules. Our theory applies to bilinear…

Functional Analysis · Mathematics 2016-09-06 Błażej Wróbel

In this article we develop a duality principle suitable for a large class of problems in optimization. The main result is obtained through basic tools of convex analysis and duality theory. We establish a correct relation between the…

Optimization and Control · Mathematics 2019-06-26 Fabio Botelho

Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in…

Algebraic Geometry · Mathematics 2010-08-05 Anders S. Buch , Andrew Kresch , Harry Tamvakis

Let X be an orthogonal Grassmannian parametrizing isotropic subspaces in an even dimensional vector space equipped with a nondegenerate symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in the singular…

Algebraic Geometry · Mathematics 2012-04-02 Anders S. Buch , Andrew Kresch , Harry Tamvakis

The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic $\lambda$-calculus iff they are…

Logic in Computer Science · Computer Science 2023-06-16 Axel Kerinec , Lionel Vaux Auclair

This article develops a duality principle applicable to a large class of variational problems. Firstly, we apply the results to a Ginzburg-Landau type model. In a second step, we develop another duality principle and related primal dual…

Optimization and Control · Mathematics 2018-01-18 Fabio Botelho

In this paper, the connections are investigated between two different approaches towards the parametrization of multivariable stable all-pass systems in discrete-time. The first approach involves the tangential Schur algorithm, which…

Optimization and Control · Mathematics 2010-12-16 Bernard Hanzon , Martine Olivi , Ralf L. M. Peeters

We connect generalized permutahedra with Schubert calculus. Thereby, we give sufficient vanishing criteria for Schubert intersection numbers of the flag variety. Our argument utilizes recent developments in the study of Schubitopes, which…

Combinatorics · Mathematics 2022-12-06 Avery St. Dizier , Alexander Yong

We show that sampling or interpolation formulas in reproducing kernel Hilbert spaces can be obtained by reproducing kernels whose dual systems form molecules, ensuring that the size profile of a function is fully reflected by the size…

Functional Analysis · Mathematics 2022-05-04 José Luis Romero , Jordy Timo van Velthoven , Felix Voigtlaender

We establish an equivariant quantum Giambelli formula for partial flag varieties. The answer is given in terms of a specialization of universal double Schubert polynomials. Along the way, we give new proofs of the presentation of the…

Algebraic Geometry · Mathematics 2015-06-10 Dave Anderson , Linda Chen

We propose a duality scheme for solving constrained nonsmooth and nonconvex optimization problems in a reflexive Banach space. We establish strong duality for a very general type of augmented Lagrangian, in which we assume a less…

Optimization and Control · Mathematics 2023-02-07 Regina S. Burachik , Xuemei Liu

Schubert coefficients $c_{u,v}^w$ are structure constants describing multiplication of Schubert polynomials. Deciding positivity of Schubert coefficients is a major open problem in Algebraic Combinatorics. We prove a positive rule for this…

Combinatorics · Mathematics 2024-12-30 Igor Pak , Colleen Robichaux

Define a ``truncation'' $r_{t}(p)$ of a polynomial $p$ in $\{x_1,x_2,x_3,...\}$ as the polynomial with all but the first $t$ variables set to zero. In certain good cases, the truncation of a Schubert or Grothendieck polynomial may again be…

Combinatorics · Mathematics 2007-05-23 Allen Knutson , Alexander Yong

We investigate the spin-Brauer diagram algebra, denoted ${\bf SB}_n(\delta)$, that arises from studying an analogous form of Schur-Weyl duality for the action of the pin group on ${\bf V}^{\otimes n} \otimes \Delta$. Here ${\bf V}$ is the…

Representation Theory · Mathematics 2018-11-07 Robert P. Laudone
‹ Prev 1 3 4 5 6 7 10 Next ›