Search

Nuclear magnetism underpins areas such as medicine in magnetic resonance imaging (MRI). Hyperpolarization of nuclei enhances the quantity and quality of information that can be determined from these techniques by increasing their signal to noise ratios by orders of magnitude. However, some of these hyperpolarization techniques rely on the use of low to ultralow magnetic fields (ULF) (nTs-mTs), where empirical data on how nuclear magnetism behaves is lacking. The broadband character and ultrasensitive field sensitivity of superconducting quantum interference devices (SQUID) allow for probing nuclear magnetism at these fields, where other magnetometers, such as Faraday coils and flux gates do not. To this end, we designed a hyperpolarization reactor to hyperpolarize [1-$^{13}$C]pyruvate with the technique, signal amplification by reversible exchange in shield enables alignment transfer to heteronuclei (SABRE-SHEATH). Afterwards, we were able to characterize the field sensitivity of our setup by simulating the filled reactor in relation to its placement in our ultralow noise, ULF MRI setup. Using the results of the simulations, we determined that our hyperpolarization setup results in a $^{13}$C polarization of 0.4%, a signal enhancement of ~100 000 000 versus the predicted thermal equilibrium signal at earth field (~50 $\mu$T). This results in a $^{13}$C signal of 7.44$\pm$0.91 pT, which with our ultralow noise setup, opens the possibility for the first direct detection of nuclear magnetism without system perturbation., Comment: 5 pages, 7 figures, ASC 2024, submitted to IEEE TAS

Every polygon with n vertices in the complex projective plane is naturally associated with its adjoint curve of degree n-3. Hence the adjoint of a heptagon is a plane quartic. We prove that a general plane quartic is the adjoint of exactly 864 distinct complex heptagons. This number had been numerically computed by Kohn et al. We use intersection theory and the Scorza correspondence for quartics to show that 864 is an upper bound, complemented by a lower bound obtained through explicit analysis of the famous Klein quartic., Comment: 18 pages, 1 figure

Nuclear spin hyperpolarization enables real-time observation of metabolism and intermolecular interactions in vivo. 1-13C-Pyruvate is the leading hyperpolarized tracer currently under evaluation in several clinical trials as a promising molecular imaging agent. Still, the quest for a simple, fast, and efficient hyperpolarization technique is ongoing. Here, we describe that continuous, weak irradiation in the audio-frequency range of the 13C spin at 121 {\mu}T magnetic field (\sim twiceEarth\apos s field) enables spin order transfer from parahydrogen to 13C magnetization of 1-13C-pyruvate. These so-called LIGHT-SABRE pulses couple nuclear spin states of parahydrogen and pyruvate via the J-coupling network of reversibly exchanging Ir-complexes. Using \sim 100% parahydrogen at ambient pressure, we polarized 51 mM of 1-13C-pyruvate in the presence of 5.1 mM Ir-complex continuously and repeatedly to a polarization of 1.1% averaged over free and catalyst-bound pyruvate. The experiments were conducted at -8{\deg}C), where almost exclusively bound pyruvate was observed, corresponding to an estimated 11% polarization on bound pyruvate. The obtained hyperpolarization levels closely match those obtained via SABRE-SHEATH under otherwise identical conditions. The creation of three different types of spin orders was observed: transverse 13C magnetization along the applied magnetic field, 13C z-magnetization along the main field B_0, and 13C-1H zz-spin-order. With a superconducting quantum interference device (SQUID) for detection, we found that the generated spin orders result from tiny 1H-13C J-coupling interactions, which are not visible even with our narrow linewidth below 0.3 Hz.

