title: Diffraction dissociation at the LHC

abstract: Predictions for the squared momentum transfer and missing mass dependence of the differential and integrated single- and double low missing-mass diffraction dissociation in the kinematical range of present and future LHC measurements are summarized.


title: Modelling excitonic-energy transfer in light-harvesting complexes

abstract: The theoretical and experimental study of energy transfer in photosynthesis has revealed an interesting transport regime, which lies at the borderline between classical transport dynamics and quantum-mechanical interference effects. Dissipation is caused by the coupling of electronic degrees of freedom to vibrational modes and leads to a directional energy transfer from the antenna complex to the target reaction-center. The dissipative driving is robust and does not rely on fine-tuning of specific vibrational modes. For the parameter regime encountered in the biological systems new theoretical tools are required to directly compare theoretical results with experimental spectroscopy data. The calculations require to utilize massively parallel graphics processor units (GPUs) for efficient and exact computations.


title: The Effect of Toroidal Magnetic Field on Thickness of a Viscose-Resistive Hot Accreting Flow

abstract: By taking into account the effect of toroidal magnetic field and its correspond heating, we determine the thickness of advection-dominated accretion flows. We consider an axisymetric, rotating, steady viscous-resistive, magnetized accretion flow under an advection dominated stage. The dominant mechanism of energy dissipation is assumed to be turbulence viscosity and magnetic diffusivity. We adopt a self-similar assumption in the radial direction to obtain the dynamical quantities, that is, radial, azimuthal, sound and Alfv\' en velocities. Our results show the vertical component of magnetic force acts in the opposite direction of gravity and compresses the disc, thus compared with the non-magnetic case, in general the disc half-thikness, $\Delta\theta$, significantly is reduced. On the other hand, two parameters, appearing due to action of magnetic field and reaction of the flow, affect the disc thickness. The first one, $\beta_0$, showing the magnetic field strength at the equatorial plane, decreases $\Delta\theta$. The other one, $\eta_0$ is the magnetic resistivity parameter and when it increases, $\Delta\theta$ increases, too.


title: Structure of Advection-Dominated Accretion Disks with Outflows: Role of Toroidal Magnetic Field

abstract: The main aim of this paper is studying the effect of toroidal magnetic field on the structure of Advection-Dominated Accretion Flows (ADAF) in the presence of the turbulence viscosity and diffusivity due to viscosity and magnetic field respectively. We use self-similar assumption in radial direction to solve the magnetohydrodynamic (MHD) equations for hot accretion disk. We use spherical coordinate $ (r, \theta, \varphi) $ to solve our equation. The toroidal component of magnetic field is considered and all three components of the velocity field $ \mathbf{v}\equiv (v_{r}, v_{\theta}, v_{\varphi}) $ are present in our work. We reduce the equations to a set of differential equations about $ \theta $ and apply the symmetric boundary condition at the equatorial plane of the disk. Our results indicate that the outflow region, where the redial velocity becomes positive in a certain inclination angle $ \theta_{0} $, always exist. The results represent that the stronger the magnetic field, the smaller the inclination angle, $ \theta_{0} $ becomes. It means that a magnetized disk is thinner compared to a non-magnetized disk. According to the work by \citealt{jw}, we can define three regions. The first one is called inflow region, which starts from the disk midplane to a certain inclination $ \theta_0 $ where $ v_{r}(\theta_{0}) = 0 $. In this region, the velocity has a negative value and the accretion material moves toward the central object. The outflow region, where $ v_{r}(\theta) > 0 $, is placed between $ \theta_{0} $ and surface of the disk, $ \theta_{0} < \theta < \theta_{s} $. In this area, the accretion flow moves away from the central object. The third region, which is located between the surface of the disk and the polar axis, is called wind region.


title: Efficient State-Space Inference of Periodic Latent Force Models

abstract: Latent force models (LFM) are principled approaches to incorporating solutions to differential equations within non-parametric inference methods. Unfortunately, the development and application of LFMs can be inhibited by their computational cost, especially when closed-form solutions for the LFM are unavailable, as is the case in many real world problems where these latent forces exhibit periodic behaviour. Given this, we develop a new sparse representation of LFMs which considerably improves their computational efficiency, as well as broadening their applicability, in a principled way, to domains with periodic or near periodic latent forces. Our approach uses a linear basis model to approximate one generative model for each periodic force. We assume that the latent forces are generated from Gaussian process priors and develop a linear basis model which fully expresses these priors. We apply our approach to model the thermal dynamics of domestic buildings and show that it is effective at predicting day-ahead temperatures within the homes. We also apply our approach within queueing theory in which quasi-periodic arrival rates are modelled as latent forces. In both cases, we demonstrate that our approach can be implemented efficiently using state-space methods which encode the linear dynamic systems via LFMs. Further, we show that state estimates obtained using periodic latent force models can reduce the root mean squared error to 17% of that from non-periodic models and 27% of the nearest rival approach which is the resonator model.


title: Epidemics in markets with trade friction and imperfect transactions

abstract: Market trade-routes can support infectious-disease transmission, impacting biological populations and even disrupting causal trade. Epidemiological models increasingly account for reductions in infectious contact, such as risk-aversion behaviour in response to pathogen outbreaks. However, market dynamics clearly differ from simple risk-aversion, as are driven by different motivation and conditioned by trade constraints, known in economics as friction, that arise because exchanges are costly. Here we develop a novel economic-market model where transient and long-term market dynamics are determined by trade friction and agent adaptation, and can influence disease transmission. We specify the participants, frequency, volume, and price in trade transactions, and investigate, using analytical insights and simulation, how trade friction affects joint market and epidemiological dynamics. The friction values explored encompass estimates from French cattle and pig markets. We show that, when trade is the dominant route of transmission, market friction can be a significantly stronger determinant of epidemics than risk-aversion behaviour. In particular, there is a critical friction level above which epidemics do not occur. For a given level of friction, open unregulated markets can boost epidemics compared with closed or tightly regulated markets. Our results are robust to model specificities and can hold in the presence of non-trade disease-transmission routes. In particular, we try to explain why outbreaks in French livestock markets appear more frequently in cattle than swine despite swine trade-flow being larger. To minimize contagion in markets, safety policies could generate incentives for larger-volume, less-frequent transactions, increasing trade friction without necessarily affecting overall trade flow.


title: The Becker-Gottlieb Transfer Is Functorial

abstract: The Becker-Gottlieb transfer gives a wrong-way map on suspension spectra for maps of spaces whose homotopy fibres are retracts of finite complexes. We prove that this construction is contravariantly functorial on the homotopy category level.


title: A multi-functional analyzer uses parameter constraints to improve the efficiency of model-based gene-set analysis

abstract: We develop a model-based methodology for integrating gene-set information with an experimentally-derived gene list. The methodology uses a previously reported sampling model, but takes advantage of natural constraints in the high-dimensional discrete parameter space in order to work from a more structured prior distribution than is currently available. We show how the natural constraints are expressed in terms of linear inequality constraints within a set of binary latent variables. Further, the currently available prior gives low probability to these constraints in complex systems, such as Gene Ontology (GO), thus reducing the efficiency of statistical inference. We develop two computational advances to enable posterior inference within the constrained parameter space: one using integer linear programming for optimization and one using a penalized Markov chain sampler. Numerical experiments demonstrate the utility of the new methodology for a multivariate integration of genomic data with GO or related information systems. Compared to available methods, the proposed multi-functional analyzer covers more reported genes without mis-covering nonreported genes, as demonstrated on genome-wide data from association studies of type 2 diabetes and from RNA interference studies of influenza.


title: Logic in the Lab

abstract: This file summarizes the plenary talk on laboratory experiments on logic at the TARK 2013 - 14th Conference on Theoretical Aspects of Rationality and Knowledge.


title: On Jacobian group arithmetic for typical divisors on curves

abstract: In a previous joint article with F. Abu Salem, we gave efficient algorithms for Jacobian group arithmetic of "typical" divisor classes on C_{3,4} curves, improving on similar results by other authors. At that time, we could only state that a generic divisor was typical, and hence unlikely to be encountered if one implemented these algorithms over a very large finite field. This article pins down an explicit characterization of these typical divisors, for an arbitrary smooth projective curve of genus g >= 1 having at least one rational point. We give general algorithms for Jacobian group arithmetic with these typical divisors, and prove not only that the algorithms are correct if various divisors are typical, but also that the success of our algorithms provides a guarantee that the resulting output is correct and that the resulting input and/or output divisors are also typical. These results apply in particular to our earlier algorithms for C_{3,4} curves. As a byproduct, we obtain a further speedup of approximately 15% on our previous algorithms for C_{3,4} curves.


title: Adaptive FE-BE coupling for strongly nonlinear transmission problems with friction II

abstract: This article discusses the well-posedness and error analysis of the coupling of finite and boundary elements for transmission or contact problems in nonlinear elasticity. It concerns W^{1,p}-monotone Hencky materials with an unbounded stress-strain relation, as they arise in the modelling of ice sheets, non-Newtonian fluids or porous media. For 1<p<2 the bilinear form of the boundary element method fails to be continuous in natural function spaces associated to the nonlinear operator. We propose a functional analytic framework for the numerical analysis and obtain a priori and a posteriori error estimates for Galerkin approximations to the resulting boundary/domain variational inequality. The a posteriori estimate complements recent estimates obtained for mixed finite element formulations of friction problems in linear elasticity.


