title: Toward realistic simulations of magneto-thermal winds from weakly-ionized protoplanetary disks

abstract: Protoplanetary disks (PPDs) accrete onto their central T Tauri star via magnetic stresses. When the effect of ambipolar diffusion (AD) is included, and in the presence of a vertical magnetic field, the disk remains laminar between 1-5 au, and a magnetocentrifugal disk wind forms that provides an important mechanism for removing angular momentum. We present global MHD simulations of PPDs that include Ohmic resistivity and AD, where the time-dependent gas-phase electron and ion fractions are computed under FUV and X-ray ionization with a simplified recombination chemistry. To investigate whether the mass loading of the wind is potentially affected by the limited vertical extent of our existing simulations, we attempt to develop a model of a realistic disk atmosphere. To this end, by accounting for stellar irradiation and diffuse reprocessing of radiation, we aim at improving our models towards more realistic thermodynamic properties.


title: Is a picture worth a thousand words? A Deep Multi-Modal Fusion Architecture for Product Classification in e-commerce

abstract: Classifying products into categories precisely and efficiently is a major challenge in modern e-commerce. The high traffic of new products uploaded daily and the dynamic nature of the categories raise the need for machine learning models that can reduce the cost and time of human editors. In this paper, we propose a decision level fusion approach for multi-modal product classification using text and image inputs. We train input specific state-of-the-art deep neural networks for each input source, show the potential of forging them together into a multi-modal architecture and train a novel policy network that learns to choose between them. Finally, we demonstrate that our multi-modal network improves the top-1 accuracy % over both networks on a real-world large-scale product classification dataset that we collected fromWalmart.com. While we focus on image-text fusion that characterizes e-commerce domains, our algorithms can be easily applied to other modalities such as audio, video, physical sensors, etc.


title: Stability of metallic edges and Fermi-level pinning in transition-metal dichalcogenide nanoribbons

abstract: Nanoribbons of MoS$_2$ present a unique electronic structure that consists of a semiconducting bulk bounded by metallic edges; same holds for other Transition-Metal Dichalcogenides (TMDs) (Mo-,W-,S$_{2}$,Se$_{2}$). We perform first-principles calculations for TMD nanoribbons with reconstructed zig-zag metal terminated edges that contain chalcogen adatoms. All nanorobbons have possitive edge energies when the chemical potential of chalcogens is close to the energy of solids, and negative edge energies for high chemical potential. The reconstruction with two chalcogen adatoms is expected to be the most stable one. In all nanoribbons, a metallic phase is found near their edges, with the Fermi level of this metallic phase being lower than the Fermi level of the 2D material.


title: Restraints Permitting the Largest Number of Colourings

abstract: A \textit{restraint} $r$ on $G$ is a function which assigns each vertex $v$ of $G$ a finite set of forbidden colours $r(v)$. A proper colouring $c$ of $G$ is said to be \textit{permitted by the restraint r} if $c(v)\notin r(v)$ for every vertex $v$ of $G$. A restraint $r$ on a graph $G$ with $n$ vertices is called a \textit{$k$-restraint} if $|r(v)|=k$ and $r(v) \subseteq \{1,2,\dots ,kn\}$ for every vertex $v$ of $G$. In this article we discuss the following problem: among all $k$-restraints $r$ on $G$, which restraints permit the largest number of $x$-colourings for all large enough $x$? We determine such extremal restraints for all bipartite graphs.


title: Flexible Metasurface Holograms

abstract: Metasurface holograms are typically fabricated on rigid substrates. Here we experimentally demonstrate broadband, flexible, conformable, helicity multiplexed metasurface holograms operating in the visible range, offering increased potential for real life out-of-the-lab applications. Two symmetrically distributed holographic images are obtained when circularly polarized light impinges on the reflective-type metasurface positioned on non- planar targets. The two off-axis images with high fidelity are interchangeable by controlling the helicity of incident light. Our metasurface features the arrangement of spatially varying gold nanorods on a flexible, conformable epoxy resist membrane to realize a Pancharatnam- Berry phase profile. These results pave the way to practical applications including polarization manipulation, beam steering, novel lenses, and holographic displays.


title: The Spectral Ewald method for singly periodic domains

abstract: We present a fast and spectrally accurate method for efficient computation of the three dimensional Coulomb potential with periodicity in one direction. The algorithm is FFT-based and uses the so-called Ewald decomposition, which is naturally most efficient for the triply periodic case. In this paper, we show how to extend the triply periodic Spectral Ewald method to the singly periodic case, such that the cost of computing the singly periodic potential is only marginally larger than the cost of computing the potential for the corresponding triply periodic system. In the Fourier space contribution of the Ewald decomposition, a Fourier series is obtained in the periodic direction with a Fourier integral over the non periodic directions for each discrete wave number. We show that upsampling to resolve the integral is only needed for modes with small wave numbers. For the zero wave number, this Fourier integral has a singularity. For this mode, we effectively need to solve a free-space Poisson equation in two dimensions. A very recent idea by Vico et al. makes it possible to use FFTs to solve this problem, allowing us to unify the treatment of all modes. An adaptive 3D FFT can be established to apply different upsampling rates locally. The computational cost for other parts of the algorithm is essentially unchanged as compared to the triply periodic case, in total yielding only a small increase in both computational cost and memory usage for this singly periodic case.


title: Well-posed PDE and integral equation formulations for scattering by fractal screens

abstract: We consider time-harmonic acoustic scattering by planar sound-soft (Dirichlet) and sound-hard (Neumann) screens embedded in $\mathbb{R}^n$ for $n = 2$ or $3$. In contrast to previous studies in which the screen is assumed to be a bounded Lipschitz (or smoother) relatively open subset of the plane, we consider screens occupying an arbitrary bounded subset of the plane. Thus our study includes cases where the screen is a relatively open set with a boundary that is fractal, or indeed has positive surface measure, and cases where the screen has empty interior and is fractal, or indeed has positive surface measure. We elucidate for which screen geometries the classical formulations of screen scattering are well-posed, showing that the classical formulation for sound-hard scattering is not well-posed if the screen boundary has Hausdorff dimension greater than $n-2$. We also propose novel well-posed boundary integral equation (BIE) and boundary value problem (BVP) formulations, valid for arbitrary bounded screens. In fact, we show that for sufficiently irregular screens there exist whole families of well-posed formulations, with infinitely many distinct solutions, the distinct formulations distinguished by the sense in which the boundary conditions are understood. To select the physically correct solution we propose limiting geometry principles, taking the limit of solutions for a convergent sequence of more regular screens, this a natural procedure for those fractal screens for which there exists a standard sequence of prefractal approximations. We present examples exhibiting interesting physical behaviours, including penetration of waves through screens with "holes" in them, where the "holes" have no interior points, so that the screen and its closure scatter differently. Our results depend on subtle and interesting properties of fractional Sobolev spaces on non-Lipschitz sets.


title: Probing the scotogenic FIMP at the LHC

abstract: We analyse the signatures at the Large Hadron Collider (LHC) of the scotogenic model, when the lightest Z2-odd particle is a singlet fermion and a feebly interacting massive particle (FIMP). We further assume that the singlet fermion constitutes the dark matter and that it is produced in the early Universe via the freeze-in mechanism. The small couplings required to reproduce the observed dark matter abundance translate into decay-lengths for the next-to-lightest Z2-odd particle which can be macroscopic, potentially leading to spectacular signatures at the LHC. We characterize the possible signals of the model according to the spectrum of the Z2-odd particles and we derive, for each of the cases, bounds on the parameters of the model from current searches.


title: On the Complexity of the Word Problem for Automaton Semigroups and Automaton Groups

abstract: In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups, which are generated by partial, yet invertible automata. We show that there is an automaton-inverse semigroup and, thus, an automaton semigroup with a PSPACE-complete word problem. We also show that there is an automaton group for which the word problem with a single rational constraint is PSPACE-complete. Additionally, we provide simpler constructions for the uniform word problems of these classes. For the uniform word problem for automaton groups (without rational constraints), we show NL-hardness. Finally, we investigate a question asked by Cain about a better upper bound for the length of a word on which two distinct elements of an automaton semigroup must act differently.


title: Time Dependent Saddle Node Bifurcation: Breaking Time and the Point of No Return in a Non-Autonomous Model of Critical Transitions

abstract: There is a growing awareness that catastrophic phenomena in biology and medicine can be mathematically represented in terms of saddle-node bifurcations. In particular, the term `tipping', or critical transition has in recent years entered the discourse of the general public in relation to ecology, medicine, and public health. The saddle-node bifurcation and its associated theory of catastrophe as put forth by Thom and Zeeman has seen applications in a wide range of fields including molecular biophysics, mesoscopic physics, and climate science. In this paper, we investigate a simple model of a non-autonomous system with a time-dependent parameter $p(\tau)$ and its corresponding `dynamic' (time-dependent) saddle-node bifurcation by the modern theory of non-autonomous dynamical systems. We show that the actual point of no return for a system undergoing tipping can be significantly delayed in comparison to the {\em breaking time} $\hat{\tau}$ at which the corresponding autonomous system with a time-independent parameter $p_{a}= p(\hat{\tau})$ undergoes a bifurcation. A dimensionless parameter $\alpha=\lambda p_0^3V^{-2}$ is introduced, in which $\lambda$ is the curvature of the autonomous saddle-node bifurcation according to parameter $p(\tau)$, which has an initial value of $p_{0}$ and a constant rate of change $V$. We find that the breaking time $\hat{\tau}$ is always less than the actual point of no return $\tau^*$ after which the critical transition is irreversible; specifically, the relation $\tau^*-\hat{\tau}\simeq 2.338(\lambda V)^{-\frac{1}{3}}$ is analytically obtained. For a system with a small $\lambda V$, there exists a significant window of opportunity $(\hat{\tau},\tau^*)$ during which rapid reversal of the environment can save the system from catastrophe.


title: Relativistic electron beams driven by kHz single-cycle light pulses

