-
Order-One Rolling Shutter Cameras
Authors:
Marvin Anas Hahn,
Kathlén Kohn,
Orlando Marigliano,
Tomas Pajdla
Abstract:
Rolling shutter (RS) cameras dominate consumer and smartphone markets. Several methods for computing the absolute pose of RS cameras have appeared in the last 20 years, but the relative pose problem has not been fully solved yet. We provide a unified theory for the important class of order-one rolling shutter (RS$_1$) cameras. These cameras generalize the perspective projection to RS cameras, proj…
▽ More
Rolling shutter (RS) cameras dominate consumer and smartphone markets. Several methods for computing the absolute pose of RS cameras have appeared in the last 20 years, but the relative pose problem has not been fully solved yet. We provide a unified theory for the important class of order-one rolling shutter (RS$_1$) cameras. These cameras generalize the perspective projection to RS cameras, projecting a generic space point to exactly one image point via a rational map. We introduce a new back-projection RS camera model, characterize RS$_1$ cameras, construct explicit parameterizations of such cameras, and determine the image of a space line. We classify all minimal problems for solving the relative camera pose problem with linear RS$_1$ cameras and discover new practical cases. Finally, we show how the theory can be used to explain RS models previously used for absolute pose computation.
△ Less
Submitted 17 March, 2024;
originally announced March 2024.
-
Geometry of Linear Neural Networks: Equivariance and Invariance under Permutation Groups
Authors:
Kathlén Kohn,
Anna-Laura Sattelberger,
Vahid Shahverdi
Abstract:
The set of functions parameterized by a linear fully-connected neural network is a determinantal variety. We investigate the subvariety of functions that are equivariant or invariant under the action of a permutation group. Examples of such group actions are translations or $90^\circ$ rotations on images. We describe such equivariant or invariant subvarieties as direct products of determinantal va…
▽ More
The set of functions parameterized by a linear fully-connected neural network is a determinantal variety. We investigate the subvariety of functions that are equivariant or invariant under the action of a permutation group. Examples of such group actions are translations or $90^\circ$ rotations on images. We describe such equivariant or invariant subvarieties as direct products of determinantal varieties, from which we deduce their dimension, degree, Euclidean distance degree, and their singularities. We fully characterize invariance for arbitrary permutation groups, and equivariance for cyclic groups. We draw conclusions for the parameterization and the design of equivariant and invariant linear networks in terms of sparsity and weight-sharing properties. We prove that all invariant linear functions can be parameterized by a single linear autoencoder with a weight-sharing property imposed by the cycle decomposition of the considered permutation. The space of rank-bounded equivariant functions has several irreducible components, so it can not be parameterized by a single network-but each irreducible component can. Finally, we show that minimizing the squared-error loss on our invariant or equivariant networks reduces to minimizing the Euclidean distance from determinantal varieties via the Eckart-Young theorem.
△ Less
Submitted 26 January, 2024; v1 submitted 24 September, 2023;
originally announced September 2023.
-
Differential Equations for Gaussian Statistical Models with Rational Maximum Likelihood Estimator
Authors:
Carlos Améndola,
Lukas Gustafsson,
Kathlén Kohn,
Orlando Marigliano,
Anna Seigal
Abstract:
We study multivariate Gaussian statistical models whose maximum likelihood estimator (MLE) is a rational function of the observed data. We establish a one-to-one correspondence between such models and the solutions to a nonlinear first-order partial differential equation (PDE). Using our correspondence, we reinterpret familiar classes of models with rational MLE, such as directed (and decomposable…
▽ More
We study multivariate Gaussian statistical models whose maximum likelihood estimator (MLE) is a rational function of the observed data. We establish a one-to-one correspondence between such models and the solutions to a nonlinear first-order partial differential equation (PDE). Using our correspondence, we reinterpret familiar classes of models with rational MLE, such as directed (and decomposable undirected) Gaussian graphical models. We also find new models with rational MLE. For linear concentration models with rational MLE, we show that homaloidal polynomials from birational geometry lead to solutions to the PDE. We thus shed light on the problem of classifying Gaussian models with rational MLE by relating it to the open problem in birational geometry of classifying homaloidal polynomials.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Function Space and Critical Points of Linear Convolutional Networks
Authors:
Kathlén Kohn,
Guido Montúfar,
Vahid Shahverdi,
Matthew Trager
Abstract:
We study the geometry of linear networks with one-dimensional convolutional layers. The function spaces of these networks can be identified with semi-algebraic families of polynomials admitting sparse factorizations. We analyze the impact of the network's architecture on the function space's dimension, boundary, and singular points. We also describe the critical points of the network's parameteriz…
▽ More
We study the geometry of linear networks with one-dimensional convolutional layers. The function spaces of these networks can be identified with semi-algebraic families of polynomials admitting sparse factorizations. We analyze the impact of the network's architecture on the function space's dimension, boundary, and singular points. We also describe the critical points of the network's parameterization map. Furthermore, we study the optimization problem of training a network with the squared error loss. We prove that for architectures where all strides are larger than one and generic data, the non-zero critical points of that optimization problem are smooth interior points of the function space. This property is known to be false for dense linear networks and linear convolutional networks with stride one.
△ Less
Submitted 26 January, 2024; v1 submitted 12 April, 2023;
originally announced April 2023.
-
Electron dynamics in planar radio frequency magnetron plasmas: II. Heating and energization mechanisms studied via a 2d3v particle-in-cell/Monte Carlo code
Authors:
D. Eremin,
B. Berger,
D. Engel,
J. Kallähn,
K. Köhn,
D. Krüger,
L. Xu,
M. Oberberg,
C. Wölfel,
J. Lunze,
P. Awakowicz,
J. Schulze,
R. P. Brinkmann
Abstract:
The present work investigates electron transport and heating mechanisms using an (r, z) particle-in-cell (PIC) simulation of a typical rf-driven axisymmetric magnetron discharge with a conducting target. It is shown that for the considered magnetic field topology the electron current flows through different channels in the (r, z) plane: a ``transverse'' one, which involves current flow through the…
▽ More
The present work investigates electron transport and heating mechanisms using an (r, z) particle-in-cell (PIC) simulation of a typical rf-driven axisymmetric magnetron discharge with a conducting target. It is shown that for the considered magnetic field topology the electron current flows through different channels in the (r, z) plane: a ``transverse'' one, which involves current flow through the electrons' magnetic confinement region (EMCR) above the racetrack, and two ''longitudinal'' ones. Electrons gain energy from the electric field along these channels following various mechanisms, which are rather distinct from those sustaining dc-powered magnetrons. The longitudinal power absorption involves mirror-effect heating (MEH), nonlinear electron resonance heating (NERH), magnetized bounce heating (MBH), and the heating by the ambipolar field at the sheath-presheath interface. The MEH and MBH represent two new mechanisms missing from the previous literature. The MEH is caused by a reversed electric field needed to overcome the mirror force generated in a nonuniform magnetic field to ensure sufficient flux of electrons to the powered electrode, and the MBH is related to a possibility for an electron to undergo multiple reflections from the expanding sheath in the longitudinal channels connected by the arc-like magnetic field. The electron heating in the transverse channel is caused mostly by the essentially collisionless Hall heating in the EMCR above the racetrack, generating a strong ExB azimuthal drift velocity. The latter mechanism results in an efficient electron energization, i.e., energy transfer from the electric field to electrons in the inelastic range. Since the main electron population energized by this mechanism remains confined within the discharge for a long time, its contribution to the ionization processes is dominant.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Snapshot of Algebraic Vision
Authors:
Joe Kileel,
Kathlén Kohn
Abstract:
In this survey article, we present interactions between algebraic geometry and computer vision, which have recently come under the header of algebraic vision. The subject has given new insights in multiple view geometry and its application to 3D scene reconstruction and carried a host of novel problems and ideas back into algebraic geometry.
In this survey article, we present interactions between algebraic geometry and computer vision, which have recently come under the header of algebraic vision. The subject has given new insights in multiple view geometry and its application to 3D scene reconstruction and carried a host of novel problems and ideas back into algebraic geometry.
△ Less
Submitted 17 October, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Voronoi diagrams of algebraic varieties under polyhedral norms
Authors:
Adrian Becedas,
Kathlén Kohn,
Lorenzo Venturello
Abstract:
We study Voronoi diagrams of manifolds and varieties with respect to polyhedral norms. We provide upper and lower bounds on the dimensions of Voronoi cells. For algebraic varieties, we count their full-dimensional Voronoi cells. As an application, we consider the polyhedral Wasserstein distance between discrete probability distributions.
We study Voronoi diagrams of manifolds and varieties with respect to polyhedral norms. We provide upper and lower bounds on the dimensions of Voronoi cells. For algebraic varieties, we count their full-dimensional Voronoi cells. As an application, we consider the polyhedral Wasserstein distance between discrete probability distributions.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Formation mechanism of the rotating spoke in partially magnetized plasmas
Authors:
Liang Xu,
Denis Eremin,
Andrei Smolyakov,
Dennis Krüger,
Kevin Köhn,
Ralf Peter Brinkmann
Abstract:
Rotating spokes commonly occur in partially magnetized plasmas devices. In this paper, the driving mechanism behind the formation of an m=1 rotating spoke mode in a magnetically enhanced hollow cathode arc discharge is investigated by means of 2D radial-azimuthal particle-in-cell/Monte Carlo collision simulations with a uniform axial magnetic field. We find that the formation of the spoke potentia…
▽ More
Rotating spokes commonly occur in partially magnetized plasmas devices. In this paper, the driving mechanism behind the formation of an m=1 rotating spoke mode in a magnetically enhanced hollow cathode arc discharge is investigated by means of 2D radial-azimuthal particle-in-cell/Monte Carlo collision simulations with a uniform axial magnetic field. We find that the formation of the spoke potential hump region can be explained as a result of the positive anode sheath collapse due to the lower hybrid type instability evolving into the long wavelength regime. It is shown that an initial short-wavelength instability in the non-neutral anode sheath undergoes a sequence of transitions into the large scale modes. The sheath non-neutrality effect on the instability is considered and incorporated in the two-fluid linear theory of the lower hybrid instability. The unstable modes predicted by the theory in the linear phase and nonlinear evolution are in good agreement with the fluctuation modes developed in the particle simulations.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Adjoints and Canonical Forms of Polypols
Authors:
Kathlén Kohn,
Ragni Piene,
Kristian Ranestad,
Felix Rydell,
Boris Shapiro,
Rainer Sinn,
Miruna-Stefana Sorea,
Simon Telen
Abstract:
Polypols are natural generalizations of polytopes, with boundaries given by nonlinear algebraic hypersurfaces. We describe polypols in the plane and in 3-space that admit a unique adjoint hypersurface and study them from an algebro-geometric perspective. We relate planar polypols to positive geometries introduced originally in particle physics, and identify the adjoint curve of a planar polypol wi…
▽ More
Polypols are natural generalizations of polytopes, with boundaries given by nonlinear algebraic hypersurfaces. We describe polypols in the plane and in 3-space that admit a unique adjoint hypersurface and study them from an algebro-geometric perspective. We relate planar polypols to positive geometries introduced originally in particle physics, and identify the adjoint curve of a planar polypol with the numerator of the canonical differential form associated with the positive geometry. We settle several cases of a conjecture by Wachspress claiming that the adjoint curve of a regular planar polypol does not intersect its interior. In particular, we provide a complete characterization of the real topology of the adjoint curve for arbitrary convex polygons. Finally, we determine all types of planar polypols such that the rational map sending a polypol to its adjoint is finite, and explore connections of our topic with algebraic statistics.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Geometry of Linear Convolutional Networks
Authors:
Kathlén Kohn,
Thomas Merkh,
Guido Montúfar,
Matthew Trager
Abstract:
We study the family of functions that are represented by a linear convolutional neural network (LCN). These functions form a semi-algebraic subset of the set of linear maps from input space to output space. In contrast, the families of functions represented by fully-connected linear networks form algebraic sets. We observe that the functions represented by LCNs can be identified with polynomials t…
▽ More
We study the family of functions that are represented by a linear convolutional neural network (LCN). These functions form a semi-algebraic subset of the set of linear maps from input space to output space. In contrast, the families of functions represented by fully-connected linear networks form algebraic sets. We observe that the functions represented by LCNs can be identified with polynomials that admit certain factorizations, and we use this perspective to describe the impact of the network's architecture on the geometry of the resulting function space. We further study the optimization of an objective function over an LCN, analyzing critical points in function space and in parameter space, and describing dynamical invariants for gradient descent. Overall, our theory predicts that the optimized parameters of an LCN will often correspond to repeated filters across layers, or filters that can be decomposed as repeated filters. We also conduct numerical and symbolic experiments that illustrate our results and present an in-depth analysis of the landscape for small architectures.
△ Less
Submitted 8 June, 2022; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Toric invariant theory for maximum likelihood estimation in log-linear models
Authors:
Carlos Améndola,
Kathlén Kohn,
Philipp Reichenbach,
Anna Seigal
Abstract:
We establish connections between invariant theory and maximum likelihood estimation for discrete statistical models. We show that norm minimization over a torus orbit is equivalent to maximum likelihood estimation in log-linear models. We use notions of stability under a torus action to characterize the existence of the maximum likelihood estimate, and discuss connections to scaling algorithms.
We establish connections between invariant theory and maximum likelihood estimation for discrete statistical models. We show that norm minimization over a torus orbit is equivalent to maximum likelihood estimation in log-linear models. We use notions of stability under a torus action to characterize the existence of the maximum likelihood estimate, and discuss connections to scaling algorithms.
△ Less
Submitted 4 October, 2021; v1 submitted 14 December, 2020;
originally announced December 2020.
-
The Maximum Likelihood Degree of Linear Spaces of Symmetric Matrices
Authors:
Carlos Améndola,
Lukas Gustafsson,
Kathlén Kohn,
Orlando Marigliano,
Anna Seigal
Abstract:
We study multivariate Gaussian models that are described by linear conditions on the concentration matrix. We compute the maximum likelihood (ML) degrees of these models. That is, we count the critical points of the likelihood function over a linear space of symmetric matrices. We obtain new formulae for the ML degree, one via Schubert calculus, and another using Segre classes from intersection th…
▽ More
We study multivariate Gaussian models that are described by linear conditions on the concentration matrix. We compute the maximum likelihood (ML) degrees of these models. That is, we count the critical points of the likelihood function over a linear space of symmetric matrices. We obtain new formulae for the ML degree, one via Schubert calculus, and another using Segre classes from intersection theory. We settle the case of codimension one models, and characterize the degenerate case when the ML degree is zero.
△ Less
Submitted 22 February, 2021; v1 submitted 30 November, 2020;
originally announced December 2020.
-
Linear Spaces of Symmetric Matrices with Non-Maximal Maximum Likelihood Degree
Authors:
Kathlen Kohn,
Rosa Winter,
Yuhan Jiang
Abstract:
We study the maximum likelihood degree of linear concentration models in algebraic statistics. We relate the geometry of the reciprocal variety to that of semidefinite programming. We show that the Zariski closure in the Grassmanian of the set of linear spaces that do not attain their maximal possible maximum likelihood degree coincides with the Zariski closure of the set of linear spaces defining…
▽ More
We study the maximum likelihood degree of linear concentration models in algebraic statistics. We relate the geometry of the reciprocal variety to that of semidefinite programming. We show that the Zariski closure in the Grassmanian of the set of linear spaces that do not attain their maximal possible maximum likelihood degree coincides with the Zariski closure of the set of linear spaces defining a projection with non-closed image of the positive semidefinite cone. In particular, this shows that this closure is a union of coisotropic hypersurfaces.
△ Less
Submitted 30 November, 2020;
originally announced December 2020.
-
Maximum Likelihood Estimation for Nets of Conics
Authors:
Stefan Dye,
Kathlén Kohn,
Felix Rydell,
Rainer Sinn
Abstract:
We study the problem of maximum likelihood estimation for $3$-dimensional linear spaces of $3\times 3$ symmetric matrices from the point of view of algebraic statistics where we view these nets of conics as linear concentration or linear covariance models of Gaussian distributions on $\mathbb{R}^3$. In particular, we study the reciprocal surfaces of nets of conics which are rational surfaces in…
▽ More
We study the problem of maximum likelihood estimation for $3$-dimensional linear spaces of $3\times 3$ symmetric matrices from the point of view of algebraic statistics where we view these nets of conics as linear concentration or linear covariance models of Gaussian distributions on $\mathbb{R}^3$. In particular, we study the reciprocal surfaces of nets of conics which are rational surfaces in $\mathbb{P}^5$. We show that the reciprocal surfaces are projections from the Veronese surface and determine their intersection with the polar nets. This geometry explains the maximum likelihood degrees of these linear models. We compute the reciprocal maximum likelihood degrees. This work is based on Wall's classification of nets of conics from 1977.
△ Less
Submitted 28 May, 2021; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Invariant theory and scaling algorithms for maximum likelihood estimation
Authors:
Carlos Améndola,
Kathlén Kohn,
Philipp Reichenbach,
Anna Seigal
Abstract:
We uncover connections between maximum likelihood estimation in statistics and norm minimization over a group orbit in invariant theory. We focus on Gaussian transformation families, which include matrix normal models and Gaussian graphical models given by transitive directed acyclic graphs. We use stability under group actions to characterize boundedness of the likelihood, and existence and uniqu…
▽ More
We uncover connections between maximum likelihood estimation in statistics and norm minimization over a group orbit in invariant theory. We focus on Gaussian transformation families, which include matrix normal models and Gaussian graphical models given by transitive directed acyclic graphs. We use stability under group actions to characterize boundedness of the likelihood, and existence and uniqueness of the maximum likelihood estimate. Our approach reveals promising consequences of the interplay between invariant theory and statistics. In particular, existing scaling algorithms from statistics can be used in invariant theory, and vice versa.
△ Less
Submitted 23 August, 2021; v1 submitted 30 March, 2020;
originally announced March 2020.
-
PL${}_{1}$P -- Point-line Minimal Problems under Partial Visibility in Three Views
Authors:
Timothy Duff,
Kathlén Kohn,
Anton Leykin,
Tomas Pajdla
Abstract:
We present a complete classification of minimal problems for generic arrangements of points and lines in space observed partially by three calibrated perspective cameras when each line is incident to at most one point. This is a large class of interesting minimal problems that allows missing observations in images due to occlusions and missed detections. There is an infinite number of such minimal…
▽ More
We present a complete classification of minimal problems for generic arrangements of points and lines in space observed partially by three calibrated perspective cameras when each line is incident to at most one point. This is a large class of interesting minimal problems that allows missing observations in images due to occlusions and missed detections. There is an infinite number of such minimal problems; however, we show that they can be reduced to 140616 equivalence classes by removing superfluous features and relabeling the cameras. We also introduce camera-minimal problems, which are practical for designing minimal solvers, and show how to pick a simplest camera-minimal problem for each minimal problem. This simplification results in 74575 equivalence classes. Only 76 of these were known; the rest are new. In order to identify problems that have potential for practical solving of image matching and 3D reconstruction, we present several smaller natural subfamilies of camera-minimal problems as well as compute solution counts for all camera-minimal problems which have less than 300 solutions for generic data.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
Pure and Spurious Critical Points: a Geometric Study of Linear Networks
Authors:
Matthew Trager,
Kathlén Kohn,
Joan Bruna
Abstract:
The critical locus of the loss function of a neural network is determined by the geometry of the functional space and by the parameterization of this space by the network's weights. We introduce a natural distinction between pure critical points, which only depend on the functional space, and spurious critical points, which arise from the parameterization. We apply this perspective to revisit and…
▽ More
The critical locus of the loss function of a neural network is determined by the geometry of the functional space and by the parameterization of this space by the network's weights. We introduce a natural distinction between pure critical points, which only depend on the functional space, and spurious critical points, which arise from the parameterization. We apply this perspective to revisit and extend the literature on the loss function of linear neural networks. For this type of network, the functional space is either the set of all linear maps from input to output space, or a determinantal variety, i.e., a set of linear maps with bounded rank. We use geometric properties of determinantal varieties to derive new results on the landscape of linear networks with different loss functions and different parameterizations. Our analysis clearly illustrates that the absence of "bad" local minima in the loss landscape of linear networks is due to two distinct phenomena that apply in different settings: it is true for arbitrary smooth convex losses in the case of architectures that can express all linear maps ("filling architectures") but it holds only for the quadratic loss when the functional space is a determinantal variety ("non-filling architectures"). Without any assumption on the architecture, smooth convex losses may lead to landscapes with many bad minima.
△ Less
Submitted 2 April, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Projective geometry of Wachspress coordinates
Authors:
Kathlén Kohn,
Kristian Ranestad
Abstract:
We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definitio…
▽ More
We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definition of Wachspress coordinates, which are barycentric coordinates on an arbitrary convex polytope. The adjoint polynomial also appears both in algebraic statistics, when studying the moments of uniform probability distributions on polytopes, and in intersection theory, when computing Segre classes of monomial schemes. We describe the Wachspress map, the rational map defined by the Wachspress coordinates, and the Wachspress variety, the image of this map. The inverse of the Wachspress map is the projection from the linear span of the image of the adjoint hypersurface. To relate adjoints of polytopes to classical adjoints of divisors in algebraic geometry, we study irreducible hypersurfaces that have the same degree and multiplicity along the non-faces of a polytope as its defining hyperplane arrangement. We list all finitely many combinatorial types of polytopes in dimensions two and three for which such irreducible hypersurfaces exist. In the case of polygons, the general such curves< are elliptic. In the three-dimensional case, the general such surfaces are either K3 or elliptic.
△ Less
Submitted 15 October, 2019; v1 submitted 3 April, 2019;
originally announced April 2019.
-
PLMP -- Point-Line Minimal Problems in Complete Multi-View Visibility
Authors:
Timothy Duff,
Kathlén Kohn,
Anton Leykin,
Tomas Pajdla
Abstract:
We present a complete classification of all minimal problems for generic arrangements of points and lines completely observed by calibrated perspective cameras. We show that there are only 30 minimal problems in total, no problems exist for more than 6 cameras, for more than 5 points, and for more than 6 lines. We present a sequence of tests for detecting minimality starting with counting degrees…
▽ More
We present a complete classification of all minimal problems for generic arrangements of points and lines completely observed by calibrated perspective cameras. We show that there are only 30 minimal problems in total, no problems exist for more than 6 cameras, for more than 5 points, and for more than 6 lines. We present a sequence of tests for detecting minimality starting with counting degrees of freedom and ending with full symbolic and numeric verification of representative examples. For all minimal problems discovered, we present their algebraic degrees, i.e. the number of solutions, which measure their intrinsic difficulty. It shows how exactly the difficulty of problems grows with the number of views. Importantly, several new minimal problems have small degrees that might be practical in image matching and 3D reconstruction.
△ Less
Submitted 5 September, 2019; v1 submitted 24 March, 2019;
originally announced March 2019.
-
Isotropic and Coisotropic Subvarieties of Grassmannians
Authors:
Kathlén Kohn,
James Mathews
Abstract:
We generalize the notion of coisotropic hypersurfaces to subvarieties of Grassmannians having arbitrary codimension. To every projective variety X, Gel'fand, Kapranov and Zelevinsky associate a series of coisotropic hypersurfaces in different Grassmannians. These include the Chow form and the Hurwitz form of X. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one…
▽ More
We generalize the notion of coisotropic hypersurfaces to subvarieties of Grassmannians having arbitrary codimension. To every projective variety X, Gel'fand, Kapranov and Zelevinsky associate a series of coisotropic hypersurfaces in different Grassmannians. These include the Chow form and the Hurwitz form of X. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one condition on conormal spaces, which we use as the starting point for our generalization. We also study the dual notion of isotropic varieties by imposing rank one conditions on tangent spaces instead of conormal spaces.
△ Less
Submitted 29 October, 2020; v1 submitted 19 January, 2019;
originally announced January 2019.
-
Moment Varieties of Measures on Polytopes
Authors:
Kathlén Kohn,
Boris Shapiro,
Bernd Sturmfels
Abstract:
The uniform probability measure on a convex polytope induces piecewise polynomial densities on its projections. For a fixed combinatorial type of simplicial polytopes, the moments of these measures are rational functions in the vertex coordinates. We study projective varieties that are parametrized by finite collections of such rational functions. Our focus lies on determining the prime ideals of…
▽ More
The uniform probability measure on a convex polytope induces piecewise polynomial densities on its projections. For a fixed combinatorial type of simplicial polytopes, the moments of these measures are rational functions in the vertex coordinates. We study projective varieties that are parametrized by finite collections of such rational functions. Our focus lies on determining the prime ideals of these moment varieties. Special cases include Hankel determinantal ideals for polytopal splines on line segments, and the relations among multisymmetric functions given by the cumulants of a simplex. In general, our moment varieties are more complicated than in these two special cases. They offer challenges for both numerical and symbolic computing in algebraic geometry.
△ Less
Submitted 7 July, 2020; v1 submitted 26 July, 2018;
originally announced July 2018.
-
Computing Tropical Varieties in Macaulay2
Authors:
Carlos Améndola,
Kathlén Kohn,
Sara Lamboglia,
Diane Maclagan,
Ben Smith,
Jeff Sommars,
Paolo Tripoli,
Magdalena Zajaczkowska
Abstract:
We introduce a package for doing tropical computations in Macaulay2. The package draws on the functionality of Gfan and Polymake while making the process as simple as possible for the end user. This provides a powerful and user friendly tool for computing tropical varieties requiring little prerequisite knowledge.
We introduce a package for doing tropical computations in Macaulay2. The package draws on the functionality of Gfan and Polymake while making the process as simple as possible for the end user. This provides a powerful and user friendly tool for computing tropical varieties requiring little prerequisite knowledge.
△ Less
Submitted 6 August, 2019; v1 submitted 29 October, 2017;
originally announced October 2017.
-
The Complex of Non-Chromatic Scales
Authors:
Kathlén Kohn,
Ernst Ulrich Deuker
Abstract:
We consider the space of all musical scales with the ambition to systematize it. To do this, we pursue the idea to view certain scales as basic constituents and to "mix" all remaining scales from these. The German version of this article appeared in Mitteilungen der DMV, volume 25, issue 1.
We consider the space of all musical scales with the ambition to systematize it. To do this, we pursue the idea to view certain scales as basic constituents and to "mix" all remaining scales from these. The German version of this article appeared in Mitteilungen der DMV, volume 25, issue 1.
△ Less
Submitted 16 October, 2017;
originally announced October 2017.
-
Changing Views on Curves and Surfaces
Authors:
Kathlén Kohn,
Bernd Sturmfels,
Matthew Trager
Abstract:
Visual events in computer vision are studied from the perspective of algebraic geometry. Given a sufficiently general curve or surface in 3-space, we consider the image or contour curve that arises by projecting from a viewpoint. Qualitative changes in that curve occur when the viewpoint crosses the visual event surface. We examine the components of this ruled surface, and observe that these coinc…
▽ More
Visual events in computer vision are studied from the perspective of algebraic geometry. Given a sufficiently general curve or surface in 3-space, we consider the image or contour curve that arises by projecting from a viewpoint. Qualitative changes in that curve occur when the viewpoint crosses the visual event surface. We examine the components of this ruled surface, and observe that these coincide with the iterated singular loci of the coisotropic hypersurfaces associated with the original curve or surface. We derive formulas, due to Salmon and Petitjean, for the degrees of these surfaces, and show how to compute exact representations for all visual event surfaces using algebraic methods.
△ Less
Submitted 11 November, 2017; v1 submitted 6 July, 2017;
originally announced July 2017.
-
Secants, bitangents, and their congruences
Authors:
Kathlén Kohn,
Bernt Ivar Utstøl Nødland,
Paolo Tripoli
Abstract:
A congruence is a surface in the Grassmannian $\mathrm{Gr}(1,\mathbb{P}^3)$ of lines in projective $3$-space. To a space curve $C$, we associate the Chow hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ consisting of all lines which intersect $C$. We compute the singular locus of this hypersurface, which contains the congruence of all secants to $C$. A surface $S$ in $\mathbb{P}^3$ defines the Hurwit…
▽ More
A congruence is a surface in the Grassmannian $\mathrm{Gr}(1,\mathbb{P}^3)$ of lines in projective $3$-space. To a space curve $C$, we associate the Chow hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ consisting of all lines which intersect $C$. We compute the singular locus of this hypersurface, which contains the congruence of all secants to $C$. A surface $S$ in $\mathbb{P}^3$ defines the Hurwitz hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ of all lines which are tangent to $S$. We show that its singular locus has two components for general enough $S$: the congruence of bitangents and the congruence of inflectional tangents. We give new proofs for the bidegrees of the secant, bitangent and inflectional congruences, using geometric techniques such as duality, polar loci and projections. We also study the singularities of these congruences.
△ Less
Submitted 13 October, 2017; v1 submitted 13 January, 2017;
originally announced January 2017.
-
Coisotropic Hypersurfaces in Grassmannians
Authors:
Kathlén Kohn
Abstract:
To every projective variety $X$, we associate a family of hypersurfaces in different Grassmannians, called the coisotropic hypersurfaces of $X$. These include the Chow form and the Hurwitz form of $X$. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one condition on tangent spaces. We present a new and simplified proof of that result. We show that the coisotropi…
▽ More
To every projective variety $X$, we associate a family of hypersurfaces in different Grassmannians, called the coisotropic hypersurfaces of $X$. These include the Chow form and the Hurwitz form of $X$. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one condition on tangent spaces. We present a new and simplified proof of that result. We show that the coisotropic hypersurfaces of $X$ equal those of its projectively dual variety, and that their degrees are the polar degrees of $X$. Coisotropic hypersurfaces of Segre varieties are defined by hyperdeterminants, and all hyperdeterminants arise in that manner. We derive new equations for the Cayley variety which parametrizes all coisotropic hypersurfaces of given degree in a fixed Grassmannian. We provide a Macaulay2 package for transitioning between $X$ and its coisotropic hypersurfaces.
△ Less
Submitted 11 September, 2017; v1 submitted 20 July, 2016;
originally announced July 2016.
-
Voronoi Cells of Lattices with Respect to Arbitrary Norms
Authors:
Johannes Blömer,
Kathlén Kohn
Abstract:
We study the geometry and complexity of Voronoi cells of lattices with respect to arbitrary norms. On the positive side, we show for strictly convex and smooth norms that the geometry of Voronoi cells of lattices in any dimension is similar to the Euclidean case, i.e., the Voronoi cells are defined by the so-called Voronoi-relevant vectors and the facets of a Voronoi cell are in one-to-one corresp…
▽ More
We study the geometry and complexity of Voronoi cells of lattices with respect to arbitrary norms. On the positive side, we show for strictly convex and smooth norms that the geometry of Voronoi cells of lattices in any dimension is similar to the Euclidean case, i.e., the Voronoi cells are defined by the so-called Voronoi-relevant vectors and the facets of a Voronoi cell are in one-to-one correspondence with these vectors. On the negative side, we show that Voronoi cells are combinatorially much more complicated for arbitrary strictly convex and smooth norms than in the Euclidean case. In particular, we construct a family of three-dimensional lattices whose number of Voronoi-relevant vectors with respect to the $\ell_3$-norm is unbounded. Our result indicates, that the break through single exponential time algorithm of Micciancio and Voulgaris for solving the shortest and closest vector problem in the Euclidean norm cannot be extended to achieve deterministic single exponential time algorithms for lattice problems with respect to arbitrary $\ell_p$-norms. In fact, the algorithm of Micciancio and Voulgaris and its run time analysis crucially depend on the fact that for the Euclidean norm the number of Voronoi-relevant vectors is single exponential in the lattice dimension.
△ Less
Submitted 11 November, 2017; v1 submitted 27 November, 2015;
originally announced December 2015.
-
Computing the Chow variety of quadratic space curves
Authors:
Peter Bürgisser,
Kathlén Kohn,
Pierre Lairez,
Bernd Sturmfels
Abstract:
Quadrics in the Grassmannian of lines in 3-space form a 19-dimensional projective space. We study the subvariety of coisotropic hypersurfaces. Following Gel'fand, Kapranov and Zelevinsky, it decomposes into Chow forms of plane conics, Chow forms of pairs of lines, and Hurwitz forms of quadric surfaces. We compute the ideals of these loci.
Quadrics in the Grassmannian of lines in 3-space form a 19-dimensional projective space. We study the subvariety of coisotropic hypersurfaces. Following Gel'fand, Kapranov and Zelevinsky, it decomposes into Chow forms of plane conics, Chow forms of pairs of lines, and Hurwitz forms of quadric surfaces. We compute the ideals of these loci.
△ Less
Submitted 27 November, 2015; v1 submitted 28 August, 2015;
originally announced August 2015.
-
Terahertz and infrared spectroscopic evidence of phonon-paramagnon coupling in hexagonal piezomagnetic YMnO3
Authors:
C. Kadlec,
V. Goian,
K. Z. Rushchanskii,
P. Kuzel,
M. Lezaic,
K. Kohn,
R. V. Pisarev,
S. Kamba
Abstract:
Terahertz and far-infrared electric and magnetic responses of hexagonal piezomagnetic YMnO3 single crystals are investigated. Antiferromagnetic resonance is observed in the spectra of magnetic permeability mu_a [H(omega) oriented within the hexagonal plane] below the Neel temperature T_N. This excitation softens from 41 to 32 cm-1 on heating and finally disappears above T_N. An additional weak and…
▽ More
Terahertz and far-infrared electric and magnetic responses of hexagonal piezomagnetic YMnO3 single crystals are investigated. Antiferromagnetic resonance is observed in the spectra of magnetic permeability mu_a [H(omega) oriented within the hexagonal plane] below the Neel temperature T_N. This excitation softens from 41 to 32 cm-1 on heating and finally disappears above T_N. An additional weak and heavily-damped excitation is seen in the spectra of complex dielectric permittivity epsilon_c within the same frequency range. This excitation contributes to the dielectric spectra in both antiferromagnetic and paramagnetic phases. Its oscillator strength significantly increases on heating towards room temperature thus providing evidence of piezomagnetic or higher-order couplings to polar phonons. Other heavily-damped dielectric excitations are detected near 100 cm-1 in the paramagnetic phase in both epsilon_c and epsilon_a spectra and they exhibit similar temperature behavior. These excitations appearing in the frequency range of magnon branches well below polar phonons could remind electromagnons; however, their temperature dependence is quite different. We have used density functional theory for calculating phonon dispersion branches in the whole Brillouin zone. A detailed analysis of these results and of previously published magnon dispersion branches brought us to the conclusion that the observed absorption bands stem from phonon-phonon and phonon- paramagnon differential absorption processes. The latter is enabled by a strong short-range in-plane spin correlations in the paramagnetic phase.
△ Less
Submitted 9 November, 2011;
originally announced November 2011.
-
Field-induced ferroelectric and commensurate spin state in mutiferroic HoMn$_{2}$O$_{5}$
Authors:
H. Kimura,
Y. Kamada,
Y. Noda,
K. Kaneko,
N. Metoki,
K. Kohn
Abstract:
Neutron diffraction measurements under high magnetic fields have been performed for the multiferroic compound HoMn$_{2}$O$_{5}$. At zero field, high-temperature incommensurate magnetic (HT-ICM) -- commensurate magnetic (CM) -- low-temperature incommensurate magnetic (LT-ICM) orders occur with decreasing temperature, where ferroelectric polarization arises only in the CM phase. Upon applying a ma…
▽ More
Neutron diffraction measurements under high magnetic fields have been performed for the multiferroic compound HoMn$_{2}$O$_{5}$. At zero field, high-temperature incommensurate magnetic (HT-ICM) -- commensurate magnetic (CM) -- low-temperature incommensurate magnetic (LT-ICM) orders occur with decreasing temperature, where ferroelectric polarization arises only in the CM phase. Upon applying a magnetic field, the LT-ICM phase completely disappears and the CM phase is induced at the lowest temperature. This field-induced CM state is completely associated with the field-induced electric polarization in this material [Higashiyama {\it et al}., Phys. Rev. B {\bf 72}, 064421 (2005).], strongly indicating that the commensurate spin state is essential to the ferroelectricity in the multiferroic $R$Mn$_{2}$O$_{5}$ system.
△ Less
Submitted 8 February, 2006;
originally announced February 2006.