title: Hermitian metrics, (n-1, n-1) forms and Monge-Amp\`ere equations

abstract: We show existence of unique smooth solutions to the Monge-Ampere equation for (n-1)-plurisubharmonic functions on Hermitian manifolds, generalizing previous work of the authors. As a consequence we obtain Calabi-Yau theorems for Gauduchon and strongly Gauduchon metrics on a class of non-Kahler manifolds: those satisfying the Jost-Yau condition known as Astheno-Kahler. Gauduchon conjectured in 1984 that a Calabi-Yau theorem for Gauduchon metrics holds on all compact complex manifolds. We discuss another Monge-Ampere equation, recently introduced by Popovici, and show that the full Gauduchon conjecture can be reduced to a second order estimate of Hou-Ma-Wu type.


title: Dynamic scaling at classical phase transitions approached through non-equilibrium quenching

abstract: We use Monte Carlo simulations to demonstrate generic scaling aspects of classical phase transitions approached through a quench (or annealing) protocol where the temperature changes as a function of time with velocity $v$. Using a generalized Kibble-Zurek ansatz, we demonstrate dynamic scaling for different types of stochastic dynamics (Metropolis, Swendsen-Wang, and Wolff) on Ising models in two and higher dimensions. We show that there are dual scaling functions governing the dynamic scaling, which together describe the scaling behavior in the entire velocity range $v \in [0, \infty)$. These functions have asymptotics corresponding to the adiabatic and diabatic limit, and close to these limits they are perturbative in $v$ and $1/v$, respectively. Away from their perturbative domains, both functions cross over into the same universal power-law scaling form governed by the static and dynamic critical exponents (as well as an exponent characterizing the quench protocol). As a by-product of the scaling studies, we obtain high-precision estimates of the dynamic exponent $z$ for the two-dimensional Ising model subject to the three variants of Monte Carlo dynamics; for single-spin Metropolis updates $z_M=2.1767(5)$, for Swendsen-Wang multi-cluster updates $z_{\rm SW}=0.297(3)$, and for Wolff single-cluster updates $z_{W}=0.30(2)$. For Wolff dynamics, we find an interesting behavior with a non-analytic break-down of the quasi-adiabatic and diabatic scaling, instead of the generic smooth cross-over described by a power law. We interpret this disconnect between the two scaling regimes as a dynamic phase transition of the Wolff algorithm, caused by an effective sudden loss of ergodicity at high velocity.


title: On doubly warped product submanifolds of Generalized $(\kappa,\mu)$-Space Forms

abstract: In this paper we establish a general inequality involving the Laplacian of the warping functions and the squared mean curvature of any doubly warped product isometrically immersed in a Riemannian manifold. Moreover, we obtain some geometric inequalities for C-totally real doubly warped product submanifolds of generalized $(\kappa,\mu)$-space forms.


title: A Thousand Problems in Cosmology: Horizons

abstract: This is one chapter of the collection of problems in cosmology, in which we assemble the problems, with solutions, that concern one of the most distinctive features of general relativity and cosmology---the horizons. The first part gives an elementary introduction into the concept in the cosmological context, then we move to more formal exposition of the subject and consider first simple, and then composite models, such as $\Lambda$CDM. The fourth section elevates the rigor one more step and explores the causal structure of different simple cosmological models in terms of conformal diagrams. The section on black holes relates the general scheme of constructing conformal diagrams for stationary black hole spacetimes. The consequent parts focus on more specific topics, such as the various problems regarding the Hubble sphere, inflation and holography. The full collection is available in the form of a wiki-based resource at universeinproblems.com. The cosmological community is welcome to contribute to its development.

categories: physics.ed-ph astro-ph.CO gr-qc physics.pop-ph


title: Integrable multi-phase thermodynamic systems and Tsallis' composition rule

abstract: We derive a class of equations of state for a multi-phase thermodynamic system associated with a finite set of order parameters that satisfy an integrable system of hydrodynamic type. As particular examples, we discuss one-phase systems such as the van der Waals gas and the effective molecular field model. The case of N-phase systems is also discussed in detail in connection with entropies depending on the order parameter according to Tsallis' composition rule.


title: Revisionist Integral Deferred Correction with Adaptive Stepsize Control

abstract: Adaptive stepsize control is a critical feature for the robust and efficient numerical solution of initial-value problems in ordinary differential equations. In this paper, we show that adaptive stepsize control can be incorporated within a family of parallel time integrators known as Revisionist Integral Deferred Correction (RIDC) methods. The RIDC framework allows for various strategies to implement stepsize control, and we report results from exploring a few of them.


title: The Berry phase and the phase of the determinant

abstract: In 1984 Michael Berry discovered that an isolated eigenstate of an adiabatically changing periodic Hamiltonian $H(t)$ acquires a phase, called the Berry phase. We show that under very general assumptions the adiabatic approximation of the phase of the zeta-regularized determinant of the imaginary-time Schrodinger operator with periodic Hamiltonian is equal to the Berry phase.


title: Threshold Quantum Cryptography

abstract: Most current research on quantum cryptography requires transmission and reception of single photons that creates severe implementation challenges and limits range. This paper argues for the development of threshold quantum cryptography protocols in which the system is secure so long as the number of photons being exchanged between Alice and Bob is below a specified threshold. We speak of a (p-k-n) threshold system where if the number of photons exchanged is less than p, the system is completely secure, when it is between p and k, the system is partially secure, and when it exceeds k, the system is insecure. The BB84 protocol is (1-1-1) whereas the three-stage protocol appears to be (p-4p-n), where p is the least number of photons necessary to determine the polarization state of identically prepared photons. New quantum cryptography systems should be sought that provide greater flexibility in the choice of p and k.


title: The Black Hole Interior in AdS/CFT and the Information Paradox

abstract: We show that, within the AdS/CFT correspondence, recent formulations of the information paradox can be reduced to a question about the existence of certain kinds of operators in the CFT. We describe a remarkably simple construction of these operators on a given state of the CFT. Our construction leads to a smooth horizon, addresses the strong subadditivity paradox, while preserving locality within effective field theory, and reconciles the existence of the interior with the growth of states with energy in the CFT. We also extend our construction to non-equilibrium states.


title: State-Dependent Bulk-Boundary Maps and Black Hole Complementarity

abstract: We provide a simple and explicit construction of local bulk operators that describe the interior of a black hole in the AdS/CFT correspondence. The existence of these operators is predicated on the assumption that the mapping of CFT operators to local bulk operators depends on the state of the CFT. We show that our construction leads to an exactly local effective field theory in the bulk. Barring the fact that their charge and energy can be measured at infinity, we show that the commutator of local operators inside and outside the black hole vanishes exactly, when evaluated within correlation functions of the CFT. Our construction leads to a natural resolution of the strong subadditivity paradox of Mathur and Almheiri et al. Furthermore, we show how, using these operators, it is possible to reconcile small corrections to effective field theory correlators with the unitarity of black hole evaporation. We address and resolve all other arguments, advanced in arxiv:1304.6483 and arxiv:1307.4706, in favour of structure at the black hole horizon. We extend our construction to states that are near equilibrium, and thereby also address the "frozen vacuum" objections of arxiv:1308.3697. Finally, we explore an intriguing link between our construction of interior operators and Tomita-Takesaki theory.


title: Models for exclusive vector meson production in heavy-ion collisions

abstract: We discuss coherent and incoherent photoproduction of $J/\Psi$ vector mesons in high energy heavy ion collisions. In a dipole picture for the photon both can be naturally related to the dipole cross section that is also probed in inclusive DIS. We compare results of a particular calculation to ALICE data.


title: A m\'enage \`a trois of eV-scale sterile neutrinos, cosmology, and structure formation

abstract: We show that sterile neutrinos with masses ~1 eV or larger, as motivated by several short-baseline oscillation anomalies, can be consistent with cosmological constraints if they are charged under a hidden sector force mediated by a light boson. In this case, sterile neutrinos experience a large thermal potential that suppresses mixing between active and sterile neutrinos in the early Universe, even if vacuum mixing angles are large. Thus, the abundance of sterile neutrinos in the Universe remains very small, and their impact on Big Bang Nucleosynthesis, Cosmic Microwave Background, and large-scale structure formation is negligible. It is conceivable that the new gauge force also couples to dark matter, possibly ameliorating some of the small-scale structure problems associated with cold dark matter.


title: Risk aversion as an evolutionary adaptation

abstract: Risk aversion is a common behavior universal to humans and animals alike. Economists have traditionally defined risk preferences by the curvature of the utility function. Psychologists and behavioral economists also make use of concepts such as loss aversion and probability weighting to model risk aversion. Neurophysiological evidence suggests that loss aversion has its origins in relatively ancient neural circuitries (e.g., ventral striatum). Could there thus be an evolutionary origin to risk avoidance? We study this question by evolving strategies that adapt to play the equivalent mean payoff gamble. We hypothesize that risk aversion in the equivalent mean payoff gamble is beneficial as an adaptation to living in small groups, and find that a preference for risk averse strategies only evolves in small populations of less than 1,000 individuals, while agents exhibit no such strategy preference in larger populations. Further, we discover that risk aversion can also evolve in larger populations, but only when the population is segmented into small groups of around 150 individuals. Finally, we observe that risk aversion only evolves when the gamble is a rare event that has a large impact on the individual's fitness. These findings align with earlier reports that humans lived in small groups for a large portion of their evolutionary history. As such, we suggest that rare, high-risk, high-payoff events such as mating and mate competition could have driven the evolution of risk averse behavior in humans living in small groups.


title: Disconnected quark loop contributions to nucleon observables in lattice QCD

abstract: We perform a high statistics calculation of disconnected fermion loops on Graphics Processing Units for a range of nucleon matrix elements extracted using lattice QCD. The isoscalar electromagnetic and axial vector form factors, the sigma-terms and the momentum fraction and helicity are among the quantities we evaluate. We compare the disconnected contributions to the connected ones and give the physical implications on nucleon observables that probe its structure.


title: A Novel Spin-Light Polarimeter for the Electron Ion Collider

abstract: A novel precision polarimeter will go a long way in satisfying the requirements of the precision experiments being planned for a future facility such as the Electron Ion Collider. A polarimeter based on the asymmetry in the spacial distribution of the spin light component of synchrotron radiation will make for a fine addition to the existing-conventional M{\o}ller and Compton polarimeters. The spin light polarimeter consists of a set of wriggler magnet along the beam that generate synchrotron radiation. The spacial distribution of synchrotron radiation will be measured by an ionization chamber after being collimated. The up-down spacial asymmetry in the transverse plane is used to quantify the polarization of the beam. As a part of the design process, firstly, a rough calculation was drawn out to establish the validity of such an idea. Secondly, the fringe fields of the wriggler magnet was simulated using a 2-D magnetic field simulation toolkit called Poisson Superfish, which is maintained by Los Alamos National Laboratory. This was used to account for beam motion effects and the corresponding correlations were show to be negligible. Lastly, a full fledged GEANT-4 simulation was built to study the response time of the ionization chamber. This GEANT-4 simulation was analyzed for variety of effects that may hinder precision polarimetry. It was found that a Spin-Light Polarimeter would be a fine relative polarimeter.


title: A classification of Lagrangian planes in holomorphic symplectic varieties

abstract: Classically, an indecomposable class $R$ in the cone of effective curves on a K3 surface $X$ is representable by a smooth rational curve if and only if $R^2=-2$. We prove a higher-dimensional generalization conjectured by Hassett and Tschinkel: for a holomorphic symplectic variety $M$ deformation equivalent to a Hilbert scheme of $n$ points on a K3 surface, an extremal curve class $R\in H_2(M,\mathbb{Z})$ in the Mori cone is the line in a Lagrangian $n$-plane $\mathbb{P}^n\subset M$ if and only if certain intersection-theoretic criteria are met. In particular, any such class satisfies $(R,R)=-\frac{n+3}{2}$ and the primitive such classes are all contained in a single monodromy orbit.


title: Cultural Evolution as Distributed Computation

abstract: The speed and transformative power of human cultural evolution is evident from the change it has wrought on our planet. This chapter proposes a human computation program aimed at (1) distinguishing algorithmic from non-algorithmic components of cultural evolution, (2) computationally modeling the algorithmic components, and amassing human solutions to the non-algorithmic (generally, creative) components, and (3) combining them to develop human-machine hybrids with previously unforeseen computational power that can be used to solve real problems. Drawing on recent insights into the origins of evolutionary processes from biology and complexity theory, human minds are modeled as self-organizing, interacting, autopoietic networks that evolve through a Lamarckian (non-Darwinian) process of communal exchange. Existing computational models as well as directions for future research are discussed.


title: Provable Bounds for Learning Some Deep Representations

abstract: We give algorithms with provable guarantees that learn a class of deep nets in the generative model view popularized by Hinton and others. Our generative model is an $n$ node multilayer neural net that has degree at most $n^{\gamma}$ for some $\gamma <1$ and each edge has a random edge weight in $[-1,1]$. Our algorithm learns {\em almost all} networks in this class with polynomial running time. The sample complexity is quadratic or cubic depending upon the details of the model. The algorithm uses layerwise learning. It is based upon a novel idea of observing correlations among features and using these to infer the underlying edge structure via a global graph recovery procedure. The analysis of the algorithm reveals interesting structure of neural networks with random edge weights.


title: Fractal Tiling

abstract: A simple, yet unifying method is provided for the construction of tilings by tiles obtained from the attractor of an iterated function system (IFS). Many examples appearing in the literature in ad hoc ways, as well as new examples, can be constructed by this method. These tilings can be used to extend a fractal transformation defined on the attractor of a contractive IFS to a fractal transformation on the entire space upon which the IFS acts.


title: Triple point induced by targeted autonomization on interdependent scale free networks

abstract: Many man-made networks support each other to provide efficient services and resources to the customers, despite that this support produces a strong interdependency between the individual networks. Thus an initial failure of a fraction $1-p$ of nodes in one network, exposes the system to cascade of failures and, as a consequence, to a full collapse of the overall system. Therefore it is important to develop efficient strategies to avoid the collapse by increasing the robustness of the individual networks against failures. Here, we provide an exact theoretical approach to study the evolution of the cascade of failures on interdependent networks when a fraction $\alpha$ of the nodes with higher connectivity in each individual network are autonomous. With this pattern of interdependency we found, for pair of heterogeneous networks, two critical percolation thresholds that depend on $\alpha$, separating three regimes with very different network's final sizes that converge into a triple point in the plane $p-\alpha$. Our findings suggest that the heterogeneity of the networks represented by high degree nodes is the responsible of the rich phase diagrams found in this and other investigations.


title: The non-magnetic collapsed tetragonal phase of CaFe2As2 and superconductivity in the iron pnictides

abstract: The relationship between antiferromagnetic spin fluctuations and superconductivity has become a central topic of research in studies of superconductivity in the iron pnictides. We present unambiguous evidence of the absence of magnetic fluctuations in the non-superconducting collapsed tetragonal phase of CaFe2As2 via inelastic neutron scattering time-of-flight data, which is consistent with the view that spin fluctuations are a necessary ingredient for unconventional superconductivity in the iron pnictides. We demonstrate that the collapsed tetragonal phase of CaFe2As2 is non-magnetic, and discuss this result in light of recent reports of high-temperature superconductivity in the collapsed tetragonal phase of closely related compounds.


title: Evidence for gravitons from decoherence by bremsstrahlung

abstract: It is thought that gravitons are impossible to detect, even with the technological ability to construct experiments larger than Jupiter. However, in principle it is possible to detect the emission of single gravitons through the decoherence of relativistic Planck-mass superpositions by gravitational bremsstrahlung. Although enormous experimental challenges ensure that such an experiment will not be achievable in the foreseeable future, this possibility suggests that gravitons are not forever outside our empirical grasp. It is also evidence that decoherence as a detection method has untapped potential.


title: New addition formula for the little $q$-Bessel functions

abstract: Starting from the addition formula for little $q$-Jacobi polynomials, we derive a new addition formula for the little $q$-Bessel functions. The result is obtained by the use of a limit transition. We also establish a product formula for little $q$-Bessel functions with a positive and symmetric kernel.


title: Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems

abstract: Modern processors are increasingly featuring multiple cores, as well as support for hardware virtualization. While these processors are common in desktop and server-class computing, they are less prevalent in embedded and real-time systems. However, smartphones and tablet PCs are starting to feature multicore processors with hardware virtualization. If the trend continues, it is possible that future real-time systems will feature more sophisticated processor architectures. Future automotive or avionics systems, for example, could replace complex networks of uniprocessors with consolidated services on a smaller number of multicore processors. Likewise, virtualization could be used to isolate services and increase the availability of a system even when failures occur. This paper investigates whether advances in modern processor technologies offer new opportunities to rethink the design of real-time operating systems. We describe some of the design principles behind Quest-V, which is being used as an exploratory vehicle for real-time system design on multicore processors with hardware virtualization capabilities. While not all embedded systems should assume such features, a case can be made that more robust, safety-critical systems can be built to use hardware virtualization without incurring significant overheads.


title: Using an artificial electric field to create the analog of the red spot of Jupiter in light-heavy Fermi-Fermi mixtures of ultracold atoms

abstract: Time-of-flight images are a common tool in ultracold atomic experiments, employed to determine the quasimomentum distribution of the interacting particles. If one introduces a constant artificial electric field, then the quasimomentum distribution evolves in time as Bloch oscillations are generated in the system and then damped showing a complex series of patterns. Surprisingly, in different mass Fermi-Fermi mixtures, these patterns can survive for long times, and resemble the stability of the red spot of Jupiter in classical nonlinear hydrodynamics. In this work, we illustrate the rich phenomena that can be seen in these driven quantum systems.


title: Embedded Lensing Time Delays, the Fermat Potential, and the Integrated Sachs-Wolfe Effect

abstract: We derive the Fermat potential for a spherically symmetric lens embedded in an FLRW cosmology and use it to investigate the late-time integrated Sachs-Wolfe (ISW) effect, i.e., secondary temperature fluctuations in the cosmic microwave background (CMB) caused by individual large scale clusters and voids. We present a simple analytical expression for the temperature fluctuation in the CMB across such a lens as a derivative of the lens' Fermat potential. This formalism is applicable to both linear and nonlinear density evolution scenarios, to arbitrarily large density contrasts, and to all open and closed background cosmologies. It is much simpler to use and makes the same predictions as conventional approaches. In this approach the total temperature fluctuation can be split into a time-delay part and an evolutionary part. Both parts must be included for cosmic structures that evolve and both can be equally important. We present very simple ISW models for cosmic voids and galaxy clusters to illustrate the ease of use of our formalism. We use the Fermat potentials of simple cosmic void models to compare predicted ISW effects with those recently extracted from WMAP and \emph{Planck} data by stacking large cosmic voids using the aperture photometry method. If voids in the local universe with large density contrasts are no longer evolving we find that the time delay contribution alone predicts values consistent with the measurements. However, we find that for voids still evolving linearly, the evolutionary contribution cancels a significant part of the time delay contribution and results in predicted signals that are much smaller than recently observed.


title: Gravitino LSP and leptogenesis after the first LHC results

abstract: Supersymmetric scenarios where the lightest superparticle (LSP) is the gravitino are an attractive alternative to the widely studied case of a neutralino LSP. A strong motivation for a gravitino LSP arises from the possibility of achieving higher reheating temperatures and thus potentially allow for thermal leptogenesis. The predictions for the primordial abundances of light elements in the presence of a late decaying next-to-LSP (NSLP) as well as the currently measured dark matter abundance allow us to probe the cosmological viability of such a scenario. Here we consider a gravitino-stau scenario. Utilizing a pMSSM scan we work out the implications of the 7 and 8 TeV LHC results as well as other experimental and theoretical constraints on the highest reheating temperatures that are cosmologically allowed. Our analysis shows that points with T_R>10^9 GeV survive only in a very particular corner of the SUSY parameter space. Those spectra feature a distinct signature at colliders that could be looked at in the upcoming LHC run.


title: Kaluza-Klein Towers on General Manifolds

abstract: A higher-dimensional universe with compactified extra dimensions admits a four-dimensional description consisting of an infinite Kaluza-Klein tower of fields. We revisit the problem of describing the free part of the complete Kaluza-Klein tower of gauge fields, p-forms, gravity, and flux compactifications. In contrast to previous studies, we work with a generic internal manifold of any dimension, completely at the level of the action, in a gauge invariant formulation, and without resorting to the equations of motion or analysis of propagators. We demonstrate that the physical fields and Stuckelberg fields are naturally described by ingredients of the Hodge decomposition and its analog for symmetric tensors. The spectrum of states and stability conditions, in terms of the eigenvalues of various Laplacians on the internal manifold, is easily read from the action.


title: Haldane Statistics for Fractional Chern Insulators with an Arbitrary Chern number

abstract: In this paper we provide analytical counting rules for the ground states and the quasiholes of fractional Chern insulators with an arbitrary Chern number. We first construct pseudopotential Hamiltonians for fractional Chern insulators. We achieve this by mapping the lattice problem to the lowest Landau level of a multicomponent continuum quantum Hall system with specially engineered boundary conditions. We then analyze the thin-torus limit of the pseudopotential Hamiltonians, and extract counting rules (generalized Pauli principles, or Haldane statistics) for the degeneracy of its zero modes in each Bloch momentum sector.


title: Equation of state, universal profiles, scaling and macroscopic quantum effects in Warm Dark Matter galaxies

abstract: The Thomas-Fermi approach to galaxy structure determines selfconsistently and nonlinearly the gravitational potential of the fermionic WDM particles given their quantum distribution function f(E). Galaxy magnitudes as the halo radius r_h, mass M_h, velocity dispersion and phase space density are obtained. We derive the general equation of state for galaxies (relation between the pressure and the density), and provide an analytic expression. This clearly exhibits two regimes: (i) Large diluted galaxies for M_h > 2.3 10^6 Msun corresponding to temperatures T_0 > 0.017 K, described by the classical self gravitating WDM Boltzman regime and (ii) Compact dwarf galaxies for 1.6 10^6 Msun > M_h>M_{h,min}=30000 (2keV/m)^{16/5} Msun, T_0<0.011 K described by the quantum fermionic WDM regime. The T_0=0 degenerate quantum limit predicts the most compact and smallest galaxy (minimal radius and mass M_{h,min}). All magnitudes in the diluted regime exhibit square root of M_h scaling laws and are universal functions of r/r_h when normalized to their values at the origin or at r_h. We find that universality in galaxies (for M_h > 10^6 Msun) reflects the WDM perfect gas behaviour. These theoretical results contrasted to robust and independent sets of galaxy data remarkably reproduce the observations. For the small galaxies, 10^6>M_h>M_{h,min} corresponding to effective temperatures T_0 < 0.017 K, the equation of state is galaxy dependent and the profiles are no more universal. These non-universal properties in small galaxies account to the quantum physics of the WDM fermions in the compact regime. Our results are independent of any WDM particle physics model, they only follow from the gravitational interaction of the WDM particles and their fermionic quantum nature.


title: Ultra-stripped Type Ic supernovae from close binary evolution

abstract: Recent discoveries of weak and fast optical transients raise the question of their origin. We investigate the minimum ejecta mass associated with core-collapse supernovae (SNe) of Type Ic. We show that mass transfer from a helium star to a compact companion can produce an ultra-stripped core which undergoes iron core collapse and leads to an extremely fast and faint SN Ic. In this Letter, a detailed example is presented in which the pre-SN stellar mass is barely above the Chandrasekhar limit, resulting in the ejection of only ~0.05-0.20 M_sun of material and the formation of a low-mass neutron star. We compute synthetic light curves of this case and demonstrate that SN 2005ek could be explained by our model. We estimate that the fraction of such ultra-stripped to all SNe could be as high as 0.001-0.01. Finally, we argue that the second explosion in some double neutron star systems (for example, the double pulsar PSR J0737-3039B) was likely associated with an ultra-stripped SN Ic.


title: Generalized geometry of two-dimensional vacua

abstract: We derive the conditions for unbroken supersymmetry for a Mink_2, (2,0) vacuum, arising from Type II supergravity on a compact eight-dimensional manifold M_8. When specialized to internal manifolds enjoying SU(4)xSU(4) structure the resulting system is elegantly rewritten in terms of generalized complex geometry. This particular class of vacua violates the correspondence between supersymmetry conditions and calibrations conditions of D branes (supersymmetry-calibrations correspondence). Our analysis includes and extends previous results about the failure of the supersymmetry-calibrations correspondence, and confirms the existence of a precise relation between such a failure and a subset of the supersymmetry conditions.


title: Confirmation of Small Dynamical and Stellar Masses for Extreme Emission Line Galaxies at z~2

abstract: Spectroscopic observations from the Large Binocular Telescope and the Very Large Telescope reveal kinematically narrow lines (~50 km/s) for a sample of 14 Extreme Emission Line Galaxies (EELGs) at redshifts 1.4 < z < 2.3. These measurements imply that the total dynamical masses of these systems are low (< 3x10^9 M_sun). Their large [O III] 5007 equivalent widths (500-1100 Angstroms) and faint blue continuum emission imply young ages of 10-100 Myr and stellar masses of 10^8-10^9 M_sun, confirming the presence of a violent starburst. The dynamical masses represent the first such determinations for low-mass galaxies at z > 1. The stellar mass formed in this vigorous starburst phase represents a large fraction of the total (dynamical) mass, without a significantly massive underlying population of older stars. The occurrence of such intense events in shallow potentials strongly suggests that supernova-driven winds must be of critical importance in the subsequent evolution of these systems.


title: Found: The Progenitors of AM CVn and Supernovae .Ia

abstract: We present optical and X-ray observations of two tidally distorted, extremely low-mass white dwarfs (WDs) with massive companions. There is no evidence of neutron stars in our Chandra and XMM observations of these objects. SDSS J075141.18$-$014120.9 (J0751) is an eclipsing double WD binary containing a 0.19 Msol WD with a 0.97 Msol companion in a 1.9 h orbit. J0751 becomes the fifth eclipsing double WD system currently known. SDSS J174140.49+652638.7 (J1741) is another binary containing a 0.17 Msol WD with an unseen M > 1.11 Msol WD companion in a 1.5 h orbit. With a mass ratio of ~0.1, J1741 will have stable mass transfer through an accretion disk and turn into an interacting AM Canum Venaticorum (AM CVn) system in the next ~160 Myr. With a mass ratio of 0.2, J0751 is likely to follow a similar evolutionary path. These are the first known AM CVn progenitor binary systems and they provide important constraints on the initial conditions for AM CVn. Theoretical studies suggest that both J0751 and J1741 may create thermonuclear supernovae in ~10^8 yr, either .Ia or Ia. Such explosions can account for ~1% of the Type Ia supernova rate.


title: Stability and Spectrum of Compactifications on Product Manifolds

abstract: We study the spectrum and perturbative stability of Freund-Rubin compactifications on $M_p \times M_{Nq}$, where $M_{Nq}$ is itself a product of $N$ $q$-dimensional Einstein manifolds. The higher-dimensional action has a cosmological term $\Lambda$ and a $q$-form flux, which individually wraps each element of the product; the extended dimensions $M_p$ can be anti-de Sitter, Minkowski, or de Sitter. We find the masses of every excitation around this background, as well as the conditions under which these solutions are stable. This generalizes previous work on Freund-Rubin vacua, which focused on the $N=1$ case, in which a $q$-form flux wraps a single $q$-dimensional Einstein manifold. The $N=1$ case can have a classical instability when the $q$-dimensional internal manifold is a product---one of the members of the product wants to shrink while the rest of the manifold expands. Here, we will see that individually wrapping each element of the product with a lower-form flux cures this cycle-collapse instability. The $N=1$ case can also have an instability when $\Lambda>0$ and $q\ge4$ to shape-mode perturbations; we find the same instability in compactifications with general $N$, and show that it even extends to cases where $\Lambda\le0$. On the other hand, when $q=2$ or 3, the shape modes are always stable and there is a broad class of AdS and de Sitter vacua that are perturbatively stable to all fluctuations.


title: The Gas-Rich Circumbinary Disk of HR 4049 I: A Detailed Study of the Mid-Infrared Spectrum

abstract: We present a detailed analysis of the mid-infrared spectrum of the peculiar evolved object HR 4049. The full Spitzer-IRS high-resolution spectrum shows a wealth of emission with prominent features from CO$_2$ and H$_2$O and possible contributions from HCN and OH. We model the molecular emission and find that it originates from a massive ($M \gtrsim 8 \times 10^{-3}$ M$_{\odot}$), warm ($T_{\rm ex} \approx 500$ K) and radially extended gas disk that is optically thick at infrared wavelengths. We also report less enrichment in $^{17}$O and $^{18}$O than previously found and a comparison of the Spitzer observations to earlier data obtained by ISO-SWS reveals that the CO$_2$ flux has more than doubled in 10 years time, indicating active and ongoing chemical evolution in the circumbinary disk. If the gas originates from interaction between the stellar wind and the dust, this suggests that the dust could be oxygen-rich in nature. The molecular gas plays a crucial role in the thermal properties of the circumbinary disk by allowing visible light to heat the dust and then trapping the infrared photons emitted by the dust. This results in higher temperatures and a more homogeneous temperature structure in the disk.


title: An ALMA Survey of Submillimetre Galaxies in the Extended Chandra Deep Field South: The Far-Infrared Properties of SMGs

abstract: We exploit ALMA 870um (345GHz) observations of submillimetre sources in the Extended Chandra Deep Field South to investigate the far-infrared properties of high-redshift submillimetre galaxies (SMGs). Using the precisely located 870um ALMA positions of 99 SMGs, together with 24um and radio imaging of this field, we deblend the Herschel/SPIRE imaging of this region to extract their far-infrared fluxes and colours. The median photometric redshifts for ALMA LESS (ALESS) SMGs which are detected in at least two SPIRE bands increases with wavelength of the peak in their SEDs, with z=2.3+/-0.2, 2.5+/-0.3 and 3.5+/-0.5 for the 250, 350 and 500-um peakers respectively. We find that 34 ALESS SMGs do not have a >3-sigma counterpart at 250, 350 or 500-um. These galaxies have a median photometric redshift of z=3.3+/-0.5, which is higher than the full ALESS SMG sample; z=2.5+/-0.2. Using the photometric redshifts together with the 250-870um photometry, we estimate the far-infrared luminosities and characteristic dust temperature of each SMG. The median infrared luminosity of the S_870um>2mJy SMGs is L_IR=(3.0+/-0.3)x10^{12}Lo(SFR=300+/-30Mo/yr). At a fixed luminosity, the characteristic dust temperature of these high-redshift SMGs is 2-3K lower than comparably luminous galaxies at z=0, reflecting the more extended star formation occurring in these systems. By extrapolating the 870um number counts to S_ 870um=1mJy, we show that the contribution of S_870um>1mJy SMGs to the cosmic star formation budget is 20% of the total over the redshift range z~1-4. We derive a median dust mass for these SMGs of M_d=(3.6+/-0.3)x10^8Mo and by adopting an appropriate gas-to-dust ratio, we estimate an average molecular mass of M_H2=(4.2+/-0.4)x10^{10}Mo. Finally, we use our estimates of the H2 masses to show that SMGs with S_870um>1mJy contain ~10% of the z~2 volume-averaged H2 mass density at this epoch.


title: An ALMA Survey of Submillimeter Galaxies in the Extended Chandra Deep Field South: The Redshift Distribution and Evolution of Submillimeter Galaxies

abstract: We present the first photometric redshift distribution for a large unbiased sample of 870um selected submillimeter galaxies (SMGs) with robust identifications based on observations with the Atacama Large Millimeter Array (ALMA). In our analysis we consider 96 SMGs in the Extended Chandra Deep Field South, 77 of which have 4-19 band, optical-near-infrared, photometry. We model the Spectral Energy Distributions (SEDs) for these 77 SMGs, deriving a median photometric redshift of z=2.3+/-0.1. The remaining 19 SMGs have insufficient optical or near-infrared photometry to derive photometric redshifts, but a stacking analysis of IRAC and Herschel observations confirms they are not spurious. Assuming these sources have an absolute H-band magnitude distribution comparable to that of a complete sample of z~1-2 SMGs, we demonstrate that the undetected SMGs lie at higher redshifts, raising the median redshift for SMGs to z=2.5+/-0.2. More critically we show that the proportion of galaxies undergoing an SMG phase at z>3 is 35+/-5% of the total population. We derive a median stellar mass for SMGs of Mstar=(8+/-1)x10^10Mo, but caution that there are significant systematic uncertainties in our stellar mass estimate, up to x5 for individual sources. We compare our sample of SMGs to a volume-limited, morphologically classified sample of ellipticals in the local Universe. Assuming the star formation activity in SMGs has a timescale of ~100Myr we show that their descendants at z~0 would have a space density and M_H distribution which are in good agreement with those of local ellipticals. In addition the inferred mass-weighted ages of the local ellipticals broadly agree with the look-back times of the SMG events. Taken together, these results are consistent with a simple model that identifies SMGs as events that form most of the stars seen in the majority of luminous elliptical galaxies at the present day.


title: An ALMA Survey of Submillimeter Galaxies in the Extended Chandra Deep Field South: The AGN Fraction and X-ray Properties of Submillimeter Galaxies

abstract: The large gas and dust reservoirs of submm galaxies (SMGs) could potentially provide ample fuel to trigger an Active Galactic Nucleus (AGN), but previous studies of the AGN fraction in SMGs have been controversial largely due to the inhomogeneity and limited angular resolution of the available submillimeter surveys. Here we set improved constraints on the AGN fraction and X-ray properties of the SMGs with ALMA and Chandra observations in the Extended Chandra Deep Field-South (E-CDF-S). This study is the first among similar works to have unambiguously identified the X-ray counterparts of SMGs; this is accomplished using the fully submm-identified, statistically reliable SMG catalog with 99 SMGs from the ALMA LABOCA E-CDF-S Submillimeter Survey (ALESS). We found 10 X-ray sources associated with SMGs (median redshift z = 2.3), of which 8 were identified as AGNs using several techniques that enable cross-checking. The other 2 X-ray detected SMGs have levels of X-ray emission that can be plausibly explained by their star-formation activity. 6 of the 8 SMG-AGNs are moderately/highly absorbed, with N_H > 10e23 cm-2. An analysis of the AGN fraction, taking into account the spatial variation of X-ray sensitivity, yields an AGN fraction of 17+16-6% for AGNs with rest-frame 0.5-8 keV absorption-corrected luminosity >7.8x10e42 erg s-1; we provide estimated AGN fractions as a function of X-ray flux and luminosity. ALMA's high angular resolution also enables direct X-ray stacking at the precise positions of SMGs for the first time, and we found 4 potential SMG-AGNs in our stacking sample.


title: Dwarfs walking in a row. The filamentary nature of the NGC3109 association

abstract: We re-consider the association of dwarf galaxies around NGC3109, whose known members were NGC3109, Antlia, Sextans A and Sextans B, based on a new updated list of nearby galaxies and the most recent data. We find that the original members of the NGC3109 association, together with the recently discovered and adjacent dwarf irregular Leo P, form a very tight and elongated configuration in space. All these galaxies lie within ~100 kpc of a line that is ~1070 kpc long, from one extreme (NGC3109) to the other (Leo P), and they show a gradient in the Local Group standard of rest velocity with a total amplitude of 43 km/s Mpc and a r.m.s. scatter of just 16.8 km/s. It is shown that the reported configuration is exceptional given the known dwarf galaxies in the Local Group and its surroundings. We conclude that (a) Leo P is likely an additional member of the NGC3109 association, and (b) the association is highly ordered in space and velocity, and it is very elongated, suggesting that it has been originated by a tidal interaction or it was accreted as a filamentary sub-structure.


title: Pan-STARRS1: Galaxy Clustering in the Small Area Survey 2

abstract: The Pan-STARRS1 survey is currently obtaining imaging in 5 bands (grizy) for the $3\pi$ steradian survey, one of the largest optical surveys ever conducted. The finished survey will have spatially varying depth, due to the survey strategy. This paper presents a method to correct galaxy number counts and galaxy clustering for this potential systematic based on a simplified signal to noise measurement. A star and galaxy separation method calibrated using realistic synthetic images is also presented, along with an approach to mask bright stars. By using our techniques on a ~69 sq. degree region of science verification data this paper shows PS1 measurements of the two point angular correlation function as a function of apparent magnitude agree with measurements from deeper, smaller surveys. Clustering measurements appear reliable down to a magnitude limit of rps<22.5. Additionally, stellar contamination and false detection issues are discussed and quantified. This work is the second of two papers which pave the way for the exploitation of the full $3\pi$ survey for studies of large scale structure.


title: NGC1277: a massive compact relic galaxy in the nearby Universe

abstract: As early as 10 Gyr ago, galaxies with more than 10^11 Msun in stars already existed. While most of these massive galaxies must have subsequently transformed through on-going star formation and mergers with other galaxies, a small fraction (<0.1%) may have survived untouched till today. Searches for such relic galaxies, useful windows to explore the early Universe, have been inconclusive to date: galaxies with masses and sizes like those observed at high redshift (M*>10^11 Msun; Re<1.5 kpc) have been found in the local Universe, but their stars are far too young for the galaxy to be a relic galaxy. This paper explores the first case of a nearby galaxy, NGC1277 (in the Perseus cluster at a distance of 73 Mpc), which fulfills all the criteria to be considered a relic galaxy. Using deep optical spectroscopy, we derive the star formation history along the structure of the galaxy: the stellar populations are uniformly old (>10 Gyr) with no evidence for more recent star formation episodes. The metallicity of their stars is super-solar ([Fe/H]=0.20+-0.04) and alpha enriched ([alpha/Fe]=0.4+-0.1). This suggests a very short formation time scale for the bulk of stars of this galaxy. This object also rotates very fast (Vrot~300 km/s) and has a large velocity dispersion (sigma>300 km/s). NGC1277 will allow future explorations in full detail of properties such as the structure, internal dynamics, metallicity, dust content and initial mass function at around 10-12 Gyr back in time when the first massive galaxies were built.


title: The Pan-STARRS1 Small Area Survey 2

abstract: The Pan-STARRS1 survey is acquiring multi-epoch imaging in 5 bands (grizy) over the entire sky north of declination -30deg (the $3\pi$ survey). In July 2011 a test area of about 70 sq.deg. was observed to the expected final depth of the main survey. In this, the first of a series of papers targetting the galaxy count and clustering properties of the combined multi-epoch test area data, we present a detailed investigation into the depth of the survey and the reliability of the Pan-STARRS1 analysis software. We show that the Pan-STARRS1 reduction software can recover the properties of fake sources, and show good agreement between the magnitudes measured by Pan-STARRS1 and those from Sloan Digital Sky Survey. We also examine the number of false detections apparent in the Pan-STARRS1 data. Our comparisons show that the test area survey is somewhat deeper than the Sloan Digital Sky Survey in all bands, and, in particular, the z band approaches the depth of the stacked Sloan Stripe 82 data.


title: Vector-like Fields, Messenger Mixing and the Higgs mass in Gauge Mediation

abstract: In order to generate, in the context of gauge mediation, a Higgs mass around 126 GeV that avoids the little hierarchy problem, we explore a set of models where the messengers are directly coupled to new vector-like fields at the TeV scale in addition to the usual low energy degrees of freedom. We find that in this context, stop masses lighter than 2 TeV and large $A$-terms are generated, thereby improving issues of fine tuning.


title: Fermionic variations on AdS/CFT themes

abstract: This thesis aims to explore the effects caused by the presence of Grassmann numbers in two different frameworks derived from AdS/CFT correspondence: purely fermionic sigma-models and fluid/gravity correspondence. The first analysis we present deals with fermionic sigma-models constructed by means of purely fermionic coset spaces, namely we consider models with anticommuting target-space fields only. We notice that the Grassmanian behaviour of the fields implies several simplifications when we derive the action and the radiative corrections, however it provides obstructions to some supercoordinates transformations. In the second part of the work we extend the fluid/gravity correspondence by considering supergravity theories in the bulk and computing the black hole superpartner. The resulting metric is a black hole solution of the supergravity equations of motion and its associated charges and entropy depend upon Grassmann numbers. Moreover by fluid/gravity techniques we find that also the fluid dynamics parameters, such as the temperature and the velocity, are in general affected by Grassmann numbers.


title: Fractional Chern insulators with strong interactions far exceeding bandgaps

abstract: We study two models for spinless fermions featuring topologically non-trivial bands characterized by Chern numbers $C=\pm1$ at fractional filling. Using exact diagonalization, we show that, even for infinitely strong nearest-neighbor repulsion, the ground states of these models belong to the recently discovered class of quantum liquids called fractional Chern insulators (FCI). We thus establish that FCI states can arise even if interaction strengths are arbitrarily larger than the noninteracting band gap, going beyond the limits in which FCI states have been previously studied. The strong-coupling FCI states therefore depart from the usual isolated-band picture that parallels the fractional quantum Hall effect in Landau levels and demonstrate how a topologically ordered state can arise in a truly multiband system.


title: A multiobjective optimization approach to statistical mechanics

abstract: Optimization problems have been the subject of statistical physics approximations. A specially relevant and general scenario is provided by optimization methods considering tradeoffs between cost and efficiency, where optimal solutions involve a compromise between both. The theory of Pareto (or multi objective) optimization provides a general framework to explore these problems and find the space of possible solutions compatible with the underlying tradeoffs, known as the {\em Pareto front}. Conflicts between constraints can lead to complex landscapes of Pareto optimal solutions with interesting implications in economy, engineering, or evolutionary biology. Despite their disparate nature, here we show how the structure of the Pareto front uncovers profound universal features that can be understood in the context of thermodynamics. In particular, our study reveals that different fronts are connected to different classes of phase transitions, which we can define robustly, along with critical points and thermodynamic potentials. These equivalences are illustrated with classic thermodynamic examples.


title: Narrow Band X-ray Photometry as a Tool for Studying Galaxy and Cluster Mass Distributions

abstract: We explore the utility of narrow band X-ray surface photometry as a tool for making fully Bayesian, hydrostatic mass measurements of clusters of galaxies, groups and early-type galaxies. We demonstrate that it is sufficient to measure the surface photometry with the Chandra X-ray observatory in only three (rest frame) bands (0.5--0.9 keV, 0.9--2.0 keV and 2.0--7.0 keV) in order to constrain the temperature, density and abundance of the hot interstellar medium (ISM). Adopting parametrized models for the mass distribution and radial entropy profile and assuming spherical symmetry, we show that the constraints on the mass and thermodynamic properties of the ISM that are obtained by fitting data from all three bands simultaneously are comparable to those obtained by fitting similar models to the temperature and density profiles derived from spatially resolved spectroscopy, as is typically done. We demonstrate that the constraints can be significantly tightened when exploiting a recently derived, empirical relationship between the gas fraction and the entropy profile at large scales, eliminating arbitrary extrapolations at large radii. This "Scaled Adiabatic Model" (ScAM) is well suited to modest signal-to-noise data, and we show that accurate, precise measurements of the global system properties are inferred when employing it to fit data from even very shallow, snapshot X-ray observations. The well-defined asymptotic behaviour of the model also makes it ideally suited for use in Sunyaev-Zeldovich studies of galaxy clusters.


title: New bounds for $\psi(x)$

abstract: In this article we provide new explicit Chebyshev's bounds for the prime counting function $\psi(x)$. The proof relies on two new arguments: smoothing the prime counting function which allows to generalize the previous approaches, and a new explicit zero density estimate for the zeros of the Riemann zeta function.


title: Picosecond Dynamic Heterogeneity, Hopping and Johari-Goldstein Relaxation in Glassforming Liquids

abstract: We show that incoherent quasi-elastic neutron scattering (QENS) from molecular liquids reveals a two-state dynamic heterogeneity on a 1 ps timescale, where molecules are either highly confined or are free to undergo relatively large excursions. Data ranging from deep in the glassy state to well above the melting point allows us to observe temperature-dependent population levels and exchange between these two states. A simple physical picture emerges from this data, combined with published work, that provides a mechanism for "hopping" and for the Johari-Goldstein ($\beta_{JG}$) relaxation, and allows us to accurately calculate the diffusion coefficient, $D_T$, and characteristic times for $\alpha$, and $\beta_{JG}$ relaxations from ps timescale neutron data.


title: Can Facial Uniqueness be Inferred from Impostor Scores?

abstract: In Biometrics, facial uniqueness is commonly inferred from impostor similarity scores. In this paper, we show that such uniqueness measures are highly unstable in the presence of image quality variations like pose, noise and blur. We also experimentally demonstrate the instability of a recently introduced impostor-based uniqueness measure of [Klare and Jain 2013] when subject to poor quality facial images.


title: Multiview Navigation based on Extended Layered Depth Image Representation

abstract: Emerging applications in multiview streaming look for providing interactive navigation services to video players. The user can ask for information from any viewpoint with a minimum transmission delay. The purpose is to provide user with as much information as possible with least number of redundancies. The recent concept of navigation segment representation consists of regrouping a given number of viewpoints in one signal and transmitting them to the users according to their navigation path. The question of the best description strategy of these navigation segments is however still open. In this paper, we propose to represent and code navigation segments by a method that extends the recent layered depth image (LDI) format. It consists of describing the scene from a viewpoint with multiple images organized in layers corresponding to the different levels of occluded objects. The notion of extended LDI comes from the fact that the size of this image is adapted to take into account the sides of the scene also, in contrary to classical LDI. The obtained results show a significant rate-distortion gain compared to classical multiview compression approaches in navigation scenario.


title: Derived functor modules, dual pairs and $U(\mathfrak{g})^K$-actions

abstract: Derived functors (or Zuckerman functors) play a very important role in the study of unitary representations of real reductive groups. These functors are usually applied on highest weight modules in the so-called good range and the theory is well-understood. On the other hand, there were several studies on the irreducibility and unitarizability, in which derived functors are applied to singular modules. See Enright et al. (Acta. Math. 1985), for example. In this article, we apply derived functors to certain modules arising from the formalism of local theta lifting, and investigate the irreducible sub-quotients of resulting modules. The key technique is to understand $U(\mathfrak{g})^K$-actions in the setting of a see-saw pair. Our results strongly suggest that derived functor constructions are compatible with local theta lifting.


title: The violation of the No-Hair Conjecture in four-dimensional ungauged Supergravity

abstract: By choosing a particular, String Theory inspired, Special K\"ahler manifold, we are able to find a N=2 four-dimensional ungauged Supergravity model that contains supersymmetric black hole solutions that violate the folk uniqueness theorems that are expected to hold in ungauged Supergravity. The black hole solutions are regular in the sense that they have a positive mass and a unique physical singularity hidden by an event horizon. In contradistinction to most examples already known in the literature, we find our solutions in a theory without scalar potential, gaugings or higher order curvature terms.


title: Fast distributed phononic band-structure calculations through a GPU accelerated mixed-variational formulation

abstract: In this paper we present a Graphical Processing Unit accelerated mixed variational formulation for fast phononic band-structure calculation of arbitrarily complex unit cells and report speed gains of a hundred fold over unoptimized serial cpu computations. To the author's knowledge this is the first application of gpu computing to a non-FE/FDTD bandstructure algorithm. The formulation is presented in a form which is applicable to 1-, 2-, and 3-D cases. However, in this paper we concentrate on optimizing the formulation within the paradigm of gpu computing, presenting results for 2-D unit cells. We describe the application of the formulation with a long term view towards highly efficient and massively distributed band-structure algorithms suitable for tackling optimization and inverse problems. We report that the accurate band-structure evaluation over the boundary of the Irreducible Brillouin Zone (IBZ) for the first 18 phononic branches of a complex 2-D unit cell (with 1132 different phases) can be achieved in less than 20 seconds on a regular desktop. For a simpler unit cell, the first few phononic branches are calculated in less than 2.5 seconds on the same system. The scheme presented in this paper, therefore, represents considerable savings in the computational costs of phononic band-structures.


title: Analysis of High Cadence In-Situ Solar Wind Ionic Composition Data Using Wavelet Power Spectra Confidence Levels

abstract: The variability inherent in solar wind composition has implications for the variability of the physical conditions in its coronal source regions, providing constraints on models of coronal heating and solar wind generation. We present a generalized prescription for constructing a wavelet power significance measure (confidence level) for the purpose of characterizing the effects of missing data in high cadence solar wind ionic composition measurements. We describe the data gaps present in the 12-minute ACE/SWICS observations of O7+/O6+ during 2008. The decomposition of the in-situ observations into a `good measurement' and a `no measurement' signal allows us to evaluate the performance of a filler signal, i.e., various prescriptions for filling the data gaps. We construct Monte Carlo simulations of synthetic O7+/O6+ composition data and impose the actual data gaps that exist in the observations in order to investigate two different filler signals: one, a linear interpolation between neighboring good data points, and two, the constant mean value of the measured data. Applied to these synthetic data plus filler signal combinations, we quantify the ability of the power spectra significance level procedure to reproduce the ensemble-averaged time-integrated wavelet power per scale of an ideal case, i.e. the synthetic data without imposed data gaps. Finally, we present the wavelet power spectra for the O7+/O6+ data using the confidence levels derived from both the Mean Value and Linear Interpolation data gap filling signals and discuss the results.


