Showing 1–44 of 44 results for author: Mehta, R

Tangent Cones of Concatenated Numerical Semigroups

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: We study the tangent cone at the origin and the Hilbert series for a family of numerical semigroups generated by concatenation of arithmetic sequences. We prove that all the concatenation classes have Cohen-Macaulay tangent cones except the symmetric class, however, the symmetric class does satisfy Rossi's conjecture. We study the tangent cone at the origin and the Hilbert series for a family of numerical semigroups generated by concatenation of arithmetic sequences. We prove that all the concatenation classes have Cohen-Macaulay tangent cones except the symmetric class, however, the symmetric class does satisfy Rossi's conjecture. △ Less

Submitted 11 June, 2025; originally announced June 2025.

MSC Class: 13C40; 13P10

2-Segal sets and pseudomonoids in the bicategory of spans

Authors: Sophia E Marx, Rajan Amit Mehta

Abstract: In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that should be useful in more general settings. There are procedures for obtaining an associative algebra from a 2-Segal set (satisfying finiteness conditions). We… ▽ More In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that should be useful in more general settings. There are procedures for obtaining an associative algebra from a 2-Segal set (satisfying finiteness conditions). We describe these procedures and give several examples of algebras arising from 2-Segal sets. Wherever possible, we avoid higher category theory so as to make the paper accessible to a wide audience. △ Less

Submitted 28 May, 2025; originally announced May 2025.

MSC Class: 18B10; 18B40; 18C40; 18N50

Tangent Cones of Bresinsky and Arslan Curves

Authors: Ranjana Mehta, Joydip Saha

Abstract: In this paper, we study the Apery tables for the numerical semigroups given by Bresinsky and Arslan. Using the Apery tables we write the tangent cones of the Bresinsky and Arsalan curves at the origin. Further, we calculate Hilbert series of the tangent cone of the Bresinsky and Arslan curves. We prove that both classes of the curve have Cohen- Macaulay tangent cone. In this paper, we study the Apery tables for the numerical semigroups given by Bresinsky and Arslan. Using the Apery tables we write the tangent cones of the Bresinsky and Arsalan curves at the origin. Further, we calculate Hilbert series of the tangent cone of the Bresinsky and Arslan curves. We prove that both classes of the curve have Cohen- Macaulay tangent cone. △ Less

Submitted 27 February, 2025; originally announced February 2025.

Comments: 15 pages

The Benefits of Balance: From Information Projections to Variance Reduction

Authors: Lang Liu, Ronak Mehta, Soumik Pal, Zaid Harchaoui

Abstract: Data balancing across multiple modalities and sources appears in various forms in foundation models in machine learning and AI, e.g. in CLIP and DINO. We show that data balancing across modalities and sources actually offers an unsuspected benefit: variance reduction. We present a non-asymptotic statistical bound that quantifies this variance reduction effect and relates it to the eigenvalue decay… ▽ More Data balancing across multiple modalities and sources appears in various forms in foundation models in machine learning and AI, e.g. in CLIP and DINO. We show that data balancing across modalities and sources actually offers an unsuspected benefit: variance reduction. We present a non-asymptotic statistical bound that quantifies this variance reduction effect and relates it to the eigenvalue decay of Markov operators. Furthermore, we describe how various forms of data balancing in contrastive multimodal learning and self-supervised clustering can be better understood, and even improved upon, owing to our variance reduction viewpoint. △ Less

Submitted 11 February, 2025; v1 submitted 27 August, 2024; originally announced August 2024.

On the structure of EFX orientations on graphs

Authors: Jinghan A Zeng, Ruta Mehta

Abstract: Fair division is the problem of allocating a set of items among agents in a fair manner. One of the most sought-after fairness notions is envy-freeness (EF), requiring that no agent envies another's allocation. When items are indivisible, it ceases to exist, and envy-freeness up to any good (EFX) emerged as one of its strongest relaxations. The existence of EFX allocations is arguably the biggest… ▽ More Fair division is the problem of allocating a set of items among agents in a fair manner. One of the most sought-after fairness notions is envy-freeness (EF), requiring that no agent envies another's allocation. When items are indivisible, it ceases to exist, and envy-freeness up to any good (EFX) emerged as one of its strongest relaxations. The existence of EFX allocations is arguably the biggest open question within fair division. Recently, Christodoulou, Fiat, Koutsoupias, and Sgouritsa (EC 2023) showed that EFX allocations exist for the case of graphical valuations where an instance is represented by a graph: nodes are agents, edges are goods, and each agent values only her incident edges. On the other hand, they showed NP-hardness for checking the existence of EFX orientation where every edge is allocated to one of its incident vertices, and asked for a characterization of graphs that exhibit EFX orientation regardless of the assigned valuations. In this paper, we make significant progress toward answering their question. We introduce the notion of strongly EFX orientable graphs -- graphs that have EFX orientations regardless of how much agents value the edges. We show a surprising connection between this property and the chromatic number $χ(G)$ of the graph $G$. In particular, we show that graphs with $χ(G)\le 2$ are strongly EFX orientable, and those with $χ(G)>3$ are not strongly EFX orientable. We provide examples of strongly EFX orientable and non-strongly EFX orientable graphs of $χ(G)=3$ to prove tightness. Finally, we give a complete characterization of strong EFX orientability when restricted to binary valuations. △ Less

Submitted 23 July, 2024; v1 submitted 21 April, 2024; originally announced April 2024.

Comments: 12 pages, 4 figures

Drago: Primal-Dual Coupled Variance Reduction for Faster Distributionally Robust Optimization

Authors: Ronak Mehta, Jelena Diakonikolas, Zaid Harchaoui

Abstract: We consider the penalized distributionally robust optimization (DRO) problem with a closed, convex uncertainty set, a setting that encompasses learning using $f$-DRO and spectral/$L$-risk minimization. We present Drago, a stochastic primal-dual algorithm that combines cyclic and randomized components with a carefully regularized primal update to achieve dual variance reduction. Owing to its design… ▽ More We consider the penalized distributionally robust optimization (DRO) problem with a closed, convex uncertainty set, a setting that encompasses learning using $f$-DRO and spectral/$L$-risk minimization. We present Drago, a stochastic primal-dual algorithm that combines cyclic and randomized components with a carefully regularized primal update to achieve dual variance reduction. Owing to its design, Drago enjoys a state-of-the-art linear convergence rate on strongly convex-strongly concave DRO problems with a fine-grained dependency on primal and dual condition numbers. Theoretical results are supported by numerical benchmarks on regression and classification tasks. △ Less

