-
GPTs and Language Barrier: A Cross-Lingual Legal QA Examination
Authors:
Ha-Thanh Nguyen,
Hiroaki Yamada,
Ken Satoh
Abstract:
In this paper, we explore the application of Generative Pre-trained Transformers (GPTs) in cross-lingual legal Question-Answering (QA) systems using the COLIEE Task 4 dataset. In the COLIEE Task 4, given a statement and a set of related legal articles that serve as context, the objective is to determine whether the statement is legally valid, i.e., if it can be inferred from the provided contextua…
▽ More
In this paper, we explore the application of Generative Pre-trained Transformers (GPTs) in cross-lingual legal Question-Answering (QA) systems using the COLIEE Task 4 dataset. In the COLIEE Task 4, given a statement and a set of related legal articles that serve as context, the objective is to determine whether the statement is legally valid, i.e., if it can be inferred from the provided contextual articles or not, which is also known as an entailment task. By benchmarking four different combinations of English and Japanese prompts and data, we provide valuable insights into GPTs' performance in multilingual legal QA scenarios, contributing to the development of more efficient and accurate cross-lingual QA solutions in the legal domain.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Enhancing Legal Document Retrieval: A Multi-Phase Approach with Large Language Models
Authors:
Hai-Long Nguyen,
Duc-Minh Nguyen,
Tan-Minh Nguyen,
Ha-Thanh Nguyen,
Thi-Hai-Yen Vuong,
Ken Satoh
Abstract:
Large language models with billions of parameters, such as GPT-3.5, GPT-4, and LLaMA, are increasingly prevalent. Numerous studies have explored effective prompting techniques to harness the power of these LLMs for various research problems. Retrieval, specifically in the legal data domain, poses a challenging task for the direct application of Prompting techniques due to the large number and subs…
▽ More
Large language models with billions of parameters, such as GPT-3.5, GPT-4, and LLaMA, are increasingly prevalent. Numerous studies have explored effective prompting techniques to harness the power of these LLMs for various research problems. Retrieval, specifically in the legal data domain, poses a challenging task for the direct application of Prompting techniques due to the large number and substantial length of legal articles. This research focuses on maximizing the potential of prompting by placing it as the final phase of the retrieval system, preceded by the support of two phases: BM25 Pre-ranking and BERT-based Re-ranking. Experiments on the COLIEE 2023 dataset demonstrate that integrating prompting techniques on LLMs into the retrieval system significantly improves retrieval accuracy. However, error analysis reveals several existing issues in the retrieval system that still need resolution.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Applying Non-negative Matrix Factorization with Covariates to the Longitudinal Data as Growth Curve Model
Authors:
Kenichi Satoh
Abstract:
Using Non-negative Matrix Factorization (NMF), the observed matrix can be approximated by the product of the basis and coefficient matrices. Moreover, if the coefficient vectors are explained by the covariates for each individual, the coefficient matrix can be written as the product of the parameter matrix and the covariate matrix, and additionally described in the framework of Non-negative Matrix…
▽ More
Using Non-negative Matrix Factorization (NMF), the observed matrix can be approximated by the product of the basis and coefficient matrices. Moreover, if the coefficient vectors are explained by the covariates for each individual, the coefficient matrix can be written as the product of the parameter matrix and the covariate matrix, and additionally described in the framework of Non-negative Matrix tri-Factorization (tri-NMF) with covariates. Consequently, this is equal to the mean structure of the Growth Curve Model (GCM). The difference is that the basis matrix for GCM is given by the analyst, whereas that for NMF with covariates is unknown and optimized. In this study, we applied NMF with covariance to longitudinal data and compared it with GCM. We have also published an R package that implements this method, and we show how to use it through examples of data analyses including longitudinal measurement, spatiotemporal data and text data. In particular, we demonstrate the usefulness of Gaussian kernel functions as covariates.
△ Less
Submitted 6 April, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Balancing Exploration and Exploitation in LLM using Soft RLLF for Enhanced Negation Understanding
Authors:
Ha-Thanh Nguyen,
Ken Satoh
Abstract:
Finetuning approaches in NLP often focus on exploitation rather than exploration, which may lead to suboptimal models. Given the vast search space of natural language, this limited exploration can restrict their performance in complex, high-stakes domains, where accurate negation understanding and logical reasoning abilities are crucial. To address this issue, we leverage Reinforcement Learning fr…
▽ More
Finetuning approaches in NLP often focus on exploitation rather than exploration, which may lead to suboptimal models. Given the vast search space of natural language, this limited exploration can restrict their performance in complex, high-stakes domains, where accurate negation understanding and logical reasoning abilities are crucial. To address this issue, we leverage Reinforcement Learning from Logical Feedback (RLLF) to create an effective balance between exploration and exploitation in LLMs. Our approach employs an appropriate benchmark dataset for training and evaluation, highlighting the importance of exploration in enhancing negation understanding capabilities. We compare the performance of our RLLF-enhanced LLMs with baseline models trained without RLLF, demonstrating the value of this balanced approach. Furthermore, we showcase the potential of our method in legal AI applications by employing transfer learning and evaluating its impact on negation understanding. Our experimental results exhibit the effectiveness of balancing exploration and exploitation with RLLF in improving LLMs' negation capabilities. This has implications for the development of more accurate, reliable, and logically consistent language models in high-stakes domains.
△ Less
Submitted 2 March, 2024;
originally announced March 2024.
-
Enhancing Logical Reasoning in Large Language Models to Facilitate Legal Applications
Authors:
Ha-Thanh Nguyen,
Wachara Fungwacharakorn,
Ken Satoh
Abstract:
Language serves as a vehicle for conveying thought, enabling communication among individuals. The ability to distinguish between diverse concepts, identify fairness and injustice, and comprehend a range of legal notions fundamentally relies on logical reasoning. Large Language Models (LLMs) attempt to emulate human language understanding and generation, but their competency in logical reasoning re…
▽ More
Language serves as a vehicle for conveying thought, enabling communication among individuals. The ability to distinguish between diverse concepts, identify fairness and injustice, and comprehend a range of legal notions fundamentally relies on logical reasoning. Large Language Models (LLMs) attempt to emulate human language understanding and generation, but their competency in logical reasoning remains limited. This paper seeks to address the philosophical question: How can we effectively teach logical reasoning to LLMs while maintaining a deep understanding of the intricate relationship between language and logic? By focusing on bolstering LLMs' capabilities in logical reasoning, we aim to expand their applicability in law and other logic-intensive disciplines. To this end, we propose a Reinforcement Learning from Logical Feedback (RLLF) approach, which serves as a potential framework for refining LLMs' reasoning capacities. Through RLLF and a revised evaluation methodology, we explore new avenues for research in this domain and contribute to the development of LLMs capable of handling complex legal reasoning tasks while acknowledging the fundamental connection between language and logic.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
OGLE-2014-BLG-0221Lb: A Jupiter Mass Ratio Companion Orbiting either a Late-Type Star or a Stellar Remnant
Authors:
Rintaro Kirikawa,
Takahiro Sumi,
David P. Bennett,
Daisuke Suzuki,
Naoki Koshimoto,
Shota Miyazaki,
Ian A. Bond,
Andrzej Udalski,
Nicholas J. Rattenbury,
Fumio Abe,
Richard Barry,
Aparna Bhattacharya,
Hirosane Fujii,
Akihiko Fukui,
Ryusei Hamada,
Yuki Hirao,
Stela Ishitani Silva,
Yoshitaka Itow,
Yutaka Matsubara,
Yasushi Muraki,
Greg Olmschenk,
Clément Ranc,
Yuki K. Satoh,
Mio Tomoyoshi,
Paul . J. Tristram
, et al. (11 additional authors not shown)
Abstract:
We present the analysis of microlensing event OGLE-2014-BLG-0221, a planetary candidate event discovered in 2014. The photometric light curve is best described by a binary-lens single-source model. Our light curve modeling finds two degenerate models, with event timescales of $t_\mathrm{E}\sim70$ days and $\sim110$ days. These timescales are relatively long, indicating that the discovered system w…
▽ More
We present the analysis of microlensing event OGLE-2014-BLG-0221, a planetary candidate event discovered in 2014. The photometric light curve is best described by a binary-lens single-source model. Our light curve modeling finds two degenerate models, with event timescales of $t_\mathrm{E}\sim70$ days and $\sim110$ days. These timescales are relatively long, indicating that the discovered system would possess a substantial mass. The two models are similar in their planetary parameters with a Jupiter mass ratio of $q \sim 10^{-3}$ and a separation of $s \sim 1.1$. While the shorter timescale model shows marginal detection of a microlensing parallax signal, the longer timescale model requires a higher order effect of microlensing parallax, lens orbital motion or xallarap to explain the deviation in the light curve. However, the modeling shows significant correlation between the higher order effects and suffers the ecliptic degeneracy that results in a failure to determine the parallax parameters. Bayesian inference is used to estimate the physical parameters of the lens, revealing the lens to be either a late-type star supported by the shorter timescale model or a stellar remnant supported by the longer timescale model. If the lens is a remnant, this would be the second planet found by microlensing around a stellar remnant. Since the models predict different values for relative proper motion and source flux, future high angular resolution follow-up observations (e.g. Keck adaptive optics) are required to rule out either of the models.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Encoded Summarization: Summarizing Documents into Continuous Vector Space for Legal Case Retrieval
Authors:
Vu Tran,
Minh Le Nguyen,
Satoshi Tojo,
Ken Satoh
Abstract:
We present our method for tackling a legal case retrieval task by introducing our method of encoding documents by summarizing them into continuous vector space via our phrase scoring framework utilizing deep neural networks. On the other hand, we explore the benefits from combining lexical features and latent features generated with neural networks. Our experiments show that lexical features and l…
▽ More
We present our method for tackling a legal case retrieval task by introducing our method of encoding documents by summarizing them into continuous vector space via our phrase scoring framework utilizing deep neural networks. On the other hand, we explore the benefits from combining lexical features and latent features generated with neural networks. Our experiments show that lexical features and latent features generated with neural networks complement each other to improve the retrieval system performance. Furthermore, our experimental results suggest the importance of case summarization in different aspects: using provided summaries and performing encoded summarization. Our approach achieved F1 of 65.6% and 57.6% on the experimental datasets of legal case retrieval tasks.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Black-Box Analysis: GPTs Across Time in Legal Textual Entailment Task
Authors:
Ha-Thanh Nguyen,
Randy Goebel,
Francesca Toni,
Kostas Stathis,
Ken Satoh
Abstract:
The evolution of Generative Pre-trained Transformer (GPT) models has led to significant advancements in various natural language processing applications, particularly in legal textual entailment. We present an analysis of GPT-3.5 (ChatGPT) and GPT-4 performances on COLIEE Task 4 dataset, a prominent benchmark in this domain. The study encompasses data from Heisei 18 (2006) to Reiwa 3 (2021), explo…
▽ More
The evolution of Generative Pre-trained Transformer (GPT) models has led to significant advancements in various natural language processing applications, particularly in legal textual entailment. We present an analysis of GPT-3.5 (ChatGPT) and GPT-4 performances on COLIEE Task 4 dataset, a prominent benchmark in this domain. The study encompasses data from Heisei 18 (2006) to Reiwa 3 (2021), exploring the models' abilities to discern entailment relationships within Japanese statute law across different periods. Our preliminary experimental results unveil intriguing insights into the models' strengths and weaknesses in handling legal textual entailment tasks, as well as the patterns observed in model performance. In the context of proprietary models with undisclosed architectures and weights, black-box analysis becomes crucial for evaluating their capabilities. We discuss the influence of training data distribution and the implications on the models' generalizability. This analysis serves as a foundation for future research, aiming to optimize GPT-based models and enable their successful adoption in legal information extraction and entailment applications.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
OGLE-2019-BLG-0825: Constraints on the Source System and Effect on Binary-lens Parameters arising from a Five Day Xallarap Effect in a Candidate Planetary Microlensing Event
Authors:
Yuki K. Satoh,
Naoki Koshimoto,
David P. Bennett,
Takahiro Sumi,
Nicholas J. Rattenbury,
Daisuke Suzuki,
Shota Miyazaki,
Ian A. Bond,
Andrzej Udalski,
Andrew Gould,
Valerio Bozza,
Martin Dominik,
Yuki Hirao,
Iona Kondo,
Rintaro Kirikawa,
Ryusei Hamada,
Fumio Abe,
Richard Barry,
Aparna Bhattacharya,
Hirosane Fujii,
Akihiko Fukui,
Katsuki Fujita,
Tomoya Ikeno,
Stela Ishitani Silva,
Yoshitaka Itow
, et al. (64 additional authors not shown)
Abstract:
We present an analysis of microlensing event OGLE-2019-BLG-0825. This event was identified as a planetary candidate by preliminary modeling. We find that significant residuals from the best-fit static binary-lens model exist and a xallarap effect can fit the residuals very well and significantly improves $χ^2$ values. On the other hand, by including the xallarap effect in our models, we find that…
▽ More
We present an analysis of microlensing event OGLE-2019-BLG-0825. This event was identified as a planetary candidate by preliminary modeling. We find that significant residuals from the best-fit static binary-lens model exist and a xallarap effect can fit the residuals very well and significantly improves $χ^2$ values. On the other hand, by including the xallarap effect in our models, we find that binary-lens parameters like mass-ratio, $q$, and separation, $s$, cannot be constrained well. However, we also find that the parameters for the source system like the orbital period and semi major axis are consistent between all the models we analyzed. We therefore constrain the properties of the source system better than the properties of the lens system. The source system comprises a G-type main-sequence star orbited by a brown dwarf with a period of $P\sim5$ days. This analysis is the first to demonstrate that the xallarap effect does affect binary-lens parameters in planetary events. It would not be common for the presence or absence of the xallarap effect to affect lens parameters in events with long orbital periods of the source system or events with transits to caustics, but in other cases, such as this event, the xallarap effect can affect binary-lens parameters.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
A negation detection assessment of GPTs: analysis with the xNot360 dataset
Authors:
Ha Thanh Nguyen,
Randy Goebel,
Francesca Toni,
Kostas Stathis,
Ken Satoh
Abstract:
Negation is a fundamental aspect of natural language, playing a critical role in communication and comprehension. Our study assesses the negation detection performance of Generative Pre-trained Transformer (GPT) models, specifically GPT-2, GPT-3, GPT-3.5, and GPT-4. We focus on the identification of negation in natural language using a zero-shot prediction approach applied to our custom xNot360 da…
▽ More
Negation is a fundamental aspect of natural language, playing a critical role in communication and comprehension. Our study assesses the negation detection performance of Generative Pre-trained Transformer (GPT) models, specifically GPT-2, GPT-3, GPT-3.5, and GPT-4. We focus on the identification of negation in natural language using a zero-shot prediction approach applied to our custom xNot360 dataset. Our approach examines sentence pairs labeled to indicate whether the second sentence negates the first. Our findings expose a considerable performance disparity among the GPT models, with GPT-4 surpassing its counterparts and GPT-3.5 displaying a marked performance reduction. The overall proficiency of the GPT models in negation detection remains relatively modest, indicating that this task pushes the boundaries of their natural language understanding capabilities. We not only highlight the constraints of GPT models in handling negation but also emphasize the importance of logical reliability in high-stakes domains such as healthcare, science, and law.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Beyond Logic Programming for Legal Reasoning
Authors:
Ha-Thanh Nguyen,
Francesca Toni,
Kostas Stathis,
Ken Satoh
Abstract:
Logic programming has long being advocated for legal reasoning, and several approaches have been put forward relying upon explicit representation of the law in logic programming terms. In this position paper we focus on the PROLEG logic-programming-based framework for formalizing and reasoning with Japanese presupposed ultimate fact theory. Specifically, we examine challenges and opportunities in…
▽ More
Logic programming has long being advocated for legal reasoning, and several approaches have been put forward relying upon explicit representation of the law in logic programming terms. In this position paper we focus on the PROLEG logic-programming-based framework for formalizing and reasoning with Japanese presupposed ultimate fact theory. Specifically, we examine challenges and opportunities in leveraging deep learning techniques for improving legal reasoning using PROLEG identifying four distinct options ranging from enhancing fact extraction using deep learning to end-to-end solutions for reasoning with textual legal descriptions. We assess advantages and limitations of each option, considering their technical feasibility, interpretability, and alignment with the needs of legal practitioners and decision-makers. We believe that our analysis can serve as a guideline for developers aiming to build effective decision-support systems for the legal domain, while fostering a deeper understanding of challenges and potential advancements by neuro-symbolic approaches in legal applications.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022) in association with 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022)
Authors:
Georg Borges,
Ken Satoh,
Erich Schweighofer
Abstract:
This volume contains the papers presented at LN2FR 2022: The International Workshop on Methodologies for Translating Legal Norms into Formal Representations, held on December 14, 2022 in association with 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022). Using symbolic logic or similar methods of knowledge representation to formalise legal norms is one of the mo…
▽ More
This volume contains the papers presented at LN2FR 2022: The International Workshop on Methodologies for Translating Legal Norms into Formal Representations, held on December 14, 2022 in association with 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022). Using symbolic logic or similar methods of knowledge representation to formalise legal norms is one of the most traditional goals of legal informatics as a scientific discipline. More than mere theoretical value, this approach is also connected to promising real-world applications involving, e.g., the observance of legal norms by highly automated machines or even the (partial) automatisation of legal reasoning, leading to new automated legal services. Albeit the long research tradition on the use of logic to formalise legal norms, many challenges involved in the development of an adequate methodology for the formalisation of concrete legal regulations remain unsolved. This includes not only the choice of a sufficiently expressive formal language or model, but also the concrete way through which a legal text formulated in natural language is to be translated into the formal representation. The workshop LN2FR seeked to explore the various challenges connected with the task of using formal languages and models to represent legal norms in a machine-readable manner.
△ Less
Submitted 20 May, 2023;
originally announced May 2023.
-
CNN-based fully automatic mitral valve extraction using CT images and existence probability maps
Authors:
Yukiteru Masuda,
Ryo Ishikawa,
Toru Tanaka,
Gakuto Aoyama,
Keitaro Kawashima,
James V. Chapman,
Masahiko Asami,
Michael Huy Cuong Pham,
Klaus Fuglsang Kofoed,
Takuya Sakaguchi,
Kiyohide Satoh
Abstract:
Accurate extraction of mitral valve shape from clinical tomographic images acquired in patients has proven useful for planning surgical and interventional mitral valve treatments. However, manual extraction of the mitral valve shape is laborious, and the existing automatic extraction methods have not been sufficiently accurate. In this paper, we propose a fully automated method of extracting mitra…
▽ More
Accurate extraction of mitral valve shape from clinical tomographic images acquired in patients has proven useful for planning surgical and interventional mitral valve treatments. However, manual extraction of the mitral valve shape is laborious, and the existing automatic extraction methods have not been sufficiently accurate. In this paper, we propose a fully automated method of extracting mitral valve shape from computed tomography (CT) images for the all phases of the cardiac cycle. This method extracts the mitral valve shape based on DenseNet using both the original CT image and the existence probability maps of the mitral valve area inferred by U-Net as input. A total of 1585 CT images from 204 patients with various cardiac diseases including mitral regurgitation (MR) were collected and manually annotated for mitral valve region. The proposed method was trained and evaluated by 10-fold cross validation using the collected data and was compared with the method without the existence probability maps. The mean error of shape extraction error in the proposed method is 0.88 mm, which is an improvement of 0.32 mm compared with the method without the existence probability maps.
△ Less
Submitted 18 May, 2023; v1 submitted 30 April, 2023;
originally announced May 2023.
-
How well do SOTA legal reasoning models support abductive reasoning?
Authors:
Ha-Thanh Nguyen,
Randy Goebel,
Francesca Toni,
Kostas Stathis,
Ken Satoh
Abstract:
We examine how well the state-of-the-art (SOTA) models used in legal reasoning support abductive reasoning tasks. Abductive reasoning is a form of logical inference in which a hypothesis is formulated from a set of observations, and that hypothesis is used to explain the observations. The ability to formulate such hypotheses is important for lawyers and legal scholars as it helps them articulate l…
▽ More
We examine how well the state-of-the-art (SOTA) models used in legal reasoning support abductive reasoning tasks. Abductive reasoning is a form of logical inference in which a hypothesis is formulated from a set of observations, and that hypothesis is used to explain the observations. The ability to formulate such hypotheses is important for lawyers and legal scholars as it helps them articulate logical arguments, interpret laws, and develop legal theories. Our motivation is to consider the belief that deep learning models, especially large language models (LLMs), will soon replace lawyers because they perform well on tasks related to legal text processing. But to do so, we believe, requires some form of abductive hypothesis formation. In other words, while LLMs become more popular and powerful, we want to investigate their capacity for abductive reasoning. To pursue this goal, we start by building a logic-augmented dataset for abductive reasoning with 498,697 samples and then use it to evaluate the performance of a SOTA model in the legal field. Our experimental results show that although these models can perform well on tasks related to some aspects of legal text processing, they still fall short in supporting abductive reasoning tasks.
△ Less
Submitted 28 June, 2023; v1 submitted 13 April, 2023;
originally announced April 2023.
-
Law to Binary Tree -- An Formal Interpretation of Legal Natural Language
Authors:
Ha-Thanh Nguyen,
Vu Tran,
Ngoc-Cam Le,
Thi-Thuy Le,
Quang-Huy Nguyen,
Le-Minh Nguyen,
Ken Satoh
Abstract:
Knowledge representation and reasoning in law are essential to facilitate the automation of legal analysis and decision-making tasks. In this paper, we propose a new approach based on legal science, specifically legal taxonomy, for representing and reasoning with legal documents. Our approach interprets the regulations in legal documents as binary trees, which facilitates legal reasoning systems t…
▽ More
Knowledge representation and reasoning in law are essential to facilitate the automation of legal analysis and decision-making tasks. In this paper, we propose a new approach based on legal science, specifically legal taxonomy, for representing and reasoning with legal documents. Our approach interprets the regulations in legal documents as binary trees, which facilitates legal reasoning systems to make decisions and resolve logical contradictions. The advantages of this approach are twofold. First, legal reasoning can be performed on the basis of the binary tree representation of the regulations. Second, the binary tree representation of the regulations is more understandable than the existing sentence-based representations. We provide an example of how our approach can be used to interpret the regulations in a legal document.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
-
Transformer-based Approaches for Legal Text Processing
Authors:
Ha-Thanh Nguyen,
Minh-Phuong Nguyen,
Thi-Hai-Yen Vuong,
Minh-Quan Bui,
Minh-Chau Nguyen,
Tran-Binh Dang,
Vu Tran,
Le-Minh Nguyen,
Ken Satoh
Abstract:
In this paper, we introduce our approaches using Transformer-based models for different problems of the COLIEE 2021 automatic legal text processing competition. Automated processing of legal documents is a challenging task because of the characteristics of legal documents as well as the limitation of the amount of data. With our detailed experiments, we found that Transformer-based pretrained lang…
▽ More
In this paper, we introduce our approaches using Transformer-based models for different problems of the COLIEE 2021 automatic legal text processing competition. Automated processing of legal documents is a challenging task because of the characteristics of legal documents as well as the limitation of the amount of data. With our detailed experiments, we found that Transformer-based pretrained language models can perform well with automated legal text processing problems with appropriate approaches. We describe in detail the processing steps for each task such as problem formulation, data processing and augmentation, pretraining, finetuning. In addition, we introduce to the community two pretrained models that take advantage of parallel translations in legal domain, NFSP and NMSP. In which, NFSP achieves the state-of-the-art result in Task 5 of the competition. Although the paper focuses on technical reporting, the novelty of its approaches can also be an useful reference in automated legal document processing using Transformer-based models.
△ Less
Submitted 13 February, 2022;
originally announced February 2022.
-
OGLE-2014-BLG-0319: A Sub-Jupiter-Mass Planetary Event Encountered Degeneracy with Different Mass Ratios and Lens-Source Relative Proper Motions
Authors:
Shota Miyazaki,
Daisuke Suzuki,
Andrzej Udalski,
Naoki Koshimoto,
David P. Bennett,
Nicholas J. Rattenbury,
Takahiro Sumi,
Fumio Abe,
Richard K. Barry,
Aparna Bhattacharya,
Ian A. Bond,
Akihiko Fukui,
Hirosane Fujii,
Yuki Hirao,
Stela Silva,
Yoshitaka Itow,
Rintaro Kirikawa,
Iona Kondo,
Brandon Munford,
Y. Matsubara,
Sho Matsumoto,
Yasushi Muraki,
Arisa Okamura,
Greg Olmschenk,
Clément Ranc
, et al. (14 additional authors not shown)
Abstract:
We report the discovery of a sub-Jovian-mass planet, OGLE-2014-BLG-0319Lb. The characteristics of this planet will be added into a future extended statistical analysis of the Microlensing Observations in Astrophysics (MOA) collaboration. The planetary anomaly of the light curve is characterized by MOA and OGLE survey observations and results in three degenerate models with different planetary mass…
▽ More
We report the discovery of a sub-Jovian-mass planet, OGLE-2014-BLG-0319Lb. The characteristics of this planet will be added into a future extended statistical analysis of the Microlensing Observations in Astrophysics (MOA) collaboration. The planetary anomaly of the light curve is characterized by MOA and OGLE survey observations and results in three degenerate models with different planetary mass-ratios of $q=(10.3,6.6,4.5)\times10^{-4}$, respectively. We find that the last two models require unreasonably small lens-source relative proper motions of $μ_{\rm rel}\sim1\;{\rm mas/yr}$. Considering Galactic prior probabilities, we rule out these two models from the final result. We conduct a Bayesian analysis to estimate physical properties of the lens system using a Galactic model and find that the lens system is composed of a $0.49^{+0.35}_{-0.27}\;M_{\rm Jup}$ sub-Jovian planet orbiting a $0.47^{+0.33}_{-0.25}\; M_{\odot}$ M-dwarf near the Galactic bulge. This analysis demonstrates that Galactic priors are useful to resolve this type of model degeneracy. This is important for estimating the mass ratio function statistically. However, this method would be unlikely successful in shorter timescale events, which are mostly due to low-mass objects, like brown dwarfs or free-floating planets. Therefore, careful treatment is needed for estimating the mass ratio function of the companions around such low-mass hosts which only the microlensing can probe.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
Antiferromagnetic ordering of organic Mott insulator $λ$-(BEDSe-TTF)$_2$GaCl$_4$
Authors:
A. Ito,
T. Kobayashi,
D. P. Sari,
I. Watanabe,
Y. Saito,
A. Kawamoto,
H. Tsunakawa,
K. Satoh,
H. Taniguchi
Abstract:
The band structure and magnetic properties of organic charge-transfer salt $λ$-(BEDSe-TTF)$_2$GaCl$_4$ (BEDSe-TTF: bis(ethylenediseleno)tetrathiafulvalene; abbreviated as $λ$-BEDSe) are investigated. The reported crystal structure is confirmed using X-ray diffraction measurements, and the transfer integrals are calculated. The degree of electron correlation $U/W$ ($U$: on-site Coulomb repulsion,…
▽ More
The band structure and magnetic properties of organic charge-transfer salt $λ$-(BEDSe-TTF)$_2$GaCl$_4$ (BEDSe-TTF: bis(ethylenediseleno)tetrathiafulvalene; abbreviated as $λ$-BEDSe) are investigated. The reported crystal structure is confirmed using X-ray diffraction measurements, and the transfer integrals are calculated. The degree of electron correlation $U/W$ ($U$: on-site Coulomb repulsion, $W$: bandwidth) of $λ$-BEDSe is larger than one and comparable to that of the isostructural Mott insulator $λ$-(ET)$_2$GaCl$_4$ (ET: bis(ethylenedithio)tetrathiafulvalene, abbreviated as $λ$-ET), whereas the $U/W$ of the superconducting salt $λ$-(BETS)$_2$GaCl$_4$ (BETS: bis(ethylenedithio)tetraselenafulvalene) is smaller than one. $^{13}$C-NMR and $μ$SR measurements revealed that $λ$-BEDSe undergoes an antiferromagnetic (AF) ordering below $T_{\rm N} = 22$~K. In the AF state, discrete $^{13}$C-NMR spectra with a remaining central peak are observed, indicating the commensurate AF spin structure also observed in $λ$-ET. The similarity between the structural and magnetic properties of $λ$-BEDSe and $λ$-ET suggests that both salts are in the same electronic phase, i.e., the physical properties of $λ$-BEDSe can be understood by the universal phase diagram of bandwidth-controlled $λ$-type organic conductors obtained by donor molecule substitution.
△ Less
Submitted 21 June, 2022; v1 submitted 11 December, 2021;
originally announced December 2021.
-
JNLP Team: Deep Learning Approaches for Legal Processing Tasks in COLIEE 2021
Authors:
Ha-Thanh Nguyen,
Phuong Minh Nguyen,
Thi-Hai-Yen Vuong,
Quan Minh Bui,
Chau Minh Nguyen,
Binh Tran Dang,
Vu Tran,
Minh Le Nguyen,
Ken Satoh
Abstract:
COLIEE is an annual competition in automatic computerized legal text processing. Automatic legal document processing is an ambitious goal, and the structure and semantics of the law are often far more complex than everyday language. In this article, we survey and report our methods and experimental results in using deep learning in legal document processing. The results show the difficulties as we…
▽ More
COLIEE is an annual competition in automatic computerized legal text processing. Automatic legal document processing is an ambitious goal, and the structure and semantics of the law are often far more complex than everyday language. In this article, we survey and report our methods and experimental results in using deep learning in legal document processing. The results show the difficulties as well as potentials in this family of approaches.
△ Less
Submitted 7 September, 2021; v1 submitted 24 June, 2021;
originally announced June 2021.
-
ParaLaw Nets -- Cross-lingual Sentence-level Pretraining for Legal Text Processing
Authors:
Ha-Thanh Nguyen,
Vu Tran,
Phuong Minh Nguyen,
Thi-Hai-Yen Vuong,
Quan Minh Bui,
Chau Minh Nguyen,
Binh Tran Dang,
Minh Le Nguyen,
Ken Satoh
Abstract:
Ambiguity is a characteristic of natural language, which makes expression ideas flexible. However, in a domain that requires accurate statements, it becomes a barrier. Specifically, a single word can have many meanings and multiple words can have the same meaning. When translating a text into a foreign language, the translator needs to determine the exact meaning of each element in the original se…
▽ More
Ambiguity is a characteristic of natural language, which makes expression ideas flexible. However, in a domain that requires accurate statements, it becomes a barrier. Specifically, a single word can have many meanings and multiple words can have the same meaning. When translating a text into a foreign language, the translator needs to determine the exact meaning of each element in the original sentence to produce the correct translation sentence. From that observation, in this paper, we propose ParaLaw Nets, a pretrained model family using sentence-level cross-lingual information to reduce ambiguity and increase the performance in legal text processing. This approach achieved the best result in the Question Answering task of COLIEE-2021.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Systematic KMTNet Planetary Anomaly Search, Paper II: Six New $q<2\times 10^{-4}$ Mass-ratio Planets
Authors:
Kyu-Ha Hwang,
Weicheng Zang,
Andrew Gould,
Andrzej Udalski,
Ian A. Bond,
Hong**g Yang,
Shude Mao,
Michael D. Albrow,
Sun-Ju Chung,
Cheongho Han,
Youn Kil Jung,
Yoon-Hyun Ryu,
In-Gu Shin,
Yossi Shvartzvald,
Jennifer C. Yee,
Sang-Mok Cha,
Dong-** Kim,
Hyoun-Woo Kim,
Seung-Lee Kim,
Chung-Uk Lee,
Dong-Joo Lee,
Yongseok Lee,
Byeong-Gon Park,
Richard W. Pogge,
Przemek Mróz
, et al. (40 additional authors not shown)
Abstract:
We apply the automated AnomalyFinder algorithm of Paper I (Zang et al. 2021b) to 2018-2019 light curves from the $\simeq 13\,{\rm deg}^2$ covered by the six KMTNet prime fields, with cadences $Γ\geq 2\,{\rm hr}^{-1}$. We find a total of 11 planets with mass ratios $q<2\times 10^{-4}$, including six newly discovered planets, one planet that was reported in Paper I, and recovery of four previously d…
▽ More
We apply the automated AnomalyFinder algorithm of Paper I (Zang et al. 2021b) to 2018-2019 light curves from the $\simeq 13\,{\rm deg}^2$ covered by the six KMTNet prime fields, with cadences $Γ\geq 2\,{\rm hr}^{-1}$. We find a total of 11 planets with mass ratios $q<2\times 10^{-4}$, including six newly discovered planets, one planet that was reported in Paper I, and recovery of four previously discovered planets. One of the new planets, OGLE-2018-BLG-0977Lb, is in a planetary-caustic event, while the other five (OGLE-2018-BLG-0506Lb, OGLE-2018-BLG-0516Lb, OGLE-2019-BLG-1492Lb, KMT-2019-BLG-0253, and KMT-2019-BLG-0953) are revealed by a "dip" in the light curve as the source crosses the host-planet axis on the opposite side of the planet. These subtle signals were missed in previous by-eye searches. The planet-host separations (scaled to the Einstein radius), $s$, and planet-host mass ratios, $q$, are, respectively, $(s,q\times 10^5) = (0.88, 4.1)$, $(0.96\pm 0.10, 8.3)$, $(0.94\pm 0.07, 13)$, $(0.97\pm 0.07, 18)$, $(0.97\pm0.04,4.1)$, and $(0.74,18)$, where the "$\pm$" indicates a discrete degeneracy. The 11 planets are spread out over the range $-5<\log q < -3.7$. Together with the two planets previously reported with $q\sim 10^{-5}$ from the 2018-2019 non-prime KMT fields, this result suggests that planets toward the bottom of this mass-ratio range may be more common than previously believed.
△ Less
Submitted 20 October, 2021; v1 submitted 12 June, 2021;
originally announced June 2021.
-
JNLP Team: Deep Learning for Legal Processing in COLIEE 2020
Authors:
Ha-Thanh Nguyen,
Hai-Yen Thi Vuong,
Phuong Minh Nguyen,
Binh Tran Dang,
Quan Minh Bui,
Sinh Trong Vu,
Chau Minh Nguyen,
Vu Tran,
Ken Satoh,
Minh Le Nguyen
Abstract:
We propose deep learning based methods for automatic systems of legal retrieval and legal question-answering in COLIEE 2020. These systems are all characterized by being pre-trained on large amounts of data before being finetuned for the specified tasks. This approach helps to overcome the data scarcity and achieve good performance, thus can be useful for tackling related problems in information r…
▽ More
We propose deep learning based methods for automatic systems of legal retrieval and legal question-answering in COLIEE 2020. These systems are all characterized by being pre-trained on large amounts of data before being finetuned for the specified tasks. This approach helps to overcome the data scarcity and achieve good performance, thus can be useful for tackling related problems in information retrieval, and decision support in the legal domain. Besides, the approach can be explored to deal with other domain specific problems.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
Charge disproportionation in the spin-liquid candidate $κ$-(ET)$_2$Cu$_2$(CN)$_3$ at 6 K revealed by $^{63}$Cu NQR measurements
Authors:
T. Kobayashi,
Q. -P. Ding,
H. Taniguchi,
K. Satoh,
A. Kawamoto,
Y. Furukawa
Abstract:
The spin-liquid candidate $κ$-(ET)$_2$Cu$_2$(CN)$_3$ [ET: bis(ethylenedithio)tetrathiafulvalene] does not exhibit magnetic ordering down to a very low temperature, but shows a mysterious anomaly at 6 K. The origin of the so-called 6 K anomaly is still under debate. We carried out nuclear quadrupole resonance (NQR) measurements on the copper sites of the insulating layers, which are sensitive to th…
▽ More
The spin-liquid candidate $κ$-(ET)$_2$Cu$_2$(CN)$_3$ [ET: bis(ethylenedithio)tetrathiafulvalene] does not exhibit magnetic ordering down to a very low temperature, but shows a mysterious anomaly at 6 K. The origin of the so-called 6 K anomaly is still under debate. We carried out nuclear quadrupole resonance (NQR) measurements on the copper sites of the insulating layers, which are sensitive to the charge dynamics unlike the conventional spin-1/2 nuclear magnetic resonance (NMR). The main finding of this study is that the observation of a sharp peak behavior in the nuclear spin-lattice relaxation rate $T_1^{-1}$ of $^{63}$Cu NQR at 6 K while $T_1^{-1}$ of both $^{13}$C and $^{1}$H NMR show no clear anomaly. This behavior can be understood as a second-order phase transition related to charge disproportionation in the ET layers.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model
Authors:
Vu Tran,
Minh Le Nguyen,
Ken Satoh
Abstract:
We present our method for tackling the legal case retrieval task of the Competition on Legal Information Extraction/Entailment 2019. Our approach is based on the idea that summarization is important for retrieval. On one hand, we adopt a summarization based model called encoded summarization which encodes a given document into continuous vector space which embeds the summary properties of the docu…
▽ More
We present our method for tackling the legal case retrieval task of the Competition on Legal Information Extraction/Entailment 2019. Our approach is based on the idea that summarization is important for retrieval. On one hand, we adopt a summarization based model called encoded summarization which encodes a given document into continuous vector space which embeds the summary properties of the document. We utilize the resource of COLIEE 2018 on which we train the document representation model. On the other hand, we extract lexical features on different parts of a given query and its candidates. We observe that by comparing different parts of the query and its candidates, we can achieve better performance. Furthermore, the combination of the lexical features with latent features by the summarization-based method achieves even better performance. We have achieved the state-of-the-art result for the task on the benchmark of the competition.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
Evolution of 3-dimensional Shape of Passively Evolving and Star-forming Galaxies at $z<1$
Authors:
Yuki K. Satoh,
Masaru Kajisawa,
Kazuharu G. Himoto
Abstract:
Using the HST/ACS $I_{\rm F814W}$-band data, we investigated distribution of apparent axial ratios of $\sim21000$ galaxies with $M_{V}<-20$ at $0.2<z<1.0$ in the COSMOS field as a function of stellar mass, specific star formation rate (sSFR), and redshift. We statistically estimated intrinsic 3-dimensional shapes of these galaxies by fitting the axial-ratio distribution with triaxial ellipsoid mod…
▽ More
Using the HST/ACS $I_{\rm F814W}$-band data, we investigated distribution of apparent axial ratios of $\sim21000$ galaxies with $M_{V}<-20$ at $0.2<z<1.0$ in the COSMOS field as a function of stellar mass, specific star formation rate (sSFR), and redshift. We statistically estimated intrinsic 3-dimensional shapes of these galaxies by fitting the axial-ratio distribution with triaxial ellipsoid models characterized by face-on (middle-to-long) and edge-on (short-to-long) axial ratios $B/A$ and $C/A$. We found that the transition from thin disk to thick spheroid occurs at $Δ$MS $\sim-1$ dex, i.e., 10 times lower sSFR than that of the main sequence for galaxies with $M_{\rm star} = 10^{10}$--$10^{11} M_{\odot}$ at $0.2<z<1.0$. Furthermore, the intrinsic thickness ($C/A$) of passively evolving galaxies with $M_{\rm star}=10^{10}$--$10^{11}M_{\odot}$ significantly decreases with time from $C/A \sim 0.40$ -- $0.50$ at $z\sim 0.8$ to $C/A\sim0.33$ -- $0.37$ at $z\sim0.4$, while those galaxies with $M_{\rm star}>10^{11}M_{\odot}$ have $C/A\sim0.5$ irrespective of redshift. On the other hand, star-forming galaxies on the main sequence with $10^{9.5}$--$10^{11}M_{\odot}$ show no significant evolution in their shape at $0.2<z<1.0$, but their thickness depends on stellar mass;more massive star-forming galaxies tend to have lower $C/A$ (thinner shape) than low-mass ones. These results suggest that some fraction of star-forming galaxies with a thin disk, which started to appear around $z\sim1$, quench their star formation without violent morphological change, and these newly added quiescent galaxies with a relatively thin shape cause the significant evolution in the axial-ratio distribution of passively evolving galaxies with $M_{\rm star}<10^{11}M_{\odot}$ at $z<1$.
△ Less
Submitted 18 September, 2019;
originally announced September 2019.
-
Imaging the Inner Structure of a Nuclear Reactor by Cosmic Muon Radiography
Authors:
Hirofumi Fujii,
Kazuhiko Hara,
Shogo Hashimoto,
Kohei Hayashi,
Fumiaki Ito,
Hidekazu Kakuno,
Hideyo Kodama,
Kanetada Nagamine,
Kazuyuki Sato,
Kotaro Satoh,
Shin-Hong Kim,
Atsuto Suzuki,
Takayuki Sumiyoshi,
Kazuki Takahashi,
Yu Takahashi,
Fumihiko Takasaki,
Shuji Tanaka,
Satoru Yamashita
Abstract:
We studied the inner structure of the nuclear reactor of the Japan Atomic Power Company (JAPC) at Tokai, Japan, by the muon radiography. In this study, muon detectors were placed outside of the reactor building. By detecting cosmic muons penetrating through the wall of the reactor building, we could successfully identify the objects such as the containment vessel, pressure vessel, and other struct…
▽ More
We studied the inner structure of the nuclear reactor of the Japan Atomic Power Company (JAPC) at Tokai, Japan, by the muon radiography. In this study, muon detectors were placed outside of the reactor building. By detecting cosmic muons penetrating through the wall of the reactor building, we could successfully identify the objects such as the containment vessel, pressure vessel, and other structures of the reactor. We also observed a concentration of heavy material which can be attributed to the nuclear fuel assemblies stored in the nuclear fuel storage pool.
△ Less
Submitted 5 February, 2019;
originally announced February 2019.
-
Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
Authors:
Vu Tran,
Minh Le Nguyen,
Ken Satoh
Abstract:
In this paper, we present a method of automatic catchphrase extracting from legal case documents. We utilize deep neural networks for constructing scoring model of our extraction system. We achieve comparable performance with systems using corpus-wide and citation information which we do not use in our system.
In this paper, we present a method of automatic catchphrase extracting from legal case documents. We utilize deep neural networks for constructing scoring model of our extraction system. We achieve comparable performance with systems using corpus-wide and citation information which we do not use in our system.
△ Less
Submitted 13 September, 2018;
originally announced September 2018.
-
ConvAMR: Abstract meaning representation parsing for legal document
Authors:
Lai Dac Viet,
Vu Trong Sinh,
Nguyen Le Minh,
Ken Satoh
Abstract:
Convolutional neural networks (CNN) have recently achieved remarkable performance in a wide range of applications. In this research, we equip convolutional sequence-to-sequence (seq2seq) model with an efficient graph linearization technique for abstract meaning representation parsing. Our linearization method is better than the prior method at signaling the turn of graph traveling. Additionally, c…
▽ More
Convolutional neural networks (CNN) have recently achieved remarkable performance in a wide range of applications. In this research, we equip convolutional sequence-to-sequence (seq2seq) model with an efficient graph linearization technique for abstract meaning representation parsing. Our linearization method is better than the prior method at signaling the turn of graph traveling. Additionally, convolutional seq2seq model is more appropriate and considerably faster than the recurrent neural network models in this task. Our method outperforms previous methods by a large margin on both the standard dataset LDC2014T12. Our result indicates that future works still have a room for improving parsing model using graph linearization approach.
△ Less
Submitted 20 November, 2017; v1 submitted 16 November, 2017;
originally announced November 2017.
-
Discovery of a big void in Khufu's Pyramid by observation of cosmic-ray muons
Authors:
Kunihiro Morishima,
Mitsuaki Kuno,
Akira Nishio,
Nobuko Kitagawa,
Yuta Manabe,
Masaki Moto,
Fumihiko Takasaki,
Hirofumi Fujii,
Kotaro Satoh,
Hideyo Kodama,
Kohei Hayashi,
Shigeru Odaka,
Sébastien Procureur,
David Attié,
Simon Bouteille,
Denis Calvet,
Christopher Filosa,
Patrick Magnier,
Irakli Mandjavidze,
Marc Riallot,
Benoit Marini,
Pierre Gable,
Yoshikatsu Date,
Makiko Sugiura,
Yasser Elshayeb
, et al. (9 additional authors not shown)
Abstract:
The Great Pyramid or Khufu's Pyramid was built on the Giza Plateau (Egypt) during the IVth dynasty by the pharaoh Khufu (Cheops), who reigned from 2509 to 2483 BC. Despite being one of the oldest and largest monuments on Earth, there is no consensus about how it was built. To better understand its internal structure, we imaged the pyramid using muons, which are by-products of cosmic rays that are…
▽ More
The Great Pyramid or Khufu's Pyramid was built on the Giza Plateau (Egypt) during the IVth dynasty by the pharaoh Khufu (Cheops), who reigned from 2509 to 2483 BC. Despite being one of the oldest and largest monuments on Earth, there is no consensus about how it was built. To better understand its internal structure, we imaged the pyramid using muons, which are by-products of cosmic rays that are only partially absorbed by stone. The resulting cosmic-ray muon radiography allows us to visualize the known and potentially unknown voids in the pyramid in a non-invasive way. Here we report the discovery of a large void (with a cross section similar to the Grand Gallery and a length of 30 m minimum) above the Grand Gallery, which constitutes the first major inner structure found in the Great Pyramid since the 19th century. This void, named ScanPyramids Big Void, was first observed with nuclear emulsion films installed in the Queen's chamber (University of Nagoya), then confirmed with scintillator hodoscopes set up in the same chamber (KEK) and re-confirmed with gas detectors outside of the pyramid (CEA). This large void has therefore been detected with a high confidence by three different muon detection technologies and three independent analyses. These results constitute a breakthrough for the understanding of Khufu's Pyramid and its internal structure. While there is currently no information about the role of this void, these findings show how modern particle physics can shed new light on the world's archaeological heritage.
△ Less
Submitted 21 November, 2017; v1 submitted 5 November, 2017;
originally announced November 2017.
-
Abstract Argumentation / Persuasion / Dynamics
Authors:
Ryuta Arisaka,
Ken Satoh
Abstract:
The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been largely unheeded so far. We characterise basic notions of admissibilities in this framework, and show a way of enriching them through, effectively, CTL…
▽ More
The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been largely unheeded so far. We characterise basic notions of admissibilities in this framework, and show a way of enriching them through, effectively, CTL (computation tree logic) encoding, which also permits importation of the theoretical results known to the logic into our argumentation frameworks. Our aim is to complement the growing interest in coordination of static and dynamic argumentation.
△ Less
Submitted 7 November, 2018; v1 submitted 29 May, 2017;
originally announced May 2017.
-
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments
Authors:
Ryuta Arisaka,
Ken Satoh
Abstract:
We consider abstract-argumentation-theoretic coalition formability in this work. Taking a model from political alliance among political parties, we will contemplate profitability, and then formability, of a coalition. As is commonly understood, a group forms a coalition with another group for a greater good, the goodness measured against some criteria. As is also commonly understood, however, a co…
▽ More
We consider abstract-argumentation-theoretic coalition formability in this work. Taking a model from political alliance among political parties, we will contemplate profitability, and then formability, of a coalition. As is commonly understood, a group forms a coalition with another group for a greater good, the goodness measured against some criteria. As is also commonly understood, however, a coalition may deliver benefits to a group X at the sacrifice of something that X was able to do before coalition formation, which X may be no longer able to do under the coalition. Use of the typical conflict-free sets of arguments is not very fitting for accommodating this aspect of coalition, which prompts us to turn to a weaker notion, conflict-eliminability, as a property that a set of arguments should primarily satisfy. We require numerical quantification of attack strengths as well as of argument strengths for its characterisation. We will first analyse semantics of profitability of a given conflict-eliminable set forming a coalition with another conflict-eliminable set, and will then provide four coalition formability semantics, each of which formalises certain utility postulate(s) taking the coalition profitability into account.
△ Less
Submitted 21 May, 2017; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Choice of Paper for Multigraphene Growth on Lead Pencil Drawing
Authors:
Satoru Kaneko,
Yu Motoizumi,
Kazuo Satoh,
Yoshitada Shimizu,
Manabu Yasui,
Takeshi Rachi,
Chihiro Kato,
Satomi Tanaka,
Mikio Ushiyama,
Seiji Konuma,
Yuko Itou,
Tamio Endo,
Akifumi Matsuda,
Mamoru Yoshimoto
Abstract:
Graphene is prepared with a variety of methods, such as thermal decomposition of SiC, Chemical Vapor Deposition and pulsed laser deposition. We propose another method to prepare graphitic carbon by irradiating lead pencil drawn paper using femtosecond laser [Jpn. J. Appl. Phys. 55 (2016) 01AE24]. In order to evaluate electronic properties, such as resistivity and mobility, surface roughness of pap…
▽ More
Graphene is prepared with a variety of methods, such as thermal decomposition of SiC, Chemical Vapor Deposition and pulsed laser deposition. We propose another method to prepare graphitic carbon by irradiating lead pencil drawn paper using femtosecond laser [Jpn. J. Appl. Phys. 55 (2016) 01AE24]. In order to evaluate electronic properties, such as resistivity and mobility, surface roughness of paper is important to evaluate thickness of lead pencil as one of principal factors. The surface roughness of variety of paper was investigated including cross section of drawing paper. Femotosecond laser irradiated the sample surface with its focus shifted from the optical focal point to enlarge the laser spot and tender irradiation.
△ Less
Submitted 6 April, 2016;
originally announced April 2016.
-
Multi Graphene Growth on Lead Pencil Drawn Sliver-Halide Print Paper Irradiated by Scanning Femtosecond Laser
Authors:
Satoru Kaneko,
Yoshitada Shimizu,
Takeshi Rachi,
Chihiro Kato,
Satomi Tanaka,
Yasuhiro Naganuma,
Toru Katakura,
Kazuo Satoh,
Mikio Ushiyama,
Seiji Konuma,
Yuko Itou,
Hirofumi Takikawa,
Goon Tan,
Akifumi Matsuda,
Mamoru Yoshimoto
Abstract:
A variety of paper were drawn by lead pencil with the grade between 4H through 10B. Raman spectroscopy verified both G and D peaks on all the drawing on PC print paper, PC photo paper, kent paper and paper for silver halide print. After irradiation of scanning femtosecond laser, silver halide paper drawn with 10B lead pencil remained surface flatness compared to the other papers. Raman spectroscop…
▽ More
A variety of paper were drawn by lead pencil with the grade between 4H through 10B. Raman spectroscopy verified both G and D peaks on all the drawing on PC print paper, PC photo paper, kent paper and paper for silver halide print. After irradiation of scanning femtosecond laser, silver halide paper drawn with 10B lead pencil remained surface flatness compared to the other papers. Raman spectroscopy on silver print paper showed a large G peak with less intensity of D peak. After irradiation of scanning femtosecond laser on silver halide paper drawn by 10B lead pencil, Raman spectroscopy showed large G peak and less intensity of D peak together with 2D peak around 2,700 /cm corresponding to the existence of multi graphene.
△ Less
Submitted 2 August, 2015;
originally announced August 2015.
-
An Architecture for Autonomously Controlling Robot with Embodiment in Real World
Authors:
Megumi Fujita,
Yuki Goto,
Naoyuki Nide,
Ken Satoh,
Hiroshi Hosobe
Abstract:
In the real world, robots with embodiment face various issues such as dynamic continuous changes of the environment and input/output disturbances. The key to solving these issues can be found in daily life; people `do actions associated with sensing' and `dynamically change their plans when necessary'. We propose the use of a new concept, enabling robots to do these two things, for autonomously co…
▽ More
In the real world, robots with embodiment face various issues such as dynamic continuous changes of the environment and input/output disturbances. The key to solving these issues can be found in daily life; people `do actions associated with sensing' and `dynamically change their plans when necessary'. We propose the use of a new concept, enabling robots to do these two things, for autonomously controlling mobile robots. We implemented our concept to make two experiments under static/dynamic environments. The results of these experiments show that our idea provides a way to adapt to dynamic changes of the environment in the real world.
△ Less
Submitted 26 July, 2013;
originally announced July 2013.
-
muSR Investigation of magnetically ordered states in A-site ordered perovskite manganites RBaMn2O6 (R = Y and La)
Authors:
Y. Kawasaki,
T. Minami,
M. Izumi,
Y. Kishimoto,
T. Ohno,
K. H. Satoh,
A. Koda,
R. Kadono,
J. L. Gavilano,
H. Luetkens,
T. Nakajima,
Y. Ueda
Abstract:
The magnetically ordered states of the A-site ordered perovskite manganites LaBaMn2O6 and YBaMn2O6 have been investigated by muon spin relaxation in zero external magnetic field. Our data reveal striking differences in the nature of the magnetically ordered state of these materials. For LaBaMn2O6, the muSR time-spectra in the ferromagnetic state below ~ 330 K reveal a strongly inhomogeneous phase,…
▽ More
The magnetically ordered states of the A-site ordered perovskite manganites LaBaMn2O6 and YBaMn2O6 have been investigated by muon spin relaxation in zero external magnetic field. Our data reveal striking differences in the nature of the magnetically ordered state of these materials. For LaBaMn2O6, the muSR time-spectra in the ferromagnetic state below ~ 330 K reveal a strongly inhomogeneous phase, reminiscent of a Griffiths phase. Within this magnetically inhomogeneous phase, an antiferromagnetic state develops below 150 K, which displays well defined static internal magnetic fields, but reaches only 30% of the volume fraction at low temperatures. A broad distribution of muSR relaxation rates is inferred down to the lowest temperatures. This behavior is similar to the A-site disordered La0.5Ba0.5MnO3. On the other hand, for YBaMn2O6, the muSR time spectra for both (i) the charge and orbital ordered and (ii) the paramagnetic phases reveal rather homogeneous states, namely, an exponential relaxation in the paramagnetic state and well defined muon spin oscillation in the antiferromagnetic state.
△ Less
Submitted 25 September, 2012; v1 submitted 4 June, 2012;
originally announced June 2012.
-
Normative design using inductive learning
Authors:
Domenico Corapi,
Alessandra Russo,
Marina De Vos,
Julian Padget,
Ken Satoh
Abstract:
In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our computational model represents the normative framework as a logic program under answer set semantics (ASP). By means of an inductive logic programming approach, implemented using ASP, it is possible to synthesise new rules an…
▽ More
In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our computational model represents the normative framework as a logic program under answer set semantics (ASP). By means of an inductive logic programming approach, implemented using ASP, it is possible to synthesise new rules and revise the existing ones. The learning mechanism is guided by the designer who describes the desired properties of the framework through use cases, comprising (i) event traces that capture possible scenarios, and (ii) a state that describes the desired outcome. The learning process then proposes additional rules, or changes to current rules, to satisfy the constraints expressed in the use cases. Thus, the contribution of this paper is a process for the elaboration and revision of a normative framework by means of a semi-automatic and iterative process driven from specifications of (un)desirable behaviour. The process integrates a novel and general methodology for theory revision based on ASP.
△ Less
Submitted 25 July, 2011;
originally announced July 2011.
-
Magnetic ground state of pyrochlore oxides close to metal-insulator boundary probed by muon spin rotation
Authors:
M. Miyazaki,
R. Kadono,
K. H. Satoh,
M. Hiraishi,
S. Takeshita,
A. Koda,
A. Yamamoto,
H. Takagi
Abstract:
Magnetism of ruthernium pyrochlore oxides A2Ru2O7 (A = Hg, Cd, Ca), whose electronic properties within a localized ion picture are characterized by non-degenerate t2g orbitals (Ru5+, 4d3) and thereby subject to geometrical frustration, has been investigated by muon spin rotation/relaxation (muSR) technique. The A cation (mostly divalent) was varied to examine the effect of covalency (Hg > Cd > Ca)…
▽ More
Magnetism of ruthernium pyrochlore oxides A2Ru2O7 (A = Hg, Cd, Ca), whose electronic properties within a localized ion picture are characterized by non-degenerate t2g orbitals (Ru5+, 4d3) and thereby subject to geometrical frustration, has been investigated by muon spin rotation/relaxation (muSR) technique. The A cation (mostly divalent) was varied to examine the effect of covalency (Hg > Cd > Ca) on their electronic property. In a sample with A = Hg that exhibits a clear metal-insulator (MI) transition below >> 100 K (which is associated with a weak structural transition), a nearly commensurate magnetic order is observed to develop in accordance with the MI transition. Meanwhile, in the case of A = Cd where the MI transition is suppressed to the level of small anomaly in the resistivity, the local field distribution probed by muon indicates emergence of a certain magnetic inhomogeneity below » 30 K. Moreover, in Ca2Ru2O7 that remains metallic, we find a highly inhomogeneous local magnetism below >>25 K that comes from randomly oriented Ru moments and thus described as a "frozen spin liquid" state. The systematic trend of increasing randomness and itinerant character with decreasing covalency suggests close relationship between these two characters. As a reference for the effect of orbital degeneracy and associated Jahn-Teller instability, we examine a tetravalent ruthernium pyrochlore, Tl2Ru2O7 (Ru4+, 4d4), where the result of muSR indicates a non-magnetic ground state that is consistent with the formation of the Haldane chains suggested by neutron diffraction experiment.
△ Less
Submitted 23 June, 2010; v1 submitted 7 May, 2010;
originally announced May 2010.
-
Systematic characterization of upper critical fields for MgB$_2$ thin films using the two-band superconducting theory
Authors:
S. Noguchi,
A. Kuribayashi,
T. Ishida,
T. Oba,
H. Iriuda,
M. Yoshizawa,
Y. Harada,
S. Miki,
H. Shimakage,
Z. Wang,
K. Satoh,
T. Yotsuya
Abstract:
We present experimental results of the upper critical fields $H_{\rm c2}$ of various MgB$_2$ thin films prepared by the molecular beam epitaxy, multiple-targets sputtering, and co-evaporation deposition apparatus. Experimental data of the $H_{\rm c2}(T)$ are successfully analyzed by applying the Gurevich theory of dirty two-band superconductivity in the case of $D_π/D_σ>1$, where $D_π$ and…
▽ More
We present experimental results of the upper critical fields $H_{\rm c2}$ of various MgB$_2$ thin films prepared by the molecular beam epitaxy, multiple-targets sputtering, and co-evaporation deposition apparatus. Experimental data of the $H_{\rm c2}(T)$ are successfully analyzed by applying the Gurevich theory of dirty two-band superconductivity in the case of $D_π/D_σ>1$, where $D_π$ and $D_σ$ are the intraband electron diffusivities for $π$ and $σ$ bands, respectively. We find that the parameters obtained from the analysis are strongly correlated to the superconducting transition temperature $T_{\rm c}$ of the films. We also discuss the anormalous narrowing of the transition width at intermediate temperatures confirmed by the magnetoresistance measurements.
△ Less
Submitted 8 November, 2008;
originally announced November 2008.
-
Magnetic response of noncentrosymmetric superconductor La2C3: Effect of double-gap and spin-orbit interaction
Authors:
R. Kadono,
M. Hiraishi,
M. Miyazaki,
K. H. Satoh,
S. Takeshita,
S. Kuroiwa,
S. Saura,
J. Akimitsu
Abstract:
The presence of spin-orbit (SO) interaction in a noncentrosymmetric superconductor, La2C3 (T_c~11 K) is demonstrated by muon spin rotation (muSR) in its normal state, where muSR spectra exhibit field-induced weak depolarization due to van Vleck-like local susceptibility. In the mixed state, muon spin relaxation due to inhomogeneity of internal field (sigma_v) exhibits a field dependence that is…
▽ More
The presence of spin-orbit (SO) interaction in a noncentrosymmetric superconductor, La2C3 (T_c~11 K) is demonstrated by muon spin rotation (muSR) in its normal state, where muSR spectra exhibit field-induced weak depolarization due to van Vleck-like local susceptibility. In the mixed state, muon spin relaxation due to inhomogeneity of internal field (sigma_v) exhibits a field dependence that is characterized by a kink, where sigma_v (and hence the superfluid density) is more strongly reduced at lower fields. This is perfectly in line with the presence of a secondary energy gap previously inferred from the temperature dependence of sigma_v, and also consistent with the possible influence of asymmetric deformation of the Fermi surface due to the SO interaction.
△ Less
Submitted 8 September, 2008;
originally announced September 2008.
-
Effect of Zn substitution for Cu on Ca$_{2-x}$Na$_{x}$CuO$_{2}$Cl$_{2}$ near the hole concentration of 1/8 per Cu
Authors:
K. H. Satoh,
M. Hiraishi,
M. Miyazaki,
S. Takeshita,
A. Koda,
R. Kadono,
I. Yamada,
K. Oka,
M. Azuma,
Y. Shimakawa,
M. Takano
Abstract:
A weakening of superconductivity upon substitution of Cu by Zn (0.5~1 %) is observed in a high-T_c cuprate, Ca_{2-x}Na_xCuO2Cl2, near the hole concentration of 1/8 per Cu. The superconducting transition temperature and its volume fraction, estimated by magnetic susceptibility, exhibit a sizable anomaly for x=0.12~0.14, where the slowing down of Cu spin fluctuations below 5 K is demonstrated by m…
▽ More
A weakening of superconductivity upon substitution of Cu by Zn (0.5~1 %) is observed in a high-T_c cuprate, Ca_{2-x}Na_xCuO2Cl2, near the hole concentration of 1/8 per Cu. The superconducting transition temperature and its volume fraction, estimated by magnetic susceptibility, exhibit a sizable anomaly for x=0.12~0.14, where the slowing down of Cu spin fluctuations below 5 K is demonstrated by muon spin relaxation experiments. These observations are in close resemblance to other typical cuprates including YBa2Cu3O_{7-d}, and Bi2Sr2Ca_{1-x}Y_xCu2O_{8+d}, providing further evidence that Zn-induced "stripe" correlation is a universal feature of high-T_c cuprate superconductors common to that of La_{2-x}A_{x}CuO4 (A=Ba, Sr).
△ Less
Submitted 3 September, 2008;
originally announced September 2008.
-
Multigap superconductivity in sesquicarbides La$_2$C$_3$ and Y$_2$C$_3$
Authors:
S. Kuroiwa,
Y. Saura,
J. Akimitsu,
M. Hiraishi,
M. Miyazaki,
K. H. Satoh,
S. Takeshita,
R. Kadono
Abstract:
A complex structure of the superconducting order parameter in $Ln_2$C$_3$ ($Ln$ = La, Y) is demonstrated by muon spin relaxation ($μ$SR) measurements in their mixed state. The muon depolarization rate [$σ_{\rm v}(T)$] exhibits a characteristic temperature dependence that can be perfectly described by a phenomenological double-gap model for nodeless superconductivity. While the magnitude of two g…
▽ More
A complex structure of the superconducting order parameter in $Ln_2$C$_3$ ($Ln$ = La, Y) is demonstrated by muon spin relaxation ($μ$SR) measurements in their mixed state. The muon depolarization rate [$σ_{\rm v}(T)$] exhibits a characteristic temperature dependence that can be perfectly described by a phenomenological double-gap model for nodeless superconductivity. While the magnitude of two gaps is similar between La$_2$C$_3$ and Y$_2$C$_3$, a significant difference in the interband coupling between those two cases is clearly observed in the behavior of $σ_{\rm v}(T)$.
△ Less
Submitted 7 March, 2008; v1 submitted 27 January, 2008;
originally announced January 2008.
-
Flux line lattice state versus magnetism in electron-doped cuprate superconductor Sr_{1-x}La_{x}CuO_{2}
Authors:
Kohki H. Satoh,
Soshi Takeshita,
Akihiro Koda,
Ryosuke Kadono,
Kenji Ishida,
Sunsen Pyon,
Takao Sasagawa,
Hidenori Takagi
Abstract:
The microscopic details of flux line lattice state studied by muon spin rotation is reported in an electron-doped high-$T_{\rm c}$ cuprate superconductor, Sr$_{1-x}$La$_{x}$CuO$_{2}$ (SLCO, $x=0.10$--0.15). A clear sign of phase separation between magnetic and non-magnetic phases is observed, where the effective magnetic penetration depth [$λ\equivλ(T,H)$] is determined selectively for the latte…
▽ More
The microscopic details of flux line lattice state studied by muon spin rotation is reported in an electron-doped high-$T_{\rm c}$ cuprate superconductor, Sr$_{1-x}$La$_{x}$CuO$_{2}$ (SLCO, $x=0.10$--0.15). A clear sign of phase separation between magnetic and non-magnetic phases is observed, where the effective magnetic penetration depth [$λ\equivλ(T,H)$] is determined selectively for the latter phase. The extremely small value of $λ(0,0)$ %versus $T_{\rm c}$ and corresponding large superfluid density ($n_s \propto λ^{-2}$) is consistent with presence of a large Fermi surface with carrier density of $1+x$, which suggests the breakdown of the "doped Mott insulator" even at the "optimal do**" in SLCO. Moreover, a relatively weak anisotropy in the superconducting order parameter is suggested by the field dependence of $λ(0,H)$. These observations strongly suggest that the superconductivity in SLCO is of a different class from hole-doped cuprates.
△ Less
Submitted 18 May, 2008; v1 submitted 3 October, 2007;
originally announced October 2007.
-
Magnetic field-induced quasiparticle excitation in Nb3Sn: Evidence for anisotropic s-wave pairing
Authors:
R. Kadono,
K. H. Satoh,
A. Koda,
T. Nagata,
H. Kawano-Furukawa,
J. Suzuki,
M. Matsuda,
K. Ohishi,
W. Higemoto,
S. Kuroiwa,
H. Takagiwa,
J. Akimitsu
Abstract:
The response of vortex state to the magnetic field in Nb3Sn is probed using muon spin rotation and small-angle neutron scattering. A transformation of vortex structure between hexagonal and squared lattice is observed over a relatively low field range of 2-3 Tesla. The gradual increase of the magnetic penetration depth with increasing field provides microscopic evidence for anisotropic (or multi…
▽ More
The response of vortex state to the magnetic field in Nb3Sn is probed using muon spin rotation and small-angle neutron scattering. A transformation of vortex structure between hexagonal and squared lattice is observed over a relatively low field range of 2-3 Tesla. The gradual increase of the magnetic penetration depth with increasing field provides microscopic evidence for anisotropic (or multi-gapped) s-wave pairing suggested by the Raman scattering experiment. This result renders need for careful examination on the difference of electronic properties between Nb3Sn and V3Si.
△ Less
Submitted 29 May, 2006;
originally announced May 2006.
-
Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure
Authors:
Ken Satoh
Abstract:
This paper presents a method of computing a revision of a function-free normal logic program. If an added rule is inconsistent with a program, that is, if it leads to a situation such that no stable model exists for a new program, then deletion and addition of rules are performed to avoid inconsistency. We specify a revision by translating a normal logic program into an abductive logic program w…
▽ More
This paper presents a method of computing a revision of a function-free normal logic program. If an added rule is inconsistent with a program, that is, if it leads to a situation such that no stable model exists for a new program, then deletion and addition of rules are performed to avoid inconsistency. We specify a revision by translating a normal logic program into an abductive logic program with abducibles to represent deletion and addition of rules. To compute such deletion and addition, we propose an adaptation of our top-down abductive proof procedure to compute a relevant abducibles to an added rule. We compute a minimally revised program, by choosing a minimal set of abducibles among all the sets of abducibles computed by a top-down proof procedure.
△ Less
Submitted 5 March, 2000;
originally announced March 2000.
-
Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)
Authors:
Ken Satoh,
Hidenori Okamoto
Abstract:
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axioms and unique name axioms. This kind of treatment is very important since this enable to apply various technique developed in operations research to nonmonotonic reasoning.
Nerode et al. (1995) are the first to propose…
▽ More
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axioms and unique name axioms. This kind of treatment is very important since this enable to apply various technique developed in operations research to nonmonotonic reasoning.
Nerode et al. (1995) are the first to propose a method of computing circumscription using integer programming. They claimed their method was correct for circumscription with fixed predicate, but we show that their method does not correctly reflect their claim. We show a correct method of computing all the minimal models not only with fixed predicates but also with varied predicates and we extend our method to compute prioritized circumscription as well.
△ Less
Submitted 5 March, 2000;
originally announced March 2000.
-
The Hamiltonian in an Aharonov-Bohm gauge field and its self-adjoint extensions
Authors:
Kazuhiko Odaka,
Kazuya Satoh
Abstract:
By using the spherical coordinates in 3+1 dimensions we study the self-adjointness of the Dirac Hamiltonian in an Aharonov-Bohm gauge field of an infinitely thin magnetic flux tube. It is shown that the angular part of the Dirac Hamiltonian requires self-adjoint extensions as well as its radial one. The self-adjoint extensions of the angular part are parametrized by 2x2 unitary matrix.
By using the spherical coordinates in 3+1 dimensions we study the self-adjointness of the Dirac Hamiltonian in an Aharonov-Bohm gauge field of an infinitely thin magnetic flux tube. It is shown that the angular part of the Dirac Hamiltonian requires self-adjoint extensions as well as its radial one. The self-adjoint extensions of the angular part are parametrized by 2x2 unitary matrix.
△ Less
Submitted 15 April, 1996;
originally announced April 1996.