title: An Atomic Gravitational Wave Interferometric Sensor in Low Earth Orbit (AGIS-LEO)

abstract: We propose an atom interferometer gravitational wave detector in low Earth orbit (AGIS-LEO). Gravitational waves can be observed by comparing a pair of atom interferometers separated over a ~30 km baseline. In the proposed configuration, one or three of these interferometer pairs are simultaneously operated through the use of two or three satellites in formation flight. The three satellite configuration allows for the increased suppression of multiple noise sources and for the detection of stochastic gravitational wave signals. The mission will offer a strain sensitivity of < 10^(-18) / Hz^(1/2) in the 50 mHz - 10 Hz frequency range, providing access to a rich scientific region with substantial discovery potential. This band is not currently addressed with the LIGO or LISA instruments. We analyze systematic backgrounds that are relevant to the mission and discuss how they can be mitigated at the required levels. Some of these effects do not appear to have been considered previously in the context of atom interferometry, and we therefore expect that our analysis will be broadly relevant to atom interferometric precision measurements. Finally, we present a brief conceptual overview of shorter-baseline (< 100 m) atom interferometer configurations that could be deployed as proof-of-principle instruments on the International Space Station (AGIS-ISS) or an independent satellite.

categories: physics.atom-ph astro-ph.IM gr-qc hep-ph


title: On a kind of Noether symmetries and conservation laws in k-cosymplectic field theory

abstract: This paper is devoted to studying symmetries of certain kinds of k-cosymplectic Hamiltonian systems in first-order classical field theories. Thus, we introduce a particular class of symmetries and study the problem of associating conservation laws to them by means of a suitable generalization of Noether's theorem.


title: String background fields and Riemann-Cartan geometry

abstract: We study classical dynamics of cylindrical membranes wrapped around the extra compact dimension of a $(D+1)$-dimensional Riemann-Cartan spacetime. The world-sheet equations and boundary conditions are obtained from the universally valid conservation equations of the stress-energy and spin tensors. Specifically, we consider membranes made of macroscopic matter with maximally symmetric distribution of spin. In the narrow membrane limit, the dimensionally reduced theory is obtained. It describes how effective strings couple to the effective $D$-dimensional geometry. The striking coincidence with the string theory $\sigma$-model is observed. In this correspondence, the string background fields $G_{\mu\nu}$, $B_{\mu\nu}$, $A_{\mu}$ and $\Phi$ are related to the metric and torsion of the Riemann-Cartan spacetime.


title: FUNDPAR: A Program for deriving Fundamental Parameters from Equivalent Widths

