BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Eric Evert

Eric Evert contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.FAmath.OAmath.NANumerical Analysis

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2022arXiv

Canonical Polyadic Decomposition via the generalized Schur decomposition

The canonical polyadic decomposition (CPD) is a fundamental tensor decomposition which expresses a tensor as a sum of rank one tensors. In stark contrast to the matrix case, with light assumptions, the CPD of a low rank tensor is (essentially) unique. The essential uniqueness of CPD makes this decomposition a powerful tool in many applications as it allows for extraction of component information from a signal of interest. One popular algorithm for algebraic computation of a CPD is the generalized eigenvalue decomposition (GEVD) which selects a matrix subpencil of a tensor, then computes the generalized eigenvectors of the pencil. In this article, we present a simplification of GEVD which improves the accuracy of the algorithm. Surprisingly, the generalized eigenvector computation in GEVD is in fact unnecessary and can be replaced by a QZ decomposition which factors a pair of matrices as a product of unitary and upper triangular matrices. Computing a QZ decomposition is a standard first step when computing generalized eigenvectors, so our algorithm can been seen as a direct simplification of GEVD.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Empirical properties of optima in free semidefinite programs

Semidefinite programming is based on optimization of linear functionals over convex sets defined by linear matrix inequalities, namely, inequalities of the form $$L_A(X)=I-A_1X_1-\dots-A_g X_g\succeq0.$$ Here the $X_j$ are real numbers and the set of solutions is called a spectrahedron. These inequalities make sense when the $X_i$ are symmetric matrices of any size, $n\times n$, and enter the formula though tensor product $A_i\otimes X_i$: The solution set of $L_A(X)\succeq0$ is called a free spectrahedron since it contains matrices of all sizes and the defining ``linear pencil" is ``free" of the sizes of the matrices. In this article, we report on empirically observed properties of optimizers obtained from optimizing linear functionals over free spectrahedra restricted to matrices $X_i$ of fixed size $n\times n$. The optimizers we find are always classical extreme points. Surprisingly, in many reasonable parameter ranges, over 99.9\% are also free extreme points. Moreover, the dimension of the active constraint, $\ker(L_A(X^\ell))$, is about twice what we expected. Another distinctive pattern regards reducibility of optimizing tuples $(X_1^\ell,\dots,X_g^\ell)$. We give an algorithm for representing elements of a free spectrahedron as matrix convex combinations of free extreme points; these representations satisfy a very low bound on the number of free extreme points neede

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Efficient evaluation of noncommutative polynomials using tensor and noncommutative Waring decompositions

This paper analyses a Waring type decomposition of a noncommuting (NC) polynomial $p$ with respect to the goal of evaluating $p$ efficiently on tuples of matrices. Such a decomposition can reduce the number of matrix multiplications needed to evaluate a noncommutative polynomial and is valuable when a single polynomial must be evaluated on many matrix tuples. In pursuit of this goal we examine a noncommutative analog of the classical Waring problem and various related decompositions. For example, we consider a "Waring decomposition" in which each product of linear terms is actually a power of a single linear NC polynomial or more generally a power of a homogeneous NC polynomial. We describe how NC polynomials compare to commutative ones with regard to these decompositions, describe a method for computing the NC decompositions and compare the effect of various decompositions on the speed of evaluation of generic NC polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Arveson boundary of a Free Quadrilateral is given by a noncommutative variety

