title: LIDT-DD: A new self-consistent debris disc model including radiation pressure and coupling dynamical and collisional evolution

abstract: The first attempt at developing a fully self-consistent code coupling dynamics and collisions to study debris discs (Kral, Thebault, Charnoz, 2013) is presented. So far, these two crucial mechanisms were studied separately, with N-body and statistical collisional codes respectively, because of stringent computational constraints. In particular, incorporating collisional effects (especially destructive collisions) into an N-body scheme was deemed an impossible task because of the exponential increase of particles it would imply. We present here a new model named LIDT-DD which is able to follow over long timescales the coupled evolution of dynamics (including radiation pressure) and collisions in a self-consistent way.


title: Asymmetric Magnetic Domain-Wall Motion by the Dzyaloshinskii-Moriya Interaction

abstract: We demonstrate here that ultrathin ferromagnetic Pt/Co/Pt films with perpendicular magnetic anisotropy exhibit a sizeable Dzyaloshinskii-Moriya interaction (DMI) effect. Such a DMI effect modifies the domain-wall (DW) energy density and consequently, results in an asymmetric DW expansion driven by an out-of-plane magnetic field under an in-plane magnetic field bias. From an analysis of the asymmetry, the DMI effect is estimated to be strong enough for the DW to remain in the N\'eel-type configuration in contrast to the general expectations of these materials. Our findings emphasize the critical role of the DMI effect on the DW dynamics as the underlying physics of the asymmetries that are often observed in spin-transfer-related phenomena.


title: A new mechanism for saturating unstable r-modes in neutron stars

abstract: We consider a new mechanism for damping the oscillations of a mature neutron star. The new dissipation channel arises if superfluid vortices are forced to cut through superconducting fluxtubes. This mechanism is interesting because the oscillation modes need to exceed a critical amplitude in order for it to operate. Once it acts the effect is very strong (and nonlinear) leading to efficient damping. The upshot of this is that modes are unlikely to ever evolve far beyond the critical amplitude. We consider the effect of this new dissipation channel on the r-modes, that may be driven unstable by the emission of gravitational waves. Our estimates show that the fluxtube cutting leads to a saturation threshold for the instability that can be smaller than that of other proposed mechanisms. This suggests that the idea may be of direct astrophysical relevance.


title: Rigorous derivation from Landau-de Gennes theory to Ericksen-Leslie theory

abstract: Starting from Beris-Edwards system for the liquid crystal, we present a rigorous derivation of Ericksen-Leslie system with general Ericksen stress and Leslie stress by using the Hilbert expansion method.


title: The maximum voltage drop in an on-chip power distribution network: analysis of square, triangular and hexagonal power pad arrangements

abstract: A mathematical model of the voltage drop which arises in on-chip power distribution networks is used to compare the maximum voltage drop in the case of different geometric arrangements of the pads supplying power to the chip. These include the square or Manhattan power pad arrangement which currently predominates, as well as equilateral triangular and hexagonal arrangements. In agreement with findings in the literature and with physical and SPICE models, the equilateral power pad arrangement, independent of the underlying power mesh configuration, is found to minimize the maximum voltage drop. This headline finding is a consequence of relatively simple formulas for the voltage drop, with explicit error bounds, which are established using complex analysis techniques, and elliptic functions in particular.


title: Masses, mixing angles and phases of general Majorana neutrino mass matrix

abstract: General Majorana neutrino mass matrix is complex symmetric and for three generations of neutrinos it contains 12 real parameters. We diagonalize this general neutrino mass matrix and express the three neutrino masses, three mixing angles, one Dirac CP phase and two Majorana phases (removing three unphysical phases) in terms of the neutrino mass matrix elements. We apply the results in the context of a neutrino mass matrix derived from a broken cyclic symmetry invoking type-I seesaw mechanism. Phenomenological study of the above mass matrix allows enough parameter space to satisfy the neutrino oscillation data with only 10% breaking of this symmetry. In this model only normal mass hierarchy is allowed. In addition, the Dirac CP phase and the Majorana phases are numerically estimated. $\Sigma m_i$ and $|m_{\nu_{ee}}|$ are also calculated.


title: Dreibein as prepotential for three-dimensional Yang-Mills theory

abstract: We advocate and develop the use of the dreibein (and the metric) as prepotential for three-dimensional SO(3) Yang-Mills theory. Since the dreibein transforms homogeneously under gauge transformation, the metric is gauge invariant. For a generic gauge potential, there is a unique dreibein on fixing the boundary condition. Topologically non-trivial monopole configurations are given by conformally flat metrics, with scalar fields capturing the monopole centres. Our approach also provides an ansatz for the gauge potential covering the topological aspects.


title: The impact of M-dwarf atmosphere modelling on planet detection

abstract: Being able to accurately estimate stellar parameters based on spectral observations is important not only for understanding the stars themselves but it is also vital for the determination of exoplanet parameters. M dwarfs are discussed as targets for planet detection as these stars are less massive, less luminous and have smaller radii making it possible to detect smaller and lighter planets. Therefore M-dwarfs could prove to be a valuable source for examining the lower mass end of planet distribution, but in order to do that, one must first take care to understand the characteristics of the host stars well enough. Up to date, there are several families of stellar model atmospheres. We focus on the ATLAS9, MARCS and Drift-Phoenix families in the M-dwarf parameter space. We examine the differences in the (Tgas, pgas) structures, synthetic photometric fluxes and related colour indices.We find discrepancies in the hotter regions of the stellar atmosphere between the ATLAS and MARCS models. The MARCS and Drift-Phoenix models appear to agree to a better extend with variances of less than 300K. We have compiled the broad-band synthetic photometric fluxes of all models for the Johnson UBVRI and 2MASS JHKs. The fluxes of MARCS differ from both ATLAS and Drift-Phoenix models in the optical range.


title: Mixed Noisy Network Coding and Cooperative Unicasting in Wireless Networks

abstract: The problem of communicating a single message to a destination in presence of multiple relay nodes, referred to as cooperative unicast network, is considered. First, we introduce "Mixed Noisy Network Coding" (MNNC) scheme which generalizes "Noisy Network Coding" (NNC) where relays are allowed to decode-and-forward (DF) messages while all of them (without exception) transmit noisy descriptions of their observations. These descriptions are exploited at the destination and the DF relays aim to decode the transmitted messages while creating full cooperation among the nodes. Moreover, the destination and the DF relays can independently select the set of descriptions to be decoded or treated as interference. This concept is further extended to multi-hopping scenarios, referred to as "Layered MNNC" (LMNNC), where DF relays are organized into disjoint groups representing one hop in the network. For cooperative unicast additive white Gaussian noise (AWGN) networks we show that -provided DF relays are properly chosen- MNNC improves over all previously established constant gaps to the cut-set bound. Secondly, we consider the composite cooperative unicast network where the channel parameters are randomly drawn before communication starts and remain fixed during the transmission. Each draw is assumed to be unknown at the source and fully known at the destination but only partly known at the relays. We introduce through MNNC scheme the concept of "Selective Coding Strategy" (SCS) that enables relays to decide dynamically whether, in addition to communicate noisy descriptions, is possible to decode and forward messages. It is demonstrated through slow-fading AWGN relay networks that SCS clearly outperforms conventional coding schemes.


title: Edge-disjoint double rays in infinite graphs: a Halin type result

abstract: We show that any graph that contains k edge-disjoint double rays for any k>0 contains also infinitely many edge-disjoint double rays. This was conjectured by Andreae in 1981.


title: Few remarks on evolution algebras

abstract: In the present paper we study some algebraic properties of evolution algebras. Moreover, we reduce the study of evolution algebras of permutations to two special types of evolution algebras, idempotents and absolute nilpotent elements of the algebra. We study three-dimensional evolution algebras whose each element of evolution basis has infinite period. In addition, for an evolution algebra with some properties we describe its associative enveloping algebra.


title: 't Hooft-Polyakov monopole of higher generalized angular momenta

abstract: We recall the quaternionic fomulation, which can simplify the computation of the linearized Yang-Mills-Higgs equation in the background of a 't Hooft-Polyakov monopole. We then study the solutions in the cases $j=0$, $j=1$ and $j\geq 2$ separately. In particular, we investigate the spectral properties of the monopoles. We focus on some of the bound states and show that as the generalized momentum increases, the $k-$th eigenvalue tends to 1. We show the existence of Feshbach resonance for $\om <1$ in the coupled system and calculated the partial cross section when $\om >1$.


title: An Efficient Model Selection for Gaussian Mixture Model in a Bayesian Framework

abstract: In order to cluster or partition data, we often use Expectation-and-Maximization (EM) or Variational approximation with a Gaussian Mixture Model (GMM), which is a parametric probability density function represented as a weighted sum of $\hat{K}$ Gaussian component densities. However, model selection to find underlying $\hat{K}$ is one of the key concerns in GMM clustering, since we can obtain the desired clusters only when $\hat{K}$ is known. In this paper, we propose a new model selection algorithm to explore $\hat{K}$ in a Bayesian framework. The proposed algorithm builds the density of the model order which any information criterions such as AIC and BIC basically fail to reconstruct. In addition, this algorithm reconstructs the density quickly as compared to the time-consuming Monte Carlo simulation.


title: Radioactive Decays in Geant4

abstract: The simulation of radioactive decays is a common task in Monte-Carlo systems such as Geant4. Usually, a system either uses an approach focusing on the simulations of every individual decay or an approach which simulates a large number of decays with a focus on correct overall statistics. The radioactive decay package presented in this work permits, for the first time, the use of both methods within the same simulation framework - Geant4. The accuracy of the statistical approach in our new package, RDM-extended, and that of the existing Geant4 per-decay implementation (original RDM), which has also been refactored, are verified against the ENSDF database. The new verified package is beneficial for a wide range of experimental scenarios, as it enables researchers to choose the most appropriate approach for their Geant4-based application.


title: Faddeev-type calculation of three-body nuclear reactions including core excitation

