cssi/SciSciGPT-SciSciNet huggingface dataset:
Counterintuitive Characteristics of Optimal Distributed LRU Caching Over Unreliable Channels

Least-recently-used (LRU) caching and its variants have conventionally been used as a fundamental and critical method to ensure fast and efficient data access in computer and communication systems. Emerging data-intensive applications over unreliable channels, e.g., mobile edge computing and wireless content delivery networks, have imposed new challenges in optimizing LRU caching in environments prone to failures. Most existing studies focus on reliable channels, e.g., on wired Web servers and within data centers, which have already yielded good insights and successful algorithms. Surprisingly, we show that these insights do not necessarily hold true for unreliable channels. We consider a single-hop multi-cache distributed system with data items being dispatched by random hashing. The objective is to design efficient cache organization and data placement that minimize the miss probability. The former allocates the total memory space to each of the involved caches. The latter decides data routing and replication strategies. Analytically, we characterize the asymptotic miss probabilities for unreliable LRU caches, and optimize the system design. Remarkably, these results sometimes are counterintuitive, differing from the ones obtained for reliable caches. We discover an interesting phenomenon: allocating the cache space unequally can achieve a better performance, even when channel reliability levels are equal. In addition, we prove that splitting the total cache space into separate LRU caches can achieve a lower asymptotic miss probability than organizing the total space in a single LRU cache. These results provide new and even counterintuitive insights that motivate novel designs for caching systems over unreliable channels.
Craters on Charon: Impactors from a Collisional Cascade Among Trans-Neptunian Objects

We consider whether equilibrium size distributions from collisional cascades match the frequency of impactors derived from New Horizons crater counts on Charon (Singer et al 2019). Using an analytic model and a suite of numerical simulations, we demonstrate that collisional cascades generate wavy size distributions; the morphology of the waves depends on the binding energy of solids $Q_d^\star$ and the collision velocity $v_c$. For an adopted minimum size of solids, $r_{min}$ = 1 micron, and collision velocity $v_c$ = 1-3 km/sec, the waves are rather insensitive to the gravitational component of $Q_d^\star$. If the bulk strength component of $Q_d^\star$ is $Q_s r^{e_s}$ for particles with radius $r$, size distributions with small $Q_s$ are much wavier than those with large $Q_s$; systems with $e_s \approx -0.4$ have stronger waves than systems with $e_s \approx 0$. Detailed comparisons with the New Horizons data suggest that a collisional cascade among solids with a bulk strength intermediate between weak ice (Leinhardt & Stewart 2012) and normal ice (Schlichting et al 2013) produces size distributions fairly similar to the size distribution of impactors on Charon. If the surface density $\Sigma$ of the protosolar nebula varies with semimajor axis $a$ as $\Sigma \approx 30~{\rm g~cm^{-2}} (a / {\rm 1~au})^{-3/2}$, the time scale for a cascade to generate an approximate equilibrium is 100-300 Myr at 45 au and 10-30 Myr at 25 au. Although it is necessary to perform more complete evolutionary calculations of the Kuiper belt, collisional cascades are a viable model for producing the size distribution of solids that impacted Charon throughout its history.
Bounds on distributional treatment effect parameters using panel data with an application on job displacement

Abstract This paper develops new techniques to bound distributional treatment effect parameters that depend on the joint distribution of potential outcomes — an object not identified by standard identifying assumptions such as selection on observables or even when treatment is randomly assigned. I show that panel data and an additional assumption on the dependence between untreated potential outcomes for the treated group over time (i) provide more identifying power for distributional treatment effect parameters than existing bounds and (ii) provide a more plausible set of conditions than existing methods that obtain point identification. I apply these bounds to study heterogeneity in the effect of job displacement during the Great Recession. Using standard techniques, I find that workers who were displaced during the Great Recession lost on average 34% of their earnings relative to their counterfactual earnings had they not been displaced. Using the methods developed in the current paper, I also show that the average effect masks substantial heterogeneity across workers.
Gaussian Process Assisted Active Learning of Physical Laws

In many areas of science and engineering, discovering the governing differential equations from the noisy experimental data is an essential challenge. It is also a critical step in understanding th...
Near-wall patch representation of wall-bounded turbulence

Recent experimental and computational studies indicate that near-wall turbulent flows can be characterized by universal small-scale autonomous dynamics that is modulated by large-scale structures. We formulate numerical simulations of near-wall turbulence in a small domain localized to the boundary, whose size scales in viscous units. To mimic the environment in which the near-wall turbulence evolves, the formulation accounts for the flux of mean momentum through the upper boundary of the domain. Comparisons of the model's two-dimensional energy spectra and low-order single-point statistics with the corresponding quantities computed from direct numerical simulations indicate that it successfully captures the dynamics of the small-scale near-wall turbulence.
Human-Centric Active Perception for Autonomous Observation

