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

Wigner Crystallization in inhomogeneous one dimensional wires

We explore the theory of electrons confined by one dimensional power law potentials. We calculate the density profile in the high density electron gas, the low density Wigner crystal, and the intermediate regime. We extract the momentum space wavefunction of the electron at the Fermi surface, which can be measured in experiments on tunneling between parallel wires. The onset of localization leads to a dramatic broadening of the momentum space wavefunction together with pronounced sharpening (in energy) of the tunneling spectrum.Comment: 11 pages, 10 figures, RevTeX4: v2. Revised+Expande

Nuclear recoil energy scale in liquid xenon with application to the direct detection of dark matter

We show for the first time that the quenching of electronic excitation from nuclear recoils in liquid xenon is well-described by Lindhard theory, if the nuclear recoil energy is reconstructed using the combined (scintillation and ionization) energy scale proposed by Shutt {\it et al.}. We argue for the adoption of this perspective in favor of the existing preference for reconstructing nuclear recoil energy solely from primary scintillation. We show that signal partitioning into scintillation and ionization is well-described by the Thomas-Imel box model. We discuss the implications for liquid xenon detectors aimed at the direct detection of dark matter

Structural expansions for the ground state energy of a simple metal

A structural expansion for the static ground state energy of a simple metal is derived. An approach based on single particle band structure which treats the electron gas as a non-linear dielectric is presented, along with a more general many particle analysis using finite temperature perturbation theory. The two methods are compared, and it is shown in detail how band-structure effects, Fermi surface distortions, and chemical potential shifts affect the total energy. These are of special interest in corrections to the total energy beyond third order in the electron ion interaction, and hence to systems where differences in energies for various crystal structures are exceptionally small. Preliminary calculations using these methods for the zero temperature thermodynamic functions of atomic hydrogen are reported

Critical fields of liquids of liquid superconducting metallic hydrogen

Liquid metallic hydrogen, in a fully dissociated state, is predicted at certain densities to pass from dirty to clean and from type II to type I superconducting behavior as temperature is lowered

Comment on "Bounding and approximating parabolas for the spectrum of Heisenberg spin systems" by Schmidt, Schnack and Luban

Recently, Schmidt et al. proved that the energy spectrum of a Heisenberg spin system (HSS) is bounded by two parabolas, i.e. lines which depend on the total spin quantum number S as S(S+1). The prove holds for homonuclear HSSs which fulfill a weak homogenity condition. Moreover, the extremal values of the exact spectrum of various HSS which were studied numerically were found to lie on approximate parabolas, named rotational bands, which could be obtained by a shift of the boundary parabolas. In view of this, it has been claimed that the rotational band structure (RBS) of the energy spectrum is a general behavior of HSSs. Furthermore, since the approximate parabolas are very close to the true boundaries of the spectrum for the examples discussed, it has been claimed that the methods allow to predict the detailed shape of the spectrum and related properties for a general HSS. In this comment I will show by means of examples that the RBS hypothesis is not valid for general HSSs. In particular, weak homogenity is neither a necessary nor a sufficient condition for a HSS to exhibit a spectrum with RBS.Comment: Comments on the work of Schmidt et al, Europhys. Lett. 55, 105 (2001), cond-mat/0101228 (for the reply see cond-mat/0111581). To be published in Europhys. Let

Zero temperature phase diagram of the square-shoulder system

Particles that interact via a square-shoulder potential, consisting of an impenetrable hard core with an adjacent, repulsive, step-like corona, are able to self-organize in a surprisingly rich variety of rather unconventional ordered structures. Using optimization strategies that are based on ideas of genetic algorithms we encounter, as we systematically increase the pressure, the following archetypes of aggregates: low-symmetry cluster and columnar phases, followed by lamellar particle arrangements, until at high pressure values compact, high-symmetry lattices emerge. These structures are characterized in the NPT ensemble as configurations of minimum Gibbs free energy. Based on simple considerations, i.e., basically minimizing the number of overlapping coronae while maximizing at the same time the density, the sequence of emerging structures can easily be understood.Comment: Submitted to J. Chem. Phy

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

Lattice two-body problem with arbitrary finite range interactions

We study the exact solution of the two-body problem on a tight-binding one-dimensional lattice, with pairwise interaction potentials which have an arbitrary but finite range. We show how to obtain the full spectrum, the bound and scattering states and the "low-energy" solutions by very efficient and easy-to-implement numerical means. All bound states are proven to be characterized by roots of a polynomial whose degree depends linearly on the range of the potential, and we discuss the connections between the number of bound states and the scattering lengths. "Low-energy" resonances can be located with great precission with the methods we introduce. Further generalizations to include more exotic interactions are also discussed.Comment: 6 pages, 3 figure