abstract: Laser-plasma acceleration is an emerging technique for accelerating electrons to high energies over very short distances. The accelerated electron bunches have femtosecond duration, making them particularly relevant for applications such as ultrafast imaging or femtosecond X-ray generation. Current laser-plasma accelerators are typically driven by Joule-class laser systems that have two main drawbacks: their relatively large scale and their low repetition-rate, with a few shots per second at best. The accelerated electron beams have energies ranging from 100 MeV to multi-GeV, however a MeV electron source would be more suited to many societal and scientific applications. Here, we demonstrate a compact and reliable laser-plasma accelerator producing high-quality few-MeV electron beams at kilohertz repetition rate. This breakthrough was made possible by using near-single-cycle light pulses, which lowered the required laser energy for driving the accelerator by three orders of magnitude, thus enabling high repetition-rate operation and dramatic downsizing of the laser system. The measured electron bunches are collimated, with an energy distribution that peaks at 5 MeV and contains up to 1 pC of charge. Numerical simulations reproduce all experimental features and indicate that the electron bunches are only $\sim 1$ fs long. We anticipate that the advent of these kHz femtosecond relativistic electron sources will pave the way to wide-impact applications, such as ultrafast electron diffraction in materials with an unprecedented sub-10 fs resolution.


title: Tip-enhanced Raman spectroscopic detection of aptamers

abstract: Single molecule detection, sequencing and conformational mapping of aptamers are important for improving medical and biosensing technologies and for better understanding of biological processes at the molecular level. We obtain vibrational signals of single aptamers immobilized on gold substrates using tip-enhanced Raman spectroscopy (TERS). We compare topographic and optical signals and investigate the fluctuations of the position-dependent TERS spectra. TERS mapping provides information about the chemical composition and conformation of aptamers, and paves the way to future single-molecule label-free sequencing.


title: New Bounds for Chromatic Polynomials and Chromatic Roots

abstract: If $G$ is a $k$-chromatic graph of order $n$ then it is known that the chromatic polynomial of $G$, $\pi(G,x)$, is at most $x(x-1)\cdots (x-(k-1))x^{n-k} = (x)_{\downarrow k}x^{n-k}$ for every $x\in \mathbb{N}$. We improve here this bound by showing that \[ \pi(G,x) \leq (x)_{\downarrow k} (x-1)^{\Delta(G)-k+1} x^{n-1-\Delta(G)}\] for every $x\in \mathbb{N},$ where $\Delta(G)$ is the maximum degree of $G$. Secondly, we show that if $G$ is a connected $k$-chromatic graph of order $n$ where $k\geq 4$ then $\pi(G,x)$ is at most $(x)_{\downarrow k}(x-1)^{n-k}$ for every real $x\geq n-2+\left( {n \choose 2} -{k \choose 2}-n+k \right)^2$ (it had been previously conjectured that this inequality holds for all $x \geq k$). Finally, we provide an upper bound on the moduli of the chromatic roots that is an improvment over known bounds for dense graphs.


title: Some conjectures on intrinsic volumes of Riemannian manifolds and Alexandrov spaces

abstract: For any closed smooth Riemannian manifold H. Weyl has defined a sequence of numbers called today intrinsic volumes. They include volume, Euler characteristic, and integral of the scalar curvature. We conjecture that absolute values of all intrinsic volumes are bounded by a constant depending only on the dimension of the manifold, upper bound on its diameter, and lower bound on the sectional curvature. Furthermore we conjecture that intrinsic volumes can be defined for some (so called smoothable) Alexandrov spaces with curvature bounded below and state few of the expected properties of them, particularly the behavior under the Gromov-Hausdorff limits. We suggest conjectural compactifications of the space of smooth closed connected Riemannian manifolds with given upper bounds on dimension and diameter and a lower bound on sectional curvature to which the intrinsic volumes extend by continuity. We discuss also known cases of some of these conjectures.


title: Peanut-shaped metallicity distributions in bulges of edge-on galaxies: the case of NGC 4710

abstract: Bulges of edge-on galaxies are often boxy/peanut-shaped (B/PS), and unsharp masks reveal the presence of an X shape. Simulations show that these shapes can be produced by dynamical processes driven by a bar which vertically thickens the centre. In the Milky Way, which contains such a B/PS bulge, the X-shaped structure is traced by the metal-rich stars but not by the metal-poor ones. Recently Debattista et al. (2016) interpreted this property as a result of the varying effect of the bar on stellar populations with different starting kinematics. This kinematic fractionation model predicts that cooler populations at the time of bar formation go on to trace the X shape, whereas hotter populations are more uniformly distributed. As this prediction is not specific to the Milky Way, we test it with MUSE observations of the B/PS bulge in the nearby galaxy NGC 4710. We show that the metallicity map is more peanut-shaped than the density distribution itself, in good agreement with the prediction. This result indicates that the X-shaped structure in B/PS bulges is formed of relatively metal-rich stars that have been vertically redistributed by the bar, whereas the metal-poor stars have a more uniform, box-shaped distribution.


title: Strictly Hyperbolic Equations with Coefficients Low-Regular in Time and Smooth in Space

abstract: We consider the Cauchy problem for strictly hyperbolic $m$-th order partial differential equations with coefficients low-regular in time and smooth in space. It is well-known that the problem is $L^2$ well-posed in the case of Lipschitz continuous coefficients in time, $H^s$ well-posed in the case of Log-Lipschitz continuous coefficients in time (with an, in general, finite loss of derivatives) and Gevrey well-posed in the case of H\"older continuous coefficients in time (with an, in general, infinite loss of derivatives). Here, we use moduli of continuity to describe the regularity of the coefficients with respect to time, weight sequences for the characterization of their regularity with respect to space and weight functions to define the solution spaces. We establish sufficient conditions for the well-posedness of the Cauchy problem, that link the modulus of continuity and the weight sequence of the coefficients to the weight function of the solution space. The well-known results for Lipschitz, Log-Lipschitz and H\"older coefficients are recovered.


title: In-medium pseudoscalar $D/B$ mesons and charmonium decay width

abstract: Using QCD sum rules and chiral SU(3) model, we investigate the effect of temperature, density, strangeness fraction and isospin asymmetric parameter on the shift in masses and decay constants of the pseudoscalar $D$ and $B$ meson in hadronic medium, which consist of nucleons and hyperons. The in-medium properties of $D$ and $B$ mesons within QCD sum rule approach depend upon the quark and gluon condensates. In chiral SU(3) model, quark and gluon condensates are introduced through the explicit symmetry breaking term and the trace anomaly property of the QCD, respectively and are written in terms of scalar fields $\sigma$, $\zeta$, $\delta$ and $\chi$. Hence, through medium modification of $\sigma$, $\zeta$, $\delta$ and $\chi$ fields, we obtain the medium modified masses and decay constants of $D$ and $B$ mesons. As an application, using $^3 P_0$ model, we calculate the in-medium decay width of the higher charmonium states $ \psi(3686)$, $\psi(3770)$ and $\chi(3556)$ to the $D \bar{D}$ pairs, considering the in-medium mass of $D$ mesons. These results may be important to understand the possible outcomes of high energy physics experiments, e.g., CBM and PANDA at GSI, Germany.


title: Whispering gallery mode single nano-particle detection and sizing: the validity of the dipole approximation

abstract: Interactions between whispering gallery modes (WGMs) and small nanoparticles are commonly modelled by treating the particle as a point dipole scatterer. This approach is assumed to be accurate as long as the nanoparticle radius, $a$, is small compared to the WGM wavelength $\lambda$. In this article, however, we show that the large field gradients associated with the evanescent decay of a WGM causes the dipole theory to significantly underestimate the interaction strength, and hence induced WGM resonance shift, even for particles as small as $a\sim \lambda/10$. To mitigate this issue we employ a renormalized Born approximation to more accurately determine nanoparticle induced resonance shifts and hence enable improved particle sizing. The domain of validity of this approximation is investigated and supporting experimental results are presented.


title: Dynamics in Steady State In Vitro Acto-Myosin Networks

abstract: It is well known that many biochemical processes in the cell such as gene regulation, growth signals and activation of ion channels, rely on mechanical stimuli. However, the mechanism by which mechanical signals propagate through cells is not as well understood. In this review we focus on stress propagation in a minimal model for cell elasticity, actomyosin networks, which are comprised of a sub-family of cytoskeleton proteins. After giving an overview of th actomyosin network components, structure and evolution we review stress propagation in these materials as measured through the correlated motion of tracer beads. We also discuss the possibility to extract structural features of these networks from the same experiments. We show that stress transmission through these networks has two pathways, a quickly dissipative one through the bulk, and a long ranged weakly dissipative one through the pre-stressed actin network.


title: Creating superfluid vortex rings in artificial magnetic fields

abstract: Artificial gauge fields are versatile tools that allow to influence the dynamics of ultracold atoms in Bose-Einstein condensates. Here we discuss a method of artificial gauge field generation stemming from the evanescent fields of the curved surface of an optical nanofibre. The exponential decay of the evanescent fields leads to large gradients in the generalized Rabi frequency and therefore to the presence of geometric vector and scalar potentials. By solving the Gross-Pitaevskii equation in the presence of the artificial gauge fields originating from the fundamental HE$_{11}$ mode of the fibre, we show that vortex rings can be created in a controlled manner. We also calculate the magnetic fields resulting from the higher order HE$_{21}$, TE$_{01}$, and TM$_{01}$ modes and compare them to the fundamental HE$_{11}$ mode.


title: Galactic Chemical Evolution

abstract: We analyze the evolution of oxygen abundance radial gradients resulting from our chemical evolution models calculated with different prescriptions for the star formation rate (SFR) and for the gas infall rate, in order to assess their respective roles in shaping gradients. We also compare with cosmological simulations and confront all with recent observational datasets, in particular with abundances inferred from planetary nebulae. We demonstrate the critical importance in isolating the specific radial range over which a gradient is measured, in order for their temporal evolution to be useful indicators of disk growth with redshift.


title: Thurston's h-principle and Flexibility of Poisson Structures

abstract: We prove an analogue of Thurston's h-principle for $2$-dimensional foliations on manifolds of dimension bigger or equal to $4$, in the presence of a fiber-wise non-degenerate $2$-form. This helps us understand the flexibility of rank $2$ regular Poisson structures on open manifolds with dimension bigger or equal to $4$ and it also helps us understand the flexibility of Poisson structures (not regular) on closed $4$-manifolds.


