-
The combinatorics of supertorus sheaf cohomology
Authors:
Jesse Kim,
Jeffrey M. Rabin,
Brendon Rhoades
Abstract:
Affine superspace $\mathbb{C}^{1 \mid n}$ has a single bosonic coordinate $z$ and $n$ fermionic coordinates $θ_1, \dots, θ_n$. Let $M$ be the supertorus obtained by quotienting $\mathbb{C}^{1 \mid n}$ by the abelian group generated by the maps $S: (z,θ_1, \dots, θ_n) \mapsto (z + 1, θ_1, \dots, θ_n)$ and $T: (z, θ_1, \dots, θ_n) \mapsto (z + t, θ_1 + α_1, \dots, θ_n + α_n)$ where…
▽ More
Affine superspace $\mathbb{C}^{1 \mid n}$ has a single bosonic coordinate $z$ and $n$ fermionic coordinates $θ_1, \dots, θ_n$. Let $M$ be the supertorus obtained by quotienting $\mathbb{C}^{1 \mid n}$ by the abelian group generated by the maps $S: (z,θ_1, \dots, θ_n) \mapsto (z + 1, θ_1, \dots, θ_n)$ and $T: (z, θ_1, \dots, θ_n) \mapsto (z + t, θ_1 + α_1, \dots, θ_n + α_n)$ where $t \in \mathbb{C}$ has positive imaginary part and $α_1, \dots, α_n$ are independent fermionic parameters. We compute the zeroth and first cohomology groups of the structure sheaf $\mathcal{O}$ of $M$ as doubly graded $\mathfrak{S}_n$-modules, exhibiting an instance of Serre duality between these groups. We use skein relations and noncrossing matchings to give a combinatorial presentation of $H^0(M,\mathcal{O})$ in terms of generators and relations.
△ Less
Submitted 28 April, 2023;
originally announced May 2023.
-
On the Theoretical Equivalence of Several Trade-Off Curves Assessing Statistical Proximity
Authors:
Rodrigue Siry,
Ryan Webster,
Loic Simon,
Julien Rabin
Abstract:
The recent advent of powerful generative models has triggered the renewed development of quantitative measures to assess the proximity of two probability distributions. As the scalar Frechet inception distance remains popular, several methods have explored computing entire curves, which reveal the trade-off between the fidelity and variability of the first distribution with respect to the second o…
▽ More
The recent advent of powerful generative models has triggered the renewed development of quantitative measures to assess the proximity of two probability distributions. As the scalar Frechet inception distance remains popular, several methods have explored computing entire curves, which reveal the trade-off between the fidelity and variability of the first distribution with respect to the second one. Several of such variants have been proposed independently and while intuitively similar, their relationship has not yet been made explicit. In an effort to make the emerging picture of generative evaluation more clear, we propose a unification of four curves known respectively as: the precision-recall (PR) curve, the Lorenz curve, the receiver operating characteristic (ROC) curve and a special case of Rényi divergence frontiers. In addition, we discuss possible links between PR / Lorenz curves with the derivation of domain adaptation bounds.
△ Less
Submitted 13 October, 2022; v1 submitted 21 June, 2020;
originally announced June 2020.
-
Asymmetric expansion preserves hyperbolic convexity
Authors:
Dhruv Kohli,
Jeffrey M. Rabin
Abstract:
In an earlier paper we showed that the radial expansion of a hyperbolic convex set in the Poincaré disk about any point inside it results in a hyperbolic convex set. In this work, we generalize this result by showing that the asymmetric expansion of a hyperbolic convex set about any point inside it also results in a hyperbolic convex set.
In an earlier paper we showed that the radial expansion of a hyperbolic convex set in the Poincaré disk about any point inside it results in a hyperbolic convex set. In this work, we generalize this result by showing that the asymmetric expansion of a hyperbolic convex set about any point inside it also results in a hyperbolic convex set.
△ Less
Submitted 30 September, 2020; v1 submitted 11 February, 2020;
originally announced February 2020.
-
Radial expansion preserves hyperbolic convexity and radial contraction preserves spherical convexity
Authors:
Dhruv Kohli,
Jeffrey M. Rabin
Abstract:
On a flat plane, convexity of a set is preserved by both radial expansion and contraction of the set about any point inside it. Using the Poincaré disk model of hyperbolic geometry, we prove that radial expansion of a hyperbolic convex set about a point inside it always preserves hyperbolic convexity. Using stereographic projection of a sphere, we prove that radial contraction of a spherical conve…
▽ More
On a flat plane, convexity of a set is preserved by both radial expansion and contraction of the set about any point inside it. Using the Poincaré disk model of hyperbolic geometry, we prove that radial expansion of a hyperbolic convex set about a point inside it always preserves hyperbolic convexity. Using stereographic projection of a sphere, we prove that radial contraction of a spherical convex set about a point inside it, such that the initial set is contained in the closed hemisphere centred at that point, always preserves spherical convexity.
△ Less
Submitted 11 February, 2020;
originally announced February 2020.
-
Convex Histogram-Based Joint Image Segmentation with Regularized Optimal Transport Cost
Authors:
Nicolas Papadakis,
Julien Rabin
Abstract:
We investigate in this work a versatile convex framework for multiple image segmentation, relying on the regularized optimal mass transport theory. In this setting, several transport cost functions are considered and used to match statistical distributions of features. In practice, global multidimensional histograms are estimated from the segmented image regions, and are compared to referring mode…
▽ More
We investigate in this work a versatile convex framework for multiple image segmentation, relying on the regularized optimal mass transport theory. In this setting, several transport cost functions are considered and used to match statistical distributions of features. In practice, global multidimensional histograms are estimated from the segmented image regions, and are compared to referring models that are either fixed histograms given a priori, or directly inferred in the non-supervised case. The different convex problems studied are solved efficiently using primal-dual algorithms. The proposed approach is generic and enables multi-phase segmentation as well as co-segmentation of multiple images.
△ Less
Submitted 5 October, 2016;
originally announced October 2016.
-
Serre Duality, Abel's Theorem, and Jacobi Inversion for Supercurves Over a Thick Superpoint
Authors:
Mitchell J. Rothstein,
Jeffrey M. Rabin
Abstract:
The principal aim of this paper is to extend Abel's theorem to the setting of complex supermanifolds of dimension 1|q over a finite-dimensional local supercommutative C-algebra. The theorem is proved by establishing a compatibility of Serre duality for the supercurve with Poincare duality on the reduced curve. We include an elementary algebraic proof of the requisite form of Serre duality, closely…
▽ More
The principal aim of this paper is to extend Abel's theorem to the setting of complex supermanifolds of dimension 1|q over a finite-dimensional local supercommutative C-algebra. The theorem is proved by establishing a compatibility of Serre duality for the supercurve with Poincare duality on the reduced curve. We include an elementary algebraic proof of the requisite form of Serre duality, closely based on the account of the reduced case given by Serre in Algebraic Groups and Class Fields, combined with an invariance result for the topology on the dual of the space of repartitions. Our Abel map, taking Cartier divisors of degree zero to the dual of the space of sections of the Berezinian sheaf, modulo periods, is defined via Penkov's characterization of the Berezinian sheaf as the cohomology of the de Rham complex of the sheaf D of differential operators, as a right module over itself. We discuss the Jacobi inversion problem for the Abel map and give an example demonstrating that if n is an integer sufficiently large that the generic divisor of degree n is linearly equivalent to an effective divisor, this need not be the case for all divisors of degree n.
△ Less
Submitted 22 January, 2014;
originally announced January 2014.
-
Orbifolds, the A, D, E Family of Caustic Singularities, and Gravitational Lensing
Authors:
Amir B. Aazami,
Arlie O. Petters,
Jeffrey M. Rabin
Abstract:
We provide a geometric explanation for the existence of magnification relations for the A, D, E family of caustic singularities, which were established in recent work. In particular, it was shown that for families of general mappings between planes exhibiting any of these caustic singularities, and for any non-caustic target point, the total signed magnification of the corresponding pre-images van…
▽ More
We provide a geometric explanation for the existence of magnification relations for the A, D, E family of caustic singularities, which were established in recent work. In particular, it was shown that for families of general mappings between planes exhibiting any of these caustic singularities, and for any non-caustic target point, the total signed magnification of the corresponding pre-images vanishes. As an application to gravitational lensing, it was also shown that, independent of the choice of a lens model, the total signed magnification vanishes for a light source anywhere in the four-image region close to elliptic and hyperbolic umbilic caustics. This is a more global and higher-order analog of the well-known fold and cusp magnification relations. We now extend each of these mappings to weighted projective space, which is a compact orbifold, and show that magnification relations translate into a statement about the behavior of these extended mappings at infinity. This generalizes multi-dimensional residue techniques developed in previous work, and introduces weighted projective space as a new tool in the theory of caustic singularities and gravitational lensing.
△ Less
Submitted 6 February, 2011; v1 submitted 4 April, 2010;
originally announced April 2010.
-
D-modules on 1|1 Supercurves
Authors:
Mitchell J. Rothstein,
Jeffrey M. Rabin
Abstract:
It is known that to every 1|1 dimensional supercurve X there is associated a dual supercurve \hat{X}, and a superdiagonal Δin their product. We establish that the categories of D-modules on X, \hat{X}, and Δare equivalent. This follows from a more general result about D-modules and purely odd submersions. The equivalences preserve tensor products, and take vector bundles to vector bundles. Line…
▽ More
It is known that to every 1|1 dimensional supercurve X there is associated a dual supercurve \hat{X}, and a superdiagonal Δin their product. We establish that the categories of D-modules on X, \hat{X}, and Δare equivalent. This follows from a more general result about D-modules and purely odd submersions. The equivalences preserve tensor products, and take vector bundles to vector bundles. Line bundles with connection are studied, and examples are given where X is a superelliptic curve.
△ Less
Submitted 13 August, 2009;
originally announced August 2009.
-
Transportation Distances on the Circle and Applications
Authors:
Julie Delon,
Julien Rabin,
Yann Gousseau
Abstract:
This paper is devoted to the study of the Monge-Kantorovich theory of optimal mass transport and its applications, in the special case of one-dimensional and circular distributions. More precisely, we study the Monge-Kantorovich distances between discrete sets of points on the unit circle, in the case where the ground distance between two points x and y is defined as h(d(x,y)), where d is the geod…
▽ More
This paper is devoted to the study of the Monge-Kantorovich theory of optimal mass transport and its applications, in the special case of one-dimensional and circular distributions. More precisely, we study the Monge-Kantorovich distances between discrete sets of points on the unit circle, in the case where the ground distance between two points x and y is defined as h(d(x,y)), where d is the geodesic distance on the circle and h a convex and increasing function. We first prove that computing a Monge-Kantorovich distance between two given sets of pairwise different points boils down to cut the circle at a well chosen point and to compute the same distance on the real line. This result is then used to obtain a metric between 1D and circular discrete histograms, which can be computed in linear time. A particular case of this formula has already been used in [Rabin, Delon and Gousseau SIAM 09}] for the matching of local features between images, involving circular histograms of gradient orientations. In this paper, other applications are investigated, in particular dealing with the hue component of color images. In a last part, a study is conducted to compare the advantages and drawbacks of transportation distances relying on convex or concave cost functions, and of the classical L-1 distance.
△ Less
Submitted 2 June, 2010; v1 submitted 30 June, 2009;
originally announced June 2009.
-
Super Curves, their Jacobians, and super KP equations
Authors:
M. J. Bergvelt,
J. M. Rabin
Abstract:
We study the geometry and cohomology of algebraic super curves, using a new contour integral for holomorphic differentials. For a class of super curves (``generic SKP curves'') we define a period matrix. We show that the odd part of the period matrix controls the cohomology of the dual curve. The Jacobian of a generic SKP curve is a smooth supermanifold; it is principally polarized, hence projec…
▽ More
We study the geometry and cohomology of algebraic super curves, using a new contour integral for holomorphic differentials. For a class of super curves (``generic SKP curves'') we define a period matrix. We show that the odd part of the period matrix controls the cohomology of the dual curve. The Jacobian of a generic SKP curve is a smooth supermanifold; it is principally polarized, hence projective, if the even part of the period matrix is symmetric. In general symmetry is not guaranteed by the Riemann bilinear equations for our contour integration, so it remains open whether Jacobians are always projective or carry theta functions.
These results on generic SKP curves are applied to the study of algebro-geometric solutions of the super KP hierarchy. The tau function is shown to be, essentially, a meromorphic section of a line bundle with trivial Chern class on the Jacobian, rationally expressible in terms of super theta functions when these exist. Also we relate the tau function and the Baker function for this hierarchy, using a generalization of Cramer's rule to the supercase.
△ Less
Submitted 15 January, 1996;
originally announced January 1996.
-
Super Elliptic Curves
Authors:
Jeffrey M. Rabin
Abstract:
A detailed study is made of super elliptic curves, namely super Riemann surfaces of genus one considered as algebraic varieties, particularly their relation with their Picard groups. This is the simplest setting in which to study the geometric consequences of the fact that certain cohomology groups of super Riemann surfaces are not freely generated modules. The divisor theory of Rosly, Schwarz,…
▽ More
A detailed study is made of super elliptic curves, namely super Riemann surfaces of genus one considered as algebraic varieties, particularly their relation with their Picard groups. This is the simplest setting in which to study the geometric consequences of the fact that certain cohomology groups of super Riemann surfaces are not freely generated modules. The divisor theory of Rosly, Schwarz, and Voronov gives a map from a supertorus to its Picard group, but this map is a projection, not an isomorphism as it is for ordinary tori. The geometric realization of the addition law on Pic via intersections of the supertorus with superlines in projective space is described. The isomorphisms of Pic with the Jacobian and the divisor class group are verified. All possible isogenies, or surjective holomorphic maps between supertori, are determined and shown to induce homomorphisms of the Picard groups. Finally, the solutions to the new super Kadomtsev-Petviashvili (super KP) hierarchy of Mulase-Rabin which arise from super elliptic curves via the Krichever construction are exhibited.
△ Less
Submitted 22 February, 1993;
originally announced February 1993.
