Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “emergence of patterns”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 505 records · Page 28
All sourcesNASA NTRSDOE OSTI
NASA NTRS1998

The Effect of Interruptions on Part 121 Air Carrier Operations

The primary purpose of this study was to determine the relative priorities of various events and activities by examining the probability that a given activity was interrupted by a given event. The analysis will begin by providing frequency of interruption data by crew position (captain versus first officer) and event type. Any differences in the pattern of interruptions between the first officers and the captains will be explored and interpreted in terms of standard operating procedures. Subsequent data analyses will focus on comparing the frequency of interruptions for different types of activities and for the same activities under normal versus emergency conditions. Briefings and checklists will receive particular attention. The frequency with which specific activities are interrupted under multiple- versus single-task conditions also will be examined; because the majority of multiple-task data were obtained under laboratory conditions, LOFT-type tapes offer a unique opportunity to examine concurrent task performance under 'real-world' conditions. A second purpose of this study is to examine the effects of the interruptions on performance. More specifically, when possible, the time to resume specific activities will be compared to determine if pilots are slower to resume certain types of activities. Errors in resumption or failures to resume specific activities will be noted and any patterns in these errors will be identified. Again, particular attention will be given to the effects of interruptions on the completion of checklists and briefings. Other types of errors and missed events (i.e., the crew should have responded to the event but did not) will be examined. Any methodology using interruptions to examine task prioritization must be able to identify when an interruption has occurred and describe the ongoing activities that were interrupted. Both of these methodological problems are discussed In detail in the following section,

Damos, Diane L.↗
DOE OSTI2023

Loop-current charge density wave driven by long-range Coulomb repulsion on the kagomé lattice

Recent experiments on vanadium-based nonmagnetic kagomé metals A⁢V 3 ⁢Sb 5 ⁢(A=K,Rb,Cs) revealed evidence for possible spontaneous time-reversal symmetry (TRS) breaking in the charge density wave (CDW) ordered state. The long-sought-after quantum order of loop currents has been suggested as a candidate for the TRS breaking state. However, a microscopic model for the emergence of the loop-current CDW due to electronic correlations is still lacking. Here, in this work, we calculate the susceptibility of the real and imaginary bond orders on the kagomé lattice near van Hove filling, and reveal the importance of next-nearest-neighbor Coulomb repulsion V 2 in triggering the instability toward imaginary bond ordered CDW. The concrete effective single-orbital t–V 1 –V 2 model on the kagomé lattice is then studied, where t and V 1 are the hopping and Coulomb repulsion on the nearest-neighbor bonds. We obtain the mean-field ground states, analyze their properties, and determine the phase diagram in the plane spanned by V 1 and V 2 at van Hove filling. The region dominated by V 1 is occupied by a 2⁢a 0 ×2⁢a 0 real CDW insulator with the inverse of Star-of-David (ISD) bond configuration. Increasing V 2 indeed drives a first-order transition from ISD to stabilized loop-current insulators that exhibit four possible current patterns of different topological properties, leading to orbital Chern insulators. We then extend these results away from van Hove filling and show that electron doping helps the stabilization of loop currents, and gives rise to doped orbital Chern insulators with emergent Chern Fermi pockets carrying large Berry curvature and orbital magnetic moment. Our findings provide a concrete model realization of the loop-current Chern metal at the mean-field level for the TRS breaking normal state of the kagomé superconductors.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2020

Polarization whorls from M87* at the event horizon telescope

The event horizon telescope (EHT) is anticipated to soon produce polarimetric images of the supermassive black hole at the centre of the neighbouring galaxy M87. There are indications that this black hole is rapidly spinning. General relativity predicts that such a high-spin black hole has an emergent conformal symmetry near its event horizon. In this paper, we use this symmetry to analytically predict the polarized near-horizon emissions to be seen at the EHT and find a distinctive pattern of whorls aligned with the spin.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2025

Electron Microscopy Approaches to Unraveling the Structure of Amorphous Materials

