Irwin Kra

Bio: Irwin Kra is an academic researcher from Stony Brook University. The author has contributed to research in topics: Riemann surface & Holomorphic function. The author has an hindex of 23, co-authored 70 publications receiving 2694 citations. Previous affiliations of Irwin Kra include State University of New York System & Mathematical Sciences Research Institute.

On Circulant Matrices

Abstract: Some mathematical topics, circulant matrices, in particular, are pure gems that cry out to be admired and studied with different techniques or perspectives in mind. Our work on this subject was originally motivated by the apparent need of one of the authors (IK) to derive a specific result, in the spirit of Proposition 24, to be applied in his investigation of theta constant identities [9]. Although progress on that front eliminated the need for such a theorem, the search for it continued and was stimulated by enlightening conversations with Yum-Tong Siu during a visit to Vietnam. Upon IK’s return to the US, a visit by Paul Fuhrmann brought to his attention a vast literature on the subject, including the monograph [4]. Conversations in the Stony Brook Mathematics’ common room attracted the attention of the other author, and that of Sorin Popescu and Daryl Geller∗ to the subject, and made it apparent that circulant matrices are worth studying in their own right, in part because of the rich literature on the subject connecting it to diverse parts of mathematics. These productive interchanges between the participants resulted in [5], the basis for this article. After that version of the paper lay dormant for a number of years, the authors’ interest was rekindled by the casual discovery by SRS that these matrices are connected with algebraic geometry over the mythical field of one element. Circulant matrices are prevalent in many parts of mathematics (see, for example, [8]). We point the reader to the elegant treatment given in [4, §5.2], and to the monograph [1] devoted to the subject. These matrices appear naturally in areas of mathematics where the roots of unity play a role, and some of the reasons for this to be so will unfurl in our presentation. However ubiquitous they are, many facts about these matrices can be proven using only basic linear algebra. This makes the area quite accessible to undergraduates looking for research problems, or mathematics teachers searching for topics of unique interest to present to their students. We concentrate on the discussion of necessary and sufficient conditions for circulant matrices to be non-singular, and on various distinct representations they have, goals that allow us to lay out the rich mathematical structure that surrounds them. Our treatement though is by no means exhaustive. We expand on their connection to the algebraic geometry over a field with one element, to normal curves, and to Toeplitz’s operators. The latter material illustrates the strong presence these matrices have in various parts of modern and classical mathematics. Additional connections to other mathematics may be found in [11]. The paper is organized as follows. In §2 we introduce the basic definitions, and present two models of the space of circulant matrices, including that as a

Theta constants, Riemann surfaces and the modular group : an introduction with applications to uniformization theorems, partition identities and combinatorial number theory

Abstract: The modular group and elliptic function theory Theta functions with characteristics Function theory for the modular group $\Gamma$ and its subgroups Theta constant identities Partition theory: Ramanujan congruences and generalizations Identities related to partition functions Combinatorial and number theoretic applications Bibliography Bibliographical notes Index.

Holomorphic motions and Teichmüller spaces

Abstract: We prove an equivariant form of Slodkowski's theorem that every holomorphic motion of a subset of the extended complex plane C extends to a holomorphic motion of C. As a consequence we prove that every holomorphic map of the unit disc into Teichmuller space lifts to a holomorphic map into the space of Beltrami forms. We use this lifting theorem to study the Teichmuller metric.

High-Speed Tracking with Kernelized Correlation Filters

Abstract: The core component of most modern trackers is a discriminative classifier, tasked with distinguishing between the target and the surrounding environment. To cope with natural image changes, this classifier is typically trained with translated and scaled sample patches. Such sets of samples are riddled with redundancies—any overlapping pixels are constrained to be the same. Based on this simple observation, we propose an analytic model for datasets of thousands of translated patches. By showing that the resulting data matrix is circulant, we can diagonalize it with the discrete Fourier transform, reducing both storage and computation by several orders of magnitude. Interestingly, for linear regression our formulation is equivalent to a correlation filter, used by some of the fastest competitive trackers. For kernel regression, however, we derive a new kernelized correlation filter (KCF), that unlike other kernel algorithms has the exact same complexity as its linear counterpart. Building on it, we also propose a fast multi-channel extension of linear correlation filters, via a linear kernel, which we call dual correlation filter (DCF). Both KCF and DCF outperform top-ranking trackers such as Struck or TLD on a 50 videos benchmark, despite running at hundreds of frames-per-second, and being implemented in a few lines of code (Algorithm 1). To encourage further developments, our tracking framework was made open-source.