abstract: The core excitation, being an important reaction mechanism, so far is not properly included in most calculations of three-body nuclear reactions. We aim to include the excitation of the core nucleus using an exact Faddeev-type framework for nuclear reactions in the three-body (core + neutron + proton) system. We employ Alt, Grassberger, and Sandhas (AGS) integral equations for the three-particle transition operators and solve them in the momentum-space framework. The Coulomb interaction is included via the method of screening and renormalization. We calculate elastic, inelastic, and transfer reactions involving 10Be and 24Mg nuclear cores. Important effects of the core excitation are found, often improving the description of the experimental data. In the neutron transfer reactions the core excitation effect is by far not just a simple reduction of the cross section by the respective spectroscopic factor. This indicates that widely used extraction of the spectroscopic factors from the ratio of the experimental and theoretical transfer cross sections is unreliable approach.


title: A Unified Framework of Elementary Geometric Transformation Representation

abstract: As an extension of projective homology, stereohomology is proposed via an extension of Desargues theorem and the extended Desargues configuration. Geometric transformations such as reflection, translation, central symmetry, central projection, parallel projection, shearing, central dilation, scaling, and so on are all included in stereohomology and represented as Householder-Chen elementary matrices. Hence all these geometric transformations are called elementary. This makes it possible to represent these elementary geometric transformations in homogeneous square matrices independent of a particular choice of coordinate system.


title: Gauged supergravities and non-geometric Q/R-fluxes from asymmetric orbifold CFT's

abstract: We investigate the orbifold limits of string theory compactifications with geometric and non-geometric fluxes. Exploiting the connection between internal fluxes and structure constants of the gaugings in the reduced supergravity theory, we can identify the types of fluxes arising in certain classes of freely-acting symmetric and asymmetric orbifolds. We give a general procedure for deriving the gauge algebra of the effective gauged supergravity using the exact CFT description at the orbifold point. We find that the asymmetry is, in general, related to the presence of non-geometric Q- and R- fluxes. The action of T-duality is studied explicitly on various orbifold models and the resulting transformation of the fluxes is derived. Several explicit examples are provided, including compactifications with geometric fluxes, Q-backgrounds (T-folds) and R-backgrounds. In particular, we present an asymmetric Z4xZ2 orbifold in which all geometric and non-geometric fluxes {\omega}, H, Q, R are turned on simultaneously. We also derive the corresponding flux backgrounds, which are not in general T-dual to geometric ones, and may even simultaneously depend non-trivially on both the coordinates and their winding T-duals.


title: Extreme non-Arens regularity of the group algebra

abstract: Following Granirer, a Banach algebra A is extremely non-Arens regular when the quotient space A*/WAP(A) contains a closed linear subspace which has A* as a continuous linear image. We prove that the group algebra L^1(G) of any infinite locally compact group is always extremely non-Arens regular. When G is not discrete, this result is deduced from the much stronger property that, in fact, there is a linear isometric copy of L^\infty(G) in the quotient space L^\infty(G)/CB(G), where CB(G) stands for the algebra of all continuous and bounded functions on G.


title: Systems with stationary distribution of quantum correlations: open spin-1/2 chains with XY interaction

abstract: Although quantum correlations in a quantum system are characterized by the evolving quantities (which are entanglement and discord usually), we reveal such basis (i.e. the set of virtual particles) for the representation of the density matrix that the entanglement and/or discord between any two virtual particles in such representation are stationary. In particular, dealing with the nearest neighbor approximation, this system of virtual particles is represented by the $\beta$-fermions of the Jordan-Wigner transformation. Such systems are important in quantum information devices because the evolution of quantum entanglement/discord leads to the problems of realization of quantum operations. The advantage of stationary entanglement/discord is that they are completely defined by the initial density matrix and by the Hamiltonian governing the quantum dynamics in the system under consideration. Moreover, using the special initial condition together with the special system's geometry, we construct large cluster of virtual particles with the same pairwise entanglement/discord. In other words, the measure of quantum correlations is stationary in this system and correlations are uniformly "distributed" among all virtual particles. As examples, we use both homogeneous and non-homogeneous spin-1/2 open chains with XY-interaction although other types of interactions might be also of interest.


title: Variational optimization of the 2DM: approaching three-index accuracy using extended cluster constraints

abstract: The reduced density matrix is variationally optimized for the two-dimensional Hubbard model. Exploiting all symmetries present in the system, we have been able to study $6\times6$ lattices at various fillings and different values for the on-site repulsion, using the highly accurate but computationally expensive three-index conditions. To reduce the computational cost we study the performance of imposing the three-index constraints on local clusters of $2\times2$ and $3\times3$ sites. We subsequently derive new constraints which extend these cluster constraints to incorporate the open-system nature of a cluster on a larger lattice. The feasibility of implementing these new constraints is demonstrated by performing a proof-of-principle calculation on the $6\times6$ lattice. It is shown that a large portion of the three-index result can be recovered using these extended cluster constraints, at a fraction of the computational cost.


title: Segal's spectral sequence in twisted equivariant K-theory for proper and discrete actions

abstract: We use a spectral sequence developed by Graeme Segal in order to understand the twisted G-equivariant K-theory for proper and discrete actions. We show that the second page of this spectral sequence is isomorphic to a version of Bredon cohomology with local coefficients in twisted representations. We furthermore explain some phenomena concerning the third differential of the spectral sequence, and we recover known results when the twisting comes from finite order elements in discrete torsion.


title: In-gap states of the quantum dot coupled between a normal and superconducting lead

abstract: We study the in-gap states of the quantum dot hybridized to a conducting and superconducting electrode. The usual proximity effect suppresses electronic states over the entire subgap regime $|\omega| < \Delta$, where $\Delta$ denotes the energy gap of superconductor. Owing to the Andreev scattering there can, however, emerge additional in-gap states whose line-broadening (inverse life-time) depends on the coupling to a normal electrode. We show that even number of such bound states appears in the quantum dot spectrum, depending on a competition between the Coulomb repulsion and the induced on-dot pairing. We discuss signatures of these in-gap states showing up in the tunneling conductance, especially in a low-bias regime dominated by the Andreev channel.


title: Low-temperature thermodynamics of spin-1/2 orthogonal-dimer chain with Ising and Heisenberg interactions

abstract: We consider an exactly solvable version of the quantum spin-1/2 orthogonal-dimer chain with the Heisenberg intra-dimer and Ising inter-dimer couplings. The investigated quantum spin system exhibits at zero temperature fractional plateaux at 1/4 and 1/2 of the saturation magnetization and it has a highly degenerate ground state at critical fields where the magnetization jumps. We study the field dependence of the specific heat at low temperature. The lattice-gas description is formulated in a vicinity of critical fields to explain the low-temperature behaviour of specific heat.


title: Attractive interaction and bridging transition between neutral colloidal particles due to preferential adsorption in a near-critical binary mixture

abstract: We examine the solvent-mediated interaction between two neutral colloidal particles due to preferential adsorption in a near-critical binary mixture. We take into account the renormalization effect due to the critical fluctuations using the recent local functional theory $[$J. Chem. Phys. {\bf 136}, 114704 (2012)$]$. We calculate the free energy and the force between two colloidal particles as functions of the temperature $T$, the composition far from the colloidal particles $c_\infty$, and the colloid separation $\ell$. The interaction is much enhanced when the component favored by the colloid surfaces is poor in the reservoir. For such off-critical compositions, we find a surface of a first-order bridging transition $\ell= \ell_{\rm cx}(T,c_\infty)$ in the $T$-$c_\infty$-$\ell$ space in a universal, scaled form, across which a discontinuous change occurs between separated and bridged states. This surface starts from the bulk coexistence surface (CX) and ends at a bridging critical line $\ell= \ell_{c}(T)$. On approaching the critical line, the discontinuity vanishes and the derivatives of the force with respect to $T$ and $\ell$ both diverge. Furthermore, bridged states continuously change into separated states if $c_\infty$ (or $T$) is varied from a value on CX to value far from CX with $\ell$ kept smaller than $\ell_c(T)$.


title: Orientation-preserving Young measures

abstract: We prove a characterization result in the spirit of the Kinderlehrer-Pedregal Theorem for Young measures generated by gradients of Sobolev maps satisfying the orientation-preserving constraint, that is the pointwise Jacobian is positive almost everywhere. The argument to construct the appropriate generating sequences from such Young measures is based on a variant of convex integration in conjunction with an explicit lamination construction in matrix space. Our generating sequence is bounded in $L^p$ for $p$ less than the space dimension, a regime in which the pointwise Jacobian loses some of its important properties. On the other hand, for $p$ larger than, or equal to, the space dimension the situation necessarily becomes rigid and a construction as presented here cannot succeed. Applications to relaxation of integral functionals, the theory of semiconvex hulls, and approximation of weakly orientation-preserving maps by strictly orientation-preserving ones in Sobolev spaces are given.


title: Relative Manin-Mumford for semi-abelian surfaces

abstract: We show that Ribet sections are the only obstruction to the validity of the relative Manin-Mumford conjecture for one dimensional families of semi-abelian surfaces. Applications include special cases of the Zilber-Pink conjecture for curves in a mixed Shimura variety of dimension four, as well as the study of polynomial Pell equations with non-separable discriminants.


title: Systems Biophysics of Gene Expression

abstract: Gene expression is a central process to any form of life. It involves multiple temporal and functional scales that extend from specific protein-DNA interactions to the coordinated regulation of multiple genes in response to intracellular and extracellular changes. This diversity in scales poses fundamental challenges among traditional approaches to fully understand even the simplest gene expression systems. Recent advances in computational systems biophysics have provided promising avenues to reliably integrate the molecular detail of biophysical process into the system behavior. Here, we review recent advances in the description of gene regulation as a system of biophysical processes that extend from specific protein-DNA interactions to the combinatorial assembly of nucleoprotein complexes. There is now basic mechanistic understanding on how promoters controlled by multiple, local and distal, DNA binding sites for transcription factors can actively control transcriptional noise, cell-to-cell variability, and other properties of gene regulation, including precision and flexibility of the transcriptional responses.

categories: q-bio.MN cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: Simulations of protostellar collapse using multigroup radiation hydrodynamics. II. The second collapse