As robot autonomy improves, robots are increasingly being considered in the role of autonomous observation systems — free-flying cameras capable of actively tracking human activity within some predefined area of interest. In this work, we formulate the autonomous observation problem through multi-objective optimization, presenting a novel Semi-MDP formulation of the autonomous human observation problem that maximizes observation rewards while accounting for both human- and robot-centric costs. We demonstrate that the problem can be solved with both scalarization-based Multi-Objective MDP methods and Constrained MDP methods, and discuss the relative benefits of each approach. We validate our work on activity tracking using a NASA Astrobee robot operating within a simulated International Space Station environment.
Input modeling and uncertainty quantification for improving volatile residential load forecasting

Abstract Residential load forecasting has been playing an increasingly important role in operation and planning of power systems. Over the recent years, accurate forecasts of individual loads have become ever more challenging due to the proliferation of distributed energy resources. This paper identifies and verifies the opportunity of improving load forecasting performance by incorporating suitable input modeling and uncertainty quantification, and proposes a two-stage approach that enjoys the following features. (1) It provides input modeling and quantifies the impact of input errors, rather than neglect or mitigate the impact—a prevalent practice of existing methods. (2) It propagates the impact of input errors into the ultimate point and interval predictions for the target customer’s load for improved predictive performance. (3) A variance-based global sensitivity analysis method is further proposed for input-space dimensionality reduction in both stages to enhance the computational efficiency. Numerical experiments show that the proposed two-stage approach outperforms competing load forecasting methods with respect to both point predictive accuracy and coverage ability of the predictive intervals achieved.
Deep reconstruction of strange attractors from time series

Experimental measurements of physical systems often have a limited number of independent channels, causing essential dynamical variables to remain unobserved. However, many popular methods for unsupervised inference of latent dynamics from experimental data implicitly assume that the measurements have higher intrinsic dimensionality than the underlying system---making coordinate identification a dimensionality reduction problem. Here, we study the opposite limit, in which hidden governing coordinates must be inferred from only a low-dimensional time series of measurements. Inspired by classical analysis techniques for partial observations of chaotic attractors, we introduce a general embedding technique for univariate and multivariate time series, consisting of an autoencoder trained with a novel latent-space loss function. We show that our technique reconstructs the strange attractors of synthetic and real-world systems better than existing techniques, and that it creates consistent, predictive representations of even stochastic systems. We conclude by using our technique to discover dynamical attractors in diverse systems such as patient electrocardiograms, household electricity usage, neural spiking, and eruptions of the Old Faithful geyser---demonstrating diverse applications of our technique for exploratory data analysis.
Frequency and Severity of Pregnancy Complications in Women with Hereditary Thrombotic Thrombocytopenic Purpura

Critical complications of pregnancy in women with hereditary thrombotic thrombocytopenic purpura (TTP) have been recognized since hereditary TTP was first described and they continue to be frequently reported. However, the frequency of complications, their severity, and when they occur during pregnancy are not known. We reviewed all case reports of patients with hereditary TTP whose diagnosis was confirmed by documentation of ADAMTS13 activity Download : Download high-res image (222KB) Download : Download full-size image Figure . Disclosures No relevant conflicts of interest to declare.
Bias and sensitivity to task constraints in spontaneous relational attention.

Abstract Two experiments examined factors that predicted children’s tendencies to match objects versus relations across scenes when no instruction was given. Specifically, we assessed the presence of higher relational responding in children by (a) age, (b) greater presumed experience in generating relations through socialization in China versus the United States, and (c) in children with greater manipulated experience via a relational priming task. Experiment 1 showed that Chinese and U.S. children across all ages showed an initial bias to match objects versus relations across scenes. However, older children in both regions were more likely to notice features of the task that indicated attending to relational matches was a more reliable solution, and shifted their responding toward relations over the course of the task. Experiment 2 replicated the object-mapping bias and age effects within U.S. children while also examining the impact of directly manipulating children’s relational experiences to test the malleability of the bias. Before the main scene-mapping task, children did a relation generation task known to prime attention to relations. This did not override the initial bias toward object mapping, but it magnified the role of age, making older children increasingly sensitive to task features that prompted relational matches, further shifting their responding toward relations over the course of the task.
On Matched Filtering for Statistical Change Point Detection