title: TARK 2013 - Proceedings of the 14. Conference on Theoretical Aspects of Rationality and Knowledge

abstract: The biannual TARK conferences bring together researchers from a wide variety of fields sharing a common interest in reasoning about rationality and knowledge. The impact of this tradition, going back to 1986, is apparent in many of today's research trends and in the growth of an intellectual community beyond traditional disciplinary boundaries. This volume documents the 14th TARK conference, held at the Institute of Mathematical Sciences, Chennai, India on January 7 to 9, 2013. It includes 18 contributed talks, 8 poster presentations, and 3 invited talks given at the conference. Like earlier volumes in this series, it gives a sense of the state of the art in studies of knowledge and rationality in areas such as game theory, decision theory, belief revision, language analysis, and computation. It should be of value to researchers, teachers, and students.


title: The Frequent Paucity of Trivial Strings

abstract: A 1976 theorem of Chaitin can be used to show that arbitrarily dense sets of lengths n have a paucity of trivial strings (only a bounded number of strings of length n having trivially low plain Kolmogorov complexities). We use the probabilistic method to give a new proof of this fact. This proof is much simpler than previously published proofs, and it gives a tighter paucity bound.


title: Conjugacy classes and characters for extensions of finite groups

abstract: Let $H$ be an extension of a finite group $Q$ by a finite group $G$. Inspired by the results of duality theorems for \'etale gerbes on orbifolds, we describe the number of conjugacy classes of $H$ that maps to the same conjugacy class of $Q$. Furthermore, we prove a generalization of the orthogonality relation between characters of $G$.