title: Strong coupling theory of heavy fermion criticality II

abstract: We present a theory of the scaling behavior of the thermodynamic, transport and dynamical properties of a three-dimensional metal governed by $d$-dimensional fluctuations at a quantum critical point, where the electron quasiparticle effective mass diverges. We determine how the critical bosonic order parameter fluctuations are affected by the effective mass divergence. The coupled system of fermions and bosons is found to be governed by two stable fixed points: the conventional weak-coupling fixed point and a new strong-coupling fixed point, provided the boson-boson interaction is irrelevant. The latter fixed point supports hyperscaling, characterized by fractional exponents. The theory is applied to the antiferromagnetic critical point in certain heavy fermion compounds, in which the strong-coupling regime is reached.


title: Bounds for smooth Fano weighted complete intersections

abstract: We prove that if a smooth variety with non-positive canonical class can be embedded into a weighted projective space of dimension $n$ as a well formed complete intersection and it is not an intersection with a linear cone therein, then the weights of the weighted projective space do not exceed $n+1$. Based on this bound we classify all smooth Fano complete intersections of dimensions $4$ and $5$, and compute their invariants.


title: Topological Angular Momentum and Radiative Heat Transport in Closed Orbits

abstract: Here, we study the role of topological edge states of light in the transport of thermally generated radiation in a closed cavity at a thermodynamic equilibrium. It is shown that even in the zero temperature limit - when the field fluctuations are purely quantum mechanical - there is a persistent flow of electromagnetic momentum in the cavity in closed orbits, deeply rooted in the emergence of spatially separated unidirectional edge state channels. It is highlighted the electromagnetic orbital angular momentum of the system is nontrivial, and that the energy circulation is towards the same direction as that determined by incomplete cyclotron orbits near the cavity walls. Our findings open new inroads in topological photonics and suggest that topological states of light can determine novel paradigms in the context of radiative heat transport.


title: Transverse and longitudinal characterization of electron beams using interaction with optical near-fields

abstract: We demonstrate an experimental technique for both transverse and longitudinal characterization of bunched femtosecond free electron beams. The operation principle is based on monitoring of the current of electrons that obtained an energy gain during the interaction with the synchronized optical near-field wave excited by femtosecond laser pulses. The synchronous accelerating/decelerating fields confined to the surface of a silicon nanostructure are characterized using a highly focused sub-relativistic electron beam. Here the transverse spatial resolution of 450 nm and femtosecond temporal resolution achievable by this technique are demonstrated.


title: Lens Distortion Rectification using Triangulation based Interpolation

abstract: Nonlinear lens distortion rectification is a common first step in image processing applications where the assumption of a linear camera model is essential. For rectifying the lens distortion, forward distortion model needs to be known. However, many self-calibration methods estimate the inverse distortion model. In the literature, the inverse of the estimated model is approximated for image rectification, which introduces additional error to the system. We propose a novel distortion rectification method that uses the inverse distortion model directly. The method starts by mapping the distorted pixels to the rectified image using the inverse distortion model. The resulting set of points with subpixel locations are triangulated. The pixel values of the rectified image are linearly interpolated based on this triangulation. The method is applicable to all camera calibration methods that estimate the inverse distortion model and performs well across a large range of parameters.


title: A duality for involutive bisemilattices

abstract: We establish a natural duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as P{\l}onka sum of Boolean algebras, from the other. Furthermore, we show that the dual space of an involutive bisemilattice can be viewed as a GR space with involution, a generalization of the spaces introduced by Gierz and Romanowska equipped with an involution as additional operation.


title: $A_\infty$ implies NTA for a class of variable coefficient elliptic operators

abstract: We consider a certain class of second order, variable coefficient divergence form elliptic operators, in a uniform domain $\Omega$ with Ahlfors regular boundary, and we show that the $A_\infty$ property of the elliptic measure associated to any such operator and its transpose imply that the domain is in fact NTA (and hence chord-arc). The converse was already known, and follows from work of Kenig and Pipher.


title: Measuring intensity correlations of a THz quantum cascade laser around its threshold at sub-cycle timescales

abstract: The quantum nature of photonic systems is reflected in the photon statistics of the light they emit. Therefore, the development of quantum optics tools with single photon sensitivity and excellent temporal resolution is paramount to the development of exotic sources, and is particularly challenging in the THz range where photon energies approach kbT at T=300 K. Here, we report on the first room temperature measurement of field g1({\tau}) and intensity correlations g2({\tau}) in the THz range with sub-cycle temporal resolution (146 fs) over the bandwidth 0.3-3 THz, based on electro-optic sampling. With this system, we are able to measure the photon statistics at threshold of a THz Quantum Cascade Laser.


title: Quantum Correlations of Light-Matter Interactions

abstract: This thesis offers novel strategies for the measurement of quantum correlations present in controllable quantum systems, as well as for a full-fledged implementation of the models of light-matter interaction through which these correlations can be generated. We propose the use of an ancillary qubit to efficiently access both time-correlation functions and entanglement monotones, and we provide two experimental demonstrations of our methods, measuring time correlations in an NMR setup and entanglement monotones in a photonic system. Moreover, we explain how time-correlation functions could be exploited for the quantum simulation of open quantum dynamics, and we provide an experimental recipe for the measurement of entanglement monotones in trapped ion technologies. On the other hand, we explore the quantum simulation of quantum optical models of light-matter interaction for inaccessible coupling regimes, providing experimental proposals for their implementation, both in ions and superconducting circuits. Finally, we also provide an experimental proposal for the quantum simulation of spin models in trapped ions following a digital-analog simulation scheme.


title: Toward a new mobile cloud forensic framework

abstract: Smartphones have created a significant impact on the day to day activities of every individual. Now a days a wide range of Smartphone applications are available and it necessitates high computing resources in order to build these applications. Cloud computing offers enormous resources and extends services to resource-constrained mobile devices. Mobile Cloud Computing is emerging as a key technology to utilize virtually unlimited resources over the Internet using Smartphones. Offloading data and computations to improve productivity, enhance performance, save energy, and improve user experience. Social network applications largely utilize Mobile Cloud Computing to reap the benefits. The social network has witnessed unprecedented growth in the recent years, and millions of registered users access it using Smartphones. The mobile cloud social network applications introduce not only convenience but also various issues related to criminal and illegal activities. Despite being primarily used to communicate and socialize with contacts, the multifarious and anonymous nature of social networking websites increases susceptibility to cybercrimes. Taking into account, the advantage of mobile cloud computing and popularity of social network applications, it is essential to establish a forensic framework based on mobile cloud platform that solves the problems of today forensic requirements. In this paper we present a mobile cloud forensic framework that allows the forensic investigator to collect the automated synchronized copies of data on both mobile and cloud servers to prove the evidence of cloud usage. We also show our preliminary results of this study.


title: Stability of two-species communities: drift, environmental stochasticity, storage effect and selection

abstract: The dynamics of two competing species in a finite size community is one of the most studied problems in population genetics and community ecology. Stochastic fluctuations lead, inevitably, to the extinction of one of the species, but the relevant timescale depends on the underlying dynamics. The persistence time of the community has been calculated for neutral models, where the only drive of the system is drift (demographic stochasticity) and for models with strong selection. Following recent analyses that stress the importance of environmental stochasticity in empirical systems, we present here a general theory of persistence time of two-species community where drift, environmental variations and time independent selective advantage are all taken into account.


title: The State of the Art Forensic Techniques in Mobile Cloud Environment: A Survey, Challenges and Current Trends

abstract: Smartphones have become popular in recent days due to the accessibility of a wide range of applications. These sophisticated applications demand more computing resources in a resource constraint smartphone. Cloud computing is the motivating factor for the progress of these applications. The emerging mobile cloud computing introduces a new architecture to offload smartphone and utilize cloud computing technology to solve resource requirements. The popularity of mobile cloud computing is an opportunity for misuse and unlawful activities. Therefore, it is a challenging platform for digital forensic investigations due to the non-availability of methodologies, tools and techniques. The aim of this work is to analyze the forensic tools and methodologies for crime investigation in a mobile cloud platform as it poses challenges in proving the evidence. The advancement of forensic tools and methodologies are much slower than the current technology development in mobile cloud computing. Thus, forces the available tools, and techniques become increasingly obsolete. Therefore, it opens up the door for the new forensic tools and techniques to cope up with recent developments. Hence, this work presents a detailed survey of forensic methodology and corresponding issues in a mobile device, cloud environment, and mobile cloud applications. It mainly focuses on digital forensic issues related to mobile cloud applications and also analyze the scope, challenges and opportunities. Finally, this work reviewed the forensic procedures of two cloud storage services used for mobile cloud applications such as Dropbox and SkyDrive.


title: Moore: Interval Arithmetic in Modern C++

abstract: We present the library Moore, which implements Interval Arithmetic in modern C++. This library is based on a new feature in the C++ language called concepts, which reduces the problems caused by template meta programming, and leads to a new approach for implementing interval arithmetic libraries in C++.


title: The greedy walk on an inhomogeneous Poisson process

abstract: The greedy walk is a deterministic walk that always moves from its current position to the nearest not yet visited point. In this paper we consider the greedy walk on an inhomogeneous Poisson point process on the real line. Our primary interest is whether the walk visits all points of the point process, and we determine sufficient and necessary conditions on the mean measure of the point process for this to happen. Moreover, we provide precise results on threshold functions for the property of visiting all points.


title: Server Structure Proposal and Automatic Verification Technology on IaaS Cloud of Plural Type Servers

abstract: In this paper, we propose a server structure proposal and automatic performance verification technology which proposes and verifies an appropriate server structure on Infrastructure as a Service (IaaS) cloud with baremetal servers, container based virtual servers and virtual machines. Recently, cloud services have been progressed and providers provide not only virtual machines but also baremetal servers and container based virtual servers. However, users need to design an appropriate server structure for their requirements based on 3 types quantitative performances and users need much technical knowledge to optimize their system performances. Therefore, we study a technology which satisfies users' performance requirements on these 3 types IaaS cloud. Firstly, we measure performances of a baremetal server, Docker containers, KVM (Kernel based Virtual Machine) virtual machines on OpenStack with virtual server number changing. Secondly, we propose a server structure proposal technology based on the measured quantitative data. A server structure proposal technology receives an abstract template of OpenStack Heat and function/performance requirements and then creates a concrete template with server specification information. Thirdly, we propose an automatic performance verification technology which executes necessary performance tests automatically on provisioned user environments according to the template.


