-
Calculation of the biquadratic spin interactions based on the spin cluster expansion for \textit{ab initio} tight-binding models
Authors:
Tatsuto Hatanaka,
Takuya Nomoto,
Ryotaro Arita
Abstract:
We devise a calculation scheme for \textit{ab initio} tight-binding Hamiltonians to evaluate the biquadratic spin interaction. This scheme employs the spin cluster expansion with the disordered local moment method and was originally developed within the Korringa-Kohn-Rostoker theory. By applying it to the two-orbital Hubbard model, we show that the evaluated biquadratic interactions agree well wit…
▽ More
We devise a calculation scheme for \textit{ab initio} tight-binding Hamiltonians to evaluate the biquadratic spin interaction. This scheme employs the spin cluster expansion with the disordered local moment method and was originally developed within the Korringa-Kohn-Rostoker theory. By applying it to the two-orbital Hubbard model, we show that the evaluated biquadratic interactions agree well with those in the effective quantum spin model derived for the limit of strong correlation. This result suggests the broad applicability of the method to various magnets with large local moments. We then apply it to the \textit{ab initio} tight-binding models for bcc Fe and fcc Ni and obtain consistent results with previous studies. The present scheme offers a convenient \textit{ab initio} tool for understanding or predicting magnetic properties arising from the biquadratic interaction.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Angle-Aware Coverage with Camera Rotational Motion Control
Authors:
Zhiyuan Lu,
Muhammad Hanif,
Takumi Shimizu,
Takeshi Hatanaka
Abstract:
This paper presents a novel control strategy for drone networks to improve the quality of 3D structures reconstructed from aerial images by drones. Unlike the existing coverage control strategies for this purpose, our proposed approach simultaneously controls both the camera orientation and drone translational motion, enabling more comprehensive perspectives and enhancing the map's overall quality…
▽ More
This paper presents a novel control strategy for drone networks to improve the quality of 3D structures reconstructed from aerial images by drones. Unlike the existing coverage control strategies for this purpose, our proposed approach simultaneously controls both the camera orientation and drone translational motion, enabling more comprehensive perspectives and enhancing the map's overall quality. Subsequently, we present a novel problem formulation, including a new performance function to evaluate the drone positions and camera orientations. We then design a QP-based controller with a control barrier-like function for a constraint on the decay rate of the objective function. The present problem formulation poses a new challenge, requiring significantly greater computational efforts than the case involving only translational motion control. We approach this issue technologically, namely by introducing JAX, utilizing just-in-time (JIT) compilation and Graphical Processing Unit (GPU) acceleration. We finally conduct extensive verifications through simulation in ROS (Robot Operating System) and show the real-time feasibility of the controller and the superiority of the present controller to the conventional method.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Ferromagnetic state with large magnetic moments realized in epitaxially strained Sr3Ru2O7 films
Authors:
Ren Oshima,
Tatsuto Hatanaka,
Shinichi Nishihaya,
Takuya Nomoto,
Markus Kriener,
Takahiro C. Fujita,
Masashi Kawasaki,
Ryotaro Arita,
Masaki Uchida
Abstract:
Technical advancement of oxide molecular beam epitaxy (MBE) has opened new avenues for studying various quantum transport phenomena in correlated transition-metal oxides, as exemplified by the exotic superconductivity of Sr$_2$RuO$_4$ and quantum oscillations of SrRuO$_3$. On the other hand, film research of another Ruddlesden-Popper strontium ruthenate Sr$_3$Ru$_2$O$_7$ which exhibits a unique qu…
▽ More
Technical advancement of oxide molecular beam epitaxy (MBE) has opened new avenues for studying various quantum transport phenomena in correlated transition-metal oxides, as exemplified by the exotic superconductivity of Sr$_2$RuO$_4$ and quantum oscillations of SrRuO$_3$. On the other hand, film research of another Ruddlesden-Popper strontium ruthenate Sr$_3$Ru$_2$O$_7$ which exhibits a unique quantum phase related to metamagnetism in bulk systems did not progress well. Here we report the fabrication of high-quality Sr$_3$Ru$_2$O$_7$ thin films by oxide MBE and the observation of a strain-induced ferromagnetic ground state. The change in magnetic exchange coupling evaluated by first-principles calculations indicates a systematic relation between the compression of the $c$-axis length and induced ferromagnetism. Giant epitaxial strain in high-quality films will be a key to a comprehensive understanding of the magnetism in Ruddlesden-Popper strontium ruthenates Sr$_{n+1}$Ru$_n$O$_{3n+1}$, which sensitively depends on the ratio of in-plane to out-of-plane Ru-Ru distances.
△ Less
Submitted 29 March, 2024;
originally announced April 2024.
-
Net-Zero Energy House-oriented Linear Programming for the Sizing Problem of Photovoltaic Panels and Batteries
Authors:
A. Daniel Carnerero,
Taichi Tanaka,
Mengmou Li,
Takeshi Hatanaka,
Yasuaki Wasa,
Kenji Hirata,
Yoshiaki Ushifusa,
Takanori Ida
Abstract:
The global drive towards carbon neutrality has led to a significant increase in the number of power plants based on renewable energy sources (RES). Concurrently, numerous households are adopting RES to generate their own energy, aiming to decrease both electricity costs and carbon footprints. To support these users, many papers have been devoted to developing optimal investment strategies for resi…
▽ More
The global drive towards carbon neutrality has led to a significant increase in the number of power plants based on renewable energy sources (RES). Concurrently, numerous households are adopting RES to generate their own energy, aiming to decrease both electricity costs and carbon footprints. To support these users, many papers have been devoted to developing optimal investment strategies for residential energy systems. However, there is still a significant gap as these studies often neglect important aspects like carbon neutrality. For this reason, in this paper, we explore the concept of net-zero energy houses (ZEHs) -- houses designed to have an annual net energy consumption around zero -- by presenting a constrained optimization problem to find the optimal number of photovoltaic panels and the optimal size of the battery system for home integration. Solving this constrained optimization problem is difficult due to its nonconvex constraints. Nevertheless, by applying a series of transformations, we reveal that it is possible to find an equivalent linear programming (LP) problem which is computationally tractable. The attainment of ZEH can be tackled by introducing a single constraint in the optimization problem. Additionally, we propose a sharing economy approach to the investment problem, offering a strategy that could potentially reduce investment costs and facilitate the attainment of ZEH more efficiently. Finally, we apply the proposed frameworks to a neighborhood in Japan as a case study, demonstrating the potential for long-term ZEH attainment. The results show that, under the right incentive, users can achieve ZEH, reduce their electricity costs and have a minimal impact on the main grid.
△ Less
Submitted 11 June, 2024; v1 submitted 14 January, 2024;
originally announced January 2024.
-
Stochastic Optimal Investment Strategy for Net-Zero Energy Houses
Authors:
Mengmou Li,
Taichi Tanaka,
A. Daniel Carnerero,
Yasuaki Wasa,
Kenji Hirata,
Yasumasa Fujisaki,
Yoshiaki Ushifusa,
Takeshi Hatanaka
Abstract:
In this research, we investigate Net-Zero Energy Houses (ZEH), which harness regionally produced electricity from photovoltaic(PV) panels and fuel cells, integrating them into a local power system in pursuit of achieving carbon neutrality. This paper examines the impact of electricity sharing among users who are working towards attaining ZEH status through the integration of PV panels and battery…
▽ More
In this research, we investigate Net-Zero Energy Houses (ZEH), which harness regionally produced electricity from photovoltaic(PV) panels and fuel cells, integrating them into a local power system in pursuit of achieving carbon neutrality. This paper examines the impact of electricity sharing among users who are working towards attaining ZEH status through the integration of PV panels and battery storage devices. We propose two potential scenarios: the first assumes that all users individually invest in storage devices, hence minimizing their costs on a local level without energy sharing; the second envisions cost minimization through the collective use of a shared storage device, managed by a central manager. These two scenarios are formulated as a stochastic convex optimization and a cooperative game, respectively. To tackle the stochastic challenges posed by multiple random variables, we apply the Monte Carlo sample average approximation (SAA) to the problems. To demonstrate the practical applicability of these models, we implement the proposed scenarios in the Jono neighborhood in Kitakyushu, Japan.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Convergence Rate Bounds for the Mirror Descent Method: IQCs, Popov Criterion and Bregman Divergence
Authors:
Mengmou Li,
Khaled Laib,
Takeshi Hatanaka,
Ioannis Lestas
Abstract:
This paper presents a comprehensive convergence analysis for the mirror descent (MD) method, a widely used algorithm in convex optimization. The key feature of this algorithm is that it provides a generalization of classical gradient-based methods via the use of generalized distance-like functions, which are formulated using the Bregman divergence. Establishing convergence rate bounds for this alg…
▽ More
This paper presents a comprehensive convergence analysis for the mirror descent (MD) method, a widely used algorithm in convex optimization. The key feature of this algorithm is that it provides a generalization of classical gradient-based methods via the use of generalized distance-like functions, which are formulated using the Bregman divergence. Establishing convergence rate bounds for this algorithm is in general a non-trivial problem due to the lack of monotonicity properties in the composite nonlinearities involved. In this paper, we show that the Bregman divergence from the optimal solution, which is commonly used as a Lyapunov function for this algorithm, is a special case of Lyapunov functions that follow when the Popov criterion is applied to an appropriate reformulation of the MD dynamics. This is then used as a basis to construct an integral quadratic constraint (IQC) framework through which convergence rate bounds with reduced conservatism can be deduced. We also illustrate via examples that the convergence rate bounds derived can be tight.
△ Less
Submitted 19 June, 2024; v1 submitted 7 April, 2023;
originally announced April 2023.
-
Signature of topological band crossing in ferromagnetic Cr1/3NbSe2 epitaxial thin film
Authors:
Bruno Kenichi Saika,
Satoshi Hamao,
Yuki Majima,
Xiang Huang,
Hideki Matsuoka,
Satoshi Yoshida,
Miho Kitamura,
Masato Sakano,
Tatsuto Hatanaka,
Takuya Nomoto,
Motoaki Hirayama,
Koji Horiba,
Hiroshi Kumigashira,
Ryotaro Arita,
Yoshihiro Iwasa,
Masaki Nakano,
Kyoko Ishizaka
Abstract:
In intercalated transition metal dichalcogenides (I-TMDC), transition metal intercalation introduces magnetic phases which in some cases induce topological band crossing. However, evidence of the topological properties remains elusive in such materials. Here we employ angle-resolved photoemission spectroscopy to reveal the band structure of epitaxially grown ferromagnetic Cr1/3NbSe2. Experimental…
▽ More
In intercalated transition metal dichalcogenides (I-TMDC), transition metal intercalation introduces magnetic phases which in some cases induce topological band crossing. However, evidence of the topological properties remains elusive in such materials. Here we employ angle-resolved photoemission spectroscopy to reveal the band structure of epitaxially grown ferromagnetic Cr1/3NbSe2. Experimental evidence of the Weyl crossing shows Cr1/3NbSe2 to be a topological ferromagnet. This work highlights I-TMDC as platform towards the interplay of magnetic and topological physics in low-dimensional systems.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Magnetic interactions in intercalated transition metal dichalcogenides: a study based on ab initio model construction
Authors:
Tatsuto Hatanaka,
Takuya Nomoto,
Ryotaro Arita
Abstract:
Transition metal dichalcogenides (TMDs) are known to have a wide variety of magnetic structures by hosting other transition metal atoms in the van der Waals gaps. To understand the chemical trend of the magnetic properties of the intercalated TMDs, we perform a systematic first-principles study for 48 compounds with different hosts, guests, and composition ratios. Starting with calculations based…
▽ More
Transition metal dichalcogenides (TMDs) are known to have a wide variety of magnetic structures by hosting other transition metal atoms in the van der Waals gaps. To understand the chemical trend of the magnetic properties of the intercalated TMDs, we perform a systematic first-principles study for 48 compounds with different hosts, guests, and composition ratios. Starting with calculations based on spin density functional theory, we derive classical spin models by applying the Liechtenstein method to the ab initio Wannier-based tight-binding model. We show that the calculated exchange couplings are overall consistent with the experiments. In particular, when the composition rate is 1/3, the chemical trend can be understood in terms of the occupation of the 3d-orbital in the intercalated transition metal. The present results give us a useful guiding principle to predict the magnetic structure of compounds that are yet to be synthesized.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
3D Map Reconstruction of an Orchard using an Angle-Aware Covering Control Strategy
Authors:
Martina Mammarella,
Cesare Donati,
Takumi Shimizu,
Masaya Suenaga,
Lorenzo Comba,
Alessandro Biglia,
Kuniaki Uto,
Takeshi Hatanaka,
Paolo Gay,
Fabrizio Dabbene
Abstract:
In the last years, unmanned aerial vehicles are becoming a reality in the context of precision agriculture, mainly for monitoring, patrolling and remote sensing tasks, but also for 3D map reconstruction. In this paper, we present an innovative approach where a fleet of unmanned aerial vehicles is exploited to perform remote sensing tasks over an apple orchard for reconstructing a 3D map of the fie…
▽ More
In the last years, unmanned aerial vehicles are becoming a reality in the context of precision agriculture, mainly for monitoring, patrolling and remote sensing tasks, but also for 3D map reconstruction. In this paper, we present an innovative approach where a fleet of unmanned aerial vehicles is exploited to perform remote sensing tasks over an apple orchard for reconstructing a 3D map of the field, formulating the covering control problem to combine the position of a monitoring target and the viewing angle. Moreover, the objective function of the controller is defined by an importance index, which has been computed from a multi-spectral map of the field, obtained by a preliminary flight, using a semantic interpretation scheme based on a convolutional neural network. This objective function is then updated according to the history of the past coverage states, thus allowing the drones to take situation-adaptive actions. The effectiveness of the proposed covering control strategy has been validated through simulations on a Robot Operating System.
△ Less
Submitted 6 February, 2022;
originally announced February 2022.
-
Automatic Generation of Ice Hockey Defensive Motion via Coverage Control and Control Barrier Functions
Authors:
Kornvik Tanpipat,
Takeshi Hatanaka,
Masatoshi Hiroura
Abstract:
A successful defensive strategy in ice hockey games is often designed empirically by an experienced professional. The majority of previous work on automating the strategy focuses on analyzing spatial data to decide the most optimal formation and action but cannot generalize the system to real games with real-time capabilities. We propose a novel control logic for generating real-time ice hockey de…
▽ More
A successful defensive strategy in ice hockey games is often designed empirically by an experienced professional. The majority of previous work on automating the strategy focuses on analyzing spatial data to decide the most optimal formation and action but cannot generalize the system to real games with real-time capabilities. We propose a novel control logic for generating real-time ice hockey defensive motion based on a control barrier function (CBF) and coverage control to extend our antecessors' logic that succeeds in duplicating ideal formations for specific scenes. To this end, we first present an ellipsoidal CBF to overcome the drawbacks of the existing line-based CBF of our antecessors. We also tune and add a novel density function to reflect real specifications more precisely than the previous work. The control logic is then demonstrated through simulations with offensive motion in real games. It is confirmed that the present logic generates valid defensive movements without specification to these specific scenes. We further exemplify that the logic generates proper motion under ice hockey's man-to-man and zone defense strategies and their intermediate strategies by tuning the logic. This would contribute to reducing the efforts of the practitioners to educate ice hockey players.
△ Less
Submitted 21 November, 2021;
originally announced November 2021.
-
Passivity-based Analysis and Design for Population Dynamics with Conformity Biases
Authors:
Shunya Yamashita,
Kodai Irifune,
Takeshi Hatanaka,
Yasuaki Wasa,
Kenji Hirata,
Kenko Uchida
Abstract:
This paper addresses mechanisms for boundedly rational decision makers in discrete choice problem. First, we introduce two mathematical models of population dynamics with conformity biases. We next analyze the models in terms of delta-passivity, and show that the conformity biases work to break passivity of decision makers. Based on the passivity perspective, we propose mechanisms so as to induce…
▽ More
This paper addresses mechanisms for boundedly rational decision makers in discrete choice problem. First, we introduce two mathematical models of population dynamics with conformity biases. We next analyze the models in terms of delta-passivity, and show that the conformity biases work to break passivity of decision makers. Based on the passivity perspective, we propose mechanisms so as to induce decision makers to a desired population state. Furthermore, we analyze a convergence property of designed mechanisms, and present parameter conditions to guarantee stable inducements.
△ Less
Submitted 20 November, 2021;
originally announced November 2021.
-
Fixed-Parameter Algorithms for Graph Constraint Logic
Authors:
Tatsuhiko Hatanaka,
Felix Hommelsheim,
Takehiro Ito,
Yusuke Kobayashi,
Moritz Mühlenthaler,
Akira Suzuki
Abstract:
Non-deterministic constraint logic (NCL) is a simple model of computation based on orientations of a constraint graph with edge weights and vertex demands. NCL captures \PSPACE\xspace and has been a useful tool for proving algorithmic hardness of many puzzles, games, and reconfiguration problems. In particular, its usefulness stems from the fact that it remains \PSPACE-complete even under severe r…
▽ More
Non-deterministic constraint logic (NCL) is a simple model of computation based on orientations of a constraint graph with edge weights and vertex demands. NCL captures \PSPACE\xspace and has been a useful tool for proving algorithmic hardness of many puzzles, games, and reconfiguration problems. In particular, its usefulness stems from the fact that it remains \PSPACE-complete even under severe restrictions of the weights (e.g., only edge-weights one and two are needed) and the structure of the constraint graph (e.g., planar \textsc{and/or}\xspace graphs of bounded bandwidth). While such restrictions on the structure of constraint graphs do not seem to limit the expressiveness of NCL, the building blocks of the constraint graphs cannot be limited without losing expressiveness: We consider as parameters the number of weight-one edges and the number of weight-two edges of a constraint graph, as well as the number of \textsc{and}\xspace or \textsc{or}\xspace vertices of an \textsc{and/or}\xspace constraint graph. We show that NCL is fixed-parameter tractable (FPT) for any of these parameters. In particular, for NCL parameterized by the number of weight-one edges or the number of \textsc{and}\xspace vertices, we obtain a linear kernel. It follows that, in a sense, NCL as introduced by Hearn and Demaine is defined in the most economical way for the purpose of capturing \PSPACE.
△ Less
Submitted 20 November, 2020;
originally announced November 2020.
-
Smooth Dynamics for Distributed Constrained Optimization with Heterogeneous Delays
Authors:
Mengmou Li,
Shunya Yamashita,
Takeshi Hatanaka,
Graziano Chesi
Abstract:
This work investigates the distributed constrained optimization problem under inter-agent communication delays from the perspective of passivity. First, we propose a continuous-time algorithm for distributed constrained optimization with general convex objective functions. The asymptotic stability under general convexity is guaranteed by the phase lead compensation. The inequality constraints are…
▽ More
This work investigates the distributed constrained optimization problem under inter-agent communication delays from the perspective of passivity. First, we propose a continuous-time algorithm for distributed constrained optimization with general convex objective functions. The asymptotic stability under general convexity is guaranteed by the phase lead compensation. The inequality constraints are handled by adopting a projection-free generalized Lagrangian, whose primal-dual gradient dynamics preserves passivity and smoothness, enabling the application of the LaSalle's invariance principle in the presence of delays. Then, we incorporate the scattering transformation into the proposed algorithm to enhance the robustness against unknown and heterogeneous communication delays. Finally, a numerical example of a matching problem is provided to illustrate the results.
△ Less
Submitted 28 February, 2020;
originally announced February 2020.
-
Instant MPC for linear systems and dissipativity-based stability analysis
Authors:
Keisuke Yoshida,
Masaki Inoue,
Takeshi Hatanaka
Abstract:
This letter is devoted to the concept of ``instant'' model predictive control (iMPC) for linear systems. An optimization problem is formulated to express the finite-time constrained optimal regulation control, like conventional MPC. Then, iMPC determines the control action based on the optimization process rather than the optimizer, unlike MPC. The iMPC concept is realized by a continuous-time dyn…
▽ More
This letter is devoted to the concept of ``instant'' model predictive control (iMPC) for linear systems. An optimization problem is formulated to express the finite-time constrained optimal regulation control, like conventional MPC. Then, iMPC determines the control action based on the optimization process rather than the optimizer, unlike MPC. The iMPC concept is realized by a continuous-time dynamic algorithm of solving the optimization; the primal-dual gradient algorithm is directly implemented as a dynamic controller. On the basis of the dissipativity evaluation of the algorithm, the stability of the control system is analyzed. Finally, a numerical experiment is performed in order to demonstrate that iMPC emulates MPC and to show its less computational burden.
△ Less
Submitted 9 March, 2020; v1 submitted 2 March, 2019;
originally announced March 2019.
-
Complexity of Reconfiguration Problems for Constraint Satisfaction
Authors:
Tatsuhiko Hatanaka,
Takehiro Ito,
Xiao Zhou
Abstract:
Constraint satisfaction problem (CSP) is a well-studied combinatorial search problem, in which we are asked to find an assignment of values to given variables so as to satisfy all of given constraints. We study a reconfiguration variant of CSP, in which we are given an instance of CSP together with its two satisfying assignments, and asked to determine whether one assignment can be transformed int…
▽ More
Constraint satisfaction problem (CSP) is a well-studied combinatorial search problem, in which we are asked to find an assignment of values to given variables so as to satisfy all of given constraints. We study a reconfiguration variant of CSP, in which we are given an instance of CSP together with its two satisfying assignments, and asked to determine whether one assignment can be transformed into the other by changing a single variable assignment at a time, while always remaining satisfying assignment. This problem generalizes several well-studied reconfiguration problems such as Boolean satisfiability reconfiguration, vertex coloring reconfiguration, homomorphism reconfiguration. In this paper, we study the problem from the viewpoints of polynomial-time solvability and parameterized complexity, and give several interesting boundaries of tractable and intractable cases.
△ Less
Submitted 27 December, 2018;
originally announced December 2018.
-
Shortest Reconfiguration of Matchings
Authors:
Nicolas Bousquet,
Tatsuhiko Hatanaka,
Takehiro Ito,
Moritz Mühlenthaler
Abstract:
Imagine that unlabelled tokens are placed on the edges of a graph, such that no two tokens are placed on incident edges. A token can jump to another edge if the edges having tokens remain independent. We study the problem of determining the distance between two token configurations (resp., the corresponding matchings), which is given by the length of a shortest transformation. We give a polynomial…
▽ More
Imagine that unlabelled tokens are placed on the edges of a graph, such that no two tokens are placed on incident edges. A token can jump to another edge if the edges having tokens remain independent. We study the problem of determining the distance between two token configurations (resp., the corresponding matchings), which is given by the length of a shortest transformation. We give a polynomial-time algorithm for the case that at least one of the two configurations is not inclusion-wise maximal and show that otherwise, the problem admits no polynomial-time sublogarithmic-factor approximation unless P = NP. Furthermore, we show that the distance of two configurations in bipartite graphs is fixed-parameter tractable parameterized by the size $d$ of the symmetric difference of the source and target configurations, and obtain a $d^\varepsilon$-factor approximation algorithm for every $\varepsilon > 0$ if additionally the configurations correspond to maximum matchings. Our two main technical tools are the Edmonds-Gallai decomposition and a close relation to the Directed Steiner Tree problem. Using the former, we also characterize those graphs whose corresponding configuration graphs are connected. Finally, we show that deciding if the distance between two configurations is equal to a given number $\ell$ is complete for the class $D^P$, and deciding if the diameter of the graph of configurations is equal to $\ell$ is $D^P$-hard.
△ Less
Submitted 13 December, 2018;
originally announced December 2018.
-
Passivity-Based Generalization of Primal-Dual Dynamics for Non-Strictly Convex Cost Functions
Authors:
Shunya Yamashita,
Takeshi Hatanaka,
Junya Yamauchi,
Masayuki Fujita
Abstract:
In this paper, we revisit primal-dual dynamics for convex optimization and present a generalization of the dynamics based on the concept of passivity. It is then proved that supplying a stable zero to one of the integrators in the dynamics allows one to eliminate the assumption of strict convexity on the cost function based on the passivity paradigm together with the invariance principle for Carat…
▽ More
In this paper, we revisit primal-dual dynamics for convex optimization and present a generalization of the dynamics based on the concept of passivity. It is then proved that supplying a stable zero to one of the integrators in the dynamics allows one to eliminate the assumption of strict convexity on the cost function based on the passivity paradigm together with the invariance principle for Caratheodory systems. We then show that the present algorithm is also a generalization of existing augmented Lagrangian-based primal-dual dynamics, and discuss the benefit of the present generalization in terms of noise reduction and convergence speed.
△ Less
Submitted 22 November, 2018; v1 submitted 21 November, 2018;
originally announced November 2018.
-
Parameterized Complexity of the List Coloring Reconfiguration Problem with Graph Parameters
Authors:
Tatsuhiko Hatanaka,
Takehiro Ito,
Xiao Zhou
Abstract:
Let $G$ be a graph such that each vertex has its list of available colors, and assume that each list is a subset of the common set consisting of $k$ colors. For two given list colorings of $G$, we study the problem of transforming one into the other by changing only one vertex color assignment at a time, while at all times maintaining a list coloring. This problem is known to be PSPACE-complete ev…
▽ More
Let $G$ be a graph such that each vertex has its list of available colors, and assume that each list is a subset of the common set consisting of $k$ colors. For two given list colorings of $G$, we study the problem of transforming one into the other by changing only one vertex color assignment at a time, while at all times maintaining a list coloring. This problem is known to be PSPACE-complete even for bounded bandwidth graphs and a fixed constant $k$. In this paper, we study the fixed-parameter tractability of the problem when parameterized by several graph parameters. We first give a fixed-parameter algorithm for the problem when parameterized by $k$ and the modular-width of an input graph. We next give a fixed-parameter algorithm for the shortest variant when parameterized by $k$ and the size of a minimum vertex cover of an input graph. As corollaries, we show that the problem for cographs and the shortest variant for split graphs are fixed-parameter tractable even when only $k$ is taken as a parameter. On the other hand, we prove that the problem is W[1]-hard when parameterized only by the size of a minimum vertex cover of an input graph.
△ Less
Submitted 22 May, 2017;
originally announced May 2017.
-
A Passivity-Based Distributed Reference Governor for Constrained Robotic Networks
Authors:
Tam Nguyen,
Takeshi Hatanaka,
Mamoru Doi,
Emanuele Garone,
Masayuki Fujita
Abstract:
This paper focuses on a passivity-based distributed reference governor (RG) applied to a pre-stabilized mobile robotic network. The novelty of this paper lies in the method used to solve the RG problem, where a passivity-based distributed optimization scheme is proposed. In particular, the gradient descent method minimizes the global objective function while the dual ascent method maximizes the Ha…
▽ More
This paper focuses on a passivity-based distributed reference governor (RG) applied to a pre-stabilized mobile robotic network. The novelty of this paper lies in the method used to solve the RG problem, where a passivity-based distributed optimization scheme is proposed. In particular, the gradient descent method minimizes the global objective function while the dual ascent method maximizes the Hamiltonian. To make the agents converge to the agreed optimal solution, a proportional-integral consensus estimator is used. This paper proves the convergence of the state estimates of the RG to the optimal solution through passivity arguments, considering the physical system static. Then, the effectiveness of the scheme considering the dynamics of the physical system is demonstrated through simulations and experiments.
△ Less
Submitted 19 March, 2017;
originally announced March 2017.
-
Passivity-Based Control of Human-Robotic Networks with Inter-Robot Communication Delays and Experimental Verification
Authors:
J. Yamauchi,
M. W. S. Atman,
T. Hatanaka,
N. Chopra,
M. Fujita
Abstract:
In this paper, we present experimental studies on a cooperative control system for human-robotic networks with inter-robot communication delays. We first design a cooperative controller to be implemented on each robot so that their motion are synchronized to a reference motion desired by a human operator, and then point out that each robot motion ensures passivity. Inter-robot communication channe…
▽ More
In this paper, we present experimental studies on a cooperative control system for human-robotic networks with inter-robot communication delays. We first design a cooperative controller to be implemented on each robot so that their motion are synchronized to a reference motion desired by a human operator, and then point out that each robot motion ensures passivity. Inter-robot communication channels are then designed via so-called scattering transformation which is a technique to passify the delayed channel. The resulting robotic network is then connected with human operator based on passivity theory. In order to demonstrate the present control architecture, we build an experimental testbed consisting of multiple robots and a tablet. In particular, we analyze the effects of the communication delays on the human operator's behavior.
△ Less
Submitted 21 February, 2017; v1 submitted 16 February, 2017;
originally announced February 2017.
-
An Integrated Design of Optimization and Physical Dynamics for Energy Efficient Buildings: A Passivity Approach
Authors:
Takeshi Hatanaka,
Xuan Zhang,
Wenbo Shi,
Minghui Zhu,
Na Li
Abstract:
In this paper, we address energy management for heating, ventilation, and air-conditioning (HVAC) systems in buildings, and present a novel combined optimization and control approach. We first formulate a thermal dynamics and an associated optimization problem. An optimization dynamics is then designed based on a standard primal-dual algorithm, and its strict passivity is proved. We then design a…
▽ More
In this paper, we address energy management for heating, ventilation, and air-conditioning (HVAC) systems in buildings, and present a novel combined optimization and control approach. We first formulate a thermal dynamics and an associated optimization problem. An optimization dynamics is then designed based on a standard primal-dual algorithm, and its strict passivity is proved. We then design a local controller and prove that the physical dynamics with the controller is ensured to be passivity-short. Based on these passivity results, we interconnect the optimization and physical dynamics, and prove convergence of the room temperatures to the optimal ones defined for unmeasurable disturbances. Finally, we demonstrate the present algorithms through simulation.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
-
Passivity-Based Distributed Optimization with Communication Delays Using PI Consensus Algorithm
Authors:
Takeshi Hatanaka,
Nikhil Chopra,
Takayuki Ishizaki,
Na Li
Abstract:
In this paper, we address a class of distributed optimization problems in the presence of inter-agent communication delays based on passivity. We first focus on unconstrained distributed optimization and provide a passivity-based perspective for distributed optimization algorithms. This perspective allows us to handle communication delays while using scattering transformation. Moreover, we extend…
▽ More
In this paper, we address a class of distributed optimization problems in the presence of inter-agent communication delays based on passivity. We first focus on unconstrained distributed optimization and provide a passivity-based perspective for distributed optimization algorithms. This perspective allows us to handle communication delays while using scattering transformation. Moreover, we extend the results to constrained distributed optimization, where it is shown that the problem is solved by just adding one more feedback loop of a passive system to the solution of the unconstrained ones. We also show that delays can be incorporated in the same way as the unconstrained problems. Finally, the algorithm is applied to a visual human localization problem using a pedestrian detection algorithm.
△ Less
Submitted 15 September, 2016;
originally announced September 2016.
-
On Incompleteness of Some Integrable Rational Maps
Authors:
S. Saito,
N. Saitoh,
T. Hatanaka,
Y. Wakimoto,
T. Yumibayashi
Abstract:
An argument is given to associate integrable nonintegrable transition of discrete maps with the transition of Lawvere's fixed point theorem to its own contrapositive. We show that the classical description of nonlinear maps is neither complete nor totally predictable.
An argument is given to associate integrable nonintegrable transition of discrete maps with the transition of Lawvere's fixed point theorem to its own contrapositive. We show that the classical description of nonlinear maps is neither complete nor totally predictable.
△ Less
Submitted 25 February, 2016;
originally announced February 2016.
-
The List Coloring Reconfiguration Problem for Bounded Pathwidth Graphs
Authors:
Tatsuhiko Hatanaka,
Takehiro Ito,
Xiao Zhou
Abstract:
We study the problem of transforming one list (vertex) coloring of a graph into another list coloring by changing only one vertex color assignment at a time, while at all times maintaining a list coloring, given a list of allowed colors for each vertex. This problem is known to be PSPACE-complete for bipartite planar graphs. In this paper, we first show that the problem remains PSPACE-complete eve…
▽ More
We study the problem of transforming one list (vertex) coloring of a graph into another list coloring by changing only one vertex color assignment at a time, while at all times maintaining a list coloring, given a list of allowed colors for each vertex. This problem is known to be PSPACE-complete for bipartite planar graphs. In this paper, we first show that the problem remains PSPACE-complete even for bipartite series-parallel graphs, which form a proper subclass of bipartite planar graphs. We note that our reduction indeed shows the PSPACE-completeness for graphs with pathwidth two, and it can be extended for threshold graphs. In contrast, we give a polynomial-time algorithm to solve the problem for graphs with pathwidth one. Thus, this paper gives precise analyses of the problem with respect to pathwidth.
△ Less
Submitted 16 July, 2014;
originally announced July 2014.
-
3-D Visual Coverage Based on Gradient Descent Techniques on Matrix Manifold and Its Application to Moving Objects Monitoring
Authors:
Takeshi Hatanaka,
Riku Funada,
Masayuki Fujita
Abstract:
This paper investigates coverage control for visual sensor networks based on gradient descent techniques on matrix manifolds. We consider the scenario that networked vision sensors with controllable orientations are distributed over 3-D space to monitor 2-D environment. Then, the decision variable must be constrained on the Lie group SO(3). The contribution of this paper is two folds. The first on…
▽ More
This paper investigates coverage control for visual sensor networks based on gradient descent techniques on matrix manifolds. We consider the scenario that networked vision sensors with controllable orientations are distributed over 3-D space to monitor 2-D environment. Then, the decision variable must be constrained on the Lie group SO(3). The contribution of this paper is two folds. The first one is technical, namely we formulate the coverage problem as an optimization problem on SO(3) without introducing local parameterization like Eular angles and directly apply the gradient descent algorithm on the manifold. The second technological contribution is to present not only the coverage control scheme but also the density estimation process including image processing and curve fitting while exemplifying its effectiveness through simulation of moving objects monitoring.
△ Less
Submitted 23 September, 2013;
originally announced September 2013.
-
Cooperative Environmental Monitoring for PTZ Visual Sensor Networks: A Payoff-based Learning Approach
Authors:
Takeshi Hatanaka,
Yasuaki Wasa,
Masayuki Fujita
Abstract:
This paper investigates cooperative environmental monitoring for Pan-Tilt-Zoom (PTZ) visual sensor networks. We first present a novel formulation of the optimal environmental monitoring problem, whose objective function is intertwined with the uncertain state of the environment. In addition, due to the large volume of vision data, it is desired for each sensor to execute processing through local c…
▽ More
This paper investigates cooperative environmental monitoring for Pan-Tilt-Zoom (PTZ) visual sensor networks. We first present a novel formulation of the optimal environmental monitoring problem, whose objective function is intertwined with the uncertain state of the environment. In addition, due to the large volume of vision data, it is desired for each sensor to execute processing through local computation and communication. To address the issues, we present a distributed solution to the problem based on game theoretic cooperative control and payoff-based learning. At the first stage, a utility function is designed so that the resulting game constitutes a potential game with potential function equal to the group objective function, where the designed utility is shown to be computable through local image processing and communication. Then, we present a payoff-based learning algorithm so that the sensors are led to the global objective function maximizers without using any prior information on the environmental state. Finally, we run experiments to demonstrate the effectiveness of the present approach.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.
-
Vision-Based Cooperative Estimation of Averaged 3D Target Pose under Imperfect Visibility
Authors:
Takeshi Hatanaka,
Takayuki Nishi,
Masayuki Fujita
Abstract:
This paper investigates vision-based cooperative estimation of a 3D target object pose for visual sensor networks. In our previous works, we presented an estimation mechanism called networked visual motion observer achieving averaging of local pose estimates in real time. This paper extends the mechanism so that it works even in the presence of cameras not viewing the target due to the limited vie…
▽ More
This paper investigates vision-based cooperative estimation of a 3D target object pose for visual sensor networks. In our previous works, we presented an estimation mechanism called networked visual motion observer achieving averaging of local pose estimates in real time. This paper extends the mechanism so that it works even in the presence of cameras not viewing the target due to the limited view angles and obstructions in order to fully take advantage of the networked vision system. Then, we analyze the averaging performance attained by the proposed mechanism and clarify a relation between the feedback gains in the algorithm and the performance. Finally, we demonstrate the effectiveness of the algorithm through simulation.
△ Less
Submitted 11 April, 2012;
originally announced April 2012.
-
Cooperative Estimation of 3D Target Motion via Networked Visual Motion Observer
Authors:
Takeshi Hatanaka,
Masayuki Fujita
Abstract:
This paper investigates cooperative estimation of 3D target object motion for visual sensor networks. In particular, we consider the situation where multiple smart vision cameras see a group of target objects. The objective here is to meet two requirements simultaneously: averaging for static objects and tracking to moving target objects. For this purpose, we present a cooperative estimation mecha…
▽ More
This paper investigates cooperative estimation of 3D target object motion for visual sensor networks. In particular, we consider the situation where multiple smart vision cameras see a group of target objects. The objective here is to meet two requirements simultaneously: averaging for static objects and tracking to moving target objects. For this purpose, we present a cooperative estimation mechanism called networked visual motion observer. We then derive an upper bound of the ultimate error between the actual average and the estimates produced by the present networked estimation mechanism. Moreover, we also analyze the tracking performance of the estimates to moving target objects. Finally the effectiveness of the networked visual motion observer is demonstrated through simulation.
△ Less
Submitted 25 July, 2011;
originally announced July 2011.
-
Payoff-based Inhomogeneous Partially Irrational Play for Potential Game Theoretic Cooperative Control of Multi-agent Systems
Authors:
Tatsuhiko Goto,
Takeshi Hatanaka,
Masayuki Fujita
Abstract:
This paper handles a kind of strategic game called potential games and develops a novel learning algorithm Payoff-based Inhomogeneous Partially Irrational Play (PIPIP). The present algorithm is based on Distributed Inhomogeneous Synchronous Learning (DISL) presented in an existing work but, unlike DISL,PIPIP allows agents to make irrational decisions with a specified probability, i.e. agents can c…
▽ More
This paper handles a kind of strategic game called potential games and develops a novel learning algorithm Payoff-based Inhomogeneous Partially Irrational Play (PIPIP). The present algorithm is based on Distributed Inhomogeneous Synchronous Learning (DISL) presented in an existing work but, unlike DISL,PIPIP allows agents to make irrational decisions with a specified probability, i.e. agents can choose an action with a low utility from the past actions stored in the memory. Due to the irrational decisions, we can prove convergence in probability of collective actions to potential function maximizers. Finally, we demonstrate the effectiveness of the present algorithm through experiments on a sensor coverage problem. It is revealed through the demonstration that the present learning algorithm successfully leads agents to around potential function maximizers even in the presence of undesirable Nash equilibria. We also see through the experiment with a moving density function that PIPIP has adaptability to environmental changes.
△ Less
Submitted 25 July, 2011;
originally announced July 2011.
-
N=1/2 supergravity with matter in four Euclidean dimensions
Authors:
Tomoya Hatanaka,
Sergei V. Ketov
Abstract:
An N=1/2 supergravity in four Euclidean spacetime dimensions, coupled to both vector- and scalar-multiplet matter, is constructed for the first time. We begin with the standard (1,1) conformally extended supergravity in four Euclidean dimensions, and freeze out the graviphoton field strength to an arbitrary (fixed) self-dual field (the so-called C-deformation). Though a consistency of such proce…
▽ More
An N=1/2 supergravity in four Euclidean spacetime dimensions, coupled to both vector- and scalar-multiplet matter, is constructed for the first time. We begin with the standard (1,1) conformally extended supergravity in four Euclidean dimensions, and freeze out the graviphoton field strength to an arbitrary (fixed) self-dual field (the so-called C-deformation). Though a consistency of such procedure with local supersymmetry is not guaranteed, we find a simple consistent set of algebraic constraints that reduce the local supersymmetry by 3/4 and eliminate the corresponding gravitini. The final field theory (after the superconformal gauge-fixing) has the residual local N=(0,1/2) or just N=1/2 supersymmetry with only one chiral gravitino as the corresponding gauge field. Our theory is not `Lorentz'-invariant because of the non-vanishing self-dual graviphoton vacuum expectation value, which is common to the C-deformed N=1/2 rigidly supersymmetric field theories constructed in a non-anticommutative superspace.
△ Less
Submitted 11 October, 2007; v1 submitted 28 July, 2007;
originally announced July 2007.
-
C-deformation of Supergravity
Authors:
T. Hatanaka,
S. V. Ketov
Abstract:
A four-dimensional supergravity toy model in an arbitrary self-dual gravi-photon background is constructed in Euclidean space, by freezing out the gravi-photon field strength in the standard N=(1,1) extended supergravity with two non-chiral gravitini. Our model has local N=(1/2,0) supersymmetry. Consistency of the model requires the background gravi-photon field strength to be equal to the self-…
▽ More
A four-dimensional supergravity toy model in an arbitrary self-dual gravi-photon background is constructed in Euclidean space, by freezing out the gravi-photon field strength in the standard N=(1,1) extended supergravity with two non-chiral gravitini. Our model has local N=(1/2,0) supersymmetry. Consistency of the model requires the background gravi-photon field strength to be equal to the self-dual (bilinear) anti-chiral gravitino condensate.
△ Less
Submitted 9 April, 2006; v1 submitted 12 February, 2006;
originally announced February 2006.
-
N=1/2 supersymmetric four-dimensional non-linear sigma-models from non-anti-commutative superspace
Authors:
T. Hatanaka,
S. V. Ketov,
Y. Kobayashi,
S. Sasaki
Abstract:
The component structure of a generic N=1/2 supersymmetric Non-Linear Sigma-Model (NLSM) defined in the four-dimensional (Euclidean) Non-Anti-Commutative (NAC) superspace is investigated in detail.The most general NLSM is described in terms of arbitrary K"ahler potential,and chiral and anti-chiral superpotentials. The case of a single chiral superfield gives rise to splitting of the NLSM potentia…
▽ More
The component structure of a generic N=1/2 supersymmetric Non-Linear Sigma-Model (NLSM) defined in the four-dimensional (Euclidean) Non-Anti-Commutative (NAC) superspace is investigated in detail.The most general NLSM is described in terms of arbitrary K"ahler potential,and chiral and anti-chiral superpotentials. The case of a single chiral superfield gives rise to splitting of the NLSM potentials, whereas the case of several chiral superfields results in smearing (or fuzziness) of the NLSM potentials, while both effects are controlled by the auxiliary fields. We eliminate the auxiliary fields by solving their algebraic equations of motion, and demonstrate that the results are dependent upon whether the auxiliary integrations responsible for the fuzziness are performed before or after elimination of the auxiliary fields. There is no ambiguity in the case of splitting, i.e. for a single chiral superfield. Fully explicit results are derived in the case of the N=1/2 supersymmetric NAC-deformed CP(n) NLSM in four dimensions. Here we find another surprise that our results differ from the N=1/2 supersymmetric CP(n) NLSM derived by the quotient construction from the N=1/2 supersymmetric NAC-deformed gauge theory. We conclude that an N=1/2 supersymmetric deformation of a generic NLSM from the NAC superspace is not unique.
△ Less
Submitted 9 June, 2005;
originally announced June 2005.
-
Summing up Non-anti-commutative Kaehler potential
Authors:
T. Hatanaka,
S. V. Ketov,
S. Sasaki
Abstract:
We offer a simple non-perturbative formula for the component action of a generic N=1/2 supersymmetric chiral model in terms of an arbitrary number of chiral superfields in four dimensions, which is obtained by the Non-Anti-Commutative (NAC) deformation of a generic four-dimensional N=1 supersymmetric non-linear sigma-model described by arbitrary Kaehler superpotential and scalar superpotential.…
▽ More
We offer a simple non-perturbative formula for the component action of a generic N=1/2 supersymmetric chiral model in terms of an arbitrary number of chiral superfields in four dimensions, which is obtained by the Non-Anti-Commutative (NAC) deformation of a generic four-dimensional N=1 supersymmetric non-linear sigma-model described by arbitrary Kaehler superpotential and scalar superpotential. The auxiliary integrations responsible for fuzziness are eliminated in the case of a single chiral superfield. The scalar potential in components is derived by eliminating the auxiliary fields. The NAC-deformation of the CP(1) Kaehler non-linear sigma-model with an arbitrary scalar superpotential is calculated as an example.
△ Less
Submitted 9 June, 2005; v1 submitted 24 April, 2005;
originally announced April 2005.
-
Non-Anti-Commutative deformation of effective potentials in supersymmetric gauge theories
Authors:
T. Hatanaka,
S. V. Ketov,
Y. Kobayashi,
S. Sasaki
Abstract:
We studied a nilpotent Non-Anti-Commutative (NAC) deformation of the effective superpotentials in supersymmetric gauge theories, caused by a constant self-dual graviphoton background. We derived the simple non-perturbative formula applicable to any NAC (star) deformed chiral superpotential. It is remarkable that the deformed superpotential is always `Lorentz'-invariant. As an application, we con…
▽ More
We studied a nilpotent Non-Anti-Commutative (NAC) deformation of the effective superpotentials in supersymmetric gauge theories, caused by a constant self-dual graviphoton background. We derived the simple non-perturbative formula applicable to any NAC (star) deformed chiral superpotential. It is remarkable that the deformed superpotential is always `Lorentz'-invariant. As an application, we considered the NAC deformation of the pure super-Yang-Mills theory whose IR physics is known to be described by the Veneziano-Yankielowicz superpotential (in the undeformed case). The unbroken gauge invariance of the deformed effective action gives rise to severe restrictions on its form. We found a non-vanishing gluino condensate in vacuum but no further dynamical supersymmetry breaking in the deformed theory.
△ Less
Submitted 8 February, 2005; v1 submitted 2 February, 2005;
originally announced February 2005.
-
BB84 Quantum Key Distribution System based on Silica-Based Planar Lightwave Circuits
Authors:
Yoshihiro Nambu,
Takaaki Hatanaka,
Kazuo Nakamura
Abstract:
We constructed an optical interferometer for a Bennett-Brassard quantum key distribution system using integrated optics based on planar lightwave circuit technology, and tested its operation and stability. Experimental results show that this interferometer is useful in implementing a practical quantum key distribution system.
We constructed an optical interferometer for a Bennett-Brassard quantum key distribution system using integrated optics based on planar lightwave circuit technology, and tested its operation and stability. Experimental results show that this interferometer is useful in implementing a practical quantum key distribution system.
△ Less
Submitted 29 July, 2004; v1 submitted 2 April, 2004;
originally announced April 2004.
-
Single-photon interference over 150-km transmission using silica-based integrated-optic interferometers for quantum cryptography
Authors:
Tadamasa Kimura,
Yoshihiro Nambu,
Takaaki Hatanaka,
Akihisa Tomita,
Hideo Kosaka,
Kazuo Nakamura
Abstract:
We have demonstrated single-photon interference over 150 km using time-division interferometers for quantum cryptography, which were composed of two integrated-optic asymmetric Mach-Zehnder interferometers, and balanced gated-mode photon detectors. The observed fringe visibility was more than 80% after 150-km transmission.
We have demonstrated single-photon interference over 150 km using time-division interferometers for quantum cryptography, which were composed of two integrated-optic asymmetric Mach-Zehnder interferometers, and balanced gated-mode photon detectors. The observed fringe visibility was more than 80% after 150-km transmission.
△ Less
Submitted 7 September, 2004; v1 submitted 15 March, 2004;
originally announced March 2004.
-
On the universality of goldstino action
Authors:
Tomoya Hatanaka,
Sergei V. Ketov
Abstract:
We find the Goldstino action descending from the N=1 Goldstone-Maxwell superfield action associated with the spontaneous partial supersymmetry breaking, N=2 to N=1, in superspace. The new Goldstino action has higher (second-order) spacetime derivatives, while it can be most compactly described as a solution to the simple recursive relation. Our action seems to be related to the standard (having…
▽ More
We find the Goldstino action descending from the N=1 Goldstone-Maxwell superfield action associated with the spontaneous partial supersymmetry breaking, N=2 to N=1, in superspace. The new Goldstino action has higher (second-order) spacetime derivatives, while it can be most compactly described as a solution to the simple recursive relation. Our action seems to be related to the standard (having only the first-order derivatives) Akulov-Volkov action for Goldstino via a field redefinition.
△ Less
Submitted 16 November, 2003; v1 submitted 16 October, 2003;
originally announced October 2003.
-
Planar lightwave circuits for quantum cryptographic systems
Authors:
Yoshihiro Nambu,
Takaaki Hatanaka,
Kazuo Nakamura
Abstract:
We propose a quantum cryptographic system based on a planar lightwave circuit (PLC) and report on optical interference experiments using PLC-based unbalanced Mach-Zehnder interferometers (MZIs). The interferometers exhibited high-visibility (>0.98) interference even when the polarisation in the optical fibre connecting the two MZIs was randomly modulated. The results demonstrate that a PLC-based…
▽ More
We propose a quantum cryptographic system based on a planar lightwave circuit (PLC) and report on optical interference experiments using PLC-based unbalanced Mach-Zehnder interferometers (MZIs). The interferometers exhibited high-visibility (>0.98) interference even when the polarisation in the optical fibre connecting the two MZIs was randomly modulated. The results demonstrate that a PLC-based setup is suitable for achieving a polarisation-insensitive phase-coding cryptographic system.
△ Less
Submitted 9 July, 2003;
originally announced July 2003.