Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
23works
0followers
25topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2023arXiv

Probing quantum many-body correlations by universal ramping dynamics

Ramping a physical parameter is one of the most common experimental protocols in studying a quantum system, and ramping dynamics has been widely used in preparing a quantum state and probing physical properties. Here, we present a novel method of probing quantum many-body correlation by ramping dynamics. We ramp a Hamiltonian parameter to the same target value from different initial values and with different velocities, and we show that the first-order correction on the finite ramping velocity is universal and path-independent, revealing a novel quantum many-body correlation function of the equilibrium phases at the target values. We term this method as the non-adiabatic linear response since this is the leading order correction beyond the adiabatic limit. We demonstrate this method experimentally by studying the Bose-Hubbard model with ultracold atoms in three-dimensional optical lattices. Unlike the conventional linear response that reveals whether the quasi-particle dispersion of a quantum phase is gapped or gapless, this probe is more sensitive to whether the quasi-particle lifetime is long enough such that the quantum phase possesses a well-defined quasi-particle description. In the Bose-Hubbard model, this non-adiabatic linear response is significant in the quantum critical regime where well-defined quasi-particles are absent. And in contrast, this response is vanishingly small in both superfluid and Mott insulators which possess well-defined quasi-particles. Because our proposal uses the most common experimental protocol, we envision that our method can find broad applications in probing various quantum systems.

preprint2022arXiv

Circular designs for total effects under interference models

This paper studies circular designs for interference models, where a treatment assigned to a plot also affects its neighboring plots within a block. For the purpose of estimating total effects, the circular neighbor balanced design was shown to be universally optimal among designs which do not allow treatments to be neighbors of themselves. Our study shows that self-neighboring block sequences are actually the main ingredient for an optimal design. Here, we adopt the approximate design framework and study optimal designs in the whole design space. Our approach is flexible enough to accommodate all possible design parameters, that is the block size and the number of blocks and treatments. This approach can be broken down into two main steps: the identification of the minimal supporting set of block sequences and the optimality condition built on it. The former is critical for reducing the computational time from almost infinity to seconds. Meanwhile, the task of finding the minimal set is normally achieved through numerical methods, which can only handle small block sizes. Our approach is of a hybrid nature in order to deal with all design sizes. When block size is not large, we provide explicit expressions of the minimal set instead of relying on numerical methods. For larger block sizes when a typical numerical method would fail, we theoretically derived a reasonable size intermediate set of sequences, from which the minimal set can be quickly derived through a customized algorithm. Taking it further, the optimality conditions allow us to obtain both symmetric and asymmetric designs. Lastly, we also investigate the trade-off issue between circular and noncircular designs, and provide guidelines on the choices.

preprint2022arXiv

Identifying Emergent Leadership in OSS Projects Based on Communication Styles

In open source software (OSS) communities, existing leadership indicators are dominantly measured by code contribution or community influence. Recent studies on emergent leadership shed light on additional dimensions such as intellectual stimulation in collaborative communications. To that end, this paper proposes an automated approach, named iLead, to mine communication styles and identify emergent leadership behaviors in OSS communities, using issue comments data. We start with the construction of 6 categories of leadership behaviors based on existing leadership studies. Then, we manually label leadership behaviors in 10,000 issue comments from 10 OSS projects, and extract 304 heuristic linguistic patterns which represent different types of emergent leadership behaviors in flexible and concise manners. Next, an automated algorithm is developed to merge and consolidate different pattern sets extracted from multiple projects into a final pattern ranking list, which can be applied for the automatic leadership identification. The evaluation results show that iLead can achieve a median precision of 0.82 and recall of 0.78, outperforming ten machine/deep learning baselines. To demonstrate practical usefulness, we also conduct empirical analysis and human evaluation of the identified leadership behaviors from iLead. We argue that emergent leadership behaviors in issue discussion should be taken into consideration to broaden existing OSS leadership viewpoints. Practical insights on community building and leadership skill development are offered for OSS community and individual developers, respectively.

preprint2022arXiv

Possible Systematic Rotation in the Mature Stellar Population of a $z=9.1$ Galaxy

