Showing 1–49 of 49 results for author: Kummer, M

Maximal Mumford Curves from Planar Graphs

Authors: Mario Kummer, Bernd Sturmfels, Raluca Vlad

Abstract: A curve of genus g is maximal Mumford (MM) if it has g+1 ovals and g tropical cycles. We construct full-dimensional families of MM curves in the Hilbert scheme of canonical curves. This rests on first-order deformations of graph curves whose graph is planar. A curve of genus g is maximal Mumford (MM) if it has g+1 ovals and g tropical cycles. We construct full-dimensional families of MM curves in the Hilbert scheme of canonical curves. This rests on first-order deformations of graph curves whose graph is planar. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: 22 pages

Three results related to the half-plane property of matroids

Authors: Mario Kummer, David Sawall

Abstract: We settle three problems from the literature on stable and real zero polynomials and their connection to matroid theory. We disprove the weak real zero amalgamation conjecture by Schweighofer and the second author. We disprove a conjecture by Brändén and D'León by finding a relaxation of a matroid with the weak half-plane property that does not have the weak half-plane property itself. Finally, we… ▽ More We settle three problems from the literature on stable and real zero polynomials and their connection to matroid theory. We disprove the weak real zero amalgamation conjecture by Schweighofer and the second author. We disprove a conjecture by Brändén and D'León by finding a relaxation of a matroid with the weak half-plane property that does not have the weak half-plane property itself. Finally, we prove that every quaternionic unimodular matroid has the half-plane property which was conjectured by Pendavingh and van Zwam. △ Less

Submitted 2 February, 2024; originally announced February 2024.

MSC Class: 05B35 (Primary); 12D10 (Secondary)

Secant varieties of curves, Ulrich bundles and the arithmetic writhe

Authors: Daniele Agostini, Mario Kummer

Abstract: We establish a connection between the theory of Ulrich sheaves and $\mathbb{A}^1$-homotopy theory. For instance, we prove that the $\mathbb{A}^1$-degree of a morphism between projective varieties, that is relatively oriented by an Ulrich sheaf, is constant on the target even when it is not $\mathbb{A}^1$-connected. Further if an embedded projective variety is the support of a symmetric Ulrich shea… ▽ More We establish a connection between the theory of Ulrich sheaves and $\mathbb{A}^1$-homotopy theory. For instance, we prove that the $\mathbb{A}^1$-degree of a morphism between projective varieties, that is relatively oriented by an Ulrich sheaf, is constant on the target even when it is not $\mathbb{A}^1$-connected. Further if an embedded projective variety is the support of a symmetric Ulrich sheaf of rank one, the $\mathbb{A}^1$-degree of all its linear projections can be read off in an explicit way from the free resolution of the Ulrich sheaf. Finally, we construct an Ulrich sheaf on the secant variety of a curve and use this to define an arithmetic version of Viro's encomplexed writhe for curves in $\mathbb{P}^3$. This can be considered to be an arithmetic analogue of a link invariant. △ Less

Submitted 14 July, 2023; originally announced July 2023.

Some thoughts and experiments on Bergman's compact amalgamation problem

Authors: Michael Joswig, Mario Kummer, Andreas Thom, Claudia He Yun

Abstract: We study the question whether copies of $S^1$ in $\mathrm{SU}(3)$ can be amalgamated in a compact group. This is the simplest instance of a fundamental open problem in the theory of compact groups raised by George Bergman in 1987. Considerable computational experiments suggest that the answer is positive in this case. We obtain a positive answer for a relaxed problem using theoretical consideratio… ▽ More We study the question whether copies of $S^1$ in $\mathrm{SU}(3)$ can be amalgamated in a compact group. This is the simplest instance of a fundamental open problem in the theory of compact groups raised by George Bergman in 1987. Considerable computational experiments suggest that the answer is positive in this case. We obtain a positive answer for a relaxed problem using theoretical considerations. △ Less

Submitted 13 July, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: 15 pages, 2 figures, 3 tables; update contains minor changes that address referee comments

MSC Class: 22C05; 18B99; 90-05; 90C90

Bounding the signed count of real bitangents to plane quartics

Authors: Mario Kummer, Stephen McKean

Abstract: Using methods from enriched enumerative geometry, Larson and Vogt gave a signed count of the number of real bitangents to real smooth plane quartics. This signed count depends on a choice of a distinguished line. Larson and Vogt proved that this signed count is bounded below by 0, and they conjectured that the signed count is bounded above by 8. We prove this conjecture using real algebraic geomet… ▽ More Using methods from enriched enumerative geometry, Larson and Vogt gave a signed count of the number of real bitangents to real smooth plane quartics. This signed count depends on a choice of a distinguished line. Larson and Vogt proved that this signed count is bounded below by 0, and they conjectured that the signed count is bounded above by 8. We prove this conjecture using real algebraic geometry, plane geometry, and some properties of convex sets. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: 11 pages, 4 figures. Comments welcome!

MSC Class: Primary: 14H50. Secondary: 14P99; 14N10

A signed count of 2-torsion points on real abelian varieties

Authors: Mario Kummer

Abstract: We prove that a natural signed count of the $2$-torsion points on a real principally polarized abelian variety $A$ always equals to $2^{g}$ where $g$ is the dimension of $A$. When $A$ is the Jacobian of a real curve we derive signed counts of real odd theta characteristics. These can be interpreted in terms of the extrinsic geometry of contact hyperplanes to the canonical embedding of the curve. W… ▽ More We prove that a natural signed count of the $2$-torsion points on a real principally polarized abelian variety $A$ always equals to $2^{g}$ where $g$ is the dimension of $A$. When $A$ is the Jacobian of a real curve we derive signed counts of real odd theta characteristics. These can be interpreted in terms of the extrinsic geometry of contact hyperplanes to the canonical embedding of the curve. We also formulate a conjectural generalization to arbitrary fields in terms of $\mathbb{A}^1$-enumerative geometry. △ Less

Submitted 25 January, 2023; originally announced January 2023.

Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields

Authors: Manuel Bodirsky, Mario Kummer, Andreas Thom

Abstract: In this article we develop new methods for exhibiting convex semialgebraic sets that are not spectrahedral shadows. We characterize when the set of nonnegative polynomials with a given support is a spectrahedral shadow in terms of sums of squares. As an application of this result we prove that the cone of copositive matrices of size $n\geq5$ is not a spectrahedral shadow, answering a question of S… ▽ More In this article we develop new methods for exhibiting convex semialgebraic sets that are not spectrahedral shadows. We characterize when the set of nonnegative polynomials with a given support is a spectrahedral shadow in terms of sums of squares. As an application of this result we prove that the cone of copositive matrices of size $n\geq5$ is not a spectrahedral shadow, answering a question of Scheiderer. Our arguments are based on the model theoretic observation that any formula defining a spectrahedral shadow must be preserved by every unital $\mathbb{R}$-linear completely positive map $R\to R$ on a real closed field extension $R$ of $\mathbb{R}$. △ Less

