Showing 1–40 of 40 results for author: Hadani, R

Waveform for Next Generation Communication Systems: Comparing Zak-OTFS with OFDM

Authors: Imran Ali Khan, Saif Khan Mohammed, Ronny Hadani, Ananthanarayanan Chockalingam, Robert Calderbank, Anton Monk, Shachar Kons, Shlomo Rakib, Yoav Hebron

Abstract: Across the world, there is growing interest in new waveforms, Zak-OTFS in particular, and over-the-air implementations are starting to appear. The choice between OFDM and Zak-OTFS is not so much a choice between waveforms as it is an architectural choice between preventing inter-carrier interference (ICI) and embracing ICI. In OFDM, once the Input-Output (I/O) relation is known, equalization is re… ▽ More Across the world, there is growing interest in new waveforms, Zak-OTFS in particular, and over-the-air implementations are starting to appear. The choice between OFDM and Zak-OTFS is not so much a choice between waveforms as it is an architectural choice between preventing inter-carrier interference (ICI) and embracing ICI. In OFDM, once the Input-Output (I/O) relation is known, equalization is relatively simple, at least when there is no ICI. However, in the presence of ICI the I/O relation is non-predictable and its acquisition is non-trivial. In contrast, equalization is more involved in Zak-OTFS due to inter-symbol-interference (ISI), however the I/O relation is predictable and its acquisition is simple. {Zak-OTFS exhibits superior performance in doubly-spread 6G use cases with high delay/Doppler channel spreads (i.e., high mobility and/or large cells), but architectural choice is governed by the typical use case, today and in the future. What is typical depends to some degree on geography, since large delay spread is a characteristic of large cells which are the rule rather than the exception in many important wireless markets.} This paper provides a comprehensive performance comparison of cyclic prefix OFDM (CP-OFDM) and Zak-OTFS across the full range of 6G propagation environments. The performance results provide insights into the fundamental architectural choice. △ Less

Submitted 20 May, 2025; originally announced May 2025.

Comments: This work has been submitted to the IEEE for possible publication

Zak-OTFS for Identification of Linear Time-Varying Systems

Authors: Danish Nisar, Saif Khan Mohammed, Ronny Hadani, Ananthanarayanan Chockalingam, Robert Calderbank

Abstract: Linear time-varying (LTV) systems model radar scenes where each reflector/target applies a delay, Doppler shift and complex amplitude scaling to a transmitted waveform. The receiver processes the received signal using the transmitted signal as a reference. The self-ambiguity function of the transmitted signal captures the cross-correlation of delay and Doppler shifts of the transmitted waveform. I… ▽ More Linear time-varying (LTV) systems model radar scenes where each reflector/target applies a delay, Doppler shift and complex amplitude scaling to a transmitted waveform. The receiver processes the received signal using the transmitted signal as a reference. The self-ambiguity function of the transmitted signal captures the cross-correlation of delay and Doppler shifts of the transmitted waveform. It acts as a blur that limits resolution, at the receiver, of the delay and Doppler shifts of targets in close proximity. This paper considers resolution of multiple targets and compares performance of traditional chirp waveforms with the Zak-OTFS waveform. The self-ambiguity function of a chirp is a line in the delay-Doppler domain, whereas the self-ambiguity function of the Zak-OTFS waveform is a lattice. The advantage of lattices over lines is better localization, and we show lattices provide superior noise-free estimation of the range and velocity of multiple targets. When the delay spread of the radar scene is less than the delay period of the Zak-OTFS modulation, and the Doppler spread is less than the Doppler period, we describe how to localize targets by calculating cross-ambiguities in the delay-Doppler domain. We show that the signal processing complexity of our approach is superior to the traditional approach of computing cross-ambiguities in the continuous time / frequency domain. △ Less

Submitted 24 March, 2025; originally announced March 2025.

Zak-OTFS with Interleaved Pilots to Extend the Region of Predictable Operation

Authors: Jinu Jayachandran, Imran Ali Khan, Saif Khan Mohammed, Ronny Hadani, Ananthanarayanan Chockalingam, Robert Calderbank

Abstract: When the delay period of the Zak-OTFS carrier is greater than the delay spread of the channel, and the Doppler period of the carrier is greater than the Doppler spread of the channel, the effective channel filter taps can simply be read off from the response to a single pilot carrier waveform. The input-output (I/O) relation can then be reconstructed for a sampled system that operates under finite… ▽ More When the delay period of the Zak-OTFS carrier is greater than the delay spread of the channel, and the Doppler period of the carrier is greater than the Doppler spread of the channel, the effective channel filter taps can simply be read off from the response to a single pilot carrier waveform. The input-output (I/O) relation can then be reconstructed for a sampled system that operates under finite duration and bandwidth constraints. We introduce a framework for pilot design in the delay-Doppler (DD) domain which makes it possible to support users with very different delay-Doppler characteristics when it is not possible to choose a single delay and Doppler period to support all users. The method is to interleave single pilots in the DD domain, and to choose the pilot spacing so that the I/O relation can be reconstructed by solving a small linear system of equations. △ Less

Submitted 28 December, 2024; v1 submitted 18 August, 2024; originally announced August 2024.

Comments: This work has been submitted to the IEEE for possible publication

Zak-OTFS and Turbo Signal Processing for Joint Sensing and Communication

Authors: Jinu Jayachandran, Muhammad Ubadah, Saif Khan Mohammed, Ronny Hadani, Ananthanarayanan Chockalingam, Robert Calderbank

Abstract: The Zak-OTFS input/output (I/O) relation is predictable and non-fading when the delay and Doppler periods are greater than the effective channel delay and Doppler spreads, a condition which we refer to as the crystallization condition. The filter taps can simply be read off from the response to a single Zak-OTFS pilot pulsone, and the I/O relation can be reconstructed for a sampled system that ope… ▽ More The Zak-OTFS input/output (I/O) relation is predictable and non-fading when the delay and Doppler periods are greater than the effective channel delay and Doppler spreads, a condition which we refer to as the crystallization condition. The filter taps can simply be read off from the response to a single Zak-OTFS pilot pulsone, and the I/O relation can be reconstructed for a sampled system that operates under finite duration and bandwidth constraints. In previous work we had measured BER performance of a baseline system where we used separate Zak-OTFS subframes for sensing and data transmission. In this Letter we demonstrate how to use turbo signal processing to match BER performance of this baseline system when we integrate sensing and communication within the same Zak-OTFS subframe. The turbo decoder alternates between channel sensing using a noise-like waveform (spread pulsone) and recovery of data transmitted using point pulsones. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: This work has been submitted to the IEEE for possible publication. arXiv admin note: text overlap with arXiv:2404.04182