Determining atomic structures in crystalline materials—where atoms are arranged in rigid, periodic lattices—has been highly successful using probes such as electrons, X-rays, and neutrons. In contrast, amorphous materials, despite their ubiquity and technological importance, remain far more challenging to characterize with comparable accuracy and precision. This review highlights existing, emerging, and potential (scanning) transmission electron microscopy ((S)TEM) techniques for probing short- and medium-range order in amorphous materials. Approaches ranging from high-resolution (S)TEM imaging and selected electron diffraction pattern to four-dimensional STEM (4D-STEM) based pair distribution function, fluctuation electron microscopy, tomography, ptychography, and spectroscopic methods are discussed, emphasizing their ability to provide complementary insights across multiple length scales—from sub-angstrom local environments to nanometer-scale correlations. Here, we further explore the promise of multimodal and correlative strategies, as well as the growing role of machine learning and physics-informed AI in enabling real-time, quantitative interpretation of complex structural signatures. Together, these advances point toward a future where electron microscopy not only reveals the hidden order in amorphous systems but also establishes robust structure–property relationships, paving the way for materials innovation in disordered matter.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
DOE OSTI2022

Ferroelectric incommensurate spin crystals

Ferroics, especially ferromagnets, can form complextopological spin structures such as vortices and skyrmions when subjected to particular electrical and mechanical boundary conditions. Simple vortex-like, electric-dipole-based topological structures have been observed in dedicated ferroelectric systems, especially ferroelectric-insulator superlattices such as PbTiO 3 /SrTiO 3 , which was later shown to be a model system owing to its high depolarizing field. To date, the electric dipole equivalent of ordered magnetic spin lattices driven by the Dzyaloshinskii-Moriya interaction (DMi) has not been experimentally observed. Here we examine a domain structure in a single PbTiO 3 epitaxial layer sandwiched between SrRuO 3 electrodes. In this work, we observe periodic clockwise and anticlockwise ferroelectric vortices that are modulated by a second ordering along their toroidal core. The resulting topology, supported by calculations, is a labyrinth-like pattern with two orthogonal periodic modulations that form an incommensurate polar crystal that provides a ferroelectric analogue to the recently discovered incommensurate spin crystals in ferromagnetic materials. These findings further blur the border between emergent ferromagnetic and ferroelectrictopologies, clearing the way for experimental realization of further electric counterparts of magnetic DMi-driven phases.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Voltage-controlled magnetic anisotropy enabled by resistive switching

The discovery of new mechanisms of controlling magnetic properties by electric fields or currents furthers the fundamental understanding of magnetism and has important implications for practical use. Here, we present an approach of utilizing resistive switching to control magnetic anisotropy. We study a ferromagnetic oxide that exhibits an electrically triggered metal-to-insulator phase transition producing a volatile resistive switching. The switching occurs in a characteristic spatial pattern, the formation of an insulating barrier perpendicular to the current flow, which results in an unusual ferromagnetic/paramagnetic/ferromagnetic configuration. Further, the formation of this voltage-driven paramagnetic insulating barrier is accompanied by the emergence of a strong uniaxial magnetic anisotropy that overpowers the intrinsic material anisotropy. Our results demonstrate that resistive switching is an effective tool for manipulating magnetic properties. Because resistive switching can be induced in a broad range of materials, our findings could enable a new class of voltage-controlled magnetism systems.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2023

Emergent Z 2 Gauge Theories and Topological Excitations in Rydberg Atom Arrays

Strongly interacting arrays of Rydberg atoms provide versatile platforms for exploring exotic many-body phases and dynamics of correlated quantum systems. Motivated by recent experimental advances, we show that the combination of Rydberg interactions and appropriate lattice geometries naturally leads to emergent Z 2 gauge theories endowed with matter fields. Based on this mapping, we describe how Rydberg platforms could realize two distinct classes of topological Z 2 quantum spin liquids, which differ in their patterns of translational symmetry fractionalization. Additionally, we also discuss the natures of the fractionalized excitations of these Z 2 spin liquid states using both fermionic and bosonic parton theories and illustrate their rich interplay with proximate solid phases.

74 ATOMIC AND MOLECULAR PHYSICS↗
NASA NTRS1980

Stellar chromospheres

Recent observational and theoretical work in the general problem of stellar chromospheres is summarized. The nature of a stellar chromosphere is reviewed, along with regions of the H-R diagram where chromospheres exist, trends emerging from semiempirical chromospheric models of single stars, and the ability of such models to match the observational data. Reasons why the Wilson-Bappu relation works are discussed, the existence of systematic flow patterns in stellar chromospheres is considered, and possible differences between chromospheres in close binaries and in single stars are examined. The general questions of chromospheric variability, the energy balance in stellar chromospheres, and the physics of chromospheric activity are described.

