Researcher profile

Rainer Sinn

Rainer Sinn contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
7topics
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

5 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.

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.

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.

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.

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.