Submitted 11 February, 2025; v1 submitted 15 March, 2024; originally announced March 2024.

A geometric characterization of $\mathbb{N}$-manifolds and the Frobenius theorem

Authors: Henrique Bursztyn, Miquel Cueca, Rajan Amit Mehta

Abstract: This paper studies graded manifolds with local coordinates concentrated in non-negative degrees. We provide a canonical description of these objects in terms of classical geometric data and, building on this geometric viewpoint, we prove the Frobenius theorem for distributions in this graded setting. This paper studies graded manifolds with local coordinates concentrated in non-negative degrees. We provide a canonical description of these objects in terms of classical geometric data and, building on this geometric viewpoint, we prove the Frobenius theorem for distributions in this graded setting. △ Less

Submitted 2 September, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

Comments: v2: minor editorial changes, and additional references included

MSC Class: 58A50; 58A30; 53C12

Competitive Equilibrium for Chores: from Dual Eisenberg-Gale to a Fast, Greedy, LP-based Algorithm

Authors: Bhaskar Ray Chaudhury, Christian Kroer, Ruta Mehta, Tianlong Nan

Abstract: We study the computation of competitive equilibrium for Fisher markets with $n$ agents and $m$ divisible chores. Competitive equilibria for chores are known to correspond to the nonzero KKT points of a program that minimizes the product of agent disutilities, which is a non-convex program whose zero points foil iterative optimization methods. We introduce a dual-like analogue of this program, and… ▽ More We study the computation of competitive equilibrium for Fisher markets with $n$ agents and $m$ divisible chores. Competitive equilibria for chores are known to correspond to the nonzero KKT points of a program that minimizes the product of agent disutilities, which is a non-convex program whose zero points foil iterative optimization methods. We introduce a dual-like analogue of this program, and show that a simple modification to our "dual" program avoids such zero points, while retaining the correspondence between KKT points and competitive equilibria. This allows, for the first time ever, application of iterative optimization methods over a convex region for computing competitive equilibria for chores. We next introduce a greedy Frank-Wolfe algorithm for optimization over our program and show a new state-of-the-art convergence rate to competitive equilibrium. Moreover, our method is significantly simpler than prior methods: each iteration of our method only requires solving a simple linear program. We show through numerical experiments that our method is extremely practical: it easily solves every instance we tried, including instances with hundreds of agents and up to 1000 chores, usually in 10-30 iterations, is simple to implement, and has no numerical issues. △ Less

Submitted 20 November, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

Comments: 39 pages, 50 figures

On the Depth of Generalized Binomial Edge Ideals

Authors: Anuvinda J, Ranjana Mehta, Kamalesh Saha

Abstract: This research focuses on analyzing the depth of generalized binomial edge ideals. We extend the notion of $d$-compatible map for the pairs of a complete graph and an arbitrary graph, and using it, we give a combinatorial lower bound for the depth of generalized binomial edge ideals. Subsequently, we determine an upper bound for the depth of generalized binomial edge ideals in terms of the vertex-c… ▽ More This research focuses on analyzing the depth of generalized binomial edge ideals. We extend the notion of $d$-compatible map for the pairs of a complete graph and an arbitrary graph, and using it, we give a combinatorial lower bound for the depth of generalized binomial edge ideals. Subsequently, we determine an upper bound for the depth of generalized binomial edge ideals in terms of the vertex-connectivity of graphs. We demonstrate that the difference between the upper and lower bounds can be arbitrarily large, even in cases when one of the bounds is sharp. In addition, we calculate the depth of generalized binomial edge ideals of certain classes of graphs, including cyclic graphs and graphs with Cohen-Macaulay binomial edge ideals. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 15 pages, 5 figures. Comments are welcome

MSC Class: 13C15; 05E40; 13F65; 05C69

Frobenius and commutative pseudomonoids in the bicategory of spans

Authors: Ivan Contreras, Rajan Amit Mehta, Walker H. Stern

Abstract: In previous work by the first two authors, Frobenius and commutative algebra objects in the category of spans of sets were characterized in terms of simplicial sets satisfying certain properties. In this paper, we find a similar characterization for the analogous coherent structures in the bicategory of spans of sets. We show that commutative and Frobenius pseudomonoids in $\operatorname{Span}$ co… ▽ More In previous work by the first two authors, Frobenius and commutative algebra objects in the category of spans of sets were characterized in terms of simplicial sets satisfying certain properties. In this paper, we find a similar characterization for the analogous coherent structures in the bicategory of spans of sets. We show that commutative and Frobenius pseudomonoids in $\operatorname{Span}$ correspond, respectively, to paracyclic sets and $Γ$-sets satisfying the $2$-Segal conditions. These results connect closely with work of the third author on $A_\infty$ algebras in $\infty$-categories of spans, as well as the growing body of work on higher Segal objects. Because our motivation comes from symplectic geometry and topological field theory, we emphasize the direct and computational nature of the classifications and their proofs. △ Less

Submitted 7 September, 2024; v1 submitted 26 November, 2023; originally announced November 2023.

Comments: v2: added section 3.5, improved exposition elsewhere in Section 3, various other minor edits. Final version

MSC Class: 18B10

Distributionally Robust Optimization with Bias and Variance Reduction

Authors: Ronak Mehta, Vincent Roulet, Krishna Pillutla, Zaid Harchaoui

Abstract: We consider the distributionally robust optimization (DRO) problem with spectral risk-based uncertainty set and $f$-divergence penalty. This formulation includes common risk-sensitive learning objectives such as regularized condition value-at-risk (CVaR) and average top-$k$ loss. We present Prospect, a stochastic gradient-based algorithm that only requires tuning a single learning rate hyperparame… ▽ More We consider the distributionally robust optimization (DRO) problem with spectral risk-based uncertainty set and $f$-divergence penalty. This formulation includes common risk-sensitive learning objectives such as regularized condition value-at-risk (CVaR) and average top-$k$ loss. We present Prospect, a stochastic gradient-based algorithm that only requires tuning a single learning rate hyperparameter, and prove that it enjoys linear convergence for smooth regularized losses. This contrasts with previous algorithms that either require tuning multiple hyperparameters or potentially fail to converge due to biased gradient estimates or inadequate regularization. Empirically, we show that Prospect can converge 2-3$\times$ faster than baselines such as stochastic gradient and stochastic saddle-point methods on distribution shift and fairness benchmarks spanning tabular, vision, and language domains. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Graded geometry and generalized reduction