Although 19F has high potential to serve as a background-free molecular marker in bioimaging, the molar amount of marker substance is often too small to enable 19F MR imaging or 19F NMR spectroscopy with a sufficiently high signal-to-noise ratio (SNR). Hyperpolarization methods such as parahydrogen-based hyperpolarization or dynamic nuclear polarization (DNP) can significantly improve the SNR, but require expensive and complex sample preparation and the removal of toxic catalysts and solvents. Therefore, we used the biologically compatible model of the fluorinated amino acid 3-fluoro-DL-tyrosine with riboflavin 5'-monophosphate (FMN) as a chromophore dissolved in D2O with 3.4% H2Odest. allowing to transform light energy into hyperpolarization of the 19F nucleus via photo-chemically induced dynamic nuclear polarization (photo-CIDNP). We used a low-cost high-power blue LED to illuminate the sample replacing traditionally used laser excitation, which is both potentially harmful and costly. For the first time, we present results of hyperpolarized 19F MRI and 19F NMR performed with a low-cost 0.6 T benchtop MRI system. The device allowed simultaneous dual channel 1H/19F NMR. 19F imaging was performed with a (0.94 mm)2 in-plane resolution. This enabled the spatial resolution of different degrees of hyperpolarization within the sample. We estimated the photo-CIDNP-based 19F signal enhancement at 0.6 T to be approximately 465. FMN did not bleach out even after multiple excitations, so that the signal-to-noise ratio could be further improved by averaging hyperpolarized signals. The results show that the easy-to-use experimental setup has a high potential to serve as an efficient preclinical tool for hyperpolarization studies in bioimaging., Comment: 16 pages, 5 figures, supplementary information (4pages, 4 figures)

Parahydrogen (pH2) is a convenient and cost efficient source for magnetic resonance signal enhancement. Transient interaction of pH2 with a metal organic complex in a signal amplification by reversible exchange (SABRE) experiment enabled more than 10% polarization for some 15N molecules. Here, we analyzed a variant of SABRE, consisting of an outer magnetic field alternating between a low field of ~1 \muT, where a polarization transfer takes place, and a higher field >50 \muT (alt-SABRE). We found effects of both of these fields on amplitude and the frequency of polarization transfer. Deviation of a lower magnetic field from a "perfect" condition of level anti-crossing increases the frequency of polarization transfer that can be exploited for polarization of short-lived transient SABRE complexes i.e. some substrates. Moreover, the coherences responsible for polarization transfer at a lower field persisted during magnetic field variation and continued their spin evolution at higher field with a frequency of 2.5 kHz at 54 \muT. The latter should be taken into consideration for an efficient alt-SABRE.

Given a real algebraic curve, embedded in projective space, we study the computational problem of deciding whether there exists a hyperplane meeting the curve in real points only. More generally, given any divisor on such a curve, we may ask whether the corresponding linear series contains an effective divisor with totally real support. This translates into a particular type of parametrized real root counting problem that we wish to solve exactly. On the other hand, it is known that for a given genus and number of real connected components, any linear series of sufficiently large degree contains a totally real effective divisor. Using the algorithms described in this paper, we solve a number of examples, which we can compare to the best known bounds for the required degree.

We study families of faces for convex semi-algebraic sets via the normal cycle which is a semi-algebraic set similar to the conormal variety in projective duality theory. We propose a convex algebraic notion of a "patch" -- a term recently coined by Ciripoi, Kaihnsa, L\"ohne, and Sturmfels as a tool for approximating the convex hull of a semi-algebraic set. We discuss geometric consequences, both for the semi-algebraic and convex geometry of the families of faces, as well as variations of our definition and their consequences., Comment: 22 pages

Kippenhahn's Theorem asserts that the numerical range of a matrix is the convex hull of a certain algebraic curve. Here, we show that the joint numerical range of finitely many Hermitian matrices is similarly the convex hull of a semi-algebraic set. We discuss an analogous statement regarding the dual convex cone to a hyperbolicity cone and prove that the class of bases of these dual cones is closed under linear operations. The result offers a new geometric method to analyze quantum states., Comment: 28 pages, 5 figures; version v2 extends version v1 in applications and examples and has more detailed proofs. Any comments are welcomed

We present a method for the simultaneous observation of heteronuclear multi-quantum coherences (up to the 3rd order), which give an additional degree of freedom for ultralow magnetic field (ULF) MR experiments, where the chemical shift is negligible. The nonequilibrium spin state is generated by Signal Amplification By Reversible Exchange (SABRE) and detected at ULF with SQUID-based NMR. We compare the results obtained by the heteronuclei Correlated SpectroscopY (COSY) with a Flip Angle FOurier Series (FAFOS) method. COSY allows a quantitative analysis of homo- and heteronuclei quantum coherences.

Hyperbolic polynomials are real multivariate polynomials with only real roots along a fixed pencil of lines. Testing whether a given polynomial is hyperbolic is a difficult task in general. We examine different ways of translating hyperbolicity into nonnegativity conditions, which can then be tested via sum-of-squares relaxations., Comment: 12 pages, 1 figure; minor changes in Section 2 and a few corrections

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., Comment: 18 pages, 8 figures

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., Comment: 28 pages, 8 figues; corrections and improved exposition

