title: Improving a Multi-Source Neural Machine Translation Model with Corpus Extension for Low-Resource Languages

abstract: In machine translation, we often try to collect resources to improve performance. However, most of the language pairs, such as Korean-Arabic and Korean-Vietnamese, do not have enough resources to train machine translation systems. In this paper, we propose the use of synthetic methods for extending a low-resource corpus and apply it to a multi-source neural machine translation model. We showed the improvement of machine translation performance through corpus extension using the synthetic method. We specifically focused on how to create source sentences that can make better target sentences, including the use of synthetic methods. We found that the corpus extension could also improve the performance of multi-source neural machine translation. We showed the corpus extension and multi-source model to be efficient methods for a low-resource language pair. Furthermore, when both methods were used together, we found better machine translation performance.


title: SnAs-based layered superconductor NaSn2As2

abstract: Superconductivity with exotic properties has often been discovered in materials with a layered (two-dimensional) crystal structure. The low dimensionality affects the electronic structure of materials, which could realize a high transition temperature (Tc) and/or unconventional pairing mechanisms. Here, we report the superconductivity in a layered tin arsenide NaSn2As2. The crystal structure consists of (Sn2As2)2- bilayers, which is bound by van-der-Waals forces, separated by Na+ ions. Measurements of electrical resistivity and specific heat confirm the bulk nature of superconductivity of NaSn2As2 with Tc of 1.3 K. Our results propose that the SnAs layers will be a basic structure providing another universality class of a layered superconducting family, and it provides a new platform for the physics and chemistry of low-dimensional superconductors with lone pair electrons.


title: In-Place Initializable Arrays

abstract: An initializable array is an array that supports the read and write operations for any element and the initialization of the entire array. This paper proposes a simple in-place algorithm to implement an initializable array of length $N$ containing $\ell \in O(w)$ bits entries in $N \ell +1$ bits on the word RAM model with $w$ bits word size, i.e., the proposed array requires only 1 extra bit on top of a normal array of length $N$ containing $\ell$ bits entries. Our algorithm supports the all three operations in constant worst-case time, that is, it runs in-place using at most constant number of words $O(w)$ bits during each operation. The time and space complexities are optimal since it was already proven that there is no implementation of an initializable array with no extra bit supporting all the operations in constant worst-case time [Hagerup and Kammer, ISAAC 2017]. Our algorithm significantly improves upon the best algorithm presented in the earlier studies [Navarro, CSUR 2014] which uses $N + o(N)$ extra bits to support all the operations in constant worst-case time.


title: Approximation of fixed points of nonexpansive mappings and quasinonexpansive mappings in a Hilbert space

abstract: In this paper, we give a simple proof and some generalizations of results in Falset, Llorens-Fuster, Marino, and Rugiano (2016).


title: A New Cooperative Framework for Parallel Trajectory-Based Metaheuristics

abstract: In this paper, we propose the Parallel Elite Biased framework (PEB framework) for parallel trajectory-based metaheuristics. In the PEB framework, multiple search processes are executed concurrently. During the search, each process sends its best found solutions to its neighboring processes and uses the received solutions to guide its search. Using the PEB framework, we design a parallel variant of Guided Local Search (GLS) called PEBGLS. Extensive experiments have been conducted on the Tianhe-2 supercomputer to study the performance of PEBGLS on the Traveling Salesman Problem (TSP). The experimental results show that PEBGLS is a competitive parallel metaheuristic for the TSP, which confirms that the PEB framework is useful for designing parallel trajectory-based metaheuristics.


title: Towards a Minimal Stabilizer ZX-calculus

abstract: The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: one can transform a stabilizer ZX-diagram into another one using the graphical rewrite rules if and only if these two diagrams represent the same quantum evolution or quantum state. We previously showed that the stabilizer ZX-calculus can be simplified by reducing the number of rewrite rules, without losing the property of completeness [Backens, Perdrix & Wang, EPTCS 236:1--20, 2017]. Here, we show that most of the remaining rules of the language are indeed necessary. We do however leave as an open question the necessity of two rules. These include, surprisingly, the bialgebra rule, which is an axiomatisation of complementarity, the cornerstone of the ZX-calculus. Furthermore, we show that a weaker ambient category -- a braided autonomous category instead of the usual compact closed category -- is sufficient to recover the meta rule 'only connectivity matters', even without assuming any symmetries of the generators.


title: Nonlinear Rotations on a Lattice

abstract: We consider a prototypical two-parameter family of invertible maps of $\mathbb{Z}^2$, representing rotations with decreasing rotation number. These maps describe the dynamics inside the island chains of a piecewise affine discrete twist map of the torus, in the limit of fine discretisation. We prove that there is a set of full density of points which, depending of the parameter values, are either periodic or escape to infinity. The proof is based on the analysis of an interval-exchange map over the integers, with infinitely many intervals.


title: Searches for new resonances decaying to W, Z and H bosons with the ATLAS and CMS detectors in 13 TeV proton-proton collisions at the LHC

abstract: Searches for high-mass resonances decaying to pairs of standard model bosons using ATLAS and CMS detectors are presented. The searches use 15 - 36 $\textrm{fb}^{-1}$ of proton-proton collision data collected at the centre-of-mass energy of 13 TeV at the LHC. Many different final states have been considered and the results are interpreted in a range of theories beyond the standard model of particle physics, most common being heavy vector triplet and warped extra dimensions.


title: Definitions and Evolutions of Statistical Entropy for Hamiltonian Systems

abstract: Regardless of studies and debates over a century, the statistical origin of the second law of thermodynamics still remains illusive. One essential obstacle is the lack of a proper theoretical formalism for non-equilibrium entropy. Here I revisit the seminal ideas about non-equilibrium statistical entropy due to Boltzmann and due to Gibbs, and synthesize them into a coherent and precise framework. Using this framework, I clarify the anthropomorphic principle of entropy, and analyze the evolution of entropy for classical Hamiltonian systems under different experimental setups. I find that evolution of Boltzmann entropy obeys a Stochastic H-Theorem, which relates probability of Boltzmann entropy increasing to that of decreasing. By contrast, the coarse-grained Gibbs entropy is monotonically increasing, if the microscopic dynamics is locally mixing, and the initial state is a Boltzmann state. These results clarify the precise meaning of the second law of thermodynamics for classical systems, and demonstrate that it is the initial condition as a Boltzmann state that is ultimately responsible for the arrow of time.


title: Input-to-Output Gate to Improve RNN Language Models

abstract: This paper proposes a reinforcing method that refines the output layers of existing Recurrent Neural Network (RNN) language models. We refer to our proposed method as Input-to-Output Gate (IOG). IOG has an extremely simple structure, and thus, can be easily combined with any RNN language models. Our experiments on the Penn Treebank and WikiText-2 datasets demonstrate that IOG consistently boosts the performance of several different types of current topline RNN language models.


title: Search for new phenomena in final states with two opposite-charge, same-flavor leptons, jets, and missing transverse momentum in pp collisions at $\sqrt{s} = $ 13 TeV

abstract: Search results are presented for physics beyond the standard model in final states with two opposite-charge, same-flavor leptons, jets, and missing transverse momentum. The data sample corresponds to an integrated luminosity of 35.9 fb$^{-1}$ of proton-proton collisions at $\sqrt{s} = $ 13 TeV collected with the CMS detector at the LHC in 2016. The analysis uses the invariant mass of the lepton pair, searching for a kinematic edge or a resonant-like excess compatible with the Z boson mass. The search for a kinematic edge targets production of particles sensitive to the strong force, while the resonance search targets both strongly and electroweakly produced new physics. The observed yields are consistent with the expectations from the standard model, and the results are interpreted in the context of simplified models of supersymmetry. In a gauge mediated supersymmetry breaking (GMSB) model of gluino pair production with decay chains including Z bosons, gluino masses up to 1500-1770 GeV are excluded at the 95% confidence level depending on the lightest neutralino mass. In a model of electroweak chargino-neutralino production, chargino masses as high as 610 GeV are excluded when the lightest neutralino is massless. In GMSB models of electroweak neutralino-neutralino production, neutralino masses up to 500-650 GeV are excluded depending on the decay mode assumed. Finally, in a model with bottom squark pair production and decay chains resulting in a kinematic edge in the dilepton invariant mass distribution, bottom squark masses up to 980-1200 GeV are excluded depending on the mass of the next-to-lightest neutralino.


title: Performance Analysis of QoS-Differentiated Pricing in Cloud Computing: An Analytical Approach

abstract: A fundamental goal in the design of IaaS service is to enable both user-friendly and cost-effective service access, while attaining high resource efficiency for revenue maximization. QoS differentiation is an important lens to achieve this design goal. In this paper, we propose the first analytical QoS-differentiated resource management and pricing architecture in the cloud computing context; here, a cloud service provider (CSP) offers a portfolio of SLAs. In order to maximize the CSP's revenue, we address two technical questions: (1) how to set the SLA prices so as to direct users to the SLAs best fitting their needs, and, (2) determining how many servers should be assigned to each SLA, and which users and how many of their jobs are admitted to be served. We propose optimal schemes to jointly determine SLA-based prices and perform capacity planning in polynomial time. Our pricing model retains high usability at the customer's end. Compared with standard usage-based pricing schemes, numerical results show that the proposed scheme can improve the revenue by up to a five-fold increase.


title: Cubature rules and expected value of some complex functions

abstract: The expected value of some complex valued random vectors is computed by means of the indicator function of a designed experiment as known in algebraic statistics. The general theory is set-up and results are obtained for finite discrete random vectors and the Gaussian random vector. The precision space of some cubature rules/designed experiments are determined.


title: Potential implementation of Reservoir Computing models based on magnetic skyrmions

abstract: Reservoir Computing is a type of recursive neural network commonly used for recognizing and predicting spatio-temporal events relying on a complex hierarchy of nested feedback loops to generate a memory functionality. The Reservoir Computing paradigm does not require any knowledge of the reservoir topology or node weights for training purposes and can therefore utilize naturally existing networks formed by a wide variety of physical processes. Most efforts prior to this have focused on utilizing memristor techniques to implement recursive neural networks. This paper examines the potential of skyrmion fabrics formed in magnets with broken inversion symmetry that may provide an attractive physical instantiation for Reservoir Computing.


