Thermal states of random quantum many-body systems

We study a distribution of thermal states given by random Hamiltonians with a local structure. We show that the ensemble of thermal states monotonically approaches the unitarily invariant ensemble with decreasing temperature if all particles interact according to a single random interaction and achieves a state $t$-design at temperature $O(1/\log(t))$. For the system where the random interactions are local, we show that the ensemble achieves a state $1$-design. We then provide numerical evidence indicating that the ensemble undergoes a phase transition at finite temperature.Comment: 5 pages, 4 figure

A CFD-informed quasi-steady model of flapping-wing aerodynamics

Aerodynamic performance and agility during flapping flight are determined by the combination of wing shape and kinematics. The degree of morphological and kinematic optimization is unknown and depends upon a large parameter space. Aimed at providing an accurate and computationally inexpensive modelling tool for flapping-wing aerodynamics, we propose a novel CFD (computational fluid dynamics)-informed quasi-steady model (CIQSM), which assumes that the aerodynamic forces on a flapping wing can be decomposed into quasi-steady forces and parameterized based on CFD results. Using least-squares fitting, we determine a set of proportional coefficients for the quasi-steady model relating wing kinematics to instantaneous aerodynamic force and torque; we calculate power as the product of quasi-steady torques and angular velocity. With the quasi-steady model fully and independently parameterized on the basis of high-fidelity CFD modelling, it is capable of predicting flapping-wing aerodynamic forces and power more accurately than the conventional blade element model (BEM) does. The improvement can be attributed to, for instance, taking into account the effects of the induced downwash and the wing tip vortex on the force generation and power consumption. Our model is validated by comparing the aerodynamics of a CFD model and the present quasi-steady model using the example case of a hovering hawkmoth. This demonstrates that the CIQSM outperforms the conventional BEM while remaining computationally cheap, and hence can be an effective tool for revealing the mechanisms of optimization and control of kinematics and morphology in flapping-wing flight for both bio-flyers and unmanned aerial systems

Solutions to the ultradiscrete Toda molecule equation expressed as minimum weight flows of planar graphs

We define a function by means of the minimum weight flow on a planar graph and prove that this function solves the ultradiscrete Toda molecule equation, its B\"acklund transformation and the two dimensional Toda molecule equation. The method we employ in the proof can be considered as fundamental to the integrability of ultradiscrete soliton equations.Comment: 14 pages, 10 figures Added citations in v

Active faults and related Late Quaternary deformation along the Northwestern Himalayan Frontal Zone, India

Numerous newly-identified traces of active faults in the Himalayan foothill zone along the HFF around Chandigarh, in Pinjore Dun, along the piedmont zone of the Lower Siwalik hill front and within the Lower Tertiary hill range reveal the pattern of thrust and strike-slip faulting, striking parallel to the principal structural trend (NNW-SSE) of the orogenic belt. The active Chandigarh Fault, Pinjore Garden Fault and Barsar thrust have vertically dislocated, warped and backtilted fluvial and alluvial-fan surfaces made up of Late Pleistocene-Holocene sediments. West- and southwest-facing fault scarplets with heights ranging from 12 to 50 m along these faults suggest continued tectonic movement through Late Pleistocene to recent times. Gentle warping and backtilting of the terraces on the hanging wall sides of the faults indicate fault-bend folding. These active faults are the manifestation of north-dipping imbricated thrust faults branching out from the major fault systems like the Main Boundary Fault (MBF) and Himalayan Frontal Fault (HFF), probably merging down northward into a décollement. The Taksal Fault, striking NNW-SSE, shows prominent right-lateral movement marked by lateral offset of streams and younger Quaternary terraces and occupies a narrow deep linear valley along the fault trace. Right stepping along this fault has resulted in formation of a small pull-apart basin. Fault scarplets facing ENE and WSW are the manifestation of dip-slip movement. This fault is an example of slip-partitioning between the strike-slip and thrust faults, suggesting ongoing oblique convergence of the Indian plate and northward migration of a tectonic sliver. Slip rate along the Taksal Fault has been calculated as 2.8 mm/yr. Preliminary trench investigation at the base of the Chandigarh Fault Scarp has revealed total displacement of 3.5 m along a low angle thrust fault with variable dip of 20° to 46° due northeast, possibly the result of one large magnitude (Mw 7) prehistoric earthquake. Taking into consideration the height of the Pinjore surface (20 to 25 m), tentative age (8.9 ± 1.9 ka), displacement during one event and average angle of fault dip (25°) gives slip rate of about 6.3 ± 2 mm/yr, a rate of horizontal shortening of 5.8 ± 1.8 mm/yr and recurrence of faulting of 555 ± 118 years along the Himalayan Frontal Fault