We present new observations with the Atacama Large Millimeter/submillimeter Array for a gravitationally-lensed galaxy at $z=9.1$, MACS1149-JD1. [O III] 88-$μ$m emission is detected at 10$σ$ with a spatial resolution of $\sim0.3$ kpc in the source plane, enabling the most distant morpho-kinematic study of a galaxy. The [O III] emission is distributed smoothly without any resolved clumps and shows a clear velocity gradient with $ΔV_{\rm obs}/2σ_{\rm tot}=0.84\pm0.23$, where $ΔV_{\rm obs}$ is the observed maximum velocity difference and $σ_{\rm tot}$ is the velocity dispersion measured in the spatially-integrated line profile, suggesting a rotating system. Assuming a geometrically thin self-gravitating rotation disk model, we obtain $V_{\rm rot}/σ_V=0.67_{-0.26}^{+0.73}$, where $V_{\rm rot}$ and $σ_V$ are the rotation velocity and velocity dispersion, respectively, still consistent with rotation. The resulting disk mass of $0.65_{-0.40}^{+1.37}\times10^{9}$ M$_\odot$ is consistent with being associated with the stellar mass identified with a 300 Myr-old stellar population independently indicated by a Balmer break in the spectral energy distribution. We conclude that the most of the dynamical mass is associated with the previously-identified mature stellar population that formed at $z\sim15$.

preprint2022arXiv

Reconfigurable optical logic operations through scattering media with wavefront shaping

Optical logic gates are fundamental blocks of optical computing to accelerate information processing. While significant progress has been achieved in recent years, existing implementations typically rely on dedicated structures that are predesigned to modulate the phases and intensities of optical beams accurately for specific logic functions. Thus, these optical gates usually lack reconfigurability and are incapable within or through dynamic complex media/environment, such as fog and turbid water. In this work, as a conceptual demonstration, we propose reconfigurable optical logic operations through scattering media with transmission matrix-based wavefront shaping. A light beam is reflected by a spatial light modulator divided into several subregions functioning as logic units, with each displayed with predetermined wavefronts via transmission matrix-based wavefront shaping. Each modulated wavefront transmits through the scattering medium to form a desired light field. The interference of these light fields generates bright optical focus at pre-assigned locations, representing different logic states. As a proof of concept, we experimentally demonstrate five basic logic functions (AND, OR, NOT, NAND, NOR). As the transmission matrix of the scattering medium/system can be measured instantly to adapt to environment perturbation, the method, if further engineered, opens new venues towards reconfigurable optical logic computing in a dynamically complex environment.

preprint2022arXiv

Topological Micromotion of Floquet Quantum Systems

The Floquet Hamiltonian has often been used to describe a time-periodic system. Nevertheless, because the Floquet Hamiltonian depends on a micro-motion parameter, the Floquet Hamiltonian with a fixed micro-motion parameter cannot faithfully represent a driven system, which manifests as the anomalous edge states. Here we show that an accurate description of a Floquet system requires a set of Hamiltonian exhausting all values of the micro-motion parameter, and this micro-motion parameter can be viewed as an extra synthetic dimension of the system. Therefore, we show that a $d$-dimensional Floquet system can be described by a $d+1$-dimensional static Hamiltonian, and the advantage of this representation is that the periodic boundary condition is automatically imposed along the extra-dimension, which enables a straightforward definition of topological invariants. The topological invariant in the $d+1$-dimensional system can ensure a $d-1$-dimensional edge state of the $d$-dimensional Floquet system. Here we show two examples where the topological invariant is a three-dimensional Hopf invariant. We highlight that our scheme of classifying Floquet topology on the micro-motion space is different from the previous classification of Floquet topology on the time space.

preprint2022arXiv

Transferable Cross-Tokamak Disruption Prediction with Deep Hybrid Neural Network Feature Extractor

Predicting disruptions across different tokamaks is a great obstacle to overcome. Future tokamaks can hardly tolerate disruptions at high performance discharge. Few disruption discharges at high performance can hardly compose an abundant training set, which makes it difficult for current data-driven methods to obtain an acceptable result. A machine learning method capable of transferring a disruption prediction model trained on one tokamak to another is required to solve the problem. The key is a disruption prediction model containing a feature extractor that is able to extract common disruption precursor traces in tokamak diagnostic data, and a transferable disruption classifier. Based on the concerns above, the paper first presents a deep fusion feature extractor designed specifically for extracting disruption precursor features from common diagnostics on tokamaks according to currently known precursors of disruption, providing a promising foundation for transferable models. The fusion feature extractor is proved by comparing with manual feature extraction on J-TEXT. Based on the feature extractor trained on J-TEXT, the disruption prediction model was transferred to EAST data with mere 20 discharges from EAST experiment. The performance is comparable with a model trained with 1896 discharges from EAST. From the comparison among other model training scenarios, transfer learning showed its potential in predicting disruptions across different tokamaks.

