-
Creative Agents: Simulating the Systems Model of Creativity with Generative Agents
Authors:
Naomi Imasato,
Kazuki Miyazawa,
Takayuki Nagai,
Takato Horii
Abstract:
With the growing popularity of generative AI for images, video, and music, we witnessed models rapidly improve in quality and performance. However, not much attention is paid towards enabling AI's ability to "be creative". In this study, we implemented and simulated the systems model of creativity (proposed by Csikszentmihalyi) using virtual agents utilizing large language models (LLMs) and text p…
▽ More
With the growing popularity of generative AI for images, video, and music, we witnessed models rapidly improve in quality and performance. However, not much attention is paid towards enabling AI's ability to "be creative". In this study, we implemented and simulated the systems model of creativity (proposed by Csikszentmihalyi) using virtual agents utilizing large language models (LLMs) and text prompts. For comparison, the simulations were conducted with the "virtual artists" being: 1)isolated and 2)placed in a multi-agent system. Both scenarios were compared by analyzing the variations and overall "creativity" in the generated artifacts (measured via a user study and LLM). Our results suggest that the generative agents may perform better in the framework of the systems model of creativity.
△ Less
Submitted 25 November, 2024;
originally announced November 2024.
-
Data-Efficient Approach to Humanoid Control via Fine-Tuning a Pre-Trained GPT on Action Data
Authors:
Siddharth Padmanabhan,
Kazuki Miyazawa,
Takato Horii,
Takayuki Nagai
Abstract:
There are several challenges in developing a model for multi-tasking humanoid control. Reinforcement learning and imitation learning approaches are quite popular in this domain. However, there is a trade-off between the two. Reinforcement learning is not the best option for training a humanoid to perform multiple behaviors due to training time and model size, and imitation learning using kinematic…
▽ More
There are several challenges in developing a model for multi-tasking humanoid control. Reinforcement learning and imitation learning approaches are quite popular in this domain. However, there is a trade-off between the two. Reinforcement learning is not the best option for training a humanoid to perform multiple behaviors due to training time and model size, and imitation learning using kinematics data alone is not appropriate to realize the actual physics of the motion. Training models to perform multiple complex tasks take long training time due to high DoF and complexities of the movements. Although training models offline would be beneficial, another issue is the size of the dataset, usually being quite large to encapsulate multiple movements. There are few implementations of transformer-based models to control humanoid characters and predict their motion based on a large dataset of recorded/reference motion. In this paper, we train a GPT on a large dataset of noisy expert policy rollout observations from a humanoid motion dataset as a pre-trained model and fine tune that model on a smaller dataset of noisy expert policy rollout observations and actions to autoregressively generate physically plausible motion trajectories. We show that it is possible to train a GPT-based foundation model on a smaller dataset in shorter training time to control a humanoid in a realistic physics environment to perform human-like movements.
△ Less
Submitted 17 June, 2024; v1 submitted 28 May, 2024;
originally announced May 2024.
-
A Framework for Efficient Approximation Schemes on Geometric Packing Problems of $d$-dimensional Fat Objects
Authors:
Vítor Gomes Chagas,
Elisa Dell'Arriva,
Flávio Keidi Miyazawa
Abstract:
We investigate approximation algorithms for several fundamental optimization problems on geometric packing. The geometric objects considered are very generic, namely $d$-dimensional convex fat objects. Our main contribution is a versatile framework for designing efficient approximation schemes for classic geometric packing problems. The framework effectively addresses problems such as the multiple…
▽ More
We investigate approximation algorithms for several fundamental optimization problems on geometric packing. The geometric objects considered are very generic, namely $d$-dimensional convex fat objects. Our main contribution is a versatile framework for designing efficient approximation schemes for classic geometric packing problems. The framework effectively addresses problems such as the multiple knapsack, bin packing, multiple strip packing, and multiple minimum container problems. Furthermore, the framework handles additional problem features, including item multiplicity, item rotation, and additional constraints on the items commonly encountered in packing contexts. The core of our framework lies in formulating the problems as integer programs with a nearly decomposable structure. This approach enables us to obtain well-behaved fractional solutions, which can then be efficiently rounded. By modeling the problems in this manner, our framework offers significant flexibility, allowing it to address a wide range of problems and incorporate additional features. To the best of our knowledge, prior to this work, the known results on approximation algorithms for packing problems were either highly fixed for one problem or restricted to one class of objects, mainly polygons and hypercubes. In this sense, our framework is the first result with a general toolbox flavor in the context of approximation algorithms for geometric packing problems. Thus, we believe that our technique is of independent interest, being possible to inspire further work on geometric packing.
△ Less
Submitted 31 December, 2024; v1 submitted 30 April, 2024;
originally announced May 2024.
-
Study of Emotion Concept Formation by Integrating Vision, Physiology, and Word Information using Multilayered Multimodal Latent Dirichlet Allocation
Authors:
Kazuki Tsurumaki,
Chie Hieida,
Kazuki Miyazawa
Abstract:
How are emotions formed? Through extensive debate and the promulgation of diverse theories , the theory of constructed emotion has become prevalent in recent research on emotions. According to this theory, an emotion concept refers to a category formed by interoceptive and exteroceptive information associated with a specific emotion. An emotion concept stores past experiences as knowledge and can…
▽ More
How are emotions formed? Through extensive debate and the promulgation of diverse theories , the theory of constructed emotion has become prevalent in recent research on emotions. According to this theory, an emotion concept refers to a category formed by interoceptive and exteroceptive information associated with a specific emotion. An emotion concept stores past experiences as knowledge and can predict unobserved information from acquired information. Therefore, in this study, we attempted to model the formation of emotion concepts using a constructionist approach from the perspective of the constructed emotion theory. Particularly, we constructed a model using multilayered multimodal latent Dirichlet allocation , which is a probabilistic generative model. We then trained the model for each subject using vision, physiology, and word information obtained from multiple people who experienced different visual emotion-evoking stimuli. To evaluate the model, we verified whether the formed categories matched human subjectivity and determined whether unobserved information could be predicted via categories. The verification results exceeded chance level, suggesting that emotion concept formation can be explained by the proposed model.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Algorithms for the Bin Packing Problem with Scenarios
Authors:
Yulle G. F. Borges,
Vinícius L. de Lima,
Flávio K. Miyazawa,
Lehilton L. C. Pedrosa,
Thiago A. de Queiroz,
Rafael C. S. Schouery
Abstract:
This paper presents theoretical and practical results for the bin packing problem with scenarios, a generalization of the classical bin packing problem which considers the presence of uncertain scenarios, of which only one is realized. For this problem, we propose an absolute approximation algorithm whose ratio is bounded by the square root of the number of scenarios times the approximation ratio…
▽ More
This paper presents theoretical and practical results for the bin packing problem with scenarios, a generalization of the classical bin packing problem which considers the presence of uncertain scenarios, of which only one is realized. For this problem, we propose an absolute approximation algorithm whose ratio is bounded by the square root of the number of scenarios times the approximation ratio for an algorithm for the vector bin packing problem. We also show how an asymptotic polynomial-time approximation scheme is derived when the number of scenarios is constant. As a practical study of the problem, we present a branch-and-price algorithm to solve an exponential model and a variable neighborhood search heuristic. To speed up the convergence of the exact algorithm, we also consider lower bounds based on dual feasible functions. Results of these algorithms show the competence of the branch-and-price in obtaining optimal solutions for about 59% of the instances considered, while the combined heuristic and branch-and-price optimally solved 62% of the instances considered.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Mathematical Models and Exact Algorithms for the Colored Bin Packing Problem
Authors:
Yulle G. F. Borges,
Rafael C. S. Schouery,
Flávio K. Miyazawa
Abstract:
This paper focuses on exact approaches for the Colored Bin Packing Problem (CBPP), a generalization of the classical one-dimensional Bin Packing Problem in which each item has, in addition to its length, a color, and no two items of the same color can appear consecutively in the same bin. To simplify modeling, we present a characterization of any feasible packing of this problem in a way that does…
▽ More
This paper focuses on exact approaches for the Colored Bin Packing Problem (CBPP), a generalization of the classical one-dimensional Bin Packing Problem in which each item has, in addition to its length, a color, and no two items of the same color can appear consecutively in the same bin. To simplify modeling, we present a characterization of any feasible packing of this problem in a way that does not depend on its ordering. Furthermore, we present four exact algorithms for the CBPP. First, we propose a generalization of Valério de Carvalho's arc flow formulation for the CBPP using a graph with multiple layers, each representing a color. Second, we present an improved arc flow formulation that uses a more compact graph and has the same linear relaxation bound as the first formulation. And finally, we design two exponential set-partition models based on reductions to a generalized vehicle routing problem, which are solved by a branch-cut-and-price algorithm through VRPSolver. To compare the proposed algorithms, a varied benchmark set with 574 instances of the CBPP is presented. Results show that the best model, our improved arc flow formulation, was able to solve over 62% of the proposed instances to optimality, the largest of which with 500 items and 37 colors. While being able to solve fewer instances in total, the set-partition models exceeded their arc flow counterparts in instances with a very small number of colors.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
A tight lower bound for the online bounded space hypercube bin packing problem
Authors:
Yoshiharu Kohayakawa,
Flávio Keidi Miyazawa,
Yoshiko Wakabayashi
Abstract:
In the $d$-dimensional hypercube bin packing problem, a given list of $d$-dimensional hypercubes must be packed into the smallest number of hypercube bins. Epstein and van Stee [SIAM J. Comput. 35 (2005)] showed that the asymptotic performance ratio $ρ$ of the online bounded space variant is $Ω(\log d)$ and $O(d/\log d)$, and conjectured that it is $Θ(\log d)$. We show that $ρ$ is in fact…
▽ More
In the $d$-dimensional hypercube bin packing problem, a given list of $d$-dimensional hypercubes must be packed into the smallest number of hypercube bins. Epstein and van Stee [SIAM J. Comput. 35 (2005)] showed that the asymptotic performance ratio $ρ$ of the online bounded space variant is $Ω(\log d)$ and $O(d/\log d)$, and conjectured that it is $Θ(\log d)$. We show that $ρ$ is in fact $Θ(d/\log d)$, using probabilistic arguments.
△ Less
Submitted 7 September, 2021; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Exact solution of network flow models with strong relaxations
Authors:
Vinícius L. de Lima,
Manuel Iori,
Flávio K. Miyazawa
Abstract:
We address the solution of Mixed Integer Linear Programming (MILP) models with strong relaxations that are derived from Dantzig-Wolfe decompositions and allow a pseudo-polynomial pricing algorithm. We exploit their network-flow characterization and provide a framework based on column generation, reduced-cost variable-fixing, and a highly asymmetric branching scheme that allows us to take advantage…
▽ More
We address the solution of Mixed Integer Linear Programming (MILP) models with strong relaxations that are derived from Dantzig-Wolfe decompositions and allow a pseudo-polynomial pricing algorithm. We exploit their network-flow characterization and provide a framework based on column generation, reduced-cost variable-fixing, and a highly asymmetric branching scheme that allows us to take advantage of the potential of the current MILP solvers. We apply our framework to a variety of cutting and packing problems from the literature. The efficiency of the framework is proved by extensive computational experiments, in which a significant number of open instances could be solved to proven optimality for the first time.
△ Less
Submitted 31 May, 2021;
originally announced May 2021.
-
A Framework of Explanation Generation toward Reliable Autonomous Robots
Authors:
Tatsuya Sakai,
Kazuki Miyazawa,
Takato Horii,
Takayuki Nagai
Abstract:
To realize autonomous collaborative robots, it is important to increase the trust that users have in them. Toward this goal, this paper proposes an algorithm which endows an autonomous agent with the ability to explain the transition from the current state to the target state in a Markov decision process (MDP). According to cognitive science, to generate an explanation that is acceptable to humans…
▽ More
To realize autonomous collaborative robots, it is important to increase the trust that users have in them. Toward this goal, this paper proposes an algorithm which endows an autonomous agent with the ability to explain the transition from the current state to the target state in a Markov decision process (MDP). According to cognitive science, to generate an explanation that is acceptable to humans, it is important to present the minimum information necessary to sufficiently understand an event. To meet this requirement, this study proposes a framework for identifying important elements in the decision-making process using a prediction model for the world and generating explanations based on these elements. To verify the ability of the proposed method to generate explanations, we conducted an experiment using a grid environment. It was inferred from the result of a simulation experiment that the explanation generated using the proposed method was composed of the minimum elements important for understanding the transition from the current state to the target state. Furthermore, subject experiments showed that the generated explanation was a good summary of the process of state transition, and that a high evaluation was obtained for the explanation of the reason for an action.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
Geometrical Characterization of Glass Nanopipettes with Sub-10 nm Pore Diameter by Transmission Electron Microscopy
Authors:
Kazuki Shigyou,
Linhao Sun,
Riku Yajima,
Shohei Takigaura,
Masashi Tajima,
Hirotoshi Furusho,
Yousuke Kikuchi,
Keisuke Miyazawa,
Takeshi Fukuma,
Azuma Taoka,
Toshio Ando,
Shinji Watanabe
Abstract:
Glass nanopipettes are widely used for various applications in nanosciences. In most of the applications, it is important to characterize their geometrical parameters, such as the aperture size and the inner cone angle at the tip region. For nanopipettes with sub-10 nm aperture and thin wall thickness, transmission electron microscopy (TEM) must be most instrumental in their precise geometrical me…
▽ More
Glass nanopipettes are widely used for various applications in nanosciences. In most of the applications, it is important to characterize their geometrical parameters, such as the aperture size and the inner cone angle at the tip region. For nanopipettes with sub-10 nm aperture and thin wall thickness, transmission electron microscopy (TEM) must be most instrumental in their precise geometrical measurement. However, this measurement has remained a challenge because heat generated by electron beam irradiation would largely deform sub-10-nm nanopipettes. Here we provide methods for preparing TEM specimens that do not cause deformation of such tiny nanopipettes.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
Tight Bounds for the Price of Anarchy and Stability in Sequential Transportation Games
Authors:
Francisco J. M. da Silva,
Flávio K. Miyazawa,
Ieremies V. F. Romero,
Rafael C. S. Schouery
Abstract:
In this paper, we analyze a transportation game first introduced by Fotakis, Gourvès, and Monnot in 2017, where players want to be transported to a common destination as quickly as possible and, in order to achieve this goal, they have to choose one of the available buses. We introduce a sequential version of this game and provide bounds for the Sequential Price of Stability and the Sequential Pri…
▽ More
In this paper, we analyze a transportation game first introduced by Fotakis, Gourvès, and Monnot in 2017, where players want to be transported to a common destination as quickly as possible and, in order to achieve this goal, they have to choose one of the available buses. We introduce a sequential version of this game and provide bounds for the Sequential Price of Stability and the Sequential Price of Anarchy in both metric and non-metric instances, considering three social cost functions: the total traveled distance by all buses, the maximum distance traveled by a bus, and the sum of the distances traveled by all players (a new social cost function that we introduce). Finally, we analyze the Price of Stability and the Price of Anarchy for this new function in simultaneous transportation games.
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
Exact Solution Techniques for Two-dimensional Cutting and Packing
Authors:
Manuel Iori,
Vinícius L. de Lima,
Silvano Martello,
Flávio K. Miyazawa,
Michele Monaci
Abstract:
We survey the main formulations and solution methods for two-dimensional orthogonal cutting and packing problems, where both items and bins are rectangles. We focus on exact methods and relaxations for the four main problems from the literature: finding a packing with minimum height, packing the items into the minimum number of bins, finding a packing of maximum value, and determining the existenc…
▽ More
We survey the main formulations and solution methods for two-dimensional orthogonal cutting and packing problems, where both items and bins are rectangles. We focus on exact methods and relaxations for the four main problems from the literature: finding a packing with minimum height, packing the items into the minimum number of bins, finding a packing of maximum value, and determining the existence of a feasible packing.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
lamBERT: Language and Action Learning Using Multimodal BERT
Authors:
Kazuki Miyazawa,
Tatsuya Aoki,
Takato Horii,
Takayuki Nagai
Abstract:
Recently, the bidirectional encoder representations from transformers (BERT) model has attracted much attention in the field of natural language processing, owing to its high performance in language understanding-related tasks. The BERT model learns language representation that can be adapted to various tasks via pre-training using a large corpus in an unsupervised manner. This study proposes the…
▽ More
Recently, the bidirectional encoder representations from transformers (BERT) model has attracted much attention in the field of natural language processing, owing to its high performance in language understanding-related tasks. The BERT model learns language representation that can be adapted to various tasks via pre-training using a large corpus in an unsupervised manner. This study proposes the language and action learning using multimodal BERT (lamBERT) model that enables the learning of language and actions by 1) extending the BERT model to multimodal representation and 2) integrating it with reinforcement learning. To verify the proposed model, an experiment is conducted in a grid environment that requires language understanding for the agent to act properly. As a result, the lamBERT model obtained higher rewards in multitask settings and transfer settings when compared to other models, such as the convolutional neural network-based model and the lamBERT model without pre-training.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Self-assembly of small molecules at hydrophobic interfaces using group effect
Authors:
William Foster,
Keisuke Miyazawa,
Takeshi Fukuma,
Halim Kusumaatmaja,
Kislon Voitchovsky
Abstract:
Although common in nature, the self-assembly of small molecules at sold-liquid interfaces is difficult to control in artificial systems. The high mobility of dissolved small molecules limits their residence at the interface, typically restricting the self-assembly to systems under confinement or with mobile tethers between the molecules and the surface. Small hydrogen-bonding molecules can overcom…
▽ More
Although common in nature, the self-assembly of small molecules at sold-liquid interfaces is difficult to control in artificial systems. The high mobility of dissolved small molecules limits their residence at the interface, typically restricting the self-assembly to systems under confinement or with mobile tethers between the molecules and the surface. Small hydrogen-bonding molecules can overcome these issues by exploiting group-effect stabilization to achieve non-tethered self-assembly at hydrophobic interfaces. Significantly, the weak molecular interactions with the solid makes it possible to influence the interfacial hydrogen bond network, potentially creating a wide variety of supramolecular structures. Here we investigate the nanoscale details of water and alcohols mixtures self-assembling at the interface with graphite through group effect. We explore the interplay between inter-molecular and surface interactions by adding small amounts of foreign molecules able to interfere with the hydrogen bond network and systematically varying the length of the alcohol hydrocarbon chain. The resulting supramolecular structures forming at room temperature are then examined using atomic force microscopy with insights from computer simulations. We show that the group-based self-assembly approach investigated here is general and can be reproduced on other substrates such as molybdenum disulphide and graphene oxide, potentially making it relevant for a wide variety of systems.
△ Less
Submitted 13 April, 2020;
originally announced April 2020.
-
Integer Programming Approaches to Balanced Connected $k$-Partition
Authors:
Flávio K. Miyazawa,
Phablo F. S. Moura,
Matheus J. Ota,
Yoshiko Wakabayashi
Abstract:
We address the problem of partitioning a vertex-weighted connected graph into $k$ connected subgraphs that have similar weights, for a fixed integer $k\geq 2$. This problem, known as the \emph{balanced connected $k$-partition problem} ($BCP_k$), is defined as follows. Given a connected graph $G$ with nonnegative weights on the vertices, find a partition $\{V_i\}_{i=1}^k$ of $V(G)$ such that each c…
▽ More
We address the problem of partitioning a vertex-weighted connected graph into $k$ connected subgraphs that have similar weights, for a fixed integer $k\geq 2$. This problem, known as the \emph{balanced connected $k$-partition problem} ($BCP_k$), is defined as follows. Given a connected graph $G$ with nonnegative weights on the vertices, find a partition $\{V_i\}_{i=1}^k$ of $V(G)$ such that each class $V_i$ induces a connected subgraph of $G$, and the weight of a class with the minimum weight is as large as possible. It is known that $BCP_k$ is $NP$-hard even on bipartite graphs and on interval graphs. It has been largely investigated under different approaches and perspectives. On the practical side, $BCP_k$ is used to model many applications arising in police patrolling, image processing, cluster analysis, operating systems and robotics. We propose three integer linear programming formulations for the balanced connected $k$-partition problem. The first one contains only binary variables and a potentially large number of constraints that are separable in polynomial time. Some polyhedral results on this formulation, when all vertices have unit weight, are also presented. The other formulations are based on flows and have a polynomial number of constraints and variables. Preliminary computational experiments have shown that the proposed formulations outperform the other formulations presented in the literature.
△ Less
Submitted 13 November, 2019;
originally announced November 2019.
-
AutoLoc: Weakly-supervised Temporal Action Localization
Authors:
Zheng Shou,
Hang Gao,
Lei Zhang,
Kazuyuki Miyazawa,
Shih-Fu Chang
Abstract:
Temporal Action Localization (TAL) in untrimmed video is important for many applications. But it is very expensive to annotate the segment-level ground truth (action class and temporal boundary). This raises the interest of addressing TAL with weak supervision, namely only video-level annotations are available during training). However, the state-of-the-art weakly-supervised TAL methods only focus…
▽ More
Temporal Action Localization (TAL) in untrimmed video is important for many applications. But it is very expensive to annotate the segment-level ground truth (action class and temporal boundary). This raises the interest of addressing TAL with weak supervision, namely only video-level annotations are available during training). However, the state-of-the-art weakly-supervised TAL methods only focus on generating good Class Activation Sequence (CAS) over time but conduct simple thresholding on CAS to localize actions. In this paper, we first develop a novel weakly-supervised TAL framework called AutoLoc to directly predict the temporal boundary of each action instance. We propose a novel Outer-Inner-Contrastive (OIC) loss to automatically discover the needed segment-level supervision for training such a boundary predictor. Our method achieves dramatically improved performance: under the IoU threshold 0.5, our method improves mAP on THUMOS'14 from 13.7% to 21.2% and mAP on ActivityNet from 7.4% to 27.3%. It is also very encouraging to see that our weakly-supervised method achieves comparable results with some fully-supervised methods.
△ Less
Submitted 16 December, 2018; v1 submitted 22 July, 2018;
originally announced July 2018.
-
Online Detection of Action Start in Untrimmed, Streaming Videos
Authors:
Zheng Shou,
Junting Pan,
Jonathan Chan,
Kazuyuki Miyazawa,
Hassan Mansour,
Anthony Vetro,
Xavier Giro-i-Nieto,
Shih-Fu Chang
Abstract:
We aim to tackle a novel task in action detection - Online Detection of Action Start (ODAS) in untrimmed, streaming videos. The goal of ODAS is to detect the start of an action instance, with high categorization accuracy and low detection latency. ODAS is important in many applications such as early alert generation to allow timely security or emergency response. We propose three novel methods to…
▽ More
We aim to tackle a novel task in action detection - Online Detection of Action Start (ODAS) in untrimmed, streaming videos. The goal of ODAS is to detect the start of an action instance, with high categorization accuracy and low detection latency. ODAS is important in many applications such as early alert generation to allow timely security or emergency response. We propose three novel methods to specifically address the challenges in training ODAS models: (1) hard negative samples generation based on Generative Adversarial Network (GAN) to distinguish ambiguous background, (2) explicitly modeling the temporal consistency between data around action start and data succeeding action start, and (3) adaptive sampling strategy to handle the scarcity of training data. We conduct extensive experiments using THUMOS'14 and ActivityNet. We show that our proposed methods lead to significant performance gains and improve the state-of-the-art methods. An ablation study confirms the effectiveness of each proposed method.
△ Less
Submitted 23 July, 2018; v1 submitted 19 February, 2018;
originally announced February 2018.
-
A tight lower bound for an online hypercube packing problem and bounds for prices of anarchy of a related game
Authors:
Y. Kohayakawa,
F. K. Miyazawa,
Y. Wakabayashi
Abstract:
We prove a tight lower bound on the asymptotic performance ratio $ρ$ of the bounded space online $d$-hypercube bin packing problem, solving an open question raised in 2005. In the classic $d$-hypercube bin packing problem, we are given a sequence of $d$-dimensional hypercubes and we have an unlimited number of bins, each of which is a $d$-dimensional unit hypercube. The goal is to pack (orthogonal…
▽ More
We prove a tight lower bound on the asymptotic performance ratio $ρ$ of the bounded space online $d$-hypercube bin packing problem, solving an open question raised in 2005. In the classic $d$-hypercube bin packing problem, we are given a sequence of $d$-dimensional hypercubes and we have an unlimited number of bins, each of which is a $d$-dimensional unit hypercube. The goal is to pack (orthogonally) the given hypercubes into the minimum possible number of bins, in such a way that no two hypercubes in the same bin overlap. The bounded space online $d$-hypercube bin packing problem is a variant of the $d$-hypercube bin packing problem, in which the hypercubes arrive online and each one must be packed in an open bin without the knowledge of the next hypercubes. Moreover, at each moment, only a constant number of open bins are allowed (whenever a new bin is used, it is considered open, and it remains so until it is considered closed, in which case, it is not allowed to accept new hypercubes). Epstein and van Stee [SIAM J. Comput. 35 (2005), no. 2, 431-448] showed that $ρ$ is $Ω(\log d)$ and $O(d/\log d)$, and conjectured that it is $Θ(\log d)$. We show that $ρ$ is in fact $Θ(d/\log d)$. To obtain this result, we elaborate on some ideas presented by those authors, and go one step further showing how to obtain better (offline) packings of certain special instances for which one knows how many bins any bounded space algorithm has to use. Our main contribution establishes the existence of such packings, for large enough $d$, using probabilistic arguments. Such packings also lead to lower bounds for the prices of anarchy of the selfish $d$-hypercube bin packing game. We present a lower bound of $Ω(d/\log d)$ for the pure price of anarchy of this game, and we also give a lower bound of $Ω(\log d)$ for its strong price of anarchy.
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
Online Circle and Sphere Packing
Authors:
Carla Negri Lintzmayer,
Flávio Keidi Miyazawa,
Eduardo Candido Xavier
Abstract:
In this paper we consider the Online Bin Packing Problem in three variants: Circles in Squares, Circles in Isosceles Right Triangles, and Spheres in Cubes. The two first ones receive an online sequence of circles (items) of different radii while the third one receive an online sequence of spheres (items) of different radii, and they want to pack the items into the minimum number of unit squares, i…
▽ More
In this paper we consider the Online Bin Packing Problem in three variants: Circles in Squares, Circles in Isosceles Right Triangles, and Spheres in Cubes. The two first ones receive an online sequence of circles (items) of different radii while the third one receive an online sequence of spheres (items) of different radii, and they want to pack the items into the minimum number of unit squares, isosceles right triangles of leg length one, and unit cubes, respectively. For Online Circle Packing in Squares, we improve the previous best-known competitive ratio for the bounded space version, when at most a constant number of bins can be open at any given time, from 2.439 to 2.3536. For Online Circle Packing in Isosceles Right Triangles and Online Sphere Packing in Cubes we show bounded space algorithms of asymptotic competitive ratios 2.5490 and 3.5316, respectively, as well as lower bounds of 2.1193 and 2.7707 on the competitive ratio of any online bounded space algorithm for these two problems. We also considered the online unbounded space variant of these three problems which admits a small reorganization of the items inside the bin after their packing, and we present algorithms of competitive ratios 2.3105, 2.5094, and 3.5146 for Circles in Squares, Circles in Isosceles Right Triangles, and Spheres in Cubes, respectively.
△ Less
Submitted 29 August, 2017;
originally announced August 2017.
-
Prices of anarchy of selfish 2D bin packing games
Authors:
Cristina G. Fernandes,
Carlos E. Ferreira,
Flávio K. Miyazawa,
Yoshiko Wakabayashi
Abstract:
We consider a game-theoretical problem called selfish 2-dimensional bin packing game, a generalization of the 1-dimensional case already treated in the literature. In this game, the items to be packed are rectangles, and the bins are unit squares. The game starts with a set of items arbitrarily packed in bins. The cost of an item is defined as the ratio between its area and the total occupied area…
▽ More
We consider a game-theoretical problem called selfish 2-dimensional bin packing game, a generalization of the 1-dimensional case already treated in the literature. In this game, the items to be packed are rectangles, and the bins are unit squares. The game starts with a set of items arbitrarily packed in bins. The cost of an item is defined as the ratio between its area and the total occupied area of the respective bin. Each item is a selfish player that wants to minimize its cost. A migration of an item to another bin is allowed only when its cost is decreased. We show that this game always converges to a Nash equilibrium (a stable packing where no single item can decrease its cost by migrating to another bin). We show that the pure price of anarchy of this game is unbounded, so we address the particular case where all items are squares. We show that the pure price of anarchy of the selfish square packing game is at least 2.3634 and at most 2.6875. We also present analogous results for the strong Nash equilibrium (a stable packing where no nonempty set of items can simultaneously migrate to another common bin and decrease the cost of each item in the set). We show that the strong price of anarchy when all items are squares is at least 2.0747 and at most 2.3605.
△ Less
Submitted 25 July, 2017;
originally announced July 2017.
-
CDC: Convolutional-De-Convolutional Networks for Precise Temporal Action Localization in Untrimmed Videos
Authors:
Zheng Shou,
Jonathan Chan,
Alireza Zareian,
Kazuyuki Miyazawa,
Shih-Fu Chang
Abstract:
Temporal action localization is an important yet challenging problem. Given a long, untrimmed video consisting of multiple action instances and complex background contents, we need not only to recognize their action categories, but also to localize the start time and end time of each instance. Many state-of-the-art systems use segment-level classifiers to select and rank proposal segments of pre-d…
▽ More
Temporal action localization is an important yet challenging problem. Given a long, untrimmed video consisting of multiple action instances and complex background contents, we need not only to recognize their action categories, but also to localize the start time and end time of each instance. Many state-of-the-art systems use segment-level classifiers to select and rank proposal segments of pre-determined boundaries. However, a desirable model should move beyond segment-level and make dense predictions at a fine granularity in time to determine precise temporal boundaries. To this end, we design a novel Convolutional-De-Convolutional (CDC) network that places CDC filters on top of 3D ConvNets, which have been shown to be effective for abstracting action semantics but reduce the temporal length of the input data. The proposed CDC filter performs the required temporal upsampling and spatial downsampling operations simultaneously to predict actions at the frame-level granularity. It is unique in jointly modeling action semantics in space-time and fine-grained temporal dynamics. We train the CDC network in an end-to-end manner efficiently. Our model not only achieves superior performance in detecting actions in every frame, but also significantly boosts the precision of localizing temporal boundaries. Finally, the CDC network demonstrates a very high efficiency with the ability to process 500 frames per second on a single GPU server. We will update the camera-ready version and publish the source codes online soon.
△ Less
Submitted 13 June, 2017; v1 submitted 4 March, 2017;
originally announced March 2017.
-
Dijkstra Graphs
Authors:
Lucila M. S. Bento,
Davidson R. Boccardo,
Raphael C. S. Machado,
Flávio K. Miyazawa,
Vinícius G. Pereira de Sá,
Jayme L. Szwarcfiter
Abstract:
We revisit a concept that has been central in some early stages of computer science, that of structured programming: a set of rules that an algorithm must follow in order to acquire a structure that is desirable in many aspects. While much has been written about structured programming, an important issue has been left unanswered: given an arbitrary, compiled program, describe an algorithm to decid…
▽ More
We revisit a concept that has been central in some early stages of computer science, that of structured programming: a set of rules that an algorithm must follow in order to acquire a structure that is desirable in many aspects. While much has been written about structured programming, an important issue has been left unanswered: given an arbitrary, compiled program, describe an algorithm to decide whether or not it is structured, that is, whether it conforms to the stated principles of structured programming. We refer to the classical concept of structured programming, as described by Dijkstra. By employing a graph model and graph-theoretic techniques, we formulate an efficient algorithm for answering this question. To do so, we first introduce the class of graphs which correspond to structured programs, which we call Dijkstra Graphs. Our problem then becomes the recognition of such graphs, for which we present a greedy $O(n)$-time algorithm. Furthermore, we describe an isomorphism algorithm for Dijkstra graphs, whose complexity is also linear in the number of vertices of the graph. Both the recognition and isomorphism algorithms have potential important applications, such as in code similarity analysis.
△ Less
Submitted 18 June, 2016; v1 submitted 27 February, 2016;
originally announced February 2016.
-
Polynomial-Time Approximation Schemes for Circle and Other Packing Problems
Authors:
Flávio K. Miyazawa,
Lehilton L. C. Pedrosa,
Rafael C. S. Schouery,
Maxim Sviridenko,
Yoshiko Wakabayashi
Abstract:
We give an asymptotic approximation scheme (APTAS) for the problem of packing a set of circles into a minimum number of unit square bins. To obtain rational solutions, we use augmented bins of height $1+γ$, for some arbitrarily small number $γ> 0$. Our algorithm is polynomial on $\log 1/γ$, and thus $γ$ is part of the problem input. For the special case that $γ$ is constant, we give a (one dimensi…
▽ More
We give an asymptotic approximation scheme (APTAS) for the problem of packing a set of circles into a minimum number of unit square bins. To obtain rational solutions, we use augmented bins of height $1+γ$, for some arbitrarily small number $γ> 0$. Our algorithm is polynomial on $\log 1/γ$, and thus $γ$ is part of the problem input. For the special case that $γ$ is constant, we give a (one dimensional) resource augmentation scheme, that is, we obtain a packing into bins of unit width and height $1+γ$ using no more than the number of bins in an optimal packing. Additionally, we obtain an APTAS for the circle strip packing problem, whose goal is to pack a set of circles into a strip of unit width and minimum height. These are the first approximation and resource augmentation schemes for these problems.
Our algorithm is based on novel ideas of iteratively separating small and large items, and may be extended to a wide range of packing problems that satisfy certain conditions. These extensions comprise problems with different kinds of items, such as regular polygons, or with bins of different shapes, such as circles and spheres. As an example, we obtain APTAS's for the problems of packing d-dimensional spheres into hypercubes under the $L_p$-norm.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
Initial Results from the Nobeyama Molecular Gas Observations of Distant Bright Galaxies
Authors:
D. Iono,
B. Hatsukade,
K. Kohno,
R. Kawabe,
S. Ikarashi,
K. Ichikawa,
T. Kodama,
K. Motohara,
T. Nakajima,
K. Nakanishi,
K. Ohta,
K. Ota,
T. Saito,
K. Suzuki,
K. Tadaki,
Y. Tamura,
J. Ueda,
H. Umehata,
K. Yabe,
T. Yoshida,
S. Yuma,
N. Kuno,
S. Takano,
H. Iwashita,
K. Handa
, et al. (15 additional authors not shown)
Abstract:
We present initial results from the CO survey toward high redshift galaxies using the Nobeyama 45m telescope. Using the new wide bandwidth spectrometer equipped with a two-beam SIS receiver, we have robust new detections of three high redshift (z=1.6-3.4) submillimeter galaxies (SXDF 1100.001, SDP9, and SDP17), one tentative detection (SDSS J160705+533558), and one non-detection (COSMOS-AzTEC1). T…
▽ More
We present initial results from the CO survey toward high redshift galaxies using the Nobeyama 45m telescope. Using the new wide bandwidth spectrometer equipped with a two-beam SIS receiver, we have robust new detections of three high redshift (z=1.6-3.4) submillimeter galaxies (SXDF 1100.001, SDP9, and SDP17), one tentative detection (SDSS J160705+533558), and one non-detection (COSMOS-AzTEC1). The galaxies observed during the commissioning phase are sources with known spectroscopic redshifts from previous optical or from wide-band submm spectroscopy. The derived molecular gas mass and line widths from Gaussian fits are ~10^11 Msun and 430-530 km/s, which are consistent with previous CO observations of distant submm galaxies and quasars. The spectrometer that allows a maximum of 32 GHz instantaneous bandwidth will provide new science capabilities at the Nobeyama 45m telescope, allowing us to determine redshifts of bright submm selected galaxies without any prior redshift information.
△ Less
Submitted 18 June, 2012;
originally announced June 2012.
-
Possibility of Horizontal Line Node in KFe$_2$As$_2$ Probed by Muon Spin Rotation
Authors:
Kazuki Ohishi,
Yasuyuki Ishii,
Hedeto Fukazawa,
Taku Saito,
Isao Watanabe,
Yoh Kohori,
Takao Suzuki,
Kunihiro Kihou,
Chul-Ho Lee,
Kiichi Miyazawa,
Hijiri Kito,
Akira Iyo,
Hiroshi Eisaki
Abstract:
The anisotropy and temperature dependence of the magnetic field penetration depth in the iron-based superconductor KFe$_2$As$_2$ have been measured down to 20 mK by means of muon spin rotation. We have observed that the flux-line lattice forms triangular symmetry when we applied the field parallel to c-axis, suggesting the interaction between vortices should be isotropic. The temperature dependenc…
▽ More
The anisotropy and temperature dependence of the magnetic field penetration depth in the iron-based superconductor KFe$_2$As$_2$ have been measured down to 20 mK by means of muon spin rotation. We have observed that the flux-line lattice forms triangular symmetry when we applied the field parallel to c-axis, suggesting the interaction between vortices should be isotropic. The temperature dependence of the penetration depth observd with an applied field parallel and perpendicular to c-axis are different. These results can be accounted for by a superconducting gap function with a horizontal line node in the basal plane.
△ Less
Submitted 28 December, 2011;
originally announced December 2011.
-
A Systematic Approach to Bound Factor-Revealing LPs and its Application to the Metric and Squared Metric Facility Location Problems
Authors:
Cristina G. Fernandes,
Luís A. A. Meira,
Flávio K. Miyazawa,
Lehilton L. C. Pedrosa
Abstract:
A systematic technique to bound factor-revealing linear programs is presented. We show how to derive a family of upper bound factor-revealing programs (UPFRP), and show that each such program can be solved by a computer to bound the approximation factor of an associated algorithm. Obtaining an UPFRP is straightforward, and can be used as an alternative to analytical proofs, that are usually very l…
▽ More
A systematic technique to bound factor-revealing linear programs is presented. We show how to derive a family of upper bound factor-revealing programs (UPFRP), and show that each such program can be solved by a computer to bound the approximation factor of an associated algorithm. Obtaining an UPFRP is straightforward, and can be used as an alternative to analytical proofs, that are usually very long and tedious. We apply this technique to the Metric Facility Location Problem (MFLP) and to a generalization where the distance function is a squared metric. We call this generalization the Squared Metric Facility Location Problem (SMFLP) and prove that there is no approximation factor better than 2.04, assuming P $\neq$ NP. Then, we analyze the best known algorithms for the MFLP based on primal-dual and LP-rounding techniques when they are applied to the SMFLP. We prove very tight bounds for these algorithms, and show that the LP-rounding algorithm achieves a ratio of 2.04, and therefore has the best factor for the SMFLP. We use UPFRPs in the dual-fitting analysis of the primal-dual algorithms for both the SMFLP and the MFLP, improving some of the previous analysis for the MFLP.
△ Less
Submitted 6 August, 2013; v1 submitted 7 November, 2011;
originally announced November 2011.
-
Synthesis of ErFeAsO-based superconductors by hydrogen doping method
Authors:
Parasharam M. Shirage,
Kiichi Miyazawa,
Kunihiro Kihou,
Chul-Ho Lee,
Hijiri Kito,
Kazuyasu Tokiwa,
Yasumoto Tanaka,
Hiroshi Eisaki,
Akira Iyo
Abstract:
Here we demonstrate the technique to stabilize the ErFeAsO-based superconductor with the smallest lattice constants in LnFeAsO1-y (Ln = lanthanide) series using hydrogen doping method. Polycrystalline samples were synthesized by heating pellets with nominal compositions of ErFeAsO1-y (1-y = 0.75 ~ 0.95) sandwiched between pellets of LaFeAsO0.8H0.8 compositions at 1100 °C under a pressure of 5.0 -…
▽ More
Here we demonstrate the technique to stabilize the ErFeAsO-based superconductor with the smallest lattice constants in LnFeAsO1-y (Ln = lanthanide) series using hydrogen doping method. Polycrystalline samples were synthesized by heating pellets with nominal compositions of ErFeAsO1-y (1-y = 0.75 ~ 0.95) sandwiched between pellets of LaFeAsO0.8H0.8 compositions at 1100 °C under a pressure of 5.0 - 5.5 GP. The sample with lattice constants of a = 3.8219 Å and c = 8.2807 Å shows the highest superconducting critical temperatures (Tc) of 44.5 K and 41.0 K determined by onset transitions of resistivity and susceptibility, respectively. We discuss phase diagram of Ln dependence of Tc in LnFeAsO-based superconductors.
△ Less
Submitted 23 November, 2010;
originally announced November 2010.
-
Absence of an appreciable iron isotope effect on the transition temperature of the optimally doped SmFeAsO_{1-y} superconductor
Authors:
Parasharam M. Shirage,
Kiichi Miyazawa,
Kunihiro Kihou,
Hijiri Kito,
Yoshiyuki Yoshida,
Yasumoto Tanaka,
Hiroshi Eisaki,
Akira Iyo
Abstract:
We report the iron (Fe) isotope effect on the transition temperature (Tc) in the oxygen-deficient SmFeAsO_{1-y}, a 50 K-class Fe-based superconductor. For the optimally-doped samples with Tc = 54 K, change of the Fe average atomic mass (MFe) causes a negligibly small shift in Tc, with the Fe isotope coefficient (alphaFe) as small as -0.024 \pm 0.015. This result contrasts with the finite, inverse…
▽ More
We report the iron (Fe) isotope effect on the transition temperature (Tc) in the oxygen-deficient SmFeAsO_{1-y}, a 50 K-class Fe-based superconductor. For the optimally-doped samples with Tc = 54 K, change of the Fe average atomic mass (MFe) causes a negligibly small shift in Tc, with the Fe isotope coefficient (alphaFe) as small as -0.024 \pm 0.015. This result contrasts with the finite, inverse isotope shift observed in optimally-doped (Ba,K)Fe2As2, indicating that the contribution of the electron-phonon interaction markedly differs between these two Fe-based high-Tc superconductors.
△ Less
Submitted 15 July, 2010;
originally announced July 2010.
-
Origin of Tc Enhancement Induced by Doping Yttrium and Hydrogen into LaFeAsO-based Superconductors: 57Fe, 75As, 139La, and 1H-NMR Studies
Authors:
H. Yamashita,
H. Mukuda,
M. Yashima,
S. Furukawa,
Y. Kitaoka,
K. Miyazawa,
P. M. Shirage,
H. Eisaki,
A. Iyo
Abstract:
We report our extensive 57Fe-, 75As-, 139La-, and 1H-NMR studies of La_{0.8}Y_{0.2}FeAsO_{1-y} (La_{0.8}Y_{0.2}1111) and LaFeAsO_{1-y}H_{x}(La1111H), where doping yttrium (Y) and hydrogen (H) into optimally doped LaFeAsO_{1-y} (La1111(OPT)) increases T_c=28 K to 34 and 32 K, respectively. In the superconducting (SC) state, the measurements of nuclear-spin lattice-relaxation rate 1/T_1 have reveale…
▽ More
We report our extensive 57Fe-, 75As-, 139La-, and 1H-NMR studies of La_{0.8}Y_{0.2}FeAsO_{1-y} (La_{0.8}Y_{0.2}1111) and LaFeAsO_{1-y}H_{x}(La1111H), where doping yttrium (Y) and hydrogen (H) into optimally doped LaFeAsO_{1-y} (La1111(OPT)) increases T_c=28 K to 34 and 32 K, respectively. In the superconducting (SC) state, the measurements of nuclear-spin lattice-relaxation rate 1/T_1 have revealed in terms of a multiple fully gapped s_\pm-wave model that the SC gap and T_c in La_{0.8}Y_{0.2}1111 become larger than those in La1111(OPT) without any change in doping level. In La1111H, the SC gap and T_c also increase slightly even though a decrease in carrier density and some disorders are significantly introduced. As a consequence, we suggest that the optimization of both the structural parameters and the carrier doping level to fill up the bands is crucial for increasing T_c among these La1111-based compounds through the optimization of the Fermi surface topology.
△ Less
Submitted 2 September, 2010; v1 submitted 15 July, 2010;
originally announced July 2010.
-
No anomalous spin fluctuation in optimally doped and overdoped iron-based oxypnictide superconductors LaFeAsO$_{1-x}$F$_x$ probed by muon spin relaxation
Authors:
Kazuki Ohishi,
Yasuyuki Ishii,
Kiichi Miyazawa,
Hideto Fukazawa,
Isao Watanabe,
Yoh Kohori,
Parasharam M. Shirage,
Hijiri Kito,
Akira Iyo,
Hiroshi Eisaki
Abstract:
Zero field and longitudinal field muon spin relaxation measurements have been performed in optimally doped and overdoped superconductors LaFeAsO$_{1-x}$F$_x$ in order to investigate the magnetic fluctuation over a wide range of temperature and longitudinal field. We have observed no sign of magnetic fluctuation against temperature in the muons' time window (10$^{-5}\sim$ 10$^{-9}$s). Considering t…
▽ More
Zero field and longitudinal field muon spin relaxation measurements have been performed in optimally doped and overdoped superconductors LaFeAsO$_{1-x}$F$_x$ in order to investigate the magnetic fluctuation over a wide range of temperature and longitudinal field. We have observed no sign of magnetic fluctuation against temperature in the muons' time window (10$^{-5}\sim$ 10$^{-9}$s). Considering the current results and other results, i.e., spin fluctuation observed by neutron scattering, pseudogap-like behaviors by NMR and photoemission spectroscopy, it is suggested that not only the spin fluctuation but also the multiband character with several different orbital contributions at the Fermi surface may play an important role in the superconducting pairing mechanism of LaFeAsO$_{1-x}$F$_x$.
△ Less
Submitted 9 April, 2010;
originally announced April 2010.
-
Strong carrier-scattering in iron-pnictide superconductors with highest Tc obtained from charge transport experiments
Authors:
S. Ishida,
M. Nakajima,
Y. Tomioka,
T. Ito,
K. Miyazawa,
H. Kito,
C. H. Lee,
M. Ishikado,
S. Shamoto,
A. Iyo,
H. Eisaki,
K. M. Kojima,
S. Uchida
Abstract:
Characteristic normal-state charge transport is found in the oxygen-deficient iron-arsenides LnFeAsO1-y (Ln: La and Nd) with the highest Tc's among known Fe-based superconductors. The effect of "doping" in this system is mainly on the carrier scattering, quite distinct from that in high-Tc cuprates. In the superconducting regime of the La system with maximum Tc = 28 K, the low-temperature resistiv…
▽ More
Characteristic normal-state charge transport is found in the oxygen-deficient iron-arsenides LnFeAsO1-y (Ln: La and Nd) with the highest Tc's among known Fe-based superconductors. The effect of "doping" in this system is mainly on the carrier scattering, quite distinct from that in high-Tc cuprates. In the superconducting regime of the La system with maximum Tc = 28 K, the low-temperature resistivity is dominated by a T^2 term. On the other hand, in the Nd system with Tc higher than 40 K, the carriers are subject to stronger scattering showing T-linear resistivity and small magnetoresistance. Such strong scattering appears crucial for high-Tc superconductivity in the iron-based system.
△ Less
Submitted 26 March, 2010;
originally announced March 2010.
-
Possible hydrogen doping and enhancement of Tc (= 35 K) in a LaFeAsO-based superconductor
Authors:
K. Miyazawa,
S. Ishida,
K. Kihou,
P. M. Shirage,
M. Nakajima,
C. H. Lee,
H. Kito,
Y. Tomioka,
T. Ito,
H. Eisaki,
H. Yamashita,
H. Mukuda,
K. Tokiwa,
S. Uchida,
A. Iyo
Abstract:
We report that the incorporation of hydroxide ions (OH)- significantly enhances the superconducting transition temperature (Tc) in the LnFeAsO-based superconductors (Ln1111: Ln = La, Ce and Pr). For La1111, Tc of the (OH)- incorporated sample synthesized using high-pressure technique becomes 35 K, which is higher by 7 K than the typical optimally-doped La1111 superconductors. Similar enhancement…
▽ More
We report that the incorporation of hydroxide ions (OH)- significantly enhances the superconducting transition temperature (Tc) in the LnFeAsO-based superconductors (Ln1111: Ln = La, Ce and Pr). For La1111, Tc of the (OH)- incorporated sample synthesized using high-pressure technique becomes 35 K, which is higher by 7 K than the typical optimally-doped La1111 superconductors. Similar enhancement in Tc is also observed for Ce1111 and Pr1111. 1H-NMR measurement have confirmed the existence of hydrogen atoms in the samples. Accompanying the (OH)- incorporation, the lattice parameters are largely contracted, down to the values which have never been attained by any other dopings/substitutions.
△ Less
Submitted 28 January, 2010;
originally announced January 2010.
-
Strong-coupling Spin-singlet Superconductivity with Multiple Full Gaps in Hole-doped Ba$_{0.6}$K$_{0.4}$Fe$_2$As$_2$ Probed by Fe-NMR
Authors:
M. Yashima,
H. Nishimura,
H. Mukuda,
Y. Kitaoka,
K. Miyazawa,
P. M. Shirage,
K. Kiho,
H. Kito,
H. Eisaki,
A. Iyo
Abstract:
We present $^{57}$Fe-NMR measurements of the novel normal and superconducting-state characteristics of the iron-arsenide superconductor Ba$_{0.6}$K$_{0.4}$Fe$_2$As$_2$ ($T_c$ = 38 K). In the normal state, the measured Knight shift and nuclear spin-lattice relaxation rate $(1/T_1)$ demonstrate the development of wave-number ($q$)-dependent spin fluctuations, except at $q$ = 0, which may originate…
▽ More
We present $^{57}$Fe-NMR measurements of the novel normal and superconducting-state characteristics of the iron-arsenide superconductor Ba$_{0.6}$K$_{0.4}$Fe$_2$As$_2$ ($T_c$ = 38 K). In the normal state, the measured Knight shift and nuclear spin-lattice relaxation rate $(1/T_1)$ demonstrate the development of wave-number ($q$)-dependent spin fluctuations, except at $q$ = 0, which may originate from the nesting across the disconnected Fermi surfaces. In the superconducting state, the spin component in the $^{57}$Fe-Knight shift decreases to almost zero at low temperatures, evidencing a spin-singlet superconducting state. The $^{57}$Fe-$1/T_1$ results are totally consistent with a $s^\pm$-wave model with multiple full gaps, regardless of doping with either electrons or holes.
△ Less
Submitted 12 May, 2009;
originally announced May 2009.
-
Doping dependence of Normal-state Property in the Iron-based Oxypnictide Superconductors LaFeAsO1-y probed by 57Fe-NMR and 75As-NMR/NQR
Authors:
H. Mukuda,
N. Terasaki,
N. Tamura,
H. Kinouchi,
M. Yashima,
Y. Kitaoka,
K. Miyazawa,
P. M. Shirage,
S. Suzuki,
S. Miyasaka,
S. Tajima,
H. Kito,
H. Eisaki,
A. Iyo
Abstract:
We report systematic 57Fe-NMR and 75As-NMR/NQR studies on an underdoped sample (T_c=20 K), an optimally doped sample (T_c=28 K), and an overdoped sample (T_c=22 K) of oxygen-deficient iron (Fe)-based oxypnictide superconductor LaFeAsO_{1-y}…
▽ More
We report systematic 57Fe-NMR and 75As-NMR/NQR studies on an underdoped sample (T_c=20 K), an optimally doped sample (T_c=28 K), and an overdoped sample (T_c=22 K) of oxygen-deficient iron (Fe)-based oxypnictide superconductor LaFeAsO_{1-y}$. A microscopic phase separation between superconducting domains and magnetic domains is shown to take place in the underdoped sample, indicating a local inhomogeneity in association with the density distribution of oxygen deficiencies. As a result, 1/T_1T in the normal state of the superconducting domain decreases significantly upon cooling at both the Fe and As sites regardless of the electron-doping level in LaFeAsO_{1-y}. On the basis of this result, we claim that $1/T_1T$ is not always enhanced by antiferromagnetic fluctuations close to an antiferromagnetic phase in the underdoped superconducting sample. This contrasts with the behavior in hole-doped Ba_{0.6}K_{0.4}Fe2As2(T_c= 38 K), which exhibits a significant increase in $1/T_1T$ upon cooling. We remark that the crucial difference between the normal-state properties of LaFeAsO_{1-y} and Ba_{0.6}K_{0.4}Fe2As2 originates from the fact that the relevant Fermi surface topologies are differently modified depending on whether electrons or holes are doped into the FeAs layers.
△ Less
Submitted 18 June, 2009; v1 submitted 27 April, 2009;
originally announced April 2009.
-
Inverse Iron Isotope Effect on the transition temperature of the (Ba,K)Fe2As2 superconductor
Authors:
Parasharam M. Shirage,
Kunihiro Kihou,
Kiichi Miyazawa,
Chul-Ho Lee,
Hijiri Kito,
Hiroshi Eisaki,
Takashi Yanagisawa,
Yasumoto Tanaka,
Akira Iyo
Abstract:
We report that (Ba,K)Fe2As2 superconductor (a transition temperature, Tc = 38 K) shows inverse Iron isotope effect (-0.18) (the sample including the larger atomic weight of Fe depicts higher Tc). Measurements of both temperature dependent magnetization and resistivity reveal a clear inverse shift by systematic studies on Tc using three types of Fe-isotopes (Fe-54, natural Fe and Fe-57). This ind…
▽ More
We report that (Ba,K)Fe2As2 superconductor (a transition temperature, Tc = 38 K) shows inverse Iron isotope effect (-0.18) (the sample including the larger atomic weight of Fe depicts higher Tc). Measurements of both temperature dependent magnetization and resistivity reveal a clear inverse shift by systematic studies on Tc using three types of Fe-isotopes (Fe-54, natural Fe and Fe-57). This indicates the first evidence of the inverse isotope effect in high-Tc superconductors. This atomic mass dependence on Tc implies the exotic coupling mechanism.
△ Less
Submitted 17 December, 2009; v1 submitted 20 March, 2009;
originally announced March 2009.
-
75As NMR Study of Hole-Doped Superconductor Ba1-xKxFe2As2 (Tc = 38K)
Authors:
H. Fukazawa,
T. Yamazaki,
K. Kondo,
Y. Kohori,
N. Takeshita,
P. M. Shirage,
K Kihou,
K. Miyazawa,
H. Kito,
H. Eisaki,
A. Iyo
Abstract:
We report the 75As nuclear magnetic resonance (NMR) measurement of the hole-doped superconductor Ba1-xKxFe2As2 with different lattice parameters and different superconducting volume fractions (Tc = 38K). 75As-NMR spectra revealed that the magnetically ordered and superconducting phases are microscopically separated. The spin-lattice relaxation rate 1/T1 in the normal state reflects the existence…
▽ More
We report the 75As nuclear magnetic resonance (NMR) measurement of the hole-doped superconductor Ba1-xKxFe2As2 with different lattice parameters and different superconducting volume fractions (Tc = 38K). 75As-NMR spectra revealed that the magnetically ordered and superconducting phases are microscopically separated. The spin-lattice relaxation rate 1/T1 in the normal state reflects the existence of a large two-dimensional antiferromagnetic spin fluctuation. The 1/T1 in the superconducting state down to the lowest measurement temperature T varies close to T^3. In addition, it exhibits no coherence peak just below Tc. This shows a T dependence similar to those of other iron pnictides.
△ Less
Submitted 2 February, 2009; v1 submitted 1 January, 2009;
originally announced January 2009.
-
Superconductivity above 50K in LnFeAsO1-y (Ln= Nd, Sm, Gd, Tb and Dy) Synthesized by High-pressure Technique
Authors:
Kiichi Miyazawa,
Kunihiro Kihou,
Parasharam M. Shirage,
Chul-Ho Lee,
Hijiri Kito,
Hiroshi Eisaki,
Akira Iyo
Abstract:
We have succeeded in synthesizing single-phase polycrystalline samples of oxygen-deficient oxypnictide superconductors, LnFeAsO1-y (Ln: lanthanide elements) with Ln=La, Ce, Pr, Nd, Sm, Gd, Tb and Dy using high-pressure synthesis technique. It is found out that the synthesis pressure is the most important parameter for synthesizing single-phase samples, in particular for the heavier Ln?s, such as…
▽ More
We have succeeded in synthesizing single-phase polycrystalline samples of oxygen-deficient oxypnictide superconductors, LnFeAsO1-y (Ln: lanthanide elements) with Ln=La, Ce, Pr, Nd, Sm, Gd, Tb and Dy using high-pressure synthesis technique. It is found out that the synthesis pressure is the most important parameter for synthesizing single-phase samples, in particular for the heavier Ln?s, such as Tb and Dy. The lattice parameters systematically decrease with the atomic number of Ln, reflecting the shrinkage of Ln ionic radius. For the lighter Ln?s (La, Ce, Pr, Nd), Tc increases monotonously with decreasing the lattice parameters from 26K for Ln=La to 54K for Ln=Nd, then stays at the constant value around 53K for the heavier counterpart (Nd, Sm, Gd, Tb and Dy). The results suggest the intimate relationship between the crystal structural parameters and the superconductivity on the one hand, as well as the possible existence of the inherent maximum Tc on the other, which is located around 50 K in the LnFeAsO based materials.
△ Less
Submitted 25 December, 2008;
originally announced December 2008.
-
Spin Fluctuations and Unconventional Superconductivity in the Fe-based Oxypnictide Superconductor LaFeAsO_0.7 probed by 57Fe-NMR
Authors:
N. Terasaki,
H. Mukuda,
M. Yashima,
Y. Kitaoka,
K. Miyazawa,
P. M. Shirage,
H. Kito,
H. Eisaki,
A. Iyo
Abstract:
We report $^{57}$Fe-NMR studies on the oxygen-deficient iron (Fe)-based oxypnictide superconductor LaFeAsO$_{0.7}$ ($T_{c}=$ 28 K) enriched by $^{57}$Fe isotope. In the superconducting state, the spin component of $^{57}$Fe-Knight shift $^{57}K$ decreases almost to zero at low temperatures and the nuclear spin-lattice relaxation rate $^{57}(1/T_{1})$ exhibits a $T^{3}$-like dependence without th…
▽ More
We report $^{57}$Fe-NMR studies on the oxygen-deficient iron (Fe)-based oxypnictide superconductor LaFeAsO$_{0.7}$ ($T_{c}=$ 28 K) enriched by $^{57}$Fe isotope. In the superconducting state, the spin component of $^{57}$Fe-Knight shift $^{57}K$ decreases almost to zero at low temperatures and the nuclear spin-lattice relaxation rate $^{57}(1/T_{1})$ exhibits a $T^{3}$-like dependence without the coherence peak just below $T_{c}$, which give firm evidence of the unconventional superconducting state formed by spin-singlet Cooper pairing. All these events below $T_c$ are consistently argued in terms of the extended s$_{\pm}$-wave pairing with a sign reversal of the order parameter among Fermi surfaces. In the normal state, we found the remarkable decrease of $1/T_1T$ upon cooling for both the Fe and As sites, which originates from the decrease of low-energy spectral weight of spin fluctuations over whole ${\bm q}$ space upon cooling below room temperature. Such behavior has never been observed for other strongly correlated superconductors where an antiferromagnetic interaction plays a vital role in mediating the Cooper pairing.
△ Less
Submitted 5 November, 2008; v1 submitted 30 September, 2008;
originally announced September 2008.
-
Evidence of spin density wave in LaFeAsO, the parent material of the new Fe-based oxypnictide superconductors
Authors:
Motoyuki Ishikado,
Ryoichi Kajimoto,
Shin-ichi Shamoto,
Masatoshi Arai,
Akira Iyo,
Kiichi Miyazawa,
Parasharam M. Shirage,
Hijiri Kito,
Hiroshi Eisaki,
SungWng Kim,
Hideo Hosono,
Tatiana Guidi,
Robert Bewley,
Stephen M. Bennington
Abstract:
The Fe-based Oxypnicide superconductors have generated a huge amount of interest; they are a high temperature superconductor, with a Tc of 55K, but do not have the two dimensional copper oxygen layer that was thought essential for superconductivity at these high temperatures. Initial studies have hinted towards the possibility of a spin density wave (SDW) in these compounds and how they could pl…
▽ More
The Fe-based Oxypnicide superconductors have generated a huge amount of interest; they are a high temperature superconductor, with a Tc of 55K, but do not have the two dimensional copper oxygen layer that was thought essential for superconductivity at these high temperatures. Initial studies have hinted towards the possibility of a spin density wave (SDW) in these compounds and how they could play an important role in the superconductivity. SDW's occur at low temperatures in low-dimensional materials with strong electron correlations or in metals with a high density of states at the Fermi surface. A transition to the SDW state has many similarities to the superconducting transition, driven by the condensation energy with an energy gap opening, and in many materials the SDW state occurs adjacent in the phase diagram to the superconducting state. In these materials it is believed that electron doping suppresses the SDW instability allowing superconductivity to emerge. In this paper we report on the first direct experimental evidence of a SDW in the LaFeAsO parent compound as observed with inelastic neutron scattering. We show that these excitation derive from a two-dimensional Fermi surface nesting with a nesting vector of (π,π,0).
△ Less
Submitted 2 October, 2008; v1 submitted 30 September, 2008;
originally announced September 2008.
-
Sheet Dependence on Superconducting Gap in Oxygen-Deficient Iron-based Oxypnictide Superconductors NdFeAs0.85
Authors:
Yoshihiro Aiura,
Koji Sato,
Hideaki Iwasawa,
Yosuke Nakashima,
Akihiro Ino,
Masashi Arita,
Kenya Shimada,
Hirofumi Namatame,
Masaki Taniguchi,
Izumi Hase,
Kiichi Miyazawa,
Parasharam M. Shirage,
Hiroshi Eisaki,
Hijiri Kito,
Akira Iyo
Abstract:
Photoemission spectroscopy with low-energy tunable photons on oxygen-deficient iron-based oxypnictide superconductors NdFeAsO0.85 (Tc=52K) reveals a distinct photon-energy dependence of the electronic structure near the Fermi level (EF). A clear shift of the leading-edge can be observed in the superconducting states with 9.5 eV photons, while a clear Fermi cutoff with little leading-edge shift c…
▽ More
Photoemission spectroscopy with low-energy tunable photons on oxygen-deficient iron-based oxypnictide superconductors NdFeAsO0.85 (Tc=52K) reveals a distinct photon-energy dependence of the electronic structure near the Fermi level (EF). A clear shift of the leading-edge can be observed in the superconducting states with 9.5 eV photons, while a clear Fermi cutoff with little leading-edge shift can be observed with 6.0 eV photons. The results are indicative of the superconducting gap opening not on the hole-like ones around Gamma (0,0) point but on the electron-like sheets around M(pi,pi) point.
△ Less
Submitted 7 August, 2008;
originally announced August 2008.
-
Suppression of Magnetic Order by Pressure in BaFe2As2
Authors:
H. Fukazawa,
N. Takeshita,
T. Yamazaki,
K. Kondo,
K. Hirayama,
Y. Kohori,
K. Miyazawa,
H. Kito,
H. Eisaki,
A. Iyo
Abstract:
We performed the dc resistivity and the ZF 75As-NMR measurement of BaFe2As2 under high pressure. The T-P phase diagram of BaFe2As2 determined from resistivity anomalies and the ZF 75As-NMR clearly revealed that the SDW anomaly is quite robust against P.
We performed the dc resistivity and the ZF 75As-NMR measurement of BaFe2As2 under high pressure. The T-P phase diagram of BaFe2As2 determined from resistivity anomalies and the ZF 75As-NMR clearly revealed that the SDW anomaly is quite robust against P.
△ Less
Submitted 5 August, 2008;
originally announced August 2008.
-
75As NMR study of the ternary iron arsenide BaFe2As2
Authors:
H. Fukazawa,
K. Hirayama,
K. Kondo,
T. Yamazaki,
Y. Kohori,
N. Takeshita,
K. Miyazawa,
H. Kito,
H. Eisaki,
A. Iyo
Abstract:
We report 75As-NMR measurements of the ternary iron arsenide BaFe2As2. 75As-NMR spectra clearly revealed that magnetic transition occurs at around 131 K in our samples, which corresponds to the emergence of spin density wave. Temperature dependence of the internal magnetic field suggests that the transition is likely of the first order. The critical-slowing-down phenomenon in the spin-lattice re…
▽ More
We report 75As-NMR measurements of the ternary iron arsenide BaFe2As2. 75As-NMR spectra clearly revealed that magnetic transition occurs at around 131 K in our samples, which corresponds to the emergence of spin density wave. Temperature dependence of the internal magnetic field suggests that the transition is likely of the first order. The critical-slowing-down phenomenon in the spin-lattice relaxation rate 1/T1 is not pronounced in this material.
△ Less
Submitted 14 July, 2008; v1 submitted 27 June, 2008;
originally announced June 2008.
-
75As NQR/NMR Studies on Oxygen-deficient Iron-based Oxypnictide Superconductors LaFeAsO_{1-y} (y=0,0.25,0.4) and NdFeAsO_{0.6}
Authors:
H. Mukuda,
N. Terasaki,
H. Kinouchi,
M. Yashima,
Y. Kitaoka,
S. Suzuki,
S. Miyasaka,
S. Tajima,
K. Miyazawa,
P. M. Shirage,
H. Kito,
H. Eisaki,
A. Iyo
Abstract:
We report 75As-NQR/NMR studies on the oxygen-deficient iron(Fe)-based oxypnictide superconductors LaFeAsO_{0.6} (T_c=28 K) along with the results on LaFeAsO, LaFeAsO_{0.75}(T_c=20 K) and NdFeAsO_{0.6}(T_c=53 K). Nuclear spin-lattice relaxation rate 1/T_1 of 75As NQR at zero field on LaFeAsO_{0.6} has revealed a T^3 dependence below T_c upon cooling without the coherence peak just below T_c, evid…
▽ More
We report 75As-NQR/NMR studies on the oxygen-deficient iron(Fe)-based oxypnictide superconductors LaFeAsO_{0.6} (T_c=28 K) along with the results on LaFeAsO, LaFeAsO_{0.75}(T_c=20 K) and NdFeAsO_{0.6}(T_c=53 K). Nuclear spin-lattice relaxation rate 1/T_1 of 75As NQR at zero field on LaFeAsO_{0.6} has revealed a T^3 dependence below T_c upon cooling without the coherence peak just below T_c, evidencing the unconventional superconducting state with the line-node gap. We have found an intimate relationship between the nuclear quadrupole frequencyof 75As and T_c for four samples used in this study. It implies microscopically that the local configuration of Fe and As atoms is significantly related to the T_c of the Fe-oxypnictide superconductors, namely, the T_c can be enhanced up to 50 K when the local configuration of Fe and As atoms is optimal, in which the band structure may be also optimized through the variation of hybridization between As 4p orbitals and Fe 3d orbitals.
△ Less
Submitted 8 July, 2008; v1 submitted 19 June, 2008;
originally announced June 2008.
-
A 32 m Parabolic Antenna in Peru At 3,370m of Altitude
Authors:
J. Ishitsuka,
M. Ishitsuka,
N. Kaifu,
S. Miyama,
M. Inoue,
M. Tsuboi,
M. Ohishi,
K. Fujisawa,
T. Kasuga,
K. Miyazawa,
S. Horiuchi
Abstract:
At the altitude of 3,370 m on the Peruvian Andes, a 32m antenna owned by the telecommunications company Telefonica del Peru will be transformed to a Radio Telescope, it would be transferred to the Geophysical Institute of Peru (IGP). The parabolic antenna was constructed in 1984 by Nippon Electric Co. (NEC) and worked as an INTELSAT station until 2000. A team of the National Observatory of Japan…
▽ More
At the altitude of 3,370 m on the Peruvian Andes, a 32m antenna owned by the telecommunications company Telefonica del Peru will be transformed to a Radio Telescope, it would be transferred to the Geophysical Institute of Peru (IGP). The parabolic antenna was constructed in 1984 by Nippon Electric Co. (NEC) and worked as an INTELSAT station until 2000. A team of the National Observatory of Japan (NAOJ) evaluated the antenna in 2003 and reported its availability to be used as a Radio Telescope. In collaboration of the NAOJ a 6.7 GHz receiver is under construction and will be installed within this year. Initially the telescope as a single dish will monitor and survey Methanol Maser of YSO, higher frequencies equipment and VLBI instruments will be considered. The antenna will be managed by the IGP and used by universities in Peru, becoming a VLBI station will be a grate contribution to astronomy and geodetic community.
△ Less
Submitted 4 January, 2005;
originally announced January 2005.
-
Atomic Carbon and CO Isotope Emission in the Vicinity of DR15
Authors:
T. Oka,
S. Yamamoto,
M. Iwata,
H. Maezawa,
M. Ikeda,
T. Ito,
K. Kamegai,
T. Sakai,
Y. Sekimoto,
K. Tatematsu,
Y. Arikawa,
Y. Aso,
T. Noguchi,
S-C. Shi,
K. Miyazawa,
S. Saito,
H. Ozeki,
H. Fujiwara,
M. Ohishi,
J. Inatani
Abstract:
We present observations of the 3P1-3P0 fine structure transition of atomic carbon [CI], the J=3-2 transition of CO, as well as of the J=1-0 transitions of 13CO and C18O toward DR15, an HII region associated with two mid-infrared dark clouds (IRDCs). The 13CO and C18O J=1-0 emissions closely follow the dark patches seen in optical wavelength, showing two self-gravitating molecular cores with mass…
▽ More
We present observations of the 3P1-3P0 fine structure transition of atomic carbon [CI], the J=3-2 transition of CO, as well as of the J=1-0 transitions of 13CO and C18O toward DR15, an HII region associated with two mid-infrared dark clouds (IRDCs). The 13CO and C18O J=1-0 emissions closely follow the dark patches seen in optical wavelength, showing two self-gravitating molecular cores with masses of 2000 Msun and 900 Msun, respectively, at the positions of the catalogued IRDCs.
Our data show a rough spatial correlation between [CI] and 13CO J=1-0. Bright [CI] emission occurs in relatively cold gas behind the molecular cores, neither in highly excited gas traced by CO J=3-2 emission nor in HII region/molecular cloud interface. These results are inconsistent with those predicted by standard photodissociation region (PDR) models, suggesting an origin for interstellar atomic carbon unrelated to photodissociation processes.
△ Less
Submitted 30 May, 2001;
originally announced May 2001.
-
Large-scale mapping observations of the CI(3P1-3P0) and CO(J=3-2) lines toward the Orion A molecular cloud
Authors:
Masafumi Ikeda,
Hiroyuki Maezawa,
Tetsuya Ito,
Gaku Saito,
Yutaro Sekimoto,
Satoshi Yamamoto,
Ken'ichi Tatematsu,
Yuji Arikawa,
Yoshiyuki Aso,
Takashi Noguchi,
Sheng-Cai Shi,
Keisuke Miyazawa,
Syuji Saito,
Hiroyuki Ozeki,
Hideo Fujiwara,
Masatoshi Ohishi,
Junji Inatani
Abstract:
Large scale mapping observations of the 3P1-3P0 fine structure transition of atomic carbon (CI, 492 GHz) and the J=3-2 transition of CO (346 GHz) toward the Orion A molecular cloud have been carried out with the Mt. Fuji submillimeter-wave telescope. The observations cover 9 square degrees, and include the Orion nebula M42 and the L1641 dark cloud complex. The CI emission extends over almost the…
▽ More
Large scale mapping observations of the 3P1-3P0 fine structure transition of atomic carbon (CI, 492 GHz) and the J=3-2 transition of CO (346 GHz) toward the Orion A molecular cloud have been carried out with the Mt. Fuji submillimeter-wave telescope. The observations cover 9 square degrees, and include the Orion nebula M42 and the L1641 dark cloud complex. The CI emission extends over almost the entire region of the Orion A cloud and is surprisingly similar to that of 13CO(J=1-0).The CO(J=3-2) emission shows a more featureless and extended distribution than CI.The CI/CO(J=3-2) integrated intensity ratio shows a spatial gradient running from the north (0.10) to the south (1.2) of the Orion A cloud, which we interpret as a consequence of the temperature gradient. On the other hand, the CI/13CO(J=1-0) intensity ratio shows no systematic gradient. We have found a good correlation between the CI and 13CO(J=1-0) intensities over the Orion A cloud. This result is discussed on the basis of photodissociation region models.
△ Less
Submitted 14 December, 1999;
originally announced December 1999.