Zak-OTFS: Pulse Shaping and the Tradeoff between Time/Bandwidth Expansion and Predictability

Authors: Jinu Jayachandran, Rahul Kumar Jaiswal, Saif Khan Mohammed, Ronny Hadani, Ananthanarayanan Chockalingam, Robert Calderbank

Abstract: The Zak-OTFS input/output (I/O) relation is predictable and non-fading when the delay and Doppler periods are greater than the effective channel delay and Doppler spreads, a condition which we refer to as the crystallization condition. When the crystallization condition is satisfied, we describe how to integrate sensing and communication within a single Zak-OTFS subframe by transmitting a pilot in… ▽ More The Zak-OTFS input/output (I/O) relation is predictable and non-fading when the delay and Doppler periods are greater than the effective channel delay and Doppler spreads, a condition which we refer to as the crystallization condition. When the crystallization condition is satisfied, we describe how to integrate sensing and communication within a single Zak-OTFS subframe by transmitting a pilot in the center of the subframe and surrounding the pilot with a pilot region and guard band to mitigate interference between data symbols and pilot. At the receiver we first read off the effective channel taps within the pilot region, and then use the estimated channel taps to recover the data from the symbols received outside the pilot region. We introduce a framework for filter design in the delay-Doppler (DD) domain where the symplectic Fourier transform connects aliasing in the DD domain (predictability of the I/O relation) with time/bandwidth expansion. The choice of pulse shaping filter determines the fraction of pilot energy that lies outside the pilot region and the degradation in BER performance that results from the interference to data symbols. We demonstrate that Gaussian filters in the DD domain provide significant improvements in BER performance over the sinc and root raised cosine filters considered in previous work. We also demonstrate that, by limiting DD domain aliasing, Gaussian filters extend the region where the crystallization condition is satisfied. The Gaussian filters considered in this paper are a particular case of factorizable pulse shaping filters in the DD domain, and this family of filters may be of independent interest. △ Less

Submitted 4 May, 2024; originally announced May 2024.

Comments: This work has been submitted to the IEEE for possible publication

Zak-OTFS for Integration of Sensing and Communication

Authors: Muhammad Ubadah, Saif Khan Mohammed, Ronny Hadani, Shachar Kons, Ananthanarayanan Chockalingam, Robert Calderbank

Abstract: The Zak-OTFS input/output (I/O) relation is predictable and non-fading when the delay and Doppler periods are greater than the effective channel delay and Doppler spreads, a condition which we refer to as the crystallization condition. The filter taps can simply be read off from the response to a single Zak-OTFS point (impulse) pulsone waveform, and the I/O relation can be reconstructed for a samp… ▽ More The Zak-OTFS input/output (I/O) relation is predictable and non-fading when the delay and Doppler periods are greater than the effective channel delay and Doppler spreads, a condition which we refer to as the crystallization condition. The filter taps can simply be read off from the response to a single Zak-OTFS point (impulse) pulsone waveform, and the I/O relation can be reconstructed for a sampled system that operates under finite duration and bandwidth constraints. Predictability opens up the possibility of a model-free mode of operation. The time-domain realization of a Zak-OTFS point pulsone is a pulse train modulated by a tone, hence the name, pulsone. The Peak-to-Average Power Ratio (PAPR) of a pulsone is about $15$ dB, and we describe a general method for constructing a spread pulsone for which the time-domain realization has a PAPR of about 6dB. We construct the spread pulsone by applying a type of discrete spreading filter to a Zak-OTFS point pulsone. The self-ambiguity function of the point pulsone is supported on the period lattice $Λ_{p}$, and by applying a discrete chirp filter, we obtain a spread pulsone with a self-ambiguity function that is supported on a rotated lattice ${Λ^*}$. We show that if the channel satisfies the crystallization conditions with respect to ${Λ^*}$ then the effective DD domain filter taps can simply be read off from the cross-ambiguity between the channel response to the spread pulsone and the transmitted spread pulsone. If, in addition, the channel satisfies the crystallization conditions with respect to the period lattice $Λ_{p}$, then in an OTFS frame consisting of a spread pilot pulsone and point data pulsones, after cancelling the received signal corresponding to the spread pulsone, we can recover the channel response to any data pulsone. △ Less

Submitted 5 April, 2024; originally announced April 2024.

OTFS -- Predictability in the Delay-Doppler Domain and its Value to Communication and Radar Sensing

Authors: Saif Khan Mohammed, Ronny Hadani, Ananthanarayanan Chockalingam, Robert Calderbank

Abstract: In our first paper [2] we explained why the Zak-OTFS input-output (I/O) relation is predictable and non-fading when the delay and Doppler periods are greater than the effective channel delay and Doppler spreads, a condition which we refer to as the crystallization condition. We argued that a communication system should operate within the crystalline regime. It is well known that it is possible t… ▽ More In our first paper [2] we explained why the Zak-OTFS input-output (I/O) relation is predictable and non-fading when the delay and Doppler periods are greater than the effective channel delay and Doppler spreads, a condition which we refer to as the crystallization condition. We argued that a communication system should operate within the crystalline regime. It is well known that it is possible to identify a linear time varying (LTV) channel if and only if it is under-spread. The crystallization condition is more restrictive than the under-spread condition, so identification is always possible. In the crystalline regime, we show that Zak-OTFS pilot sequences minimize the complexity of identifying the effective DD domain channel filter. We demonstrate that the filter taps can simply be read off from the response to a single Zak-OTFS pilot. In general, we provide an explicit formula for reconstructing the Zak-OTFS I/O relation from a finite number of received pilot symbols in the delay-Doppler (DD) domain. This reconstruction formula makes it possible to study predictability of the Zak-OTFS I/O relation for a sampled system that operates under finite duration and bandwidth constraints. We analyze reconstruction accuracy for different choices of the delay and Doppler periods, and of the pulse shaping filter. Reconstruction accuracy is high when the crystallization condition is satisfied, implying that it is possible to learn directly the I/O relation without needing to estimate the underlying channel. This opens up the possibility of a model-free mode of operation, which is especially useful when a traditional model-dependent mode of operation (reliant on estimation of the underlying physical channel) is out of reach (for example, when the channel comprises of unresolvable paths, or exhibits a continuous delay-Doppler profile such as in presence of acceleration). Our study clarifies the △ Less

Submitted 2 October, 2023; v1 submitted 17 February, 2023; originally announced February 2023.

Comments: This article has been accepted for publication in IEEE BITS the Information Theory Magazine

OTFS -- A Mathematical Foundation for Communication and Radar Sensing in the Delay-Doppler Domain

Authors: Saif Khan Mohammed, Ronny Hadani, Ananthanarayanan Chockalingam, Robert Calderbank