Linsky, J. L.↗
NASA NTRS1997

Constraints on the Magnitude of Vertical and Lateral Mass Transport on the Moon

The role of vertical and lateral mass transport of crustal materials on the observed patterns of lunar surface composition, and the effects on our understanding of the geologic evolution of the planet, have been the subject of much debate in the lunar science community. The primary consensus that emerged from analyses of these processes in the 1970's and 1980's was that vertical and lateral mixing through impact gardening was a relatively inefficient process, and not likely to have contributed significantly to compositional units and variations on the Moon. The supporting evidence for this view is that unit boundaries (e.g. mare-highland contacts, contacts between mare color units) are still apparently quite distinct and sharp despite several aeons of impact activity, and cores from the Apollo landing sites did not show any evidence of widespread homogenization of the surface composition, nor distinct compositional gradients across geologic boundaries. In addition, modeling of vertical and lateral transport generally showed that the effects on composition should be confined to horizontal scales of about a kilometer and vertical scales of a meter. The problem with this consensus is that there is ample contradictory evidence. The fundamental discovery of Wood et al. (1970) was made possible by significant horizontal transport of highland material to the center of Mare Tranquillitatis. The continuous and discontinuous ejecta from the crater Copernicus has clearly influenced the surface composition of a large area of the lunar maria, while rays and ejecta from many highland craters are easily recognized in and around the nearside maria. Despite this contrary evidence, there have been few detailed studies to quantify the amount and rate of material redistribution through impact processes (a notable exception is reported in the paper by Pieters et al, 1985), largely because data adequate to critically analyze this process were lacking. However, the multispectral images acquired by the Galileo and Clementine missions now permit the investigation of this process.

Mustard, John F.↗
NASA NTRS2016

Evaluation of VIIRS, GOCI, and MODIS Collection 6 AOD Retrievals Against Ground Sunphotometer Observations Over East Asia

Persistent high aerosol loadings together with extremely high population densities have raised serious air quality and public health concerns in many urban centers in East Asia. However, ground-based air quality monitoring is relatively limited in this area. Recently, satellite-retrieved Aerosol Optical Depth (AOD) at high resolution has become a powerful tool to characterize aerosol patterns in space and time. Using ground AOD observations from the Aerosol Robotic Network (AERONET) and the Distributed Regional Aerosol Gridded Observation Networks (DRAGON)-Asia Campaign, as well as from handheld sunphotometers, we evaluated emerging aerosol products from the Visible Infrared Imaging Radiometer Suite (VIIRS) aboard the Suomi National Polar-orbiting Partnership (S-NPP), the Geostationary Ocean Color Imager (GOCI) aboard the Communication, Ocean, and Meteorology Satellite (COMS), and Terra and Aqua Moderate Resolution Imaging Spectroradiometer (MODIS) (Collection 6) in East Asia in 2012 and 2013. In the case study in Beijing, when compared with AOD observations from handheld sunphotometers, 51% of VIIRS Environmental Data Record (EDR) AOD, 37% of GOCI AOD, 33% of VIIRS Intermediate Product (IP) AOD, 26% of Terra MODIS C6 3km AOD, and 16% of Aqua MODIS C6 3km AOD fell within the reference expected error (EE) envelope (+/-0.05/+/- 0.15 AOD). Comparing against AERONET AOD over the JapanSouth Korea region, 64% of EDR, 37% of IP, 61% of GOCI, 39% of Terra MODIS, and 56% of Aqua MODIS C6 3km AOD fell within the EE. In general, satellite aerosol products performed better in tracking the day-to-day variability than tracking the spatial variability at high resolutions. The VIIRS EDR and GOCI products provided the most accurate AOD retrievals, while VIIRS IP and MODIS C6 3km products had positive biases.

Xiao, Q.↗
DOE OSTI2024

GraphAide: Advanced Graph-Assisted Query and Reasoning System

