title: From Unbalanced Initial Occupant Distribution to Balanced Exit Usage in a Simulation Model of Pedestrian Dynamics

abstract: It is tested in this contribution if and to which extend a method of a pedestrian simulation tool that attempts to make pedestrians walk into the direction of estimated earliest arrival can help to automatically distribute pedestrians - who are initially distributed arbitrarily in the scenario - equally on the various exits of the scenario.


title: Experimental simulation of anyonic fractional statistics with an NMR quantum information processor

abstract: Anyons have exotic statistical properties, fractional statistics, differing from Bosons and Fermions. They can be created as excitations of some Hamiltonian models. Here we present an experimental demonstration of anyonic fractional statistics by simulating a version of the Kitaev spin lattice model proposed by Han et al[Phys. Rev.Lett. 98, 150404 (2007)] using an NMR quantum information processor. We use a 7-qubit system to prepare a 6-qubit pseudopure state to implement the ground state preparation and realize anyonic manipulations, including creation, braiding and anyon fusion. A $\pi/2\times 2$ phase difference between the states with and without anyon braiding, which is equivalent to two successive particle exchanges, is observed. This is different from the $\pi\times 2$ and $2\pi \times 2$ phases for Fermions and Bosons after two successive particle exchanges, and is consistent with the fractional statistics of anyons.


title: High-order asymptotic-preserving methods for fully nonlinear relaxation problems

abstract: We study solutions to nonlinear hyperbolic systems with fully nonlinear relaxation terms in the limit of, both, infinitely stiff relaxation and arbitrary late time. In this limit, the dynamics is governed by effective systems of parabolic type, with possibly degenerate and/or fully nonlinear diffusion terms. For this class of problems, we develop here an implicit-explicit method based on Runge-Kutta discretization in time, and we use this method in order to investigate several examples of interest in compressible fluid dynamics. Importantly, we impose here a realistic stability condition on the time-step and we demonstrate that solutions in the hyperbolic-to-parabolic regime can be computed numerically with high robustness and accuracy, even in presence of fully nonlinear relaxation terms.


title: Mixture model for designs in high dimensional regression and the LASSO

abstract: The LASSO is a recent technique for variable selection in the regression model \bean y & = & X\beta + z, \eean where $X\in \R^{n\times p}$ and $z$ is a centered gaussian i.i.d. noise vector $\mathcal N(0,\sigma^2I)$. The LASSO has been proved to achieve remarkable properties such as exact support recovery of sparse vectors when the columns are sufficently incoherent and low prediction error under even less stringent conditions. However, many matrices do not satisfy small coherence in practical applications and the LASSO estimator may thus suffer from what is known as the slow rate regime. The goal of the present paper is to study the LASSO from a slightly different perspective by proposing a mixture model for the design matrix which is able to capture in a natural way the potentially clustered nature of the columns in many practical situations. In this model, the columns of the design matrix are drawn from a Gaussian mixture model. Instead of requiring incoherence for the design matrix $X$, we only require incoherence of the much smaller matrix of the mixture's centers. Our main result states that $X\beta$ can be estimated with the same precision as for incoherent designs except for a correction term depending on the maximal variance in the mixture model.


title: Search for eta-mesic Helium with the WASA-at-COSY detector

abstract: A search for the 4He-eta bound state via exclusive measurement of the excitation function for the dd->3Heppi- reaction, was performed at the Cooler Synchrotron COSY-Juelich with the WASA-at-COSY detection system. The data were taken during a slow acceleration of the beam from 2.185 GeV/c to 2.400 GeV/c crossing the kinematic threshold for the eta production in the dd -> 4He-eta reaction at 2.336 GeV/c. The corresponding excess energy in the 4He-eta system varied from -51.4 MeV to 22 MeV. The shape of the excitation function for the dd -> 3Heppi- was examined. No signal of the 4He-eta bound state was observed in the excitation function.


title: An Anderson-localized random nanolaser

abstract: Precision is a virtue throughout science in general and in optics in particular where carefully fabricated nanometer-scale devices hold great promise for both classical and quantum photonics [1-6]. In such nanostructures, unavoidable imperfections often impose severe performance limits but, in certain cases, disorder may enable new functionalities [7]. Here we demonstrate on-chip random nanolasers where the cavity feedback is provided by the intrinsic disorder in a semiconductor photonic-crystal waveguide, leading to Anderson localization of light [8]. This enables highly efficient and broadband tunable lasers with very small mode volumes. We observe an intriguing interplay between gain, dispersion-controlled slow light, and disorder, which determines the cross-over from ballistic transport to Anderson localization. Such a behavior is a unique feature of non-conservative random media that enables the demonstration of all-optical control of random lasing. Our statistical analysis shows a way towards ultimate thresholdless random nanolasers.


title: A Lagrangian relaxation view of linear and semidefinite hierarchies