abstract: Star formation begins with the gravitational collapse of a dense core inside a molecular cloud. As the collapse progresses, the centre of the core begins to heat up as it becomes optically thick. The temperature and density in the centre eventually reach high enough values where fusion reactions can ignite; the protostar is born. This sequence of events entail many physical processes, of which radiative transfer is of paramount importance. Many simulations of protostellar collapse make use of a grey treatment of radiative transfer coupled to the hydrodynamics. However, interstellar gas and dust opacities present large variations as a function of frequency. In this paper, we follow-up on a previous paper on the collapse and formation of Larson's first core using multigroup radiation hydrodynamics (Paper I) by extending the calculations to the second phase of the collapse and the formation of Larson's second core. We have made the use of a non-ideal gas equation of state as well as an extensive set of spectral opacities in a spherically symmetric fully implicit Godunov code to model all the phases of the collapse of a 0.1, 1 and 10 solar mass cloud cores. We find that, for a same central density, there are only small differences between the grey and multigroup simulations. The first core accretion shock remains supercritical while the shock at the second core border is found to be strongly subcritical with all the accreted energy being transfered to the core. The size of the first core was found to vary somewhat in the different simulations (more unstable clouds form smaller first cores) while the size, mass and temperature of the second cores are independent of initial cloud mass, size and temperature. Our simulations support the idea of a standard (universal) initial second core size of 0.003 AU and mass 0.0014 solar masses.


title: Categorification and applications in topology and representation theory

abstract: This thesis splits into two major parts. The connection between the two parts is the notion of "categorification" which we shortly explain/recall in the introduction. In the first part of this thesis we extend Bar-Natan's cobordism based categorification of the Jones polynomial to virtual links. Our topological complex allows a direct extension of the classical Khovanov complex (h=t=0), the variant of Lee (h=0,t=1) and other classical link homologies. We show that our construction allows, over rings of characteristic 2, extensions with no classical analogon, e.g. Bar-Natan's Z/2Z-link homology can be extended in two non-equivalent ways. Our construction is computable in the sense that one can write a computer program to perform calculations, e.g. we have written a MATHEMATICA based program. Moreover, we give a classification of all unoriented TQFTs which can be used to define virtual link homologies from our topological construction. Furthermore, we prove that our extension is combinatorial and has semi-local properties. We use the semi-local properties to prove an application, i.e. we give a discussion of Lee's degeneration of virtual homology. In the second part of this thesis (which is based on joint work with Mackaay and Pan) we use Kuperberg's sl3 webs and Khovanov's sl3 foams to define a new algebra K_S, which we call the sl3 web algebra. It is the sl3 analogue of Khovanov's arc algebra H_n. We prove that K_S is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of q-skew Howe duality, which allows us to prove that K_S is Morita equivalent to a certain cyclotomic KLR-algebra. This allows us to determine the split Grothendieck group K_0(K_S), to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that K_S is a graded cellular algebra.


title: Existence and Uniqueness of Global Smooth Solution of Incompressible Navier-Stokes Equation

abstract: The Cauchy problem and spatially periodic problem of incompressible Navier-Stokes equation are considered. The existence and uniqueness of global solution for these two problem with infinite smooth initial data $u_0$, i.e. $u_0,\;(u_0\cdot\nab)u_0\in H^{\infty}$, are established. Moreover these two problem with initial data $u_0\in H^m$ ($m\ge1$) are globally well-posed provided the Fourier frequency of $u_0$ is contained in a bounded compact set.


title: Upper bound on the number of edges of an almost planar bipartite graph

abstract: Let $G$ be a bipartite graph without loops and multiple edges on $v\ge 4$ vertices, which can be drawn on the plane such that any edge intersects at most one other edge. We prove that such graph has at most $3v-8$ edges for even $v\ne 6$ and at most $3v-9$ edges for odd $v$ and $v=6$. For all $v\ge 4$ examples showing that these bounds are tight are constructed. In the end of paper we discuss a question about drawings of complete bipartite graphs on the plane such that any edge intersects at most one other edge. {\sc Keywords:} topological graphs, planar graphs, bipartite graphs.


title: Existence of solutions for a class of singular elliptic systems with convection term

abstract: We show the existence of positive solutions for a class of singular elliptic systems with convection term. The approach combines pseudomonotone operator theory, sub and supersolution method and perturbation arguments involving singular terms.


title: Fourier-based schemes with modified Green operator for computing the electrical response of heterogeneous media with accurate local fields

abstract: A modified Green operator is proposed as an improvement of Fourier-based numerical schemes commonly used for computing the electrical or thermal response of heterogeneous media. Contrary to other methods, the number of iterations necessary to achieve convergence tends to a finite value when the contrast of properties between the phases becomes infinite. Furthermore, it is shown that the method produces much more accurate local fields inside highly-conducting and quasi-insulating phases, as well as in the vicinity of the phases interfaces. These good properties stem from the discretization of Green's function, which is consistent with the pixel grid while retaining the local nature of the operator that acts on the polarization field. Finally, a fast implementation of the "direct scheme" of Moulinec et al. (1994) that allows for parcimonious memory use is proposed.


title: On completions, neat embeddings and omittings types, yet again

abstract: In this paper we investigate using the methodology of algebraic logic, deep algebraic results to prove three new omitting types theorems for finite variable fragments of first order logic. As a sample, we show that it T is an L_n theory and |T|=lambda, lambda a regular cardinal, if T admits elimination of quantifiers, then T omits < 2^{\lambda} many non isolated {\it maximal} types. This is basically a result of Shelah's restricted to L_n. that is not completely representable. We also show, using a rainbow construction for cylindric algebras, that the omitting types theorem fails for L_n even if we consider clique guarded semantics. This is done by constructing a an atomic \A\in \PEA_n with countably many atoms (which are coloured graphs) who Sc (Pinter's) reduct is not in S_c\Nr_n\Sc_{n+3}, but $A$ is elementary equivalent to a countable completely representable (polyadic equality) algebra. Various connections between the notions of strong representability and complete representability are given in terms of neat embeddings. Several examples, using rainbow constructions and Monk-like algebras are also given to show that our results are best possible. As a sample we show that, assuming the existence of certain finite relation algebras, that for any k\in \omega, there exists \A\in {\sf RPEA}_n\cap \Nr_n\PEA_{n+k} such that Rd_{\sf Sc}\Cm\At\A\notin S\Nr_n\Sc_{n+k+1}. This implies that for any finite n\geq 3, for any k\geq 0, there is an L_n theory and a type \Gamma such that Gamma is realized in every n+k+1 relativized smooth model, but cannot be isolated by a witness using n+k variables.


title: The Lambert W Function, Laguerre Polynomials, and the Zeros of the QCD Partition Function

abstract: We study solutions of a transcendental equation for the complex chemical potential at which a random-matrix QCD model can undergo a phase transition at zero mass. An explicit solution is obtained in terms of the Lambert W function. We also provide a closed form expression for a QCD random matrix model partition function, as a sum of Laguerre polynomials, for complex chemical potential and non-zero mass.


title: A frequency-stabilized source of single photons from a solid-state qubit

abstract: Single quantum dots are solid-state emitters which mimic two-level atoms but with a highly enhanced spontaneous emission rate. A single quantum dot is the basis for a potentially excellent single photon source. One outstanding problem is that there is considerable noise in the emission frequency, making it very difficult to couple the quantum dot to another quantum system. We solve this problem here with a dynamic feedback technique that locks the quantum dot emission frequency to a reference. The incoherent scattering (resonance fluorescence) represents the single photon output whereas the coherent scattering (Rayleigh scattering) is used for the feedback control. The fluctuations in emission frequency are reduced to 20 MHz, just ~ 5% of the quantum dot optical linewidth, even over several hours. By eliminating the 1/f-like noise, the relative fluctuations in resonance fluorescence intensity are reduced to ~ 10E-5 at low frequency. Under these conditions, the antibunching dip in the resonance fluorescence is described extremely well by the two-level atom result. The technique represents a way of removing charge noise from a quantum device.


title: Software Engineering Process Theory: A Multi-Method Comparison of Sensemaking-CoevoIution-Implementation Theory and Function-Behavior-Structure Theory

abstract: Many academics have called for increasing attention to theory in software engineering. Consequently, this paper empirically evaluates two dissimilar software development process theories - one expressing a more traditional, methodical view (FBS) and one expressing an alternative, more improvisational view (SCI). A primarily quantitative survey of more than 1300 software developers is combined with four qualitative case studies to achieve a simultaneously broad and deep empirical evaluation. Case data analysis using a closed-ended, a priori coding scheme based on the two theories strongly supports SCI, as does analysis of questionnaire response distributions (p<0.001; chi-square goodness of fit test). Furthermore, case-questionnaire triangulation found no evidence that support for SCI varied by participants' gender, education, experience, nationality or the size or nature of their projects. This suggests that instead of iteration between weakly-coupled phases (analysis, design, coding, testing), it is more accurate and useful to conceptualize development as ad hoc oscillation between organizing perceptions of the project context (Sensemaking), simultaneously improving mental pictures of the context and design artifact (Coevolution) and constructing, debugging and deploying software artifacts (Implementation).


title: Exotic cluster structures on $SL_n$: the Cremmer-Gervais case

abstract: This is the second paper in the series of papers dedicated to the study of natural cluster structures in the rings of regular functions on simple complex Lie groups and Poisson-Lie structures compatible with these cluster structures. According to our main conjecture, each class in the Belavin-Drinfeld classification of Poisson-Lie structures on $\G$ corresponds to a cluster structure in $\O(\G)$. We have shown before that this conjecture holds for any $\G$ in the case of the standard Poisson-Lie structure and for all Belavin-Drinfeld classes in $SL_n$, $n<5$. In this paper we establish it for the Cremmer-Gervais Poisson-Lie structure on $SL_n$, which is the least similar to the standard one.


title: On the spontaneous emission of electromagnetic radiation in the CSL model

abstract: Spontaneous photon emission in the Continuous Spontaneous Localization (CSL) model is studied one more time. In the CSL model each particle interacts with a noise field that induces the collapse of its wave function. As a consequence of this interaction, when the particle is electrically charged, it radiates. As discussed in [1], the formula for the emission rate, to first perturbative order, contains two terms: One is proportional to the Fourier component of the noise field at the same frequency as that of the emitted photon and one is proportional to the zero Fourier component of the noise field. As discussed in previous works, this second term seems unphysical. In [1], it was shown that the unphysical term disappears when the noises is confined to a bounded region and the final particle's state is a wave packet. Here we investigate the origin of the unphysical term and why it vanishes according to the previous prescription. For this purpose, the electrodynamic part of the equation of motion is solved exactly while the part due to the noise is treated perturbatively. We show that the unphysical term is connected to exponentially decaying function of time which dies out in the large time limit, however, approximates to 1 in the first perturbative order in the electromagnetic field.


