An official website of the United States government
Abstract In this paper, we are interested in the following question: given an arbitrary Steiner triple systemonvertices and any 3‐uniform hypertreeonvertices, is it necessary thatcontainsas a subgraph provided? We show the answer is positive for a class of hypertrees and conjecture that the answer is always positive.
more »
« less
When is Psychology Research Useful in Artificial Intelligence? A Case for Reducing Computational Complexity in Problem Solving
Abstract A problem is a situation in which an agent seeks to attain a given goal without knowing how to achieve it. Human problem solving is typically studied as a search in a problem space composed of states (information about the environment) and operators (to move between states). A problem such as playing a game of chess haspossible states, and a traveling salesperson problem with as little as 82 cities already has more thandifferent tours (similar to chess). Biological neurons are slower than the digital switches in computers. An exhaustive search of the problem space exceeds the capacity of current computers for most interesting problems, and it is fairly clear that humans cannot in their lifetime exhaustively search even small fractions of these problem spaces. Yet, humans play chess and solve logistical problems of similar complexity on a daily basis. Even for simple problems humans do not typically engage in exploring even a small fraction of the problem space. This begs the question: How do humans solve problems on a daily basis in a fast and efficient way? Recent work suggests that humans build a problem representation and solve the represented problem—not the problem that is out there. The problem representation that is built and the process used to solve it are constrained by limits of cognitive capacity and a cost–benefit analysis discounting effort and reward. In this article, we argue that better understanding the way humans represent and solve problems using heuristics can help inform how simpler algorithms and representations can be used in artificial intelligence to lower computational complexity, reduce computation time, and facilitate real‐time computation in complex problem solving.
more »
« less
- Award ID(s):
- 1662230
- PAR ID:
- 10364347
- Publisher / Repository:
- Wiley-Blackwell
- Date Published:
- Journal Name:
- Topics in Cognitive Science
- Volume:
- 14
- Issue:
- 4
- ISSN:
- 1756-8757
- Page Range / eLocation ID:
- p. 687-701
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Plasma sheet electron precipitation into the diffuse aurora is critical for magnetosphere‐ionosphere coupling. Recent studies have shown that electron phase space holes can pitch‐angle scatter electrons and may produce plasma sheet electron precipitation. These studies have assumed identical electron hole parameters to estimate electron scattering rates (Vasko et al., 2018,https://doi.org/10.1063/1.5039687). In this study, we have re‐evaluated the efficiency of this scattering by incorporating realistic electron hole properties from direct spacecraft observations into computing electron diffusion rates and lifetimes. The most important electron hole properties in this evaluation are their distributions in velocity and spatial scale and electric field root‐mean‐square intensity (). Using direct measurements of electron holes during a plasma injection event observed by the Van Allen Probe at, we find that when4 mV/m electron lifetimes can drop below 1 h and are mostly within strong diffusion limits at energies below10 keV. During an injection observed by the THEMIS spacecraft at, electron holes with even typical intensities (1 mV/m) can deplete low‐energy (a few keV) plasma sheet electrons within tens of minutes following injections and convection from the tail. Our results confirm that electron holes are a significant contributor to plasma sheet electron precipitation during injections.more » « less
-
Abstract The apparent end of the internally generated Martian magnetic field at 3.6–4.1 Ga is a key event in Martian history and has been linked to insufficient core cooling. We investigate the thermal and magnetic evolution of the Martian core and mantle using parameterized models and considered three improvements on previous studies. First, our models account for thermal stratification in the core. Second, the models are constrained by estimates for the present‐day areotherm. Third, we consider core thermal conductivity,, values in the range 5–40 Was suggested by recent experiments on iron alloys at Mars core conditions. The majority of our models indicate that the core of Mars is fully conductive at present with core temperatures greater than 1940 K. All of our models are consistent with the range ofW. Models with an activation volume of 6 (0)require a mantle reference viscosity of Pa s.more » « less
-
Abstract Global ocean mean salinityis a key indicator of the Earth's hydrological cycle and the exchanges of freshwater between land and ocean, but its determination remains a challenge. Aside from traditional methods based on gridded salinity fields derived from in situ measurements, we explore estimates ofbased on liquid freshwater changes derived from space gravimetry data corrected for sea ice effects. For the 2005–2019 period analyzed, the differentseries show little consistency in seasonal, interannual, and long‐term variability. In situ estimates show sensitivity to choice of product and unrealistic variations. A suspiciously large rise insince ∼2015 is enough to measurably affect halosteric sea level estimates and can explain recent discrepancies in the global mean sea level budget. Gravimetry‐basedestimates are more realistic, inherently consistent with estimated freshwater contributions to global mean sea level, and provide a way to calibrate the in situ estimates.more » « less
-
Abstract We consider the mapping properties of the integral operator arising in nonlocal slender body theory (SBT) for the model geometry of a straight, periodic filament. It is well known that the classical singular SBT integral operator suffers from high wavenumber instabilities, making it unsuitable for approximating theslender body inverse problem, where the fiber velocity is prescribed and the integral operator must be inverted to find the force density along the fiber. Regularizations of the integral operator must therefore be used instead. Here, we consider two regularization methods: spectral truncation and the‐regularization of Tornberg and Shelley (2004). We compare the mapping properties of these approximations to the underlying partial differential equation (PDE) solution, which for the inverse problem is simply the Stokes Dirichlet problem with data constrained to be constant on cross sections. For the straight‐but‐periodic fiber with constant radius, we explicitly calculate the spectrum of the operator mapping fiber velocity to force for both the PDE and the approximations. We prove that the spectrum of the original SBT operator agrees closely with the PDE operator at low wavenumbers but differs at high frequencies, allowing us to define a truncated approximation with a wavenumber cutoff. For both the truncated and‐regularized approximations, we obtain rigorous‐based convergence to the PDE solution as: A fiber velocity withregularity givesconvergence, while a fiber velocity with at leastregularity yieldsconvergence. Moreover, we determine the dependence of the‐regularized error estimate on the regularization parameter.more » « less