Submitted 3 October, 2022; v1 submitted 13 June, 2022; originally announced June 2022.

Equivariant algebraic and semi-algebraic geometry of infinite affine space

Authors: Mario Kummer, Cordian Riener

Abstract: We study $\textrm{Sym}(\infty)$-orbit closures of not necessarily closed points in the Zariski spectrum of the infinite polynomial ring $\mathbb{C}[x_{ij}:\, i\in\mathbb{N},\,j\in[n]]$. Among others, we characterize invariant prime ideals in this ring. Furthermore, we study projections of basic equivariant semi-algebraic sets defined by $\textrm{Sym}(\infty)$ orbits of polynomials in… ▽ More We study $\textrm{Sym}(\infty)$-orbit closures of not necessarily closed points in the Zariski spectrum of the infinite polynomial ring $\mathbb{C}[x_{ij}:\, i\in\mathbb{N},\,j\in[n]]$. Among others, we characterize invariant prime ideals in this ring. Furthermore, we study projections of basic equivariant semi-algebraic sets defined by $\textrm{Sym}(\infty)$ orbits of polynomials in $\mathbb{R}[x_{ij}:\, i\in\mathbb{N},\,j\in[n]]$. For $n=1$ we prove a quantifier elimination type result which fails for $n>1$. △ Less

Submitted 22 March, 2022; originally announced March 2022.

MSC Class: 13E05; 14P10

Linear Principal Minor Polynomials: Hyperbolic Determinantal Inequalities and Spectral Containment

Authors: Grigoriy Blekherman, Mario Kummer, Raman Sanyal, Kevin Shu, Shengding Sun

Abstract: A linear principal minor polynomial or lpm polynomial is a linear combination of principal minors of a symmetric matrix. By restricting to the diagonal, lpm polynomials are in bijection to multiaffine polynomials. We show that this establishes a one-to-one correspondence between homogeneous multiaffine stable polynomials and PSD-stable lpm polynomials. This yields new construction techniques for h… ▽ More A linear principal minor polynomial or lpm polynomial is a linear combination of principal minors of a symmetric matrix. By restricting to the diagonal, lpm polynomials are in bijection to multiaffine polynomials. We show that this establishes a one-to-one correspondence between homogeneous multiaffine stable polynomials and PSD-stable lpm polynomials. This yields new construction techniques for hyperbolic polynomials and allows us to generalize the well-known Fisher--Hadamard and Koteljanskii inequalities from determinants to PSD-stable lpm polynomials. We investigate the relationship between the associated hyperbolicity cones and conjecture a relationship between the eigenvalues of a symmetric matrix and the values of certain lpm polynomials evaluated at that matrix. We refer to this relationship as spectral containment. △ Less

Submitted 26 December, 2021; originally announced December 2021.

Matroids on Eight Elements with the Half-plane Property and Related Concepts

Authors: Mario Kummer, Büşra Sert

Abstract: We classify all matroids with at most 8 elements that have the half-plane property, and we provide a list of some matroids on 9 elements that have, and that do not have the half-plane property. Furthermore, we prove that several classes of matroids and polynomials that are motivated by the theory of semidefinite programming are closed under taking minors and under passing to faces of the Newton po… ▽ More We classify all matroids with at most 8 elements that have the half-plane property, and we provide a list of some matroids on 9 elements that have, and that do not have the half-plane property. Furthermore, we prove that several classes of matroids and polynomials that are motivated by the theory of semidefinite programming are closed under taking minors and under passing to faces of the Newton polytope. △ Less

Submitted 24 October, 2023; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: Reviewed version is added

MSC Class: 05B35; 90C22

Journal ref: SIAM J. Discrete Math. Vol. 37, No. 3 (2023), pp. 2208-2227

Geography of pinched four-manifolds

Authors: Renato G. Bettiol, Mario Kummer, Ricardo A. E. Mendes

Abstract: We prove several new restrictions on the Euler characteristic and signature of oriented 4-manifolds with (positively or negatively) pinched sectional curvature. In particular, we show that simply connected 4-manifolds with $δ\leq \sec\leq 1$, where $δ=\frac{1}{1+3\sqrt3}\cong 0.161$, are homeomorphic to $S^4$ or $\mathbb C P^2$. We prove several new restrictions on the Euler characteristic and signature of oriented 4-manifolds with (positively or negatively) pinched sectional curvature. In particular, we show that simply connected 4-manifolds with $δ\leq \sec\leq 1$, where $δ=\frac{1}{1+3\sqrt3}\cong 0.161$, are homeomorphic to $S^4$ or $\mathbb C P^2$. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Comments: LaTeX2e, 37 pages, 2 figures

MSC Class: 53C20; 53C21; 53C25; 57K40; 57R20; 52B55; 90C20

Iso Edge Domains

Authors: Mathieu Dutour Sikirić, Mario Kummer

Abstract: Iso-edge domains are a variant of the iso-Delaunay decomposition introduced by Voronoi. They were introduced by Baranovskii & Ryshkov in order to solve the covering problem in dimension $5$. In this work we revisit this decomposition and prove the following new results: $\bullet$ We review the existing theory and give a general mass-formula for the iso-edge domains. $\bullet$ We prove that t… ▽ More Iso-edge domains are a variant of the iso-Delaunay decomposition introduced by Voronoi. They were introduced by Baranovskii & Ryshkov in order to solve the covering problem in dimension $5$. In this work we revisit this decomposition and prove the following new results: $\bullet$ We review the existing theory and give a general mass-formula for the iso-edge domains. $\bullet$ We prove that the associated toroidal compactification of the moduli space of principally polarized abelian varieties is projective. $\bullet$ We prove the Conway--Sloane conjecture in dimension $5$. $\bullet$ We prove that the quadratic forms for which the conorms are non-negative are exactly the matroidal ones in dimension $5$. △ Less

Submitted 23 September, 2021; v1 submitted 22 February, 2021; originally announced February 2021.

Real-fibered morphisms of del Pezzo surfaces and conic bundles

Authors: Mario Kummer, Cédric Le Texier, Matilde Manzaroli

Abstract: It goes back to Ahlfors that a real algebraic curve admits a real-fibered morphism to the projective line if and only if the real part of the curve disconnects its complex part. Inspired by this result, we are interested in characterising real algebraic varieties of dimension $n$ admitting real-fibered morphisms to the $n$-dimensional projective space. We present a criterion to classify real-fiber… ▽ More It goes back to Ahlfors that a real algebraic curve admits a real-fibered morphism to the projective line if and only if the real part of the curve disconnects its complex part. Inspired by this result, we are interested in characterising real algebraic varieties of dimension $n$ admitting real-fibered morphisms to the $n$-dimensional projective space. We present a criterion to classify real-fibered morphisms that arise as finite surjective linear projections from an embedded variety which relies on topological linking numbers. We address special attention to real algebraic surfaces. We classify all real-fibered morphisms from real del Pezzo surfaces to the projective plane and determine which such morphisms arise as the composition of a projective embedding with a linear projection. Furthermore, we give some insights in the case of real conic bundles. △ Less