Non-parametric and distribution-free two-sample tests have been the foundation of many change point detection algorithms. However, randomness in the test statistic as a function of time makes them susceptible to false positives and localization ambiguity. We address these issues by deriving and applying filters matched to the expected temporal signatures of a change for various sliding window, two-sample tests under IID assumptions on the data. These filters are derived asymptotically with respect to the window size for the Wasserstein quantile test, the Wasserstein-1 distance test, Maximum Mean Discrepancy squared (MMD $^2$ ), and the Kolmogorov-Smirnov (KS) test. The matched filters are shown to have two important properties. First, they are distribution-free, and thus can be applied without prior knowledge of the underlying data distributions. Second, they are peak-preserving, which allows the filtered signal produced by our methods to maintain expected statistical significance. Through experiments on synthetic data as well as activity recognition benchmarks, we demonstrate the utility of this approach for mitigating false positives and improving the test precision. Our method allows for the localization of change points without the use of ad-hoc post-processing to remove redundant detections common to current methods. We further highlight the performance of statistical tests based on the Quantile-Quantile (Q-Q) function and show how the invariance property of the Q-Q function to order-preserving transformations allows these tests to detect change points of different scales with a single threshold within the same dataset.
A Statistical Comparison between Photospheric Vector Magnetograms Obtained by SDO/HMI and Hinode/SP

Since 2010 May 1, we have been able to study (almost) continuously the vector magnetic field in the Sun, thanks to two space-based observatories: the Solar Dynamics Observatory (SDO) and Hinode. Both are equipped with instruments able to measure the Stokes parameters of Zeeman-induced polarization of photospheric line radiation. But the observation modes; the spectral lines; the spatial, spectral, and temporal sampling; and even the inversion codes used to recover magnetic and thermodynamic information from the Stokes profiles are different. We compare the vector magnetic fields derived from observations with the HMI instrument on board SDO with those observed by the SP instrument on Hinode. We have obtained relationships between components of magnetic vectors in the umbra, penumbra, and plage observed in 14 maps of NOAA Active Region 11084. Importantly, we have transformed SP data into observables comparable to those of HMI, to explore possible influences of the different modes of operation of the two instruments and the inversion schemes used to infer the magnetic fields. The assumed filling factor (fraction of each pixel containing a Zeeman signature) produces the most significant differences in derived magnetic properties, especially in the plage. The spectral and angular samplings have the next-largest effects. We suggest to treat the disambiguation in the same way in the data provided by HMI and SP. That would make the relationship between the vector magnetic field recovered from these data stronger, which would favor the simultaneous or complementary use of both instruments.
Runaway Stars, Hypervelocity Stars, and Radial Velocity Surveys

Runaway stars ejected from the Galactic disk populate the halo of the Milky Way. To predict the spatial and kinematic properties of runaways, we inject stars into a Galactic potential, compute their trajectories through the Galaxy, and derive simulated catalogs for comparison with observations. Runaways have a flattened spatial distribution, with higher velocity stars at Galactic latitudes less than 30 ◦ . Due to their shorter stellar lifetimes, massive runaway stars are more concentrated toward the disk than low mass runaways. Bound (unbound) runaways that reach the halo probably originate from distances of 6–12 kpc (10–15 kpc) from the Galactic center, close to the estimated origin of the unbound runaway star HD 271791. Because runaways are brighter and have smaller velocities than hypervelocity stars (HVSs), radial velocity surveys are unlikely to confuse runaway stars with HVSs. We estimate that at most one runaway star contaminates the current sample. We place an upper limit of 2% on the fraction of A-type main-sequence stars ejected as runaways.
Star Formation Relations in the Milky Way

The relations between star formation and properties of molecular clouds are studied based on a sample of star forming regions in the Galactic Plane. Sources were selected by having radio recombination lines to provide identification of associated molecular clouds and dense clumps. Radio continuum and mid-infrared emission were used to determine star formation rates, while 13CO and submillimeter dust continuum emission were used to obtain masses of molecular and dense gas, respectively. We test whether total molecular gas or dense gas provides the best predictor of star formation rate. We also test two specific theoretical models, one relying on the molecular mass divided by the free-fall time, the other using the free-fall time divided by the crossing time. Neither is supported by the data. The data are also compared to those from nearby star forming regions and extragalactic data. The star formation "efficiency," defined as star formation rate divided by mass, spreads over a large range when the mass refers to molecular gas; the standard deviation of the log of the efficiency decreases by a factor of three when the mass of relatively dense molecular gas is used rather than the mass of all the molecular gas.
Centralities for Networks with Consumable Resources

Identification of influential nodes is an important step in understanding and controlling the dynamics of information, traffic, and spreading processes in networks. As a result, a number of centrality measures have been proposed and used across different application domains. At the heart of many of these measures lies an assumption describing the manner in which traffic (of information, social actors, particles, etc.) flows through the network. For example, some measures only count shortest paths while others consider random walks. This paper considers a spreading process in which a resource necessary for transit is partially consumed along the way while being refilled at special nodes on the network. Examples include fuel consumption of vehicles together with refueling stations, information loss during dissemination with error-correcting nodes, and consumption of ammunition of military troops while moving. We propose generalizations of the well-known measures of betweenness, random-walk betweenness, and Katz centralities to take such a spreading process with consumable resources into account. In order to validate the results, experiments on real-world networks are carried out by developing simulations based on well-known models such as Susceptible-Infected-Recovered and congestion with respect to particle hopping from vehicular flow theory. The simulation-based models are shown to be highly correlated with the proposed centrality measures.Reproducibility: Our code and experiments are available at https://github.com/hmwesigwa/soc_centrality
Detection of Low-Mass-ratio Stellar Binary Systems