abstract: We consider the general polynomial optimization problem $P: f^*=\min \{f(x)\,:\,x\in K\}$ where $K$ is a compact basic semi-algebraic set. We first show that the standard Lagrangian relaxation yields a lower bound as close as desired to the global optimum $f^*$, provided that it is applied to a problem $\tilde{P}$ equivalent to $P$, in which sufficiently many redundant constraints (products of the initial ones) are added to the initial description of $P$. Next we show that the standard hierarchy of LP-relaxations of $P$ (in the spirit of Sherali-Adams' RLT) can be interpreted as a brute force simplification of the above Lagrangian relaxation in which a nonnegative polynomial (with coefficients to be determined) is replaced with a constant polynomial equal to zero. Inspired by this interpretation, we provide a systematic improvement of the LP-hierarchy by doing a much less brutal simplification which results into a parametrized hierarchy of semidefinite programs (and not linear programs any more). For each semidefinite program in the parametrized hierarchy, the semidefinite constraint has a fixed size $O(n^k)$, independently of the rank in the hierarchy, in contrast with the standard hierarchy of semidefinite relaxations. The parameter $k$ is to be decided by the user. When applied to a non trivial class of convex problems, the first relaxation of the parametrized hierarchy is exact, in contrast with the LP-hierarchy where convergence cannot be finite. When applied to 0/1 programs it is at least as good as the first one in the hierarchy of semidefinite relaxations. However obstructions to exactness still exist and are briefly analyzed. Finally, the standard semidefinite hierarchy can also be viewed as a simplification of an extended Lagrangian relaxation, but different in spirit as sums of squares (and not scalars) multipliers are allowed.


title: Quasi-Stability of Partially Hyperbolic Diffeomorphisms

abstract: A partially hyperbolic diffeomorphism $f$ is structurally quasi-stable if for any diffeomorphism $g$ $C^1$-close to $f$, there is a homeomorphism $\pi$ of $M$ such that $\pi\circ g$ and $f\circ\pi$ differ only by a motion $\tau$ along center directions. $f$ is topologically quasi-stable if for any homeomorphism $g$ $C^0$-close to $f$, the above holds for a continuous map $\pi$ instead of a homeomorphism. We show that any partially hyperbolic diffeomorphism $f$ is topologically quasi-stable, and if $f$ has $C^1$ center foliation $W^c_f$, then $f$ is structurally quasi-stable. As applications we obtain continuity of topological entropy for certain partially hyperbolic diffeomorphisms with one or two dimensional center foliation.


title: Syzygies and tensor product of modules

abstract: We give an application of the New Intersection Theorem and prove the following: let $R$ be a local complete intersection ring of codimension $c$ and let $M$ and $N$ be nonzero finitely generated $R$-modules. Assume $n$ is a nonnegative integer and that the tensor product $M\tensor_{R}N$ is an $(n+c)$th syzygy of some finitely generated $R$-module. If Tor$^{R}_{>0}(M,N)=0$, then both $M$ and $N$ are $n$th syzygies of some finitely generated $R$-modules.


title: Justice blocks and predictability of US Supreme Court votes

abstract: Successful attempts to predict judges' votes shed light into how legal decisions are made and, ultimately, into the behavior and evolution of the judiciary. Here, we investigate to what extent it is possible to make predictions of a justice's vote based on the other justices' votes in the same case. For our predictions, we use models and methods that have been developed to uncover hidden associations between actors in complex social networks. We show that these methods are more accurate at predicting justice's votes than forecasts made by legal experts and by algorithms that take into consideration the content of the cases. We argue that, within our framework, high predictability is a quantitative proxy for stable justice (and case) blocks, which probably reflect stable a priori attitudes toward the law. We find that U. S. Supreme Court justice votes are more predictable than one would expect from an ideal court composed of perfectly independent justices. Deviations from ideal behavior are most apparent in divided 5-4 decisions, where justice blocks seem to be most stable. Moreover, we find evidence that justice predictability decreased during the 50-year period spanning from the Warren Court to the Rehnquist Court, and that aggregate court predictability has been significantly lower during Democratic presidencies. More broadly, our results show that it is possible to use methods developed for the analysis of complex social networks to quantitatively investigate historical questions related to political decision-making.


title: On the Hadronic Gamma-ray Emission from Tycho's Supernova Remnant

abstract: Hadronic gamma-ray emission from supernova remnants (SNRs) is an important tool to test shock acceleration of cosmic ray protons. Tycho is one of nearly a dozen Galactic SNRs which are suggested to emit hadronic gamma-ray emission. Among them, however, it is the only one in which the hadronic emission is proposed to arise from the interaction with low-density (~0.3 cm^{-3}) ambient medium. Here we present an alternative hadronic explanation with a modest conversion efficiency (of order 1%) for this young remnant. With such an efficiency, a normal electron-proton ratio (of order 10^{-2}) is derived from the radio and X-ray synchrotron spectra and an average ambient density that is at least one-order-of-magnitude higher is derived from the hadronic gamma-ray flux. This result is consistent with the multi-band evidence of the presence of dense medium from the north to the east of the Tycho SNR. The SNR-cloud association, in combination with the HI absorption data, helps to constrain the so-far controversial distance to Tycho and leads to an estimate of 2.5 kpc.


title: A new algebraic solution to multidimensional minimax location problems with Chebyshev distance

abstract: Both unconstrained and constrained minimax single facility location problems are considered in multidimensional space with Chebyshev distance. A new solution approach is proposed within the framework of idempotent algebra to reduce the problems to solving linear vector equations and minimizing functionals defined on some idempotent semimodule. The approach offers a solution in a closed form that actually involves performing matrix-vector multiplications in terms of idempotent algebra for appropriate matrices and vectors. To illustrate the solution procedures, numerical and graphical examples of two-dimensional problems are given.


title: On generalized universal irrational rotation algebras and the operator $u+v$

abstract: We introduce a class of generalized universal irrational rotation $C^*$-algebras $A_{\theta,\gamma}=C^*(x,w)$ which is characterized by the relations $w^*w=ww^*=1$, $x^*x=\gamma(w)$, $xx^*=\gamma(e^{-2\pi i\theta}w)$, and $xw=e^{-2\pi i\theta}wx$, where $\theta$ is an irrational number and $\gamma(z)\in C(\mathbb{T})$ is a positive function. We characterize tracial linear functionals, simplicity, and $K$-groups of $A_{\theta,\gamma}$ in terms of zero points of $\gamma(z)$. We show that if $A_{\theta,\gamma}$ is simple then $A_{\theta,\gamma}$ is an $A{\mathbb T}$-algebra of real rank zero. We classify $A_{\theta,\gamma}$ in terms of $\theta$ and zero points of $\gamma(z)$. Let $A_\theta=C^*(u,v)$ be the universal irrational rotation $C^*$-algebra with $vu=e^{2\pi i\theta}uv$. Then $C^*(u+v)\cong A_{\theta,|1+z|^2}$. As an application, we show that $C^*(u+v)$ is a proper simple $C^*$-subalgebra of $A_\theta$ which has a unique trace, $K_1(C^*(u+v))\cong \mathbb{Z}$, and there is an order isomorphism of $K_0(C^*(u+v))$ onto $\mathbb{Z}+\mathbb{Z}\theta$. {Moreover, $C^*(u+v)$ is a unital simple $A{\mathbb T}$-algebra of real rank zero.} We also calculate the spectrum and the Brown measure of $u+v$.


title: A Multi-path Interferometer with Ultracold Atoms Trapped in an Optical Lattice

abstract: We study an ultra-cold gas of $N$ bosons trapped in a one dimensional $M$-site optical lattice perturbed by a spatially dependent potential $g\cdot x^j$, where the unknown coupling strength $g$ is to be estimated. We find that the measurement uncertainty is bounded by $\Delta g\propto\frac1{N (M^j-1)}$. For a typical case of a linear potential, the sensitivity improves as $M^{-1}$, which is a result of multiple interferences between the sites -- an advantage of multi-path interferometers over the two-mode setups. Next, we calculate the estimation sensitivity for a specific measurement where, after the action of the potential, the particles are released from the lattice and form an interference pattern. If the parameter is estimated by a least-square fit of the average density to the interference pattern, the sensitivity still scales like $M^{-1}$ for linear potentials and can be further improved by preparing a properly correlated initial state in the lattice.


title: The spectrum of Fe II

abstract: The spectrum of singly-ionized iron (Fe II) has been recorded using high-resolution Fourier transform and grating spectroscopy over the wavelength range 900 {\AA} to 5.5 {\mu}m. The spectra were observed in high-current continuous and pulsed hollow cathode discharges using Fourier transform (FT) spectrometers at the Kitt Peak National Observatory, Tucson, AZ and Imperial College, London and with the 10.7 m Normal Incidence Spectrograph at the National Institute of Standards and Technology. Roughly 12 900 lines were classified using 1027 energy levels of Fe II that were optimized to measured wavenumbers. The wavenumber uncertainties of lines in the FT spectra range from 10-4 cm-1 for strong lines around 4 {\mu}m to 0.05 cm-1 for weaker lines around 1500 {\AA}. The wavelength uncertainty of lines in the grating spectra is 0.005 {\AA}. The ionization energy of (130 655.4+-0.4) cm-1 was estimated from the 3d6(5D)5g and 3d6(5D)6h levels.


title: Nagaoka states in the SU($n$) Hubbard model

abstract: We present an extension of Nagaoka's theorem in the SU($n$) generalization of the infinite-$U$ Hubbard model. It is shown that, when there is exactly one hole, the fully polarized states analogous to the ferromagnetic states in the SU(2) Hubbard model are ground states. For a restricted class of models satisfying the connectivity condition, these fully polarized states are the unique ground states up to the trivial degeneracy due to the SU($n$) symmetry. We also give examples of lattices in which the connectivity condition can be verified explicitly. The examples include the triangular, kagome, and hypercubic lattices in $d (\ge 2)$ dimensions, among which the cases of $d=2$ and 3 are experimentally realizable in ultracold atomic gases loaded into optical lattices.


title: Partial transformation monoids preserving a uniform partition

abstract: The objective of this paper is to study the monoid of all partial transformations of a finite set that preserve a uniform partition. In addition to proving that this monoid is a quotient of a wreath product with respect to a congruence relation, we show that it is generated by 5 generators, we compute its order and determine a presentation on a minimal generating set.


title: GW study of the half-metallic Heusler compounds Co2MnSi and Co2FeSi

abstract: Quasiparticle spectra of potentially half-metallic Co2MnSi and Co2FeSi Heusler compounds have been calculated within the one-shot GW approximation in an all-electron framework without adjustable parameters. For Co2FeSi the many-body corrections are crucial: a pseudogap opens and good agreement of the magnetic moment with experiment is obtained. Otherwise, however, the changes with respect to the density-functional-theory starting point are moderate. For both cases we find that photoemission and x-ray absorption spectra are well described by the calculations. By comparison with the GW density of states, we conclude that the Kohn-Sham eigenvalue spectrum provides a reasonable approximation for the quasiparticle spectrum of the Heusler compounds considered in this work.


title: Electron cooling and Debye-Waller effect in photoexcited bismuth

abstract: By means of first principles calculations, we computed the effective electron-phonon coupling constant $G_0$ governing the electron cooling in photoexcited bismuth. $G_0$ strongly increases as a function of electron temperature, which can be traced back to the semi-metallic nature of bismuth. We also used a thermodynamical model to compute the time evolution of both electron and lattice temperatures following laser excitation. Thereby, we simulated the time evolution of (1 -1 0), (-2 1 1) and (2 -2 0) Bragg peak intensities measured by Sciaini et al [Nature 458, 56 (2009)] in femtosecond electron diffraction experiments. The effect of the electron temperature on the Debye-Waller factors through the softening of all optical modes across the whole Brillouin zone turns out to be crucial to reproduce the time evolution of these Bragg peak intensities.


title: Average Consensus in the Presence of Delays and Dynamically Changing Directed Graph Topologies

abstract: Classical approaches for asymptotic convergence to the global average in a distributed fashion typically assume timely and reliable exchange of information between neighboring components of a given multi-component system. These assumptions are not necessarily valid in practical settings due to varying delays that might affect transmissions at different times, as well as possible changes in the underlying interconnection topology (e.g., due to component mobility). In this work, we propose protocols to overcome these limitations. We first consider a fixed interconnection topology (captured by a - possibly directed - graph) and propose a discrete-time protocol that can reach asymptotic average consensus in a distributed fashion, despite the presence of arbitrary (but bounded) delays in the communication links. The protocol requires that each component has knowledge of the number of its outgoing links (i.e., the number of components to which it sends information). We subsequently extend the protocol to also handle changes in the underlying interconnection topology and describe a variety of rather loose conditions under which the modified protocol allows the components to reach asymptotic average consensus. The proposed algorithms are illustrated via examples.


title: Free unitary groups are (almost) simple

abstract: We show that the quotients of Wang and Van Daele's universal quantum groups by their centers are simple in the sense that they have no normal quantum subgroups, thus providing the first examples of simple compact quantum groups with non-commutative fusion rings.


title: Aging in the trap model as a relaxation further away from equilibrium

abstract: The aging regime of the trap model, observed for a temperature T below the glass transition temperature T_g, is a prototypical example of non-stationary out-of-equilibrium state. We characterize this state by evaluating its "distance to equilibrium", defined as the Shannon entropy difference \Delta S (in absolute value) between the non-equilibrium state and the equilibrium state with the same energy. We consider the time evolution of \Delta S and show that, rather unexpectedly, \Delta S(t) continuously increases in the aging regime, if the number of traps is infinite, meaning that the "distance to equilibrium" increases instead of decreasing in the relaxation process. For a finite number N of traps, \Delta S(t) exhibits a maximum value before eventually converging to zero when equilibrium is reached. The time t* at which the maximum is reached however scales in a non-standard way as t* ~ N^(T_g/2T), while the equilibration time scales as N^(T_g/T). In addition, the curves \Delta S(t) for different N are found to rescale as ln t/ln t*, instead of the more familiar scaling t/t*.


title: Finite Morphisms between Projective Varieties and Skeleta

abstract: In this paper we study finite morphisms between irreducible projective varieties in terms of the morphisms they induce between the respective analytifications. The background for the principal result is as follows. Let $V'$ and $V$ be irreducible, projective varieties over an algebraically closed, non- archimedean valued field $k$ and $\phi$ be a finite morphism $\phi : V' \to V$. Let $x \in V^{an}(L)$, where $L/k$ is an algebraically closed complete non-archimedean valued field extension. We associate canonically to $x$ an $L$-point of the space $(V \times_k L)^{an}$ which lies on the fiber over $x$ and denote this point $x_L$. The embedding of $V$ into some $n$-dimensional projective space defines in a natural way a family of open neighbourhoods $\mathcal{O}_{x_L}$ in $(V \times_k L)^{an}$ of $x_L$. Each element of this family is parametrized by an $(n + 1)^2$-tuple which quantifies its size. Of particular interest to us will be those elements $O$ of the set $\mathcal{O}_{x_L}$ whose preimage for the morphism $(\phi \times id_L)^{an}$ decomposes into the disjoint union of homeomorphic copies of $O$ via $(\phi \times id_L)^{an}$. Let $\mathcal{G}_{x_L} \subset \mathcal{O}_{x_L}$ denote the sub collection of elements of this form. Theorem 1.3 shows that there exists a deformation retraction of the space $V$ onto a finite simplicial complex such that along the fibers of the retraction the size of the largest element belonging to $\mathcal{G}_{x_L}$ is constant.


title: Jet probes of QCD matter: single jets and dijets in heavy-ion collisions

abstract: Modifications of jets in the existence of a hot and dense QCD medium have recently attracted a lot of attentions. In this talk, we demonstrate how jet-medium interactions change the behavior of jets by offering examples of inclusive jet and dijet productions at $ {\cal O}(\alpha_s^3)$ in heavy ion collisions including initial-state cold nuclear effects and especially the final-state parton energy loss effect. The suppression of inclusive jet spectrum varying with jet radii and a flatter dijet momentum imbalance as compared to those in hadron-hadron collisions are observed in high-energy nuclear collisions.


title: Separation of two contributions to the high energy emission of Cygnus X-1: Polarization measurements with INTEGRAL SPI

abstract: Operational since 2002 on-board the INTEGRAL observatory, the SPI spectrometer can be used to perform polarization measurements in the hard X-ray/soft gamma-ray domain (~ 130 keV - 8 MeV). However, this phenomenon is complex to measure at high energy and requires high fluxes. Cyg X-1 appears as the best candidate amongst the X-ray binaries since it is one of the brightest persistent sources in this energy domain. Furthermore, a polarized component has recently been reported above 400 keV from IBIS data. We have therefore dedicated our efforts to develop the required tools to study the polarization in the INTEGRAL SPI data and have first applied them to 2.6 Ms of Cyg X-1 observations, covering 6.5 years of the INTEGRAL mission. We have found that the high energy emission of Cyg X-1 is indeed polarized, with a mean polarization fraction of 76 % +/- 15 % at a position angle estimated to 42 +/- 3 degrees, for energies above 230 keV. The polarization fraction clearly increases with energy. In the 130-230 keV band, the polarization fraction is lower than 20 %, but exceeds 75 % between 370 and 850 keV, with the (total) emission vanishing above this energy. This result strongly suggests that the emission originates from the jet structure known to emit in the radio domain. The same synchrotron process could be responsible for the emission from radio to MeV, implying the presence of high energy electrons. This illustrates why the polarization of the high energy emission in compact objects is an increasingly important observational objective.


title: Open-source tools for dynamical analysis of Liley's mean-field cortex model

abstract: Mean-field models of the mammalian cortex treat this part of the brain as a two-dimensional excitable medium. The electrical potentials, generated by the excitatory and inhibitory neuron populations, are described by nonlinear, coupled, partial differential equations, that are known to generate complicated spatio-temporal behaviour. We focus on the model by Liley {\sl et al.} (Network: Comput. Neural Syst. (2002) 13, 67-113). Several reductions of this model have been studied in detail, but a direct analysis of its spatio-temporal dynamics has, to the best of our knowledge, never been attempted before. Here, we describe the implementation of implicit time-stepping of the model and the tangent linear model, and solving for equilibria and time-periodic solutions, using the open-source library PETSc. By using domain decomposition for parallelization, and iterative solving of linear problems, the code is capable of parsing some dynamics of a macroscopic slice of cortical tissue with a sub-millimetre resolution.


title: Projective dimension in filtrated K-theory

abstract: Under mild assumptions, we characterise modules with projective resolutions of length n in the target category of filtrated K-theory over a finite topological space in terms of two conditions involving certain Tor-groups. We show that the filtrated K-theory of any separable C*-algebra over any topological space with at most four points has projective dimension 2 or less. We observe that this implies a universal coefficient theorem for rational equivariant KK-theory over these spaces. As a contrasting example, we find a separable C*-algebra in the bootstrap class over a certain five-point space, the filtrated K-theory of which has projective dimension 3. Finally, as an application of our investigations, we exhibit Cuntz-Krieger algebras which have projective dimension 2 in filtrated K-theory over their respective primitive spectrum.


title: Search for a correlation between very-high-energy gamma rays and giant radio pulses in the Crab pulsar

abstract: We present the results of a joint observational campaign between the Green Bank radio telescope and the VERITAS gamma-ray telescope, which searched for a correlation between the emission of very-high-energy (VHE) gamma rays ($E_{\gamma} >$ 150 GeV) and Giant Radio Pulses (GRPs) from the Crab pulsar at 8.9 GHz. A total of 15366 GRPs were recorded during 11.6 hours of simultaneous observations, which were made across four nights in December 2008 and in November and December 2009. We searched for an enhancement of the pulsed gamma-ray emission within time windows placed around the arrival time of the GRP events. In total, 8 different time windows with durations ranging from 0.033 ms to 72 s were positioned at three different locations relative to the GRP to search for enhanced gamma-ray emission which lagged, led, or was concurrent with, the GRP event. Further, we performed separate searches on main pulse GRPs and interpulse GRPs and on the most energetic GRPs in our data sample. No significant enhancement of pulsed VHE emission was found in any of the preformed searches. We set upper limits of 5-10 times the average VHE flux of the Crab pulsar on the flux simultaneous with interpulse GRPs on single-rotation-period time scales. On $\sim$8-second time scales around interpulse GRPs, we set an upper limit of 2-3 times the average VHE flux. Within the framework of recent models for pulsed VHE emission from the Crab pulsar, the expected VHE-GRP emission correlations are below the derived limits.


title: Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata

abstract: We consider the problem of approximating the probability mass of the set of timed paths under a continuous-time Markov chain (CTMC) that are accepted by a deterministic timed automaton (DTA). As opposed to several existing works on this topic, we consider DTA with multiple clocks. Our key contribution is an algorithm to approximate these probabilities using finite difference methods. An error bound is provided which indicates the approximation error. The stepping stones towards this result include rigorous proofs for the measurability of the set of accepted paths and the integral-equation system characterizing the acceptance probability, and a differential characterization for the acceptance probability.


title: Some remarks about solenoids, 3

abstract: A basic class of constructions is considered, in connection with bilipschitz mappings in particular.


title: Investigating the Optical Counterpart Candidates of Four INTEGRAL Sources localized with Chandra

abstract: We report on the optical spectroscopic follow up observations of the candidate counterparts to four INTEGRAL sources: IGR J04069+5042, IGR J06552-1146, IGR J21188+4901 and IGR J22014+6034. The candidate counterparts were determined with Chandra, and the optical observations were performed with 1.5-m RTT-150 telescope (T\"{U}B\.{I}TAK National Observatory, Antalya, Turkey) and 2.4-m Hiltner Telescope (MDM Observatory, Kitt Peak, Arizona). Our spectroscopic results show that one of the two candidates of IGR J04069+5042 and the one observed for IGR J06552-1146 could be active late-type stars in RS CVn systems. However, according to the likelihood analysis based on Chandra and INTEGRAL, two optically weaker sources in the INTEGRAL error circle of IGR J06552-1146 have higher probabilities to be the actual counterpart. The candidate counterparts of IGR J21188+4901 are classified as an active M-type star and a late-type star. Among the optical spectra of four candidates of IGR J22014+6034, two show H\alpha emission lines, one is a late-type star and the other is a M type. The likelihood analysis favors a candidate with no distinguishing features in the optical spectrum. Two of the candidates classified as M type dwarfs are similar to some IGR candidates claimed to be symbiotic stars. However, some of the prominent features of symbiotic systems are missing in our spectra, and their NIR colors are not consistent with those expected for giants. We consider the IR colors of all IGR candidates claimed to be symbiotic systems and find that low resolution optical spectrum may not be enough for conclusive identification.


title: Beam single spin asymmetry of neutral pion production in semi-inclusive deep inelastic scattering

abstract: We study the beam spin asymmetry $A_{LU}^{\sin\phi_h}$ in semi-inclusive $\pi^0$ electroproduction contributed by the T-odd twist-3 distribution function $g^\perp(x,k_T^2)$. We calculate this transverse momentum dependent distribution function for the $u$ and $d$ quarks inside the proton in a spectator model including the scalar and the axial-vector diquark components. Using the model results, we estimate the asymmetry $A_{LU}^{\sin\phi_h}$ in the $e p \rightarrow e^\prime \pi^0 X$ process in which the lepton beam is longitudinally polarized. The model prediction is compared with the data measured by the CLAS and the HERMES Collaborations and it is found that our numerical results agree with experimental data reasonably. Especially, our results can well describe the CLAS data at the region where the Bjorken $x$ and the pion transverse momentum is not large. We also make a prediction on the asymmetry $A_{LU}^{\sin\phi_h}$ in a $\pi^0$ electroproduction at CLAS12 using the same model calculation.


title: A computational formulation for constrained solid and liquid membranes considering isogeometric finite elements

abstract: A geometrically exact membrane formulation is presented that is based on curvilinear coordinates and isogeometric finite elements, and is suitable for both solid and liquid membranes. The curvilinear coordinate system is used to describe both the theory and the finite element equations of the membrane. In the latter case this avoids the use of local cartesian coordinates at the element level. Consequently, no transformation of derivatives is required. The formulation considers a split of the in-plane and out-of-plane membrane contributions, which allows the construction of a stable formulation for liquid membranes with constant surface tension. The proposed membrane formulation is general, and accounts for dead and live loading, as well as enclosed volume, area, and contact constraints. The new formulation is illustrated by several challenging examples, considering linear and quadratic Lagrange elements, as well as isogeometric elements based on quadratic NURBS and cubic T-splines. It is seen that the isogeometric elements are much more accurate than standard Lagrange elements. The gain is especially large for the liquid membrane formulation since it depends explicitly on the surface curvature.


title: Scalable Matrix-valued Kernel Learning for High-dimensional Nonlinear Multivariate Regression and Granger Causality

abstract: We propose a general matrix-valued multiple kernel learning framework for high-dimensional nonlinear multivariate regression problems. This framework allows a broad class of mixed norm regularizers, including those that induce sparsity, to be imposed on a dictionary of vector-valued Reproducing Kernel Hilbert Spaces. We develop a highly scalable and eigendecomposition-free algorithm that orchestrates two inexact solvers for simultaneously learning both the input and output components of separable matrix-valued kernels. As a key application enabled by our framework, we show how high-dimensional causal inference tasks can be naturally cast as sparse function estimation problems, leading to novel nonlinear extensions of a class of Graphical Granger Causality techniques. Our algorithmic developments and extensive empirical studies are complemented by theoretical analyses in terms of Rademacher generalization bounds.


title: Large Essential norm of Toeplitz operators and Hankel operators on the weighted Bergman space

abstract: In this paper, we show that on the weighted Bergman space of the unit disk the essential norm of a noncompact Hankel operator equals its distance to the set of compact Hankel operators and is realized by infinitely many compact Hankel operators, which is analogous to the theorem of Axler, Berg, Jewell and Shields on the Hardy space in Axler et al. (1979); moreover, the distance is realized by infinitely many compact Hankel operators with symbols continuous on the closure of the unit disk and vanishing on the unit circle.


title: Subvarieties of moduli spaces of sheaves via finite coverings

abstract: Given a finite unbranched covering of a nonsingular projective scheme we analyse the morphism between moduli spaces of sheaves induced by pullback. We have a closer look at cyclic coverings and, in particular, at canonical coverings of surfaces. Our main application is the construction of Lagrangian subvarieties of certain irreducible holomorphically symplectic manifolds that arise from moduli spaces of sheaves on K3 or abelian surfaces.


title: Full Rank Solutions for the MIMO Gaussian Wiretap Channel with an Average Power Constraint

abstract: This paper considers a multiple-input multiple-output (MIMO) Gaussian wiretap channel model, where there exists a transmitter, a legitimate receiver and an eavesdropper, each equipped with multiple antennas. In this paper, we first revisit the rank property of the optimal input covariance matrix that achieves the secrecy capacity of the multiple antenna MIMO Gaussian wiretap channel under the average power constraint. Next, we obtain necessary and sufficient conditions on the MIMO wiretap channel parameters such that the optimal input covariance matrix is full-rank, and we fully characterize the resulting covariance matrix as well. Numerical results are presented to illustrate the proposed theoretical findings.


title: Asymptotic preserving schemes for highly oscillatory kinetic equation

abstract: This work is devoted to the numerical simulation of a Vlasov-Poisson model describing a charged particle beam under the action of a rapidly oscillating external electric field. We construct an Asymptotic Preserving numerical scheme for this kinetic equation in the highly oscillatory limit. This scheme enables to simulate the problem without using any time step refinement technique. Moreover, since our numerical method is not based on the derivation of the simulation of asymptotic models, it works in the regime where the solution does not oscillate rapidly, and in the highly oscillatory regime as well. Our method is based on a "double-scale" reformulation of the initial equation, with the introduction of an additional periodic variable.


title: The United Nations Human Space Technology Initiative (HSTI): Activity Status in 2012

abstract: In 2010, the Human Space Technology Initiative (HSTI) was launched by the United Nations Office for Outer Space Affairs (UNOOSA) within the United Nations Programme on Space Applications. The Initiative aims at promoting international cooperation in human spaceflight and space exploration-related activities, creating awareness among countries on the benefits of utilizing human space technology and its applications, and building capacity in microgravity education and research. HSTI has conducted a series of outreach activities and expert meetings bringing together participants from around the world. HSTI will also be implementing science and educational activities in relevant areas to raise the capacities, particularly in developing countries, in pursuit of the development goals of the United Nations, thus contributing to promoting the peaceful uses of outer space.


title: On the existence of accessible paths in various models of fitness landscapes

abstract: We present rigorous mathematical analyses of a number of well-known mathematical models for genetic mutations. In these models, the genome is represented by a vertex of the $n$-dimensional binary hypercube, for some $n$, a mutation involves the flipping of a single bit, and each vertex is assigned a real number, called its fitness, according to some rules. Our main concern is with the issue of existence of (selectively) accessible paths; that is, monotonic paths in the hypercube along which fitness is always increasing. Our main results resolve open questions about three such models, which in the biophysics literature are known as house of cards (HoC), constrained house of cards (CHoC) and rough Mount Fuji (RMF). We prove that the probability of there being at least one accessible path from the all-zeroes node $\mathbf {v}^0$ to the all-ones node $\mathbf {v}^1$ tends respectively to 0, 1 and 1, as $n$ tends to infinity. A crucial idea is the introduction of a generalization of the CHoC model, in which the fitness of $\mathbf {v}^0$ is set to some $\alpha=\alpha_n\in[0,1]$. We prove that there is a very sharp threshold at $\alpha_n=\frac{\ln n}{n}$ for the existence of accessible paths from $\mathbf {v}^0$ to $\mathbf {v}^1$. As a corollary we prove significant concentration, for $\alpha$ below the threshold, of the number of accessible paths about the expected value (the precise statement is technical; see Corollary 1.4). In the case of RMF, we prove that the probability of accessible paths from $\mathbf {v}^0$ to $\mathbf {v}^1$ existing tends to $1$ provided the drift parameter $\theta=\theta_n$ satisfies $n\theta_n\rightarrow\infty$, and for any fitness distribution which is continuous on its support and whose support is connected.


title: The virtual fibering theorem for 3-manifolds

abstract: In 2007 Agol showed that if N is an aspherical compact 3-manifold with empty or toroidal boundary such that its fundamental group is virtually RFRS, then $N$ is virtually fibered. We give a largely self-contained proof of Agol's theorem using complexities of sutured manifolds.


title: Neutron inelastic scattering in natural Cu as a background in neutrinoless double-beta decay experiments

abstract: Experiments designed to study rare processes, such as neutrinoless double beta decay ($0\nu\beta\beta$), are crucial tests for physics beyond the standard model. These experiments rely on reducing the intrinsic radioactive background to unprecedented levels, while adequately shielding the detectors from external sources of radioactivity. An understanding of the potential for neutron excitation of the shielding and detector materials is important for obtaining this level of sensitivity. Using the broad-spectrum neutron beam at LANSCE, we have measured inelastic neutron scattering on $^{nat}$Cu. The goal of this work is focused on understanding the background rates from neutrons interacting in these materials in regions around the Q-values of many candidate $0\nu\beta\beta$ decay isotopes, as well as providing data for benchmarking Monte Carlo simulations of background events. Results: We extracted the level cross sections from the $\gamma$ production cross section for 46 energy levels in $^{nat}$Cu . These level cross sections were compared with the available experimental data, as well as the ENDF/B-VII evaluation for discrete levels. We also examined the potential implications of our measurements on $0\nu\beta\beta$ measurements and found that many of the commonly studied $0\nu\beta\beta$ isotopes had Q-values below the cutoff for ENDF/B-VII evaluated discrete levels in either Cu nucleus.


title: Discovery reach of $CP$ violation and non-standard interactions in low energy neutrino factory

abstract: In low energy neutrino factory ($E_{\mu}< 10$GeV) using MIND detector, we have studied the optimization of $CP$ violation discovery reach in the leptonic sector for different baselines and different parent muon energy considering only Standard Model interactions of neutrinos with matter. Considering such optimized experimental set-up of baseline and energy we have addressed the question of how $CP$ violation discovery reach could get affected by the presence of non-standard interactions of neutrinos with matter during the propagation of neutrinos. For off diagonal NSI elements there could be complex phases $\phi_{ij}$ which could also lead to $CP$ violation. In presence of these complex phases we have shown the contours showing the discovery reach of $\delta$ and $\phi_{ij}$. We have also shown the discovery reach of NSIs in the same experimental set-up which is optimized for discovery of $CP$ violation in the leptonic sector.


title: Multi-Layered Plasmonic Covers for Comb-Like Scattering Response and Optical Tagging

abstract: We discuss the potential of multilayered plasmonic particles to tailor the optical scattering response. The interplay of plasmons localized in thin stacked shells realizes peculiar degenerate cloaking and resonant states occurring at arbitrarily close frequencies. These concepts are applied to realize ultrasharp comb-like scattering responses and synthesize staggered, ideally strong super-scattering states closely coupled to invisible states. We demonstrate robustness to material losses and to variations in the background medium, properties that make these structures ideal for optical tagging.


title: A topological introduction to knot contact homology

abstract: This is a survey of knot contact homology, with an emphasis on topological, algebraic, and combinatorial aspects.


title: The Earth as a living planet: human-type diseases in the earthquake preparation process

abstract: The new field of complex systems supports the view that a number of systems arising from disciplines as diverse as physics, biology, engineering, and economics may have certain quantitative features that are intriguingly similar. The earth is a living planet where many complex systems run perfectly without stopping at all. The earthquake generation is a fundamental sign that the earth is a living planet. Recently, analyses have shown that human-brain-type disease appears during the earthquake generation process. Herein, we show that human-heart-type disease appears during the earthquake preparation of the earthquake process. The investigation is mainly attempted by means of critical phenomena, which have been proposed as the likely paradigm to explain the origins of both heart electric fluctuations and fracture induced electromagnetic fluctuations. We show that a time window of the damage evolution within the heterogeneous Earth's crust and the healthy heart's electrical action present the characteristic features of the critical point of a thermal second order phase transition. A dramatic breakdown of critical characteristics appears in the tail of the fracture process of heterogeneous system and the injury heart's electrical action. Analyses by means of Hurst exponent and wavelet decomposition further support the hypothesis that a dynamical analogy exists between the geological and biological systems under study.


title: Continued g-fractions and geometry of bounded analytic maps

abstract: In this work we study qualitative properties of real analytic bounded maps. The main tool is approximation of real valued functions analytic in rectangular domains of the complex plane by continued g-fractions of Wall. As an application, the Sundman-Poincar\'e method in the Newtonian three-body problem is revisited and applications to collision detection problem are considered.


title: The field of definition of affine invariant submanifolds of the moduli space of abelian differentials

abstract: The field of definition of an affine invariant submanifold M is the smallest subfield of the reals such that M can be defined in local period coordinates by linear equations with coefficients in this field. We show that the field of definition is equal to the intersection of the holonomy fields of translation surfaces in M, and is a real number field of degree at most the genus. We show that the projection of the tangent bundle of M to absolute cohomology H^1 is simple, and give a direct sum decomposition of H^1. Applications include explicit full measure sets of translation surfaces whose orbit closures are as large as possible, and evidence for finiteness of algebraically primitive Teichm\"uller curves. The proofs use recent results of Artur Avila, Alex Eskin, Maryam Mirzakhani, Amir Mohammadi, and Martin M\"oller.


title: Disordered bosons in one dimension: from weak to strong randomness criticality

abstract: We investigate the superfluid-insulator quantum phase transition of one-dimensional bosons with off-diagonal disorder by means of large-scale Monte-Carlo simulations. For weak disorder, we find the transition to be in the same universality class as the superfluid-Mott insulator transition of the clean system. The nature of the transition changes for stronger disorder. Beyond a critical disorder strength, we find nonuniversal, disorder-dependent critical behavior. We compare our results to recent perturbative and strong-disorder renormalization group predictions. We also discuss experimental implications as well as extensions of our results to other systems.


title: Basic Experiment Planning via Information Metrics: the RoboMendel Problem

abstract: In this paper we outline some mathematical questions that emerge from trying to "turn the scientific method into math". Specifically, we consider the problem of experiment planning (choosing the best experiment to do next) in explicit probabilistic and information theoretic terms. We formulate this as an information measurement problem; that is, we seek a rigorous definition of an information metric to measure the likely information yield of an experiment, such that maximizing the information metric will indeed reliably choose the best experiment to perform. We present the surprising result that defining the metric purely in terms of prediction power on observable variables yields a metric that can converge to the classical mutual information measuring how informative the experimental observation is about an underlying hidden variable. We show how the expectation potential information metric can compute the "information rate" of an experiment as well its total possible yield, and the information value of experimental controls. To illustrate the utility of these concepts for guiding fundamental scientific inquiry, we present an extensive case study (RoboMendel) applying these metrics to propose sequences of experiments for discovering the basic principles of genetics.


title: On provability logics with linearly ordered modalities

abstract: We introduce the logics GLP(\Lambda), a generalization of Japaridze's polymodal provability logic GLP(\omega) where \Lambda is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP(\omega) yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP(\Lambda) and the decidability of GLP(\Lambda) for recursive orderings \Lambda. Further, we give a restricted axiomatization of the variable-free fragment of GLP(\Lambda).


title: Solvable model for template coexistence in protocells

abstract: Compartmentalization of self-replicating molecules (templates) in protocells is a necessary step towards the evolution of modern cells. However, coexistence between distinct template types inside a protocell can be achieved only if there is a selective pressure favoring protocells with a mixed template composition. Here we study analytically a group selection model for the coexistence between two template types using the diffusion approximation of population genetics. The model combines competition at the template and protocell levels as well as genetic drift inside protocells. At the steady state, we find a continuous phase transition separating the coexistence and segregation regimes, with the order parameter vanishing linearly with the distance to the critical point. In addition, we derive explicit analytical expressions for the critical steady-state probability density of protocell compositions.


title: Single Source - All Sinks Max Flows in Planar Digraphs

abstract: Let G = (V,E) be a planar n-vertex digraph. Consider the problem of computing max st-flow values in G from a fixed source s to all sinks t in V\{s}. We show how to solve this problem in near-linear O(n log^3 n) time. Previously, no better solution was known than running a single-source single-sink max flow algorithm n-1 times, giving a total time bound of O(n^2 log n) with the algorithm of Borradaile and Klein. An important implication is that all-pairs max st-flow values in G can be computed in near-quadratic time. This is close to optimal as the output size is Theta(n^2). We give a quadratic lower bound on the number of distinct max flow values and an Omega(n^3) lower bound for the total size of all min cut-sets. This distinguishes the problem from the undirected case where the number of distinct max flow values is O(n). Previous to our result, no algorithm which could solve the all-pairs max flow values problem faster than the time of Theta(n^2) max-flow computations for every planar digraph was known. This result is accompanied with a data structure that reports min cut-sets. For fixed s and all t, after O(n^{3/2} log^{3/2} n) preprocessing time, it can report the set of arcs C crossing a min st-cut in time roughly proportional to the size of C.


title: Natural maps between CAT(0) boundaries

abstract: It is shown that certain natural maps between the ideal, Gromov, and end boundaries of a complete CAT(0) space can fail to be either injective or surjective. Additionally the natural map from the Gromov boundary to the end boundary of a complete CAT(-1) space can fail to be either injective or surjective.


title: Search for pair production of massive particles decaying into three quarks with the ATLAS detector in sqrt(s) = 7 TeV pp collisions at the LHC

abstract: A search is conducted for hadronic three-body decays of a new massive coloured particle in sqrt(s) = 7 TeV pp collisions at the LHC using an integrated luminosity of 4.6/fb collected by the ATLAS detector. Supersymmetric gluino pair production in the context of a model with R-parity violation is used as a benchmark scenario. The analysis is divided into two search channels, each optimised separately for their sensitivity to high-mass and low-mass gluino production. The first search channel uses a stringent selection on the transverse momentum of the six leading jets and is performed as a counting experiment. The second search channel focuses on low-mass gluinos produced with a large boost. Large-radius jets are selected and the invariant mass of each of the two leading jets is used as a discriminant between the signal and the background. The results are found to be consistent with Standard Model expectations and limits are set on the allowed gluino mass.


title: Molecular internal dynamics studied by quantum path interferences in high order harmonic generation

abstract: We investigate how short and long electron trajectory contributions to high harmonic emission and their interferences give access to intra-molecular dynamics. In the case of unaligned molecules, we show experimental evidences that the long trajectory signature is more dependent upon the molecule than the short one, providing a high sensitivity to cation nuclear dynamics within 100's of as to few fs. Using theoretical approaches based on Strong Field Approximation and Time Dependent Schrodinger Equation, we examine how quantum path interferences encode electronic motion whilst molecules are aligned. We show that the interferences are dependent on channels superposition and upon which ionisation channel is involved. In particular, quantum path interferences encodes electronic migration signature while coupling between channels is allowed by the laser field. Hence, molecular quantum path interferences is a promising method for Attosecond Spectroscopy, allowing the resolution of ultra-fast charge migration in molecules after ionisation in a self-referenced manner.


title: Infrared surprises in the de Sitter universe

abstract: We describe a few unexpected features of de Sitter Quantum Field Theory that have no Minkowskian counterparts. These phenomena show that even when the cosmological constant is tiny a Minkowskian way of fast thinking about de Sitter can lead to mistakes and that de Sitter QFT is essentially different from standard relativistic (Minkowskian) QFT.


title: The pluriclosed flow on nilmanifolds and Tamed symplectic forms

abstract: We study evolution of (strong K\"ahler with torsion) SKT structures via the pluriclosed flow on complex nilmanifolds, i.e. on compact quotients of simply connected nilpotent Lie groups by discrete subgroups endowed with an invariant complex structure. Adapting to our case the techniques introduced by Jorge Lauret for studying Ricci flow on homogeneous spaces we show that for SKT Lie algebras the pluriclosed flow is equivalent to a bracket flow and we prove a long time existence result in the nilpotent case. Finally, we introduce a natural flow for evolving tamed symplectic forms on a complex manifold, by considering evolution of symplectic forms via the flow induced by the Bismut Ricci form.


title: Majorana modes and complex band structure of quantum wires

abstract: We describe Majorana edge states of a semi-infinite wire using the complex band structure approach. In this method the edge state at a given energy is built as a superposition of evanescent waves. It is shown that the superposition can not always satisfy the required boundary condition, thus restricting the existence of edge modes. We discuss purely 1D and 2D systems, focussing in the latter case on the effect of the Rashba mixing term.


title: Controlling edge states in the Kane-Mele model via edge chirality

abstract: We investigate the dependence of band dispersion of the quantum spin Hall effect (QSHE) edge states in the Kane-Mele model on crystallographic orientation of the edges. Band structures of the one-dimensional honeycomb lattice ribbons show the presence of the QSHE edge states at all orientations of the edges given sufficiently strong spin-orbit interactions. We find that the Fermi velocities of the QSHE edge-state bands increase monotonically when the edge orientation changes from zigzag (chirality angle $\theta = 0^\circ$) to armchair ($\theta = 30^\circ$). We propose a simple analytical model to explain the numerical results.


title: Biological Hypercomputation: A Concept is Introduced

abstract: This paper discusses the meaning and scope of biological hypercomputation (BH). The framework here is computational, and from the outset it should be clear that life is not a standard Turing Machine. Living systems hypercompute, but the distinction is made between classical and non-classical hypercomputation. We argue that living processes are non-classical hypercomputation. Yet, BH entails new computational models, for it does not correspond, any longer, to the Turing Machine model of computation. Hence, we introduce BH having a twofold scope, thus: on the one hand, it implies new computational models, while on the other hand we aim at understanding life not by what it is, but rather by what it does. From a computational point of view, life hypercomputes. At the end we sketch out the possibilities, stances and reach of BH. The aim of BH is basically help understanding life from a computational standpoint.


title: Whole Genome Sequencing: Innovation Dream or Privacy Nightmare?

abstract: Over the past several years, DNA sequencing has emerged as one of the driving forces in life-sciences, paving the way for affordable and accurate whole genome sequencing. As genomes represent the entirety of an organism's hereditary information, the availability of complete human genomes prompts a wide range of revolutionary applications. The hope for improving modern healthcare and better understanding the human genome propels many interesting and challenging research frontiers. Unfortunately, however, the proliferation of human genomes amplifies worrisome privacy concerns, since a genome represents a treasure trove of highly personal and sensitive information. In this article, we provide an overview of positive results and biomedical advances in the field, and discuss privacy issues associated with human genomic information. Finally, we survey available privacy-enhancing technologies and list a number of open research challenges.


title: On the converse theorem for Borcherds products

abstract: We prove a new converse theorem for Borcherds' multiplicative theta lift which improves the previously known results. To this end we develop a newform theory for vector valued modular forms for the Weil representation, which might be of independent interest. We also derive lower bounds for the ranks of the Picard groups and the spaces of holomorphic top degree differential forms of modular varieties associated to orthogonal groups.


title: Sublinear Bounds for Randomized Leader Election

abstract: This paper concerns {\em randomized} leader election in synchronous distributed networks. A distributed leader election algorithm is presented for complete $n$-node networks that runs in O(1) rounds and (with high probability) uses only $O(\sqrt{n}\log^{3/2} n)$ messages to elect a unique leader (with high probability). When considering the "explicit" variant of leader election where eventually every node knows the identity of the leader, our algorithm yields the asymptotically optimal bounds of O(1) rounds and O(n) messages. This algorithm is then extended to one solving leader election on any connected non-bipartite $n$-node graph $G$ in $O(\tau(G))$ time and $O(\tau(G)\sqrt{n}\log^{3/2} n)$ messages, where $\tau(G)$ is the mixing time of a random walk on $G$. The above result implies highly efficient (sublinear running time and messages) leader election algorithms for networks with small mixing times, such as expanders and hypercubes. In contrast, previous leader election algorithms had at least linear message complexity even in complete graphs. Moreover, super-linear message lower bounds are known for time-efficient {\em deterministic} leader election algorithms. Finally, we present an almost matching lower bound for randomized leader election, showing that $\Omega(\sqrt n)$ messages are needed for any leader election algorithm that succeeds with probability at least $1/e + \eps$, for any small constant $\eps > 0$. We view our results as a step towards understanding the randomized complexity ofleader election in distributed networks.


title: A variational perspective on cloaking by anomalous localized resonance

abstract: A body of literature has developed concerning "cloaking by anomalous localized resonance". The mathematical heart of the matter involves the behavior of a divergence-form elliptic equation in the plane, $\nabla\cdot (a(x)\nabla u(x)) = f(x)$. The complex-valued coefficient has a matrix-shell-core geometry, with real part equal to 1 in the matrix and the core, and -1 in the shell; one is interested in understanding the resonant behavior of the solution as the imaginary part of $a(x)$ decreases to zero (so that ellipticity is lost). Most analytical work in this area has relied on separation of variables, and has therefore been restricted to radial geometries. We introduce a new approach based on a pair of dual variational principles, and apply it to some non-radial examples. In our examples, as in the radial setting, the spatial location of the source $f$ plays a crucial role in determining whether or not resonance occurs.


title: Study of the photocycle of the metastable states of SRII and their mutants with the use of light activated NMR spectroscopy

abstract: Sensory rhodopsin II (SRII) is a seven helix protein that belongs to the rhodopsin protein family. Light induced conformational changes govern SRII's function. These changes are related to the photo cycle of the protein that is comprised of various metastable states. After the completion of this cycle the protein returns to its ground state. Mutational studies of key residues will reveal the mechanism that underlies the function of the protein. The result will allow us to determine key structures at various PHs involved in the photo cycle of SRII and to understand the protein's function and mechanism.


title: Flavor structure of generalized parton distributions from neutrino experiments

abstract: The analysis of deeply virtual meson production is extended to neutrino-production of the pseudo-Goldstone mesons (pions, kaons, eta-mesons) on nucleons, with the flavor content of the recoil baryon either remaining intact, or changing to a hyperon from the SU(3) octet. We rely on the SU(3) relations and express all the cross-sections in terms of the proton generalized parton distributions (GPDs). The corresponding amplitudes are calculated at the leading twist level and in the leading order in \alpha_{s}, using a phenomenological parametrization of GPDs. We provide a computational code, which can be used for evaluation of the cross-sections employing various GPD parametrizations. We conclude that these processes can be studied in the experiment Minerva at FERMILAB, which could supplement the measurements at JLAB and help to extract the GPD flavor structure from data.


title: Search for pair-produced massive coloured scalars in four-jet final states with the ATLAS detector in proton-proton collisions at sqrt(s) = 7 TeV

abstract: A search for pair-produced massive coloured scalar particles decaying to a four-jet final state is performed by the ATLAS experiment at the LHC in proton-proton collisions at sqrt(s) = 7 TeV. The analysed data sample corresponds to an integrated luminosity of 4.6 /fb. No deviation from the Standard Model is observed in the invariant mass spectrum of the two-jet pairs. A limit on the scalar gluon pair production cross-section of 70 pb (10 pb) is obtained at the 95% confidence level for a scalar gluon mass of 150 GeV (350 GeV). Interpreting these results as mass limits on scalar gluons, masses ranging from 150 GeV to 287 GeV are excluded at the 95% confidence level.


title: A Possible Divot in the Size Distribution of the Kuiper Belt's Scattering Objects

abstract: Via joint analysis of a calibrated telescopic survey, which found scattering Kuiper Belt objects, and models of their expected orbital distribution, we measure the form of the scattering object's size distribution. Ruling out a single power-law at greater than 99% confidence, we constrain the form of the size distribution and find that, surprisingly, our analysis favours a very sudden decrease (a divot) in the number distribution as diameters decrease below 100 km, with the number of smaller objects then rising again as expected via collisional equilibrium. Extrapolating at this collisional equilibrium slope produced enough kilometer-scale scattering objects to supply the nearby Jupiter-Family comets. Our interpretation is that this divot feature is a preserved relic of the size distribution made by planetesimal formation, now "frozen in" to portions of the Kuiper Belt sharing a "hot" orbital inclination distribution, explaining several puzzles in Kuiper Belt science. Additionally, we show that to match today's scattering-object inclination distribution, the supply source that was scattered outward must have already been vertically heated to of order 10 degrees.


title: MOST observations of the Herbig Ae {\delta}-Scuti star HD 34282

abstract: MOST observations and model analysis of the Herbig Ae star HD 34282 (V1366 Ori) reveal {\delta}-Scuti pulsations. 22 frequencies are observed, 10 of which confirm those previously identified by Amado et al. (2006), and 12 of which are newly discovered in this work. We show that the weighted-average frequency in each group fits the radial p-mode frequencies of viable models. We argue that the observed pulsation spectrum extends just to the edge to the acoustic cut-off frequency and show that this also is consistent with our best-fitting models.


title: Critical values of Gaussian SU(2) random polynomials

abstract: In this note, we will get the estimate of the expected distribution of critical values of Gaussian SU(2) random polynomials as the degree large enough. The result is a direct application of the Kac-Rice formula. The critical values will accumulate at infinity, we further study the rate of this convergence and its rescaling limit as $n\to\infty$.


title: The power-law spectra of energetic particles during multi-island magnetic reconnection

abstract: Power-law distributions are a near universal feature of energetic particle spectra in the heliosphere. Anomalous Cosmic Rays (ACRs), super-Alfv\'enic ions in the solar wind and the hardest energetic electron spectra in flares all have energy fluxes with power-laws that depend on energy $E$ approximately as $E^{-1.5}$. We present a new model of particle acceleration in systems with a bath of merging magnetic islands that self-consistently describes the development of velocity-space anisotropy parallel and perpendicular to the local magnetic field and includes the self-consistent feedback of pressure anisotropy on the merging dynamics. By including pitch-angle scattering we obtain an equation for the omni-directional particle distribution $f(v,t)$ that is solved in closed form to reveal $v^{-5}$ (corresponding to an energy flux varying as $E^{-1.5}$) as a near-universal solution as long as the characteristic acceleration time is short compared with the characteristic loss time. In such a state the total energy in the energetic particles reaches parity with the remaining magnetic free energy. More generally, the resulting transport equation can serve as the basis for calculating the distribution of energetic particles resulting from reconnection in large-scale inhomogeneous systems.


title: Closing the Gap to the Capacity of APSK: Constellation Shaping and Degree Distributions

abstract: Constellation shaping is an energy-efficient strategy involving the transmission of lower-energy signals more frequently than higher-energy signals. Previous work has shown that shaping is particularly effective when used with coded amplitude phase-shift keying (APSK), a modulation that has been popularized recently due to its inclusion in the DVB-S2 standard. While shaped APSK can provide significant gains when used with standard off-the-shelf LDPC codes, such as the codes in the DVB-S2 standard, additional non-negligible gains can be achieved by optimizing the LDPC code with respect to the shaped APSK modulation. In this paper, we optimize the degree distributions of the LDPC code used in conjunction with shaped APSK. The optimization process is an extension of the EXIT-chart technique of ten Brink, et al., which has been adapted to account for the shaped APSK modulation. We begin by constraining the code to have the same number of distinct variable-node degrees as the codes in the DVB-S2 standard, and show that the optimization provides 32-APSK systems with an additional coding gain of 0.34 dB at a system rate of R=3 bits per symbol, compared to shaped systems that use the long LDPC code from the DVB-S2 standard. We then increase the number of allowed variable node degrees by one, and find that an additional 0.1 dB gain is achievable.


title: Individual lower bound for Calderon's generalized Lorentz norm estimates

abstract: We find the exact values for constants in bilateral Calderon-Stein-Weiss inequalities between tail (Marcinkiewicz) norm and weak Lebesgue (Lorentz) norm. Possible applications: Functional Analysis (for instance, interpolation of operators), Integral Equations, Probability Theory and Statistics (tail estimations for random variables).


title: Representations of Infinitesimal Cherednik Algebras

abstract: Infinitesimal Cherednik algebras, first introduced in [EGG], are continuous analogues of rational Cherednik algebras, and in the case of gl_n, are deformations of universal enveloping algebras of the Lie algebras sl_{n+1}. Despite these connections, infinitesimal Cherednik algebras are not widely-studied, and basic questions of intrinsic algebraic and representation theoretical nature remain open. In the first half of this paper, we construct the complete center of H_\zeta(gl_n) for the case of n=2 and give one particular generator of the center, the Casimir operator, for general n. We find the action of this Casimir operator on the highest weight modules to prove the formula for the Shapovalov determinant, providing a criterion for the irreducibility of Verma modules. We classify all irreducible finite dimensional representations and compute their characters. In the second half, we investigate Poisson-analogues of the infinitesimal Cherednik algebras and use them to gain insight on the center of H_\zeta(gl_n). Finally, we investigate H_\zeta(sp_{2n}) and extend various results from the theory of H_\zeta(gl_n), such as a generalization of Kostant's theorem.


title: Persistent currents in spinor condensates

abstract: We create and study persistent currents in a toroidal two-component Bose gas, consisting of $^{87}$Rb atoms in two different spin states. For a large spin-population imbalance we observe supercurrents persisting for over two minutes. However we find that the supercurrent is unstable for spin polarisation below a well defined critical value. We also investigate the role of phase coherence between the two spin components and show that only the magnitude of the spin-polarisation vector, rather than its orientation in spin space, is relevant for supercurrent stability.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.supr-con physics.atom-ph quant-ph


title: A combined ultrasonic flow meter and binary vapour mixture analyzer for the ATLAS silicon tracker

abstract: An upgrade to the ATLAS silicon tracker cooling control system may require a change from C3F8 (octafluoro-propane) evaporative coolant to a blend containing 10-25% of C2F6 (hexafluoro-ethane). Such a change will reduce the evaporation temperature to assure thermal stability following radiation damage accumulated at full LHC luminosity. Central to this upgrade is a new ultrasonic instrument in which sound transit times are continuously measured in opposite directions in flowing gas at known temperature and pressure to deduce the C3F8/C2F6 flow rate and mixture composition. The instrument and its Supervisory, Control and Data Acquisition (SCADA) software are described in this paper. Several geometries for the instrument are in use or under evaluation. An instrument with a pinched axial geometry intended for analysis and measurement of moderate flow rates has demonstrated a mixture resolution of 3.10-3 for C3F8/C2F6 molar mixtures with 20%C2F6, and a flow resolution of 2% of full scale for mass flows up to 30gs-1. In mixtures of widely-differing molecular weight (mw), higher mixture precision is possible: a sensitivity of <5.10-5 to leaks of C3F8 into part of the ATLAS tracker nitrogen envelope (mw difference 160) has been seen. An instrument with an angled sound path geometry has been developed for use at high fluorocarbon mass flow rates of around 1.2 kgs-1 - corresponding to full flow in a new 60kW thermosiphon recirculator under construction for the ATLAS silicon tracker. Extensive computational fluid dynamics studies were performed to determine the preferred geometry (ultrasonic transducer spacing and placement, together with the sound crossing angle with respect to the vapour flow direction). A prototype with 45deg crossing angle has demonstrated a flow resolution of 1.9% of full scale for linear flow velocities up to 15 ms-1. The instrument has many potential applications.


title: Re-Evaluating WASP-12b: Strong Emission at 2.315 micron, Deeper Occultations, and an Isothermal Atmosphere

abstract: We revisit the atmospheric properties of the extremely hot Jupiter WASP-12b in light of several new developments. First, new narrowband (2.315 micron) secondary eclipse photometry that we present here, which exhibits a planet/star flux ratio of 0.45% +/- 0.06 %, corresponding to a brightness temperature of 3640 K +/- 230 K; second, recent Spitzer/IRAC and Hubble/WFC3 observations; and third, a recently observed star only 1" from WASP-12, which has diluted previous observations and which we further characterize here. We correct past WASP-12b eclipse measurements for the presence of this object, and we revisit the interpretation of WASP-12b's dilution-corrected emission spectrum. The resulting planetary emission spectrum is well-approximated by a blackbody, and consequently our primary conclusion is that the planet's infrared photosphere is nearly isothermal. Thus secondary eclipse spectroscopy is relatively ill-suited to constrain WASP-12b's atmospheric abundances, and transmission spectroscopy may be necessary to achieve this goal.


title: Designing Informative Securities

abstract: We create a formal framework for the design of informative securities in prediction markets. These securities allow a market organizer to infer the likelihood of events of interest as well as if he knew all of the traders' private signals. We consider the design of markets that are always informative, markets that are informative for a particular signal structure of the participants, and informative markets constructed from a restricted selection of securities. We find that to achieve informativeness, it can be necessary to allow participants to express information that may not be directly of interest to the market organizer, and that understanding the participants' signal structure is important for designing informative prediction markets.


title: Interdependent Defense Games: Modeling Interdependent Security under Deliberate Attacks

abstract: We propose interdependent defense (IDD) games, a computational game-theoretic framework to study aspects of the interdependence of risk and security in multi-agent systems under deliberate external attacks. Our model builds upon interdependent security (IDS) games, a model due to Heal and Kunreuther that considers the source of the risk to be the result of a fixed randomizedstrategy. We adapt IDS games to model the attacker's deliberate behavior. We define the attacker's pure-strategy space and utility function and derive appropriate cost functions for the defenders. We provide a complete characterization of mixed-strategy Nash equilibria (MSNE), and design a simple polynomial-time algorithm for computing all of them, for an important subclass of IDD games. In addition, we propose a randominstance generator of (general) IDD games based on a version of the real-world Internet-derived Autonomous Systems (AS) graph (with around 27K nodes and 100K edges), and present promising empirical results using a simple learning heuristics to compute (approximate) MSNE in such games.


title: Leveraging Side Observations in Stochastic Bandits

abstract: This paper considers stochastic bandits with side observations, a model that accounts for both the exploration/exploitation dilemma and relationships between arms. In this setting, after pulling an arm i, the decision maker also observes the rewards for some other actions related to i. We will see that this model is suited to content recommendation in social networks, where users' reactions may be endorsed or not by their friends. We provide efficient algorithms based on upper confidence bounds (UCBs) to leverage this additional information and derive new bounds improving on standard regret guarantees. We also evaluate these policies in the context of movie recommendation in social networks: experiments on real datasets show substantial learning rate speedups ranging from 2.2x to 14x on dense networks.


title: Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference

abstract: We propose an approach to lifted approximate inference for first-order probabilistic models, such as Markov logic networks. It is based on performing exact lifted inference in a simplified first-order model, which is found by relaxing first-order constraints, and then compensating for the relaxation. These simplified models can be incrementally improved by carefully recovering constraints that have been relaxed, also at the first-order level. This leads to a spectrum of approximations, with lifted belief propagation on one end, and exact lifted inference on the other. We discuss how relaxation, compensation, and recovery can be performed, all at the firstorder level, and show empirically that our approach substantially improves on the approximations of both propositional solvers and lifted belief propagation.


title: An Efficient Message-Passing Algorithm for the M-Best MAP Problem

abstract: Much effort has been directed at algorithms for obtaining the highest probability configuration in a probabilistic random field model known as the maximum a posteriori (MAP) inference problem. In many situations, one could benefit from having not just a single solution, but the top M most probable solutions known as the M-Best MAP problem. In this paper, we propose an efficient message-passing based algorithm for solving the M-Best MAP problem. Specifically, our algorithm solves the recently proposed Linear Programming (LP) formulation of M-Best MAP [7], while being orders of magnitude faster than a generic LP-solver. Our approach relies on studying a particular partial Lagrangian relaxation of the M-Best MAP LP which exposes a natural combinatorial structure of the problem that we exploit.


title: Causal Inference by Surrogate Experiments: z-Identifiability

abstract: We address the problem of estimating the effect of intervening on a set of variables X from experiments on a different set, Z, that is more accessible to manipulation. This problem, which we call z-identifiability, reduces to ordinary identifiability when Z = empty and, like the latter, can be given syntactic characterization using the do-calculus [Pearl, 1995; 2000]. We provide a graphical necessary and sufficient condition for z-identifiability for arbitrary sets X,Z, and Y (the outcomes). We further develop a complete algorithm for computing the causal effect of X on Y using information provided by experiments on Z. Finally, we use our results to prove completeness of do-calculus relative to z-identifiability, a result that does not follow from completeness relative to ordinary identifiability.


title: Deterministic MDPs with Adversarial Rewards and Bandit Feedback

abstract: We consider a Markov decision process with deterministic state transition dynamics, adversarially generated rewards that change arbitrarily from round to round, and a bandit feedback model in which the decision maker only observes the rewards it receives. In this setting, we present a novel and efficient online decision making algorithm named MarcoPolo. Under mild assumptions on the structure of the transition dynamics, we prove that MarcoPolo enjoys a regret of O(T^(3/4)sqrt(log(T))) against the best deterministic policy in hindsight. Specifically, our analysis does not rely on the stringent unichain assumption, which dominates much of the previous work on this topic.


title: Plackett-Luce regression: A new Bayesian model for polychotomous data

abstract: Multinomial logistic regression is one of the most popular models for modelling the effect of explanatory variables on a subject choice between a set of specified options. This model has found numerous applications in machine learning, psychology or economy. Bayesian inference in this model is non trivial and requires, either to resort to a MetropolisHastings algorithm, or rejection sampling within a Gibbs sampler. In this paper, we propose an alternative model to multinomial logistic regression. The model builds on the Plackett-Luce model, a popular model for multiple comparisons. We show that the introduction of a suitable set of auxiliary variables leads to an Expectation-Maximization algorithm to find Maximum A Posteriori estimates of the parameters. We further provide a full Bayesian treatment by deriving a Gibbs sampler, which only requires to sample from highly standard distributions. We also propose a variational approximate inference scheme. All are very simple to implement. One property of our Plackett-Luce regression model is that it learns a sparse set of feature weights. We compare our method to sparse Bayesian multinomial logistic regression and show that it is competitive, especially in presence of polychotomous data.


title: Exploiting Uniform Assignments in First-Order MPE

abstract: The MPE (Most Probable Explanation) query plays an important role in probabilistic inference. MPE solution algorithms for probabilistic relational models essentially adapt existing belief assessment method, replacing summation with maximization. But the rich structure and symmetries captured by relational models together with the properties of the maximization operator offer an opportunity for additional simplification with potentially significant computational ramifications. Specifically, these models often have groups of variables that define symmetric distributions over some population of formulas. The maximizing choice for different elements of this group is the same. If we can realize this ahead of time, we can significantly reduce the size of the model by eliminating a potentially significant portion of random variables. This paper defines the notion of uniformly assigned and partially uniformly assigned sets of variables, shows how one can recognize these sets efficiently, and how the model can be greatly simplified once we recognize them, with little computational effort. We demonstrate the effectiveness of these ideas empirically on a number of models.


title: Variational Dual-Tree Framework for Large-Scale Transition Matrix Approximation

abstract: In recent years, non-parametric methods utilizing random walks on graphs have been used to solve a wide range of machine learning problems, but in their simplest form they do not scale well due to the quadratic complexity. In this paper, a new dual-tree based variational approach for approximating the transition matrix and efficiently performing the random walk is proposed. The approach exploits a connection between kernel density estimation, mixture modeling, and random walk on graphs in an optimization of the transition matrix for the data graph that ties together edge transitions probabilities that are similar. Compared to the de facto standard approximation method based on k-nearestneighbors, we demonstrate order of magnitudes speedup without sacrificing accuracy for Label Propagation tasks on benchmark data sets in semi-supervised learning.


title: Budget Optimization for Sponsored Search: Censored Learning in MDPs

abstract: We consider the budget optimization problem faced by an advertiser participating in repeated sponsored search auctions, seeking to maximize the number of clicks attained under that budget. We cast the budget optimization problem as a Markov Decision Process (MDP) with censored observations, and propose a learning algorithm based on the wellknown Kaplan-Meier or product-limit estimator. We validate the performance of this algorithm by comparing it to several others on a large set of search auction data from Microsoft adCenter, demonstrating fast convergence to optimal performance.


title: Uncertain Congestion Games with Assorted Human Agent Populations

abstract: Congestion games model a wide variety of real-world resource congestion problems, such as selfish network routing, traffic route guidance in congested areas, taxi fleet optimization and crowd movement in busy areas. However, existing research in congestion games assumes: (a) deterministic movement of agents between resources; and (b) perfect rationality (i.e. maximizing their own expected value) of all agents. Such assumptions are not reasonable in dynamic domains where decision support has to be provided to humans. For instance, in optimizing the performance of a taxi fleet serving a city, movement of taxis can be involuntary or nondeterministic (decided by the specific customer who hires the taxi) and more importantly, taxi drivers may not follow advice provided by the decision support system (due to bounded rationality of humans). To that end, we contribute: (a) a general framework for representing congestion games under uncertainty for populations with assorted notions of rationality. (b) a scalable approach for solving the decision problem for perfectly rational agents which are in the mix with boundedly rational agents; and (c) a detailed evaluation on a synthetic and realworld data set to illustrate the usefulness of our new approach with respect to key social welfare metrics in the context of an assorted human-agent population. An interesting result from our experiments on a real-world taxi fleet optimization problem is that it is better (in terms of revenue and operational efficiency) for taxi drivers to follow perfectly rational strategies irrespective of the percentage of drivers not following the advice.


title: Toward Large-Scale Agent Guidance in an Urban Taxi Service

abstract: Empty taxi cruising represents a wastage of resources in the context of urban taxi services. In this work, we seek to minimize such wastage. An analysis of a large trace of taxi operations reveals that the services' inefficiency is caused by drivers' greedy cruising behavior. We model the existing system as a continuous time Markov chain. To address the problem, we propose that each taxi be equipped with an intelligent agent that will guide the driver when cruising for passengers. Then, drawing from AI literature on multiagent planning, we explore two possible ways to compute such guidance. The first formulation assumes fully cooperative drivers. This allows us, in principle, to compute systemwide optimal cruising policy. This is modeled as a Markov decision process. The second formulation assumes rational drivers, seeking to maximize their own profit. This is modeled as a stochastic congestion game, a specialization of stochastic games. Nash equilibrium policy is proposed as the solution to the game, where no driver has the incentive to singly deviate from it. Empirical result shows that both formulations improve the efficiency of the service significantly.


title: Markov Determinantal Point Processes

abstract: A determinantal point process (DPP) is a random process useful for modeling the combinatorial problem of subset selection. In particular, DPPs encourage a random subset Y to contain a diverse set of items selected from a base set Y. For example, we might use a DPP to display a set of news headlines that are relevant to a user's interests while covering a variety of topics. Suppose, however, that we are asked to sequentially select multiple diverse sets of items, for example, displaying new headlines day-by-day. We might want these sets to be diverse not just individually but also through time, offering headlines today that are unlike the ones shown yesterday. In this paper, we construct a Markov DPP (M-DPP) that models a sequence of random sets {Yt}. The proposed M-DPP defines a stationary process that maintains DPP margins. Crucially, the induced union process Zt = Yt u Yt-1 is also marginally DPP-distributed. Jointly, these properties imply that the sequence of random sets are encouraged to be diverse both at a given time step as well as across time steps. We describe an exact, efficient sampling procedure, and a method for incrementally learning a quality measure over items in the base set Y based on external preferences. We apply the M-DPP to the task of sequentially displaying diverse and relevant news articles to a user with topic preferences.


title: Learning to Rank With Bregman Divergences and Monotone Retargeting

abstract: This paper introduces a novel approach for learning to rank (LETOR) based on the notion of monotone retargeting. It involves minimizing a divergence between all monotonic increasing transformations of the training scores and a parameterized prediction function. The minimization is both over the transformations as well as over the parameters. It is applied to Bregman divergences, a large class of "distance like" functions that were recently shown to be the unique class that is statistically consistent with the normalized discounted gain (NDCG) criterion [19]. The algorithm uses alternating projection style updates, in which one set of simultaneous projections can be computed independent of the Bregman divergence and the other reduces to parameter estimation of a generalized linear model. This results in easily implemented, efficiently parallelizable algorithm for the LETOR task that enjoys global optimum guarantees under mild conditions. We present empirical results on benchmark datasets showing that this approach can outperform the state of the art NDCG consistent techniques.


title: The Do-Calculus Revisited

abstract: The do-calculus was developed in 1995 to facilitate the identification of causal effects in non-parametric models. The completeness proofs of [Huang and Valtorta, 2006] and [Shpitser and Pearl, 2006] and the graphical criteria of [Tian and Shpitser, 2010] have laid this identification problem to rest. Recent explorations unveil the usefulness of the do-calculus in three additional areas: mediation analysis [Pearl, 2012], transportability [Pearl and Bareinboim, 2011] and metasynthesis. Meta-synthesis (freshly coined) is the task of fusing empirical results from several diverse studies, conducted on heterogeneous populations and under different conditions, so as to synthesize an estimate of a causal relation in some target environment, potentially different from those under study. The talk surveys these results with emphasis on the challenges posed by meta-synthesis. For background material, see http://bayes.cs.ucla.edu/csl_papers.html


title: Weighted Sets of Probabilities and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions

abstract: We consider a setting where an agent's uncertainty is represented by a set of probability measures, rather than a single measure. Measure-bymeasure updating of such a set of measures upon acquiring new information is well-known to suffer from problems; agents are not always able to learn appropriately. To deal with these problems, we propose using weighted sets of probabilities: a representation where each measure is associated with a weight, which denotes its significance. We describe a natural approach to updating in such a situation and a natural approach to determining the weights. We then show how this representation can be used in decision-making, by modifying a standard approach to decision making-minimizing expected regret-to obtain minimax weighted expected regret (MWER).We provide an axiomatization that characterizes preferences induced by MWER both in the static and dynamic case.


title: Semantic Understanding of Professional Soccer Commentaries

abstract: This paper presents a novel approach to the problem of semantic parsing via learning the correspondences between complex sentences and rich sets of events. Our main intuition is that correct correspondences tend to occur more frequently. Our model benefits from a discriminative notion of similarity to learn the correspondence between sentence and an event and a ranking machinery that scores the popularity of each correspondence. Our method can discover a group of events (called macro-events) that best describes a sentence. We evaluate our method on our novel dataset of professional soccer commentaries. The empirical results show that our method significantly outperforms the state-of-theart.


title: A Slice Sampler for Restricted Hierarchical Beta Process with Applications to Shared Subspace Learning

abstract: Hierarchical beta process has found interesting applications in recent years. In this paper we present a modified hierarchical beta process prior with applications to hierarchical modeling of multiple data sources. The novel use of the prior over a hierarchical factor model allows factors to be shared across different sources. We derive a slice sampler for this model, enabling tractable inference even when the likelihood and the prior over parameters are non-conjugate. This allows the application of the model in much wider contexts without restrictions. We present two different data generative models a linear GaussianGaussian model for real valued data and a linear Poisson-gamma model for count data. Encouraging transfer learning results are shown for two real world applications text modeling and content based image retrieval.


title: Exploiting compositionality to explore a large space of model structures

abstract: The recent proliferation of richly structured probabilistic models raises the question of how to automatically determine an appropriate model for a dataset. We investigate this question for a space of matrix decomposition models which can express a variety of widely used models from unsupervised learning. To enable model selection, we organize these models into a context-free grammar which generates a wide variety of structures through the compositional application of a few simple rules. We use our grammar to generically and efficiently infer latent components and estimate predictive likelihood for nearly 2500 structures using a small toolbox of reusable algorithms. Using a greedy search over our grammar, we automatically choose the decomposition structure from raw data by evaluating only a small fraction of all models. The proposed method typically finds the correct structure for synthetic data and backs off gracefully to simpler models under heavy noise. It learns sensible structures for datasets as diverse as image patches, motion capture, 20 Questions, and U.S. Senate votes, all using exactly the same code.


title: Generalized Belief Propagation on Tree Robust Structured Region Graphs

abstract: This paper provides some new guidance in the construction of region graphs for Generalized Belief Propagation (GBP). We connect the problem of choosing the outer regions of a LoopStructured Region Graph (SRG) to that of finding a fundamental cycle basis of the corresponding Markov network. We also define a new class of tree-robust Loop-SRG for which GBP on any induced (spanning) tree of the Markov network, obtained by setting to zero the off-tree interactions, is exact. This class of SRG is then mapped to an equivalent class of tree-robust cycle bases on the Markov network. We show that a treerobust cycle basis can be identified by proving that for every subset of cycles, the graph obtained from the edges that participate in a single cycle only, is multiply connected. Using this we identify two classes of tree-robust cycle bases: planar cycle bases and "star" cycle bases. In experiments we show that tree-robustness can be successfully exploited as a design principle to improve the accuracy and convergence of GBP.