preprint2022arXiv

Tunable Confinement-Deconfinement Transition in an Ultracold Atom Quantum Simulator

The one-dimensional lattice Schwinger model has recently been realized by using bosons in optical lattices. This model contains both confinement and deconfinement phases, whose phase diagram is controlled by the mass of the matter field and the topological angle. Since varying the mass of matter field is straightforward experimentally, we propose how to tune the topological angle, allowing accessing the entire phase diagram. We propose that direct experimental evidence of confinement and deconfinement can be obtained by measuring whether a physical charge is localized around a fixed gauge charge to screen it. We also discuss the PXP model realized in the Rydberg atoms array, which is equivalent to the lattice Schwinger model when all local gauge charges are fixed as zero. Although the gauge charges are fixed, we can alternatively probe the confinement and the deconfinement in the PXP model by studying the relative motion of a pair of a physical charge and an anti-charge. Our scheme can be directly implemented in these two relevant experimental platforms of ultracold atom quantum simulators.

preprint2021arXiv

A census of optically dark massive galaxies in the early Universe from magnification by lensing galaxy clusters

We present ALMA 870um and JCMT SCUBA2 850um dust continuum observations of a sample of optically dark and strongly lensed galaxies in the cluster fields. The ALMA and SCUBA2 observations reach a median rms of about 0.11 mJy and 0.44 mJy, respectively, with the latter close to the confusion limit of the data at 850um. This represents one of the most sensitive searches for dust emission in optically dark galaxies. We detect the dust emission in 12 out of 15 galaxies at >3.8 sigma, corresponding to a detection rate of 80 per cent. Thanks to the gravitational lensing, our observations reach a deeper limiting flux than previous surveys in blank fields by a factor of 3. We estimate delensed infrared luminosities in the range log(LIR)=11.5-12.7 Lsun, which correspond to dust-obscured star formation rates (SFRs) of 30 to 520 Msun per year. Stellar population fits to the optical-to-NIR photometric data yield a median redshift z=4.26 and de-lensed stellar mass log(Mstar)=10.78 Msun. They contribute a lensing-corrected star-formation rate density at least an order of magnitude higher than that of equivalently massive UV-selected galaxies at z>3. The results suggest that there is a missing population of massive star-forming galaxies in the early Universe, which may dominate the SFR density at the massive end. Five optically dark galaxies are located within r<50 arcsec in one cluster field, representing a potential overdensity structure that has a physical origin at a confidence level >99.974% from Poisson statistics. Follow-up spectroscopic observations with ALMA and JWST are crucial to confirm whether it is associated with a protocluster at similar redshifts.

preprint2021arXiv

Controlling higher-orbital quantum phases of ultracold atoms via coupling to optical cavities

Orbital degree of freedom plays an important role in understanding exotic phenomena of strongly correlated materials. We study strongly correlated ultracold bosonic gases coupled to a high-finesse cavity, pumped by a blue-detuned laser in the transverse direction. Based on an extended Bose-Hubbard model with parameters adapted to recent experiments, we find that by tuning the reflection of pump laser, atoms can be selectively transferred to the odd-parity $p$-orbital, or to even-parity $d$-orbital band of a two-dimensional square lattice, accompanied with cavity-photon excitations. By interacting with cavity field, atoms self-organize to form stable higher-orbital superfluid and Mott-insulating phases with orbital-density waves, as a result of cavity induced orbital-flip processes. Our study opens the route to manipulate orbital degrees of freedom in strongly correlated quantum gases via coupling to optical cavities.

preprint2021arXiv

Floquet Engineering of a Dynamical $Z_{2}$ Lattice Gauge Field with Ultracold Atoms