Hyperbolic programming is the problem of computing the infimum of a linear function when restricted to the hyperbolicity cone of a hyperbolic polynomial, a generalization of semidefinite programming. We propose an approach based on symbolic computation, relying on the multiplicity structure of the algebraic boundary of the cone, without the assumption of determinantal representability. This allows us to design exact algorithms able to certify the multiplicity of the solution and the optimal value of the linear function., Comment: Final version, published in the Journal of Algebra and its Applications (2017). 16 pages, 1 figure

Representations of nonnegative polynomials as sums of squares are central to real algebraic geometry and the subject of active research. The sum-of-squares representations of a given polynomial are parametrized by the convex body of positive semidefinite Gram matrices, called the Gram spectrahedron. This is a fundamental object in polynomial optimization and convex algebraic geometry. We summarize results on sums of squares that fit naturally into the context of Gram spectrahedra, present some new results, and highlight related open questions. We discuss sum-of-squares representations of minimal length and relate them to Hermitian Gram spectrahedra and point evaluations on toric varieties., Comment: 24 pages; minor additions and corrections

A celebrated result by Hilbert says that every real nonnegative ternary quartic is a sum of three squares. We show more generally that every nonnegative quadratic form on a real projective variety $X$ of minimal degree is a sum of $\dim(X)+1$ squares of linear forms. This strengthens one direction of a recent result due to Blekherman, Smith, and Velasco. Our upper bound is the best possible, and it implies the existence of low-rank factorizations of positive semidefinite bivariate matrix polynomials and representations of biforms as sums of few squares. We determine the number of equivalence classes of sum-of-squares representations of general quadratic forms on surfaces of minimal degree, generalizing the count for ternary quartics by Powers, Reznick, Scheiderer, and Sottile., Comment: 16 pages, 1 figure, minor revisions

Given a semi-algebraic set S, we study compactifications of S that arise from embeddings into complete toric varieties. This makes it possible to describe the asymptotic growth of polynomial functions on S in terms of combinatorial data. We extend our earlier work to compute the ring of bounded functions in this setting and discuss applications to positive polynomials and the moment problem. Complete results are obtained in special cases, like sets defined by binomial inequalities. We also show that the wild behaviour of certain examples constructed by Krug and by Mondal-Netzer cannot occur in a toric setting., Comment: 19 pages; minor updates and corrections

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., Comment: 8 pages, 2 figures

We study the pullback of the apolarity invariant of complex polynomials in one variable under a polynomial map on the complex plane. As a consequence, we obtain variations of the classical results of Grace and Walsh in which the unit disk, or a circular domain, is replaced by its image under the given polynomial map., Comment: minor corrections; 14 pages, 3 figures

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., Comment: Minor corrections and improvements (20 pages, 11 figures)

A smooth curve in the real projective plane is hyperbolic if its ovals are maximally nested. By the Helton-Vinnikov Theorem, any such curve admits a definite symmetric determinantal representation. We use polynomial homotopy continuation to compute such representations numerically. Our method works by lifting paths from the space of hyperbolic polynomials to a branched cover in the space of pairs of symmetric matrices., Comment: minor corrections and additions, 13 pages

If a real symmetric matrix of linear forms is positive definite at some point, then its determinant is a hyperbolic hypersurface. In 2007, Helton and Vinnikov proved a converse in three variables, namely that every hyperbolic plane curve has a definite real symmetric determinantal representation. The goal of this paper is to give a more concrete proof of a slightly weaker statement. Here we show that every hyperbolic plane curve has a definite determinantal representation with Hermitian matrices. We do this by relating the definiteness of a matrix to the real topology of its minors and extending a construction of Dixon from 1902. Like Helton and Vinnikov's theorem, this implies that every hyperbolic region in the plane is defined by a linear matrix inequality., Comment: 15 pages, 4 figures, minor revisions

We consider the problem of writing real polynomials as determinants of symmetric linear matrix polynomials. This problem of algebraic geometry, whose roots go back to the nineteenth century, has recently received new attention from the viewpoint of convex optimization. We relate the question to sums of squares decompositions of a certain Hermite matrix. If some power of a polynomial admits a definite determinantal representation, then its Hermite matrix is a sum of squares. Conversely, we show how a determinantal representation can sometimes be constructed from a sums-of-squares decomposition of the Hermite matrix. We finally show that definite determinantal representations always exist, if one allows for denominators.