title: Wave-induced vortex recoil and nonlinear refraction

abstract: When a vortex refracts surface waves, the momentum flux carried by the waves changes direction and the waves induce a reaction force on the vortex. We study experimentally the resulting vortex distortion. Incoming surface gravity waves impinge on a steady vortex of velocity $U_0$ driven magneto-hydrodynamically at the bottom of a fluid layer. The waves induce a shift of the vortex center in the direction transverse to wave propagation, together with a decrease in surface vorticity. We interpret these two phenomena in the framework introduced by Craik and Leibovich (1976): we identify the dimensionless Stokes drift $S=U_s/U_0$ as the relevant control parameter, $U_s$ being the Stokes drift velocity of the waves. We propose a simple vortex line model which indicates that the shift of the vortex center originates from a balance between vorticity advection by the Stokes drift and self-advection of the vortex. The decrease in surface vorticity is interpreted as a consequence of vorticity expulsion by the fast Stokes drift, which confines it at depth. This purely hydrodynamic process is analogous to the magnetohydrodynamic expulsion of magnetic field by a rapidly moving conductor through the electromagnetic skin effect. We study vorticity expulsion in the limit of fast Stokes drift and deduce that the surface vorticity decreases as $1/S$, a prediction which is compatible with the experimental data. Such wave-induced vortex distortions have important consequences for the nonlinear regime of wave refraction: the refraction angle rapidly decreases with wave intensity.


title: K-edge subtraction vs. A-space processing for x-ray imaging of contrast agents: SNR

abstract: Purpose: To compare two methods that use x-ray spectral information to image externally administered contrast agents: K-edge subtraction and basis-function decomposition (the A-space method), Methods: The K-edge method uses narrow band x-ray spectra with energies infinitesimally below and above the contrast material K-edge energy. The A-space method uses a broad spectrum x-ray tube source and measures the transmitted spectrum with photon counting detectors with pulse height analysis. The methods are compared by their signal to noise ratio (SNR) divided by the patient dose for an imaging task to decide whether contrast material is present in a soft tissue background. The performance with iodine or gadolinium containing contrast material is evaluated as a function of object thickness and the x-ray tube voltage of the A-space method. Results: For a tube voltages above 60 kV and soft tissue thicknesses from 5 to 25 g/cm^2, the A-space method has a larger SNR per dose than the K-edge subtraction method for either iodine or gadolinium containing contrast agent. Conclusion: Even with the unrealistic spectra assumed for the K-edge method, the A-space method has a substantially larger SNR per patient dose.


title: Group classification of a class of generalized nonlinear Kolmogorov equations and exact solutions

abstract: A class of generalized nonlinear Kolmogorov equations is investigated. We present the group classification of Lie symmetries of the class with respect to the group of equivalence transformations. We find a number of exact solutions of nonlinear Kolmogorov equations which has the maximal symmetry properties.


title: Telling Cause from Effect using MDL-based Local and Global Regression

abstract: We consider the fundamental problem of inferring the causal direction between two univariate numeric random variables $X$ and $Y$ from observational data. The two-variable case is especially difficult to solve since it is not possible to use standard conditional independence tests between the variables. To tackle this problem, we follow an information theoretic approach based on Kolmogorov complexity and use the Minimum Description Length (MDL) principle to provide a practical solution. In particular, we propose a compression scheme to encode local and global functional relations using MDL-based regression. We infer $X$ causes $Y$ in case it is shorter to describe $Y$ as a function of $X$ than the inverse direction. In addition, we introduce Slope, an efficient linear-time algorithm that through thorough empirical evaluation on both synthetic and real world data we show outperforms the state of the art by a wide margin.


title: An introduction to presentations of monoid acts: quotients and subacts

