Reasoning About a Simulated Printer Case Investigation with Forensic Lucid

In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification. The printer case involves a dispute between two parties that was previously solved using the finite-state automata (FSA) approach, and is now re-done in a more usable way in Forensic Lucid. Our simulation is based on the said case modeling by encoding concepts like evidence and the related witness accounts as an evidential statement context in a Forensic Lucid program, which is an input to the transition function that models the possible deductions in the case. We then invoke the transition function (actually its reverse) with the evidential statement context to see if the evidence we encoded agrees with one's claims and then attempt to reconstruct the sequence of events that may explain the claim or disprove it.Comment: 18 pages, 3 figures, 7 listings, TOC, index; this article closely relates to arXiv:0906.0049 and arXiv:0904.3789 but to remain stand-alone repeats some of the background and introductory content; abstract presented at HSC'09 and the full updated paper at ICDF2C'11. This is an updated/edited version after ICDF2C proceedings with more references and correction

Thermopower induced by a supercurrent in superconductor-normal-metal structures

We examine the thermopower Q of a mesoscopic normal-metal (N) wire in contact to superconducting (S) segments and show that even with electron-hole symmetry, Q may become finite due to the presence of supercurrents. Moreover, we show how the dominant part of Q can be directly related to the equilibrium supercurrents in the structure. In general, a finite thermopower appears both between the N reservoirs and the superconductors, and between the N reservoirs themselves. The latter, however, strongly depends on the geometrical symmetry of the structure.Comment: 4 pages, 4 figures; text compacted and material adde

Spin heat accumulation and its relaxation in spin valves

We study the concept of spin heat accumulation in excited spin valves, more precisely the effective electron temperature that may become spin dependent, both in linear response and far from equilibrium. A temperature or voltage gradient create non-equilibrium energy distributions of the two spin ensembles in the normal metal spacer, which approach Fermi-Dirac functions through energy relaxation mediated by electron-electron and electron-phonon coupling. Both mechanisms also exchange energy between the spin subsystems. This inter-spin energy exchange may strongly affect thermoelectric properties spin valves, leading, e.g., to violations of the Wiedemann-Franz law.Comment: 4 pages, 4 figures, close to published versio

Amplitude-mode dynamics of polariton condensates

We study the stability of collective amplitude excitations in non-equilibrium polariton condensates. These excitations correspond to renormalized upper polaritons and to the collective amplitude modes of atomic gases and superconductors. They would be present following a quantum quench or could be created directly by resonant excitation. We show that uniform amplitude excitations are unstable to the production of excitations at finite wavevectors, leading to the formation of density-modulated phases. The physical processes causing the instabilities can be understood by analogy to optical parametric oscillators and the atomic Bose supernova.Comment: 4 pages, 2 figure

A superconductor to superfluid phase transition in liquid metallic hydrogen

Although hydrogen is the simplest of atoms, it does not form the simplest of solids or liquids. Quantum effects in these phases are considerable (a consequence of the light proton mass) and they have a demonstrable and often puzzling influence on many physical properties, including spatial order. To date, the structure of dense hydrogen remains experimentally elusive. Recent studies of the melting curve of hydrogen indicate that at high (but experimentally accessible) pressures, compressed hydrogen will adopt a liquid state, even at low temperatures. In reaching this phase, hydrogen is also projected to pass through an insulator-to-metal transition. This raises the possibility of new state of matter: a near ground-state liquid metal, and its ordered states in the quantum domain. Ordered quantum fluids are traditionally categorized as superconductors or superfluids; these respective systems feature dissipationless electrical currents or mass flow. Here we report an analysis based on topological arguments of the projected phase of liquid metallic hydrogen, finding that it may represent a new type of ordered quantum fluid. Specifically, we show that liquid metallic hydrogen cannot be categorized exclusively as a superconductor or superfluid. We predict that, in the presence of a magnetic field, liquid metallic hydrogen will exhibit several phase transitions to ordered states, ranging from superconductors to superfluids.Comment: for a related paper see cond-mat/0410425. A correction to the front page caption appeared in Oct 14 issue of Nature: http://www.nature.com/nature/links/041014/041014-11.htm

Hall effect in strongly correlated low dimensional systems

We investigate the Hall effect in a quasi one-dimensional system made of weakly coupled Luttinger Liquids at half filling. Using a memory function approach, we compute the Hall coefficient as a function of temperature and frequency in the presence of umklapp scattering. We find a power-law correction to the free-fermion value (band value), with an exponent depending on the Luttinger parameter $K_{\rho}$. At high enough temperature or frequency the Hall coefficient approaches the band value.Comment: 7 pages, 3 figure