Let $SM_n(\mathbb{R})^g$ denote $g$-tuples of $n \times n$ real symmetric matrices and set $SM(\mathbb{R})^g = \cup_n SM_n(\mathbb{R})^g$. A free quadrilateral is the collection of tuples $X \in SM(\mathbb{R})^2$ which have positive semidefinite evaluation on the linear equations defining a classical quadrilateral. Such a set is closed under a rich class of convex combinations called matrix convex combination. That is, given elements $X=(X_1, \dots, X_g) \in SM_{n_1}(\mathbb{R})^g$ and $Y=(Y_1, \dots, Y_g) \in SM_{n_2}(\mathbb{R})^g$ of a free quadrilateral $\mathcal{Q}$, one has \[ V_1^T X V_1+V_2^T Y V_2 \in \mathcal{Q} \] for any contractions $V_1:\mathbb{R}^n \to \mathbb{R}^{n_1}$ and $V_2:\mathbb{R}^n \to \mathbb{R}^{n_2}$ satisfying $V_1^T V_1+V_2^T V_2=I_n$. These matrix convex combinations are a natural analogue of convex combinations in the dimension free setting. A natural class of extreme point for free quadrilaterals is free extreme points: elements of a free quadrilateral which cannot be expressed as a nontrivial matrix convex combination of elements of the free quadrilateral. These free extreme points serve as the minimal set which recovers a free quadrilateral through matrix convex combinations. In this article we show that the set of free extreme points of a free quadrilateral is determined by the zero set of a collection of noncommutative polynomials. More precisely, given a free quadrilateral $\mathcal{Q}$, we construct noncommutative polynomials $p_1,p_2,p_3,p_4$ such that a tuple $X \in SM (\mathbb{R})^2$ is a free extreme point of a $\mathcal{Q}$ if and only if $X \in \mathcal{Q}$ and $p_i(X) =0 $ for $i=1,2,3,4$ and $X$ is irreducible. In addition we establish several basic results for projective maps of free spectrahedra and for homogeneous free spectrahedra.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Arveson extreme points span free spectrahedra

Let $ SM_n(\mathbb{R})^g$ denote $g$-tuples of $n \times n$ real symmetric matrices. Given tuples $X=(X_1, \dots, X_g) \in SM_{n_1}(\mathbb{R})^g$ and $Y=(Y_1, \dots, Y_g) \in SM_{n_2}(\mathbb{R})^g$, a matrix convex combination of $X$ and $Y$ is a sum of the form \[ V_1^* XV_1+V_2^* Y V_2 \quad \quad \quad V_1^* V_1+V_2^* V_2=I_n \] where $V_1:\mathbb{R}^n \to \mathbb{R}^{n_1}$ and $V_2:\mathbb{R}^n \to \mathbb{R}^{n_2}$ are contractions. Matrix convex sets are sets which are closed under matrix convex combinations. A key feature of matrix convex combinations is that the $g$-tuples $X, Y$, and $V_1^* XV_1+V_2^* Y V_2$ do not need to have the same size. As a result, matrix convex sets are a dimension free analog of convex sets. While in the classical setting there is only one notion of an extreme point, there are three main notions of extreme points for matrix convex sets: ordinary, matrix, and absolute extreme points. Absolute extreme points are closely related to the classical Arveson boundary. A central goal in the theory of matrix convex sets is to determine if one of these types of extreme points for a matrix convex set minimally recovers the set through matrix convex combinations. This article shows that every real compact matrix convex set which is defined by a linear matrix inequality is the matrix convex hull of its absolute extreme points, and that the absolute extreme points are the minimal set with this property. Furthermore, we give an algorithm which expresses a tuple as a matrix convex combination of absolute extreme points with optimal bounds. Similar results hold when working over the field of complex numbers rather than the reals.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Matrix Convex Sets Without Absolute Extreme Points

This article shows the existence of a class of closed bounded matrix convex sets which do not have absolute extreme points. The sets we consider are noncommutative sets, $K_X$, formed by taking matrix convex combinations of a single tuple $X$. In the case that $X$ is a tuple of compact operators with no nontrivial finite dimensional reducing subspaces, $K_X$ is a closed bounded matrix convex set with no absolute extreme points. A central goal in the theory of matrix convexity is to find a natural notion of an extreme point in the dimension free setting which is minimal with respect to spanning. Matrix extreme points are the strongest type of extreme point known to span matrix convex sets; however, they are not necessarily the smallest set which does so. Absolute extreme points, a more restricted type of extreme points that are closely related to Arveson's boundary, enjoy a strong notion of minimality should they span. This result shows that matrix convex sets may fail to be spanned by their absolute extreme points.

0 citations0 reviewsNo code linkedOpen access