title: Electrically Detected Magnetic Resonance Modeling and Fitting: An Equivalent Circuit Approach

abstract: Continuous-wave electrically detected magnetic resonance (cw-EDMR or just EDMR) and its variants are powerful tools to investigate spin-dependent processes in materials and devices. The use of quadrature detection improves the quality and selectivity of EDMR analysis by allowing, for example, the separation of individual resonant spin lines. Here we propose an equivalent circuit model in order to better understand the EDMR quadrature signal in a variety of different situations. The model considers not just the electrical response of the sample but of cables and measuring circuit and its influence on the resulting spectral lines. Recent EDMR spectra from Alq3 based OLEDs, as well as from a-Si:H reported in the literature, were successfully described by the model. Moreover, the model allows the implementation of a fitting routine that can be easily used to determine accurate values of crucial parameters such as g-factor and linewidth of the resonant lines.


title: Using symmetry to generate solutions to the Helmholtz equation inside an equilateral triangle

abstract: We prove that every solution of the Helmholtz equation within an equilateral triangle, which obeys the Dirichlet conditions on the boundary, is a member of one of four symmetry classes. We then show how solutions with different symmetries, or different energies, can be generated from any given solution using symmetry operators or a differential operator derived from symmetry considerations. Our method also provides a novel way of generating the ground state solution (that is, the solution with the lowest energy). Finally, we establish a correspondence between solutions in the equilateral and (30,60, 90) triangles.


title: Overview of Web Content Mining Tools

abstract: Nowadays, the Web has become one of the most widespread platforms for information change and retrieval. As it becomes easier to publish documents, as the number of users, and thus publishers, increases and as the number of documents grows, searching for information is turning into a cumbersome and time-consuming operation. Due to heterogeneity and unstructured nature of the data available on the WWW, Web mining uses various data mining techniques to discover useful knowledge from Web hyperlinks, page content and usage log. The main uses of web content mining are to gather, categorize, organize and provide the best possible information available on the Web to the user requesting the information. The mining tools are imperative to scanning the many HTML documents, images, and text. Then, the result is used by the search engines. In this paper, we first introduce the concepts related to web mining; we then present an overview of different Web Content Mining tools. We conclude by presenting a comparative table of these tools based on some pertinent criteria.


title: Study on optimization of water Cherenkov detector array of LHAASO project for surveying VHE gamma rays sources

abstract: A water Cherenkov detector array, LHAASO-WCDA, is proposed to be built at Shangri-la, Yunnan Province, China. As one of the major components of the LHAASO project, the main purpose of it is to survey the northern sky for gamma ray sources in the energy range from 100 GeV to 30 TeV. In order to design the water Cherenkov array efficiently to economize the budget, a Monte Carlo simulation is proceeded. With the help of the simulation, cost performance of different configurations of the array is obtained and compared with each other, serving as a guide for the more detailed design of the experiment in the next step.


title: Entanglement Detection and Distillation for Arbitrary Bipartite Systems

abstract: We present an inequality for detecting entanglement and distillability of arbitrary dimensional bipartite systems. This inequality provides a sufficient condition of entanglement for bipartite mixed states, and a necessary and sufficient condition of entanglement for bipartite pure states. Moreover, the inequality also gives a necessary and sufficient condition for distillability.


title: The Mopra Southern Galactic Plane CO Survey

abstract: We present the first results from a new carbon monoxide (CO) survey of the southern Galactic plane being conducted with the Mopra radio telescope in Australia. The 12CO, 13CO and C18O J=1-0 lines are being mapped over the l = 305-345 deg, b = +/- 0.5 deg portion of the 4th quadrant of the Galaxy, at 35" spatial and 0.1 km/s spectral resolution. The survey is being undertaken with two principal science objectives: (i) to determine where and how molecular clouds are forming in the Galaxy and (ii) to probe the connection between molecular clouds and the "missing" gas inferred from gamma-ray observations. We describe the motivation for the survey, the instrumentation and observing techniques being applied, and the data reduction and analysis methodology. In this paper we present the data from the first degree surveyed, l = 323-324 deg, b = +/- 0.5 deg. We compare the data to the previous CO survey of this region and present metrics quantifying the performance being achieved; the rms sensitivity per 0.1 km/s velocity channel is ~1.5K for 12CO and ~0.7K for the other lines. We also present some results from the region surveyed, including line fluxes, column densities, molecular masses, 12CO/13CO line ratios and 12CO optical depths. We also examine how these quantities vary as a function of distance from the Sun when averaged over the 1 square degree survey area. Approximately 2 x 10E6 MSun of molecular gas is found along the G323 sightline, with an average H2 number density of nH2 ~ 1 cm-3 within the Solar circle. The CO data cubes will be made publicly available as they are published.


title: Incarnation in Ludics and maximal cliques of paths

abstract: Ludics is a reconstruction of logic with interaction as a primitive notion, in the sense that the primary logical concepts are no more formulas and proofs but cut-elimination interpreted as an interaction between objects called designs. When the interaction between two designs goes well, such two designs are said to be orthogonal. A behaviour is a set of designs closed under bi-orthogonality. Logical formulas are then denoted by behaviours. Finally proofs are interpreted as designs satisfying particular properties. In that way, designs are more general than proofs and we may notice in particular that they are not typed objects. Incarnation is introduced by Girard in Ludics as a characterization of "useful" designs in a behaviour. The incarnation of a design is defined as its subdesign that is the smallest one in the behaviour ordered by inclusion. It is useful in particular because being "incarnated" is one of the conditions for a design to denote a proof of a formula. The computation of incarnation is important also as it gives a minimal denotation for a formula, and more generally for a behaviour. We give here a constructive way to capture the incarnation of the behaviour of a set of designs, without computing the behaviour itself. The method we follow uses an alternative definition of designs: rather than defining them as sets of chronicles, we consider them as sets of paths, a concept very close to that of play in game semantics that allows an easier handling of the interaction: the unfolding of interaction is a path common to two interacting designs.


title: On macroscopic dimension of universal coverings of closed manifolds

abstract: We give a homological characterization of $n$-manifolds whose universal covering $\Wi M$ has Gromov's macroscopic dimension $\dim_{mc}\Wi M<n$. As the result we distinguish $\dim_{mc}$ from the macroscopic dimension $\dim_{MC}$ defined by the author \cite{Dr}. We prove the inequality $\dim_{mc}\Wi M<\dim_{MC}\Wi M=n$ for every closed $n$-manifold $M$ whose fundamental group $\pi$ is a geometrically finite amenable duality group with the cohomological dimension $cd(\pi)> n$.


title: A tour through $\delta$-invariants: From Nash's embedding theorem to ideal immersions, best ways of living and beyond

abstract: First I will explain my motivation to introduce the $\delta$-invariants for Riemannian manifolds. I will also recall the notions of ideal immersions and best ways of living. Then I will present a few of the many applications of $\delta$-invariants to several areas in mathematics. Finally, I will present two optimal inequalities involving $\delta$-invariants for Lagrangian submanifolds obtained very recently in joint papers with F. Dillen, J. Van der Veken and L. Vrancken.


title: Algebraic Equations Solved with Jacobi Elliptic Functions

abstract: In this article we solve a class of two parameter polynomial-quintic equation. The solution follows if we consider the Jacobian elliptic function $sn$ and relate it with the coefficients of the equation. The solution is the elliptic singular modulus $k$.


title: La formule des traces stable pour le groupe m\'etaplectique: les termes elliptiques

abstract: Let F be a number field and $\widetilde{\mathrm{Sp}}(2n)$ be the metaplectic covering of Weil of $\mathrm{Sp}(2n, \mathbb{A}_F)$. We stabilize the elliptic semi-simple terms of the genuine part of trace formula for $\widetilde{\mathrm{Sp}}(2n)$, by using the transfer of test functions and the fundamental lemma established in a previous article. We obtain therefore an expression in terms of stable orbital integrals along certain $F$-elliptic classes in $\mathrm{SO}(2n'+1) \times \mathrm{SO}(2n''+1)$, which we call equisingular, for pairs $(n', n'')$ satisfying $n'+n''=n$. A simple formula for the coefficients is also obtained.


title: Global Weyl groups and a new theory of multiplicative quiver varieties

abstract: In previous work a relation between a large class of Kac-Moody algebras and meromorphic connections on global curves was established---notably the Weyl group gives isomorphisms between different moduli spaces of connections, and the root system is also seen to play a role. This involved a modular interpretation of many Nakajima quiver varieties, as moduli spaces of connections, whenever the underlying graph was a complete k-partite graph (or more generally a supernova graph). However in the isomonodromy story, or wild nonabelian Hodge theory, slightly larger moduli spaces of connections are considered. This raises the question of whether the full moduli spaces admit Weyl group isomorphisms, rather than just the open parts isomorphic to quiver varieties. This question will be solved here, by developing a "multiplicative version" of the previous approach. This amounts to constructing many algebraic symplectic isomorphisms between wild character varieties. This approach also enables us to state a conjecture for certain irregular Deligne--Simpson problems and introduce some noncommutative algebras, generalising the "generalised double affine Hecke algebras".


title: Pandiagonal and Knut Vik Sudoku Squares

abstract: We present systematic methods of constructing pandiagonal sudoku squares of order k*k and Knut Vik sudoku squares of order k*k not divisible by 2 or 3. Pandiagonal magic squares are constructed from these squares. Examples of all these squares are given.


title: The Chern-Simons term in a dual Josephson junction