title: Infrared evidence of a Slater metal-insulator transition in NaOsO3

abstract: The magnetically driven metal-insulator transition (MIT) was predicted by Slater in the fifties. Here a long-range antiferromagnetic (AF) order can open up a gap at the Brillouin electronic band boundary regardless of the Coulomb repulsion magnitude. However, while many low-dimensional organic conductors display evidence for an AF driven MIT, in three-dimensional (3D) systems the Slater MIT still remains elusive. We employ terahertz and infrared spectroscopy to investigate the MIT in the NaOsO3 3D antiferromagnet. From the optical conductivity analysis we find evidence for a continuous opening of the energy gap, whose temperature dependence can be well described in terms of a second order phase transition. The comparison between the experimental Drude spectral weight and the one calculated through Local Density Approximation (LDA) shows that electronic correlations play a limited role in the MIT. All the experimental evidence demonstrates that NaOsO3 is the first known 3D Slater insulator.


title: Landau damping in a collisionless dipolar Bose gas

abstract: We present a theory for the Landau damping of low energy quasi-particles in a collisionless, quasi-2D dipolar Bose gas and produce expressions for the damping rate in uniform and non-uniform systems. Using simple energy-momentum conservation arguments, we show that in the homogeneous system, the nature of the low energy dispersion in a dipolar Bose gas severely inhibits Landau damping of long wave-length excitations. For a gas with contact and dipolar interactions, the damping rate for phonons tends to decrease with increasing dipolar interactions; for strong dipole-dipole interactions, phonons are virtually undamped over a broad range of temperature. The damping rate for maxon-roton excitations is found to be significantly larger than the damping rate for phonons.


