-
Coherent lidar for ride-hailing autonomous vehicles
Authors:
Alexander Y. Piggott,
Cathy Yunshan Jiang,
John Lam,
Blaise Gassend,
Simon Verghese
Abstract:
Coherent lidars promise a number of advantages over traditional time-of-flight lidars for autonomous vehicles. These include the direct measurement of target approach velocities via the Doppler effect, and near-immunity to interference from other lidars and sunlight. Furthermore, coherent lidars are compatible with a variety of solid-state beam steering technologies such as optical phased arrays,…
▽ More
Coherent lidars promise a number of advantages over traditional time-of-flight lidars for autonomous vehicles. These include the direct measurement of target approach velocities via the Doppler effect, and near-immunity to interference from other lidars and sunlight. Furthermore, coherent lidars are compatible with a variety of solid-state beam steering technologies such as optical phased arrays, which may enable low-cost and compact lidars. In this manuscript, we discuss the headwinds facing the adoption of coherent lidar for autonomous ride-hailing vehicles and how they can be addressed. On the optics side, we explore how one can achieve the points per second and fields of view required for autonomous vehicles, and the resulting laser power requirements. We then discuss how these power levels could be achieved by co-packaging high-power semiconductor lasers and amplifiers with photonic integrated circuits, the preferred approach for low-cost coherent lidars. On the signal processing side, we discuss how to robustly disambiguate multiple returns in realistic environments and affordably meet the compute requirements.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
Finite groups with geodetic Cayley graphs
Authors:
Murray Elder,
Adam Piggott,
Florian Stober,
Alexander Thumm,
Armin Weiß
Abstract:
A connected undirected graph is called \emph{geodetic} if for every pair of vertices there is a unique shortest path connecting them. It has been conjectured that for finite groups, the only geodetic Cayley graphs are odd cycles and complete graphs. In this article we present a series of theoretical results which contribute to a computer search verifying this conjecture for all groups of size up t…
▽ More
A connected undirected graph is called \emph{geodetic} if for every pair of vertices there is a unique shortest path connecting them. It has been conjectured that for finite groups, the only geodetic Cayley graphs are odd cycles and complete graphs. In this article we present a series of theoretical results which contribute to a computer search verifying this conjecture for all groups of size up to 1024. The conjecture is also verified for several infinite families of groups including dihedral and some families of nilpotent groups. Two key results which enable the computer search to reach as far as it does are: if the center of a group has even order, then the conjecture holds (this eliminates all $2$-groups from our computer search); if a Cayley graph is geodetic then there are bounds relating the size of the group, generating set and center (which significantly cuts down the number of generating sets which must be searched).
△ Less
Submitted 1 April, 2025; v1 submitted 31 May, 2024;
originally announced June 2024.
-
Graphs and groups with unique geodesics
Authors:
Murray Elder,
Giles Gardam,
Adam Piggott,
Davide Spriano,
Kane Townsend
Abstract:
A connected graph is called \emph{geodetic} if there is a unique geodesic between each pair of vertices. In this paper we prove that if a finitely generated group admits a Cayley graph which is geodetic, then the group must be virtually free. Before now, it was open whether finitely generated and geodetic implied hyperbolic. In fact we prove something more general: if a quasi-transitive locally fi…
▽ More
A connected graph is called \emph{geodetic} if there is a unique geodesic between each pair of vertices. In this paper we prove that if a finitely generated group admits a Cayley graph which is geodetic, then the group must be virtually free. Before now, it was open whether finitely generated and geodetic implied hyperbolic. In fact we prove something more general: if a quasi-transitive locally finite connected undirected graph is geodetic then it is quasi-isometric to a tree. Our main tool is to define a \emph{boundary} of a graph and understand how the local behaviour influences it when the graph is geodetic. Our results unify, and represent significant progress on, research initiated by Ore, Shapiro, and Madlener and Otto.
△ Less
Submitted 14 December, 2024; v1 submitted 7 November, 2023;
originally announced November 2023.
-
On $k$-geodetic graphs and groups
Authors:
Murray Elder,
Adam Piggott,
Kane Townsend
Abstract:
We call a graph $k$-geodetic, for some $k\geq 1$, if it is connected and between any two vertices there are at most $k$ geodesics. It is shown that any hyperbolic group with a $k$-geodetic Cayley graph is virtually-free. Furthermore, in such a group the centraliser of any infinite order element is an infinite cyclic group. These results were known previously only in the case that $k=1$. A key tool…
▽ More
We call a graph $k$-geodetic, for some $k\geq 1$, if it is connected and between any two vertices there are at most $k$ geodesics. It is shown that any hyperbolic group with a $k$-geodetic Cayley graph is virtually-free. Furthermore, in such a group the centraliser of any infinite order element is an infinite cyclic group. These results were known previously only in the case that $k=1$. A key tool used to develop the theorem is a new graph theoretic result concerning ``ladder-like structures'' in a $k$-geodetic graph.
△ Less
Submitted 15 June, 2023; v1 submitted 23 November, 2022;
originally announced November 2022.
-
The isomorphism problem for plain groups is in $Σ_3^{\mathsf{P}}$
Authors:
Heiko Dietrich,
Murray Elder,
Adam Piggott,
Youming Qiao,
Armin Weiß
Abstract:
Testing isomorphism of infinite groups is a classical topic, but from the complexity theory viewpoint, few results are known. S{é}nizergues and the fifth author (ICALP2018) proved that the isomorphism problem for virtually free groups is decidable in $\mathsf{PSPACE}$ when the input is given in terms of so-called virtually free presentations. Here we consider the isomorphism problem for the class…
▽ More
Testing isomorphism of infinite groups is a classical topic, but from the complexity theory viewpoint, few results are known. S{é}nizergues and the fifth author (ICALP2018) proved that the isomorphism problem for virtually free groups is decidable in $\mathsf{PSPACE}$ when the input is given in terms of so-called virtually free presentations. Here we consider the isomorphism problem for the class of \emph{plain groups}, that is, groups that are isomorphic to a free product of finitely many finite groups and finitely many copies of the infinite cyclic group. Every plain group is naturally and efficiently presented via an inverse-closed finite convergent length-reducing rewriting system. We prove that the isomorphism problem for plain groups given in this form lies in the polynomial time hierarchy, more precisely, in $Σ_3^{\mathsf{P}}$. This result is achieved by combining new geometric and algebraic characterisations of groups presented by inverse-closed finite convergent length-reducing rewriting systems developed in recent work of the second and third authors (2021) with classical finite group isomorphism results of Babai and Szemerédi (1984).
△ Less
Submitted 17 January, 2022; v1 submitted 2 October, 2021;
originally announced October 2021.
-
On groups presented by inverse-closed finite convergent length-reducing rewriting systems
Authors:
Murray Elder,
Adam Piggott
Abstract:
We show that groups presented by inverse-closed finite convergent length-reducing rewriting systems are characterised by a striking geometric property: their Cayley graphs are geodetic and side-lengths of non-degenerate triangles are uniformly bounded. This leads to a new algebraic result: the group is plain (isomorphic to the free product of finitely many finite groups and copies of $\mathbb Z$)…
▽ More
We show that groups presented by inverse-closed finite convergent length-reducing rewriting systems are characterised by a striking geometric property: their Cayley graphs are geodetic and side-lengths of non-degenerate triangles are uniformly bounded. This leads to a new algebraic result: the group is plain (isomorphic to the free product of finitely many finite groups and copies of $\mathbb Z$) if and only if a certain relation on the set of non-trivial finite-order elements of the group is transitive on a bounded set. We use this to prove that deciding if a group presented by an inverse-closed finite convergent length-reducing rewriting system is not plain is in $\mathsf{NP}$. A "yes" answer would disprove a longstanding conjecture of Madlener and Otto from 1987. We also prove that the isomorphism problem for plain groups presented by inverse-closed finite convergent length-reducing rewriting systems is in $\mathsf{PSPACE}$.
△ Less
Submitted 28 August, 2021; v1 submitted 7 June, 2021;
originally announced June 2021.
-
Understanding the physics of coherent LiDAR
Authors:
Alexander Y. Piggott
Abstract:
Coherent LiDAR (Light Detecting And Ranging) is a promising 3D imaging technology that provides significant advantages over more traditional LiDAR systems. In addition to being immune to ambient light, it directly measures the velocity of moving objects by sensing Doppler shift of light, and can achieve exceptional depth accuracies. The goal of this manuscript is to explain the basic physics of co…
▽ More
Coherent LiDAR (Light Detecting And Ranging) is a promising 3D imaging technology that provides significant advantages over more traditional LiDAR systems. In addition to being immune to ambient light, it directly measures the velocity of moving objects by sensing Doppler shift of light, and can achieve exceptional depth accuracies. The goal of this manuscript is to explain the basic physics of coherent LiDAR with rigorous derivations from first principles. We first discuss the sensitivity of coherent detection, and derive the number of photons needed to robustly detect a LiDAR return. We then turn our attention to the collection efficiency of coherent LiDAR, and show that signal strength is strongly dependent upon how well the laser beams are focused.
△ Less
Submitted 21 January, 2022; v1 submitted 10 November, 2020;
originally announced November 2020.
-
Rewriting systems, plain groups, and geodetic graphs
Authors:
Murray Elder,
Adam Piggott
Abstract:
We prove that a group is presented by finite convergent length-reducing rewriting systems where each rule has left-hand side of length 3 if and only if the group is plain. Our proof goes via a new result concerning properties of embedded circuits in geodetic graphs, which may be of independent interest in graph theory.
We prove that a group is presented by finite convergent length-reducing rewriting systems where each rule has left-hand side of length 3 if and only if the group is plain. Our proof goes via a new result concerning properties of embedded circuits in geodetic graphs, which may be of independent interest in graph theory.
△ Less
Submitted 15 December, 2021; v1 submitted 7 September, 2020;
originally announced September 2020.
-
A universal 3D imaging sensor on a silicon photonics platform
Authors:
Christopher Rogers,
Alexander Y. Piggott,
David J. Thomson,
Robert F. Wiser,
Ion E. Opris,
Steven A. Fortune,
Andrew J. Compston,
Alexander Gondarenko,
Fanfan Meng,
Xia Chen,
Graham T. Reed,
Remus Nicolaescu
Abstract:
Accurate 3D imaging is essential for machines to map and interact with the physical world. While numerous 3D imaging technologies exist, each addressing niche applications with varying degrees of success, none have achieved the breadth of applicability and impact that digital image sensors have achieved in the 2D imaging world. A large-scale two-dimensional array of coherent detector pixels operat…
▽ More
Accurate 3D imaging is essential for machines to map and interact with the physical world. While numerous 3D imaging technologies exist, each addressing niche applications with varying degrees of success, none have achieved the breadth of applicability and impact that digital image sensors have achieved in the 2D imaging world. A large-scale two-dimensional array of coherent detector pixels operating as a light detection and ranging (LiDAR) system could serve as a universal 3D imaging platform. Such a system would offer high depth accuracy and immunity to interference from sunlight, as well as the ability to directly measure the velocity of moving objects. However, due to difficulties in providing electrical and photonic connections to every pixel, previous systems have been restricted to fewer than 20 pixels. Here, we demonstrate the first large-scale coherent detector array consisting of 512 ($32 \times 16$) pixels, and its operation in a 3D imaging system. Leveraging recent advances in the monolithic integration of photonic and electronic circuits, a dense array of optical heterodyne detectors is combined with an integrated electronic readout architecture, enabling straightforward scaling to arbitrarily large arrays. Meanwhile, two-axis solid-state beam steering eliminates any tradeoff between field of view and range. Operating at the quantum noise limit, our system achieves an accuracy of $3.1~\mathrm{mm}$ at a distance of 75 metres using only $4~\mathrm{mW}$ of light, an order of magnitude more accurate than existing solid-state systems at such ranges. Future reductions of pixel size using state-of-the-art components could yield resolutions in excess of 20 megapixels for arrays the size of a consumer camera sensor. This result paves the way for the development and proliferation of low cost, compact, and high performance 3D imaging cameras.
△ Less
Submitted 11 November, 2020; v1 submitted 5 August, 2020;
originally announced August 2020.
-
On the fundamental limitations of imaging with evanescent waves
Authors:
Alexander Y. Piggott,
Logan Su,
Jan Petykiewicz,
Jelena Vučković
Abstract:
There has been significant interest in imaging and focusing schemes that use evanescent waves to beat the diffraction limit, such as those employing negative refractive index materials or hyperbolic metamaterials. The fundamental issue with all such schemes is that the evanescent waves quickly decay between the imaging system and sample, leading to extremely weak field strengths. Using an entropic…
▽ More
There has been significant interest in imaging and focusing schemes that use evanescent waves to beat the diffraction limit, such as those employing negative refractive index materials or hyperbolic metamaterials. The fundamental issue with all such schemes is that the evanescent waves quickly decay between the imaging system and sample, leading to extremely weak field strengths. Using an entropic definition of spot size which remains well defined for arbitrary beam profiles, we derive rigorous bounds on this evanescent decay. In particular, we show that the decay length is only $w / πe \approx 0.12 w$, where $w$ is the spot width in the focal plane, or $\sqrt{A} / 2 e \sqrtπ \approx 0.10 \sqrt{A}$, where $A$ is the spot area. Practical evanescent imaging schemes will thus most likely be limited to focal distances less than or equal to the spot width.
△ Less
Submitted 1 January, 2020;
originally announced January 2020.
-
Inverse-designed photonics for semiconductor foundries
Authors:
Alexander Y. Piggott,
Eric Y. Ma,
Logan Su,
Geun Ho Ahn,
Neil V. Sapra,
Dries J. F. Vercruysse,
Andrew M. Netherton,
Akhilesh S. P. Khope,
John E. Bowers,
Jelena Vučković
Abstract:
Silicon photonics is becoming a leading technology in photonics, displacing traditional fiber optic transceivers in long-haul and intra-data-center links and enabling new applications such as solid-state LiDAR (Light Detection and Ranging) and optical machine learning. Further improving the density and performance of silicon photonics, however, has been challenging, due to the large size and limit…
▽ More
Silicon photonics is becoming a leading technology in photonics, displacing traditional fiber optic transceivers in long-haul and intra-data-center links and enabling new applications such as solid-state LiDAR (Light Detection and Ranging) and optical machine learning. Further improving the density and performance of silicon photonics, however, has been challenging, due to the large size and limited performance of traditional semi-analytically designed components. Automated optimization of photonic devices using inverse design is a promising path forward but has until now faced difficulties in producing designs that can be fabricated reliably at scale. Here we experimentally demonstrate four inverse-designed devices - a spatial mode multiplexer, wavelength demultiplexer, 50-50 directional coupler, and 3-way power splitter - made successfully in a commercial silicon photonics foundry. These devices are efficient, robust to fabrication variability, and compact, with footprints only a few micrometers across. They pave the way forward for the widespread practical use of inverse design.
△ Less
Submitted 12 January, 2020; v1 submitted 1 October, 2019;
originally announced November 2019.
-
Inverse-Designed Diamond Photonics
Authors:
Constantin Dory,
Dries Vercruysse,
Ki Youl Yang,
Neil V. Sapra,
Alison E. Rugar,
Shuo Sun,
Daniil M. Lukin,
Alexander Y. Piggott,
Jingyuan L. Zhang,
Marina Radulaski,
Konstantinos G. Lagoudakis,
Logan Su,
Jelena Vuckovic
Abstract:
Diamond hosts optically active color centers with great promise in quantum computation, networking, and sensing. Realization of such applications is contingent upon the integration of color centers into photonic circuits. However, current diamond quantum optics experiments are restricted to single devices and few quantum emitters because fabrication constraints limit device functionalities, thus p…
▽ More
Diamond hosts optically active color centers with great promise in quantum computation, networking, and sensing. Realization of such applications is contingent upon the integration of color centers into photonic circuits. However, current diamond quantum optics experiments are restricted to single devices and few quantum emitters because fabrication constraints limit device functionalities, thus precluding color center integrated photonic circuits. In this work, we utilize inverse design methods to overcome constraints of cutting-edge diamond nanofabrication methods and fabricate compact and robust diamond devices with unique specifications. Our design method leverages advanced optimization techniques to search the full parameter space for fabricable device designs. We experimentally demonstrate inverse-designed photonic free-space interfaces as well as their scalable integration with two vastly different devices: classical photonic crystal cavities and inverse-designed waveguide-splitters. The multi-device integration capability and performance of our inverse-designed diamond platform represents a critical advancement toward integrated diamond quantum optical circuits.
△ Less
Submitted 30 July, 2019; v1 submitted 5 December, 2018;
originally announced December 2018.
-
Inverse design and demonstration of broadband grating couplers
Authors:
Neil V. Sapra,
Dries Vercruysse,
Logan Su,
Ki Youl Yang,
Jinhie Skarda,
Alexander Y. Piggott,
Jelena Vučković
Abstract:
We present a gradient-based optimization strategy to design broadband grating couplers. Using this method, we are able to reach, and often surpass, a user-specified target bandwidth during optimization. The designs produced for 220 nm silicon-on-insulator are capable of achieving 3 dB bandwidths exceeding 100 nm while maintaining central coupling efficiencies ranging from -3.0 dB to -5.4 dB, depen…
▽ More
We present a gradient-based optimization strategy to design broadband grating couplers. Using this method, we are able to reach, and often surpass, a user-specified target bandwidth during optimization. The designs produced for 220 nm silicon-on-insulator are capable of achieving 3 dB bandwidths exceeding 100 nm while maintaining central coupling efficiencies ranging from -3.0 dB to -5.4 dB, depending on partial-etch fraction. We fabricate a subset of these structures and experimentally demonstrate gratings with 3 dB bandwidths exceeding 120 nm. This inverse design approach provides a flexible design paradigm, allowing for the creation of broadband grating couplers without requiring constraints on grating geometry.
△ Less
Submitted 2 January, 2019; v1 submitted 23 August, 2018;
originally announced August 2018.
-
Gilman's Conjecture
Authors:
Andy Eisenberg,
Adam Piggott
Abstract:
We prove a conjecture made by Gilman in 1984 that the groups presented by finite, monadic, confluent rewriting systems are precisely the free products of free and finite groups.
We prove a conjecture made by Gilman in 1984 that the groups presented by finite, monadic, confluent rewriting systems are precisely the free products of free and finite groups.
△ Less
Submitted 10 October, 2018; v1 submitted 15 June, 2018;
originally announced June 2018.
-
Outlook for inverse design in nanophotonics
Authors:
Sean Molesky,
Zin Lin,
Alexander Y. Piggott,
Weiliang Jin,
Jelena Vuckovic,
Alejandro W. Rodriguez
Abstract:
Recent advancements in computational inverse design have begun to reshape the landscape of structures and techniques available to nanophotonics. Here, we outline a cross section of key developments at the intersection of these two fields: moving from a recap of foundational results to motivation of emerging applications in nonlinear, topological, near-field and on-chip optics.
Recent advancements in computational inverse design have begun to reshape the landscape of structures and techniques available to nanophotonics. Here, we outline a cross section of key developments at the intersection of these two fields: moving from a recap of foundational results to motivation of emerging applications in nonlinear, topological, near-field and on-chip optics.
△ Less
Submitted 20 January, 2018;
originally announced January 2018.
-
Fully-automated optimization of grating couplers
Authors:
Logan Su,
Rahul Trivedi,
Neil V. Sapra,
Alexander Y. Piggott,
Dries Vercruysse,
Jelena Vučković
Abstract:
We present a gradient-based algorithm to design general 1D grating couplers without any human input from start to finish, including a choice of initial condition. We show that we can reliably design efficient couplers to have multiple functionalities in different geometries, including conventional couplers for single-polarization and single-wavelength operation, polarization-insensitive couplers,…
▽ More
We present a gradient-based algorithm to design general 1D grating couplers without any human input from start to finish, including a choice of initial condition. We show that we can reliably design efficient couplers to have multiple functionalities in different geometries, including conventional couplers for single-polarization and single-wavelength operation, polarization-insensitive couplers, and wavelength-demultiplexing couplers. In particular, we design a fiber-to-chip blazed grating with under 0.2 dB insertion loss that requires a single etch to fabricate and no back-reflector.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
Inverse design and demonstration of a compact on-chip narrowband three-channel wavelength demultiplexer
Authors:
Logan Su,
Alexander Y. Piggott,
Neil V. Sapra,
Jan Petykiewicz,
Jelena Vučković
Abstract:
In wavelength division multiplexing (WDM) schemes, splitters must be used to combine and separate different wavelengths. Conventional splitters are fairly large with footprints in hundreds to thousands of square microns, and experimentally-demonstrated MMI-based and inverse-designed ultra-compact splitters operate with only two channels and large channel spacing ($>$100 nm). Here we inverse design…
▽ More
In wavelength division multiplexing (WDM) schemes, splitters must be used to combine and separate different wavelengths. Conventional splitters are fairly large with footprints in hundreds to thousands of square microns, and experimentally-demonstrated MMI-based and inverse-designed ultra-compact splitters operate with only two channels and large channel spacing ($>$100 nm). Here we inverse design and experimentally demonstrate a three-channel wavelength demultiplexer with 40 nm spacing (1500 nm, 1540 nm, and 1580 nm) with a footprint of 24.75 $μ\mathrm{m}^2$. The splitter has a simulated peak insertion loss of -1.55 dB with under -15 dB crosstalk and a measured peak insertion loss of -2.29 dB with under -10.7 dB crosstalk.
△ Less
Submitted 17 August, 2017;
originally announced September 2017.
-
Fabrication-constrained nanophotonic inverse design
Authors:
Alexander Y. Piggott,
Jan Petykiewicz,
Logan Su,
Jelena Vučković
Abstract:
A major difficulty in applying computational design methods to nanophotonic devices is ensuring that the resulting designs are fabricable. Here, we describe a general inverse design algorithm for nanophotonic devices that directly incorporates fabrication constraints. To demonstrate the capabilities of our method, we designed a spatial-mode demultiplexer, wavelength demultiplexer, and directional…
▽ More
A major difficulty in applying computational design methods to nanophotonic devices is ensuring that the resulting designs are fabricable. Here, we describe a general inverse design algorithm for nanophotonic devices that directly incorporates fabrication constraints. To demonstrate the capabilities of our method, we designed a spatial-mode demultiplexer, wavelength demultiplexer, and directional coupler. We also designed and experimentally demonstrated a compact, broadband $1 \times 3$ power splitter on a silicon photonics platform. The splitter has a footprint of only $3.8 \times 2.5~\mathrm{μm}$, and is well within the design rules of a typical silicon photonics process, with a minimum radius of curvature of $100~\mathrm{nm}$. Averaged over the designed wavelength range of $1400 - 1700~\mathrm{nm}$, our splitter has a measured insertion loss of $0.642 \pm 0.057 ~\mathrm{dB}$ and power uniformity of $0.641 \pm 0.054~\mathrm{dB}$.
△ Less
Submitted 24 March, 2017; v1 submitted 9 December, 2016;
originally announced December 2016.
-
Self-homodyne measurement of a dynamic Mollow triplet in the solid state
Authors:
Kevin A. Fischer,
Kai Müller,
Armand Rundquist,
Tomas Sarmiento,
Alexander Y. Piggott,
Yousif Kelaita,
Constantin Dory,
Konstantinos G. Lagoudakis,
Jelena Vučković
Abstract:
The study of light-matter interaction at the quantum scale has been enabled by the cavity quantum electrodynamics (CQED) architecture, in which a quantum two-level system strongly couples to a single cavity mode. Originally implemented with atoms in optical cavities, CQED effects are now also observed with artificial atoms in solid-state environments. Such realizations of these systems exhibit fas…
▽ More
The study of light-matter interaction at the quantum scale has been enabled by the cavity quantum electrodynamics (CQED) architecture, in which a quantum two-level system strongly couples to a single cavity mode. Originally implemented with atoms in optical cavities, CQED effects are now also observed with artificial atoms in solid-state environments. Such realizations of these systems exhibit fast dynamics, which makes them attractive candidates for devices including modulators and sources in high-throughput communications. However, these systems possess large photon out-coupling rates that obscure any quantum behavior at large excitation powers. Here, we have utilised a self-homodyning interferometric technique that fully employs the complex mode structure of our nanofabricated cavity to observe a quantum phenomenon known as the dynamic Mollow triplet. We expect this interference to facilitate the development of arbitrary on-chip quantum state generators, thereby strongly influencing quantum lithography, metrology, and imaging.
△ Less
Submitted 22 August, 2016; v1 submitted 13 December, 2015;
originally announced December 2015.
-
$\mathrm{CAT}(0)$ Extensions of Right-angled Coxeter Groups
Authors:
Charles Cunningham,
Andy Eisenberg,
Adam Piggott,
Kim Ruane
Abstract:
We show that any split extension of a right-angled Coxeter group $W_Γ$ by a generating automorphism of finite order acts faithfully and geometrically on a $\mathrm{CAT}(0)$ metric space.
We show that any split extension of a right-angled Coxeter group $W_Γ$ by a generating automorphism of finite order acts faithfully and geometrically on a $\mathrm{CAT}(0)$ metric space.
△ Less
Submitted 21 August, 2015;
originally announced August 2015.
-
Direct Bandgap Light Emission from Strained Ge Nanowires Coupled with High-Q Optical Cavities
Authors:
Jan Petykiewicz,
Donguk Nam,
David S. Sukhdeo,
Shashank Gupta,
Sonia Buckley,
Alexander Y. Piggott,
Jelena Vučković,
Krishna C. Saraswat
Abstract:
A silicon-compatible light source is the final missing piece for completing high-speed, low-power on-chip optical interconnects. In this paper, we present a germanium-based light emitter that encompasses all the aspects of potential low-threshold lasers: highly strained germanium gain medium, strain-induced pseudo-heterostructure, and high-Q optical cavity. Our light emitting structure presents gr…
▽ More
A silicon-compatible light source is the final missing piece for completing high-speed, low-power on-chip optical interconnects. In this paper, we present a germanium-based light emitter that encompasses all the aspects of potential low-threshold lasers: highly strained germanium gain medium, strain-induced pseudo-heterostructure, and high-Q optical cavity. Our light emitting structure presents greatly enhanced photoluminescence into cavity modes with measured quality factors of up to 2,000. The emission wavelength is tuned over more than 400 nm with a single lithography step. We find increased optical gain in optical cavities formed with germanium under high (>2.3%) tensile strain. Through quantitative analysis of gain/loss mechanisms, we find that free carrier absorption from the hole bands dominates the gain, resulting in no net gain even from highly strained, n-type doped germanium.
△ Less
Submitted 5 August, 2015;
originally announced August 2015.
-
Inverse design and demonstration of a compact and broadband on-chip wavelength demultiplexer
Authors:
Alexander Y. Piggott,
Jesse Lu,
Konstantinos G. Lagoudakis,
Jan Petykiewicz,
Thomas M. Babinec,
Jelena Vučković
Abstract:
Integrated photonic devices are poised to play a key role in a wide variety of applications, ranging from optical interconnects and sensors to quantum computing. However, only a small library of semi-analytically designed devices are currently known. In this paper, we demonstrate the use of an inverse design method that explores the full design space of fabricable devices and allows us to design d…
▽ More
Integrated photonic devices are poised to play a key role in a wide variety of applications, ranging from optical interconnects and sensors to quantum computing. However, only a small library of semi-analytically designed devices are currently known. In this paper, we demonstrate the use of an inverse design method that explores the full design space of fabricable devices and allows us to design devices with previously unattainable functionality, higher performance and robustness, and smaller footprints compared to conventional devices. We designed a silicon wavelength demultiplexer that splits $1300~\mathrm{nm}$ and $1550~\mathrm{nm}$ light from an input waveguide into two output waveguides, and fabricated and characterized several devices. The devices display low insertion loss $\left(2 - 4~\mathrm{dB}\right)$, high contrast $\left(12 - 17~\mathrm{dB}\right)$, and wide bandwidths $\left(\sim 100~\mathrm{nm} \right)$. The device footprint is $2.8 \times 2.8 ~\mathrm{μm}$, making this the smallest dielectric wavelength splitter to date.
△ Less
Submitted 31 March, 2015;
originally announced April 2015.
-
Recognizing Right-Angled Coxeter Groups Using Involutions
Authors:
Charles Cunningham,
Andy Eisenberg,
Adam Piggott,
Kim Ruane
Abstract:
We consider the question of determining whether a given group (especially one generated by involutions) is a right-angled Coxeter group. We describe a group invariant, the involution graph, and we characterize the involution graphs of right-angled Coxeter groups. We use this characterization to describe a process for constructing candidate right-angled Coxeter presentations for a given group or pr…
▽ More
We consider the question of determining whether a given group (especially one generated by involutions) is a right-angled Coxeter group. We describe a group invariant, the involution graph, and we characterize the involution graphs of right-angled Coxeter groups. We use this characterization to describe a process for constructing candidate right-angled Coxeter presentations for a given group or proving that one cannot exist. We provide some first applications. In addition, we provide an elementary proof of rigidity of the defining graph for a right-angled Coxeter group. We also recover a result stating that if the defining graph contains no SILs, then Aut^0(W) is a right-angled Coxeter group.
△ Less
Submitted 2 December, 2015; v1 submitted 16 October, 2014;
originally announced October 2014.
-
Inverse design and implementation of a wavelength demultiplexing grating coupler
Authors:
Alexander Y. Piggott,
Jesse Lu,
Thomas M. Babinec,
Konstantinos G. Lagoudakis,
Jan Petykiewicz,
Jelena Vučković
Abstract:
Nanophotonics has emerged as a powerful tool for manipulating light on chips. Almost all of today's devices, however, have been designed using slow and ineffective brute-force search methods, leading in many cases to limited device performance. In this article, we provide a complete demonstration of our recently proposed inverse design technique, wherein the user specifies design constraints in th…
▽ More
Nanophotonics has emerged as a powerful tool for manipulating light on chips. Almost all of today's devices, however, have been designed using slow and ineffective brute-force search methods, leading in many cases to limited device performance. In this article, we provide a complete demonstration of our recently proposed inverse design technique, wherein the user specifies design constraints in the form of target fields rather than a dielectric constant profile, and in particular we use this method to demonstrate a new demultiplexing grating. The novel grating, which has not been developed using conventional techniques, accepts a vertical-incident Gaussian beam from a free-space and separates O-band $(1300\mathrm{nm})$ and C-band $(1550\mathrm{nm})$ light into separate waveguides. This inverse design concept is simple and extendable to a broad class of highly compact devices including frequency splitters, mode converters, and spatial mode multiplexers.
△ Less
Submitted 17 September, 2014; v1 submitted 24 June, 2014;
originally announced June 2014.
-
Photo-oxidative tuning of individual and coupled GaAs photonic crystal cavities
Authors:
Alexander Y. Piggott,
Konstantinos G. Lagoudakis,
Tomas Sarmiento,
Michal Bajcsy,
Gary Shambat,
Jelena Vučković
Abstract:
We demonstrate a new photo-induced oxidation technique for tuning GaAs photonic crystal cavities using a $390~\mathrm{nm}$ pulsed laser with an average power of $10~\mathrm{μW}$. The laser oxidizes a small $\left(\sim 500~\mathrm{nm}\right)$ diameter spot, reducing the local index of refraction and blueshifting the cavity. The tuning progress can be actively monitored in real time. We also demonst…
▽ More
We demonstrate a new photo-induced oxidation technique for tuning GaAs photonic crystal cavities using a $390~\mathrm{nm}$ pulsed laser with an average power of $10~\mathrm{μW}$. The laser oxidizes a small $\left(\sim 500~\mathrm{nm}\right)$ diameter spot, reducing the local index of refraction and blueshifting the cavity. The tuning progress can be actively monitored in real time. We also demonstrate tuning an individual cavity within a pair of proximity-coupled cavities, showing that this method can be used to correct undesired frequency shifts caused by fabrication imperfections in cavity arrays.
△ Less
Submitted 30 January, 2014; v1 submitted 23 January, 2014;
originally announced January 2014.
-
The Bieri-Neumann-Strebel Invariant of the Pure Symmetric Automorphisms of a Right-Angled Artin Group
Authors:
Nic Koban,
Adam Piggott
Abstract:
We compute the BNS-invariant for the pure symmetric automorphism groups of right-angled Artin groups. We use this calculation to show that the pure symmetric automorphism group of a right-angled Artin group is itself not a right-angled Artin group provided that its defining graph contains a separating intersection of links.
We compute the BNS-invariant for the pure symmetric automorphism groups of right-angled Artin groups. We use this calculation to show that the pure symmetric automorphism group of a right-angled Artin group is itself not a right-angled Artin group provided that its defining graph contains a separating intersection of links.
△ Less
Submitted 9 November, 2013;
originally announced November 2013.
-
Non-classical higher-order photon correlations with a quantum dot strongly coupled to a photonic-crystal nanocavity
Authors:
Armand Rundquist,
Michal Bajcsy,
Arka Majumdar,
Tomas Sarmiento,
Kevin Fischer,
Konstantinos G. Lagoudakis,
Sonia Buckley,
Alexander Y. Piggott,
Jelena Vuckovic
Abstract:
We use the third- and fourth-order autocorrelation functions $g^{(3)}(τ_1,τ_2)$ and $g^{(4)}(τ_1,τ_2, τ_3)$ to detect the non-classical character of the light transmitted through a photonic-crystal nanocavity containing a strongly-coupled quantum dot probed with a train of coherent light pulses. We contrast the value of $g^{(3)}(0, 0)$ with the conventionally used $g^{(2)}(0)$ and demonstrate that…
▽ More
We use the third- and fourth-order autocorrelation functions $g^{(3)}(τ_1,τ_2)$ and $g^{(4)}(τ_1,τ_2, τ_3)$ to detect the non-classical character of the light transmitted through a photonic-crystal nanocavity containing a strongly-coupled quantum dot probed with a train of coherent light pulses. We contrast the value of $g^{(3)}(0, 0)$ with the conventionally used $g^{(2)}(0)$ and demonstrate that in addition to being necessary for detecting two-photon states emitted by a low-intensity source, $g^{(3)}$ provides a more clear indication of the non-classical character of a light source. We also present preliminary data that demonstrates bunching in the fourth-order autocorrelation function $g^{(4)}(τ_1,τ_2, τ_3)$ as the first step toward detecting three-photon states.
△ Less
Submitted 12 August, 2014; v1 submitted 12 July, 2013;
originally announced July 2013.
-
The automorphism group of the free group of rank two is a CAT(0) group
Authors:
Adam Piggott,
Kim Ruane,
Genevieve S. Walsh
Abstract:
We prove that the automorphism group of the braid group on four strands acts faithfully and geometrically on a CAT(0) 2-complex. This implies that the automorphism group of the free group of rank two acts faithfully and geometrically on a CAT(0) 2-complex, in contrast to the situation for rank three and above.
We prove that the automorphism group of the braid group on four strands acts faithfully and geometrically on a CAT(0) 2-complex. This implies that the automorphism group of the free group of rank two acts faithfully and geometrically on a CAT(0) 2-complex, in contrast to the situation for rank three and above.
△ Less
Submitted 25 February, 2009; v1 submitted 11 September, 2008;
originally announced September 2008.
-
On the automorphisms of a graph product of abelian groups
Authors:
Mauricio Gutierrez,
Adam Piggott,
Kim Ruane
Abstract:
We study the automorphisms of a graph product of finitely-generated abelian groups W. More precisely, we study a natural subgroup Aut* W of Aut W, with Aut* W = Aut W whenever vertex groups are finite and in a number of other cases. We prove a number of structure results, including a semi-direct product decomposition of Aut* W in which one of the factors is Inn W. We also give a number of applic…
▽ More
We study the automorphisms of a graph product of finitely-generated abelian groups W. More precisely, we study a natural subgroup Aut* W of Aut W, with Aut* W = Aut W whenever vertex groups are finite and in a number of other cases. We prove a number of structure results, including a semi-direct product decomposition of Aut* W in which one of the factors is Inn W. We also give a number of applications, some of which are geometric in nature.
△ Less
Submitted 12 October, 2007;
originally announced October 2007.
-
Rigidity of graph products of abelian groups
Authors:
Mauricio Gutierrez,
Adam Piggott
Abstract:
We show that if $G$ is a group and $G$ has a graph-product decomposition with finitely-generated abelian vertex groups, then $G$ has two canonical decompositions as a graph product of groups: a unique decomposition in which each vertex group is a directly-indecomposable cyclic group, and a unique decomposition in which each vertex group is a finitely-generated abelian group and the graph satisfi…
▽ More
We show that if $G$ is a group and $G$ has a graph-product decomposition with finitely-generated abelian vertex groups, then $G$ has two canonical decompositions as a graph product of groups: a unique decomposition in which each vertex group is a directly-indecomposable cyclic group, and a unique decomposition in which each vertex group is a finitely-generated abelian group and the graph satisfies the $T_0$ property. Our results build on results by Droms, Laurence and Radcliffe.
△ Less
Submitted 12 October, 2007;
originally announced October 2007.
-
Palindromic primitives and palindromic bases in the free group of rank two
Authors:
Adam Piggott
Abstract:
The present paper records more details of the relationship between primitive elements and palindromes in F_2, the free group of rank two. We characterise the conjugacy classes of primitive elements which contain palindromes as those which contain cyclically reduced words of odd length. We identify large palindromic subwords of certain primitives in conjugacy classes which contain cyclically redu…
▽ More
The present paper records more details of the relationship between primitive elements and palindromes in F_2, the free group of rank two. We characterise the conjugacy classes of primitive elements which contain palindromes as those which contain cyclically reduced words of odd length. We identify large palindromic subwords of certain primitives in conjugacy classes which contain cyclically reduced words of even length. We show that under obvious conditions on exponent sums, pairs of palindromic primitives form palindromic bases for F_2. Further, we note that each cyclically reduced primitive element is either a palindrome, or the concatenation of two palindromes.
△ Less
Submitted 4 July, 2005;
originally announced July 2005.
-
Algorithmic constructions and primitive elements in the free group of rank 2
Authors:
Adam Piggott
Abstract:
The centrepiece of this paper is a normal form for primitive elements which facilitates the use of induction arguments to prove properties of primitive elements. The normal form arises from an elementary algorithm for constructing a primitive element p in F(x, y) with a given exponent sum pair (X, Y), if such an element p exists. Several results concerning the primitive elements of F(x, y) are r…
▽ More
The centrepiece of this paper is a normal form for primitive elements which facilitates the use of induction arguments to prove properties of primitive elements. The normal form arises from an elementary algorithm for constructing a primitive element p in F(x, y) with a given exponent sum pair (X, Y), if such an element p exists. Several results concerning the primitive elements of F(x, y) are recast as applications of the algorithm and the normal form.
△ Less
Submitted 25 April, 2005; v1 submitted 20 April, 2005;
originally announced April 2005.
-
Detecting the growth of free group automorphisms by their action on the homology of subgroups of finite index
Authors:
Adam Piggott
Abstract:
We prove that if F is a finitely generated free group and f:F -> F is an automorphism with polynomial growth of degree d, then there exists a characteristic subgroup S < F of finite index such that the induced automorphism of the abelianisation of S also grows polynomially of degree d. The proof is geometric in nature and makes use of improved relative train track representatives.
We prove that if F is a finitely generated free group and f:F -> F is an automorphism with polynomial growth of degree d, then there exists a characteristic subgroup S < F of finite index such that the induced automorphism of the abelianisation of S also grows polynomially of degree d. The proof is geometric in nature and makes use of improved relative train track representatives.
△ Less
Submitted 18 September, 2004;
originally announced September 2004.