abstract: A dual Josephson junction corresponding to a (2+1)-dimensional non-superconducting layer sandwiched between two (3+1)-dimensional dual superconducting regions constitutes a model of localization of a U(1) gauge field within the layer. Monopole tunneling currents flow from one dual superconducting region to another due to a phase difference between the wave functions of the monopole condensate below and above the non-superconducting layer when there is an electromagnetic field within the layer. These magnetic currents appear within the (2+1)-dimensional layer as a gas of magnetic instanton events and a weak electric charge confinement is expected to take place at very long distances within the layer. In the present work, we consider what happens when one introduces fermions in this physical scenario. Due to the dual Meissner effect featured in the dual superconducting bulk, it is argued that unconfined fermions would be localized within the (2+1)-dimensional layer, where their quantum fluctuations radiatively induce a Chern-Simons term, which is known to destroy the electric charge confinement and to promote the confinement of the magnetic instantons.


title: On the structure of Finsler and areal spaces

abstract: We study underlying geometric structures for integral variational functionals, depending on submanifolds of a given manifold. Applications include (first order) variational functionals of Finsler and areal geometries with integrand the Hilbert 1-form, and admit immediate extensions to higher-order functionals.


title: Coherent terabit communications with microresonator Kerr frequency combs

abstract: Optical frequency combs enable coherent data transmission on hundreds of wavelength channels and have the potential to revolutionize terabit communications. Generation of Kerr combs in nonlinear integrated microcavities represents a particularly promising option enabling line spacings of tens of GHz, compliant with wavelength-division multiplexing (WDM) grids. However, Kerr combs may exhibit strong phase noise and multiplet spectral lines, and this has made high-speed data transmission impossible up to now. Recent work has shown that systematic adjustment of pump conditions enables low phase-noise Kerr combs with singlet spectral lines. Here we demonstrate that Kerr combs are suited for coherent data transmission with advanced modulation formats that pose stringent requirements on the spectral purity of the optical source. In a first experiment, we encode a data stream of 392 Gbit/s on subsequent lines of a Kerr comb using quadrature phase shift keying (QPSK) and 16-state quadrature amplitude modulation (16QAM). A second experiment shows feedback-stabilization of a Kerr comb and transmission of a 1.44 Tbit/s data stream over a distance of up to 300 km. The results demonstrate that Kerr combs can meet the highly demanding requirements of multi-terabit/s coherent communications and thus offer a solution towards chip-scale terabit/s transceivers.


title: Local and Nonlocal Advected Invariants and Helicities in Magnetohydrodynamics and Gas Dynamics II: Noether's Theorems and Casimirs

abstract: Conservation laws in ideal gas dynamics and magnetohydrodynamics (MHD) associated with fluid relabelling symmetries are derived using Noether's first and second theorems. Lie dragged invariants are discussed in terms of the MHD Casimirs. A nonlocal conservation law for fluid helicity applicable for a non-barotropic fluid involving Clebsch variables is derived using Noether's theorem, in conjunction with a fluid relabelling symmetry and a gauge transformation. A nonlocal cross helicity conservation law involving Clebsch potentials, and the MHD energy conservation law are derived by the same method. An Euler Poincar\'e variational approach is also used to derive conservation laws associated with fluid relabelling symmetries using Noether's second theorem.


title: An Optimal Choice of Reference for the Quasi-Local Gravitational Energy and Angular Momentum

abstract: The boundary term of the gravitational Hamiltonian can be used to give the values of the quasi-local quantities as long as one can provide a suitable evolution vector field and an appropriate reference. On the two-surface boundary of a region we have proposed using {\em four dimensional isometric matching} between the dynamic spacetime and the reference geometry along with energy extremization to find both the optimal reference matching and the appropriate quasi-Killing vectors. Here we consider the axisymmetric spacetime case. For the Kerr metric in particular we can explicitly solve the equations to find the best matched reference and quasi-Killing vectors. This leads to the exact expression for the quasi-local boundary term and the values of our optimal quasi-local energy and angular momentum.


title: Searching for supersymmetry in Z' decays

abstract: I investigate production and decay of heavy neutral gauge bosons Z' in GUT-inspired U(1)' groups and in the Sequential Standard Model. In particular, decays into supersymmetric particles, such as slepton, chargino and neutralino pairs, as predicted in the MSSM, are accounted for, with a special interest in final states with leptons and missing energy. For a representative point of the parameter space, it is found that the inclusion of supersymmetric decay modes has an impact of 200-300 GeV on the Z' mass exclusion limits.


title: Brane solitons of (1,0) superconformal theories in six dimensions with hypermultiplets

abstract: We solve the Killing spinor equations of 6-dimensional (1,0) superconformal theories which include hyper-multiplets in all cases. We show that the solutions preserve 1,2,3,4 and 8 supersymmetries. We find models with self-dual string solitons which are smooth and supported by instantons with an arbitrary gauge group, and 3-brane solitons as expected from the M-brane intersection rules.


title: Ionization driven molecular outflow in K3-50A

abstract: Whether high mass stars continue to accrete material beyond the formation of an HII region is still an open question. Ionized infall and outflow have been seen in some sources, but their ties to the surrounding molecular gas are not well constrained. We aim to quantify the ionized and molecular gas dynamics in a high mass star forming region (K3-50A) and their interaction. We present CARMA observations of the 3mm continuum, H41\alpha, and HCO+ emission, and VLA continuum observations at 23 GHz and 14.7 GHz to quantify the gas and its dynamics in K3-50A. We find large scale dynamics consistent with previous observations. On small scales, we find evidence for interaction between the ionized and molecular gas which suggests the ionized outflow is entraining the molecular one. This is the first time such an outflow entrained by photo ionized gas has been observed. Accretion may be ongoing in K3-50A because an ionized bipolar outflow is still being powered, which is in turn entraining part of the surrounding molecular gas. This outflow scenario is similar to that predicted by ionization feedback models.


title: Bifurcation of critical points for continuous families of C^2 functionals of Fredholm type

abstract: Given a continuous family of C^2 functionals of Fredholm type, we show that the non-vanishing of the spectral flow for the family of Hessians along a known (trivial) branch of critical points not only entails bifurcation of nontrivial critical points but also allows to estimate the number of bifurcation points along the branch. We use this result for several parameter bifurcation, estimating the number of connected components of the complement of the set of bifurcation points and apply our results to bifurcation of periodic orbits of Hamiltonian systems. By means of a comparison principle for the spectral flow, we obtain lower bounds for the number of bifurcation points of periodic orbits on a given interval in terms of the coefficients of the linearization.


title: Detecting the rapidly expanding outer shell of the Crab Nebula: where to look

abstract: We present a range of steady-state photoionization simulations, corresponding to different assumed shell geometries and compositions, of the unseen postulated rapidly expanding outer shell to the Crab Nebula. The properties of the shell are constrained by the mass that must lie within it, and by limits to the intensities of hydrogen recombination lines. In all cases the photoionization models predict very strong emission from high ionization lines that will not be emitted by the Crab's filaments, alleviating problems with detecting these lines in the presence of light scattered from brighter parts of the Crab. The NIR [Ne VI] $\lambda$7.652 $\mu$m line is a particularly good case; it should be dramatically brighter than the optical lines commonly used in searches. The C IV $\lambda1549\AA$ doublet is predicted to be the strongest absorption line from the shell, which is in agreement with HST observations. We show that the cooling timescale for the outer shell is much longer than the age of the Crab, due to the low density. This means that the temperature of the shell will actually "remember" its initial conditions. However, the recombination time is much shorter than the age of the Crab, so the predicted level of ionization should approximate the real ionization. In any case, it is clear that IR observations present the best opportunity to detect the outer shell and so guide future models that will constrain early events in the original explosion.


title: Some remarks concerning the Grothendieck Period Conjecture

abstract: We discuss various results and questions around the Grothendieck period conjecture, which is a counterpart, concerning the de Rham-Betti realization of algebraic varieties over number fields, of the classical conjectures of Hodge and Tate. These results give new evidence towards the conjectures of Grothendieck and Kontsevich-Zagier concerning transcendence properties of the torsors of periods of varieties over number fields. We notably establish that the Grothendieck period conjecture holds in degree 1 for products of curves, of abelian varieties, and of K3 surfaces, and that it holds in degree 2 for smooth cubic fourfolds.


title: Turbulent pattern formation and diffusion in the early-time dynamics in the relativistic heavy-ion collision

abstract: We propose a picture of turbulent pattern formation in the relativistic heavy-ion collision, which follows an efficient process to break color strings and dispose energy in the whole phase space. We perform numerical simulations using the SU(2) pure Yang-Mills theory in a non-expanding box to observe a dynamical phenomenon in the transverse plane akin to the domain growth in time-dependent spin systems.


title: On Semilinear Elliptic Equation with Measurable Nonlinearity

abstract: We consider a semilinear elliptic equation in a bounded domain with zero boundary conditions. The nonlinearity is discontinuous and monotone, but it is not a Carath\'eodory's function. The existence theorem has been proved.


title: High resolution mapping of CO(1-0) in NGC6240

abstract: We present high spatial resolution CO(1-0) mapping of the luminous infrared galaxy NGC6240 obtained with the IRAM - Plateau de Bure Interferometer. This source is a well-known early-stage merging system hosting two AGN. We find a broad CO(1-0) line profile, with maximum velocity 800 km/s and FWZI=1400 km/s, and displaying several kinematic components, revealing the complexity of the gas dynamics in this system. We detect a blueshifted CO emission with velocity in the range -200 and -500 km/s, peaked around the southern AGN, at the same position where the H2 outflow is located, and with a mass loss rate of ~500 Msun/yr. We interpret this blueshifted component as a outflow, originating from the southern nucleus. The spatial and spectral match strongly suggests that the CO outflow is connected to the H2 superwind located around the southern nucleus, and to the large scale CO outflow, with similar velocities, extended on scales of 10 kpc. The large mass loading factor (dM/dt /SFR ~ 10) of the molecular gas suggests that the outflow is likely driven by both SNa winds and the radiation of the southern AGN. We discovered a nuclear, redshifted CO emission peaking in the mid point of the two nuclei, as it is the case for the CO emission at the systemic velocity. The large velocity dispersion, which reaches its maximum (~500 Km/s) in the mid point between the two nuclei, suggests that the gas might be highly turbulent in this region, although the presence of an unresolved rotation component cannot be ruled out.


title: A low-luminosity type-1 QSO sample - A morphological study of nearby AGN hosts