abstract: We implemented a fortran code that determine fundamental parameters of solar type stars from a list of Fe line equivalent widths. The solution should verify 3 conditions in the standard method: ionization equilibrium, excitation equilibrium and independence between metallicity and equivalent widths. We added the condition that the input metallicity of the model atmosphere should be similar to the output metallicity derived with equivalent widths. Solar-scaled Kurucz model atmospheres with NEWODF opacities are calculated with an independent program. Parameter files control different details, such as the mixing-length parameter, the overshooting, the damping of the lines and the weight factors in the definition of the chi2 function. FUNDPAR derive the uncertainties following 2 methods: the criteria of Gonzalez & Vanture (1998) and the dispersion using the chi2 function. The code use the 2009 version of the MOOG program. The results derived with FUNDPAR are in agreement with previous determinations in the literature. In particular we obtained the fundamental parameters of 58 exoplanet host stars. The program is freely available from the web (http://icate-conicet.gob.ar/saffe/fundpar/).


title: Minimization Strategies for Maximally Parallel Multiset Rewriting Systems

abstract: Maximally parallel multiset rewriting systems (MPMRS) give a convenient way to express relations between unstructured objects. The functioning of various computational devices may be expressed in terms of MPMRS (e.g., register machines and many variants of P systems). In particular, this means that MPMRS are computationally complete; however, a direct translation leads to quite a big number of rules. Like for other classes of computationally complete devices, there is a challenge to find a universal system having the smallest number of rules. In this article we present different rule minimization strategies for MPMRS based on encodings and structural transformations. We apply these strategies to the translation of a small universal register machine (Korec, 1996) and we show that there exists a universal MPMRS with 23 rules. Since MPMRS are identical to a restricted variant of P systems with antiport rules, the results we obtained improve previously known results on the number of rules for those systems.


title: Pac-bayesian bounds for sparse regression estimation with exponential weights

abstract: We consider the sparse regression model where the number of parameters $p$ is larger than the sample size $n$. The difficulty when considering high-dimensional problems is to propose estimators achieving a good compromise between statistical and computational performances. The BIC estimator for instance performs well from the statistical point of view \cite{BTW07} but can only be computed for values of $p$ of at most a few tens. The Lasso estimator is solution of a convex minimization problem, hence computable for large value of $p$. However stringent conditions on the design are required to establish fast rates of convergence for this estimator. Dalalyan and Tsybakov \cite{arnak} propose a method achieving a good compromise between the statistical and computational aspects of the problem. Their estimator can be computed for reasonably large $p$ and satisfies nice statistical properties under weak assumptions on the design. However, \cite{arnak} proposes sparsity oracle inequalities in expectation for the empirical excess risk only. In this paper, we propose an aggregation procedure similar to that of \cite{arnak} but with improved statistical performances. Our main theoretical result is a sparsity oracle inequality in probability for the true excess risk for a version of exponential weight estimator. We also propose a MCMC method to compute our estimator for reasonably large values of $p$.


title: Optical amplification enhancement in photonic crystals

abstract: Improving and controlling the efficiency of a gain medium is one of the most challenging problems of laser research. By measuring the gain length in an opal based photonic crystal doped with laser dye, we demonstrate that optical amplification is more than twenty-fold enhanced along the Gamma-K symmetry directions of the face centered cubic photonic crystal. These results are theoretically explained by directional variations of the density of states, providing a quantitative connection between density of the states and light amplification.


title: On a class of n-Leibniz deformations of the simple Filippov algebras

abstract: We study the problem of the infinitesimal deformations of all real, simple, finite-dimensional Filippov (or n-Lie) algebras, considered as a class of n-Leibniz algebras characterized by having an n-bracket skewsymmetric in its n-1 first arguments. We prove that all n>3 simple finite-dimensional Filippov algebras are rigid as n-Leibniz algebras of this class. This rigidity also holds for the Leibniz deformations of the semisimple n=2 Filippov (i.e., Lie) algebras. The n=3 simple FAs, however, admit a non-trivial one-parameter infinitesimal 3-Leibniz algebra deformation. We also show that the $n\geq 3$ simple Filippov algebras do not admit non-trivial central extensions as n-Leibniz algebras of the above class.


title: Activity in Geminid Parent (3200) Phaethon

abstract: The asteroid (3200) Phaethon is widely recognized as the parent of the Geminid meteoroid stream. However, it has never shown evidence for on-going mass loss or for any form of comet-like activity that would indicate the continued replenishment of the stream. Following an alert by Battams and Watson (2009), we used NASA's STEREO-A spacecraft to image Phaethon near perihelion, in the period UT 2009 June 17 - 22, when the heliocentric distance was near 0.14 AU. The resulting photometry shows an unexpected brightening, by a factor of two, starting UT 2009 June 20.2+/-0.2, which we interpret as an impulsive release of dust particles from Phaethon. If the density is near 2500 kg/m^3, then the emitted dust particles must have a combined mass of ~2.5x10^8 a1 kg, where a1 is the particle radius in millimeters. Assuming a1 = 1, this is approximately 10^-4 of the Geminid stream mass and to replenish the stream in steady-state within its estimated ~1000 yr lifetime would require ~10 events like the one observed, per orbit. Alternatively, on-going mass loss may be unrelated to the event which produced the Phaethon-Geminid complex. An impact origin of the dust is highly unlikely. Phaethon is too hot for water ice to survive, rendering unlikely the possibility that dust is ejected through gas-drag from sublimated ice. Instead, we suggest that Phaethon is essentially a rock comet, in which the small perihelion distance leads both to the production of dust (through thermal fracture and decomposition-cracking of hydrated minerals) and to its ejection into interplanetary space (through radiation pressure sweeping and other effects).


title: Bound states in the continuum in graphene quantum dot structures

abstract: The existence of bound states in the continuum was predicted at the dawn of quantum mechanics by von Neumann and Wigner. In this work we discuss the mechanism of formation of these exotic states and the feasibility to observe them experimentally in symmetrical heterostructures composed by segments of graphene ribbons with different widths forming a graphene quantum dot. We identify the existence of bound states in the continuum in these graphene quantum dot systems by means of local density of states and electronic conductance calculations.


title: Almost K\"ahler manifolds of constant antiholomorphic sectional curvature

abstract: It is proved that if an AK2-manifold of dimension greater or equal to 6 is of pointwise constant antiholomorphic sectional curvature, then it is a 6-dimensional manifold of constant negative sectional curvature or a K\"ahler manifold of constant holomorphic sectional curvature.


title: An elementary exposition of the Efimov Effect

abstract: Two particles that are just shy of binding may develop an infinite number of shallow bound states when a third particle is added. This counter intuitive quantum mechanical result was first predicted by V. Efimov for identical bosons interacting with a short-range pair-wise potential. The so-called Efimov effect persists even for non-identical particles, provided at least two of the three bonds are almost bound. The Efimov effect has recently been verified experimentally using ultra-cold atoms. In this article, we explain the origin of this effect using only elementary quantum mechanics, and summarize the experimental evidence for the Efimov effect. A new, simple derivation for the number of Efimov states is given in the Appendix.


title: The four jet production at LHC and Tevatron in QCD

abstract: We demonstrate that in the back-to-back kinematics the production of four jets in the collision of two partons is suppressed in the leading log approximation of pQCD, compared to the hard processes involving the collision of four partons. We derive the basic equation for four-jet production in QCD in terms of the convolution of generalized two-parton distributions of colliding hadrons in the momentum space representation. Our derivation leads to geometrical approach in the impact parameter space close to that suggested within the parton model and used before to describe the four-jet production. We develop the independent parton approximation to the light-cone wave function of the proton. Comparison with the CDF and D0 data shows that the independent parton approximation to the light-cone wave function of the proton is insufficient to explain the data. We argue that the data indicate the presence of significant multiparton correlations in the light-cone wave functions of colliding protons.


title: HerMES: Herschel-SPIRE observations of Lyman Break Galaxies

abstract: We present first results of a study of the submillimetre (rest frame far-infrared) properties of z~3 Lyman Break Galaxies (LBGs) and their lower-redshift counterparts BX/BM galaxies, based on Herschel-SPIRE observations of the Northern field of the Great Observatories Origins Deep Survey (GOODS-N). We use stacking analysis to determine the properties of LBGs well below the current limit of the survey. Although LBGs are not detected individually, stacking the infrared luminous LBGs (those detected with Spitzer at 24 microns yields a statistically significant submm detection with mean flux <S_{250}>= 5.9+/-1.4 mJy confirming the power of SPIRE in detecting UV-selected high-redshift galaxies at submillimetre wavelengths. In comparison, the Spitzer 24 microns detected BX/BM galaxies appear fainter with a stacked value of <S_{250}> = 2.7 +/-0.8 mJy. By fitting the Spectral Energy Distributions (SEDs) we derive median infrared luminosities, L_{IR}, of 2.8x10^{12} Lsun and 1.5x10^{11} Lsun for z~3 LBGs and BX/BMs, respectively. We find that $L_{IR} estimates derived from present measurements are in good agreement with those based on UV data for z~2 BX/BM galaxies, unlike the case for z~3 infrared luminous LBGs where the UV underestimates the true $L_{IR}. Although sample selection effects may influence this result we suggest that differences in physical properties (such as morphologies, dust distribution and extent of star-forming regions) between z ~3 LBGs and z~2 BX/BMs may also play a significant role.


title: Chemical Pressure and Physical Pressure in BaFe_2(As_{1-x}P_{x})_2

abstract: Measurements of the superconducting transition temperature, T_c, under hydrostatic pressure via bulk AC susceptibility were carried out on several concentrations of phosphorous substitution in BaFe_2(As_{1-x}P_x)_2. The pressure dependence of unsubstituted BaFe_2As_2, phosphorous concentration dependence of BaFe_2(As_{1-x}P_x)_2, as well as the pressure dependence of BaFe_2(As_{1-x}P_x)_2 all point towards an identical maximum T_c of 31 K. This demonstrates that phosphorous substitution and physical pressure result in similar superconducting phase diagrams, and that phosphorous substitution does not induce substantial impurity scattering.


title: Some improvements on the constants for the real Bohnenblust-Hille inequality

abstract: A classical inequality due to Bohnenblust and Hille states that for every $N \in \mathbb{N}$ and every $m$-linear mapping $U:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow\mathbb{C}$ we have \[(\sum\limits_{i_{1},...,i_{m}=1}^{N}| U(e_{i_{^{1}}},...,e_{i_{m}})| ^{\frac{2m}{m+1}}) ^{\frac{m+1}{2m}}\leq C_{m}| U|] where $C_{m}=2^{\frac{m-1}{2}}$. The result is also true for real Banach spaces. In this note we show that an adequate use of a recent new proof of Bohnenblust-Hille inequality, due to Defant, Popa and Schwarting, combined with the optimal constants of Khinchine's inequality (due to Haagerup) provides quite better estimates for the constants involved in the real Bohnenblust-Hille inequality. For instance, for $2\leq m\leq 14,$ we show that the constants $C_{m}=2^\frac{m-1}{2}$ can be replaced by $2^{\frac{m^{2}+6m-8}{8m}}$ if $m$ is even and by $2^{\frac{m^{2}+6m-7}{8m}}$ if $m$ is odd, which substantially improve the known values of $C_{m}$. We also show that the new constants present a better asymptotic behavior.


title: Calibrated Surrogate Losses for Classification with Label-Dependent Costs

abstract: We present surrogate regret bounds for arbitrary surrogate losses in the context of binary classification with label-dependent costs. Such bounds relate a classifier's risk, assessed with respect to a surrogate loss, to its cost-sensitive classification risk. Two approaches to surrogate regret bounds are developed. The first is a direct generalization of Bartlett et al. [2006], who focus on margin-based losses and cost-insensitive classification, while the second adopts the framework of Steinwart [2007] based on calibration functions. Nontrivial surrogate regret bounds are shown to exist precisely when the surrogate loss satisfies a "calibration" condition that is easily verified for many common losses. We apply this theory to the class of uneven margin losses, and characterize when these losses are properly calibrated. The uneven hinge, squared error, exponential, and sigmoid losses are then treated in detail.


title: Primary and secondary scintillation measurements in a xenon Gas Proportional Scintillation Counter

abstract: NEXT is a new experiment to search for neutrinoless double beta decay using a 100 kg radio-pure high-pressure gaseous xenon TPC. The detector requires excellent energy resolution, which can be achieved in a Xe TPC with electroluminescence readout. Hamamatsu R8520-06SEL photomultipliers are good candidates for the scintillation readout. The performance of this photomultiplier, used as VUV photosensor in a gas proportional scintillation counter, was investigated. Initial results for the detection of primary and secondary scintillation produced as a result of the interaction of 5.9 keV X-rays in gaseous xenon, at room temperature and at pressures up to 3 bar, are presented. An energy resolution of 8.0% was obtained for secondary scintillation produced by 5.9 keV X-rays. No significant variation of the primary scintillation was observed for different pressures (1, 2 and 3 bar) and for electric fields up to 0.8 V cm-1 torr-1 in the drift region, demonstrating negligible recombination luminescence. A primary scintillation yield of 81 \pm 7 photons was obtained for 5.9 keV X-rays, corresponding to a mean energy of 72 \pm 6 eV to produce a primary scintillation photon in xenon.


title: Deconstructed Higgsless Models at LHC: The Top Triangle Moose

abstract: We describe a deconstructed Higgsless model in which electroweak symmetry breaking results largely from a Higgsless mechanism while the top quark mass is generated by a topcolor mechanism. The top quark mass arises from a Yukawa coupling to an effective top-Higgs which develops a small vacuum expectation value. Both the heavy partners of the electoweak gauge bosons and those for the SM fermions can be light enough to be visible at LHC.


title: Convergence of Income Growth Rates in Evolutionary Agent-Based Economics

abstract: We consider a heterogeneous agent-based economic model where economic agents have strictly bounded rationality and where income allocation strategies evolve through selective imitation. Income is calculated by a Cobb-Douglas type production function, and selection of strategies for imitation depends on the income growth rate they generate. We show that under these conditions, when an agent adopts a new strategy, the effect on its income growth rate is immediately visible to other agents, which allows a group of imitating agents to quickly adapt their strategies when needed.


title: Learning Latent Tree Graphical Models

abstract: We study the problem of learning a latent tree graphical model where samples are available only from a subset of variables. We propose two consistent and computationally efficient algorithms for learning minimal latent trees, that is, trees without any redundant hidden nodes. Unlike many existing methods, the observed nodes (or variables) are not constrained to be leaf nodes. Our first algorithm, recursive grouping, builds the latent tree recursively by identifying sibling groups using so-called information distances. One of the main contributions of this work is our second algorithm, which we refer to as CLGrouping. CLGrouping starts with a pre-processing procedure in which a tree over the observed variables is constructed. This global step groups the observed nodes that are likely to be close to each other in the true latent tree, thereby guiding subsequent recursive grouping (or equivalent procedures) on much smaller subsets of variables. This results in more accurate and efficient learning of latent trees. We also present regularized versions of our algorithms that learn latent tree approximations of arbitrary distributions. We compare the proposed algorithms to other methods by performing extensive numerical experiments on various latent tree graphical models such as hidden Markov models and star graphs. In addition, we demonstrate the applicability of our methods on real-world datasets by modeling the dependency structure of monthly stock returns in the S&P index and of the words in the 20 newsgroups dataset.


title: Tests of Non-Equivalence among Absolutely Nonsingular Tensors through Geometric Invariants

abstract: 4x4x3 absolutely nonsingular tensors are characterized by their determinant polynomial. Non-quivalence among absolutely nonsingular tensors with respect to a class of linear transformations, which do not chage the tensor rank,is studied. It is shown theoretically that affine geometric invariants of the constant surface of a determinant polynomial is useful to discriminate non-equivalence among absolutely nonsingular tensors. Also numerical caluculations are presented and these invariants are shown to be useful indeed. For the caluculation of invarinats by 20-spherical design is also commented. We showed that an algebraic problem in tensor data analysis can be attacked by an affine geometric method.


title: Primordial Magnetic Field Limits from Cosmic Microwave Background Bispectrum of Magnetic Passive Scalar Modes

abstract: Primordial magnetic fields lead to non-Gaussian signals in the cosmic microwave background (CMB) even at the lowest order, as magnetic stresses and the temperature anisotropy they induce depend quadratically on the magnetic field. In contrast, CMB non-Gaussianity due to inflationary scalar perturbations arises only as a higher order effect. Apart from a compensated scalar mode, stochastic primordial magnetic fields also produce scalar anisotropic stress that remains uncompensated till neutrino decoupling. This gives rise to an adiabatic-like scalar perturbation mode that evolves passively thereafter (called the passive mode). We compute the CMB reduced bispectrum ($b_{l_{_1}l_{_2}l_{_3}}$) induced by this passive mode, sourced via the Sachs-Wolfe effect, on large angular scales. For any configuration of bispectrum, taking a partial sum over mode-coupling terms, we find a typical value of $l_1(l_1+1)l_3(l_3+1) b_{l_{_1}l_{_2}l_{_3}} \sim 6-9 \times 10^{-16}$, for a magnetic field of $B_0 \sim 3$ nG, assuming a nearly scale-invariant magnetic spectrum . We also evaluate, in full, the bispectrum for the squeezed collinear configuration over all angular mode-coupling terms and find $l_1(l_1+1)l_3(l_3+1) b_{l_{_1}l_{_2}l_{_3}} \approx -1.4 \times 10^{-16}$. These values are more than $\sim 10^6$ times larger than the previously calculated magnetic compensated scalar mode CMB bispectrum. Observational limits on the bispectrum from WMAP7 data allow us to set upper limits of $B_0 \sim 2$ nG on the present value of the cosmic magnetic field of primordial origin. This is over 10 times more stringent than earlier limits on $B_0$ based on the compensated mode bispectrum.


title: Central Charge Bounds in 4D Conformal Field Theory

abstract: We derive model-independent lower bounds on the stress tensor central charge C_T in terms of the operator content of a 4-dimensional Conformal Field Theory. More precisely, C_T is bounded from below by a universal function of the dimensions of the lowest and second-lowest scalars present in the CFT. The method uses the crossing symmetry constraint of the 4-point function, analyzed by means of the conformal block decomposition.


title: Matters of Gravity, The Newsletter of the Topical Group on Gravitation of the American Physical Society, Volume 36, Fall 2010

abstract: GGR News: -we hear that..., by David Garfinkle -Network of gravitational-wave detectors, by Stan Whitcomb Research Briefs: -New tests of general relativity, by Quentin Bailey Conference Reports: -Theory meets data analysis, by Steve Detweiler -Ascona conference, by Simon Ross -Condensed Matter at AdS/CFT/Strings 2010, by Christopher Herzog


title: Modeling laser wakefield accelerators in a Lorentz boosted frame

abstract: Modeling of laser-plasma wakefield accelerators in an optimal frame of reference \cite{VayPRL07} is shown to produce orders of magnitude speed-up of calculations from first principles. Obtaining these speedups requires mitigation of a high-frequency instability that otherwise limits effectiveness in addition to solutions for handling data input and output in a relativistically boosted frame of reference. The observed high-frequency instability is mitigated using methods including an electromagnetic solver with tunable coefficients, its extension to accomodate Perfectly Matched Layers and Friedman's damping algorithms, as well as an efficient large bandwidth digital filter. It is shown that choosing the frame of the wake as the frame of reference allows for higher levels of filtering and damping than is possible in other frames for the same accuracy. Detailed testing also revealed serendipitously the existence of a singular time step at which the instability level is minimized, independently of numerical dispersion, thus indicating that the observed instability may not be due primarily to Numerical Cerenkov as has been conjectured. The techniques developed for Cerenkov mitigation prove nonetheless to be very efficient at controlling the instability. Using these techniques, agreement at the percentage level is demonstrated between simulations using different frames of reference, with speedups reaching two orders of magnitude for a 0.1 GeV class stages. The method then allows direct and efficient full-scale modeling of deeply depleted laser-plasma stages of 10 GeV-1 TeV for the first time, verifying the scaling of plasma accelerators to very high energies. Over 4, 5 and 6 orders of magnitude speedup is achieved for the modeling of 10 GeV, 100 GeV and 1 TeV class stages, respectively.


title: Generalized Schrodinger-Poisson type systems

abstract: In this paper we study some Schrodinger-Poisson type systems on a bounded domain, with Dirichlet boundary condition on both the variables.


title: Phase diagram of a model for a binary mixture of nematic molecules on a Bethe lattice

abstract: We investigate the phase diagram of a discrete version of the Maier-Saupe model with the inclusion of additional degrees of freedom to mimic a distribution of rodlike and disklike molecules. Solutions of this problem on a Bethe lattice come from the analysis of the fixed points of a set of nonlinear recursion relations. Besides the fixed points associated with isotropic and uniaxial nematic structures, there is also a fixed point associated with a biaxial nematic structure. Due to the existence of large overlaps of the stability regions, we resorted to a scheme to calculate the free energy of these structures deep in the interior of a large Cayley tree. Both thermodynamic and dynamic-stability analyses rule out the presence of a biaxial phase, in qualitative agreement with previous mean-field results.


title: Distortion in Free Nilpotent Groups

abstract: We prove that a subgroup of a finitely generated free nilpotent group F is undistorted if and only if it is a retract of a subgroup of finite index in F.


title: Measurement of sigma(pp -> b anti-b X) at \sqrt(s)=7 TeV in the forward region

abstract: Decays of b hadrons into final states containing a D0 meson and a muon are used to measure the b anti-b production cross-section in proton-proton collisions at a centre-of-mass energy of 7 TeV at the LHC. In the pseudorapidity interval 2 < eta < 6 and integrated over all transverse momenta we find that the average cross-section to produce b-flavoured or anti-b-flavoured hadrons is (75.3 +/- 5.4 +/- 13.0) microbarns.


title: Current fluctuations for independent random walks in multiple dimensions

abstract: Consider a system of particles evolving as independent and identically distributed (i.i.d.) random walks. Initial fluctuations in the particle density get translated over time with velocity $\vec{v}$, the common mean velocity of the random walks. Consider a box centered around an observer who starts at the origin and moves with constant velocity $\vec{v}$. To observe interesting fluctuations beyond the translation of initial density fluctuations, we measure the net flux of particles over time into this moving box. We call this the ``box-current" process. We generalize this current process to a distribution valued process. Scaling time by $n$ and space by $\sqrt{n}$ gives current fluctuations of order $n^{d/4}$ where $d$ is the space dimension. The scaling limit of the normalized current process is a distribution valued Gaussian process with given covariance. The limiting current process is equal in distribution to the solution of a given stochastic partial differential equation which is related to the generalized Ornstein-Uhlenbeck process.


title: Current constraints on the epoch of cosmic acceleration

abstract: The cosmographic expansion history of the universe is investigated by using the 557 type Ia supernovae from the Union2 Compilation set along with the current estimates involving the product of the CMB acoustic scale $\ell_{A}$ and the BAO peak at two different redshifts. Using a well-behaved parameterization for the deceleration parameter, $q(z) = q_0 + q_1z/(1 + z)$, we estimate the accelerating redshift $z_{acc}=-q_0/(q_0 + q_1)$ (at which the universe switches from deceleration to acceleration) and investigate the influence of a non-vanishing spatial curvature on these estimates. We also use the asymptotic value of $q(z)$ at high-$z$ to place more restrictive bounds on the model parameters $q_0$ and $q_1$, which results in a more precise determination of the epoch of cosmic acceleration.


title: Length Functions for Semigroup Embeddings

abstract: Following the work done by Olshanskii for groups, we describe, for a given semigroup $S$, which functions $l : S \rightarrow \mathbb{N}$ can be realized up to equivalence as length functions $g \mapsto |g|_{H}$ by embedding $S$ into a finitely generated semigroup $H$. We also, following the work done by Olshanskii and Sapir, provide a complete description of length functions of a given finitely generated semigroup with enumerable set of relations inside a finitely presented semigroup.


title: On the existence of loss-tolerant quantum oblivious transfer protocols

abstract: Oblivious transfer is the cryptographic primitive where Alice sends one of two bits to Bob but is oblivious to the bit received. Using quantum communication, we can build oblivious transfer protocols with security provably better than any protocol built using classical communication. However, with imperfect apparatus one needs to consider other attacks. In this paper we present an oblivious transfer protocol which is impervious to lost messages.


title: Are Galaxy Clusters Suggesting an Accelerating Universe?

abstract: The present cosmic accelerating stage is discussed through a new kinematic method based on the Sunyaev- Zel'dovich effect (SZE) and X-ray surface brightness data from galaxy clusters. By using the SZE/X-ray data from 38 galaxy clusters in the redshift range $0.14 \leq z \leq 0.89 $ [Bonamente et al., Astrop. J. {\bf 647}, 25 (2006)] it is found that the present Universe is accelerating and that the transition from an earlier decelerating to a late time accelerating regime is relatively recent. The ability of the ongoing Planck satellite mission to obtain tighter constraints on the expansion history through SZE/X-ray angular diameters is also discussed. Our results are fully independent on the validity of any metric gravity theory, the possible matter- energy contents filling the Universe, as well as on the SNe Ia Hubble diagram from which the presenting accelerating stage was inferred.


title: Discovery of the Isotopes with Z <= 10

abstract: A total of 126 isotopes with Z $\le$ 10 have been identified to date. The discovery of these isotopes which includes the observation of unbound nuclei, is discussed. For each isotope a brief summary of the first refereed publication, including the production and identification method, is presented.


title: Energy-preserving numerical schemes of high accuracy for one-dimensional Hamiltonian systems

abstract: We present a class of non-standard numerical schemes which are modifications of the discrete gradient method. They preserve the energy integral exactly (up to the round-off error). The considered class contains locally exact discrete gradient schemes and integrators of arbitrary high order. In numerical experiments we compare our integrators with some other numerical schemes, including the standard discrete gradient method, the leap-frog scheme and a symplectic scheme of 4th order. We study the error accumulation for very long time and the conservation of the energy integral.


title: Balloon-borne gamma-ray telescope with nuclear emulsion

abstract: By detecting the beginning of electron pairs with nuclear emulsion, precise gamma-ray direction and gamma-ray polarization can be detected. With recent advancement in emulsion scanning system, emulsion analyzing capability is becoming powerful. Now we are developing the balloon-borne gamma-ray telescope with nuclear emulsion. Overview and status of our telescope is described.


title: N-body simulation of the Stephan's Quintet

abstract: The evolution of compact groups of galaxies may represent one of the few places in the nearby universe in which massive galaxies are being forged through a complex set of processes involving tidal interaction, ram-pressure stripping, and perhaps finally "dry-mergers" of galaxies stripped of their cool gas. Using collisionless N-body simulations, we propose a possible scenario for the formation of one of the best studied compact groups: Stephan's Quintet. We define a serial approach which allows us to consider the history of the group as sequence of galaxy-galaxy interactions seen as relatively separate events in time, but chained together in such a way as to provide a plausible scenario that ends in the current configuration of the galaxies. By covering a large set of parameters, we claim that it is very unlikely that both major tidal tails of the group have been created by the interaction between the main galaxy and a single intruder. We propose instead a scenario based on two satellites orbiting the main disk, plus the recent involvement of an additional interloper, coming from the background at high speed. This purely N-body study of the quintet will provide a parameter-space exploration of the basic dynamics of the group that can be used as a basis for a more sophisticated N-body/hydrodynamic study of the group that is necessary to explain the giant shock structure and other purely gaseous phenomena observed in both the cold, warm and hot gas in the group.


title: Bulk viscosity of the massive Gross-Neveu model

abstract: A calculation of the bulk viscosity for the massive Gross-Neveu model at zero fermion chemical potential is presented in the large-$N$ limit. This model resembles QCD in many important aspects: it is asymptotically free, has a dynamically generated mass gap, and for zero bare fermion mass it is scale invariant at the classical level (broken through the trace anomaly at the quantum level). For our purposes, the introduction of a bare fermion mass is necessary to break the integrability of the model, and thus to be able to study momentum transport. The main motivation is, by decreasing the bare mass, to analyze whether there is a correlation between the maximum in the trace anomaly and a possible maximum in the bulk viscosity, as recently conjectured. After numerical analysis, I find that there is no direct correlation between these two quantities: the bulk viscosity of the model is a monotonously decreasing function of the temperature. I also comment on the sum rule for the spectral density in the bulk channel, as well as on implications of this analysis for other systems.

categories: hep-ph cond-mat.stat-mech cond-mat.supr-con hep-th nucl-th


title: Continuum simulations of shocks and patterns in vertically oscillated granular layers

abstract: We study interactions between shocks and standing-wave patterns in vertically oscillated layers of granular media using three-dimensional, time-dependent numerical solutions of continuum equations to Navier-Stokes order. We simulate a layer of grains atop a plate that oscillates sinusoidally in the direction of gravity. Standing waves form stripe patterns when the accelerational amplitude of the plate's oscillation exceeds a critical value. Shocks also form with each collision between the layer and the plate; we show that pressure gradients formed by these shocks cause the flow to reverse direction within the layer. This reversal leads to an oscillatory state of the pattern that is subharmonic with respect to the plate's oscillation. Finally, we study the relationship between shocks and patterns in layers oscillated at various frequencies and show that the pattern wavelength increases monotonically as the shock strength increases.


title: Mesoscopic modelling of financial markets

abstract: We derive a mesoscopic description of the behavior of a simple financial market where the agents can create their own portfolio between two investment alternatives: a stock and a bond. The model is derived starting from the Levy-Levy-Solomon microscopic model (Econ. Lett., 45, (1994), 103--111) using the methods of kinetic theory and consists of a linear Boltzmann equation for the wealth distribution of the agents coupled with an equation for the price of the stock. From this model, under a suitable scaling, we derive a Fokker-Planck equation and show that the equation admits a self-similar lognormal behavior. Several numerical examples are also reported to validate our analysis.

categories: q-fin.ST cond-mat.stat-mech math-ph math.MP


title: Entanglement of qutrits and ququarts

abstract: We investigate in a general form entanglement of biphoton qutrits and ququarts, i.e. states formed in the processes of collinear and, correspondingly, degenerate and non-degenerate Spontaneous Parametric Down-Conversion. Indistinguishability of photons and, for ququarts, joint presence of the frequency and and polarization entanglement are fully taken into account. In the case of qutrits the most general 3-parametric families of maximally entangled and non-entangled states are found, and anti-correlation of the degree of entanglement and polarization is shown to occur and to be characterized by a rather simple formula. Biphoton ququarts are shown to be two-qudits with the single-photon Hilbert space dimensionality $d=4$, which differs them significantly from the often used two-qubit model ($d=2$). New expressions for entanglement quantifiers of biphoton ququarts are derived and discussed. Rather simple procedures for a direct measurement of the degree of entanglement are described for both qutrits and ququarts.


title: Quaternionic Kaehler and Spin(7) metrics arising from quaternionic contact Einstein structures

abstract: We construct left invariant quaternionic contact (qc) structures on Lie groups with zero and non-zero torsion and with non-vanishing quaternionic contact conformal curvature tensor, thus showing the existence of non-flat quaternionic contact manifolds. We prove that the product of the real line with a seven dimensional manifold, equipped with a certain qc structure, has a quaternionic Kaehler metric as well as a metric with holonomy contained in Spin(7). As a consequence we determine explicit quaternionic Kaehler metrics and Spin(7)-holonomy metrics which seem to be new. Moreover, we give explicit non-compact eight dimensional almost quaternion hermitian manifolds with either a closed fundamental four form or fundamental two forms defining a differential ideal that are not quaternionic Kaehler.


title: A Hierarchy of Local Symplectic Filling Obstructions for Contact 3-Manifolds

abstract: We generalize the familiar notions of overtwistedness and Giroux torsion in 3-dimensional contact manifolds, defining an infinite hierarchy of local filling obstructions called planar torsion, whose integer-valued order $k \ge 0$ can be interpreted as measuring a gradation in "degrees of tightness" of contact manifolds. We show in particular that any contact manifold with planar torsion admits no contact type embeddings into any closed symplectic 4-manifold, and has vanishing contact invariant in Embedded Contact Homology, and we give examples of contact manifolds that have planar k-torsion for any $k \ge 2$ but no Giroux torsion. We also show that the complement of the binding of a supporting open book never has planar torsion. The unifying idea in the background is a decomposition of contact manifolds in terms of contact fiber sums of open books along their binding. As the technical basis of these results, we establish existence, uniqueness and compactness theorems for certain classes of J-holomorphic curves in blown up summed open books; these also imply algebraic obstructions to planarity and embeddings of partially planar domains. The results are applied further in followup papers on weak symplectic fillings (arXiv:1003.3923, joint with K. Niederkrueger), non-exact symplectic cobordisms (arXiv:1008.2456) and Symplectic Field Theory (arXiv:1009.3262, joint with J. Latschev).


title: Planar and non-planar solidification Planar and non-planar solidification of optically organized smectic films

abstract: We present in this letter an original freezing process yielding remarkably homogeneous films of chiral smectics. This optical homogeneity is observed on planar films as well as on films exhibiting various complex three-dimensional shapes.


title: Fast conservative and entropic numerical methods for the Boson Boltzmann equation

abstract: In this paper we derive accurate numerical methods for the quantum Boltzmann equation for a gas of interacting bosons. The schemes preserve the main physical features of the continuous problem, namely conservation of mass and energy, the entropy inequality and generalized Bose-Einstein distributions as steady states. These properties are essential in order to develop schemes that are able to capture the energy concentration behavior of bosons. In addition we develop fast algorithms for the numerical evaluation of the resulting quadrature formulas which allow the final schemes to be computed only in O(N^2 log N) operations instead of O(N^3).

categories: math.NA cond-mat.mes-hall cond-mat.quant-gas physics.comp-ph


title: New approach for jet-shape identification of TeV-scale particles at the LHC

abstract: A new approach to jet-shape identification based on linear regression is discussed. It is designed for searches for new particles at the TeV scale decaying hadronically with strongly collimated jets. We illustrate the method using a Monte Carlo simulation for pp collisions at the LHC with the goal to reduce the contribution of QCD-induced events. We focus on a rather generic example X to ttbar to hadrons, with X being a heavy particle, but the approach is well suited for reconstruction of other decay channels characterized by a cascade decay of known states.


title: Obscured Starburst Activity in High Redshift Clusters and Groups

abstract: Using Spitzer-MIPS 24um imaging and Keck spectroscopy we examine the nature of the obscured star forming population in three clusters and three groups at z~0.9. These six systems are components of the Cl1604 supercluster, the largest structure imaged by Spitzer at redshifts near unity. We find that the average density of 24um-detected galaxies within the Cl1604 clusters is nearly twice that of the surrounding field and that this overdensity scales with the cluster's dynamical state. The 24um-bright members often appear optically unremarkable and exhibit only moderate [OII] line emission due to severe obscuration. Their spatial distribution suggests they are an infalling population, but an examination of their spectral properties, morphologies and optical colors indicate they are not simply analogs of the field population that have yet to be quenched. Using stacked composite spectra, we find the 24um-detected cluster and group galaxies exhibit elevated levels of Balmer absorption compared to galaxies undergoing normal, continuous star formation. A similar excess is not observed in field galaxies with equivalent infrared luminosities, indicating a greater fraction of the detected cluster and group members have experienced a burst of star formation in the recent past compared to their counterparts in the field. Our results suggest that gas-rich galaxies at high redshift experience a temporary increase in their star formation activity as they assemble into denser environments. Using HST-ACS imaging we find that disturbed morphologies are common among the 24um-detected cluster and group members and become more prevalent in regions of higher galaxy density. We conclude that mergers are the dominant triggering mechanism responsible for the enhanced star formation found in the Cl1604 groups, while a mix of harassment and mergers are likely driving the activity of the cluster galaxies.


title: A New Method for Resolving Combinatorial Ambiguities at Hadron Colliders

abstract: We present a new method for resolving combinatorial ambiguities that arise in multi-particle decay chains at hadron colliders where the assignment of visible particles to the different decay chains has ambiguities. Our method, based on selection cuts favoring high transverse momentum and low invariant mass pairings, is shown to be significantly superior to the more traditional hemisphere method for a large class of decay chains, producing an increase in signal retention of up to a factor of 2. This new method can thus greatly reduce the combinatorial ambiguities of decay chain assignments.


title: The Effect of Active Galactic Nuclei on the Mid-Infrared Aromatic Features

abstract: We present Spitzer measurements of the aromatic (also known as PAH) features for 35 Seyfert galaxies from the revised Shapley-Ames sample and find that the relative strengths of the features differ significantly from those observed in star-forming galaxies. Specifically, the features at 6.2, 7.7, and 8.6 micron are suppressed relative to the 11.3 micron feature in Seyferts. Furthermore, we find an anti-correlation between the L(7.7 micron)/L(11.3 micron) ratio and the strength of the rotational H2 (molecular hydrogen) emission, which traces shocked gas. This suggests that shocks suppress the short-wavelength features by modifying the structure of the aromatic molecules or destroying the smallest grains. Most Seyfert nuclei fall on the relationship between aromatic emission and [Ne II] emission for star-forming galaxies, indicating that aromatic-based estimates of the star-formation rate in AGN host galaxies are generally reasonable. For the outliers from this relationship, which have small L(7.7 micron)/L(11.3 micron) ratios and strong H2 emission, the 11.3 micron feature still provides a valid measure of the star-formation rate.


title: Coherent Combination of Baryon Acoustic Oscillation Statistics and Peculiar Velocity Measurements from Redshift Survey

abstract: New statistical method is proposed to coherently combine Baryon Acoustic Oscillation statistics (BAO) and peculiar velocity measurements exploiting decomposed density-density and velocity-velocity spectra in real space from the observed redshift distortions in redshift space, 1) to achieve stronger dark energy constraints, \sigma(w)=0.06 and \sigma(w_a)=0.20, which are enhanced from BAO or velocity measurements alone, and 2) to cross-check consistency of dark energy constraints from two different approaches; BAO as geometrical measurements and peculiar velocity as large scale structure formation observables. In addition to those advantages, as power spectra decomposition procedure is free from uncertainty of galaxy bias, this simultaneous fitting is an optimal method to extract cosmological parameters without any pre-assumption about galaxy bias.