title: Proposal of Optimum Application Deployment Technology for Heterogeneous IaaS Cloud

abstract: Recently, cloud systems composed of heterogeneous hardware have been increased to utilize progressed hardware power. However, to program applications for heterogeneous hardware to achieve high performance needs much technical skill and is difficult for users. Therefore, to achieve high performance easily, this paper proposes a PaaS which analyzes application logics and offloads computations to GPU and FPGA automatically when users deploy applications to clouds.


title: Predicting Human Eye Fixations via an LSTM-based Saliency Attentive Model

abstract: Data-driven saliency has recently gained a lot of attention thanks to the use of Convolutional Neural Networks for predicting gaze fixations. In this paper we go beyond standard approaches to saliency prediction, in which gaze maps are computed with a feed-forward network, and present a novel model which can predict accurate saliency maps by incorporating neural attentive mechanisms. The core of our solution is a Convolutional LSTM that focuses on the most salient regions of the input image to iteratively refine the predicted saliency map. Additionally, to tackle the center bias typical of human eye fixations, our model can learn a set of prior maps generated with Gaussian functions. We show, through an extensive evaluation, that the proposed architecture outperforms the current state of the art on public saliency prediction datasets. We further study the contribution of each key component to demonstrate their robustness on different scenarios.


title: Occlusion-Aware Video Deblurring with a New Layered Blur Model

abstract: We present a deblurring method for scenes with occluding objects using a carefully designed layered blur model. Layered blur model is frequently used in the motion deblurring problem to handle locally varying blurs, which is caused by object motions or depth variations in a scene. However, conventional models have a limitation in representing the layer interactions occurring at occlusion boundaries. In this paper, we address this limitation in both theoretical and experimental ways, and propose a new layered blur model reflecting actual blur generation process. Based on this model, we develop an occlusion-aware deblurring method that can estimate not only the clear foreground and background, but also the object motion more accurately. We also provide a novel analysis on the blur kernel at object boundaries, which shows the distinctive characteristics of the blur kernel that cannot be captured by conventional blur models. Experimental results on synthetic and real blurred videos demonstrate that the proposed method yields superior results, especially at object boundaries.


title: Learning Concept Hierarchies through Probabilistic Topic Modeling

abstract: With the advent of semantic web, various tools and techniques have been introduced for presenting and organizing knowledge. Concept hierarchies are one such technique which gained significant attention due to its usefulness in creating domain ontologies that are considered as an integral part of semantic web. Automated concept hierarchy learning algorithms focus on extracting relevant concepts from unstructured text corpus and connect them together by identifying some potential relations exist between them. In this paper, we propose a novel approach for identifying relevant concepts from plain text and then learns hierarchy of concepts by exploiting subsumption relation between them. To start with, we model topics using a probabilistic topic model and then make use of some lightweight linguistic process to extract semantically rich concepts. Then we connect concepts by identifying an "is-a" relationship between pair of concepts. The proposed method is completely unsupervised and there is no need for a domain specific training corpus for concept extraction and learning. Experiments on large and real-world text corpora such as BBC News dataset and Reuters News corpus shows that the proposed method outperforms some of the existing methods for concept extraction and efficient concept hierarchy learning is possible if the overall task is guided by a probabilistic topic modeling algorithm.


title: A generalized Lanczos method for systematic optimization of tensor network states

abstract: We propose a generalized Lanczos method to generate the many-body basis states of quantum lattice models using tensor-network states (TNS). The ground-state wave function is represented as a linear superposition composed from a set of TNS generated by Lanczos iteration. This method improves significantly both the accuracy and the efficiency of the tensor-network algorithm and allows the ground state to be determined accurately using TNS with very small virtual bond dimensions. This state contains significantly more entanglement than each individual TNS, reproducing correctly the logarithmic size dependence of the entanglement entropy in a critical system. The method can be generalized to non-Hamiltonian systems and to the calculation of low-lying excited states, dynamical correlation functions, and other physical properties of strongly correlated systems.


title: Discrete anomalies in supergravity and consistency of string backgrounds

abstract: We examine SL(2, Z) anomalies in ten and eight-dimensional supergravities, the induced local counterterms and their realization in string theory. Composite connections play an important role in the cancellation mechanism. At the same time their global properties lead to novel non-trivial consistency constraints on compactifications.


title: Optimal quantum state identification with qudit-encoded unknown states

abstract: We consider the problem of optimally identifying the state of a probe qudit, prepared with given prior probability in a pure state belonging to a finite set of possible states which together span a D-dimensional subspace of the d-dimensional Hilbert space the qudit is defined in.It is assumed that we do not know some or all of the states in the set, but for each unknown state we are given a reference qudit into which this state is encoded. We show that from the measurement for optimal state identification with d=D one can readily determine the optimal figure of merit for qudits with d>D, without solving a new optimization problem. This result is applied to the minimum-error identification and to the optimal unambiguous identification of two qudit states with d > 2, where either one or both of the states are unknown, and also to the optimal unambiguous identification of N equiprobable linearly independent unknown pure qudit states with d > N. In all cases the optimal figure of merit, averaged over the unknown states, increases with growing dimensionality d of the qudits.


title: Fast Face-swap Using Convolutional Neural Networks

abstract: We consider the problem of face swapping in images, where an input identity is transformed into a target identity while preserving pose, facial expression, and lighting. To perform this mapping, we use convolutional neural networks trained to capture the appearance of the target identity from an unstructured collection of his/her photographs.This approach is enabled by framing the face swapping problem in terms of style transfer, where the goal is to render an image in the style of another one. Building on recent advances in this area, we devise a new loss function that enables the network to produce highly photorealistic results. By combining neural networks with simple pre- and post-processing steps, we aim at making face swap work in real-time with no input from the user.


title: Discovery of two-dimensional Dirac nodal line fermions in monolayer Cu2Si

abstract: Topological nodal line semimetals, a novel quantum state of materials, possess topologically nontrivial valence and conduction bands that touch at a line near the Fermi level. The exotic band structure can lead to various novel properties, such as long-range Coulomb interaction and flat Landau levels. Recently, topological nodal lines have been observed in several bulk materials, such as PtSn4, ZrSiS, TlTaSe2 and PbTaSe2. However, in two-dimensional materials, experimental research on nodal line fermions is still lacking. Here, we report the discovery of two-dimensional Dirac nodal line fermions in monolayer Cu2Si based on combined theoretical calculations and angle-resolved photoemission spectroscopy measurements. The Dirac nodal lines in Cu2Si form two concentric loops centred around the {\Gamma} point and are protected by mirror reflection symmetry. Our results establish Cu2Si as a new platform to study the novel physical properties in two-dimensional Dirac materials and provide new opportunities to realize high-speed low-dissipation devices.


title: Tournament limits: Degree distributions, score functions and self-converseness

abstract: Motivated by known results for finite tournaments, we define and study the score functions of tournament kernels and the degree distributions of tournament limits. Our main theorem completely characterises those distributions that appear as the degree distribution of some tournament limit and those functions that appear as the score function of some tournament kernel. We also show that only the uniform distribution can be realised as the outdegree distribution of a unique tournament limit. Finally we define self-converse tournament limits and kernels and characterise their degree distributions and score functions.


title: A Large-scale Distributed Video Parsing and Evaluation Platform

abstract: Visual surveillance systems have become one of the largest data sources of Big Visual Data in real world. However, existing systems for video analysis still lack the ability to handle the problems of scalability, expansibility and error-prone, though great advances have been achieved in a number of visual recognition tasks and surveillance applications, e.g., pedestrian/vehicle detection, people/vehicle counting. Moreover, few algorithms explore the specific values/characteristics in large-scale surveillance videos. To address these problems in large-scale video analysis, we develop a scalable video parsing and evaluation platform through combining some advanced techniques for Big Data processing, including Spark Streaming, Kafka and Hadoop Distributed Filesystem (HDFS). Also, a Web User Interface is designed in the system, to collect users' degrees of satisfaction on the recognition tasks so as to evaluate the performance of the whole system. Furthermore, the highly extensible platform running on the long-term surveillance videos makes it possible to develop more intelligent incremental algorithms to enhance the performance of various visual recognition tasks.


title: H$_2$O Masers and Protoplanetary Disk Dynamics in IC 1396 N

abstract: We report H$_2$O maser line observations of the bright-rimmed globule IC 1396 N using a ground-space interferometer with the 10-m RadioAstron radio telescope as the space-based element. The source was not detected on projected baselines >2.3 Earth diameters, which indicates a lower limit on the maser size of L >0.03 AU and an upper limit on the brightness temperature of 6.25 x 10$^{12}$ K. Positions and flux densities of maser spots were determined by fringe rate mapping. Multiple low-velocity features from -4.5 km/s to +0.7 km/s are seen, and two high-velocity features of V$_{LSR}$=-9.4 km/s and +4.4 km/s are found at projected distances of 157 AU and 70 AU, respectively, from the strongest low-velocity feature at V$_{LSR}$=$\sim$0.3 km/s. Maser components from the central part of the spectrum fall into four velocity groups but into three spatial groups. Three spatial groups of low-velocity features detected in the 2014 observations are arranged in a linear structure about 200 AU in length. Two of these groups were not detected in 1996 and possibly are jets which formed between 1996 and 2014. The putative jet seems to have changed direction in 18 years, which we explain by the precession of the jet under the influence of the gravity of material surrounding the globule. The jet collimation can be provided by a circumstellar protoplanetary disk. There is a straight line orientation in the V$_{LSR}$-Right Ascension diagram between the jet and the maser group at V$_{LSR}$=$\sim$0.3 km/s. However, the central group with the same position but at the velocity V$_{LSR}$$\sim$-3.4 km/s falls on a straight line between two high-velocity components detected in 2014. Comparison of the low-velocity positions from 2014 and 1996, based on the same diagram, shows that the majority of the masers maintain their positions near the central velocity V$_{LSR}$=$\sim$0.3 km/s during the 18 year period.