abstract: There is growing evidence that every galaxy with a considerable spheroidal component hosts a supermassive black hole (SMBH) at its center. Strong correlations between the SMBH and the spheroidal component suggest a physical connection through a coevolutionary scenario. For very massive galaxies a merger-driven scenario is preferred, resulting in elliptical galaxies. In the nearby universe, we find many disk galaxies, showing no signs of recent interaction. Alternative secular evolutionary scenarios for such galaxies involve internal triggers like bars and spiral arms or minor mergers. We analyze a sample of 99 nearby galaxies (0.02 < z < 0.06) from the Hamburg/ESO survey in order to get insight into structural and dynamical properties of the hosts to trace the origin of the bulge-SMBH correlation. In this work, we first collect images of sample members to get an impression of the morphological distribution in the sample. In a second step, we start to analyze sensitive, high resolution near-infrared images of 20 galaxies, performing aperture photometry and bulge-disk decomposition with the BUDDA code. We find an unexpected high fraction of barred galaxies and many other structural peculiarities.


title: Consequences the extensive use of multiple-choice questions might have on student's reasoning structure

abstract: Learning physics is a context dependent process. I consider a broader interdisciplinary problem of where differences in understanding and reasoning arise. I suggest the long run effects a multiple choice based learning system as well as society cultural habits and rules might have on student reasoning structure.


title: Byzantine Convex Consensus: Preliminary Version

abstract: Much of the past work on asynchronous approximate Byzantine consensus has assumed scalar inputs at the nodes [3, 7]. Recent work has yielded approximate Byzantine consensus algorithms for the case when the input at each node is a d-dimensional vector, and the nodes must reach consensus on a vector in the convex hull of the input vectors at the fault-free nodes [8, 12]. The d-dimensional vectors can be equivalently viewed as points in the d-dimensional Euclidean space. Thus, the algorithms in [8, 12] require the fault-free nodes to decide on a point in the d-dimensional space. In this paper, we generalize the problem to allow the decision to be a convex polytope in the d-dimensional space, such that the decided polytope is within the convex hull of the input vectors at the fault-free nodes. We name this problem as Byzantine convex consensus (BCC), and present an asynchronous approximate BCC algorithm with optimal fault tolerance. Ideally, the goal here is to agree on a convex polytope that is as large as possible. While we do not claim that our algorithm satisfies this goal, we show a bound on the output convex polytope chosen by our algorithm.


title: Phonon-roton modes of liquid 4He beyond the roton in MCM-41

abstract: We present neutron scattering measurements of the phonon-roton (P-R) mode of superfluid 4He confined in 47 \AA MCM-41 at T = 0.5 K at wave vectors, Q, beyond the roton wave vector (Q_R =1.92 \AA$^{-1}$). Measurements beyond the roton require access to high wave vectors (up to Q = 4 \AA$^{-1}$) with excellent energy resolution and high statistical precision. The present results show for the first time that at T = 0.5 K the P-R mode in MCM-41 extends out to wave-vector Q$\simeq$3.6 \AA$^-1$ with the same energy and zero width (within precision) as observed in bulk superfluid 4He. Layer modes in the roton region are also observed. Specifically, the P-R mode energy, $\omega_Q$, increases with Q for Q > QR and reaches a plateau at a maximum energy Q = 2{\Delta} where {\Delta} is the roton energy, {\Delta} = 0.74 $\pm$ 0.01 meV in MCM-41. This upper limit means the P-R mode decays to two rotons when its energy exceeds 2{\Delta}. It also means that the P-R mode does not decay to two layers modes. If the P-R could decay to two layer modes, $\omega_Q$ would plateau at a lower energy, $\omega_Q$ = 2{\Delta}L where {\Delta}L = 0.60 meV is the energy of the roton like minimum of the layer mode. The observation of the P-R mode with energy up to 2{\Delta} shows that the P-R mode and the layer modes are independent modes with apparently little interaction between them.


title: Inequalities for nonnegative numbers and information properties

abstract: We discuss some inequalities for N nonnegative numbers. We use these inequalities to obtain known inequalities for probability distributions and new entropic and information inequalities for quantum tomograms of qudit states. The inequalities characterize the degree of quantum correlations in addition to noncontextuality and quantum discord. We use the subadditivity and strong subadditivity conditions for qudit tomographic-probability distributions depending on the unitary-group parameters in order to derive new inequalities for Shannon, Renyi, and Tsallis entropies of spin states.


title: Geometric realization of toroidal quadrangulations without hidden symmetries

abstract: It is shown that each quadrangulation of the 2-torus by the Cartesian product of two cycles can be geometrically realized in (Euclidean) 4-space without hidden symmetries---that is, so that each combinatorial cellular automorphism of the quadrangulation extends to a geometric symmetry of its Euclidean realization. Such realizations turn out to be new regular toroidal geometric 2-polyhedra which are inscribed in the Clifford 2-torus in 4-space, just as the five regular spherical 2-polyhedra are inscribed in the 2-sphere in 3-space. The following are two open problems: Realize geometrically (1) the regular triangulations and (2) the regular hexagonizations of the 2-torus without hidden symmetries in 4-space.


title: Characterisations of the weak expectation property

abstract: We use representations of operator systems as quotients to deduce various characterisations of the weak expectation property (WEP) for C?*-algebras. By Kirchberg's work on WEP, these results give new formulations of Connes' embedding problem.


title: Scalar conservation laws on moving hypersurfaces

abstract: We consider conservation laws on moving hypersurfaces. In this work the velocity of the surface is prescribed. But one may think of the velocity to be given by PDEs in the bulk phase. We prove existence and uniqueness for a scalar conservation law on the moving surface. This is done via a parabolic regularization of the hyperbolic PDE. We then prove suitable estimates for the solution of the regularized PDE, that are independent of the regularization parameter. We introduce the concept of an entropy solution for a scalar conservation law on a moving hypersurface. We also present some numerical experiments. As in the Euclidean case we expect discontinuous solutions, in particular shocks. It turns out that in addition to the "Euclidean shocks" geometrically induced shocks may appear.


title: A geometric tangential approach to sharp regularity for degenerate evolution equations

abstract: That the weak solutions of degenerate parabolic pdes modelled on the inhomogeneous $p-$Laplace equation $$ u_t - \mathrm{div} \left(|\nabla u|^{p-2} \nabla u \right) = f \in L^{q,r}, \quad p>2 $$ are $C^{0,\alpha}$, for some $\alpha \in (0,1)$, is known for almost 30 years. What was hitherto missing from the literature was a precise and sharp knowledge of the H\"older exponent $\alpha$ in terms of $p, q, r$ and the space dimension $n$. We show in this paper that $$ \alpha = \frac{(pq-n)r-pq}{q[(p-1)r-(p-2)]}, $$ using a method based on the notion of geometric tangential equations and the intrinsic scaling of the $p-$parabolic operator. The proofs are flexible enough to be of use in a number of other nonlinear evolution problems.


title: On the minimal teaching sets of two-dimensional threshold functions

abstract: It is known that a minimal teaching set of any threshold function on the twodimensional rectangular grid consists of 3 or 4 points. We derive exact formulae for the numbers of functions corresponding to these values and further refine them in the case of a minimal teaching set of size 3. We also prove that the average cardinality of the minimal teaching sets of threshold functions is asymptotically 7/2. We further present corollaries of these results concerning some special arrangements of lines in the plane.


title: Self-Consistent Ion Cyclotron Anisotropy-Beta Relation for Solar Wind Protons

abstract: We derive a set of self-consistent marginally stable states for a system of ion-cyclotron waves propagating parallel to the large-scale magnetic field through a homogeneous proton-electron plasma. The proton distributions and the wave dispersions are related through the condition that no further ion-cyclotron resonant particle scattering or wave growth/damping may take place. The thermal anisotropy of the protons in these states therefore defines the threshold value for triggering the proton-cyclotron anisotropy instability. A number of recent papers have noted that the anisotropy of solar wind protons at 1 AU does not seem to be limited by the proton-cyclotron anisotropy threshold, even at low plasma beta. However, this puzzle seems to be due solely to the estimation of this anisotropy threshold under the assumption that the protons have a bi-Maxwellian distribution. We note that bi-Maxwellian distributions are never marginally stable to the resonant cyclotron interaction, so these estimates do not represent physically valid thresholds. The threshold anisotropies obtained from our marginally stable states are much larger, as a function of proton parallel beta, than the bi-Maxwellian estimates, and we show that the measured data remains below these more rigorous thresholds. Thus, the results of this paper resolve the apparent contradiction presented by the solar wind anisotropy observations at 1 AU: The bi-Maxwellian anisotropies are not rigorous thresholds, and so do not limit the proton distributions in the solar wind.


title: The Vincia Parton Shower

abstract: We summarize recent developments in the VINCIA parton shower. After a brief review of the basics of the formalism, the extension of VINCIA to hadron collisions is sketched. We then turn to improvements of the efficiency of tree-level matching by making the shower history unique and by incorporating identified helicities. We conclude with an overview of matching to one-loop matrix elements.


title: Recursive Bayesian Initialization of Localization Based on Ranging and Dead Reckoning

abstract: The initialization of the state estimation in a localization scenario based on ranging and dead reckoning is studied. Specifically, we start with a cooperative localization setup and consider the problem of recursively arriving at a uni-modal state estimate with sufficiently low covariance such that covariance based filters can be used to estimate an agent's state subsequently. A number of simplifications/assumptions are made such that the estimation problem can be seen as that of estimating the initial agent state given a deterministic surrounding and dead reckoning. This problem is solved by means of a particle filter and it is described how continual states and covariance estimates are derived from the solution. Finally, simulations are used to illustrate the characteristics of the method and experimental data are briefly presented.


title: On a theorem of Erd\H{o}s and Simonovits on graphs not containing the cube

abstract: The cube Q is the usual 8-vertex graph with 12 edges. Here we give a new proof for a theorem of Erd\H{o}s and Simonovits concerning the Tur\'an number of the cube. Namely, it is shown that e(G) < n^{8/5}+(2n)^{3/2} holds for any n-vertex cube-free graph G. Our aim is to give a self-contained exposition. We also point out the best known results and supply bipartite versions.