Authors: Henrique Bursztyn, Alberto S. Cattaneo, Rajan Amit Mehta, Marco Zambon

Abstract: We present general reduction procedures for Courant, Dirac and generalized complex structures, in particular when a group of symmetries is acting. We do so by taking the graded symplectic viewpoint on Courant algebroids and carrying out graded symplectic reduction, both in the coisotropic and hamiltonian settings. Specializing the latter to the exact case, we recover in a systematic way the reduct… ▽ More We present general reduction procedures for Courant, Dirac and generalized complex structures, in particular when a group of symmetries is acting. We do so by taking the graded symplectic viewpoint on Courant algebroids and carrying out graded symplectic reduction, both in the coisotropic and hamiltonian settings. Specializing the latter to the exact case, we recover in a systematic way the reduction schemes of Bursztyn-Cavalcanti-Gualtieri. △ Less

Submitted 18 September, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: 80 pages. v2: Added Lemma 7.1. Added Example 6.15 and consequences thereof (Examples 7.6, 7.7, 7.12, 8.20, 8.21, 8.22)

Stochastic Optimization for Spectral Risk Measures

Authors: Ronak Mehta, Vincent Roulet, Krishna Pillutla, Lang Liu, Zaid Harchaoui

Abstract: Spectral risk objectives - also called $L$-risks - allow for learning systems to interpolate between optimizing average-case performance (as in empirical risk minimization) and worst-case performance on a task. We develop stochastic algorithms to optimize these quantities by characterizing their subdifferential and addressing challenges such as biasedness of subgradient estimates and non-smoothnes… ▽ More Spectral risk objectives - also called $L$-risks - allow for learning systems to interpolate between optimizing average-case performance (as in empirical risk minimization) and worst-case performance on a task. We develop stochastic algorithms to optimize these quantities by characterizing their subdifferential and addressing challenges such as biasedness of subgradient estimates and non-smoothness of the objective. We show theoretically and experimentally that out-of-the-box approaches such as stochastic subgradient and dual averaging are hindered by bias and that our approach outperforms them. △ Less

Submitted 9 December, 2022; originally announced December 2022.

On Examples and Classification of Frobenius Objects in Rel

Authors: Ivan Contreras, Adele Long, Sophia Marx, Rajan Amit Mehta

Abstract: We give some new examples of Frobenius objects in the category of sets and relations $\textbf{Rel}$. One example is a groupoid with a twisted counit. Another example is the set of conjugacy classes of a group. We also classify Frobenius objects in $\textbf{Rel}$ with two or three elements, and we compute the associated surface invariants using the partition functions of the corresponding TQFTs. We give some new examples of Frobenius objects in the category of sets and relations $\textbf{Rel}$. One example is a groupoid with a twisted counit. Another example is the set of conjugacy classes of a group. We also classify Frobenius objects in $\textbf{Rel}$ with two or three elements, and we compute the associated surface invariants using the partition functions of the corresponding TQFTs. △ Less

Submitted 31 August, 2022; originally announced August 2022.

Comments: 18 pages, 3 figures, 4 tables

MSC Class: 18B10; 18B40; 18C40; 18N50; 20L05; 57R56 18B40; 18C40; 18N5

Unboundedness of the first and the last Betti numbers of Numerical Semigroups Generated by Concatenation

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: We show that the minimal number of generators and the Cohen-Macaulay type of a family of numerical semigroups generated by concatenation of arithmetic sequences is unbounded. We show that the minimal number of generators and the Cohen-Macaulay type of a family of numerical semigroups generated by concatenation of arithmetic sequences is unbounded. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Frobenius objects in the category of spans

Authors: Ivan Contreras, Molly Keller, Rajan Amit Mehta

Abstract: We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of simplicial sets. An interesting class of examples comes from groupoids. Our primary motivation is that Span can be viewed as a set-theoretic model for the sympl… ▽ More We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of simplicial sets. An interesting class of examples comes from groupoids. Our primary motivation is that Span can be viewed as a set-theoretic model for the symplectic category, and thus Frobenius objects in Span provide set-theoretic models for classical topological field theories. The paper includes an explanation of this relationship. △ Less

Submitted 5 November, 2021; v1 submitted 28 June, 2021; originally announced June 2021.

Comments: v2: added sections 3.5 and 4.5, explaining the relationship to 2-Segal sets

MSC Class: 18B10; 18B40; 18C40; 18N50; 20L05; 57R56

Journal ref: Reviews in Mathematical Physics (2022)

Attractive Ellipsoid Sliding Mode Observer Design for State of Charge Estimation of Lithium-ion Cells

Authors: Anirudh Nath, Raghvendra Gupta, Rohit Mehta, Supreet Singh Bahga, Amit Gupta, Shubhendu Bhasin

Abstract: This work investigates the real-time estimation of the state-of-charge (SoC) of Lithium-ion (Li-ion) cells for reliable, safe and efficient utilization. A novel attractive ellipsoid based sliding-mode observer (AESMO) algorithm is designed to estimate the SoC in real-time. The algorithm utilizes standard equivalent circuit model of a Li-ion cell and provides reliable and efficient SoC estimate in… ▽ More This work investigates the real-time estimation of the state-of-charge (SoC) of Lithium-ion (Li-ion) cells for reliable, safe and efficient utilization. A novel attractive ellipsoid based sliding-mode observer (AESMO) algorithm is designed to estimate the SoC in real-time. The algorithm utilizes standard equivalent circuit model of a Li-ion cell and provides reliable and efficient SoC estimate in the presence of bounded uncertainties in the battery parameters as well as exogenous disturbances. The theoretical framework of the observer design is not limited to the SoC estimation problem of Li-ion cell but applicable to a wider class of nonlinear systems with both matched and mismatched uncertainties. The main advantage of the proposed observer is to provide a fast and optimal SoC estimate based on minimization over the uncertainty bound. The proposed method is experimentally tested and evaluated using the hybrid pulse power characterization test (HPPC)and urban dynamometer driving schedule (UDDS) test data, which demonstrate its effectiveness and feasibility. △ Less

