-
Cross-modality Matching and Prediction of Perturbation Responses with Labeled Gromov-Wasserstein Optimal Transport
Authors:
Jayoung Ryu,
Romain Lopez,
Charlotte Bunne,
Aviv Regev
Abstract:
It is now possible to conduct large scale perturbation screens with complex readout modalities, such as different molecular profiles or high content cell images. While these open the way for systematic dissection of causal cell circuits, integrated such data across screens to maximize our ability to predict circuits poses substantial computational challenges, which have not been addressed. Here, w…
▽ More
It is now possible to conduct large scale perturbation screens with complex readout modalities, such as different molecular profiles or high content cell images. While these open the way for systematic dissection of causal cell circuits, integrated such data across screens to maximize our ability to predict circuits poses substantial computational challenges, which have not been addressed. Here, we extend two Gromov-Wasserstein Optimal Transport methods to incorporate the perturbation label for cross-modality alignment. The obtained alignment is then employed to train a predictive model that estimates cellular responses to perturbations observed with only one measurement modality. We validate our method for the tasks of cross-modality alignment and cross-modality prediction in a recent multi-modal single-cell perturbation dataset. Our approach opens the way to unified causal models of cell biology.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Toward the Identifiability of Comparative Deep Generative Models
Authors:
Romain Lopez,
Jan-Christian Huetter,
Ehsan Hajiramezanali,
Jonathan Pritchard,
Aviv Regev
Abstract:
Deep Generative Models (DGMs) are versatile tools for learning data representations while adequately incorporating domain knowledge such as the specification of conditional probability distributions. Recently proposed DGMs tackle the important task of comparing data sets from different sources. One such example is the setting of contrastive analysis that focuses on describing patterns that are enr…
▽ More
Deep Generative Models (DGMs) are versatile tools for learning data representations while adequately incorporating domain knowledge such as the specification of conditional probability distributions. Recently proposed DGMs tackle the important task of comparing data sets from different sources. One such example is the setting of contrastive analysis that focuses on describing patterns that are enriched in a target data set compared to a background data set. The practical deployment of those models often assumes that DGMs naturally infer interpretable and modular latent representations, which is known to be an issue in practice. Consequently, existing methods often rely on ad-hoc regularization schemes, although without any theoretical grounding. Here, we propose a theory of identifiability for comparative DGMs by extending recent advances in the field of non-linear independent component analysis. We show that, while these models lack identifiability across a general class of mixing functions, they surprisingly become identifiable when the mixing function is piece-wise affine (e.g., parameterized by a ReLU neural network). We also investigate the impact of model misspecification, and empirically show that previously proposed regularization techniques for fitting comparative DGMs help with identifiability when the number of latent variables is not known in advance. Finally, we introduce a novel methodology for fitting comparative DGMs that improves the treatment of multiple data sources via multi-objective optimization and that helps adjust the hyperparameter for the regularization in an interpretable manner, using constrained optimization. We empirically validate our theory and new methodology using simulated data as well as a recent data set of genetic perturbations in cells profiled via single-cell RNA sequencing.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Experimental Demonstration of Non-Stateful In-Memory Logic with 1T1R OxRAM Valence Change Mechanism Memristors
Authors:
Henriette Padberg,
Amir Regev,
Giuseppe Piccolboni,
Alessandro Bricalli,
Gabriel Molas,
Jean Francois Nodin,
Shahar Kvatinsky
Abstract:
Processing-in-memory (PIM) is attractive to overcome the limitations of modern computing systems. Numerous PIM systems exist, varying by the technologies and logic techniques used. Successful operation of specific logic functions is crucial for effective processing-in-memory. Memristive non-stateful logic techniques are compatible with CMOS logic and can be integrated into a 1T1R memory array, sim…
▽ More
Processing-in-memory (PIM) is attractive to overcome the limitations of modern computing systems. Numerous PIM systems exist, varying by the technologies and logic techniques used. Successful operation of specific logic functions is crucial for effective processing-in-memory. Memristive non-stateful logic techniques are compatible with CMOS logic and can be integrated into a 1T1R memory array, similar to commercial RRAM products. This paper analyzes and demonstrates two non-stateful logic techniques: 1T1R logic and scouting logic. As a first step, the used 1T1R SiO\textsubscript{x} valence change mechanism memristors are characterized in reference to their feasibility to perform logic functions. Various logical functions of the two logic techniques are experimentally demonstrated, showing correct functionality in all cases. Following the results, the challenges and limitations of the RRAM characteristics and 1T1R configuration for the application in logical functions are discussed.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Learning Causal Representations of Single Cells via Sparse Mechanism Shift Modeling
Authors:
Romain Lopez,
Nataša Tagasovska,
Stephen Ra,
Kyunghyn Cho,
Jonathan K. Pritchard,
Aviv Regev
Abstract:
Latent variable models such as the Variational Auto-Encoder (VAE) have become a go-to tool for analyzing biological data, especially in the field of single-cell genomics. One remaining challenge is the interpretability of latent variables as biological processes that define a cell's identity. Outside of biological applications, this problem is commonly referred to as learning disentangled represen…
▽ More
Latent variable models such as the Variational Auto-Encoder (VAE) have become a go-to tool for analyzing biological data, especially in the field of single-cell genomics. One remaining challenge is the interpretability of latent variables as biological processes that define a cell's identity. Outside of biological applications, this problem is commonly referred to as learning disentangled representations. Although several disentanglement-promoting variants of the VAE were introduced, and applied to single-cell genomics data, this task has been shown to be infeasible from independent and identically distributed measurements, without additional structure. Instead, recent methods propose to leverage non-stationary data, as well as the sparse mechanism shift assumption in order to learn disentangled representations with a causal semantic. Here, we extend the application of these methodological advances to the analysis of single-cell genomics data with genetic or chemical perturbations. More precisely, we propose a deep generative model of single-cell gene expression data for which each perturbation is treated as a stochastic intervention targeting an unknown, but sparse, subset of latent variables. We benchmark these methods on simulated single-cell data to evaluate their performance at latent units recovery, causal target identification and out-of-domain generalization. Finally, we apply those approaches to two real-world large-scale gene perturbation data sets and find that models that exploit the sparse mechanism shift hypothesis surpass contemporary methods on a transfer learning task. We implement our new model and benchmarks using the scvi-tools library, and release it as open-source software at https://github.com/Genentech/sVAE.
△ Less
Submitted 16 February, 2023; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Hybrid AI-based Anomaly Detection Model using Phasor Measurement Unit Data
Authors:
Yuval Abraham Regev,
Henrik Vassdal,
Ugur Halden,
Ferhat Ozgur Catak,
Umit Cali
Abstract:
Over the last few decades, extensive use of information and communication technologies has been the main driver of the digitalization of power systems. Proper and secure monitoring of the critical grid infrastructure became an integral part of the modern power system. Using phasor measurement units (PMUs) to surveil the power system is one of the technologies that have a promising future. Increase…
▽ More
Over the last few decades, extensive use of information and communication technologies has been the main driver of the digitalization of power systems. Proper and secure monitoring of the critical grid infrastructure became an integral part of the modern power system. Using phasor measurement units (PMUs) to surveil the power system is one of the technologies that have a promising future. Increased frequency of measurements and smarter methods for data handling can improve the ability to reliably operate power grids. The increased cyber-physical interaction offers both benefits and drawbacks, where one of the drawbacks comes in the form of anomalies in the measurement data. The anomalies can be caused by both physical faults on the power grid, as well as disturbances, errors, and cyber attacks in the cyber layer. This paper aims to develop a hybrid AI-based model that is based on various methods such as Long Short Term Memory (LSTM), Convolutional Neural Network (CNN) and other relevant hybrid algorithms for anomaly detection in phasor measurement unit data. The dataset used within this research was acquired by the University of Texas, which consists of real data from grid measurements. In addition to the real data, false data that has been injected to produce anomalies has been analyzed. The impacts and mitigating methods to prevent such kind of anomalies are discussed.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Fully-Binarized, Parallel, RRAM-based Computing Primitive for In-Memory Similarity Search
Authors:
Sandeep Kaur Kingra,
Vivek Parmar,
Deepak Verma,
Alessandro Bricalli,
Giuseppe Piccolboni,
Gabriel Molas,
Amir Regev,
Manan Suri
Abstract:
In this work, we propose a fully-binarized XOR-based IMSS (In-Memory Similarity Search) using RRAM (Resistive Random Access Memory) arrays. XOR (Exclusive OR) operation is realized using 2T-2R bitcells arranged along the column in an array. This enables simultaneous match operation across multiple stored data vectors by performing analog column-wise XOR operation and summation to compute HD (Hammi…
▽ More
In this work, we propose a fully-binarized XOR-based IMSS (In-Memory Similarity Search) using RRAM (Resistive Random Access Memory) arrays. XOR (Exclusive OR) operation is realized using 2T-2R bitcells arranged along the column in an array. This enables simultaneous match operation across multiple stored data vectors by performing analog column-wise XOR operation and summation to compute HD (Hamming Distance). The proposed scheme is experimentally validated on fabricated RRAM arrays. Full-system validation is performed through SPICE simulations using open source Skywater 130 nm CMOS PDK demonstrating energy of 17 fJ per XOR operation using the proposed bitcell with a full-system power dissipation of 145 $μ$W. Using projected estimations at advanced nodes (28 nm) energy savings of $\approx$1.5$\times$ compared to the state-of-the-art can be observed for a fixed workload. Application-level validation is performed on HSI (Hyper-Spectral Image) pixel classification task using the Salinas dataset demonstrating an accuracy of 90%.
△ Less
Submitted 18 September, 2022; v1 submitted 4 August, 2022;
originally announced August 2022.
-
Large-Scale Differentiable Causal Discovery of Factor Graphs
Authors:
Romain Lopez,
Jan-Christian Hütter,
Jonathan K. Pritchard,
Aviv Regev
Abstract:
A common theme in causal inference is learning causal relationships between observed variables, also known as causal discovery. This is usually a daunting task, given the large number of candidate causal graphs and the combinatorial nature of the search space. Perhaps for this reason, most research has so far focused on relatively small causal graphs, with up to hundreds of nodes. However, recent…
▽ More
A common theme in causal inference is learning causal relationships between observed variables, also known as causal discovery. This is usually a daunting task, given the large number of candidate causal graphs and the combinatorial nature of the search space. Perhaps for this reason, most research has so far focused on relatively small causal graphs, with up to hundreds of nodes. However, recent advances in fields like biology enable generating experimental data sets with thousands of interventions followed by rich profiling of thousands of variables, raising the opportunity and urgent need for large causal graph models. Here, we introduce the notion of factor directed acyclic graphs (f-DAGs) as a way to restrict the search space to non-linear low-rank causal interaction models. Combining this novel structural assumption with recent advances that bridge the gap between causal discovery and continuous optimization, we achieve causal discovery on thousands of variables. Additionally, as a model for the impact of statistical noise on this estimation procedure, we study a model of edge perturbations of the f-DAG skeleton based on random graphs and quantify the effect of such perturbations on the f-DAG rank. This theoretical analysis suggests that the set of candidate f-DAGs is much smaller than the whole DAG space and thus may be more suitable as a search space in the high-dimensional regime where the underlying skeleton is hard to assess. We propose Differentiable Causal Discovery of Factor Graphs (DCD-FG), a scalable implementation of -DAG constrained causal discovery for high-dimensional interventional data. DCD-FG uses a Gaussian non-linear low-rank structural equation model and shows significant improvements compared to state-of-the-art methods in both simulations as well as a recent large-scale single-cell RNA sequencing data set with hundreds of genetic interventions.
△ Less
Submitted 7 October, 2022; v1 submitted 15 June, 2022;
originally announced June 2022.
-
Cell types and ontologies of the Human Cell Atlas
Authors:
David Osumi-Sutherland,
Chuan Xu,
Maria Keays,
Peter V. Kharchenko,
Aviv Regev,
Ed Lein,
Sarah A. Teichmann
Abstract:
Massive single-cell profiling efforts have accelerated our discovery of the cellular composition of the human body, while at the same time raising the need to formalise this new knowledge. Here, we review current cell ontology efforts to harmonise and integrate different sources of annotations of cell types and states. We illustrate with examples how a unified ontology can consolidate and advance…
▽ More
Massive single-cell profiling efforts have accelerated our discovery of the cellular composition of the human body, while at the same time raising the need to formalise this new knowledge. Here, we review current cell ontology efforts to harmonise and integrate different sources of annotations of cell types and states. We illustrate with examples how a unified ontology can consolidate and advance our understanding of cell types across scientific communities and biological domains.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Inference of cell dynamics on perturbation data using adjoint sensitivity
Authors:
Weiqi Ji,
Bo Yuan,
Ciyue Shen,
Aviv Regev,
Chris Sander,
Sili Deng
Abstract:
Data-driven dynamic models of cell biology can be used to predict cell response to unseen perturbations. Recent work (CellBox) had demonstrated the derivation of interpretable models with explicit interaction terms, in which the parameters were optimized using machine learning techniques. While the previous work was tested only in a single biological setting, this work aims to extend the range of…
▽ More
Data-driven dynamic models of cell biology can be used to predict cell response to unseen perturbations. Recent work (CellBox) had demonstrated the derivation of interpretable models with explicit interaction terms, in which the parameters were optimized using machine learning techniques. While the previous work was tested only in a single biological setting, this work aims to extend the range of applicability of this model inference approach to a diversity of biological systems. Here we adapted CellBox in Julia differential programming and augmented the method with adjoint algorithms, which has recently been used in the context of neural ODEs. We trained the models using simulated data from both abstract and biology-inspired networks, which afford the ability to evaluate the recovery of the ground truth network structure. The resulting accuracy of prediction by these models is high both in terms of low error against data and excellent agreement with the network structure used for the simulated training data. While there is no analogous ground truth for real life biological systems, this work demonstrates the ability to construct and parameterize a considerable diversity of network models with high predictive ability. The expectation is that this kind of procedure can be used on real perturbation-response data to derive models applicable to diverse biological systems.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
The necessity and power of random, under-sampled experiments in biology
Authors:
Brian Cleary,
Aviv Regev
Abstract:
A vast array of transformative technologies developed over the past decade has enabled measurement and perturbation at ever increasing scale, yet our understanding of many systems remains limited by experimental capacity. Overcoming this limitation is not simply a matter of reducing costs with existing approaches; for complex biological systems it will likely never be possible to comprehensively m…
▽ More
A vast array of transformative technologies developed over the past decade has enabled measurement and perturbation at ever increasing scale, yet our understanding of many systems remains limited by experimental capacity. Overcoming this limitation is not simply a matter of reducing costs with existing approaches; for complex biological systems it will likely never be possible to comprehensively measure and perturb every combination of variables of interest. There is, however, a growing body of work - much of it foundational and precedent setting - that extracts a surprising amount of information from highly under sampled data. For a wide array of biological questions, especially the study of genetic interactions, approaches like these will be crucial to obtain a comprehensive understanding. Yet, there is no coherent framework that unifies these methods, provides a rigorous mathematical foundation to understand their limitations and capabilities, allows us to understand through a common lens their surprising successes, and suggests how we might crystalize the key concepts to transform experimental biology. Here, we review prior work on this topic - both the biology and the mathematical foundations of randomization and low dimensional inference - and propose a general framework to make data collection in a wide array of studies vastly more efficient using random experiments and composite experiments.
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
Map** the Human Body at Cellular Resolution -- The NIH Common Fund Human BioMolecular Atlas Program
Authors:
Michael P Snyder,
Shin Lin,
Amanda Posgai,
Mark Atkinson,
Aviv Regev,
Jennifer Rood,
Orit Rosen,
Leslie Gaffney,
Anna Hupalowska,
Rahul Satija,
Nils Gehlenborg,
Jay Shendure,
Julia Laskin,
Pehr Harbury,
Nicholas A Nystrom,
Ziv Bar-Joseph,
Kun Zhang,
Katy Börner,
Yiing Lin,
Richard Conroy,
Dena Procaccini,
Ananda L Roy,
Ajay Pillai,
Marishka Brown,
Zorina S Galis
Abstract:
Transformative technologies are enabling the construction of three dimensional (3D) maps of tissues with unprecedented spatial and molecular resolution. Over the next seven years, the NIH Common Fund Human Biomolecular Atlas Program (HuBMAP) intends to develop a widely accessible framework for comprehensively map** the human body at single-cell resolution by supporting technology development, da…
▽ More
Transformative technologies are enabling the construction of three dimensional (3D) maps of tissues with unprecedented spatial and molecular resolution. Over the next seven years, the NIH Common Fund Human Biomolecular Atlas Program (HuBMAP) intends to develop a widely accessible framework for comprehensively map** the human body at single-cell resolution by supporting technology development, data acquisition, and detailed spatial map**. HuBMAP will integrate its efforts with other funding agencies, programs, consortia, and the biomedical research community at large towards the shared vision of a comprehensive, accessible 3D molecular and cellular atlas of the human body, in health and various disease settings.
△ Less
Submitted 7 June, 2019; v1 submitted 17 March, 2019;
originally announced March 2019.
-
Reconstructing probabilistic trees of cellular differentiation from single-cell RNA-seq data
Authors:
Miriam Shiffman,
William T. Stephenson,
Geoffrey Schiebinger,
Jonathan Huggins,
Trevor Campbell,
Aviv Regev,
Tamara Broderick
Abstract:
Until recently, transcriptomics was limited to bulk RNA sequencing, obscuring the underlying expression patterns of individual cells in favor of a global average. Thanks to technological advances, we can now profile gene expression across thousands or millions of individual cells in parallel. This new type of data has led to the intriguing discovery that individual cell profiles can reflect the im…
▽ More
Until recently, transcriptomics was limited to bulk RNA sequencing, obscuring the underlying expression patterns of individual cells in favor of a global average. Thanks to technological advances, we can now profile gene expression across thousands or millions of individual cells in parallel. This new type of data has led to the intriguing discovery that individual cell profiles can reflect the imprint of time or dynamic processes. However, synthesizing this information to reconstruct dynamic biological phenomena from data that are noisy, heterogenous, and sparse---and from processes that may unfold asynchronously---poses a complex computational and statistical challenge. Here, we develop a full generative model for probabilistically reconstructing trees of cellular differentiation from single-cell RNA-seq data. Specifically, we extend the framework of the classical Dirichlet diffusion tree to simultaneously infer branch topology and latent cell states along continuous trajectories over the full tree. In tandem, we construct a novel Markov chain Monte Carlo sampler that interleaves Metropolis-Hastings and message passing to leverage model structure for efficient inference. Finally, we demonstrate that these techniques can recover latent trajectories from simulated single-cell transcriptomes. While this work is motivated by cellular differentiation, we derive a tractable model that provides flexible densities for any data (coupled with an appropriate noise model) that arise from continuous evolution along a latent nonparametric tree.
△ Less
Submitted 28 November, 2018;
originally announced November 2018.
-
The Human Cell Atlas White Paper
Authors:
Aviv Regev,
Sarah Teichmann,
Orit Rozenblatt-Rosen,
Michael Stubbington,
Kristin Ardlie,
Ido Amit,
Paola Arlotta,
Gary Bader,
Christophe Benoist,
Moshe Biton,
Bernd Bodenmiller,
Benoit Bruneau,
Peter Campbell,
Mary Carmichael,
Piero Carninci,
Leslie Castelo-Soccio,
Menna Clatworthy,
Hans Clevers,
Christian Conrad,
Roland Eils,
Jeremy Freeman,
Lars Fugger,
Berthold Goettgens,
Daniel Graham,
Anna Greka
, et al. (56 additional authors not shown)
Abstract:
The Human Cell Atlas (HCA) will be made up of comprehensive reference maps of all human cells - the fundamental units of life - as a basis for understanding fundamental human biological processes and diagnosing, monitoring, and treating disease. It will help scientists understand how genetic variants impact disease risk, define drug toxicities, discover better therapies, and advance regenerative m…
▽ More
The Human Cell Atlas (HCA) will be made up of comprehensive reference maps of all human cells - the fundamental units of life - as a basis for understanding fundamental human biological processes and diagnosing, monitoring, and treating disease. It will help scientists understand how genetic variants impact disease risk, define drug toxicities, discover better therapies, and advance regenerative medicine. A resource of such ambition and scale should be built in stages, increasing in size, breadth, and resolution as technologies develop and understanding deepens. We will therefore pursue Phase 1 as a suite of flagship projects in key tissues, systems, and organs. We will bring together experts in biology, medicine, genomics, technology development and computation (including data analysis, software engineering, and visualization). We will also need standardized experimental and computational methods that will allow us to compare diverse cell and tissue types - and samples across human communities - in consistent ways, ensuring that the resulting resource is truly global.
This document, the first version of the HCA White Paper, was written by experts in the field with feedback and suggestions from the HCA community, gathered during recent international meetings. The White Paper, released at the close of this yearlong planning process, will be a living document that evolves as the HCA community provides additional feedback, as technological and computational advances are made, and as lessons are learned during the construction of the atlas.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
Surprising Relations Between Sums-Of-Squares of Characters of the Symmetric Group Over Two-Rowed Shapes and Over Hook Shapes
Authors:
Amitai Regev,
Doron Zeilberger
Abstract:
In a recent article (arXiv:1507.03499) (joint with Alon Regev) we studied sums of squares of characters Chi(L,M) of the Symmetric Group over shapes L that are two-rowed, and shapes L that are hook shapes, and M is an arbitrary shape that mostly consists of ones, and designed algorithms for closed-form evaluations of each of these. We noted (and proved) that when M is the shape with n cells consist…
▽ More
In a recent article (arXiv:1507.03499) (joint with Alon Regev) we studied sums of squares of characters Chi(L,M) of the Symmetric Group over shapes L that are two-rowed, and shapes L that are hook shapes, and M is an arbitrary shape that mostly consists of ones, and designed algorithms for closed-form evaluations of each of these. We noted (and proved) that when M is the shape with n cells consisting of 3 followed by n-3 ones, the former sum equals one half time the analogous sum over hook shapes with n+2 cells and M is the partition consisting of 3,2, followed by n-3 ones.
Here we show that this is just a tip of an iceberg, and prove (alas, by purely human means) that the former sum with M consisting of all odd parts, and (possibly) a consecutive string of powers of 2, starting at 2, equals one half of the latter sum where M is replaced by a partition where all the odd parts are retained but the consecutive string of powers of 2: 2,4, ..., $2^{t-1}$ is replaced by $2^t$.
△ Less
Submitted 23 October, 2015;
originally announced October 2015.
-
Identities in character tables of $S_n$
Authors:
Alon Regev,
Amitai Regev,
Doron Zeilberger
Abstract:
In the classic "Concrete Math", by Graham, Patashnik and Knuth, it is stated that "The numbers in Pascal's triangle satisfy, practically speaking, infinitely many identities, so it is not too surprising that we can find some surprising relationships by looking closely." The aim of this note is to indicate that a similar statement seems to hold for the character tables of the symmetric groups…
▽ More
In the classic "Concrete Math", by Graham, Patashnik and Knuth, it is stated that "The numbers in Pascal's triangle satisfy, practically speaking, infinitely many identities, so it is not too surprising that we can find some surprising relationships by looking closely." The aim of this note is to indicate that a similar statement seems to hold for the character tables of the symmetric groups $S_n$. Just as important, it is a case-study in using a computer algebra system to prove deep identities, way beyond the ability of mere humans. This article is accomanied by a Maple pacgage, Sn, and ample output, avaialble from the webpage http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/sn.html .
△ Less
Submitted 13 July, 2015;
originally announced July 2015.
-
Growth for the central polynomials
Authors:
Amitai Regev
Abstract:
We study the growth of the central polynomials for the algebras $G$ and $M_k(F)$, the infinite dimensional Grassmann algebra and the $k\times k$ matrices over a field $F$ of characteristic zero. In particular it follows that $M_k(F)$ satisfy many proper central polynomials.
We study the growth of the central polynomials for the algebras $G$ and $M_k(F)$, the infinite dimensional Grassmann algebra and the $k\times k$ matrices over a field $F$ of characteristic zero. In particular it follows that $M_k(F)$ satisfy many proper central polynomials.
△ Less
Submitted 27 April, 2015;
originally announced April 2015.
-
A Very Short (Bijective!) Proof of Touchard's Catalan Identity
Authors:
Amitai Regev,
Nathaniel Shar,
Doron Zeilberger
Abstract:
A very short, bijective proof, of Touchard's Catalan identity is given, using Dyck paths.
A very short, bijective proof, of Touchard's Catalan identity is given, using Dyck paths.
△ Less
Submitted 26 March, 2015; v1 submitted 13 March, 2015;
originally announced March 2015.
-
A bijection between triangulations and $312$-avoiding permutations
Authors:
Alon Regev
Abstract:
We define a bijection between triangulations of a convex polygon and $312$-avoiding permutations through the process of "ear-clip**". This bijection is then used to obtain a bijection between polygon dissections and a certain class of $312$-avoiding permutations.
We define a bijection between triangulations of a convex polygon and $312$-avoiding permutations through the process of "ear-clip**". This bijection is then used to obtain a bijection between polygon dissections and a certain class of $312$-avoiding permutations.
△ Less
Submitted 8 November, 2013;
originally announced November 2013.
-
Triangulations with few ears: symmetry classes and disjointness
Authors:
Andrei Asinowski,
Alon Regev
Abstract:
An ear in a triangulation $T$ of a convex $n$-gon $P$ is a triangle of $T$ that shares two sides with $P$ itself. Certain enumerational and structural problems become easier when one considers only triangulations with few ears. We demonstrate this in two ways. First, for $k=2, 3$, we find the number of symmetry classes of triangulations with $k$ ears. Second, for $k=2, 3$, we determine the number…
▽ More
An ear in a triangulation $T$ of a convex $n$-gon $P$ is a triangle of $T$ that shares two sides with $P$ itself. Certain enumerational and structural problems become easier when one considers only triangulations with few ears. We demonstrate this in two ways. First, for $k=2, 3$, we find the number of symmetry classes of triangulations with $k$ ears. Second, for $k=2, 3$, we determine the number of triangulations disjoint from a given triangulation: this number depends only on $n$ for $k=2$, and only on lengths of branches of the dual tree for $k=3$.
△ Less
Submitted 4 February, 2014; v1 submitted 3 September, 2013;
originally announced September 2013.
-
The Murnaghan-Nakayama rule and some virtual S_n characters
Authors:
Amitai Regev
Abstract:
We construct certain virtual characters for the symmetric groups, then compute a formula which calculates the values of these virtual characters.
We construct certain virtual characters for the symmetric groups, then compute a formula which calculates the values of these virtual characters.
△ Less
Submitted 16 June, 2013;
originally announced June 2013.
-
Learning Module Networks
Authors:
Eran Segal,
Dana Pe'er,
Aviv Regev,
Daphne Koller,
Nir Friedman
Abstract:
Methods for learning Bayesian network structure can discover dependency structure between observed variables, and have been shown to be useful in many applications. However, in domains that involve a large number of variables, the space of possible network structures is enormous, making it difficult, for both computational and statistical reasons, to identify a good model. In this…
▽ More
Methods for learning Bayesian network structure can discover dependency structure between observed variables, and have been shown to be useful in many applications. However, in domains that involve a large number of variables, the space of possible network structures is enormous, making it difficult, for both computational and statistical reasons, to identify a good model. In this paper, we consider a solution to this problem, suitable for domains where many variables have similar behavior. Our method is based on a new class of models, which we call module networks. A module network explicitly represents the notion of a module - a set of variables that have the same parents in the network and share the same conditional probability distribution. We define the semantics of module networks, and describe an algorithm that learns a module network from data. The algorithm learns both the partitioning of the variables into modules and the dependency structure between the variables. We evaluate our algorithm on synthetic data, and on real data in the domains of gene expression and the stock market. Our results show that module networks generalize better than Bayesian networks, and that the learned module network structure reveals regularities that are obscured in learned Bayesian networks.
△ Less
Submitted 19 October, 2012;
originally announced December 2012.
-
The central component of a triangulation
Authors:
Alon Regev
Abstract:
The central component of a polygon triangulation is defined as the triangle or diameter that contain its geometric center. More generally, every polygon dissection contains a central component. Using this notion, we derive new recurrences for the Catalan and $k$-Catalan numbers, and use these recursions to prove congruence relations of these numbers. We also enumerate the triangulations that conta…
▽ More
The central component of a polygon triangulation is defined as the triangle or diameter that contain its geometric center. More generally, every polygon dissection contains a central component. Using this notion, we derive new recurrences for the Catalan and $k$-Catalan numbers, and use these recursions to prove congruence relations of these numbers. We also enumerate the triangulations that contain a fixed vertex in their central components.
△ Less
Submitted 11 October, 2012;
originally announced October 2012.
-
Counting symmetry classes of dissections of a convex regular polygon
Authors:
Douglas Bowman,
Alon Regev
Abstract:
This paper proves explicit formulas for the number of dissections of a convex regular polygon modulo the action of the cyclic and dihedral groups. The formulas are obtained by making use of the Cauchy-Frobenius Lemma as well as bijections between rotationally symmetric dissections and simpler classes of dissections. A number of special cases of these formulas are studied. Consequently, some known…
▽ More
This paper proves explicit formulas for the number of dissections of a convex regular polygon modulo the action of the cyclic and dihedral groups. The formulas are obtained by making use of the Cauchy-Frobenius Lemma as well as bijections between rotationally symmetric dissections and simpler classes of dissections. A number of special cases of these formulas are studied. Consequently, some known enumerations are recovered and several new ones are provided.
△ Less
Submitted 27 September, 2012;
originally announced September 2012.
-
Enumerating triangulations by parallel diagonals
Authors:
Alon Regev
Abstract:
The triangulations of a regular convex polygon are enumerated according to the number of diagonals parallel to a fixed edge. The enumeration uses the Shapiro convolution identity, as well as an interpretation of this identity in terms of triangulations.
The triangulations of a regular convex polygon are enumerated according to the number of diagonals parallel to a fixed edge. The enumeration uses the Shapiro convolution identity, as well as an interpretation of this identity in terms of triangulations.
△ Less
Submitted 20 August, 2012;
originally announced August 2012.
-
A proof of Catalan's Convolution formula
Authors:
Alon Regev
Abstract:
We give a new proof of the $k$-fold convolution of the Catalan numbers. This is done by enumerating a certain class of polygonal dissections called $k$-in-$n$ dissections. Furthermore, we give a formula for the average number of cycles in a triangulation.
We give a new proof of the $k$-fold convolution of the Catalan numbers. This is done by enumerating a certain class of polygonal dissections called $k$-in-$n$ dissections. Furthermore, we give a formula for the average number of cycles in a triangulation.
△ Less
Submitted 2 September, 2011;
originally announced September 2011.
-
Lie superalgebras and some characters of $S_n$
Authors:
Amitai Regev
Abstract:
We prove a formula for $S_n$ characters which are indexed by the partitions in the $(k,\ell)$ hook. The proof applies a combinatorial part of the theory of Lie superalgebras.
We prove a formula for $S_n$ characters which are indexed by the partitions in the $(k,\ell)$ hook. The proof applies a combinatorial part of the theory of Lie superalgebras.
△ Less
Submitted 16 August, 2011;
originally announced August 2011.
-
Kronecker multiplicities in the $(k,\ell)$ hook are polynomially bounded
Authors:
Amitai Regev
Abstract:
The problem of decomposing the Kronecker product of $S_n$ characters is one of the last major open problems in the ordinary representation theory of the symmetric group $S_n$. Here we prove upper and lower polynomial bounds for the multiplicities of the Kronecker product $χ^\lm\otimesχ^μ$, where for some fixed $k$ and $\ell$ both partitions $\lm$ and $μ$ are in the $(k,\ell)$ hook, $\lm$ and $μ$ a…
▽ More
The problem of decomposing the Kronecker product of $S_n$ characters is one of the last major open problems in the ordinary representation theory of the symmetric group $S_n$. Here we prove upper and lower polynomial bounds for the multiplicities of the Kronecker product $χ^\lm\otimesχ^μ$, where for some fixed $k$ and $\ell$ both partitions $\lm$ and $μ$ are in the $(k,\ell)$ hook, $\lm$ and $μ$ are partitions of $n$, and $n$ goes to infinity.
△ Less
Submitted 7 November, 2010;
originally announced November 2010.
-
Refined Asymptotics and Explicit Recurrences for the numbers of Young tableaux in the (k,l) hook for k+l less than six
Authors:
Shalosh B. Ekhad,
Amitai Regev
Abstract:
This is an etude in experimental semi-rigorous (rigorizable!) mathematics. The leading asymptotics was brilliantly derived by Allan Berele and Amitai Regev for general hooks H(k,l) and general powers z, but what about more refined asymptotics? For small k and l, one can "guess" a linear recurrence (since we live in the holonomic ansatz) and using the Birkhoff-Trjitzinsky method, beautifully implem…
▽ More
This is an etude in experimental semi-rigorous (rigorizable!) mathematics. The leading asymptotics was brilliantly derived by Allan Berele and Amitai Regev for general hooks H(k,l) and general powers z, but what about more refined asymptotics? For small k and l, one can "guess" a linear recurrence (since we live in the holonomic ansatz) and using the Birkhoff-Trjitzinsky method, beautifully implemented in Doron Zeilberger's Maple package AsyRec (that has been incorporated into the present Maple package), we computed amazing refined asymptotics, that confirm, with a vengeance, the Berele-Regev asymptotic formula, and especially the impressive constant in front!
△ Less
Submitted 29 July, 2010;
originally announced July 2010.
-
Asymptotics of Young tableaux in the $(k,\ell)$ hook
Authors:
A. Berele,
A. Regev
Abstract:
The asymptotics of the "$(k,\ell)$ hook" sums $S_{k,\ell}^{(2z)}(n)$ (see~\eqref{the.sums.1}) were calculated in~\cite{berele}. It was recently realized that in~\cite[Section 7]{berele} there are few misprints and certain confusion with regard to the notations, so that the precise asymptotics of $S_{k,\ell}^{(2z)}(n)$ is not clear. Here we add more details and carefully repeat these calculations,…
▽ More
The asymptotics of the "$(k,\ell)$ hook" sums $S_{k,\ell}^{(2z)}(n)$ (see~\eqref{the.sums.1}) were calculated in~\cite{berele}. It was recently realized that in~\cite[Section 7]{berele} there are few misprints and certain confusion with regard to the notations, so that the precise asymptotics of $S_{k,\ell}^{(2z)}(n)$ is not clear. Here we add more details and carefully repeat these calculations, which lead to explicit values for the asymptotics of $S_{k,\ell}^{(2z)}(n).$
△ Less
Submitted 22 July, 2010;
originally announced July 2010.
-
Asymptotics of Young tableaux in the strip, the $d$-sums
Authors:
A. Regev
Abstract:
The asymptotics of the "strip" sums $S_\ell^{(\al)}(n)$ and of their $d$-sums generalizations $T_{d,ds}^{(\al)}(dm)$ (see Definition~\ref{definition1}) were calculated in~\cite{regev}. It was recently noticed that when $d>1$ there is a certain confusion about the relevant notations in~\cite{regev}, and the constant in the asymptotics of these $d$-sums $T_{d,ds}^{(\al)}(dm)$ seems to be off by a ce…
▽ More
The asymptotics of the "strip" sums $S_\ell^{(\al)}(n)$ and of their $d$-sums generalizations $T_{d,ds}^{(\al)}(dm)$ (see Definition~\ref{definition1}) were calculated in~\cite{regev}. It was recently noticed that when $d>1$ there is a certain confusion about the relevant notations in~\cite{regev}, and the constant in the asymptotics of these $d$-sums $T_{d,ds}^{(\al)}(dm)$ seems to be off by a certain factor. Based on the techniques of~\cite{regev} we again calculate the asymptotics of the $d$-sums $T_{d,ds}^{(\al)}(dm)$. We do it here carefully and with complete details. This leads to Theorem~\ref{d.sum222} below, which replaces Corollary 4.4 of~\cite{regev} in the cases $d>1$.
△ Less
Submitted 31 August, 2010; v1 submitted 26 April, 2010;
originally announced April 2010.
-
Identities for the number of standard Young tableaux in some $(k,\ell)$ hooks
Authors:
Amitai Regev
Abstract:
Closed formulas are known for $S(k,0;n)$, the number of standard Young tableaux of size $n$ and with at most $k$ parts, where $1\le k\le 5$. Here we study the analogue problem for $S(k,\ell;n)$, the number of standard Young tableaux of size $n$ which are contained in the $(k,\ell)$ hook. We deduce some formulas for the cases $k+\ell\le 4$.
Closed formulas are known for $S(k,0;n)$, the number of standard Young tableaux of size $n$ and with at most $k$ parts, where $1\le k\le 5$. Here we study the analogue problem for $S(k,\ell;n)$, the number of standard Young tableaux of size $n$ which are contained in the $(k,\ell)$ hook. We deduce some formulas for the cases $k+\ell\le 4$.
△ Less
Submitted 14 March, 2010; v1 submitted 9 March, 2010;
originally announced March 2010.
-
Humps for Dyck and for Motzkin paths
Authors:
A. Regev
Abstract:
We calculate the total number of humps in Dyck and in Motzkin paths, and we give Standard-Young-Tableaux-interpretations of the numbers involved. One then observes the intriguing phenomena that the humps-calculations change the partitions in a strip to partitions in a hook.
We calculate the total number of humps in Dyck and in Motzkin paths, and we give Standard-Young-Tableaux-interpretations of the numbers involved. One then observes the intriguing phenomena that the humps-calculations change the partitions in a strip to partitions in a hook.
△ Less
Submitted 24 February, 2010;
originally announced February 2010.
-
Bijections for an identity of Young Tableaux
Authors:
Amitai Regev,
Doron Zeilberger
Abstract:
We present an elegant bijection between standard Young tableaux with 2n cells and at most two rows, and pairs of standard Young tableaux of the same shape, with n+1 cells, where only the top row can have more than one cell.
We present an elegant bijection between standard Young tableaux with 2n cells and at most two rows, and pairs of standard Young tableaux of the same shape, with n+1 cells, where only the top row can have more than one cell.
△ Less
Submitted 22 February, 2010;
originally announced February 2010.
-
A Multi-Set Identity for Partitions
Authors:
Amitai Regev,
Doron Zeilberger
Abstract:
We prove that the multiset {(RightArmLength,LeftArmLength)} ranging over all cells of all Ferrers diagrams with n cells equals the multiset {(RightArmLength,LegLength)} ranging over all cells of all Ferrers diagrams with n cells, thereby refining a multi-set identity proved by C. Bessenrodt and by Bacher and L. Manivel.
Added In revised version: Guo-Niu Han kindly pointed out to us that our ma…
▽ More
We prove that the multiset {(RightArmLength,LeftArmLength)} ranging over all cells of all Ferrers diagrams with n cells equals the multiset {(RightArmLength,LegLength)} ranging over all cells of all Ferrers diagrams with n cells, thereby refining a multi-set identity proved by C. Bessenrodt and by Bacher and L. Manivel.
Added In revised version: Guo-Niu Han kindly pointed out to us that our main result is contained in reference [B.H] of the present article.
△ Less
Submitted 22 September, 2009; v1 submitted 18 September, 2009;
originally announced September 2009.
-
Filtered Algebraic Algebras
Authors:
Alon Regev
Abstract:
Small and Zelmanov posed the question whether every element of a graded algebra over an uncountable field must be nilpotent, provided that the homogeneous elements are nilpotent. This question has recently been answered in the negative by A. Smoktunowicz. In this paper we prove that the answer is affirmative for associated graded algebras of filtered algebraic algebras. Our result is based on Am…
▽ More
Small and Zelmanov posed the question whether every element of a graded algebra over an uncountable field must be nilpotent, provided that the homogeneous elements are nilpotent. This question has recently been answered in the negative by A. Smoktunowicz. In this paper we prove that the answer is affirmative for associated graded algebras of filtered algebraic algebras. Our result is based on Amitsur's theorems on algebas over infinite fields.
△ Less
Submitted 23 April, 2009;
originally announced April 2009.
-
The Golod Shafarevich counter-example without Hilbert series
Authors:
Alon Regev,
Amitai Regev
Abstract:
Let $F$ be an arbitrary field. The Golod-Shafarevich example of a finitely generated nil $F$-algebra which is infinite dimensional -- is revisited. Here we offer a rather elementary treatment of that example, in which induction replaces Hilbert series techniques. This note also contains a detailed exposition of the construction of that example.
Let $F$ be an arbitrary field. The Golod-Shafarevich example of a finitely generated nil $F$-algebra which is infinite dimensional -- is revisited. Here we offer a rather elementary treatment of that example, in which induction replaces Hilbert series techniques. This note also contains a detailed exposition of the construction of that example.
△ Less
Submitted 11 January, 2009;
originally announced January 2009.
-
Expected lengths and distribution functions for Young diagrams in the hook
Authors:
Amitai Regev
Abstract:
We consider $β$--Plancherel measures \cite{Ba.Ra.} on subsets of partitions -- and their asymptotics. These subsets are the Young diagrams contained in a $(k,\ell)$--hook, and we calculate the asymptotics of the expected shape of these diagrams, relative to such measures. We also calculate the asymptotics of the distribution function of the lengths of the rows and the columns for these diagrams.…
▽ More
We consider $β$--Plancherel measures \cite{Ba.Ra.} on subsets of partitions -- and their asymptotics. These subsets are the Young diagrams contained in a $(k,\ell)$--hook, and we calculate the asymptotics of the expected shape of these diagrams, relative to such measures. We also calculate the asymptotics of the distribution function of the lengths of the rows and the columns for these diagrams. This might be considered as the restriction to the $(k,\ell)$--hook of the fundamental work of Baik, Deift and Johansson \cite{B.D.J.1}. The above asymptotics are given here by ratios of certain Selberg-type multi--integrals.
△ Less
Submitted 23 June, 2005;
originally announced June 2005.
-
A Foata bijection for the alternating group and for q analogues
Authors:
Dan Bernstein,
Amitai Regev
Abstract:
The Foata bijection $Φ: S_n \to S_n$ is extended to the bijections $Ψ: A_{n+1} \to A_{n+1}$ and $Ψ_q : S_{n+q-1} \to S_{n+q-1}$, where S_m, A_m are the symmetric and the alternating groups. These bijections imply bijective proofs for recent equidistribution theorems, by Regev and Roichman, for A_{n+1} and for S_{n+q-1}.
The Foata bijection $Φ: S_n \to S_n$ is extended to the bijections $Ψ: A_{n+1} \to A_{n+1}$ and $Ψ_q : S_{n+q-1} \to S_{n+q-1}$, where S_m, A_m are the symmetric and the alternating groups. These bijections imply bijective proofs for recent equidistribution theorems, by Regev and Roichman, for A_{n+1} and for S_{n+q-1}.
△ Less
Submitted 6 March, 2005;
originally announced March 2005.
-
Statistics on Wreath Products and Generalized Binomial-Stirling Numbers
Authors:
Amitai Regev,
Yuval Roichman
Abstract:
Various statistics on wreath products are defined via canonical words, "colored" right to left minima and "colored" descents. It is shown that refined counts with respect to these statistics have nice recurrence formulas of binomial-Stirling type. These extended Stirling numbers determine (via matrix inversion) dual systems, which are also shown to have combinatorial realizations within the wrea…
▽ More
Various statistics on wreath products are defined via canonical words, "colored" right to left minima and "colored" descents. It is shown that refined counts with respect to these statistics have nice recurrence formulas of binomial-Stirling type. These extended Stirling numbers determine (via matrix inversion) dual systems, which are also shown to have combinatorial realizations within the wreath product. The above setting also gives rise to MacMahon type equi-distribution theorem over subsets with prescribed statistics.
△ Less
Submitted 20 April, 2004;
originally announced April 2004.
-
q Statistics on $S_n$ and Pattern Avoidance
Authors:
Amitai Regev,
Yuval Roichman
Abstract:
Natural q analogues of classical statistics on the symmetric groups $S_n$ are introduced; parameters like: the q-length, the q-inversion number, the q-descent number and the q-major index. MacMahon's theorem about the equi-distribution of the inversion number and the reverse major index is generalized to all positive integers q. It is also shown that the q-inversion number and the q-reverse majo…
▽ More
Natural q analogues of classical statistics on the symmetric groups $S_n$ are introduced; parameters like: the q-length, the q-inversion number, the q-descent number and the q-major index. MacMahon's theorem about the equi-distribution of the inversion number and the reverse major index is generalized to all positive integers q. It is also shown that the q-inversion number and the q-reverse major index are equi-distributed over subsets of permutations avoiding certain patterns. Natural q analogues of the Bell and the Stirling numbers are related to these q statistics -- through the counting of the above pattern-avoiding permutations.
△ Less
Submitted 28 May, 2003;
originally announced May 2003.
-
Permutation Statistics on the Alternating Group
Authors:
Amitai Regev,
Yuval Roichman
Abstract:
Let $A_n\subseteq S_n$ denote the alternating and the symmetric groups on $1,...,n$. MacMahaon's theorem, about the equi-distribution of the length and the major indices in $S_n$, has received far reaching refinements and generalizations, by Foata, Carlitz, Foata-Schutzenberger, Garsia-Gessel and followers. Our main goal is to find analogous statistics and identities for the alternating group…
▽ More
Let $A_n\subseteq S_n$ denote the alternating and the symmetric groups on $1,...,n$. MacMahaon's theorem, about the equi-distribution of the length and the major indices in $S_n$, has received far reaching refinements and generalizations, by Foata, Carlitz, Foata-Schutzenberger, Garsia-Gessel and followers. Our main goal is to find analogous statistics and identities for the alternating group $A_{n}$. A new statistic for $S_n$, {\it the delent number}, is introduced. This new statistic is involved with new $S_n$ equi-distribution identities, refining some of the results of Foata-Schutzenberger and Garsia-Gessel. By a certain covering map $f:A_{n+1}\to S_n$, such $S_n$ identities are `lifted' to $A_{n+1}$, yielding the corresponding $A_{n+1}$ equi-distribution identities.
△ Less
Submitted 25 February, 2003;
originally announced February 2003.
-
On a class of algebras defined by partitions
Authors:
A. Regev
Abstract:
A class of associative (super) algebras is presented, which naturally generalize both the symmetric algebra $Sym(V)$ and the wedge algebra $\wedge (V)$, where $V$ is a vector-space. These algebras are in a bijection with those subsets of the set of the partitions which are closed under inclusions of partitions. We study the rate of growth of these algebras, then characterize the case where these…
▽ More
A class of associative (super) algebras is presented, which naturally generalize both the symmetric algebra $Sym(V)$ and the wedge algebra $\wedge (V)$, where $V$ is a vector-space. These algebras are in a bijection with those subsets of the set of the partitions which are closed under inclusions of partitions. We study the rate of growth of these algebras, then characterize the case where these algebras satisfy polynomial identities.
△ Less
Submitted 14 October, 2002;
originally announced October 2002.
-
Frobenius-Schur functions
Authors:
Grigori Olshanski,
Amitai Regev,
Anatoly Vershik
Abstract:
The present paper is a detailed version of math/0003031. We introduce and study a new basis in the algebra of symmetric functions. The elements of this basis are called the Frobenius-Schur functions (FS-functions, for short).
Our main motivation for studying the FS-functions is the fact that they enter a formula expressing the combinatorial dimension of a skew Young diagram in terms of the Fro…
▽ More
The present paper is a detailed version of math/0003031. We introduce and study a new basis in the algebra of symmetric functions. The elements of this basis are called the Frobenius-Schur functions (FS-functions, for short).
Our main motivation for studying the FS-functions is the fact that they enter a formula expressing the combinatorial dimension of a skew Young diagram in terms of the Frobenius coordinates. This formula plays a key role in the asymptotic character theory of the symmetric groups. The FS-functions are inhomogeneous, and their top homogeneous components coincide with the conventional Schur functions. The FS-functions are best described in the super realization of the algebra of symmetric functions. As supersymmetric functions, the FS-functions can be characterized as a solution to an interpolation problem.
Our main result is a simple determinantal formula for the transition coefficients between the FS-functions and the Schur functions. We also establish the FS analogs for a number of basic facts concerning the Schur functions: Jacobi-Trudi formula together with its dual form; combinatorial formula (expression in terms of tableaux); Giambelli formula and the Sergeev-Pragacz formula.
All these results hold for a large family of bases interpolating between the FS-functions and the ordinary Schur functions.
△ Less
Submitted 7 October, 2001;
originally announced October 2001.
-
Random Young Tableaux and Combinatorial Identities
Authors:
Grigori Olshanski,
Amitai Regev
Abstract:
We derive new combinatorial identities which may be viewed as multivariate analogs of summation formulas for hypergeometric series. As in the previous paper [Re], we start with probability distributions on the space of the infinite Young tableaux. Then we calculate the probability that the entry of a random tableau at a given box equals n=1,2,.... Summing these probabilities over n and equating…
▽ More
We derive new combinatorial identities which may be viewed as multivariate analogs of summation formulas for hypergeometric series. As in the previous paper [Re], we start with probability distributions on the space of the infinite Young tableaux. Then we calculate the probability that the entry of a random tableau at a given box equals n=1,2,.... Summing these probabilities over n and equating the result to 1 we get a nontrivial identity. Our choice for the initial distributions is motivated by the recent work on harmonic analysis on the infinite symmetric group and related topics.
△ Less
Submitted 11 June, 2001;
originally announced June 2001.
-
Double Centralizing Theorems for the Alternating Groups
Authors:
Amitai Regev
Abstract:
Let $V^{\otimes n}$ be the $n$-fold tensor product of a vector space $V.$ Following I. Schur we consider the action of the symmetric group $S_n$ on $V^{\otimes n}$ by permuting coordinates. In the `super' ($\Bbb Z_2$ graded) case $V=V_0\oplus V_1,$ a $\pm$ sign is added [BR]. These actions give rise to the corresponding Schur algebras S$(S_n,V).$ Here S$(S_n,V)$ is compared with S$(A_n,V),$ the…
▽ More
Let $V^{\otimes n}$ be the $n$-fold tensor product of a vector space $V.$ Following I. Schur we consider the action of the symmetric group $S_n$ on $V^{\otimes n}$ by permuting coordinates. In the `super' ($\Bbb Z_2$ graded) case $V=V_0\oplus V_1,$ a $\pm$ sign is added [BR]. These actions give rise to the corresponding Schur algebras S$(S_n,V).$ Here S$(S_n,V)$ is compared with S$(A_n,V),$ the Schur algebra corresponding to the alternating subgroup $A_n\subset S_n .$ While in the `classical' (signless) case these two Schur algebras are the same for $n$ large enough, it is proved that in the `super' case where $\dim V_0=\dim V_1, $ S$(A_n,V)$ is isomorphic to the crossed-product algebra S$(A_n,V)\cong$ S$(S_n,V)\times\Bbb Z_2 .$
△ Less
Submitted 13 June, 2001; v1 submitted 11 June, 2001;
originally announced June 2001.
-
Shuffle Invariance of the Super-RSK Algorithm
Authors:
Amitai Regev,
Tamar Seeman
Abstract:
As in the $(k,l)$-RSK (Robinson-Schensted-Knuth) of [1], other super-RSK algorithms can be applied to sequences of variables from the set $\{t_1,...,t_k,u_1,...,u_l\}$, where $t_1<...<t_k$, and $u_1<...<u_l$. While the $(k,l)$-RSK of [1] is the case where $t_i<u_j$ for all $i$ and $j$, these other super-RSK's correspond to all the $(\big{(}{{k+l}\atop{k}}\big{)}$ shuffles of the $t$'s and $u$'s…
▽ More
As in the $(k,l)$-RSK (Robinson-Schensted-Knuth) of [1], other super-RSK algorithms can be applied to sequences of variables from the set $\{t_1,...,t_k,u_1,...,u_l\}$, where $t_1<...<t_k$, and $u_1<...<u_l$. While the $(k,l)$-RSK of [1] is the case where $t_i<u_j$ for all $i$ and $j$, these other super-RSK's correspond to all the $(\big{(}{{k+l}\atop{k}}\big{)}$ shuffles of the $t$'s and $u$'s satisfying the above restrictions that $t_1<...<t_k$ and $u_1<...<u_l$. We show that the shape of the tableaux produced by any such super-RSK is independent of the particular shuffle of the $t$'s and $u$'s.
△ Less
Submitted 29 March, 2001;
originally announced March 2001.
-
Frobenius-Schur functions: summary of results
Authors:
Grigori Olshanski,
Amitai Regev,
Anatoly Vershik
Abstract:
We introduce and study a family of inhomogeneous symmetric functions which we call the Frobenius-Schur functions. These functions are indexed by partitions and differ from the conventional Schur functions in lower terms only.
Our interest in these new functions comes from the fact that they provide an explicit expression for the dimension of a skew Young diagram in terms of the Frobenius coord…
▽ More
We introduce and study a family of inhomogeneous symmetric functions which we call the Frobenius-Schur functions. These functions are indexed by partitions and differ from the conventional Schur functions in lower terms only.
Our interest in these new functions comes from the fact that they provide an explicit expression for the dimension of a skew Young diagram in terms of the Frobenius coordinates. This is important for the asymptotic theory of the characters of the symmetric groups.
Our main result is a surprisingly simple determinantal expression of the Frobenius-Schur functions in terms of the conventional Schur functions. Other results include certain generating series, the Giambelli formula, vanishing properties and interpolation, a combinatorial formula (representation in terms of tableaux), and a Sergeev-Pragacz-type formula.
Actually, we deal with a wider class of inhomogeneous symmetric functions which we call multiparameter Schur functions. These functions depend on an arbitrary doubly infinite sequence of parameters and interpolate between the Frobenius--Schur functions and the conventional Schur functions.
This paper contains the statements of the results and the main formulas. Proofs will be given in an expanded version of the paper which will be posted in the arXiv.
△ Less
Submitted 5 March, 2000;
originally announced March 2000.