title: Single and double diffractive prompt photon production at the LHC

abstract: In this contribution we study for the first time the prompt photon production in single and double diffractive processes considering the resolved Pomeron model. We estimate the rapidity and transverse momentum dependence of the cross section for the production of two photons and of a photon and a jet. We show that these processes are sensitive to the pomeron structure. In contrast with the dijet and heavy quark production, which are dominated by gluon-gluon interactions, in prompt photon production, Compton like processes are dominant for single photon plus jet events. This gives a unique oportunity to constrain the quark distribution in the Pomeron. The results are obtained for the LHC energy.


title: Perturbative series and the 1/N expansion for the QED \beta-function

abstract: A comparison of the perturbative series and the 1/N expansion for the QED renormalization group \beta-function in the Minimal Subtraction scheme is performed. The good agreement between two expansions is found which proves that the MS \beta-function is under perfect perturbative control.


title: The electromagnetic form factor of the pion: Results from the lattice

abstract: This review contains an overview over recent results for the electromagnetic iso-vector form factor of the pion obtained in lattice QCD with dynamical fermions. Particular attention is given to the extrapolation to the physical point and an easy assessment of the control over the main systematic effects by imposing quality criteria and an associated sign code, similar to the ones used by the FLAG working group. Also included is a brief discussion of recent developments and future challenges concerning the accurate extraction of the form factor in the lattice framework.