Submitted 16 August, 2020; originally announced August 2020.

Comments: 19 pages, 12 figures, 2 tables

Modules and representations up to homotopy of Lie $n$-algebroids

Authors: Madeleine Jotz Lean, Rajan Amit Mehta, Theocharis Papantonis

Abstract: This paper studies differential graded modules and representations up to homotopy of Lie $n$-algebroids, for general $n\in\mathbb{N}$. The adjoint and coadjoint modules are described, and the corresponding split versions of the adjoint and coadjoint representations up to homotopy are explained. In particular, the case of Lie 2-algebroids is analysed in detail. The compatibility of a Poisson bracke… ▽ More This paper studies differential graded modules and representations up to homotopy of Lie $n$-algebroids, for general $n\in\mathbb{N}$. The adjoint and coadjoint modules are described, and the corresponding split versions of the adjoint and coadjoint representations up to homotopy are explained. In particular, the case of Lie 2-algebroids is analysed in detail. The compatibility of a Poisson bracket with the homological vector field of a Lie $n$-algebroid is shown to be equivalent to a morphism from the coadjoint module to the adjoint module, leading to an alternative characterisation of non-degeneracy of higher Poisson structures. Moreover, the Weil algebra of a Lie $n$-algebroid is computed explicitly in terms of splittings, and representations up to homotopy of Lie $n$-algebroids are used to encode decomposed VB-Lie $n$-algebroid structures on double vector bundles. △ Less

Submitted 28 May, 2020; v1 submitted 4 January, 2020; originally announced January 2020.

Comments: Typos and signs corrected, relation to other work, references and details in computations have been added, distinction between left and right modules have been made

Courant cohomology, Cartan calculus, connections, curvature, characteristic classes

Authors: Miquel Cueca, Rajan Amit Mehta

Abstract: We give an explicit description, in terms of bracket, anchor, and pairing, of the standard cochain complex associated to a Courant algebroid. In this formulation, the differential satisfies a formula that is formally identical to the Cartan formula for the de Rham differential. This perspective allows us to develop the theory of Courant algebroid connections in a way that mirrors the classical the… ▽ More We give an explicit description, in terms of bracket, anchor, and pairing, of the standard cochain complex associated to a Courant algebroid. In this formulation, the differential satisfies a formula that is formally identical to the Cartan formula for the de Rham differential. This perspective allows us to develop the theory of Courant algebroid connections in a way that mirrors the classical theory of connections. Using a special class of connections, we construct secondary characteristic classes associated to any Courant algebroid. △ Less

Submitted 19 August, 2020; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: v2: new and improved version implementing comments from referee

MSC Class: 16E45; 17B63; 53D17; 58J28; 70G45

Journal ref: Communications in Mathematical Physics 381 (2021), 1091-1113

Frobenius objects in the category of relations

Authors: Rajan Amit Mehta, Ruoqi Zhang

Abstract: We give a characterization, in terms of simplicial sets, of Frobenius objects in the category of relations. This result generalizes a result of Heunen, Contreras, and Cattaneo showing that special dagger Frobenius objects in the category of relations are in correspondence with groupoids. As an additional example, we construct a Frobenius object in the category of relations whose elements are certa… ▽ More We give a characterization, in terms of simplicial sets, of Frobenius objects in the category of relations. This result generalizes a result of Heunen, Contreras, and Cattaneo showing that special dagger Frobenius objects in the category of relations are in correspondence with groupoids. As an additional example, we construct a Frobenius object in the category of relations whose elements are certain cohomology classes in a compact oriented Riemannian manifold. △ Less

Submitted 2 September, 2024; v1 submitted 20 June, 2019; originally announced July 2019.

Comments: v2: minor edits, final version

MSC Class: 18B10; 18B40; 18D35; 18G30; 20L05; 57R56

Journal ref: Letters in Mathematical Physics 110 (2020), no. 7, 1941-1959

Moh's example of algebroid space curves

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: In this paper we revisit the family of algebroid space curves defined by Moh and find an explicit minimal generating set for the defining ideal. In this paper we revisit the family of algebroid space curves defined by Moh and find an explicit minimal generating set for the defining ideal. △ Less

Submitted 18 April, 2020; v1 submitted 13 July, 2018; originally announced July 2018.

MSC Class: 13C40; 13P10

Almost Maximal Numerical Semigroups formed by Concatenation of Arithmetic Sequences

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: We study numerical semigroups with the property "multiplicity= embedding dimension+1", generated by concatenation of arithmetic sequences. We study numerical semigroups with the property "multiplicity= embedding dimension+1", generated by concatenation of arithmetic sequences. △ Less

Submitted 26 March, 2020; v1 submitted 23 May, 2018; originally announced May 2018.

Comments: The contents of this paper has been merged with the paper arXiv:1802.02564 because of similarity of themes

MSC Class: 13C40; 13P10

Robust Blind Deconvolution via Mirror Descent

Authors: Sathya N. Ravi, Ronak Mehta, Vikas Singh

Abstract: We revisit the Blind Deconvolution problem with a focus on understanding its robustness and convergence properties. Provable robustness to noise and other perturbations is receiving recent interest in vision, from obtaining immunity to adversarial attacks to assessing and describing failure modes of algorithms in mission critical applications. Further, many blind deconvolution methods based on dee… ▽ More We revisit the Blind Deconvolution problem with a focus on understanding its robustness and convergence properties. Provable robustness to noise and other perturbations is receiving recent interest in vision, from obtaining immunity to adversarial attacks to assessing and describing failure modes of algorithms in mission critical applications. Further, many blind deconvolution methods based on deep architectures internally make use of or optimize the basic formulation, so a clearer understanding of how this sub-module behaves, when it can be solved, and what noise injection it can tolerate is a first order requirement. We derive new insights into the theoretical underpinnings of blind deconvolution. The algorithm that emerges has nice convergence guarantees and is provably robust in a sense we formalize in the paper. Interestingly, these technical results play out very well in practice, where on standard datasets our algorithm yields results competitive with or superior to the state of the art. Keywords: blind deconvolution, robust continuous optimization △ Less