abstract: The purpose of this paper is to introduce the theory of presentations of monoids acts. We aim to construct `nice' general presentations for various act constructions pertaining to subacts and Rees quotients. More precisely, given an $M$-act $A$ and a subact $B$ of $A$, on the one hand we construct presentations for $B$ and the Rees quotient $A/B$ using a presentation for $A$, and on the other hand we derive a presentation for $A$ from presentations for $B$ and $A/B$. We also construct a general presentation for the union of two subacts. From our general presentations, we deduce a number of finite presentability results. Finally, we consider the case where a subact $B$ has finite complement in an $M$-act $A$. We show that if $M$ is a finitely generated monoid and $B$ is finitely presented, then $A$ is finitely presented. We also show that if $M$ belongs to a wide class of monoids, including all finitely presented monoids, then the converse also holds.


title: Systems of forms in many variables

abstract: We consider systems $\vec{F}(\vec{x})$ of $R$ homogeneous forms of the same degree $d$ in $n$ variables with integral coefficients. If $n\geq d2^dR+R$ and the coefficients of $\vec{F}$ lie in an explicit Zariski open set, we give a nonsingular Hasse principle for the equation $\vec{F}(\vec{x})=\vec{0}$, together with an asymptotic formula for the number of solutions to in integers of bounded height. This improves on the number of variables needed in previous results for general systems $\vec{F}$ as soon as the number of equations $R$ is at least 2 and the degree $d$ is at least 4.


title: Spintronic Functionalities in Multiferroic Oxide-based Heterostructures

abstract: The list of materials systems displaying both electric and magnetic long range order is short. Oxides, however, concentrate numerous examples of multiferroicity with, in some cases, a large magnetoelectric coupling. As a result, a fruitful research field has emerged contemporaneously with the consolidation of spintronic. The synergy between multiferroics and spintronics was meant to be inevitable and hence the characterization of spintronic functionalities in multiferroic materials is rather abundant. The aim of the present chapter is to review the oxide heterostructures where magnetoelectric coupling is demonstrated by means of spintronic functionalities (i.e. magnetoresistance, anisotropic magnetoresistance, giant magnetoresistance or tunnel magnetoresistance).


title: Solitary wave state in the nonlinear Kramers equation for self-propelled particles

abstract: We study collective phenomena of self-propagating particles using the nonlinear Kramers equation. A solitary wave state appears from an instability of the spatially uniform ordered state with nonzero average velocity. Two solitary waves with different heights merge into a larger solitary wave. An approximate solution of the solitary wave is constructed using a self-consistent method. The phase transition to the solitary wave state is either first-order or second-order, depending on the control parameters.


title: SCARFF: a Scalable Framework for Streaming Credit Card Fraud Detection with Spark

abstract: The expansion of the electronic commerce, together with an increasing confidence of customers in electronic payments, makes of fraud detection a critical factor. Detecting frauds in (nearly) real time setting demands the design and the implementation of scalable learning techniques able to ingest and analyse massive amounts of streaming data. Recent advances in analytics and the availability of open source solutions for Big Data storage and processing open new perspectives to the fraud detection field. In this paper we present a SCAlable Real-time Fraud Finder (SCARFF) which integrates Big Data tools (Kafka, Spark and Cassandra) with a machine learning approach which deals with imbalance, nonstationarity and feedback latency. Experimental results on a massive dataset of real credit card transactions show that this framework is scalable, efficient and accurate over a big stream of transactions.


title: On the inner disk structure of MWC480: evidence for asymmetries?

abstract: Studying the physical conditions structuring the young circumstellar disks is required for understanding the onset of planet formation. Of particular interest is the protoplanetary disk surrounding the Herbig star MWC480. The structure and properties of the circumstellar disk of MWC480 are studied by infrared interferometry and interpreted from a modeling approach. New observations are driving this study, in particular some recent Very Large Telescope Interferometer (VLTI)/MIDI data acquired in December 2013. Our one-component disk model could not reproduce simultaneously all our data: the Spectral Energy Distribution, the near-infrared Keck Interferometer data and the mid-infrared data obtained with the MIDI instrument. In order to explain all measurements, one possibility is to add an asymmetry in our one-component disk model with the assumption that the structure of the disk of MWC480 has not varied with time. Several scenarios are tested, and the one considering the presence of an azimuthal bright feature in the inner component of the disk model provides a better fit of the data. (In this study, we assumed that the size of the outer disk of MWC480 to be 20 au since most of the near and mid-IR emissions come from below 20 au. In our previous study (Jamialahmadi et al. 2015), we adopted an outer radius of 80 au, which is consistent with the value found by previous studies based on mm observations).


title: New photonic architectures for mid-infrared gas sensors integrated on silicon

abstract: This work focuses on optical multiplexers for mid-IR broadband source in gas sensing application. The design of multiplexer configurations based on two types of diffraction gratings is discussed. Owing to utility of Gaussian approximation of the field and Fourier Optics, we developed a semi-analytical tool allowing to evaluate the responses of array waveguide grating (AWG) and planar concave grating (PCG). This approach also opened the way to implement numerical phase error analysis by introducing normal distribution of errors and to study the correlation between standard deviation of phase errors and the level of crosstalk. FTIR spectroscopy measurement results of 5.65 micrometer AWGs, built with SiGe graded index core encapsulated in a thick Si cladding on standard silicon substrate, are compared with the theoretical expectations. We have also performed evaluation of AWG response at elevated temperatures, in the range between 20oC and 41oC. The spectral shift showed linear dependence with the temperature, which is in a good agreement with simulation predictions.


title: Further studies on square-root boundaries for Bessel processes

abstract: We look at decompositions of perpetuities and apply that to the study of the distributions of hitting times of Bessel processes of two types of square root boundaries. These distributions are linked giving a new proof of some Mellin transforms results obtained by David M. DeLong and M. Yor. Several random factorizations and characterizations of the studied distributions are established.


title: UBSegNet: Unified Biometric Region of Interest Segmentation Network

abstract: Digital human identity management, can now be seen as a social necessity, as it is essentially required in almost every public sector such as, financial inclusions, security, banking, social networking e.t.c. Hence, in today's rampantly emerging world with so many adversarial entities, relying on a single biometric trait is being too optimistic. In this paper, we have proposed a novel end-to-end, Unified Biometric ROI Segmentation Network (UBSegNet), for extracting region of interest from five different biometric traits viz. face, iris, palm, knuckle and 4-slap fingerprint. The architecture of the proposed UBSegNet consists of two stages: (i) Trait classification and (ii) Trait localization. For these stages, we have used a state of the art region based convolutional neural network (RCNN), comprising of three major parts namely convolutional layers, region proposal network (RPN) along with classification and regression heads. The model has been evaluated over various huge publicly available biometric databases. To the best of our knowledge this is the first unified architecture proposed, segmenting multiple biometric traits. It has been tested over around 5000 * 5 = 25,000 images (5000 images per trait) and produces very good results. Our work on unified biometric segmentation, opens up the vast opportunities in the field of multiple biometric traits based authentication systems.


title: On the physical process first law for dynamical black holes

abstract: Physical process version of the first law of black hole mechanics relates the change in entropy of a perturbed Killing horizon, between two asymptotic cross sections, to the matter flow into the horizon. Here, we study the mathematical structure of the physical process first law for a general diffeomorphism invariant theory of gravity. We analyze the effect of ambiguities in the Wald's definition of entropy on the physical process first law. We show that for linearized perturbations, the integrated version of the physical process law, which determines the change of entropy between two asymptotic cross-sections, is independent of these ambiguities. In case of entropy change between two intermediate cross sections of the horizon, we show that it inherits additional contributions, which coincide with the membrane energy associated with the horizon fluid. Using this interpretation, we write down a physical process first law for entropy change between two arbitrary non-stationary cross sections of the horizon for both general relativity and Lanczos-Lovelock gravity.


title: Probing photospheric magnetic fields with new spectral line pairs

abstract: The magnetic line ratio (MLR) method has been extensively used in the measurement of photospheric magnetic field strength. It was devised for the neutral iron line pair at 5247.1 A and 5250.2 A (5250 A pair). Other line pairs as well-suited as this pair been have not been reported in the literature. The aim of the present work is to identify new line pairs useful for the MLR technique and to test their reliability. We use a three dimensional magnetohydrodynamic (MHD) simulation representing the quiet Sun atmosphere to synthesize the Stokes profiles. Then, we apply the MLR technique to the Stokes V profiles to recover the fields in the MHD cube both, at original resolution and after degrading with a point spread function. In both these cases, we aim to empirically represent the field strengths returned by the MLR method in terms of the field strengths in the MHD cube. We have identified two new line pairs that are very well adapted to be used for MLR measurements. The first pair is in the visible, Fe I 6820 A - 6842 A (whose intensity profiles have earlier been used to measure stellar magnetic fields), and the other is in the infrared (IR), Fe I 15534 A - 15542 A. The lines in these pairs reproduce the magnetic fields in the MHD cube rather well, partially better than the original 5250 A pair. The newly identified line pairs complement the old pairs. The lines in the new IR pair, due to their higher Zeeman sensitivity, are ideal for the measurement of weak fields. The new visible pair works best above 300 G. The new IR pair, due to its large Stokes V signal samples more fields in the MHD cube than the old IR pair at $1.56\,\mu$m, even in the presence of noise, and hence likely also on the real Sun. Owing to their low formation heights (100-200 km above tau_5000=1), both the new line pairs are well suited for probing magnetic fields in the lower photosphere.


title: Further studies of the notion of differentiable maps from Azumaya/matrix supermanifolds I. The smooth case: Ramond-Neveu-Schwarz and Green-Schwarz meeting Grothendieck

abstract: In this sequel to works D(11.1) (arXiv:1406.0929 [math.DG]), D(11.2) (arXiv:1412.0771 [hep-th]), and D(11.3.1) (arXiv:1508.02347 [math.DG]), we re-examine --- and reformulate when in need --- several basic notions in super $C^{\infty}$-algebraic geometry as guided by the mathematical formulation of Ramond-Neveu-Schwarz fermionic strings and of Green-Schwarz fermionic strings from the viewpoint of Grothendieck on Algebraic Geometry. Two theorems that are the super counterpart of Theorem~3.1.1 and Theorem~3.2.1 of D(11.3.1) are proved. They unify the notion of "smooth maps from an Azumaya/matrix super smooth manifold with a fundamental module to a super smooth manifold" introduced in D(11.2), making it a complete super parallel to the setting for D-branes in the realm of algebraic geometry in D(1) (arXiv:0709.1515 [math.AG]) and D(2) (arXiv:0809.2121 [math.AG]), and in the realm of differential or $C^{\infty}$-algebraic geometry in D(11.1) and D(11.3.1). A prototypical definition of dynamical fermionic stacked D-brane world-volume on a space-time in the same spirit of RNS fermionic strings or GS fermionic strings is thus laid down. Similar to D(11.3.1), which paved the path to the construction of non-Abelian Dirac-Born-Infeld action (D(13.1) (arXiv:1606.08529 [hep-th])) and the standard action (D(13.3) (arXiv:1704.03237 [hep-th])) for fundamental bosonic stacked D-branes, the current notes shall serve the same for the construction of supersymmetric action for fundamental fermionic stacked D-branes of various dimensions --- a theme of another subseries of the D-project. A notion of "noncommutative $C^{\infty}$-rings" and "morphism" between them is introduced at the end as a byproduct.


title: Multi-Rack Distributed Data Storage Networks

abstract: The majority of works in distributed storage networks assume a simple network model with a collection of identical storage nodes with the same communication cost between the nodes. In this paper, we consider a realistic multi-rack distributed data storage network and present a code design framework for this model. Considering the cheaper data transmission within the racks, our code construction method is able to locally repair the nodes failure within the same rack by using only the survived nodes in the same rack. However, in the case of severe failure patterns when the information content of the survived nodes is not sufficient to repair the failures, other racks will participate in the repair process. By employing the criteria of our multi-rack storage code, we establish a linear programming bound on the size of the code in order to maximize the code rate.


title: On the $ZH\eta$ vertex in the simplest Little Higgs Model

abstract: The issue of deriving $ZH\eta$ vertex in the simplest Little Higgs (SLH) model is revisited. Special attention is paid to the treatment of non-canonically-normalized scalar kinetic matrix and vector-scalar two-point transitions. We elucidate a general procedure to diagonalize a general vector-scalar system in gauge theories and apply it to the case of SLH. The resultant $ZH\eta$ vertex is found to be different from those which have already existed in the literature for a long time. We also present an understanding of this issue from an effective field theory viewpoint.


title: A two dimensional lattice equation as an extension of the Heideman-Hogan recurrence

abstract: We consider a two dimensional extension of the so-called linearizable mappings. In particular, we start from the Heideman-Hogan recurrence, which is known as one of the linearizable Somos-like recurrences, and introduce one of its two dimensional extensions. The two dimensional lattice equation we present is linearizable in both directions, and has the Laurent and the coprimeness properties. Moreover, its reduction produces a generalized family of the Heideman-Hogan recurrence. Higher order examples of two dimensional linearizable lattice equations related to the Dana-Scott recurrence are also discussed.


title: Near-UV OH Prompt Emission in the Innermost Coma of 103P/Hartley 2

abstract: The Deep Impact spacecraft fly-by of comet 103P/Hartley 2 occurred on 2010 November 4, one week after perihelion with a closest approach (CA) distance of about 700 km. We used narrowband images obtained by the Medium Resolution Imager (MRI) onboard the spacecraft to study the gas and dust in the innermost coma. We derived an overall dust reddening of 15\%/100 nm between 345 and 749 nm and identified a blue enhancement in the dust coma in the sunward direction within 5 km from the nucleus, which we interpret as a localized enrichment in water ice. OH column density maps show an anti-sunward enhancement throughout the encounter except for the highest resolution images, acquired at CA, where a radial jet becomes visible in the innermost coma, extending up to 12 km from the nucleus. The OH distribution in the inner coma is very different from that expected for a fragment species. Instead, it correlates well with the water vapor map derived by the HRI-IR instrument onboard Deep Impact \citep{AHearn2011}. Radial profiles of the OH column density and derived water production rates show an excess of OH emission during CA that cannot be explained with pure fluorescence. We attribute this excess to a prompt emission process where photodissociation of H$_2$O directly produces excited OH*($A^2\it{\Sigma}^+$) radicals. Our observations provide the first direct imaging of Near-UV prompt emission of OH. We therefore suggest the use of a dedicated filter centered at 318.8 nm to directly trace the water in the coma of comets.


title: Bounds for Rayleigh-B\'enard convection between free-slip boundaries with an imposed heat flux

abstract: We prove the first rigorous bound on the heat transfer for three-dimensional Rayleigh-B\'enard convection of finite-Prandtl-number fluids between free-slip boundaries with an imposed heat flux. Using the auxiliary functional method with a quadratic functional, which is equivalent to the background method, we prove that the Nusselt number $Nu$ is bounded by $Nu \leq 0.5999 R^{1/3}$ uniformly in the Prandtl number, where $R$ is the Rayleigh number based on the imposed heat flux. In terms of the Rayleigh number based on the mean vertical temperature drop, $Ra$, we obtain $Nu \leq 0.4646 Ra^{1/2}$. The scaling with Rayleigh number is the same as that of bounds obtained with no-slip isothermal, free-slip isothermal, and no-slip fixed flux boundaries, and numerical optimization of the bound suggests that it cannot be improved within our bounding framework. Contrary to the two-dimensional case, therefore, the $Ra$-dependence of rigorous upper bounds on the heat transfer obtained with the background method for three-dimensional Rayleigh-B\'enard convection is insensitive to both the thermal and the velocity boundary conditions.


title: Growth of structure in interacting vacuum cosmologies

abstract: We examine the growth of structure in three different cosmological models with interacting dark matter and vacuum energy. We consider the case of geodesic dark matter with zero sound speed, where the relativistic growing mode in comoving-synchronous gauge coincides with the Newtonian growing mode at first order in $\Lambda$CDM. We study corrections to the linearly growing mode in the presence of interactions and the linear matter growth rate, $f_1$, contrasting this with the velocity divergence, $f_{rsd}\sigma_8$, observed through redshift-space distortions. We then derive second-order density perturbations in these interacting models. We identify the reduced bispectrum that corresponds to the non-linear growth of structure and show how the shape of the bispectrum is altered by energy transfer to or from the vacuum. Thus the bispectrum, or higher-order correlators, might in future be used to identify dark matter interactions.


title: Interplay of interaction and disorder in the steady state of an open quantum system

abstract: Many types of dissipative processes can be found in nature or be engineered, and their interplay with a system can give rise to interesting phases of matter. Here we study the interplay among interaction, tunneling, and disorder in the steady state of a spin chain coupled to a tailored bath. We consider a dissipation which, in contrast to disorder, tends to generate a homogeneously polarized steady state. We find that the steady state can be highly sensitive even to weak disorder. We also establish that, in the presence of such dissipation, even in the absence of interaction, a finite amount of disorder is needed for localization. Last, we show that for strong disorder the system reveals signatures of localization both in the weakly and strongly interacting regimes.


title: Distinguishing between Kerr and rotating JNW space-times via frame dragging and tidal effects

abstract: In this paper, we first investigate some aspects of frame dragging in strong gravity. The computations are carried out for the Kerr black hole and for the rotating Janis-Newman-Winicour solution, that is known to have a naked singularity on a surface at a finite radius. For the Kerr metric, a few interesting possibilities of gyroscope precession frequency, as measured by a Copernican observer outside the ergoregion, are pointed out. It is shown that for certain angular velocities of a stationary observer, this frequency might vanish exactly, close to the ergoregion. Similar computations are repeated for static observers in the naked singularity background, and strong enhancement of the Lense-Thirring precession frequency compared to the black hole case is established. Then, we study the nature of tidal forces in the rotating naked singularity background, in Fermi normal coordinates. Here, physical quantities characterizing tidal disruptions of celestial objects in equatorial circular orbits are computed numerically. Our results here indicate that there might be significant deviations from corresponding Kerr black hole calculations, up to the level of approximation that we consider.


title: Stability and Hopf bifurcation analysis of a four-dimensional hypothalamic-pituitary-adrenal axis model with distributed delays

abstract: A four-dimensional mathematical model of the hypothalamus-pituitary-adrenal (HPA) axis is investigated, incorporating the influence of the GR concentration and general feedback functions. The inclusion of distributed time delays provides a more realistic modeling approach, since the whole past history of the variables is taken into account. The positivity of the solutions and the existence of a positively invariant bounded region are proved. It is shown that the considered four-dimensional system has at least one equilibrium state and a detailed local stability and Hopf bifurcation analysis is given. Numerical results reveal the fact that an appropriate choice of the system's parameters leads to the coexistence of two asymptotically stable equilibria in the non-delayed case. When the total average time delay of the system is large enough, the coexistence of two stable limit cycles is revealed, which successfully model the ultradian rhythm of the HPA axis both in a normal disease-free situation and in a diseased hypocortisolim state, respectively. Numerical simulations reflect the importance of the theoretical results.


title: Homological mirror symmetry for generalized Greene-Plesser mirrors

abstract: We prove Kontsevich's homological mirror symmetry conjecture for certain mirror pairs arising from Batyrev-Borisov's `dual reflexive Gorenstein cones' construction. In particular we prove HMS for all Greene-Plesser mirror pairs (i.e., Calabi-Yau hypersurfaces in quotients of weighted projective spaces). We also prove it for certain mirror Calabi-Yau complete intersections arising from Borisov's construction via dual nef partitions, and also for certain Calabi-Yau complete intersections which do not have a Calabi-Yau mirror, but instead are mirror to a Calabi-Yau subcategory of the derived category of a higher-dimensional Fano variety. The latter case encompasses Kuznetsov's `K3 category of a cubic fourfold', which is mirror to an honest K3 surface; and also the analogous category for a quotient of a cubic sevenfold by an order-3 symmetry, which is mirror to a rigid Calabi-Yau threefold.


