-
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
Authors:
Razin A. Shaikh,
Lia Yeh,
Stefano Gogioso
Abstract:
While the ZX and ZW calculi have been effective as graphical reasoning tools for finite-dimensional quantum computation, the possibilities for continuous-variable quantum computation (CVQC) in infinite-dimensional Hilbert space are only beginning to be explored. In this work, we formulate a graphical language for CVQC. Each diagram is an undirected graph made of two types of spiders: the Z spider…
▽ More
While the ZX and ZW calculi have been effective as graphical reasoning tools for finite-dimensional quantum computation, the possibilities for continuous-variable quantum computation (CVQC) in infinite-dimensional Hilbert space are only beginning to be explored. In this work, we formulate a graphical language for CVQC. Each diagram is an undirected graph made of two types of spiders: the Z spider from the ZX calculus defined on the reals, and the newly introduced Fock spider defined on the natural numbers. The Z and X spiders represent functions in position and momentum space respectively, while the Fock spider represents functions in the discrete Fock basis. In addition to the Fourier transform between Z and X, and the Hermite transform between Z and Fock, we present exciting new graphical rules capturing heftier CVQC interactions.
We ensure this calculus is complete for all of Gaussian CVQC interpreted in infinite-dimensional Hilbert space, by translating the completeness in affine Lagrangian relations by Booth, Carette, and Comfort. Applying our calculus for quantum error correction, we derive graphical representations of the Gottesman-Kitaev-Preskill (GKP) code encoder, syndrome measurement, and magic state distillation of Hadamard eigenstates. Finally, we elucidate Gaussian boson sampling by providing a fully graphical proof that its circuit samples submatrix hafnians.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits
Authors:
Andrew N. Glaudell,
Neil J. Ross,
John van de Wetering,
Lia Yeh
Abstract:
It is known that the matrices that can be exactly represented by a multiqubit circuit over the Toffoli+Hadamard, Clifford+$T$, or, more generally, Clifford-cyclotomic gate set are precisely the unitary matrices with entries in the ring $\mathbb{Z}[1/2, ζ_k]$, where $k$ is a positive integer that depends on the gate set and $ζ_k$ is a primitive $2^k$-th root of unity. In the present paper, we estab…
▽ More
It is known that the matrices that can be exactly represented by a multiqubit circuit over the Toffoli+Hadamard, Clifford+$T$, or, more generally, Clifford-cyclotomic gate set are precisely the unitary matrices with entries in the ring $\mathbb{Z}[1/2, ζ_k]$, where $k$ is a positive integer that depends on the gate set and $ζ_k$ is a primitive $2^k$-th root of unity. In the present paper, we establish an analogous correspondence for qutrits. We define the multiqutrit Clifford-cyclotomic gate set of degree $3^k$ by extending the classical qutrit gates $X$, $CX$, and $CCX$ with the Hadamard gate $H$ and the $T_k$ gate $T_k=\mathrm{diag}(1,ω_k, ω_k^2)$, where $ω_k$ is a primitive $3^k$-th root of unity. This gate set is equivalent to the qutrit Toffoli+Hadamard gate set when $k=1$, and to the qutrit Clifford+$T_k$ gate set when $k>1$. We then prove that a $3^n\times 3^n$ unitary matrix $U$ can be represented by an $n$-qutrit circuit over the Clifford-cyclotomic gate set of degree $3^k$ if and only if the entries of $U$ lie in the ring $\mathbb{Z}[1/3,ω_k]$.
△ Less
Submitted 18 June, 2024; v1 submitted 13 May, 2024;
originally announced May 2024.
-
Auditable Homomorphic-based Decentralized Collaborative AI with Attribute-based Differential Privacy
Authors:
Lo-Yao Yeh,
Sheng-Po Tseng,
Chia-Hsun Lu,
Chih-Ya Shen
Abstract:
In recent years, the notion of federated learning (FL) has led to the new paradigm of distributed artificial intelligence (AI) with privacy preservation. However, most current FL systems suffer from data privacy issues due to the requirement of a trusted third party. Although some previous works introduce differential privacy to protect the data, however, it may also significantly deteriorate the…
▽ More
In recent years, the notion of federated learning (FL) has led to the new paradigm of distributed artificial intelligence (AI) with privacy preservation. However, most current FL systems suffer from data privacy issues due to the requirement of a trusted third party. Although some previous works introduce differential privacy to protect the data, however, it may also significantly deteriorate the model performance. To address these issues, we propose a novel decentralized collaborative AI framework, named Auditable Homomorphic-based Decentralised Collaborative AI (AerisAI), to improve security with homomorphic encryption and fine-grained differential privacy. Our proposed AerisAI directly aggregates the encrypted parameters with a blockchain-based smart contract to get rid of the need of a trusted third party. We also propose a brand-new concept for eliminating the negative impacts of differential privacy for model performance. Moreover, the proposed AerisAI also provides the broadcast-aware group key management based on ciphertext-policy attribute-based encryption (CPABE) to achieve fine-grained access control based on different service-level agreements. We provide a formal theoretical analysis of the proposed AerisAI as well as the functionality comparison with the other baselines. We also conduct extensive experiments on real datasets to evaluate the proposed approach. The experimental results indicate that our proposed AerisAI significantly outperforms the other state-of-the-art baselines.
△ Less
Submitted 28 February, 2024;
originally announced March 2024.
-
Constraining Planetary Formation Models Using Conditional Occurrences of Various Planet Types
Authors:
Sridhar Gajendran,
Ing-Guey Jiang,
Li-Chin Yeh,
Devesh P. Sariya
Abstract:
We report the conditional occurrences between three planetary types: super-Earths (m sin i $<$ 10 M$_\oplus$, P $<$ 100 days), warm Jupiters (m sin i $>$ 95 $M_\oplus$, 10 $<$ P $<$ 100 days), and cold Jupiters (m sin i $>$ 95 M$_\oplus$, P $>$ 400 days) for sun-like stars. We find that while the occurrence of cold Jupiters in systems with super-Earths is $22.2\substack{+8.3\\-5.4}$$\%$, compared…
▽ More
We report the conditional occurrences between three planetary types: super-Earths (m sin i $<$ 10 M$_\oplus$, P $<$ 100 days), warm Jupiters (m sin i $>$ 95 $M_\oplus$, 10 $<$ P $<$ 100 days), and cold Jupiters (m sin i $>$ 95 M$_\oplus$, P $>$ 400 days) for sun-like stars. We find that while the occurrence of cold Jupiters in systems with super-Earths is $22.2\substack{+8.3\\-5.4}$$\%$, compared to $10$$\%$ for the absolute occurrence rate of cold Jupiters, the occurrence of super-Earths in systems with cold Jupiters is $66.0\substack{+18.0\\-16.0}$$\%$, compared to $30$$\%$ for the absolute occurrence rate of super-Earths for sun-like stars. We find that the enhancement of super-Earths in systems with cold Jupiters is evident for sun-like stars, in agreement with several previous studies. We also conduct occurrence studies between warm Jupiters and super-Earths, and between warm Jupiters and cold Jupiters, to consolidate our methods. We conduct an independent observational test to study the effects of cold Jupiters against the inner multiplicity using the well-established giant planet host star metallicity correlation for all transiting planets found to date. The conditional occurrences we find here can be used to constrain the validity of various planetary formation models. The extremely interesting correlations between the super-Earths, cold Jupiters, and warm Jupiters can also be used to understand the formation histories of these planetary types.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Clifford-algebraic formulation of nonlinear conformal transformations in electrodynamics
Authors:
Leehwa Yeh
Abstract:
We derive a set of Clifford-algebraic formulas for two major nonlinear conformal transformations of the physical quantities related to Maxwell's equations. The superiority of these formulas over their vector-tensorial counterparts are demonstrated through three illustrative examples.
We derive a set of Clifford-algebraic formulas for two major nonlinear conformal transformations of the physical quantities related to Maxwell's equations. The superiority of these formulas over their vector-tensorial counterparts are demonstrated through three illustrative examples.
△ Less
Submitted 20 December, 2023;
originally announced January 2024.
-
Quantum Picturalism: Learning Quantum Theory in High School
Authors:
Selma Dündar-Coecke,
Lia Yeh,
Caterina Puca,
Sieglinde M. -L. Pfaendler,
Muhammad Hamza Waseem,
Thomas Cervoni,
Aleks Kissinger,
Stefano Gogioso,
Bob Coecke
Abstract:
Quantum theory is often regarded as challenging to learn and teach, with advanced mathematical prerequisites ranging from complex numbers and probability theory to matrix multiplication, vector space algebra and symbolic manipulation within the Hilbert space formalism. It is traditionally considered an advanced undergraduate or graduate-level subject.
In this work, we challenge the conventional…
▽ More
Quantum theory is often regarded as challenging to learn and teach, with advanced mathematical prerequisites ranging from complex numbers and probability theory to matrix multiplication, vector space algebra and symbolic manipulation within the Hilbert space formalism. It is traditionally considered an advanced undergraduate or graduate-level subject.
In this work, we challenge the conventional view by proposing "Quantum Picturalism" as a new approach to teaching the fundamental concepts of quantum theory and computation. We establish the foundations and methodology for an ongoing educational experiment to investigate the question "From what age can students learn quantum theory if taught using a diagrammatic approach?". We anticipate that the primary benefit of leveraging such a diagrammatic approach, which is conceptually intuitive yet mathematically rigorous, will be eliminating some of the most daunting barriers to teaching and learning this subject while enabling young learners to reason proficiently about high-level problems. We posit that transitioning from symbolic presentations to pictorial ones will increase the appeal of STEM education, attracting more diverse audience.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Searching for Candidates of Orbital Decays among Transit Exoplanets
Authors:
Li-Chin Yeh,
Ing-Guey Jiang,
Napaporn A-thano
Abstract:
Transit observations have become an important technique to probe exoplanets. Therefore, there are many projects carrying on organized observations of transit events, which make a huge amount of light-curve and transit timing data available. We consider this as an excellent opportunity to search for possible orbital decays of exoplanets from this big number of mid-transit times through data-model f…
▽ More
Transit observations have become an important technique to probe exoplanets. Therefore, there are many projects carrying on organized observations of transit events, which make a huge amount of light-curve and transit timing data available. We consider this as an excellent opportunity to search for possible orbital decays of exoplanets from this big number of mid-transit times through data-model fitting with both fixed-orbit and orbit-decay models. In order to perform this task, we collect mid-transit-time data from several sources and construct the most complete database up to date. Among 144 hot Jupiters in our study, HAT-P-51b, HAT-P-53b, TrES-5b, WASP-12b are classified as the orbit-decay cases. Thus, in addition to reconfirming WASP-12b as an orbit-decay planet, our results indicate that HAT-P-51b, HAT-P-53b, TrES-5b are potential orbit-decay candidates.
△ Less
Submitted 13 October, 2023;
originally announced October 2023.
-
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
Authors:
Patrick Roy,
John van de Wetering,
Lia Yeh
Abstract:
We introduce the qudit ZH-calculus and show how to generalise all the phase-free qubit rules to qudits. We prove that for prime dimensions d, the phase-free qudit ZH-calculus is universal for matrices over the ring Z[e^2(pi)i/d]. For qubits, there is a strong connection between phase-free ZH-diagrams and Toffoli+Hadamard circuits, a computationally universal fragment of quantum circuits. We genera…
▽ More
We introduce the qudit ZH-calculus and show how to generalise all the phase-free qubit rules to qudits. We prove that for prime dimensions d, the phase-free qudit ZH-calculus is universal for matrices over the ring Z[e^2(pi)i/d]. For qubits, there is a strong connection between phase-free ZH-diagrams and Toffoli+Hadamard circuits, a computationally universal fragment of quantum circuits. We generalise this connection to qudits, by finding that the two-qudit |0>-controlled X gate can be used to construct all classical reversible qudit logic circuits in any odd qudit dimension, which for qubits requires the three-qubit Toffoli gate. We prove that our construction is asymptotically optimal up to a logarithmic term. Twenty years after the celebrated result by Shi proving universality of Toffoli+Hadamard for qubits, we prove that circuits of |0>-controlled X and Hadamard gates are approximately universal for qudit quantum computing for any odd prime d, and moreover that phase-free ZH-diagrams correspond precisely to such circuits allowing post-selections.
△ Less
Submitted 1 September, 2023; v1 submitted 19 July, 2023;
originally announced July 2023.
-
Graphical CSS Code Transformation Using ZX Calculus
Authors:
Jiaxin Huang,
Sarah Meng Li,
Lia Yeh,
Aleks Kissinger,
Michele Mosca,
Michael Vasmer
Abstract:
In this work, we present a generic approach to transform CSS codes by building upon their equivalence to phase-free ZX diagrams. Using the ZX calculus, we demonstrate diagrammatic transformations between encoding maps associated with different codes. As a motivating example, we give explicit transformations between the Steane code and the quantum Reed-Muller code, since by switching between these…
▽ More
In this work, we present a generic approach to transform CSS codes by building upon their equivalence to phase-free ZX diagrams. Using the ZX calculus, we demonstrate diagrammatic transformations between encoding maps associated with different codes. As a motivating example, we give explicit transformations between the Steane code and the quantum Reed-Muller code, since by switching between these two codes, one can obtain a fault-tolerant universal gate set. To this end, we propose a bidirectional rewrite rule to find a (not necessarily transversal) physical implementation for any logical ZX diagram in any CSS code.
Then we focus on two code transformation techniques: code morphing, a procedure that transforms a code while retaining its fault-tolerant gates, and gauge fixing, where complimentary codes can be obtained from a common subsystem code (e.g., the Steane and the quantum Reed-Muller codes from the [[15,1,3,3]] code). We provide explicit graphical derivations for these techniques and show how ZX and graphical encoder maps relate several equivalent perspectives on these code-transforming operations.
△ Less
Submitted 1 September, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
Authors:
Boldizsár Poór,
Robert I. Booth,
Titouan Carette,
John van de Wetering,
Lia Yeh
Abstract:
We present a smorgasbord of results on the stabiliser ZX-calculus for odd prime-dimensional qudits (i.e. qupits). We derive a simplified rule set that closely resembles the original rules of qubit ZX-calculus. Using these rules, we demonstrate analogues of the spider-removing local complementation and pivoting rules. This allows for efficient reduction of diagrams to the affine with phases normal…
▽ More
We present a smorgasbord of results on the stabiliser ZX-calculus for odd prime-dimensional qudits (i.e. qupits). We derive a simplified rule set that closely resembles the original rules of qubit ZX-calculus. Using these rules, we demonstrate analogues of the spider-removing local complementation and pivoting rules. This allows for efficient reduction of diagrams to the affine with phases normal form. We also demonstrate a reduction to a unique form, providing an alternative and simpler proof of completeness. Furthermore, we introduce a different reduction to the graph state with local Cliffords normal form, which leads to a novel layered decomposition for qupit Clifford unitaries. Additionally, we propose a new approach to handle scalars formally, closely reflecting their practical usage. Finally, we have implemented many of these findings in DiZX, a new open-source Python library for qudit ZX-diagrammatic reasoning.
△ Less
Submitted 31 August, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Light-Matter Interaction in the ZXW Calculus
Authors:
Giovanni de Felice,
Razin A. Shaikh,
Boldizsár Poór,
Lia Yeh,
Quanlong Wang,
Bob Coecke
Abstract:
In this paper, we develop a graphical calculus to rewrite photonic circuits involving light-matter interactions and non-linear optical effects. We introduce the infinite ZW calculus, a graphical language for linear operators on the bosonic Fock space which captures both linear and non-linear photonic circuits. This calculus is obtained by combining the QPath calculus, a diagrammatic language for l…
▽ More
In this paper, we develop a graphical calculus to rewrite photonic circuits involving light-matter interactions and non-linear optical effects. We introduce the infinite ZW calculus, a graphical language for linear operators on the bosonic Fock space which captures both linear and non-linear photonic circuits. This calculus is obtained by combining the QPath calculus, a diagrammatic language for linear optics, and the recently developed qudit ZXW calculus, a complete axiomatisation of linear maps between qudits. It comes with a 'lifting' theorem allowing to prove equalities between infinite operators by rewriting in the ZXW calculus. We give a method for representing bosonic and fermionic Hamiltonians in the infinite ZW calculus. This allows us to derive their exponentials by diagrammatic reasoning. Examples include phase shifts and beam splitters, as well as non-linear Kerr media and Jaynes-Cummings light-matter interaction.
△ Less
Submitted 31 August, 2023; v1 submitted 3 June, 2023;
originally announced June 2023.
-
Scaling W state circuits in the qudit Clifford hierarchy
Authors:
Lia Yeh
Abstract:
We identify a novel qudit gate which we call the $\sqrt[d]{Z}$ gate. This is an alternate generalization of the qutrit $T$ gate to any odd prime dimension $d$, in the $d^{\text{th}}$ level of the Clifford hierarchy. Using this gate which is efficiently realizable fault-tolerantly should a certain conjecture hold, we deterministically construct in the Clifford+$\sqrt[d]{Z}$ gate set, $d$-qubit $W$…
▽ More
We identify a novel qudit gate which we call the $\sqrt[d]{Z}$ gate. This is an alternate generalization of the qutrit $T$ gate to any odd prime dimension $d$, in the $d^{\text{th}}$ level of the Clifford hierarchy. Using this gate which is efficiently realizable fault-tolerantly should a certain conjecture hold, we deterministically construct in the Clifford+$\sqrt[d]{Z}$ gate set, $d$-qubit $W$ states in the qudit $\{ |0\rangle , |1\rangle \}$ subspace. For qutrits, this gives deterministic and fault-tolerant constructions for the qubit $W$ state of sizes three with $T$ count 3, six, and powers of three.
Furthermore, we adapt these constructions to recursively scale the $W$ state size to arbitrary size $N$, in $O(N)$ gate count and $O(\text{log }N)$ depth. This is moreover deterministic for any size qubit $W$ state, and for any prime $d$-dimensional qudit $W$ state, size a power of $d$.
For these purposes, we devise constructions of the $ |0\rangle $-controlled Pauli $X$ gate and the controlled Hadamard gate in any prime qudit dimension. These decompositions, for which exact synthesis is unknown in Clifford+$T$ for $d > 3$, may be of independent interest.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Revisiting the Transit Timing and Atmosphere Characterization of the Neptune-mass Planet HAT-P-26 b
Authors:
Napaporn A-thano,
Supachai Awiphan,
Ing-Guey Jiang,
Eamonn Kerins,
Akshay Priyadarshi,
Iain McDonald,
Yogesh C. Joshi,
Thansuda Chulikorn,
Joshua J. C. Hayes,
Stephen Charles,
Chung-Kai Huang,
Ronnakrit Rattanamala,
Li-Chin Yeh,
Vik S Dhillon
Abstract:
We present the transit timing variation (TTV) and planetary atmosphere analysis of the Neptune-mass planet HAT-P-26~b. We present a new set of 13 transit light curves from optical ground-based observations and combine them with light curves from the Wide Field Camera 3 (WFC3) on the Hubble Space Telescope (HST), Transiting Exoplanet Survey Satellite (TESS), and previously published ground-based da…
▽ More
We present the transit timing variation (TTV) and planetary atmosphere analysis of the Neptune-mass planet HAT-P-26~b. We present a new set of 13 transit light curves from optical ground-based observations and combine them with light curves from the Wide Field Camera 3 (WFC3) on the Hubble Space Telescope (HST), Transiting Exoplanet Survey Satellite (TESS), and previously published ground-based data. We refine the planetary parameters of HAT-P-26 b and undertake a TTV analysis using 33 transits obtained over seven years. The TTV analysis shows an amplitude signal of 1.98 $\pm$ 0.05 minutes, which could result from the presence of an additional $0.02 M_{Jup}$ planet at the 1:2 mean-motion resonance orbit. Using a combination of transit depths spanning optical to near-infrared wavelengths, we find that the atmosphere of HAT-P-26 b contains $2.4^{+2.9}_{-1.6}$% of H$_2$O with a derived temperature of $590^{+60}_{-50}$ K.
△ Less
Submitted 27 September, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
Authors:
Boldizsár Poór,
Quanlong Wang,
Razin A. Shaikh,
Lia Yeh,
Richie Yeung,
Bob Coecke
Abstract:
The ZX-calculus is a universal graphical language for qubit quantum computation, meaning that every linear map between qubits can be expressed in the ZX-calculus. Furthermore, it is a complete graphical rewrite system: any equation involving linear maps that is derivable in the Hilbert space formalism for quantum theory can also be derived in the calculus by rewriting. It has widespread usage with…
▽ More
The ZX-calculus is a universal graphical language for qubit quantum computation, meaning that every linear map between qubits can be expressed in the ZX-calculus. Furthermore, it is a complete graphical rewrite system: any equation involving linear maps that is derivable in the Hilbert space formalism for quantum theory can also be derived in the calculus by rewriting. It has widespread usage within quantum industry and academia for a variety of tasks such as quantum circuit optimisation, error-correction, and education.
The ZW-calculus is an alternative universal graphical language that is also complete for qubit quantum computing. In fact, its completeness was used to prove that the ZX-calculus is universally complete. This calculus has advanced how quantum circuits are compiled into photonic hardware architectures in the industry.
Recently, by combining these two calculi, a new calculus has emerged for qubit quantum computation, the ZXW-calculus. Using this calculus, graphical-differentiation, -integration, and -exponentiation were made possible, thus enabling the development of novel techniques in the domains of quantum machine learning and quantum chemistry.
Here, we generalise the ZXW-calculus to arbitrary finite dimensions, that is, to qudits. Moreover, we prove that this graphical rewrite system is complete for any finite dimension. This is the first completeness result for any universal graphical language beyond qubits.
△ Less
Submitted 27 April, 2023; v1 submitted 23 February, 2023;
originally announced February 2023.
-
Quantum computing online workshops and hackathon for Spanish speakers: A case study
Authors:
Alberto Maldonado-Romo,
Lia Yeh
Abstract:
We discuss the challenges and findings of organizing an online event in Spanish, consisting of a series of introductory workshops leading up to a quantum hackathon for Latin America. 220 Spanish speakers were registered, 66% of whom self-identified as being at an introductory level of quantum computing. We gain a better picture of the impact of quantum computing in Latin America, and the importanc…
▽ More
We discuss the challenges and findings of organizing an online event in Spanish, consisting of a series of introductory workshops leading up to a quantum hackathon for Latin America. 220 Spanish speakers were registered, 66% of whom self-identified as being at an introductory level of quantum computing. We gain a better picture of the impact of quantum computing in Latin America, and the importance of generating educational resources in Spanish about quantum computing. Additionally, we report results on surveying the participants by country; educational status; self-reported levels of quantum computing, linear algebra, and Python competency; and their areas of interest within quantum.
This event was organized by Quantum Universal Education with the Centro de Investigación en Computación del Instituto Politécnico Nacional (CIC-IPN) as the host institution, in collaboration with a number of organizations and companies: IBM Quantum, Xanadu, Multiverse Computing, Quantum Universal Education, Quantum Hispano, QMexico, Haq.ai, Dive in Learning. This was part of a larger event, the Qiskit Fall Fest 2021, as one of several hackathons organized around the world in a similar span of time. In each Qiskit Fall Fest hackathon, participants were challenged to form teams of up to 5, to develop in 5 days a project using the IBM Qiskit framework.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
ezCoref: Towards Unifying Annotation Guidelines for Coreference Resolution
Authors:
Ankita Gupta,
Marzena Karpinska,
Wenlong Zhao,
Kalpesh Krishna,
Jack Merullo,
Luke Yeh,
Mohit Iyyer,
Brendan O'Connor
Abstract:
Large-scale, high-quality corpora are critical for advancing research in coreference resolution. However, existing datasets vary in their definition of coreferences and have been collected via complex and lengthy guidelines that are curated for linguistic experts. These concerns have sparked a growing interest among researchers to curate a unified set of guidelines suitable for annotators with var…
▽ More
Large-scale, high-quality corpora are critical for advancing research in coreference resolution. However, existing datasets vary in their definition of coreferences and have been collected via complex and lengthy guidelines that are curated for linguistic experts. These concerns have sparked a growing interest among researchers to curate a unified set of guidelines suitable for annotators with various backgrounds. In this work, we develop a crowdsourcing-friendly coreference annotation methodology, ezCoref, consisting of an annotation tool and an interactive tutorial. We use ezCoref to re-annotate 240 passages from seven existing English coreference datasets (spanning fiction, news, and multiple other domains) while teaching annotators only cases that are treated similarly across these datasets. Surprisingly, we find that reasonable quality annotations were already achievable (>90% agreement between the crowd and expert annotations) even without extensive training. On carefully analyzing the remaining disagreements, we identify the presence of linguistic cases that our annotators unanimously agree upon but lack unified treatments (e.g., generic pronouns, appositives) in existing datasets. We propose the research community should revisit these phenomena when curating future unified annotation guidelines.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
Revisiting the Transit Timing Variations in the TrES-3 and Qatar-1 systems with TESS data
Authors:
Vineet Kumar Mannaday,
Parijat Thakur,
John Southworth,
Ing-Guey Jiang,
D. K. Sahu,
Luigi Mancini,
M. Vaňko,
Emil Kundra,
Pavol Gajdoš,
Napaporn A-thano,
Devesh P. Sariya,
Li-Chin Yeh,
Evgeny Griv,
David Mkrtichian,
Aleksey Shlyapnikov
Abstract:
We present and analyze 58 transit light curves of TrES-3b and 98 transit light curves of Qatar-1b observed by Transiting Exoplanet Survey Satellite (TESS), plus two transit light curves of Qatar-1b observed by us using a ground-based 1.23\,m telescope. These light curves are combined with the best-quality light curves taken from the Exoplanet Transit Database (ETD) and literature. The precisely de…
▽ More
We present and analyze 58 transit light curves of TrES-3b and 98 transit light curves of Qatar-1b observed by Transiting Exoplanet Survey Satellite (TESS), plus two transit light curves of Qatar-1b observed by us using a ground-based 1.23\,m telescope. These light curves are combined with the best-quality light curves taken from the Exoplanet Transit Database (ETD) and literature. The precisely determined mid-transit times from these light curves enable us to obtain the refined orbital ephemerides with improved precision for both hot Jupiters. From the timing analysis, we find an indication for the presence of transit timing variations (TTVs) in both systems. Since the observed TTVs are unlikely to be short-term and periodic, the possibility of additional planets in the orbits close to TrES-3b and Qatar-1b are ruled out. Possible causes of long-term TTVs such as orbital decay, apsidal precession, the Applegate mechanism and line-of-sight acceleration are also examined. However, none of these possibilities are found to explain the observed TTV of TrES-3b. In contrast to this, the line-of-sight acceleration appears to be a plausible explanation for the observed TTV of Qatar-1b. In order to confirm these findings, further high-precision transit and RV observations of both systems would be worthwhile.
△ Less
Submitted 8 September, 2022;
originally announced September 2022.
-
Twinkle -- a small satellite spectroscopy mission for the next phase of exoplanet science
Authors:
Ian Stotesbury,
Billy Edwards,
Jean-Francois Lavigne,
Vasco Pesquita,
James J. Veilleux,
Philip Windred,
Ahmed Al-Refaie,
Lawrence Bradley,
Sushuang Ma,
Giorgio Savini,
Giovanna Tinetti,
Til Birnstiel,
Sally Dodson-Robinson,
Barbara Ercolano,
Dax Feliz,
Scott Gaudi,
Nina Hernitschek,
Daniel Holdsworth,
Ing-Guey Jiang,
Matt Griffin,
Nataliea Lowson,
Karan Molaverdikhani,
Hilding Neilson,
Caprice Phillips,
Thomas Preibisch
, et al. (13 additional authors not shown)
Abstract:
With a focus on off-the-shelf components, Twinkle is the first in a series of cost competitive small satellites managed and financed by Blue Skies Space Ltd. The satellite is based on a high-heritage Airbus platform that will carry a 0.45 m telescope and a spectrometer which will provide simultaneous wavelength coverage from 0.5-4.5 $\rm{μm}$. The spacecraft prime is Airbus Stevenage while the tel…
▽ More
With a focus on off-the-shelf components, Twinkle is the first in a series of cost competitive small satellites managed and financed by Blue Skies Space Ltd. The satellite is based on a high-heritage Airbus platform that will carry a 0.45 m telescope and a spectrometer which will provide simultaneous wavelength coverage from 0.5-4.5 $\rm{μm}$. The spacecraft prime is Airbus Stevenage while the telescope is being developed by Airbus Toulouse and the spectrometer by ABB Canada. Scheduled to begin scientific operations in 2025, Twinkle will sit in a thermally-stable, sun-synchronous, low-Earth orbit. The mission has a designed operation lifetime of at least seven years and, during the first three years of operation, will conduct two large-scale survey programmes: one focused on Solar System objects and the other dedicated to extrasolar targets. Here we present an overview of the architecture of the mission, refinements in the design approach, and some of the key science themes of the extrasolar survey.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Wigner rotation and Euler angle parametrization
Authors:
Leehwa Yeh
Abstract:
Analogous to the famous Euler angle parametrization in three-dimensional Euclidean space, a reflection-free Lorentz transformation in (2+1)-dimensional Minkowski space can be decomposed into three simple parts. Applying this decomposition to the Wigner rotation problem, we are able to show the related mathematics becomes much simpler and the physical meanings more comprehensible and enlightening.
Analogous to the famous Euler angle parametrization in three-dimensional Euclidean space, a reflection-free Lorentz transformation in (2+1)-dimensional Minkowski space can be decomposed into three simple parts. Applying this decomposition to the Wigner rotation problem, we are able to show the related mathematics becomes much simpler and the physical meanings more comprehensible and enlightening.
△ Less
Submitted 28 December, 2023; v1 submitted 22 June, 2022;
originally announced June 2022.
-
Dynamic Structured Illumination Microscopy with a Neural Space-time Model
Authors:
Ruiming Cao,
Fanglin Linda Liu,
Li-Hao Yeh,
Laura Waller
Abstract:
Structured illumination microscopy (SIM) reconstructs a super-resolved image from multiple raw images captured with different illumination patterns; hence, acquisition speed is limited, making it unsuitable for dynamic scenes. We propose a new method, Speckle Flow SIM, that uses static patterned illumination with moving samples and models the sample motion during data capture in order to reconstru…
▽ More
Structured illumination microscopy (SIM) reconstructs a super-resolved image from multiple raw images captured with different illumination patterns; hence, acquisition speed is limited, making it unsuitable for dynamic scenes. We propose a new method, Speckle Flow SIM, that uses static patterned illumination with moving samples and models the sample motion during data capture in order to reconstruct the dynamic scene with super-resolution. Speckle Flow SIM relies on sample motion to capture a sequence of raw images. The spatio-temporal relationship of the dynamic scene is modeled using a neural space-time model with coordinate-based multi-layer perceptrons (MLPs), and the motion dynamics and the super-resolved scene are jointly recovered. We validate Speckle Flow SIM for coherent imaging in simulation and build a simple, inexpensive experimental setup with off-the-shelf components. We demonstrate that Speckle Flow SIM can reconstruct a dynamic scene with deformable motion and 1.88x the diffraction-limited resolution in experiment.
△ Less
Submitted 28 July, 2022; v1 submitted 3 June, 2022;
originally announced June 2022.
-
Building Qutrit Diagonal Gates from Phase Gadgets
Authors:
John van de Wetering,
Lia Yeh
Abstract:
Phase gadgets have proved to be an indispensable tool for reasoning about ZX-diagrams, being used in optimisation and simulation of quantum circuits and the theory of measurement-based quantum computation. In this paper we study phase gadgets for qutrits. We present the flexsymmetric variant of the original qutrit ZX-calculus, which allows for rewriting that is closer in spirit to the original (qu…
▽ More
Phase gadgets have proved to be an indispensable tool for reasoning about ZX-diagrams, being used in optimisation and simulation of quantum circuits and the theory of measurement-based quantum computation. In this paper we study phase gadgets for qutrits. We present the flexsymmetric variant of the original qutrit ZX-calculus, which allows for rewriting that is closer in spirit to the original (qubit) ZX-calculus. In this calculus phase gadgets look as you would expect, but there are non-trivial differences in their properties. We devise new qutrit-specific tricks to extend the graphical Fourier theory of qubits, resulting in a translation between the 'additive' phase gadgets and a 'multiplicative' counterpart we dub phase multipliers.
This enables us to generalise the qubit notion of multiple-control to qutrits in two ways. The first type is controlling on a single tritstring, while the second type applies the gate a number of times equal to the tritwise multiplication modulo 3 of the control qutrits.We show how both types of control can be implemented for any qutrit Z or X phase gate, ancilla-free, and using only Clifford and phase gates. The first requires a polynomial number of gates and exponentially small phases, while the second requires an exponential number of gates, but constant sized phases. This is interesting, because such a construction is not possible in the qubit setting.
As an application of these results we find a construction for emulating arbitrary qubit diagonal unitaries, and specifically find an ancilla-free emulation for the qubit CCZ gate that only requires three single-qutrit non-Clifford gates, provably lower than the four T gates needed for qubits with ancilla.
△ Less
Submitted 15 November, 2023; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Constructing all qutrit controlled Clifford+T gates in Clifford+T
Authors:
Lia Yeh,
John van de Wetering
Abstract:
For a number of useful quantum circuits, qudit constructions have been found which reduce resource requirements compared to the best known or best possible qubit construction. However, many of the necessary qutrit gates in these constructions have never been explicitly and efficiently constructed in a fault-tolerant manner. We show how to exactly and unitarily construct any qutrit multiple-control…
▽ More
For a number of useful quantum circuits, qudit constructions have been found which reduce resource requirements compared to the best known or best possible qubit construction. However, many of the necessary qutrit gates in these constructions have never been explicitly and efficiently constructed in a fault-tolerant manner. We show how to exactly and unitarily construct any qutrit multiple-controlled Clifford+T unitary using just Clifford+T gates and without using ancillae. The T-count to do so is polynomial in the number of controls $k$, scaling as $O(k^{3.585})$. With our results we can construct ancilla-free Clifford+T implementations of multiple-controlled T gates as well as all versions of the qutrit multiple-controlled Toffoli, while the analogous results for qubits are impossible. As an application of our results, we provide a procedure to implement any ternary classical reversible function on $n$ trits as an ancilla-free qutrit unitary using $O(3^n n^{3.585})$ T gates.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Qutrit metaplectic gates are a subset of Clifford+T
Authors:
Andrew Glaudell,
Neil J. Ross,
John van de Wetering,
Lia Yeh
Abstract:
A popular universal gate set for quantum computing with qubits is Clifford+T, as this can be readily implemented on many fault-tolerant architectures. For qutrits, there is an equivalent T gate, that, like its qubit analogue, makes Clifford+T approximately universal, is injectable by a magic state, and supports magic state distillation. However, it was claimed that a better gate set for qutrits mi…
▽ More
A popular universal gate set for quantum computing with qubits is Clifford+T, as this can be readily implemented on many fault-tolerant architectures. For qutrits, there is an equivalent T gate, that, like its qubit analogue, makes Clifford+T approximately universal, is injectable by a magic state, and supports magic state distillation. However, it was claimed that a better gate set for qutrits might be Clifford+R, where R=diag(1,1,-1) is the metaplectic gate, as certain protocols and gates could more easily be implemented using the R gate than the T gate. In this paper we show that when we have at least two qutrits, the qutrit Clifford+R unitaries form a strict subset of the Clifford+T unitaries, by finding a direct decomposition of $R \otimes \mathbb{I}$ as a Clifford+T circuit and proving that the T gate cannot be exactly synthesized in Clifford+R. This shows that in fact the T gate is at least as powerful as the R gate, up to a constant factor. Moreover, we additionally show that it is impossible to find a single-qutrit Clifford+T decomposition of the R gate, making our result tight.
△ Less
Submitted 21 February, 2022; v1 submitted 18 February, 2022;
originally announced February 2022.
-
Quantum Games and Interactive Tools for Quantum Technologies Outreach and Education
Authors:
Zeki C. Seskir,
Piotr Migdał,
Carrie Weidner,
Aditya Anupam,
Nicky Case,
Noah Davis,
Chiara Decaroli,
İlke Ercan,
Caterina Foti,
Paweł Gora,
Klementyna Jankiewicz,
Brian R. La Cour,
Jorge Yago Malo,
Sabrina Maniscalco,
Azad Naeemi,
Laurentiu Nita,
Nassim Parvin,
Fabio Scafirimuto,
Jacob F. Sherson,
Elif Surer,
James Wootton,
Lia Yeh,
Olga Zabello,
Marilù Chiofalo
Abstract:
In this article, we provide an extensive overview of a wide range of quantum games and interactive tools that have been employed by the community in recent years. The paper presents selected tools, as described by their developers. The list includes Hello Quantum, Hello Qiskit, Particle in a Box, Psi and Delta, QPlayLearn, Virtual Lab by Quantum Flytrap, Quantum Odyssey, ScienceAtHome, and The Vir…
▽ More
In this article, we provide an extensive overview of a wide range of quantum games and interactive tools that have been employed by the community in recent years. The paper presents selected tools, as described by their developers. The list includes Hello Quantum, Hello Qiskit, Particle in a Box, Psi and Delta, QPlayLearn, Virtual Lab by Quantum Flytrap, Quantum Odyssey, ScienceAtHome, and The Virtual Quantum Optics Laboratory. Additionally, we present events for quantum game development: hackathons, game jams, and semester projects. Furthermore, we discuss the Quantum Technologies Education for Everyone (QUTE4E) pilot project, which illustrates an effective integration of these interactive tools with quantum outreach and education activities. Finally, we aim at providing guidelines for incorporating quantum games and interactive tools in pedagogic materials to make quantum technologies more accessible for a wider population.
△ Less
Submitted 30 July, 2022; v1 submitted 15 February, 2022;
originally announced February 2022.
-
The Transit Timing and Atmosphere of Hot Jupiter HAT-P-37b
Authors:
Napaporn A-thano,
Ing-Guey Jiang,
Supachai Awiphan,
Ronnakrit Rattanamala,
Li-Hsin Su,
Torik Hengpiya,
Devesh P. Sariya,
Li-Chin Yeh,
A. A. Shlyapnikov,
Mark A. Gorbachev,
Alexey N. Rublevski,
Vineet Kumar Mannaday,
Parijat Thakur,
D. K. Sahu,
David Mkrtichian,
Evgeny Griv
Abstract:
The transit timing variation (TTV) and transmission spectroscopy analyses of the planet HAT-P-37b, which is a hot Jupiter orbiting an G-type star, were performed. Nine new transit light curves are obtained and analysed together with 21 published light curves from the literature. The updated physical parameters of HAT-P-37b are presented. The TTV analyses show a possibility that the system has an a…
▽ More
The transit timing variation (TTV) and transmission spectroscopy analyses of the planet HAT-P-37b, which is a hot Jupiter orbiting an G-type star, were performed. Nine new transit light curves are obtained and analysed together with 21 published light curves from the literature. The updated physical parameters of HAT-P-37b are presented. The TTV analyses show a possibility that the system has an additional planet which induced the TTVs amplitude signal of 1.74 $\pm$ 0.17 minutes. If the body is located near the 1:2 mean motion resonance orbit, the sinusoidal TTV signal could be caused by the gravitational interaction of a sub-Earth mass planet with mass of 0.06 $M_\oplus$. From the analysis of an upper mass limit for the second planet, the Saturn mass planet with orbital period less than 6 days is excluded. The broad-band transmission spectra of HAT-P-37b favours a cloudy atmospheric model with an outlier spectrum in $B$-filter.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Composing Conversational Negation
Authors:
Razin A. Shaikh,
Lia Yeh,
Benjamin Rodatz,
Bob Coecke
Abstract:
Negation in natural language does not follow Boolean logic and is therefore inherently difficult to model. In particular, it takes into account the broader understanding of what is being negated. In previous work, we proposed a framework for the negation of words that accounts for 'worldly context'. This paper extends that proposal now accounting for the compositional structure inherent in languag…
▽ More
Negation in natural language does not follow Boolean logic and is therefore inherently difficult to model. In particular, it takes into account the broader understanding of what is being negated. In previous work, we proposed a framework for the negation of words that accounts for 'worldly context'. This paper extends that proposal now accounting for the compositional structure inherent in language within the DisCoCirc framework. We compose the negations of single words to capture the negation of sentences. We also describe how to model the negation of words whose meanings evolve in the text.
△ Less
Submitted 3 November, 2022; v1 submitted 14 July, 2021;
originally announced July 2021.
-
Conversational Negation using Worldly Context in Compositional Distributional Semantics
Authors:
Benjamin Rodatz,
Razin A. Shaikh,
Lia Yeh
Abstract:
We propose a framework to model an operational conversational negation by applying worldly context (prior knowledge) to logical negation in compositional distributional semantics. Given a word, our framework can create its negation that is similar to how humans perceive negation. The framework corrects logical negation to weight meanings closer in the entailment hierarchy more than meanings furthe…
▽ More
We propose a framework to model an operational conversational negation by applying worldly context (prior knowledge) to logical negation in compositional distributional semantics. Given a word, our framework can create its negation that is similar to how humans perceive negation. The framework corrects logical negation to weight meanings closer in the entailment hierarchy more than meanings further apart. The proposed framework is flexible to accommodate different choices of logical negations, compositions, and worldly context generation. In particular, we propose and motivate a new logical negation using matrix inverse.
We validate the sensibility of our conversational negation framework by performing experiments, leveraging density matrices to encode graded entailment information. We conclude that the combination of subtraction negation and phaser in the basis of the negated word yields the highest Pearson correlation of 0.635 with human ratings.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
On the Period-Ratio-Mass-Ratio Correlation of Extra-Solar Multi-Planet Systems
Authors:
Sridhar Gajendran,
Li-Chin Yeh,
Ing-Guey Jiang
Abstract:
In order to gain possible hints for planet formation from the current data of known extra-solar planets, the period-ratios and mass-ratios of adjacent planet pairs in multi-planet systems are determined. A moderate period-ratio-mass-ratio correlation is found to have a correlation coefficient r=0.5779 with 99% confidence interval (0.464, 0.672). In contrast, for non-adjacent planet pairs, the corr…
▽ More
In order to gain possible hints for planet formation from the current data of known extra-solar planets, the period-ratios and mass-ratios of adjacent planet pairs in multi-planet systems are determined. A moderate period-ratio-mass-ratio correlation is found to have a correlation coefficient r=0.5779 with 99% confidence interval (0.464, 0.672). In contrast, for non-adjacent planet pairs, the correlation coefficient is r=0.2820 with 99% confidence interval (0.133, 0.419). Our results reveal the imprint of planet-planet interactions of the adjacent planet pairs in a certain fraction of the multi-planet systems during the stage of planet formation.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Searching for Possible Exoplanet Transits from BRITE Data through a Machine Learning Technique
Authors:
Li-Chin Yeh,
Ing-Guey Jiang
Abstract:
The photometric light curves of BRITE satellites were examined through a machine learning technique to investigate whether there are possible exoplanets moving around nearby bright stars. Focusing on different transit periods, several convolutional neural networks were constructed to search for transit candidates. The convolutional neural networks were trained with synthetic transit signals combin…
▽ More
The photometric light curves of BRITE satellites were examined through a machine learning technique to investigate whether there are possible exoplanets moving around nearby bright stars. Focusing on different transit periods, several convolutional neural networks were constructed to search for transit candidates. The convolutional neural networks were trained with synthetic transit signals combined with BRITE light curves until the accuracy rate was higher than 99.7 $\%$. Our method could efficiently lead to a small number of possible transit candidates. Among these ten candidates, two of them, HD37465, and HD186882 systems, were followed up through future observations with a higher priority. The codes of convolutional neural networks employed in this study are publicly available at http://www.phys.nthu.edu.tw/$\sim$jiang/BRITE2020YehJiangCNN.tar.gz.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
On the Scaling and Spacing of Extra-Solar Multi-Planet Systems
Authors:
Li-Chin Yeh,
Ing-Guey Jiang,
Sridhar Gajendran
Abstract:
We investigate whether certain extra-solar multi-planet systems simultaneously follow the scaling and spacing rules of the angular-momentum-deficit model. The masses and semi-major axes of exoplanets in ten multi-planet systems are considered. It is found that GJ 667C, HD 215152, HD 40307, and Kepler-79 systems are currently close to configurations of the angular-momentum-deficit model. In a gas-p…
▽ More
We investigate whether certain extra-solar multi-planet systems simultaneously follow the scaling and spacing rules of the angular-momentum-deficit model. The masses and semi-major axes of exoplanets in ten multi-planet systems are considered. It is found that GJ 667C, HD 215152, HD 40307, and Kepler-79 systems are currently close to configurations of the angular-momentum-deficit model. In a gas-poor scenario, GJ 3293, HD 141399, and HD 34445 systems are those which had a configuration of the angular-momentum-deficit model in the past and get scattered away due to post gaseous effects. In addition, no matter in gas-free or gas-poor scenario, 55 Cnc, GJ 876, and WASP-47 systems do not follow the angular-momentum-deficit model. Therefore, our results reveal important formation histories of these multi-planet systems.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
Non-Sinusoidal Transit Timing Variations for the Exoplanet HAT-P-12b
Authors:
Devesh P. Sariya,
Ing-Guey Jiang,
Li-Hsin Su,
Li-Chin Yeh,
Tze-En Chang,
V. V. Moskvin,
A. A. Shlyapnikov,
V. Ignatov,
David Mkrtichian,
Evgeny Griv,
Vineet Kumar Mannaday,
Parijat Thakur,
D. K. Sahu,
Swadesh Chand,
D. Bisht,
Zhao Sun,
Jianghui Ji
Abstract:
Considering the importance of investigating the transit timing variations (TTVs) of transiting exoplanets, we present a follow-up study of HAT-P-12b. We include six new light curves observed between 2011 and 2015 from three different observatories, in association with 25 light curves taken from the published literature. The sample of the data used, thus covers a time span of about 10.2 years with…
▽ More
Considering the importance of investigating the transit timing variations (TTVs) of transiting exoplanets, we present a follow-up study of HAT-P-12b. We include six new light curves observed between 2011 and 2015 from three different observatories, in association with 25 light curves taken from the published literature. The sample of the data used, thus covers a time span of about 10.2 years with a large coverage of epochs (1160) for the transiting events of the exoplanet HAT-P-12b. The light curves are used to determine the orbital parameters and conduct an investigation of possible transit timing variations. The new linear ephemeris shows a large value of reduced chi-square = 7.93, and the sinusoidal fitting using the prominent frequency coming from a periodogram shows a reduced chi-square around 4. Based on these values and the corresponding O-C diagrams, we suspect the presence of a possible non-sinusoidal TTV in this planetary system. Finally, we find that a scenario with an additional non-transiting exoplanet could explain this TTV with an even smaller reduced chi-square value of around 2.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
Are There Transit Timing Variations for the Exoplanet Qatar-1b ?
Authors:
Li-Hsin Su,
Ing-Guey Jiang,
Devesh P. Sariya,
Chiao-Yu Lee,
Li-Chin Yeh,
Vineet Kumar Mannaday,
Parijat Thakur,
D. K. Sahu,
Swadesh Chand,
A. A. Shlyapnikov,
V. V. Moskvin,
Vladimir Ignatov,
David Mkrtichian,
Evgeny Griv
Abstract:
Motivated by the unsettled conclusion on whether there are any transit timing variations (TTVs) for the exoplanet Qatar-1b, 10 new transit light curves are presented and the TTV analysis with a baseline of 1400 epochs are performed. Because the linear model provides a good fitting with reduced chi-square = 2.59 and the false-alarm probabilities of possible TTV frequencies are as large as 35 %, our…
▽ More
Motivated by the unsettled conclusion on whether there are any transit timing variations (TTVs) for the exoplanet Qatar-1b, 10 new transit light curves are presented and the TTV analysis with a baseline of 1400 epochs are performed. Because the linear model provides a good fitting with reduced chi-square = 2.59 and the false-alarm probabilities of possible TTV frequencies are as large as 35 %, our results are consistent with a null-TTV model. Nevertheless, a new ephemeris with the reference time T_0 = 2455647.63360\pm 0.00008 (BJD) and the period P= 1.4200236\pm 0.0000001 (day) is obtained. In addition, the updated orbital semi-major axis and planetary radius in unit of stellar radius are being provided, and the lower limit of modified stellar tidal quality factor is also determined.
△ Less
Submitted 17 December, 2020; v1 submitted 15 December, 2020;
originally announced December 2020.
-
Probing Transit Timing Variation and its Possible Origin with Twelve New Transits of TrES-3b
Authors:
Vineet Kumar Mannaday,
Parijat Thakur,
Ing-Guey Jiang,
D. K. Sahu,
Y. C. Joshi,
A. K. Pandey,
Santosh Joshi,
Ram Kesh Yadav,
Li-Hsin Su,
Devesh P. Sariya,
Li-Chin Yeh,
Evgeny Griv,
David Mkrtichian,
Aleksey Shlyapnikov,
Vasily Moskvin,
Vladimir Ignatov,
M. Vanko,
C. Püsküllü
Abstract:
We present twelve new transit light curves of the hot-Jupiter TrES-3b observed during $2012-2018$ to probe the transit timing variation (TTV). By combining the mid-transit times determined from these twelve transit data with those re-estimated through uniform procedure from seventy one transit data available in the literature, we derive new linear ephemeris and obtain the timing residuals that sug…
▽ More
We present twelve new transit light curves of the hot-Jupiter TrES-3b observed during $2012-2018$ to probe the transit timing variation (TTV). By combining the mid-transit times determined from these twelve transit data with those re-estimated through uniform procedure from seventy one transit data available in the literature, we derive new linear ephemeris and obtain the timing residuals that suggest the possibility of TTV in TrES-3 system. However, the frequency analysis shows that the possible TTV is unlikely to be periodic, indicating the absence of an additional body in this system. To explore the other possible origins of TTV, the orbital decay and apsidal precession ephemeris models are fitted to the transit time data. We find decay rate of TrES-3b to be $\bf \dot{P_q}= -4.1 \pm 3.1$ $ms$ ${yr}^{-1}$ and the corresponding estimated modified tidal quality factor of ${Q}^{'}_{\ast}$ $\sim 1.11 \times {10}^{5}$ is consistent with the theoretically predicted values for the stars hosting the hot-Jupiters. The shift in the transit arrival time of TrES-3b after eleven years is expected to be ${T}_{shift}\sim 69.55 \ s$, which is consistent with the $RMS$ of the timing residuals. Besides, we find that the apsidal precession ephemeris model is statistically less probable than the other considered ephemeris models. It is also discussed that despite the linear ephemeris model appears to be the most plausible model to represent the transit time data, the possibility of the orbital decay cannot be completely ruled out in TrES-3 system. In order to confirm this, further high-precision and high-cadence follow-up observation of transits of TrES-3b would be important.
△ Less
Submitted 31 May, 2020;
originally announced June 2020.
-
Investigating Sports Commentator Bias within a Large Corpus of American Football Broadcasts
Authors:
Jack Merullo,
Luke Yeh,
Abram Handler,
Alvin Grissom II,
Brendan O'Connor,
Mohit Iyyer
Abstract:
Sports broadcasters inject drama into play-by-play commentary by building team and player narratives through subjective analyses and anecdotes. Prior studies based on small datasets and manual coding show that such theatrics evince commentator bias in sports broadcasts. To examine this phenomenon, we assemble FOOTBALL, which contains 1,455 broadcast transcripts from American football games across…
▽ More
Sports broadcasters inject drama into play-by-play commentary by building team and player narratives through subjective analyses and anecdotes. Prior studies based on small datasets and manual coding show that such theatrics evince commentator bias in sports broadcasts. To examine this phenomenon, we assemble FOOTBALL, which contains 1,455 broadcast transcripts from American football games across six decades that are automatically annotated with 250K player mentions and linked with racial metadata. We identify major confounding factors for researchers examining racial bias in FOOTBALL, and perform a computational analysis that supports conclusions from prior social science studies.
△ Less
Submitted 18 October, 2019; v1 submitted 7 September, 2019;
originally announced September 2019.
-
Reporting the Unreported: Event Extraction for Analyzing the Local Representation of Hate Crimes
Authors:
Aida Mostafazadeh Davani,
Leigh Yeh,
Mohammad Atari,
Brendan Kennedy,
Gwenyth Portillo-Wightman,
Elaine Gonzalez,
Natalie Delong,
Rhea Bhatia,
Arineh Mirinjian,
Xiang Ren,
Morteza Dehghani
Abstract:
Official reports of hate crimes in the US are under-reported relative to the actual number of such incidents. Further, despite statistical approximations, there are no official reports from a large number of US cities regarding incidents of hate. Here, we first demonstrate that event extraction and multi-instance learning, applied to a corpus of local news articles, can be used to predict instance…
▽ More
Official reports of hate crimes in the US are under-reported relative to the actual number of such incidents. Further, despite statistical approximations, there are no official reports from a large number of US cities regarding incidents of hate. Here, we first demonstrate that event extraction and multi-instance learning, applied to a corpus of local news articles, can be used to predict instances of hate crime. We then use the trained model to detect incidents of hate in cities for which the FBI lacks statistics. Lastly, we train models on predicting homicide and kidnap**, compare the predictions to FBI reports, and establish that incidents of hate are indeed under-reported, compared to other types of crimes, in local press.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Computational structured illumination for high-content fluorescent and phase microscopy
Authors:
Li-Hao Yeh,
Shwetadwip Chowdhury,
Laura Waller
Abstract:
High-content biological microscopy targets high-resolution imaging across large fields-of-view (FOVs). Recent works have demonstrated that computational imaging can provide efficient solutions for high-content microscopy. Here, we use speckle structured illumination microscopy (SIM) as a robust and cost-effective solution for high-content fluorescence microscopy with simultaneous high-content quan…
▽ More
High-content biological microscopy targets high-resolution imaging across large fields-of-view (FOVs). Recent works have demonstrated that computational imaging can provide efficient solutions for high-content microscopy. Here, we use speckle structured illumination microscopy (SIM) as a robust and cost-effective solution for high-content fluorescence microscopy with simultaneous high-content quantitative phase (QP). This multi-modal compatibility is essential for studies requiring cross-correlative biological analysis. Our method uses laterally-translated Scotch tape to generate high-resolution speckle illumination patterns across a large FOV. Custom optimization algorithms then jointly reconstruct the sample's super-resolution fluorescent (incoherent) and QP (coherent) distributions, while digitally correcting for system imperfections such as unknown speckle illumination patterns, system aberrations and pattern translations. Beyond previous linear SIM works, we achieve resolution gains of 4x the objective's diffraction-limited native resolution, resulting in 700 nm fluorescence and 1.2 um QP resolution, across a FOV of 2x2.7 mm^2, giving a space-bandwidth product (SBP) of 60 megapixels.
△ Less
Submitted 27 March, 2019; v1 submitted 21 December, 2018;
originally announced January 2019.
-
Automated, context-free assignment of asymmetric rotor microwave spectra
Authors:
Lia Yeh,
Lincoln Satterthwaite,
David Patterson
Abstract:
We present a new algorithm, Robust Automated Assignment of Rigid Rotors (RAARR), for assigning rotational spectra of asymmetric tops. The RAARR algorithm can automatically assign experimental spectra under a broad range of conditions, including spectra comprised of multiple mixture components, in about 100 seconds or less. The RAARR algorithm exploits constraints placed by the conservation of ener…
▽ More
We present a new algorithm, Robust Automated Assignment of Rigid Rotors (RAARR), for assigning rotational spectra of asymmetric tops. The RAARR algorithm can automatically assign experimental spectra under a broad range of conditions, including spectra comprised of multiple mixture components, in about 100 seconds or less. The RAARR algorithm exploits constraints placed by the conservation of energy to find sets of connected lines in an unassigned spectrum. The highly constrained structure of these sets eliminates all but a handful of plausible assignments for a given set, greatly reducing the number of potential assignments that must be evaluated. We successfully apply our algorithm to automatically assign 15 experimental spectra, including 5 previously unassigned species, without prior estimation of molecular rotational constants. In 9 of the 15 cases, the RAARR algorithm successfully assigns two or more mixture components.
△ Less
Submitted 16 May, 2019; v1 submitted 14 December, 2018;
originally announced December 2018.
-
Studying Dynamical Models of the Core Galaxy NGC 1399 with Merging Remnants
Authors:
Li-Chin Yeh,
Ing-Guey Jiang
Abstract:
An investigation on the possible dynamical models of the core galaxy NGC 1399 is performed. Because early-type galaxies are likely to be formed through merging events, remnant rings are considered in the modeling process. A numerical survey over three parameters is employed to obtain the best-fit models that are completely consistent with observations. It is found that the inner slope of dark matt…
▽ More
An investigation on the possible dynamical models of the core galaxy NGC 1399 is performed. Because early-type galaxies are likely to be formed through merging events, remnant rings are considered in the modeling process. A numerical survey over three parameters is employed to obtain the best-fit models that are completely consistent with observations. It is found that the inner slope of dark matter profile is a cuspy one for this core galaxy. The existence of remnant rings in best-fit models indicates a merging history. The remnant ring explains the flatten surface brightness, and thus could be the physical counterpart of the core structure of NGC 1399.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Structured illumination microscopy with unknown patterns and a statistical prior
Authors:
Li-Hao Yeh,
Lei Tian,
Laura Waller
Abstract:
Structured illumination microscopy (SIM) improves resolution by down-modulating high-frequency information of an object to fit within the passband of the optical system. Generally, the reconstruction process requires prior knowledge of the illumination patterns, which implies a well-calibrated and aberration-free system. Here, we propose a new \textit{algorithmic self-calibration} strategy for SIM…
▽ More
Structured illumination microscopy (SIM) improves resolution by down-modulating high-frequency information of an object to fit within the passband of the optical system. Generally, the reconstruction process requires prior knowledge of the illumination patterns, which implies a well-calibrated and aberration-free system. Here, we propose a new \textit{algorithmic self-calibration} strategy for SIM that does not need to know the exact patterns {\it a priori}, but only their covariance. The algorithm, termed PE-SIMS, includes a Pattern-Estimation (PE) step requiring the uniformity of the sum of the illumination patterns and a SIM reconstruction procedure using a Statistical prior (SIMS). Additionally, we perform a pixel reassignment process (SIMS-PR) to enhance the reconstruction quality. We achieve 2$\times$ better resolution than a conventional widefield microscope, while remaining insensitive to aberration-induced pattern distortion and robust against parameter tuning.
△ Less
Submitted 12 January, 2017; v1 submitted 26 October, 2016;
originally announced November 2016.
-
Galaxies with Supermassive Binary Black Holes: (III) The Roche Lobes and Jiang-Yeh Lobe in a Core System
Authors:
Li-Chin Yeh,
Ing-Guey Jiang
Abstract:
Three-dimensional equi-potential surfaces of a galactic system with supermassive binary black holes are discussed herein. The conditions of topological transitions for the important surfaces, i.e. Roche Lobes and Jiang-Yeh Lobe, are studied in this paper. In addition, the mathematical properties of the Jacobi surfaces are investigated analytically. Finally, a numerical procedure for determining th…
▽ More
Three-dimensional equi-potential surfaces of a galactic system with supermassive binary black holes are discussed herein. The conditions of topological transitions for the important surfaces, i.e. Roche Lobes and Jiang-Yeh Lobe, are studied in this paper. In addition, the mathematical properties of the Jacobi surfaces are investigated analytically. Finally, a numerical procedure for determining the regions of the Roche Lobes and Jiang-Yeh Lobe is suggested.
△ Less
Submitted 24 September, 2016;
originally announced September 2016.
-
Experimental robustness of Fourier Ptychography phase retrieval algorithms
Authors:
Li-Hao Yeh,
Jonathan Dong,
**gshan Zhong,
Lei Tian,
Michael Chen,
Gongguo Tang,
Mahdi Soltanolkotabi,
Laura Waller
Abstract:
Fourier ptychography is a new computational microscopy technique that provides gigapixel-scale intensity and phase images with both wide field-of-view and high resolution. By capturing a stack of low-resolution images under different illumination angles, a nonlinear inverse algorithm can be used to computationally reconstruct the high-resolution complex field. Here, we compare and classify multipl…
▽ More
Fourier ptychography is a new computational microscopy technique that provides gigapixel-scale intensity and phase images with both wide field-of-view and high resolution. By capturing a stack of low-resolution images under different illumination angles, a nonlinear inverse algorithm can be used to computationally reconstruct the high-resolution complex field. Here, we compare and classify multiple proposed inverse algorithms in terms of experimental robustness. We find that the main sources of error are noise, aberrations and mis-calibration (i.e. model mis-match). Using simulations and experiments, we demonstrate that the choice of cost function plays a critical role, with amplitude-based cost functions performing better than intensity-based ones. The reason for this is that Fourier ptychography datasets consist of images from both brightfield and darkfield illumination, representing a large range of measured intensities. Both noise (e.g. Poisson noise) and model mis-match errors are shown to scale with intensity. Hence, algorithms that use an appropriate cost function will be more tolerant to both noise and model mis-match. Given these insights, we propose a global Newton's method algorithm which is robust and computationally efficient. Finally, we discuss the impact of procedures for algorithmic correction of aberrations and mis-calibration.
△ Less
Submitted 18 December, 2015; v1 submitted 9 November, 2015;
originally announced November 2015.
-
The Possible Orbital Decay and Transit Timing Variations of the Planet WASP-43b
Authors:
Ing-Guey Jiang,
Chien-Yo Lai,
Alexander Savushkin,
David Mkrtichian,
Kirill Antonyuk,
Evgeny Griv,
He-Feng Hsieh,
Li-Chin Yeh
Abstract:
Motivated by the previously reported high orbital decay rate of the planet WASP-43b, eight newly transit light curves are obtained and presented. Together with other data in literature, we perform a self-consistent timing analysis with data covering a timescale of 1849 epochs. The results give an orbital decay rate dP/dt = -0.02890795\pm 0.00772547 sec/year, which is one order smaller than previou…
▽ More
Motivated by the previously reported high orbital decay rate of the planet WASP-43b, eight newly transit light curves are obtained and presented. Together with other data in literature, we perform a self-consistent timing analysis with data covering a timescale of 1849 epochs. The results give an orbital decay rate dP/dt = -0.02890795\pm 0.00772547 sec/year, which is one order smaller than previous values. This slow decay rate corresponds to a normally assumed theoretical value of stellar tidal dissipation factor. In addition, through the frequency analysis, the transit timing variations presented here are unlikely to be periodic, but could be signals of a slow orbital decay.
△ Less
Submitted 2 November, 2015;
originally announced November 2015.
-
Computational illumination for high-speed in vitro Fourier ptychographic microscopy
Authors:
Lei Tian,
Ziji Liu,
Li-Hao Yeh,
Michael Chen,
**gshan Zhong,
Laura Waller
Abstract:
We demonstrate a new computational illumination technique that achieves large space-bandwidth-time product, for quantitative phase imaging of unstained live samples in vitro. Microscope lenses can have either large field of view (FOV) or high resolution, not both. Fourier ptychographic microscopy (FPM) is a new computational imaging technique that circumvents this limit by fusing information from…
▽ More
We demonstrate a new computational illumination technique that achieves large space-bandwidth-time product, for quantitative phase imaging of unstained live samples in vitro. Microscope lenses can have either large field of view (FOV) or high resolution, not both. Fourier ptychographic microscopy (FPM) is a new computational imaging technique that circumvents this limit by fusing information from multiple images taken with different illumination angles. The result is a gigapixel-scale image having both wide FOV and high resolution, i.e. large space-bandwidth product (SBP). FPM has enormous potential for revolutionizing microscopy and has already found application in digital pathology. However, it suffers from long acquisition times (on the order of minutes), limiting throughput. Faster capture times would not only improve imaging speed, but also allow studies of live samples, where motion artifacts degrade results. In contrast to fixed (e.g. pathology) slides, live samples are continuously evolving at various spatial and temporal scales. Here, we present a new source coding scheme, along with real-time hardware control, to achieve 0.8 NA resolution across a 4x FOV with sub-second capture times. We propose an improved algorithm and new initialization scheme, which allow robust phase reconstruction over long time-lapse experiments. We present the first FPM results for both growing and confluent in vitro cell cultures, capturing videos of subcellular dynamical phenomena in popular cell lines undergoing division and migration. Our method opens up FPM to applications with live samples, for observing rare events in both space and time.
△ Less
Submitted 19 September, 2015; v1 submitted 13 June, 2015;
originally announced June 2015.
-
The Period-Ratio and Mass-Ratio Correlation in Extra-Solar Multiple Planetary Systems
Authors:
Ing-Guey Jiang,
Li-Chin Yeh,
Wen-Liang Hung
Abstract:
Employing the data from orbital periods and masses of extra-solar planets in 166 multiple planetary systems, the period-ratio and mass-ratio of adjacent planet pairs are studied. The correlation between the period-ratio and mass-ratio is confirmed and found to have a correlation coefficient of 0.5303 with a 99% confidence interval (0.3807, 0.6528). A comparison with the distribution of synthetic s…
▽ More
Employing the data from orbital periods and masses of extra-solar planets in 166 multiple planetary systems, the period-ratio and mass-ratio of adjacent planet pairs are studied. The correlation between the period-ratio and mass-ratio is confirmed and found to have a correlation coefficient of 0.5303 with a 99% confidence interval (0.3807, 0.6528). A comparison with the distribution of synthetic samples from a Monte Carlo simulation reveals the imprint of planet-planet interactions on the formation of adjacent planet pairs in multiple planetary systems.
△ Less
Submitted 14 January, 2015;
originally announced January 2015.
-
Galaxies with Supermassive Binary Black Holes: (II) A Model with Cuspy Galactic Density Profiles
Authors:
Ing-Guey Jiang,
Li-Chin Yeh
Abstract:
The existence and uniqueness of equilibrium points, including Lagrange Points and Jiang-Yeh Points, of a galactic system with supermassive binary black holes embedded in a centrally cuspy galactic halo are investigated herein. Differing from the previous results of non-cuspy galactic profiles that Jiang-Yeh Points only exist under a particular condition, it is found here that the Lagrange Points,…
▽ More
The existence and uniqueness of equilibrium points, including Lagrange Points and Jiang-Yeh Points, of a galactic system with supermassive binary black holes embedded in a centrally cuspy galactic halo are investigated herein. Differing from the previous results of non-cuspy galactic profiles that Jiang-Yeh Points only exist under a particular condition, it is found here that the Lagrange Points, L2, L3, L4 and L5, Jiang-Yeh Points, JY1 and JY2, exist under general conditions. The stability analysis shows that L2, L3, JY1 and JY2 are unstable. However, L4 and L5 are only unstable when the galactic total mass is smaller than a critical mass; otherwise they become neutrally stable centers. These results will be important for further studies on the cores of early-type galaxies.
△ Less
Submitted 31 July, 2014;
originally announced August 2014.
-
Galaxies with Supermassive Binary Black Holes: (I) A Possible Model for the Centers of Core Galaxies
Authors:
Ing-Guey Jiang,
Li-Chin Yeh
Abstract:
The dynamics of galactic systems with central binary black holes is studied. The model is a modification from the restricted three body problem, in which a galactic potential is added as an external potential. Considering the case with an equal mass binary black holes, the conditions of existence of equilibrium points, including Lagrange Points and additional new equilibrium points, i.e. Jiang-Yeh…
▽ More
The dynamics of galactic systems with central binary black holes is studied. The model is a modification from the restricted three body problem, in which a galactic potential is added as an external potential. Considering the case with an equal mass binary black holes, the conditions of existence of equilibrium points, including Lagrange Points and additional new equilibrium points, i.e. Jiang-Yeh Points, are investigated. A critical mass is discovered to be fundamentally important. That is, Jiang-Yeh Points exist if and only if the galactic mass is larger than the critical mass. The stability analysis is performed for all equilibrium points. The results that Jiang-Yeh Points are unstable could lead to the core formation in the centers of galaxies.
△ Less
Submitted 6 November, 2013;
originally announced November 2013.
-
Possible Transit Timing Variations of the TrES-3 Planetary System
Authors:
Ing-Guey Jiang,
Li-Chin Yeh,
Parijat Thakur,
Yu-Ting Wu,
** Chien,
Yi-Ling Lin,
Hong-Yu Chen,
Juei-Hwa Hu,
Zhao Sun,
Jianghui Ji
Abstract:
Five newly observed transit light curves of the TrES-3 planetary system are presented. Together with other light curve data from literature, 23 transit light curves in total, which cover an overall timescale of 911 epochs, have been analyzed through a standard procedure. From these observational data, the system's orbital parameters are determined and possible transit timing variations are investi…
▽ More
Five newly observed transit light curves of the TrES-3 planetary system are presented. Together with other light curve data from literature, 23 transit light curves in total, which cover an overall timescale of 911 epochs, have been analyzed through a standard procedure. From these observational data, the system's orbital parameters are determined and possible transit timing variations are investigated. Given that a null transit-timing-variation produces a fit with reduced chi^2=1.52, our results agree with previous work, that transit timing variations might not exist in these data. However, a 1-frequency oscillating transit-timing-variation model, giving a fit with a reduced chi^2=0.93, does possess a statistically higher probability. It is, thus, concluded that future observations and dynamical simulations for this planetary system will be very important.
△ Less
Submitted 11 August, 2013;
originally announced August 2013.
-
Clumps and Axisymmetric Features in Debris Discs
Authors:
Ing-Guey Jiang,
Li-Chin Yeh
Abstract:
This paper studied the structures of debris discs, focusing on the conditions that can form an axisymmetric-looking outer disc from systems with inner clumps. The main conclusion was that as long as the dominated dust grains are smaller than the blowout size, it is easy to form an axisymmetric-looking outer debris disc, which is part of a quasi-steady state of the whole system. This quasi-steady s…
▽ More
This paper studied the structures of debris discs, focusing on the conditions that can form an axisymmetric-looking outer disc from systems with inner clumps. The main conclusion was that as long as the dominated dust grains are smaller than the blowout size, it is easy to form an axisymmetric-looking outer debris disc, which is part of a quasi-steady state of the whole system. This quasi-steady state is established through the balance between grain generations and a continuous out-going grain flow. Assuming there is an event that starts planetesimal collisions and the corresponding grain generations, this balance can be approached in a few thousand years. This result suggested that a quasi-steady-state picture could solve the possible mass budget problem of Vega's outer debris disc.
△ Less
Submitted 7 August, 2013;
originally announced August 2013.
-
Modeling the Migration of Neptune and the Corresponding Resonant Captures
Authors:
Li-Chin Yeh,
Ing-Guey Jiang,
Li-Yong Zhou
Abstract:
Due to the angular momentum exchange with planetesimals, Neptune might have migrated outward to the current position, and captured many Kuiper belt objects (KBOs) into resonances. We set up a semi-analytic model to simulate the outward migration of Neptune, and the processes of resonant captures. Our model can naturally explain Neptune's currently observed semi-major axis and eccentricity. The res…
▽ More
Due to the angular momentum exchange with planetesimals, Neptune might have migrated outward to the current position, and captured many Kuiper belt objects (KBOs) into resonances. We set up a semi-analytic model to simulate the outward migration of Neptune, and the processes of resonant captures. Our model can naturally explain Neptune's currently observed semi-major axis and eccentricity. The results show that the current population ratio between 3:2 and 2:1 is mainly due to the original density distribution of KBOs, which might be related to drag-induced inward migrations of proto-KBOs.
△ Less
Submitted 5 August, 2013;
originally announced August 2013.
-
Investigating Close-in Exoplanets through Transit Observations
Authors:
Ing-Guey Jiang,
Li-Chin Yeh,
Parijat Thakur,
** Chien,
Yi-Ling Lin,
Yu-Ting Wu,
Hong-Yu Chen,
Zhao Sun,
Jianghui Ji
Abstract:
Through the international collaborators, we recently established a network of existing and working meter-class telescopes to look for planetary transit events. As a first step, we focus on the TrES3 system, and conclude that there could be some level of transit timing variations.
Through the international collaborators, we recently established a network of existing and working meter-class telescopes to look for planetary transit events. As a first step, we focus on the TrES3 system, and conclude that there could be some level of transit timing variations.
△ Less
Submitted 5 August, 2013;
originally announced August 2013.