title: Online Learning Algorithms for Stochastic Water-Filling

abstract: Water-filling is the term for the classic solution to the problem of allocating constrained power to a set of parallel channels to maximize the total data-rate. It is used widely in practice, for example, for power allocation to sub-carriers in multi-user OFDM systems such as WiMax. The classic water-filling algorithm is deterministic and requires perfect knowledge of the channel gain to noise ratios. In this paper we consider how to do power allocation over stochastically time-varying (i.i.d.) channels with unknown gain to noise ratio distributions. We adopt an online learning framework based on stochastic multi-armed bandits. We consider two variations of the problem, one in which the goal is to find a power allocation to maximize $\sum\limits_i \mathbb{E}[\log(1 + SNR_i)]$, and another in which the goal is to find a power allocation to maximize $\sum\limits_i \log(1 + \mathbb{E}[SNR_i])$. For the first problem, we propose a \emph{cognitive water-filling} algorithm that we call CWF1. We show that CWF1 obtains a regret (defined as the cumulative gap over time between the sum-rate obtained by a distribution-aware genie and this policy) that grows polynomially in the number of channels and logarithmically in time, implying that it asymptotically achieves the optimal time-averaged rate that can be obtained when the gain distributions are known. For the second problem, we present an algorithm called CWF2, which is, to our knowledge, the first algorithm in the literature on stochastic multi-armed bandits to exploit non-linear dependencies between the arms. We prove that the number of times CWF2 picks the incorrect power allocation is bounded by a function that is polynomial in the number of channels and logarithmic in time, implying that its frequency of incorrect allocation tends to zero.


title: Carbon tips as electrodes for single-molecule junctions

abstract: We study electron transport through single-molecule junctions formed by an octanethiol molecule bonded with the thiol anchoring group to a gold electrode and the opposing methyl endgroup to a carbon tip. Using the scanning tunneling microscope based break junction technique, we measure the electrical conductance of such molecular junctions. We observe the presence of well-defined conductance plateaus during the stretching of the molecular bridge, which is the signature of the formation of a molecular junction.


title: Holographic dark energy in the DGP model

abstract: The braneworld model proposed by Dvali, Gabadadze and Porrati leads to an accelerated universe without cosmological constant or other form of dark energy. Nevertheless, we have investigated the consequences of this model when an holo- graphic dark energy is included, taken the Hubble scale as IR cutoff. We have found that the holographic dark energy leads to an accelerated universe flat (de Sitter like expansion) for the two branch: {\ko} = \pm1 of the DGP model. Nevertheless, in universes with no null curvature the dark energy presents an EoS corresponding to a phantom fluid during the present era and evolving to a de Sitter like phase for future cosmic time. In the special case in which the holographic parameter c is equal to one we have found a sudden singularity in closed universes. In this case the expansion is decelerating. Manuscript


title: Categories as models on a suitable algebraic theory

abstract: We explain how categories, and groupoids, can be seen as models for a Lawvere ${\mathfrak Gr}$-theory, where ${\mathfrak Gr}$ is the category of graphs, and show that for Lawvere ${\mathfrak Gr}$-theories finitely presentable models are finitely presentable objects.


title: Data on pbar-p -> etaprime-pizero-pizero for masses 1960 to 2410 MeV/c^2

abstract: Data on pbar-p -> etaprime(958)-pizero-pizero are presented at nine pbar momenta from 600 to 1940 MeV/c. Strong S-wave production of f_2(1270)-etaprime is observed, requiring a J^{PC} = 2^{-+} resonance with mass M = 2248+-20 MeV, Gamma = 280+-20 MeV.


title: On the Hasse principle for finite group schemes over global function fields

abstract: Let K be a global function field of positive characteristic p and let M be a (commutative) finite and flat K-group scheme. We show that the kernel of the canonical localization map H^{1}(K,M)\to\prod_{all v}H^{1}(K_{v},M) in flat (fppf) cohomology can be computed solely in terms of Galois cohomology. We then give applications to the case where M is the kernel of multiplication by p^{m} on an abelian variety defined over K.


title: Magnetisation Studies of Geometrically Frustrated Antiferromagnets SrLn2O4, with Ln = Er, Dy and Ho

abstract: We present the results of susceptibility \chi(T) and magnetisation M(H) measurements performed on single crystal samples of the rare-earth oxides SrLn2O4 (Ln = Er, Dy and Ho). The measurements reveal the presence of magnetic ordering transition in SrHo2O4 at 0.62 K and confirm that SrEr2O4 orders magnetically at 0.73 K, while in SrDy2O4 such a transition is absent down to at least 0.5 K. The observed ordering temperatures are significantly lower than the Curie-Weiss temperatures, \theta_{CW}, obtained from the high-temperature linear fits to the 1/\chi(T) curves, which implies that these materials are subject to geometric frustration. Strong anisotropy found in the \chi(T) curves for a field applied along the different crystallographic directions is also evident in the M(H) curves measured both above and below the ordering temperatures. For all three compounds the magnetisation plateaux at approximately one third of the magnetisation saturation values can be seen for certain directions of applied field, which is indicative of field-induced stabilisation of a collinear {\it two-up one-down} structure.


title: Edge Mode Combinations in the Entanglement Spectra of Non-Abelian Fractional Quantum Hall States on the Torus

abstract: We present a detailed analysis of bi-partite entanglement in the non-Abelian Moore-Read fractional quantum Hall state of bosons and fermions on the torus. In particular, we show that the entanglement spectra can be decomposed into intricate combinations of different sectors of the conformal field theory describing the edge physics, and that the edge level counting and tower structure can be microscopically understood by considering the vicinity of the thin-torus limit. We also find that the boundary entropy density of the Moore-Read state is markedly higher than in the Laughlin states investigated so far. Despite the torus geometry being somewhat more involved than in the sphere geometry, our analysis and insights may prove useful when adopting entanglement probes to other systems that are more easily studied with periodic boundary conditions, such as fractional Chern insulators and lattice problems in general.


title: Note on the Evolution of the Gravitational Potential in Rastall Scalar Field Theories

abstract: We investigate the evolution of the gravitational potential in Rastall scalar field theories. In a single component model a consistent perturbation theory, formulated in the newtonian gauge, is possible only for $\gamma = 1$, which is the General Relativity limit. On the other hand, the addition of another canonical fluid component allows also to consider the case $\gamma \neq 1$.


title: Signatures of Rashba spin-orbit interaction in the superconducting proximity effect in helical Luttinger liquids

abstract: We consider the superconducting proximity effect in a helical Luttinger liquid at the edge of a 2D topological insulator, and derive the low-energy Hamiltonian for an edge state tunnel-coupled to a s-wave superconductor. In addition to correlations between the left and right moving modes, the coupling can induce them inside a single mode, as the spin axis of the edge modes is not necessarily constant. This can be induced controllably in HgTe/CdTe quantum wells via the Rashba spin-orbit coupling, and is a consequence of the 2D nature of the edge state wave function. The distinction of these two features in the proximity effect is also vital for the use of such helical modes in order to split Cooper-pairs. We discuss the consequent transport signatures, and point out a long-ranged feature in a dc conductance measurement that can be used to distinguish the two types of correlations present and to determine the magnitude of the Rashba interaction.


title: Completeness of the Leibniz Field and Rigorousness of Infinitesimal Calculus

abstract: We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of ten equivalent statements} borrowed from algebra, real analysis, general topology and non-standard analysis. We also discuss the completeness of non-Archimedean fields and present several examples of such fields. As an application we exploit one of our results to argue that the Leibniz infinitesimal calculus in the $18^\textrm{th}$ century was already a rigorous branch of mathematics -- at least much more rigorous than most contemporary mathematicians prefer to believe. By advocating our particular historical point of view, we hope to provoke a discussion on the importance of mathematical rigor in mathematics and science in general. We believe that our article will be of interest for those readers who teach courses on abstract algebra, real analysis, general topology, logic and the history of mathematics.


title: An alternative scheme of angular-dispersion analyzers for high-resolution medium-energy inelastic X-ray scattering

abstract: The development of medium-energy inelastic X-ray scattering (IXS) optics with meV and sub-meV resolution has attracted considerable efforts in recent years. Meanwhile, there are also concerns or debates about the fundamental and feasibility of the involved schemes. Here the central optical component, the back-reflection angular-dispersion monochromator or analyzer, is analyzed. The results show that the multiple-beam diffraction effect together with transmission-induced absorption can noticeably reduce the diffraction efficiency, although it may not be a fatal threat. In order to improve the efficiency, a simple four-bounce analyzer is proposed that completely avoids these two adverse effects. The new scheme is illustrated to be a feasible alternative approach for developing meV- to sub-meV-resolution IXS spectroscopy.


title: Episodic accretion, radiative feedback, and their role in low-mass star formation

abstract: It is speculated that the accretion of material onto young protostars is episodic. We present a computational method to include the effects of episodic accretion in radiation hydrodynamic simulations of star formation. We find that during accretion events protostars are "switched on", heating and stabilising the discs around them. However, these events typically last only a few hundred years, whereas the intervals in between them may last for a few thousand years. During these intervals the protostars are effectively "switched off", allowing gravitational instabilities to develop in their discs and induce fragmentation. Thus, episodic accretion promotes disc frag- mentation, enabling the formation of low-mass stars, brown dwarfs and planetary-mass objects. The frequency and the duration of episodic accretion events may be responsible for the low-mass end of the IMF, i.e. for more than 60% of all stars.


title: Atomically thin mica flakes and their application as ultrathin insulating substrates for graphene