Factorization theorems for Hardy spaces in several variables

Abstract: The purpose of this paper is to extend to Hardy spaces in several variables certain well known factorization theorems on the unit disk. The extensions will be carried out for various spaces of holomorphic functions on the unit ball of C" as well as for Hardy spaces defined by the Riesz systems on R". These results together with their proofs yield new characterizations of the space BMO (Bounded Mean Oscillation) and show a close relationship between BMO functions and certain linear operators on various LI and H2 spaces. The main tools are the result of Fefferman and Stein [8] on the duality between HI and BMO and a new characterization of BMO in terms of boundedness on L2 of the commutator of a singular integral operator with a multiplication operator. We begin by illustrating these ideas in the one dimensional case: Let F be holomorphic in {I z I < 1} and satisfy sup, 5 F(rete) I dO ? 1 (i.e., F is in H'(dO)). It is well known that F = GG2 with G1, G2 holomorphic and sup, I G,(rel0) 1' ! 1 (i.e., G, e H2(dO)). Write F = f + if, G, = gj + ig withf, g1, g, real. Thenf = Im(GG2) = sg1 1 + gi. Thusafunction f is an imaginary (or real) part of an HI function if and only if it can be represented as glg2 + g192 for L2 functions g, and g2. Furthermore,

On the geometry and dynamics of diffeomorphisms of surfaces

Abstract: This article was widely circulated as a preprint, about 12 years ago. At that time the Bulletin did not accept research announcements, and after a couple of attempts to publish it, I gave up, and the preprint did not find a home. I very soon saw that there were many ramifications of this theory, and I talked extensively about it in a number of places. One year I devoted my graduate course to this theory, and notes of Bill Floyd and Michael Handel from that course were circulated for a while. The participants in a seminar at Orsay in 1976-1977 went over this material, and wrote a volume [FLP] including some original material as well. Another good general reference, from a somewhat different point of view, is a set of notes of lectures by A. Casson, taken by S. Bleiler [CasBlei]. There are by now several alternative ways to develop the classification of diffeomorphisms of surfaces described here. At the time I originally discovered the classification of diffeomorphism of surfaces, I was unfamiliar with two bodies of mathematics which were quite relevant: first, Riemann surfaces, quasiconformal maps and Teichmiiller's theory; and second, Nielsen's theory of the dynamical behavior of surface at infinity, and his near-understanding of geodesic laminations. After hearing about the classification of surface automorphisms from the point of view of the space of measured foliations, Lipman Bers [Bersl] developed a proof of the classification of surface automorphisms from the point of view of Teichmüller theory, generalizing Teichmiiller's theorem by allowing the Riemann surface to vary as well as the map. Dennis Sullivan first told me of some neglected articles by Nielsen which might be relevant. This point of view has been discussed by R. Miller, J. Gilman, M. Handel and me. The analogous theory, of measured laminations and 2-dimensional train tracks in three dimensions, has been considerable development. This has been applied to reinterpret some of Haken's work, to classify incompressible surfaces in particular classes of 3-manifolds in papers by me, Hatcher, Floyd, Oertel and others in various combinations. Shalen, Morgan, Culler and others have developed the related theory of groups acting on trees, and its relation to measured laminations, to define and analyze compactifications of representation spaces of groups in SL(2, C) and SO(n, 1); this has many interesting applications, including the theory of incompressible surfaces in 3-manifolds.

Introduction to the arithmetic theory of automorphic functions

Abstract: * uschian groups of the first kind * Automorphic forms and functions * Hecke operators and the zeta-functions associated with modular forms * Elliptic curves * Abelian extensions of imaginary quadratic fields and complex multiplication of elliptic curves * Modular functions of higher level * Zeta-functions of algebraic curves and abelian varieties * The cohomology group assoicated with cusp forms * Arithmetic Fuschian groups