-
Unifying and extending Precision Recall metrics for assessing generative models
Authors:
Benjamin Sykes,
Loic Simon,
Julien Rabin
Abstract:
With the recent success of generative models in image and text, the evaluation of generative models has gained a lot of attention. Whereas most generative models are compared in terms of scalar values such as Frechet Inception Distance (FID) or Inception Score (IS), in the last years (Sajjadi et al., 2018) proposed a definition of precision-recall curve to characterize the closeness of two distrib…
▽ More
With the recent success of generative models in image and text, the evaluation of generative models has gained a lot of attention. Whereas most generative models are compared in terms of scalar values such as Frechet Inception Distance (FID) or Inception Score (IS), in the last years (Sajjadi et al., 2018) proposed a definition of precision-recall curve to characterize the closeness of two distributions. Since then, various approaches to precision and recall have seen the light (Kynkaanniemi et al., 2019; Naeem et al., 2020; Park & Kim, 2023). They center their attention on the extreme values of precision and recall, but apart from this fact, their ties are elusive. In this paper, we unify most of these approaches under the same umbrella, relying on the work of (Simon et al., 2019). Doing so, we were able not only to recover entire curves, but also to expose the sources of the accounted pitfalls of the concerned metrics. We also provide consistency results that go well beyond the ones presented in the corresponding literature. Last, we study the different behaviors of the curves obtained experimentally.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
LATENTPATCH: A Non-Parametric Approach for Face Generation and Editing
Authors:
Benjamin Samuth,
Julien Rabin,
David Tschumperlé,
Frédéric Jurie
Abstract:
This paper presents LatentPatch, a new method for generating realistic images from a small dataset of only a few images. We use a lightweight model with only a few thousand parameters. Unlike traditional few-shot generation methods that finetune pre-trained large-scale generative models, our approach is computed directly on the latent distribution by sequential feature matching, and is explainable…
▽ More
This paper presents LatentPatch, a new method for generating realistic images from a small dataset of only a few images. We use a lightweight model with only a few thousand parameters. Unlike traditional few-shot generation methods that finetune pre-trained large-scale generative models, our approach is computed directly on the latent distribution by sequential feature matching, and is explainable by design. Avoiding large models based on transformers, recursive networks, or self-attention, which are not suitable for small datasets, our method is inspired by non-parametric texture synthesis and style transfer models, and ensures that generated image features are sampled from the source distribution. We extend previous single-image models to work with a few images and demonstrate that our method can generate realistic images, as well as enable conditional sampling and image editing. We conduct experiments on face datasets and show that our simplistic model is effective and versatile.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
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 De-duplication of LAION-2B
Authors:
Ryan Webster,
Julien Rabin,
Loic Simon,
Frederic Jurie
Abstract:
Generative models, such as DALL-E, Midjourney, and Stable Diffusion, have societal implications that extend beyond the field of computer science. These models require large image databases like LAION-2B, which contain two billion images. At this scale, manual inspection is difficult and automated analysis is challenging. In addition, recent studies show that duplicated images pose copyright proble…
▽ More
Generative models, such as DALL-E, Midjourney, and Stable Diffusion, have societal implications that extend beyond the field of computer science. These models require large image databases like LAION-2B, which contain two billion images. At this scale, manual inspection is difficult and automated analysis is challenging. In addition, recent studies show that duplicated images pose copyright problems for models trained on LAION2B, which hinders its usability. This paper proposes an algorithmic chain that runs with modest compute, that compresses CLIP features to enable efficient duplicate detection, even for vast image volumes. Our approach demonstrates that roughly 700 million images, or about 30\%, of LAION-2B's images are likely duplicated. Our method also provides the histograms of duplication on this dataset, which we use to reveal more examples of verbatim copies by Stable Diffusion and further justify the approach. The current version of the de-duplicated set will be distributed online.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
This Person (Probably) Exists. Identity Membership Attacks Against GAN Generated Faces
Authors:
Ryan Webster,
Julien Rabin,
Loic Simon,
Frederic Jurie
Abstract:
Recently, generative adversarial networks (GANs) have achieved stunning realism, fooling even human observers. Indeed, the popular tongue-in-cheek website {\small \url{ http://thispersondoesnotexist.com}}, taunts users with GAN generated images that seem too real to believe. On the other hand, GANs do leak information about their training data, as evidenced by membership attacks recently demonstra…
▽ More
Recently, generative adversarial networks (GANs) have achieved stunning realism, fooling even human observers. Indeed, the popular tongue-in-cheek website {\small \url{ http://thispersondoesnotexist.com}}, taunts users with GAN generated images that seem too real to believe. On the other hand, GANs do leak information about their training data, as evidenced by membership attacks recently demonstrated in the literature. In this work, we challenge the assumption that GAN faces really are novel creations, by constructing a successful membership attack of a new kind. Unlike previous works, our attack can accurately discern samples sharing the same identity as training samples without being the same samples. We demonstrate the interest of our attack across several popular face datasets and GAN training procedures. Notably, we show that even in the presence of significant dataset diversity, an over represented person can pose a privacy concern.
△ Less
Submitted 13 July, 2021;
originally announced July 2021.
-
Variational models for signal processing with Graph Neural Networks
Authors:
Amitoz Azad,
Julien Rabin,
Abderrahim Elmoataz
Abstract:
This paper is devoted to signal processing on point-clouds by means of neural networks. Nowadays, state-of-the-art in image processing and computer vision is mostly based on training deep convolutional neural networks on large datasets. While it is also the case for the processing of point-clouds with Graph Neural Networks (GNN), the focus has been largely given to high-level tasks such as classif…
▽ More
This paper is devoted to signal processing on point-clouds by means of neural networks. Nowadays, state-of-the-art in image processing and computer vision is mostly based on training deep convolutional neural networks on large datasets. While it is also the case for the processing of point-clouds with Graph Neural Networks (GNN), the focus has been largely given to high-level tasks such as classification and segmentation using supervised learning on labeled datasets such as ShapeNet. Yet, such datasets are scarce and time-consuming to build depending on the target application. In this work, we investigate the use of variational models for such GNN to process signals on graphs for unsupervised learning. Our contributions are two-fold. We first show that some existing variational-based algorithms for signals on graphs can be formulated as Message Passing Networks (MPN), a particular instance of GNN, making them computationally efficient in practice when compared to standard gradient-based machine learning algorithms. Secondly, we investigate the unsupervised learning of feed-forward GNN, either by direct optimization of an inverse problem or by model distillation from variational-based MPN.
Keywords:Graph Processing. Neural Network. Total Variation. Variational Methods. Message Passing Network. Unsupervised learning
△ Less
Submitted 3 April, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
On the Existence of Optimal Transport Gradient for Learning Generative Models
Authors:
Antoine Houdard,
Arthur Leclaire,
Nicolas Papadakis,
Julien Rabin
Abstract:
The use of optimal transport cost for learning generative models has become popular with Wasserstein Generative Adversarial Networks (WGAN). Training of WGAN relies on a theoretical background: the calculation of the gradient of the optimal transport cost with respect to the generative model parameters. We first demonstrate that such gradient may not be defined, which can result in numerical insta…
▽ More
The use of optimal transport cost for learning generative models has become popular with Wasserstein Generative Adversarial Networks (WGAN). Training of WGAN relies on a theoretical background: the calculation of the gradient of the optimal transport cost with respect to the generative model parameters. We first demonstrate that such gradient may not be defined, which can result in numerical instabilities during gradient-based optimization. We address this issue by stating a valid differentiation theorem in the case of entropic regularized transport and specify conditions under which existence is ensured. By exploiting the discrete nature of empirical data, we formulate the gradient in a semi-discrete setting and propose an algorithm for the optimization of the generative model parameters. Finally, we illustrate numerically the advantage of the proposed framework.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
A Generative Model for Texture Synthesis based on Optimal Transport between Feature Distributions
Authors:
Antoine Houdard,
Arthur Leclaire,
Nicolas Papadakis,
Julien Rabin
Abstract:
We propose GOTEX, a general framework for texture synthesis by optimization that constrains the statistical distribution of local features. While our model encompasses several existing texture models, we focus on the case where the comparison between feature distributions relies on optimal transport distances. We show that the semi-dual formulation of optimal transport allows to control the distri…
▽ More
We propose GOTEX, a general framework for texture synthesis by optimization that constrains the statistical distribution of local features. While our model encompasses several existing texture models, we focus on the case where the comparison between feature distributions relies on optimal transport distances. We show that the semi-dual formulation of optimal transport allows to control the distribution of various possible features, even if these features live in a high-dimensional space. We then study the resulting minimax optimization problem, which corresponds to a Wasserstein generative model, for which the inner concave maximization problem can be solved with standard stochastic gradient methods. The alternate optimization algorithm is shown to be versatile in terms of applications, features and architecture; in particular it allows to produce high-quality synthesized textures with different sets of features. We analyze the results obtained by constraining the distribution of patches or the distribution of responses to a pre-learned VGG neural network. We show that the patch representation can retrieve the desired textural aspect in a more precise manner. We also provide a detailed comparison with state-of-the-art texture synthesis methods. The GOTEX model based on patch features is also adapted to texture inpainting and texture interpolation. Finally, we show how to use our framework to learn a feed-forward neural network that can synthesize on-the-fly new textures of arbitrary size in a very fast manner. Experimental results and comparisons with the mainstream methods from the literature illustrate the relevance of the generative models learned with GOTEX.
△ Less
Submitted 18 October, 2021; v1 submitted 19 June, 2020;
originally announced July 2020.
-
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.
-
On Demand Solid Texture Synthesis Using Deep 3D Networks
Authors:
Jorge Gutierrez,
Julien Rabin,
Bruno Galerne,
Thomas Hurtut
Abstract:
This paper describes a novel approach for on demand volumetric texture synthesis based on a deep learning framework that allows for the generation of high quality 3D data at interactive rates. Based on a few example images of textures, a generative network is trained to synthesize coherent portions of solid textures of arbitrary sizes that reproduce the visual characteristics of the examples along…
▽ More
This paper describes a novel approach for on demand volumetric texture synthesis based on a deep learning framework that allows for the generation of high quality 3D data at interactive rates. Based on a few example images of textures, a generative network is trained to synthesize coherent portions of solid textures of arbitrary sizes that reproduce the visual characteristics of the examples along some directions. To cope with memory limitations and computation complexity that are inherent to both high resolution and 3D processing on the GPU, only 2D textures referred to as "slices" are generated during the training stage. These synthetic textures are compared to exemplar images via a perceptual loss function based on a pre-trained deep network. The proposed network is very light (less than 100k parameters), therefore it only requires sustainable training (i.e. few hours) and is capable of very fast generation (around a second for $256^3$ voxels) on a single GPU. Integrated with a spatially seeded PRNG the proposed generator network directly returns an RGB value given a set of 3D coordinates. The synthesized volumes have good visual results that are at least equivalent to the state-of-the-art patch based approaches. They are naturally seamlessly tileable and can be fully generated in parallel.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
Revisiting Precision and Recall Definition for Generative Model Evaluation
Authors:
Loïc Simon,
Ryan Webster,
Julien Rabin
Abstract:
In this article we revisit the definition of Precision-Recall (PR) curves for generative models proposed by Sajjadi et al. (arXiv:1806.00035). Rather than providing a scalar for generative quality, PR curves distinguish mode-collapse (poor recall) and bad quality (poor precision). We first generalize their formulation to arbitrary measures, hence removing any restriction to finite support. We also…
▽ More
In this article we revisit the definition of Precision-Recall (PR) curves for generative models proposed by Sajjadi et al. (arXiv:1806.00035). Rather than providing a scalar for generative quality, PR curves distinguish mode-collapse (poor recall) and bad quality (poor precision). We first generalize their formulation to arbitrary measures, hence removing any restriction to finite support. We also expose a bridge between PR curves and type I and type II error rates of likelihood ratio classifiers on the task of discriminating between samples of the two distributions. Building upon this new perspective, we propose a novel algorithm to approximate precision-recall curves, that shares some interesting methodological properties with the hypothesis testing technique from Lopez-Paz et al (arXiv:1610.06545). We demonstrate the interest of the proposed formulation over the original approach on controlled multi-modal datasets.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
Detecting Overfitting of Deep Generative Networks via Latent Recovery
Authors:
Ryan Webster,
Julien Rabin,
Loic Simon,
Frederic Jurie
Abstract:
State of the art deep generative networks are capable of producing images with such incredible realism that they can be suspected of memorizing training images. It is why it is not uncommon to include visualizations of training set nearest neighbors, to suggest generated images are not simply memorized. We demonstrate this is not sufficient and motivates the need to study memorization/overfitting…
▽ More
State of the art deep generative networks are capable of producing images with such incredible realism that they can be suspected of memorizing training images. It is why it is not uncommon to include visualizations of training set nearest neighbors, to suggest generated images are not simply memorized. We demonstrate this is not sufficient and motivates the need to study memorization/overfitting of deep generators with more scrutiny. This paper addresses this question by i) showing how simple losses are highly effective at reconstructing images for deep generators ii) analyzing the statistics of reconstruction errors when reconstructing training and validation images, which is the standard way to analyze overfitting in machine learning. Using this methodology, this paper shows that overfitting is not detectable in the pure GAN models proposed in the literature, in contrast with those using hybrid adversarial losses, which are amongst the most widely applied generative methods. The paper also shows that standard GAN evaluation metrics fail to capture memorization for some deep generators. Finally, the paper also shows how off-the-shelf GAN generators can be successfully applied to face inpainting and face super-resolution using the proposed reconstruction method, without hybrid adversarial losses.
△ Less
Submitted 9 January, 2019;
originally announced January 2019.
-
Automatic discovery of discriminative parts as a quadratic assignment problem
Authors:
Ronan Sicre,
Julien Rabin,
Yannis Avrithis,
Teddy Furon,
Frederic Jurie
Abstract:
Part-based image classification consists in representing categories by small sets of discriminative parts upon which a representation of the images is built. This paper addresses the question of how to automatically learn such parts from a set of labeled training images. The training of parts is cast as a quadratic assignment problem in which optimal correspondences between image regions and parts…
▽ More
Part-based image classification consists in representing categories by small sets of discriminative parts upon which a representation of the images is built. This paper addresses the question of how to automatically learn such parts from a set of labeled training images. The training of parts is cast as a quadratic assignment problem in which optimal correspondences between image regions and parts are automatically learned. The paper analyses different assignment strategies and thoroughly evaluates them on two public datasets: Willow actions and MIT 67 scenes. State-of-the art results are obtained on these datasets.
△ Less
Submitted 14 November, 2016;
originally announced November 2016.
-
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.
-
Convex Color Image Segmentation with Optimal Transport Distances
Authors:
Julien Rabin,
Nicolas Papadakis
Abstract:
This work is about the use of regularized optimal-transport distances for convex, histogram-based image segmentation. In the considered framework, fixed exemplar histograms define a prior on the statistical features of the two regions in competition. In this paper, we investigate the use of various transport-based cost functions as discrepancy measures and rely on a primal-dual algorithm to solve…
▽ More
This work is about the use of regularized optimal-transport distances for convex, histogram-based image segmentation. In the considered framework, fixed exemplar histograms define a prior on the statistical features of the two regions in competition. In this paper, we investigate the use of various transport-based cost functions as discrepancy measures and rely on a primal-dual algorithm to solve the obtained convex optimization problem.
△ Less
Submitted 16 March, 2015; v1 submitted 6 March, 2015;
originally announced March 2015.
-
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 map**s 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 map**s 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 map**s to weighted projective space, which is a compact orbifold, and show that magnification relations translate into a statement about the behavior of these extended map**s 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.
-
Periodicity and Growth in a Lattice Gas with Dynamical Geometry
Authors:
Karin Baur,
Jeffrey M. Rabin,
David A. Meyer
Abstract:
We study a one-dimensional lattice gas "dynamical geometry model" in which local reversible interactions of counter-rotating groups of particles on a ring can create or destroy lattice sites. We exhibit many periodic orbits and and show that all other solutions have asymptotically growing lattice length in both directions of time. We explain why the length grows as $\sqrt{t}$ in all cases examin…
▽ More
We study a one-dimensional lattice gas "dynamical geometry model" in which local reversible interactions of counter-rotating groups of particles on a ring can create or destroy lattice sites. We exhibit many periodic orbits and and show that all other solutions have asymptotically growing lattice length in both directions of time. We explain why the length grows as $\sqrt{t}$ in all cases examined. We completely solve the dynamics for small numbers of particles with arbitrary initial conditions.
△ Less
Submitted 30 June, 2005;
originally announced June 2005.
-
On Decomposing N=2 Line Bundles as Tensor Products of N=1 Line Bundles
Authors:
Fausto Ongay,
Jeffrey M. Rabin
Abstract:
We obtain the existence of a cohomological obstruction to expressing N=2 line bundles as tensor products of N=1 bundles. The motivation behind this paper is an attempt at understanding the N=2 super KP equation via Baker functions, which are special sections of line bundles on supercurves.
We obtain the existence of a cohomological obstruction to expressing N=2 line bundles as tensor products of N=1 bundles. The motivation behind this paper is an attempt at understanding the N=2 super KP equation via Baker functions, which are special sections of line bundles on supercurves.
△ Less
Submitted 19 March, 2002;
originally announced March 2002.
-
Magnification relations in gravitational lensing via multidimensional residue integrals
Authors:
Neal Dalal,
Jeffrey M. Rabin
Abstract:
We investigate the so-called magnification relations of gravitational lensing models. We show that multidimensional residue integrals provide a simple explanation for the existence of these relations, and an effective method of computation. We illustrate the method with several examples, thereby deriving new magnification relations for galaxy lens models and microlensing (point mass lensing).
We investigate the so-called magnification relations of gravitational lensing models. We show that multidimensional residue integrals provide a simple explanation for the existence of these relations, and an effective method of computation. We illustrate the method with several examples, thereby deriving new magnification relations for galaxy lens models and microlensing (point mass lensing).
△ Less
Submitted 31 August, 2000;
originally announced September 2000.
-
Geodesics and BPS States in N=2 Supersymmetric QCD
Authors:
Jeffrey M. Rabin
Abstract:
Conformal map** techniques are used to determine analytically the geodesics on the Seiberg-Witten Riemann surface which correspond to the BPS dyon states in N=2 SUSY QCD with gauge group SU(2) and up to three flavors of massless fundamental matter. The results are exact for zero and two flavors, and approximate in the weak-coupling limit for one and three flavors. The presence of states of mag…
▽ More
Conformal map** techniques are used to determine analytically the geodesics on the Seiberg-Witten Riemann surface which correspond to the BPS dyon states in N=2 SUSY QCD with gauge group SU(2) and up to three flavors of massless fundamental matter. The results are exact for zero and two flavors, and approximate in the weak-coupling limit for one and three flavors. The presence of states of magnetic charge 2, in the three-flavor case only, is confirmed.
△ Less
Submitted 20 March, 1997;
originally announced March 1997.
-
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.
-
Old and New Fields on Super Riemann Surfaces
Authors:
Jeffrey M. Rabin
Abstract:
The ``new fields" or ``superconformal functions" on $N=1$ super Riemann surfaces introduced recently by Rogers and Langer are shown to coincide with the Abelian differentials (plus constants), viewed as a subset of the functions on the associated $N=2$ super Riemann surface. We confirm that, as originally defined, they do not form a super vector space.
The ``new fields" or ``superconformal functions" on $N=1$ super Riemann surfaces introduced recently by Rogers and Langer are shown to coincide with the Abelian differentials (plus constants), viewed as a subset of the functions on the associated $N=2$ super Riemann surface. We confirm that, as originally defined, they do not form a super vector space.
△ Less
Submitted 19 June, 1996; v1 submitted 8 August, 1995;
originally announced August 1995.
-
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.