title: A gradient descent technique coupled with a dynamic simulation to determine the near optimum orientation of floor plan designs

abstract: A prototype tool to assist architects during the early design stage of floor plans has been developed, consisting of an Evolutionary Program for the Space Allocation Problem (EPSAP), which generates sets of floor plan alternatives according to the architect's preferences; and a Floor Plan Performance Optimization Program (FPOP), which optimizes the selected solutions according to thermal performance criteria. The design variables subject to optimization are window position and size, overhangs, fins, wall positioning, and building orientation. A procedure using a transformation operator with gradient descent, such as behavior, coupled with a dynamic simulation engine was developed for the thermal evaluation and optimization process. However, the need to evaluate all possible alternatives regarding designing variables being used during the optimization process leads to an intensive use of thermal simulation, which dramatically increases the simulation time, rendering it unpractical. An alternative approach is a smart optimization approach, which utilizes an oriented and adaptive search technique to efficiently find the near optimum solution. This paper presents the search methodology for the building orientation of floor plan designs, and the corresponding efficiency and effectiveness indicators. The calculations are based on 100 floor plan designs generated by EPSAP. All floor plans have the same design program, location, and weather data, changing only their geometry. Dynamic simulation of buildings was effectively used together with the optimization procedure in this approach to significantly improve the designs. The use of the orientation variable has been included in the algorithm.


title: A frame energy for immersed tori and applications to regular homotopy classes

abstract: The paper is devoted to study the Dirichelet energy of moving frames on 2-dimensional tori immersed in the euclidean $3\leq m$-dimensional space. This functional, called Frame energy, is naturally linked to the Willmore energy of the immersion and on the conformal structure of the abstract underlying surface. As first result, a Willmore-conjecture type lower bound is established : namely for every torus immersed in $\R^m$, $m\geq 3$, and any moving frame on it, the frame energy is at least $2\pi^2$ and equalty holds if and only if $m\geq 4$, the immersion is the standard Clifford torus (up to rotations and dilations), and the frame is the flat one. Smootheness of the critical points of the frame energy is proved after the discovery of hidden conservation laws and, as application, the minimization of the Frame energy in regular homotopy classes of immersed tori in $\R^3$ is performed.


