Cartesian Bicategories II

The notion of cartesian bicategory, introduced by Carboni and Walters for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory

Modeling of a Cantilever-Based Near-Field Scanning Microwave Microscope

We present a detailed modeling and characterization of our scalable microwave nanoprobe, which is a micro-fabricated cantilever-based scanning microwave probe with separated excitation and sensing electrodes. Using finite-element analysis, the tip-sample interaction is modeled as small impedance changes between the tip electrode and the ground at our working frequencies near 1GHz. The equivalent lumped elements of the cantilever can be determined by transmission line simulation of the matching network, which routes the cantilever signals to 50 Ohm feed lines. In the microwave electronics, the background common-mode signal is cancelled before the amplifier stage so that high sensitivity (below 1 atto-Farad capacitance changes) is obtained. Experimental characterization of the microwave probes was performed on ion-implanted Si wafers and patterned semiconductor samples. Pure electrical or topographical signals can be realized using different reflection modes of the probe.Comment: 7 figure

Nonequilibrium phase transition in a non integrable zero-range process

The present work is an endeavour to determine analytically features of the stationary measure of a non-integrable zero-range process, and to investigate the possible existence of phase transitions for such a nonequilibrium model. The rates defining the model do not satisfy the constraints necessary for the stationary measure to be a product measure. Even in the absence of a drive, detailed balance with respect to this measure is violated. Analytical and numerical investigations on the complete graph demonstrate the existence of a first-order phase transition between a fluid phase and a condensed phase, where a single site has macroscopic occupation. The transition is sudden from an imbalanced fluid where both species have densities larger than the critical density, to a critical neutral fluid and an imbalanced condensate

Deriving Bisimulation Congruences: 2-categories vs precategories

G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to deriving labelled bisimulation congruences from reduction systems. This paper develops the theory of GRPOs further, arguing that they provide a simple and powerful basis towards a comprehensive solution. As an example, we construct GRPOs in a category of ‘bunches and wirings.’ We then examine the approach based on Milner’s precategories and Leifer’s functorial reactive systems, and show that it can be recast in a much simpler way into the 2-categorical theory of GRPOs

Preliminary calibration of a generic scramjet combustor

The results of a preliminary investigation of the combustion of hydrogen fuel at hypersonic flow conditions are provided. The tests were performed in a generic, constant-area combustor model with test gas supplied by a free-piston-driven reflected-shock tunnel. Static pressure measurements along the combustor wall indicated that burning did occur for combustor inlet conditions of P(static) approximately equal to 19kPa, T(static) approximately equal to 1080 K, and U approximately equal to 3630 m/s with a fuel equivalence ratio approximately equal to 0.9. These inlet conditions were obtained by operating the tunnel with stagnation enthalpy approximately equal to 8.1 MJ/kg, stagnation pressure approximately equal to 52 MPa, and a contoured nozzle with a nominal exit Mach number of 5.5

Reverberation Mapping Results from MDM Observatory

We present results from a multi-month reverberation mapping campaign undertaken primarily at MDM Observatory with supporting observations from around the world. We measure broad line region (BLR) radii and black hole masses for six objects. A velocity-resolved analysis of the H_beta response shows the presence of diverse kinematic signatures in the BLR.Comment: To appear in the Proceedings of the IAU Symposium No. 267: Co-Evolution of Central Black Holes and Galaxies, Rio de Janeiro, 200

Camera trap arrays improve detection probability of wildlife: Investigating study design considerations using an empirical dataset.

Camera trapping is a standard tool in ecological research and wildlife conservation. Study designs, particularly for small-bodied or cryptic wildlife species often attempt to boost low detection probabilities by using non-random camera placement or baited cameras, which may bias data, or incorrectly estimate detection and occupancy. We investigated the ability of non-baited, multi-camera arrays to increase detection probabilities of wildlife. Study design components were evaluated for their influence on wildlife detectability by iteratively parsing an empirical dataset (1) by different sizes of camera arrays deployed (1-10 cameras), and (2) by total season length (1-365 days). Four species from our dataset that represented a range of body sizes and differing degrees of presumed detectability based on life history traits were investigated: white-tailed deer (Odocoileus virginianus), bobcat (Lynx rufus), raccoon (Procyon lotor), and Virginia opossum (Didelphis virginiana). For all species, increasing from a single camera to a multi-camera array significantly improved detection probability across the range of season lengths and number of study sites evaluated. The use of a two camera array increased survey detection an average of 80% (range 40-128%) from the detection probability of a single camera across the four species. Species that were detected infrequently benefited most from a multiple-camera array, where the addition of up to eight cameras produced significant increases in detectability. However, for species detected at high frequencies, single cameras produced a season-long (i.e, the length of time over which cameras are deployed and actively monitored) detectability greater than 0.75. These results highlight the need for researchers to be critical about camera trap study designs based on their intended target species, as detectability for each focal species responded differently to array size and season length. We suggest that researchers a priori identify target species for which inference will be made, and then design camera trapping studies around the most difficult to detect of those species

Structure of the stationary state of the asymmetric target process

We introduce a novel migration process, the target process. This process is dual to the zero-range process (ZRP) in the sense that, while for the ZRP the rate of transfer of a particle only depends on the occupation of the departure site, it only depends on the occupation of the arrival site for the target process. More precisely, duality associates to a given ZRP a unique target process, and vice-versa. If the dynamics is symmetric, i.e., in the absence of a bias, both processes have the same stationary-state product measure. In this work we focus our interest on the situation where the latter measure exhibits a continuous condensation transition at some finite critical density $\rho_c$, irrespective of the dimensionality. The novelty comes from the case of asymmetric dynamics, where the target process has a nontrivial fluctuating stationary state, whose characteristics depend on the dimensionality. In one dimension, the system remains homogeneous at any finite density. An alternating scenario however prevails in the high-density regime: typical configurations consist of long alternating sequences of highly occupied and less occupied sites. The local density of the latter is equal to $\rho_c$ and their occupation distribution is critical. In dimension two and above, the asymmetric target process exhibits a phase transition at a threshold density $\rho_0$ much larger than $\rho_c$. The system is homogeneous at any density below $\rho_0$, whereas for higher densities it exhibits an extended condensate elongated along the direction of the mean current, on top of a critical background with density $\rho_c$.Comment: 30 pages, 16 figure