O- and B-type stars are often found in binary systems, but the low binary mass-ratio regime is relatively unexplored due to observational difficulties. Binary systems with low mass ratios may have formed through fragmentation of the circumstellar disk rather than molecular cloud core fragmentation. We describe a new technique sensitive to G- and K-type companions to early B stars, a mass ratio of roughly 0.1, using high-resolution, high signal-to-noise spectra. We apply this technique to a sample of archived VLT/CRIRES observations of nearby B stars in the CO bandhead near 2300 nm. While there are no unambiguous binary detections in our sample, we identify HIP 92855 and HIP 26713 as binary candidates warranting follow-up observations. We use our non-detections to determine upper limits to the frequency of FGK stars orbiting early B-type primaries.
The group of units on an affine variety

The object of study is the group of units &#x1d4aa;*(X) in the coordinate ring of a normal affine variety X over an algebraically closed field k. Methods of Galois cohomology are applied to those varieties that can be presented as a finite cyclic cover of a rational variety. On a cyclic cover X → &#x1d538;m of affine m-space over k such that the ramification divisor is irreducible and the degree is prime, it is shown that &#x1d4aa;*(X) is equal to k*, the non-zero scalars. The same conclusion holds, if X is a sufficiently general affine hyperelliptic curve. If X has a projective completion such that the divisor at infinity has r components, then sufficient conditions are given for &#x1d4aa;*(X)/k* to be isomorphic to ℤ(r-1).
Semantically enhanced software traceability using deep learning techniques

In most safety-critical domains the need for trace-ability is prescribed by certifying bodies. Trace links are generally created among requirements, design, source code, test cases and other artifacts; however, creating such links manually is time consuming and error prone. Automated solutions use information retrieval and machine learning techniques to generate trace links; however, current techniques fail to understand semantics of the software artifacts or to integrate domain knowledge into the tracing process and therefore tend to deliver imprecise and inaccurate results. In this paper, we present a solution that uses deep learning to incorporate requirements artifact semantics and domain knowledge into the tracing solution. We propose a tracing network architecture that utilizes Word Embedding and Recurrent Neural Network (RNN) models to generate trace links. Word embedding learns word vectors that represent knowledge of the domain corpus and RNN uses these word vectors to learn the sentence semantics of requirements artifacts. We trained 360 different configurations of the tracing network using existing trace links in the Positive Train Control domain and identified the Bidirectional Gated Recurrent Unit (BI-GRU) as the best model for the tracing task. BI-GRU significantly out-performed state-of-the-art tracing methods including the Vector Space Model and Latent Semantic Indexing.
SHARPER Fermi LAT IMAGES: INSTRUMENT RESPONSE FUNCTIONS FOR AN IMPROVED EVENT SELECTION