Submitted 21 January, 2021; originally announced January 2021.

Nodes on quintic spectrahedra

Authors: Taylor Brysiewicz, Khazhgali Kozhasov, Mario Kummer

Abstract: We classify transversal quintic spectrahedra by the location of 20 nodes on the respective real determinantal surface of degree 5. We identify 65 classes of such surfaces and find an explicit representative in each of them. We classify transversal quintic spectrahedra by the location of 20 nodes on the respective real determinantal surface of degree 5. We identify 65 classes of such surfaces and find an explicit representative in each of them. △ Less

Submitted 27 November, 2020; originally announced November 2020.

A generalization of the space of complete quadrics

Authors: Abeer Al Ahmadieh, Mario Kummer, Miruna-Stefana Sorea

Abstract: To any homogeneous polynomial $h$ we naturally associate a variety $Ω_h$ which maps birationally onto the graph $Γ_h$ of the gradient map $\nabla h$ and which agrees with the space of complete quadrics when $h$ is the determinant of the generic symmetric matrix. We give a sufficient criterion for $Ω_h$ being smooth which applies for example when $h$ is an elementary symmetric polynomial. In this c… ▽ More To any homogeneous polynomial $h$ we naturally associate a variety $Ω_h$ which maps birationally onto the graph $Γ_h$ of the gradient map $\nabla h$ and which agrees with the space of complete quadrics when $h$ is the determinant of the generic symmetric matrix. We give a sufficient criterion for $Ω_h$ being smooth which applies for example when $h$ is an elementary symmetric polynomial. In this case $Ω_h$ is a smooth toric variety associated to a certain generalized permutohedron. We also give examples when $Ω_h$ is not smooth. △ Less

Submitted 17 May, 2021; v1 submitted 27 November, 2020; originally announced November 2020.

Comments: Accepted for publication in Le Matematiche

MSC Class: 14P99; 52B40

Journal ref: Le Matematiche, Vol. LXXVI (2021) - Issue II, pp. 431 - 446

Spectral linear matrix inequalities

Authors: Mario Kummer

Abstract: We prove, under a certain representation theoretic assumption, that the set of real symmetric matrices, whose eigenvalues satisfy a linear matrix inequality, is itself a spectrahedron. The main application is that derivative relaxations of the positive semidefinite cone are spectrahedra. From this we further deduce statements on their Wronskians. These imply that Newton's inequalities, as well as… ▽ More We prove, under a certain representation theoretic assumption, that the set of real symmetric matrices, whose eigenvalues satisfy a linear matrix inequality, is itself a spectrahedron. The main application is that derivative relaxations of the positive semidefinite cone are spectrahedra. From this we further deduce statements on their Wronskians. These imply that Newton's inequalities, as well as a strengthening of the correlation inequalities for hyperbolic polynomials, can be expressed as sums of squares. △ Less

Submitted 26 March, 2021; v1 submitted 31 August, 2020; originally announced August 2020.

Positive Ulrich Sheaves

Authors: Christoph Hanselka, Mario Kummer

Abstract: We provide a criterion for a coherent sheaf to be an Ulrich sheaf in terms of a certain bilinear form on its global sections. When working over the real numbers we call it a positive Ulrich sheaf if this bilinear form is symmetric or hermitian and positive definite. In that case our result provides a common theoretical framework for several results in real algebraic geometry concerning the existen… ▽ More We provide a criterion for a coherent sheaf to be an Ulrich sheaf in terms of a certain bilinear form on its global sections. When working over the real numbers we call it a positive Ulrich sheaf if this bilinear form is symmetric or hermitian and positive definite. In that case our result provides a common theoretical framework for several results in real algebraic geometry concerning the existence of algebraic certificates for certain geometric properties. For instance, it implies Hilbert's theorem on nonnegative ternary quartics, via the geometry of del Pezzo surfaces, and the solution of the Lax conjecture on plane hyperbolic curves due to Helton and Vinnikov. △ Less

Submitted 1 August, 2020; originally announced August 2020.

Spike-Triggered Descent

Authors: Michael Kummer, Arunava Banerjee

Abstract: The characterization of neural responses to sensory stimuli is a central problem in neuroscience. Spike-triggered average (STA), an influential technique, has been used to extract optimal linear kernels in a variety of animal subjects. However, when the model assumptions are not met, it can lead to misleading and imprecise results. We introduce a technique, called spike-triggered descent (STD), wh… ▽ More The characterization of neural responses to sensory stimuli is a central problem in neuroscience. Spike-triggered average (STA), an influential technique, has been used to extract optimal linear kernels in a variety of animal subjects. However, when the model assumptions are not met, it can lead to misleading and imprecise results. We introduce a technique, called spike-triggered descent (STD), which can be used alone or in conjunction with STA to increase precision and yield success in scenarios where STA fails. STD works by simulating a model neuron that learns to reproduce the observed spike train. Learning is achieved via parameter optimization that relies on a metric induced on the space of spike trains modeled as a novel inner product space. This technique can precisely learn higher order kernels using limited data. Kernels extracted from a Locusta migratoria tympanal nerve dataset demonstrate the strength of this approach. △ Less

Submitted 12 May, 2020; originally announced May 2020.

Rational functions with only real periodic points

Authors: Khazhgali Kozhasov, Mario Kummer

Abstract: We study self-morphisms of smooth real projective algebraic curves that have only real periodic points. In the case of the projective line we provide a convenient characterization of such morphisms. We derive a semialgebraic description of the component of real fibered rational functions all of whose periodic points are real. We study self-morphisms of smooth real projective algebraic curves that have only real periodic points. In the case of the projective line we provide a convenient characterization of such morphisms. We derive a semialgebraic description of the component of real fibered rational functions all of whose periodic points are real. △ Less

Submitted 27 October, 2020; v1 submitted 21 April, 2020; originally announced April 2020.

Comments: 7 pages

MSC Class: 14P05; 14P10; 26C15; 37F10; 37P05

Hyperbolic Secant Varieties of M-Curves

Authors: Mario Kummer, Rainer Sinn

Abstract: We relate the geometry of curves to the notion of hyperbolicity in real algebraic geometry. A hyperbolic variety is a real algebraic variety that (in particular) admits a real fibered morphism to a projective space whose dimension is equal to the dimension of the variety. We study hyperbolic varieties with a special interest in the case of hypersurfaces that admit a real algebraic ruling. The cent… ▽ More We relate the geometry of curves to the notion of hyperbolicity in real algebraic geometry. A hyperbolic variety is a real algebraic variety that (in particular) admits a real fibered morphism to a projective space whose dimension is equal to the dimension of the variety. We study hyperbolic varieties with a special interest in the case of hypersurfaces that admit a real algebraic ruling. The central part of the paper is concerned with secant varieties of real algebraic curves where the real locus has the maximal number of connected components, which is determined by the genus of the curve. For elliptic normal curves, we further obtain definite symmetric determinantal representations for the hyperbolic secant hypersurfaces, which implies the existence of symmetric Ulrich sheaves of rank one on these hypersurfaces. △ Less