title: Spin-triplet Supercurrent through Inhomogeneous Ferromagnetic Trilayers

abstract: Motivated by a recent experiment [J. W. A. Robinson, J. D. S. Witt and M. G. Blamire, Science, \textbf{329}, 5987 (2010)], we here study the possibility of establishing a long-range spin-triplet supercurrent through an inhomogeneous ferromagnetic region consisting of a Ho$\mid$Co$\mid$Ho trilayer sandwiched between two conventional s-wave superconductors. We utilize a full numerical solution in the diffusive regime of transport and study the behavior of the supercurrent for various experimentally relevant configurations of the ferromagnetic trilayer. We obtain qualitatively very good agreement with experimental data regarding the behavior of the supercurrent as a function of the width of the Co-layer, $L_\text{Co}$. Moreover, we find a synthesis of 0-$\pi$ oscillations with superimposed rapid oscillations when varying the width of the Ho-layer which pertain specifically to the spiral magnetization texture in Ho. We are not able to reproduce the anomalous peaks in the supercurrent observed experimentally in this regime, but note that the results obtained are quite sensitive to the exact magnetization profile in the Ho-layers, which could be the reason for the discrepancy between our model and the experimental reported data for this particular aspect. We also investigate the supercurrent in a system where the intrinsically inhomogeneous Ho ferromagnets are replaced with domain-wall ferromagnets, and find similar behavior as in the Ho$\mid$Co$\mid$Ho case. Furthermore, we propose a novel type of magnetic Josephson junction including only a domain-wall ferromagnet and a homogeneous ferromagnetic layer, which in addition to simplicity regarding the magnetization profile also offers a tunable long-range spin-triplet supercurrent. Finally, we discuss some experimental aspects of our findings.


