Star Formation and Tidal Encounters with the Low Surface Brightness Galaxy UGC 12695 and Companions

We present VLA H I observations of the low surface brightness galaxy UGC 12695 and its two companions, UGC 12687 and a newly discovered dwarf galaxy 2333+1234. UGC 12695 shows solid body rotation but has a very lopsided morphology of the H I disk, with the majority of the H I lying in the southern arm of the galaxy. The H I column density distribution of this very blue, LSB galaxy coincides in detail with its light distribution. Comparing the H I column density of UGC 12695 with the empirical (but not well understood) value of Sigma_c = 10E21 atoms/cm^2 found in, i.e., Skillman's 1986 paper shows the star formation to be a local affair, occurring only in those regions where the column density is above this star formation threshold. The low surface brightness nature of this galaxy could thus be attributed to an insufficient gas surface density, inhibiting star formation on a more global scale. Significantly, though, the Toomre criterion places a much lower critical density on the galaxy (+/-10E20 atoms/cm^2), which is shown by the galaxy's low SFR to not be applicable. Within a projected distance of 300kpc/30kms of UGC 12695 lie two companion galaxies - UGC 12687, a high surface brightness barred spiral galaxy, and 2333+1234, a dwarf galaxy discovered during this investigation. The close proximity of the three galaxies, combined with UGC 12695's extremely blue color and regions of localized starburst and UGC 12687's UV excess bring to mind mutually induced star formation through tidal activity.Comment: 14 pages, 8 figures (2 color), To be published in A.J., May 2000

Andreev Reflections in Micrometer-Scale Normal-Insulator-Superconductor Tunnel Junctions

Understanding the subgap behavior of Normal-Insulator-Superconductor (NIS) tunnel junctions is important in order to be able to accurately model the thermal properties of the junctions. Hekking and Nazarov developed a theory in which NIS subgap current in thin-film structures can be modeled by multiple Andreev reflections. In their theory, the current due to Andreev reflections depends on the junction area and the junction resistance area product. We have measured the current due to Andreev reflections in NIS tunnel junctions for various junction sizes and junction resistance area products and found that the multiple reflection theory is in agreement with our data

The invisible power of fairness. How machine learning shapes democracy

Many machine learning systems make extensive use of large amounts of data regarding human behaviors. Several researchers have found various discriminatory practices related to the use of human-related machine learning systems, for example in the field of criminal justice, credit scoring and advertising. Fair machine learning is therefore emerging as a new field of study to mitigate biases that are inadvertently incorporated into algorithms. Data scientists and computer engineers are making various efforts to provide definitions of fairness. In this paper, we provide an overview of the most widespread definitions of fairness in the field of machine learning, arguing that the ideas highlighting each formalization are closely related to different ideas of justice and to different interpretations of democracy embedded in our culture. This work intends to analyze the definitions of fairness that have been proposed to date to interpret the underlying criteria and to relate them to different ideas of democracy.Comment: 12 pages, 1 figure, preprint version, submitted to The 32nd Canadian Conference on Artificial Intelligence that will take place in Kingston, Ontario, May 28 to May 31, 201

Spitzer Observations of Low Luminosity Isolated and Low Surface Brightness Galaxies

We examine the infrared properties of five low surface brightness galaxies (LSBGs) and compare them with related but higher surface brightness galaxies, using Spitzer Space Telescope images and spectra. All the LSBGs are detected in the 3.6 and 4.5um bands, representing the stellar population. All but one are detected at 5.8 and 8.0um, revealing emission from hot dust and aromatic molecules, though many are faint or point-like at these wavelengths. Detections of LSBGs at the far-infrared wavelengths, 24, 70, and 160um, are varied in morphology and brightness, with only two detections at 160um, resulting in highly varied spectral energy distributions. Consistent with previous expectations for these galaxies, we find that detectable dust components exist for only some LSBGs, with the strength of dust emission dependent on the existence of bright star forming regions. However, the far-infrared emission may be relatively weak compared with normal star-forming galaxies.Comment: 20 pages, 8 figures, accepted to Ap

Ground Heave Due to Jet Grouting Near an Existing Structure

Renovations of the MBTA Copley Station in Boston included construction of a new elevator shaft to improve disabled access to the existing Green Line station. The site is immediately adjacent to the Eastern façade of the historic Old South Church. The construction work required excavation support including a perimeter secant pile wall and a jet-grouted base plug. Significant ground and structural movements were observed during jet grouting, mainly associated with soil displacements during grout injection. A three dimensional numerical model was developed, using the Plaxis 3D Foundation™ program, in order to test the hypothesis that the observed movements of the structure could be associated with the installation of the jet grout piles. The amount of volume expansion associated with installation of jet grout piles is estimated based by calibrating the model to measured ground movements. The finite element model results give a consistent explanation for the observed pattern of movements, including the heave of the church wall and lateral displacements at inclinometers located within the vicinity of the structure, measured at the time when damage occurred. The model assumes there is a vertical line of weakness in the masonry, representative of a pre-existing structural crack, as observed by structural investigations; and hence, confirms the underlying mechanical hypothesis for the source of ground movements

On the Mean-Field Limit of Bosons with Coulomb Two-Body Interaction

In the mean-field limit the dynamics of a quantum Bose gas is described by a Hartree equation. We present a simple method for proving the convergence of the microscopic quantum dynamics to the Hartree dynamics when the number of particles becomes large and the strength of the two-body potential tends to 0 like the inverse of the particle number. Our method is applicable for a class of singular interaction potentials including the Coulomb potential. We prove and state our main result for the Heisenberg-picture dynamics of "observables", thus avoiding the use of coherent states. Our formulation shows that the mean-field limit is a "semi-classical" limit.Comment: Corrected typos and included an elementary proof of the Kato smoothing estimate (Lemma 6.1

From Model Checking to Runtime Verification and Back

We describe a novel approach for adapting an existing software model checker to perform precise runtime verification. The software under test is allowed to communicate with the wider environment (including the file system and network). The modifications to the model checker are small and self-contained, making this a viable strategy for re-using existing model checking tools in a new context. Additionally, from the data that is gathered during a single execution in the runtime verification mode, we automatically re-construct a description of the execution environment which can then be used in the standard, full-blown model checker. This additional verification step can further improve coverage, especially in the case of parallel programs, without introducing substantial overhead into the process of runtime verification

Long-time discrete particle effects versus kinetic theory in the self-consistent single-wave model

The influence of the finite number N of particles coupled to a monochromatic wave in a collisionless plasma is investigated. For growth as well as damping of the wave, discrete particle numerical simulations show an N-dependent long time behavior resulting from the dynamics of individual particles. This behavior differs from the one due to the numerical errors incurred by Vlasov approaches. Trapping oscillations are crucial to long time dynamics, as the wave oscillations are controlled by the particle distribution inhomogeneities and the pulsating separatrix crossings drive the relaxation towards thermal equilibrium.Comment: 11 pages incl. 13 figs. Phys. Rev. E, in pres

Optical microrheology using rotating laser-trapped particles

We demonstrate an optical system that can apply and accurately measure the torque exerted by the trapping beam on a rotating birefringent probe particle. This allows the viscosity and surface effects within liquid media to be measured quantitatively on a micron-size scale using a trapped rotating spherical probe particle. We use the system to measure the viscosity inside a prototype cellular structure.Comment: 5 pages, 4 figures. v2: bibliographic details, minor text correction