Submitted 2 February, 2020; originally announced February 2020.

Comments: 32 pages, 2 figures; Comments welcome!

MSC Class: 14M12; 14P05; 14P25

On Huisman's conjectures about unramified real curves

Authors: Mario Kummer, Dimitri Manevich

Abstract: Let $X \subset \mathbb{P}^{n}$ be an unramified real curve with $X(\mathbb{R}) \neq \emptyset$. If $n \geq 3$ is odd, Huisman conjectures that $X$ is an $M$-curve and that every branch of $X(\mathbb{R})$ is a pseudo-line. If $n \geq 4$ is even, he conjectures that $X$ is a rational normal curve or a twisted form of a such. We disprove the first conjecture by giving a family of counterexamples. We… ▽ More Let $X \subset \mathbb{P}^{n}$ be an unramified real curve with $X(\mathbb{R}) \neq \emptyset$. If $n \geq 3$ is odd, Huisman conjectures that $X$ is an $M$-curve and that every branch of $X(\mathbb{R})$ is a pseudo-line. If $n \geq 4$ is even, he conjectures that $X$ is a rational normal curve or a twisted form of a such. We disprove the first conjecture by giving a family of counterexamples. We remark that the second conjecture follows for generic curves of odd degree from the formula enumerating the number of complex inflection points. △ Less

Submitted 4 July, 2021; v1 submitted 20 September, 2019; originally announced September 2019.

Comments: 9 pages, 2 figures

Convex Algebraic Geometry of Curvature Operators

Authors: Renato G. Bettiol, Mario Kummer, Ricardo A. E. Mendes

Abstract: We study the structure of the set of algebraic curvature operators satisfying a sectional curvature bound under the light of the emerging field of Convex Algebraic Geometry. More precisely, we determine in which dimensions $n$ this convex semialgebraic set is a spectrahedron or a spectrahedral shadow; in particular, for $n\geq5$, these give new counter-examples to the Helton--Nie Conjecture. Moreo… ▽ More We study the structure of the set of algebraic curvature operators satisfying a sectional curvature bound under the light of the emerging field of Convex Algebraic Geometry. More precisely, we determine in which dimensions $n$ this convex semialgebraic set is a spectrahedron or a spectrahedral shadow; in particular, for $n\geq5$, these give new counter-examples to the Helton--Nie Conjecture. Moreover, efficient algorithms are provided if $n=4$ to test membership in such a set. For $n\geq5$, algorithms using semidefinite programming are obtained from hierarchies of inner approximations by spectrahedral shadows and outer relaxations by spectrahedra. △ Less

Submitted 8 February, 2021; v1 submitted 10 August, 2019; originally announced August 2019.

Comments: LaTeX2e, 28 pages, final (revised) version. To appear in SIAM J. Appl. Algebra Geom

MSC Class: 14P10; 53B20; 53C21; 90C22

Journal ref: SIAM J. Appl. Algebra Geom. 5 (2021), no. 2, 200-228

Externalities in Knowledge Production: Evidence from a Randomized Field Experiment

Authors: Marit Hinnosaar, Toomas Hinnosaar, Michael Kummer, Olga Slivko

Abstract: Are there positive or negative externalities in knowledge production? Do current contributions to knowledge production increase or decrease the future growth of knowledge? We use a randomized field experiment, which added relevant content to some pages in Wikipedia while leaving similar pages unchanged. We find that the addition of content has a negligible impact on the subsequent long-run growth… ▽ More Are there positive or negative externalities in knowledge production? Do current contributions to knowledge production increase or decrease the future growth of knowledge? We use a randomized field experiment, which added relevant content to some pages in Wikipedia while leaving similar pages unchanged. We find that the addition of content has a negligible impact on the subsequent long-run growth of content. Our results have implications for information seeding and incentivizing contributions, implying that additional content does not generate sizable externalities by inspiring nor discouraging future contributions. △ Less

Submitted 2 March, 2019; originally announced March 2019.

The multidimensional truncated Moment Problem: Carathéodory Numbers from Hilbert Functions

Authors: Philipp J. di Dio, Mario Kummer

Abstract: In this paper we improve the bounds for the Carathéodory number, especially on algebraic varieties and with small gaps (not all monomials are present). We provide explicit lower and upper bounds on algebraic varieties, $\mathbb{R}^n$, and $[0,1]^n$. We also treat moment problems with small gaps. We find that for every $\varepsilon>0$ and $d\in\mathbb{N}$ there is a $n\in\mathbb{N}$ such that we ca… ▽ More In this paper we improve the bounds for the Carathéodory number, especially on algebraic varieties and with small gaps (not all monomials are present). We provide explicit lower and upper bounds on algebraic varieties, $\mathbb{R}^n$, and $[0,1]^n$. We also treat moment problems with small gaps. We find that for every $\varepsilon>0$ and $d\in\mathbb{N}$ there is a $n\in\mathbb{N}$ such that we can construct a moment functional $L:\mathbb{R}[x_1,\dots,x_n]_{\leq d}\rightarrow\mathbb{R}$ which needs at least $(1-\varepsilon)\cdot\left(\begin{smallmatrix} n+d\\ n\end{smallmatrix}\right)$ atoms $l_{x_i}$. Consequences and results for the Hankel matrix and flat extension are gained. We find that there are moment functionals $L:\mathbb{R}[x_1,\dots,x_n]_{\leq 2d}\rightarrow\mathbb{R}$ which need to be extended to the worst case degree $4d$, $\tilde{L}:\mathbb{R}[x_1,\dots,x_n]_{\leq 4d}\rightarrow\mathbb{R}$, in order to have a flat extension. △ Less

Submitted 8 January, 2021; v1 submitted 1 March, 2019; originally announced March 2019.

Comments: The first version contained the Carathéodory numbers from Hilbert functions and the shape reconstruction from derivatives of moments. The second part part extended and the paper is split into two papers: "Carathéodory numbers from Hilbert functions" and "Shape and Gaussian Mixture Reconstruction from Derivatives of Moments"

MSC Class: 44A60; 14P99; 30E05; 65D32; 35R30

Journal ref: Math. Annalen 380, 267-291 (2021)

Universal Frequency Dependence of the Hop** AC Conductance in p-Ge/GeSi Structures in the Integer Quantum Hall Effect Regime

Authors: I. L. Drichko, A. A. Dmitriev, V. A. Malysh, I. Yu. Smirnov, Yu. M. Galperin, H. von Känel, M. Kummer, G. Isella, D. Chrastina