In this paper, we propose that a simple model, in which fermions coupled to a dynamical lattice gauge field, can be engineered via the Floquet approach. The model possess both a independent Maxwell term and the local $Z_{2}$ gauge symmetry. Our proposal relies on a species dependent optical lattice, and can be achieved in one, two or three dimension. By an unitary transformation, this model can be mapped into a non-interacting composite Fermion system with fluctuating back ground charge. With the help of this composite Fermion picture, two characteristic observations are predicted. One is the radio-frequency spectroscopy, which exhibits no dispersion in all parameter regimes. Second is the the dynamical localization, which depends on the structure of the initial states.

preprint2021arXiv

Graph Neural Network Encoding for Community Detection in Attribute Networks

In this paper, we first propose a graph neural network encoding method for multiobjective evolutionary algorithm to handle the community detection problem in complex attribute networks. In the graph neural network encoding method, each edge in an attribute network is associated with a continuous variable. Through non-linear transformation, a continuous valued vector (i.e. a concatenation of the continuous variables associated with the edges) is transferred to a discrete valued community grouping solution. Further, two objective functions for single- and multi-attribute network are proposed to evaluate the attribute homogeneity of the nodes in communities, respectively. Based on the new encoding method and the two objectives, a multiobjective evolutionary algorithm (MOEA) based upon NSGA-II, termed as continuous encoding MOEA, is developed for the transformed community detection problem with continuous decision variables. Experimental results on single- and multi-attribute networks with different types show that the developed algorithm performs significantly better than some well-known evolutionary and non-evolutionary based algorithms. The fitness landscape analysis verifies that the transformed community detection problems have smoother landscapes than those of the original problems, which justifies the effectiveness of the proposed graph neural network encoding method.

preprint2020arXiv

Design based incomplete U-statistics

U-statistics are widely used in fields such as economics, machine learning, and statistics. However, while they enjoy desirable statistical properties, they have an obvious drawback in that the computation becomes impractical as the data size $n$ increases. Specifically, the number of combinations, say $m$, that a U-statistic of order $d$ has to evaluate is $O(n^d)$. Many efforts have been made to approximate the original U-statistic using a small subset of combinations since Blom (1976), who referred to such an approximation as an incomplete U-statistic. To the best of our knowledge, all existing methods require $m$ to grow at least faster than $n$, albeit more slowly than $n^d$, in order for the corresponding incomplete U-statistic to be asymptotically efficient in terms of the mean squared error. In this paper, we introduce a new type of incomplete U-statistic that can be asymptotically efficient, even when $m$ grows more slowly than $n$. In some cases, $m$ is only required to grow faster than $\sqrt{n}$. Our theoretical and empirical results both show significant improvements in the statistical efficiency of the new incomplete U-statistic.

preprint2020arXiv

Enhanced Kinetic Impactor for Deflecting Large Potentially Hazardous Asteroids via Maneuvering Space Rocks

Asteroid impacts pose a major threat to all life on Earth. The age of the dinosaurs was abruptly ended by a 10-km-diameter asteroid. Currently, a nuclear device is the only means of deflecting large Potentially Hazardous Asteroids (PHAs) away from an Earth-impacting trajectory. The Enhanced Kinetic Impactor (EKI) concept is proposed to deflect large PHAs via maneuvering space rocks. First, an unmanned spacecraft is launched to rendezvous with an intermediate Near-Earth Asteroid (NEA). Then, more than one hundred tons of rocks are collected from the NEA as the EKI. The NEA can also be captured as the EKI if the NEA is very small. Finally, the EKI is maneuvered to impact the PHA at a high speed, resulting in a significant deflection of the PHA. For example, to deflect Apophis, as much as 200 t of rocks could be collected from a NEA as the EKI based on existing engineering capabilities. The EKI can produce a velocity increment (delta-v) of 39.81 mm/s in Apophis, thereby increasing the minimum geocentric distance during the close encounter in 2029 by 1,866.93 km. This mission can be completed in 3.96 years with a propellant cost of 2.98 t. Compared with a classic kinetic impactor, the deflection distance can be increased one order of magnitude. The EKI concept breaks through the limitation of the ground-based launch capability, which can significantly increase the mass of the impactor. We anticipate that our research will be a starting point for efficient planetary defense against large PHAs.

preprint2020arXiv

Ensuring Privacy in Location-Based Services: A Model-based Approach