title: Mollification of the Fourth Moment of Dirichlet L-functions

abstract: We evaluate some twisted fourth moment of Dirichlet $L$-functions at the central point s=1/2 and for prime moduli q. The principal tool is a careful analysis of a shifted convolution problem involving the divisor function using spectral theory of automorphic forms and bounds for bilinear forms in Kloosterman sums. Having in mind simultaneous non vanishing results, we apply the Theorem to establish an asymptotic formula of a mollified fourth moment for this family of $L$-functions


title: Periodicity for space-inhomogeneous quantum walks on the cycle

abstract: In this paper, we consider periodicity for space-inhomogeneous quantum walks on the cycle. For isospectral coin cases, we propose a spectral analysis. Based on the analysis, we extend the result for periodicity for Hadamard walk to some isospectral coin cases. For non-isospectral coin cases, we consider the the system that uses only one general coin at the origin and the identity coin at the other sites. In this case, we show that the periodicity of the general coin at the origin determines the periodicity for the whole system.


title: Kaon-kaon scattering at maximal isospin from $N_f=2+1+1$ twisted mass lattice QCD

abstract: We present results for the interaction of two kaons at maximal isospin. The calculation is based on 2+1+1 flavour gauge configurations generated by the ETM Collaboration (ETMC) featuring pion masses ranging from about 230 MeV to 450 MeV at three values of the lattice spacing. The elastic scattering length $a_0^{I=1}$ is calculated at several values of the bare strange quark and light quark masses. We find $M_K a_0 =-0.397(11)(_{-8}^{+0})$ as the result of a chiral and continuum extrapolation to the physical point. This number is compared to other lattice results.


title: Iitaka fibrations for vector bundles

abstract: A vector bundle on a smooth projective variety, if it is generically generated by global sections, yields a rational map to a Grassmannian, called Kodaira map. We investigate the asymptotic behaviour of the Kodaira maps for the symmetric powers of a vector bundle, and we show that these maps stabilize to a map dominating all of them, as it happens for a line bundle via the Iitka fibration. Through this Iitaka-type construction, applied to the cotangent bundle, we give a new characterization of Abelian varieties.


title: Volume of the set of locally diagonalizable bipartite states

abstract: The purpose of this article is to investigate the geometry of the set of locally diagonalizable bipartite quantum states. We have the following new results: the Hilbert-Schmidt volume of all locally diagonalizable states, and a necessary and sufficient condition for local diagonalizability in the qubit-qubit case. Besides, we partition the set of all locally diagonalizable states as local unitary orbits (or coadjoint orbits) of diagonal forms. It is well-known that the Riemannian volume of a coadjoint orbit for a regular point in a specified Weyl chamber can be calculated by Harish-Chandra's volume formula. By modifying Harish-Chandra's volume formula, we give, for the first time, a specific formula for the Riemannian volume of a local unitary orbit of a regular point in a specified Weyl chamber. Several open questions are presented as well.


title: Surveillance Video Parsing with Single Frame Supervision

abstract: Surveillance video parsing, which segments the video frames into several labels, e.g., face, pants, left-leg, has wide applications. However,pixel-wisely annotating all frames is tedious and inefficient. In this paper, we develop a Single frame Video Parsing (SVP) method which requires only one labeled frame per video in training stage. To parse one particular frame, the video segment preceding the frame is jointly considered. SVP (1) roughly parses the frames within the video segment, (2) estimates the optical flow between frames and (3) fuses the rough parsing results warped by optical flow to produce the refined parsing result. The three components of SVP, namely frame parsing, optical flow estimation and temporal fusion are integrated in an end-to-end manner. Experimental results on two surveillance video datasets show the superiority of SVP over state-of-the-arts.


title: Level sets and drift estimation for reflected Brownian motion with drift

abstract: We consider the estimation of the drift and the level sets of the stationary distri- bution of a Brownian motion with drift, reflected in the boundary of a compact set $S\subset R^d$ , departing from the observation of a trajectory of this process. We obtain the uniform consistency and rates of convergence for the proposed kernel based estimators. This problem has relevant applications in ecology, in estimating the home-range and the core-area of an animal based on tracking data. Recently, the problem of estimat- ing the domain of a reflected Brownian motion was considered in Cholaquidis, et al. (2016), when the stationary distribution is uniform and the estimation of the core-area, defined as a level set of the stationary distribution, is meaningless. As a by-product of our results, we obtain an estimation of the drift function. In order to prove our re- sults, some new theoretical properties of the reflected Brownian motion with drift are obtained, under fairly general assumptions. These properties allow us to perform the estimation for flexible regions close to reality. The theoretical findings are illustrated on simulated and real data examples.


title: On a symmetrization of hemiimplicative semilattices

abstract: A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals satisfied by the residuum of the infimum) and the equation $a \to a = 1$. The class of hemiimplicative semilattices form a variety. These structures provide a general framework for the study of different structures of interest in algebraic logic. In any hemiimplicative semilattice it is possible to define a derived operation by $a \sim b := (a \to b) \wedge (b \to a)$. Endowing $(A, \wedge, 1)$ with the binary operation $\sim$ results again a hemiimplicative semilattice, which also satisfies the identity $a \sim b = b \sim a$. We call the elements of the subvariety of hemiimplicative semilattices satisfying $a \to b = b \to a$, a symmetric hemiimplicative semilattice. In this article, we study the correspondence assigning the symmetric hemiimplicative semilattice $(A, \wedge, \sim , 1)$ to the hemiimplicative semilattice $(A, \wedge, \to, 1)$. In particular, we characterize the image of this correspondence. We also provide many new examples of hemiimplicative semilattice structures on any bounded semillatice (possibly with bottom). Finally, we characterize congruences on the clases of hemiimplicative semilattices introduced as examples and we describe the principal congruences of hemiimplicative semilattices.


title: Implicant based parallel all solution solver for Boolean satisfiability

abstract: This paper develops a parallel computational solver for computing all satifying assignments of a Boolean system of equations defined by Boolean functions of several variables. While there are we known solvers for satisfiability of Boolean formulas in CNF form, these are designed primarily for deciding satisfiability of the formula and do not address the problem of finding all satisfying solutions. Moreover development of parallel solvers for satisfiability problems is still an unfinished problem of Computer Science. The solver proposed in this paper is aimed at representing all solutions of Boolean formulas even without the CNF form with a parallel algorithm. Algorithm proposed is applied to Boolean functions in algebraic normal form (ANF). The algorithm is based on the idea to represent the satisfying assignments in terms of a complete set of implicants of the Boolean functions appearing as factors of a Boolean formula. The algorithm is effective mainly in the case when the factors of the formula are sparse (i.e. have a small fraction of the total number of variables). This allows small computation of a complete set of implicants of individual factors one at a time and reduce the formula at each step. An algorithm is also proposed for finding a complete set of orthogonal implicants of functions in ANF. An advantages of this algorithm is that all solutions can be represented compactly in terms of implicants. Finally due to small and distributed computation at every step as well as computation in terms of independent threads, the solver proposed in this paper is expected to be useful for developing heuristics for a well scalable parallel solver for large size problems of Boolean satisfiability over large number of processors.


title: Magnetic field concentration with coaxial silicon nanocylinders in optical spectral range

abstract: Possibility of magnetic energy accumulation inside silicon nanoparticles at the conditions of resonant optical responses is investigated theoretically. The magnetic field distributions inside silicon nanocylinders with and without coaxial through holes are calculated using full-wave numerical approach. It is demonstrated that such systems can be used for control and manipulation of optical magnetic fields providing their enhancement up to 26 times at the condition of optical resonances. Obtained results can be used for realization of nanoantennas and nanolasers, in which magnetic optical transitions play significant roles.


title: p-adic approach of Greenberg's conjecture (p-split totally real case)

abstract: Let k be a totally real number field ant let k$\infty$ be its cyclotomic Zp-extension for a prime p\textgreater{}2. We give (Theorem 3.2) a sufficient condition of nullity of the Iwasawa invariants lambda, mu, when p totally splits in k, and we obtain important tables of quadratic fields and p for which we can conclude that lambda = mu=0.We show that the number of ambiguous p-classes of kn (nth stage in k$\infty$) is equal to the order of the torsion group T, of the Galois group of the maximal Abelian p-ramified pro-p-extension of k (Theorem 4.2), for all n \textgreater{}\textgreater{} e, where p^e is the exponent of U*/ adh(E) (in terms of local and global units of k). Then we establish analogs of Chevalley's formula using a family (Lambda\_i^n)\_{0$\le$i$\le$m\_n} of subgroups of k* containing E, in which any x is norm of an ideal of kn. This family is attached to the classical filtration of the p-class group of kn defining the algorithm of computation of its order in m\_n steps. From this, we prove (Theorem 6.1) that m\_n $\ge$ (lambda.n + mu.p^n + nu)/v\_p(T\_k) and that the condition m\_n = O(1) (i.e., lambda = mu=0) essentially depends on the P-adic valuations of the (x^(p-1)-1)/p, x in Lambda\_i^n, for P I p, so that Greenberg's conjecture is strongly related to "Fermat quotients" in k*. Heuristics and statistical analysis of these Fermat quotients (Sections 6, 7, 8) show that they follow natural probabilities, linked to T\_k whatever n, suggesting that lambda = mu=0 (Heuristics 7.1, 7.2, 7.3). This would imply that, for a proof of Greenberg's conjecture, some deep p-adic results (probably out of reach now), having some analogy with Leopoldt's conjecture, are necessary before referring to the sole algebraic Iwasawa theory.


title: Spin Chains and Gustafson's Integrals

abstract: Gustafson's integrals are multidimensional generalizations of the classical Mellin-Barnes integrals. We show that some of these integrals arise from relations between matrix elements in Sklyanin's representation of Separated Variables in spin chain models. We also present several new integrals.


title: Type-II Seesaw Model and Multilepton Signatures at Hadron Colliders