title: Error estimation in astronomy: A guide

abstract: Estimating errors is a crucial part of any scientific analysis. Whenever a parameter is estimated (model-based or not), an error estimate is necessary. Any parameter estimate that is given without an error estimate is meaningless. Nevertheless, many (undergraduate or graduate) students have to teach such methods for error estimation to themselves when working scientifically for the first time. This manuscript presents an easy-to-understand overview of different methods for error estimation that are applicable to both model-based and model-independent parameter estimates. These methods are not discussed in detail, but their basics are briefly outlined and their assumptions carefully noted. In particular, the methods for error estimation discussed are grid search, varying $\chi^2$, the Fisher matrix, Monte-Carlo methods, error propagation, data resampling, and bootstrapping. Finally, a method is outlined how to propagate measurement errors through complex data-reduction pipelines.


title: Matchings, coverings, and Castelnuovo-Mumford regularity

abstract: We show that the co-chordal cover number of a graph G gives an upper bound for the Castelnuovo-Mumford regularity of the associated edge ideal. Several known combinatorial upper bounds of regularity for edge ideals are then easy consequences of covering results from graph theory, and we derive new upper bounds by looking at additional covering results.


title: Implicit-explicit Runge-Kutta schemes and applications to hyperbolic systems with relaxation

abstract: We consider new implicit-explicit (IMEX) Runge-Kutta methods for hyperbolic systems of conservation laws with stiff relaxation terms. The explicit part is treated by a strong-stability-preserving (SSP) scheme, and the implicit part is treated by an L-stable diagonally implicit Runge-Kutta methods (DIRK). The schemes proposed are asymptotic preserving (AP) in the zero relaxation limit. High accuracy in space is obtained by Weighted Essentially Non Oscillatory (WENO) reconstruction. After a description of the mathematical properties of the schemes, several applications will be presented.