The Large Area Telescope (LAT) on the Fermi Gamma-ray Space Telescope has a point-spread function (PSF) with large tails, consisting of events affected by tracker inefficiencies, inactive volumes, and hard scattering; these tails can make source confusion a limiting factor. The parameter CTBCORE, available in the publicly available Extended Fermi LAT data (available at http://fermi.gsfc.nasa.gov/ssc/data/access/), estimates the quality of each event's direction reconstruction; by implementing a cut in this parameter, the tails of the PSF can be suppressed at the cost of losing effective area. We implement cuts on CTBCORE and present updated instrument response functions derived from the Fermi LAT data itself, along with all-sky maps generated with these cuts. Having shown the effectiveness of these cuts, especially at low energies, we encourage their use in analyses where angular resolution is more important than Poisson noise.
Metal Abundances of 12 Dwarf Irregulars from the ADBS Survey

We have analyzed long-slit spectra of 12 dwarf irregular galaxies from the Arecibo Dual Beam Survey (ADBS). These galaxies represent a heterogeneous sample of objects detected by ADBS, but on average are relatively gas-rich, low-surface-brightness, and low-mass, thus represent a region of the galaxian population that is not commonly included in optical surveys. The metallicity-luminosity relationship for these galaxies is analyzed; the galaxies discussed in this paper appear to be under-abundant at a given luminosity when compared to a sample from the literature. We attempt to identify a second parameter responsible for the intrinsic scatter and apparent under-abundance of our galaxies. We do not find a definitive second parameter but note the possible indication that infall or mixing of pristine gas may be responsible. We derive oxygen abundances for multiple H II regions in many of our galaxies but do not find any strong indications of metallicity variation within the galaxies except in one case where we see variation between an isolated H II region and the rest of the galaxy. Our data set includes the galaxy with the largest known H I-to-optical size ratio, ADBS 113845+2008. Our abundance analysis of this galaxy reveals that it is strongly over-enriched compared to galaxies of similar luminosity, indicating it is not a young object and confirming the result from Cannon et al. that this galaxy appears to be intrinsically rare in the local universe.
Magnetic permeability of near-critical 3d abelian Higgs model and duality

The three-dimensional abelian Higgs model has been argued to be dual to a scalar field theory with a global U(1) symmetry. We show that this duality, together with the scaling and universality hypotheses, implies a scaling law for the magnetic permeablity χm near the line of second order phase transition: χm ~ tν, where t is the deviation from the critical line and ν ≈ 0.67 is a critical exponent of the O(2) universality class. We also show that exactly on the critical lines, the dependence of magnetic induction on external magnetic field is quadratic, with a proportionality coefficient depending only on the gauge coupling. These predictions provide a way for testing the duality conjecture on the lattice in the Coulomb phase and at the phase transion.
Quantum mechanics and motion: A modern perspective

This essay is an attempted to address, from a modern perspective, the motion of a particle. Quantum mechanically, motion consists of a series of localizations due to repeated interactions that, taken close to the limit of the continuum, yields a world-line. If a force acts on the particle, its probability distribution is accordingly modified. This must also be true for macroscopic objects, although now the description is far more complicated by the structure of matter and associated surface physics. PACS: 03.65.Yz, 03.50.De, 03.65.Sq.
On the progenitors of core-collapse supernovae

Theory holds that a star born with an initial mass between about 8 and 140 times the mass of the Sun will end its life through the catastrophic gravitational collapse of its iron core to a neutron star or black hole. This core collapse process is thought to usually be accompanied by the ejection of the star’s envelope as a supernova. This established theory is now being tested observationally, with over three dozen core-collapse supernovae having had the properties of their progenitor stars directly measured through the examination of high-resolution images taken prior to the explosion. Here I review what has been learned from these studies and briefly examine the potential impact on stellar evolution theory, the existence of “failed supernovae”, and our understanding of the core-collapse explosion mechanism.
Beyond the standard model: This time for real

Abstract The value of the neutrino mass reported by the SuperK collaboration fits beautifully into the framework of gauge theory unification. Here I justify this claim, and review the other main reasons to believe in that framework. Supersymmetry and SO(10) symmetry are important ingredients; nucleon instability is a dramatic consequence.
CSER: Communication-efficient SGD with Error Reset.

The scalability of Distributed Stochastic Gradient Descent (SGD) is today limited by communication bottlenecks. We propose a novel SGD variant: Communication-efficient SGD with Error Reset, or CSER. The key idea in CSER is first a new technique called "error reset" that adapts arbitrary compressors for SGD, producing bifurcated local models with periodic reset of resulting local residual errors. Second we introduce partial synchronization for both the gradients and the models, leveraging advantages from them. We prove the convergence of CSER for smooth non-convex problems. Empirical results show that when combined with highly aggressive compressors, the CSER algorithms: i) cause no loss of accuracy, and ii) accelerate the training by nearly $10\times$ for CIFAR-100, and by $4.5\times$ for ImageNet.
KPZ Equation Limit of Stochastic Higher Spin Six Vertex Model

We consider the stochastic higher spin six vertex (SHS6V) model introduced by Corwin and Petrov (Commun. Math. Phys., 343(2), 651–700 2016) with general integer spin parameters I, J. Starting from near stationary initial condition, we prove that the SHS6V model converges to the Kardar-Parisi-Zhang (KPZ) equation under weakly asymmetric scaling. This generalizes the result in Corwin et al. (2018, Theorem 1.1) from I = J = 1 to general I, J.
Radiation pressure on submerged mirrors: implications for the momentum of light in dielectric media.

Radiation pressure measurements on mirrors submerged in dielectric liquids have consistently shown an effective Minkowski momentum for the photons within the liquid. Using an exact theoretical calculation based on Maxwell’s equations and the Lorentz law of force, we demonstrate that this result is a consequence of the fact that conventional mirrors impart, upon reflection, a 180° phase shift to the incident beam of light. If the mirror is designed to impart a different phase, then the effective momentum will turn out to be anywhere between the two extremes of the Minkowski and Abraham momenta. Since all values in the range between these two extremes are equally likely to be found in experiments, we argue that the photon momentum inside a dielectric host has the arithmetic mean value of the Abraham and Minkowski momenta.
An online delay efficient packet scheduler for M2M traffic in industrial automation