Abstract: The hop** ac conductance, which is realized at the transverse conductance minima in the regime of the integer Hall effect, has been measured using a combination of acoustic and microwave methods. Measurements have been made in the p-GeSi/Ge/GeSi structures with quantum wells in a wide frequency range (30-1200 MHz). The experimental frequency dependences of the real part of ac conductance $σ_1$ h… ▽ More The hop** ac conductance, which is realized at the transverse conductance minima in the regime of the integer Hall effect, has been measured using a combination of acoustic and microwave methods. Measurements have been made in the p-GeSi/Ge/GeSi structures with quantum wells in a wide frequency range (30-1200 MHz). The experimental frequency dependences of the real part of ac conductance $σ_1$ have been interpreted on the basis of the model presuming hops between localized electronic states belonging to isolated clusters. At high frequencies, dominating clusters are pairs of close states; upon a decrease in frequency, large clusters that merge into an infinite percolation cluster as the frequency tends to zero become important. In this case, the frequency dependences of the ac conductance can be represented by a universal curve. The scaling parameters and their magnetic-field dependence have been determined. △ Less

Submitted 12 December, 2018; originally announced December 2018.

Comments: 9 pages, 12 figures, 1 table

Journal ref: JETP 126, 246 (2018)

Spectrahedral representations of plane hyperbolic curves

Authors: Mario Kummer, Simone Naldi, Daniel Plaumann

Abstract: We describe a new method for constructing a spectrahedral representation of the hyperbolicity region of a hyperbolic curve in the real projective plane. As a consequence, we show that if the curve is smooth and defined over the rational numbers, then there is a spectrahedral representation with rational matrices. This generalizes a classical construction for determinantal representations of plane… ▽ More We describe a new method for constructing a spectrahedral representation of the hyperbolicity region of a hyperbolic curve in the real projective plane. As a consequence, we show that if the curve is smooth and defined over the rational numbers, then there is a spectrahedral representation with rational matrices. This generalizes a classical construction for determinantal representations of plane curves due to Dixon and relies on the special properties of real hyperbolic curves that interlace the given curve. △ Less

Submitted 28 July, 2018; originally announced July 2018.

Comments: 18 pages, 8 figures

Journal ref: Pacific J. Math. 303 (2019) 243-263

Generalized eigenvalue methods for Gaussian quadrature rules

Authors: Grigoriy Blekherman, Mario Kummer, Cordian Riener, Markus Schweighofer, Cynthia Vinzant

Abstract: A quadrature rule of a measure $μ$ on the real line represents a convex combination of finitely many evaluations at points, called nodes, that agrees with integration against $μ$ for all polynomials up to some fixed degree. In this paper, we present a bivariate polynomial whose roots parametrize the nodes of minimal quadrature rules for measures on the real line. We give two symmetric determinanta… ▽ More A quadrature rule of a measure $μ$ on the real line represents a convex combination of finitely many evaluations at points, called nodes, that agrees with integration against $μ$ for all polynomials up to some fixed degree. In this paper, we present a bivariate polynomial whose roots parametrize the nodes of minimal quadrature rules for measures on the real line. We give two symmetric determinantal formulas for this polynomial, which translate the problem of finding the nodes to solving a generalized eigenvalue problem. △ Less

Submitted 30 May, 2018; originally announced May 2018.

Comments: 13 pages, 2 figures

MSC Class: Primary 65D32; Secondary 14H50; 14P05; 15A22

Effective g factor of 2D holes in strained Ge quantum wells

Authors: I. L. Drichko, A. A. Dmitriev, V. A. Malysh, I. Yu. Smirnov, H. von Känel, M. Kummer, D. Chrastina, G. Isella

Abstract: The effective g-factor of 2D holes in modulation doped \mbox{p-SiGe/Ge/SiGe} structures was studied. The AC conductivity of samples with hole densities from $3.9 \times 10^{11}$~to $6.2 \times 10^{11}~\text{cm}^{-2}$ was measured in perpendicular magnetic fields up to $8~\text{T}$ using a contactless acoustic method. From the analysis of the temperature dependence of conductivity oscillations, the… ▽ More The effective g-factor of 2D holes in modulation doped \mbox{p-SiGe/Ge/SiGe} structures was studied. The AC conductivity of samples with hole densities from $3.9 \times 10^{11}$~to $6.2 \times 10^{11}~\text{cm}^{-2}$ was measured in perpendicular magnetic fields up to $8~\text{T}$ using a contactless acoustic method. From the analysis of the temperature dependence of conductivity oscillations, the $\mathrm{g}_{\perp}$-factor of each sample was determined. The $\mathrm{g}_{\perp}$-factor was found to be decreasing approximately linearly with hole density. This effect is attributed to non-parabolicity of the valence band. △ Less

Submitted 11 April, 2018; originally announced April 2018.

Comments: 4 pages, 5 figures

Totally real theta characteristics

Authors: Mario Kummer

Abstract: A totally real theta characteristic of a real curve is a theta characteristic which is linearly equivalent to a sum of only real points. These are closely related to the facets of the convex hull of the canonical embedding of the curve. A totally real theta characteristic of a real curve is a theta characteristic which is linearly equivalent to a sum of only real points. These are closely related to the facets of the convex hull of the canonical embedding of the curve. △ Less

Submitted 20 April, 2019; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: published version

Schottky Algorithms: Classical meets Tropical

Authors: Lynn Chua, Mario Kummer, Bernd Sturmfels

Abstract: We present a new perspective on the Schottky problem that links numerical computing with tropical geometry. The task is to decide whether a symmetric matrix defines a Jacobian, and, if so, to compute the curve and its canonical embedding. We offer solutions and their implementations in genus four, both classically and tropically. The locus of cographic matroids arises from tropicalizing the Schott… ▽ More We present a new perspective on the Schottky problem that links numerical computing with tropical geometry. The task is to decide whether a symmetric matrix defines a Jacobian, and, if so, to compute the curve and its canonical embedding. We offer solutions and their implementations in genus four, both classically and tropically. The locus of cographic matroids arises from tropicalizing the Schottky-Igusa modular form. △ Less

Submitted 30 September, 2018; v1 submitted 26 July, 2017; originally announced July 2017.

Comments: 17 pages

The separating semigroup of a real curve

Authors: Mario Kummer, Kristin Shaw

Abstract: We introduce the separating semigroup of a real algebraic curve of dividing type. The elements of this semigroup record the possible degrees of the covering maps obtained by restricting separating morphisms to the real part of the curve. We also introduce the hyperbolic semigroup which consists of elements of the separating semigroup arising from morphisms which are compositions of a linear projec… ▽ More We introduce the separating semigroup of a real algebraic curve of dividing type. The elements of this semigroup record the possible degrees of the covering maps obtained by restricting separating morphisms to the real part of the curve. We also introduce the hyperbolic semigroup which consists of elements of the separating semigroup arising from morphisms which are compositions of a linear projection with an embedding of the curve to some projective space. We completely determine both semigroups in the case of maximal curves. We also prove that any embedding of a real curve to projective space of sufficiently high degree is hyperbolic. Using these semigroups we show that the hyperbolicity locus of an embedded curve is in general not connected. △ Less

Submitted 7 February, 2019; v1 submitted 25 July, 2017; originally announced July 2017.

Comments: 14 pages, 4 figures, published version, comments welcome!