In recent years, the widespread of mobile devices equipped with GPS and communication chips has led to the growing use of location-based services (LBS) in which a user receives a service based on his current location. The disclosure of user&#39;s location, however, can raise serious concerns about user privacy in general, and location privacy in particular which led to the development of various location privacy-preserving mechanisms aiming to enhance the location privacy while using LBS applications. In this paper, we propose to model the user mobility pattern and utility of the LBS as a Markov decision process (MDP), and inspired by probabilistic current state opacity notation, we introduce a new location privacy metric, namely $ε-$privacy, that quantifies the adversary belief over the user&#39;s current location. We exploit this dynamic model to design a LPPM that while it ensures the utility of service is being fully utilized, independent of the adversary prior knowledge about the user, it can guarantee a user-specified privacy level can be achieved for an infinite time horizon. The overall privacy-preserving framework, including the construction of the user mobility model as a MDP, and design of the proposed LPPM, are demonstrated and validated with real-world experimental data.

preprint2020arXiv

Many-body Decay of the Gapped Lowest Excitation of a Bose-Einstein Condensate

We study the decay mechanism of the gapped lowest-lying excitation of a quasi-pure box-trapped atomic Bose-Einstein condensate. Owing to the absence of lower-energy modes, or direct coupling to an external bath, this excitation is protected against one-body (linear) decay and the damping mechanism is exclusively nonlinear. We develop a universal theoretical model that explains this fundamental nonlinear damping as a process whereby two quanta of the gapped lowest excitation mode couple to a higher-energy mode, which subsequently decays into a continuum. We find quantitative agreement between our experiments and the predictions of this model. Finally, by strongly driving the system below its (lowest) resonant frequency we observe third-harmonic generation, a hallmark of nonlinear behavior.

preprint2020arXiv

Measuring the dynamics of a first order structural phase transition between two configurations of a superradiant crystal

We observe a structural phase transition between two configurations of a superradiant crystal by coupling a Bose-Einstein condensate to an optical cavity and applying imbalanced transverse pump fields. We find that this first order phase transition is accompanied by transient dynamics of the order parameter which we measure in real-time. The phase transition and the excitation spectrum can be derived from a microscopic Hamiltonian in quantitative agreement with our experimental data.

preprint2020arXiv

Mining of high throughput screening database reveals AP-1 and autophagy pathways as potential targets for COVID-19 therapeutics

The recent global pandemic of Coronavirus Disease 2019 (COVID-19) caused by the new coronavirus SARS-CoV-2 presents an urgent need for new therapeutic candidates. Many efforts have been devoted to screening existing drug libraries with the hope to repurpose approved drugs as potential treatments for COVID-19. However, the antiviral mechanisms of action for the drugs found active in these phenotypic screens are largely unknown. To deconvolute the viral targets for more effective anti-COVID-19 drug development, we mined our in-house database of approved drug screens against 994 assays and compared their activity profiles with the drug activity profile in a cytopathic effect (CPE) assay of SARS-CoV-2. We found that the autophagy and AP-1 signaling pathway activity profiles are significantly correlated with the anti-SARS-CoV-2 activity profile. In addition, a class of neurology/psychiatry drugs was found significantly enriched with anti-SARS-CoV-2 activity. Taken together, these results have provided new insights into SARS-CoV-2 infection and potential targets for COVID-19 therapeutics.

preprint2020arXiv

Protein structure and sequence re-analysis of 2019-nCoV genome does not indicate snakes as its intermediate host or the unique similarity between its spike protein insertions and HIV-1