Electrostatic tuning of magnetism at the conducting (111) (La0.3_{0.3}Sr0.7_{0.7})(Al0.65_{0.65}Ta0.35_{0.35})/SrTiO3_3 interface

We present measurements of the low temperature electrical transport properties of the two dimensional carrier gas that forms at the interface of $(111)$ (La$_{0.3}$Sr$_{0.7}$)(Al$_{0.65}$Ta$_{0.35}$)/SrTiO$_3$ (LSAT/STO) as a function of applied back gate voltage, $V_g$. As is found in (111) LaAlO$_3$/SrTiO$_3$ interfaces, the low-field Hall coefficient is electron-like, but shows a sharp reduction in magnitude below $V_g \sim$ 20 V, indicating the presence of hole-like carriers in the system. This same value of $V_g$ correlates approximately with the gate voltage below which the magnetoresistance evolves from nonhysteretic to hysteretic behavior at millikelvin temperatures, signaling the onset of magnetic order in the system. We believe our results can provide insight into the mechanism of magnetism in SrTiO$_3$ based systems.Comment: 5 pages, 3 figure

Ground states of hard-core bosons in one dimensional periodic potentials

With Girardeau's Fermi-Bose mapping, we find the exact ground states of hard-core bosons residing in a one dimensional periodic potential. The analysis of these ground states shows that when the number of bosons $N$ is commensurate with the number of wells $M$ in the periodic potential, the boson system is a Mott insulator whose energy gap, however, is given by the single-particle band gap of the periodic potential; when $N$ is not commensurate with $M$, the system is a metal (not a superfluid). In fact, we argue that there may be no superfluid phase for any one-dimensional boson system in terms of Landau's criterion of superfluidity. The Kronig-Penney potential is used to illustrate our results.Comment: 6 pages, 6 figure

Can analyses of electronic patient records be independently and externally validated? The effect of statins on the mortality of patients with ischaemic heart disease: a cohort study with nested case-control analysis

Objective To conduct a fully independent and external validation of a research study based on one electronic health record database, using a different electronic database sampling the same population. Design Using the Clinical Practice Research Datalink (CPRD), we replicated a published investigation into the effects of statins in patients with ischaemic heart disease (IHD) by a different research team using QResearch. We replicated the original methods and analysed all-cause mortality using: (1) a cohort analysis and (2) a case-control analysis nested within the full cohort. Setting Electronic health record databases containing longitudinal patient consultation data from large numbers of general practices distributed throughout the UK. Participants CPRD data for 34 925 patients with IHD from 224 general practices, compared to previously published results from QResearch for 13 029 patients from 89 general practices. The study period was from January 1996 to December 2003. Results We successfully replicated the methods of the original study very closely. In a cohort analysis, risk of death was lower by 55% for patients on statins, compared with 53% for QResearch (adjusted HR 0.45, 95% CI 0.40 to 0.50; vs 0.47, 95% CI 0.41 to 0.53). In case-control analyses, patients on statins had a 31% lower odds of death, compared with 39% for QResearch (adjusted OR 0.69, 95% CI 0.63 to 0.75; vs OR 0.61, 95% CI 0.52 to 0.72). Results were also close for individual statins. Conclusions Database differences in population characteristics and in data definitions, recording, quality and completeness had a minimal impact on key statistical outputs. The results uphold the validity of research using CPRD and QResearch by providing independent evidence that both datasets produce very similar estimates of treatment effect, leading to the same clinical and policy decisions. Together with other non-independent replication studies, there is a nascent body of evidence for wider validity

Dynamical magneto-electric coupling in helical magnets

Collective mode dynamics of the helical magnets coupled to electric polarization via spin-orbit interaction is studied theoretically. The soft modes associated with the ferroelectricity are not the transverse optical phonons, as expected from the Lyddane-Sachs-Teller relation, but are the spin waves hybridized with the electric polarization. This leads to the Drude-like dielectric function $\epsilon(\omega)$ in the limit of zero magnetic anisotropy. There are two more low-lying modes; phason of the spiral and rotation of helical plane along the polarization axis. The roles of these soft modes in the neutron scattering and antiferromagnetic resonance are revealed, and a novel experiment to detect the dynamical magneto-electric coupling is proposed.Comment: 5 pages, 1 figur