title: The local structure theorem for real spherical varieties

abstract: Let $G$ be an algebraic real reductive group and $Z$ a real spherical $G$-variety, that is, it admits an open orbit for a minimal parabolic subgroup $P$. We prove a local structure theorem for $Z$. In the simplest case where $Z$ is homogeneous, the theorem provides an isomorphism of the open $P$-orbit with a bundle $Q \times_L S$. Here $Q$ is a parabolic subgroup with Levi decomposition $LU$, and $S$ is a homogeneous space for a quotient $D=L/L_n$ of $L$, where $L_n$ is normal in $L$, such that $D$ is compact modulo center.


title: Robust bounds on risk-sensitive functionals via Renyi divergence

abstract: We extend the duality between exponential integrals and relative entropy to a variational formula for exponential integrals involving the Renyi divergence. This formula characterizes the dependence of risk-sensitive functionals and related quantities determined by tail behavior to perturbations in the underlying distributions, in terms of the Renyi divergence. The characterization gives rise to upper and lower bounds that are meaningful for all values of a large deviation scaling parameter, allowing one to quantify in explicit terms the robustness of risk-sensitive costs. As applications we consider problems of uncertainty quantification when aspects of the model are not fully known, as well their use in bounding tail properties of an intractable model in terms of a tractable one.