abstract: We show that it is possible to deposit, by mechanical exfoliation on SiO2/Si wafers, atomically thin mica flakes down to a single monolayer thickness. The optical contrast of these mica flakes on top of a SiO2/Si substrate, which depends on their thickness, the illumination wavelength and the SiO2 substrate thickness, can be quantitatively accounted for by a Fresnel law based model. The preparation of atomically thin insulating crystalline sheets will enable the fabrication of ultrathin defect-free insulating substrates, dielectric barriers or planar electron tunneling junctions. Additionally, we show that few-layer graphene flakes can be deposited on top of a previously transferred mica flake. Our transfer method relies on viscoelastic stamps, as those used for soft lithography. A Raman spectroscopy study shows that such an all-dry deposition technique yields cleaner and higher quality flakes than conventional wet-transfer procedures based on lithographic resists.


title: A Formula of the Electron Cloud Linear Map Coefficient in a Strong Dipole

abstract: Electron cloud effects have recognized as as one of the most serious bottleneck for reaching design performances in presently running and proposed future storage rings. The analysis of these effects is usually performed with very time consuming simulation codes. An alternative analytic approach, based on a cubic map model for the bunch-to-bunch evolution of the electron cloud density, could be useful to determine regions in parameters space compatible with safe machine operations. In this communication we derive a simple approximate formula relating the linear coefficient in the electron cloud density map to the parameters relevant for the electron cloud evolution with particular reference to the LHC dipoles.


title: Entanglement-secured single-qubit quantum secret-sharing

abstract: In single-qubit quantum secret sharing, a secret is shared between N parties via manipulation and measurement of one qubit at a time. Each qubit is sent to all N parties in sequence; the secret is encoded in the first participant's preparation of the qubit state and the subsequent participants' choices of state rotation or measurement basis. We present a protocol for single-qubit quantum secret sharing using polarization entanglement of photon pairs produced in type-I spontaneous parametric downconversion. We investigate the protocol's security against eavesdropping attack under common experimental conditions: a lossy channel for photon transmission, and imperfect preparation of the initial qubit state. A protocol which exploits entanglement between photons, rather than simply polarization correlation, is more robustly secure. We implement the entanglement-based secret-sharing protocol with 87% secret-sharing fidelity, limited by the purity of the entangled state produced by our present apparatus. We demonstrate a photon-number splitting eavesdropping attack, which achieves no success against the entanglement-based protocol while showing the predicted rate of success against a correlation-based protocol.


title: Geometry of the high energy limit of differential operators on vector bundles

abstract: At high energies relativistic quantum systems describing scalar particles behave classically. This observation plays an important role in the investigation of eigenfunctions of the Laplace operator on manifolds for large energies and allows to establish relations to the dynamics of the corresponding classical system. Relativistic quantum systems describing particles with spin such as the Dirac equation do not behave classically at high energies. Nonetheless, the dynamical properties of the classical frame flow determine the behavior of eigensections of the corresponding operator for large energies. We review what a high energy limit is and how it can be described for geometric operators.


title: A Coherent Timing Solution for the Nearby, Thermally Emitting Isolated Neutron Star RX J0420.0-5022

abstract: We present a phase-coherent timing solution for RX J0420.0-5022, the coolest (kT=45 eV) and fastest-spinning (P=3.45 s) of the seven so-called isolated neutron stars (INSs). Using 14 observations with the XMM-Newton spacecraft in 2010-2011, we were able to measure a spin-down rate nudot=(-2.3+/-0.2)e-15 Hz/s (Pdot=(2.8+/-0.3)e-14 s/s), from which we infer a dipolar magnetic field of 1.0e13 G. With reasonable confidence we were able to extend the timing solution back to archival XMM-Newton from 2002 and 2003, giving the same solution but with considerably more precision. This gives RX J0420 the lowest dipole magnetic field of the INSs. Our spectroscopy does not confirm the broad absorption feature at 0.3 keV hinted at in earlier observations, although difficulties in background subtraction near that energy make conclusions difficult. With this, all 6 of the INSs that have confirmed periodicities now have constrained spin-downs from coherent solutions. The evidence that the INSs are qualitatively different from rotation-powered pulsars now appears robust, with the likely conclusion that their characteristic ages are systematically older than their true ages, because their fields have decayed. The field decay probably also causes them to be systematically hotter than pulsars of the same (true) age.


title: Automorphism Classes of Elements in Finitely Generated Abelian Groups

abstract: We will show that every element of a finitely generated abelian group is automorphically equivalent what we will define to be a {\em representative element} in a {\em repeat-free subgroup}, and for finite abelian groups we can count the number of automorphism classes of elements.


title: Valued Graphs and the Representation Theory of Lie Algebras

abstract: Quivers (directed graphs) and species (a generalization of quivers) and their representations play a key role in many areas of mathematics including combinatorics, geometry, and algebra. Their importance is especially apparent in their applications to the representation theory of associative algebras, Lie algebras, and quantum groups. In this paper, we discuss the most important results in the representation theory of species, such as Dlab and Ringel's extension of Gabriel's theorem, which classifies all species of finite and tame representation type. We also explain the link between species and K-species (where K is a field). Namely, we show that the category of K-species can be viewed as a subcategory of the category of species. Furthermore, we prove two results about the structure of the tensor ring of a species containing no oriented cycles that do not appear in the literature. Specifically, we prove that two such species have isomorphic tensor rings if and only if they are isomorphic as "crushed" species, and we show that if K is a perfect field, then the tensor algebra of a K-species tensored with the algebraic closure of K is isomorphic to, or Morita equivalent to, the path algebra of a quiver.


title: An optimal transient growth of small perturbations in thin gaseous discs

abstract: A thin gaseous disc with an almost keplerian angular velocity profile, bounded by a free surface and rotating around point-mass gravitating object is nearly spectrally stable. Despite that the substantial transient growth of linear perturbations measured by the evolution of their acoustic energy is possible. This fact is demonstrated for the simple model of a non-viscous polytropic thin disc of a finite radial size where the small adiabatic perturbations are considered as a linear combination of neutral modes with a corotational radius located beyond the outer boundary of the flow.


title: Transverse-momentum resummation: Higgs boson production at the Tevatron and the LHC

abstract: We consider the transverse-momentum (q_T) distribution of Standard Model Higgs bosons produced by gluon fusion in hadron collisions. At small q_T (q_T<<m_H, m_H being the mass of the Higgs boson), we resum the logarithmically-enhanced contributions due to multiple soft-gluon emission to all order in QCD perturbation theory. At intermediate and large values of q_T (q_T <~m_H), we consistently combine resummation with the known fixed-order results. We use the most advanced perturbative information that is available at present: next-to-next-to-leading logarithmic resummation combined with the next-to-leading fixed-order calculation. We extend previous results including exactly all the perturbative terms up to order alphas^4 in our computation and, after integration over q_T, we recover the known next-to-next-to-leading order result for the total cross section. We present numerical results at the Tevatron and the LHC, together with an estimate of the corresponding uncertainties. Our calculation is implemented in an updated version of the numerical code HqT.


title: Natural Predictions for the Higgs Boson Mass and Supersymmetric Contributions to Rare Processes

abstract: In the context of No-Scale F-SU(5), a model defined by the convergence of the F-lipped SU(5) Grand Unified Theory, two pairs of hypothetical TeV scale vector-like supersymmetric multiplets with origins in F-theory, and the dynamically established boundary conditions of No-Scale Supergravity, we predict that the lightest CP-even Higgs boson mass lies within the range of 119.0 GeV to 123.5 GeV, exclusive of the vector-like particle contribution to the mass. With reports by the CMS, ATLAS, CDF, and D0 Collaborations detailing enticing statistical excesses in the vicinity of 120 GeV in searches for the Standard Model Higgs boson, all signs point to an imminent discovery. While basic supersymmetric constructions such as mSUGRA and the CMSSM have already suffered overwhelming reductions in viable parameterization during the LHC's initial year of operation, about 80% of the original No-Scale F-SU(5) model space remains viable after analysis of the first 1.1 fb^{-1} of integrated luminosity. This model is moreover capable of handily explaining the small excesses recently reported in the CMS multijet supersymmetry search, and also features a highly favorable "golden" subspace which may simultaneously account for the key rare process limits on the muon anomalous magnetic moment (g - 2) and the branching ratio of the flavor-changing neutral current decay b to s\gamma. In addition, the isolated mass parameter responsible for the global particle mass normalization, the gaugino boundary mass M_{1/2}, is dynamically determined at a secondary local minimization of the minimum of the Higgs potential V_{min}, in a manner which is deeply consistent with all precision measurements at the physical electroweak scale.


title: Scattering in twisted waveguides

abstract: We consider a twisted quantum waveguide i.e. a domain of the form \Omega_{\theta} : = r_\theta \omega \times R, where \omega \subset R^2 is a bounded domain, and r_\theta = r_\theta(x_3) is a rotation by the angle \theta(x_3) depending on the longitudinal variable x_3. We investigate the nature of the essential spectrum of the Dirichlet Laplacian H_\theta, self-adjoint in L^2 (\Omega_\theta), and consider related scattering problems. First, we show that if the derivative of the difference \theta_1 - \theta_2 decays fast enough as |x_3| goes to infinity, then the wave operators for the operator pair (H_{\theta_1}, H_{\theta_2}) exist and are complete. Further, we concentrate on appropriate perturbations of constant twisting, i.e. \theta' = \beta - \epsilon, with constant \beta \in R, and \epsilon which decays fast enough at infinity together with its first derivative. In this case the unperturbed operator corresponding to \epsilon is an analytically fibered Hamiltonian with purely absolutely continuous spectrum. Obtaining Mourre estimates with a suitable conjugate operator, we prove, in particular, that the singular continuous spectrum of H_\theta, is empty.


title: A local strengthening of Reed's {\omega}, \Delta, {\chi} conjecture for quasi-line graphs