Submitted 21 March, 2018; originally announced March 2018.

Numerical Semigroups Generated by Concatenation of Arithmetic Sequences

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: We introduce the notion of numerical semigroups generated by concatenation of arithmetic sequences and show that this class of numerical semigroups exhibit multiple interesting behaviours. We introduce the notion of numerical semigroups generated by concatenation of arithmetic sequences and show that this class of numerical semigroups exhibit multiple interesting behaviours. △ Less

Submitted 26 March, 2020; v1 submitted 7 February, 2018; originally announced February 2018.

MSC Class: 13C40; 13P10

Betti numbers of Bresinsky's curves in $\mathbb{A}^{4}$

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: Bresinsky defined a class of monomial curves in $\mathbb{A}^{4}$ with the property that the minimal number of generators or the first Betti number of the defining ideal is unbounded above. We prove that the same behaviour of unboundedness is true for all the Betti numbers and construct an explicit minimal free resolution for this class. Bresinsky defined a class of monomial curves in $\mathbb{A}^{4}$ with the property that the minimal number of generators or the first Betti number of the defining ideal is unbounded above. We prove that the same behaviour of unboundedness is true for all the Betti numbers and construct an explicit minimal free resolution for this class. △ Less

Submitted 10 January, 2019; v1 submitted 9 January, 2018; originally announced January 2018.

MSC Class: 13C40; 13P10

Journal ref: Journal of Algebra and its Applications 2018

Constant Symplectic 2-groupoids

Authors: Rajan Amit Mehta, Xiang Tang

Abstract: We propose a definition of symplectic 2-groupoid which includes integrations of Courant algebroids that have been recently constructed. We study in detail the simple but illustrative case of constant symplectic 2-groupoids. We show that the constant symplectic 2-groupoids are, up to equivalence, in one-to-one correspondence with a simple class of Courant algebroids that we call constant Courant al… ▽ More We propose a definition of symplectic 2-groupoid which includes integrations of Courant algebroids that have been recently constructed. We study in detail the simple but illustrative case of constant symplectic 2-groupoids. We show that the constant symplectic 2-groupoids are, up to equivalence, in one-to-one correspondence with a simple class of Courant algebroids that we call constant Courant algebroids. Furthermore, we find a correspondence between certain Dirac structures and Lagrangian sub-2-groupoids. △ Less

Submitted 21 November, 2017; v1 submitted 3 February, 2017; originally announced February 2017.

Comments: 17 pages

Journal ref: Letters in Mathematical Physics 108 (2018), 1203-1223

Mutation, Sexual Reproduction and Survival in Dynamic Environments

Authors: Ruta Mehta, Ioannis Panageas, Georgios Piliouras, Prasad Tetali, Vijay V. Vazirani

Abstract: A new approach to understanding evolution [Val09], namely viewing it through the lens of computation, has already started yielding new insights, e.g., natural selection under sexual reproduction can be interpreted as the Multiplicative Weight Update (MWU) Algorithm in coordination games played among genes [CLPV14]. Using this machinery, we study the role of mutation in changing environments in the… ▽ More A new approach to understanding evolution [Val09], namely viewing it through the lens of computation, has already started yielding new insights, e.g., natural selection under sexual reproduction can be interpreted as the Multiplicative Weight Update (MWU) Algorithm in coordination games played among genes [CLPV14]. Using this machinery, we study the role of mutation in changing environments in the presence of sexual reproduction. Following [WVA05], we model changing environments via a Markov chain, with the states representing environments, each with its own fitness matrix. In this setting, we show that in the absence of mutation, the population goes extinct, but in the presence of mutation, the population survives with positive probability. On the way to proving the above theorem, we need to establish some facts about dynamics in games. We provide the first, to our knowledge, polynomial convergence bound for noisy MWU in a coordination game. Finally, we also show that in static environments, sexual evolution with mutation converges, for any level of mutation. △ Less

Submitted 22 April, 2016; v1 submitted 4 November, 2015; originally announced November 2015.

Comments: 28 pages, 3 figures. Change introduction and abstract. Restructuring the paper

Modular Classes of Lie Groupoid Representations up to Homotopy

Authors: Rajan Amit Mehta

Abstract: We describe a construction of the modular class associated to a representation up to homotopy of a Lie groupoid. In the case of the adjoint representation up to homotopy, this class is the obstruction to the existence of a volume form, in the sense of Weinstein's "The volume of a differentiable stack". We describe a construction of the modular class associated to a representation up to homotopy of a Lie groupoid. In the case of the adjoint representation up to homotopy, this class is the obstruction to the existence of a volume form, in the sense of Weinstein's "The volume of a differentiable stack". △ Less

Submitted 25 July, 2015; v1 submitted 22 February, 2015; originally announced February 2015.

Journal ref: SIGMA 11 (2015), 058, 10 pages

The Atiyah class of a dg-vector bundle

Authors: Rajan Amit Mehta, Mathieu Stiénon, Ping Xu

Abstract: We introduce the notions of Atiyah class and Todd class of a differential graded vector bundle with respect to a differential graded Lie algebroid. We prove that the space of vector fields on a dg-manifold with homological vector field $Q$ admits a structure of L-infinity algebra with the Lie derivative $L_Q$ as unary bracket, and the Atiyah cocycle corresponding to a torsion-free affine connectio… ▽ More We introduce the notions of Atiyah class and Todd class of a differential graded vector bundle with respect to a differential graded Lie algebroid. We prove that the space of vector fields on a dg-manifold with homological vector field $Q$ admits a structure of L-infinity algebra with the Lie derivative $L_Q$ as unary bracket, and the Atiyah cocycle corresponding to a torsion-free affine connection as binary bracket. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 7 pages. To appear in Compte Rendus Math

Journal ref: Comptes Rendus Mathematique 353 (2015), no. 4, 357-362

The Complexity of Genetic Diversity

Authors: Ruta Mehta, Ioannis Panageas, Georgios Piliouras, Sadra Yazdanbod

