Source author record

Jion Hirose

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
1topics
3close collaborators

Published work

2 publications

preprint2022arXiv

Gathering despite a linear number of weakly Byzantine agents

We study the gathering problem to make multiple agents initially scattered in arbitrary networks gather at a single node. There exist kk agents with unique identifiers (IDs) in the network, and ff of them are weakly Byzantine agents, which behave arbitrarily except for falsifying their IDs. The agents behave in synchronous rounds, and each node does not have any memory like a whiteboard. In the literature, there exists a gathering algorithm that tolerates any number of Byzantine agents, while the fastest gathering algorithm requires Ω(f2)Ω(f^2) non-Byzantine agents. This paper proposes an algorithm that solves the gathering problem efficiently with Ω(f)Ω(f) non-Byzantine agents since there is a large gap between the number of non-Byzantine agents in previous works. The proposed algorithm achieves the gathering in O(f⋅∣Λgood∣⋅X(N))O(f\cdot|Λ_{good}|\cdot X(N)) rounds in case of 9f+8≤k9f+8\leq k and simultaneous startup if NN is given to agents, where ∣Λgood∣|Λ_{good}| is the length of the largest ID among non-Byzantine agents, and X(n)X(n) is the number of rounds required to explore any network composed of nn nodes. This algorithm is faster than the most fault-tolerant existing algorithm and requires fewer non-Byzantine agents than the fastest algorithm if nn is given to agents, although the guarantees on simultaneous termination and startup delay are not the same. To achieve this property, we propose a new technique to simulate a Byzantine consensus algorithm for synchronous message-passing systems on agent systems.

preprint2020arXiv

Gathering with a strong team in weakly Byzantine environments

We study the gathering problem requiring a team of mobile agents to gather at a single node in arbitrary networks. The team consists of kk agents with unique identifiers (IDs), and ff of them are weakly Byzantine agents, which behave arbitrarily except falsifying their identifiers. The agents move in synchronous rounds and cannot leave any information on nodes. If the number of nodes nn is given to agents, the existing fastest algorithm tolerates any number of weakly Byzantine agents and achieves gathering with simultaneous termination in O(n4⋅∣Λgood∣⋅X(n))O(n^4\cdot|Λ_{good}|\cdot X(n)) rounds, where ∣Λgood∣|Λ_{good}| is the length of the maximum ID of non-Byzantine agents and X(n)X(n) is the number of rounds required to explore any network composed of nn nodes. In this paper, we ask the question of whether we can reduce the time complexity if we have a strong team, i.e., a team with a few Byzantine agents, because not so many agents are subject to faults in practice. We give a positive answer to this question by proposing two algorithms in the case where at least 4f2+9f+44f^2+9f+4 agents exist. Both the algorithms take the upper bound NN of nn as input. The first algorithm achieves gathering with non-simultaneous termination in O((f+∣Λgood∣)⋅X(N))O((f+|Λ_{good}|)\cdot X(N)) rounds. The second algorithm achieves gathering with simultaneous termination in O((f+∣Λall∣)⋅X(N))O((f+|Λ_{all}|)\cdot X(N)) rounds, where ∣Λall∣|Λ_{all}| is the length of the maximum ID of all agents. The second algorithm significantly reduces the time complexity compared to the existing one if nn is given to agents and ∣Λall∣=O(∣Λgood∣)|Λ_{all}|=O(|Λ_{good}|) holds.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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