title: Locally free actions of groupoids and proper topological correspondences

abstract: Let $(G,\alpha)$ and $(H,\beta)$ be locally compact Hausdorff groupoids with Haar systems, and let $(X,\lambda)$ be a topological correspondence from $(G,\alpha)$ to $(H,\beta)$ which induce the ${C}^*$-correspondence $\mathcal{H}(X)\colon {C}^*(G,\alpha)\to {C}^*(H,\beta)$. We give sufficient topological conditions which when satisfied the ${C}^*$-correspondence $\mathcal{H}(X)$ is proper, that is, the ${C}^*$-algebra ${C}^*(G,\alpha)$ acts on the Hilbert ${C}^*(H,\beta)$-module ${H}(X)$ via the comapct operators. Thus a proper topological correspondence produces an element in ${KK}({C}^*(G,\alpha),{C}^*(H,\beta))$.


title: Alexandrov, Serrin, Weinberger, Reilly: simmetry and stability by integral identities

abstract: The distinguished names in the title have to do with influential proofs of the celebrated Soap Bubble Theorem and of radial symmetry in certain overdetermined boundary value problems. We shall give an overeview of those results and indicate some of their ramifications. We will also show how more recent proofs uncover the path to some stability results for the relevant problems.


title: Dirichlet problem, Univalency and Schwarz Lemma for Biharmonic Mappings

abstract: In this paper, we shall discuss the family of biharmonic mappings for which maximum principle holds. As a consequence of our study, we present Schwarz Lemma for the family of biharmonic mappings. Also we discuss the univalency of certain class of biharmonic mappings.


title: Tightening Quantum Speed Limits for Almost All States

abstract: Conventional quantum speed limits perform poorly for mixed quantum states: They are generally not tight and often significantly underestimate the fastest possible evolution speed. To remedy this, for unitary driving, we derive two quantum speed limits that outperform the traditional bounds for almost all quantum states. Moreover, our bounds are significantly simpler to compute as well as experimentally more accessible. Our bounds have a clear geometric interpretation; they arise from the evaluation of the angle between generalized Bloch vectors.


title: Time parameterizations and spin supplementary conditions of the Mathisson-Papapetrou-Dixon equations

abstract: The implications of two different time constraints on the Mathisson-Papapetrou-Dixon (MPD) equations are discussed under three spin supplementary conditions (SSC). For this reason the MPD equations are revisited without specifying the affine parameter and several relations are reintroduced in their general form. The latter allows to investigate the consequences of combining the Mathisson-Pirani (MP) SSC, the Tulczyjew-Dixon (TD) SSC and the Ohashi-Kyrian-Semer\'{a}k (OKS) SSC with two affine parameter types: the proper time on one hand and the parameterizations introduced in [Gen. Rel. Grav. 8, 197 (1977)] on the other. For the MP SSC and the TD SSC it is shown that quantities that are constant of motion for the one affine parameter are not for the other, while for the OKS SSC it is shown that the two affine parameters are the same. To clarify the relation between the two affine parameters in the case of the TD SSC the MPD equations are evolved and discussed.


title: Analysis of top quark pair production signal from neutral 2HDM Higgs bosons at LHC

abstract: In this paper, the top quark pair production events are analyzed as a source of neutral Higgs bosons of two Higgs doublet model type I at LHC. The production mechanism is $pp \to H/A \to t\bar{t}$ assuming a fully hadronic final state through $t \to Wb \to jjb$. In order to distinguish the signal from the main background which is the standard model $t\bar{t}$, we benefit from the fact that the top quarks in signal events acquire a large Lorentz boost due to the heavy neutral Higgs boson. This feature leads to three collinear jets (a fat jet) which is a discriminating tool for identification of the top quarks from the Higgs boson resonances. Events with two identified top jets are selected and the invariant mass of the top pair is calculated for both signal and background. It is shown that the low $\tan\beta$ region has still some parts which can be covered by this analysis and has not been excluded yet by flavor physics data.


title: Improved Bohr's inequality for locally univalent harmonic mappings

abstract: We prove several improved versions of Bohr's inequality for the harmonic mappings of the form $f=h+\overline{g}$, where $h$ is bounded by 1 and $|g'(z)|\le|h'(z)|$. The improvements are obtained along the lines of an earlier work of Kayumov and Ponnusamy, i.e. \cite{KayPon2}, for example a term related to the area of the image of the disk $D(0,r)$ under the mapping $f$ is considered. Our results are sharp. In addition, further improvements of the main results for certain special classes of harmonic mappings are provided.


title: Gesture-based Human-robot Interaction for Field Programmable Autonomous Underwater Robots

abstract: The uncertainty and variability of underwater environment propose the request to control underwater robots in real time and dynamically, especially in the scenarios where human and robots need to work collaboratively in the field. However, the underwater environment imposes harsh restrictions on the application of typical control and communication methods. Considering that gestures are a natural and efficient interactive way for human, we, utilizing convolution neural network, implement a real-time gesture-based recognition system, who can recognize 50 kinds of gestures from images captured by one normal monocular camera, and apply this recognition system in human and underwater robot interaction. We design A Flexible and Extendable Interaction Scheme (AFEIS) through which underwater robots can be programmed in situ underwater by human operators using customized gesture-based sign language. This paper elaborates the design of gesture recognition system and AFEIS, and presents our field trial results when applying this system and scheme on underwater robots.


title: Timing and Charge measurement of single gap Resistive Plate Chamber Detectors for INO-ICAL Experiment

abstract: The recently approved India-based Neutrino Observatory will use the world's largest magnet to study atmospheric muon neutrinos. The 50 kiloton Iron Calorimeter consists of iron alternating with single-gap resistive plate chambers. A uniform magnetic field of $\sim$1.5 T is produced in the iron using toroidal-shaped copper coils. Muon neutrinos interact with the iron target to produce charged muons, which are detected by the resistive plate chambers, and tracked using orthogonal pick up strips. Timing information for each layer is used to discriminate between upward and downward traveling muons. The design of the readout electronics for the detector depends critically on an accurate model of the charge induced by the muons, and the dependence on bias voltages. In this paper, we present timing and charge response measurements using prototype detectors under different operating conditions. We also report the effect of varying gas mixture, particularly $SF_6$, on the timing response.


title: Frame difference families and resolvable balanced incomplete block designs

abstract: Frame difference families, which can be obtained via a careful use of cyclotomic conditions attached to strong difference families, play an important role in direct constructions for resolvable balanced incomplete block designs. We establish asymptotic existences for several classes of frame difference families. As corollaries new infinite families of 1-rotational $(pq+1,p+1,1)$-RBIBDs over $\mathbb{F}_{p}^+ \times \mathbb{F}_{q}^+$ are derived, and the existence of $(125q+1,6,1)$-RBIBDs is discussed. We construct $(v,8,1)$-RBIBDs for $v\in\{624,1576,2976,5720,5776,10200,14176,24480\}$, whose existence were previously in doubt. As applications, we establish asymptotic existences for an infinite family of optimal constant composition codes and an infinite family of strictly optimal frequency hopping sequences.


