BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Dan Edidin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The purpose of this article is to discuss recent advances in the growing field of phase retrieval, and to publicize open problems that we believe will be of interest to mathematicians in general, and algebraists in particular.
We study the dihedral multi-reference alignment problem of estimating the orbit of a signal from multiple noisy observations of the signal, acted on by random elements of the dihedral group. We show that if the group elements are drawn from a generic distribution, the orbit of a generic signal is uniquely determined from the second moment of the observations. This implies that the optimal estimation rate in the high noise regime is proportional to the square of the variance of the noise. This is the first result of this type for multi-reference alignment over a non-abelian group with a non-uniform distribution of group elements. Based on tools from invariant theory and algebraic geometry, we also delineate conditions for unique orbit recovery for multi-reference alignment models over finite groups (namely, when the dihedral group is replaced by a general finite group) when the group elements are drawn from a generic distribution. Finally, we design and study numerically three computational frameworks for estimating the signal based on group synchronization, expectation-maximization, and the method of moments.
We present a complete generalization of Kirwan's partial desingularization theorem on quotients of smooth varieties. Precisely, we prove that if $\mathcal{X}$ is an irreducible Artin stack with stable good moduli space $\mathcal{X} \to X$, then there is a canonical sequence of birational morphisms of Artin stacks $\mathcal{X}_n \to \mathcal{X}_{n-1} \to \ldots \to \mathcal{X}_0 = \mathcal{X}$ with the following properties: (1) the maximum dimension of a stabilizer of a point of $\mathcal{X}_{k+1}$ is strictly smaller than the maximum dimension of a stabilizer of $\mathcal{X}_k$ and the final stack $\mathcal{X}_n$ has constant stabilizer dimension; (2) the morphisms $\mathcal{X}_{k+1} \to \mathcal{X}_k$ induce projective and birational morphisms of good moduli spaces $X_{k+1} \to X_{k}$. If in addition the stack $\mathcal{X}$ is smooth, then each of the intermediate stacks $\mathcal{X}_k$ is smooth and the final stack $\mathcal{X}_n$ is a gerbe over a tame stack. In this case the algebraic space $X_n$ has tame quotient singularities and is a partial desingularization of the good moduli space $X$. When $\mathcal{X}$ is smooth our result can be combined with D. Bergh's recent destackification theorem for tame stacks to obtain a full desingularization of the algebraic space $X$.
We show that a cone theorem for ${\mathbbA}^1-homotopy invariant contravariant functors implies the vanishing of the positive degree part of the operational Chow cohomology rings of a large class of affine varieties. We also discuss how this vanishing relates to a number of questions about representing Chow cohomology classes of GIT quotients in terms of equivariant cycles.
Motivated by the X-ray crystallography technology to determine the atomic structure of biological molecules, we study the crystallographic phase retrieval problem, arguably the leading and hardest phase retrieval setup. This problem entails recovering a K-sparse signal of length N from its Fourier magnitude or, equivalently, from its periodic auto-correlation. Specifically, this work focuses on the fundamental question of uniqueness: what is the maximal sparsity level K/N that allows unique mapping between a signal and its Fourier magnitude, up to intrinsic symmetries. We design a systemic computational technique to affirm uniqueness for any specific pair (K,N), and establish the following conjecture: the Fourier magnitude determines a generic signal uniquely, up to intrinsic symmetries, as long as K<=N/2. Based on group-theoretic considerations and an additional computational technique, we formulate a second conjecture: if K<N/2, then for any signal the set of solutions to the crystallographic phase retrieval problem has measure zero in the set of all signals with a given Fourier magnitude. Together, these conjectures constitute the first attempt to establish a mathematical theory for the crystallographic phase retrieval problem.
For any vector bundle $V$ on a toric Deligne-Mumford stack $\ix$ the formalism of \cite{EJK:16} defines two intertial products $\star_{V^{+}}$ and $\star_{V^{-}}$ on the Chow group of the inertia stack. We give an explicit presentation for the integral $\star_{V^+}$ and $\star_{V^-}$ Chow rings, extending earlier work of Boris-Chen-Smith \cite{BCS:05} and Jiang-Tsen \cite{JiTs:10} in the orbifold Chow ring case, which corresponds to $V = 0$. We also describe an {\em asymptotic} product on the rational Chow group of the inertia stack obtained by letting the rank of the bundle $V$ go to infinity.
We introduce conjectures relating the Chow ring of a smooth Artin stack $\mathcal{X}$ to the Chow groups of its possibly singular good moduli space $X$. In particular, we conjecture the existence of an intersection product on a subgroup of the full Chow group $A^*(X)$ coming from strong cycles on $\mathcal{X}$.
For a smooth Deligne-Mumford stack X we describe a large number of inertial products on K(IX) and A*(IX) and corresponding inertial Chern characters. We do this by developing a theory of inertial pairs. Each inertial pair determines an inertial product on K(IX) and an inertial product on A*(IX) and Chern character ring homomorphisms between them. We show that there are many inertial pairs; indeed, every vector bundle V on X defines two new inertial pairs. We recover, as special cases, the orbifold products of Chen-Run, Abramovich-Graber-Vistoli, Jarvis-Kaufmann-Kimura, and Edidin-Jarvis-Kimura and the virtual product of Gonzalez-Lupercio-Segovia-Uribe-Xicotencatl. We also introduce an entirely new product we call the localized orbifold product, which is defined on the complexification of K(IX). The inertial products developed in this paper are used in a subsequent paper to describe a theory of inertial Chern classes and power operations in inertial K-theory. These constructions provide new manifestations of mirror symmetry, in the spirit of the Hyper-Kaehler Resolution Conjecture.
Let [X/G] be a smooth Deligne-Mumford quotient stack. In a previous paper the authors constructed a class of exotic products called inertial products on K(I[X/G]), the Grothendieck group of vector bundles on the inertia stack I[X/G]. In this paper we develop a theory of Chern classes and compatible power operations for inertial products. When G is diagonalizable these give rise to an augmented $λ$-ring structure on inertial K-theory. One well-known inertial product is the virtual product. Our results show that for toric Deligne-Mumford stacks there is a $λ$-ring structure on inertial K-theory. As an example, we compute the $λ$-ring structure on the virtual K-theory of the weighted projective lines P(1,2) and P(1,3). We prove that after tensoring with C, the augmentation completion of this $λ$-ring is isomorphic as a $λ$-ring to the classical K-theory of the crepant resolutions of singularities of the coarse moduli spaces of the cotangent bundles $T^*P(1,2)$ and $T^*P(1,3)$, respectively. We interpret this as a manifestation of mirror symmetry in the spirit of the Hyper-Kaehler Resolution Conjecture.
We characterize collections of orthogonal projections for which it is possible to reconstruct a vector from the magnitudes of the corresponding projections. As a result we are able to show that in an $M$-dimensional real vector space a vector can be reconstructed from the magnitudes of its projections onto a generic collection of $N \geq 2M-1$ subspaces. We also show that this bound is sharp when $N = 2^k +1$. The results of this paper answer a number of questions raised in \cite{CCPW:13}.
We introduce the notion of strong regular embeddings of Deligne-Mumford stacks. These morphisms naturally arise in the related contexts of generalized Euler sequences and hypertoric geometry.
A complex frame is a collection of vectors that span $\mathbb{C}^M$ and define measurements, called intensity measurements, on vectors in $\mathbb{C}^M$. In purely mathematical terms, the problem of phase retrieval is to recover a complex vector from its intensity measurements, namely the modulus of its inner product with these frame vectors. We show that any vector is uniquely determined (up to a global phase factor) from $4M-4$ generic measurements. To prove this, we identify the set of frames defining non-injective measurements with the projection of a real variety and bound its dimension.
There is a well developed intersection theory on smooth Artin stacks with quasi-affine diagonal. However, for Artin stacks whose diagonal is not quasi-finite the notion of the degree of a Chow cycle is not defined. In this paper we propose a definition for the degree of a cycle on Artin toric stacks whose underlying toric varieties are complete. As an application we define the Euler characteristic of an Artin toric stack with complete good moduli space - extending the definition of the orbifold Euler characteristic. An explicit combinatorial formula is given for 3-dimensional Artin toric stacks.
Withdrawn by the authors because the results of this paper are subsumed within and improved by the two papers 1. A plethora of inertial products and 2. Chern Classes and Compatible Power Operations in Inertial K-theory
We give a simple proof of the Riemann-Roch theorem for Deligne-Mumford stacks using the equivariant Riemann-Roch theorem and the localization theorem in equivariant K-theory together with some basic commutative algebra of Artin rings.
We show that there is no way to define degrees of 0-cycles on Artin stacks with proper good moduli spaces so that (i) the degree of an ordinary point is non-zero, and (ii) degrees are compatible with closed immersions.
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we show that for Deligne-Mumford quotient stacks this cohomology is rationally isomorphic to the rational cohomology of the coarse moduli space. The theory is presented with a focus on the stacks of smooth and stable curves.
We define Reichstein transforms to be certain birational transformations of Artin stacks with good moduli spaces. Our main technical result is that the Reichstein transform of an Artin toric stack is again an Artin toric stack. This leads to our main theorem which states that for Artin toric stacks there is a canonical sequence of Reichstein transforms which produces a Deligne-Mumford toric stack. When the good moduli space of an Artin toric stack is projective our procedure can be interpreted in terms of Kirwan's partial desingularization of geometric invariant theory quotients.
We consider the stack of stable curves of genus g with a given dual graph and we give an explicit desingularization of its closure in the moduli stack of stable curves. We study in particular the one-dimensional substack of curves with at least 3g-4 nodes.
Using obstruction bundles, composition law and the localization formula, we compute certain 3-point genus-0 Gromov-Witten invariants of the Hilbert scheme of 3-points on the complex projective plane. Our results partially verify Ruan's conjecture about quantum corrections for this Hilbert scheme.
In this paper we give an explicit formula for the Riemann-Roch map for singular schemes which are quotients of smooth schemes by diagonalizable groups. As an application we obtain a simple proof of a formula for the Todd class of a simplicial toric variety. An equivariant version of this formula was previously obtained for complete simplicial toric varieties by Brion and Vergne using different techniques.
We give a characterization of connected solvable groups in terms of the existence of representations with certain geometric properties. The existence of such representations for the group of upper triangular matrices played an important role in the proof of the authors' equivariant Riemann-Roch theorem.
The purpose of this paper is to prove an equivariant Riemann-Roch theorem for schemes or algebraic spaces with an action of a linear algebraic group $G$. For a $G$-space $X$, this theorem gives an isomorphism between a completion of the equivariant Grothendieck group and a completion of equivariant equivariant Chow groups. The key to proving this isomorphism is a geometric description of completions of the equivariant Grothendieck group. Besides Riemann-Roch, this result has some purely $K$-theoretic applications. In particular, we prove a conjecture of Köck (in the case of regular schemes) and extend to arbitrary characteristic a result of Segal on representation rings.
This paper has been withdrawn. Theorem 2.1 of the paper is false, as it contradicts a result of Srinvas (Crelle's J. v.381, 1987). The error in our proof is in the construction of a functor in Claim 2. What we construct does not preserve composition of functions, so it is not a functor.
The purpose of these notes is to give an introduction to Deligne-Mumford stacks and their moduli spaces, with emphasis on the moduli problem for curves. The paper has 4 sections. In section 1 we discuss the general problem of constructing a moduli "space" of curves. In section 2 we give an introduction to Deligne-Mumford stacks and their moduli spaces. In section 3 we return to curves and outline Deligne and Mumford's proof that the stack of stable curves is a smooth and irreducible Deligne-Mumford stack which is proper over Spec Z. In section 4 we explain how to use geometric invariant to construct moduli spaces for quotient stacks. Finally, we briefly outline Gieseker's geometric invariant theory construction of the moduli scheme of projective curves defined over an algebraically closed field. These notes are a slightly revised version of notes which the author has circulated privately for several years, and are based on lectures the author gave at the Weizmann Institute in July 1994. They are also available at the URL http://math.missouri.edu/~edidin/Papers/ Any updates will be posted to this URL.