-
Spectro-photometry of Phobos simulants: I. Detectability of hydrated minerals and organic bands
Authors:
Antonin Wargnier,
Thomas Gautier,
Alain Doressoundiram,
Giovanni Poggiali,
Pierre Beck,
Olivier Poch,
Eric Quirico,
Tomoki Nakamura,
Hideaki Miyamoto,
Shingo Kameda,
Pedro H. Hasselmann,
Nathalie Ruscassier,
Arnaud Buch,
Sonia Fornasier,
Maria Antonietta Barucci
Abstract:
Previous observations of Phobos and Deimos, the moons of Mars, have improved our understanding of these small bodies. However, their formation and composition remain poorly constrained. Physical and spectral properties suggest that Phobos may be a weakly thermal-altered captured asteroid but the dynamical properties of the martian system suggest a formation by giant collision similar to the Earth…
▽ More
Previous observations of Phobos and Deimos, the moons of Mars, have improved our understanding of these small bodies. However, their formation and composition remain poorly constrained. Physical and spectral properties suggest that Phobos may be a weakly thermal-altered captured asteroid but the dynamical properties of the martian system suggest a formation by giant collision similar to the Earth moon. In 2027, the JAXA's MMX mission aims to address these outstanding questions. We undertook measurements with a new simulant called OPPS (Observatory of Paris Phobos Simulant) which closely matches Phobos spectra in the visible to the mid-infrared range. The simulant was synthesized using a mixture of olivine, saponite, anthracite, and coal. Since observation geometry is a crucial aspect of planetary surface remote sensing exploration, we evaluated the parameters obtained by modeling the phase curves -- obtained through laboratory measurements -- of two different Phobos simulants (UTPS-TB and OPPS) using Hapke IMSA model. Our results show that the photometric properties of Phobos simulants are not fully consistent with those of Tagish Lake, Allende, or the NWA 4766 shergottite. We also investigated the detection of volatiles/organic compounds and hydrated minerals, as the presence of such components is expected on Phobos in the hypothesis of a captured primitive asteroid. The results indicate that a significant amount of organic compounds is required for the detection of C-H bands at 3.4 $μ$m. In contrast, the 2.7 $μ$m absorption band, due to hydrated minerals, is much deeper and easier to detect than C-H organic features at the same concentration levels. Posing limits on detectability of some possible key components of Phobos surface will be pivotal to prepare and interpret future observations of the MIRS spectrometer onboard MMX mission.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
What it takes to solve the Origin(s) of Life: An integrated review of techniques
Authors:
OoLEN,
Silke Asche,
Carla Bautista,
David Boulesteix,
Alexandre Champagne-Ruel,
Cole Mathis,
Omer Markovitch,
Zhen Peng,
Alyssa Adams,
Avinash Vicholous Dass,
Arnaud Buch,
Eloi Camprubi,
Enrico Sandro Colizzi,
Stephanie Colón-Santos,
Hannah Dromiack,
Valentina Erastova,
Amanda Garcia,
Ghjuvan Grimaud,
Aaron Halpern,
Stuart A Harrison,
Seán F. Jordan,
Tony Z Jia,
Amit Kahana,
Artemy Kolchinsky,
Odin Moron-Garcia
, et al. (13 additional authors not shown)
Abstract:
Understanding the origin(s) of life (OoL) is a fundamental challenge for science in the 21st century. Research on OoL spans many disciplines, including chemistry, physics, biology, planetary sciences, computer science, mathematics and philosophy. The sheer number of different scientific perspectives relevant to the problem has resulted in the coexistence of diverse tools, techniques, data, and sof…
▽ More
Understanding the origin(s) of life (OoL) is a fundamental challenge for science in the 21st century. Research on OoL spans many disciplines, including chemistry, physics, biology, planetary sciences, computer science, mathematics and philosophy. The sheer number of different scientific perspectives relevant to the problem has resulted in the coexistence of diverse tools, techniques, data, and software in OoL studies. This has made communication between the disciplines relevant to the OoL extremely difficult because the interpretation of data, analyses, or standards of evidence can vary dramatically. Here, we hope to bridge this wide field of study by providing common ground via the consolidation of tools and techniques rather than positing a unifying view on how life emerges. We review the common tools and techniques that have been used significantly in OoL studies in recent years. In particular, we aim to identify which information is most relevant for comparing and integrating the results of experimental analyses into mathematical and computational models. This review aims to provide a baseline expectation and understanding of technical aspects of origins research, rather than being a primer on any particular topic. As such, it spans broadly -- from analytical chemistry to mathematical models -- and highlights areas of future work that will benefit from a multidisciplinary approach to tackling the mystery of life's origin. Ultimately, we hope to empower a new generation of OoL scientists by reviewing how they can investigate life's origin, rather than dictating how to think about the problem.
△ Less
Submitted 24 August, 2023; v1 submitted 22 August, 2023;
originally announced August 2023.
-
Seidel and Pieri products in cominuscule quantum K-theory
Authors:
Anders S. Buch,
Pierre-Emmanuel Chaput,
Nicolas Perrin
Abstract:
We prove a collection of formulas for products of Schubert classes in the quantum $K$-theory ring $QK(X)$ of a cominuscule flag variety $X$. This includes a $K$-theory version of the Seidel representation, stating that the quantum product of a Seidel class with an arbitrary Schubert class is equal to a single Schubert class times a power of the deformation parameter $q$. We also prove new Pieri fo…
▽ More
We prove a collection of formulas for products of Schubert classes in the quantum $K$-theory ring $QK(X)$ of a cominuscule flag variety $X$. This includes a $K$-theory version of the Seidel representation, stating that the quantum product of a Seidel class with an arbitrary Schubert class is equal to a single Schubert class times a power of the deformation parameter $q$. We also prove new Pieri formulas for the quantum $K$-theory of maximal orthogonal Grassmannians and Lagrangian Grassmannians, and give a new proof of the known Pieri formula for the quantum $K$-theory of Grassmannians of type A. Our formulas have simple statements in terms of quantum shapes that represent the natural basis elements $q^d[{\mathcal O}_{X^u}]$ of $QK(X)$. Along the way we give a simple formula for $K$-theoretic Gromov-Witten invariants of Pieri type for Lagrangian Grassmannians, and prove a rationality result for the points in a Richardson variety in a symplectic Grassmannian that are perpendicular to a point in projective space.
△ Less
Submitted 6 December, 2023; v1 submitted 9 August, 2023;
originally announced August 2023.
-
Simple and Scalable Algorithms for Cluster-Aware Precision Medicine
Authors:
Amanda M. Buch,
Conor Liston,
Logan Grosenick
Abstract:
AI-enabled precision medicine promises a transformational improvement in healthcare outcomes by enabling data-driven personalized diagnosis, prognosis, and treatment. However, the well-known "curse of dimensionality" and the clustered structure of biomedical data together interact to present a joint challenge in the high dimensional, limited observation precision medicine regime. To overcome both…
▽ More
AI-enabled precision medicine promises a transformational improvement in healthcare outcomes by enabling data-driven personalized diagnosis, prognosis, and treatment. However, the well-known "curse of dimensionality" and the clustered structure of biomedical data together interact to present a joint challenge in the high dimensional, limited observation precision medicine regime. To overcome both issues simultaneously we propose a simple and scalable approach to joint clustering and embedding that combines standard embedding methods with a convex clustering penalty in a modular way. This novel, cluster-aware embedding approach overcomes the complexity and limitations of current joint embedding and clustering methods, which we show with straightforward implementations of hierarchically clustered principal component analysis (PCA), locally linear embedding (LLE), and canonical correlation analysis (CCA). Through both numerical experiments and real-world examples, we demonstrate that our approach outperforms traditional and contemporary clustering methods on highly underdetermined problems (e.g., with just tens of observations) as well as on large sample datasets. Importantly, our approach does not require the user to choose the desired number of clusters, but instead yields interpretable dendrograms of hierarchically clustered embeddings. Thus our approach improves significantly on existing methods for identifying patient subgroups in multiomics and neuroimaging data, enabling scalable and interpretable biomarkers for precision medicine.
△ Less
Submitted 17 May, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Ki-Pode: Keypoint-based Implicit Pose Distribution Estimation of Rigid Objects
Authors:
Thorbjørn Mosekjær Iversen,
Rasmus Laurvig Haugaard,
Anders Glent Buch
Abstract:
The estimation of 6D poses of rigid objects is a fundamental problem in computer vision. Traditionally pose estimation is concerned with the determination of a single best estimate. However, a single estimate is unable to express visual ambiguity, which in many cases is unavoidable due to object symmetries or occlusion of identifying features. Inability to account for ambiguities in pose can lead…
▽ More
The estimation of 6D poses of rigid objects is a fundamental problem in computer vision. Traditionally pose estimation is concerned with the determination of a single best estimate. However, a single estimate is unable to express visual ambiguity, which in many cases is unavoidable due to object symmetries or occlusion of identifying features. Inability to account for ambiguities in pose can lead to failure in subsequent methods, which is unacceptable when the cost of failure is high. Estimates of full pose distributions are, contrary to single estimates, well suited for expressing uncertainty on pose. Motivated by this, we propose a novel pose distribution estimation method. An implicit formulation of the probability distribution over object pose is derived from an intermediary representation of an object as a set of keypoints. This ensures that the pose distribution estimates have a high level of interpretability. Furthermore, our method is based on conservative approximations, which leads to reliable estimates. The method has been evaluated on the task of rotation distribution estimation on the YCB-V and T-LESS datasets and performs reliably on all objects.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Self-supervised deep visual servoing for high precision peg-in-hole insertion
Authors:
Rasmus Laurvig Haugaard,
Anders Glent Buch,
Thorbjørn Mosekjær Iversen
Abstract:
Many industrial assembly tasks involve peg-in-hole like insertions with sub-millimeter tolerances which are challenging, even in highly calibrated robot cells. Visual servoing can be employed to increase the robustness towards uncertainties in the system, however, state of the art methods either rely on accurate 3D models for synthetic renderings or manual involvement in acquisition of training da…
▽ More
Many industrial assembly tasks involve peg-in-hole like insertions with sub-millimeter tolerances which are challenging, even in highly calibrated robot cells. Visual servoing can be employed to increase the robustness towards uncertainties in the system, however, state of the art methods either rely on accurate 3D models for synthetic renderings or manual involvement in acquisition of training data. We present a novel self-supervised visual servoing method for high precision peg-in-hole insertion, which is fully automated and does not rely on synthetic data. We demonstrate its applicability for insertion of electronic components into a printed circuit board with tight tolerances. We show that peg-in-hole insertion can be drastically sped up by preceding a robust but slow force-based insertion strategy with our proposed visual servoing method, the configuration of which is fully autonomous.
△ Less
Submitted 17 June, 2022;
originally announced June 2022.
-
A Flexible and Robust Vision Trap for Automated Part Feeder Design
Authors:
Rasmus Laurvig Haugaard,
Thorbjørn Mosekjær Iversen,
Anders Glent Buch,
Aljaz Kramberger,
Simon Faarvang Mathiesen
Abstract:
Fast, robust, and flexible part feeding is essential for enabling automation of low volume, high variance assembly tasks. An actuated vision-based solution on a traditional vibratory feeder, referred to here as a vision trap, should in principle be able to meet these demands for a wide range of parts. However, in practice, the flexibility of such a trap is limited as an expert is needed to both id…
▽ More
Fast, robust, and flexible part feeding is essential for enabling automation of low volume, high variance assembly tasks. An actuated vision-based solution on a traditional vibratory feeder, referred to here as a vision trap, should in principle be able to meet these demands for a wide range of parts. However, in practice, the flexibility of such a trap is limited as an expert is needed to both identify manageable tasks and to configure the vision system. We propose a novel approach to vision trap design in which the identification of manageable tasks is automatic and the configuration of these tasks can be delegated to an automated feeder design system. We show that the trap's capabilities can be formalized in such a way that it integrates seamlessly into the ecosystem of automated feeder design. Our results on six canonical parts show great promise for autonomous configuration of feeder systems.
△ Less
Submitted 2 November, 2022; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Positivity of minuscule quantum K-theory
Authors:
Anders S. Buch,
Pierre-Emmanuel Chaput,
Leonardo C. Mihalcea,
Nicolas Perrin
Abstract:
We prove that the Schubert structure constants of the quantum $K$-theory ring of any minuscule flag variety or quadric hypersurface have signs that alternate with codimension. We also prove that the powers of the deformation parameter $q$ that occur in the product of two Schubert classes in the quantum cohomology or quantum $K$-theory ring of a cominuscule flag variety form an integer interval. Ou…
▽ More
We prove that the Schubert structure constants of the quantum $K$-theory ring of any minuscule flag variety or quadric hypersurface have signs that alternate with codimension. We also prove that the powers of the deformation parameter $q$ that occur in the product of two Schubert classes in the quantum cohomology or quantum $K$-theory ring of a cominuscule flag variety form an integer interval. Our proofs are based on several new results, including an explicit description of the most general non-empty intersection of two Schubert varieties in an arbitrary flag manifold, and a computation of the cohomology groups of any negative line bundle restricted to a Richardson variety in a cominuscule flag variety. We also give a type-uniform proof of the quantum-to-classical theorem, which asserts that the (3-point, genus 0) Gromov-Witten invariants of any cominuscule flag variety are classical triple-intersection numbers on an associated flag variety. Finally, we prove several new results about the geometry and combinatorics related to this theorem.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
ParaPose: Parameter and Domain Randomization Optimization for Pose Estimation using Synthetic Data
Authors:
Frederik Hagelskjaer,
Anders Glent Buch
Abstract:
Pose estimation is the task of determining the 6D position of an object in a scene. Pose estimation aid the abilities and flexibility of robotic set-ups. However, the system must be configured towards the use case to perform adequately. This configuration is time-consuming and limits the usability of pose estimation and, thereby, robotic systems. Deep learning is a method to overcome this configur…
▽ More
Pose estimation is the task of determining the 6D position of an object in a scene. Pose estimation aid the abilities and flexibility of robotic set-ups. However, the system must be configured towards the use case to perform adequately. This configuration is time-consuming and limits the usability of pose estimation and, thereby, robotic systems. Deep learning is a method to overcome this configuration procedure by learning parameters directly from the dataset. However, obtaining this training data can also be very time-consuming. The use of synthetic training data avoids this data collection problem, but a configuration of the training procedure is necessary to overcome the domain gap problem. Additionally, the pose estimation parameters also need to be configured. This configuration is jokingly known as grad student descent as parameters are manually adjusted until satisfactory results are obtained. This paper presents a method for automatic configuration using only synthetic data. This is accomplished by learning the domain randomization during network training, and then using the domain randomization to optimize the pose estimation parameters. The developed approach shows state-of-the-art performance of 82.0 % recall on the challenging OCCLUSION dataset, outperforming all previous methods with a large margin. These results prove the validity of automatic set-up of pose estimation using purely synthetic data.
△ Less
Submitted 2 August, 2022; v1 submitted 2 March, 2022;
originally announced March 2022.
-
Tevelev degrees in Gromov-Witten theory
Authors:
Anders S. Buch,
Rahul Pandharipande
Abstract:
For a nonsingular projective variety $X$, the virtual Tevelev degree in Gromov-Witten theory is defined as the virtual degree of the morphism from $M_{g,n}(X,d)$ to the product $M_{g,n} \times X^n$. After proving a simple formula for the virtual Tevelev degree in the (small) quantum cohomology ring of $X$ using the quantum Euler class, we provide several exact calculations for flag varieties and c…
▽ More
For a nonsingular projective variety $X$, the virtual Tevelev degree in Gromov-Witten theory is defined as the virtual degree of the morphism from $M_{g,n}(X,d)$ to the product $M_{g,n} \times X^n$. After proving a simple formula for the virtual Tevelev degree in the (small) quantum cohomology ring of $X$ using the quantum Euler class, we provide several exact calculations for flag varieties and complete intersections. In the cominuscule case (including Grassmannians, Lagrangian Grassmannians, and maximal orthogonal Grassmannians), the virtual Tevelev degrees are calculated in terms of the eigenvalues of an associated self-adjoint linear endomorphism of the quantum cohomology ring. For complete intersections of low degree (compared to dimension), we prove a product formula. The calculation for complete intersections involves the primitive cohomology. Virtual Tevelev degrees are better behaved than arbitrary Gromov-Witten invariants, and, by recent results of Lian and Pandharipande, are much more likely to be enumerative.
△ Less
Submitted 29 December, 2021;
originally announced December 2021.
-
SurfEmb: Dense and Continuous Correspondence Distributions for Object Pose Estimation with Learnt Surface Embeddings
Authors:
Rasmus Laurvig Haugaard,
Anders Glent Buch
Abstract:
We present an approach to learn dense, continuous 2D-3D correspondence distributions over the surface of objects from data with no prior knowledge of visual ambiguities like symmetry. We also present a new method for 6D pose estimation of rigid objects using the learnt distributions to sample, score and refine pose hypotheses. The correspondence distributions are learnt with a contrastive loss, re…
▽ More
We present an approach to learn dense, continuous 2D-3D correspondence distributions over the surface of objects from data with no prior knowledge of visual ambiguities like symmetry. We also present a new method for 6D pose estimation of rigid objects using the learnt distributions to sample, score and refine pose hypotheses. The correspondence distributions are learnt with a contrastive loss, represented in object-specific latent spaces by an encoder-decoder query model and a small fully connected key model. Our method is unsupervised with respect to visual ambiguities, yet we show that the query- and key models learn to represent accurate multi-modal surface distributions. Our pose estimation method improves the state-of-the-art significantly on the comprehensive BOP Challenge, trained purely on synthetic data, even compared with methods trained on real data. The project site is at https://surfemb.github.io/ .
△ Less
Submitted 4 April, 2022; v1 submitted 26 November, 2021;
originally announced November 2021.
-
Bridging the Reality Gap for Pose Estimation Networks using Sensor-Based Domain Randomization
Authors:
Frederik Hagelskjaer,
Anders Glent Buch
Abstract:
Since the introduction of modern deep learning methods for object pose estimation, test accuracy and efficiency has increased significantly. For training, however, large amounts of annotated training data are required for good performance. While the use of synthetic training data prevents the need for manual annotation, there is currently a large performance gap between methods trained on real and…
▽ More
Since the introduction of modern deep learning methods for object pose estimation, test accuracy and efficiency has increased significantly. For training, however, large amounts of annotated training data are required for good performance. While the use of synthetic training data prevents the need for manual annotation, there is currently a large performance gap between methods trained on real and synthetic data. This paper introduces a new method, which bridges this gap.
Most methods trained on synthetic data use 2D images, as domain randomization in 2D is more developed. To obtain precise poses, many of these methods perform a final refinement using 3D data. Our method integrates the 3D data into the network to increase the accuracy of the pose estimation. To allow for domain randomization in 3D, a sensor-based data augmentation has been developed. Additionally, we introduce the SparseEdge feature, which uses a wider search space during point cloud propagation to avoid relying on specific features without increasing run-time.
Experiments on three large pose estimation benchmarks show that the presented method outperforms previous methods trained on synthetic data and achieves comparable results to existing methods trained on real data.
△ Less
Submitted 17 August, 2021; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Fast robust peg-in-hole insertion with continuous visual servoing
Authors:
Rasmus Laurvig Haugaard,
Jeppe Langaa,
Christoffer Sloth,
Anders Glent Buch
Abstract:
This paper demonstrates a visual servoing method which is robust towards uncertainties related to system calibration and grasping, while significantly reducing the peg-in-hole time compared to classical methods and recent attempts based on deep learning. The proposed visual servoing method is based on peg and hole point estimates from a deep neural network in a multi-cam setup, where the model is…
▽ More
This paper demonstrates a visual servoing method which is robust towards uncertainties related to system calibration and grasping, while significantly reducing the peg-in-hole time compared to classical methods and recent attempts based on deep learning. The proposed visual servoing method is based on peg and hole point estimates from a deep neural network in a multi-cam setup, where the model is trained on purely synthetic data. Empirical results show that the learnt model generalizes to the real world, allowing for higher success rates and lower cycle times than existing approaches.
△ Less
Submitted 12 November, 2020;
originally announced November 2020.
-
A journey from the octonionic $\mathbb P^2$ to a fake $\mathbb P^2$
Authors:
Lev Borisov,
Anders Buch,
Enrico Fatighenti
Abstract:
We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of type $A_2$, and is a quotient of a fake projective plane. We use the techniques of \cite{BF20} to define this fake projective plane by explicit equations in its…
▽ More
We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of type $A_2$, and is a quotient of a fake projective plane. We use the techniques of \cite{BF20} to define this fake projective plane by explicit equations in its bicanonical embedding.
△ Less
Submitted 21 August, 2020;
originally announced August 2020.
-
PointVoteNet: Accurate Object Detection and 6 DoF Pose Estimation in Point Clouds
Authors:
Frederik Hagelskjær,
Anders Glent Buch
Abstract:
We present a learning-based method for 6 DoF pose estimation of rigid objects in point cloud data. Many recent learning-based approaches use primarily RGB information for detecting objects, in some cases with an added refinement step using depth data. Our method consumes unordered point sets with/without RGB information, from initial detection to the final transformation estimation stage. This all…
▽ More
We present a learning-based method for 6 DoF pose estimation of rigid objects in point cloud data. Many recent learning-based approaches use primarily RGB information for detecting objects, in some cases with an added refinement step using depth data. Our method consumes unordered point sets with/without RGB information, from initial detection to the final transformation estimation stage. This allows us to achieve accurate pose estimates, in some cases surpassing state of the art methods trained on the same data.
△ Less
Submitted 17 June, 2020; v1 submitted 19 December, 2019;
originally announced December 2019.
-
Positivity determines the quantum cohomology of Grassmannians
Authors:
Anders S. Buch,
Chengxi Wang
Abstract:
We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non-negative structure constants. This implies that the (three point, genus zero) Gromov-Witten invariants of X are uniquely determined by Witten's presentation of QH(…
▽ More
We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non-negative structure constants. This implies that the (three point, genus zero) Gromov-Witten invariants of X are uniquely determined by Witten's presentation of QH(X) and the fact that they are non-negative. We conjecture that the same is true for any flag variety X = G/P of simply laced Lie type. For the variety GL(n)/B of complete flags, this conjecture is equivalent to Fomin, Gelfand, and Postnikov's conjecture that the quantum Schubert polynomials of type A are uniquely determined by positivity properties. Our proof for Grassmannians answers a question of Fulton.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
Euler characteristics in the quantum $K$-theory of flag varieties
Authors:
Anders S. Buch,
Sjuvon Chung,
Changzheng Li,
Leonardo C. Mihalcea
Abstract:
We prove that the sheaf Euler characteristic of the product of a Schubert class and an opposite Schubert class in the quantum $K$-theory ring of a (generalized) flag variety $G/P$ is equal to $q^d$, where $d$ is the smallest degree of a rational curve joining the two Schubert varieties. This implies that the sum of the structure constants of any product of Schubert classes is equal to 1. Along the…
▽ More
We prove that the sheaf Euler characteristic of the product of a Schubert class and an opposite Schubert class in the quantum $K$-theory ring of a (generalized) flag variety $G/P$ is equal to $q^d$, where $d$ is the smallest degree of a rational curve joining the two Schubert varieties. This implies that the sum of the structure constants of any product of Schubert classes is equal to 1. Along the way, we provide a description of the smallest degree $d$ in terms of its projections to flag varieties defined by maximal parabolic subgroups.
△ Less
Submitted 6 March, 2019;
originally announced March 2019.
-
BOP: Benchmark for 6D Object Pose Estimation
Authors:
Tomas Hodan,
Frank Michel,
Eric Brachmann,
Wadim Kehl,
Anders Glent Buch,
Dirk Kraft,
Bertram Drost,
Joel Vidal,
Stephan Ihrke,
Xenophon Zabulis,
Caner Sahin,
Fabian Manhardt,
Federico Tombari,
Tae-Kyun Kim,
Jiri Matas,
Carsten Rother
Abstract:
We propose a benchmark for 6D pose estimation of a rigid object from a single RGB-D input image. The training data consists of a texture-mapped 3D object model or images of the object in known 6D poses. The benchmark comprises of: i) eight datasets in a unified format that cover different practical scenarios, including two new datasets focusing on varying lighting conditions, ii) an evaluation met…
▽ More
We propose a benchmark for 6D pose estimation of a rigid object from a single RGB-D input image. The training data consists of a texture-mapped 3D object model or images of the object in known 6D poses. The benchmark comprises of: i) eight datasets in a unified format that cover different practical scenarios, including two new datasets focusing on varying lighting conditions, ii) an evaluation methodology with a pose-error function that deals with pose ambiguities, iii) a comprehensive evaluation of 15 diverse recent methods that captures the status quo of the field, and iv) an online evaluation system that is open for continuous submission of new results. The evaluation shows that methods based on point-pair features currently perform best, outperforming template matching methods, learning-based methods and methods based on 3D local features. The project website is available at bop.felk.cvut.cz.
△ Less
Submitted 24 August, 2018;
originally announced August 2018.
-
Improving performance of SEOBNRv3 by $\sim$300x
Authors:
Tyler D. Knowles,
Caleb Devine,
David A. Buch,
Serdar A. Bilgili,
Thomas R. Adams,
Zachariah B. Etienne,
Sean T. McWilliams
Abstract:
When a gravitational wave is detected by Advanced LIGO/Virgo, sophisticated parameter estimation (PE) pipelines spring into action. These pipelines leverage approximants to generate large numbers of theoretical gravitational waveform predictions to characterize the detected signal. One of the most accurate and physically comprehensive classes of approximants in wide use is the "Spinning Effective…
▽ More
When a gravitational wave is detected by Advanced LIGO/Virgo, sophisticated parameter estimation (PE) pipelines spring into action. These pipelines leverage approximants to generate large numbers of theoretical gravitational waveform predictions to characterize the detected signal. One of the most accurate and physically comprehensive classes of approximants in wide use is the "Spinning Effective One Body--Numerical Relativity" (SEOBNR) family. Waveform generation with these approximants can be computationally expensive, which has limited their usefulness in multiple data analysis contexts. In prior work we improved the performance of the aligned-spin approximant SEOBNR version 2 (v2) by nearly 300x. In this work we focus on optimizing the full eight-dimensional, precessing approximant SEOBNR version 3 (v3). While several v2 optimizations were implemented during its development, v3 is far too slow for use in state-of-the-art source characterization efforts for long-inspiral detections. Completion of a PE run after such a detection could take centuries to complete using v3. Here we develop and implement a host of optimizations for v3, calling the optimized approximant v3_Opt. Our optimized approximant is about 340x faster than v3, and generates waveforms that are numerically indistinguishable.
△ Less
Submitted 2 July, 2018; v1 submitted 16 March, 2018;
originally announced March 2018.
-
Rotational Subgroup Voting and Pose Clustering for Robust 3D Object Recognition
Authors:
Anders Glent Buch,
Lilita Kiforenko,
Dirk Kraft
Abstract:
It is possible to associate a highly constrained subset of relative 6 DoF poses between two 3D shapes, as long as the local surface orientation, the normal vector, is available at every surface point. Local shape features can be used to find putative point correspondences between the models due to their ability to handle noisy and incomplete data. However, this correspondence set is usually contam…
▽ More
It is possible to associate a highly constrained subset of relative 6 DoF poses between two 3D shapes, as long as the local surface orientation, the normal vector, is available at every surface point. Local shape features can be used to find putative point correspondences between the models due to their ability to handle noisy and incomplete data. However, this correspondence set is usually contaminated by outliers in practical scenarios, which has led to many past contributions based on robust detectors such as the Hough transform or RANSAC. The key insight of our work is that a single correspondence between oriented points on the two models is constrained to cast votes in a 1 DoF rotational subgroup of the full group of poses, SE(3). Kernel density estimation allows combining the set of votes efficiently to determine a full 6 DoF candidate pose between the models. This modal pose with the highest density is stable under challenging conditions, such as noise, clutter, and occlusions, and provides the output estimate of our method.
We first analyze the robustness of our method in relation to noise and show that it handles high outlier rates much better than RANSAC for the task of 6 DoF pose estimation. We then apply our method to four state of the art data sets for 3D object recognition that contain occluded and cluttered scenes. Our method achieves perfect recall on two LIDAR data sets and outperforms competing methods on two RGB-D data sets, thus setting a new standard for general 3D object recognition using point cloud data.
△ Less
Submitted 7 September, 2017;
originally announced September 2017.
-
In search of inliers: 3d correspondence by local and global voting
Authors:
Anders Glent Buch,
Yang Yang,
Norbert Krüger,
Henrik Gordon Petersen
Abstract:
We present a method for finding correspondence between 3D models. From an initial set of feature correspondences, our method uses a fast voting scheme to separate the inliers from the outliers. The novelty of our method lies in the use of a combination of local and global constraints to determine if a vote should be cast. On a local scale, we use simple, low-level geometric invariants. On a global…
▽ More
We present a method for finding correspondence between 3D models. From an initial set of feature correspondences, our method uses a fast voting scheme to separate the inliers from the outliers. The novelty of our method lies in the use of a combination of local and global constraints to determine if a vote should be cast. On a local scale, we use simple, low-level geometric invariants. On a global scale, we apply covariant constraints for finding compatible correspondences. We guide the sampling for collecting voters by downward dependencies on previous voting stages. All of this together results in an accurate matching procedure. We evaluate our algorithm by controlled and comparative testing on different datasets, giving superior performance compared to state of the art methods. In a final experiment, we apply our method for 3D object detection, showing potential use of our method within higher-level vision.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Pose Estimation using Local Structure-Specific Shape and Appearance Context
Authors:
Anders Glent Buch,
Dirk Kraft,
Joni-Kristian Kamarainen,
Henrik Gordon Petersen,
Norbert Krüger
Abstract:
We address the problem of estimating the alignment pose between two models using structure-specific local descriptors. Our descriptors are generated using a combination of 2D image data and 3D contextual shape data, resulting in a set of semi-local descriptors containing rich appearance and shape information for both edge and texture structures. This is achieved by defining feature space relations…
▽ More
We address the problem of estimating the alignment pose between two models using structure-specific local descriptors. Our descriptors are generated using a combination of 2D image data and 3D contextual shape data, resulting in a set of semi-local descriptors containing rich appearance and shape information for both edge and texture structures. This is achieved by defining feature space relations which describe the neighborhood of a descriptor. By quantitative evaluations, we show that our descriptors provide high discriminative power compared to state of the art approaches. In addition, we show how to utilize this for the estimation of the alignment pose between two point sets. We present experiments both in controlled and real-life scenarios to validate our approach.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Titan organic aerosols: molecular composition and structure of laboratory analogues inferred from systematic pyrolysis gas chromatography mass spectrometry analysis
Authors:
Marietta Morissona,
Cyril Szopa,
Nathalie Carrasco,
Arnaud Buch,
Thomas Gautier
Abstract:
Numerous studies have been carried out to characterize the chemical composition of laboratory analogues of Titan aerosols (tholins), but their molecular composition as well as their structure are still poorly known. If pyrolysis gas chromatography mass spectrometry (pyr-GCMS) has been used for years to give clues about this composition, the highly disparate results obtained can be attributed to th…
▽ More
Numerous studies have been carried out to characterize the chemical composition of laboratory analogues of Titan aerosols (tholins), but their molecular composition as well as their structure are still poorly known. If pyrolysis gas chromatography mass spectrometry (pyr-GCMS) has been used for years to give clues about this composition, the highly disparate results obtained can be attributed to the analytical conditions used and/or to differences in the nature of the analogues studied. In order to have a better description of Titan tholins molecular composition, we led a systematic analysis of these materials using pyr-GCMS with two major objectives: (i) exploring the analytical parameters to estimate the biases this technique can induce and to find an optimum for analyses allowing the detection of a wide range of compounds and thus a characterization of the tholins composition as comprehensive as possible, and (ii) highlighting the role of the CH4 ratio in the gaseous reactive medium on the tholins molecular structure. With this aim, we used a radio-frequency plasma discharge to synthetize tholins with different concentrations of CH4 diluted in N2. The samples were systematically pyrolyzed from 200 to 600°C. The extracted gases were then analyzed by GCMS for their molecular identification.
△ Less
Submitted 4 May, 2017;
originally announced May 2017.
-
Euler characteristics of cominuscule quantum K-theory
Authors:
Anders Skovsted Buch,
Sjuvon Chung
Abstract:
We prove an identity relating the product of two opposite Schubert varieties in the (equivariant) quantum K-theory ring of a cominuscule flag variety to the minimal degree of a rational curve connecting the Schubert varieties. We deduce that the sum of the structure constants associated to any product of Schubert classes is equal to one. Equivalently, the sheaf Euler characteristic map extends to…
▽ More
We prove an identity relating the product of two opposite Schubert varieties in the (equivariant) quantum K-theory ring of a cominuscule flag variety to the minimal degree of a rational curve connecting the Schubert varieties. We deduce that the sum of the structure constants associated to any product of Schubert classes is equal to one. Equivalently, the sheaf Euler characteristic map extends to a ring homomorphism defined on the quantum K-theory ring.
△ Less
Submitted 22 January, 2017;
originally announced January 2017.
-
Development of HPLC-Orbitrap method for identification of N-bearing molecules in complex organic material relevant to planetary environments
Authors:
Thomas Gautier,
Isabelle Schmitz-Afonso,
David Touboul,
Cyril Szopa,
Arnaud Buch,
Nathalie Carrasco
Abstract:
Although the Cassini Spacecraft and the Huygens lander provided numerous information about Titan atmospheric chemistry and the formation of its aerosols, the exact composition of these aerosols still remains unknown. A fruitful proxy to investigate these aerosols is the use of laboratory experiments that allow producing and studying analogs of Titan aerosol, the so35 called tholins. Even when prod…
▽ More
Although the Cassini Spacecraft and the Huygens lander provided numerous information about Titan atmospheric chemistry and the formation of its aerosols, the exact composition of these aerosols still remains unknown. A fruitful proxy to investigate these aerosols is the use of laboratory experiments that allow producing and studying analogs of Titan aerosol, the so35 called tholins. Even when produced in the laboratory, unveiling the exact composition of the aerosol remains problematic due to the high complexity of the material. Numerous advances have been recently made using high-resolution mass spectrometry (HRMS) (Pernot et al. 2010, Somogyi et al. 2012, Gautier et al. 2014) that allowed the separation of isobaric compounds and a robust identification of chemical species composing tholins regarding their molecular formulae. Nevertheless isomeric species cannot be resolved by a simple mass measurement. We propose here an analysis of tholins by high performance liquid chromatography (HPLC) coupled to HRMS to unveil this isomeric ambiguity for some of the major tholins compounds. By comparing chromatograms obtained when analyzing tholins and chemical standards, we strictly identified seven molecules in our tholins samples: melamine, cyanoguanidine, 6-methyl-1,3,5-triazine-2,4-diamine, 2,4,6-triaminopyrimidine, 3-amino- 1,2,4-triazole, 3,5-Dimethyl-1,2,4-triazole and 2,4-diamino-1,3,5-triazine. Several molecules, including hexamethylenetriamine (HMT) were not present at detectable levels in our sample. The use for the first time of a coupled HPLC-HRMS technique applied to tholins study demonstrated the interest of such a technique compared to single high-resolution mass spectrometry for the study of tholins composition.
△ Less
Submitted 10 May, 2016;
originally announced May 2016.
-
A Chevalley formula for the equivariant quantum K-theory of cominuscule varieties
Authors:
Anders S. Buch,
Pierre-Emmanuel Chaput,
Leonardo C. Mihalcea,
Nicolas Perrin
Abstract:
We prove a type-uniform Chevalley formula for multiplication with divisor classes in the equivariant quantum $K$-theory ring of any cominuscule flag variety $G/P$. We also prove that multiplication with divisor classes determines the equivariant quantum $K$-theory of arbitrary flag varieties. These results prove a conjecture of Gorbounov and Korff concerning the equivariant quantum $K$-theory of G…
▽ More
We prove a type-uniform Chevalley formula for multiplication with divisor classes in the equivariant quantum $K$-theory ring of any cominuscule flag variety $G/P$. We also prove that multiplication with divisor classes determines the equivariant quantum $K$-theory of arbitrary flag varieties. These results prove a conjecture of Gorbounov and Korff concerning the equivariant quantum $K$-theory of Grassmannians of Lie type A.
△ Less
Submitted 8 June, 2017; v1 submitted 25 April, 2016;
originally announced April 2016.
-
Mutations of puzzles and equivariant cohomology of two-step flag varieties
Authors:
Anders Skovsted Buch
Abstract:
We introduce a mutation algorithm for puzzles that is a three-direction analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant Schubert structure constants of two-step flag varieties. This formula gives an expression for the structure constants that is positive in the sense of Graham. Thanks t…
▽ More
We introduce a mutation algorithm for puzzles that is a three-direction analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant Schubert structure constants of two-step flag varieties. This formula gives an expression for the structure constants that is positive in the sense of Graham. Thanks to the equivariant version of the `quantum equals classical' result, our formula specializes to a Littlewood-Richardson rule for the equivariant quantum cohomology of Grassmannians.
△ Less
Submitted 29 October, 2014; v1 submitted 13 January, 2014;
originally announced January 2014.
-
The puzzle conjecture for the cohomology of two-step flag manifolds
Authors:
Anders Skovsted Buch,
Andrew Kresch,
Kevin Purbhoo,
Harry Tamvakis
Abstract:
We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov-Witten invariants defining the small quantum cohomology ring of a Grassmann variety of t…
▽ More
We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov-Witten invariants defining the small quantum cohomology ring of a Grassmann variety of type A. The proof of the conjecture proceeds by showing that the puzzle formula defines an associative product on the cohomology ring of the two-step flag variety. It is based on an explicit bijection of gashed puzzles that is analogous to the jeu de taquin algorithm but more complicated.
△ Less
Submitted 24 June, 2016; v1 submitted 8 January, 2014;
originally announced January 2014.
-
Projected Gromov-Witten varieties in cominuscule spaces
Authors:
Anders S. Buch,
Pierre-Emmanuel Chaput,
Leonardo C. Mihalcea,
Nicolas Perrin
Abstract:
A projected Gromov-Witten variety is the union of all rational curves of fixed degree that meet two opposite Schubert varieties in a homogeneous space X = G/P. When X is cominuscule we prove that the map from a related Gromov-Witten variety is cohomologically trivial. This implies that all (3 point, genus zero) K-theoretic Gromov-Witten invariants of X are determined by the projected Gromov-Witten…
▽ More
A projected Gromov-Witten variety is the union of all rational curves of fixed degree that meet two opposite Schubert varieties in a homogeneous space X = G/P. When X is cominuscule we prove that the map from a related Gromov-Witten variety is cohomologically trivial. This implies that all (3 point, genus zero) K-theoretic Gromov-Witten invariants of X are determined by the projected Gromov-Witten varieties, which extends an earlier result of Knutson, Lam, and Speyer. Our proof uses that any projected Gromov-Witten variety in a cominuscule space is also a projected Richardson variety.
△ Less
Submitted 8 June, 2017; v1 submitted 9 December, 2013;
originally announced December 2013.
-
K-theory of minuscule varieties
Authors:
Anders Skovsted Buch,
Matthew J. Samuel
Abstract:
Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without refere…
▽ More
Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without reference to the jeu de taquin algorithm.
△ Less
Submitted 23 June, 2013;
originally announced June 2013.
-
Rational connectedness implies finiteness of quantum K-theory
Authors:
Anders S. Buch,
Pierre-Emmanuel Chaput,
Leonardo C. Mihalcea,
Nicolas Perrin
Abstract:
Let X be any generalized flag variety with Picard group of rank one. Given a degree d, consider the Gromov-Witten variety of rational curves of degree d in X that meet three general points. We prove that, if this Gromov-Witten variety is rationally connected for all large degrees d, then the structure constants of the small quantum K-theory ring of X vanish for large degrees.
Let X be any generalized flag variety with Picard group of rank one. Given a degree d, consider the Gromov-Witten variety of rational curves of degree d in X that meet three general points. We prove that, if this Gromov-Witten variety is rationally connected for all large degrees d, then the structure constants of the small quantum K-theory ring of X vanish for large degrees.
△ Less
Submitted 24 May, 2013;
originally announced May 2013.
-
Curve neighborhoods of Schubert varieties
Authors:
Anders Buch,
Leonardo C Mihalcea
Abstract:
A previous result of the authors with Chaput and Perrin states that the union of all rational curves of fixed degree passing through a Schubert variety in a homogeneous space G/P is again a Schubert variety. In this paper we identify this Schubert variety explicitly in terms of the Hecke product of Weyl group elements. We apply our result to give an explicit formula for any two-point Gromov-Witten…
▽ More
A previous result of the authors with Chaput and Perrin states that the union of all rational curves of fixed degree passing through a Schubert variety in a homogeneous space G/P is again a Schubert variety. In this paper we identify this Schubert variety explicitly in terms of the Hecke product of Weyl group elements. We apply our result to give an explicit formula for any two-point Gromov-Witten invariant as well as a new proof of the quantum Chevalley formula and its equivariant generalization. We also recover a formula for the minimal degree of a rational curve between two given points in a cominuscule variety.
△ Less
Submitted 24 March, 2013;
originally announced March 2013.
-
A Giambelli formula for even orthogonal Grassmannians
Authors:
Anders S. Buch,
Andrew Kresch,
Harry Tamvakis
Abstract:
Let X be an orthogonal Grassmannian parametrizing isotropic subspaces in an even dimensional vector space equipped with a nondegenerate symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in the singular and quantum cohomology ring of X as a polynomial in certain special Schubert classes. Our analysis reveals a surprising relation between the Schubert calculus…
▽ More
Let X be an orthogonal Grassmannian parametrizing isotropic subspaces in an even dimensional vector space equipped with a nondegenerate symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in the singular and quantum cohomology ring of X as a polynomial in certain special Schubert classes. Our analysis reveals a surprising relation between the Schubert calculus on even and odd orthogonal Grassmannians. We also study eta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X.
△ Less
Submitted 29 March, 2012; v1 submitted 29 September, 2011;
originally announced September 2011.
-
Finiteness of cominuscule quantum K-theory
Authors:
Anders Buch,
Pierre-Emmanuel Chaput,
Leonardo C. Mihalcea,
Nicolas Perrin
Abstract:
The product of two Schubert classes in the quantum K-theory ring of a homogeneous space X = G/P is a formal power series with coefficients in the Grothendieck ring of algebraic vector bundles on X. We show that if X is cominuscule, then this power series has only finitely many non-zero terms. The proof is based on a geometric study of boundary Gromov-Witten varieties in the Kontsevich moduli space…
▽ More
The product of two Schubert classes in the quantum K-theory ring of a homogeneous space X = G/P is a formal power series with coefficients in the Grothendieck ring of algebraic vector bundles on X. We show that if X is cominuscule, then this power series has only finitely many non-zero terms. The proof is based on a geometric study of boundary Gromov-Witten varieties in the Kontsevich moduli space, consisting of stable maps to X that take the marked points to general Schubert varieties and whose domains are reducible curves of genus zero. We show that all such varieties have rational singularities, and that boundary Gromov-Witten varieties defined by two Schubert varieties are either empty or unirational. We also prove a relative Kleiman-Bertini theorem for rational singularities, which is of independent interest. A key result is that when X is cominuscule, all boundary Gromov-Witten varieties defined by three single points in X are rationally connected.
△ Less
Submitted 15 June, 2012; v1 submitted 30 November, 2010;
originally announced November 2010.
-
Pieri rules for the K-theory of cominuscule Grassmannians
Authors:
Anders Skovsted Buch,
Vijay Ravikumar
Abstract:
We prove Pieri formulas for the multiplication with special Schubert classes in the K-theory of all cominuscule Grassmannians. For Grassmannians of type A this gives a new proof of a formula of Lenart. Our formula is new for Lagrangian Grassmannians, and for orthogonal Grassmannians it proves a special case of a conjectural Littlewood-Richardson rule of Thomas and Yong. Recent work of Thomas an…
▽ More
We prove Pieri formulas for the multiplication with special Schubert classes in the K-theory of all cominuscule Grassmannians. For Grassmannians of type A this gives a new proof of a formula of Lenart. Our formula is new for Lagrangian Grassmannians, and for orthogonal Grassmannians it proves a special case of a conjectural Littlewood-Richardson rule of Thomas and Yong. Recent work of Thomas and Yong and of E. Clifford has shown that the full Littlewood-Richardson rule for orthogonal Grassmannians follows from the Pieri case proved here. We describe the K-theoretic Pieri coefficients both as integers determined by positive recursive identities and as the number of certain tableaux. The proof is based on a computation of the sheaf Euler characteristic of triple intersections of Schubert varieties, where at least one Schubert variety is special.
△ Less
Submitted 14 May, 2010;
originally announced May 2010.
-
Quantum Giambelli formulas for isotropic Grassmannians
Authors:
Anders S. Buch,
Andrew Kresch,
Harry Tamvakis
Abstract:
Let X be a symplectic or odd orthogonal Grassmannian which parametrizes isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove quantum Giambelli formulas which express an arbitrary Schubert class in the small quantum cohomology ring of X as a polynomial in certain special Schubert classes, extending the cohomological Giambelli formulas of arXiv:0811.2…
▽ More
Let X be a symplectic or odd orthogonal Grassmannian which parametrizes isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove quantum Giambelli formulas which express an arbitrary Schubert class in the small quantum cohomology ring of X as a polynomial in certain special Schubert classes, extending the cohomological Giambelli formulas of arXiv:0811.2781.
△ Less
Submitted 4 December, 2008;
originally announced December 2008.
-
A Giambelli formula for isotropic Grassmannians
Authors:
Anders S. Buch,
Andrew Kresch,
Harry Tamvakis
Abstract:
Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees…
▽ More
Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. Furthermore, we prove that theta polynomials are special cases of Billey-Haiman Schubert polynomials and use this connection to express the former as positive linear combinations of products of Schur Q-functions and S-polynomials.
△ Less
Submitted 4 August, 2010; v1 submitted 17 November, 2008;
originally announced November 2008.
-
Quantum K-theory of Grassmannians
Authors:
Anders S. Buch,
Leonardo C. Mihalcea
Abstract:
We show that (equivariant) K-theoretic 3-point Gromov-Witten invariants of genus zero on a Grassmann variety are equal to triple intersections computed in the ordinary (equivariant) K-theory of a two-step flag manifold, thus generalizing an earlier result of Buch, Kresch, and Tamvakis. In the process we show that the Gromov-Witten variety of curves passing through 3 general points is irreducible…
▽ More
We show that (equivariant) K-theoretic 3-point Gromov-Witten invariants of genus zero on a Grassmann variety are equal to triple intersections computed in the ordinary (equivariant) K-theory of a two-step flag manifold, thus generalizing an earlier result of Buch, Kresch, and Tamvakis. In the process we show that the Gromov-Witten variety of curves passing through 3 general points is irreducible and rational. Our applications include Pieri and Giambelli formulas for the quantum K-theory ring of a Grassmannian, which determine the multiplication in this ring. Our formula for Gromov-Witten invariants can be partially generalized to cominuscule homogeneous spaces by using a construction of Chaput, Manivel, and Perrin.
△ Less
Submitted 13 June, 2009; v1 submitted 6 October, 2008;
originally announced October 2008.
-
Quantum Pieri rules for isotropic Grassmannians
Authors:
Anders S. Buch,
Andrew Kresch,
Harry Tamvakis
Abstract:
We study the three point genus zero Gromov-Witten invariants on the Grassmannians which parametrize non-maximal isotropic subspaces in a vector space equipped with a nondegenerate symmetric or skew-symmetric form. We establish Pieri rules for the classical cohomology and the small quantum cohomology ring of these varieties, which give a combinatorial formula for the product of any Schubert class…
▽ More
We study the three point genus zero Gromov-Witten invariants on the Grassmannians which parametrize non-maximal isotropic subspaces in a vector space equipped with a nondegenerate symmetric or skew-symmetric form. We establish Pieri rules for the classical cohomology and the small quantum cohomology ring of these varieties, which give a combinatorial formula for the product of any Schubert class with certain special Schubert classes. We also give presentations of these rings, with integer coefficients, in terms of special Schubert class generators and relations.
△ Less
Submitted 29 September, 2008;
originally announced September 2008.
-
Quiver coefficients of Dynkin type
Authors:
Anders Skovsted Buch
Abstract:
We study the Grothendieck classes of quiver cycles, i.e. invariant closed subvarieties of the representation space of a quiver. For quivers without oriented loops we show that the class of a quiver cycle is determined by quiver coefficients, which generalize the earlier studied quiver coefficients for equioriented quivers of type A. We conjecture that quiver coefficients satisfy positivity and f…
▽ More
We study the Grothendieck classes of quiver cycles, i.e. invariant closed subvarieties of the representation space of a quiver. For quivers without oriented loops we show that the class of a quiver cycle is determined by quiver coefficients, which generalize the earlier studied quiver coefficients for equioriented quivers of type A. We conjecture that quiver coefficients satisfy positivity and finiteness properties. Our main result is a formula for the quiver coefficients for orbit closures of Dynkin type with rational singularities, which confirms the finiteness conjecture. This formula is based on Reineke's desingularization of such orbit closures. For quivers of type A3, we give positive combinatorial formulas for the quiver coefficients, which confirm the full conjecture. We also interpret quiver coefficients as formulas for degeneracy loci defined by quivers of vector bundle maps.
△ Less
Submitted 24 August, 2007;
originally announced August 2007.
-
Stable Grothendieck polynomials and K-theoretic factor sequences
Authors:
Anders S. Buch,
Andrew Kresch,
Mark Shimozono,
Harry Tamvakis,
Alexander Yong
Abstract:
We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of [Fomin-Kirillov '94] in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of [Fomin-Greene '98] for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Litt…
▽ More
We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of [Fomin-Kirillov '94] in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of [Fomin-Greene '98] for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Littlewood-Richardson rule of [Buch '02]. The proof is based on a generalization of the Robinson-Schensted and Edelman-Greene insertion algorithms. Our results are applied to prove a number of new formulas and properties for K-theoretic quiver polynomials, and the Grothendieck polynomials of [Lascoux-Schutzenberger '82]. In particular, we provide the first $K$-theoretic analogue of the factor sequence formula of [Buch-Fulton '99] for the cohomological quiver polynomials.
△ Less
Submitted 20 January, 2006;
originally announced January 2006.
-
A formula for non-equioriented quiver orbits of type A
Authors:
A. S. Buch,
R. Rimanyi
Abstract:
We prove a positive combinatorial formula for the equivariant class of an orbit closure in the space of representations of an arbitrary quiver of type $A$. Our formula expresses this class as a sum of products of Schubert polynomials indexed by a generalization of the minimal lace diagrams of Knutson, Miller, and Shimozono. The proof is based on the interpolation method of Fehér and Rimányi. We…
▽ More
We prove a positive combinatorial formula for the equivariant class of an orbit closure in the space of representations of an arbitrary quiver of type $A$. Our formula expresses this class as a sum of products of Schubert polynomials indexed by a generalization of the minimal lace diagrams of Knutson, Miller, and Shimozono. The proof is based on the interpolation method of Fehér and Rimányi. We also conjecture a more general formula for the equivariant Grothendieck class of an orbit closure.
△ Less
Submitted 19 January, 2006; v1 submitted 3 December, 2004;
originally announced December 2004.
-
Eigenvalues of Hermitian matrices with positive sum of bounded rank
Authors:
Anders Skovsted Buch
Abstract:
We give a minimal list of inequalities characterizing the possible eigenvalues of a set of Hermitian matrices with positive semidefinite sum of bounded rank. This answers a question of A. Barvinok.
We give a minimal list of inequalities characterizing the possible eigenvalues of a set of Hermitian matrices with positive semidefinite sum of bounded rank. This answers a question of A. Barvinok.
△ Less
Submitted 3 November, 2004;
originally announced November 2004.
-
Quiver coefficients are Schubert structure constants
Authors:
Anders Skovsted Buch,
Frank Sottile,
Alexander Yong
Abstract:
We give an explicit natural identification between the quiver coefficients of Buch and Fulton, decomposition coefficients for Schubert polynomials, and the Schubert structure constants for flag manifolds. This is also achieved in K-theory where we give a direct argument that the decomposition coefficients have alternating signs, based on a theorem of Brion, which then implies that the quiver coe…
▽ More
We give an explicit natural identification between the quiver coefficients of Buch and Fulton, decomposition coefficients for Schubert polynomials, and the Schubert structure constants for flag manifolds. This is also achieved in K-theory where we give a direct argument that the decomposition coefficients have alternating signs, based on a theorem of Brion, which then implies that the quiver coefficients have alternating signs. Our identification shows that known combinatorial formulas for the latter two numbers give formulas for the quiver coefficients.
△ Less
Submitted 21 November, 2003;
originally announced November 2003.
-
Positivity of quiver coefficients through Thom polynomials
Authors:
A. S. Buch,
L. M. Feher,
R. Rimanyi
Abstract:
Let r be an orbit of the quiver representation of type A_n (equioriented case). In this paper we study the Poincare dual of the closure of r (a.c.a. Thom polynomial/degeneracy loci formula) in equivariant cohomology. Using general Thom polynomial theory we prove the component formula and its stable version of [Knutson-Miller-Shimozono] as well as the positivity of the quiver coefficients of [Buc…
▽ More
Let r be an orbit of the quiver representation of type A_n (equioriented case). In this paper we study the Poincare dual of the closure of r (a.c.a. Thom polynomial/degeneracy loci formula) in equivariant cohomology. Using general Thom polynomial theory we prove the component formula and its stable version of [Knutson-Miller-Shimozono] as well as the positivity of the quiver coefficients of [Buch-Fulton]. We also show how the component formula follows from Grobner degeneration easily. In relation with the K-theory counterpart of the formula we give a new description of KMS factorizations based on transformations of lace diagrams.
△ Less
Submitted 12 November, 2003;
originally announced November 2003.
-
Specializations of Grothendieck polynomials
Authors:
Anders S. Buch,
Richard Rimanyi
Abstract:
We prove a formula for double Schubert and Grothendieck polynomials specialized to two rearrangements of the same set of variables. Our formula generalizes the usual formulas for Schubert and Grothendieck polynomials in terms of RC-graphs, and it gives immediate proofs of many other important properties of these polynomials.
We prove a formula for double Schubert and Grothendieck polynomials specialized to two rearrangements of the same set of variables. Our formula generalizes the usual formulas for Schubert and Grothendieck polynomials in terms of RC-graphs, and it gives immediate proofs of many other important properties of these polynomials.
△ Less
Submitted 11 August, 2003;
originally announced August 2003.
-
Alternating signs of quiver coefficients
Authors:
Anders Skovsted Buch
Abstract:
We prove K-theoretic generalizations of the component formulas of Knutson, Miller, and Shimozono, and deduce that K-theoretic quiver coefficients have alternating signs. We also prove new variants of the factor sequences conjecture, and a conjecture of Knutson, Miller, and Shimozono stating that the double ratio formula agrees with the original quiver formulas. For completeness we include a shor…
▽ More
We prove K-theoretic generalizations of the component formulas of Knutson, Miller, and Shimozono, and deduce that K-theoretic quiver coefficients have alternating signs. We also prove new variants of the factor sequences conjecture, and a conjecture of Knutson, Miller, and Shimozono stating that the double ratio formula agrees with the original quiver formulas. For completeness we include a short proof of the ratio formula for quiver varieties.
△ Less
Submitted 23 December, 2003; v1 submitted 1 July, 2003;
originally announced July 2003.
-
Littlewood-Richardson rules for Grassmannians
Authors:
Anders Skovsted Buch,
Andrew Kresch,
Harry Tamvakis
Abstract:
We give elementary and short proofs of the Littlewood-Richardson rules for type A Grassmannians and maximal isotropic Grassmannians, based on the corresponding Pieri rules.
We give elementary and short proofs of the Littlewood-Richardson rules for type A Grassmannians and maximal isotropic Grassmannians, based on the corresponding Pieri rules.
△ Less
Submitted 27 June, 2003;
originally announced June 2003.
-
Grothendieck polynomials and quiver formulas
Authors:
Anders Skovsted Buch,
Andrew Kresch,
Harry Tamvakis,
Alexander Yong
Abstract:
Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alterna…
▽ More
Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alternating signs. Our result is applied to obtain new expansions for the Grothendieck polynomials of Lascoux and Schützenberger.
△ Less
Submitted 27 June, 2003;
originally announced June 2003.
-
Gromov-Witten invariants on Grassmannians
Authors:
Anders Skovsted Buch,
Andrew Kresch,
Harry Tamvakis
Abstract:
We prove that any three-point genus zero Gromov-Witten invariant on a type A Grassmannian is equal to a classical intersection number on a two-step flag variety. We also give symplectic and orthogonal analogues of this result; in these cases the two-step flag variety is replaced by a sub-maximal isotropic Grassmannian. Our theorems are applied, in type A, to formulate a conjectural quantum Littl…
▽ More
We prove that any three-point genus zero Gromov-Witten invariant on a type A Grassmannian is equal to a classical intersection number on a two-step flag variety. We also give symplectic and orthogonal analogues of this result; in these cases the two-step flag variety is replaced by a sub-maximal isotropic Grassmannian. Our theorems are applied, in type A, to formulate a conjectural quantum Littlewood-Richardson rule, and in the other classical Lie types, to obtain new proofs of the main structure theorems for the quantum cohomology of Lagrangian and orthogonal Grassmannians.
△ Less
Submitted 27 June, 2003;
originally announced June 2003.