Source author record

Junya Nakamura

Junya Nakamura appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

12 published item(s)

preprint2026arXiv

Selection Guidelines for Geo-Replicated SMR Protocols: A Communication Pattern-based Latency Modeling Approach

State machine replication (SMR) is a replication technique that ensures fault tolerance by duplicating a service. Geo-replicated SMR is an enhanced version of SMR that distributes replicas in separate geographical locations, making the service more robust against large-scale disasters. Several geo-replicated SMR protocols have been proposed in the literature, each tailored to specific requirements; for example, protocols designed to reduce latency by either sacrificing a part of their fault tolerance or limiting the content of responses to clients. However, this diversity complicates the decision-making process for selecting the best protocol for a particular service. In this study, we introduce a latency estimation model for these SMR protocols based on the communication patterns of the protocols and perform simulations for various cases. Based on the simulation results and an experimental evaluation, we present five selection guidelines for geo-replicated SMR protocols based on their log management policy, distances between replicas, number of replicas, frequency of slow paths, and client distribution. These selection guidelines enable determining the best geo-replicated SMR protocol for each situation.

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 $k$ agents with unique identifiers (IDs) in the network, and $f$ 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 $Ω(f^2)$ non-Byzantine agents. This paper proposes an algorithm that solves the gathering problem efficiently with $Ω(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\cdot|Λ_{good}|\cdot X(N))$ rounds in case of $9f+8\leq k$ and simultaneous startup if $N$ is given to agents, where $|Λ_{good}|$ is the length of the largest ID among non-Byzantine agents, and $X(n)$ is the number of rounds required to explore any network composed of $n$ nodes. This algorithm is faster than the most fault-tolerant existing algorithm and requires fewer non-Byzantine agents than the fastest algorithm if $n$ 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.

preprint2022arXiv

Gathering Despite Defected View

An autonomous mobile robot system consisting of many mobile computational entities (called robots) attracts much attention of researchers, and to clarify the relation between the capabilities of robots and solvability of the problems is an emerging issue for a recent couple of decades. Generally, each robot can observe all other robots as long as there are no restrictions for visibility range or obstructions, regardless of the number of robots. In this paper, we provide a new perspective on the observation by robots; a robot cannot necessarily observe all other robots regardless of distances to them. We call this new computational model defected view model. Under this model, in this paper, we consider the gathering problem that requires all the robots to gather at the same point and propose two algorithms to solve the gathering problem in the adversarial ($N$,$N-2$)-defected model for $N \geq 5$ (where each robot observes at most $N-2$ robots chosen adversarially) and the distance-based (4,2)-defected model (where each robot observes at most 2 closest robots to itself) respectively, where $N$ is the number of robots. Moreover, we present an impossibility result showing that there is no (deterministic) gathering algorithm in the adversarial or distance-based (3,1)-defected model. Moreover, we show an impossibility result for the gathering in a relaxed ($N$, $N-2$)-defected model.

preprint2022arXiv

Network Bandwidth Variation-Adapted State Transfer for Geo-Replicated State Machines and its Application to Dynamic Replica Replacement