abstract: Reed's $\omega$, $\Delta$, $\chi$ conjecture proposes that every graph satisfies $\chi\leq \lceil\frac 12(\Delta+1+\omega)\rceil$; it is known to hold for all claw-free graphs. In this paper we consider a local strengthening of this conjecture. We prove the local strengthening for line graphs, then note that previous results immediately tell us that the local strengthening holds for all quasi-line graphs. Our proofs lead to polytime algorithms for constructing colourings that achieve our bounds: $O(n^2)$ for line graphs and $O(n^3m^2)$ for quasi-line graphs. For line graphs, this is faster than the best known algorithm for constructing a colouring that achieves the bound of Reed's original conjecture.


title: A characterization of Keller maps

abstract: Let k be a field of characteristic zero. Let phi be a k-endomorphism of the polynomial algebra k[x_1,...,x_n]. It is known that phi is an automorphism if and only if it maps irreducible polynomials to irreducible polynomials. In this paper we show that phi satisfies the jacobian condition if and only if it maps irreducible polynomials to square-free polynomials. Therefore, the Jacobian Conjecture is equivalent to the following statement: every k-endomorphism of k[x_1,...,x_n], mapping irreducible polynomials to square-free polynomials, maps irreducible polynomials to irreducible polynomials.


title: Net-Centric World: Lifestyle of the 21st Century

abstract: In this paper, we research the potential of information communication technologies (ICTs) for changing our society from a commute-centric to a network-centric environment. We propose to formalize the key attributes of ICT-based telecommuting experiences from both economic and human interactivity perspective. We introduce the notion of network-eligible transactions and disclose the link between degree of network centricity and worker settlement radius, postulating that media-rich network services have a strong potential to increase the physical distance between work and home locations. We also highlight notable technology challenges and opportunities of migration from location-based to mobile living, signifying the needs for new services and standards development.


title: The Bispectrum of f(R) Cosmologies

abstract: In this paper we analyze a suite of cosmological simulations of modified gravitational action f(R) models, where cosmic acceleration is induced by a scalar field that acts as a fifth force on all forms of matter. In particular, we focus on the bispectrum of the dark matter density field on mildly non-linear scales. For models with the same initial power spectrum, the dark matter bispectrum shows significant differences for cases where the final dark matter power spectrum also differs. Given the different dependence on bias of the galaxy power spectrum and bispectrum, bispectrum measurements can close the loophole of galaxy bias hiding differences in the power spectrum. Alternatively, changes in the initial power spectrum can also hide differences. By constructing LCDM models with very similar final non-linear power spectra, we show that the differences in the bispectrum are reduced (<4%) and are comparable with differences in the imperfectly matched power spectra. These results indicate that the bispectrum depends mainly on the power spectrum and less sensitively on the gravitational signatures of the f(R) model. This weak dependence of the matter bispectrum on gravity makes it useful for breaking degeneracies associated with galaxy bias, even for models beyond general relativity.


title: Search for OB stars running away from young star clusters. II. The NGC 6357 star-forming region

abstract: Dynamical few-body encounters in the dense cores of young massive star clusters are responsible for the loss of a significant fraction of their massive stellar content. Some of the escaping (runaway) stars move through the ambient medium supersonically and can be revealed via detection of their bow shocks (visible in the infrared, optical or radio). In this paper, which is the second of a series of papers devoted to the search for OB stars running away from young (several Myr) Galactic clusters and OB associations, we present the results of the search for bow shocks around the star-forming region NGC 6357. Using the archival data of the Midcourse Space Experiment (MSX) satellite and the Spitzer Space Telescope, and the preliminary data release of the Wide-Field Infrared Survey Explorer (WISE), we discovered seven bow shocks, whose geometry is consistent with the possibility that they are generated by stars expelled from the young star clusters, Pismis 24 and AH03 J1725-34.4, associated with NGC 6357. Two of the seven bow shocks are driven by the already known O stars. Follow-up spectroscopy of three other bow shock-producing stars showed that they are O-type stars as well, while the 2MASS photometry of the remaining two stars suggests that they could be B0 V stars, provided that both are located at the same distance as NGC 6357. Detection of numerous massive stars ejected from the very young clusters is consistent with the theoretical expectation that star clusters can effectively lose massive stars at the very beginning of their dynamical evolution and lends strong support to the idea that probably all field OB stars have been dynamically ejected from their birth clusters. A by-product of our search for bow shocks around NGC 6357 is the detection of three circular shells typical of luminous blue variable and late WN-type Wolf-Rayet stars.


title: Are the Dressed Gluon and Ghost Propagators in the Landau Gauge presently determined in the confinement regime of QCD?

abstract: The Gluon and Ghost propagators in Landau gauge QCD are investigated using the Schwinger-Dyson equation approach. Working in Euclidean spacetime, we solve for these propagators using a selection of vertex inputs, initially for the ghost equation alone and then for both propagators simultaneously. The results are shown to be highly sensitive to the choices of vertices. We favor the infrared finite ghost solution from studying the ghost equation alone where we argue for a specific unique solution. In order to solve this simultaneously with the gluon using a dressed-one-loop truncation, we find that a non-trivial full ghost-gluon vertex is required in the vanishing gluon momentum limit. The self-consistent solutions we obtain correspond to having a mass-like term in the gluon propagator dressing, in agreement with similar studies supporting the long held proposal of Cornwall.


title: Red Giant Branch Bump Brightness and Number Counts in 72 Galactic Globular Clusters Observed with the Hubble Space Telescope

abstract: We present the broadest and most precise empirical investigation of red giant branch bump (RGBB) brightness and number counts ever conducted. We implement a new method and use data from two \textit{Hubble Space Telescope (HST)} globular cluster (GC) surveys to measure the brightness and star counts of the RGBB in 72 GCs. The brightness is measured to a precision better than 0.01 mag while the precision in number counts reaches 10%. The position of the main-sequence turnoff (MSTO) and the number of horizontal branch (HB) stars are used as comparisons where appropriate. Several independent scientific conclusions are newly possible with our parametrization of the RGBB. Both brightness and number counts are shown to have second parameters in addition to their strong dependence on metallicity. The RGBBs are found to be anomalous in the GCs NGC 2808, 5286, 6388 and 6441, likely due to the presence of multiple populations. Finally, we use our empirical calibration to predict the properties of the Galactic bulge RGBB if the assumption of similar stellar physics for the bulge and Galactic GC system holds. The RGBB properties for the bulge are shown to differ from those of the Galactic GC system, with the former having lower number counts, a lower brightness dispersion and a brighter peak luminosity than would be expected from the latter. This discrepancy is well explained by the Galactic bulge having a higher helium abundance than expected from GCs, ${\Delta}$Y$\sim +$0.06 at the median metallicity.


title: Dicke quantum spin glass of atoms and photons

abstract: Recent studies of strongly interacting atoms and photons in optical cavities have rekindled interest in the Dicke model of atomic qubits coupled to discrete photon cavity modes. We study the multimode Dicke model with variable atom-photon couplings. We argue that a quantum spin glass phase can appear, with a random linear combination of the cavity modes superradiant. We compute atomic and photon spectral response functions across this quantum phase transition, both of which should be accessible in experiment.


title: An integral formulation of Yang-Mills on loop space

abstract: It is proposed an integral formulation of classical Yang-Mills equations in the presence of sources, based on concepts in loop spaces and on a generalization of the non-abelian Stokes theorem for two-form connections. The formulation leads in a quite direct way to the construction of gauge invariant conserved quantities which are also independent of the parameterization of surfaces and volumes. Our results are important in understanding global properties of non-abelian gauge theories.


title: Improving Correlation Function Fitting with Ridge Regression: Application to Cross-Correlation Reconstruction

abstract: Cross-correlation techniques provide a promising avenue for calibrating photometric redshifts and determining redshift distributions using spectroscopy which is systematically incomplete (e.g., current deep spectroscopic surveys fail to obtain secure redshifts for 30-50% or more of the galaxies targeted). In this paper we improve on the redshift distribution reconstruction methods presented in Matthews & Newman (2010) by incorporating full covariance information into our correlation function fits. Correlation function measurements are strongly covariant between angular or spatial bins, and accounting for this in fitting can yield substantial reduction in errors. However, frequently the covariance matrices used in these calculations are determined from a relatively small set (dozens rather than hundreds) of subsamples or mock catalogs, resulting in noisy covariance matrices whose inversion is ill-conditioned and numerically unstable. We present here a method of conditioning the covariance matrix known as ridge regression which results in a more well behaved inversion than other techniques common in large-scale structure studies. We demonstrate that ridge regression significantly improves the determination of correlation function parameters. We then apply these improved techniques to the problem of reconstructing redshift distributions. By incorporating full covariance information, applying ridge regression, and changing the weighting of fields in obtaining average correlation functions, we obtain reductions in the mean redshift distribution reconstruction error of as much as ~40% compared to previous methods. In an appendix, we provide a description of POWERFIT, an IDL code for performing power-law fits to correlation functions with ridge regression conditioning that we are making publicly available.


title: Cosmological Model of Interacting Phantom and Yang-Mills Fields

abstract: In this paper, we consider a model of interacting phantom and Yang-Mills (YM) fields supposing the dilaton-type coupling. Making use of specific solution for YM equation previously found by the author, we obtain simple exact solutions for the accelerated expansion of FRW cosmological model. Besides, we derive the induced potentials of phantom field corresponding to some given regimes of expansion.The effective equation of state (EoS) have been reconstructed for all types of the models considered here.


title: The proximity force approximation for the Casimir energy as a derivative expansion

abstract: The proximity force approximation (PFA) has been widely used as a tool to evaluate the Casimir force between smooth objects at small distances. In spite of being intuitively easy to grasp, it is generally believed to be an uncontrolled approximation. Indeed, its validity has only been tested in particular examples, by confronting its predictions with the next to leading order (NTLO) correction extracted from numerical or analytical solutions obtained without using the PFA. In this article we show that the PFA and its NTLO correction may be derived within a single framework, as the first two terms in a derivative expansion. To that effect, we consider the Casimir energy for a vacuum scalar field with Dirichlet conditions on a smooth curved surface described by a function $\psi$ in front of a plane. By regarding the Casimir energy as a functional of $\psi$, we show that the PFA is the leading term in a derivative expansion of this functional. We also obtain the general form of corresponding NTLO correction, which involves two derivatives of $\psi$. We show, by evaluating this correction term for particular geometries, that it properly reproduces the known corrections to PFA obtained from exact evaluations of the energy.