Abstract: Orthogonal time frequency space (OTFS) is a framework for communication and active sensing that processes signals in the delay-Doppler (DD) domain. This paper explores three key features of the OTFS framework, and explains their value to applications. The first feature is a compact and sparse DD domain parameterization of the wireless channel, where the parameters map directly to physical attribut… ▽ More Orthogonal time frequency space (OTFS) is a framework for communication and active sensing that processes signals in the delay-Doppler (DD) domain. This paper explores three key features of the OTFS framework, and explains their value to applications. The first feature is a compact and sparse DD domain parameterization of the wireless channel, where the parameters map directly to physical attributes of the reflectors that comprise the scattering environment, and as a consequence these parameters evolve predictably. The second feature is a novel waveform / modulation technique, matched to the DD channel model, that embeds information symbols in the DD domain. The relation between channel inputs and outputs is localized, non-fading and predictable, even in the presence of significant delay and Doppler spread, and as a consequence the channel can be efficiently acquired and equalized. By avoiding fading, the post equalization SNR remains constant across all information symbols in a packet, so that bit error performance is superior to contemporary multi-carrier waveforms. Further, the OTFS carrier waveform is a localized pulse in the DD domain, making it possible to separate reflectors along both delay and Doppler simultaneously, and to achieve a high-resolution delay-Doppler radar image of the environment. In other words, the DD parameterization provides a common mathematical framework for communication and radar. This is the third feature of the OTFS framework, and it is ideally suited to intelligent transportation systems involving self-driving cars and unmanned ground/aerial vehicles which are self/network controlled. The OTFS waveform is able to support stable and superior performance over a wide range of user speeds. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Comments: Accepted for publication in IEEE BITS the Information Theory Magazine

Orthogonal Time-Frequency Space Modulation: A Promising Next-Generation Waveform

Authors: Zhiqiang Wei, Weijie Yuan, Shuangyang Li, Jinhong Yuan, Ganesh Bharatula, Ronny Hadani, Lajos Hanzo