title: Formation of stellar clusters

abstract: We investigate the triggering of star formation and the formation of stellar clusters in molecular clouds that form as the ISM passes through spiral shocks. The spiral shock compresses gas into $\sim$100 pc long main star formation ridge, where clusters forming every 5-10 pc along the merger ridge. We use a gravitational potential based cluster finding algorithm, which extracts individual clusters, calculates their physical properties and traces cluster evolution over multiple time steps. Final cluster masses at the end of simulation range between 1000 and 30000 M$_{\odot}$ with their characteristic half-mass radii between 0.1 pc and 2 pc. These clusters form by gathering material from 10-20 pc size scales. Clusters also show a mass - specific angular momentum relation, where more massive clusters have larger specific angular momentum due to the larger size scales, and hence angular momentum from which they gather their mass. The evolution shows that more massive clusters experiences hierarchical merging process, which increases stellar age spreads up to 2-3 Myr. Less massive clusters appear to grow by gathering nearby recently formed sinks, while more massive clusters with their large global gravitational potentials are increasing their mass growth from gas accretion.


title: Computing Tree Decompositions with FlowCutter: PACE 2017 Submission

abstract: We describe the algorithm behind our PACE 2017 submission to the heuristic tree decomposition computation track. It was the only competitor to solve all instances and won a tight second place. The algorithm was originally developed in the context of accelerating shortest path computation on road graphs using multilevel partitions. We illustrate how this seemingly unrelated field fits into tree decomposition and parameterized complexity theory.


title: Modeling WiFi Traffic for White Space Prediction in Wireless Sensor Networks

abstract: Cross Technology Interference (CTI) is a prevalent phenomenon in the 2.4 GHz unlicensed spectrum causing packet losses and increased channel contention. In particular, WiFi interference is a severe problem for low-power wireless networks as its presence causes a significant degradation of the overall performance. In this paper, we propose a proactive approach based on WiFi interference modeling for accurately predicting transmission opportunities for low-power wireless networks. We leverage statistical analysis of real-world WiFi traces to learn aggregated traffic characteristics in terms of Inter-Arrival Time (IAT) that, once captured into a specific 2nd order Markov Modulated Poisson Process (MMPP(2)) model, enable accurate estimation of interference. We further use a hidden Markov model (HMM) for channel occupancy prediction. We evaluated the performance of i) the MMPP(2) traffic model w.r.t. real-world traces and an existing Pareto model for accurately characterizing the WiFi traffic and, ii) compared the HMM based white space prediction to random channel access. We report encouraging results for using interference modeling for white space prediction.


title: Report from GI-Dagstuhl Seminar 16394: Software Performance Engineering in the DevOps World

abstract: This report documents the program and the outcomes of GI-Dagstuhl Seminar 16394 "Software Performance Engineering in the DevOps World". The seminar addressed the problem of performance-aware DevOps. Both, DevOps and performance engineering have been growing trends over the past one to two years, in no small part due to the rise in importance of identifying performance anomalies in the operations (Ops) of cloud and big data systems and feeding these back to the development (Dev). However, so far, the research community has treated software engineering, performance engineering, and cloud computing mostly as individual research areas. We aimed to identify cross-community collaboration, and to set the path for long-lasting collaborations towards performance-aware DevOps. The main goal of the seminar was to bring together young researchers (PhD students in a later stage of their PhD, as well as PostDocs or Junior Professors) in the areas of (i) software engineering, (ii) performance engineering, and (iii) cloud computing and big data to present their current research projects, to exchange experience and expertise, to discuss research challenges, and to develop ideas for future collaborations.


title: NY Her: possible discovery of negative superhumps

abstract: We presents result of CDD photometry for SU UMa dwarf nova NY Her during 6 nights in June 2017 when object was in quiescence. Light curves clearly show strong amplitude variations in a range of 0m.7-1m.1. Time series analysis revealed a period 0.07141(5) d, that we identified as the period of possible negative superhumps of NY Her.


title: Evidence of a one-dimensional thermodynamic phase diagram for simple glass-formers

abstract: The glass transition plays a central role in nature as well as in industry, ranging from biological systems such as proteins and DNA to polymers and metals. Yet the fundamental understanding of the glass transition which is a prerequisite for optimized application of glass formers is still lacking. Glass formers show motional processes over an extremely broad range of timescales, covering more than ten orders of magnitude, meaning that a full understanding of the glass transition needs to comprise this tremendous range in timescales. Here we report on first-time simultaneous neutron and dielectric spectroscopy investigations of three glass-forming liquids, probing in a single experiment the full range of dynamics. For two van der Waals liquids we locate in the pressure-temperature phase diagram lines of identical dynamics of the molecules on both second and picosecond timescales. This confirms predictions of the isomorph theory and effectively reduces the phase diagram from two to one dimension. The implication is that dynamics on widely different timescales are governed by the same underlying mechanisms.


title: Azimuthal angle correlations at large rapidities: revisiting density variation mechanism

abstract: In the paper we discuss the angular correlation present in hadron-hadron collisions at large rapidity difference ($\bas\,y_{12}\,\gg\,1$). We find that in the CGC/saturation approach the largest contribution stems from the density variation mechanism. Our principal results are that the odd Fourier harmonics($v_{2n+1}$), decrease substantially as function of $y_{12}$, while the even harmonics ($v_{2n}$ ), increase considerably with a growth of $y_{12}$.


title: Monte-Carlo simulations of relativistic radiation mediated shocks: I. photon rich regime

abstract: We explore the physics of relativistic radiation mediated shocks (RRMSs) in the regime where photon advection dominates over photon generation. For this purpose, a novel iterative method for deriving a self-consistent steady-state structure of RRMS is developed, based on a Monte-Carlo code that solves the transfer of photons subject to Compton scattering and pair production/annihilation. Systematic study is performed by imposing various upstream conditions which are characterized by the following three parameters: the photon-to-baryon inertia ratio $\xi_{u *}$, the photon-to-baryon number ratio $\tilde{n}$, and the shock Lorentz factor $\gamma_u$. We find that the properties of RRMSs vary considerably with these parameters. In particular, while a smooth decline in the velocity, accompanied by a gradual temperature increase is seen for $\xi_{u*} \gg 1$, an efficient bulk Comptonization, that leads to a heating precursor, is found for $\xi_{u*} \lesssim 1$. As a consequence, although particle acceleration is highly inefficient in these shocks, a broad non-thermal spectrum is produced in the latter case. The generation of high energy photons through bulk Comptonization leads, in certain cases, to a copious production of pairs that provide the dominant opacity for Compton scattering. We also find that for certain upstream conditions a weak subshock appears within the flow. For a choice of parameters suitable to gamma-ray bursts, the radiation spectrum within the shock is found to be compatible with that of the prompt emission, suggesting that subphotospheric shocks may give rise to the observed non-thermal features despite the absence of accelerated particles.


title: NGC 307 and the Effects of Dark-Matter Haloes on Measuring Supermassive Black Holes in Disc Galaxies

abstract: We present stellar-dynamical measurements of the central supermassive black hole (SMBH) in the S0 galaxy NGC 307, using adaptive-optics IFU data from VLT-SINFONI. We investigate the effects of including dark-matter haloes as well as multiple stellar components with different mass-to-light (M/L) ratios in the dynamical modeling. Models with no halo and a single stellar component yield a relatively poor fit with a low value for the SMBH mass ($7.0 \pm 1.0 \times 10^{7} M_{\odot}$) and a high stellar M/L ratio (K-band M/L = $1.3 \pm 0.1$). Adding a halo produces a much better fit, with a significantly larger SMBH mass ($2.0 \pm 0.5 \times 10^{8} M_{\odot}$) and a lower M/L ratio ($1.1 \pm 0.1$). A model with no halo but with separate bulge and disc components produces a similarly good fit, with a slightly larger SMBH mass ($3.0 \pm 0.5 \times 10^{8} M_{\odot}$) and an identical M/L ratio for the bulge component, though the disc M/L ratio is biased high (disc M/L $ = 1.9 \pm 0.1$). Adding a halo to the two-stellar-component model results in a much more plausible disc M/L ratio of $1.0 \pm 0.1$, but has only a modest effect on the SMBH mass ($2.2 \pm 0.6 \times 10^{8} M_{\odot}$) and leaves the bulge M/L ratio unchanged. This suggests that measuring SMBH masses in disc galaxies using just a single stellar component and no halo has the same drawbacks as it does for elliptical galaxies, but also that reasonably accurate SMBH masses and bulge M/L ratios can be recovered (without the added computational expense of modeling haloes) by using separate bulge and disc components.


title: Beyond Accessibility: Lifting Perceptual Limitations for Everyone

abstract: We propose that accessibility research can lay the foundation for technology that can be used to augment the perception of everyone. To show how this can be achieved, we present three case studies of our research in which we demonstrate our approaches for impaired colour vision, situational visual impairments and situational hearing impairment.


title: Geodesic intersections and isoxial Fuchsian groups

abstract: The set of axes of hyperbolic elements in a Fuchsian group depends on the commensurability class of the group. In fact, it has been conjectured that it determines the commensurability class and this has been verified in for groups of the second kind by G. Mess and for arithemetic groups by by D. Long and A. Reid. Here we show that the conjecture holds for almost all Fuchsian groups and explain why our method fails for arithemetic groups.


title: Continuity and representation of valuations on star bodies

abstract: It is shown that every continuous valuation defined on the $n$-dimensional star bodies has an integral representation in terms of the radial function. Our argument is based on the non-trivial fact that continuous valuations are uniformly continuous on bounded sets. We also characterize the continuous valuations on the $n$-dimensional star bodies that arise as the restriction of a measure on $\mathbb R^n$.


title: Volumes and distributions for random unimodular complex and quaternion lattices