title: A Spallation Model for the Titanium-rich Supernova Remnant Cassiopeia A

abstract: Titanium-rich subluminous supernovae are rare and challenge current SN nucleosynthesis models. We present a model in which ejecta from a standard Supernova is impacted by a second explosion of the neutron star (a Quark-nova), resulting in spallation reactions that lead to 56Ni destruction and 44Ti creation under the right conditions. Basic calculations of the spallation products shows that a delay between the two explosions of ~ 5 days reproduces the observed abundance of 44Ti in Cas A and explains its low luminosity as a result of the destruction of 56Ni. Our results could have important implications for lightcurves of subluminous as well as superluminous supernovae.


title: Towards an experimental realization of affinely transformed linearized QED vacuum via inverse homogenization

abstract: Within the framework of quantum electrodynamics (QED), vacuum is a nonlinear medium which can be linearized for a rapidly time-varying electromagnetic field with a small amplitude subjected to a magnetostatic field. The linearized QED vacuum is a uniaxial dielectric-magnetic medium for which the degree of anisotropy is exceedingly small. By implementing an affine transformation of the spatial coordinates, the degree of anisotropy may become sufficiently large as to be readily perceivable. The inverse Bruggeman formalism can be implemented to specify a homogenized composite material (HCM) which is electromagnetically equivalent to the affinely transformed QED vacuum. This HCM can arise from remarkably simple component materials; for example, two isotropic dielectric materials and two isotropic magnetic materials, randomly distributed as oriented spheroidal particles.


title: Advances in Atomic Data for Neutron-Capture Elements

abstract: Neutron(n)-capture elements (atomic number Z>30), which can be produced in planetary nebula (PN) progenitor stars via s-process nucleosynthesis, have been detected in nearly 100 PNe. This demonstrates that nebular spectroscopy is a potentially powerful tool for studying the production and chemical evolution of trans-iron elements. However, significant challenges must be addressed before this goal can be achieved. One of the most substantial hurdles is the lack of atomic data for n-capture elements, particularly that needed to solve for their ionization equilibrium (and hence to convert ionic abundances to elemental abundances). To address this need, we have computed photoionization cross sections and radiative and dielectronic recombination rate coefficients for the first six ions of Se and Kr. The calculations were benchmarked against experimental photoionization cross section measurements. In addition, we computed charge transfer (CT) rate coefficients for ions of six n-capture elements. These efforts will enable the accurate determination of nebular Se and Kr abundances, allowing robust investigations of s-process enrichments in PNe.


title: Integrating Learning from Examples into the Search for Diagnostic Policies

abstract: This paper studies the problem of learning diagnostic policies from training examples. A diagnostic policy is a complete description of the decision-making actions of a diagnostician (i.e., tests followed by a diagnostic decision) for all possible combinations of test results. An optimal diagnostic policy is one that minimizes the expected total cost, which is the sum of measurement costs and misdiagnosis costs. In most diagnostic settings, there is a tradeoff between these two kinds of costs. This paper formalizes diagnostic decision making as a Markov Decision Process (MDP). The paper introduces a new family of systematic search algorithms based on the AO* algorithm to solve this MDP. To make AO* efficient, the paper describes an admissible heuristic that enables AO* to prune large parts of the search space. The paper also introduces several greedy algorithms including some improvements over previously-published methods. The paper then addresses the question of learning diagnostic policies from examples. When the probabilities of diseases and test results are computed from training data, there is a great danger of overfitting. To reduce overfitting, regularizers are integrated into the search algorithms. Finally, the paper compares the proposed methods on five benchmark diagnostic data sets. The studies show that in most cases the systematic search methods produce better diagnostic policies than the greedy methods. In addition, the studies show that for training sets of realistic size, the systematic search algorithms are practical on todays desktop computers.


title: LexRank: Graph-based Lexical Centrality as Salience in Text Summarization

abstract: We introduce a stochastic graph-based method for computing relative importance of textual units for Natural Language Processing. We test the technique on the problem of Text Summarization (TS). Extractive TS relies on the concept of sentence salience to identify the most important sentences in a document or set of documents. Salience is typically defined in terms of the presence of particular important words or in terms of similarity to a centroid pseudo-sentence. We consider a new approach, LexRank, for computing sentence importance based on the concept of eigenvector centrality in a graph representation of sentences. In this model, a connectivity matrix based on intra-sentence cosine similarity is used as the adjacency matrix of the graph representation of sentences. Our system, based on LexRank ranked in first place in more than one task in the recent DUC 2004 evaluation. In this paper we present a detailed analysis of our approach and apply it to a larger data set including data from earlier DUC evaluations. We discuss several methods to compute centrality using the similarity graph. The results show that degree-based methods (including LexRank) outperform both centroid-based methods and other systems participating in DUC in most of the cases. Furthermore, the LexRank with threshold method outperforms the other degree-based techniques including continuous LexRank. We also show that our approach is quite insensitive to the noise in the data that may result from an imperfect topical clustering of documents.


title: Extremal Behaviour in Multiagent Contract Negotiation

abstract: We examine properties of a model of resource allocation in which several agents exchange resources in order to optimise their individual holdings. The schemes discussed relate to well-known negotiation protocols proposed in earlier work and we consider a number of alternative notions of rationality covering both quantitative measures, e.g. cooperative and individual rationality and more qualitative forms, e.g. Pigou-Dalton transfers. While it is known that imposing particular rationality and structural restrictions may result in some reallocations of the resource set becoming unrealisable, in this paper we address the issue of the number of restricted rational deals that may be required to implement a particular reallocation when it is possible to do so. We construct examples showing that this number may be exponential (in the number of resources m), even when all of the agent utility functions are monotonic. We further show that k agents may achieve in a single deal a reallocation requiring exponentially many rational deals if at most k-1 agents can participate, this same reallocation being unrealisable by any sequences of rational deals in which at most k-2 agents are involved.


title: Combining Knowledge- and Corpus-based Word-Sense-Disambiguation Methods

abstract: In this paper we concentrate on the resolution of the lexical ambiguity that arises when a given word has several different meanings. This specific task is commonly referred to as word sense disambiguation (WSD). The task of WSD consists of assigning the correct sense to words using an electronic dictionary as the source of word definitions. We present two WSD methods based on two main methodological approaches in this research area: a knowledge-based method and a corpus-based method. Our hypothesis is that word-sense disambiguation requires several knowledge sources in order to solve the semantic ambiguity of the words. These sources can be of different kinds--- for example, syntagmatic, paradigmatic or statistical information. Our approach combines various sources of knowledge, through combinations of the two WSD methods mentioned above. Mainly, the paper concentrates on how to combine these methods and sources of information in order to achieve good results in the disambiguation. Finally, this paper presents a comprehensive study and experimental work on evaluation of the methods and their combinations.


title: On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study

abstract: Variable elimination is a general technique for constraint processing. It is often discarded because of its high space complexity. However, it can be extremely useful when combined with other techniques. In this paper we study the applicability of variable elimination to the challenging problem of finding still-lifes. We illustrate several alternatives: variable elimination as a stand-alone algorithm, interleaved with search, and as a source of good quality lower bounds. We show that these techniques are the best known option both theoretically and empirically. In our experiments we have been able to solve the n=20 instance, which is far beyond reach with alternative approaches.


title: Hybrid BDI-POMDP Framework for Multiagent Teaming

abstract: Many current large-scale multiagent team implementations can be characterized as following the belief-desire-intention (BDI) paradigm, with explicit representation of team plans. Despite their promise, current BDI team approaches lack tools for quantitative performance analysis under uncertainty. Distributed partially observable Markov decision problems (POMDPs) are well suited for such analysis, but the complexity of finding optimal policies in such models is highly intractable. The key contribution of this article is a hybrid BDI-POMDP approach, where BDI team plans are exploited to improve POMDP tractability and POMDP analysis improves BDI team plan performance. Concretely, we focus on role allocation, a fundamental problem in BDI teams: which agents to allocate to the different roles in the team. The article provides three key contributions. First, we describe a role allocation technique that takes into account future uncertainties in the domain; prior work in multiagent role allocation has failed to address such uncertainties. To that end, we introduce RMTDP (Role-based Markov Team Decision Problem), a new distributed POMDP model for analysis of role allocations. Our technique gains in tractability by significantly curtailing RMTDP policy search; in particular, BDI team plans provide incomplete RMTDP policies, and the RMTDP policy search fills the gaps in such incomplete policies by searching for the best role allocation. Our second key contribution is a novel decomposition technique to further improve RMTDP policy search efficiency. Even though limited to searching role allocations, there are still combinatorially many role allocations, and evaluating each in RMTDP to identify the best is extremely difficult. Our decomposition technique exploits the structure in the BDI team plans to significantly prune the search space of role allocations. Our third key contribution is a significantly faster policy evaluation algorithm suited for our BDI-POMDP hybrid approach. Finally, we also present experimental results from two domains: mission rehearsal simulation and RoboCupRescue disaster rescue simulation.


title: Cold nuclear matter physics at forward rapidities from d+Au collisions in PHENIX

abstract: We present measurements by the PHENIX experiment at RHIC of di-hadron pair production in \dAu collisions where the particles in the pair are varied across a wide range of pseudorapidity, out to $\eta = 3.8$. With di-hadrons, varying the $p_T$ and rapidity of the particles in the di-hadron pair allows studying any effects as a function of partonic $x$ in the nucleus. These di-hadron measurements might probe down to parton momentum fractions x $\sim$ $10^{-3}$ in the gold nucleus, where the interesting possibility of observing gluon saturation effects at RHIC is the greatest. Our measurements show that the correlated yield of back-to-back pairs in \dAu collisions is suppressed by up to an order of magnitude relative to \pp collisions, and increases with greater nuclear path thickness and with a selection for lower x in the Au nucleus.