Abstract: A key question in biological systems is whether genetic diversity persists in the long run under evolutionary competition or whether a single dominant genotype emerges. Classic work by Kalmus in 1945 has established that even in simple diploid species (species with two chromosomes) diversity can be guaranteed as long as the heterozygote individuals enjoy a selective advantage. Despite the classic… ▽ More A key question in biological systems is whether genetic diversity persists in the long run under evolutionary competition or whether a single dominant genotype emerges. Classic work by Kalmus in 1945 has established that even in simple diploid species (species with two chromosomes) diversity can be guaranteed as long as the heterozygote individuals enjoy a selective advantage. Despite the classic nature of the problem, as we move towards increasingly polymorphic traits (e.g. human blood types) predicting diversity and understanding its implications is still not fully understood. Our key contribution is to establish complexity theoretic hardness results implying that even in the textbook case of single locus diploid models predicting whether diversity survives or not given its fitness landscape is algorithmically intractable. We complement our results by establishing that under randomly chosen fitness landscapes diversity survives with significant probability. Our results are structurally robust along several dimensions (e.g., choice of parameter distribution, different definitions of stability/persistence, restriction to typical subclasses of fitness landscapes). Technically, our results exploit connections between game theory, nonlinear dynamical systems, complexity theory and biology and establish hardness results for predicting the evolution of a deterministic variant of the well known multiplicative weights update algorithm in symmetric coordination games which could be of independent interest. △ Less

Submitted 22 October, 2015; v1 submitted 23 November, 2014; originally announced November 2014.

Comments: 24 pages, 2 figues

Double Lie algebroids and representations up to homotopy

Authors: Alfonso Gracia-Saz, Madeleine Jotz Lean, Kirill C. H. Mackenzie, Rajan A. Mehta

Abstract: We show that double Lie algebroids, together with a chosen linear splitting, are equivalent to pairs of 2-term representations up to homotopy satisfying compatibility conditions which extend the notion of matched pair of Lie algebroids. We discuss in detail the tangent of a Lie algebroid. We show that double Lie algebroids, together with a chosen linear splitting, are equivalent to pairs of 2-term representations up to homotopy satisfying compatibility conditions which extend the notion of matched pair of Lie algebroids. We discuss in detail the tangent of a Lie algebroid. △ Less

Submitted 5 September, 2014; v1 submitted 4 September, 2014; originally announced September 2014.

MSC Class: Primary: 53D17; Secondary: 17B66; 18D05

Journal ref: Journal of Homotopy and Related Structures 13 (2018), 287-319

Natural Selection as an Inhibitor of Genetic Diversity: Multiplicative Weights Updates Algorithm and a Conjecture of Haploid Genetics

Authors: Ruta Mehta, Ioannis Panageas, Georgios Piliouras

Abstract: In a recent series of papers a surprisingly strong connection was discovered between standard models of evolution in mathematical biology and Multiplicative Weights Updates Algorithm, a ubiquitous model of online learning and optimization. These papers establish that mathematical models of biological evolution are tantamount to applying discrete Multiplicative Weights Updates Algorithm, a close va… ▽ More In a recent series of papers a surprisingly strong connection was discovered between standard models of evolution in mathematical biology and Multiplicative Weights Updates Algorithm, a ubiquitous model of online learning and optimization. These papers establish that mathematical models of biological evolution are tantamount to applying discrete Multiplicative Weights Updates Algorithm, a close variant of MWUA, on coordination games. This connection allows for introducing insights from the study of game theoretic dynamics into the field of mathematical biology. Using these results as a stepping stone, we show that mathematical models of haploid evolution imply the extinction of genetic diversity in the long term limit, a widely believed conjecture in genetics. In game theoretic terms we show that in the case of coordination games, under minimal genericity assumptions, discrete MWUA converges to pure Nash equilibria for all but a zero measure of initial conditions. This result holds despite the fact that mixed Nash equilibria can be exponentially (or even uncountably) many, completely dominating in number the set of pure Nash equilibria. Thus, in haploid organisms the long term preservation of genetic diversity needs to be safeguarded by other evolutionary mechanisms such as mutations and speciation. △ Less

Submitted 7 October, 2014; v1 submitted 26 August, 2014; originally announced August 2014.

Comments: 18 pages, 1 figure

Symplectic structures on the integration of exact Courant algebroids

Authors: Rajan Amit Mehta, Xiang Tang

Abstract: We construct an infinite-dimensional symplectic 2-groupoid as the integration of an exact Courant algebroid. We show that every integrable Dirac structure integrates to a "Lagrangian" sub-2-groupoid of this symplectic 2-groupoid. As a corollary, we recover a result of Bursztyn-Crainic-Weinstein-Zhu that every integrable Dirac structure integrates to a presymplectic groupoid. We construct an infinite-dimensional symplectic 2-groupoid as the integration of an exact Courant algebroid. We show that every integrable Dirac structure integrates to a "Lagrangian" sub-2-groupoid of this symplectic 2-groupoid. As a corollary, we recover a result of Bursztyn-Crainic-Weinstein-Zhu that every integrable Dirac structure integrates to a presymplectic groupoid. △ Less

Submitted 24 October, 2013; originally announced October 2013.

Comments: 18 pages

Journal ref: Journal of Geometry and Physics 127 (2018), 68-83

L-infinity algebra actions

Authors: Rajan Mehta, Marco Zambon

Abstract: We define the notion of action of an L-infinity algebra $g$ on a graded manifold $M$, and show that such an action corresponds to a homological vector field on $g[1] \times M$ of a specific form. This generalizes the correspondence between Lie algebra actions on manifolds and transformation Lie algebroids. In particular, we consider actions of $g$ on a second L-infinity algebra, leading to a notio… ▽ More We define the notion of action of an L-infinity algebra $g$ on a graded manifold $M$, and show that such an action corresponds to a homological vector field on $g[1] \times M$ of a specific form. This generalizes the correspondence between Lie algebra actions on manifolds and transformation Lie algebroids. In particular, we consider actions of $g$ on a second L-infinity algebra, leading to a notion of "semidirect product" of L-infinity algebras more general than those we found in the literature. △ Less

Submitted 30 August, 2012; v1 submitted 12 February, 2012; originally announced February 2012.

Comments: v2: Final version, to appear in Diff. Geom. Appl

MSC Class: 58A50; 17B66; 16W25; 53D17

Journal ref: Differential Geometry and its Applications 30 (2012), 576-587

Differential graded contact geometry and Jacobi structures

Authors: Rajan Amit Mehta

