-
GuP: Fast Subgraph Matching by Guard-based Pruning
Authors:
Junya Arai,
Yasuhiro Fujiwara,
Makoto Onizuka
Abstract:
Subgraph matching, which finds subgraphs isomorphic to a query, is the key to information retrieval from data represented as a graph. To avoid redundant exploration in the data, existing methods restrict the search space by extracting candidate vertices and candidate edges that may constitute isomorphic subgraphs. However, it still requires expensive computation because candidate vertices induce m…
▽ More
Subgraph matching, which finds subgraphs isomorphic to a query, is the key to information retrieval from data represented as a graph. To avoid redundant exploration in the data, existing methods restrict the search space by extracting candidate vertices and candidate edges that may constitute isomorphic subgraphs. However, it still requires expensive computation because candidate vertices induce many subgraphs that are not isomorphic to the query. In this paper, we propose GuP, a subgraph matching algorithm with pruning based on guards. Guards are a pattern of intermediate search states that never find isomorphic subgraphs. GuP attaches a guard on each candidate vertex and edge and filters out them adaptively to the search state. The experimental results showed that GuP can efficiently solve various queries, including those that the state-of-the-art methods could not solve in practical time.
△ Less
Submitted 10 June, 2023;
originally announced June 2023.
-
PlaSma: Making Small Language Models Better Procedural Knowledge Models for (Counterfactual) Planning
Authors:
Faeze Brahman,
Chandra Bhagavatula,
Valentina Pyatkin,
Jena D. Hwang,
Xiang Lorraine Li,
Hirona J. Arai,
Soumya Sanyal,
Keisuke Sakaguchi,
Xiang Ren,
Ye** Choi
Abstract:
Procedural planning, which entails decomposing a high-level goal into a sequence of temporally ordered steps, is an important yet intricate task for machines. It involves integrating common-sense knowledge to reason about complex contextualized situations that are often counterfactual, e.g. "scheduling a doctor's appointment without a phone". While current approaches show encouraging results using…
▽ More
Procedural planning, which entails decomposing a high-level goal into a sequence of temporally ordered steps, is an important yet intricate task for machines. It involves integrating common-sense knowledge to reason about complex contextualized situations that are often counterfactual, e.g. "scheduling a doctor's appointment without a phone". While current approaches show encouraging results using large language models (LLMs), they are hindered by drawbacks such as costly API calls and reproducibility issues. In this paper, we advocate planning using smaller language models. We present PlaSma, a novel two-pronged approach to endow small language models with procedural knowledge and (counterfactual) planning capabilities. More concretely, we develop symbolic procedural knowledge distillation to enhance the implicit knowledge in small language models and an inference-time algorithm to facilitate more structured and accurate reasoning. In addition, we introduce a novel task, Counterfactual Planning, that requires a revision of a plan to cope with a counterfactual situation. In both the original and counterfactual setting, we show that orders-of-magnitude smaller models (770M-11B parameters) can compete and often surpass their larger teacher models' capabilities.
△ Less
Submitted 26 July, 2023; v1 submitted 30 May, 2023;
originally announced May 2023.
-
Fast Subgraph Matching by Exploiting Search Failures
Authors:
Junya Arai,
Makoto Onizuka,
Yasuhiro Fujiwara,
Sotetsu Iwamura
Abstract:
Subgraph matching is a compute-intensive problem that asks to enumerate all the isomorphic embeddings of a query graph within a data graph. This problem is generally solved with backtracking, which recursively evolves every possible partial embedding until it becomes an isomorphic embedding or is found unable to become it. While existing methods reduce the search space by analyzing graph structure…
▽ More
Subgraph matching is a compute-intensive problem that asks to enumerate all the isomorphic embeddings of a query graph within a data graph. This problem is generally solved with backtracking, which recursively evolves every possible partial embedding until it becomes an isomorphic embedding or is found unable to become it. While existing methods reduce the search space by analyzing graph structures before starting the backtracking, it is often ineffective for complex graphs. In this paper, we propose an efficient algorithm for subgraph matching that performs on-the-fly pruning during the backtracking. Our main idea is to `learn from failure'. That is, our algorithm generates failure patterns when a partial embedding is found unable to become an isomorphic embedding. Then, in the subsequent process of the backtracking, our algorithm prunes partial embeddings matched with a failure pattern. This pruning does not change the result because failure patterns are designed to represent the conditions that never yield an isomorphic embedding. Additionally, we introduce an efficient representation of failure patterns for constant-time pattern matching. The experimental results show that our method improves the performance by up to 10000 times than existing methods.
△ Less
Submitted 28 December, 2020;
originally announced December 2020.
-
Phase separation and suppression of critical dynamics at quantum transitions of itinerant magnets: MnSi and (Sr$_{1-x}$Ca$_{x}$)RuO$_{3}$
Authors:
Y. J. Uemura,
T. Goko,
I. M. Gat-Malureanu,
J. P. Carlo,
P. L. Russo,
A. T. Savici,
A. Aczel,
G. J. MacDougall,
J. A. Rdoriguez,
G. M. Luke,
S. R. Dunsiger,
A. McCollam,
J. Arai,
Ch. Pfleiderer,
P. Boeni,
K. Yoshimura,
E. Baggio-Saitovitch,
M. B. Fontes,
J. Larrea J.,
Y. V. Sushko,
J. Sereni
Abstract:
Quantum phase transitions (QPTs) have been studied extensively in correlated electron systems. Characterization of magnetism at QPTs has, however, been limited by the volume-integrated feature of neutron and magnetization measurements and by pressure uncertainties in NMR studies using powderized specimens. Overcoming these limitations, we performed muon spin relaxation ($μ$SR) measurements which…
▽ More
Quantum phase transitions (QPTs) have been studied extensively in correlated electron systems. Characterization of magnetism at QPTs has, however, been limited by the volume-integrated feature of neutron and magnetization measurements and by pressure uncertainties in NMR studies using powderized specimens. Overcoming these limitations, we performed muon spin relaxation ($μ$SR) measurements which have a unique sensitivity to volume fractions of magnetically ordered and paramagnetic regions, and studied QPTs from itinerant heli/ferro magnet to paramagnet in MnSi (single-crystal; varying pressure) and (Sr$_{1-x}$Ca$_{x}$)RuO$_{3}$ (ceramic specimens; varying $x$). Our results provide the first clear evidence that both cases are associated with spontaneous phase separation and suppression of dynamic critical behavior, revealed a slow but dynamic character of the ``partial order'' diffuse spin correlations in MnSi above the critical pressure, and, combined with other known results in heavy-fermion and cuprate systems, suggest a possibility that a majority of QPTs involve first-order transitions and/or phase separation.
△ Less
Submitted 17 December, 2006;
originally announced December 2006.
-
Periodic oscillations of flux flow resistance in intrinsic Josephson junctions with various lateral sizes down to a size of non-linear core of Josephson vortex
Authors:
S. Urayama,
T. Hatano,
H. B. Wang,
M. Nagao,
S. M. Kim,
J. Arai
Abstract:
To investigate in-phase structures (rectangular lattice) of Josephson vortex lattice (JVL) in intrinsic Josephson junctions (IJJs) of Bi2Sr2CaCu2O8+d, we fabricated IJJs with various lateral sizes down to a size of non-linear core of Josephson vortex using focused-ion-beam etching and measured flux flow resistance (RFF) with in-plane magnetic fields (H). We have found that above a size-independe…
▽ More
To investigate in-phase structures (rectangular lattice) of Josephson vortex lattice (JVL) in intrinsic Josephson junctions (IJJs) of Bi2Sr2CaCu2O8+d, we fabricated IJJs with various lateral sizes down to a size of non-linear core of Josephson vortex using focused-ion-beam etching and measured flux flow resistance (RFF) with in-plane magnetic fields (H). We have found that above a size-independent critical field, the critical current shows Fraunhofer pattern in narrow-length IJJs (0.29-2.77 mm), and then the RFF~H oscillates with H0 period. Most strikingly, such oscillations become pulse-like in sub-micron IJJs, indicating that between the pulses, the rectangular JVLs become major structures.
△ Less
Submitted 4 July, 2006; v1 submitted 28 February, 2006;
originally announced February 2006.