title: Generalizing Boolean Satisfiability II: Theory

abstract: This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to define a representation in which this structure is apparent and can easily be exploited to improve computational performance. This paper presents the theoretical basis for the ideas underlying ZAP, arguing that existing ideas in this area exploit a single, recurring structure in that multiple database axioms can be obtained by operating on a single axiom using a subgroup of the group of permutations on the literals in the problem. We argue that the group structure precisely captures the general structure at which earlier approaches hinted, and give numerous examples of its use. We go on to extend the Davis-Putnam-Logemann-Loveland inference procedure to this broader setting, and show that earlier computational improvements are either subsumed or left intact by the new method. The third paper in this series discusses ZAPs implementation and presents experimental performance results.


title: A Framework for Sequential Planning in Multi-Agent Settings

abstract: This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state space. Agents maintain beliefs over physical states of the environment and over models of other agents, and they use Bayesian updates to maintain their beliefs over time. The solutions map belief states to actions. Models of other agents may include their belief states and are related to agent types considered in games of incomplete information. We express the agents autonomy by postulating that their models are not directly manipulable or observable by other agents. We show that important properties of POMDPs, such as convergence of value iteration, the rate of convergence, and piece-wise linearity and convexity of the value functions carry over to our framework. Our approach complements a more traditional approach to interactive settings which uses Nash equilibria as a solution paradigm. We seek to avoid some of the drawbacks of equilibria which may be non-unique and do not capture off-equilibrium behaviors. We do so at the cost of having to represent, process and continuously revise models of other agents. Since the agents beliefs may be arbitrarily nested, the optimal solutions to decision making problems are only asymptotically computable. However, approximate belief updates and approximately optimal plans are computable. We illustrate our framework using a simple application domain, and we show examples of belief updates and value functions.


title: Learning Content Selection Rules for Generating Object Descriptions in Dialogue

abstract: A fundamental requirement of any task-oriented dialogue system is the ability to generate object descriptions that refer to objects in the task domain. The subproblem of content selection for object descriptions in task-oriented dialogue has been the focus of much previous work and a large number of models have been proposed. In this paper, we use the annotated COCONUT corpus of task-oriented design dialogues to develop feature sets based on Dale and Reiters (1995) incremental model, Brennan and Clarks (1996) conceptual pact model, and Jordans (2000b) intentional influences model, and use these feature sets in a machine learning experiment to automatically learn a model of content selection for object descriptions. Since Dale and Reiters model requires a representation of discourse structure, the corpus annotations are used to derive a representation based on Grosz and Sidners (1986) theory of the intentional structure of discourse, as well as two very simple representations of discourse structure based purely on recency. We then apply the rule-induction program RIPPER to train and test the content selection component of an object description generator on a set of 393 object descriptions from the corpus. To our knowledge, this is the first reported experiment of a trainable content selection component for object description generation in dialogue. Three separate content selection models that are based on the three theoretical models, all independently achieve accuracies significantly above the majority class baseline (17%) on unseen test data, with the intentional influences model (42.4%) performing significantly better than either the incremental model (30.4%) or the conceptual pact model (28.9%). But the best performing models combine all the feature sets, achieving accuracies near 60%. Surprisingly, a simple recency-based representation of discourse structure does as well as one based on intentional structure. To our knowledge, this is also the first empirical comparison of a representation of Grosz and Sidners model of discourse structure with a simpler model for any generation task.


title: Relational Dynamic Bayesian Networks

abstract: Stochastic processes that involve the creation of objects and relations over time are widespread, but relatively poorly studied. For example, accurate fault diagnosis in factory assembly processes requires inferring the probabilities of erroneous assembly operations, but doing this efficiently and accurately is difficult. Modeled as dynamic Bayesian networks, these processes have discrete variables with very large domains and extremely high dimensionality. In this paper, we introduce relational dynamic Bayesian networks (RDBNs), which are an extension of dynamic Bayesian networks (DBNs) to first-order logic. RDBNs are a generalization of dynamic probabilistic relational models (DPRMs), which we had proposed in our previous work to model dynamic uncertain domains. We first extend the Rao-Blackwellised particle filtering described in our earlier work to RDBNs. Next, we lift the assumptions associated with Rao-Blackwellization in RDBNs and propose two new forms of particle filtering. The first one uses abstraction hierarchies over the predicates to smooth the particle filters estimates. The second employs kernel density estimation with a kernel function specifically designed for relational domains. Experiments show these two methods greatly outperform standard particle filtering on the task of assembly plan execution monitoring.


title: Reasoning about Action: An Argumentation - Theoretic Approach

abstract: We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic. Sophisticated problem domains can be formalised in our framework. As much attention of researchers in the field has been paid to the traditional and basic problems in reasoning about actions such as the frame, the qualification and the ramification problems, approaches to these problems within our formalisation lie at heart of the expositions presented in this paper.


title: Solving Set Constraint Satisfaction Problems using ROBDDs

abstract: In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to construct an efficient set domain propagator which compactly represents many set domains and set constraints using ROBDDs. We demonstrate that the ROBDD-based approach provides unprecedented flexibility in modeling constraint satisfaction problems, leading to performance improvements. We also show that the ROBDD-based modeling approach can be extended to the modeling of integer and multiset constraint problems in a straightforward manner. Since domain propagation is not always practical, we also show how to incorporate less strict consistency notions into the ROBDD framework, such as set bounds, cardinality bounds and lexicographic bounds consistency. Finally, we present experimental results that demonstrate the ROBDD-based solver performs better than various more conventional constraint solvers on several standard set constraint problems.


title: Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis

abstract: We present a novel approach to the automatic acquisition of taxonomies or concept hierarchies from a text corpus. The approach is based on Formal Concept Analysis (FCA), a method mainly used for the analysis of data, i.e. for investigating and processing explicitly given information. We follow Harris distributional hypothesis and model the context of a certain term as a vector representing syntactic dependencies which are automatically acquired from the text corpus with a linguistic parser. On the basis of this context information, FCA produces a lattice that we convert into a special kind of partial order constituting a concept hierarchy. The approach is evaluated by comparing the resulting concept hierarchies with hand-crafted taxonomies for two domains: tourism and finance. We also directly compare our approach with hierarchical agglomerative clustering as well as with Bi-Section-KMeans as an instance of a divisive clustering algorithm. Furthermore, we investigate the impact of using different measures weighting the contribution of each attribute as well as of applying a particular smoothing technique to cope with data sparseness.


title: Efficiency versus Convergence of Boolean Kernels for On-Line Learning Algorithms

abstract: The paper studies machine learning problems where each example is described using a set of Boolean features and where hypotheses are represented by linear threshold elements. One method of increasing the expressiveness of learned hypotheses in this context is to expand the feature set to include conjunctions of basic features. This can be done explicitly or where possible by using a kernel function. Focusing on the well known Perceptron and Winnow algorithms, the paper demonstrates a tradeoff between the computational efficiency with which the algorithm can be run over the expanded feature space and the generalization ability of the corresponding learning algorithm. We first describe several kernel functions which capture either limited forms of conjunctions or all conjunctions. We show that these kernels can be used to efficiently run the Perceptron algorithm over a feature space of exponentially many conjunctions; however we also show that using such kernels, the Perceptron algorithm can provably make an exponential number of mistakes even when learning simple functions. We then consider the question of whether kernel functions can analogously be used to run the multiplicative-update Winnow algorithm over an expanded feature space of exponentially many conjunctions. Known upper bounds imply that the Winnow algorithm can learn Disjunctive Normal Form (DNF) formulae with a polynomial mistake bound in this setting. However, we prove that it is computationally hard to simulate Winnows behavior for learning DNF over such a feature set. This implies that the kernel functions which correspond to running Winnow for this problem are not efficiently computable, and that there is no general construction that can run Winnow with kernels.


title: Generalizing Boolean Satisfiability III: Implementation

abstract: This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal has been to define a representation in which this structure is apparent and can be exploited to improve computational performance. The first paper surveyed existing work that (knowingly or not) exploited problem structure to improve the performance of satisfiability engines, and the second paper showed that this structure could be understood in terms of groups of permutations acting on individual clauses in any particular Boolean theory. We conclude the series by discussing the techniques needed to implement our ideas, and by reporting on their performance on a variety of problem instances.


title: Ignorability in Statistical and Probabilistic Inference

abstract: When dealing with incomplete data in statistical learning, or incomplete observations in probabilistic inference, one needs to distinguish the fact that a certain event is observed from the fact that the observed event has happened. Since the modeling and computational complexities entailed by maintaining this proper distinction are often prohibitive, one asks for conditions under which it can be safely ignored. Such conditions are given by the missing at random (mar) and coarsened at random (car) assumptions. In this paper we provide an in-depth analysis of several questions relating to mar/car assumptions. Main purpose of our study is to provide criteria by which one may evaluate whether a car assumption is reasonable for a particular data collecting or observational process. This question is complicated by the fact that several distinct versions of mar/car assumptions exist. We therefore first provide an overview over these different versions, in which we highlight the distinction between distributional and coarsening variable induced versions. We show that distributional versions are less restrictive and sufficient for most applications. We then address from two different perspectives the question of when the mar/car assumption is warranted. First we provide a static analysis that characterizes the admissibility of the car assumption in terms of the support structure of the joint probability distribution of complete data and incomplete observations. Here we obtain an equivalence characterization that improves and extends a recent result by Grunwald and Halpern. We then turn to a procedural analysis that characterizes the admissibility of the car assumption in terms of procedural models for the actual data (or observation) generating process. The main result of this analysis is that the stronger coarsened completely at random (ccar) condition is arguably the most reasonable assumption, as it alone corresponds to data coarsening procedures that satisfy a natural robustness property.