abstract: Two themes associated with invariant measures on the matrix groups ${\rm SL}_N(\mathbb F)$, with $\mathbb F = \mathbb R, \mathbb C$ or $\mathbb H$, and their corresponding lattices parametrised by ${\rm SL}_N(\mathbb F)/{\rm SL}_N(\mathbb O)$, $\mathbb O$ being an appropriate Euclidean ring of integers, are considered. The first is the computation of the volume of the subset of ${\rm SL}_N(\mathbb F)$ with bounded 2-norm or Frobenius norm. Key here is the decomposition of measure in terms of the singular values. The form of the volume, for large values of the bound, is relevant to asymptotic counting problems in ${\rm SL}_N(\mathcal O)$. The second is the problem of lattice reduction in the case $N=2$. A unified proof of the validity of the appropriate analogue of the Lagrange--Gauss algorithm for computing the shortest basis is given. A decomposition of measure corresponding to the QR decomposition is used to specify the invariant measure in the coordinates of the shortest basis vectors. With $\mathbb F = \mathbb C$ this allows for the exact computation of the PDF of the first minimum (for $\mathcal O = \mathbb Z[i]$ and $\mathbb Z[(1+\sqrt{-3})/2]$), and the PDF of the second minimum and that of the angle between the minimal basis vectors (for $\mathcal O = \mathbb Z[i]$). It also encodes the specification of fundamental domains of the corresponding quotient spaces. Integration over the latter gives rise to certain number theoretic constants, which are also present in the asymptotic forms of the PDFs of the lengths of the shortest basis vectors. Siegel's mean value gives an alternative method to compute the arithmetic constants, allowing in particular the computation of the leading form of the PDF of the first minimum for $\mathbb F = \mathbb H$ and $\mathcal O$ the Hurwitz integers, for which direct integration was not possible.


title: Russo-Seymour-Welsh estimates for the Kostlan ensemble of random polynomials

abstract: We study the percolation properties of the nodal structures of random fields. Lower bounds on crossing probabilities (RSW-type estimates) of quads by nodal domains or nodal sets of Gaussian ensembles of smooth random functions are established under the following assumptions: (i) sufficient symmetry; (ii) smoothness and non-degeneracy; (iii) local convergence of the covariance kernels; (iv) asymptotically non-negative correlations; and (v) uniform rapid decay of correlations. The Kostlan ensemble is an important model of Gaussian homogeneous random polynomials. An application of our theory to the Kostlan ensemble yields RSW-type estimates that are uniform with respect to the degree of the polynomials and quads of controlled geometry, valid on all relevant scales. This extends the recent results on the local scaling limit of the Kostlan ensemble, due to Beffara and Gayet.


title: Multi-layer Visualization for Medical Mixed Reality

abstract: Medical Mixed Reality helps surgeons to contextualize intraoperative data with video of the surgical scene. Nonetheless, the surgical scene and anatomical target are often occluded by surgical instruments and surgeon hands. In this paper and to our knowledge, we propose a multi-layer visualization in Medical Mixed Reality solution which subtly improves a surgeon's visualization by making transparent the occluding objects. As an example scenario, we use an augmented reality C-arm fluoroscope device. A video image is created using a volumetric-based image synthesization technique and stereo-RGBD cameras mounted on the C-arm. From this synthesized view, the background which is occluded by the surgical instruments and surgeon hands is recovered by modifying the volumetric-based image synthesization technique. The occluding objects can, therefore, become transparent over the surgical scene. Experimentation with different augmented reality scenarios yield results demonstrating that the background of the surgical scenes can be recovered with accuracy between 45%-99%. In conclusion, we presented a solution that a Mixed Reality solution for medicine, providing transparency to objects occluding the surgical scene. This work is also the first application of volumetric field for Diminished Reality/ Mixed Reality.


title: Nuclear Activity and the Conditions of Star-formation at the Galactic Center

abstract: The Galactic Center is the closest galactic nucleus that can be studied with unprecedented angular resolution and sensitivity. We summarize recent basic observational results on Sagittarius A* and the conditions for star formation in the central stellar cluster. We cover results from the radio, infrared, and X-ray domain and include results from simulation as well. From (sub-)mm and near-infrared variability and near-infrared polarization data we find that the SgrA* system (supermassive black hole spin, a potential temporary accretion disk and/or outflow) is well ordered in its geometrical orientation and in its emission process that we assume to reflect the accretion process onto the supermassive black hole (SMBH).


title: Quantum Monte Carlo study of static potential in graphene

abstract: In this paper the interaction potential between static charges in suspended graphene is studied within the quantum Monte Carlo approach. We calculated the dielectric permittivity of suspended graphene for the set of temperatures and extrapolated our results to zero temperature. The dielectric permittivity at zero temperature has the following properties. At zero distance $\epsilon=2.24\pm0.02$. Then it rises and at a large distance the dielectric permittivity reaches the plateau $\epsilon\simeq4.20\pm0.66$. The results obtained in this paper allow to draw a conclusion that full account of many-body effects in the dielectric permittivity of suspended graphene gives $\epsilon$ very close to the one-loop results. Contrary to the one-loop result, the two-loop prediction for the dielectric permittivity deviates from our result. So, one can expect large higher order corrections to the two-loop prediction for the dielectric permittivity of suspended graphene.


title: Transmission through a potential barrier in Luttinger liquids with a topological spin gap

abstract: We study theoretically the transport of the one-dimensional single-channel interacting electron gas through a strong potential barrier in the parameter regime where the spin sector of the low-energy Luttinger liquid theory is gapped by interaction. This phase is of particular interest since it exhibits non-trivial interaction-induced topological properties. Using bosonization and an expansion in the tunneling strength, we calculate the conductance through the barrier as a function of the temperature as well as the local density of states (LDOS) at the barrier. Our main result concerns the mechanism of bound-state mediated tunneling. The characteristic feature of the topological phase is the emergence of protected zero-energy bound states with fractional spin located at the impurity position. By flipping the fractional spin the edge states can absorb or emit spinons and thus enable single electron tunneling across the impurity even though the bulk spectrum for these excitations is gapped. This results in a finite LDOS below the bulk gap and in a non-monotonic behavior of the conductance. The system represents an important physical example of an interacting symmetry-protected topological phase---which combines features of a topological spin insulator and a topological charge metal---in which the topology can be probed by measuring transport properties.


title: On $k$-rainbow independent domination in graphs

abstract: In this paper, we define a new domination invariant on a graph $G$, which coincides with the ordinary independent domination number of the generalized prism $G \Box K_k$, called the $k$-rainbow independent domination number and denoted by $\gamma_{{\rm ri}k}(G)$. Some bounds and exact values concerning this domination concept are determined. As a main result, we prove a Nordhaus-Gaddum-type theorem on the sum for $2$-rainbow independent domination number, and show if G is a graph of order $n \geq 3$, then $5\leq \gamma_{{\rm ri}2}(G)+\gamma_{{\rm ri}2}(\overline{G})\leq n+3$, with both bounds being sharp.


title: Graph rigidity for unitarily invariant matrix norms

abstract: A rigidity theory is developed for bar-joint frameworks in linear matrix spaces endowed with a unitarily invariant norm. Analogues of Maxwell's counting criteria are obtained and minimally rigid matrix frameworks are shown to belong to the matroidal class of (k,l)-sparse graphs for suitable k and l. A characterisation of infinitesimal rigidity is obtained for product norms and it is shown that K_6 - e (respectively, K_7) is the smallest minimally rigid graph for the class of 2 x 2 symmetric (respectively, hermitian) matrices with the trace norm.


title: On-demand electron source with tunable energy distribution

abstract: We propose a scheme to manipulate the electron-hole excitation in the voltage pulse electron source, which can be realized by a voltage-driven Ohmic contact connecting to a quantum hall edge channel. It has been known that the electron-hole excitation can be suppressed via Lorentzian pulses, leading to noiseless electron current. We show that, instead of the Lorentzian pulses, driven via the voltage pulse $V(t) = 2 \frac{\hbar}{e} \sqrt{\frac{\sqrt{3}}{\pi} k_{\rm B} T_h} \arctanh( \frac{t - t_0}{t_0} )$ with duration $t_0$, the electron-hole excitation can be tuned so that the corresponding energy distribution of the emitted electrons follows the Fermi distribution with temperature $T_{\rm D} = \sqrt{ T^2_{\rm S} + T^2_{\rm h} }$, with $T_{\rm S}$ being the electron temperature in the Ohmic contact. Such Fermi distribution can be established without introducing additional energy relaxation mechanism and can be detected via shot noise thermometry technique, making it helpful in the study of thermal transport and decoherence in mesoscopic system.


title: Coherence recovery mechanisms in quantum Hall edge states

abstract: The work is motivated by the puzzling results of the recent experiment [S. Tewari et al., Phys. Rev. B 93, 035420 (2016)], where a robust coherence recovery from a certain energy was detected for an electron injected into the quantum Hall edge at the filling factor 2. After passing through a quantum dot the electron then tunnels into the edge with a subsequent propagation towards a symmetric Mach-Zender interferometer, after which the visibility of Aharonov-Bohm (AB) oscillations is measured. According to conventional understanding its decay with the increasing energy of the injected electron was expected, which was confirmed theoretically in the bosonization framework. Here we analyze why such a model fails to account for the coherence recovery and show that the reason is essentially the destructive interference of the two quasiparticles (charge and neutral modes) forming at the edge out of the incoming electron. This statement is robust with respect to the strength of Coulomb interaction. We firstly exploit the idea of introducing an imbalance between the quasiparticles, by creating different conditions of propagation for them. It can be done by taking into account either dispersion or dissipation, which indeed results in the partial coherence recovery. The idea of imbalance can also be realized by applying a periodic potential to the arms of interferometer. We discuss such an experiment, which might also shed light on the internal coherence of the two edge excitations. Another scenario relies on the lowering of the energy density of the electron wave packet by the time it arrives at the interferometer in presence of dissipation or dispersion. This energy density is defined by a certain parameter, which is completely independent of the injected energy, which naturally explains the emergence of a threshold energy in the experiment.


title: Back-to-back heavy quark pair production in Semi-inclusive DIS