title: Orbital evolution of the Carina dwarf galaxy and self-consistent star formation history determination

abstract: We present a new study of the evolution of the Carina dwarf galaxy that includes a simultaneous derivation of its orbit and star formation history. The structure of the galaxy is constrained through orbital parameters derived from the observed distance, proper motions, radial velocity and star formation history. The different orbits admitted by the large proper motion errors are investigated in relation to the tidal force exerted by an external potential representing the Milky Way (MW). Our analysis is performed with the aid of fully consistent N-body simulations that are able to follow the dynamics and the stellar evolution of the dwarf system in order to determine self-consistently the star formation history of Carina. We find a star formation history characterized by several bursts, partially matching the observational expectation. We find also compatible results between dynamical projected quantities and the observational constraints. The possibility of a past interaction between Carina and the Magellanic Clouds is also separately considered and deemed unlikely.


title: Thermodynamics of the 3D Hubbard model on approach to the Neel transition

abstract: We study the thermodynamic properties of the 3D Hubbard model for temperatures down to the Neel temperature using cluster dynamical mean-field theory. In particular we calculate the energy, entropy, density, double occupancy and nearest-neighbor spin correlations as a function of chemical potential, temperature and repulsion strength. To make contact with cold-gas experiments, we also compute properties of the system subject to an external trap in the local density approximation. We find that an entropy per particle $S/N \approx 0.65(6)$ at $U/t=8$ is sufficient to achieve a Neel state in the center of the trap, substantially higher than the entropy required in a homogeneous system. Precursors to antiferromagnetism can clearly be observed in nearest-neighbor spin correlators.


title: Self-similarity and power-like tails in nonconservative kinetic models

abstract: In this paper, we discuss the large--time behavior of solution of a simple kinetic model of Boltzmann--Maxwell type, such that the temperature is time decreasing and/or time increasing. We show that, under the combined effects of the nonlinearity and of the time--monotonicity of the temperature, the kinetic model has non trivial quasi-stationary states with power law tails. In order to do this we consider a suitable asymptotic limit of the model yielding a Fokker-Planck equation for the distribution. The same idea is applied to investigate the large-time behavior of an elementary kinetic model of economy involving both exchanges between agents and increasing and/or decreasing of the mean wealth. In this last case, the large-time behavior of the solution shows a Pareto power law tail. Numerical results confirm the previous analysis.


title: Thermodynamics of the three-dimensional Hubbard model: Implications for cooling cold atomic gases in optical lattices

abstract: We present a comprehensive study of the thermodynamic properties of the three-dimensional fermionic Hubbard model, with application to cold fermionic atoms subject to an optical lattice and a trapping potential. Our study is focused on the temperature range of current experimental interest. We employ two theoretical methods - dynamical mean-field theory and high-temperature series - and perform comparative benchmarks to delimitate their respective range of validity. Special attention is devoted to understand the implications that thermodynamic properties of this system have on cooling. Considering the distribution function of local occupancies in the inhomogeneous lattice, we show that, under adiabatic evolution, the variation of any observable (e.g., temperature) can be conveniently disentangled into two distinct contributions. The first contribution is due to the redistribution of atoms in the trap during the evolution, while the second one comes from the intrinsic change of the observable. Finally, we provide a simplified picture of the cooling procedure recently proposed in J.-S. Bernier et al., Phys. Rev. A 79, 061601 (2009) by applying this method to an idealized model.


title: Threshold effects on renormalization group running of neutrino parameters in the low-scale seesaw model

abstract: We show that, in the low-scale type-I seesaw model, renormalization group running of neutrino parameters may lead to significant modifications of the leptonic mixing angles in view of so-called seesaw threshold effects. Especially, we derive analytical formulas for radiative corrections to neutrino parameters in crossing the different seesaw thresholds, and show that there may exist enhancement factors efficiently boosting the renormalization group running of the leptonic mixing angles. We find that, as a result of the seesaw threshold corrections to the leptonic mixing angles, various flavor symmetric mixing patterns (e.g., bi-maximal and tri-bimaximal mixing patterns) can be easily accommodated at relatively low energy scales, which is well within the reach of running and forthcoming experiments (e.g., the LHC).


title: Green's Functions and Non-Singlet Glueballs on Deformed Conifolds

abstract: We study the Laplacian on Stenzel spaces (generalized deformed conifolds), which are tangent bundles of spheres endowed with Ricci flat metrics. The (2d-2)-dimensional Stenzel space has SO(d) symmetry and can be embedded in C^d through the equation \sum_{i = 1}^d {z_i^2} = \epsilon^2. We discuss the Green's function with a source at a point on the S^{d-1} zero section of TS^{d-1}. Its calculation is complicated by mixing between different harmonics with the same SO(d) quantum numbers due to the explicit breaking by the \epsilon-deformation of the U(1) symmetry that rotates z_i by a phase. A similar mixing affects the spectrum of normal modes of warped deformed conifolds that appear in gauge/gravity duality. We solve the mixing problem numerically to determine certain bound state spectra in various representations of SO(d) for the d=4 and d=5 examples.


title: A Blink Tree latch method and protocol to support synchronous node deletion

abstract: A Blink Tree latch method and protocol supports synchronous node deletion in a high concurrency environment. Full source code is available.


title: How do Range Names Hinder Novice Spreadsheet Debugging Performance?

abstract: Although experts diverge on how best to improve spreadsheet quality, it is generally agreed that more time needs to be spent testing spreadsheets. Ideally, experienced and trained spreadsheet engineers would carry this out, but quite often this is neither practical nor possible. Many spreadsheets are a legacy, developed by staff that have since moved on, or indeed modified by many staff no longer employed by the organisation. When such spreadsheets fall into the hands of inexperienced, non-experts, any features that reduce error visibility may become a risk. Range names are one such feature, and this paper, building on previous research, investigates in a more structured and controlled manner the effect they have on the debugging performance of novice spreadsheet users.


title: Bayesian inference of stellar parameters and interstellar extinction using parallaxes and multiband photometry