MSC Class: 14P99; 14H50 (Primary); 14H51 (Secondary)

On the connectivity of the hyperbolicity region of irreducible polynomials

Authors: Mario Kummer

Abstract: We give an elementary proof for the fact that an irreducible hyperbolic polynomial has only one pair of hyperbolicity cones. We give an elementary proof for the fact that an irreducible hyperbolic polynomial has only one pair of hyperbolicity cones. △ Less

Submitted 14 April, 2017; originally announced April 2017.

Sixty-Four Curves of Degree Six

Authors: Nidhi Kaihnsa, Mario Kummer, Daniel Plaumann, Mahsa Sayyary Namin, Bernd Sturmfels

Abstract: We present a computational study of smooth curves of degree six in the real projective plane. In the Rokhlin-Nikulin classification, there are 56 topological types, refined into 64 rigid isotopy classes. We developed software that determines the topological type of a given sextic and used it to compute empirical probability distributions on the various types. We list 64 explicit representatives wi… ▽ More We present a computational study of smooth curves of degree six in the real projective plane. In the Rokhlin-Nikulin classification, there are 56 topological types, refined into 64 rigid isotopy classes. We developed software that determines the topological type of a given sextic and used it to compute empirical probability distributions on the various types. We list 64 explicit representatives with integer coefficients, and we perturb these to draw many samples from each class. This allows us to explore how many of the bitangents, inflection points and tensor eigenvectors are real. We also study the real tensor rank, the construction of quartic surfaces with prescribed topology, and the avoidance locus, which is the locus of all real lines that do not meet a given sextic. This is a union of up to 46 convex regions, bounded by the dual curve. △ Less

Submitted 22 July, 2017; v1 submitted 5 March, 2017; originally announced March 2017.

Comments: 28 pages, 8 figues; corrections and improved exposition

MSC Class: Primary 14P25; Secondary 14H50; 68W30

Interlacing Ehrhart Polynomials of Reflexive Polytopes

Authors: Akihiro Higashitani, Mario Kummer, Mateusz Michałek

Abstract: It was observed by Bump et al. that Ehrhart polynomials in a special family exhibit properties similar to the Riemann ζ function. The construction was generalized by Matsui et al. to a larger family of reflexive polytopes coming from graphs. We prove several conjectures confirming when such polynomials have zeros on a certain line in the complex plane. Our main new method is to prove a stronger pr… ▽ More It was observed by Bump et al. that Ehrhart polynomials in a special family exhibit properties similar to the Riemann ζ function. The construction was generalized by Matsui et al. to a larger family of reflexive polytopes coming from graphs. We prove several conjectures confirming when such polynomials have zeros on a certain line in the complex plane. Our main new method is to prove a stronger property called interlacing. △ Less

Submitted 22 December, 2016; originally announced December 2016.

Journal ref: Selecta Math. , 23(4), 2977-2998, 2017

The Chow form of a reciprocal linear space

Authors: Mario Kummer, Cynthia Vinzant

Abstract: A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamov… ▽ More A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamovich and Vinnikov. Here we give a definite determinantal representation to the Chow form of a reciprocal linear space. One consequence is the existence of symmetric rank-one Ulrich sheaves on reciprocal linear spaces. Another is a representation of the entropic discriminant as a sum of squares. For generic linear spaces, the determinantal formulas obtained are closely related to the Laplacian of the complete graph and generalizations to simplicial matroids. This raises interesting questions about the combinatorics of hyperbolic varieties and connections with the positive Grassmannian. △ Less

Submitted 14 October, 2016; originally announced October 2016.

Comments: 21 pages

On Deformations of Hyperbolic Varities

Authors: Mario Kummer, Eli Shamovich

Abstract: In this paper we study flat deformations of real subschemes of $\mathbb{P}^n$, hyperbolic with respect to a fixed linear subspace, i.e. admitting a finite surjective and real fibered linear projection. We show that the subset of the corresponding Hilbert scheme consisting of such subschemes is closed and connected in the classical topology. Every smooth variety in this set lies in the interior of… ▽ More In this paper we study flat deformations of real subschemes of $\mathbb{P}^n$, hyperbolic with respect to a fixed linear subspace, i.e. admitting a finite surjective and real fibered linear projection. We show that the subset of the corresponding Hilbert scheme consisting of such subschemes is closed and connected in the classical topology. Every smooth variety in this set lies in the interior of this set. Furthermore, we provide sufficient conditions for a hyperbolic subscheme to admit a flat deformation to a smooth hyperbolic subscheme. This leads to new examples of smooth hyperbolic varieties. △ Less

Submitted 18 January, 2019; v1 submitted 12 August, 2016; originally announced August 2016.

The geometry of rank-one tensor completion

Authors: Thomas Kahle, Kaie Kubjas, Mario Kummer, Zvi Rosen

Abstract: The geometry of the set of restrictions of rank-one tensors to some of their coordinates is studied. This gives insight into the problem of rank-one completion of partial tensors. Particular emphasis is put on the semialgebraic nature of the problem, which arises for real tensors with constraints on the parameters. The algebraic boundary of the completable region is described for tensors parametri… ▽ More The geometry of the set of restrictions of rank-one tensors to some of their coordinates is studied. This gives insight into the problem of rank-one completion of partial tensors. Particular emphasis is put on the semialgebraic nature of the problem, which arises for real tensors with constraints on the parameters. The algebraic boundary of the completable region is described for tensors parametrized by probability distributions and where the number of observed entries equals the number of parameters. If the observations are on the diagonal of a tensor of format $d\times\dots\times d$, the complete semialgebraic description of the completable region is found. △ Less

Submitted 2 December, 2016; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: 24 pages, 3 figures; v2: Final version, accepted in SIAM Journal of Applied Algebra and Geometry (SIAGA)

Journal ref: SIAM J. Appl. Algebra Geometry, 1(1) (2017), 200-221

On the real rank of monomials

Authors: Enrico Carlini, Mario Kummer, Alessandro Oneto, Emanuele Ventura

Abstract: In this paper we study the real rank of monomials and we give an upper bound for the real rank of all monomials. We show that the real and the complex ranks of a monomial coincide if and only if the least exponent is equal to one. In this paper we study the real rank of monomials and we give an upper bound for the real rank of all monomials. We show that the real and the complex ranks of a monomial coincide if and only if the least exponent is equal to one. △ Less

Submitted 7 March, 2016; v1 submitted 2 February, 2016; originally announced February 2016.

Comments: 7 pages; Conjecture 1 and Conjecture 2 from the previous versions have been proven in Theorem 3.4 and Theorem 3.5

MSC Class: 14P99; 12D05; 13P10; 14A25

Journal ref: Mathematische Zeitschrift 286(1):571-577 (2017)

Eigenvalues of symmetric matrices over integral domains

Authors: Mario Kummer

