BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Rainer Sinn

Rainer Sinn appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.OCmath.ACComputer Visionmath.APmath.COmath.MG

Catalog footprint

What is connected

12works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

12 published item(s)

preprint2022arXiv

The Chiral Domain of a Camera Arrangement

We introduce the chiral domain of an arrangement of cameras $\mathcal{A} = \{A_1,\dots, A_m\}$ which is the subset of $\mathbb{P}^3$ visible in $\mathcal{A}$. It generalizes the classical definition of chirality to include all of $\mathbb{P}^3$ and offers a unifying framework for studying multiview chirality. We give an algebraic description of the chiral domain which allows us to define and describe a chiral version of Triggs' joint image. We then use the chiral domain to re-derive and extend prior results on chirality due to Hartley.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Tropical Positivity and Determinantal Varieties

We initiate the study of positive-tropical generators as positive analogues of the concept of tropical bases. Applying this to the tropicalization of determinantal varieties, we develop criteria for characterizing their positive part. We focus on the study of low-rank matrices, in particular matrices of rank 2 and 3. Moreover, in the case square-matrices of corank 1, we fully classify the signed tropicalization of the determinantal variety, even beyond the positive part.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Weak and Strong Extremal Biquadratics

We study quasiconvex quadratic forms on $n \times m$ matrices which correspond to nonnegative biquadratic forms in $(n,m)$ variables. We disprove a conjecture stated by Harutyunyan--Milton (Comm. Pure Appl. Math. 70(11), 2017) as well as Harutyunyan--Hovsepyan (Arch. Ration. Mech. Anal. 244, 2022) that extremality in the cone of quasiconvex quadratic forms on $3\times 3$ matrices can follow only from the extremality of the determinant of its acoustic tensor, using previous work by Buckley--Šivic (Linear Algebra Appl. 598, 2020). Our main result is to establish a conjecture of Harutyunyan--Milton (Comm. Pure Appl. Math. 70(11), 2017) that weak extremal quasiconvex quadratics on $3 \times 3$ matrices are strong extremal. Our main technical ingredient is a generalization of the work of Kunert--Scheiderer on extreme nonnegative ternary sextics (Trans. Amer. Math. Soc. 370(6), 2018). Specifically, we show that a nonnegative ternary sextic, which is not a square, is extremal if and only if its variety (over the complex numbers) is a rational curve and all its singularities are real.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the Dimensions of the Realization Spaces of Polytopes

Robertson (1988) suggested a model for the realization space of a convex d-dimensional polytope and an approach via the implicit function theorem, which -- in the case of a full rank Jacobian -- proves that the realization space is a manifold of dimension NG(P):=d(f_0+f_{d-1})-f_{0,d-1}, which is the natural guess for the dimension given by the number of variables minus the number of quadratic equations that are used in the definition of the realization space. While this indeed holds for many natural classes of polytopes (including simple and simplicial polytopes, as well as all polytopes of dimension at most 3),and Robertson claimed this to be true for all polytopes, Mnev's (1986/1988) Universality Theorem implies that it is not true in general: Indeed, (1) the centered realization space is not a smoothly embedded manifold in general, and (2) it does not have the dimension NG(P) in general. In this paper we develop Jacobian criteria for the analysis of realization spaces. From these we get easily that for various large and natural classes of polytopes the realization spaces are indeed manifolds, whose dimensions are given by NG(P). However, we also identify the smallest polytopes where the dimension count (2) and thus Robertson's claim fails, among them the bipyramid over a triangular prism. For the property (1), we analyze the classical 24-cell: We show that the realization space has at least the dimension 48, and it has points where it is a manifold of this dimension, but it is not smoothly embedded as a manifold everywhere.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Sums of Squares and Quadratic Persistence on Real Projective Varieties

We bound the Pythagoras number of a real projective subvariety: the smallest positive integer $r$ such that every sum of squares of linear forms in its homogeneous coordinate ring is a sum of at most $r$ squares. Enhancing existing methods, we exhibit three distinct upper bounds involving known invariants. In contrast, our lower bound depends on a new invariant of a projective subvariety called the quadratic persistence. Defined by projecting away from points, this numerical invariant is closely related to the linear syzygies of the variety. In addition, we classify the projective subvarieties of maximal and almost-maximal quadratic persistence, and determine their Pythagoras numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Do Sums of Squares Dream of Free Resolutions?