title: Dijet Searches for New Physics in ATLAS

abstract: The latest results are presented of the search for new physics in inclusive dijet events recorded with the ATLAS detector. The search for resonances in the dijet mass spectrum is updated with 0.81 fb^-1 of 2011 data. The latest analysis of dijet angular distributions, with 36 pb^-1 of 2010 data, is also presented. In-depth information is provided about the model-independent search for resonances. Limits are provided for excited quarks, axigluons, scalar color octets, and to Gaussian signals that allow to set approximate limits in a model-independent way.


title: Perseus: Randomized Point-based Value Iteration for POMDPs

abstract: Partially observable Markov decision processes (POMDPs) form an attractive and principled framework for agent planning under uncertainty. Point-based approximate techniques for POMDPs compute a policy based on a finite set of points collected in advance from the agents belief space. We present a randomized point-based value iteration algorithm called Perseus. The algorithm performs approximate value backup stages, ensuring that in each backup stage the value of each point in the belief set is improved; the key observation is that a single backup may improve the value of many belief points. Contrary to other point-based methods, Perseus backs up only a (randomly selected) subset of points in the belief set, sufficient for improving the value of each belief point in the set. We show how the same idea can be extended to dealing with continuous action spaces. Experimental results show the potential of Perseus in large scale POMDP problems.


title: CIXL2: A Crossover Operator for Evolutionary Algorithms Based on Population Features

abstract: In this paper we propose a crossover operator for evolutionary algorithms with real values that is based on the statistical theory of population distributions. The operator is based on the theoretical distribution of the values of the genes of the best individuals in the population. The proposed operator takes into account the localization and dispersion features of the best individuals of the population with the objective that these features would be inherited by the offspring. Our aim is the optimization of the balance between exploration and exploitation in the search process. In order to test the efficiency and robustness of this crossover, we have used a set of functions to be optimized with regard to different criteria, such as, multimodality, separability, regularity and epistasis. With this set of functions we can extract conclusions in function of the problem at hand. We analyze the results using ANOVA and multiple comparison statistical tests. As an example of how our crossover can be used to solve artificial intelligence problems, we have applied the proposed model to the problem of obtaining the weight of each network in a ensemble of neural networks. The results obtained are above the performance of standard methods.


title: Risk-Sensitive Reinforcement Learning Applied to Control under Constraints

abstract: In this paper, we consider Markov Decision Processes (MDPs) with error states. Error states are those states entering which is undesirable or dangerous. We define the risk with respect to a policy as the probability of entering such a state when the policy is pursued. We consider the problem of finding good policies whose risk is smaller than some user-specified threshold, and formalize it as a constrained MDP with two criteria. The first criterion corresponds to the value function originally given. We will show that the risk can be formulated as a second criterion function based on a cumulative return, whose definition is independent of the original value function. We present a model free, heuristic reinforcement learning algorithm that aims at finding good deterministic policies. It is based on weighting the original value function and the risk. The weight parameter is adapted in order to find a feasible solution for the constrained problem that has a good performance with respect to the value function. The algorithm was successfully applied to the control of a feed tank with stochastic inflows that lies upstream of a distillation column. This control task was originally formulated as an optimal control problem with chance constraints, and it was solved under certain assumptions on the model to obtain an optimal solution. The power of our learning algorithm is that it can be used even when some of these restrictive assumptions are relaxed.


title: Logical Hidden Markov Models

abstract: Logical hidden Markov models (LOHMMs) upgrade traditional hidden Markov models to deal with sequences of structured symbols in the form of logical atoms, rather than flat characters. This note formally introduces LOHMMs and presents solutions to the three central inference problems for LOHMMs: evaluation, most likely hidden state sequence and parameter estimation. The resulting representation and algorithms are experimentally evaluated on problems from the domain of bioinformatics.


title: Higher-dimensional puncture initial data

abstract: We calculate puncture initial data, corresponding to single and binary black holes with linear momenta, which solve the constraint equations of D dimensional vacuum gravity. The data are generated by a modification of the pseudo-spectral code presented in arXiv:gr-qc/0404056 and made available as the TwoPunctures thorn inside the Cactus computational toolkit. As examples, we exhibit convergence plots, the violation of the Hamiltonian constraint as well as the initial data for D=4,5,6,7. These initial data are the starting point to perform high energy collisions of black holes in D dimensions.


title: Superconductivity in graphene stacks: from the bilayer to graphite

abstract: We study the superconducting phase transition, both in a graphene bilayer and in graphite. For that purpose we derive the mean-field effective potential for a stack of graphene layers presenting hopping between adjacent sheets. For describing superconductivity, we assume there is an on-site attractive interaction between electrons and determine the superconducting critical temperature as a function of the chemical potential. This displays a dome-shaped curve, in agreement with previous results for two-dimensional Dirac fermions. We show that the hopping between adjacent layers increases the critical temperature for small values of the chemical potential. Finally, we consider a minimal model for graphite and show that the transition temperature is higher than that for the graphene bilayer for small values of chemical potential. This might explain why intrinsic superconductivity is observed in graphite.


title: Competing superconducting, magnetic and charge orderings in the AF Heisenberg-Kondo lattice with Dirac electrons

abstract: Many recently discovered advanced materials, such as high-Tc cuprates, iron pnictides and several heavy-fermions, exhibit a rich phase diagram suggesting the presence of different competing interactions that would lead to various types of ordering. Nevertheless, there is not yet a clear unifying picture allowing the understanding of the detailed mechanisms that generate such competing interactions. Having such a picture, however, could quite well be at the very roots of the requirements for understanding high-Tc superconductivity in cuprates and pnictides, for instance. In this work we consider the antiferromagnetic (AF) Heisenberg-Kondo lattice, consisting of localized spins with AF exchange interactions between nearest neighbors on a square lattice and itinerant electrons, which undergo a magnetic Kondo interaction with the localized spins, but are otherwise non-interacting. Using the Schwinger-boson (CP$^1$) formalism and assuming the electrons are Dirac-like, we integrate on the localized degrees of freedom thereby obtaining the effective interaction among the itinerant electrons. This contains a BCS-like superconducting term, a Nambu-Jona-Lasinio-like, charge gap term and a Ising and Heisenberg-like magnetic terms. All these four competing interactions, therefore are generated by the original Kondo magnetic interaction.


title: Pure Nash Equilibria: Hard and Easy Games

abstract: We investigate complexity issues related to pure Nash equilibria of strategic games. We show that, even in very restrictive settings, determining whether a game has a pure Nash Equilibrium is NP-hard, while deciding whether a game has a strong Nash equilibrium is SigmaP2-complete. We then study practically relevant restrictions that lower the complexity. In particular, we are interested in quantitative and qualitative restrictions of the way each players payoff depends on moves of other players. We say that a game has small neighborhood if the utility function for each player depends only on (the actions of) a logarithmically small number of other players. The dependency structure of a game G can be expressed by a graph DG(G) or by a hypergraph H(G). By relating Nash equilibrium problems to constraint satisfaction problems (CSPs), we show that if G has small neighborhood and if H(G) has bounded hypertree width (or if DG(G) has bounded treewidth), then finding pure Nash and Pareto equilibria is feasible in polynomial time. If the game is graphical, then these problems are LOGCFL-complete and thus in the class NC2 of highly parallelizable problems.


title: mGPT: A Probabilistic Planner Based on Heuristic Search

abstract: We describe the version of the GPT planner used in the probabilistic track of the 4th International Planning Competition (IPC-4). This version, called mGPT, solves Markov Decision Processes specified in the PPDDL language by extracting and using different classes of lower bounds along with various heuristic-search algorithms. The lower bounds are extracted from deterministic relaxations where the alternative probabilistic effects of an action are mapped into different, independent, deterministic actions. The heuristic-search algorithms use these lower bounds for focusing the updates and delivering a consistent value function over all states reachable from the initial state and the greedy policy.


title: Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators

abstract: Despite recent progress in AI planning, many benchmarks remain challenging for current planners. In many domains, the performance of a planner can greatly be improved by discovering and exploiting information about the domain structure that is not explicitly encoded in the initial PDDL formulation. In this paper we present and compare two automated methods that learn relevant information from previous experience in a domain and use it to solve new problem instances. Our methods share a common four-step strategy. First, a domain is analyzed and structural information is extracted, then macro-operators are generated based on the previously discovered structure. A filtering and ranking procedure selects the most useful macro-operators. Finally, the selected macros are used to speed up future searches. We have successfully used such an approach in the fourth international planning competition IPC-4. Our system, Macro-FF, extends Hoffmanns state-of-the-art planner FF 2.3 with support for two kinds of macro-operators, and with engineering enhancements. We demonstrate the effectiveness of our ideas on benchmarks from international planning competitions. Our results indicate a large reduction in search effort in those complex domains where structural information can be inferred.


title: Optiplan: Unifying IP-based and Graph-based Planning

abstract: The Optiplan planning system is the first integer programming-based planner that successfully participated in the international planning competition. This engineering note describes the architecture of Optiplan and provides the integer programming formulation that enabled it to perform reasonably well in the competition. We also touch upon some recent developments that make integer programming encodings significantly more competitive.


title: Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes

abstract: We study an approach to policy selection for large relational Markov Decision Processes (MDPs). We consider a variant of approximate policy iteration (API) that replaces the usual value-function learning step with a learning step in policy space. This is advantageous in domains where good policies are easier to represent and learn than the corresponding value functions, which is often the case for the relational MDPs we are interested in. In order to apply API to such problems, we introduce a relational policy language and corresponding learner. In addition, we introduce a new bootstrapping routine for goal-based planning domains, based on random walks. Such bootstrapping is necessary for many large relational MDPs, where reward is extremely sparse, as API is ineffective in such domains when initialized with an uninformed policy. Our experiments show that the resulting system is able to find good policies for a number of classical planning domains and their stochastic variants by solving them as extremely large relational MDPs. The experiments also point to some limitations of our approach, suggesting future work.


