We consider the mixed search game against an agile and visible fugitive. This is the variant of the classic fugitive search game on graphs where searchers may be placed to (or removed from) the vertices or slide along edges. Moreover, the fugitive resides on the edges of the graph and can move at any time along unguarded paths. The mixed search number against an agile and visible fugitive of a graph $G$, denoted $avms(G)$, is the minimum number of searchers required to capture to fugitive in this graph searching variant. Our main result is that this graph searching variant is monotone in the sense that the number of searchers required for a successful search strategy does not increase if we restrict the search strategies to those that do not permit the fugitive to visit an already clean edge. This means that mixed search strategies against an agile and visible fugitive can be polynomially certified, and therefore that the problem of deciding, given a graph $G$ and an integer $k,$ whether $avms(G)\leq k$ is in NP. Our proof is based on the introduction of the notion of tight bramble, that serves as an obstruction for the corresponding search parameter. Our results imply that for a g
As global warming intensifies, increased attention is being paid to monitoring fugitive methane emissions and detecting gas plumes from landfills. We have divided methane emission monitoring into three subtasks: methane concentration inversion, plume segmentation, and emission rate estimation. Traditional algorithms face certain limitations: methane concentration inversion typically employs the matched filter, which is sensitive to the global spectrum distribution and prone to significant noise. There is scant research on plume segmentation, with many studies depending on manual segmentation, which can be subjective. The estimation of methane emission rate frequently uses the IME algorithm, which necessitates meteorological measurement data. Utilizing the WENT landfill site in Hong Kong along with PRISMA hyperspectral satellite imagery, we introduce a novel deep learning-based framework for quantitative methane emission monitoring from remote sensing images that is grounded in physical simulation. We create simulated methane plumes using large eddy simulation (LES) and various concentration maps of fugitive emissions using the radiative transfer equation (RTE), while applying augme
A new method is proposed for estimating the rate of fugitive emissions of particulate matter from multiple time-dependent sources via measurements of deposition and concentration. We cast this source inversion problem within the Bayesian framework, and use a forward model based on a Gaussian plume solution. We present three alternate models for constructing the prior distribution on the emission rates as functions of time. Next, we present an industrial case study in which our framework is applied to estimate the rate of fugitive emissions of lead particulates from a smelter in Trail, British Columbia, Canada. The Bayesian framework not only provides an approximate solution to the inverse problem, but also quantifies the uncertainty in the solution. Using this information we perform an uncertainty propagation study in order to assess the impact of the estimated sources on the area surrounding the industrial site.
Given a simple graph $G$, we consider the node search problem with inert fugitive. We are interested in minimizing the maximum vertex occupation time, i.e. the maximum number of steps in which a vertex is occupied by a searcher during a search of $G$. We prove that a search program which does not allow a recontamination may not find an optimal solution to this problem, and the difference between the maximum vertex occupation time computed by a monotone search program and a program without such restriction may be arbitrarily large.
We investigate in detail the escape dynamics in an analytical gravitational model which describes the motion of stars in a quasar galaxy with a disk and a massive nucleus. We conduct a thorough numerical analysis distinguishing between regular and chaotic orbits as well as between trapped and escaping orbits, considering only unbounded motion for several energy levels. In order to distinguish safely and with certainty between ordered and chaotic motion we apply the Smaller ALingment Index (SALI) method. It is of particular interest to locate the escape basins through the openings around the collinear Lagrangian points $L_1$ and $L_2$ and relate them with the corresponding spatial distribution of the escape times of the orbits. Our exploration takes place both in the configuration $(x,y)$ and in the phase $(x,\dot{x})$ space in order to elucidate the escape process as well as the overall orbital properties of the galactic system. Our numerical analysis reveals the strong dependence of the properties of the considered escape basins with the total orbital energy, with a remarkable presence of fractal basin boundaries along all the escape regimes. We hope our outcomes to be useful for
Hungaria asteroids, whose orbits occupy the region in element space between $1.78< a< 2.03$ AU, $e<0.19$, $12^\circ<i<31^\circ$, are a possible source of Near-Earth Asteroids (NEAs). Named after (434) Hungaria these asteroids are relatively small, since the largest member of the group has a diameter of just about 11 km. They are mainly perturbed by Jupiter and Mars, possibly becoming Mars-crossers and, later, they may even cross the orbits of Earth and Venus. In this paper we analyze the close encounters and possible impacts of escaped Hungarias with the terrestrial planets. Out of about 8000 known Hungarias we selected 200 objects which are on the edge of the group. We integrated their orbits over 100 million years in a simplified model of the planetary system (Mars to Saturn) subject only to gravitational forces. We picked out a sample of 11 objects (each with 50 clones) with large variations in semi-major axis and restarted the numerical integration in a gravitational model including the planets from Venus to Saturn. Due to close encounters, some of them achieve high inclinations and eccentricities which, in turn, lead to relatively high velocity impacts on Venus,
Borrowing and extending the method of images we introduce a theoretical framework that greatly simplifies analytical and numerical investigations of the escape rate in open dynamical systems. As an example, we explicitly derive the exact size- and position-dependent escape rate in a Markov case for holes of finite size. Moreover, a general relation between the transfer operators of closed and corresponding open systems, together with the generating function of the probability of return to the hole is derived. This relation is then used to compute the small hole asymptotic behavior, in terms of readily calculable quantities. As an example we derive logarithmic corrections in the second order term. Being valid for Markov systems, our framework can find application in information theory, network theory, quantum Weyl law and via Ulam's method can be used as an approximation method in more general dynamical systems.
We define a new escape game in graphs that we call Nemesis. The game is played on a graph having a subset of vertices labeled as exits and the goal of one of the two players, called the fugitive, is to reach one of these exit vertices. The second player, i.e. the fugitive adversary, is called the Nemesis. Her goal is to trap the fugitive in a connected component which does not contain any exit. At each round of the game, the fugitive moves from one vertex to an adjacent vertex. Then the Nemesis deletes one edge anywhere in the graph. The game ends when either the fugitive reached an exit or when he is in a connected component that does not contain any exit. In trees and graphs of maximum degree bounded by 3, Nemesis can be solved in linear time. We also show that a variant of the game called Blizzard where only edges adjacent to the position of the fugitive can be deleted also admits a linear time solution. For arbitrary graphs, we show that Nemesis is PSPACE-complete, and that it is NP-hard on planar multigraphs. We extend our results to the related Cat Herding problem, proving its PSPACE-completeness. We also prove that finding a strategy based on a full binary escape tree whose
Given recent changes in federal climate policy, the United States is unlikely to meet its original 2030 Paris Agreement emission target of a 50-52% reduction from 2005 levels. However, rapid near-term abatement remains achievable through targeted multi-sector energy transitions. Extending the open-source energy system model, PyPSA-USA, to perform multi-sector analysis, we evaluate the primary drivers of USA energy costs and emissions though applying global sensitivity analysis. Our results suggest that fossil fuel price volatility is the dominant driver of marginal electricity and energy costs across most of the nation, however, uncoordinated state-level renewable mandates can induce localized cost spikes due to regional bottlenecks. We find that system climate impact (CO2e) is overwhelming sensitive to fugitive methane leakage rates and global warming potential assumptions. Addressing upstream methane leaks will play a crucial role in abating climate-related damages. Finally, demand-side electrification, specifically light-duty electric vehicles and service sector heating, can act as immediate levers for carbon abatement. The results of this work suggest that many of the Inflation
The rapid design and fabrication of soft robotic matter is of growing interest for shape morphing, actuation, and wearable devices. Here, we report a facile fabrication method for creating soft robotic materials with embedded pneumatics that exhibit programmable shape morphing behavior. Using rotational multi-material 3D printing, asymmetrical core-shell filaments composed of elastomeric shells and fugitive cores are patterned in 1D and 2D motifs. By precisely controlling the nozzle design, rotation rate, and print path, one can control the local orientation, shape, and cross-sectional area of the patterned fugitive core along each printed filament. Once the elastomeric matrix is cured, the fugitive cores are removed, leaving behind embedded conduits that facilitate pneumatic actuation. Using a connected Fermat spirals pathing approach, one can automatically generate desired print paths required for more complex soft robots, such as hand-inspired grippers. Our integrated design and printing approach enables one to rapidly build soft robotic matter that exhibits myriad shape morphing transitions on demand.
Often, the easiest way to learn something is to have to use it for a purpose. This purpose can be playful: In 'Tempus fugit', the player takes on the role of a magician who has to defeat enemies by casting spells. The applicability of spells and enemy attacks depends on the truth of formulas in linear temporal logic with past with respect to a trace that the player gradually builds. So, whoever wants to save the realm from monsters has to learn to read logic formulas. This paper describes the small browser game and explains our design choices. We expose how game mechanics connect to linear temporal logic with past over finite traces, and how this can help players approach a daunting topic like formal logic.
In this article we prove a sprinkled decoupling inequality for the stationary Hammersley's interacting particle process. Inspired by the work of Baldasso and Texeira (2018), and Hilário, Kious and Texeira (2020), we apply this inequality to study two distinct problems on the top of this particle process. First, we analyze a detection problem, demonstrating that a fugitive can evade particles, provided that their jump range is sufficiently large. Second, we show that a random walk in a dynamic random environment exhibits ballistic behavior with respect to the characteristic speed of the particle system, under a weak assumption on the probability of being away of this critical speed.
As artificial intelligence (AI) continues to reshape the workforce, its current trajectory raises pressing questions about its ultimate purpose. Why does job automation dominate the agenda, even at the expense of human agency and equity? This paper critiques the automation-centric paradigm, arguing that current reward structures, which largely focus on cost reduction, drive the overwhelming emphasis on task replacement in AI patents. Meanwhile, Human-Centered AI (HCAI), which envisions AI as a collaborator augmenting human capabilities and aligning with societal values, remains a fugitive from the mainstream narrative. Despite its promise, HCAI has gone ``missing'', with little evidence of its principles translating into patents or real-world impact. To increase impact, actionable interventions are needed to disrupt existing incentive structures within the HCI community. We call for a shift in priorities to support translational research, foster cross-disciplinary collaboration, and promote metrics that reward tangible and real-world impact.
Deploying hydrogen technologies is one option to reduce energy carbon dioxide emissions, but recent studies have called attention to the indirect climate implications of fugitive hydrogen emissions. We find that biases in hydroxyl (OH) radical concentrations and reactivity in current atmospheric chemistry models may cause a 20% overestimate of the hydrogen Global Warming Potential (GWP). A better understanding of OH chemistry is critical for reliable estimates of the hydrogen GWP.
Fugitive road dust (FRD), as one of the major pollutants in the city, poses great harm to the environment and the physical health of citizens. A common countermeasure adopted by government agencies is employing on-road water trucks (sprinklers) to spray water (sprinkle) on urban streets to reduce the FRD. Currently, the traveling routes of sprinklers are usually planned based on drivers' experience, which may lead low operation efficiency and could not respond to the real-time sprinkling demands. To address these issues, this study formulates the routes planning of sprinklers as a multi-depot mixed capacitated arc routing problem with real-time demands with the aim of minimizing the sprinklers' travel distance. We develop an improved adaptive large neighborhood search (ALNS) algorithm that incorporates a tabu-list and a perturbation mechanism to solve this problem. Furthermore, a problem-specific acceleration mechanism is designed to reduce unnecessary search domains to improve the efficiency of the algorithm. Empirical experiments are conducted based on various scenarios and the results demonstrate that the proposed algorithm generates solutions that are superior or at least compa
Context. Stars tend to form in clusters, but many escape their birth clusters very early. Identifying the escaped members of clusters can inform us about the dissolution of star clusters, but also about the stellar dynamics in the galaxy. Methods capable of finding escaped stars from many clusters are required to fully exploit the large amounts of data in the Gaia era. Aims. We present a new method of identifying escaped members of nearby clusters and apply it to ten young clusters. Methods. We assumed the escaped stars were close to the cluster in the past and performed traceback computations based on the Gaia DR3 radial velocity subsample. For each individual star, our method produces a probability estimate that it is an escaped member of a cluster, and for each cluster it also estimates the field star contamination rate of the identified fugitives. Results. Our method is capable of finding fugitives that have escaped from their cluster in the last few ten million years. In many cases the fugitives form an elongated structure that covers a large volume. Conclusions. The results presented here show that traceback computations using Gaia DR3 data can identify stars that have recent
The environmental impacts of global warming driven by methane (CH4) emissions have catalyzed significant research initiatives in developing novel technologies that enable proactive and rapid detection of CH4. Several data-driven machine learning (ML) models were tested to determine how well they identified fugitive CH4 and its related intensity in the affected areas. Various meteorological characteristics, including wind speed, temperature, pressure, relative humidity, water vapor, and heat flux, were included in the simulation. We used the ensemble learning method to determine the best-performing weighted ensemble ML models built upon several weaker lower-layer ML models to (i) detect the presence of CH4 as a classification problem and (ii) predict the intensity of CH4 as a regression problem.
Construction waste hauling trucks (CWHTs), as one of the most commonly seen heavy-duty vehicles in major cities around the globe, are usually subject to a series of regulations and spatial-temporal access restrictions because they not only produce significant NOx and PM emissions but also causes on-road fugitive dust. The timely and accurate prediction of CWHTs' destinations and dwell times play a key role in effective environmental management. To address this challenge, we propose a prediction method based on an interpretable activity-based model, input-output hidden Markov model (IOHMM), and validate it on 300 CWHTs in Chengdu, China. Contextual factors are considered in the model to improve its prediction power. Results show that the IOHMM outperforms several baseline models, including Markov chains, linear regression, and long short-term memory. Factors influencing the predictability of CWHTs' transportation activities are also explored using linear regression models. Results suggest the proposed model holds promise in assisting authorities by predicting the upcoming transportation activities of CWHTs and administering intervention in a timely and effective manner.
Construction waste hauling trucks (or `slag trucks') are among the most commonly seen heavy-duty diesel vehicles in urban streets, which not only produce significant carbon, NO$_{\textbf{x}}$ and PM$_{\textbf{2.5}}$ emissions but are also a major source of on-road and on-site fugitive dust. Slag trucks are subject to a series of spatial and temporal access restrictions by local traffic and environmental policies. This paper addresses the practical problem of predicting levels of slag truck activity at a city scale during heavy pollution episodes, such that environmental law enforcement units can take timely and proactive measures against localized truck aggregation. A deep ensemble learning framework (coined AI-Truck) is designed, which employs a soft vote integrator that utilizes Bi-LSTM, TCN, STGCN, and PDFormer as base classifiers. AI-Truck employs a combination of downsampling and weighted loss is employed to address sample imbalance, and utilizes truck trajectories to extract more accurate and effective geographic features. The framework was deployed for truck activity prediction at a resolution of 1km$\times$1km$\times$0.5h, in a 255 km$^{\textbf{2}}$ area in Chengdu, China.
Basaltic V-type asteroids are leftovers from the formation and evolution of differentiated planetesimals. They are thought to originate from mantles and crusts of multiple different parent bodies. Identifying the links between individual V-type asteroids and multiple planetesimals is challenging, especially in the inner part of the main asteroid belt, where the majority of V-type asteroids are expected to have originated from a single planetesimal, namely, (4) Vesta. In this work, we aim to trace the origin of a number of individual V-type asteroids from the inner part of the main asteroid belt. The main goal is to identify asteroids that may not be traced back to (4) Vesta and may therefore originate from other differentiated planetesimals. We performed a 2 Gy backward numerical integration of the orbits of the selected V-type asteroids. For each asteroid, we used 1001 clones to map the effect of orbital uncertainties. In the integration, we use information on physical properties of the considered V-type asteroids such as pole orientation, rotational period, and thermal parameters. The majority of V-types in the inner main belt outside the Vesta family are clearly Vesta fugitives.