abstract: We investigate multilepton signatures, arising from the decays of doubly charged and singly charged Higgs bosons in the Type-II Seesaw model. Depending on the vacuum expectation value of the triplet $v_{\Delta}$, the doubly and singly charged Higgs bosons can decay into a large variety of multi-lepton final states. We explore all possible decay modes corresponding to different regimes of $v_{\Delta}$, that generate distinguishing four and five leptonic signatures. We focus on the 13 TeV Large Hadron Collider (LHC) and further extend the study to a very high energy proton-proton collider (VLHC) with a center-of-mass energy of 100 TeV. We find that a doubly charged Higgs boson of masses around 375 GeV can be discovered at immediate LHC runs. A heavier mass of 630 GeV can instead be discovered at the high-luminosity run of the LHC or at the VLHC with 30 $\rm{fb}^{-1}$.


title: Superdirectional Beam of Surface Spin Wave

abstract: The visualized diffraction patterns of surface spin wave excited by arbitrarily oriented linear transducer are investigated experimentally in the plane of tangentially magnetized ferrite film for the case where the transducer length D is much larger than the wavelength L. It is shown experimentally and theoretically that the angular width of diffracted surface spin wave beam in anisotropic ferrite film can take values greater or less than L/D and can also be zero. For the last case superdirectional (nonexpanding) beam of the surface spin wave is observed experimentally: the smearing of the beam energy along the film plane is absent and the length of the beam trajectory is maximal (~50 mm).


title: Phase mixing importance for both Landau instability and damping

abstract: We discuss the self-consistent dynamics of plasmas by means of hamiltonian formalism for a system of $N$ near-resonant electrons interacting with a single Langmuir wave. The connection with the Vlasov description is revisited through the numerical calculation of the van Kampen-like eigenfrequencies of the linearized dynamics for many degrees of freedom. Both the exponential-like growth as well as damping of the Langmuir wave are shown to emerge from a phase mixing effect among beam modes, revealing unexpected similarities between the stable and unstable regimes.


title: Flows and functional inequalities for fractional operators