As the infection of 2019-nCoV coronavirus is quickly developing into a global pneumonia epidemic, careful analysis of its transmission and cellular mechanisms is sorely needed. In this report, we re-analyzed the computational approaches and findings presented in two recent manuscripts by Ji et al. (https://doi.org/10.1002/jmv.25682) and by Pradhan et al. (https://doi.org/10.1101/2020.01.30.927871), which concluded that snakes are the intermediate hosts of 2019-nCoV and that the 2019-nCoV spike protein insertions shared a unique similarity to HIV-1. Results from our re-implementation of the analyses, built on larger-scale datasets using state-of-the-art bioinformatics methods and databases, do not support the conclusions proposed by these manuscripts. Based on our analyses and existing data of coronaviruses, we concluded that the intermediate hosts of 2019-nCoV are more likely to be mammals and birds than snakes, and that the &#34;novel insertions&#34; observed in the spike protein are naturally evolved from bat coronaviruses.

preprint2020arXiv

Spectral Signatures of Quasar Ages at z~3

Insight into quasar ages may be obtained from the proximity effect, but so far only in a limited number of bright quasars. Based on ~2600 SDSS quasar spectra at 2.5 <= z <= 3.5, a search for spectral voids between Ly-alpha forest lines finds proximity zones over a wide range of radial distances. The majority of zone sizes are less than 5 Mpc, with their numbers decreasing exponentialy towards larger distances. After normalization by luminosities, the zone sizes are distributed an e-folding scale of 0.64 as compared with the anticipated values. A group of quasars are selected for their large proximity zones of >~ 10 Mpc. Their composite spectrum displays strong narrow cores and large equivalent widths in Ly-alpha and other major UV emission lines. If the proximity zones along lines of sight are indicative of quasar ages, these features may be the signatures of old quasars. Another group of quasars are selected as they show no proximity zone and exhibit intrinsic absorption lines at z_{ab} > z_{em}. They are likely young quasars and exhibit weaker narrow emission-line components. The significant difference of spectral features between the two groups may reflect an evolution pattern over quasars&#39; lifetimes.

preprint2020arXiv

VerifyTL: Secure and Verifiable Collaborative Transfer Learning

Getting access to labelled datasets in certain sensitive application domains can be challenging. Hence, one often resorts to transfer learning to transfer knowledge learned from a source domain with sufficient labelled data to a target domain with limited labelled data. However, most existing transfer learning techniques only focus on one-way transfer which brings no benefit to the source domain. In addition, there is the risk of a covert adversary corrupting a number of domains, which can consequently result in inaccurate prediction or privacy leakage. In this paper we construct a secure and Verifiable collaborative Transfer Learning scheme, VerifyTL, to support two-way transfer learning over potentially untrusted datasets by improving knowledge transfer from a target domain to a source domain. Further, we equip VerifyTL with a cross transfer unit and a weave transfer unit employing SPDZ computation to provide privacy guarantee and verification in the two-domain setting and the multi-domain setting, respectively. Thus, VerifyTL is secure against covert adversary that can compromise up to n-1 out of n data domains. We analyze the security of VerifyTL and evaluate its performance over two real-world datasets. Experimental results show that VerifyTL achieves significant performance gains over existing secure learning schemes.

preprint2019arXiv

Many-Body Echo

In this letter we propose a protocol to reverse a quantum many-body dynamical process. We name it &#34;many-body echo&#34; because the underlying physics is closely related to the spin echo effect in nuclear magnetic resonance systems. We consider a periodical modulation of the interaction strength in a weakly interacting Bose condensate, which resonantly excites quasi-particles from the condensate. A dramatic phenomenon is that, after pausing the interaction modulation for half a period and then continuing on with the same modulation, nearly all the excited quasi-particles in the resonance modes will be absorbed back into the condensate. During the intermediate half period, the free evolution introduces a $π$ phase, which plays a role reminiscent of that played by the $π$-pulse in the spin echo. Comparing our protocol with another one implemented by the Chicago group in a recent experiment, we find that ours is more effective at reversing the many-body process. The difference between these two schemes manifests the physical effect of the micro-motion in the Floquet theory. Our scheme can be generalised to other periodically driven many-body systems.

preprint2018arXiv

The onset of star formation 250 million years after the Big Bang

A fundamental quest of modern astronomy is to locate the earliest galaxies and study how they influenced the intergalactic medium a few hundred million years after the Big Bang. The abundance of star-forming galaxies is known to decline from redshifts of about 6 to 10, but a key question is the extent of star formation at even earlier times, corresponding to the period when the first galaxies might have emerged. Here we present spectroscopic observations of MACS1149-JD1, a gravitationally lensed galaxy observed when the Universe was less than four per cent of its present age. We detect an emission line of doubly ionized oxygen at a redshift of $9.1096\pm0.0006$, with an uncertainty of one standard deviation. This precisely determined redshift indicates that the red rest-frame optical colour arises from a dominant stellar component that formed about 250 million years after the Big Bang, corresponding to a redshift of about 15. Our results indicate the it may be possible to detect such early episodes of star formation in similar galaxies with future telescopes.