Some Machine-to-Machine (M2M) communication links particularly those in a industrial automation plant have stringent latency requirements. In this paper, we study the delay-performance for the M2M uplink from the sensors to a Programmable Logic Controller (PLC) in a industrial automation scenario. The uplink traffic can be broadly classified as either Periodic Update (PU) and Event Driven (ED). The PU arrivals from different sensors are periodic, synchronized by the PLC and need to be processed by a prespecified firm latency deadline. On the other hand, the ED arrivals are random, have low-arrival rate, but may need to be processed quickly depending upon the criticality of the application. To accommodate these contrasting Quality-of-Service (QoS) requirements, we model the utility of PU and ED packets using step function and sigmoidal functions of latency respectively. Our goal is to maximize the overall system utility while being proportionally fair to both PU and ED data. To this end, we propose a novel online QoS-aware packet scheduler that gives priority to ED data as long as that results the latency deadline is met for PU data. However as the size of networks increases, we drop the PU packets that fail to meet latency deadline which reduces congestion and improves overall system utility. Using extensive simulations, we compare the performance of our scheme with various scheduling policies such as First-Come-First-Serve (FCFS), Earliest-Due-Date (EDD) and (preemptive) priority. We show that our scheme outperforms the existing schemes for various simulation scenarios.
PHOTOMETRIC TRENDS IN THE VISIBLE SOLAR CONTINUUM AND THEIR SENSITIVITY TO THE CENTER-TO-LIMB PROFILE

Solar irradiance variations over solar rotational timescales are largely determined by the passage of magnetic structures across the visible solar disk. Variations on solar cycle timescales are thought to be similarly due to changes in surface magnetism with activity. Understanding the contribution of magnetic structures to total solar irradiance and solar spectral irradiance requires assessing their contributions as a function of disk position. Since only relative photometry is possible from the ground, the contrasts of image pixels are measured with respect to a center-to-limb intensity profile. Using nine years of full-disk red and blue continuum images from the Precision Solar Photometric Telescope at the Mauna Loa Solar Observatory, we examine the sensitivity of continuum contrast measurements to the center-to-limb profile definition. Profiles which differ only by the amount of magnetic activity allowed in the pixels used to determine them yield oppositely signed solar cycle length continuum contrast trends, either agreeing with previous results and showing negative correlation with solar cycle or disagreeing and showing positive correlation with solar cycle. Changes in the center-to-limb profile shape over the solar cycle are responsible for the contradictory contrast results, and we demonstrate that the lowest contrast structures, internetwork and network, are most sensitive to these. Thus the strengths of the full-disk, internetwork, and network photometric trends depend critically on the magnetic flux density used in the quiet-Sun definition. We conclude that the contributions of low contrast magnetic structures to variations in the solar continuum output, particularly to long-term variations, are difficult, if not impossible, to determine without the use of radiometric imaging.
WATER CLOUDS IN Y DWARFS AND EXOPLANETS

The formation of clouds affects brown dwarf and planetary atmospheres of nearly all effective temperatures. Iron and silicate condense in L dwarf atmospheres and dissipate at the L/T transition. Minor species such as sulfides and salts condense in mid- to late T dwarfs. For brown dwarfs below T eff 450 K, water condenses in the upper atmosphere to form ice clouds. Currently, over a dozen objects in this temperature range have been discovered, and few previous theoretical studies have addressed the effect of water clouds on brown dwarf or exoplanetary spectra. Here we present a new grid of models that include the effect of water cloud opacity. We find that they become optically thick in objects below T eff 350-375 K. Unlike refractory cloud materials, water-ice particles are significantly nongray absorbers; they predominantly scatter at optical wavelengths through the J band and absorb in the infrared with prominent features, the strongest of which is at 2.8 μm. H2O, NH3, CH4, and H2 CIA are dominant opacity sources; less abundant species may also be detectable, including the alkalis, H2S, and PH3. PH3, which has been detected in Jupiter, is expected to have a strong signature in the mid-infrared at 4.3 μm in Y dwarfs around T eff = 450 K; if disequilibrium chemistry increases the abundance of PH3, it may be detectable over a wider effective temperature range than models predict. We show results incorporating disequilibrium nitrogen and carbon chemistry and predict signatures of low gravity in planetary mass objects. Finally, we make predictions for the observability of Y dwarfs and planets with existing and future instruments, including the James Webb Space Telescope and Gemini Planet Imager. © 2014. The American Astronomical Society. All rights reserved.
On the approximability of Time Disjoint Walks

We introduce the combinatorial optimization problem Time Disjoint Walks. This problem takes as input a digraph \(G\) with positive integer arc lengths, and \(k\) pairs of vertices that each represent a trip demand from a source to a destination. The goal is to find a path and delay for each demand so that no two trips occupy the same vertex at the same time, and so that the sum of trip times is minimized. We show that even for DAGs with max degree \(\varDelta \le 3\), Time Disjoint Walks is APX-hard. We also present a natural approximation algorithm, and provide a tight analysis. In particular, we prove that it achieves an approximation ratio of \(\varTheta (k/\log k)\) on bounded-degree DAGs, and \(\varTheta (k)\) on DAGs and bounded-degree digraphs.
Anisotropic thermal expansion of AEFe2As2 (AE = Ba, Sr, Ca) single crystals