This paper proposes a new state transfer method for geographic state machine replication (SMR) that dynamically allocates the state to be transferred among replicas according to changes in communication bandwidths. SMR improves fault tolerance by replicating a service to multiple replicas. When a replica is newly added or recovered from a failure, the other replicas transfer the current state of the service to it. However, in geographic SMR, the communication bandwidths of replicas are different and constantly changing. Therefore, existing state transfer methods cannot fully utilize the available bandwidth, and their state transfer time increases. To overcome this problem, our method divides the state into multiple chunks and assigns them to replicas based on each replica's bandwidth so that the broader a replica's bandwidth is, the more chunks it transfers. The proposed method also updates the chunk assignment of each replica dynamically based on the currently estimated bandwidth. The performance evaluation on Amazon EC2 shows that the proposed method reduces the state transfer time by up to 47% compared to the existing one. In addition, we apply the proposed method to dynamic replacement of replicas, which can mitigate latency degradation caused by network trouble, and evaluate how fast the method can relocate a replica.

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 $k$ agents with unique identifiers (IDs), and $f$ 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 $n$ is given to agents, the existing fastest algorithm tolerates any number of weakly Byzantine agents and achieves gathering with simultaneous termination in $O(n^4\cdot|Λ_{good}|\cdot X(n))$ rounds, where $|Λ_{good}|$ is the length of the maximum ID of non-Byzantine agents and $X(n)$ is the number of rounds required to explore any network composed of $n$ 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 $4f^2+9f+4$ agents exist. Both the algorithms take the upper bound $N$ of $n$ as input. The first algorithm achieves gathering with non-simultaneous termination in $O((f+|Λ_{good}|)\cdot X(N))$ rounds. The second algorithm achieves gathering with simultaneous termination in $O((f+|Λ_{all}|)\cdot X(N))$ rounds, where $|Λ_{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 $n$ is given to agents and $|Λ_{all}|=O(|Λ_{good}|)$ holds.

preprint2020arXiv

The Power of Global Knowledge on Self-stabilizing Population Protocols

In the population protocol model, many problems cannot be solved in a self-stabilizing way. However, global knowledge, such as the number of nodes in a network, sometimes allows us to design a self-stabilizing protocol for such problems. In this paper, we investigate the effect of global knowledge on the possibility of self-stabilizing population protocols in arbitrary graphs. Specifically, we clarify the solvability of the leader election problem, the ranking problem, the degree recognition problem, and the neighbor recognition problem by self-stabilizing population protocols with knowledge of the number of nodes and/or the number of edges in a network.

preprint2015arXiv

A simple merging algorithm for jet angular correlation studies

A tree level merging algorithm which guarantees the leading order (LO) accuracy of angular correlations between jets is proposed and studied. The algorithm is designed so that n-jet events are generated exclusively according to the LO n-parton production cross section and each of the n-jet is close to each of the n-parton in terms of the jet measure. As a result, the LO accuracy of angular correlations between the n-jet is robust. Furthermore, as long as the n-jet events are exclusively subjects to a study, only the LO n-parton production cross section is needed and hence event generation is efficient. Correlations in the azimuthal angle difference between the two highest transverse momentum jets with large rapidity separations in the top quark pair production are evaluated as examples. The algorithm is validated by discussing numerical differences between its predictions and the predictions of a well-established merging algorithm.

preprint2015arXiv

Study on the azimuthal angle correlation between two jets in the top quark pair production

An azimuthal angle correlation between the two hardest jets is studied in the ttbar production process at the 14 TeV LHC. The event samples are generated by merging the tree level matrix elements for the ttbar plus up to 2 or 3 partons with parton showers. The generated event samples show a strong correlation in the azimuthal angle difference between the two hardest jets, as predicted in the analysis based on the tree level matrix elements for the ttbar+2 partons. The effects of merging the matrix elements for the ttbar+3 partons on the correlation are studied in detail. It is found that they play important roles in improving the prediction of the correlation.

preprint2014arXiv

TauDecay: a library to simulate polarized tau decays via FeynRules and MadGraph5

TauDecay is a library of helicity amplitudes to simulate polarized tau decays, constructed in the FeynRules and MadGraph5 framework. Together with the leptonic mode, the decay library includes the main hadronic modes, τ\to ν_τ+π, 2π, and 3π, which are introduced as effective vertices by using FeynRules. The model file allows us to simulate tau decays when the on-shell tau production is kinematically forbidden. We also demonstrate that all possible correlations among the decay products of pair-produced taus through a Z boson and a scalar/pseudoscalar Higgs boson are produced automatically. The program has been tested carefully by making use of the standard tau decay library Tauola.

preprint2013arXiv

10 GeV neutralino dark matter and light stau in the MSSM

It has recently been pointed out that a component of the observed gamma ray emission in the low-latitudes of Fermi Bubble has a spectral shape that can be explained by a 10 GeV dark matter (DM) annihilating to tau leptons with a cross-section of 2 x 10^{-27} cm^3/s. Motivated by this possibility, we revisit the annihilation of a 10 GeV neutralino DM in the MSSM via stau exchange. The required stau masses and mixing, consistent with LEP direct search and electroweak precision constraints, are correlated with a possible enhancement of the Higgs decay rate to two photons. We also explore the implications of such a scenario for DM relic density and the muon anomalous magnetic moment, taking into account the recent ATLAS bounds on the chargino and the first two generation slepton masses, as well as the constraints on the Higgsino fraction of a 10 GeV neutralino.

preprint2013arXiv

Diquark contributions to Top quark charge asymmetry at the Tevatron and LHC

We study contributions of a scalar diquark particle in a color representation of anti-triplet and sextet to the top quark pair production at the Tevatron and the Large hadron collider (LHC). The model can give Forward-Backward (FB) asymmetry at the Tevatron while can avoid the same sign top quark production at the LHC by assuming the top-number conserving diquark couplings. We study compatibility between the large positive FB asymmetry observed at the Tevatron and non-observation of the charge asymmetry at the LHC, by including contributions from the single and pair production of diquarks. We find that the whole parameter space of the models can soon be explored at the LHC by measuring the total t-tbar production cross section and the inclusive charge asymmetry with smaller uncertainties. In addition, we compare the statistical significance of the charge asymmetry measured at the LHC with that of the optimal observable of the subprocess FB asymmetry, and find that they are comparable even when we ignore the uncertainty in the parton distribution functions.

preprint2013arXiv

Properties of 125 GeV Higgs boson in non-decoupling MSSM scenarios

Tantalizing hints of the Higgs boson of mass around 125 GeV have been reported at the LHC. We explore the MSSM parameter space in which the 125 GeV state is identified as the heavier of the CP even Higgs bosons, and study two scenarios where the two photon production rate can be significantly larger than the standard model (SM). In one scenario, $Γ(H\to γγ)$ is enhanced by a light stau contribution, while the $WW^{\ast}$ ($ZZ^{\ast}$) rate stays around the SM rate. In the other scenario, $Γ(H\to b\bar{b})$ is suppressed and not only the $γγ$ but also the $WW^{\ast}$ ($ZZ^{\ast}$) rates should be enhanced. The $τ\barτ$ rate can be significantly larger or smaller than the SM rate in both scenarios. Other common features of the scenarios include top quark decays into charged Higgs boson, single and pair production of all Higgs bosons in $e^+e^-$ collisions at $\sqrt{s}\lesssim 300$ GeV.