Abstract: We study contact structures on nonnegatively-graded manifolds equipped with homological contact vector fields. In the degree 1 case, we show that there is a one-to-one correspondence between such structures (with fixed contact form) and Jacobi manifolds. This correspondence allows us to reinterpret the Poissonization procedure, taking Jacobi manifolds to Poisson manifolds, as a supergeometric vers… ▽ More We study contact structures on nonnegatively-graded manifolds equipped with homological contact vector fields. In the degree 1 case, we show that there is a one-to-one correspondence between such structures (with fixed contact form) and Jacobi manifolds. This correspondence allows us to reinterpret the Poissonization procedure, taking Jacobi manifolds to Poisson manifolds, as a supergeometric version of symplectization. △ Less

Submitted 18 August, 2013; v1 submitted 20 November, 2011; originally announced November 2011.

Comments: 9 pages. v2: Added references, improved proof of Proposition 3.3. v3: Expanded introduction, clarifying remarks, some changes of sign conventions. Main results are unchanged. v4: Final version, implementing changes suggested by referees

MSC Class: 16E45; 53D17; 58A50

Journal ref: Letters in Mathematical Physics 103 (2013), 729-741

Lie algebroid modules and representations up to homotopy

Authors: Rajan Amit Mehta

Abstract: We establish a relationship between two different generalizations of Lie algebroid representations: representation up to homotopy and Vaintrob's Lie algebroid modules. Specifically, we show that there is a noncanonical way to obtain a representation up to homotopy from a given Lie algebroid module, and that any two representations up to homotopy obtained in this way are equivalent in a natural sen… ▽ More We establish a relationship between two different generalizations of Lie algebroid representations: representation up to homotopy and Vaintrob's Lie algebroid modules. Specifically, we show that there is a noncanonical way to obtain a representation up to homotopy from a given Lie algebroid module, and that any two representations up to homotopy obtained in this way are equivalent in a natural sense. We therefore obtain a one-to-one correspondence, up to equivalence. △ Less

Submitted 8 September, 2014; v1 submitted 7 July, 2011; originally announced July 2011.

Comments: v3: Final version, to appear in Indag. Math

MSC Class: 16E45; 53D17; 58A50

Journal ref: Indagationes Mathematicae 25 (2014), no. 5, 1122-1134

From double Lie groupoids to local Lie 2-groupoids

Authors: Rajan Amit Mehta, Xiang Tang

Abstract: We apply the bar construction to the nerve of a double Lie groupoid to obtain a local Lie 2-groupoid. As an application, we recover Haefliger's fundamental groupoid from the fundamental double groupoid of a Lie groupoid. In the case of a symplectic double groupoid, we study the induced closed 2-form on the associated local Lie 2-groupoid, which leads us to propose a definition of a symplectic 2-gr… ▽ More We apply the bar construction to the nerve of a double Lie groupoid to obtain a local Lie 2-groupoid. As an application, we recover Haefliger's fundamental groupoid from the fundamental double groupoid of a Lie groupoid. In the case of a symplectic double groupoid, we study the induced closed 2-form on the associated local Lie 2-groupoid, which leads us to propose a definition of a symplectic 2-groupoid. △ Less

Submitted 18 February, 2015; v1 submitted 18 December, 2010; originally announced December 2010.

Comments: 23 pages, a few minor changes, including a correction to Lemma 6.6

Journal ref: Bulletin of the Brazilian Mathematical Society 42 (2011), no. 4, 651-681

On homotopy Poisson actions and reduction of symplectic Q-manifolds

Authors: Rajan Amit Mehta

Abstract: We present a general framework for reduction of symplectic Q-manifolds via graded group actions. In this framework, the homological structure on the acting group is a multiplicative multivector field. We present a general framework for reduction of symplectic Q-manifolds via graded group actions. In this framework, the homological structure on the acting group is a multiplicative multivector field. △ Less

Submitted 7 September, 2010; originally announced September 2010.

MSC Class: 53D20; 53D17; 58A50; 17B70; 53D18

Journal ref: Differential Geometry and its Applications 29 (2011), 319-328

VB-groupoids and representation theory of Lie groupoids

Authors: Alfonso Gracia-Saz, Rajan Amit Mehta

Abstract: A VB-groupoid is a Lie groupoid equipped with a compatible linear structure. In this paper, we describe a correspondence, up to isomorphism, between VB-groupoids and 2-term representations up to homotopy of Lie groupoids. Under this correspondence, the tangent bundle of a Lie groupoid G corresponds to the "adjoint representation" of G. The value of this point of view is that the tangent bundle is… ▽ More A VB-groupoid is a Lie groupoid equipped with a compatible linear structure. In this paper, we describe a correspondence, up to isomorphism, between VB-groupoids and 2-term representations up to homotopy of Lie groupoids. Under this correspondence, the tangent bundle of a Lie groupoid G corresponds to the "adjoint representation" of G. The value of this point of view is that the tangent bundle is canonical, whereas the adjoint representation is not. We define a cochain complex that is canonically associated to any VB-groupoid. The cohomology of this complex is isomorphic to the groupoid cohomology with values in the corresponding representations up to homotopy. When applied to the tangent bundle of a Lie groupoid, this construction produces a canonical complex that computes the cohomology with values in the adjoint representation. Finally, we give a classification of regular 2-term representations up to homotopy. By considering the adjoint representation, we find a new cohomological invariant associated to regular Lie groupoids. △ Less

Submitted 5 June, 2016; v1 submitted 21 July, 2010; originally announced July 2010.

Comments: v5: Introduction is completely rewritten, many other improvements in the exposition. v6: Implements numerous corrections and changes suggested by referees, most notably a significant simplification of the calculations in Appendix A.2. Final version, to appear in J. Symp. Geom

MSC Class: 18D05; 22A22; 53D17

Journal ref: Journal of Symplectic Geometry, Vol. 15, No. 3 (2017), pp. 741-783

Lie algebroid structures on double vector bundles and representation theory of Lie algebroids

Authors: Alfonso Gracia-Saz, Rajan Amit Mehta