Curating knowledge from multiple siloed sources that contain both structured and unstructured data is a major challenge in many real-world applications. Pattern matching and querying represent fundamental tasks in modern data analytics that leverage this curated knowledge. The development of such applications necessitates overcoming several research challenges, including data extraction, named entity recognition, data modeling, and designing query interfaces. Moreover, the explainability of these functionalities is critical for their broader adoption. The emergence of Large Language Models (LLMs) has accelerated the development lifecycle of new capabilities. Nonetheless, there is an ongoing need for domain-specific tools tailored to user activities. The creation of digital assistants has gained considerable traction in recent years, with LLMs offering a promising avenue to develop such assistants utilizing domain-specific knowledge and assumptions. In this context, we introduce an advanced query and reasoning system, GraphAide, which constructs a knowledge graph (KG) from diverse sources and allows to query and reason over the resulting KG. GraphAide harnesses both the KG and LLMs to rapidly develop domain-specific digital assistants. It integrates design patterns from retrieval augmented generation (RAG) and the semantic web to create an agentic LLM application. GraphAide underscores the potential for streamlined and efficient development of specialized digital assistants, thereby enhancing their applicability across various domains.

Purohit, Sumit [BATTELLE (PACIFIC NW LAB)] (ORCID:↗
NASA NTRS2004

Temporal dynamics of emergency department and hospital admissions of pediatric asthmatics

Asthma is a chronic disease that can result in exacerbations leading to urgent care in emergency departments (EDs) and hospitals. We examined seasonal and temporal trends in pediatric asthma ED (1997-1999) and hospital (1986-1999) admission data so as to identify periods of increased risk of urgent care by age group, gender, and race. All pediatric ED and hospital admission data for Maryland residents occurring within the state of Maryland were evaluated. Distinct peaks in pediatric ED and hospital asthma admissions occurred each year during the winter-spring and autumn seasons. Although the number and timing of these peaks were consistent across age and racial groups, the magnitude of the peaks differed by age and race. The same number, timing, and relative magnitude of the major peaks in asthma admissions occurred statewide, implying that the variables affecting these seasonal patterns of acute asthma exacerbations occur statewide. Similar gross seasonal trends are observed worldwide. Although several environmental, infectious, and psychosocial factors have been linked with increases in asthma exacerbations among children, thus far they have not explained these seasonal patterns of admissions. The striking temporal patterns of pediatric asthma admissions within Maryland, as described here, provide valuable information in the search for causes.

Emergency Treatment/utilization↗
DOE OSTI2025

Tactical Analysis for Calculating Contextual Risk at Boundaries: Summary of Laboratory Directed Research & Development Effort

The Tactical Analysis for Calculating Contextual Risk at Boundaries (TACCRAB) tool is an innovative digital twin (DT) platform and automated risk algorithm designed to transform operational decision-making in structured screening environments, with an initial focus on Southern Border Land Ports of Entry (POEs). The invention provides integration points for advanced artificial intelligence, predictive modeling, and real-time data analysis to produce a comprehensive risk management tool that enables proactive, data-informed security strategies. The core inventive features of TACCRAB center on its unique risk algorithm, which dynamically calculates contextual risk by synthesizing historical data, near real-time streaming data from the checkpoints themselves, and AI-generated predictions. Unlike traditional risk assessment methods, TACCRAB utilizes a DT to provide comprehensive operational insights, allowing stakeholders to visualize, simulate, and optimize checkpoint configurations with unprecedented speed and contextual awareness. TACCRAB's key innovation lies in its ability to combine multiple complex inputs - including technology detection probabilities, resource availability, screening pathway characteristics, and threat actor behavioral patterns - into a unified risk calculation and update these inputs based on changing operational and environmental conditions. By leveraging a DT that continuously updates and learns from linked data, TACCRAB can suggest adaptive mitigation strategies that minimize risk while maintaining operational efficiency. Particularly novel is the platform's approach to decision support, which goes beyond static risk assessment. The DT provides dynamic metrics such as wait times, resource allocation effectiveness, and potential emerging threat scenarios, enabling users to view sophisticated, relevant what-if simulations and optimize checkpoint operations in near real-time. The system's architecture allows for generalized application across different screening environments, such as secure facilities, ports of entry, and soft targets, making it a versatile tool for security and operational management. The invention distinguishes itself through its comprehensive integration of predictive modeling, AI-driven pattern discovery, and user-friendly interface design. By combining these elements, TACCRAB transforms complex risk data into actionable insights, supporting decision-makers at various organizational levels - from booth agents making split-second screening decisions to checkpoint managers optimizing the day's resource allocation to strategic planners managing long-term investments.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗
DOE OSTI2021

Ultrafast optical melting of trimer superstructure in layered 1T′-TaTe2

Abstract Quasi-two-dimensional transition-metal dichalcogenides are a key platform for exploring emergent nanoscale phenomena arising from complex interactions. Access to the underlying degrees-of-freedom on their natural time scales motivates the use of advanced ultrafast probes sensitive to self-organised atomic-scale patterns. Here, we report the ultrafast investigation of TaTe 2 , which exhibits unique charge and lattice trimer order characterised by a transition upon cooling from stripe-like chains into a (3 × 3) superstructure of trimer clusters. Utilising MeV-scale ultrafast electron diffraction, we capture the photo-induced TaTe 2 structural dynamics – exposing a rapid ≈ 1.4 ps melting of its low-temperature ordered state followed by recovery via thermalisation into a hot cluster superstructure. Density-functional calculations indicate that the initial quench is triggered by intra-trimer Ta charge transfer which destabilises the clusters, unlike melting of charge density waves in other TaX 2 compounds. Our work paves the way for further exploration and ultimately rapid optical and electronic manipulation of trimer superstructures.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Classifying One-Dimensional Quantum States Prepared by a Single Round of Measurements

Measurements and feedback have emerged as powerful resources for creating many-body quantum states. However, a detailed understanding has been restricted to fixed-point representatives of phases of matter. Here, we go beyond this and characterize the patterns of many-body entanglement that can be deterministically created from measurement. Focusing on one spatial dimension, a framework is developed for the case where a single round of measurements is the only entangling operation. We show this creates matrix-product states and identify necessary and sufficient tensor conditions for preparability, which uniquely determine the preparation protocol. We use these conditions to both classify preparable quantum states and characterize their physical constraints. In particular, we find a trade-off between the richness of the preparable entanglement spectrum and correlation functions, which leads to a no-go theorem for preparing certain quantum states. More broadly, we connect properties of the preparation protocol to the resulting phase of matter, including trivial, symmetry-breaking, and symmetry-protected topological phases—for both uniform and modulated symmetries. This work offers a resource-theoretic perspective on preparable quantum entanglement and shows how to systematically create states of matter, away from their fixed points, in quantum devices. Published by the American Physical Society 2025

Sahay, Rahul (ORCID:0000000174579826)↗
DOE OSTI2022

Environmental effects on aerosol–cloud interaction in non-precipitating marine boundary layer (MBL) clouds over the eastern North Atlantic

Abstract. Over the eastern North Atlantic (ENA) ocean, a total of 20 non-precipitating single-layer marine boundary layer (MBL) stratus and stratocumulus cloud cases are selected to investigate the impacts of the environmental variables on the aerosol–cloud interaction (ACIr) using the ground-based measurements from the Department of Energy Atmospheric Radiation Measurement (ARM) facility at the ENA site during 2016–2018. The ACIr represents the relative change in cloud droplet effective radius re with respect to the relative change in cloud condensation nuclei (CCN) number concentration at 0.2 % supersaturation (NCCN,0.2 %) in the stratified water vapor environment. The ACIr values vary from −0.01 to 0.22 with increasing sub-cloud boundary layer precipitable water vapor (PWVBL) conditions, indicating that re is more sensitive to the CCN loading under sufficient water vapor supply, owing to the combined effect of enhanced condensational growth and coalescence processes associated with higher Nc and PWVBL. The principal component analysis shows that the most pronounced pattern during the selected cases is the co-variations in the MBL conditions characterized by the vertical component of turbulence kinetic energy (TKEw), the decoupling index (Di), and PWVBL. The environmental effects on ACIr emerge after the data are stratified into different TKEw regimes. The ACIr values, under both lower and higher PWVBL conditions, more than double from the low-TKEw to high-TKEw regime. This can be explained by the fact that stronger boundary layer turbulence maintains a well-mixed MBL, strengthening the connection between cloud microphysical properties and the below-cloud CCN and moisture sources. With sufficient water vapor and low CCN loading, the active coalescence process broadens the cloud droplet size spectra and consequently results in an enlargement of re. The enhanced activation of CCN and the cloud droplet condensational growth induced by the higher below-cloud CCN loading can effectively decrease re, which jointly presents as the increased ACIr. This study examines the importance of environmental effects on the ACIr assessments and provides observational constraints to future model evaluations of aerosol–cloud interactions.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2026

Unified Description of Cuprate Superconductors by Fractionalized Electrons Emerging from Integrated Analyses of Photoemission Spectra and Quasiparticle Interference

Electronic structure of high-temperature superconducting cuprates is studied by analyzing experimental data independently obtained from two complementary spectroscopies: one, quasiparticle interference (QPI) measured by scanning-tunneling microscopy, and the other, angle-resolved photoemission spectroscopy (ARPES). We combine these two sets of data in a unified theoretical analysis. Through explicit calculations of experimentally measurable quantities, we show that a simple two-component fermion model (TCFM) representing electron fractionalization succeeds in reproducing various detailed features of these experimental data: ARPES and QPI data are concomitantly reproduced by the TCFM in full energy and momentum spaces. The measured QPI pattern reveals a signature characteristic of the TCFM, distinct from the conventional single-component prediction, supporting the validity of the electron fractionalization in the cuprates. The integrated analysis also solves the puzzles of ARPES and QPI data that are seemingly inconsistent with each other. The overall success of the TCFM offers a comprehensive understanding of the electronic structure of the cuprates, in particular, the unoccupied side of the spectra, of which momentum-resolved structure has long been unexplored experimentally. We further predict that a characteristic QPI pattern should appear in the unoccupied high-energy part if the fractionalization is at work. We propose that integrated-spectroscopy analyses offer a promising way to explore challenging issues of strongly correlated electron systems.

Sakai, Shiro [Sophia University; RIKEN Center for ↗
DOE OSTI2021

Scalable Pattern Matching in Metadata Graphs via Constraint Checking

Pattern matching is a fundamental tool for answering complex graph queries. Unfortunately, existing solutions have limited capabilities: They do not scale to process large graphs and/or support only a restricted set of search templates or usage scenarios. Moreover, the algorithms at the core of the existing techniques are not suitable for today’s graph processing infrastructures relying on horizontal scalability and shared-nothing clusters, as most of these algorithms are inherently sequential and difficult to parallelize. In this article we present an algorithmic pipeline that bases pattern matching on constraint checking. The key intuition is that each vertex and edge participating in a match has to meet a set of constraints implicitly specified by the search template. These constraints can be verified independently and typically are less expensive to compute than searching the full template. The pipeline we propose generates these constraints and iterates over them to eliminate all the vertices and edges that do not participate in any match, thus reducing the background graph to a subgraph that is the union of all template matches—the complete set of all vertices and edges that participate in at least one match. Additional analysis can be performed on this annotated, reduced graph, such as full match enumeration, match counting, or computing vertex/edge centrality. Furthermore, a vertex-centric formulation for constraint checking algorithms exists, and this makes it possible to harness existing high-performance, vertex-centric graph processing frameworks. This technique (i) enables highly scalable pattern matching in metadata (labeled) graphs; (ii) supports arbitrary patterns with 100% precision; (iii) enables tradeoffs between precision and time-to-solution, while always selects all vertices and edges that participate in matches, thus offering 100% recall; and (iv) supports a set of popular data analytics scenarios. We implement our approach on top of HavoqGT, an open-source asynchronous graph processing framework, and demonstrate its advantages through strong and weak scaling experiments on massive scale real-world (up to 257 billion edges) and synthetic (up to 4.4 trillion edges) labeled graphs, respectively, and at scales (1,024 nodes / 36,864 cores), orders of magnitude larger than used in the past for similar problems. This article serves two purposes: First, it synthesises the knowledge accumulated during a long-term project. Second, it presents new system features, usage scenarios, optimizations, and comparisons with related work that strengthen the confidence that pattern matching based on iterative pruning via constraint checking is an effective and scalable approach in practice. The new contributions include the following: (i) We demonstrate the ability of the constraint checking approach to efficiently support two additional search scenarios that often emerge in practice, interactive incremental search and exploratory search. (ii) We empirically compare our solution with two additional state-of-the-art systems, Arabsque and TriAD. (iii) We show the ability of our solution to accommodate a more diverse range of datasets with varying properties, e.g., scale, skewness, label distribution, and match frequency. (iv) We introduce or extend a number of system features (e.g., work aggregation, load balancing, and the ability to cap the generated traffic) and design optimizations and demonstrate their advantages with respect to improving performance and scalability. (v) We present bottleneck analysis and insights into artifacts that influence performance. (vi) We present a theoretical complexity argument that motivates the performance gains we observe.

97 MATHEMATICS AND COMPUTING↗