Helton and Vinnikov showed that every rigidly convex curve in the real plane bounds a spectrahedron. This leads to the computational problem of explicitly producing a symmetric (positive definite) linear determinantal representation for a given curve. We study three approaches to this problem: an algebraic approach via solving polynomial equations, a geometric approach via contact curves, and an analytic approach via theta functions. These are explained, compared, and tested experimentally for low degree instances., Comment: 19 pages, 3 figures, minor revisions; Mathematical Methods in Systems, Optimization and Control, Birkhauser, Basel

We use semigroup theory to describe the group of automorphisms of some semigroups of interest in holomorphic dynamical systems. We show, with some examples, that representation theory of semigroups is related to usual constructions in holomorphic dynamics. The main tool for our discussion is a theorem due to Schreier. We extend this theorem, and our results in semigroups, to the setting of correspondences and holomorphic correspondences., Comment: 21 pages, 1 fugure

A smooth quartic curve in the complex projective plane has 36 inequivalent representations as a symmetric determinant of linear forms and 63 representations as a sum of three squares. These correspond to Cayley octads and Steiner complexes respectively. We present exact algorithms for computing these objects from the 28 bitangents. This expresses Vinnikov quartics as spectrahedra and positive quartics as Gram matrices. We explore the geometry of Gram spectrahedra and we find equations for the variety of Cayley octads. Interwoven is an exposition of much of the 19th century theory of plane quartics., Comment: 26 pages, 3 figures, added references, fixed theorems 4.3 and 7.8, other minor changes

Real algebraic geometry provides certificates for the positivity of polynomials on semi-algebraic sets by expressing them as a suitable combination of sums of squares and the defining inequalitites. We show how Putinar's theorem for strictly positive polynomials on compact sets can be applied in the case of strictly positive piecewise polynomials on a simplicial complex. In the 1-dimensional case, we improve this result to cover all non-negative piecewise polynomials and give explicit degree bounds., Comment: revised version

Let V be a normal affine variety over the real numbers R, and let S be a semi-algebraic subset of V(R). We study the subring B(S) of the coordinate ring of V consisting of the polynomials that are bounded on S. We introduce the notion of S-compatible completions of V, and we prove the existence of such completions when V is of dimension at most 2 or S=V(R). An S-compatible completion X of V yields an isomorphism of B(S) with the ring of regular functions on some (concretely specified) open subvariety of X. We prove that B(S) is a finitely generated R-algebra if S is open and of dimension at most 2, and we show that this result becomes false in higher dimensions.

A linear matrix inequality (LMI) is a condition stating that a symmetric matrix whose entries are affine linear combinations of variables is positive semidefinite. Motivated by the fact that diagonal LMIs define polyhedra, the solution set of an LMI is called a spectrahedron. Linear images of spectrahedra are called semidefinite representable sets. Part of the interest in spectrahedra and semidefinite representable sets arises from the fact that one can efficiently optimize linear functions on them by semidefinite programming, like one can do on polyhedra by linear programming. It is known that every face of a spectrahedron is exposed. This is also true in the general context of rigidly convex sets. We study the same question for semidefinite representable sets. Lasserre proposed a moment matrix method to construct semidefinite representations for certain sets. Our main result is that this method can only work if all faces of the considered set are exposed. This necessary condition complements sufficient conditions recently proved by Lasserre, Helton and Nie.

In the year 1944 R. H. Bruck has described a very general construction method which he called the extension of a set by a quasigroup. We use it to construct a class of examples for LF-quasigroups in which the image of the map $e(x)=x\backslash x$ is a group. More generally, we consider the variety of quasigroups which is defined by the property that the map $e$ is an endomorphism and its subvariety where the image of the map $e$ is a group. We characterize quasigroups belonging to these varieties using their Bruck decomposition with respect to the map $e$., Comment: to appear in Journal of Generalized Lie Theory and Applications

We ask whether every polynomial function that is non-negative on a real algebraic curve can be expressed as a sum of squares in the coordinate ring. Scheiderer has classified all irreducible curves for which this is the case. For reducible curves, we show how the answer depends on the configuration of the irreducible components and give complete necessary and sufficient conditions. We also prove partial results in the more general case of finitely generated preorderings and discuss applications to the moment problem for semialgebraic sets., Comment: v4: some corrections and improvements