title: Linear Stability Analysis of Dynamical Quadratic Gravity

abstract: We perform a linear stability analysis of dynamical, quadratic gravity in the high-frequency, geometric optics approximation. This analysis is based on a study of gravitational and scalar modes propagating on spherically-symmetric and axially-symmetric, vacuum solutions of the theory. We find dispersion relations that do no lead to exponential growth of the propagating modes, suggesting the theory is linearly stable on these backgrounds. The modes are found to propagate at subluminal and superluminal speeds, depending on the propagating modes' direction relative to the background geometry, just as in dynamical Chern-Simons gravity.


title: Reducts of structures and maximal-closed permutation groups

abstract: Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We also construct a strongly minimal set which is not omega-categorical but has no proper non-trivial reducts in the model-theoretic sense.


title: The Integrable Bootstrap Program at Large N and its Applications in Gauge Theory

abstract: We present results for the large-$N$ limit of the (1+1)-dimensional principal chiral sigma model. This is an asymptotically-free $N\times N$ matrix-valued field with massive excitations. All the form factors and the exact correlation functions of the Noether-current operator and the energy-momentum tensor are found, from Smirnov's form-factor axioms. We consider (2+1)-dimensional $SU(\infty)$ Yang-Mills theory as an array of principal chiral models with a current-current interaction. We discuss how to use our new form factors to calculate physical quantities in this gauge theory.


title: Universal microscopic correlation functions for products of truncated unitary matrices

abstract: We investigate the spectral properties of the product of $M$ complex non-Hermitian random matrices that are obtained by removing $L$ rows and columns of larger unitary random matrices uniformly distributed on the group ${\rm U}(N+L)$. Such matrices are called truncated unitary matrices or random contractions. We first derive the joint probability distribution for the eigenvalues of the product matrix for fixed $N,\ L$, and $M$, given by a standard determinantal point process in the complex plane. The weight however is non-standard and can be expressed in terms of the Meijer G-function. The explicit knowledge of all eigenvalue correlation functions and the corresponding kernel allows us to take various large $N$ (and $L$) limits at fixed $M$. At strong non-unitarity, with $L/N$ finite, the eigenvalues condense on a domain inside the unit circle. At the edge and in the bulk we find the same universal microscopic kernel as for a single complex non-Hermitian matrix from the Ginibre ensemble. At the origin we find the same new universality classes labelled by $M$ as for the product of $M$ matrices from the Ginibre ensemble. Keeping a fixed size of truncation, $L$, when $N$ goes to infinity leads to weak non-unitarity, with most eigenvalues on the unit circle as for unitary matrices. Here we find a new microscopic edge kernel that generalizes the known results for M=1. We briefly comment on the case when each product matrix results from a truncation of different size $L_j$.


title: Geometry of the Riemann Zeta Function

abstract: The individual terms of the series representing the Riemann zeta function are examined geometrically from their accumulated plot in the complex plane. Symmetry is identified and determined mathematically for comparison with more traditional results of analytic number theory. A new interpretation of analytic continuation allows a construction, based on the limacon, which shows the conditions under which zeros can occur. The special importance of prime steps in the decrease of the real part from 1 to 0 when zeta equals zero is shown. Discussion of bounds and extension to generalized zeta functions are included.


title: Variance Based Scheduling Algorithm with Relay Selection and Resource Allocation in Cooperative OFDMA Networks

abstract: Nowadays the radio interface of several standards is enhanced with advanced technologies such as OFDMA and extension technology such as relay. By using those promising transmission technology for the next generation wireless communications, scheduling problem becomes more crucial and challenging. In our work, we aim to maximize the overall system capacity while selecting the most suitable relay station under fairness constraint among both users and relay station by proposing a Gap- based scheduling. This one considers the channel state information and the unbalanced rate capacity of the two hops links. Simulations results show the effectiveness of our approach in terms of fairness and the overall system performance.


title: Some Remarks on Lower Bounds for Queue Machines (Preliminary Report)

abstract: We first give an improved lower bound for the deterministic online simulation of tapes or pushdown stores by queues. Then we inspect some proofs in a classical work on queue machines in the area of Formal Languages and outline why a main argument in the proofs is incomplete. Based on descriptional complexity, we show the intuition behind the argument to be correct.


title: Inflationary Attractors and their Measures

abstract: Several recent misconceptions about the measure problem in inflation and the nature of inflationary attractors are addressed. We show that within the Hamiltonian system of flat Friedmann-Lema\^itre-Robertson-Walker cosmology coupled to a massive scalar field, the focussing of the Liouville measure on attractor solutions is brought about by a spread in a gauge degree of freedom - the spatial volume. Using this we show how the Liouville measure formulated on a surface of constant Hubble rate induces a probability distribution function on surfaces of other Hubble rates, and the attractor behaviour is seen through the focussing of this function on a narrow range of physical observables. One can conclude then that standard techniques from Hamiltonian dynamics suffice to provide a satisfactory description of attractor solutions and the measure problem. Updated to match published version.


title: Investigating magnetic activity of F stars with the it Kepler mission

