-
On the algebraic proof complexity of Tensor Isomorphism
Authors:
Nicola Galesi,
Joshua A. Grochow,
Toniann Pitassi,
Adrian She
Abstract:
The Tensor Isomorphism problem (TI) has recently emerged as having connections to multiple areas of research within complexity and beyond, but the current best upper bound is essentially the brute force algorithm. Being an algebraic problem, TI (or rather, proving that two tensors are non-isomorphic) lends itself very naturally to algebraic and semi-algebraic proof systems, such as the Polynomial…
▽ More
The Tensor Isomorphism problem (TI) has recently emerged as having connections to multiple areas of research within complexity and beyond, but the current best upper bound is essentially the brute force algorithm. Being an algebraic problem, TI (or rather, proving that two tensors are non-isomorphic) lends itself very naturally to algebraic and semi-algebraic proof systems, such as the Polynomial Calculus (PC) and Sum of Squares (SoS). For its combinatorial cousin Graph Isomorphism, essentially optimal lower bounds are known for approaches based on PC and SoS (Berkholz & Grohe, SODA '17). Our main results are an $Ω(n)$ lower bound on PC degree or SoS degree for Tensor Isomorphism, and a nontrivial upper bound for testing isomorphism of tensors of bounded rank.
We also show that PC cannot perform basic linear algebra in sub-linear degree, such as comparing the rank of two matrices, or deriving $BA=I$ from $AB=I$. As linear algebra is a key tool for understanding tensors, we introduce a strictly stronger proof system, PC+Inv, which allows as derivation rules all substitution instances of the implication $AB=I \rightarrow BA=I$. We conjecture that even PC+Inv cannot solve TI in polynomial time either, but leave open getting lower bounds on PC+Inv for any system of equations, let alone those for TI. We also highlight many other open questions about proof complexity approaches to TI.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Unitary property testing lower bounds by polynomials
Authors:
Adrian She,
Henry Yuen
Abstract:
We study unitary property testing, where a quantum algorithm is given query access to a black-box unitary and has to decide whether it satisfies some property. In addition to containing the standard quantum query complexity model (where the unitary encodes a binary string) as a special case, this model contains "inherently quantum" problems that have no classical analogue. Characterizing the query…
▽ More
We study unitary property testing, where a quantum algorithm is given query access to a black-box unitary and has to decide whether it satisfies some property. In addition to containing the standard quantum query complexity model (where the unitary encodes a binary string) as a special case, this model contains "inherently quantum" problems that have no classical analogue. Characterizing the query complexity of these problems requires new algorithmic techniques and lower bound methods.
Our main contribution is a generalized polynomial method for unitary property testing problems. By leveraging connections with invariant theory, we apply this method to obtain lower bounds on problems such as determining recurrence times of unitaries, approximating the dimension of a marked subspace, and approximating the entanglement entropy of a marked state. We also present a unitary property testing-based approach towards an oracle separation between $\mathsf{QMA}$ and $\mathsf{QMA(2)}$, a long standing question in quantum complexity theory.
△ Less
Submitted 8 December, 2022; v1 submitted 11 October, 2022;
originally announced October 2022.
-
Schur Polynomials do not have small formulas if the Determinant doesn't!
Authors:
Prasad Chaugule,
Mrinal Kumar,
Nutan Limaye,
Chandra Kanta Mohapatra,
Adrian She,
Srikanth Srinivasan
Abstract:
Schur Polynomials are families of symmetric polynomials that have been classically studied in Combinatorics and Algebra alike. They play a central role in the study of Symmetric functions, in Representation theory [Sta99], in Schubert calculus [LM10] as well as in Enumerative combinatorics [Gas96, Sta84, Sta99]. In recent years, they have also shown up in various incarnations in Computer Science,…
▽ More
Schur Polynomials are families of symmetric polynomials that have been classically studied in Combinatorics and Algebra alike. They play a central role in the study of Symmetric functions, in Representation theory [Sta99], in Schubert calculus [LM10] as well as in Enumerative combinatorics [Gas96, Sta84, Sta99]. In recent years, they have also shown up in various incarnations in Computer Science, e.g, Quantum computation [HRTS00, OW15] and Geometric complexity theory [IP17].
However, unlike some other families of symmetric polynomials like the Elementary Symmetric polynomials, the Power Symmetric polynomials and the Complete Homogeneous Symmetric polynomials, the computational complexity of syntactically computing Schur polynomials has not been studied much. In particular, it is not known whether Schur polynomials can be computed efficiently by algebraic formulas. In this work, we address this question, and show that unless \emph{every} polynomial with a small algebraic branching program (ABP) has a small algebraic formula, there are Schur polynomials that cannot be computed by algebraic formula of polynomial size. In other words, unless the algebraic complexity class $\mathrm{VBP}$ is equal to the complexity class $\mathrm{VF}$, there exist Schur polynomials which do not have polynomial size algebraic formulas.
As a consequence of our proof, we also show that computing the determinant of certain \emph{generalized} Vandermonde matrices is essentially as hard as computing the general symbolic determinant. To the best of our knowledge, these are one of the first hardness results of this kind for families of polynomials which are not \emph{multilinear}. A key ingredient of our proof is the study of composition of \emph{well behaved} algebraically independent polynomials with a homogeneous polynomial, and might be of independent interest.
△ Less
Submitted 27 November, 2019;
originally announced November 2019.
-
A Quadratic Lower Bound for Algebraic Branching Programs and Formulas
Authors:
Prerona Chatterjee,
Mrinal Kumar,
Adrian She,
Ben Lee Volk
Abstract:
We show that any Algebraic Branching Program (ABP) computing the polynomial $\sum_{i = 1}^n x_i^n$ has at least $Ω(n^2)$ vertices. This improves upon the lower bound of $Ω(n\log n)$, which follows from the classical result of Baur and Strassen [Str73, BS83], and extends the results in [K19], which showed a quadratic lower bound for \emph{homogeneous} ABPs computing the same polynomial.
Our proof…
▽ More
We show that any Algebraic Branching Program (ABP) computing the polynomial $\sum_{i = 1}^n x_i^n$ has at least $Ω(n^2)$ vertices. This improves upon the lower bound of $Ω(n\log n)$, which follows from the classical result of Baur and Strassen [Str73, BS83], and extends the results in [K19], which showed a quadratic lower bound for \emph{homogeneous} ABPs computing the same polynomial.
Our proof relies on a notion of depth reduction which is reminiscent of similar statements in the context of matrix rigidity, and shows that any small enough ABP computing the polynomial $\sum_{i=1}^n x_i^n$ can be depth reduced to essentially a homogeneous ABP of the same size which computes the polynomial $\sum_{i = 1}^n x_i^n + ε(x_1, \ldots, x_n)$, for a structured "error polynomial" $ε(x_1, \ldots, x_n)$. To complete the proof, we then observe that the lower bound in [K19] is robust enough and continues to hold for all polynomials $\sum_{i = 1}^n x_i^n + ε(x_1, \ldots, x_n)$, where $ε(x_1, \ldots, x_n)$ has the appropriate structure.
We also use our ideas to show an $Ω(n^2)$ lower bound of the size of algebraic formulas computing the elementary symmetric polynomial of degree $0.1n$ on $n$ variables. This is a slight improvement upon the prior best known formula lower bound (proved for a different polynomial) of $Ω(n^2/\log n)$ [Nec66, K85, SY10]. Interestingly, this lower bound is asymptotically better than $n^2/\log n$, the strongest lower bound that can be proved using previous methods. This lower bound also matches the upper bound, due to Ben-Or, who showed that elementary symmetric polynomials can be computed by algebraic formula (in fact depth-$3$ formula) of size $O(n^2)$. Prior to this work, Ben-Or's construction was known to be optimal only for algebraic formulas of depth-$3$ [SW01].
△ Less
Submitted 18 March, 2020; v1 submitted 26 November, 2019;
originally announced November 2019.
-
Chromatic Posets
Authors:
Samantha Dahlberg,
Adrian She,
Stephanie van Willigenburg
Abstract:
In 1995 Stanley introduced the chromatic symmetric function $X_G$ of a graph $G$, whose $e$-positivity and Schur-positivity has been of large interest. In this paper we study the relative $e$-positivity and Schur-positivity between connected graphs on $n$ vertices. We define and investigate two families of posets on distinct chromatic symmetric functions. The relations depend on the $e$-positivity…
▽ More
In 1995 Stanley introduced the chromatic symmetric function $X_G$ of a graph $G$, whose $e$-positivity and Schur-positivity has been of large interest. In this paper we study the relative $e$-positivity and Schur-positivity between connected graphs on $n$ vertices. We define and investigate two families of posets on distinct chromatic symmetric functions. The relations depend on the $e$-positivity or Schur-positivity of a weighed subtraction between $X_G$ and $X_H$. We find a biconditional condition between $e$-positivity or Schur-positivity and the relation to the complete graph. This gives a new paradigm for $e$-positivity and for Schur-positivity. We show many other interesting properties of these posets including that trees form an independent set and are maximal elements. Additionally, we find that stars are independent elements, the independence number increases as we increase in the poset and that the family of lollipop graphs form a chain.
△ Less
Submitted 13 March, 2020; v1 submitted 26 September, 2019;
originally announced September 2019.
-
Schur and $e$-positivity of trees and cut vertices
Authors:
Samantha Dahlberg,
Adrian She,
Stephanie van Willigenburg
Abstract:
We prove that the chromatic symmetric function of any $n$-vertex tree containing a vertex of degree $d\geq \log _2n +1$ is not $e$-positive, that is, not a positive linear combination of elementary symmetric functions. Generalizing this, we also prove that the chromatic symmetric function of any $n$-vertex connected graph containing a cut vertex whose deletion disconnects the graph into…
▽ More
We prove that the chromatic symmetric function of any $n$-vertex tree containing a vertex of degree $d\geq \log _2n +1$ is not $e$-positive, that is, not a positive linear combination of elementary symmetric functions. Generalizing this, we also prove that the chromatic symmetric function of any $n$-vertex connected graph containing a cut vertex whose deletion disconnects the graph into $d\geq\log _2n +1$ connected components is not $e$-positive. Furthermore we prove that any $n$-vertex bipartite graph, including all trees, containing a vertex of degree greater than $\lceil \frac{n}{2}\rceil$ is not Schur-positive, namely not a positive linear combination of Schur functions. In complete generality, we prove that if an $n$-vertex connected graph has no perfect matching (if $n$ is even) or no almost perfect matching (if $n$ is odd), then it is not $e$-positive. We hence deduce that many graphs containing the claw are not $e$-positive.
△ Less
Submitted 13 December, 2019; v1 submitted 8 January, 2019;
originally announced January 2019.
-
Solid-Immersion Metalenses for Infrared Focal Plane Arrays
Authors:
Shuyan Zhang,
Alexander Soibel,
Sam A. Keo,
Daniel Wilson,
Sir. B. Rafol,
David Z. Ting,
Alan She,
Sarath D. Gunapala,
Federico Capasso
Abstract:
Novel optical components based on metasurfaces (metalenses) offer a new methodology for microlens arrays. In particular, metalens arrays have the potential of being monolithically integrated with infrared focal plane arrays (IR FPAs) to increase the operating temperature and sensitivity of the latter. In this work, we demonstrate a new type of transmissive metalens that focuses the incident light…
▽ More
Novel optical components based on metasurfaces (metalenses) offer a new methodology for microlens arrays. In particular, metalens arrays have the potential of being monolithically integrated with infrared focal plane arrays (IR FPAs) to increase the operating temperature and sensitivity of the latter. In this work, we demonstrate a new type of transmissive metalens that focuses the incident light (λ = 3-5 μm) on the detector plane after propagating through the substrate, i.e. solid-immersion type of focusing. The metalens is fabricated by etching the backside of the detector substrate material (GaSb here) making this approach compatible with the architecture of back-illuminated FPAs. In addition, our designs work for all incident polarizations. We fabricate a 10x10 metalens array that proves the scalability of this approach for FPAs. In the future, these solid-immersion metalenses arrays will be monolithically integrated with IR FPAs.
△ Less
Submitted 17 May, 2018;
originally announced May 2018.
-
Large Area Metalenses: Design, Characterization, and Mass Manufacturing
Authors:
Alan She,
Shuyan Zhang,
Samuel Shian,
David R. Clarke,
Federico Capasso
Abstract:
Optical components, such as lenses, have traditionally been made in the bulk form by sha** glass or other transparent materials. Recent advances in metasurfaces provide a new basis for recasting optical components into thin, planar elements, having similar or better performance using arrays of subwavelength-spaced optical phase-shifters. The technology required to mass produce them dates back to…
▽ More
Optical components, such as lenses, have traditionally been made in the bulk form by sha** glass or other transparent materials. Recent advances in metasurfaces provide a new basis for recasting optical components into thin, planar elements, having similar or better performance using arrays of subwavelength-spaced optical phase-shifters. The technology required to mass produce them dates back to the mid-1990s, when the feature sizes of semiconductor manufacturing became considerably denser than the wavelength of light, advancing in stride with Moore's law. This provides the possibility of unifying two industries: semiconductor manufacturing and lens-making, whereby the same technology used to make computer chips is used to make optical components, such as lenses, based on metasurfaces. Using a scalable metasurface layout compression algorithm that exponentially reduces design file sizes (by 3 orders of magnitude for a centimeter diameter lens) and stepper photolithography, we show the design and fabrication of metasurface lenses (metalenses) with extremely large areas, up to centimeters in diameter and beyond. Using a single two-centimeter diameter near-infrared metalens less than a micron thick fabricated in this way, we experimentally implement the ideal thin lens equation, while demonstrating high-quality imaging and diffraction-limited focusing.
△ Less
Submitted 20 November, 2017;
originally announced November 2017.
-
Large Area Electrically Tunable Lenses Based on Metasurfaces and Dielectric Elastomer Actuators
Authors:
Alan She,
Shuyan Zhang,
Samuel Shian,
David R. Clarke,
Federico Capasso
Abstract:
Tunable optical devices, in particular, varifocal lenses, have important applications in various fields, including imaging and adaptive vision. Recent advances in metasurfaces, which control the wavefront of light using subwavelength-spaced nanostructures, open up new opportunities to replace bulk optical devices, with thin, flat, lightweight devices. We have demonstrated for the first time an ele…
▽ More
Tunable optical devices, in particular, varifocal lenses, have important applications in various fields, including imaging and adaptive vision. Recent advances in metasurfaces, which control the wavefront of light using subwavelength-spaced nanostructures, open up new opportunities to replace bulk optical devices, with thin, flat, lightweight devices. We have demonstrated for the first time an electrically tunable flat lens, based on large area metasurfaces combined with a dielectric elastomer actuator having inline transparent electrodes, that is capable of simultaneously performing focal length tuning (>100%) as well as dynamic corrections, including astigmatism and image shift. This offers control versatility to flat optics hitherto only possible in electron microscopes. The water-based transfer process, which we describe, also enables wide compatibility across materials. The combination of metasurface optics and dielectric elastomer actuators enables a new, versatile platform for creating all kinds of tunable optical devices, through the design of tunable phase, amplitude, and polarization profiles.
△ Less
Submitted 6 August, 2017;
originally announced August 2017.
-
High efficiency near diffraction-limited mid-infrared flat lenses based on metasurface reflectarrays
Authors:
Shuyan Zhang,
Myoung-Hwan Kim,
Francesco Aieta,
Alan She,
Tobias Mansuripur,
Ilan Gabay,
Mohammadreza Khorasaninejad,
David Rousso,
Xiaojun Wang,
Mariano Troccoli,
Nanfang Yu,
Federico Capasso
Abstract:
A limiting factor in the development of mid-infrared optics is the lack of abundant materials that are transparent, low cost, lightweight, and easy to machine. In this paper, we demonstrate a metasurface device that circumvents these limitations. A flat lens based on antenna reflectarrays was designed to achieve near diffraction-limited focusing with a high efficiency (experiment: 80%, simulation:…
▽ More
A limiting factor in the development of mid-infrared optics is the lack of abundant materials that are transparent, low cost, lightweight, and easy to machine. In this paper, we demonstrate a metasurface device that circumvents these limitations. A flat lens based on antenna reflectarrays was designed to achieve near diffraction-limited focusing with a high efficiency (experiment: 80%, simulation: 83%) at 45(o) incidence angle at λ = 4.6 μm. This geometry considerably simplifies the experimental arrangement compared to the common geometry of normal incidence which requires beam splitters. Simulations show that the effect of comatic aberrations is small compared to parabolic mirrors. The use of single-step photolithography allows large scale fabrication.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.
-
Parallel Polarization State Generation
Authors:
Alan She,
Federico Capasso
Abstract:
The control of polarization, an essential property of light, is of wide scientific and technological interest. The general problem of generating arbitrary time-varying states of polarization (SOP) has always been mathematically formulated by a series of linear transformations, i.e. a product of matrices, imposing a serial architecture. Here we show a parallel architecture described by a sum of mat…
▽ More
The control of polarization, an essential property of light, is of wide scientific and technological interest. The general problem of generating arbitrary time-varying states of polarization (SOP) has always been mathematically formulated by a series of linear transformations, i.e. a product of matrices, imposing a serial architecture. Here we show a parallel architecture described by a sum of matrices. The theory is experimentally demonstrated by modulating spatially-separated polarization components of a laser using a digital micromirror device that are subsequently beam combined. This method greatly expands the parameter space for engineering devices that control polarization. Consequently, performance characteristics, such as speed, stability, and spectral range, are entirely dictated by the technologies of optical intensity modulation, including absorption, reflection, emission, and scattering. This opens up important prospects for polarization state generation (PSG) with unique performance characteristics and applications in spectroscopic ellipsometry, spectropolarimetry, communications, imaging, and security.
△ Less
Submitted 14 February, 2016;
originally announced February 2016.
-
Generation of two-dimensional plasmonic bottle beams
Authors:
Patrice Genevet,
Jean Dellinger,
Romain Blanchard,
Alan She,
Marlene Petit,
Benoit Cluzel,
Mikhail A. Kats,
Frederique de Fornel,
Federico Capasso
Abstract:
By analogy to the three dimensional optical bottle beam, we introduce the plasmonic bottle beam: a two dimensional surface wave which features a lattice of plasmonic bottles, i.e. alternating regions of bright focii surrounded by low intensities. The two-dimensional bottle beam is created by the interference of a non-diffracting beam, a cosine-Gaussian beam, and a plane wave, thus giving rise to a…
▽ More
By analogy to the three dimensional optical bottle beam, we introduce the plasmonic bottle beam: a two dimensional surface wave which features a lattice of plasmonic bottles, i.e. alternating regions of bright focii surrounded by low intensities. The two-dimensional bottle beam is created by the interference of a non-diffracting beam, a cosine-Gaussian beam, and a plane wave, thus giving rise to a non-diffracting complex intensity distribution. By controlling the propagation constant of the cosine-Gauss beam, the size and number of plasmonic bottles can be engineered. The two dimensional lattice of hot spots formed by this new plasmonic wave could have applications in plasmonic trap**.
△ Less
Submitted 13 March, 2013;
originally announced March 2013.