title: Randomized algorithms for Generalized Hermitian Eigenvalue Problems with application to computing Karhunen-Lo\`{e}ve expansion

abstract: We describe randomized algorithms for computing the dominant eigenmodes of the Generalized Hermitian Eigenvalue Problem (GHEP) $Ax=\lambda Bx$, with $A$ Hermitian and $B$ Hermitian and positive definite. The algorithms we describe only require forming operations $Ax$, $Bx$ and $B^{-1}x$ and avoid forming square-roots of $B$ (or operations of the form, $B^{1/2}x$ or $B^{-1/2}x$). We provide a convergence analysis and a posteriori error bounds that build upon the work of~\cite{halko2011finding,liberty2007randomized,martinsson2011randomized} (which have been derived for the case $B=I$). Additionally, we derive some new results that provide insight into the accuracy of the eigenvalue calculations. The error analysis shows that the randomized algorithm is most accurate when the generalized singular values of $B^{-1}A$ decay rapidly. A randomized algorithm for the Generalized Singular Value Decomposition (GSVD) is also provided. Finally, we demonstrate the performance of our algorithm on computing the Karhunen-Lo\`{e}ve expansion, which is a computationally intensive GHEP problem with rapidly decaying eigenvalues.


title: Localisations of cobordism categories and invertible TFTs in dimension two

abstract: Cobordism categories have played an important role in classical geometry and more recently in mathematical treatments of quantum field theory. Here we will compute localisations of two-dimensional discrete cobordism categories. This allows us, up to equivalence, to determine the category of invertible two-dimensional topological field theories in the sense of Atiyah. We are able to treat the orientable, non-orientable, closed and open cases.


title: Sequential Transfer in Multi-armed Bandit with Finite Set of Models

abstract: Learning from prior tasks and transferring that experience to improve future performance is critical for building lifelong learning agents. Although results in supervised and reinforcement learning show that transfer may significantly improve the learning performance, most of the literature on transfer is focused on batch learning tasks. In this paper we study the problem of \textit{sequential transfer in online learning}, notably in the multi-armed bandit framework, where the objective is to minimize the cumulative regret over a sequence of tasks by incrementally transferring knowledge from prior tasks. We introduce a novel bandit algorithm based on a method-of-moments approach for the estimation of the possible tasks and derive regret bounds for it.


title: Casimir interaction at liquid nitrogen temperature: Comparison between experiment and theory

abstract: We have measured the normalized gradient of the Casimir force between Au-coated surfaces of the sphere and the plate and equivalent Casimir pressure between two parallel Au plates at T=77K. These measurements have been performed by means of dynamic force microscope adapted for operating at low temperatures in the frequency shift technique. It was shown that the measurement results at T=77K are in a very good agreement with those at T=300K and with computations at T=77K using both theoretical approaches to the thermal Casimir force proposed in the literature. No thermal effect in the Casimir pressure was observed in the limit of experimental errors with the increase of temperature from T=77K to T=300K. Taking this into account, we have discussed the possible role of patch potentials in the comparison between measured and calculated Casimir pressures.


title: Contextualizing the global relevance of local land change observations

abstract: To understand global changes in the Earth system, scientists must generalize globally from observations made locally and regionally. In land change science (LCS), local field-based observations are costly and time consuming, and generally obtained by researchers working at disparate local and regional case-study sites chosen for different reasons. As a result, global synthesis efforts in LCS tend to be based on non-statistical inferences subject to geographic biases stemming from data limitations and fragmentation. Thus, a fundamental challenge is the production of generalized knowledge that links evidence of the causes and consequences of local land change to global patterns and vice versa. The GLOBE system was designed to meet this challenge. GLOBE aims to transform global change science by enabling new scientific workflows based on statistically robust, globally relevant integration of local and regional observations using an online social-computational and geovisualization system. Consistent with the goals of Digital Earth, GLOBE has the capability to assess the global relevance of local case-study findings within the context of over 50 global biophysical, land-use, climate, and socio-economic datasets. We demonstrate the implementation of one such assessment - a representativeness analysis - with a recently published meta-study of changes in swidden agriculture in tropical forests. The analysis provides a standardized indicator to judge the global representativeness of the trends reported in the meta-study, and a geovisualization is presented that highlights areas for which sampling efforts can be reduced and those in need of further study. GLOBE will enable researchers and institutions to rapidly share, compare, and synthesize local and regional studies within the global context, as well as contributing to the larger goal of creating a Digital Earth.


title: Investigating individual arsenic dopant atoms in silicon using low-temperature scanning tunnelling microscopy

abstract: We study sub-surface arsenic dopants in a hydrogen terminated Si(001) sample at 77 K, using scanning tunnelling microscopy and spectroscopy. We observe a number of different dopant related features that fall into two classes, which we call As1 and As2. When imaged in occupied states the As1 features appear as anisotropic protrusions superimposed on the silicon surface topography, and have maximum intensities lying along particular crystallographic orientations. In empty-state images the features all exhibit long-range circular protrusions. The images are consistent with buried dopants that are in the electrically neutral (D0) charge state when imaged in filled states, but become positively charged (D+) through electrostatic ionisation when imaged under empty state conditions, similar to previous observations of acceptors in GaAs. Density functional theory (DFT) calculations predict that As dopants in the third layer of the sample induce two states lying just below the conduction band edge, which hybridize with the surface structure creating features with the surface symmetry consistent with our STM images. The As2 features have the surprising characteristic of appearing as a protrusion in filled state images and an isotropic depression in empty state images, suggesting they are negatively charged at all biases. We discuss the possible origins of this feature.


title: The Renormalization Group for Disordered Systems

abstract: In this thesis we investigate the Renormalization Group (RG) approach in finite-dimensional glassy systems, whose critical features are still not well-established, or simply unknown. We focus on spin and structural-glass models built on hierarchical lattices, which are the simplest non-mean-field systems where the RG framework emerges in a natural way. The resulting critical properties shed light on the critical behavior of spin and structural glasses beyond mean field, and suggest future directions for understanding the criticality of more realistic glassy systems.


title: Unipotent representations of Lie incidence geometries

abstract: If a geometry $\Gamma$ is isomorphic to the residue of a point $A$ of a shadow geometry of a spherical building $\Delta$, a representation $\varepsilon_\Delta^A$ of $\Gamma$ can be given in the unipotent radical $U_{A^*}$ of the stabilizer in $\mathrm{Aut}(\Delta)$ of a flag $A^*$ of $\Delta$ opposite to $A$, every element of $\Gamma$ being mapped onto a suitable subgroup of $U_{A^*}$. We call such a representation a unipotent representation. We develope some theory for unipotent representations and we examine a number of interesting cases, where a projective embedding of a Lie incidence geometry $\Gamma$ can be obtained as a quotient of a suitable unipotent representation $\varepsilon_\Delta^A$ by factorizing over the derived subgroup of $U_{A^*}$, while $\varepsilon^A_\Delta$ itself is not a proper quotient of any other representation of $\Gamma$.


title: Dani's Work on Dynamical Systems on Homogeneous Spaces

abstract: In honor of S.G.Dani's 65th birthday, we describe some of his many contributions to the theory and applications of dynamical systems on homogeneous spaces, with emphasis on unipotent flows.


title: The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes

abstract: We investigate the hierarchical structure of processes using the mathematical theory of operads. Information or material enters a given process as a stream of inputs, and the process converts it to a stream of outputs. Output streams can then be supplied to other processes in an organized manner, and the resulting system of interconnected processes can itself be considered a macro process. To model the inherent structure in this kind of system, we define an operad $\mathcal{W}$ of black boxes and directed wiring diagrams, and we define a $\mathcal{W}$-algebra $\mathcal{P}$ of processes (which we call propagators, after Radul and Sussman). Previous operadic models of wiring diagrams use undirected wires without length, useful for modeling static systems of constraints, whereas we use directed wires with length, useful for modeling dynamic flows of information. We give multiple examples throughout to ground the ideas.


title: On the Schr\"odinger equation with singular potentials

abstract: We study the Cauchy problem for the non-linear Schr\"odinger equation with singular potentials. For point-mass potential and nonperiodic case, we prove existence and asymptotic stability of global solutions in weak-L^{p} spaces. Specific interest is give to the point-like $\delta$ and $\delta'$ impurity and for two $\delta$-interactions in one dimension. We also consider the periodic case which is analyzed in a functional space based on Fourier transform and local-in-time well-posedness is proved.


title: Rigidification of Homotopy Algebras over Finite Product Sketches

abstract: Multi-sorted algebraic theories provide a formalism for describing various structures on spaces that are of interest in homotopy theory. The results of Badzioch and Bergner showed that an interesting feature of this formalism is the following rigidification property. Every multi-sorted algebraic theory defines a category of homotopy algebras, i.e. a category of spaces equipped with certain structure that is to some extent homotopy invariant. Each such homotopy algebra can be replaced by a weakly equivalent strict algebra which is a purely algebraic structure on a space. The equivalence between the homotopy categories of loop spaces and topological groups is a special instance of this result. In this paper we will introduce the notion of a finite product sketch which is a useful generalization of a multi-sorted algebraic theory. We will show that in the setting of finite product sketches we can still obtain results paralleling these of Badzioch and Bergner, although a rigidification of a homotopy algebra over a finite product sketch is given by a strict algebra over an associated multi-sorted algebraic theory.


title: Searching for TeV emission from GRBs: the status of the H.E.S.S. GRB programme

abstract: H.E.S.S. is an array of five Imaging Atmospheric Cherenkov Telescopes (IACTs) located 1800 m above sea level in the Khomas Highland of Namibia and is sensitive to very-high-energy (VHE) gamma rays between tens of GeV to tens of TeV. The very-high background rejection capabilities of IACTs provide excellent sensitivity of H.E.S.S. to GRBs. In this contribution the status of the H.E.S.S. GRB programme, already started in 2003, is reviewed. A highlight is the recent addition of the fifth telescope, which is the world's largest IACT. Its 600 square metre mirror lowers the energy threshold to tens of GeV and provides an effective area that is ten thousands of times larger than Fermi-LAT at these energies. The higher performance drive system will reduce the response time to a GRB alert, which will significantly enhance the chances of a H.E.S.S. GRB detection. Recent results on selected GRBs will be shown.


title: Correlations of the upper branch of 1d harmonically trapped two-component Fermi gases

abstract: We present highly-accurate energy spectra and eigen functions of small 1d harmonically trapped two-component Fermi gases with interspecies $\delta$-function interactions, and analyze the correlations of the so-called upper branch (i.e., the branch that describes a repulsive Fermi gas consisting of atoms but no molecules) for positive and negative coupling constants. Changes of the two-body correlations as a function of the interspecies coupling strength reflect the competition of the interspecies interaction and the effective repulsion due to the Pauli exclusion principle, and are interpreted as a few-body analog of a transition from a non-magnetic to a magnetic phase. Moreover, we show that the eigenstate $\psi_{\rm{adia}}$ of the infinitely strongly-interacting system with $|n_1+n_2|>2$ and $|n_1-n_2| < n$ ($n_1$ and $n_2$ denote the number of fermions of components 1 and 2, respectively), which is reached experimentally by adiabatically changing the system parameters, does not, as previously proposed, coincide with the wave function $\psi_{\rm{G}}$ obtained by applying a generalized Fermi-Fermi mapping function to the eigen function of the non-interacting single-component Fermi gas.


title: Universal scaling function for the two-dimensional Ising model in an external field: A pragmatic approach

abstract: We report an effective functional form for the spin-spin correlation function of the 2D Ising model as a function of temperature and field. Although the Ising model has been well studied, no analytical result for the spin-spin correlation function exists for arbitrary magnetic fields and temperatures. We show the validity of our form by comparison with simulations using the Wolff algorithm, and obtain remarkable precision by including analytic corrections to scaling. Given recent interest in comparing biomembrane heterogeneity to Ising criticality, our spin-spin correlation function may be used as a predictive quantitative measure for FRET or NMR membrane experiments.

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


title: Contributions of the W-boson propagator to muon and tau leptonic decay rates

abstract: We derive closed expressions and useful expansions for the contributions of the tree-level W-boson propagator to the the muon and tau leptonic decay rates. Calling M and m the masses of the initial and final charged leptons, our results in the limit m=0 are valid to all orders in M^2/M_W^2. In the terms of O(m_j^2/M_W^2) (m_j=M,m), our leading corrections, of O(M^2/M_W^2), agree with the canonical value (3/5) M^2/M_W^2, while the coefficient of our subleading contributions, of O(m^2/M_W^2), differs from that reported in the recent literature. A possible explanation of the discrepancy is presented. The numerical effect of the O(m_j^2/M_W^2) corrections is briefly discussed. A general expression, valid for arbitrary values of M_W, M and m in the range M_W>M>m, is given in the Appendix. The paper also contains a review of the traditional definition and evaluation of the Fermi constant.


title: Specification Construction Using Behaviours, Equivalences, and SMT Solvers

abstract: We propose a method to write and check a specification including quantifiers using behaviors, i.e., input-output pairs. Our method requires the following input from the user: (1) answers to a finite number of queries, each of which presents some behavior to the user, who responds informing whether the behavior is "correct" or not; and (2) an "equivalence" theory (set of formulae), which represents the users opinion about which pairs of behaviors are equivalent with respect to the specification; and (3) a "vocabulary", i.e., a set of formulae which provide the basic building blocks for the specification to be written. Alternatively, the user can specify a type theory and a simple relational grammar, and our method can generate the vocabulary and equivalence theories. Our method automatically generates behaviors using a satisfiability modulo theory solver. Since writing a specification consists of formalizing ideas that are initially informal, there must, by definition, be at least one "initial" step where an informal notion is formalized by the user in an ad hoc manner. This step is the provision of the equivalence theory and vocabulary; we call it the primitive formalization step. We contend that it is considerably easier to write an equivalence theory and vocabulary than to write a full-blown formal specification from scratch, and we provide experimental evidence for this claim. We also show how vocabularies can be constructed hierarchically, with a specification at one level providing vocabulary material for the next level.


title: Alpha-clustered hypernuclei and chiral SU(3) dynamics

abstract: Light hypernuclei with an $\alpha$ cluster substructure of the core nucleus are studied using an accurate cluster approach (the Hyper-THSR wave function) in combination with a density-dependent $\Lambda$ hyperon-nuclear interaction derived from chiral SU(3) effective field theory. This interaction includes important two-pion exchange processes involving $\Sigma N$ intermediate states and associated three-body mechanisms as well as effective mass and surface terms arising in a derivative expansion of the in-medium $\Lambda$ self-energy. Applications and calculated results are presented and discussed for $_\Lambda^9$Be and $^{13}_\Lambda$C. Furthermore, the result of the lightest $\alpha$ clustered hypernucleus, $^5_{\Lambda}$He using realistic $ab initio$ four nucleon density is shown.


title: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics

abstract: This volume contains the proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and the 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013) which was held on 26th August, 2013 in Buenos Aires, Argentina, as an affiliated workshop of CONCUR 2013, the 24th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed. The SOS workshops aim at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the SOS workshop series is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. Reports on applications of SOS to other fields are also most welcome, including: modelling and analysis of biological systems, security of computer systems programming, modelling and analysis of embedded systems, specification of middle-ware and coordination languages, programming language semantics and implementation, static analysis software and hardware verification, and semantics for domain-specific languages and model-based engineering.


title: The G305 star-forming complex: radio continuum and molecular line observations

abstract: We present 109-115 GHz (3 mm) wide-field spectral line observations of 12^CO, 13^CO and C^18O J=1-0 molecular emission and 5.5 and 8.8 GHz (6 and 3 cm) radio continuum emission towards the high-mass star forming complex known as G305. The morphology of G305 is dominated by a large evacuated cavity at the centre of the complex driven by clusters of O stars surrounded by molecular gas. Our goals are to determine the physical properties of the molecular environment and reveal the relationship between the molecular and ionised gas and star formation in G305. This is in an effort to characterise the star-forming environment and constrain the star formation history in an attempt to evaluate the impact of high-mass stars on the evolution of the G305 complex. Analysis of CO emission in G305 reveals 156 molecular clumps with the following physical characteristics. The 5.5 and 8.8GHz radio continuum emission reveals an extended low surface brightness ionised environment within which we identify 15 large-scale features with a further eight smaller sources projected within these features. By comparing to mid infrared emission and archival data, we identify nine HII regions, seven compact HII regions, one UC HII region, four extended regions. The total integrated flux of the radio continuum emission at 5.5 GHz is ~180 Jy corresponding to a Lyman continuum output of 2.4x10^50 photons s^-1. We compare the ionised and molecular environment with optically identified high-mass stars and ongoing star formation, identified from the literature. Analysis of this dataset reveals a star formation rate of 0.008--0.016 and efficiency of 7--12%, allows us to probe the star formation history of the region and discuss the impact of high-mass stars on the evolution of G305.


title: Matrix elements of one-body and two-body operators between arbitrary HFB multi-quasiparticle states

abstract: We present new formulae for the matrix elements of one-body and two-body physical operators in compact forms, which are applicable to arbitrary Hartree-Fock-Bogoliubov wave functions, including those for multi-quasiparticle excitations. The test calculations show that our formulae may substantially accelerate the process of symmetry restoration when applied to the heavy nuclear system.


title: A Simulation of the Optical Attenuation of TPB Coated Light-guide Detectors

abstract: This note describes simple simulations which were performed in order to understand the attenuation behaviors of acrylic light-guides operated in air and argon, which were characterized in \cite{Baptista:2012bf}. Whilst these simulations are only at the level of sophistication of a toy model, they illustrate interesting non-exponential light attenuation effects and the differences between operating light-guide based detectors in argon and air environments. We investigate the effects of surface absorption, surface roughness and wavelength dependence, and use a model tuned on the light-guide attenuation curve measured in air to make a prediction of the light-guide attenuation curve in argon. This curve is compared with data from a liquid argon test stand, and an improvement over a simple exponential model is observed.


title: On the redshift of the gamma-ray blazar PKS 0447-439: Optical spectroscopy using Gemini observations with high S/N ratio

abstract: The BL-Lac blazar PKS 0447-439 was detected at very high energy gamma-rays by HESS following the discovery by Fermi-LAT. The lack of both emission and absorption lines in BL-Lacs make the estimation of their redshifts very difficult. Modeling the drop in gamma-ray spectra it was possible to have an estimation of redshift for PKS 0447-439 of z approx 0.2, which is compatible with the value z=0.205 reported by the identification of Ca II absorption lines in optical spectra. By the identification of a weak line of Mg II using spectra with average signal-to-noise S/N approx 80, it has been recently reported a lower limit for the redshift of this blazar of z<=1.246. Triggered by this controversy, we have proposed new optical observations with the Gemini South telescope to perform further spectroscopic analysis with very high S/N ratio (approx 200-500). In this work we present a new optical spectrum of PKS 0447-439, and report on the analysis and results of such observations. Even with this significantly high quality signal we were not able to identify any spectral features to allow an estimation of the redshift. In agreement with other recent studies, we identify the Mg II line reported previously as originated in the Earth's atmosphere, and conclude the lower limit of the redshift is incorrect. More interestingly, we could not identify the Ca II absorption lines used to report a redshift of 0.205.


title: Reconstructing top quarks at the upgraded LHC and at future accelerators

abstract: This report describes the studies performed for the Snowmass "Top algorithms and detectors" High Energy Frontier Study Group.


title: Narrow linewidth Brillouin laser based on chalcogenide photonic chip

abstract: We present the first demonstration of a narrow linewidth, waveguide-based Brillouin laser which is enabled by large Brillouin gain of a chalcogenide chip. The waveguides are equipped with vertical tapers for low loss coupling. Due to optical feedback for the Stokes wave, the lasing threshold is reduced to 360 mW, which is 5 times lower than the calculated single-pass Brillouin threshold for the same waveguide. The slope efficiency of the laser is found to be 30% and the linewidth of 100 kHz is measured using a self-heterodyne method.


title: Formation, orbital and thermal evolution, and survival of planetary-mass clumps in the early phase of circumstellar disk evolution

abstract: We report the results of our three-dimensional radiation hydrodynamics simulation of collapsing unmagnetized molecular cloud cores. We investigate the formation and evolution of the circumstellar disk and the clumps formed by disk fragmentation. Our simulation shows that disk fragmentation occurs in the early phase of circumstellar disk evolution and many clumps form. The clump can be represented by a polytrope sphere of index $n \sim 3$ and $n \gtrsim 4$ at central temperature $T_c \lesssim100$ K and $T_c \gtrsim 100$ K, respectively. We demonstrate, numerically and theoretically, that the maximum mass of the clump, beyond which it inevitably collapses, is $\sim 0.03 M_{\odot}$. The entropy of the clump increases during its evolution, implying that evolution is chiefly determined by mass accretion from the disk rather than by radiative cooling. Although most of the clumps rapidly migrate inward and finally fall onto the protostar, a few clumps remain in the disk. The central density and temperature of the surviving clump rapidly increase and the clump undergoes a second collapse within 1000 - 2000 years after its formation. In our simulation, three second cores of masses $0.2\msun$, $0.15\msun$, and $0.06\msun$ formed. These are protostars or brown dwarfs rather than protoplanets. For the clumps to survive as planetary-mass objects, the rapid mass accretion should be prevented by some mechanisms.


title: Relativistic Jet Properties of GeV-TeV Blazars and Possible Implications for the Jet Formation, Composition, and Cavity Kinematics

abstract: We fit the spectral energy distributions (SEDs) of a GeV-TeV FSRQ sample with the leptonic model. Their gamma_min of the relativistic electron distributions, which significantly affect the estimates of the jet properties, are constrained, with a typical value of 48. Their jet power, magnetized parameter, radiation efficiency, and jet production/radiation rates per central black hole (BH) mass are derived and compared to that of BL Lacs. We show that he FSRQ jets may be dominated by the Poynting flux and have a high radiation efficiency, whereas the BL Lac jets are likely dominated by particles and have a lower radiation efficiency than FSRQs. Being different from BL Lacs, the jet powers of FSRQs are proportional to their central BH masses. The jet production and radiation rates of the FSRQs distribute in narrow ranges and are correlated with each other, whereas no similar feature is found for the BL Lacs. We also show that the jet power is correlated with the cavity kinetic power, and the magnetic field energy in the jets may provide the cavity kinetic energy of FSRQs and the kinetic energy of cold protons in the jets may be crucial for cavity kinetic energy of BL Lacs. We suggest that the dominating formation mechanism of FSRQ jets may be the BZ process, but BL Lac jets may be produced via the BP and/or BZ processes, depending on the structures and accretion rates of accretion disks.


title: Zitterbewegung in Bogoliubov's System

abstract: We show that Bogoliubov's quasiparticle in superfluid $^3He-B$ undergoes the Zitterbewegung, as a free relativistic Dirac's electron does. The expectation value of position, as well as spin, of the quasiparticle is obtained and compared with that of the Dirac's electron. In particular, the Zitterbewegung of Bogoliubov's quasiparticle has a frequency approximately $10^5$ lower than that of an electron, rendering a more promising experimental observation.


title: Coupling Electromagnetism to Global Charge

abstract: It is shown that an alternative to the standard scalar QED is possible. In this new version there is only global gauge invariance as far as the charged scalar fields are concerned although local gauge invariance is kept for the electromagnetic field. The electromagnetic coupling has the form $j_\mu (A^{\mu} +\partial^{\mu}B)$ where $B$ is an auxiliary field and the current $j_\mu$ is $A_{\mu}$ independent so that no "sea gull terms" are introduced. In a model of this kind spontaneous breaking of symmetry does not lead to photon mass generation, instead the Goldstone boson becomes a massless source for the electromagnetic field. Infrared questions concerning the theory when spontaneous symmetry breaking takes place and generalizations to global vector QED are discussed. In this framework Q-Balls and other non topological solitons that owe their existence to a global U(1) symmetry can be coupled to electromagnetism and could represent multiply charged particles now in search in the LHC. Furthermore, we give an example where an "Emergent" Global Scalar QED can appear from an axion photon system in an external magnetic field. Finally, formulations of Global scalar QED that allow perturbative expansions without sea gulls are developed.


title: Edge effects in game theoretic dynamics of spatially structured tumours

abstract: Background: Analysing tumour architecture for metastatic potential usually focuses on phenotypic differences due to cellular morphology or specific genetic mutations, but often ignore the cell's position within the heterogeneous substructure. Similar disregard for local neighborhood structure is common in mathematical models. Methods: We view the dynamics of disease progression as an evolutionary game between cellular phenotypes. A typical assumption in this modeling paradigm is that the probability of a given phenotypic strategy interacting with another depends exclusively on the abundance of those strategies without regard local heterogeneities. We address this limitation by using the Ohtsuki-Nowak transform to introduce spatial structure to the go vs. grow game. Results: We show that spatial structure can promote the invasive (go) strategy. By considering the change in neighbourhood size at a static boundary -- such as a blood-vessel, organ capsule, or basement membrane -- we show an edge effect that allows a tumour without invasive phenotypes in the bulk to have a polyclonal boundary with invasive cells. We present an example of this promotion of invasive (EMT positive) cells in a metastatic colony of prostate adenocarcinoma in bone marrow. Interpretation: Pathologic analyses that do not distinguish between cells in the bulk and cells at a static edge of a tumour can underestimate the number of invasive cells. We expect our approach to extend to other evolutionary game models where interaction neighborhoods change at fixed system boundaries.


title: A note on the singularity category of an endomorphism ring

abstract: We propose the notion of partial resolution of a ring, which is by definition the endomorphism ring of a certain generator of the given ring. We prove that the singularity category of the partial resolution is a quotient of the singularity category of the given ring. Consequences and examples are given.


title: Luhman 16AB: A Remarkable, Variable L/T Transition Binary 2 pc from the Sun

abstract: Luhman (2013) has reported the discovery of a brown dwarf binary system only 2.01+/-0.15 pc from the Sun. The binary is well-resolved with a projected separation of 1.5", and spectroscopic observations have identified the components as late-L and early-T dwarfs. The system exhibits several remarkable traits, including a "flux reversal", where the T dwarf is brighter over 0.9-1.3 micron but fainter at other wavelengths; and significant (~10%) short-period (~4.9 hr) photometric variability with a complex light curve. These observations suggest spatial variations in condensate cloud structure, which is known to evolve substantially across the L dwarf/T dwarf transition. Here we report preliminary results from a multi-site monitoring campaign aimed at probing the spectral and temporal properties of this source. Focusing on our spectroscopic observations, we report the first detections of NIR spectral variability, present detailed analysis of K I lines that confirm differences in condensate opacity between the components; and preliminary determinations of radial and rotational velocities based on high-resolution NIR spectroscopy.


title: On convergence of general wavelet decompositions of nonstationary stochastic processes

abstract: The paper investigates uniform convergence of wavelet expansions of Gaussian random processes. The convergence is obtained under simple general conditions on processes and wavelets which can be easily verified. Applications of the developed technique are shown for several classes of stochastic processes. In particular, the main theorem is adjusted to the fractional Brownian motion case. New results on the rate of convergence of the wavelet expansions in the space $C([0,T])$ are also presented.


title: Status and New Ideas Regarding Liquid Argon Detectors

abstract: Large (up to $\sim 100$ kt) liquid argon time-projection chamber detectors are presently being considered for proton decay searches and neutrino astrophysics, as well as for far detectors for the next generation of long-baseline neutrino oscillation experiments that aim to determine neutrino mass hierarchy and search for CP violation in the leptonic sector. These detectors rely on the capabilities to assemble large volumes of LAr in ultrahigh-purity conditions, possibly in an underground environment, and to achieve relatively long drifts for the ionization charge. Several proposals have been developed, each of which takes a different approach to the design of the cryogenic vessels and has different scales of modularity to reach the final mass dictated by physics. New detector concepts, with innovative designs of readout electronics and novel methods for the readout of the ionization charge and scintillation light, have been proposed.


title: Convergence of a Second Order Markov Chain

abstract: In this paper, we consider convergence properties of a second order Markov chain. Similar to a column stochastic matrix is associated to a Markov chain, a so called {\em transition probability tensor} $P$ of order 3 and dimension $n$ is associated to a second order Markov chain with $n$ states. For this $P$, define $F_P$ as $F_P(x):=Px^{2}$ on the $n-1$ dimensional standard simplex $\Delta_n$. If 1 is not an eigenvalue of $\nabla F_P$ on $\Delta_n$ and $P$ is irreducible, then there exists a unique fixed point of $F_P$ on $\Delta_n$. In particular, if every entry of $P$ is greater than $\frac{1}{2n}$, then 1 is not an eigenvalue of $\nabla F_P$ on $\Delta_n$. Under the latter condition, we further show that the second order power method for finding the unique fixed point of $F_P$ on $\Delta_n$ is globally linearly convergent and the corresponding second order Markov process is globally $R$-linearly convergent.


title: Droplets moving on a fluid surface: interference pattern from two slits

abstract: The Feynman path integral approach for solving the motion of a droplet along a silicon oil surface is developed by replacing the Planck constant by a surrogate parameter. The latter is proportional to the surface tension of the silicon oil multiplied by the area of the thin air film, separating the droplet from the oil, and by the half-period of the Faraday oscillations. It is shown that the Navier-Stokes equation together with the mass conservation equation can be reduced to the Schr\"{o}dinger equation when the surrogate parameter replaces the Planck constant. The Feynman path integral underlying the Schr\"{o}dinger equation is used then to calculate a wave function that plays the role of the de Broglie pilot-wave.


title: Memcapacitive neural networks

abstract: We show that memcapacitive (memory capacitive) systems can be used as synapses in artificial neural networks. As an example of our approach, we discuss the architecture of an integrate-and-fire neural network based on memcapacitive synapses. Moreover, we demonstrate that the spike-timing-dependent plasticity can be simply realized with some of these devices. Memcapacitive synapses are a low-energy alternative to memristive synapses for neuromorphic computation.


title: Superadiabatic dynamics in open quantum systems

abstract: We extend the concept of superadiabatic dynamics, or transitionless quantum driving, to quantum open systems whose evolution is governed by a master equation in the Lindblad form. We provide the general framework needed to determine the control strategy required to achieve superadiabaticity. We apply our formalism to two examples consisting of a two-level system coupled to environments with time-dependent bath operators.


title: A Deterministic Construction of Projection matrix for Adaptive Trajectory Compression

abstract: Compressive Sensing, which offers exact reconstruction of sparse signal from a small number of measurements, has tremendous potential for trajectory compression. In order to optimize the compression, trajectory compression algorithms need to adapt compression ratio subject to the compressibility of the trajectory. Intuitively, the trajectory of an object moving in starlight road is more compressible compared to the trajectory of a object moving in winding roads, therefore, higher compression is achievable in the former case compared to the later. We propose an in-situ compression technique underpinning the support vector regression theory, which accurately predicts the compressibility of a trajectory given the mean speed of the object and then apply compressive sensing to adapt the compression to the compressibility of the trajectory. The conventional encoding and decoding process of compressive sensing uses predefined dictionary and measurement (or projection) matrix pairs. However, the selection of an optimal pair is nontrivial and exhaustive, and random selection of a pair does not guarantee the best compression performance. In this paper, we propose a deterministic and data driven construction for the projection matrix which is obtained by applying singular value decomposition to a sparsifying dictionary learned from the dataset. We analyze case studies of pedestrian and animal trajectory datasets including GPS trajectory data from 127 subjects. The experimental results suggest that the proposed adaptive compression algorithm, incorporating the deterministic construction of projection matrix, offers significantly better compression performance compared to the state-of-the-art alternatives.


title: Thick simplices and quasi-categories

abstract: Thick simplices are the nerves of the contractible groupoids obtained by inverting the arrows in the categories [n]. Using explicit expansions of simplicial subsets of the thick simplices, we present a new approach to results of Rezk and of Joyal and Tierney on quasi-categories and their associated Kan complexes of quasi-invertible morphisms.


title: MT: a Mathematica package to compute convolutions

abstract: We introduce the \prog{Mathematica} package \prog{MT} which can be used to compute, both analytically and numerically, convolutions involving harmonic polylogarithms, polynomials or generalized functions. As applications contributions to next-to-next-to-next-to leading order Higgs boson production and the Drell-Yan process are discussed.


title: Quantum-information Division and an Optimal Uncorrelated Channel

abstract: We consider quantum-information division, which is characterized by a channel whose outputs have no correlation and are not completely randomized. We show that the quantum-information division is possible in a probabilistic manner by optimizing the average fidelity in the channel with $M$ outputs in both deterministic and probabilistic cases. Moreover, we show that the optimal fidelities drastically change depending on the condition imposed on the outputs (symmetric and asymmetric), which is quite in contrast to the case of imperfect cloning.


title: Secret Key Cryptosystem based on Polar Codes over Binary Erasure Channel

abstract: This paper proposes an efficient secret key cryptosystem based on polar codes over Binary Erasure Channel. We introduce a method, for the first time to our knowledge, to hide the generator matrix of the polar codes from an attacker. In fact, our main goal is to achieve secure and reliable communication using finite-length polar codes. The proposed cryptosystem has a significant security advantage against chosen plaintext attacks in comparison with the Rao-Nam cryptosystem. Also, the key length is decreased after applying a new compression algorithm. Moreover, this scheme benefits from high code rate and proper error performance for reliable communication.


title: O~{\small VI} absorption in the Milky Way along the Large Magellanic Cloud lines of sight

abstract: We have used \textit{Far Ultraviolet Spectroscopic Explorer (FUSE)} observations of the Large Magellanic Cloud (LMC) to determine the O {\small VI} column densities in the Milky Way (MW) towards 6 LMC lines of sight. The mean column density of O {\small VI} in the MW is found to be log N(O {\small VI})=14.257$_{-0.084}^{+0.096}$. The results confirm the patchiness of O {\small VI} absorption in the MW and the column densities are higher or comparable to the LMC.


title: On hopfian cofinite subsemigroups

abstract: If a finitely generated semigroup S has a hopfian (meaning: every surjective endomorphism is an automorphism) cofinite subsemigroup T then S is hopfian too. This no longer holds if S is not finitely generated. There exists a finitely generated hopfian semigroup S with a non-hopfian subsemigroup T such that S\T has size 1.


title: Performance Comparison of Reed Solomon Code and BCH Code over Rayleigh Fading Channel

abstract: Data transmission over a communication channel is prone to a number of factors that can render the data unreliable or inconsistent by introducing noise, crosstalk or various other disturbances. A mechanism has to be in place that detects these anomalies in the received data and corrects it to get the data back as it was meant to be sent by the sender. Over the years a number of error detection and correction methodologies have been devised to send and receive the data in a consistent and correct form. The best of these methodologies ensure that the data is received correctly by the receiver in minimum number of retransmissions. In this paper performance of Reed Solomon Code (RS) and BCH Code is compared over Rayleigh fading channel.


title: Soft Gluon Radiation off Heavy Quarks beyond Eikonal Approximation

abstract: We calculate the soft gluon radiation spectrum off heavy quarks (HQs) interacting with light quarks (LQs) beyond small angle scattering (eikon- ality) approximation and thus generalize the dead-cone formula of heavy quarks extensively used in the literatures of Quark-Gluon Plasma (QGP) phenomenology to the large scattering angle regime which may be im- portant in the energy loss of energetic heavy quarks in the deconfined Quark-Gluon Plasma medium. In the proper limits, we reproduce all the relevant existing formulae for the gluon radiation distribution off energetic quarks, heavy or light used in the QGP phenomenology.


title: Quantization of n coupled scalar field theory

abstract: We study a model of n coupled scalar fields in Minkowski spacetime where all masses degenerate, which is considered as a toy model of polycritical gravity on AdS spacetime. We quantize this model within the Becchi-Rouet-Stora-Tyutin (BRST) scheme by introducing n Faddeev-Popov (FP) ghost fields. Extending a BRST quartet generated by two scalars and two FP ghosts to n scalars and n FP ghosts, there remains a physical subspace with positive norm for odd n, but there exists only the vacuum for even n. This clearly shows a non-triviality of odd-higher order derivative scalar field theories. This is helpful to understand the truncation mechanism which is used to obtain a unitary conformal field theory dual to linearized polycritical gravity. It turns out that the truncation mechanism is nothing but a general quartet mechanism appeared when introducing the FP ghost action.


title: When is an axisymmetric potential separable?

abstract: An axially symmetric potential psi(R,z)=psi(r,theta) is completely separable if the ratio s:k is constant. Here r*s=d^2(r^2*psi)/dr/d(theta) and k=d^2(psi)/dR/dz. If beta=s/k, then the potential admits an integral of the form of I=(L^2+beta*v_z^2)/2+xi where xi is some function of positions determined by the potential psi. More generally, an axially symmetric potential respects the third axisymmetric integral of motion -- in addition to the classical integrals of the Hamiltonian and the axial component of the angular momentum -- if there exist three real constants a,b,c (not all simultaneously zero, a^2+b^2+c^2>0) such that a*s+b*h+c*k=0 where r*h=d^2(r*psi)/d(sigma)/d(tau) and (sigma,tau) is the parabolic coordinate in the meridional plane such that sigma^2=r+z and tau^2=r-z.

categories: astro-ph.GA math-ph math.MP physics.class-ph


title: The history force on a small particle in a linearly stratified fluid

abstract: The hydrodynamic force experienced by a small spherical particle undergoing an arbitrary time-dependent motion in a density-stratified fluid is investigated theoretically. The study is carried out under the Oberbeck-Boussinesq approximation, and in the limit of small Reynolds and small P\'eclet numbers. The force acting on the particle is obtained by using matched asymptotic expansions in which the small parameter is given by a/l where a is the particle radius and l is the stratification length defined by Ardekani & Stocker (2010), which depends on the Brunt-Vaisala frequency, on the fluid kinematic viscosity and on the thermal or the concentration diffusivity (depending on the case considered). The matching procedure used here, which is based on series expansions of generalized functions, slightly differs from that generally used in similar problems. In addition to the classical Stokes drag, it is found the particle experiences a memory force given by two convolution products, one of which involves, as usual, the particle acceleration and the other one, the particle velocity. Owing to the stratification, the transient behaviour of this memory force, in response to an abrupt motion, consists of an initial fast decrease followed by a damped oscillation with an angular-frequency corresponding to the Brunt-Vaisala frequency. The perturbation force eventually tends to a constant which provides us with correction terms that should be added to the Stokes drag to accurately predict the settling time of a particle in a diffusive stratified-fluid.


title: Symplectic fillings of lens spaces as Lefschetz fibrations

abstract: We construct a positive allowable Lefschetz fibration over the disk on any minimal weak symplectic filling of the canonical contact structure on a lens space. Using this construction we prove that any minimal symplectic filling of the canonical contact structure on a lens space is obtained by a sequence of rational blowdowns from the minimal resolution of the corresponding complex two-dimensional cyclic quotient singularity.


title: Lagrangian alternative to QCD string

abstract: The spectrum of radially excited hadrons provides much information about the confinement forces in QCD. The confinement is realized most naturally in terms of the QCD string whose quantization gives rise to the radially excited modes. We propose an alternative framework for the description of the excited spectrum. Namely we put forward some effective field models in which the hadrons acquire masses due to interaction with a scalar field modeling the non-perturbative gluon vacuum. The effective potential for this field is periodic with an infinite number of non-equivalent vacua. The radially excited hadrons emerge as elementary excitations over different vacua. We construct explicit examples for such effective theories in the meson sector. An interesting byproduct of the considered models is the existence of a classical field configuration in each vacuum. Depending on the model, it can represent a domain wall, Nielsen-Olesen vortex or 't Hooft-Polyakov monopole. In the pure scalar sector, it is shown that the first quantum correction leads to splitting of the radially excited modes into two nearly degenerate states. Such a phenomenon has some phenomenological support. The presented approach may be also viewed as an alternative framework to the bottom-up AdS/QCD models where the radial excitations appear on the classical level as well.


title: A Novel Architecture For Question Classification Based Indexing Scheme For Efficient Question Answering

abstract: Question answering system can be seen as the next step in information retrieval, allowing users to pose question in natural language and receive compact answers. For the Question answering system to be successful, research has shown that the correct classification of question with respect to the expected answer type is requisite. We propose a novel architecture for question classification and searching in the index, maintained on the basis of expected answer types, for efficient question answering. The system uses the criteria for Answer Relevance Score for finding the relevance of each answer returned by the system. On analysis of the proposed system, it has been found that the system has shown promising results than the existing systems based on question classification.


title: Minimal surfaces in S^3: a survey of recent results

abstract: In this survey, we discuss various aspects of the minimal surface equation in the three-sphere S^3. After recalling the basic definitions, we describe a family of immersed minimal tori with rotational symmetry. We then review the known examples of embedded minimal surfaces in S^3. Besides the equator and the Clifford torus, these include the Lawson and Kapouleas-Yang examples, as well as a new family of examples found recently by Choe and Soret. We next discuss uniqueness theorems for minimal surfaces in S^3, such as the work of Almgren on the genus 0 case, and our recent solution of Lawson's conjecture for embedded minimal surfaces of genus 1. More generally, we show that any minimal surface of genus 1 which is Alexandrov immersed must be rotationally symmetric. We also discuss Urbano's estimate for the Morse index of an embedded minimal surface and give an outline of the recent proof of the Willmore conjecture by Marques and Neves. Finally, we describe estimates for the first eigenvalue of the Laplacian on a minimal surface.


title: Optimal Random Matchings, Tours, and Spanning Trees in Hierarchically Separated Trees

abstract: We derive tight bounds on the expected weights of several combinatorial optimization problems for random point sets of size $n$ distributed among the leaves of a balanced hierarchically separated tree. We consider {\it monochromatic} and {\it bichromatic} versions of the minimum matching, minimum spanning tree, and traveling salesman problems. We also present tight concentration results for the monochromatic problems.


title: A matrix description for $K_1$ of graded rings

abstract: The current paper is dedicated to the study of the classical $K_1$ groups of graded rings. Let $A$ be a $\Gamma$ graded ring with identity $1$, where the grading $\Gamma$ is an abelian group. We associate a category with suspension to the $\Gamma$ graded ring $A$. This allows us to construct the group valued functor $K_1$ of graded rings. It will be denoted by $K_1^{gr}$. It is not only an abelian group but also a $\mathbb Z[\Gamma]$-module. From the construction, it follows that there exists "locally" a matrix description of $K_1^{gr}$ of graded rings. The matrix description makes it possible to compute $K_1^{gr}$ of various types of graded rings. The $K_1^{gr}$ satisfies the well known $K$-theory exact sequence $$ K_{1}^{gr}(A,I)\to K_1^{gr}(A)\to K_1^{gr}(A/I) $$ for any graded ideal $I$ of $A$. The above is used to compute $K^{gr}_1$ of cross products.


title: Google Scholar Metrics 2013: nothing new under the sun

abstract: Main characteristics of Google Scholar Metrics new version (july 2013) are presented. We outline the novelties and the weaknesses detected after a first analysis. As main conclusion, we remark the lack of new functionalities with respect to last editions, as the only modification is the update of the timeframe (2008-2012). Hence, problems pointed out in our last reviews still remain active. Finally, it seems Google Scholar Metrics will be updated in a yearly basis


title: Drazin spectra of Banach space operators and Banach algebra elements

abstract: Given a Banach Algebra $A$ and $a\in A$, several relations among the Drazin spectrum of $a$ and the Drazin spectra of the multiplication operators $L_a$ and $R_a$ will be stated. The Banach space operator case will be also examined. Furthermore, a characterization of the Drazin spectrum will be considered.


title: Doping-dependent band structure of LaAlO$_{3}$/SrTiO$_{3}$ interfaces by soft x-ray polarization-controlled resonant angle-resolved photoemission

abstract: Polarization-controlled synchrotron radiation was used to map the electronic structure of buried conducting interfaces of LaAlO$_3$/SrTiO$_3$ in a resonant angle-resolved photoemission experiment. A strong dependence on the light polarization of the Fermi surface and band dispersions is demonstrated, highlighting the distinct Ti 3d orbitals involved in 2D conduction. Samples with different 2D doping levels were prepared and measured by photoemission, revealing different band occupancies and Fermi surface shapes. A direct comparison between the photoemission measurements and advanced first-principle calculations carried out for different 3d-band fillings is presented in conjunction with the 2D carrier concentration obtained from transport measurements.


title: Coloring 2-intersecting hypergraphs

abstract: A hypergraph is 2-intersecting if any two edges intersect in at least two vertices. Blais, Weinstein and Yoshida asked (as a first step to a more general problem) whether every 2-intersecting hypergraph has a vertex coloring with a constant number of colors so that each hyperedge e has at least min{|e|,3} colors. We show that there is such a coloring with at most 5 colors (which is best possible).


title: Exploration of the momentum of ferroelectric domain walls via molecular dynamics simulations

abstract: The motion of ferroelectric domain walls (DW) is critical for various technological applications of ferroelectric materials. One important question that is of interest both scientifically and technologically is whether the ferroelectric DW has momentum. To address this problem, we performed canonical ensemble molecular dynamics simulations of 180$^\circ$ and 90$^\circ$ DWs under applied electric field. Examination of the evolution of the polarization and local structure of DWs reveals that they stop moving after the removal of electric field. Thus, our computational study shows that ferroelectric domain walls do not have momentum.


title: Tests of the Lorentz and CPT Symmetries at the Planck Energy Scale with X-Ray and Gamma-Ray Observations

abstract: X-ray and gamma-ray observations of astrophysical objects at cosmological distances can be used to probe the energy dependence of the speed of light with high accuracy and to search for violations of Lorentz invariance and CPT symmetry at the Planck energy scale. In this conference contribution, we discuss these searches in the theoretical framework of the Standard-Model Extension. We present new limits on the dispersion relation governed by operators of mass dimension d=5 and d=6, and we discuss avenues for future progress.


title: Buffer-overflows: joint limit laws of undershoots and overshoots of reflected processes

abstract: Let $\tau(x)$ be the epoch of first entry into the interval $(x,\infty)$, $x>0$, of the reflected process $Y$ of a L\'evy process $X$, and define the overshoot $Z(x) = Y(\tau(x))-x$ and undershoot $z(x) = x - Y(\tau(x)-)$ of $Y$ at the first-passage time over the level $x$. In this paper we establish, separately under the Cram\'{e}r and positive drift assumptions, the existence of the weak limit of $(z(x), Z(x))$ as $x$ tends to infinity and provide explicit formulae for their joint CDFs in terms of the L\'{e}vy measure of $X$ and the renewal measure of the dual of $X$. We apply our results to analyse the behaviour of the classical M/G/1 queueing system at the buffer-overflow, both in a stable and unstable case.


title: Spin glass approach to the feedback vertex set problem

abstract: A feedback vertex set (FVS) of an undirected graph is a set of vertices that contains at least one vertex of each cycle of the graph. The feedback vertex set problem consists of constructing a FVS of size less than a certain given value. This combinatorial optimization problem has many practical applications, but it is in the nondeterministic polynomial-complete class of worst-case computational complexity. In this paper we define a spin glass model for the FVS problem and then study this model on the ensemble of finite-connectivity random graphs. In our model the global cycle constraints are represented through the local constraints on all the edges of the graph, and they are then treated by distributed message-passing procedures such as belief propagation. Our belief propagation-guided decimation algorithm can construct nearly optimal feedback vertex sets for single random graph instances and regular lattices. We also design a spin glass model for the FVS problem on a directed graph. Our work will be very useful for identifying the set of vertices that contribute most significantly to the dynamical complexity of a large networked system.


title: Symmetry of components, Liouville-type theorems and classification results for some nonlinear elliptic systems

abstract: We prove the symmetry of components and some Liouville-type theorems for, possibly sign changing, entire distributional solutions to a family of nonlinear elliptic systems encompassing models arising in Bose-Einstein condensation and in nonlinear optics. For these models we also provide precise classification results for non-negative solutions. The sharpness of our results is also discussed.


title: Phase-space interference of states optically truncated by quantum scissors: Generation of distinct superpositions of qudit coherent states by displacement of vacuum

abstract: Conventional Glauber coherent states (CS) can be defined in several equivalent ways, e.g., by displacing the vacuum or, explicitly, by their infinite Poissonian expansion in Fock states. It is well known that these definitions become inequivalent if applied to finite $d$-level systems (qudits). We present a comparative Wigner-function description of the qudit CS defined (i) by the action of the truncated displacement operator on the vacuum and (ii) by the Poissonian expansion in Fock states of the Glauber CS truncated at $(d-1)$-photon Fock state. These states can be generated from a classical light by its optical truncation using nonlinear and linear quantum scissors devices, respectively. We show a surprising effect that a macroscopically distinguishable superposition of two qudit CS (according to both definitions) can be generated with high fidelity by displacing the vacuum in the qudit Hilbert space. If the qudit dimension $d$ is even (odd) then the superposition state contains Fock states with only odd (even) photon numbers, which can be referred to as the odd (even) qudit CS or the female (male) Schr\"odinger cat state. This phenomenon can be interpreted as an interference of a single CS with its reflection from the highest-energy Fock state of the Hilbert space, as clearly seen via phase-space interference of the Wigner function. We also analyze nonclassical properties of the qudit CS including their photon-number statistics and nonclassical volume of the Wigner function, which is a quantitative parameter of nonclassicality (quantumness) of states. Finally, we study optical tomograms, which can be directly measured in the homodyne detection of the analyzed qudit cat states and enable the complete reconstructions of their Wigner functions.


title: Chern--Simons Vortices in the Gudnason Model

abstract: We present a series of existence theorems for multiple vortex solutions in the Gudnason model of the ${\cal N}=2$ supersymmetric field theory where non-Abelian gauge fields are governed by the pure Chern--Simons dynamics at dual levels and realized as the solutions of a system of elliptic equations with exponential nonlinearity over two-dimensional domains. In the full plane situation, our method utilizes a minimization approach, and in the doubly periodic situation, we employ an-inequality constrained minimization approach. In the latter case, we also obtain sufficient conditions under which we show that there exist at least two gauge-distinct solutions for any prescribed distribution of vortices. In other words, there are distinct solutions with identical vortex distribution, energy, and electric and magnetic charges.


title: Interfacial Phenomena of Solvent-diluted Block Copolymers

abstract: A phenomenological mean-field theory is used to investigate the properties of solvent-diluted di-block copolymers (BCP), in which the two BCP components (A and B) form a variety of phases that are diluted by a solvent (S). Using this approach, we model mixtures of di-block copolymers and a solvent and obtained the corresponding critical behavior. In the low solvent limit, we find how the critical point depends on the solvent density. Due to the non-linear nature of the coupling between the A/B and BCP/solvent concentrations, the A/B modulation induces modulations in the polymer-solvent relative concentration with a double wavenumber. The free boundary separating the polymer-rich phase from the solvent-rich one is studied in two situations. First, we show how the presence of a chemically patterned substrate leads to deformations of the BCP film/solvent interface, creation of terraces in lamellar BCP film and even formation of multi-domain droplets as induced by the patterned substrate. Our results are in agreement with previous self-consistent field theory calculations. Second, we compare the surface tension between parallel lamellae coexisting with a solvent phase with that of a perpendicular one, and show that the surface tension has a non-monotonic dependence on temperature. The anisotropic surface tension can lead to deformation of spherical BCP droplets into lens-shaped ones, together with re-orientation of the lamellae inside the droplet during the polymer/solvent phase separation process in agreement with experiment.


title: Dark matter and generation of galactic magnetic fields

abstract: A new scenario for creation of galactic magnetic fields is proposed which is operative at the cosmological epoch of the galaxy formation, and which relies on unconventional properties of dark matter. Namely, it requires existence of feeble but long range interaction between the dark matter particles and electrons. In particular, millicharged dark matter particles or mirror particles with the photon kinetic mixing to the usual photon can be considered. We show that in rotating protogalaxies circular electric currents can be generated by the interactions of free electrons with dark matter particles in the halo, while the impact of such interactions on galactic protons is considerably weaker. The induced currents may be strong enough to create the observed magnetic fields on the galaxy scales with the help of moderate dynamo amplification. In addition, the angular momentum transfer from the rotating gas to dark matter component could change the dark matter profile and formation of cusps at galactic centers would be inhibited. The global motion of the ionized gas could produce sufficiently large magnetic fields also in filaments and galaxy clusters.


title: Components of moduli spaces of spin curves with the expected codimension

abstract: We prove a conjecture of Gavril Farkas claiming that for all integers r \geq 2 and g \geq \binom{r+2}{2} there exists a component of the locus \mathcal{S}^r_g of spin curves with a theta characteristic L such that h^0(L) \geq r+1 and h^0(L)\equiv r+1 (mod 2) which has codimension \binom{r+1}{2} inside the moduli space \mathcal{S}_g of spin curves of genus g.


title: Standard Big-Bang Nucleosynthesis after Planck

abstract: Primordial or Big Bang nucleosynthesis (BBN) is one of the three historical strong evidences for the Big-Bang model together with the expansion of the Universe and the Cosmic Microwave Background radiation (CMB). The recent results by the Planck mission have slightly changed the estimate of the baryonic density Omega_b, compared to the previous WMAP value. This article updates the BBN predictions for the light elements using the new value of Omega_b determined by Planck, as well as an improvement of the nuclear network and new spectroscopic observations. While there is no major modification, the error bars of the primordial D/H abundance (2.67+/-0.09) x 10^{-5} are narrower and there is a slight lowering of the primordial Li/H abundance (4.89^+0.41_-0.39) x 10^{-10}. However, this last value is still ~3 times larger than its observed spectroscopic abundance in halo stars of the Galaxy. Primordial Helium abundance is now determined to be Y_p = 0.2463+/-0.0003.


title: Relativity on two-dimensional spacetimes

abstract: Lorentz transformation on two-dimensional spacetime is obtained without assumption of linearity. To obtain this, we use the invariance of wave equations, which is recently proved to be equivalent to the causality preservation.


title: Nonlinear stability of source defects in the complex Ginzburg-Landau equation

abstract: In an appropriate moving coordinate frame, source defects are time-periodic solutions to reaction-diffusion equations that are spatially asymptotic to spatially periodic wave trains whose group velocities point away from the core of the defect. In this paper, we rigorously establish nonlinear stability of spectrally stable source defects in the complex Ginzburg-Landau equation. Due to the outward transport at the far field, localized perturbations may lead to a highly non-localized response even on the linear level. To overcome this, we first investigate in detail the dynamics of the solution to the linearized equation. This allows us to determine an approximate solution that satisfies the full equation up to and including quadratic terms in the nonlinearity. This approximation utilizes the fact that the non-localized phase response, resulting from the embedded zero eigenvalues, can be captured, to leading order, by the nonlinear Burgers equation. The analysis is completed by obtaining detailed estimates for the resolvent kernel and pointwise estimates for the Green's function, which allow one to close a nonlinear iteration scheme.


title: Simplifying proofs of linearisability using layers of abstraction

abstract: Linearisability has become the standard correctness criterion for concurrent data structures, ensuring that every history of invocations and responses of concurrent operations has a matching sequential history. Existing proofs of linearisability require one to identify so-called linearisation points within the operations under consideration, which are atomic statements whose execution causes the effect of an operation to be felt. However, identification of linearisation points is a non-trivial task, requiring a high degree of expertise. For sophisticated algorithms such as Heller et al's lazy set, it even is possible for an operation to be linearised by the concurrent execution of a statement outside the operation being verified. This paper proposes an alternative method for verifying linearisability that does not require identification of linearisation points. Instead, using an interval-based logic, we show that every behaviour of each concrete operation over any interval is a possible behaviour of a corresponding abstraction that executes with coarse-grained atomicity. This approach is applied to Heller et al's lazy set to show that verification of linearisability is possible without having to consider linearisation points within the program code.


title: Investigation of systematic effects in Kepler data: Seasonal variations in the light curve of HAT-P-7b

abstract: With years of Kepler data currently available, it can now be attempted to measure variations in planetary transit depths over time. To do so, it is of primary importance to understand which systematic effects may affect the measurement of transits. We aim to measure the stability of Kepler measurements over years of observations. We present a study of the depth of about 500 transit events of the Hot Jupiter HAT-P-7b, using 14 quarters (Q0-Q13) of data from the Kepler Satellite. We find a systematic variation in the depth of the primary transit, related to quarters of data and recurring yearly. These seasonal variations are about 1%. Within seasons, we find no evidence for trends. We speculate that the cause of the seasonal variations could be unknown field crowding or instrumental artifacts. Our results show that care must be taken when combining transits throughout different quarters of Kepler data. Measuring the relative planetary radius of HAT-P-7b without taking these systematic effects into account leads to unrealistically low error estimates. This effect could be present in all Kepler targets. If so, relative radius measurements of all Hot Jupiters to a precision much better than 1% are unrealistic.


title: From variable density sampling to continuous sampling using Markov chains

abstract: Since its discovery over the last decade, Compressed Sensing (CS) has been successfully applied to Magnetic Reso- nance Imaging (MRI). It has been shown to be a powerful way to reduce scanning time without sacrificing image quality. MR images are actually strongly compressible in a wavelet basis, the latter being largely incoherent with the k-space or spatial Fourier domain where acquisition is performed. Nevertheless, since its first application to MRI [1], the theoretical justification of actual k-space sampling strategies is questionable. Indeed, the vast majority of k-space sampling distributions have been heuris- tically designed (e.g., variable density) or driven by experimental feasibility considerations (e.g., random radial or spiral sampling to achieve smoothness k-space trajectory). In this paper, we try to reconcile very recent CS results with the MRI specificities (mag- netic field gradients) by enforcing the measurements, i.e. samples of k-space, to fit continuous trajectories. To this end, we propose random walk continuous sampling based on Markov chains and we compare the reconstruction quality of this scheme to the state- of-the art.


title: NuGrid stellar data set I. Stellar yields from H to Bi for stars with metallicities Z = 0.02 and Z = 0.01

abstract: We provide a set of stellar evolution and nucleosynthesis calculations that applies established physics assumptions simultaneously to low- and intermediate-mass and massive star models. Our goal is to provide an internally consistent and comprehensive nuclear production and yield data base for applications in areas such as pre-solar grain studies. Our non-rotating models assume convective boundary mixing where it has been adopted before. We include 8 (12) initial masses for $Z = 0.01$ ($0.02$). Models are followed either until the end of the asymptotic giant branch phase or the end of Si burning, complemented by a simple analytic core-collapse supernova models with two options for fallback and shock velocities. The explosions show which pre-supernova yields will most strongly be effected by the explosive nucleosynthesis. We discuss how these two explosion parameters impacts the light elements and the $s$ and $p$ process. For low- and intermediate-mass models our stellar yields from H to Bi include the effect of convective boundary mixing at the He-intershell boundaries and the stellar evolution feedback of the mixing process that produces the $^{13}$C pocket. All post-processing nucleosynthesis calculations use the same nuclear reaction rate network and nuclear physics input. We provide a discussion of the nuclear production across the entire mass range organized by element group. All our stellar nucleosynthesis profile and time evolution output is available electronically, and tools to explore the data on the NuGrid VOspace hosted by the Canadian Astronomical Data Centre are introduced.


title: Reduced egomotion estimation drift using omnidirectional views

abstract: Estimation of camera motion from a given image sequence becomes degraded as the length of the sequence increases. In this letter, this phenomenon is demonstrated and an approach to increase the estimation accuracy is proposed. The proposed method uses an omnidirectional camera in addition to the perspective one and takes advantage of its enlarged view by exploiting the correspondences between the omnidirectional and perspective images. Simulated and real image experiments show that the proposed approach improves the estimation accuracy.


title: Asymmetrical free diffusion with orientation-dependence of molecules in finite timescales

abstract: Using molecular dynamics simulations, we show that free diffusion of a nanoscale particle (molecule) with asymmetric structure critically depends on the orientation in a finite timescale of picoseconds to nanoseconds. In a timescale of ~100 ps, there are ~10% more possibilities for the particle moving along the initial orientation than moving opposite to the orientation; and the diffusion distances of the particle reach ~1 nm. We find that the key to this observation is the orientation-dependence of the damping force to the moving of the nanoscale particle and a finite time is required to regulate the particle orientation. This finding extends the work of Einstein to nano-world beyond random Brownian motion, thus will have a critical role in the understanding of the nanoscale world.


title: Persistent currents in Dirac fermion rings

abstract: The persistent current in strictly one-dimensional Dirac systems is investigated within two different models, defined in the continuum and on a lattice, respectively. The object of the study is the effect of a single magnetic or nonmagnetic impurity in the two systems. In the continuum Dirac model, an analytical expression for the persistent current flowing along a ring with a single delta-like magnetic impurity is obtained after regularization of the unbounded negative energy states. The predicted decay of the persistent agrees with the lattice simulations. The results are generalized to finite temperatures. To realize a single Dirac massless fermion, the lattice model breaks the time-reversal symmetry, and, in contrast with the continuum model, a pointlike nonmagnetic impurity can lead to a decay in the persistent current.


title: Microwave Negative Bursts as Indications of Reconnection between Eruptive Filaments and Large-Scale Coronal Magnetic Environment

abstract: Low-temperature plasma ejected in solar eruptions can screen active regions as well as quiet solar areas. Absorption phenomena can be observed in microwaves as 'negative bursts' and in different spectral domains. We analyze two very different recent events with such phenomena and present an updated systematic view of solar events associated with negative bursts. Related filament eruptions can be normal, without essential changes of shape and magnetic configuration, and 'anomalous'. The latter are characterized by disintegration of an eruptive filament and dispersal of its remnants as a cloud over a large part of solar disk. Such phenomena can be observed as giant depressions in the He II 304 A line. One of possible scenarios for an anomalous eruption is proposed in terms of reconnection of filament's internal magnetic fields with external large-scale coronal surrounding.


title: Construction of Rota-Baxter algebras via Hopf module algebras

abstract: We propose the notion of Hopf module algebras and show that the projection onto the subspace of coinvariants is an idempotent Rota-Baxter operator of weight -1. We also provide a construction of Hopf module algebras by using Yetter-Drinfeld module algebras. As an application, we prove that the positive part of a quantum group admits idempotent Rota-Baxter algebra structures.


title: NuSTAR detection of hard X-ray phase lags from the accreting pulsar GS 0834-430

abstract: The NuSTAR hard X-ray telescope observed the transient Be/X-ray binary GS 0834-430 during its 2012 outburst - the first active state of this system observed in the past 19 years. We performed timing and spectral analysis, and measured the X-ray spectrum between 3-79keV with high statistical significance. We find the phase-averaged spectrum to be consistent with that observed in many other magnetized accreting pulsars. We fail to detect cyclotron resonance scattering features that would allow us to constrain the pulsar's magnetic field in either phase-averaged or phase-resolved spectra. Timing analysis shows a clearly detected pulse period of ~12.29s in all energy bands. The pulse profiles show a strong, energy-dependent hard phase lag of up to 0.3 cycles in phase, or about 4s. Such dramatic energy-dependent lags in the pulse profile have never before been reported in high-mass X-ray binary (HMXB) pulsars. Previously reported lags have been significantly smaller in phase and restricted to low-energies (E<10keV). We investigate the possible mechanisms that might produce this energy-dependent pulse phase shift. We find the most likely explanation for this effect to be a complex beam geometry.


title: Non-local massive gravity

abstract: We present a general covariant action for massive gravity merging together a class of "non-polynomial" and super-renormalizable or finite theories of gravity with the non-local theory of gravity recently proposed by Jaccard, Maggiore and Mitsou (Phys. Rev. D 88 (2013) 044033). Our diffeomorphism invariant action gives rise to the equations of motion appearing in non-local massive massive gravity plus quadratic curvature terms. Not only the massive graviton propagator reduces smoothly to the massless one without a vDVZ discontinuity, but also our finite theory of gravity is unitary at tree level around the Minkowski background. We also show that, as long as the graviton mass $m$ is much smaller the today's Hubble parameter $H_0$, a late-time cosmic acceleration can be realized without a dark energy component due to the growth of a scalar degree of freedom. In the presence of the cosmological constant $\Lambda$, the dominance of the non-local mass term leads to a kind of "degravitation" for $\Lambda$ at the late cosmological epoch.


title: The Swift Supergiant Fast X-ray Transients Project: a review, new results, and future perspectives

abstract: We present a review of the Supergiant Fast X-ray Transients (SFXT) Project, a systematic investigation of the properties of SFXTs with a strategy that combines Swift monitoring programs with outburst follow-up observations. This strategy has quickly tripled the available sets of broad-band data of SFXT outbursts, and gathered a wealth of out-of-outburst data, which have led us to a broad-band spectral characterization, an assessment of the fraction of the time these sources spend in each phase, and their duty cycle of inactivity. We present some new observational results obtained through our outburst follow-ups, as fitting examples of the exceptional capabilities of Swift in catching bright flares and monitor them panchromatically.


title: Implementation of standard quantum error correction codes for solid-state qubits

abstract: In quantum error-correcting code (QECC), many quantum operations and measurements are necessary to correct errors in logical qubits. In the stabilizer formalism, which is widely used in QECC, generators $G_i (i=1,2,..)$ consist of multiples of Pauli matrices and perform encoding, decoding and measurement. In order to maintain encoding states, the stabilizer Hamiltonian $H_{\rm stab}=-\sum_i G_i$ is suitable because its ground state corresponds to the code space. On the other hand, Hamiltonians of most solid-state qubits have two-body interactions and show their own dynamics. In addition solid-state qubits are fixed on substrate and qubit-qubit operation is restricted in their neighborhood. The main purpose of this paper is to show how to directly generate the stabilizer Hamiltonian $H_{\rm stab}$ from conventional two-body Hamiltonians with Ising interaction and XY interaction by applying a pulse control method such as an NMR technique. We show that generation times of $H_{\rm stab}$ for nine-qubit code, five-qubit code and Steane code are estimated to be less than 300 ns when typical experimental data of superconducting qubits are used, and sufficient pulse control is assumed. We also show how to prepare encoded states from an initial state $|0....0>$. In addition, we discuss an appropriate arrangement of two- or three-dimensional arrayed qubits.


title: Adsorption structure determination of a large polyaromatic trithiolate on Cu(111): combination of LEED-I(V) and DFT-vdW

abstract: The adsorption geometry of 1,3,5-tris(4-mercaptophenyl)benzene (TMB) on Cu(111) is determined with high precision using two independent methods, experimentally by quantitative low energy electron diffraction (LEED-I(V)) and theoretically by dispersion corrected density functional theory (DFT-vdW). Structural refinement using both methods consistently results in similar adsorption sites and geometries. Thereby a level of confidence is reached that allows deduction of subtle structural details such as molecular deformations or relaxations of copper substrate atoms.


title: Electron-phonon coupling in cuprate and iron-based superconductors revealed by Raman scattering

abstract: Electron-phonon coupling (EPC) is one of the most common and fundamental interactions in solids. It not only dominates many basic dynamic processes like resistivity, thermal conductivity etc, but also provides the pairing glue in conventional superconductors. But in high-temperature superconductors (HTSC), it is still controversial whether or not EPC is in favor of paring. Despite the controversies, many experiments have provided clear evidence for EPC in HTSC. In this paper, we briefly review EPC in cuprate and iron-based superconducting systems revealed by Raman scattering. We introduce how to extract the coupling information through phonon lineshape. Then we discuss the strength of EPC in different HTSC systems and possible factors affecting the strength. The comparative study between Raman phonon theories and experiments allows us to gain insight into some crucial electronic properties, especially superconductivity. Finally we summarize and compare EPC in the two existing HTSC systems, and discuss what role it may play in HTSC.


title: Dense nucleonic matter and the renormalization group

abstract: Fluctuations are included in a chiral nucleon-meson model within the framework of the functional renormalization group. The model, with parameters fitted to reproduce the nuclear liquid-gas phase transition, is used to study the phase diagram of QCD. We find good agreement with results from chiral effective field theory. Moreover, the results show a separation of the chemical freeze-out line and chiral symmetry restoration at large baryon chemical potentials.


title: Network Topologies of Financial Market During the Global Financial Crisis

abstract: We consider the effects of the global financial crisis through a local Korean financial market around the 2008 crisis. We analyze 185 individual stock prices belonging to the KOSPI (Korea Composite Stock Price Index), cosidering three time periods: the time before, during, and after the crisis. The complex networks generate from the fully connected correlation network by using the cross-correlation coefficients among the stock price time series of the companies. We generate the threshold networks (TN), the minimal spanning tees (MST), and the hierarchical network (HN) from the fully connected cross-correlation networks. By assigning a threshold value of the cross-correlation coefficient, we obtain the threshold networks. We observe the power law of the degree distribution in the limited range of the threshold. The degree distribution of the largest cluster in the threshold networks during the crisis is fatter than other periods. The clustering coefficient of the threshold networks follows the power law in the scaling range. We also generate the minimal spanning trees from the fully connected correlation networks. The MST during the crisis period shrinks in comparison to the periods before and after the crisis. The cophenetic correlation coefficient increases during the crisis, indicating that the hierarchical structure increases during this period. When the crisis hit the market, the companies behave synchronously and their correlations become stronger than the normal period.


title: LogMin: A Model For Call Log Mining In Mobile Devices

abstract: In today's instant communication era, mobile phones play an important role in the efficient communication with respect to both individual and official communication strata. With the drastic explosion in the quantity of calls received and made, there is a need for analyses of patterns in these call logs to assist the user of the mobile device in the optimal utilization. This paper proposes a model termed "LogMin" (Log Mining of Calls in Mobile devices) which is aimed towards mining of call log in mobile phones to discover patterns and keep the user informed about the trends in the log. The logging of calls would facilitate the user to get an insight into patterns based on the six different parameters identified by the proposed LogMin model. The proposed model is validated with a prototype implementation in the Android platform and various experiments were conducted on it. The results of the experiments in the LogMin Android implementation validate the efficiency of the proposed model with respect to user's relevancy metric which is computed as 96.52%.


title: Performance study and simulation of an anycast protocol for wireless mobile ad hoc networks

abstract: This paper conducts a detailed simulation study of stateless anycast routing in a mobile wireless ad hoc network. The model covers all the fundamental aspects of such networks with a routing mechanism using a scheme of orientation-dependent inter-node communication links. The simulation system Winsim is used which explicitly represents parallelism of events and processes in the network. The purpose of these simulations is to investigate the effect of node s maximum speed, and different TTL over the network performance under two different scenarios. Simulation study investigates five practically important performance metrics of a wireless mobile ad hoc network and shows the dependence of this metrics on the transmission radius, link availability, and maximal possible node speed.


title: Gibbs and Helmholtz energies of formation of sI clathrate hydrates from CO$_2$, CH$_4$ and water

abstract: We determine thermodynamic stability conditions in terms of Helmholtz and Gibbs energies for sI clathrate hydrates with CH$_4$ and CO$_2$ at 278 K. Helmholtz energies are relevant for processing from porous rocks (constant volume), while Gibbs energies are relevant for processing from layers on the ocean floor (constant pressure). We define three steps leading to hydrate formation, and find Helmholtz energy differences from molecular simulations for two of them using grand-canonical Monte Carlo simulations at constant temperature and volume; while the third step was calculated from literature data. The Gibbs energy change for the same steps are also determined. From the variations in the total Helmholtz and Gibbs energies we suggest thermodynamic paths for exchange of CH$_4$ by CO$_2$ in the isothermal hydrate, for constant volume or pressure, respectively. We show how these paths for the mixed hydrate can be understood from single-component occupancy isotherms, where CO$_2$, but not CH$_4$, can distinguish between large and small cages. The strong preference for CH$_4$ for a range of compositions can be explained by these.


title: Numerical modeling of the wind flow over a transverse dune

abstract: Transverse dunes, which form under unidirectional winds and have fixed profile in the direction perpendicular to the wind, occur on all celestial objects of our solar system where dunes have been detected. Here we perform a numerical study of the average turbulent wind flow over a transverse dune by means of computational fluid dynamics simulations. We find that the length of the zone of recirculating flow at the dune lee --- the {\em{separation bubble}} --- displays a surprisingly strong dependence on the wind shear velocity, $u_{\ast}$: it is nearly independent of $u_{\ast}$ for shear velocities within the range between $0.2\,$m$$s and $0.8\,$m$$s but increases linearly with $u_{\ast}$ for larger shear velocities. Our calculations show that transport in the direction opposite to dune migration within the separation bubble can be sustained if $u_{\ast}$ is larger than approximately $0.39\,$m$$s, whereas a larger value of $u_{\ast}$ (about $0.49\,$m$$s) is required to initiate this reverse transport.


title: Towards a Better Understanding of Multi-User Cooperation: A Tradeoff between Transmission Reliability and Rate

abstract: This paper provides a review of recent advances in multi-user cooperative data transmission. The focus is on the inherent trade-off between achievable throughput and reliability of cooperative transmission. Research has shown that under a fixed transmit energy budget, increased cooperation doesn't necessarily lead to increased reliability. In fact, careful cooperation partner selection and power allocation is needed in order to fully exploit the benefits of cooperative transmission. Furthermore, depending on the multi-media content, different cooperation strategies may need to be considered.


title: Machine-Readable Privacy Certificates for Services

abstract: Privacy-aware processing of personal data on the web of services requires managing a number of issues arising both from the technical and the legal domain. Several approaches have been proposed to matching privacy requirements (on the clients side) and privacy guarantees (on the service provider side). Still, the assurance of effective data protection (when possible) relies on substantial human effort and exposes organizations to significant (non-)compliance risks. In this paper we put forward the idea that a privacy certification scheme producing and managing machine-readable artifacts in the form of privacy certificates can play an important role towards the solution of this problem. Digital privacy certificates represent the reasons why a privacy property holds for a service and describe the privacy measures supporting it. Also, privacy certificates can be used to automatically select services whose certificates match the client policies (privacy requirements). Our proposal relies on an evolution of the conceptual model developed in the Assert4Soa project and on a certificate format specifically tailored to represent privacy properties. To validate our approach, we present a worked-out instance showing how privacy property Retention-based unlinkability can be certified for a banking financial service.


title: Nanoroughened plasmonic films for enhanced biosensing detection

abstract: Although fluorescence is the prevailing labeling technique in biosensing applications, sensitivity improvement is still a striving challenge. We show that coating standard microscope slides with nanoroughened silver films provides a high fluorescence signal enhancement due to plasmonic interactions. As a proof of concept, we applied these films with tailored plasmonic properties to DNA microarrays. Using common optical scanning devices, we achieved signal amplifications by more than 40-fold.


title: Distributed Blind Calibration via Output Synchronization in Lossy Sensor Networks

abstract: In this paper a novel distributed algorithm for blind macro calibration in sensor networks based on output synchronization is proposed. The algorithm is formulated as a set of gradient-type recursions for estimating parameters of sensor calibration functions, starting from local criteria defined as weighted sums of mean square differences between the outputs of neighboring sensors. It is proved, on the basis of an originally developed methodology for treating higher-order consensus (or output synchronization) schemes, that the algorithm achieves asymptotic agreement for sensor gains and offsets, in the mean square sense and with probability one. In the case of additive measurement noise, additive inter-agent communication noise, and communication outages, a modification of the original algorithm based on instrumental variables is proposed. It is proved using stochastic approximation arguments that the modified algorithm achieves asymptotic consensus for sensor gains and offsets, in the mean square sense and with probability one. Special attention is paid to the situation when a subset of sensors in the network remains with fixed characteristics. Illustrative simulation examples are provided.