abstract: The one-loop correction to heavy quark pair back-to-back production in unpolarized semi-inclusive deep inelastic scattering is given in this work in the framework of transverse momentum dependent(TMD) factorization. Both unpolarized and linearly polarized TMD gluon distribution functions are taken into account. A subtraction method based on diagram expansion is used to get finite hard coefficients. It is found the soft and collinear divergences of one-loop amplitude is proportional to tree level ones and can be expressed through several basic scalar triangle and bubble integrals. The subtraction of these divergences is spin independent. Beyond tree level an additional soft factor related to final heavy quark pair must be added into the factorization formula. This soft factor affects the azimuthal angle distribution of virtual photon in a nonperturbative way. Integrating over virtual photon azimuthal angle we construct three weighted cross sections, which depend on only three additional integrated soft factors. These weighted cross sections can be used to extract linearly polarized gluon distribution function. In addition, lepton azimuthal angle is unintegrated in this work, which provides more observables. All hard coefficients relevant to lepton and virtual photon azimuthal angle distributions are given at one-loop level.


title: Non-linear and dot-dependent Zeeman splitting in GaAs/AlGaAs quantum dot arrays

abstract: We study the Zeeman splitting in lateral quantum dots that are defined in GaAs-AlGaAs het- erostructures by means of split gates. We demonstrate a non-linear dependence of the splitting on magnetic field and its substantial variations from dot to dot and from heterostructure to het- erostructure. These phenomena are important in the context of information processing since the tunability and dot-dependence of the Zeeman splitting allow for a selective manipulation of spins. We show that spin-orbit effects related to the GaAs band structure quantitatively explain the ob- served magnitude of the non-linear dependence of the Zeeman splitting. Furthermore, spin-orbit effects result in a dependence of the Zeeman splitting on predominantly the out-of-plane quantum dot confinement energy. We also show that the variations of the confinement energy due to charge disorder in the heterostructure may explain the dependence of Zeeman splitting on the dot position. This position may be varied by changing the gate voltages which leads to an electrically tunable Zeeman splitting.


title: Application of large area SiPMs for the readout of a plastic scintillator based timing detector

abstract: In this study an array of eight 6 mm x 6 mm area SiPMs was coupled to the end of a long plastic scintillator counter which was exposed to a 2.5 GeV/c muon beam at the CERN PS. Timing characteristics of bars with dimensions 150 cm x 6 cm x 1 cm and 120 cm x 11 cm x 2.5 cm have been studied. An 8-channel SiPM anode readout ASIC (MUSIC R1) based on a novel low input impedance current conveyor has been used to read out and amplify SiPMs independently and sum the signals at the end. Prospects for applications in large-scale particle physics detectors with timing resolution below 100 ps are provided in light of the results.


title: Simultaneous Detection of Longitudinal and Transverse Bunch Signals at a Storage Ring

abstract: To understand and control the dynamics in the longitudinal phase space, time-resolved measurements of different bunch parameters are required. For a reconstruction of this phase space, the detector systems have to be synchronized. This reconstruction can be used e.g. for studies of the micro-bunching instability. It occurs if the interaction of the bunch with its own radiation leads to the formation of sub-structures on the longitudinal bunch profile. These sub-structures can grow rapidly -- leading to a sawtooth-like behaviour of the bunch. At KARA, we use a fast-gated intensified camera for energy spread studies, Schottky diodes for coherent synchrotron radiation studies as well as electro-optical spectral decoding for longitudinal bunch profile measurements. For a synchronization, a hardware synchronization scheme is used which compensates for eventual hardware delays. In this paper, the different experimental setups and their synchronization are discussed and first results of synchronous measurements are presented.


title: Distinguishing short duration noise transients in LIGO data to improve the PyCBC search for gravitational waves from high mass binary black hole mergers

abstract: "Blip glitches" are a type of short duration transient noise in LIGO data. The cause for the majority of these is currently unknown. Short duration transient noise creates challenges for searches of the highest mass binary black hole systems, as standard methods of applying signal consistency, which look for consistency in the accumulated signal-to-noise of the candidate event, are unable to distinguish many blip glitches from short duration gravitational-wave signals due to similarities in their time and frequency evolution. We demonstrate a straightforward method, employed during Advanced LIGO's second observing run, including the period of joint observation with the Virgo observatory, to separate the majority of this transient noise from potential gravitational-wave sources. This yields a $\sim 20\%$ improvement in the detection rate of high mass binary black hole mergers ($> 60 M_{\odot}$) for the PyCBC analysis.


title: The Discovery of a Five-Image Lensed Quasar at z = 3.34 using PanSTARRS1 and Gaia