abstract: Astrometric surveys provide the opportunity to measure the absolute magnitudes of large numbers of stars, but only if the individual line-of-sight extinctions are known. Unfortunately, extinction is highly degenerate with stellar effective temperature when estimated from broad band optical/infrared photometry. To address this problem, I introduce a Bayesian method for estimating the intrinsic parameters of a star and its line-of-sight extinction. It uses both photometry and parallaxes in a self-consistent manner in order to provide a non-parametric posterior probability distribution over the parameters. The method makes explicit use of domain knowledge by employing the Hertzsprung--Russell Diagram (HRD) to constrain solutions and to ensure that they respect stellar physics. I first demonstrate this method by using it to estimate effective temperature and extinction from BVJHK data for a set of artificially reddened Hipparcos stars, for which accurate effective temperatures have been estimated from high resolution spectroscopy. Using just the four colours, we see the expected strong degeneracy (positive correlation) between the temperature and extinction. Introducing the parallax, apparent magnitude and the HRD reduces this degeneracy and improves both the precision (reduces the error bars) and the accuracy of the parameter estimates, the latter by about 35%. The resulting accuracy is about 200K in temperature and 0.2mag in extinction. I then apply the method to estimate these parameters and absolute magnitudes for some 47000 F,G,K Hipparcos stars which have been cross-matched with 2MASS. The method can easily be extended to incorporate the estimation of other parameters, in particular metallicity and surface gravity, making it particularly suitable for the analysis of the 10^9 stars from Gaia.


title: Hidden symmetry in the presence of fluxes

abstract: We derive the most general first order symmetry operator for the Dirac equation coupled to arbitrary fluxes. Such an operator is given in terms of an inhomogenous form omega which is a solution to a coupled system of first order partial differential equations which we call the generalized conformal Killing-Yano system. Except trivial fluxes, solutions of this system are subject to additional constraints. We discuss various special cases of physical interest. In particular, we demonstrate that in the case of a Dirac operator coupled to the skew symmetric torsion and U(1) field, the system of generalized conformal Killing-Yano equations decouples into the homogenous conformal Killing-Yano equations with torsion introduced in [arXiv:0905.0722] and the symmetry operator is essentially the one derived in [arXiv:1002.3616]. We also discuss the Dirac field coupled to a scalar potential and in the presence of 5-form and 7-form fluxes.


title: Adaptive and Recursive Time Relaxed Monte Carlo methods for rarefied gas dynamics

abstract: Recently a new class of Monte Carlo methods, called Time Relaxed Monte Carlo (TRMC), designed for the simulation of the Boltzmann equation close to fluid regimes have been introduced. A generalized Wild sum expansion of the solution is at the basis of the simulation schemes. After a splitting of the equation the time discretization of the collision step is obtained from the Wild sum expansion of the solution by replacing high order terms in the expansion with the equilibrium Maxwellian distribution; in this way speed up of the methods close to fluid regimes is obtained by efficiently thermalizing particles close to the equilibrium state. In this work we present an improvement of such methods which allows to obtain an effective uniform accuracy in time without any restriction on the time step and subsequent increase of the computational cost. The main ingredient of the new algorithms is recursivity. Several techniques can be used to truncate the recursive trees generated by the schemes without deteriorating the accuracy of the numerical solution. Techniques based on adaptive strategies are presented. Numerical results emphasize the gain of efficiency of the present simulation schemes with respect to standard DSMC methods.


title: Isolated Wolf-Rayet Stars and O Supergiants in the Galactic Center Region Identified via Paschen-alpha Excess

abstract: We report the discovery of 19 hot, evolved, massive stars near the Galactic center region (GCR). These objects were selected for spectroscopy owing to their detection as strong sources of Paschen-alpha emission-line excess, following a narrowband imaging survey of the central 0.65 x 0.25 degress (l, b) around Sgr A* with the Hubble Space Telescope. Discoveries include 5 carbon-type (WC) and 6 nitrogen-type (WN) Wolf-Rayet stars, 6 O supergiants, and 2 B supergiants. Two of the O supergiants have X-ray counterparts, the properties of which are broadly consistent with colliding-wind binaries and solitary O stars. The infrared photometry of 17 stars is consistent with the Galactic center distance, but 2 of them are located in the foreground. Several WC stars exhibit a relatively large infrared excesses, which is possibly the signature of thermal emission from hot dust. Most of the stars appear scattered throughout the GCR, with no relation to the three known massive young clusters; several others lie near the Arches and Quintuplet clusters and may have originated within one of these systems. The results of this work bring the total sample of Wolf-Rayet stars in the GCR to 92. All sources of strong P-alpha excess have been identified in the area surveyed with HST, which implies that the sample of WN stars in this region is near completion, and is dominated by late (WNL) types. The current WC sample, although probably not complete, is almost exclusively dominated by late (WCL) types. The observed Wolf-Rayet subtype distribution in the GCR is a reflection of the intrinsic rarity of early subtypes (WNE and WCE) in the inner Galaxy, an effect that is driven by metallicity.


title: Formation of asteroid pairs by rotational fission

abstract: Asteroid pairs sharing similar heliocentric orbits were found recently. Backward integrations of their orbits indicated that they separated gently with low relative velocities, but did not provide additional insight into their formation mechanism. A previously hypothesized rotational fission process4 may explain their formation - critical predictions are that the mass ratios are less than about 0.2 and, as the mass ratio approaches this upper limit, the spin period of the larger body becomes long. Here we report photometric observations of a sample of asteroid pairs revealing that primaries of pairs with mass ratios much less than 0.2 rotate rapidly, near their critical fission frequency. As the mass ratio approaches 0.2, the primary period grows long. This occurs as the total energy of the system approaches zero requiring the asteroid pair to extract an increasing fraction of energy from the primary's spin in order to escape. We do not find asteroid pairs with mass ratios larger than 0.2. Rotationally fissioned systems beyond this limit have insufficient energy to disrupt. We conclude that asteroid pairs are formed by the rotational fission of a parent asteroid into a proto-binary system which subsequently disrupts under its own internal system dynamics soon after formation.


title: Fokker-Planck Asymptotics for Traffic Flow Models

abstract: Starting from microscopic interaction rules we derive kinetic models of Fokker--Planck type for vehicular traffic flow. The derivation is based on taking a suitable asymptotic limit of the corresponding Boltzmann model. As particular cases, the derived models comprise existing models. New Fokker--Planck models are also given and their differences to existing models are highlighted. Finally, we report on numerical experiments.

categories: math-ph cond-mat.stat-mech math.MP physics.soc-ph


title: Transience in Dynamical Systems

abstract: We extend the theory of transience to general dynamical systems with no Markov structure assumed. This is linked to the theory of phase transitions. We also provide examples of new kinds of transient behaviour.


title: sigma and f_0(980) substructures from gamma-gamma to pi-pi, J/psi, phi radiative and D_s semi-leptonic decays

abstract: Using an improved "analytic K-matrix model", we reconsider the extraction of the sigma/f_0(600) and f_0(980) gamma-gamma widths from gamma-gamma to pi-pi scatterings data of Crystal Ball and Belle. Our main results are summarized in Tables 3 and 4. The averaged sigma "direct width" to gamma-gamma is 0.16(3) keV which confirms a previous result of [1] and which does neither favour a large four-quark (diquark-antidiquark) nor a molecule nor a pure \bar qq component. The "direct width" of the f_0(980) of 0.28(2) keV is much larger than the four-quark expectation but can be compatible with a \bar ss or gluonium component. We also found that the rescattering part of the amplitude is relatively large indicating an important contribution of the meson loops in the determination of the gamma-gamma total widths. This is mainly due to the large couplings of the sigma and f_0(980) to pi-pi and/or \bar KK, which can also be due to a light scalar gluonium with large OZI violating couplings but not necessary to a four-quark or molecule state. Our average results for the total (direct+rescattering) gamma-gamma widths: Gamma_sigma^{tot}= 3.08(82) keV, Gamma_{f_0}^{tot}= 0.16(1) keV} are comparable with the ones from dispersion relations and PDG values. Using the parameters from QCD spectral sum rules, we complete our analysis by showing that the production rates of unmixed scalar gluonia sigma_B(1) and G (1.5-1.6) agree with the data from J/\psi, phi radiative and D_s semi-leptonic decays.


title: Anomaly and a QCD-like phase diagram with massive bosonic baryons

abstract: We study a strongly coupled $Z_2$ lattice gauge theory with two flavors of quarks, invariant under an exact $\mathrm{SU}(2)\times \mathrm{SU}(2) \times \mathrm{U}_A(1) \times \mathrm{U}_B(1)$ symmetry which is the same as QCD with two flavors of quarks without an anomaly. The model also contains a coupling that can be used to break the $\mathrm{U}_A(1)$ symmetry and thus mimic the QCD anomaly. At low temperatures $T$ and small baryon chemical potential $\mu_B$ the model contains massless pions and massive bosonic baryons similar to QCD with an even number of colors. In this work we study the $T-\mu_B$ phase diagram of the model and show that it contains three phases : (1) A chirally broken phase at low $T$ and $\mu_B$, (2) a chirally symmetric baryon superfluid phase at low $T$ and high $\mu_B$, and (3) a symmetric phase at high $T$. We find that the nature of the finite temperature chiral phase transition and in particular the location of the tricritical point that seperates the first order line from the second order line is affected significantly by the anomaly.


title: Spreadsheet Risk Management in Organisations

abstract: The paper examines in the context of financial reporting, the controls that organisations have in place to manage spreadsheet risk and errors. There has been widespread research conducted in this area, both in Ireland and internationally. This paper describes a study involving 19 participants (2 case studies and 17 by survey) from Ireland. Three areas are examined; firstly, the extent of spreadsheet usage, secondly, the level of complexity employed in spreadsheets, and finally, the controls in place regarding spreadsheets. The findings support previous findings of Panko (1998), that errors occur frequently in spreadsheets and that there is little or unenforced controls employed, however this research finds that attitudes are changing with regard to spreadsheet risk and that one organisation is implementing a comprehensive project regarding policies on the development and control of spreadsheets. Further research could be undertaken in the future to examine the development of a "best practice model" both for the reduction in errors and to minimise the risk in spreadsheet usage.


title: Singular and Regular Gauges in Soft Collinear Effective Theory: The Introduction of the New Wilson Line T