Abstract: The sixth-generation (6G) wireless networks are envisioned to provide a global coverage for the intelligent digital society of the near future, ranging from traditional terrestrial to non-terrestrial networks, where reliable communications in high-mobility scenarios at high carrier frequencies would play a vital role. In such scenarios, the conventional orthogonal frequency division multiplexing (… ▽ More The sixth-generation (6G) wireless networks are envisioned to provide a global coverage for the intelligent digital society of the near future, ranging from traditional terrestrial to non-terrestrial networks, where reliable communications in high-mobility scenarios at high carrier frequencies would play a vital role. In such scenarios, the conventional orthogonal frequency division multiplexing (OFDM) modulation, that has been widely used in both the fourth-generation (4G) and the emerging fifth-generation (5G) cellular systems as well as in WiFi networks, is vulnerable to severe Doppler spread. In this context, this article aims to introduce a recently proposed two-dimensional modulation scheme referred to as orthogonal time-frequency space (OTFS) modulation, which conveniently accommodates the channel dynamics via modulating information in the delay-Doppler domain. This article provides an easy-reading overview of OTFS, highlighting its underlying motivation and specific features. The critical challenges of OTFS and our preliminary results are presented. We also discuss a range of promising research opportunities and potential applications of OTFS in 6G wireless networks. △ Less

Submitted 2 February, 2021; v1 submitted 7 October, 2020; originally announced October 2020.

Comments: 9 pages, 6 figures, submitted to the possible magazine

Orthogonal Time Frequency Space Modulation

Authors: Ronny Hadani, Shlomo Rakib, Shachar Kons, Michael Tsatsanis, Anton Monk, Christian Ibars, Jim Delfeld, Yoav Hebron, Andrea J. Goldsmith, Andreas F. Molisch, Robert Calderbank

Abstract: This paper introduces a new two-dimensional modulation technique called Orthogonal Time Frequency Space (OTFS) modulation. OTFS has the novel and important feature of being designed in the delay-Doppler domain. When coupled with a suitable equalizer, OTFS modulation is able to exploit the full channel diversity over both time and frequency. Moreover, it converts the fading, time-varying wireless c… ▽ More This paper introduces a new two-dimensional modulation technique called Orthogonal Time Frequency Space (OTFS) modulation. OTFS has the novel and important feature of being designed in the delay-Doppler domain. When coupled with a suitable equalizer, OTFS modulation is able to exploit the full channel diversity over both time and frequency. Moreover, it converts the fading, time-varying wireless channel experienced by modulated signals such as OFDM into a time-independent channel with a complex channel gain that is essentially constant for all symbols. This design obviates the need for transmitter adaptation, and greatly simplifies system operation. The paper describes the basic operating principles of OTFS as well as a possible implementation as an overlay to current or anticipated standardized systems. OTFS is shown to provide significant performance improvement in systems with high Doppler, short packets, and/or large antenna array. In particular, simulation results indicate at least several dB of block error rate performance improvement for OTFS over OFDM in all of these settings. △ Less

Submitted 1 August, 2018; originally announced August 2018.

Comments: 13 pages, 9 figures

OTFS: A New Generation of Modulation Addressing the Challenges of 5G

Authors: Ronny Hadani, Anton Monk

Abstract: In this paper, we introduce a new 2D modulation scheme referred to as OTFS (Orthogonal Time Frequency & Space) that multiplexes information QAM symbols over new class of carrier waveforms that correspond to localized pulses in a signal representation called the delay-Doppler representation. OTFS constitutes a far reaching generalization of conventional time and frequency modulations such as TDM an… ▽ More In this paper, we introduce a new 2D modulation scheme referred to as OTFS (Orthogonal Time Frequency & Space) that multiplexes information QAM symbols over new class of carrier waveforms that correspond to localized pulses in a signal representation called the delay-Doppler representation. OTFS constitutes a far reaching generalization of conventional time and frequency modulations such as TDM and FDM and, from a broader perspective, it establishes a conceptual link between Radar and communication. The OTFS waveforms couple with the wireless channel in a way that directly captures the underlying physics, yielding a high-resolution delay-Doppler Radar image of the constituent reflectors. As a result, the time-frequency selective channel is converted into an invariant, separable and orthogonal interaction, where all received QAM symbols experience the same localized impairment and all the delay-Doppler diversity branches are coherently combined. The high resolution delay-Doppler separation of the reflectors enables OTFS to approach channel capacity with optimal performance-complexity tradeoff through linear scaling of spectral efficiency with the MIMO order and robustness to Doppler and multipath channel conditions. OTFS is an enabler for realizing the full promise of MUMIMO gains even in challenging 5G deployment settings where adaptation is unrealistic. △ Less

Submitted 7 February, 2018; originally announced February 2018.

Comments: August 2017, OTFS, Symplectic Transform, Zak Transform, Delay-Doppler modulation, Orthogonal Time Frequency Space, MU-MIMO, Tomlinson-Harashima Precoding

OTFS - Orthogonal Time Frequency Space

Authors: Anton Monk, Ronny Hadani, Michail Tsatsanis, Shlomo Rakib

Abstract: In this paper we introduce a new 2D modulation technique called OTFS (Orthogonal Time Frequency & Space) that transforms information carried in the Delay-Doppler coordinate system to the familiar time-frequency domain utilized by traditional modulation schemes such as OFDM, CDMA and TDMA. OTFS converts the fading, time-varying wireless channel into a non-fading, time-independent interaction reveal… ▽ More In this paper we introduce a new 2D modulation technique called OTFS (Orthogonal Time Frequency & Space) that transforms information carried in the Delay-Doppler coordinate system to the familiar time-frequency domain utilized by traditional modulation schemes such as OFDM, CDMA and TDMA. OTFS converts the fading, time-varying wireless channel into a non-fading, time-independent interaction revealing the underlying geometry of the wireless channel. In this new formulation, all QAM symbols experience the same channel and all Delay-Doppler diversity branches of the channel are coherently combined. Reference signal multiplexing is done in the time-independent Delay-Doppler domain, achieving high density pilot packing, which is a crucial requirement for Massive MIMO. Regardless of the Doppler scenario, OTFS enables approaching channel capacity through linear scaling of throughput with MIMO order, thus realizing the full promise of Massive MIMO throughput gains even in challenging 5G deployment settings. △ Less

Submitted 9 August, 2016; originally announced August 2016.

Delay-Doppler Channel Estimation with Almost Linear Complexity

Authors: Alexander Fish, Shamgar Gurevich, Ronny Hadani, Akbar Sayeed, Oded Schwartz

Abstract: A fundamental task in wireless communication is Channel Estimation: Compute the channel parameters a signal undergoes while traveling from a transmitter to a receiver. In the case of delay-Doppler channel, a widely used method is the Matched Filter algorithm. It uses a pseudo-random sequence of length N, and, in case of non-trivial relative velocity between transmitter and receiver, its computatio… ▽ More A fundamental task in wireless communication is Channel Estimation: Compute the channel parameters a signal undergoes while traveling from a transmitter to a receiver. In the case of delay-Doppler channel, a widely used method is the Matched Filter algorithm. It uses a pseudo-random sequence of length N, and, in case of non-trivial relative velocity between transmitter and receiver, its computational complexity is O(N^{2}log(N)). In this paper we introduce a novel approach of designing sequences that allow faster channel estimation. Using group representation techniques we construct sequences, which enable us to introduce a new algorithm, called the flag method, that significantly improves the matched filter algorithm. The flag method finds the channel parameters in O(mNlog(N)) operations, for channel of sparsity m. We discuss applications of the flag method to GPS, radar system, and mobile communication as well. △ Less

Submitted 23 August, 2012; v1 submitted 21 August, 2012; originally announced August 2012.

Comments: 11 pages

Computing the Matched Filter in Linear Time

Authors: Alexander Fish, Shamgar Gurevich, Ronny Hadani, Akbar Sayeed, Oded Schwartz

Abstract: A fundamental problem in wireless communication is the time-frequency shift (TFS) problem: Find the time-frequency shift of a signal in a noisy environment. The shift is the result of time asynchronization of a sender with a receiver, and of non-zero speed of a sender with respect to a receiver. A classical solution of a discrete analog of the TFS problem is called the matched filter algorithm. It… ▽ More A fundamental problem in wireless communication is the time-frequency shift (TFS) problem: Find the time-frequency shift of a signal in a noisy environment. The shift is the result of time asynchronization of a sender with a receiver, and of non-zero speed of a sender with respect to a receiver. A classical solution of a discrete analog of the TFS problem is called the matched filter algorithm. It uses a pseudo-random waveform S(t) of the length p, and its arithmetic complexity is O(p^{2} \cdot log (p)), using fast Fourier transform. In these notes we introduce a novel approach of designing new waveforms that allow faster matched filter algorithm. We use techniques from group representation theory to design waveforms S(t), which enable us to introduce two fast matched filter (FMF) algorithms, called the flag algorithm, and the cross algorithm. These methods solve the TFS problem in O(p\cdot log (p)) operations. We discuss applications of the algorithms to mobile communication, GPS, and radar. △ Less

Submitted 20 December, 2011; originally announced December 2011.

Comments: 6 pages

The categorical Weil representation

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In a previous work the authors gave a conceptual explanation for the linearity of the Weil representation over a finite field k of odd characteristic: There exists a canonical system of intertwining operators between the Lagrangian models of the Heisenberg representation. This defines a canonical vector space H(V) associated with a symplectic vector space V over k. In this paper we prove a general… ▽ More In a previous work the authors gave a conceptual explanation for the linearity of the Weil representation over a finite field k of odd characteristic: There exists a canonical system of intertwining operators between the Lagrangian models of the Heisenberg representation. This defines a canonical vector space H(V) associated with a symplectic vector space V over k. In this paper we prove a general theorem about idempotents in categories, and we use it to solve the sign problem, formulated by Bernstein and Deligne, on the compatibility between the associativity constraint and the convolution structure of the l-adic sheaf of canonical intertwining kernels. This sheaf governs---via the sheaf-to-function correspondence---the function theoretic system of intertwiners. As an application we define a canonical category C(V) associated with the symplectic vector space variety V, and we obtain the canonical model of the categorical Weil representation. △ Less

Submitted 1 August, 2011; originally announced August 2011.

Comments: Submitted

Representation theoretic patterns in three dimensional cryo-electron microscopy II - The class averaging problem

Authors: Ronny Hadani, Amit Singer

Abstract: In this paper we study the formal algebraic structure underlying the intrinsic classification algorithm, recently introduced by Hadani, Shkolnisky, Singer and Zhao, for classifying noisy projection images of similar viewing directions in three-dimensional cryo-electron microscopy (cryo-EM). This preliminary classification is of fundamental importance in determining the three-dimensional structure… ▽ More In this paper we study the formal algebraic structure underlying the intrinsic classification algorithm, recently introduced by Hadani, Shkolnisky, Singer and Zhao, for classifying noisy projection images of similar viewing directions in three-dimensional cryo-electron microscopy (cryo-EM). This preliminary classification is of fundamental importance in determining the three-dimensional structure of macromolecules from cryo-EM images. Inspecting this algebraic structure we obtain a conceptual explanation for the admissibility (correctness) of the algorithm and a proof of its numerical stability, thus putting it on firm mathematical grounds. The proof relies on studying the spectral properties of an integral operator of geometric origin on the two dimensional sphere, called the localized parallel transport operator. Along the way, we develop further the representation theoretic set-up for three-dimensional cryo-EM. △ Less

Submitted 6 April, 2011; originally announced April 2011.

Comments: 24 pages, 4 figures

MSC Class: 20G05

Representation theoretic patterns in three dimensional Cryo-Electron Microscopy I - The intrinsic reconstitution algorithm

Authors: Ronny Hadani, Amit Singer

Abstract: In this paper, we describe and study a mathematical framework for cryo-elecron microscopy. The main result, is a a proof of the admissability (correctness) and the numerical stability of the intrinsic reconstitution algorithm which was introduced by Singer and Shkolnisky in [7]. In addition, we explain how the various numerical observations reported in that work, follow from basic representation… ▽ More In this paper, we describe and study a mathematical framework for cryo-elecron microscopy. The main result, is a a proof of the admissability (correctness) and the numerical stability of the intrinsic reconstitution algorithm which was introduced by Singer and Shkolnisky in [7]. In addition, we explain how the various numerical observations reported in that work, follow from basic representation theoretic principles. △ Less

Submitted 15 October, 2009; originally announced October 2009.

Comments: 18 pages

MSC Class: 20G05

Statistical RIP and Semi-Circle Distribution of Incoherent Dictionaries

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this paper we formulate and prove a statistical version of the Candes-Tao restricted isometry property (SRIP for short) which holds in general for any incoherent dictionary which is a disjoint union of orthonormal bases. In addition, we prove that, under appropriate normalization, the eigenvalues of the associated Gram matrix fluctuate around 1 according to the Wigner semicircle distribution.… ▽ More In this paper we formulate and prove a statistical version of the Candes-Tao restricted isometry property (SRIP for short) which holds in general for any incoherent dictionary which is a disjoint union of orthonormal bases. In addition, we prove that, under appropriate normalization, the eigenvalues of the associated Gram matrix fluctuate around 1 according to the Wigner semicircle distribution. The result is then applied to various dictionaries that arise naturally in the setting of finite harmonic analysis, giving, in particular, a better understanding on a remark of Applebaum-Howard-Searle-Calderbank concerning RIP for the Heisenberg dictionary of chirp like functions. △ Less

Submitted 20 March, 2009; originally announced March 2009.

Comments: This version Includes all the proofs. Submitted for publication (2009)

Application of the Weil representation: diagonalization of the discrete Fourier transform

Authors: SHamgar Gurevich, Ronny Hadani

Abstract: We survey a new application of the Weil representation to construct a canonical basis of eigenvectors for the discrete Fourier transform (DFT). The transition matrix from the standard basis to the canonical basis defines a novel transform which we call the discrete oscillator transform (DOT for short). In addition, we describe a fast algorithm for computing the DOT in certain cases. We survey a new application of the Weil representation to construct a canonical basis of eigenvectors for the discrete Fourier transform (DFT). The transition matrix from the standard basis to the canonical basis defines a novel transform which we call the discrete oscillator transform (DOT for short). In addition, we describe a fast algorithm for computing the DOT in certain cases. △ Less

Submitted 4 February, 2009; originally announced February 2009.

Comments: To appear in the Proceedings of the Sixth Workshop on Lie Theory and Geometry, Cordoba, November 13 - 17, 2007 (Editors: C. S. Gordon, F. Grunewald, C. Olmos, J. A. Tirao, J. A. Wolf). Key word: Discrete Fourier transform; Weil representation; Canonical eigenvectors; Oscillator transform; Fast oscillator transform

Group representation design of digital signals and sequences

Authors: Shamgar Gurevich, Ronny Hadani, Nir Sochen

Abstract: In this survey a novel system, called the oscillator system, consisting of order of p^3 functions (signals) on the finite field F_{p}, is described and studied. The new functions are proved to satisfy good auto-correlation, cross-correlation and low peak-to-average power ratio properties. Moreover, the oscillator system is closed under the operation of discrete Fourier transform. Applications of… ▽ More In this survey a novel system, called the oscillator system, consisting of order of p^3 functions (signals) on the finite field F_{p}, is described and studied. The new functions are proved to satisfy good auto-correlation, cross-correlation and low peak-to-average power ratio properties. Moreover, the oscillator system is closed under the operation of discrete Fourier transform. Applications of the oscillator system for discrete radar and digital communication theory are explained. Finally, an explicit algorithm to construct the oscillator system is presented. △ Less

Submitted 30 December, 2008; originally announced December 2008.

Comments: Appeared in the proceedings of the international conference on Sequences and Their Applications (SETA) 2008. Key words: Weil representation, commutative subgroups, eigenfunctions, good correlations, low supremum, Fourier invariance, explicit algorithm

The statistical restricted isometry property and the Wigner semicircle distribution of incoherent dictionaries

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this article we present a statistical version of the Candes-Tao restricted isometry property (SRIP for short) which holds in general for any incoherent dictionary which is a disjoint union of orthonormal bases. In addition, we show that, under appropriate normalization, the eigenvalues of the associated Gram matrix fluctuate around 1 according to the Wigner semicircle distribution. The result… ▽ More In this article we present a statistical version of the Candes-Tao restricted isometry property (SRIP for short) which holds in general for any incoherent dictionary which is a disjoint union of orthonormal bases. In addition, we show that, under appropriate normalization, the eigenvalues of the associated Gram matrix fluctuate around 1 according to the Wigner semicircle distribution. The result is then applied to various dictionaries that arise naturally in the setting of finite harmonic analysis, giving, in particular, a better understanding on a remark of Applebaum-Howard-Searle-Calderbank concerning RIP for the Heisenberg dictionary of chirp like functions. △ Less

Submitted 14 December, 2008; originally announced December 2008.

Comments: Submitted for The 2009 IEEE International Symposium on Information Theory; Key words: Compressive sensing, Stastical version of Candes-Tao RIP, Incoherent Dictionaries, Semicircle distribution

Incoherent dictionaries and the statistical restricted isometry property

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this article we present a statistical version of the Candes-Tao restricted isometry property (SRIP for short) which holds in general for any incoherent dictionary which is a disjoint union of orthonormal bases. In addition, under appropriate normalization, the eigenvalues of the associated Gram matrix fluctuate around 1 according to the Wigner semicircle distribution. The result is then appli… ▽ More In this article we present a statistical version of the Candes-Tao restricted isometry property (SRIP for short) which holds in general for any incoherent dictionary which is a disjoint union of orthonormal bases. In addition, under appropriate normalization, the eigenvalues of the associated Gram matrix fluctuate around 1 according to the Wigner semicircle distribution. The result is then applied to various dictionaries that arise naturally in the setting of finite harmonic analysis, giving, in particular, a better understanding on a remark of Applebaum-Howard-Searle-Calderbank concerning RIP for the Heisenberg dictionary of chirp like functions. △ Less

Submitted 13 March, 2009; v1 submitted 9 September, 2008; originally announced September 2008.

Comments: Key words: Incoherent dictionaries, statistical version of Candes - Tao RIP, Semi-Circle law, deterministic constructions, Heisenberg-Weil representation

On the diagonalization of the discrete Fourier transform

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: The discrete Fourier transform (DFT) is an important operator which acts on the Hilbert space of complex valued functions on the ring Z/NZ. In the case where N=p is an odd prime number, we exhibit a canonical basis of eigenvectors for the DFT. The transition matrix from the standard basis to the canonical basis defines a novel transform which we call the discrete oscillator transform (DOT for sh… ▽ More The discrete Fourier transform (DFT) is an important operator which acts on the Hilbert space of complex valued functions on the ring Z/NZ. In the case where N=p is an odd prime number, we exhibit a canonical basis of eigenvectors for the DFT. The transition matrix from the standard basis to the canonical basis defines a novel transform which we call the discrete oscillator transform (DOT for short). Finally, we describe a fast algorithm for computing the discrete oscillator transform in certain cases. △ Less

Submitted 27 December, 2008; v1 submitted 24 August, 2008; originally announced August 2008.

Comments: Accepted for publication in the journal "Applied and Computational Harmonic Analysis": Appl. Comput. Harmon. Anal. (2009), doi:10.1016/j.acha.2008.11.003. Key words: Discrete Fourier Transform, Weil Representation, Canonical Eigenvectors, Oscillator Transform, Fast Oscillator Transform

The discrete Fourier transform: A canonical basis of eigenfunctions

Authors: Shamgar Gurevich, Ronny Hadani, Nir Sochen

Abstract: The discrete Fourier transform (DFT) is an important operator which acts on the Hilbert space of complex valued functions on the ring Z/NZ. In the case where N=p is an odd prime number, we exhibit a canonical basis of eigenvectors for the DFT. The transition matrix from the standard basis to the canonical basis defines a novel transform which we call the "discrete oscillator transform" (DOT for… ▽ More The discrete Fourier transform (DFT) is an important operator which acts on the Hilbert space of complex valued functions on the ring Z/NZ. In the case where N=p is an odd prime number, we exhibit a canonical basis of eigenvectors for the DFT. The transition matrix from the standard basis to the canonical basis defines a novel transform which we call the "discrete oscillator transform" (DOT for short). Finally, we describe a fast algorithm for computing the DOT in certain cases. △ Less

Submitted 23 August, 2008; originally announced August 2008.

Comments: To appear in the proceeding of the 2008 European Signal Processing Conference (EUSIPCO-2008), Lausanne, Switzerland; MSC classifications: Fourier transform, Weil representation, symmetries, eigenfunctions, oscillator transform, fast oscillator transform

Quadratic reciprocity and the sign of the Gauss sum via the finite Weil representation

Authors: Shamgar Gurevich, Ronny Hadani, Roger Howe

Abstract: We give new proofs of two basic results in number theory: The law of quadratic reciprocity and the sign of the Gauss sum. We show that these results are encoded in the relation between the discrete Fourier transform and the action of the Weyl element in the Weil representation modulo p,q and pq. We give new proofs of two basic results in number theory: The law of quadratic reciprocity and the sign of the Gauss sum. We show that these results are encoded in the relation between the discrete Fourier transform and the action of the Weyl element in the Weil representation modulo p,q and pq. △ Less

Submitted 28 December, 2008; v1 submitted 18 August, 2008; originally announced August 2008.

Comments: This paper was submited for publication February 1, 2008. Key words: Quadratic reciprocity, Sign of Gauss sum, Discrete Fourier transform, Finite Weil representations, Character of the Weil representation

The Weil Representation in Characteristic Two

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this paper we construct a new variant of the Weil representation, associated with a symplectic vector space V defined over a finite field of characteristic two. Our variant is a representation of a bigger group than that of Weil. In the course, we develop the formalism of canonical vector spaces, which enables us to realize the bigger symmetry group and the representation in a transparent man… ▽ More In this paper we construct a new variant of the Weil representation, associated with a symplectic vector space V defined over a finite field of characteristic two. Our variant is a representation of a bigger group than that of Weil. In the course, we develop the formalism of canonical vector spaces, which enables us to realize the bigger symmetry group and the representation in a transparent manner. △ Less

Submitted 12 August, 2008; originally announced August 2008.

Comments: This paper was submitted for publication May 1, 2008

MSC Class: Weil representation; chracteristic two; bigger group; canonical model.

The finite harmonic oscillator and its applications to sequences, communication and radar

Authors: Shamgar Gurevich, Ronny Hadani, Nir Sochen

Abstract: A novel system, called the oscillator system, consisting of order of p^3 functions (signals) on the finite field F_p; with p an odd prime, is described and studied. The new functions are proved to satisfy good auto-correlation, cross-correlation and low peak-to-average power ratio properties. Moreover, the oscillator system is closed under the operation of discrete Fourier transform. Application… ▽ More A novel system, called the oscillator system, consisting of order of p^3 functions (signals) on the finite field F_p; with p an odd prime, is described and studied. The new functions are proved to satisfy good auto-correlation, cross-correlation and low peak-to-average power ratio properties. Moreover, the oscillator system is closed under the operation of discrete Fourier transform. Applications of the oscillator system for discrete radar and digital communication theory are explained. Finally, an explicit algorithm to construct the oscillator system is presented. △ Less

Submitted 30 December, 2008; v1 submitted 11 August, 2008; originally announced August 2008.

Comments: Accepted for publication in IEEE Transactions on Information Theory (Communicated by Guang Gong, Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ontario, CANADA)

Journal ref: IEEE Transactions on Information Theory, vol. 54, no. 9, September 2008

The finite harmonic oscillator and its associated sequences

Authors: Shamgar Gurevich, Ronny Hadani, Nir Sochen

Abstract: A system of functions (signals) on the finite line, called the oscillator system, is described and studied. Applications of this system for discrete radar and digital communication theory are explained. Keywords: Weil representation, commutative subgroups, eigenfunctions, random behavior, deterministic construction A system of functions (signals) on the finite line, called the oscillator system, is described and studied. Applications of this system for discrete radar and digital communication theory are explained. Keywords: Weil representation, commutative subgroups, eigenfunctions, random behavior, deterministic construction △ Less

Submitted 30 December, 2008; v1 submitted 10 August, 2008; originally announced August 2008.

Comments: Published in the Proceedings of the National Academy of Sciences of the United States of America (Communicated by Joseph Bernstein, Tel Aviv University, Tel Aviv, Israel)

Journal ref: PNAS, July 22, 2008 vol. 105 no. 29 9869-9873 http://www.pnas.org/content/105/29/9869.abstract

On some deterministic dictionaries supporting sparsity

Authors: Shamgar Gurevich, Ronny Hadani, Nir Sochen

Abstract: We describe a new construction of an incoherent dictionary, referred to as the oscillator dictionary, which is based on considerations in the representation theory of finite groups. The oscillator dictionary consists of order of p^5 unit vectors in a Hilbert space of dimension p, where p is an odd prime, whose pairwise inner products have magnitude of at most 4/sqrt(p). An explicit algorithm to… ▽ More We describe a new construction of an incoherent dictionary, referred to as the oscillator dictionary, which is based on considerations in the representation theory of finite groups. The oscillator dictionary consists of order of p^5 unit vectors in a Hilbert space of dimension p, where p is an odd prime, whose pairwise inner products have magnitude of at most 4/sqrt(p). An explicit algorithm to construct a large portion of the oscillator dictionary is presented. △ Less

Submitted 27 December, 2008; v1 submitted 9 August, 2008; originally announced August 2008.

Comments: Accepted for publication in the special issue on sparsity (Editors: Albert Cohen, Ronald DeVore, Michael Elad, Anna Gilbert) of the Journal of Fourier Analysis and Applications (2008). Key words: Sparsity, deterministic dictionaries, low coherence, Weil representation, commutative subgroups, eigenfunctions, explicit algorithm

Journal ref: Special issue on sparsity, the Journal of Fourier Analysis and Applications, Vol. 14, 859-876, Dec. 2008

Notes on the Self-Reducibility of the Weil Representation and Higher-Dimensional Quantum Chaos

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In these notes we discuss the "self-reducibility property" of the Weil representation. We explain how to use this property to obtain sharp estimates of certain higher-dimensional exponential sums which originate from the theory of quantum chaos. As a result, we obtain the Hecke quantum unique ergodicity theorem for generic linear symplectomorphism $A$ of the torus $T^{2N}=R^{2N}/Z^{2N}. In these notes we discuss the "self-reducibility property" of the Weil representation. We explain how to use this property to obtain sharp estimates of certain higher-dimensional exponential sums which originate from the theory of quantum chaos. As a result, we obtain the Hecke quantum unique ergodicity theorem for generic linear symplectomorphism $A$ of the torus $T^{2N}=R^{2N}/Z^{2N}. △ Less

Submitted 24 April, 2009; v1 submitted 6 August, 2007; originally announced August 2007.

Comments: Notes from the lectures delivered at AGAQ conference (Istanbul, June 2006)

Notes on quantization of symplectic vector spaces over finite fields

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In these notes we construct a quantization functor, associating an Hilbert space H(V) to a finite dimensional symplectic vector space V over a finite field F_q. As a result, we obtain a canonical model for the Weil representation of the symplectic group Sp(V). The main technical result is a proof of a stronger form of the Stone-von Neumann theorem for the Heisenberg group over F_q. Our result an… ▽ More In these notes we construct a quantization functor, associating an Hilbert space H(V) to a finite dimensional symplectic vector space V over a finite field F_q. As a result, we obtain a canonical model for the Weil representation of the symplectic group Sp(V). The main technical result is a proof of a stronger form of the Stone-von Neumann theorem for the Heisenberg group over F_q. Our result answers, for the case of the Heisenberg group, a question of Kazhdan about the possible existence of a canonical Hilbert space attached to a coadjoint orbit of a general unipotent group over F_q. △ Less

Submitted 20 April, 2009; v1 submitted 5 August, 2007; originally announced August 2007.

Comments: Notes from the lecture at the AGAQ conference (Istanbul, June 2006) on our solution to Kazhdan's problem on canonical quantization

Quantization of symplectic vector spaces over finite fields

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this paper, we construct a quantization functor, associating a complex vector space H(V) to a finite dimensional symplectic vector space V over a finite field of odd characteristic. As a result, we obtain a canonical model for the Weil representation of the symplectic group Sp(V). The main new technical result is a proof of a stronger form of the Stone-von Neumann property for the Heisenberg… ▽ More In this paper, we construct a quantization functor, associating a complex vector space H(V) to a finite dimensional symplectic vector space V over a finite field of odd characteristic. As a result, we obtain a canonical model for the Weil representation of the symplectic group Sp(V). The main new technical result is a proof of a stronger form of the Stone-von Neumann property for the Heisenberg group. Our result answers, for the case of the Heisenberg group, a question of Kazhdan about the possible existence of a canonical vector space attached to a coadjoint orbit of a general unipotent group over finite field. △ Less

Submitted 20 August, 2009; v1 submitted 31 May, 2007; originally announced May 2007.

Comments: Results obtained: March 2005 (under the direction of Ph.D. advisor Joseph Bernstein, Tel-Aviv, Israel) Keywords: Strong Stone-von Neumann theorem, canonocal Hilbert space, quantization functor, Weil representation

Journal ref: Journal of Symplectic Geometry, Volume 7, Number 4, 1-28, 2009

Bounds on certain Higher-Dimensional Exponential Sums via the Self-Reducibility of the Weil Representation

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: We describe a new method to bound certain higher-dimensional exponential sums which are associated with tori in symplectic groups over finite fields. Our method is based on the self-reducibility property of the Weil representation. As a result, we obtain a sharp form of the Hecke quantum unique ergodicity theorem for generic linear symplectomorphisms of the 2N-dimensional torus. We describe a new method to bound certain higher-dimensional exponential sums which are associated with tori in symplectic groups over finite fields. Our method is based on the self-reducibility property of the Weil representation. As a result, we obtain a sharp form of the Hecke quantum unique ergodicity theorem for generic linear symplectomorphisms of the 2N-dimensional torus. △ Less

Submitted 7 February, 2010; v1 submitted 26 December, 2006; originally announced December 2006.

The Geometric Weil Representation

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this paper we construct a geometric analogue of the Weil representation over a finite field. Our construction is principally invariant, not choosing any specific realization. This eliminates most of the unpleasant formulas that appear in the traditional (non-invariant) approaches, and puts in the forefront some delicate geometric phenomena which underlie this representation. In this paper we construct a geometric analogue of the Weil representation over a finite field. Our construction is principally invariant, not choosing any specific realization. This eliminates most of the unpleasant formulas that appear in the traditional (non-invariant) approaches, and puts in the forefront some delicate geometric phenomena which underlie this representation. △ Less

Submitted 18 October, 2007; v1 submitted 26 October, 2006; originally announced October 2006.

Comments: A remark due to Ofer Gabber added (page 12). Accepted for publication (Selecta, December 2006)

Heisenberg Realizations, Eigenfunctions and Proof of the Kurlberg-Rudnick Supremum Conjecture

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this paper, proof of the {\it Kurlberg-Rudnick supremum conjecture} for the quantum Hannay-Berry model is presented. This conjecture was stated in P. Kurlberg's lectures at Bologna 2001 and Tel-Aviv 2003. The proof is a primer application of a fundamental solution: all the Hecke eigenfunctions of the quantum system are constructed. The main tool in our construction is the categorification of… ▽ More In this paper, proof of the {\it Kurlberg-Rudnick supremum conjecture} for the quantum Hannay-Berry model is presented. This conjecture was stated in P. Kurlberg's lectures at Bologna 2001 and Tel-Aviv 2003. The proof is a primer application of a fundamental solution: all the Hecke eigenfunctions of the quantum system are constructed. The main tool in our construction is the categorification of the compatible system of realizations of the Heisenberg representation over a finite field. This enables us to construct certain "perverse sheaves" that stands motivically prior to the Hecke eigenfunctions. △ Less

Submitted 17 November, 2005; v1 submitted 9 November, 2005; originally announced November 2005.

Comments: Preliminary version, 31 pages

Proof of the Kurlberg-Rudnick Rate Conjecture

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this paper we present a proof of the {\it Hecke quantum unique ergodicity conjecture} for the Berry-Hannay model, a model of quantum mechanics on a two dimensional torus. This conjecture was stated in Z. Rudnick's lectures at MSRI, Berkeley, 1999 and ECM, Barcelona, 2000. In this paper we present a proof of the {\it Hecke quantum unique ergodicity conjecture} for the Berry-Hannay model, a model of quantum mechanics on a two dimensional torus. This conjecture was stated in Z. Rudnick's lectures at MSRI, Berkeley, 1999 and ECM, Barcelona, 2000. △ Less

Submitted 17 November, 2005; v1 submitted 6 October, 2005; originally announced October 2005.

Comments: 4 pages, accepted for publication in {\it journal Comptes rendus de l'Academie des sciences- Mathematics} (presented by Michele Vergne)

The Higher-Dimensional Rudnick-Kurlberg Conjecture

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this paper we give a proof of the {\it Hecke quantum unique ergodicity conjecture} for the multidimensional Berry-Hannay model. A model of quantum mechanics on the 2n-dimensional torus. This result generalizes the proof of the {\it Rudnick-Kurlberg Conjecture} given in \cite{GH3} for the 2-dimensional torus. In this paper we give a proof of the {\it Hecke quantum unique ergodicity conjecture} for the multidimensional Berry-Hannay model. A model of quantum mechanics on the 2n-dimensional torus. This result generalizes the proof of the {\it Rudnick-Kurlberg Conjecture} given in \cite{GH3} for the 2-dimensional torus. △ Less

Submitted 10 October, 2004; v1 submitted 14 September, 2004; originally announced September 2004.

Comments: 26 pages, preliminary version, proof conjecture for "generic" ergodic automorphism

Proof of the Kurlberg-Rudnick Rate Conjecture

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: In this paper we present a proof of the {\it Hecke quantum unique ergodicity rate conjecture} for the Berry-Hannay model. A model of quantum mechanics on the 2-dimensional torus. This conjecture was stated in Z. Rudnick's lectures at MSRI, Berkeley 1999 and ECM, Barcelona 2000. In this paper we present a proof of the {\it Hecke quantum unique ergodicity rate conjecture} for the Berry-Hannay model. A model of quantum mechanics on the 2-dimensional torus. This conjecture was stated in Z. Rudnick's lectures at MSRI, Berkeley 1999 and ECM, Barcelona 2000. △ Less

Submitted 23 April, 2006; v1 submitted 29 April, 2004; originally announced April 2004.

Comments: In this version we add a proof that the character sheaf of the Heisenberg-Weil representation is perverse, geometrically irreducible of pure weight 0. Moreover, we supply invariant formulas for the character sheaf on an appropriate open set, and we give also another alternative proof for the rate conjecture that uses our invariant formulas

The Multidimensional Berry-Hannay Model

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: The aim of this paper is to construct the Berry-Hannay model of quantum mechanics on a 2n-dimensional symplectic torus. We construct a simultaneous quantization of the algebra $\cal A$ of functions on the torus and the linear symplectic group $\G = \Sp(\mathrm{2n},\Z)$. In the construction we use the quantum torus $\A$, which is a deformation of $\cal A$, together with a $\G$-action on it. We ob… ▽ More The aim of this paper is to construct the Berry-Hannay model of quantum mechanics on a 2n-dimensional symplectic torus. We construct a simultaneous quantization of the algebra $\cal A$ of functions on the torus and the linear symplectic group $\G = \Sp(\mathrm{2n},\Z)$. In the construction we use the quantum torus $\A$, which is a deformation of $\cal A$, together with a $\G$-action on it. We obtain the quantization via the action of $\G$ on the set of equivalence classes of irreducible representations of $\A$. For $\h \in \Q$ this action has a unique fixed point. This gives a canonical projective equivariant quantization. There exists a Hilbert space on which both $\G$ and $\A$ act in a compatible way. △ Less

Submitted 19 March, 2004; v1 submitted 18 March, 2004; originally announced March 2004.

Comments: 11 pages, preprint

The Two Dimensional Hannay-Berry Model

Authors: Shamgar Gurevich, Ronny Hadani

Abstract: The main goal of this paper is to construct the Hannay-Berry model of quantum mechanics, on a two dimensional symplectic torus. We construct a simultaneous quantization of the algebra of functions and the linear symplectic group $\G =$ SL$_2 (\Z)$. We obtain the quantization via an action of $\G$ on the set of equivalence classes of irreducible representations of Rieffel`s quantum torus $\Ad$. F… ▽ More The main goal of this paper is to construct the Hannay-Berry model of quantum mechanics, on a two dimensional symplectic torus. We construct a simultaneous quantization of the algebra of functions and the linear symplectic group $\G =$ SL$_2 (\Z)$. We obtain the quantization via an action of $\G$ on the set of equivalence classes of irreducible representations of Rieffel`s quantum torus $\Ad$. For $\h \in \Q$ this action has a unique fixed point. This gives a canonical projective equivariant quantization. There exists a Hilbert space on which both $\G$ and $\Ad$ act equivariantly. Combined with the fact that every projective representation of $\G$ can be lifted to a linear representation, we also obtain linear equivariant quantization. △ Less

Submitted 20 October, 2005; v1 submitted 13 December, 2003; originally announced December 2003.

Comments: 11 pages