Abstract: Given an integral domain A we consider the set of all integral elements over A that can occur as an eigenvalue of a symmetric matrix over A. We give a sufficient criterion for being such an element. In the case where A is the ring of integers of an algebraic number field this sufficient criterion is also necessary and we show that the size of matrices grows linearly in the degree of the element. T… ▽ More Given an integral domain A we consider the set of all integral elements over A that can occur as an eigenvalue of a symmetric matrix over A. We give a sufficient criterion for being such an element. In the case where A is the ring of integers of an algebraic number field this sufficient criterion is also necessary and we show that the size of matrices grows linearly in the degree of the element. The latter result settles a questions raised by Bass, Estes and Guralnick. △ Less

Submitted 9 March, 2016; v1 submitted 3 November, 2015; originally announced November 2015.

Comments: Serious error in previous version

Real Fibered Morphisms and Ulrich Sheaves

Authors: Mario Kummer, Eli Shamovich

Abstract: In this paper we define and study real fibered morphisms. Such morphisms arise in the study of real hyperbolic hypersurfaces in projective space and other hyperbolic varieties. We show that real fibered morphisms are intimately connected to Ulrich sheaves admitting positive definite symmetric bilinear forms. In this paper we define and study real fibered morphisms. Such morphisms arise in the study of real hyperbolic hypersurfaces in projective space and other hyperbolic varieties. We show that real fibered morphisms are intimately connected to Ulrich sheaves admitting positive definite symmetric bilinear forms. △ Less

Submitted 11 September, 2018; v1 submitted 24 July, 2015; originally announced July 2015.

Comments: Minor changes. Added fone figure and one lemma

Two results on the size of spectrahedral descriptions

Authors: Mario Kummer

Abstract: A spectrahedron is a set defined by a linear matrix inequality. Given a spectrahedron we are interested in the question of the smallest possible size $r$ of the matrices in the description by linear matrix inequalities. We show that for the $n$-dimensional unit ball $r$ is at least $\frac{n}{2}$. If $n=2^k+1$, then we actually have $r=n$. The same holds true for any compact convex set in… ▽ More A spectrahedron is a set defined by a linear matrix inequality. Given a spectrahedron we are interested in the question of the smallest possible size $r$ of the matrices in the description by linear matrix inequalities. We show that for the $n$-dimensional unit ball $r$ is at least $\frac{n}{2}$. If $n=2^k+1$, then we actually have $r=n$. The same holds true for any compact convex set in $\mathbb{R}^n$ defined by a quadratic polynomial. Furthermore, we show that for a convex region in $\mathbb{R}^3$ whose algebraic boundary is smooth and defined by a cubic polynomial we have that $r$ is at least five. More precisely, we show that if $A,B,C$ are real symmetric matrices such that $f(x,y,z)=\det(I+A x+B y+C z)$ is a cubic polynomial, the surface in complex projective three-space with affine equation $f(x,y,z)=0$ is singular. △ Less

Submitted 26 June, 2015; v1 submitted 25 June, 2015; originally announced June 2015.

Comments: 10 pages, 2 figures, minor mistakes corrected

In-plane magnetic field effect on hole cyclotron mass and $g_z$ factor in high-mobility SiGe/Ge/SiGe structures

Authors: I. L. Drichko, V. A. Malysh, I. Yu. Smirnov, L. E. Golub, S. A. Tarasenko, A. V. Suslov, O. A. Mironov, M. Kummer, H. von Känel

Abstract: The high-frequency (ac) conductivity of a high quality modulation doped GeSi/Ge/GeSi single quantum well structure with hole density $p$=6$\times$10$^{11}$cm$^{-2}$ was measured by the surface acoustic wave (SAW) technique at frequencies of 30 and 85~MHz and magnetic fields $B$ of up to 18 T in the temperature range of 0.3 -- 5.8 K. The acoustic effects were also measured as a function of the tilt… ▽ More The high-frequency (ac) conductivity of a high quality modulation doped GeSi/Ge/GeSi single quantum well structure with hole density $p$=6$\times$10$^{11}$cm$^{-2}$ was measured by the surface acoustic wave (SAW) technique at frequencies of 30 and 85~MHz and magnetic fields $B$ of up to 18 T in the temperature range of 0.3 -- 5.8 K. The acoustic effects were also measured as a function of the tilt angle of the magnetic field with respect to the normal of the two-dimensional channel at $T$=0.3 K. It is shown, that at the minima of the conductivity oscillations, holes are localized on the Fermi level, and that there is a temperature domain in which the high-frequency conductivity in the bulk of the quantum well is of the activation nature. The analysis of the temperature dependence of the conductivity at odd filling factors enables us to determine the effective $g_z$ factor. It is shown that the in-plane component of the magnetic field leads to an increase of the cyclotron mass and to a reduction of the $g_z$ factor. We developed a microscopic theory of these effects for the heavy-hole states of the complex valence band in quantum wells which describes well the experimental findings. △ Less

Submitted 13 November, 2014; originally announced November 2014.

Comments: 9 pages, 10 figures

Journal ref: Phys. Rev. B 90, 125436 (2014)

Contactless Measurement of AC Conductance in Quantum Hall Structures

Authors: I. L. Drichko, A. M. Diakonov, V. A. Malysh, I. Yu. Smirnov, Y. M. Galperin, N. D. Ilyinskaya, A. A. Usikova, M. Kummer, H. von Känel

Abstract: We report a procedure to determine the frequency-dependent conductance of quantum Hall structures in a broad frequency domain. The procedure is based on the combination of two known probeless methods -- acoustic spectroscopy and microwave spectroscopy. By using the acoustic spectroscopy, we study the low-frequency attenuation and phase shift of a surface acoustic wave in a piezoelectric crystal in… ▽ More We report a procedure to determine the frequency-dependent conductance of quantum Hall structures in a broad frequency domain. The procedure is based on the combination of two known probeless methods -- acoustic spectroscopy and microwave spectroscopy. By using the acoustic spectroscopy, we study the low-frequency attenuation and phase shift of a surface acoustic wave in a piezoelectric crystal in the vicinity of the electron (hole) layer. The electronic contribution is resolved using its dependence on a transverse magnetic field. At high frequencies, we study the attenuation of an electromagnetic wave in a coplanar waveguide. To quantitatively calibrate these data, we use the fact that in the quantum-Hall-effect regime the conductance at the maxima of its magnetic field dependence is determined by extended states. Therefore, it should be frequency independent in a broad frequency domain. The procedure is verified by studies of a well-characterized $p$-SiGe/Ge/SiGe heterostructure. △ Less

Submitted 10 July, 2014; originally announced July 2014.

Comments: 7 pages, 8 figures; to be submitted to JAP

Acoustoelectric effects in very high-mobility $p$-SiGe/Ge/SiGe heterostructure at low temperatures in high magnetic fields

Authors: I. L. Drichko, V. A. Malysh, I. Yu. Smirnov, A. V. Suslov, O. A. Mironov, M. Kummer, H. von Känel