We report anisotropic thermal expansion of the parent, AEFe2As2 (AE = Ba, Sr, and Ca), compounds. Above the structural/antiferromagnetic phase transition anisotropy of the thermal expansion coefficients is observed, with the coefficient along the a-axis being significantly smaller than the coefficient for the c-axis. The high temperature (200 K ≤ T ≤ 300 K) coefficients themselves have similar values for the compounds studied. The sharp anomalies associated with the structural/antiferromagnetic phase transitions are clearly seen in the thermal expansion measurements. For all three pure compounds, the ‘average’ a-value increases and the c-lattice parameter decreases on warming through the transition, with the smallest change in the lattice parameters observed for SrFe2As2. The data are in general agreement with the literature data from X-ray and neutron diffraction experiments.
Linear response to long wavelength fluctuations using curvature simulations

We study the local response to long wavelength fluctuations in cosmological N-body simulations, focusing on the matter and halo power spectra, halo abundance and non-linear transformations of the density field. The long wavelength mode is implemented using an effective curved cosmology and a mapping of time and distances. The method provides an alternative, more direct, way to measure the isotropic halo biases. Limiting ourselves to the linear case, we find generally good agreement between the biases obtained from the curvature method and the traditional power spectrum method at the level of a few percent. We also study the response of halo counts to changes in the variance of the field and find that the slope of the relation between the responses to density and variance differs from the naive derivation assuming a universal mass function by approximately 8–20%. This has implications for measurements of the amplitude of local non-Gaussianity using scale dependent bias. We also analyze the halo power spectrum and halo-dark matter cross-spectrum response to long wavelength fluctuations and derive second order halo bias from it, as well as the super-sample variance contribution to the galaxy power spectrum covariance matrix.
A Convex Information Relaxation for Constrained Decentralized Control Design Problems

We describe a convex programming approach to the calculation of lower bounds on the minimum cost of constrained decentralized control problems with nonclassical information structures. The class of problems that we consider entail the decentralized output feedback control of a linear time-varying system over a finite horizon, subject to polyhedral constraints on the state and input trajectories, and sparsity constraints on the controller's information structure. As the determination of optimal control policies for such systems is known to be computationally intractable in general, considerable effort has been made in the literature to identify efficiently computable, albeit suboptimal, feasible control policies. The construction of computationally tractable bounds on their suboptimality is the primary motivation for the techniques developed in this note. Specifically, given a decentralized control problem with nonclassical information, we characterize an expansion of the given information structure, which ensures its partial nestedness, while maximizing the optimal value of the resulting decentralized control problem under the expanded information structure. The resulting decentralized control problem is cast as an infinite-dimensional convex program, which is further relaxed via a partial dualization and a restriction to affine dual control policies. The resulting problem is a finite-dimensional conic program whose optimal value is a provable lower bound on the minimum cost of the original constrained decentralized control problem.
Constructive Game Logic

Game Logic is an excellent setting to study proofs-about-programs via the interpretation of those proofs as programs, because constructive proofs for games correspond to effective winning strategies to follow in response to the opponent’s actions. We thus develop Constructive Game Logic, which extends Parikh’s Game Logic (GL) with constructivity and with first-order programs a la Pratt’s first-order dynamic logic (DL). Our major contributions include: 1. a novel realizability semantics capturing the adversarial dynamics of games, 2. a natural deduction calculus and operational semantics describing the computational meaning of strategies via proof-terms, and 3. theoretical results including soundness of the proof calculus w.r.t. realizability semantics, progress and preservation of the operational semantics of proofs, and Existential Properties on support of the extraction of computational artifacts from game proofs. Together, these results provide the most general account of a Curry-Howard interpretation for any program logic to date, and the first at all for Game Logic.
Coined quantum walks on weighted graphs

We define a discrete-time, coined quantum walk on weighted graphs that is inspired by Szegedy's quantum walk. Using this, we prove that many lackadaisical quantum walks, where each vertex has l integer self-loops, can be generalized to a quantum walk where each vertex has a single self-loop of real-valued weight l. We apply this real-valued lackadaisical quantum walk to two problems. First, we analyze it on the line or one-dimensional lattice, showing that it is exactly equivalent to a continuous deformation of the three-state Grover walk with faster ballistic dispersion. Second, we generalize Grover's algorithm, or search on the complete graph, to have a weighted self-loop at each vertex, yielding an improved success probability when .
Physical Foundations of Landauer’s Principle