title: Exotic matter influence on the polar quasi-normal modes of neutron stars with equations of state satisfying the $2 M_{\odot}$ constraint

abstract: In this paper we analyze the quasi-normal mode spectrum of realistic neutron stars by studying the polar modes. In particular we study the spatial wI mode, the f mode, and the fundamental p mode. The study has been done for 15 different equations of state containing exotic matter and satisfying the $2 M_{\odot}$ constraint. Since f and p modes couple to matter perturbations, the influence of the presence of hyperons and quarks in the core of the neutron stars is more significant than for the axial component. We present phenomenological relations for the frequency and damping time with the compactness of the neutron star. We also consider new phenomenological relations between the frequency and damping time of the w mode and the f mode. These new relations are independent of the equation of state, and could be used to estimate the central pressure, mass or radius, and eventually constrain the equation of state of neutron stars. To obtain these results we have developed a new method based on the Exterior Complex Scaling technique with variable angle.


title: Constraints on the Scalar Sector of the Renormalizable Coloron Model

abstract: The renormalizable coloron model is the minimal extension of the standard model color sector, in which the color gauge group is enlarged to SU(3)_{1c} x SU(3)_{2c}. In this paper we discuss the constraints on this model derived from the requirements of vacuum stability, tree-level unitarity, electroweak precision measurements, and from LHC measurements of the properties of the observed Higgs-like scalar boson. The combination of these theoretical and experimental considerations strongly constrains the allowed parameter space. (Erratum appended, March 2014.)


title: The Combinatorics of Flat Folds: a Survey

abstract: We survey results on the foldability of flat origami models. The main topics are the question of when a given crease pattern can fold flat, the combinatorics of mountain and valley creases, and counting how many ways a given crease pattern can be folded. In particular, we explore generalizations of Maekawa's and Kawasaki's Theorems, develop a necessary and sufficient condition for a given assignment of mountains and valleys to fold up in a special case of single vertex folds, and describe recursive formulas to enumerate the number of ways that single vertex in a crease pattern can be folded.


title: Thermal and Electrical Transport across a Magnetic Quantum Critical Point

abstract: A quantum critical point (QCP) arises at a continuous transition between competing phases at zero temperature. Collective excitations at magnetic QCPs give rise to metallic properties that strongly deviate from the expectations of Landau's Fermi liquid description, the standard theory of electron correlations in metals. Central to this theory is the notion of quasiparticles, electronic excitations which possess the quantum numbers of the bare electrons. Here we report measurements of thermal and electrical transport across the field-induced magnetic QCP in the heavy-fermion compound YbRh$_2$Si$_2$. We show that the ratio of the thermal to electrical conductivities at the zero-temperature limit obeys the Wiedemann-Franz (WF) law above the critical field, $B_c$. This is also expected at $B < B_c$, where weak antiferromagnetic order and a Fermi liquid phase form below 0.07 K ($B = 0$). However, at the critical field the low-temperature electrical conductivity suggests a non-Fermi-liquid ground state and exceeds the thermal conductivity by about 10%. This apparent violation of the WF law provides evidence for an unconventional type of QCP at which the fundamental concept of Landau quasiparticles breaks down. These results imply that Landau quasiparticles break up, and that the origin of this disintegration is inelastic scattering associated with electronic quantum critical fluctuations. Our finding brings new insights into understanding deviations from Fermi-liquid behaviour frequently observed in various classes of correlated materials.


title: The partial linear model in high dimensions

abstract: Partial linear models have been widely used as flexible method for modelling linear components in conjunction with non-parametric ones. Despite the presence of the non-parametric part, the linear, parametric part can under certain conditions be estimated with parametric rate. In this paper, we consider a high-dimensional linear part. We show that it can be estimated with oracle rates, using the LASSO penalty for the linear part and a smoothness penalty for the nonparametric part.


title: Error Analysis of Semidiscrete Finite Element Methods for Inhomogeneous Time-Fractional Diffusion

abstract: We consider the initial boundary value problem for the inhomogeneous time-fractional diffusion equation with a homogeneous Dirichlet boundary condition and a nonsmooth right hand side data in a bounded convex polyhedral domain. We analyze two semidiscrete schemes based on the standard Galerkin and lumped mass finite element methods. Almost optimal error estimates are obtained for right hand side data $f(x,t)\in L^\infty(0,T;\dot H^q(\Omega))$, $-1< q \le 1$, for both semidiscrete schemes. For lumped mass method, the optimal $L^2(\Omega)$-norm error estimate requires symmetric meshes. Finally, numerical experiments for one- and two-dimensional examples are presented to verify our theoretical results.


title: First-principles study on competing phases of silicene: Effect of substrate and strain

abstract: The stability and electronic structure of competing silicene phases under in-plane compressive stress, either free-standing or on the ZrB$_2$(0001) surface, has been studied by first-principles calculations. A particular ($\sqrt{3}\times\sqrt{3}$)-reconstructed structural modification was found to be stable on the ZrB$_2$(0001) surface under epitaxial conditions. In contrast to the planar and buckled forms of free-standing silicene, in this "planar-like" phase, all but one of the Si atoms per hexagon reside in a single plane. While without substrate, for a wide range of strain, this phase is energetically less favorable than the buckled one, it is calculated to represent the ground state on the ZrB$_2$(0001) surface. The atomic positions are found to be determined by the interactions with the nearest neighbor Zr atoms competing with Si-Si bonding interactions provided by the constraint of the honeycomb lattice.


title: A Comparison of Non-stationary, Type-2 and Dual Surface Fuzzy Control

abstract: Type-1 fuzzy logic has frequently been used in control systems. However this method is sometimes shown to be too restrictive and unable to adapt in the presence of uncertainty. In this paper we compare type-1 fuzzy control with several other fuzzy approaches under a range of uncertain conditions. Interval type-2 and non-stationary fuzzy controllers are compared, along with 'dual surface' type-2 control, named due to utilising both the lower and upper values produced from standard interval type-2 systems. We tune a type-1 controller, then derive the membership functions and footprints of uncertainty from the type-1 system and evaluate them using a simulated autonomous sailing problem with varying amounts of environmental uncertainty. We show that while these more sophisticated controllers can produce better performance than the type-1 controller, this is not guaranteed and that selection of Footprint of Uncertainty (FOU) size has a large effect on this relative performance.


title: Comparison of the Mechanical Properties of Self-Assembled Langmuir Monolayers of Nanoparticles and Phospholipids

abstract: Nanoparticles with hydrophobic capping ligands and amphiphilic phospholipids are both found to self-assemble into monolayer films when deposited on the air water interface. By separately measuring the anisotropic stress response of these films under uniaxial compression, we obtain both the 2D compressive and shear moduli of a range of different thin nanoparticle and phospholipid films. The compressive moduli of both nanoparticle and lipid films in the solid phase are on the same order of magnitude, whereas the shear moduli of the lipid films are found to be significantly lower. Additionally the moduli of the nanoparticle films depended substantially on the polydispersity of the constituent particles: broader size distribution lowered the stiffness of the nanoparticle film.


title: Suppression of the S-wave production of (3/2)^+ + (1/2)^- heavy meson pairs in e^+e^- annihilation

abstract: The heavy meson-antimeson pairs, where one is an excited $\bigl ({3 \over 2} \bigr) ^+ $ meson and the other is a ground state $\bigl ({1 \over 2} \bigr) ^-$ meson, namely the pairs ($D_1(2420) \bar D$ + c.c.), ($D_1(2420) \bar D^*$ + c.c.), ($D_2(2460) \bar D^*$ + c.c.) in the charm sector and ($B_1(5721) \bar B$ + c.c.), ($B_1(5721) \bar B^*$ + c.c.), ($B_2(5747) \bar B^*$ + c.c.) in the bottom sector, are allowed, by the quantum numbers, to be produced in the $S$ wave in $e^+e^-$ annihilation. We show, however, that such $S$-wave production is forbidden by the heavy quark spin symmetry. Thus the yield of the considered meson pairs in $e^+e^-$ annihilation should be significantly suppressed near the respective thresholds. In our view, this substantially weakens the arguments for considering the Y(4260) charmonium-like resonance as a $D_1 \bar D$ molecular state.


title: Modelling Reactive and Proactive Behaviour in Simulation: A Case Study in a University Organisation

abstract: Simulation is a well established what-if scenario analysis tool in Operational Research (OR). While traditionally Discrete Event Simulation (DES) and System Dynamics Simulation (SDS) are the predominant simulation techniques in OR, a new simulation technique, namely Agent-Based Simulation (ABS), has emerged and is gaining more attention. In our research we focus on discrete simulation methods (i.e. DES and ABS). The contribution made by this paper is the comparison of DES and combined DES/ABS for modelling human reactive and different level of detail of human proactive behaviour in service systems. The results of our experiments show that the level of proactiveness considered in the model has a big impact on the simulation output. However, there is not a big difference between the results from the DES and the combined DES/ABS simulation models. Therefore, for service systems of the type we investigated we would suggest to use DES as the preferred analysis tool.


title: An experimental approach for investigating many-body phenomena in Rydberg-interacting quantum systems

abstract: Recent developments in the study of ultracold Rydberg gases demand an advanced level of experimental sophistication, in which high atomic and optical densities must be combined with excellent control of external fields and sensitive Rydberg atom detection. We describe a tailored experimental system used to produce and study Rydberg-interacting atoms excited from dense ultracold atomic gases. The experiment has been optimized for fast duty cycles using a high flux cold atom source and a three beam optical dipole trap. The latter enables tuning of the atomic density and temperature over several orders of magnitude, all the way to the Bose-Einstein condensation transition. An electrode structure surrounding the atoms allows for precise control over electric fields and single-particle sensitive field ionization detection of Rydberg atoms. We review two experiments which highlight the influence of strong Rydberg--Rydberg interactions on different many-body systems. First, the Rydberg blockade effect is used to pre-structure an atomic gas prior to its spontaneous evolution into an ultracold plasma. Second, hybrid states of photons and atoms called dark-state polaritons are studied. By looking at the statistical distribution of Rydberg excited atoms we reveal correlations between dark-state polaritons. These experiments will ultimately provide a deeper understanding of many-body phenomena in strongly-interacting regimes, including the study of strongly-coupled plasmas and interfaces between atoms and light at the quantum level.