abstract: This paper collects results concerning global rates and large time asymptotics of a fractional fast diffusion on the Euclidean space, which is deeply related with a family of fractional Gagliardo-Nirenberg-Sobolev inequalities. Generically, self-similar solutions are not optimal for the Gagliardo-Nirenberg-Sobolev inequalities, in strong contrast with usual standard fast diffusion equations based on non-fractional operators. Various aspects of the stability of the self-similar solutions and of the entropy methods like carr{\'e} du champ and R{\'e}nyi entropy powers methods are investigated and raise a number of open problems.


title: On the denseness of the set of scattering amplitudes

abstract: It is proved that the set of scattering amplitudes $\{A(\beta, \alpha, k)\}_{\forall \alpha \in S^2}$, known for all $\beta\in S^2$, where $S^2$ is the unit sphere in $\mathbb{R}^3$, $k>0$ is fixed, $k^2$ is not a Dirichlet eigenvalue of the Laplacian in $D$, is dense in $L^2(S^2)$. Here $A(\beta, \alpha, k)$ is the scattering amplitude corresponding to an obstacle $D$, where $D\subset \mathbb{R}^3$ is a bounded domain with a boundary $S$. The boundary condition on $S$ is the Dirichlet condition.


title: Clearing and Pricing for Coordinated Gas and Electricity Day-ahead Markets Considering Wind Power Uncertainty

abstract: The natural gas and electricity systems are now becoming more and more strongly coupled. While gas-fired units (GFUs) are replacing the retired coal plants, the power systems are also increasingly dependent on the flexibilities provided by GFUs to accommodate intermittent renewable energies. The GFUs' capability of power generation relies on the availability of gas resources, which is determined jointly by the capacity of gas suppliers and their associated pipeline networks. However, the gas and electricity markets are operated separately. As a con-sequence, the GFUs actually have to "represent" the whole power system to bid on the gas market: they need to make forecasts on future gas consumption, and bear the risk of improper contracts or being unable to meet the generation schedules due to insufficient gas supply. When facing larger shares of renewable energies and more-frequent gas network congestion, the current market framework is especially unreliable and inefficient, and also economically unfriendly to the investors of the GFU assets. In this paper, we try to develop a framework which can combine the two markets. By properly pricing the scarce resources, e.g., gas transmission capacity, the joint market can help allocate them more efficiently while satisfying the demands. And by considering the uncertainty brought by renewable energies, a more forward-looking day-ahead market clearing framework is presented. The formulation, algorithm of the pro-posed joint market model will be presented, as well as some case studies.


title: Effective temperature of ionizing stars of extragalactic HII regions

abstract: The effective temperature (Teff) of the radiation field of the ionizing star(s) of a large sample of extragalactic HII regions was estimated using the R= log([OII](3727)/[OIII]5007) index. We used a grid of photoionization models to calibrate the Teff-R relation finding that it has a strong dependence with the ionizing parameter while it shows a weak direct dependence with the metallicity (variations in Z imply variations in U) of both the stellar atmosphere of the ionizing star and the gas phase of the HII region. Since the R index varies slightly with the Teff for values larger than 40 kK, the R index can be used to derive the Teff in 30-40 kK range. A large fraction of the ionization parameter variation is due to differences in the temperature of the ionizing stars and then the use of the (relatively) low Teff dependent S2=[S II](6717+31)/Ha emission-line ratio to derive the ionization parameter is preferable over others in the literature. We propose linear metallicity dependent relationships between S2 and U. Teff and metallicity estimations for a sample of 865 HII regions, whose emission-line intensities were compiled from the literature, do not show any Teff-Z correlation. On the other hand it seems to be hints of the presence of an anti-correlation between Teff-U. We found that the majority of the studied HII regions (87%) present Teff values in the range between 37 and 40 kK, with an average value of 38.5 kK. We also studied the variation of Teff as a function of the galactocentric distance for 14 spiral galaxies. Our results are in agreement with the idea of the existence of positive Teff gradients along the disk of spiral galaxies.


title: Do Stellar Winds Prevent the Formation of Supermassive Stars by Accretion?

abstract: Supermassive stars (SMS; ~ 10^5 M_sun) formed from metal-free gas in the early Universe attract attention as progenitors of supermassive black holes observed at high redshifts. To form SMSs by accretion, central protostars must accrete at as high rates as ~ 0.1-1 M_sun/yr. Such protostars have very extended structures with bloated envelopes, like super-giant stars, and are called super-giant protostars (SGPSs). Under the assumption of hydrostatic equilibrium, SGPSs have density inverted layers, where the luminosity becomes locally super-Eddington, near the surface. If the envelope matter is allowed to flow out, however, a stellar wind could be launched and hinder the accretion growth of SGPSs before reaching the supermassive regime. We examine whether radiation-driven winds are launched from SGPSs by constructing steady and spherically symmetric wind solutions. We find that the wind velocity does not reach the escape velocity in any case considered. This is because once the temperature falls below ~ 10^4 K, the opacity plummet drastically owing to the recombination of hydrogen and the acceleration ceases suddenly. This indicates that, in realistic non-steady cases, even if outflows are launched from the surface of SGPSs, they would fall back again. Such a "wind" does not result in net mass loss and does not prevent the growth of SGPSs. In conclusion, SGPSs will grow to SMSs and eventually collapse to massive BHs of ~ 10^5 M_sun, as long as the rapid accretion is maintained.


title: Perturbation of zero surfaces

abstract: It is proved that if a smooth function $u(x)$, $x\in \mathbb{R}^3$, such that $\inf_{s\in S}|u_N(s)|>0$, where $u_N$ is the normal derivative of $u$ on $S$, has a closed smooth surface $S$ of zeros, then the function $u(x)+\epsilon v(x)$ has also a closed smooth surface $S_\epsilon$ of zeros. Here $v$ is a smooth function and $\epsilon>0$ is a sufficiently small number.


title: Functional evolution of scalar fields in bounded one-dimensional regions

abstract: We discuss the unitarity of the quantum evolution between arbitrary Cauchy surfaces of a 1+1 dimensional free scalar field defined on a bounded spatial region and subject to several types of boundary conditions including Dirichlet, Neumann and Robin.


title: Status of air-shower measurements with sparse radio arrays (ARENA 2016)

abstract: This proceeding gives a summary of the current status and open questions of the radio technique for cosmic-ray air showers, assuming that the reader is already familiar with the principles. It includes recent results of selected experiments not present at this conference, e.g., LOPES and TREND. Current radio arrays like AERA or Tunka-Rex have demonstrated that areas of several km^2 can be instrumented for reasonable costs with antenna spacings of the order of 200 m. For the energy of the primary particle such sparse antenna arrays can already compete in absolute accuracy with other precise techniques, like the detection of air-fluorescence or air-Cherenkov light. With further improvements in the antenna calibration, the radio detection might become even more accurate. For the atmospheric depth of the shower maximum, Xmax, currently only the dense array LOFAR features a precision similar to the fluorescence technique, but analysis methods for the radio measurement of Xmax are still under development. Moreover, the combination of radio and muon measurements is expected to increase the accuracy of the mass composition, and this around-the-clock recording is not limited to clear nights as are the light-detection methods. Consequently, radio antennas will be a valuable add-on for any air shower array targeting the energy range above 100 PeV.


title: Search for short strings in~$e^+e^-$-annihilation

abstract: In this work the behavior of power corrections to Adler finction in operator product expansion (OPE) is studied, in particular the possible contribution of operator of dimension 2. The OPE terms of dimension 4 and 6 are taken into account. Various experimental data on reactions of $e^+e^-$-annihilation to pion channels ($\pi^+\pi^-$, $2\pi^+2\pi^-$, $\pi^+\pi^-2\pi^0$, $3\pi^+3\pi^-$, $2\pi^+2\pi^-2\pi^0$) are used. The high-precision fits of the experimental data are obtained and used. The method based on Borel transform of Adler function is applied. It is shown that the contribution of operator of dimension 2 is negative being compatible to zero at three standard deviations level. The strong (anti)corellation between short string and local gluon condensate is found.


title: An Inductive Proof Method for Simulation-based Compiler Correctness

abstract: We study induction on the program structure as a proof method for bisimulation-based compiler correctness. We consider a first-order language with mutually recursive function definitions, system calls, and an environment semantics. The proof method relies on a generalization of compatibility of function definition with the bisimulation. We use the inductive method to show correctness of a form of dead code elimination. This is an interesting case study because the transformation removes function, variable, and parameter definitions from the program. While such transformations require modification of the simulation in a coinductive proof, the inductive method deals with them naturally. All our results are formalized in Coq.


title: The search for standard model four-top-quark production at sqrt(s) = 13 TeV in the single lepton and opposite-sign dilepton channels

abstract: A combined search for standard model four-top-quark production in the single lepton plus jets and dilepton channels will be presented. The analysis utilises the 2015 dataset recorded by the CMS experiment at sqrt(s) = 13 TeV which corresponds to an integrated luminosity of 2.6 fb-1. A scheme based on a boosted decision tree algorithm is used to select signal and suppress backgrounds. An upper limit on the cross section of four-top-quark production will be presented.


title: Tunka-Rex: Status, Plans, and Recent Results (ARENA 2016)

abstract: Tunka-Rex, the Tunka Radio extension at the TAIGA facility (Tunka Advanced Instrument for cosmic ray physics and Gamma Astronomy) in Siberia, has recently been expanded to a total number 63 SALLA antennas, most of them distributed on an area of one square kilometer. In the first years of operation, Tunka-Rex was solely triggered by the co-located air-Cherenkov array Tunka-133. The correlation of the measurements by both detectors has provided direct experimental proof that radio arrays can measure the position of the shower maximum. The precision achieved so far is 40 g/cm^2, and several methodical improvements are under study. Moreover, the cross-comparison of Tunka-Rex and Tunka-133 shows that the energy reconstruction of Tunka-Rex is precise to 15 %, with a total accuracy of 20 % including the absolute energy scale. By using exactly the same calibration source for Tunka-Rex and LOPES, the energy scale of their host experiments, Tunka-133 and KASCADE-Grande, respectively, can be compared even more accurately with a remaining uncertainty of about 10 %. The main goal of Tunka-Rex for the next years is a study of the cosmic-ray mass composition in the energy range above 100 PeV: For this purpose, Tunka-Rex now is triggered also during daytime by the particle detector array Tunka-Grande featuring surface and underground scintillators for electron and muon detection.


title: Super-resolution quantum sensing using NV centers based on rotating linear polarized light and Monte-Carlo method

abstract: The nitrogen vacancy (NV) center in diamond has been widely applied for quantum information and sensing in last decade. Based on the laser polarization dependent excitation of fluorescence emission, we propose a super-resolution microscopy of NV center. A series of wide field images of NV centers are taken with different polarizations of the linear polarized excitation laser. The fluorescence intensity of NV center is changed with the relative angle between excitation laser polarization and the orientation of NV center dipole. The images pumped by different excitation laser polarizations are analyzed with Monte Carlo method. Then the symmetry axis and position of NV center are obtained with sub-diffraction resolution.


title: Dissipative self-gravitating Bose-Einstein condensates with arbitrary nonlinearity as a model of dark matter halos

abstract: We develop a general formalism applying to Newtonian self-gravitating Bose-Einstein condensates. This formalism may find application in the context of dark matter halos. We introduce a generalized Gross-Pitaevskii equation including a source of dissipation (damping) and an arbitrary nonlinearity. Using the Madelung transformation, we derive the hydrodynamic representation of this generalized Gross-Pitaevskii equation and obtain a damped quantum Euler equation involving a friction force proportional and opposite to the velocity and a pressure force associated with an equation of state determined by the nonlinearity present in the generalized Gross-Pitaevskii equation. In the strong friction limit, we obtain a quantum Smoluchowski equation. These equations satisfy an $H$-theorem for a free energy functional constructed with a generalized entropy. We specifically consider the Boltzmann and Tsallis entropies associated with isothermal and polytropic equations of state. We also consider the entropy associated with the logotropic equation of state. We derive the virial theorem corresponding to the generalized Gross-Pitaevskii equation, damped quantum Euler equation, and quantum Smoluchowski equation. Using a Gaussian ansatz, we obtain a simple equation governing the dynamical evolution of the size of the condensate. We highlight a specific model of dark matter halos corresponding to a generalized Gross-Pitaevskii equation with a logarithmic nonlinearity and a cubic nonlinearity. It leads to dark matter halos with an equation of state $P=\rho k_B T_{\rm eff}/m+2\pi a_s\hbar^2\rho^{2}/m^3$ presenting a condensed core (BEC/soliton) and an isothermal halo with an effective temperature $T_{\rm eff}$. We propose that this model provides an effective coarse-grained parametrization of dark matter halos experiencing gravitational cooling.


title: Thermal and Quantum critical Properties of overdoped La_{2-x}Sr_{x}CuO_{4}

abstract: We analyze the extended superfluid density data of Bo\v{z}ovi\'{c} \textit{ et al}. taken on homogenous thin films to explore the critical properties of the thermal (TSM) and quantum superconductor to metal (QSM) transitions in overdoped La$_{2-x}$Sr$_{x}$CuO$_{4}$. The temperature dependence reveals remarkable agreement with d-wave BCS behavior, where $\sigma \propto 1/\lambda ^{2}$. No sign of the expected KTB transition is observable. We show that the critical amplitude $\rho_{s0}=\rho_{s}\left( T\right) /\left( 1-T/T_{c}\right) $ scales as $T_{c}\propto \rho_{s0}^{1/2}$ and with that as $T_{c}\propto \rho_{s}\left( 0\right) $, empirically verified by Bo\v{z}ovi\'{c} \textit{et al}. Together with additional evidence for BCS behavior in overdoped La$_{2-x}$Sr$_{x}$CuO$_{4}$ we show that the scaling relation $T_{c}\propto \lambda \left( 0\right) ^{-1}\propto \Delta \left( 0\right) \propto \xi \left( 0\right) ^{-1}\propto H_{c2}\left( 0\right) ^{-1/2}\propto \lambda_{0}^{-1}\propto \Delta_{0}\propto \xi_{0}^{-1}\propto H_{c20}^{-1/2}$ applies, by approaching the QSM and TSM transitions. This differs from the dirty limit behavior $\lambda \left( 0\right) \propto \xi \left( 0\right) ^{1/2}$, maintains the $T_{c}$ \ independence of the Ginzburg-Landau parameter $\kappa =\lambda_{o}/\xi_{0}$, and puts a stringent constraint on the effect at work. We notice that potential candidates appear to be the nonlocal effects on the penetration depth of clean d-wave superconductors explored by Kosztin and Legget.


title: Dissipative Preparation of Entangled Many-Body States with Rydberg Atoms

abstract: We investigate a one-dimensional atomic lattice laser-driven to a Rydberg state, in which engineered dissipation channels lead to entanglement in the many-body system. In particular, we demonstrate the efficient generation of ground states of a frustration-free Hamiltonian, as well as $W$ states. We discuss the realization of the required coherent and dissipative terms, and we perform extensive numerical simulations characterizing the fidelity of the state preparation procedure. We identify the optimum parameters for high fidelity entanglement preparation and investigate the scaling with the size of the system.


title: A Note on the Ratio of Revenues Between Selling in a Bundle and Separately

abstract: We consider the problem of maximizing revenue when selling k items to a single buyer with known valuation distributions. We show that for a single, additive buyer whose valuations for for the items are distributed according to i.i.d. distributions which are known to the seller, the ratio of revenue from selling in a bundle to selling separately is at least 55.9% and this gap is attainable.


title: Tunka-Rex: energy reconstruction with a single antenna station (ARENA 2016)

abstract: The Tunka-Radio extension (Tunka-Rex) is a radio detector for air showers in Siberia. From 2012 to 2014, Tunka-Rex operated exclusively together with its host experiment, the air-Cherenkov array Tunka-133, which provided trigger, data acquisition, and an independent air-shower reconstruction. It was shown that the air-shower energy can be reconstructed by Tunka-Rex with a precision of 15\% for events with signal in at least 3 antennas, using the radio amplitude at a distance of 120\,m from the shower axis as an energy estimator. Using the reconstruction from the host experiment Tunka-133 for the air-shower geometry (shower core and direction), the energy estimator can in principle already be obtained with measurements from a single antenna, close to the reference distance. We present a method for event selection and energy reconstruction, requiring only one antenna, and achieving a precision of about 20\%. This method increases the effective detector area and lowers thresholds for zenith angle and energy, resulting in three times more events than in the standard reconstruction.


title: Lift and drag in three-dimensional steady viscous and compressible flow

abstract: In a recent paper, Liu, Zhu and Wu (2015, {\it J. Fluid Mech.} {\bf 784}: 304) present a force theory for a body in a two-dimensional, viscous, compressible and steady flow. In this companion paper we do the same for three-dimensional flow. Using the fundamental solution of the linearized Navier-Stokes equations, we improve the force formula for incompressible flow originally derived by Goldstein in 1931 and summarized by Milne-Thomson in 1968, both being far from complete, to its perfect final form, which is further proved to be universally true from subsonic to supersonic flows. We call this result the \textit{unified force theorem}, which states that the forces are always determined by the vector circulation $\pGamma_\phi$ of longitudinal velocity and the scalar inflow $Q_\psi$ of transverse velocity. Since this theorem is not directly observable either experimentally or computationally, a testable version is also derived, which, however, holds only in the linear far field. We name this version the \textit{testable unified force formula}. After that, a general principle to increase the lift-drag ratio is proposed.


title: Induced Weights on Quotient Modules and an Application to Error Correction in Coherent Networks

abstract: We consider distance functions on a quotient module $M/K$ induced by distance functions on a module $M$. We define error-correction for codes in $M/K$ with respect to induced distance functions. For the case that the metric is induced by a homogeneous weight, we derive analogues of the Plotkin and Elias-Bassalygo bounds and give their asymptotic versions. These results have applications to coherent network error-correction in the presence of adversarial errors. We outline this connection, extending the linear network coding scheme introduced by Yang et al.


title: Spin-sensitive atom mirror via spin-orbit interaction

abstract: Based on the spin-orbit coupling recently implemented in a neutral cold-atom gas, we propose a scheme to realize spin-dependent scattering of cold atoms. In particular we consider a matter wave packet of cold-atom gas impinging upon a step potential created by the optical light field, inside of which the atoms are subject to spin-orbit interaction. We show that the proposed system can act as a spin polarizer or spin-selective atom mirror for the incident atomic beam. The principle and the operating parameter regime of the system are carefully discussed.


title: Alcove path model for $B(\infty)$

abstract: We construct a model for $B(\infty)$ using the alcove path model of Lenart and Postnikov. We show that the continuous limit of our model recovers a dual version of the Littelmann path model for $B(\infty)$ given by Li and Zhang. Furthermore, we consider the dual version of the alcove path model and obtain analogous results for the dual model, where the continuous limit gives the Li and Zhang model.


title: Random matrix analysis of the monopole strength distribution in $^{208}$Pb

abstract: We study statistical properties of the $0^+$ spectrum of $^{208}$Pb in the energy region $E_x\leq20$ MeV. We use the Skyrme interaction SLy4 as our model Hamiltonian to create a single-particle spectrum and to analyze excited states. The finite-rank separable approximation for the particle-hole interaction enables us to perform the calculations in large configuration spaces. We show that while the position of the monopole resonance centroid is determined by one phonon excitations of $0^+$, the phonon-phonon coupling is crucial for the description of a strength distribution of the $0^+$ spectrum. In fact, this coupling has an impact on the spectral rigidity $\Delta_3(L)$ which is shifted towards the random matrix limit of the Gaussian orthogonal ensembles.


title: Current presentation for the double super-Yangian $DY(\mathfrak{gl}(m|n))$ and Bethe vectors

abstract: We find Bethe vectors for quantum integrable models associated with the supersymmetric Yangians $Y(\mathfrak{gl}(m|n)$ in terms of the current generators of the Yangian double $DY(\mathfrak{gl}(m|n))$. More specifically, we use the method of projections onto intersections of different type Borel subalgebras in this infinite dimensional algebra to construct the Bethe vectors. Calculating these projection the supersymmetric Bethe vectors can be expressed through matrix elements of the universal monodromy matrix elements. Using two different but isomorphic current realizations of the Yangian double $DY(\mathfrak{gl}(m|n))$ we obtain two different presentations for the Bethe vectors. These Bethe vectors are also shown to obey some recursion relations which prove their equivalence.


title: Associative Memory using Dictionary Learning and Expander Decoding

abstract: An associative memory is a framework of content-addressable memory that stores a collection of message vectors (or a dataset) over a neural network while enabling a neurally feasible mechanism to recover any message in the dataset from its noisy version. Designing an associative memory requires addressing two main tasks: 1) learning phase: given a dataset, learn a concise representation of the dataset in the form of a graphical model (or a neural network), 2) recall phase: given a noisy version of a message vector from the dataset, output the correct message vector via a neurally feasible algorithm over the network learnt during the learning phase. This paper studies the problem of designing a class of neural associative memories which learns a network representation for a large dataset that ensures correction against a large number of adversarial errors during the recall phase. Specifically, the associative memories designed in this paper can store dataset containing $\exp(n)$ $n$-length message vectors over a network with $O(n)$ nodes and can tolerate $\Omega(\frac{n}{{\rm polylog} n})$ adversarial errors. This paper carries out this memory design by mapping the learning phase and recall phase to the tasks of dictionary learning with a square dictionary and iterative error correction in an expander code, respectively.