We review the physical foundations of Landauer’s Principle, which relates the loss of information from a computational process to an increase in thermodynamic entropy. Despite the long history of the Principle, its fundamental rationale and proper interpretation remain frequently misunderstood. Contrary to some misinterpretations of the Principle, the mere transfer of entropy between computational and non-computational subsystems can occur in a thermodynamically reversible way without increasing total entropy. However, Landauer’s Principle is not about general entropy transfers; rather, it more specifically concerns the ejection of (all or part of) some correlated information from a controlled, digital form (e.g., a computed bit) to an uncontrolled, non-computational form, i.e., as part of a thermal environment. Any uncontrolled thermal system will, by definition, continually re-randomize the physical information in its thermal state, from our perspective as observers who cannot predict the exact dynamical evolution of the microstates of such environments. Thus, any correlations involving information that is ejected into and subsequently thermalized by the environment will be lost from our perspective, resulting directly in an irreversible increase in thermodynamic entropy. Avoiding the ejection and thermalization of correlated computational information motivates the reversible computing paradigm, although the requirements for computations to be thermodynamically reversible are less restrictive than frequently described, particularly in the case of stochastic computational operations. There are interesting possibilities for the design of computational processes that utilize stochastic, many-to-one computational operations while nevertheless avoiding net entropy increase that remain to be fully explored.
Long-term Effects of the Targeting the Ultra Poor Program

This paper studies the long-run effects of a “big-push” program providing a large asset transfer to the poorest Indian households. In a randomized controlled trial that follows these households over 10 years, we find positive effects on consumption (1 SD), food security (0.1 SD), income (0.3 SD), and health (0.2 SD). These effects grow for the first seven years following the transfer and persist until year 10, consistent with the alleviation of a poverty trap. One main channel for persistence is that treated households take better advantage of opportunities to diversify into lucrative wage employment, especially through migration.
Write Error Rate of Spin-Transfer-Torque Random Access Memory Including Micromagnetic Effects Using Rare Event Enhancement

Spin-transfer-torque random access memory (STT-RAM) is a promising candidate for the next generation of random access memory due to improved scalability, read–write speeds, and endurance. However, the write pulse duration must be long enough to ensure a low write error rate (WER), the probability that a bit will remain unswitched after the write pulse is turned OFF, in the presence of stochastic thermal effects. WERs on the scale of $10^{-9}$ or lower are desired. Within a macrospin approximation, WERs can be calculated analytically using the Fokker–Planck method to this point and beyond. However, dynamic micromagnetic effects within the bit can affect and lead to faster switching. Such micromagnetic effects can be addressed via numerical solution of the stochastic Landau–Lifshitz–Gilbert–Slonczewski (LLGS) equation. However, determining WERs approaching $10^{-9}$ would require well over $10^{9}$ such independent simulations, which is infeasible. In this paper, we explore the calculation of WER using rare event enhancement (REE), an approach that has been used for Monte Carlo simulation of other systems where rare events nevertheless remain important. Using a prototype REE approach tailored to the STT-RAM switching physics, we demonstrate reliable calculation of a WER to $10^{-9}$ with sets of only approximately $10^{3}$ ongoing stochastic LLGS simulations, and the apparent ability to go further.
Massive star models with magnetic braking

Context. Magnetic fields at the surface of a few early-type stars have been directly detected. These fields have magnitudes between a few hundred G up to a few kG. In one case, evidence of magnetic braking has been found.Aims. We investigate the effects of magnetic braking on the evolution of rotating (υ ini = 200 km s-1 ) × 10 M ⊙ stellar models at solar metallicity during the main-sequence (MS) phase.Methods. The magnetic braking process is included in our stellar models according to the formalism deduced from 2D MHD simulations of magnetic wind confinement by ud-Doula and co-workers. Various assumptions are made regarding both the magnitude of the magnetic field and of the efficiency of the angular momentum transport mechanisms in the stellar interior.Results. When magnetic braking occurs in models with differential rotation, a strong and rapid mixing is obtained at the surface accompanied by a rapid decrease in the surface velocity. Such a process might account for some MS stars showing strong mixing and low surface velocities. When solid-body rotation is imposed in the interior, the star is slowed down so rapidly that surface enrichments are smaller than in similar models with no magnetic braking. In both kinds of models (differentially or uniformly rotating), magnetic braking due to a field of a few 100 G significantly reduces the angular momentum of the core during the MS phase. This reduction is much greater in solid-body rotating models.
Exact S-matrices for supersymmetric sigma models and the Potts model

We study the algebraic formulation of exact factorizable S-matrices for integrable two-dimensional field theories. We show that different formulations of the S-matrices for the Potts field theory are essentially equivalent, in the sense that they can be expressed in the same way as elements of the Temperley–Lieb algebra, in various representations. This enables us to construct the S-matrices for certain nonlinear sigma models that are invariant under the Lie 'supersymmetry' algebras sl(m + n|n) (m = 1, 2, n > 0), both for the bulk and for the boundary, simply by using another representation of the same algebra. These S-matrices represent the perturbation of the conformal theory at θ = π by a small change in the topological angle θ. The m = 1, n = 1 theory has applications to the spin quantum Hall transition in disordered fermion systems. We also find S-matrices describing the flow from weak to strong coupling, both for θ = 0 and θ = π, in certain other supersymmetric sigma models.