title: Spectral conditions for strong local nondeterminism and exact Hausdorff measure of ranges of Gaussian random fields

abstract: Let $X= \{X(t), t \in \R^N\}$ be a Gaussian random field with values in $\R^d$ defined by \[ X(t) = \big(X_1(t),..., X_d(t)\big),\qquad t \in \R^N, \] where $X_1, ..., X_d$ are independent copies of a real-valued, centered, anisotropic Gaussian random field $X_0$ which has stationary increments and the property of strong local nondeterminism. In this paper we determine the exact Hausdorff measure function for the range $X([0, 1]^N)$. We also provide a sufficient condition for a Gaussian random field with stationary increments to be strongly locally nondeterministic. This condition is given in terms of the spectral measures of the Gaussian random fields which may contain either an absolutely continuous or discrete part. This result strengthens and extends significantly the related theorems of Berman (1973, 1988), Pitt (1978) and Xiao (2007, 2009), and will have wider applicability beyond the scope of the present paper.


title: Deconstructing Approximate Offsets

abstract: We consider the offset-deconstruction problem: Given a polygonal shape Q with n vertices, can it be expressed, up to a tolerance \eps in Hausdorff distance, as the Minkowski sum of another polygonal shape P with a disk of fixed radius? If it does, we also seek a preferably simple-looking solution P; then, P's offset constitutes an accurate, vertex-reduced, and smoothened approximation of Q. We give an O(n log n)-time exact decision algorithm that handles any polygonal shape, assuming the real-RAM model of computation. A variant of the algorithm, which we have implemented using CGAL, is based on rational arithmetic and answers the same deconstruction problem up to an uncertainty parameter \delta; its running time additionally depends on \delta. If the input shape is found to be approximable, this algorithm also computes an approximate solution for the problem. It also allows us to solve parameter-optimization problems induced by the offset-deconstruction problem. For convex shapes, the complexity of the exact decision algorithm drops to O(n), which is also the time required to compute a solution P with at most one more vertex than a vertex-minimal one.


title: Physical and magnetic properties of Ba(Fe_(1-x)Mn_x)_2As_2 single crystals

abstract: Single crystals of Ba(Fe_(1-x)Mn_x)_2As_2, 0<x<0.148, have been grown and characterized by structural, magnetic, electrical transport and thermopower measurements. Although growths of single crystals of Ba(Fe_(1-x)Mn_x)_2As_2 for the full 0<=x<=1 range were made, we find evidence for phase separation (associated with some form of immiscibility) starting for x>0.1-0.2. Our measurements show that whereas the structural/magnetic phase transition found in pure BaFe_2As_2 at 134 K is initially suppressed by Mn substitution, superconductivity is not observed at any substitution level. Although the effect of hydrostatic pressure up to 20 kbar in the parent BaFe_2As_2 compound is to suppress the structural/magnetic transition at the approximate rate of 0.9 K/kbar, the effects of pressure and Mn substitution in the x=0.102 compound are not cumulative. Phase diagrams of transition temperature versus substitution concentration, x, based on electrical transport, magnetization and thermopower measurements have been constructed and compared to those of the Ba(Fe_(1-x)TM_x)_2As_2 (TM=Co and Cr) series.


title: Stability analysis of surface ion traps

abstract: Motivated by recent developments in ion trap design and fabrication, we investigate the stability of ion motion in asymmetrical, planar versions of the classic Paul trap. The equations of motion of an ion in such a trap are generally coupled due to a nonzero relative angle $\theta$ between the principal axes of RF and DC fields, invalidating the assumptions behind the standard stability analysis for symmetric Paul traps. We obtain stability diagrams for the coupled system for various values of $\theta$, generalizing the standard $q$-$a$ stability diagrams. We use multi-scale perturbation theory to obtain approximate formulas for the boundaries of the primary stability region and obtain some of the stability boundaries independently by using the method of infinite determinants. We cross-check the consistency of the results of these methods. Our results show that while the primary stability region is quite robust to changes in $\theta$, a secondary stability region is highly variable, joining the primary stability region at the special case of $\theta=45^{\circ}$, which results in a significantly enlarged stability region for this particular angle. We conclude that while the stability diagrams for classical, symmetric Paul traps are not entirely accurate for asymmetric surface traps (or for other types of traps with a relative angle between the RF and DC axes), they are safe in the sense that operating conditions deemed stable according to standard stability plots are in fact stable for asymmetric traps, as well. By ignoring the coupling in the equations, one only underestimates the size of the primary stability region.


title: A Boundary Operator for Simplices

abstract: We generalize the very well known boundary operator of the ordinary singular homology theory, defined in many books about algebraic topology. We describe a variant of this ordinary simplicial boundary operator where the usual boundary (n-1)-simplices of each n-simplex are replaced by combinations of internal (n-1)- simplices parallel to the faces. This construction may lead to an infinite class of extraordinary non-isomorphic homology theories. We show further some interesting constructions on the standard simplex.


title: The Complexity of the Empire Colouring Problem