Evaluation of the Northern Territory Library's Libraries and Knowledge Centres Model

Evaluation of the Northern Territory Library's model for Libraries and Knowledge Centres in Indigenous communities

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original and Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Validation and empirical correction of MODIS AOT and AE over ocean

We present a validation study of Collection 5 MODIS level 2 Aqua and Terra AOT (aerosol optical thickness) and AE (Ångström exponent) over ocean by comparison to coastal and island AERONET (AErosol RObotic NETwork) sites for the years 2003–2009. We show that MODIS (MODerate-resolution Imaging Spectroradiometer) AOT exhibits significant biases due to wind speed and cloudiness of the observed scene, while MODIS AE, although overall unbiased, exhibits less spatial contrast on global scales than the AERONET observations. The same behaviour can be seen when MODIS AOT is compared against Maritime Aerosol Network (MAN) data, suggesting that the spatial coverage of our datasets does not preclude global conclusions. Thus, we develop empirical correction formulae for MODIS AOT and AE that significantly improve agreement of MODIS and AERONET observations. We show these correction formulae to be robust. Finally, we study random errors in the corrected MODIS AOT and AE and show that they mainly depend on AOT itself, although small contributions are present due to wind speed and cloud fraction in AOT random errors and due to AE and cloud fraction in AE random errors. Our analysis yields significantly higher random AOT errors than the official MODIS error estimate (0.03 + 0.05 τ), while random AE errors are smaller than might be expected. This new dataset of bias-corrected MODIS AOT and AE over ocean is intended for aerosol model validation and assimilation studies, but also has consequences as a stand-alone observational product. For instance, the corrected dataset suggests that much less fine mode aerosol is transported across the Pacific and Atlantic oceans

Barrier-controlled carrier transport in microcrystalline semiconducting materials: Description within a unified model

A recently developed model that unifies the ballistic and diffusive transport mechanisms is applied in a theoretical study of carrier transport across potential barriers at grain boundaries in microcrystalline semiconducting materials. In the unified model, the conductance depends on the detailed structure of the band edge profile and in a nonlinear way on the carrier mean free path. Equilibrium band edge profiles are calculated within the trapping model for samples made up of a linear chain of identical grains. Quantum corrections allowing for tunneling are included in the calculation of electron mobilities. The dependence of the mobilities on carrier mean free path, grain length, number of grains, and temperature is examined, and appreciable departures from the results of the thermionic-field-emission model are found. Specifically, the unified model is applied in an analysis of Hall mobility data for n-type microcrystalline Si thin films in the range of thermally activated transport. Owing mainly to the effect of tunneling, potential barrier heights derived from the data are substantially larger than the activation energies of the Hall mobilities. The specific features of the unified model, however, cannot be resolved within the rather large uncertainties of the analysis.Comment: REVTex, 19 pages, 9 figures; to appear in J. Appl. Phy

Quantum spin pumping mediated by magnon

We theoretically propose quantum spin pumping mediated by magnons, under a time-dependent transverse magnetic field, at the interface between a ferromagnetic insulator and a non-magnetic metal. The generation of a spin current under a thermal equilibrium condition is discussed by calculating the spin transfer torque, which breaks the spin conservation law for conduction electrons and operates the coherent magnon state. Localized spins lose spin angular momentum by emitting magnons and conduction electrons flip from down to up by absorbing the momentum. The spin transfer torque has a resonance structure as a function of the angular frequency of the applied transverse field. This fact is useful to enhance the spin pumping effect induced by quantum fluctuations. We also discuss the distinction between our quantum spin pumping theory and the one proposed by Tserkovnyak et al.Comment: 27 pages, 2 figures. v2; the detail of the calculation has been added in Appendix. The distinction from the spin pumping theory proposed by Tserkovnyak et al. has been clarified in section 5. v3; typos correcte