Abstract: A VB-algebroid is essentially defined as a Lie algebroid object in the category of vector bundles. There is a one-to-one correspondence between VB-algebroids and certain flat Lie algebroid superconnections, up to a natural notion of equivalence. In this setting, we are able to construct characteristic classes, which in special cases reproduce characteristic classes constructed by Crainic and Ferna… ▽ More A VB-algebroid is essentially defined as a Lie algebroid object in the category of vector bundles. There is a one-to-one correspondence between VB-algebroids and certain flat Lie algebroid superconnections, up to a natural notion of equivalence. In this setting, we are able to construct characteristic classes, which in special cases reproduce characteristic classes constructed by Crainic and Fernandes. We give a complete classification of regular VB-algebroids, and in the process we obtain another characteristic class of Lie algebroids that does not appear in the ordinary representation theory of Lie algebroids. △ Less

Submitted 29 September, 2011; v1 submitted 30 September, 2008; originally announced October 2008.

MSC Class: 18D05; 22A30; 53D17

Journal ref: Advances in Mathematics 223 (2010), no. 4, 1236-1275

A Note on Ternary Sequences of Strings of 0 and 1

Authors: A. R. Mehta, G. R. Vijayakumar

Abstract: B. D. Acharya has conjectured that if $\bigl(A_i: i=1, 2, ..., 2^{|X|}-1\bigr)$ is a permutation of all nonempty subsets of a set $X$ with at least two elements such that for each even positive integer $j<2^{|X|}-1$, $A_{j-1}\triangle A_j\triangle A_{j+1}=\emptyset$, then $|X|=2$. In this article, we show that if the cardinality of a set $X$ is more than four, then a permutation as described abo… ▽ More B. D. Acharya has conjectured that if $\bigl(A_i: i=1, 2, ..., 2^{|X|}-1\bigr)$ is a permutation of all nonempty subsets of a set $X$ with at least two elements such that for each even positive integer $j<2^{|X|}-1$, $A_{j-1}\triangle A_j\triangle A_{j+1}=\emptyset$, then $|X|=2$. In this article, we show that if the cardinality of a set $X$ is more than four, then a permutation as described above indeed exists. △ Less

Submitted 5 April, 2008; v1 submitted 28 March, 2008; originally announced March 2008.

Comments: 5 pages

MSC Class: 05B99; 08A99

Q-algebroids and their cohomology

Authors: Rajan Amit Mehta

Abstract: A Q-algebroid is a Lie superalgebroid equipped with a compatible homological vector field and is the infinitesimal object corresponding to a Q-groupoid. We associate to every Q-algebroid a double complex. As a special case, we define the BRST model of a Lie algebroid, which generalizes the BRST model for equivariant cohomology. We extend to this setting the Mathai-Quillen-Kalkman isomorphism of… ▽ More A Q-algebroid is a Lie superalgebroid equipped with a compatible homological vector field and is the infinitesimal object corresponding to a Q-groupoid. We associate to every Q-algebroid a double complex. As a special case, we define the BRST model of a Lie algebroid, which generalizes the BRST model for equivariant cohomology. We extend to this setting the Mathai-Quillen-Kalkman isomorphism of the BRST and Weil models, and we suggest a definition of a basic subcomplex which, however, requires a choice of a connection. Other examples include Roytenberg's homological double of a Lie bialgebroid, Ginzburg's model of equivariant Lie algebroid cohomology, the double of a Lie algebroid matched pair, and Q-algebroids arising from lifted actions on Courant algebroids. △ Less

Submitted 8 March, 2007; originally announced March 2007.

Comments: 26 pages

MSC Class: 22A22 (Primary); 58A50; 55N91; 53D17 (Secondary)

Journal ref: Journal of Symplectic Geometry 7 (2009), no. 3, 263-293

Q-groupoids and their cohomology

Authors: Rajan Amit Mehta

Abstract: We approach Mackenzie's LA-groupoids from a supergeometric point of view by introducing Q-groupoids, which are groupoid objects in the category of Q-manifolds. There is a faithful functor from the category of LA-groupoids to the category of Q-groupoids. We associate to every Q-groupoid a double complex that provides a model for the Q-cohomology of the classifying space. As examples, we obtain mode… ▽ More We approach Mackenzie's LA-groupoids from a supergeometric point of view by introducing Q-groupoids, which are groupoid objects in the category of Q-manifolds. There is a faithful functor from the category of LA-groupoids to the category of Q-groupoids. We associate to every Q-groupoid a double complex that provides a model for the Q-cohomology of the classifying space. As examples, we obtain models for equivariant Q- and orbifold Q-cohomology, and for equivariant Lie algebroid and orbifold Lie algebroid cohomology. We obtain double complexes associated to Poisson groupoids and groupoid-algebroid "matched pairs". △ Less

Submitted 17 October, 2011; v1 submitted 29 November, 2006; originally announced November 2006.

Comments: v2 is the published version. Significant revision over previous version, particularly in section 5.2

MSC Class: 22A22 (Primary) 58A50; 55N91; 53D17 (Secondary)

Journal ref: Pacific Journal of Mathematics 242 (2009), no. 2, 311-332

Supergroupoids, double structures, and equivariant cohomology

Authors: Rajan Amit Mehta

Abstract: Q-groupoids and Q-algebroids are, respectively, supergroupoids and superalgebroids that are equipped with compatible homological vector fields. These new objects are closely related to the double structures of Mackenzie; in particular, we show that Q-groupoids are intermediary objects between Mackenzie's LA-groupoids and double complexes, which include as a special case the simplicial model of e… ▽ More Q-groupoids and Q-algebroids are, respectively, supergroupoids and superalgebroids that are equipped with compatible homological vector fields. These new objects are closely related to the double structures of Mackenzie; in particular, we show that Q-groupoids are intermediary objects between Mackenzie's LA-groupoids and double complexes, which include as a special case the simplicial model of equivariant cohomology. There is also a double complex associated to a Q-algebroid, which in the above special case is the BRST model of equivariant cohomology. Other special cases include models for the Drinfel'd double of a Lie bialgebra and Ginzburg's equivariant Poisson cohomology. Finally, a supergroupoid version of the van Est map is used to give a homomorphism from the double complex of a Q-groupoid to that of a Q-algebroid. △ Less

Submitted 14 May, 2006; originally announced May 2006.

Comments: UC Berkeley Ph.D. thesis; 111 pages

MSC Class: 22A22 (Primary); 58A50; 55N91; 53D17 (Secondary)