abstract: The dynamo process is believed to drive the magnetic activity of stars like the Sun that have an outer convection zone. Large spectroscopic surveys showed that there is a relation between the rotation periods and the cycle periods: the longer the rotation period is, the longer the magnetic activity cycle period will be. We present the analysis of F stars observed by Kepler for which individual p modes have been measure and with surface rotation periods shorter than 12 days. We defined magnetic indicators and proxies based on photometric observations to help characterise the activity levels of the stars. With the Kepler data, we investigate the existence of stars with cycles (regular or not), stars with a modulation that could be related to magnetic activity, and stars that seem to show a flat behaviour.


title: Ensemble Analysis of Adaptive Compressed Genome Sequencing Strategies

abstract: Acquiring genomes at single-cell resolution has many applications such as in the study of microbiota. However, deep sequencing and assembly of all of millions of cells in a sample is prohibitively costly. A property that can come to rescue is that deep sequencing of every cell should not be necessary to capture all distinct genomes, as the majority of cells are biological replicates. Biologically important samples are often sparse in that sense. In this paper, we propose an adaptive compressed method, also known as distilled sensing, to capture all distinct genomes in a sparse microbial community with reduced sequencing effort. As opposed to group testing in which the number of distinct events is often constant and sparsity is equivalent to rarity of an event, sparsity in our case means scarcity of distinct events in comparison to the data size. Previously, we introduced the problem and proposed a distilled sensing solution based on the breadth first search strategy. We simulated the whole process which constrained our ability to study the behavior of the algorithm for the entire ensemble due to its computational intensity. In this paper, we modify our previous breadth first search strategy and introduce the depth first search strategy. Instead of simulating the entire process, which is intractable for a large number of experiments, we provide a dynamic programming algorithm to analyze the behavior of the method for the entire ensemble. The ensemble analysis algorithm recursively calculates the probability of capturing every distinct genome and also the expected total sequenced nucleotides for a given population profile. Our results suggest that the expected total sequenced nucleotides grows proportional to $\log$ of the number of cells and proportional linearly with the number of distinct genomes.


title: Interpreting the Ionization Sequence in AGN Emission-Line Spectra

abstract: We investigate the physical cause of the great range in the ionization level seen in the spectra of narrow lined active galactic nuclei (AGN). Mean field independent component analysis identifies examples of individual SDSS galaxies whose spectra are not dominated by emission due to star formation (SF), which we designate as AGN. We assembled high S/N ratio composite spectra of a sequence of these AGN defined by the ionization level of their narrow-line regions (NLR), extending down to very low-ionization cases. We used a local optimally emitting cloud (LOC) model to fit emission-line ratios in this AGN sequence. These included the weak lines that can be measured only in the co-added spectra, providing consistency checks on strong line diagnostics. After integrating over a wide range of radii and densities our models indicate that the radial extent of the NLR is the major parameter in determining the position of high to moderate ionization AGN along our sequence, providing a physical interpretation for their systematic variation. Higher ionization AGN contain optimally emitting clouds that are more concentrated towards the central continuum source than in lower ionization AGN. Our LOC models indicate that for the objects that lie on our AGN sequence, the ionizing luminosity is anticorrelated with the NLR ionization level, and hence anticorrelated with the radial concentration and physical extent of the NLR. A possible interpretation that deserves further exploration is that the ionization sequence might be an age sequence where low ionization objects are older and have systematically cleared out their central regions by radiation pressure. We consider that our AGN sequence instead represents a mixing curve of SF and AGN spectra, but argue that while many galaxies do have this type of composite spectra, our AGN sequence appears to be a special set of objects with negligible SF excitation.


title: There are no socialist primes less than 10^9

abstract: There are no primes $p$ with $5<p<10^{9}$ for which $2!, 3!, \ldots, (p-1)!$ are all distinct modulo $p$; it is conjectured that there are no such primes.


title: Visualizing overtwisted discs in open books

abstract: We give an alternative proof of a theorem of Honda-Kazez-Mati\'c that every non-right-veering open book supports an overtwisted contact structure. We also study two types of examples that show how overtwisted discs are embedded relative to right-veering open books.


title: Utility-based Decision-making in Distributed Systems Modelling

abstract: We consider a calculus of resources and processes as a basis for modelling decision-making in multi-agent systems. The calculus represents the regulation of agents' choices using utility functions that take account of context. Associated with the calculus is a (Hennessy Milner-style) context sensitive modal logic of state. As an application, we show how a notion of `trust domain' can be defined for multi-agent systems.


title: On the Complexity of Dynamic Epistemic Logic

abstract: Although Dynamic Epistemic Logic (DEL) is an influential logical framework for representing and reasoning about information change, little is known about the computational complexity of its associated decision problems. In fact, we only know that for public announcement logic, a fragment of DEL, the satisfiability problem and the model-checking problem are respectively PSPACE-complete and in P. We contribute to fill this gap by proving that for the DEL language with event models, the model-checking problem is, surprisingly, PSPACE-complete. Also, we prove that the satisfiability problem is NEXPTIME-complete. In doing so, we provide a sound and complete tableau method deciding the satisfiability problem.


title: The Shape of Reactive Coordination Tasks

abstract: This paper studies the interaction between knowledge, time and coordination in systems in which timing information is available. Necessary conditions are given for the causal structure in coordination problems consisting of orchestrating a set of actions in a manner that satisfies a variety of temporal ordering assumptions. Results are obtained in two main steps: A specification of coordination is shown to require epistemic properties, and the causal structure required to obtain these properties is characterised via "knowledge gain" theorems. A new causal structure called a centibroom structure is presented, generalising previous causal structures for this model. It is shown to capture coordination tasks in which a sequence of clusters of events is performed in linear order, while within each cluster all actions must take place simultaneously. This form of coordination is shown to require the agents to gain a nested common knowledge of particular facts, which in turn requires a centibroom. Altogether, the results presented provide a broad view of the causal shape underlying partially ordered coordinated actions. This, in turn, provides insight into and can enable the design of efficient solutions to the coordination tasks in question.


title: Language-based Games

abstract: We introduce language-based games, a generalization of psychological games [6] that can also capture reference-dependent preferences [7]. The idea is to extend the domain of the utility function to situations, maximal consistent sets in some language. The role of the underlying language in this framework is thus particularly critical. Of special interest are languages that can express only coarse beliefs [9]. Despite the expressive power of the approach, we show that it can describe games in a simple, natural way. Nash equilibrium and rationalizability are generalized to this setting; Nash equilibrium is shown not to exist in general, while the existence of rationalizable strategies is proved under mild conditions.


title: Defeasible Modalities

abstract: Nonmonotonic logics are usually characterized by the presence of some notion of 'conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the associated normality (or abnormality) of its constituents. In contrast, defeasible modes of inference aim to formalize the defeasible aspects of modal notions such as actions, obligations and knowledge. In this work we enrich the standard possible worlds semantics with a preference ordering on worlds in Kripke models. The resulting family of modal logics allow for the elegant expression of defeasible modalities. We also propose a tableau calculus which is sound and complete with respect to our preferential semantics.


title: Knowledge, Awareness, and Bisimulation

abstract: We compare different epistemic notions in the presence of awareness of propositional variables: the logics of implicit knowledge (in which explicit knowledge is definable), explicit knowledge, and speculative knowledge. Different notions of bisimulation are suitable for these logics. We provide correspondence between bisimulation and modal equivalence on image-finite models for these logics. The logic of speculative knowledge is equally expressive as the logic of explicit knowledge, and the logic of implicit knowledge is more expressive than both. We also provide axiomatizations for the three logics -- only the one for speculative knowledge is novel. Then we move to the study of dynamics by recalling action models incorporating awareness. We show that any conceivable change of knowledge or awareness can be modelled in this setting, we give a complete axiomatization for the dynamic logic of implicit knowledge. The dynamic versions of all three logics are, surprising, equally expressive.


title: Bounded rationality in a dynamic alternate game

abstract: From the standpoint of game theory, dominoes is a game that has not received much attention (specially the variety known as draw). It is usually thought that this game is already solved, given general results in game theory. However, the determination of equilibria is not feasible for the general case because of the well known problem of node explosion in the tree expressing the game. We propose a new model based in limited forecast as a kind of bounded rationality for dynamic alternate games.


title: Domains of discontinuity for almost-Fuchsian Groups

abstract: An almost-Fuchsian group is a quasi-Fuchsian group such that the quotient hyperbolic manifold contains a closed incompressible minimal surface with principal curvatures contained in (-1,1). We show that the domain of discontinuity of an almost-Fuchsian group contains many balls of a fixed spherical radius in the visual boundary of hyperbolic 3-space. This yields a necessary condition for a quasi-Fuchsian group to be almost-Fuchsian which involves only conformal geometry. As an application, we prove that there are no doubly-degenerate geometric limits of almost-Fuchsian groups.


title: How To Place a Point to Maximize Angles

abstract: We describe a randomized algorithm that, given a set $P$ of points in the plane, computes the best location to insert a new point $p$, such that the Delaunay triangulation of $P\cup\{p\}$ has the largest possible minimum angle. The expected running time of our algorithm is at most cubic, improving the roughly quartic time of the best previously known algorithm. It slows down to slightly super-cubic if we also specify a set of non-crossing segments with endpoints in $P$ and insist that the triangulation respect these segments, i.e., is the constrained Delaunay triangulation of the points and segments.


title: Timely Common Knowledge

abstract: Coordinating activities at different sites of a multi-agent system typically imposes epistemic constraints on the participants. Specifying explicit bounds on the relative times at which actions are performed induces combined temporal and epistemic constraints on when agents can perform their actions. This paper characterises the interactive epistemic state that arises when actions must meet particular temporal constraints. The new state, called timely common knowledge, generalizes common knowledge, as well as other variants of common knowledge. While known variants of common knowledge are defined in terms of a fixed point of an epistemic formula, timely common knowledge is defined in terms of a vectorial fixed point of temporal-epistemic formulae. A general class of coordination tasks with timing constraints is defined, and timely common knowledge is used to characterise both solvability and optimal solutions of such tasks. Moreover, it is shown that under natural conditions, timely common knowledge is equivalent to an infinite conjunction of temporal-epistemic formulae, in analogy to the popular definition of common knowledge.