title: Resonant exchange interaction in semiconductors

abstract: We present a non-perturbative calculation of indirect exchange interaction between two paramagnetic impurities via 2D free carriers gas separated by a tunnel barrier. The new method accounts for the impurity attractive potential producing a bound state. The calculations show that for if the bound impurity state energy lies within the energy range occupied by the free 2D carriers the indirect exchange interaction is strongly enhanced due to resonant tunneling and exceeds by a few orders of magnitude what one would expect from the conventional RKKY approach.


title: Placing Limits On The Transit Timing Variations Of Circumbinary Exoplanets

abstract: We present an efficient analytical method to predict the maximum transit timing variations of a circumbinary exoplanet, given some basic parameters of the host binary. We derive an analytical model giving limits on the potential location of transits for coplanar planets orbiting eclipsing binaries, then test it against numerical N-body simulations of a distribution of binaries and planets. We also show the application of the analytic model to Kepler-16b, -34b and -35b. The resulting method is fast, efficient and is accurate to approximately 1% in predicting limits on possible times of transits over a three-year observing campaign. The model can easily be used to, for example, place constraints on transit timing while performing circumbinary planet searches on large datasets. It is adaptable to use in situations where some or many of the planet and binary parameters are unknown.


title: A Formal Treatment of Sequential Ignorability

abstract: Taking a rigorous formal approach, we consider sequential decision problems involving observable variables, unobservable variables, and action variables. We can typically assume the property of extended stability, which allows identification (by means of G-computation) of the consequence of a specified treatment strategy if the unobserved variables are, in fact, observed - but not generally otherwise. However, under certain additional special conditions we can infer simple stability (or sequential ignorability), which supports G-computation based on the observed variables alone. One such additional condition is sequential randomization, where the unobserved variables essentially behave as random noise in their effects on the actions. Another is sequential irrelevance, where the unobserved variables do not influence future observed variables. In the latter case, to deduce sequential ignorability in full generality requires additional positivity conditions. We show here that these positivity conditions are not required when all variables are discrete.


title: Investigating the Detection of Adverse Drug Events in a UK General Practice Electronic Health-Care Database

abstract: Data-mining techniques have frequently been developed for Spontaneous reporting databases. These techniques aim to find adverse drug events accurately and efficiently. Spontaneous reporting databases are prone to missing information, under reporting and incorrect entries. This often results in a detection lag or prevents the detection of some adverse drug events. These limitations do not occur in electronic health-care databases. In this paper, existing methods developed for spontaneous reporting databases are implemented on both a spontaneous reporting database and a general practice electronic health-care database and compared. The results suggests that the application of existing methods to the general practice database may help find signals that have gone undetected when using the spontaneous reporting system database. In addition the general practice database provides far more supplementary information, that if incorporated in analysis could provide a wealth of information for identifying adverse events more accurately.


title: Application of a clustering framework to UK domestic electricity data

abstract: This paper takes an approach to clustering domestic electricity load profiles that has been successfully used with data from Portugal and applies it to UK data. Clustering techniques are applied and it is found that the preferred technique in the Portuguese work (a two stage process combining Self Organised Maps and Kmeans) is not appropriate for the UK data. The work shows that up to nine clusters of households can be identified with the differences in usage profiles being visually striking. This demonstrates the appropriateness of breaking the electricity usage patterns down to more detail than the two load profiles currently published by the electricity industry. The paper details initial results using data collected in Milton Keynes around 1990. Further work is described and will concentrate on building accurate and meaningful clusters of similar electricity users in order to better direct demand side management initiatives to the most relevant target customers.


title: Two Fluid Shear-Free Composites

abstract: Shear-free composite fluids are constructed from two Letelier rotated unaligned perfect fluids. The component fluid parameters necessary to construct a shear-free composite are investigated. A metric in the Stephani-Barnes solution family and a simple stationary metric are discussed.


title: Finite-key analysis for measurement-device-independent quantum key distribution

abstract: Quantum key distribution promises unconditionally secure communications. However, as practical devices tend to deviate from their specifications, the security of some practical systems is no longer valid. In particular, an adversary can exploit imperfect detectors to learn a large part of the secret key, even though the security proof claims otherwise. Recently, a practical approach---measurement-device-independent quantum key distribution---has been proposed to solve this problem. However, so far its security has only been fully proven under the assumption that the legitimate users of the system have unlimited resources. Here we fill this gap and provide a rigorous security proof against general attacks in the finite-key regime. This is obtained by applying large deviation theory, specifically the Chernoff bound, to perform parameter estimation. For the first time we demonstrate the feasibility of long-distance implementations of measurement-device-independent quantum key distribution within a reasonable time-frame of signal transmission.


title: New companions in the stellar systems of DI Cha, Sz 22, CHXR 32, and Cha Halpha 5 in the Cha I star-forming region

abstract: The star-forming regions in Chamaeleon (Cha) are among the nearest (distance ~165 pc) and youngest (age ~2 Myrs) conglomerates of recently formed stars and among the ideal targets for studies of star formation. We search for new, hitherto unknown binary or multiple-star components and investigate their membership in Cha and their gravitationally bound nature. We used the NACO instrument at the VLT UT 4/YEPUN of the Paranal Observatory, at 2 or 3 different epochs, in order to obtain relative and absolute astrometric measurements, as well as differential photometry in the J, H, and Ks band. On the basis of known proper motions and these observations, we analysed the astrometric results in proper motion diagrams to eliminate possible (non-moving) background stars and establish co-moving binaries and multiples. DI Cha turns out to be a quadruple system with a hierachical structure, consisting of two binaries: a G2/M6 pair and a co-moving pair of two M5.5 dwarfs. For both pairs we detected orbital motion (P~130 and ~65 years), although in opposite directions. Sz 22 is a binary whose main component is embedded in a circumstellar disc or reflection nebula, accompanied by a co-moving M4.5 dwarf. CHXR 32 is a triple system, consisting of a single G5 star, weakened by an edge-on disc and a co-moving pair of M1/M3.5 dwarfs whose components show significant variations in their angular separation. Finally, Cha Halpha 5 is a binary consisting of two unresolved M6.5 dwarfs whose strong variations in position angle at its projected separation of only 8 AU imply an orbital period of ~46 years. DI Cha D and Cha Halpha 5 A&B are right at the stellar mass limit and could possibly be brown dwarfs. In spite of various previously published studies of the star-forming regions in Cha we found four hitherto unknown components in young low-mass binaries and multiple systems. (abridged)


title: Discord in relation to resource states for measurement-based quantum computation

abstract: We consider the issue of what should count as a resource for measurement-based quantum computation (MBQC). While a state that supports universal quantum computation clearly should be considered a resource, universality should not be necessary given the existence of interesting, but less computationally-powerful, classes of MBQCs. Here, we propose minimal criteria for a state to be considered a resource state for MBQC. Using these criteria, we explain why discord-free states cannot be resources for MBQC, contrary to recent claims [Hoban et al., arXiv:1304.2667v1]. Independently of our criteria, we also show that the arguments of Hoban et al., if correct, would imply that Shor's algorithm (for example) can be implemented by measuring discord-free states.


title: X-ray Observations of the Supernova Remnant CTB 87 (G74.9+1.2): An Evolved Pulsar Wind Nebula

abstract: Pulsar wind nebulae (PWNe) studies with the Chandra X-ray Observatory have opened a new window to address the physics of pulsar winds, zoom on their interaction with their hosting supernova remnant (SNR) and interstellar medium, and identify their powering engines. We here present a new 70 ks, plus an archived 18 ks, Chandra ACIS observation of the SNR CTB 87 (G74.9+1.2), classified as a PWN with unusual radio properties and poorly studied in X-rays. We find that the peak of the X-ray emission is clearly offset from the peak of the radio emission by ~100" and located at the southeastern edge of the radio nebula. We detect a point source - the putative pulsar - at the peak of the X-ray emission and study its spectrum separately from the PWN. This new point source, CXOU J201609.2+371110, is surrounded by a compact nebula displaying a torus-like structure and possibly a jet. A more extended diffuse nebula is offset from the radio nebula, extending from the point source to the northwest for ~250" The spectra of the point source, compact nebula and extended diffuse nebula are all well described by a power law model with a photon index of 1.1 (0.7-1.6), 1.2 (0.9-1.4) and 1.7 (1.5-1.8), respectively, for a column density N_H = 1.38 (1.21-1.57) x 10^22 cm^-2 (90% confidence). The total X-ray luminosity of the source is ~1.6 x 10^34 erg s^-1 at an assumed distance of 6.1 kpc, with ~2% and 6% contribution from the point source and compact nebula, respectively. The observed properties suggest that CTB 87 is an evolved (~5-28 kyr) PWN, with the extended radio emission likely a `relic' PWN, as in Vela-X and G327.1-1.1. To date, however, there is no evidence for thermal X-ray emission from this SNR, and the SNR shell is still missing, suggesting expansion into a low-density medium (n_0 < 0.2 cm^-3, assuming D = 6.1 kpc), likely caused by a stellar wind bubble blown by the progenitor star.


title: The B-model connection and mirror symmetry for Grassmannians

abstract: We consider the Grassmannian X of (n-k)-dimensional subspaces of an n-dimensional complex vector space. We describe a `mirror dual' Landau-Ginzburg model for X consisting of the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian together with a superpotential expressed succinctly in terms of Pl\"ucker coordinates. First of all, we show this Landau-Ginzburg model to be isomorphic to the one proposed by the second author. Secondly we show it to be a partial compactification of the Landau-Ginzburg model defined in the 1990s by Eguchi, Hori, and Xiong. Finally we construct inside the Gauss-Manin system associated to the superpotential a free submodule which recovers the trivial vector bundle with small Dubrovin connection defined out of Gromov-Witten invariants of X. We also prove a T-equivariant version of this isomorphism of connections. Our results imply in the case of Grassmannians an integral formula for a solution to the quantum cohomology D-module of a homogeneous space, which was conjectured by the second author. They also imply a series expansion of the top term in Givental's J-function, which was conjectured in a 1998 paper by Batyrev, Ciocan-Fontaine, Kim and van Straten.