abstract: We investigate the computational complexity of the empire colouring problem (as defined by Percy Heawood in 1890) for maps containing empires formed by exactly $r > 1$ countries each. We prove that the problem can be solved in polynomial time using $s$ colours on maps whose underlying adjacency graph has no induced subgraph of average degree larger than $s/r$. However, if $s \geq 3$, the problem is NP-hard even if the graph is a forest of paths of arbitrary lengths (for any $r \geq 2$, provided $s < 2r - \sqrt(2r + 1/4+ 3/2)$. Furthermore we obtain a complete characterization of the problem's complexity for the case when the input graph is a tree, whereas our result for arbitrary planar graphs fall just short of a similar dichotomy. Specifically, we prove that the empire colouring problem is NP-hard for trees, for any $r \geq 2$, if $3 \leq s \leq 2r-1$ (and polynomial time solvable otherwise). For arbitrary planar graphs we prove NP-hardness if $s<7$ for $r=2$, and $s < 6r-3$, for $r \geq 3$. The result for planar graphs also proves the NP-hardness of colouring with less than 7 colours graphs of thickness two and less than $6r-3$ colours graphs of thickness $r \geq 3$.


title: Precision measurements of the top quark mass from the Tevatron in the pre-LHC era

abstract: The top quark is the heaviest of the six quarks of the Standard Model. Precise knowledge of its mass is important for imposing constraints on a number of physics processes, including interactions of the as yet unobserved Higgs boson. The Higgs boson is the only missing particle of the Standard Model, central to the electroweak symmetry breaking mechanism and generation of particle masses. In this Review, experimental measurements of the top quark mass accomplished at the Tevatron, a proton-antiproton collider located at the Fermi National Accelerator Laboratory, are described. Topologies of top quark events and methods used to separate signal events from background sources are discussed. Data analysis techniques used to extract information about the top mass value are reviewed. The combination of several most precise measurements performed with the two Tevatron particle detectors, CDF and \D0, yields a value of $\Mt = 173.2 \pm 0.9$ GeV/$c^2$.


title: Regenerating a Symmetry in Asymmetric Dark Matter

abstract: Asymmetric dark matter theories generically allow for mass terms that lead to particle-antiparticle mixing. Over the age of the Universe, dark matter can thus oscillate from a purely asymmetric configuration into a symmetric mix of particles and antiparticles, allowing for pair-annihilation processes. Additionally, requiring efficient depletion of the primordial thermal (symmetric) component generically entails large annihilation rates. We show that unless some symmetry completely forbids dark matter particle-antiparticle mixing, asymmetric dark matter is effectively ruled out for a large range of masses, for almost any oscillation time-scale shorter than the age of the Universe.


title: Near-equality of the Penrose Inequality for rotationally symmetric Riemannian manifolds

abstract: This article is the sequel to our previous paper [LS] dealing with the near-equality case of the Positive Mass Theorem. We study the near-equality case of the Penrose Inequality for the class of complete asymptotically flat rotationally symmetric Riemannian manifolds with nonnegative scalar curvature whose boundaries are outermost minimal hypersurfaces. Specifically, we prove that if the Penrose Inequality is sufficiently close to being an equality on one of these manifolds, then it must be close to a Schwarzschild space with an appended cylinder, in the sense of Lipschitz Distance. Since the Lipschitz Distance bounds the Intrinsic Flat Distance on compact sets, we also obtain a result for Intrinsic Flat Distance, which is a more appropriate distance for more general near-equality results, as discussed in [LS]


title: Geometric limits of Mandelbrot and Julia sets under degree growth

abstract: First, for the family P_{n,c}(z) = z^n + c, we show that the geometric limit of the Mandelbrot sets M_n(P) as n tends to infinity exists and is the closed unit disk, and that the geometric limit of the Julia sets J(P_{n,c}) as n tends to infinity is the unit circle, at least when the modulus of c is not one. Then we establish similar results for some generalizations of this family; namely, the maps F_{t,c} (z) = z^t+c for real t>= 2, and the rational maps R_{n,c,a} (z) = z^n + c + a/z^n.


title: Filamentary Large Scale Structure Traced by Six Ly-alpha Blobs at z=2.3

abstract: Extended nebulae of Ly-alpha emission ("Ly-alpha blobs") are known to be associated with overdense regions at high redshift. Here we present six large Ly-alpha blobs in a previously known protocluster with galaxy overdensity delta ~ 7 at z = 2.3; this is the richest field of giant Ly-alpha blobs detected to date. The blobs have linear sizes >~100 kpc and Ly-alpha luminosities of ~10^43 erg/s. The positions of the blobs define two linear filaments with an extent of at least 12 comoving Mpc; these filaments intersect at the center of one of the blobs. Measurement of the position angles of the blobs indicates that five of the six are aligned with these filaments to within ~10 degrees, suggesting a connection between the physical processes powering extended Ly-alpha emission and those driving structure on larger scales.


title: Moving basepoints and the induced automorphisms of link Floer homology

abstract: Given an l-component pointed oriented link (L,p) in an oriented three-manifold Y, one can construct its link Floer chain complex CFL(Y,L,p) over the polynomial ring F_2[U_1,...,U_l]. Moving the basepoint p_i in the link component L_i once around induces an automorphism of CFL(Y,L,p). In this paper, we study an automorphism (a possibly different one) of CFL(Y,L,p) defined explicitly in terms of holomorphic disks; for links in S^3, we show that these two automorphisms are the same.


title: Quantum information approach to the ultimatum game

abstract: The paper is devoted to quantization of extensive games with the use of both the Marinatto-Weber and the Eisert-Wilkens-Lewenstein concept of quantum game. We revise the current conception of quantum ultimatum game and we show why the proposal is unacceptable. To support our comment, we present the new idea of the quantum ultimatum game. Our scheme also makes a point of departure for a protocol to quantize extensive games.


title: Effects of polarization azimuth in dynamics of electrically assisted light-induced gliding of nematic liquid-crystal easy axis

abstract: We experimentally study the reorientation dynamics of the nematic liquid crystal easy axis at photoaligned azo-dye films under the combined action of in-plane electric field and reorienting UV light linearly polarized at varying polarization azimuth, $\phi_p$. In contrast to the case where the light polarization vector is parallel to the initial easy axis and $\phi_p=0$, at $\phi_p\ne 0$, the pronounced purely photoinduced reorientation is observed outside the interelectrode gaps. In the regions between electrodes with non-zero electric field, it is found that the dynamics of reorientation slows down with $\phi_p$ and the sense of easy axis rotation is independent of the sign of $\phi_p$.


title: Almost Complete Coherent State Subsystems and Partial Reconstruction of Wave Functions in the Fock-Bargmann Phase-Number Representation

abstract: We provide (partial) reconstruction formulas and discrete Fourier transforms for wave functions in standard Fock-Bargmann (holomorphic) phase-number representation from a finite number $N$ of phase samples $\{\theta_k=2\pi k/N\}_{k=0}^{N-1}$ for a given mean number $p$ of particles. The resulting Coherent State (CS) subsystem ${\cal S}=\{|z_k=p^{1/2}e^{i\theta_k}>\}$ is complete (a frame) for truncated Hilbert spaces (finite number of particles) and reconstruction formulas are exact. For an unbounded number of particles, ${\cal S}$ is "almost complete" (a \textit{pseudo-frame}) and partial reconstruction formulas are provided along with an study of the accuracy of the approximation, which tends to be exact when $p<N$ and/or $N\to\infty$.


title: Modules for a sheaf of Lie algebras on loop manifolds

abstract: We consider a central extension of the sheaf of Lie algebras of maps from a manifold into a finite-dimensional simple Lie algebra, together with the sheaf of vector fields. Using vertex algebra methods we construct sheaves of modules for this sheaf of Lie algebras. Our results extend the work of Malikov-Schechtman-Vaintrob on the chiral de Rham complex.


title: GIT Constructions of Log Canonical Models of M_g

abstract: The purpose of this article is to give an overview of the construction of moduli spaces of curves from the viewpoint of the log minimal model program for M_g by providing an update of recent developments and discussing future problems. This survey is distinguished from the recent articles of Fedorchuk-Smyth and Morrison in its focus on low degree Hilbert stability of curves.


title: A Note on Total and Paired Domination of Cartesian Product Graphs

abstract: A dominating set $D$ for a graph $G$ is a subset of $V(G)$ such that any vertex not in $D$ has at least one neighbor in $D$. The domination number $\gamma(G)$ is the size of a minimum dominating set in $G$. Vizing's conjecture from 1968 states that for the Cartesian product of graphs $G$ and $H$, $\gamma(G) \gamma(H) \leq \gamma(G \Box H)$, and Clark and Suen (2000) proved that $\gamma(G) \gamma(H) \leq 2\gamma(G \Box H)$. In this paper, we modify the approach of Clark and Suen to prove a variety of similar bounds related to total and paired domination, and also extend these bounds to the $n$-Cartesian product of graphs $A^1$ through $A^n$.


title: HST Observations of the Stellar Distribution Near Sgr A*

abstract: We present HST/NICMOS data to study the surface brightness distribution of stellar light within the inner 10" of Sgr A* at 1.4, 1.7 and 1.9 microns. We use these data to independently examine the surface brightness distribution that had been measured previously with NICMOS and to determine whether there is a drop in the surface density of stars very near Sgr A*. Our analysis confirms that a previously reported drop in the surface brightness within 0.8" of Sgr A* is an artifact of bright and massive stars near that radius. We also show that the surface brightness profile within 5" or ~0.2 pc of Sgr A* can be fitted with broken power laws. The power laws are consistent with previous measurements, in that the profile becomes shallower at small radii. For radii > 0.7" the slope is beta=-0.34\pm0.04 where Sigma is proportional to r^beta and becomes flatter at smaller radii with beta=-0.13\pm0.04. Modeling of the surface brightness profile gives a stellar density that increases roughly as r^-1 within the inner 1" of Sgr A*. This slope confirms earlier measurements in that it is not consistent with that expected from an old, dynamically-relaxed stellar cluster with a central supermassive black hole. Assuming that the diffuse emission is not contaminated by a faint population of young stars down to the 17.1 magnitude limit of our imaging data at 1.70$\mu$, the shallow cusp profile is not consistent with a decline in stellar density in the inner arcsecond. In addition, converting our measured diffuse light profile to a stellar mass profile, with the assumption that the light is dominated by K0 dwarfs, the enclosed stellar mass within radius r < 0.1 pc of Sgr A* is ~ 3.2x10^4 M_solar (r/0.1 {pc})^2.1.


title: $2^{\log^{1-\eps} n}$ Hardness for Closest Vector Problem with Preprocessing

abstract: We prove that for an arbitrarily small constant $\eps>0,$ assuming NP$\not \subseteq$DTIME$(2^{{\log^{O(1/\eps)} n}})$, the preprocessing versions of the closest vector problem and the nearest codeword problem are hard to approximate within a factor better than $2^{\log ^{1-\eps}n}.$ This improves upon the previous hardness factor of $(\log n)^\delta$ for some $\delta > 0$ due to \cite{AKKV05}.


title: Dispersion of the dielectric permittivity of dense and ultracold atomic gases

abstract: On the basis of general theoretical results developed previously in JETP 112, 246 (2011) we analyze the atomic polarization created by weak monochromatic light in an optically thick, dense and cold atomic ensemble. We show that the amplitude of the polarization averaged over a uniform random atomic distribution decreases exponentially beyond the boundary regions. The phase of this polarization increases linearly with increasing penetration into the medium. On these grounds, we determine numerically the wavelength of the light in the dense atomic medium, its extinction coefficient, and the complex refractive index and dielectric constant of the medium. The dispersion of the permittivity is investigated for different atomic densities. It is shown that for dense clouds, the real part of the permittivity is negative in some spectral domains.


title: A 2D fit with background measurement constraints to boost the Higgs to 4l discovery potential at the LHC

abstract: A data-driven method for simultaneously extracting a potential Higgs to ZZ to 4e, 4mu, 2e2mu signal and its dominant backgrounds, is presented. The method relies on a combined fit of the 2-lepton, Z*, and 4-lepton invariant masses. The fit is assisted by normalization of the Z+X backgrounds in data control regions. The Higgs discovery potential for the next few years of LHC running is presented. The demonstrated high sensitivity of the method makes it ideal for the search performed by the ATLAS and CMS experiments.


title: Unified description of hydrogen bonding and of proton transfer by a two-state effective Hamiltonian

abstract: An effective Hamiltonian is considered for hydrogen bonding between two molecules due to the quantum mechanical interaction between the orbitals of the H-atom and the donor and acceptor atoms in the molecules. The Hamiltonian acts on two diabatic states and has a simple chemically motivated form for its matrix elements. The model gives insight into the "H-bond puzzle", describes different classes of bonds, and empirical correlations between the donor-acceptor distance R and binding energies, bond lengths, and the softening of vibrational frequencies. A key prediction is the UV photo-dissociation of H-bonded complexes via an excited electronic state with an exalted vibrational frequency.


title: Analysis of the $\Sigma_Q$ baryons in the nuclear matter with the QCD sum rules

abstract: In this article, we extend our previous work to study the $\Sigma$-type heavy baryons $\Sigma_c$ and $\Sigma_b$ in the nuclear matter using the QCD sum rules, and obtain three coupled QCD sum rules for the masses $M_{\Sigma_Q}^*$, vector self-energies $\Sigma_v$ and pole residues $\lambda^*_{\Sigma_Q}$ in the nuclear matter. Then we take into account the effects of the unequal pole residues from different spinor structures, and normalize the masses from the QCD sum rules in the vacuum to the experimental data, and obtain the mass-shifts $\delta M_{\Sigma_c}=-123\,\rm{MeV}$ and $\delta M_{\Sigma_b}=-375\,\rm{MeV}$ in the nuclear matter.


title: A search for Type Ia supernova progenitors: the central stars of the planetary nebulae NGC 2392 and NGC 6026

abstract: We use photoionization modeling to assess the binary nature of the central stars of NGC 2392 and NGC 6026. If they are close binaries, they are potential Type Ia supernova (SN Ia) progenitors if the total mass exceeds the Chandrasekhar limit. We show that the nucleus of NGC 2392 likely has a hot, massive (\simeq 1 Ms) white dwarf companion, and a total mass of ~ 1.6 Ms, making it an especially interesting system. The binary mass in NGC 6026 is less, ~ 1.1 Ms. Even though its orbital period is short, it is not considered to be a SN Ia progenitor.