Two-dimensional state sum models and spin structures

The state sum models in two dimensions introduced by Fukuma, Hosono and Kawai are generalised by allowing algebraic data from a non-symmetric Frobenius algebra. Without any further data, this leads to a state sum model on the sphere. When the data is augmented with a crossing map, the partition function is defined for any oriented surface with a spin structure. An algebraic condition that is necessary for the state sum model to be sensitive to spin structure is determined. Some examples of state sum models that distinguish topologically-inequivalent spin structures are calculated.Comment: 43 pages. Mathematica script in ancillary file. v2: nomenclature of models and their properties changed, some proofs simplified, more detailed explanations. v3: extended introduction, presentational improvements; final versio

Graviton propagator from background-independent quantum gravity

We study the graviton propagator in euclidean loop quantum gravity, using the spinfoam formalism. We use boundary-amplitude and group-field-theory techniques, and compute one component of the propagator to first order, under a number of approximations, obtaining the correct spacetime dependence. In the large distance limit, the only term of the vertex amplitude that contributes is the exponential of the Regge action: the other terms, that have raised doubts on the physical viability of the model, are suppressed by the phase of the vacuum state, which is determined by the extrinsic geometry of the boundary.Comment: 6 pages. Substantially revised second version. Improved boundary state ansat

A symmetry analyser for non-destructive Bell state detection using EIT

We describe a method to project photonic two-qubit states onto the symmetric and antisymmetric subspaces of their Hilbert space. This device utilizes an ancillary coherent state, together with a weak cross-Kerr non-linearity, generated, for example, by electromagnetically induced transparency. The symmetry analyzer is non-destructive, and works for small values of the cross-Kerr coupling. Furthermore, this device can be used to construct a non-destructive Bell state detector.Comment: Final published for

Microscopic correlation between chemical and electronic states in epitaxial graphene on SiC(000-1)

We present energy filtered electron emission spectromicroscopy with spatial and wave-vector resolution on few layer epitaxial graphene on SiC$(000-1) grown by furnace annealing. Low energy electron microscopy shows that more than 80% of the sample is covered by 2-3 graphene layers. C1s spectromicroscopy provides an independent measurement of the graphene thickness distribution map. The work function, measured by photoelectron emission microscopy (PEEM), varies across the surface from 4.34 to 4.50eV according to both the graphene thickness and the graphene-SiC interface chemical state. At least two SiC surface chemical states (i.e., two different SiC surface structures) are present at the graphene/SiC interface. Charge transfer occurs at each graphene/SiC interface. K-space PEEM gives 3D maps of the k_|| pi - pi* band dispersion in micron scale regions show that the Dirac point shifts as a function of graphene thickness. Novel Bragg diffraction of the Dirac cones via the superlattice formed by the commensurately rotated graphene sheets is observed. The experiments underline the importance of lateral and spectroscopic resolution on the scale of future electronic devices in order to precisely characterize the transport properties and band alignments

Effect of quantum fluctuations on structural phase transitions in SrTiO_3 and BaTiO_3

Using path-integral Monte Carol simulations and an ab initio effective Hamiltonian, we study the effects of quantum fluctuations on structural phase transitions in the cubic perovskite compounds SrTiO3 and BaTiO3. We find quantum fluctuations affect ferroelectric (FE) transitions more strongly than antiferrodistortive (AFD) ones, even though the effective mass of a single FE local mode is larger. For SrTiO3 we find that the quantum fluctuations suppress the FE transition completely, and reduce the AFD transition temperature from 130K to 110K. For BaTiO3, quantum fluctuations do not affect the order of the transition, but do reduce the transition temperature by 35-50 K. The implications of the calculations are discussed.Comment: Revtex (preprint style, 14 pages) + 2 postscript figures. A version in two-column article style with embedded figures is available at http://electron.rutgers.edu/~dhv/preprints/index.html#wz_qs

New results on rewrite-based satisfiability procedures

Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for first-order logic is guaranteed to terminate on T-satisfiability problems, any theorem-proving strategy with that system and a fair search plan is a T-satisfiability procedure. We prove termination of a rewrite-based first-order engine on the theories of records, integer offsets, integer offsets modulo and lists. We give a modularity theorem stating sufficient conditions for termination on a combinations of theories, given termination on each. The above theories, as well as others, satisfy these conditions. We introduce several sets of benchmarks on these theories and their combinations, including both parametric synthetic benchmarks to test scalability, and real-world problems to test performances on huge sets of literals. We compare the rewrite-based theorem prover E with the validity checkers CVC and CVC Lite. Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting approach is elegant and conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page

Techno-economic and environmental evaluation of producing chemicals and drop-in aviation biofuels via aqueous phase processing

Novel aqueous-phase processing (APP) techniques can thermochemically convert cellulosic biomass into chemicals and liquid fuels. Here, we evaluate these technologies through process design and simulation, and from a techno-economic and environmental point of view. This is the first peer-reviewed study that conducts such an assessment taking into account different biomass pretreatment methods, process yields, product slates, and hydrogen sources, as well as the historical price variation of a number of core commodities involved in the production. This paper undertakes detailed process simulations for seven biorefinery models designed to convert red maple wood using a set of APP technologies into chemicals (e.g. furfural, hydroxymethylfurfural and gamma-valerolactone) and liquid fuels (e.g. naphtha, jet fuel and diesel). The simulation results are used to conduct a well-to-wake (WTW) lifecycle analysis for greenhouse gas (GHG) emissions, and minimum selling price (MSP) calculations based on historical commodity price data from January 2010 to December 2015. An emphasis has been given towards aviation fuels throughout this work, and the results have been reported and discussed extensively for these fuels. It is found that the WTW GHG emissions and the MSP of jet fuel vary across the different refinery configurations from 31.6–104.5 gCO2e per MJ (64% lower and 19% higher, respectively, than a reported petroleum-derived fuel baseline) and $1.00–6.31 per gallon ($0.26–1.67 per liter, which is 61% lower and 146% higher, respectively, than the average conventional jet fuel price of the above time frame). It has been shown that the variation in the estimated emissions and fuel selling prices is primarily driven by the choice of hydrogen source and the relative production volumes of chemicals to fuels, respectively. The latter is a consequence of the fact that the APP chemicals considered here have a higher economic value than the liquid transportation fuels, and that their production is less carbon intensive compared to these fuels. However, the chemical market may get saturated if they are produced in large quantities, and increasing biofuel production over that of chemicals can help the biorefinery benefit under renewable fuel programs

The local symmetries of M-theory and their formulation in generalised geometry

In the doubled field theory approach to string theory, the T-duality group is promoted to a manifest symmetry at the expense of replacing ordinary Riemannian geometry with generalised geometry on a doubled space. The local symmetries are then given by a generalised Lie derivative and its associated algebra. This paper constructs an analogous structure for M-theory. A crucial by-product of this is the derivation of the physical section condition for M-theory formulated in an extended space.Comment: 20 pages, v2: Author Name corrected, v3: typos correcte