abstract: We report the discovery, spectroscopic confirmation, and mass modelling of the gravitationally lensed quasar system PS J0630-1201. The lens was discovered by matching a photometric quasar catalogue compiled from Pan-STARRS and WISE photometry to the Gaia DR1 catalogue, exploiting the high spatial resolution of the latter (FWHM $\sim $0.1") to identify the three brightest components of the lens. Follow-up spectroscopic observations with the WHT confirm the multiple objects are quasars at redshift $z_{q}=3.34$. Further follow-up with Keck AO high-resolution imaging reveals that the system is composed of two lensing galaxies and the quasar is lensed into a $\sim$2.8" separation four-image cusp configuration with a fifth image clearly visible, and a 1.0" arc due to the lensed quasar host galaxy. The system is well-modelled with two singular isothermal ellipsoids, reproducing the position of the fifth image. We discuss future prospects for measuring time delays between the images and constraining any offset between mass and light using the faintly detected Einstein arcs associated with the quasar host galaxy.


title: Gravitationally Lensed Quasars in Gaia: I. Resolving Small-Separation Lenses

abstract: Gaia's exceptional resolution (FWHM $\sim$ 0.1$^{\prime\prime}$) allows identification and cataloguing of the multiple images of gravitationally lensed quasars. We investigate a sample of 49 known lensed quasars in the SDSS footprint, with image separations less than 2$^{\prime\prime}$, and find that 8 are detected with multiple components in the first Gaia data release. In the case of the 41 single Gaia detections, we generally are able to distinguish these lensed quasars from single quasars when comparing Gaia flux and position measurements to those of Pan-STARRS and SDSS. This is because the multiple images of these lensed quasars are typically blended in ground-based imaging and therefore the total flux and a flux-weighted centroid are measured, which can differ significantly from the fluxes and centroids of the individual components detected by Gaia. We compare the fluxes through an empirical fit of Pan-STARRS griz photometry to the wide optical Gaia bandpass values using a sample of isolated quasars. The positional offsets are calculated from a recalibrated astrometric SDSS catalogue. Applying flux and centroid difference criteria to spectroscopically confirmed quasars, we discover 4 new sub-arcsecond-separation lensed quasar candidates which have two distinct components of similar colour in archival CFHT or HSC data. Our method based on single Gaia detections can be used to identify the $\sim$ 1400 lensed quasars with image separation above 0.5$^{\prime\prime}$, expected to have only one image bright enough to be detected by Gaia.


title: The quantum pigeonhole principle as a violation of the principle of bivalence

abstract: In the paper, it is argued that the phenomenon known as the quantum pigeonhole principle (namely, three quantum particles are put in two boxes, yet no two particles are in the same box) can be explained not as a violation of Dirichlet's box principle in the case of quantum particles but as a nonvalidness of a bivalent logic for describing not-yet verified propositions relating to quantum mechanical experiments.


title: Motion of a Test Particle in the Reissner-Nordstrom Spacetime

abstract: This paper focuses on the motion of a test particle moving around the Reissner-Nordstrom black hole. It deals with circular motion and radial motion of the neutral massive test particles, and shortly handles circular motion of the charged massive test particles. Both neutral and charged particles are affected by black hole's charge, but it is due to the fact that charge of the black hole bends the spacetime more strongly. This procedure has nothing to do with electromagnetic interactions, and these are only considered for charged test particles. However, it only treats mathematically easy, approximated situations and general motions and complex motions will not be discussed. This paper has tried to get some physical information only with the easiest mathematical tools and without difficult concepts that general relativity contains. Contents of this paper would be suitable for those who want to know something about the Reissner-Nordstrom black hole, but does not have much knowledge in this field. They can begin their intellectual journey with this paper.


title: Faster Interpolation Algorithms for Sparse Multivariate Polynomials Given by Straight-Line Programs\

abstract: In this paper, we propose new deterministic and Monte Carlo interpolation algorithms for sparse multivariate polynomials represented by straight-line programs. Let $f$ be an $n$-variate polynomial given by a straight-line program, which has a degree bound $D$ and a term bound $T$. Our deterministic algorithm is quadratic in $n,T$ and cubic in $\log D$ in the Soft-Oh sense, which has better complexities than existing deterministic interpolation algorithms in most cases. Our Monte Carlo interpolation algorithms have better complexities than existing Monte Carlo interpolation algorithms and are the first algorithms whose complexities are linear in $nT$ in the Soft-Oh sense. Since $nT$ is a factor of the size of $f$, our Monte Carlo algorithms are optimal in $n$ and $T$ in the Soft-Oh sense.


title: Fixed Effect Estimation of Large T Panel Data Models

abstract: This article reviews recent advances in fixed effect estimation of panel data models for long panels, where the number of time periods is relatively large. We focus on semiparametric models with unobserved individual and time effects, where the distribution of the outcome variable conditional on covariates and unobserved effects is specified parametrically, while the distribution of the unobserved effects is left unrestricted. Compared to existing reviews on long panels (Arellano and Hahn 2007; a section in Arellano and Bonhomme 2011) we discuss models with both individual and time effects, split-panel Jackknife bias corrections, unbalanced panels, distribution and quantile effects, and other extensions. Understanding and correcting the incidental parameter bias caused by the estimation of many fixed effects is our main focus, and the unifying theme is that the order of this bias is given by the simple formula p/n for all models discussed, with p the number of estimated parameters and n the total sample size.


title: Bounds On Treatment Effects On Transitions

abstract: This paper considers the identification of treatment effects on conditional transition probabilities. We show that even under random assignment only the instantaneous average treatment effect is point identified. Since treated and control units drop out at different rates, randomization only ensures the comparability of treatment and controls at the time of randomization, so that long-run average treatment effects are not point identified. Instead we derive informative bounds on these average treatment effects. Our bounds do not impose (semi)parametric restrictions, for example, proportional hazards. We also explore various assumptions such as monotone treatment response, common shocks and positively correlated outcomes that tighten the bounds.


title: User and Developer Interaction with Editable and Readable Ontologies

abstract: The process of building ontologies is a difficult task that involves collaboration between ontology developers and domain experts and requires an ongoing interaction between them. This collaboration is made more difficult, because they tend to use different tool sets, which can hamper this interaction. In this paper, we propose to decrease this distance between domain experts and ontology developers by creating more readable forms of ontologies, and further to enable editing in normal office environments. Building on a programmatic ontology development environment, such as Tawny-OWL, we are now able to generate these readable/editable from the raw ontological source and its embedded comments. We have this translation to HTML for reading; this environment provides rich hyperlinking as well as active features such as hiding the source code in favour of comments. We are now working on translation to a Word document that also enables editing. Taken together this should provide a significant new route for collaboration between the ontologist and domain specialist.


title: On Tropical Linear and Integer Programs

abstract: We present simple compact proofs of the strong and weak duality theorems of tropical linear programming. It follows that there is no duality gap for a pair of tropical primal-dual problems. This result together with known properties of subeigenvectors enables us to directly solve a special tropical linear program with two-sided constraints. We also study the duality gap in tropical integer linear programming. A direct solution is available for the primal problem. An algorithm of quadratic complexity is presented for the dual problem. A direct solution is available provided that all coefficients of the objective function are integer. This solution yields a good estimate of the optimal objective function value in the general case.


title: Emission activity of the Be star 60 Cygni

abstract: In this paper we present results of the spectroscopic analysis of H$\alpha$ line profile of the Be star 60 Cygni. We present time evolution of the equivalent width of the H$\alpha$ line profiles during years 1992 - 2016 and $V/R$ variation during years 1995 - 2016. We analyzed data from Ond\v{r}ejov Observatory and from BeSS Database. The circumstellar disk of the star was present twice during years 1992 - 2016 and the second cycle shows stronger emission activity. We found out that the formation of the disk takes longer time than the disk extinction (extinction is much steeper than the formation) and that there is no evident period of changes in $V/R$ variation.


title: All Classical Adversary Methods are Equivalent for Total Functions

abstract: We show that all known classical adversary lower bounds on randomized query complexity are equivalent for total functions, and are equal to the fractional block sensitivity $\text{fbs}(f)$. That includes the Kolmogorov complexity bound of Laplante and Magniez and the earlier relational adversary bound of Aaronson. This equivalence also implies that for total functions, the relational adversary is equivalent to a simpler lower bound, which we call rank-1 relational adversary. For partial functions, we show unbounded separations between $\text{fbs}(f)$ and other adversary bounds, as well as between the adversary bounds themselves. We also show that, for partial functions, fractional block sensitivity cannot give lower bounds larger than $\sqrt{n \cdot \text{bs}(f)}$, where $n$ is the number of variables and $\text{bs}(f)$ is the block sensitivity. Then we exhibit a partial function $f$ that matches this upper bound, $\text{fbs}(f) = \Omega(\sqrt{n \cdot \text{bs}(f)})$.


title: Semi-simplicity of the category of admissible D-modules

abstract: Using a representation theoretic parameterization for the orbits in the enhanced cyclic nilpotent cone, derived by the authors in a previous article, we compute the fundamental group of these orbits. This computation has several applications to the representation theory of the category of admissible $D$-modules on the space of representations of the framed cyclic quiver. First, and foremost, we compute precisely when this category is semi-simple. We also show that the category of admissible $D$-modules has enough projectives. Finally, the support of an admissible $D$-module is contained in a certain Lagrangian in the cotangent bundle of the space of representations. Thus, taking characteristic cycles defines a map from the $K$-group of the category of admissible $D$-modules to the $\mathbb{Z}$-span of the irreducible components of this Lagrangian. We show that this map is always injective, and a bijection if and only if the monodromicity parameter is integral.


title: Optoelectronic forces with quantum wells for cavity optomechanics in GaAs/AlAs semiconductor microcavities

abstract: Radiation pressure, electrostriction, and photothermal forces have been investigated to evidence backaction, non-linearities and quantum phenomena in cavity optomechanics. We show here through a detailed study of the relative intensity of the cavity mechanical modes observed when exciting with pulsed lasers close to the GaAs optical gap that optoelectronic forces involving real carrier excitation and deformation potential interaction are the strongest mechanism of light-to-sound transduction in semiconductor GaAs/AlAs distributed Bragg reflector optomechanical resonators. We demonstrate that the ultrafast spatial redistribution of the photoexcited carriers in microcavities with massive GaAs spacers leads to an enhanced coupling to the fundamental 20 GHz vertically polarized mechanical breathing mode. The carrier diffusion along the growth axis of the device can be enhanced by increasing the laser power, or limited by embedding GaAs quantum wells in the cavity spacer, a strategy used here to prove and engineer the optoelectronic forces in phonon generation with real carriers. The wavelength dependence of the observed phenomena provide further proof of the role of optoelectronic forces. The optical forces associated to the different intervening mechanisms and their relevance for dynamical backaction in optomechanics are evaluated using finite-element methods. The results presented open the path to the study of hitherto seldom investigated dynamical backaction in optomechanical solid-state resonators in the presence of optoelectronic forces.


title: Analysing causal structures with entropy

abstract: A central question for causal inference is to decide whether a set of correlations fit a given causal structure. In general, this decision problem is computationally infeasible and hence several approaches have emerged that look for certificates of compatibility. Here we review several such approaches based on entropy. We bring together the key aspects of these entropic techniques with unified terminology, filling several gaps and establishing new connections regarding their relation, all illustrated with examples. We consider cases where unobserved causes are classical, quantum and post-quantum and discuss what entropic analyses tell us about the difference. This has applications to quantum cryptography, where it can be crucial to eliminate the possibility of classical causes. We discuss the achievements and limitations of the entropic approach in comparison to other techniques and point out the main open problems.


title: Simplicity constraints: a 3d toy-model for Loop Quantum Gravity

abstract: In Loop Quantum Gravity, tremendous progress has been made using the Ashtekar-Barbero variables. These variables, defined in a gauge-fixing of the theory, correspond to a parametrization of the solutions of the so-called simplicity constraints. Their geometrical interpretation is however unsatisfactory as they do not constitute a space-time connection. It would be possible to resolve this point by using a full Lorentz connection or, equivalently, by using the self-dual Ashtekar variables. This leads however to simplicity constraints or reality conditions which are notoriously difficult to implement in the quantum theory. We explore in this paper the possibility of imposing such constraints at the quantum level in the context of canonical quantization. To do so, we define a simpler model, in 3d, with similar constraints by extending the phase space to include an independent vielbein. We define the classical model and show that a precise quantum theory by gauge-unfixing can be defined out of it, completely equivalent to the standard 3d euclidean quantum gravity. We discuss possible future explorations around this model as it could help as a stepping stone to define full-fledged covariant Loop Quantum Gravity.


title: Stream VByte: Faster Byte-Oriented Integer Compression

abstract: Arrays of integers are often compressed in search engines. Though there are many ways to compress integers, we are interested in the popular byte-oriented integer compression techniques (e.g., VByte or Google's Varint-GB). They are appealing due to their simplicity and engineering convenience. Amazon's varint-G8IU is one of the fastest byte-oriented compression technique published so far. It makes judicious use of the powerful single-instruction-multiple-data (SIMD) instructions available in commodity processors. To surpass varint-G8IU, we present Stream VByte, a novel byte-oriented compression technique that separates the control stream from the encoded data. Like varint-G8IU, Stream VByte is well suited for SIMD instructions. We show that Stream VByte decoding can be up to twice as fast as varint-G8IU decoding over real data sets. In this sense, Stream VByte establishes new speed records for byte-oriented integer compression, at times exceeding the speed of the memcpy function. On a 3.4GHz Haswell processor, it decodes more than 4 billion differentially-coded integers per second from RAM to L1 cache.


title: Reachability Switching Games

abstract: We study the problem of deciding the winner of reachability switching games for zero-, one-, and two-player variants. Switching games provide a deterministic analogue of stochastic games. We show that the zero-player case is NL-hard, the one-player case is NP-complete, and that the two-player case is PSPACE-hard and in EXPTIME. For the zero-player case, we also show P-hardness for a succinctly-represented model that maintains the upper bound of NP $\cap$ coNP. For the one- and two-player cases, our results hold in both the natural, explicit model and succinctly-represented model. Our results show that the switching variant of a game is harder in complexity-theoretic terms than the corresponding stochastic version.


title: Embodied Evolution in Collective Robotics: A Review

abstract: This paper provides an overview of evolutionary robotics techniques applied to on-line distributed evolution for robot collectives -- namely, embodied evolution. It provides a definition of embodied evolution as well as a thorough description of the underlying concepts and mechanisms. The paper also presents a comprehensive summary of research published in the field since its inception (1999-2017), providing various perspectives to identify the major trends. In particular, we identify a shift from considering embodied evolution as a parallel search method within small robot collectives (fewer than 10 robots) to embodied evolution as an on-line distributed learning method for designing collective behaviours in swarm-like collectives. The paper concludes with a discussion of applications and open questions, providing a milestone for past and an inspiration for future research.


title: Selective final state spectroscopy and multifractality in two-component ultracold Bose-Einstein condensates: a numerical study

abstract: We propose to use the method introduced by Volchkov et al., based on state dependent disordered ultracold bosons, to address the critical state at the mobility edge of the Anderson localization transition, and to observe its intriguing multifractal structure. An optimally designed external radio frequency pulse can be applied to generate transitions to eigenstates in a narrow energy window close to the mobility edge, where critical scaling and multifractality emerge. Two-photon laser scanning microscopy will be used to address individual localized states even close to the transition. The projected image of the cloud is shown to inherit multifractality and to display universal density correlations. Time of flight images of the excited states are predicted to show interference fringes in the localized phase, while they allow one to map equal energy surfaces deep in the metallic phase.


title: The fractional Dodson diffusion equation: a new approach

abstract: In this paper, after a brief review of the general theory concerning regularized derivatives and integrals of a function with respect to another function, we provide a peculiar fractional generalization of the $(1+1)$-dimensional Dodson's diffusion equation. For the latter we then compute the fundamental solution, which turns out to be expressed in terms of an M-Wright function of two variables. Then, we conclude the paper providing a few interesting results for some nonlinear fractional Dodson-like equations.