title: Modal decomposition of a propagating matter wave via electron ptychography

abstract: We employ ptychography, a phase-retrieval imaging technique, to show experimentally for the first time that a partially coherent high-energy matter (electron) wave emanating from an extended source can be decomposed into a set of mutually independent modes of minimal rank. Partial coherence significantly determines the optical transfer properties of an electron microscope and so there has been much work on this subject. However, previous studies have employed forms of interferometry to determine spatial coherence between discrete points in the wavefield. Here we use the density matrix to derive a formal quantum mechanical description of electron ptychography and use it to measure a full description of the spatial coherence of a propagating matter wavefield, at least to the within the fundamental uncertainties of the measurements we can obtain.


title: Noise and Disturbance Compensation Approach for Linear Time-Invariant Plants

abstract: The algorithm with compensation of parametric uncertainties, external disturbances and measurement noises for linear time-invariant plants is designed. It is assumed, that the dimension of the noise can be equaled to the state vector dimension and the disturbance can be presented in any equation of the plant model. Analytical condition for algorithm feasibility is proposed. Simulation results show the efficiency of the proposed algorithm.


title: Spatial organization and cyclic dominance in asymmetric predator-prey spatial games

abstract: Predators may attack isolated or grouped prey in a cooperative, collective way. Whether a gregarious behavior is advantageous to each species depends on several conditions and game theory is a useful tool to deal with such a problem. We here extend the Lett-Auger-Gaillard model [Theor. Pop. Biol. 65 (2004) 263] to spatially distributed populations and compare the resulting behavior with their mean-field predictions for the coevolving densities of predator and prey strategies. Besides its richer behavior in the presence of spatial organization, we also show that the coexistence phase in which collective and individual strategies for each group are present is stable because of an effective, cyclic dominance mechanism similar to a well-studied generalization of the Rock-Paper-Scissors game with four species, a further example of how ubiquitous this coexistence mechanism is.


title: Closing the loop: surveying PIs who have not published their data

abstract: With high over-subscription rates and significant operational costs, observatories must ensure that their operations are efficient and effective. A number of key performance indicators are generally used to evaluate the observatory's performance among which are the numbers of publications and citations of refereed journal articles to measure the overall scientific impact. Those measures, however, are broad and can not assess whether the observatory was successful on a project-by-project basis to deliver data to the PIs enabling them to carry out their science and to publish their results. In particular the reasons that prevented PIs from publishing remain hidden. Understanding and acting upon those reasons, however, have the potential to substantially improve the observatory's operational model. Of course not every approved project even should lead to a publication. Indeed, the risk of not finding the expected (or any unexpected) science in the data the PI receives is an inherent and indispensable part of the scientific process. But even here, measuring the fraction of such projects can lead to valuable insights which might then be used to instruct future proposal review committees. To fully close the loop on the end-to-end data-flow, ALMA has started in March 2015 to send survey questions to PIs where two years after the end of the proprietary period no publication making use of the delivered data could be identified. We describe our method as well as the type of conclusions we hope to be able to draw once a statistically relevant sample of answers has been received.


title: Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

abstract: We present sound and complete environmental bisimilarities for a variant of Dybvig et al.'s calculus of multi-prompted delimited-control operators with dynamic prompt generation. The reasoning principles that we obtain generalize and advance the existing techniques for establishing program equivalence in calculi with single-prompted delimited control. The basic theory that we develop is presented using Madiot et al.'s framework that allows for smooth integration and composition of up-to techniques facilitating bisimulation proofs. We also generalize the framework in order to express environmental bisimulations that support equivalence proofs of evaluation contexts representing continuations. This change leads to a novel and powerful up-to technique enhancing bisimulation proofs in the presence of control operators.


title: All-angle negative refraction of highly squeezed plasmon and phonon polaritons in graphene-boron nitride heterostructures

abstract: A fundamental building block for nanophotonics is the ability to achieve negative refraction of polaritons, because this could enable the demonstration of many unique nanoscale applications such as deep-subwavelength imaging, superlens, and novel guiding. However, to achieve negative refraction of highly squeezed polaritons, such as plasmon polaritons in graphene and phonon polaritons in boron nitride (BN) with their wavelengths squeezed by a factor over 100, requires the ability to flip the sign of their group velocity at will, which is challenging. Here we reveal that the strong coupling between plasmon and phonon polaritons in graphene-BN heterostructures can be used to flip the sign of the group velocity of the resulting hybrid (plasmon-phonon-polariton) modes. We predict all-angle negative refraction between plasmon and phonon polaritons, and even more surprisingly, between hybrid graphene plasmons, and between hybrid phonon polaritons. Graphene-BN heterostructures thus provide a versatile platform for the design of nano-metasurfaces and nano-imaging elements.


title: Measuring Global Monopole Velocities, one by one

abstract: We present an estimation of the average velocity of a network of global monopoles in a cosmological setting using large numerical simulations. In order to obtain the value of the velocity, we improve some already known methods, and present a new one. This new method estimates individual global monopole velocities in a network, by means of detecting each monopole position in the lattice and following the path described by each one of them. Using our new estimate we can settle an open question previously posed in the literature: velocity-dependent one-scale (VOS) models for global monopoles predict two branches of scaling solutions, one with monopoles moving at subluminal speeds and one with monopoles moving at luminal speeds. Previous attempts to estimate monopole velocities had large uncertainties and were not able to settle that question. Our simulations find no evidence of a luminal branch. We also estimate the values of the parameters of the VOS model. With our new method we can also study the microphysics of the complicated dynamics of individual monopoles. Finally we use our large simulation volume to compare the results from the different estimator methods, as well as to asses the validity of the numerical approximations made.


title: Investigating convergence of the reaction $\gamma p\to\pi^\pm\Delta$ and tensor meson $a_2$ exchange at high energy

abstract: A Regge approach to the reaction processes $\gamma p\to\pi^-\Delta^{++}$ and $\gamma p\to\pi^+\Delta^0$ is presented for the description of existing data up to $E_\gamma= 16$ GeV. The model consists of the $t$-channel $\pi(139)+\rho(775)+a_2(1320)$ exchanges which are reggeized from the relevant Born amplitude. Discussion is given on the minimal gauge prescription for the $\pi$ exchange to render convergent the divergence of the $u$-channel $\Delta$-pole in the former process. A new Lagrangian is constructed for the $a_2N\Delta$ coupling in this work and applied to the process for the first time with the coupling constant deduced from the duality plus vector dominance. It is shown that, while the $\pi$ exchange dominates over the process, the role of the $a_2$ exchange is crucial rather than the $\rho$ in reproducing the cross sections for total, differential, and photon polarization asymmetry to agree with data at high energy.