abstract: Gauge invariance in soft-collinear effective theory (SCET) is discussed in regular (covariant) and singular (light-cone) gauges. It is argued that SCET, as it stands, is not capable to define in a gauge invariant way certain non-perturbative matrix elements that are an integral part of many factorization theorems. Those matrix elements involve two quark or gluon fields separated not only in light-cone direction but also in the transverse one. This observation limits the range of applicability of SCET. To remedy this we argue that one needs to introduce a new Wilson line as part of SCET formalism, that we call T. This Wilson line depends only on the transverse component of the gluon field. As such it is a new feature to the SCET formalism and it guarantees gauge invariance of the non-perturbative matrix elements in both classes of gauges.


title: Thermodynamics of itinerant metamagnetic transitions

abstract: Theoretical studies of the metamagnetism and anomalous phase of Sr3Ru2O7 have focused on the role of van Hove singularities, although much experimental evidence points towards quantum criticality having a large effect. We investigate the magnetic and thermodynamic properties of systems where magnetic field tunes through such a peak in the electronic density of states. We study the generic case of a van Hove singularity in 2D. We see that in combination with the requirement of number conservation and interaction effects the peak in the density of states produces several interesting phenomena including raising the critical field of the transition above naive estimates, altering the relationship between temperature and field scales and creating a distinctive double-peak structure in the electronic specific heat. We show that this apparent non-Fermi liquid behaviour can be caused at mean-field level by a peak in the density of states.


title: Integrable (2+1)-dimensional systems of hydrodynamic type

abstract: We describe the results that have so far been obtained in the classification problem for integrable (2+1)-dimensional systems of hydrodynamic type. The systems of Gibbons--Tsarev type are the most fundamental here. A whole class of integrable (2+1)-dimensional models is related to each such system. We present the known GT systems related to algebraic curves of genus g=0 and g=1 and also a new GT system corresponding to algebraic curves of genus g=2. We construct a wide class of integrable models generated by the simplest GT system, which was not considered previously because it is in a sense trivial.


title: Variations of the spectral index of dust emissivity from Hi-GAL observations of the Galactic plane

abstract: Variations in the dust emissivity are critical for gas mass determinations derived from far-infrared observations, but also for separating dust foreground emission from the Cosmic Microwave Background (CMB). Hi-GAL observations allow us for the first time to study the dust emissivity variations in the inner regions of the Galactic plane at resolution below 1 degree. We present maps of the emissivity spectral index derived from the combined Herschel PACS 160 \mu m, SPIRE 250 \mu m, 350 \mu m, and 500 \mu m data, and the IRIS 100 \mu m data, and we analyze the spatial variations of the spectral index as a function of dust temperature and wavelength in the two Science Demonstration Phase Hi-GAL fields, centered at l=30{\deg} and l=59{\deg}. Applying two different methods, we determine both dust temperature and emissivity spectral index between 100 and 500 \mu m, at an angular resolution of 4'. Combining both fields, the results show variations of the emissivity spectral index in the range 1.8-2.6 for temperatures between 14 and 23 K. The median values of the spectral index are similar in both fields, i.e. 2.3 in the range 100-500 \mu m, while the median dust temperatures are equal to 19.1 K and 16.0 K in the l=30{\deg} and l=59{\deg} field, respectively. Statistically, we do not see any significant deviations in the spectra from a power law emissivity between 100 and 500 \mu m. We confirm the existence of an inverse correlation between the emissivity spectral index and dust temperature, found in previous analyses.


title: Leptonic signatures of doubly charged Higgs boson production at the LHC

