-
Detection of the Geminga pulsar at energies down to 20 GeV with the LST-1 of CTAO
Authors:
The CTAO-LST Project,
:,
K. Abe,
S. Abe,
A. Abhishek,
F. Acero,
A. Aguasca-Cabot,
I. Agudo,
C. Alispach,
D. Ambrosino,
F. Ambrosino,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
C. Arcaro,
T. T. H. Arnesen,
K. Asano,
P. Aubert,
A. Baktash,
M. Balbo,
A. Bamba,
A. Baquero Larriva,
U. Barres de Almeida,
J. A. Barrio,
L. Barrios Jiménez
, et al. (309 additional authors not shown)
Abstract:
Geminga is the third gamma-ray pulsar firmly detected by imaging atmospheric Cherenkov telescopes (IACTs) after the Crab and the Vela pulsars. Most of its emission is expected at tens of GeV, and, out of the planned telescopes of the upcoming Cherenkov Telescope Array Observatory (CTAO), the Large-Sized Telescopes (LSTs) are the only ones with optimised sensitivity at these energies. We aim to cha…
▽ More
Geminga is the third gamma-ray pulsar firmly detected by imaging atmospheric Cherenkov telescopes (IACTs) after the Crab and the Vela pulsars. Most of its emission is expected at tens of GeV, and, out of the planned telescopes of the upcoming Cherenkov Telescope Array Observatory (CTAO), the Large-Sized Telescopes (LSTs) are the only ones with optimised sensitivity at these energies. We aim to characterise the gamma-ray pulse shape and spectrum of Geminga as observed by the first LST (hereafter LST-1) of the CTAO-North. Furthermore, this study confirms the great performance and the improved energy threshold of the telescope, as low as 10 GeV for pulsar analysis, with respect to current-generation Cherenkov telescopes. We analysed 60 hours of good-quality data taken by the LST-1 at zenith angles below 50$^\circ$. Additionally, a new Fermi-LAT analysis of 16.6 years of data was carried out to extend the spectral analysis down to 100 MeV. Lastly, a detailed study of the systematic effects was performed. We report the detection of Geminga in the energy range between 20 and 65 GeV. Of the two peaks of the phaseogram, the second one, P2, is detected with a significance of 12.2$σ$, while the first (P1) reaches a significance level of 2.6$σ$. The best-fit model for the spectrum of P2 was found to be a power law with $Γ= (4.5 \pm 0.4_{stat})^{+0.2_{sys}}_{-0.6_{sys}}$, compatible with the previous results obtained by the MAGIC. No evidence of curvature is found in the LST-1 energy range. The joint fit with Fermi data confirms a preference for a sub-exponential cut-off over a pure exponential, even though both models fail to reproduce the data above several tens of GeV. The overall results presented in this paper prove that the LST-1 is an excellent telescope for the observation of pulsars, and improved sensitivity is expected to be achieved with the full CTAO-North.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
Detection of RS Oph with LST-1 and modelling of its HE/VHE gamma-ray emission
Authors:
CTA-LST Project,
:,
K. Abe,
S. Abe,
A. Abhishek,
F. Acero,
A. Aguasca-Cabot,
I. Agudo,
C. Alispach,
N. Alvarez Crespo,
D. Ambrosino,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
C. Arcaro,
K. Asano,
P. Aubert,
A. Baktash,
M. Balbo,
A. Bamba,
A. Baquero Larriva,
U. Barres de Almeida,
J. A. Barrio,
L. Barrios Jiménez,
I. Batkovic
, et al. (294 additional authors not shown)
Abstract:
The recurrent nova RS Ophiuchi (RS Oph) underwent a thermonuclear eruption in August 2021. In this event, RS Oph was detected by the High Energy Stereoscopic System (H.E.S.S.), the Major Atmospheric Gamma Imaging Cherenkov (MAGIC), and the first Large-Sized Telescope (LST-1) of the future Cherenkov Telescope Array Observatory (CTAO) at very-high gamma-ray energies above 100 GeV. This means that no…
▽ More
The recurrent nova RS Ophiuchi (RS Oph) underwent a thermonuclear eruption in August 2021. In this event, RS Oph was detected by the High Energy Stereoscopic System (H.E.S.S.), the Major Atmospheric Gamma Imaging Cherenkov (MAGIC), and the first Large-Sized Telescope (LST-1) of the future Cherenkov Telescope Array Observatory (CTAO) at very-high gamma-ray energies above 100 GeV. This means that novae are a new class of very-high-energy (VHE) gamma-ray emitters. We report the analysis of the RS Oph observations with LST-1. We constrain the particle population that causes the observed emission in hadronic and leptonic scenarios. Additionally, we study the prospects of detecting further novae using LST-1 and the upcoming LST array of CTAO-North. We conducted target-of-opportunity observations with LST-1 from the first day of this nova event. The data were analysed in the framework of cta-lstchain and Gammapy, the official CTAO-LST reconstruction and analysis packages. One-zone hadronic and leptonic models were considered to model the gamma-ray emission of RS Oph using the spectral information from Fermi-LAT and LST-1, together with public data from the MAGIC and H.E.S.S. telescopes. RS Oph was detected at $6.6σ$ with LST-1 in the first 6.35 hours of observations following the eruption. The hadronic scenario is preferred over the leptonic scenario considering a proton energy spectrum with a power-law model with an exponential cutoff whose position increases from $(0.26\pm 0.08)$ TeV on day 1 up to $(1.6\pm 0.6)$ TeV on day 4 after the eruption. The deep sensitivity and low energy threshold of the LST-1/LST array will allow us to detect faint novae and increase their discovery rate.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
A new method of reconstructing images of gamma-ray telescopes applied to the LST-1 of CTAO
Authors:
CTA-LST Project,
:,
K. Abe,
S. Abe,
A. Abhishek,
F. Acero,
A. Aguasca-Cabot,
I. Agudo,
C. Alispach,
N. Alvarez Crespo,
D. Ambrosino,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
C. Arcaro,
K. Asano,
P. Aubert,
A. Baktash,
M. Balbo,
A. Bamba,
A. Baquero Larriva,
U. Barres de Almeida,
J. A. Barrio,
L. Barrios Jiménez,
I. Batkovic
, et al. (283 additional authors not shown)
Abstract:
Imaging atmospheric Cherenkov telescopes (IACTs) are used to observe very high-energy photons from the ground. Gamma rays are indirectly detected through the Cherenkov light emitted by the air showers they induce. The new generation of experiments, in particular the Cherenkov Telescope Array Observatory (CTAO), sets ambitious goals for discoveries of new gamma-ray sources and precise measurements…
▽ More
Imaging atmospheric Cherenkov telescopes (IACTs) are used to observe very high-energy photons from the ground. Gamma rays are indirectly detected through the Cherenkov light emitted by the air showers they induce. The new generation of experiments, in particular the Cherenkov Telescope Array Observatory (CTAO), sets ambitious goals for discoveries of new gamma-ray sources and precise measurements of the already discovered ones. To achieve these goals, both hardware and data analysis must employ cutting-edge techniques. This also applies to the LST-1, the first IACT built for the CTAO, which is currently taking data on the Canary island of La Palma. This paper introduces a new event reconstruction technique for IACT data, aiming to improve the image reconstruction quality and the discrimination between the signal and the background from misidentified hadrons and electrons. The technique models the development of the extensive air shower signal, recorded as a waveform per pixel, seen by CTAO telescopes' cameras. Model parameters are subsequently passed to random forest regressors and classifiers to extract information on the primary particle. The new reconstruction was applied to simulated data and to data from observations of the Crab Nebula performed by the LST-1. The event reconstruction method presented here shows promising performance improvements. The angular and energy resolution, and the sensitivity, are improved by 10 to 20% over most of the energy range. At low energy, improvements reach up to 22%, 47%, and 50%, respectively. A future extension of the method to stereoscopic analysis for telescope arrays will be the next important step.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
A detailed study of the very-high-energy Crab pulsar emission with the LST-1
Authors:
CTA-LST Project,
:,
K. Abe,
S. Abe,
A. Abhishek,
F. Acero,
A. Aguasca-Cabot,
I. Agudo,
N. Alvarez Crespo,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
C. Arcaro,
M. Artero,
K. Asano,
P. Aubert,
A. Baktash,
A. Bamba,
A. Baquero Larriva,
L. Baroncelli,
U. Barres de Almeida,
J. A. Barrio,
I. Batkovic,
J. Baxter,
J. Becerra González
, et al. (272 additional authors not shown)
Abstract:
Context: There are currently three pulsars firmly detected by imaging atmospheric Cherenkov telescopes (IACTs), two of them reaching TeV energies, challenging models of very-high-energy (VHE) emission in pulsars. More precise observations are needed to better characterize pulsar emission at these energies. The LST-1 is the prototype of the Large-Sized Telescope, that will be part of the Cherenkov…
▽ More
Context: There are currently three pulsars firmly detected by imaging atmospheric Cherenkov telescopes (IACTs), two of them reaching TeV energies, challenging models of very-high-energy (VHE) emission in pulsars. More precise observations are needed to better characterize pulsar emission at these energies. The LST-1 is the prototype of the Large-Sized Telescope, that will be part of the Cherenkov Telescope Array Observatory (CTAO). Its improved performance over previous IACTs makes it well suited for studying pulsars. Aims: To study the Crab pulsar emission with the LST-1, improving and complementing the results from other telescopes. These observations can also be used to characterize the potential of the LST-1 to study other pulsars and detect new ones. Methods: We analyzed a total of $\sim$103 hours of gamma-ray observations of the Crab pulsar conducted with the LST-1 in the period from September 2020 to January 2023. The observations were carried out at zenith angles less than 50 degrees. A new analysis of the Fermi-LAT data was also performed, including $\sim$14 years of observations. Results: The Crab pulsar phaseogram, long-term light-curve, and phase-resolved spectra are reconstructed with the LST-1 from 20 GeV to 450 GeV for P1 and up to 700 GeV for P2. The pulsed emission is detected with a significance of 15.2$σ$. The two characteristic emission peaks of the Crab pulsar are clearly detected (>10$σ$), as well as the so-called bridge emission (5.7$σ$). We find that both peaks are well described by power laws, with spectral indices of $\sim$3.44 and $\sim$3.03 respectively. The joint analysis of Fermi-LAT and LST-1 data shows a good agreement between both instruments in the overlapping energy range. The detailed results obtained in the first observations of the Crab pulsar with LST-1 show the potential that CTAO will have to study this type of sources.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Dark Matter Line Searches with the Cherenkov Telescope Array
Authors:
S. Abe,
J. Abhir,
A. Abhishek,
F. Acero,
A. Acharyya,
R. Adam,
A. Aguasca-Cabot,
I. Agudo,
A. Aguirre-Santaella,
J. Alfaro,
R. Alfaro,
N. Alvarez-Crespo,
R. Alves Batista,
J. -P. Amans,
E. Amato,
G. Ambrosi,
L. Angel,
C. Aramo,
C. Arcaro,
T. T. H. Arnesen,
L. Arrabito,
K. Asano,
Y. Ascasibar,
J. Aschersleben,
H. Ashkar
, et al. (540 additional authors not shown)
Abstract:
Monochromatic gamma-ray signals constitute a potential smoking gun signature for annihilating or decaying dark matter particles that could relatively easily be distinguished from astrophysical or instrumental backgrounds. We provide an updated assessment of the sensitivity of the Cherenkov Telescope Array (CTA) to such signals, based on observations of the Galactic centre region as well as of sele…
▽ More
Monochromatic gamma-ray signals constitute a potential smoking gun signature for annihilating or decaying dark matter particles that could relatively easily be distinguished from astrophysical or instrumental backgrounds. We provide an updated assessment of the sensitivity of the Cherenkov Telescope Array (CTA) to such signals, based on observations of the Galactic centre region as well as of selected dwarf spheroidal galaxies. We find that current limits and detection prospects for dark matter masses above 300 GeV will be significantly improved, by up to an order of magnitude in the multi-TeV range. This demonstrates that CTA will set a new standard for gamma-ray astronomy also in this respect, as the world's largest and most sensitive high-energy gamma-ray observatory, in particular due to its exquisite energy resolution at TeV energies and the adopted observational strategy focussing on regions with large dark matter densities. Throughout our analysis, we use up-to-date instrument response functions, and we thoroughly model the effect of instrumental systematic uncertainties in our statistical treatment. We further present results for other potential signatures with sharp spectral features, e.g.~box-shaped spectra, that would likewise very clearly point to a particle dark matter origin.
△ Less
Submitted 23 July, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Performance of the joint LST-1 and MAGIC observations evaluated with Crab Nebula data
Authors:
H. Abe,
K. Abe,
S. Abe,
V. A. Acciari,
A. Aguasca-Cabot,
I. Agudo,
N. Alvarez Crespo,
T. Aniello,
S. Ansoldi,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
C. Arcaro,
M. Artero,
K. Asano,
P. Aubert,
D. Baack,
A. Babić,
A. Baktash,
A. Bamba,
A. Baquero Larriva,
L. Baroncelli,
U. Barres de Almeida,
J. A. Barrio,
I. Batković
, et al. (344 additional authors not shown)
Abstract:
Aims. LST-1, the prototype of the Large-Sized Telescope for the upcoming Cherenkov Telescope Array Observatory, is concluding its commissioning in Observatorio del Roque de los Muchachos on the island of La Palma. The proximity of LST-1 (Large-Sized Telescope 1) to the two MAGIC (Major Atmospheric Gamma Imaging Cherenkov) telescopes permits observations of the same gamma-ray events with both syste…
▽ More
Aims. LST-1, the prototype of the Large-Sized Telescope for the upcoming Cherenkov Telescope Array Observatory, is concluding its commissioning in Observatorio del Roque de los Muchachos on the island of La Palma. The proximity of LST-1 (Large-Sized Telescope 1) to the two MAGIC (Major Atmospheric Gamma Imaging Cherenkov) telescopes permits observations of the same gamma-ray events with both systems. Methods. We describe the joint LST-1+MAGIC analysis pipeline and use simultaneous Crab Nebula observations and Monte Carlo simulations to assess the performance of the three-telescope system. The addition of the LST-1 telescope allows the recovery of events in which one of the MAGIC images is too dim to survive analysis quality cuts. Results. Thanks to the resulting increase in the collection area and stronger background rejection, we find a significant improvement in sensitivity, allowing the detection of 30% weaker fluxes in the energy range between 200 GeV and 3 TeV. The spectrum of the Crab Nebula, reconstructed in the energy range ~60 GeV to ~10 TeV, is in agreement with previous measurements.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Prospects for $γ$-ray observations of the Perseus galaxy cluster with the Cherenkov Telescope Array
Authors:
The Cherenkov Telescope Array Consortium,
:,
K. Abe,
S. Abe,
F. Acero,
A. Acharyya,
R. Adam,
A. Aguasca-Cabot,
I. Agudo,
A. Aguirre-Santaella,
J. Alfaro,
R. Alfaro,
N. Alvarez-Crespo,
R. Alves Batista,
J. -P. Amans,
E. Amato,
E. O. Angüner,
L. A. Antonelli,
C. Aramo,
M. Araya,
C. Arcaro,
L. Arrabito,
K. Asano,
Y. Ascasíbar,
J. Aschersleben
, et al. (542 additional authors not shown)
Abstract:
Galaxy clusters are expected to be dark matter (DM) reservoirs and storage rooms for the cosmic-ray protons (CRp) that accumulate along the cluster's formation history. Accordingly, they are excellent targets to search for signals of DM annihilation and decay at gamma-ray energies and are predicted to be sources of large-scale gamma-ray emission due to hadronic interactions in the intracluster med…
▽ More
Galaxy clusters are expected to be dark matter (DM) reservoirs and storage rooms for the cosmic-ray protons (CRp) that accumulate along the cluster's formation history. Accordingly, they are excellent targets to search for signals of DM annihilation and decay at gamma-ray energies and are predicted to be sources of large-scale gamma-ray emission due to hadronic interactions in the intracluster medium. We estimate the sensitivity of the Cherenkov Telescope Array (CTA) to detect diffuse gamma-ray emission from the Perseus galaxy cluster. We perform a detailed spatial and spectral modelling of the expected signal for the DM and the CRp components. For each, we compute the expected CTA sensitivity. The observing strategy of Perseus is also discussed. In the absence of a diffuse signal (non-detection), CTA should constrain the CRp to thermal energy ratio within the radius $R_{500}$ down to about $X_{500}<3\times 10^{-3}$, for a spatial CRp distribution that follows the thermal gas and a CRp spectral index $α_{\rm CRp}=2.3$. Under the optimistic assumption of a pure hadronic origin of the Perseus radio mini-halo and depending on the assumed magnetic field profile, CTA should measure $α_{\rm CRp}$ down to about $Δα_{\rm CRp}\simeq 0.1$ and the CRp spatial distribution with 10% precision. Regarding DM, CTA should improve the current ground-based gamma-ray DM limits from clusters observations on the velocity-averaged annihilation cross-section by a factor of up to $\sim 5$, depending on the modelling of DM halo substructure. In the case of decay of DM particles, CTA will explore a new region of the parameter space, reaching models with $τ_χ>10^{27}$s for DM masses above 1 TeV. These constraints will provide unprecedented sensitivity to the physics of both CRp acceleration and transport at cluster scale and to TeV DM particle models, especially in the decay scenario.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Observations of the Crab Nebula and Pulsar with the Large-Sized Telescope Prototype of the Cherenkov Telescope Array
Authors:
CTA-LST Project,
:,
H. Abe,
K. Abe,
S. Abe,
A. Aguasca-Cabot,
I. Agudo,
N. Alvarez Crespo,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
C. Arcaro,
M. Artero,
K. Asano,
P. Aubert,
A. Baktash,
A. Bamba,
A. Baquero Larriva,
L. Baroncelli,
U. Barres de Almeida,
J. A. Barrio,
I. Batkovic,
J. Baxter,
J. Becerra González,
E. Bernardini
, et al. (267 additional authors not shown)
Abstract:
CTA (Cherenkov Telescope Array) is the next generation ground-based observatory for gamma-ray astronomy at very-high energies. The Large-Sized Telescope prototype (LST-1) is located at the Northern site of CTA, on the Canary Island of La Palma. LSTs are designed to provide optimal performance in the lowest part of the energy range covered by CTA, down to $\simeq 20$ GeV. LST-1 started performing a…
▽ More
CTA (Cherenkov Telescope Array) is the next generation ground-based observatory for gamma-ray astronomy at very-high energies. The Large-Sized Telescope prototype (LST-1) is located at the Northern site of CTA, on the Canary Island of La Palma. LSTs are designed to provide optimal performance in the lowest part of the energy range covered by CTA, down to $\simeq 20$ GeV. LST-1 started performing astronomical observations in November 2019, during its commissioning phase, and it has been taking data since then. We present the first LST-1 observations of the Crab Nebula, the standard candle of very-high energy gamma-ray astronomy, and use them, together with simulations, to assess the basic performance parameters of the telescope. The data sample consists of around 36 hours of observations at low zenith angles collected between November 2020 and March 2022. LST-1 has reached the expected performance during its commissioning period - only a minor adjustment of the preexisting simulations was needed to match the telescope behavior. The energy threshold at trigger level is estimated to be around 20 GeV, rising to $\simeq 30$ GeV after data analysis. Performance parameters depend strongly on energy, and on the strength of the gamma-ray selection cuts in the analysis: angular resolution ranges from 0.12 to 0.40 degrees, and energy resolution from 15 to 50%. Flux sensitivity is around 1.1% of the Crab Nebula flux above 250 GeV for a 50-h observation (12% for 30 minutes). The spectral energy distribution (in the 0.03 - 30 TeV range) and the light curve obtained for the Crab Nebula agree with previous measurements, considering statistical and systematic uncertainties. A clear periodic signal is also detected from the pulsar at the center of the Nebula.
△ Less
Submitted 19 July, 2023; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Multi-wavelength study of the galactic PeVatron candidate LHAASO J2108+5157
Authors:
S. Abe,
A. Aguasca-Cabot,
I. Agudo,
N. Alvarez Crespo,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
M. Artero,
K. Asano,
P. Aubert,
A. Baktash,
A. Bamba,
A. Baquero Larriva,
L. Baroncelli,
U. Barres de Almeida,
J. A. Barrio,
I. Batkovic,
J. Baxter,
J. Becerra González,
E. Bernardini,
M. I. Bernardos,
J. Bernete Medrano,
A. Berti,
P. Bhattacharjee,
N. Biederbeck
, et al. (245 additional authors not shown)
Abstract:
LHAASO J2108+5157 is one of the few known unidentified Ultra-High-Energy (UHE) gamma-ray sources with no Very-High-Energy (VHE) counterpart, recently discovered by the LHAASO collaboration. We observed LHAASO J2108+5157 in the X-ray band with XMM-Newton in 2021 for a total of 3.8 hours and at TeV energies with the Large-Sized Telescope prototype (LST-1), yielding 49 hours of good quality data. In…
▽ More
LHAASO J2108+5157 is one of the few known unidentified Ultra-High-Energy (UHE) gamma-ray sources with no Very-High-Energy (VHE) counterpart, recently discovered by the LHAASO collaboration. We observed LHAASO J2108+5157 in the X-ray band with XMM-Newton in 2021 for a total of 3.8 hours and at TeV energies with the Large-Sized Telescope prototype (LST-1), yielding 49 hours of good quality data. In addition, we analyzed 12 years of Fermi-LAT data, to better constrain emission of its High-Energy (HE) counterpart 4FGL J2108.0+5155. We found an excess (3.7 sigma) in the LST-1 data at energies E > 3 TeV. Further analysis in the whole LST-1 energy range assuming a point-like source, resulted in a hint (2.2 sigma) of hard emission which can be described with a single power law with photon index Gamma = 1.6 +- 0.2 between 0.3 - 100 TeV. We did not find any significant extended emission which could be related to a Supernova Remnant (SNR) or Pulsar Wind Nebula (PWN) in the XMM-Newton data, which puts strong constraints on possible synchrotron emission of relativistic electrons. The LST-1 and LHAASO observations can be explained as inverse Compton-dominated leptonic emission of relativistic electrons with a cutoff energy of $100^{+70}_{-30}$ TeV. The low magnetic field in the source imposed by the X-ray upper limits on synchrotron emission is compatible with a hypothesis of a PWN or a TeV halo. The lack of a pulsar in the neighborhood of the UHE source is a challenge to the PWN/TeV-halo scenario. The UHE gamma rays can also be explained as $π^0$ decay-dominated hadronic emission due to interaction of relativistic protons with one of the two known molecular clouds in the direction of the source. The hard spectrum in the LST-1 band is compatible with protons escaping a shock around a middle-aged SNR because of their high low-energy cut-off.
△ Less
Submitted 16 March, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
-
A lightweight BFT consensus protocol for blockchains
Authors:
Jan Hackfeld
Abstract:
We present a general consensus framework that allows to easily introduce a customizable Byzantine fault tolerant consensus algorithm to an existing (Delegated) Proof-of-Stake blockchain. We prove the safety of the protocol under the assumption that less than 1/3 of the validators are Byzantine. The framework further allows for consensus participants to choose subjective decision thresholds in orde…
▽ More
We present a general consensus framework that allows to easily introduce a customizable Byzantine fault tolerant consensus algorithm to an existing (Delegated) Proof-of-Stake blockchain. We prove the safety of the protocol under the assumption that less than 1/3 of the validators are Byzantine. The framework further allows for consensus participants to choose subjective decision thresholds in order to obtain safety even in the case of a larger proportion of Byzantine validators. Moreover, the liveness of the protocol is shown if less than 1/3 of the validators crash.
Based on the framework, we introduce Lisk-BFT, a Byzantine fault tolerant consensus algorithm for the Lisk ecosystem. Lisk-BFT integrates with the existing block proposal mechanism, requires only two additional integers in blocks and no additional messages. The protocol is simple and provides safety in the case of static validators if less than 1/3 of the validators are Byzantine. For the case of dynamically changing validators, we prove the safety of the protocol assuming a bound on the number of Byzantine validators and the number of honest validators that can change at one time. We further show the liveness of the Lisk-BFT protocol for less than 1/3 crashing validators.
△ Less
Submitted 4 May, 2021; v1 submitted 27 March, 2019;
originally announced March 2019.
-
Tight bounds for undirected graph exploration with pebbles and multiple agents
Authors:
Yann Disser,
Jan Hackfeld,
Max Klimm
Abstract:
We study the problem of deterministically exploring an undirected and initially unknown graph with $n$ vertices either by a single agent equipped with a set of pebbles, or by a set of collaborating agents. The vertices of the graph are unlabeled and cannot be distinguished by the agents, but the edges incident to a vertex have locally distinct labels. The graph is explored when all vertices have b…
▽ More
We study the problem of deterministically exploring an undirected and initially unknown graph with $n$ vertices either by a single agent equipped with a set of pebbles, or by a set of collaborating agents. The vertices of the graph are unlabeled and cannot be distinguished by the agents, but the edges incident to a vertex have locally distinct labels. The graph is explored when all vertices have been visited by at least one agent. In this setting, it is known that for a single agent without pebbles $Θ(\log n)$ bits of memory are necessary and sufficient to explore any graph with at most $n$ vertices. We are interested in how the memory requirement decreases as the agent may mark vertices by dropping and retrieving distinguishable pebbles, or when multiple agents jointly explore the graph. We give tight results for both questions showing that for a single agent with constant memory $Θ(\log \log n)$ pebbles are necessary and sufficient for exploration. We further prove that the same bound holds for the number of collaborating agents needed for exploration.
For the upper bound, we devise an algorithm for a single agent with constant memory that explores any $n$-vertex graph using $\mathcal{O}(\log \log n)$ pebbles, even when $n$ is unknown. The algorithm terminates after polynomial time and returns to the starting vertex. Since an additional agent is at least as powerful as a pebble, this implies that $\mathcal{O}(\log \log n)$ agents with constant memory can explore any $n$-vertex graph. For the lower bound, we show that the number of agents needed for exploring any graph of size $n$ is already $Ω(\log \log n)$ when we allow each agent to have at most $\mathcal{O}( \log n ^{1-\varepsilon})$ bits of memory for any $\varepsilon>0$. This also implies that a single agent with sublogarithmic memory needs $Θ(\log \log n)$ pebbles to explore any $n$-vertex graph.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Maximal Exploration of Trees with Energy-Constrained Agents
Authors:
Evangelos Bampas,
Jérémie Chalopin,
Shantanu Das,
Jan Hackfeld,
Christina Karousatou
Abstract:
We consider the problem of exploring an unknown tree with a team of $k$ initially colocated mobile agents. Each agent has limited energy and cannot, as a result, traverse more than $B$ edges. The goal is to maximize the number of nodes collectively visited by all agents during the execution. Initially, the agents have no knowledge about the structure of the tree, but they gradually discover the to…
▽ More
We consider the problem of exploring an unknown tree with a team of $k$ initially colocated mobile agents. Each agent has limited energy and cannot, as a result, traverse more than $B$ edges. The goal is to maximize the number of nodes collectively visited by all agents during the execution. Initially, the agents have no knowledge about the structure of the tree, but they gradually discover the topology as they traverse new edges. We assume that the agents can communicate with each other at arbitrary distances. Therefore the knowledge obtained by one agent after traversing an edge is instantaneously transmitted to the other agents. We propose an algorithm that divides the tree into subtrees during the exploration process and makes a careful trade-off between breadth-first and depth-first exploration. We show that our algorithm is 3-competitive compared to an optimal solution that we could obtain if we knew the map of the tree in advance. While it is easy to see that no algorithm can be better than 2-competitive, we give a non-trivial lower bound of 2.17 on the competitive ratio of any online algorithm.
△ Less
Submitted 19 February, 2018;
originally announced February 2018.
-
Energy-efficient Delivery by Heterogeneous Mobile Agents
Authors:
Andreas Bärtschi,
Jérémie Chalopin,
Shantanu Das,
Yann Disser,
Daniel Graf,
Jan Hackfeld,
Paolo Penna
Abstract:
We consider the problem of delivering $m$ messages between specified source-target pairs in a weighted undirected graph, by $k$ mobile agents initially located at distinct nodes of the graph. Each agent consumes energy proportional to the distance it travels in the graph and we are interested in optimizing the total energy consumption for the team of agents. Unlike previous related work, we consid…
▽ More
We consider the problem of delivering $m$ messages between specified source-target pairs in a weighted undirected graph, by $k$ mobile agents initially located at distinct nodes of the graph. Each agent consumes energy proportional to the distance it travels in the graph and we are interested in optimizing the total energy consumption for the team of agents. Unlike previous related work, we consider heterogeneous agents with different rates of energy consumption (weights~$w_i$). To solve the delivery problem, agents face three major challenges: \emph{Collaboration} (how to work together on each message), \emph{Planning} (which route to take) and \emph{Coordination} (how to assign agents to messages).
We first show that the delivery problem can be 2-approximated \emph{without} collaborating and that this is best possible, i.e., we show that the \emph{benefit of collaboration} is 2 in general. We also show that the benefit of collaboration for a single message is~$1/\ln 2 \approx 1.44$. Planning turns out to be \NP-hard to approximate even for a single agent, but can be 2-approximated in polynomial time if agents have unit capacities and do not collaborate. We further show that coordination is \NP-hard even for agents with unit capacity, but can be efficiently solved exactly if they have uniform weights. Finally, we give a polynomial-time $(4\max\tfrac{w_i}{w_j})$-approximation for message delivery with unit capacities.
△ Less
Submitted 7 October, 2016;
originally announced October 2016.