We associate to a real projective variety $X$ two convex cones which are fundamental in real algebraic geometry: the cone $P_X$ of quadratic forms nonnegative on $X$, and the cone $Σ_X$ of sums of squares of linear forms. The dual cone $Σ_X^\ast$ is a spectrahedron and we show that its convexity properties are closely related to homological properties of $X$. For instance, we show that all extreme rays of $Σ_X^\ast$ have rank one if and only if X has Castelnuovo-Mumford regularity two. More generally, if $Σ_X^\ast$ has an extreme ray of rank $p > 1$, then $X$ does not satisfy the property $N_{2,p}$. We show that the converse also holds in a wide variety of situations: the smallest $p$ for which property $N_{2,p}$ does not hold is equal to the smallest rank of an extreme ray of $Σ_X^\ast$ greater than one. These results allow us to generalize the work of Blekherman-Smith-Velasco on equality of nonnegative polynomials and sums of squares from irreducible varieties to reduced schemes and to classify all spectrahedral cones with only rank one extreme rays. Our results have applications to the positive semidefinite matrix completion problem and to the truncated moment problem on projective varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Computing Hermitian determinantal representations of hyperbolic curves

Every real hyperbolic form in three variables can be realized as the determinant of a linear net of Hermitian matrices containing a positive definite matrix. Such representations are an algebraic certificate for the hyperbolicity of the polynomial and their existence has been proved in several different ways. However, the resulting algorithms for computing determinantal representations are computationally intensive. In this note, we present an algorithm that reduces a large part of the problem to linear algebra and discuss its numerical implementation.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Extreme Rays of the Hankel Spectrahedra for Ternary Forms

Hankel spectrahedra are the dual convex cones to the cone of sums of squares of real polynomials, and we study them from the point of view of convex algebraic geometry. We show that the Zariski closure of the union of all extreme rays of Hankel spectrahedra for ternary forms is an irreducible variety of codimension 10. It is the variety of all Hankel (or middle Catalecticant) matrices of corank at least 4. We explicitly construct a rational extreme ray of maximal rank using the Cayley-Bacharach Theorem for plane curves. We work out the rank stratification of the semi-algebraic set of extreme rays of Hankel spectrahedra in the first three nontrivial cases d = 3, 4, 5. Dually, we get a characterisation of the algebraic boundary of the cone of sums of squares via projective duality theory, extending previous work of Blekherman, Hauenstein, Ottem, Ranestad, and Sturmfels.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Real Rank with Respect to Varieties

We study the real rank of points with respect to a real variety $X$. This is a generalization of various tensor ranks, where $X$ is in a specific family of real varieties like Veronese or Segre varieties. The maximal real rank can be bounded in terms of the codimension of $X$ only. We show constructively that there exist varieties $X$ for which this bound is tight. The same varieties provide examples where a previous bound of Blekherman-Teitler on the maximal $X$-rank is tight. We also give examples of varieties $X$ for which the gap between maximal complex and the maximal real rank is arbitrarily large. To facilitate our constructions we prove a conjecture of Reznick on the maximal real symmetric rank of symmetric bivariate tensors. Finally we study the geometry of the set of points of maximal real rank in the case of real plane curves.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Algebraic Boundaries of Convex Semi-algebraic Sets

We study the algebraic boundary of a convex semi-algebraic set via duality in convex and algebraic geometry. We generalize the correspondence of facets of a polytope to the vertices of the dual polytope to general semi-algebraic convex bodies. In the general setup, exceptional families of extreme points might exist and we characterize them semi-algebraically. We also give an algorithm to compute a complete list of exceptional families, given the algebraic boundary of the dual convex set.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The Algebraic Boundary of SO(2)-Orbitopes

Let $X\subset\A^{2r}$ be a real curve embedded into an even-dimensional affine space. In the main result of this paper, we characterise when the r-th secant variety to $X$ is an irreducible component of the algebraic boundary of the convex hull of the real points $X(\R)$ of $X$. This fact is then applied to 4-dimensional SO(2)-orbitopes and to the so called Barvinok-Novik orbitopes to study when they are basic closed as semi-algebraic sets. In the case of 4-dimensional SO(2)-orbitopes, we find all irreducible components of their algebraic boundary.

0 citations0 reviewsNo code linkedOpen access