abstract: The production of doubly charged Higgs bosons (H^{\pm\pm}) at the CERN LHC can give rise to distinctive multi-lepton signatures. The discovery potential of H^{\pm\pm} can be optimized by considering a search strategy which is sensitive to both of the dominant production mechanisms, q\bar q\to H^{++}H^{--} and q\bar {q'}\to H^{\pm\pm}H^{\mp}. We compare the discovery potential for the signatures of exactly four leptons and at least three leptons in the final state, using the same set of cuts. We have carried out fast detector simulations at the LHC for both signal and backgrounds for a wide range of values of the charged Higgs mass. We find that the use of the latter channel can substantially improve the detection prospects of the doubly charged Higgs boson at the LHC.


title: Composite Dirac Neutrinos

abstract: We present a mechanism that naturally produces light Dirac neutrinos. The basic idea is that the right-handed neutrinos are composite. Any realistic composite model must involve `hidden flavor' chiral symmetries. In general some of these symmetries may survive confinement, and in particular, one of them manifests itself at low energy as an exact $B-L$ symmetry. Dirac neutrinos are therefore produced. The neutrinos are naturally light due to compositeness. In general, sterile states are present in the model, some of them can naturally be warm dark matter candidates.


title: Small-time asymptotics for fast mean-reverting stochastic volatility models

abstract: In this paper, we study stochastic volatility models in regimes where the maturity is small, but large compared to the mean-reversion time of the stochastic volatility factor. The problem falls in the class of averaging/homogenization problems for nonlinear HJB-type equations where the "fast variable" lives in a noncompact space. We develop a general argument based on viscosity solutions which we apply to the two regimes studied in the paper. We derive a large deviation principle, and we deduce asymptotic prices for out-of-the-money call and put options, and their corresponding implied volatilities. The results of this paper generalize the ones obtained in Feng, Forde and Fouque [SIAM J. Financial Math. 1 (2010) 126-141] by a moment generating function computation in the particular case of the Heston model.


title: Using Time Drift of Cosmological Redshifts to find the Mass-Energy Density of the Universe

abstract: In this paper we show that the mass-energy density of the Universe can be fully determined in terms of the cosmological redshifts, their time drifts and angular-diameter distance (observer area distance). Besides providing an indirect measurement of the mass-energy density of the Universe, we show how one can use the time-drift of the cosmological redshifts as a replacement for the mass-energy density element in the minimally required data set to construct an spherically symmetric Lema\^{\i}tre-Tolman-Bondi (LTB) model for the Universe in observational coordinates.


title: Cones, pringles, and grain boundary landscapes in graphene topology

abstract: A polycrystalline graphene consists of perfect domains tilted at angle {\alpha} to each other and separated by the grain boundaries (GB). These nearly one-dimensional regions consist in turn of elementary topological defects, 5-pentagons and 7-heptagons, often paired up into 5-7 dislocations. Energy G({\alpha}) of GB computed for all range 0<={\alpha}<=Pi/3, shows a slightly asymmetric behavior, reaching ~5 eV/nm in the middle, where the 5's and 7's qualitatively reorganize in transition from nearly armchair to zigzag interfaces. Analysis shows that 2-dimensional nature permits the off-plane relaxation, unavailable in 3-dimensional materials, qualitatively reducing the energy of defects on one hand while forming stable 3D-landsapes on the other. Interestingly, while the GB display small off-plane elevation, the random distributions of 5's and 7's create roughness which scales inversely with defect concentration, h ~ n^(-1/2)


title: The Detection of Human Spreadsheet Errors by Humans versus Inspection (Auditing) Software

abstract: Previous spreadsheet inspection experiments have had human subjects look for seeded errors in spreadsheets. In this study, subjects attempted to find errors in human-developed spreadsheets to avoid the potential artifacts created by error seeding. Human subject success rates were compared to the successful rates for error-flagging by spreadsheet static analysis tools (SSATs) applied to the same spreadsheets. The human error detection results were comparable to those of studies using error seeding. However, Excel Error Check and Spreadsheet Professional were almost useless for correctly flagging natural (human) errors in this study.


title: Robust Simultaneous Localization of Nodes and Targets in Sensor Networks Using Range-Only Measurements

abstract: Simultaneous localization and tracking (SLAT) in sensor networks aims to determine the positions of sensor nodes and a moving target in a network, given incomplete and inaccurate range measurements between the target and each of the sensors. One of the established methods for achieving this is to iteratively maximize a likelihood function (ML), which requires initialization with an approximate solution to avoid convergence towards local extrema. This paper develops methods for handling both Gaussian and Laplacian noise, the latter modeling the presence of outliers in some practical ranging systems that adversely affect the performance of localization algorithms designed for Gaussian noise. A modified Euclidean Distance Matrix (EDM) completion problem is solved for a block of target range measurements to approximately set up initial sensor/target positions, and the likelihood function is then iteratively refined through Majorization-Minimization (MM). To avoid the computational burden of repeatedly solving increasingly large EDM problems in time-recursive operation an incremental scheme is exploited whereby a new target/node position is estimated from previously available node/target locations to set up the iterative ML initial point for the full spatial configuration. The above methods are first derived under Gaussian noise assumptions, and modifications for Laplacian noise are then considered. Analytically, the main challenges to be overcome in the Laplacian case stem from the non-differentiability of $\ell_1$ norms that arise in the various cost functions. Simulation results confirm that the proposed algorithms significantly outperform existing methods for SLAT in the presence of outliers, while offering comparable performance for Gaussian noise.


title: Teaching Spreadsheets: Curriculum Design Principles

abstract: EuSpRIG concerns direct researchers to revisit spreadsheet education, taking into account error auditing tools, checklists, and good practices. This paper aims at elaborating principles to design a spreadsheet curriculum. It mainly focuses on two important issues. Firstly, it is necessary to establish the spreadsheet invariants to be taught, especially those concerning errors and good practices. Secondly, it is important to take into account the learners' ICT experience, and to encourage them to attitudes that foster self-learning. We suggest key principles for spreadsheet teaching, and we illustrate them with teaching guidelines.


title: Thresholdless surface solitons

abstract: We report on the existence of nonlinear surface waves which, on the one hand, do not require the threshold energy flow for their excitation, and, on the other hand, extend into media at both sides of the interface at low powers, i.e. can not be reduced to the conventional Tamm states. Such waves can be excited if the refractive index in at least one of the materials forming the interface is periodically modulated, with properly selected modulation depth and frequency. Thresholdless surface solitons can be stable in the entire existence domain.


title: Explicit Substitutions for Contextual Type Theory

abstract: In this paper, we present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextual modal type theory. We first present a dependently typed lambda calculus with explicit substitutions for ordinary variables and explicit meta-substitutions for meta-variables. We then present a weak head normalization procedure which performs both substitutions lazily and in a single pass thereby combining substitution walks for the two different classes of variables. Finally, we describe a bidirectional type checking algorithm which uses weak head normalization and prove soundness.


title: Generating Bijections between HOAS and the Natural Numbers

abstract: A provably correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have an adequate encoding of sets of terms, and maps from one term family to another. Sets and maps are useful in many situations and are preferably provided in a library of some sort. I have released a map and set library for use with Twelf which can be used with any type for which a bijection to the natural numbers exists. Since creating such bijections is tedious and error-prone, I have created a "bijection generator" that generates such bijections automatically together with proofs of correctness, all in the context of Twelf.


title: Closed nominal rewriting and efficiently computable nominal algebra equality

abstract: We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete procedure to check nominal algebra equality. This subclass includes specifications of the lambda-calculus and first-order logic.


title: Pure Type Systems without Explicit Contexts

abstract: We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of shape "Gamma |- A : B", our systems just have judgments of shape "A : B". A key feature is that we distinguish free and bound variables even in pseudo-terms. Specifically we give the rules of the "Pure Type System" class of type theories in this style. We prove that the typing judgments of these systems correspond in a natural way with those of Pure Type Systems as traditionally formulated. I.e., our systems have exactly the same well-typed terms as traditional presentations of type theory. Our system can be seen as a type theory in which all type judgments share an identical, infinite, typing context that has infinitely many variables for each possible type. For this reason we call our system "Gamma_infinity". This name means to suggest that our type judgment "A : B" should be read as "Gamma_infinity |- A : B", with a fixed infinite type context called "Gamma_infinity".


title: A Monadic Formalization of ML5

abstract: ML5 is a programming language for spatially distributed computing, based on a Curry-Howard correspondence with the modal logic S5. Despite being designed by a correspondence with S5 modal logic, the ML5 programming language differs from the logic in several ways. In this paper, we explain these discrepancies between ML5 and S5 by translating ML5 into a slightly different logic: intuitionistic S5 extended with a lax modality that encapsulates effectful computations in a monad. This translation both explains the existing ML5 design and suggests some simplifications and generalizations. We have formalized our translation within the Agda proof assistant. Rather than formalizing lax S5 as a proof theory, we \emph{embed} it as a universe within the the dependently typed host language, with the universe elimination given by implementing the modal logic's Kripke semantics. This representation technique saves us the work of defining a proof theory for the logic and proving it correct, and additionally allows us to inherit the equational theory of the meta-language, which can be exploited in proving that the semantics validates the operational semantics of ML5.


title: Representing Isabelle in LF

abstract: LF has been designed and successfully used as a meta-logical framework to represent and reason about object logics. Here we design a representation of the Isabelle logical framework in LF using the recently introduced module system for LF. The major novelty of our approach is that we can naturally represent the advanced Isabelle features of type classes and locales. Our representation of type classes relies on a feature so far lacking in the LF module system: morphism variables and abstraction over them. While conservative over the present system in terms of expressivity, this feature is needed for a representation of type classes that preserves the modular structure. Therefore, we also design the necessary extension of the LF module system.


title: Pattern Unification for the Lambda Calculus with Linear and Affine Types

abstract: We define the pattern fragment for higher-order unification problems in linear and affine type theory and give a deterministic unification algorithm that computes most general unifiers.


title: Estimation of Infants' Cry Fundamental Frequency using a Modified SIFT algorithm

abstract: This paper addresses the problem of infants' cry fundamental frequency estimation. The fundamental frequency is estimated using a modified simple inverse filtering tracking (SIFT) algorithm. The performance of the modified SIFT is studied using a real database of infants' cry. It is shown that the algorithm is capable of overcoming the problem of under-estimation and over-estimation of the cry fundamental frequency, with an estimation accuracy of 6.15% and 3.75%, for hyperphonated and phonated cry segments, respectively. Some typical examples of the fundamental frequency contour in typical cases of pathological and healthy cry signals are presented and discussed.


title: What we understand is what we get: Assessment in Spreadsheets

abstract: In previous work we have studied how an explicit representation of background knowledge associated with a specific spreadsheet can be exploited to alleviate usability problems with spreadsheet-based applications. We have implemented this approach in the SACHS system to provide a semantic help system for spreadsheets applications. In this paper, we evaluate the (comprehension) coverage of SACHS on an Excel-based financial controlling system via a "Wizard-of-Oz" experiment. This shows that SACHS adds significant value, but systematically misses important classes of explanations. For judgements about the information contained in spreadsheets, we provide a first approach for an "assessment module" in SACHS.


title: A Tale of Two Current Sheets

abstract: I outline a new model of particle acceleration in the current sheet separating the closed from the open field lines in the force-free model of pulsar magnetospheres, based on reconnection at the light cylinder and "auroral" acceleration occurring in the return current channel that connects the light cylinder to the neutron star surface. I discuss recent studies of Pulsar Wind Nebulae, which find that pair outflow rates in excess of those predicted by existing theories of pair creation occur, and use those results to point out that dissipation of the magnetic field in a pulsar's wind upstream of the termination shock is restored to life as a viable model for the solution of the "$\sigma$" problem as a consequence of the lower wind 4-velocity implied by the larger mass loading.


title: Condensation in the inclusion process and related models

abstract: We study condensation in several particle systems related to the inclusion process. For an asymmetric one-dimensional version with closed boundary conditions and drift to the right, we show that all but a finite number of particles condense on the right-most site. This is extended to a general result for independent random variables with different tails, where condensation occurs for the index (site) with the heaviest tail, generalizing also previous results for zero-range processes. For inclusion processes with homogeneous stationary measures we establish condensation in the limit of vanishing diffusion strength in the dynamics, and give several details about how the limit is approached for finite and infinite systems. Finally, we consider a continuous model dual to the inclusion process, the so-called Brownian energy process, and prove similar condensation results.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: A Finite Quantum Gravity Field Theory Model

abstract: We discuss the quantization of Delta gravity, a two symmetric tensors model of gravity. This model, in Cosmology, shows accelerated expansion without a cosmological constant. We present the $\tilde{\delta}$ transformation which defines the geometry of the model. Then we show that all delta type models live at one loop only. We apply this to General Relativity and we calculate the one loop divergent part of the Effective Action showing its null contribution in vacuum, implying a finite model. Then we proceed to study the existence of ghosts in the model. Finally, we study the form of the finite quantum corrections to the classical action of the model.


title: Multiplicity and regularity of large periodic solutions with rational frequency for a class of semilinear wave equations

abstract: We prove the existence of infinitely many classical periodic solutions for a class of semilinear wave equations with periodic boundary conditions. Our argument relies on some new estimates for the linear problem with periodic boundary conditions, by combining Littlewood-Paley techniques, the Hausdorff-Young theorem, and a variational formulation due to Rabinowitz. We also develop a new approach to the regularity of the distributional solutions, by employing Gagliardo-Nirenberg estimates.


title: SDSS J141624.08+134826.7: Blue L Dwarfs and Non-Equilibrium Chemistry

abstract: We present an analysis of the recently discovered blue L dwarf SDSS J141624.08+134826.7. We extend the spectral coverage of its published spectrum to ~4 microns by obtaining a low-resolution L band spectrum with SpeX on the NASA IRTF. The spectrum exhibits a tentative weak CH4 absorption feature at 3.3 microns but is otherwise featureless. We derive the atmospheric parameters of SDSS J141624.08+134826.7 by comparing its 0.7-4.0 micron spectrum to the atmospheric models of Marley and Saumon which include the effects of both condensate cloud formation and non-equilibrium chemistry due to vertical mixing and find the best fitting model has Teff=1700 K, log g=5.5 [cm s-2], fsed=4, and Kzz=10^4 cm2 s-1. The derived effective temperature is significantly cooler than previously estimated but we confirm the suggestion by Bowler et al. that the peculiar spectrum of SDSS J141624.08+134826.7 is primarily a result of thin condensate clouds. In addition, we find strong evidence of vertical mixing in the atmosphere of SDSS J141624.08+134826.7 based on the absence of the deep 3.3 micron CH4 absorption band predicted by models computed in chemical equilibrium. This result suggests that observations of blue L dwarfs are an appealing way to quantitatively estimate the vigor of mixing in the atmospheres of L dwarfs because of the dramatic impact such mixing has on the strength of the 3.3 micron CH4 band in the emergent spectra of L dwarfs with thin condensate clouds.


title: A view of canonical extension

abstract: This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties are given. In particular, they are doubly algebraic lattices and their interval topologies agree with their double Scott topologies and make them Priestley topological algebras.


title: The photometric properties of a vast stellar substructure in the outskirts of M33

abstract: We have surveyed $\sim40$sq.degrees surrounding M33 with CFHT MegaCam in the g and i filters, as part of the Pan-Andromeda Archaeological Survey. Our observations are deep enough to resolve the top 4mags of the red giant branch population in this galaxy. We have previously shown that the disk of M33 is surrounded by a large, irregular, low-surface brightness substructure. Here, we quantify the stellar populations and structure of this feature using the PAndAS data. We show that the stellar populations of this feature are consistent with an old population with $<[Fe/H]>\sim-1.6$dex and an interquartile range in metallicity of $\sim0.5$dex. We construct a surface brightness map of M33 that traces this feature to $\mu_V\simeq33$mags\,arcsec$^{-2}$. At these low surface brightness levels, the structure extends to projected radii of $\sim40$kpc from the center of M33 in both the north-west and south-east quadrants of the galaxy. Overall, the structure has an "S-shaped" appearance that broadly aligns with the orientation of the HI disk warp. We calculate a lower limit to the integrated luminosity of the structure of $-12.7\pm0.5$mags, comparable to a bright dwarf galaxy such as Fornax or AndII and slightly less than $1\$ of the total luminosity of M33. Further, we show that there is tentative evidence for a distortion in the distribution of young stars near the edge of the HI disk that occurs at similar azimuth to the warp in HI. The data also hint at a low-level, extended stellar component at larger radius that may be a M33 halo component. We revisit studies of M33 and its stellar populations in light of these new results, and we discuss possible formation scenarios for the vast stellar structure. Our favored model is that of the tidal disruption of M33 in its orbit around M31.