Abstract: The contactless Surface Acoustic Wave (SAW) technique was implemented to probe the high-frequency (ac) conductivity in a high-mobility $p$-SiGe/Ge/SiGe structure in the integer quantum Hall (IQHE) regime. The structure was grown by low-energy plasma-enhanced chemical vapor deposition and comprised a two-dimensional channel formed in a compressively strained Ge layer. It was investigated at tempera… ▽ More The contactless Surface Acoustic Wave (SAW) technique was implemented to probe the high-frequency (ac) conductivity in a high-mobility $p$-SiGe/Ge/SiGe structure in the integer quantum Hall (IQHE) regime. The structure was grown by low-energy plasma-enhanced chemical vapor deposition and comprised a two-dimensional channel formed in a compressively strained Ge layer. It was investigated at temperatures of 0.3 - 5.8 K and magnetic fields up to 18 T at various SAW intensities. In the IQHE regime, in minima of the conductivity oscillations with small filling factors, holes are localized. The ac conductivity is of the hop** nature and can be described within the "two-site" model. Furthermore, the dependence of the ac conductivity on the electric field of the SAW was determined. The manifestation of non-linear effects is interpreted in terms of nonlinear percolation-based conductivity. △ Less

Submitted 11 December, 2013; originally announced December 2013.

Comments: 6 pages, 10 figures

Journal ref: JAP 114, 074302 (2013)

Determinantal Representations and Bézoutians

Authors: Mario Kummer

Abstract: We show that for every smooth hyperbolic polynomial h there is another hyperbolic polynomial q such that qh has a definite determinantal representation. This is proved by considering sum-of-squares decompositions of certain bilinear forms called Bézoutians. Besides commutative algebra, the proof relies on results from real algebraic geometry. We show that for every smooth hyperbolic polynomial h there is another hyperbolic polynomial q such that qh has a definite determinantal representation. This is proved by considering sum-of-squares decompositions of certain bilinear forms called Bézoutians. Besides commutative algebra, the proof relies on results from real algebraic geometry. △ Less

Submitted 3 June, 2015; v1 submitted 26 August, 2013; originally announced August 2013.

Comments: v2: differently organized

A Note on the Hyperbolicity Cone of the Specialized Vámos Polynomial

Authors: Mario Kummer

Abstract: The specialized Vámos polynomial is a hyperbolic polynomial of degree four in four variables with the property that none of its powers admits a definite determinantal representation. We will use a heuristical method to prove that its hyperbolicity cone is a spectrahedron. The specialized Vámos polynomial is a hyperbolic polynomial of degree four in four variables with the property that none of its powers admits a definite determinantal representation. We will use a heuristical method to prove that its hyperbolicity cone is a spectrahedron. △ Less

Submitted 18 August, 2015; v1 submitted 19 June, 2013; originally announced June 2013.

Comments: Notable easier arguments and minor corrections

Hyperbolic polynomials, interlacers, and sums of squares

Authors: Mario Kummer, Daniel Plaumann, Cynthia Vinzant

Abstract: Hyperbolic polynomials are real polynomials whose real hypersurfaces are nested ovaloids, the inner most of which is convex. These polynomials appear in many areas of mathematics, including optimization, combinatorics and differential equations. Here we investigate the special connection between a hyperbolic polynomial and the set of polynomials that interlace it. This set of interlacers is a conv… ▽ More Hyperbolic polynomials are real polynomials whose real hypersurfaces are nested ovaloids, the inner most of which is convex. These polynomials appear in many areas of mathematics, including optimization, combinatorics and differential equations. Here we investigate the special connection between a hyperbolic polynomial and the set of polynomials that interlace it. This set of interlacers is a convex cone, which we write as a linear slice of the cone of nonnegative polynomials. In particular, this allows us to realize any hyperbolicity cone as a slice of the cone of nonnegative polynomials. Using a sums of squares relaxation, we then approximate a hyperbolicity cone by the projection of a spectrahedron. A multiaffine example coming from the Vamos matroid shows that this relaxation is not always exact. Using this theory, we characterize the real stable multiaffine polynomials that have a definite determinantal representation and construct one when it exists. △ Less

Submitted 3 November, 2013; v1 submitted 30 December, 2012; originally announced December 2012.

Comments: Minor corrections and improvements (20 pages, 11 figures)

MSC Class: Primary: 14P99; Secondary: 05E99; 11E25; 14J70; 52A20; 90C22

Acoustoelectric effects in very high-mobility $p$-SiGe/Ge/SiGe heterostructure

Authors: I. L. Drichko, A. M. Diakonov, E. V. Lebedeva, I. Yu. Smirnov, O. A. Mironov, M. Kummer, H. von Känel

Abstract: Measurement results of the acoustoelectric effects (surface acoustic waves (SAW) attenuation and velocity) in a high-mobility $p$-SiGe/Ge/SiGe structure are presented. The structure was LEPECVD grown with a two dimensional (2D) channel buried in the strained Ge layer. The measurements were performed as a function of temperature (1.5 - 4.2 K) and magnetic field (up to 8.4 T) at different SAW inte… ▽ More Measurement results of the acoustoelectric effects (surface acoustic waves (SAW) attenuation and velocity) in a high-mobility $p$-SiGe/Ge/SiGe structure are presented. The structure was LEPECVD grown with a two dimensional (2D) channel buried in the strained Ge layer. The measurements were performed as a function of temperature (1.5 - 4.2 K) and magnetic field (up to 8.4 T) at different SAW intensities at frequencies 28 and 87 MHz. Shubnikov-de Haas-like oscillations of both SAW attenuation and the velocity change have been observed. Hole density and mobility, effective mass, quantum and transport relaxation times, as well as the Dingle temperature were measured with a method free of electric contacts. The effect of heating of the 2D hole gas by the electric field of the SAW was investigated. Energy relaxation time $τ_{\varepsilon}$ and the deformation potential constant determined. △ Less

Submitted 15 June, 2009; originally announced June 2009.

Comments: 5 pages, 7 figures, 1 table

Kolmogorov complexity and instance complexity of recursively enumerable sets

Authors: Martin Kummer

Abstract: We study in which way Kolmogorov complexity and instance complexity affect properties of r.e. sets. We show that the well-known 2log n upper bound on the Kolmogorov complexity of initial segments of r.e.\ sets is optimal and characterize the T-degrees of r.e. sets which attain this bound. The main part of the paper is concerned with instance complexity of r.e. sets. We construct a nonrecursive r… ▽ More We study in which way Kolmogorov complexity and instance complexity affect properties of r.e. sets. We show that the well-known 2log n upper bound on the Kolmogorov complexity of initial segments of r.e.\ sets is optimal and characterize the T-degrees of r.e. sets which attain this bound. The main part of the paper is concerned with instance complexity of r.e. sets. We construct a nonrecursive r.e. set with instance complexity logarithmic in the Kolmogorov complexity. This refutes a conjecture of Ko, Orponen, Sch"oning, and Watanabe. In the other extreme, we show that all wtt-complete set and all Q-complete sets have infinitely many hard instances. △ Less

Submitted 24 May, 1994; originally announced May 1994.

Report number: Logic E-prints May 25, 1994