title: Grand Canonical Adaptive Resolution Simulation for Molecules with Electrons: A Theoretical Framework based on Physical Consistency

abstract: A theoretical scheme for the treatment of an open molecular system with electrons and nuclei is proposed. The idea is based on the Grand Canonical description of a quantum region embedded in a classical reservoir of molecules. Electronic properties of the quantum region are calculated at constant electronic chemical potential equal to that of the corresponding (large) bulk system treated at full quantum level. Instead, the exchange of molecules between the quantum region and the classical environment occurs at the chemical potential of the macroscopic thermodynamic conditions. T he Grand Canonical Adaptive Resolution Scheme is proposed for the treatment of the classical environment; such an approach can treat the exchange of molecules according to first principles of statistical mechanics and thermodynamic. The overall scheme is build on the basis of physical consistency, with the corresponding definition of numerical criteria of control of the approximations implied by the coupling. Given the wide range of expertise required, this work has the intention of providing guiding principles for the construction of a well founded computational protocol for actual multiscale simulations from the electronic to the mesoscopic scale.

categories: cond-mat.stat-mech cond-mat.mes-hall physics.chem-ph physics.comp-ph


title: Some examples of quadratic fields with finite nonsolvable maximal unramified extensions II

abstract: Let $K$ be a number field and $K_{ur}$ be the maximal extension of $K$ that is unramified at all places. In a previous article, the first author found three real quadratic fields $K$ such that $Gal(K_{ur}/K)$ is finite and nonabelian simple under the assumption of the GRH(Generalized Riemann Hypothesis). In this article, we will identify more quadratic number fields $K$ such that $Gal(K_{ur}/K)$ is a finite nonsolvable group and also explicitly calculate their Galois groups under the assumption of the Generalized Riemann Hypothesis.


title: Optimal mixing in two-dimensional stratified plane Poiseuille flow at finite P\'eclet and Richardson numbers

abstract: We consider the nonlinear optimisation of irreversible mixing induced by an initial finite amplitude perturbation of a statically stable density-stratified fluid. A constant pressure gradient is imposed in a plane two-dimensional channel. We consider flows with a finite P\'eclet number $Pe=500$ and Prandtl number $Pr=1$, and a range of bulk Richardson numbers $Ri_b \in [0,1]$. We use the constrained variational direct-adjoint-looping (DAL) method to solve two optimization problems, extending the optimal mixing results of Foures et al. (2014) to stratified flows, where the mixing of the scalar density has an energetic cost, and thus has an observable dynamic effect. We identify initial perturbations of fixed finite kinetic energy which maximise the time-averaged kinetic energy developed by the perturbations over a finite time interval, and initial perturbations that minimise the value of a `mix-norm', as defined by Thiffeault (2012) and shown by Foures et al. (2014) to be a computationally efficient and robust proxy for identifying perturbations that minimise the variance of a scalar distribution at a target time. We demonstrate, for all bulk Richardson numbers considered, that the time-averaged-kinetic-energy-maximising perturbations are significantly suboptimal at mixing compared to the mix-norm-minimising perturbations. By considering the time evolution of the kinetic energy and potential energy reservoirs, we find that mix-norm-minimising optimal perturbations lead to a flow which, through Taylor dispersion, very effectively converts perturbation kinetic energy into `available potential energy', which in turn leads rapidly and irreversibly to thorough and efficient mixing, with little energy returned to the kinetic energy reservoirs.


title: High-Tc superconductivity up to 55 K under high pressure in the heavily electron doped Lix(NH3)yFe2Se2 single crystal

abstract: We report a high-pressure study on the heavily electron doped Lix(NH3)yFe2Se2 single crystal by using the cubic anvil cell apparatus. The superconducting transition temperature Tc = 44 K at ambient pressure is first suppressed to below 20 K upon increasing pressure to Pc = 2 GPa, above which the pressure dependence of Tc(P) reverses and Tc increases steadily to ca. 55 K at 11 GPa. These results thus evidenced a pressure-induced second high-Tc superconducting (SC-II) phase in Lix(NH3)yFe2Se2 with the highest Tcmax = 55K among the FeSe-based bulk materials. Hall data confirm that in the emergent SC-II phase the dominant electron-type carrier density undergoes a fourfold enhancement and tracks the same trend as Tc(P). Interesting, we find a nearly parallel scaling behavior between Tc and the inverse Hall coefficient for the SC-II phases of both Lix(NH3)yFe2Se2 and (Li,Fe)OHFeSe. The present work demonstrates that high pressure offers a distinctive means to further raising the maximum Tc of heavily electron doped FeSe-based materials by increasing the effective charge carrier concentration via a plausible Fermi surface reconstruction at Pc.


title: Universal curve of optimum thermoelectric figures of merit for bulk and low-dimensional semiconductors

abstract: Analytical formulas for thermoelectric figure of merit and power factor are derived based on the one-band model. We find that there is a direct relationship between the optimum figures of merit and the optimum power factors of semiconductors despite of the fact that the two quantities are generally given by different values of chemical potentials. By introducing a dimensionless parameter consisting of optimum power factor and lattice thermal conductivity (without electronic thermal conductivity), it is possible to unify optimum figures of merit of both bulk and low-dimensional semiconductors into a single universal curve that covers lots of materials with different dimensionalities.


title: Non-adiabatic breaking of topological pumping

abstract: We study Thouless pumping out of the adiabatic limit. Our findings show that despite its topological nature, this phenomenon is not {generically} robust to non-adiabatic effects. Indeed we find that the Floquet diagonal ensemble value of the pumped charge shows a deviation from the topologically quantized limit which is quadratic in the driving frequency {for a sudden switch-on of the driving}. This is reflected also in the charge pumped in a single period, which shows a non-analytic behaviour on top of an overall quadratic decrease. Exponentially small corrections are recovered only with a careful tailoring of the driving protocol. We also discuss thermal effects and the experimental feasibility of observing such a deviation.


title: An Overview of the MHONGOOSE Survey: Observing Nearby Galaxies with MeerKAT

abstract: MHONGOOSE is a deep survey of the neutral hydrogen distribution in a representative sample of 30 nearby disk and dwarf galaxies with HI masses from 10^6 to ~10^{11} M_sun, and luminosities from M_R ~ -12 to M_R ~ -22. The sample is selected to uniformly cover the available range in log(M_HI). Our extremely deep observations, down to HI column density limits of well below 10^{18} cm^{-2} - or a few hundred times fainter than the typical HI disks in galaxies - will directly detect the effects of cold accretion from the intergalactic medium and the links with the cosmic web. These observations will be the first ever to probe the very low-column density neutral gas in galaxies at these high resolutions. Combination with data at other wavelengths, most of it already available, will enable accurate modelling of the properties and evolution of the mass components in these galaxies and link these with the effects of environment, dark matter distribution, and other fundamental properties such as halo mass and angular momentum. MHONGOOSE can already start addressing some of the SKA-1 science goals and will provide a comprehensive inventory of the processes driving the transformation and evolution of galaxies in the nearby universe at high resolution and over 5 orders of magnitude in column density. It will be a Nearby Galaxies Legacy Survey that will be unsurpassed until the advent of the SKA, and can serve as a highly visible, lasting statement of MeerKAT's capabilities.


title: Crowdsourced correlation clustering with relative distance comparisons

abstract: Crowdsourced, or human computation based clustering algorithms usually rely on relative distance comparisons, as these are easier to elicit from human workers than absolute distance information. A relative distance comparison is a statement of the form "item A is closer to item B than to item C". However, many existing clustering algorithms that use relative distances are rather complex. They are often based on a two-step approach, where the relative distances are first used to learn either a distance matrix, or an embedding of the items, and then some standard clustering method is applied in a second step. In this paper we argue that it should be possible to compute a clustering directly from relative distance comparisons. Our ideas are built upon existing work on correlation clustering, a well-known non-parametric approach to clustering. The technical contribution of this work is twofold. We first define a novel variant of correlation clustering that is based on relative distance comparisons, and hence suitable for human computation. We go on to show that our new problem is closely related to basic correlation clustering, and use this property to design an approximation algorithm for our problem. As a second contribution, we propose a more practical algorithm, which we empirically compare against existing methods from literature. Experiments with synthetic data suggest that our approach can outperform more complex methods. Also, our method efficiently finds good and intuitive clusterings from real relative distance comparison data.


title: Simple Signal Extension Method for Discrete Wavelet Transform

abstract: Discrete wavelet transform of finite-length signals must necessarily handle the signal boundaries. The state-of-the-art approaches treat such boundaries in a complicated and inflexible way, using special prolog or epilog phases. This holds true in particular for images decomposed into a number of scales, exemplary in JPEG 2000 coding system. In this paper, the state-of-the-art approaches are extended to perform the treatment using a compact streaming core, possibly in multi-scale fashion. We present the core focused on CDF 5/3 wavelet and the symmetric border extension method, both employed in the JPEG 2000. As a result of our work, every input sample is visited only once, while the results are produced immediately, i.e. without buffering.


title: Mining a Sub-Matrix of Maximal Sum

abstract: Biclustering techniques have been widely used to identify homogeneous subgroups within large data matrices, such as subsets of genes similarly expressed across subsets of patients. Mining a max-sum sub-matrix is a related but distinct problem for which one looks for a (non-necessarily contiguous) rectangular sub-matrix with a maximal sum of its entries. Le Van et al. (Ranked Tiling, 2014) already illustrated its applicability to gene expression analysis and addressed it with a constraint programming (CP) approach combined with large neighborhood search (CP-LNS). In this work, we exhibit some key properties of this NP-hard problem and define a bounding function such that larger problems can be solved in reasonable time. Two different algorithms are proposed in order to exploit the highlighted characteristics of the problem: a CP approach with a global constraint (CPGC) and mixed integer linear programming (MILP). Practical experiments conducted both on synthetic and real gene expression data exhibit the characteristics of these approaches and their relative benefits over the original CP-LNS method. Overall, the CPGC approach tends to be the fastest to produce a good solution. Yet, the MILP formulation is arguably the easiest to formulate and can also be competitive.


title: Spatial-Temporal Residue Network Based In-Loop Filter for Video Coding

abstract: Deep learning has demonstrated tremendous break through in the area of image/video processing. In this paper, a spatial-temporal residue network (STResNet) based in-loop filter is proposed to suppress visual artifacts such as blocking, ringing in video coding. Specifically, the spatial and temporal information is jointly exploited by taking both current block and co-located block in reference frame into consideration during the processing of in-loop filter. The architecture of STResNet only consists of four convolution layers which shows hospitality to memory and coding complexity. Moreover, to fully adapt the input content and improve the performance of the proposed in-loop filter, coding tree unit (CTU) level control flag is applied in the sense of rate-distortion optimization. Extensive experimental results show that our scheme provides up to 5.1% bit-rate reduction compared to the state-of-the-art video coding standard.


title: Improving Viability of Electric Taxis by Taxi Service Strategy Optimization: A Big Data Study of New York City

abstract: Electrification of transportation is critical for a low-carbon society. In particular, public vehicles (e.g., taxis) provide a crucial opportunity for electrification. Despite the benefits of eco-friendliness and energy efficiency, adoption of electric taxis faces several obstacles, including constrained driving range, long recharging duration, limited charging stations and low gas price, all of which impede taxi drivers' decisions to switch to electric taxis. On the other hand, the popularity of ride-hailing mobile apps facilitates the computerization and optimization of taxi service strategies, which can provide computer-assisted decisions of navigation and roaming for taxi drivers to locate potential customers. This paper examines the viability of electric taxis with the assistance of taxi service strategy optimization, in comparison with conventional taxis with internal combustion engines. A big data study is provided using a large dataset of real-world taxi trips in New York City. Our methodology is to first model the computerized taxi service strategy by Markov Decision Process (MDP), and then obtain the optimized taxi service strategy based on NYC taxi trip dataset. The profitability of electric taxi drivers is studied empirically under various battery capacity and charging conditions. Consequently, we shed light on the solutions that can improve viability of electric taxis.


title: Ad-rank condition for controllability of linear control system on solvable Lie groups

abstract: Linear systems on Lie groups are a natural generalization of linear system on Euclidian spaces. When the state space is a solvable connected Lie group, controllability of the linear system is assured if the ad-rank condition holds.


title: Wedderburn principal theorem for Jordan superalgebras I

abstract: We consider finite dimensional Jordan superalgebras $\jor$ over an algebraically closed field of characteristic 0, with solvable radical $\rad$ such that $\radd=0$ and $\jor/\rad$ is a simple Jordan superalgebra of one of the following types: Kac $\kac$, Kaplansky $\mathcal{K}_3$ superform or $\algdt$. We prove that an analogue of the Wedderburn Principal Theorem (WPT) holds if certain restrictions on the types of irreducible subsuperbimodules of $N$ are imposed, where $N$ is considered as a $J$-superbimodule, and $J$ is a simple Jordan superalgebra. Using counterexamples, it is shown that the imposed restrictions are essential.


title: Origin and suppression of parasitic signals in Kagom\'e lattice hollow core fibers used for SRS microscopy and endoscopy

abstract: Hollow core fibers are considered as promising candidates to deliver intense temporally overlapping picosecond pulses in applications such as stimulated Raman scattering (SRS) microscopy and endoscopy because of their inherent low nonlinearity compared to solid-core silica fibers. Here we demonstrate that, contrary to prior assumptions, parasitic signals are generated in Kagom\'e lattice hollow core fibers. We identify the origin of the parasitic signals as an interplay between the Kerr nonlinearity of air and frequency-dependent fiber losses. Importantly, we identify the special cases of experimental parameters that are free from parasitic signals, making hollow core fibers ideal candidates for noise-free SRS microscopy and endoscopy.


title: Gas dynamics in the inner few AU around the Herbig B[e] star MWC297: Indications of a disk wind from kinematic modeling and velocity-resolved interferometric imaging

abstract: We present near-infrared AMBER (R = 12, 000) and CRIRES (R = 100, 000) observations of the Herbig B[e] star MWC297 in the hydrogen Br-gamma-line. Using the VLTI unit telescopes, we obtained a uv-coverage suitable for aperture synthesis imaging. We interpret our velocity-resolved images as well as the derived two-dimensional photocenter displacement vectors, and fit kinematic models to our visibility and phase data in order to constrain the gas velocity field on sub-AU scales. The measured continuum visibilities constrain the orientation of the near-infrared-emitting dust disk, where we determine that the disk major axis is oriented along a position angle of 99.6 +/- 4.8 degrees. The near-infrared continuum emission is 3.6 times more compact than the expected dust-sublimation radius, possibly indicating the presence of highly refractory dust grains or optically thick gas emission in the inner disk. Our velocity-resolved channel maps and moment maps reveal the motion of the Br-gamma-emitting gas in six velocity channels, marking the first time that kinematic effects in the sub-AU inner regions of a protoplanetary disk could be directly imaged. We find a rotation-dominated velocity field, where the blue- and red-shifted emissions are displaced along a position angle of 24 +/- 3 degrees and the approaching part of the disk is offset west of the star. The visibility drop in the line as well as the strong non-zero phase signals can be modeled reasonably well assuming a Keplerian velocity field, although this model is not able to explain the 3 sigma difference that we measure between the position angle of the line photocenters and the position angle of the dust disk. We find that the fit can be improved by adding an outflowing component to the velocity field, as inspired by a magneto-centrifugal disk-wind scenario.


title: Local equilibrium in the Bak-Sneppen model

abstract: The Bak Sneppen (BS) model is a very simple model that exhibits all the richness of self-organized criticality theory. At the thermodynamic limit, the BS model converges to a situation where all particles have a fitness that is uniformly distributed between a critical value $p_c$ and 1. The $p_c$ value is unknown, as are the variables that influence and determine this value. Here, we study the Bak Sneppen model in the case in which the lowest fitness particle interacts with an arbitrary even number of $m$ nearest neighbors. We show that $p_{c,m}$ verifies a simple local equilibrium relationship. Based on this relationship, we can determine bounds for $p_{c,m}$.


title: Field expansions for systems of strongly coupled plasmonic nanoparticles

abstract: This paper is concerned with efficient representations and approximations of the solution to the scattering problem by a system of strongly coupled plasmonic particles. Three schemes are developed: the first is the resonant expansion which uses the resonant modes of the system of particles computed by a conformal transformation, the second is the hybridized resonant expansion which uses linear combinations of the resonant modes for each of the particles in the system as a basis to represent the solution, and the last one is the multipole expansion with respect to the origin. By considering a system formed by two plasmonic particles of circular shape, we demonstrate the relations between these expansion schemes and their advantages and disadvantages both analytically and numerically. In particular, we emphasize the efficiency of the resonant expansion scheme in approximating the near field of the system of particles. The difference between these plasmonic particle systems and the nonresonant dielectric particle system is also highlighted. The paper provides a guidance on the challenges for numerical simulations of strongly coupled plasmonic systems.


title: An efficient clustering algorithm from the measure of local Gaussian distribution

abstract: In this paper, I will introduce a fast and novel clustering algorithm based on Gaussian distribution and it can guarantee the separation of each cluster centroid as a given parameter, $d_s$. The worst run time complexity of this algorithm is approximately $\sim$O$(T\times N \times \log(N))$ where $T$ is the iteration steps and $N$ is the number of features.


title: Bayesian Filtering for ODEs with Bounded Derivatives

abstract: Recently there has been increasing interest in probabilistic solvers for ordinary differential equations (ODEs) that return full probability measures, instead of point estimates, over the solution and can incorporate uncertainty over the ODE at hand, e.g. if the vector field or the initial value is only approximately known or evaluable. The ODE filter proposed in recent work models the solution of the ODE by a Gauss-Markov process which serves as a prior in the sense of Bayesian statistics. While previous work employed a Wiener process prior on the (possibly multiple times) differentiated solution of the ODE and established equivalence of the corresponding solver with classical numerical methods, this paper raises the question whether other priors also yield practically useful solvers. To this end, we discuss a range of possible priors which enable fast filtering and propose a new prior--the Integrated Ornstein Uhlenbeck Process (IOUP)--that complements the existing Integrated Wiener process (IWP) filter by encoding the property that a derivative in time of the solution is bounded in the sense that it tends to drift back to zero. We provide experiments comparing IWP and IOUP filters which support the belief that IWP approximates better divergent ODE's solutions whereas IOUP is a better prior for trajectories with bounded derivatives.


title: Optimal Regularity of Stochastic Evolution Equations in M-type 2 Banach Spaces

abstract: In this paper, we prove the well-posedness and op- timal trajectory regularity for the solution of stochastic evolution equations driven by general multiplicative noises in martingale type 2 Banach spaces. The main idea of our method is to combine the approach in [HL] dealing with Hilbert setting and a version of Burkholder inequality in M-type 2 Banach space. Applying our main results to the stochastic heat equation gives a positive an- swer to an open problem proposed in [JR12].


title: Non-satisfiability of a positivity condition for commutator-free exponential integrators of order higher than four

abstract: We consider commutator-free exponential integrators as put forward in [Alverman, A., Fehske, H.: High-order commutator-free exponential time-propagation of driven quantum systems. J. Comput. Phys. 230, 5930-5956 (2011)]. For parabolic problems, it is important for the well-definedness that such an integrator satisfies a positivity condition such that essentially it only proceeds forward in time. We prove that this requirement implies maximal convergence order of four for real coefficients, which has been conjectured earlier by other authors.


title: Critical values in Bak-Sneppen type models

abstract: In the Bak-Sneppen model, the lowest fitness particle and its two nearest neighbors are renewed at each temporal step with a uniform (0,1) fitness distribution. The model presents a critical value that depends on the interaction criteria (two nearest neighbors) and on the update procedure (uniform). Here we calculate the critical value for models where one or both properties are changed. We study models with non-uniform updates, models with random neighbors and models with binary fitness and obtain exact results for the average fitness and for $p_c$.


title: Anomalous Weak Values Emerging from Strong Interactions between Light and Matter

abstract: Some predictions regarding pre- and post-selected states are far-reaching, thereby requiring validation with standard quantum measurements in addition to the customary weak measurements used so far, as well as other advanced techniques. We go further pursuing this goal, proposing two thought experiments which incorporate novel yet feasible validation methods of unconventional light-matter interactions. An excited atom traverses a Mach-Zehnder interferometer (MZI) under a special combination of pre- and post-selection. In the first experiment, photons emitted by the superposed atom, after being hit by two laser beams, are individually counted. Despite the interaction having definitely taken place, the numbers of photons emitted from each arm of the MZI are predicted, at the ensemble level, to be different from those expected with standard stimulated emission. In the second experiment, the atom spontaneously emits a photon while still in the MZI. This photon later serves as a strong measurement of the atom's energy upon hitting a photographic plate. The experiment is repeated to enable an interference effect of the emitted photons. Interestingly, the latter gives the appearance that the photons have been emitted by the atom from a position much farther from the two MZI arms L and R, as if in a "phantom arm" R'. These experiments also emphasize the key role of anomalous weak values in determining light-matter interactions. In fact, they present a straightforward realization of an entity we term counter-particles, namely pre- and post-selected states acting as if they have negative physical variables such as mass and energy. The novel verification methods we suggest for testing these predictions resemble weak measurements in some aspects, yet result from definite atomic transitions verified by the detected photons.


title: OGLE-2017-BLG-0173Lb: Low Mass-Ratio Planet in a "Hollywood" Microlensing Event

abstract: We present microlensing planet OGLE-2017-BLG-0173Lb, with planet-host mass ratio either $q\simeq 2.5\times 10^{-5}$ or $q\simeq 6.5\times 10^{-5}$, the lowest or among the lowest ever detected. The planetary perturbation is strongly detected, $\Delta\chi^2\sim 10,000$, because it arises from a bright (therefore, large) source passing over and enveloping the planetary caustic: a so-called "Hollywood" event. The factor $\sim 2.5$ offset in $q$ arises because of a previously unrecognized discrete degeneracy between Hollywood events in which the caustic is fully enveloped and those in which only one flank is enveloped, which we dub "Cannae" and "von Schlieffen", respectively. This degeneracy is "accidental" in that it arises from gaps in the data. Nevertheless, the fact that it appears in a $\Delta\chi^2=10,000$ planetary anomaly is striking. We present a simple formalism to estimate the sensitivity of other Hollywood events to planets and show that they can lead to detections close to, but perhaps not quite reaching, the Earth/Sun mass ratio of $3\times 10^{-6}$. This formalism also enables an analytic understanding of the factor $\sim 2.5$ offset in $q$ between the Cannae and von Schlieffen solutions. The Bayesian estimates for the host-mass, system distance, and planet-host projected separation are $M=0.39^{+0.40}_{-0.24}\,M_\odot$, $D_L=4.8^{+1.5}_{-1.8}\,\kpc$, and $a_\perp=3.8\pm 1.6\,\au$. The two estimates of the planet mass are $m_p=3.3^{+3.8}_{-2.1}\,M_\oplus$ and $m_p=8^{+11}_{-6}\,M_\oplus$. The measured lens-source relative proper motion $\mu=6\,\masyr$ will permit imaging of the lens in about 15 years or at first light on adaptive-optics imagers on next-generation telescopes. These will allow to measure the host mass but probably cannot resolve the planet-host mass-ratio degeneracy.


title: Energy-based comparison between the Fourier--Galerkin method and the finite element method

abstract: The Fourier-Galerkin method (in short FFTH) has gained popularity in numerical homogenisation because it can treat problems with a huge number of degrees of freedom. Because the method incorporates the fast Fourier transform (FFT) in the linear solver, it is believed to provide an improvement in computational and memory requirements compared to the conventional finite element method (FEM). Here, we systematically compare these two methods using the energetic norm of local fields, which has the clear physical interpretation as being the error in the homogenised properties. This enables the comparison of memory and computational requirements at the same level of approximation accuracy. We show that the methods' effectiveness relies on the smoothness (regularity) of the solution and thus on the material coefficients. Thanks to its approximation properties, FEM outperforms FFTH for problems with jumps in material coefficients, while ambivalent results are observed for the case that the material coefficients vary continuously in space. FFTH profits from a good conditioning of the linear system, independent of the number of degrees of freedom, but generally needs more degrees of freedom to reach the same approximation accuracy. More studies are needed for other FFT-based schemes, non-linear problems, and dual problems (which require special treatment in FEM but not in FFTH).


title: Triple linking numbers and surface systems

abstract: We give a refined value group for the collection of triple linking numbers of links in the 3-sphere. Given two links with the same pairwise linking numbers we show that they have the same refined triple linking number collection if and only if the links admit homeomorphic surface systems. Moreover these two conditions hold if and only if the link exteriors are bordant over $B \mathbb{Z}^n$, and if and only if the third lower central series quotients $\pi/\pi_3$ of the link groups are isomorphic preserving meridians and longitudes. We also show that these conditions imply that the link groups have isomorphic fourth lower central series quotients $\pi/\pi_4$, preserving meridians.


title: Probing finite coarse-grained virtual Feynman histories with sequential weak values

abstract: Feynman's sum-over-histories formulation of quantum mechanics has been considered a useful calculational tool in which virtual Feynman histories entering into a coherent quantum superposition cannot be individually measured. Here we show that sequential weak values, inferred by consecutive weak measurements of projectors, allow direct experimental probing of individual virtual Feynman histories thereby revealing the exact nature of quantum interference of coherently superposed histories. Because the total sum of sequential weak values of multi-time projection operators for a complete set of orthogonal quantum histories is unity, complete sets of weak values could be interpreted in agreement with the standard quantum mechanical picture. We also elucidate the relationship between sequential weak values of quantum histories with different coarse-graining in time and establish the incompatibility of weak values for non-orthogonal quantum histories in history Hilbert space. Bridging theory and experiment, the presented results may enhance our understanding of both weak values and quantum histories.


title: J-MOD$^{2}$: Joint Monocular Obstacle Detection and Depth Estimation

abstract: In this work, we propose an end-to-end deep architecture that jointly learns to detect obstacles and estimate their depth for MAV flight applications. Most of the existing approaches either rely on Visual SLAM systems or on depth estimation models to build 3D maps and detect obstacles. However, for the task of avoiding obstacles this level of complexity is not required. Recent works have proposed multi task architectures to both perform scene understanding and depth estimation. We follow their track and propose a specific architecture to jointly estimate depth and obstacles, without the need to compute a global map, but maintaining compatibility with a global SLAM system if needed. The network architecture is devised to exploit the joint information of the obstacle detection task, that produces more reliable bounding boxes, with the depth estimation one, increasing the robustness of both to scenario changes. We call this architecture J-MOD$^{2}$. We test the effectiveness of our approach with experiments on sequences with different appearance and focal lengths and compare it to SotA multi task methods that jointly perform semantic segmentation and depth estimation. In addition, we show the integration in a full system using a set of simulated navigation experiments where a MAV explores an unknown scenario and plans safe trajectories by using our detection model.


title: A Methodology for the Selection of Requirement Elicitation Techniques

abstract: In this paper, we present an approach to select a subset of requirement elicitation technique for an optimum result in the requirement elicitation process. Our approach consists of three steps. First, we identify various attribute in three important dimensions namely project, people and the process of software development that can influence the outcome of an elicitation process. Second, we construct three p matrix (3PM) separately for each dimension, that shows a relation between the elicitation techniques and three dimensions of a software. Third, we provide a mapping criteria and use them in the selection of a subset of elicitation techniques. We demonstrate the applicability of the proposed approach using case studies to evaluate and provide the contextual knowledge of selecting requirement elicitation technique.


title: On magnetic field amplification and particle acceleration near non-relativistic astrophysical shocks: Particles in MHD Cells simulations

abstract: We present simulations of magnetized astrophysical shocks taking into account the interplay between the thermal plasma of the shock and supra-thermal particles. Such interaction is depicted by combining a grid-based magneto-hydrodynamics description of the thermal fluid with particle in cell techniques devoted to the dynamics of supra-thermal particles. This approach, which incorporates the use of adaptive mesh refinement features, is potentially a key to simulate astrophysical systems on spatial scales that are beyond the reach of pure particle-in-cell simulations. We consider in this study non-relativistic shocks with various Alfvenic Mach numbers and magnetic field obliquity. We recover all the features of both magnetic field amplification and particle acceleration from previous studies when the magnetic field is parallel to the normal to the shock. In contrast with previous particle-in-cell-hybrid simulations, we find that particle acceleration and magnetic field amplification also occur when the magnetic field is oblique to the normal to the shock but on larger timescales than in the parallel case. We show that in our simulations, the supra-thermal particles are experiencing acceleration thanks to a pre-heating process of the particle similar to a shock drift acceleration leading to the corrugation of the shock front. Such oscillations of the shock front and the magnetic field locally help the particles to enter the upstream region and to initiate a non-resonant streaming instability and finally to induce diffuse particle acceleration.


title: On the Beamformed Broadcast Signaling for Millimeter Wave Cell Discovery: Performance Analysis and Design Insight

abstract: Availability of abundant spectrum has enabled millimeter wave (mm-wave) as a prominent candidate solution for the next generation cellular networks. Highly directional transmissions are essential for exploitation of mm-wave bands to compensate high propagation loss and attenuation. The directional transmission, nevertheless, necessitates a specific design for mm-wave initial cell discovery, as conventional omni-directional broadcast signaling may fail in delivering the cell discovery information. To address this issue, this paper provides an analytical framework for mm-wave beamformed cell discovery based on an information theoretical approach. Design options are compared considering four fundamental and representative broadcast signaling schemes to evaluate discovery latency and signaling overhead. The schemes are then simulated under realistic system parameters. Analytical and simulation results reveals four key findings: (i) For cell discovery without knowledge of beacon timing, analog/hybrid beamforming performs as well as digital beamforming in terms of cell discovery latency; (ii) Single beam exhaustive scan optimize the latency, however leads to overhead penalty; (iii) Multi-beam simultaneous scan can significantly reduce the overhead, and provide the flexibility to achieve trade-off between the latency and the overhead; (iv) The latency and the overhead are relatively insensitive to extreme low block error rates.


title: Atom Pairing in Optical Superlattices

abstract: We study the pairing of fermions in a one-dimensional lattice of tunable double-well potentials using radio-frequency spectroscopy. The spectra reveal the coexistence of two types of atom pairs with different symmetries. Our measurements are in excellent quantitative agreement with a theoretical model, obtained by extending the Green's function method of Orso et al., [Phys. Rev. Lett. 95, 060402 (2005)], to a bichromatic 1D lattice with finite harmonic radial confinement. The predicted spectra comprise hundreds of discrete transitions, with symmetry-dependent initial state populations and transition strengths. Our work provides an understanding of the elementary pairing states in a superlattice, paving the way for new studies of strongly interacting many-body systems.


title: Effects of solar activity on disturbances in Czech power grid: A preliminary assessment (in Czech only)

abstract: English: Solar eruptive events affect the close neighbourhood of the Earth. They also affect human infrastructure, power grids mainly, due to the induction of electrical currents. Only recently the attention was drawn not only to large flares, but also to estimate the long-term effects of increased solar activity by statistical methods. We analyse the failure rates in the main Czech power transmission system operated by the Czech national operator \v{C}EPS. We show that the effects of solar activity on failure rate in the main Czech power grid cannot be excluded even for central-european country. This is a preliminary study. Czech: Eruptivn\'i projevy slune\v{c}n\'i aktivity ovliv\v{n}uj\'i bezprost\v{r}edn\'i kosmick\'e okol\'i na\v{s}\'i Zem\v{e} a postihuj\'i prost\v{r}ednictv\'im indukce elektrick\'ych proud\r{u} i pozemskou infrastrukturu, zejm\'ena rozvodn\'e s\'it\v{e} silov\'e elekt\v{r}iny. Teprve v posledn\'ich letech byla v\v{e}nov\'ana pozornost nejen hodnocen\'i bezprost\v{r}edn\'ich dopad\r{u} siln\'ych eruptivn\'ich ud\'alost\'i na za\v{r}\'izen\'i rozvodn\'e s\'it\v{e}, ale tak\'e statistick\'emu zhodnocen\'i vlivu zv\'y\v{s}en\'e slune\v{c}n\'i aktivity. Ve spolupr\'aci s \v{C}EPS, a.s., jsme statisticky vyhodnotili \v{c}etnost z\'avad na za\v{r}\'izen\'ich p\'ate\v{r}n\'i rozvodn\'e s\'it\v{e} \v{C}R v z\'avislosti na \'urovni slune\v{c}n\'i aktivity a ukazujeme, \v{z}e vliv n\'ahl\'ych eruptivn\'ich ud\'alost\'i na z\'avadovost za\v{r}\'izen\'i \v{c}esk\'e rozvodn\'e s\'it\v{e} nelze vylou\v{c}it.


title: Predictability of Irregular Human Mobility

abstract: Understanding human mobility is critical for decision support in areas from urban planning to infectious diseases control. Prior work has focused on tracking daily logs of outdoor mobility without considering relevant context, which contain a mixture of regular and irregular human movement for a range of purposes, and thus diverse effects on the dynamics have been ignored. This study aims to focus on irregular human movement of different meta-populations with various purposes. We propose approaches to estimate the predictability of mobility in different contexts. With our survey data from international and domestic visitors to Australia, we found that the travel patterns of Europeans visiting for holidays are less predictable than those visiting for education, while East Asian visitors show the opposite patterns, ie, more predictable for holidays than for education. Domestic residents from the most populous Australian states exhibit the most unpredictable patterns, while visitors from less populated states show the highest predictable movement.


title: What makes the peak structure of the $\Lambda p$ invariant-mass spectrum in the $K^{-} {}^{3} {\rm He} \to \Lambda p n$ reaction?

abstract: Recently a peak structure was observed near the $K^{-} p p$ threshold in the in-flight ${}^{3} {\rm He} (K^{-} , \, \Lambda p) n$ reaction of the E15 experiment at J-PARC, which could be a signal of a $\bar{K} N N$ bound state. In order to investigate what is the origin of this peak, we calculate the cross section of this reaction, in particular based on the scenario that the $\bar{K} N N$ bound state is indeed generated and decays into $\Lambda p$. We find that the numerical result of the $\Lambda p$ invariant-mass spectrum in the $\bar{K} N N$ bound scenario is consistent with the J-PARC E15 data.


title: Real-world Meeting Points for Shared Demand-Responsive Transportation Systems

abstract: While conventional shared demand-responsive transportation (SDRT) systems mostly operate on a door-to-door policy, the usage of meeting points for the pick-up and drop-off of user groups can offer several advantages, like fewer stops and less total travelled mileage. Moreover, it offers the possibility to select only feasible and well-defined locations where a safe (de-)boarding is possible. This paper presents a three-step workflow for solving the SDRT problem with meeting points (SDRT-MP). Firstly, the customers are clustered into similar groups, then meeting (and divergence) points are determined for each cluster. Finally, a parallel neighbourhood search algorithm is applied to create the vehicle routes. Further, a simulation with realistic pick-up and drop-off locations based on map data is performed in order to demonstrate the impact of using meeting points for SDRT systems in contrast to the door-to-door service. Although the average passenger travel time is higher due to enhanced walking and waiting times, the experiment highlights a reduction of operator resources required to serve all customers.


title: Location- and time-dependent meeting point recommendations for shared interurban rides

abstract: Drivers offering spare seats in their vehicles on long-distance (interurban) trips often have to pick up or drop off passengers in cities en route. In that case it is necessary to agree on a meeting point. Often, this is done by proposing well-known locations like train stations, which frequently induces unnecessary detours through the inner-city districts. In contrast, meeting points in the vicinity of motorways and arterial roads with good public transport connection can reduce driving time and mileage. This work proposes a location-based approach to enable a fast and automatic recommendation of suitable pick-up (and drop-off) points for drivers and passengers using a GIS workflow and comprehensive precomputation of travel times.


title: Quantum Bit Commitment Protocol Based on Counterfactual Quantum Cryptography

abstract: We present a new quantum bit commitment (QBC) protocol based on counterfactual quantum cryptography. We analyze the security of this protocol, find that it can resist the attack presented by QBC's no-go theorem. Our protocol is simple, and probably give a new way of constructing QBC protocol.


title: Statistical learning of spatiotemporal patterns from longitudinal manifold-valued networks

abstract: We introduce a mixed-effects model to learn spatiotempo-ral patterns on a network by considering longitudinal measures distributed on a fixed graph. The data come from repeated observations of subjects at different time points which take the form of measurement maps distributed on a graph such as an image or a mesh. The model learns a typical group-average trajectory characterizing the propagation of measurement changes across the graph nodes. The subject-specific trajectories are defined via spatial and temporal transformations of the group-average scenario, thus estimating the variability of spatiotemporal patterns within the group. To estimate population and individual model parameters, we adapted a stochastic version of the Expectation-Maximization algorithm, the MCMC-SAEM. The model is used to describe the propagation of cortical atrophy during the course of Alzheimer's Disease. Model parameters show the variability of this average pattern of atrophy in terms of trajectories across brain regions, age at disease onset and pace of propagation. We show that the personalization of this model yields accurate prediction of maps of cortical thickness in patients.


title: A pictorial introduction to differential geometry, leading to Maxwell's equations as three pictures

abstract: In this article we present pictorially the foundation of differential geometry which is a crucial tool for multiple areas of physics, notably general and special relativity, but also mechanics, thermodynamics and solving differential equations. As all the concepts are presented as pictures, there are no equations in this article. As such this article may be read by pre-university students who enjoy physics, mathematics and geometry. However it will also greatly aid the intuition of an undergraduate and masters students, learning general relativity and similar courses. It concentrates on the tools needed to understand Maxwell's equations thus leading to the goal of presenting Maxwell's equations as 3 pictures.


title: K$_\alpha$ Emission Profiles of Warm Dense Argon Plasmas

abstract: K-line profiles emitted from a warm dense plasma environment are used for diagnostics of Ar droplet plasmas created by high energy laser pulses. Analyzing the temporally and spacially integrated spectra, we infer temperature gradients within the Ar droplet from cold temperatures of the order of some 10 eV up to higher temperatures of 250 eV and beyond. To characterize the influence of the warm and dense environment on the emitters, plasma screening is considered within a perturbative approach to the Hamiltonian. The plasma affects the many-particle system resulting in energy shifts of emission as well as ionization energies due to electron-ion and electron-electron interaction. With this approach we get a good reproduction of spectral features that are strongly influenced by ionization and excitation processes within the plasma. Comparing with the widely known FLYCHK code and the temperature distribution given in the original paper, counting for internal degrees of freedom (bound states) and treating pressure ionization within our quantum statistical approach results in a more detailed temperature-density-relation and leads to different results for the inferred temperature distribution.


title: A Realization of Thurstons Geometrization: Discrete Ricci Flow with Surgery

abstract: Hamilton's Ricci flow (RF) equations were recently expressed in terms of a sparsely-coupled system of autonomous first-order nonlinear differential equations for the edge lengths of a d-dimensional piecewise linear (PL) simplicial geometry. More recently, this system of discrete Ricci flow (DRF) equations was further simplified by explicitly constructing the Forman-Ricci tensor associated to each edge, thereby diagonalizing the first-order differential operator and avoiding the need to invert large sparse matrices at each time step. We recently showed analytically and numerically that these equations converge for axisymmetric 3-geometries to the corresponding continuum RF equations. We demonstrate here that these DRF equations yield an explicit numerical realization of Thurston's geometrization procedure for a discrete 3D axially-symmetric neckpinch geometry by using surgery to explicitly integrate through its Type-1 neck pinch singularity. A cubic-spline-based adaptive mesh was required to complete the evolution. Our numerically efficient simulations yield the expected Thurston decomposition of the sufficiently pinched axially symmetric geometry into its unique geometric structure -- a direct product of two lobes, each collapsing toward a 3-sphere geometry. The structure of our curvature may be used to better inform one of the vertex and edge weighting factors that appear in the Forman's expression of Ricci curvature on graphs.


title: Embedded tori with prescribed mean curvature

abstract: We construct a sequence of compact, oriented, embedded, two-dimensional surfaces of genus one into Euclidean 3-space with prescribed, almost constant, mean curvature of the form $H(X)=1+{A}{|X|^{-\gamma}}$ for $|X|$ large, when $A<0$ and $\gamma\in(0,2)$. Such surfaces are close to sections of unduloids with small necksize, folded along circumferences centered at the origin and with larger and larger radii. The construction involves a deep study of the corresponding Jacobi operators, an application of the Lyapunov-Schmidt reduction method and some variational argument.


title: Crank-Nicolson finite element approximations for a linear stochastic heat equation with additive space-time white noise

abstract: We formulate an initial- and Dirichlet boundary- value problem for a linear stochastic heat equation, in one space dimension, forced by an additive space-time white noise. First, we approximate the mild solution to the problem by the solution of the regularized second-order linear stochastic parabolic problem with random forcing proposed by Allen, Novosel and Zhang (Stochastics Stochastics Rep., 64, 1998). Then, we construct numerical approximations of the solution to the regularized problem by combining the Crank-Nicolson method in time with a standard Galerkin finite element method in space. We derive strong a priori estimates of the modeling error made in approximating the mild solution to the problem by the solution to the regularized problem, and of the numerical approximation error of the Crank-Nicolson finite element method.


title: Machine and deep learning techniques in heavy-ion collisions with ALICE

abstract: Over the last years, machine learning tools have been successfully applied to a wealth of problems in high-energy physics. A typical example is the classification of physics objects. Supervised machine learning methods allow for significant improvements in classification problems by taking into account observable correlations and by learning the optimal selection from examples, e.g. from Monte Carlo simulations. Even more promising is the usage of deep learning techniques. Methods like deep convolutional networks might be able to catch features from low-level parameters that are not exploited by default cut-based methods. These ideas could be particularly beneficial for measurements in heavy-ion collisions, because of the very large multiplicities. Indeed, machine learning methods potentially perform much better in systems with a large number of degrees of freedom compared to cut-based methods. Moreover, many key heavy-ion observables are most interesting at low transverse momentum where the underlying event is dominant and the signal-to-noise ratio is quite low. In this work, recent developments of machine- and deep learning applications in heavy-ion collisions with ALICE will be presented, with focus on a deep learning-based b-jet tagging approach and the measurement of low-mass dielectrons. While the b-jet tagger is based on a mixture of shallow fully-connected and deep convolutional networks, the low-mass dielectron measurement uses gradient boosting and shallow neural networks. Both methods are very promising compared to default cut-based methods.


title: Model of a multiverse providing the dark energy of our universe

abstract: It is shown that the dark energy presently observed in our universe can be regarded as the energy of a scalar field driving an inflation-like expansion of a multiverse with ours being a subuniverse among other parallel universes. A simple model of this multiverse is elaborated: Assuming closed space geometry, the origin of the multiverse can be explained by quantum tunneling from nothing; subuniverses are supposed to emerge from local fluctuations of separate inflation fields. The standard concept of tunneling from nothing is extended to the effect that in addition to an inflationary scalar field, matter is also generated, and that the tunneling leads to an (unstable) equilibrium state. The cosmological principle is assumed to pertain from the origin of the multiverse until the first subuniverses emerge. With increasing age of the multiverse, its spatial curvature decays exponentially so fast that, due to sharing the same space, the flatness problem of our universe resolves by itself. The dark energy density imprinted by the multiverse on our universe is time-dependent, but such that the ratio $w{=}\varrho/(c^2p)$ of its mass density and pressure (times $c^2$) is time-independent and assumes a value $-1{+}\epsilon$ with arbitrary $\epsilon{>}0$. $\epsilon$ can be chosen so small, that the dark energy model of this paper can be fitted to the current observational data as well as the cosmological constant model.


title: The Effect of Anisotropic Extra Dimension in Cosmology

abstract: We consider five dimensional conformal gravity theory which describes an anisotropic extra dimension. Reducing the theory to four dimensions yields Brans-Dicke theory with a potential and a hidden parameter $z$ which implements the anisotropy between the four dimensional spacetime and the extra dimension. We find that a range of value of the parameter $z$ can address the current dark energy density compared to the Planck energy density. Constraining the parameter $z$ and the other cosmological model parameters using the recent observational data consisting of the Hubble parameters, type Ia supernovae, and baryon acoustic oscillations, together with the Planck or WMAP 9-year data of the cosmic microwave background radiation, we find $z>-2.05$ for Planck data and $z>-2.09$ for WMAP 9-year data at 95\% confidence level. We also obtained constraints on the rate of change of the effective Newtonian constant~($G_{\rm eff}$) at present and the variation of $G_{\rm eff}$ since the epoch of recombination to be consistent with observation.


title: The genealogy of Galton-Watson trees

abstract: Take a continuous-time Galton-Watson tree and pick $k$ distinct particles uniformly from those alive at a time $T$. What does their genealogical tree look like? The case $k=2$ has been studied by several authors, and the near-critical asymptotics for general $k$ appear in Harris, Johnston and Roberts (2018). Here we give the full picture.


title: The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web

abstract: You put a program on a concurrent server, but you don't trust the server; later, you get a trace of the actual requests that the server received from its clients and the responses that it delivered. You separately get logs from the server; these are untrusted. How can you use the logs to efficiently _verify_ that the responses were derived from running the program on the requests? This is the _Efficient Server Audit Problem_, and it abstracts real-world scenarios, including running a web application on an untrusted provider. We give a solution based on several new techniques, including simultaneous replay and efficient verification of concurrent executions. We implement the solution for PHP web applications. For several applications, our verifier achieves 5.6--10.9x speedup versus simply re-executing, with less than 10 percent overhead for the server.


title: The structural, magnetic and optical properties of TMn@(ZnO)42 (TM = Fe, Co and Ni) hetero-nanostructure

abstract: The magnetic transition-metal (TM) @ oxide nanoparticles have been of great interest due to their wide range of applications, from medical sensors in magnetic resonance imaging to photo-catalysis. Although several studies on small clusters of TM@oxide have been reported, the understanding of the physical electronic properties of TMn@(ZnO)42 is far from sufficient. In this work, the electronic, magnetic and optical properties of TMn@(ZnO)42 (TM = Fe, Co and Ni) hetero-nanostructure are investigated using the density functional theory (DFT). It has been found that the core-shell nanostructure Fe13@(ZnO)42, Co15@(ZnO)42 and Ni15@(ZnO)42 are the most stable structures. Moreover, it is also predicted that the variation of the magnetic moment and magnetism of Fe, Co and Ni in TMn@ZnO42 hetero-nanostructure mainly stems from effective hybridization between core TM-3d orbitals and shell O-2p orbitals, and a magnetic moment inversion for Fe15@(ZnO)42 is investigated. Finally, optical properties studied by calculations show a red shift phenomenon in the absorption spectrum compared with the case of (ZnO)48.


title: BCJ Numerators from Differential Operator of Multidimensional Residue

abstract: In previous works, we devised a differential operator for evaluating typical integrals appearing in the Cachazo-He-Yuan (CHY) forms and in this paper we further streamline this method. We observe that at tree level, the number of free parameters controlling the differential operator depends solely on the number of external lines, after solving the constraints arising from the scattering equations. This allows us to construct a reduction matrix that relates the parameters of a higher-order differential operator to those of a lower-order one. The reduction matrix is theory-independent and can be obtained by solving a set of explicitly given linear conditions. The repeated application of such reduction matrices eventually transforms a given tree-level CHY-like integral to a prepared form. We also provide analytic expressions for the parameters associated with any such prepared form at tree level. We finally give a compact expression for the multidimensional residue for any CHY-like integral in terms of the reduction matrices. We adopt a dual basis projector which leads to the CHY-like representation for the non-local Bern-Carrasco-Johansson (BCJ) numerators at tree level in Yang-Mills theory. These BCJ numerators are efficiently computed by the improved method involving the reduction matrix.


title: Asymptotic Properties of Random Restricted Partitions

abstract: We study two types of probability measures on the set of integer partitions of $n$ with at most $m$ parts. The first one chooses the random partition with a chance related to its largest part only. We then obtain the limiting distributions of all of the parts together and that of the largest part as $n$ tends to infinity while $m$ is fixed or tends to infinity. In particular, if $m$ goes to infinity not too fast, the largest part satisfies the central limit theorem. The second measure is very general. It includes the Dirichlet distribution and the uniform distribution as special cases. We derive the asymptotic distributions of the parts jointly by taking limits of $n$ and $m$ in the same manner as that in the first probability measure.


title: Key Management and Learning based Two Level Data Security for Metering Infrastructure of Smart Grid

abstract: In the smart grid, smart meters, and numerous control and monitoring applications employ bidirectional wireless communication, where security is a critical issue. In key management based encryption method for the smart grid, the Trusted Third Party (TTP), and links between the smart meter and the third party are assumed to be fully trusted and reliable. However, in wired/wireless medium, a man-in-middle may want to interfere, monitor and control the network, thus exposing its vulnerability. Acknowledging this, in this paper, we propose a novel two level encryption method based on two partially trusted simple servers (constitutes the TTP) which implement this method without increasing packet overhead. One server is responsible for data encryption between the meter and control center/central database, and the other server manages the random sequence of data transmission. Numerical calculation shows that the number of iterations required to decode a message is large which is quite impractical. Furthermore, we introduce One-class support vector machine (machine learning) algorithm for node-to-node authentication utilizing the location information and the data transmission history (node identity, packet size and frequency of transmission). This secures data communication privacy without increasing the complexity of the conventional key management scheme.


title: Quantum radiation by an Unruh-DeWitt detector in oscillatory motion

abstract: Quantum radiated power emitted by an Unruh-DeWitt (UD) detector in linear oscillatory motion in (3+1)D Minkowski space, with the internal harmonic oscillator minimally coupled to a massless scalar field, is obtained non-perturbatively by numerical method. The signal of the Unruh-like effect experienced by the detector is found to be pronounced in quantum radiation in the highly non-equilibrium regime with high averaged acceleration and short oscillatory cycle, and the signal would be greatly suppressed by quantum interference when the averaged proper acceleration is sufficiently low. An observer at a fixed angle would see periods of negative radiated power in each cycle of motion, while the averaged radiated power over a cycle is always positive as guaranteed by the quantum inequalities. Coherent high harmonic generation and down conversion are identified in the detector's quantum radiation. Due to the overwhelming largeness of the vacuum correlators of the free field, the asymptotic reduced state of the harmonics of the radiation field is approximately a direct product of the squeezed thermal states.


title: Simple analysis of scattering data with Ornstein-Zernike equation

abstract: In this paper we propose and explore a method of analysis of the scattering experimental data for uniform liquid-like systems. In our pragmatic approach we are not trying to introduce by hands an artificial small parameter to work out a perturbation theory with respect to the known results e.g., for hard spheres or sticky-hard spheres (all the more that in the agreement with the notorious Landau statement, there is no any physical small parameter for liquids). Instead of it guided by the experimental data we are solving the the Ornstein-Zernike equation with a trial (variational) form of the inter-particle interaction potential. To find all needed correlation functions this variational input is iterated numerically to satisfy the Ornstein-Zernike equation supplemented by a closure relation. We illustrate by a number of model and real experimental examples of the X-ray and neutron scattering data how the approach works.


title: Quantum interface between a transmon qubit and spins of nitrogen-vacancy centers

abstract: Hybrid quantum circuits combining advantages of each individual system have provided a promising platform for quantum information processing. Here we propose an experimental scheme to directly couple a transmon qubit to an individual spin in the nitrogen-vacancy (NV) center, with a coupling strength three orders of magnitude larger than that for a single spin coupled to a microwave cavity. This direct coupling between the transmon and the NV center could be utilized to make a transmon bus, leading to a coherently virtual exchange among different single spins. Furthermore, we demonstrate that, by coupling a transmon to a low-density NV ensemble, a SWAP operation between the transmon and NV ensemble is feasible and a quantum non-demolition measurement on the state of NV ensemble can be realized on the cavity-transmon-NV-ensemble hybrid system. Moreover, on this system, a virtual coupling can be achieved between the cavity and NV ensemble, which is much larger in magnitude than the direct coupling between the cavity and the NV ensemble. The photon state in cavity can be thus stored into NV spins more efficiently through this virtual coupling.


title: The STREGA survey. II. Globular Cluster Palomar 12

abstract: In the framework of the STREGA (STRucture and Evolution of the GAlaxy) survey, two fields around the globular cluster Pal 12 were observed with the aim of detecting the possible presence of streams and/or an extended halo. The adopted stellar tracers are the Main Sequence, Turn-off and Red Giant Branch stars. We discuss the lumi- nosity function and the star counts in the observed region covering about 2 tidal radii, confirming that Pal 12 appears to be embedded in the Sagittarius Stream. Adopting an original approach to separate cluster and field stars, we do not find any evidence of sig- nificant extra-tidal Pal 12 stellar populations. The presence of the Sagittarius stream seems to have mimicked a larger tidal radius in previous studies. Indeed, adopting a King model, a redetermination of this value gives r_T = 0.22 +- 0.1 deg.


title: Team Semantics for the Specification and Verification of Hyperproperties

abstract: We develop team semantics for Linear Temporal Logic (LTL) to express hyperproperties, which have recently been identified as a key concept in the verification of information flow properties. Conceptually, we consider an asynchronous and a synchronous variant of team semantics. We study basic properties of this new logic and classify the computational complexity of its satisfiability, path, and model checking problem. Further, we examine how extensions of these basic logics react on adding other atomic operators. Finally, we compare its expressivity to the one of HyperLTL, another recently introduced logic for hyperproperties. Our results show that LTL under team semantics is a viable alternative to HyperLTL, which complements the expressivity of HyperLTL and has partially better algorithmic properties.


title: Intertwiner Entanglement on Spin Networks

abstract: In the context of quantum gravity, we clarify entanglement calculations on spin networks: we distinguish the gauge-invariant entanglement between intertwiners located at the nodes and the entanglement between spin states located on the network's links. We compute explicitly these two notions of entanglement between neighboring nodes and show that they are always related to the typical $\ln(2j+1)$ term depending on the spin $j$ living on the link between them. This $\ln(2j+1)$ contribution comes from looking at non-gauge invariant states, thus we interpret it as gauge-breaking and unphysical. In particular, this confirms that pure spin network basis states do not carry any physical entanglement, so that true entanglement and correlations in loop quantum gravity comes from spin or intertwiner superpositions.


title: Science with an ngVLA: Radio Emission from Short Gamma-ray Bursts in the Multi-Messenger Era

abstract: We investigate the expected radio emission from short GRBs, guided by the observed distributions of their afterglow parameters. Our motivation is to explore the radio signatures of the forward and reverse shock in a sGRB jet, as well as the off-axis jet component and radio emission from the dynamical ejecta. We estimate the fraction of GRBs detectable in the radio that may be coincident with a GW signal from a neutron star (NS) merger. At the distance to which aLIGO at design specification is sensitive to GWs from NS mergers, we may detect up to 20 % of off-axis jet radio components of these events, and up to about 10 % of events with radio emission from the tidal ejecta shocking with the external medium. We discuss our results in light of the Next Generation Very Large Array, expected to make significant progress in detecting radio signals from sGRBs.


title: Coherent scattering from semi-infinite non-Hermitian potentials

abstract: When two identical (coherent) beams are injected at a semi-infinite non-Hermitian medium from left and right, we show that both reflection $(r_L,r_R)$ and transmission $(t_L,t_R)$ amplitudes are non-reciprocal. In a parametric domain, there exists Spectral Singularity (SS) at a real energy $E=E_*$ and the determinant of the time-reversed two port S-matrix i.e., $|\det(S)|=|t_L t_R-r_L r_R|$ vanishes sharply at $E=E_*$ displaying the phenomenon of Coherent Perfect Absorption (CPA). In the complimentary parametric domain, the potential becomes either left or right reflectionless at $E=E_z$. But we rule out the existence of Invisibility despite $r_R(E_i)=0$ and $t_R(E_i)=1$ in these new models. We present two simple exactly solvable models where the expressions for $E_*$, $E_z$, $E_i$ and the parametric conditions on the potential have been obtained in explicit and simple forms. Earlier, the novel phenomena of SS and CPA have been found to occur only in the scattering complex potentials which are spatially localized (vanish asymptotically) and having $t_L=t_R$.

categories: quant-ph cond-mat.other math-ph math.MP physics.optics


title: Modelling of mid-infrared interferometric signature of hot exozodiacal dust emission

abstract: Hot exozodiacal dust emission was detected in recent surveys around two dozen main sequence stars at distances of less than $1\,\text{au}$ using H and K band interferometry. Due to the high contrast as well as the small angular distance between the circumstellar dust and the star, direct observation of this dust component is challenging. An alternative way to explore the hot exozodiacal dust is provided by mid-infrared interferometry. We analyze the L, M and N band interferometric signature of this emission in order to find stronger constraints for the properties and the origin of the hot exozodiacal dust. Considering the parameters of nine debris disc systems derived previously, we model the discs in each of these bands. We find that the M band possesses the best conditions to detect hot dust emission, closely followed by L and N bands. The hot dust in three systems - HD 22484 (10 Tau), HD 102647 ($\beta$ Leo) and HD 177724 ($\zeta$ Aql) - shows a strong signal in the visibility functions which may even allow one to constrain the dust location. In particular, observations in the mid-infrared could help to determine whether the dust piles up at the sublimation radius or is located at radii up to $1\,\text{au}$. In addition, we explore observations of the hot exozodiacal dust with the upcoming mid-infrared interferometer MATISSE at the Very Large Telescope Interferometer (VLTI).


title: LADAR-Based Mover Detection from Moving Vehicles

abstract: Detecting moving vehicles and people is crucial for safe operation of UGVs but is challenging in cluttered, real world environments. We propose a registration technique that enables objects to be robustly matched and tracked, and hence movers to be detected even in high clutter. Range data are acquired using a 2D scanning Ladar from a moving platform. These are automatically clustered into objects and modeled using a surface density function. A Bhattacharya similarity is optimized to register subsequent views of each object enabling good discrimination and tracking, and hence mover detection.


title: Testing the causality of Hawkes processes with time reversal

abstract: We show that univariate and symmetric multivariate Hawkes processes are only weakly causal: the true log-likelihoods of real and reversed event time vectors are almost equal, thus parameter estimation via maximum likelihood only weakly depends on the direction of the arrow of time. In ideal (synthetic) conditions, tests of goodness of parametric fit unambiguously reject backward event times, which implies that inferring kernels from time-symmetric quantities, such as the autocovariance of the event rate, only rarely produce statistically significant fits. Finally, we find that fitting financial data with many-parameter kernels may yield significant fits for both arrows of time for the same event time vector, sometimes favouring the backward time direction. This goes to show that a significant fit of Hawkes processes to real data with flexible kernels does not imply a definite arrow of time unless one tests it.


title: LADAR-Based Vehicle Tracking and Trajectory Estimation for Urban Driving

abstract: Safe mobility for unmanned ground vehicles requires reliable detection of other vehicles, along with precise estimates of their locations and trajectories. Here we describe the algorithms and system we have developed for accurate trajectory estimation of nearby vehicles using an onboard scanning LADAR. We introduce a variable-axis Ackerman steering model and compare this to an independent steering model. Then for robust tracking we propose a multi-hypothesis tracker that combines these kinematic models to leverage the strengths of each. When trajectories estimated with our techniques are input into a planner, they enable an unmanned vehicle to negotiate traffic in urban environments. Results have been evaluated running in real time on a moving vehicle with a scanning LADAR.


title: A View-Dependent Adaptive Matched Filter for LADAR-Based Vehicle Tracking

abstract: LADARs mounted on mobile platforms produce a wealth of precise range data on the surrounding objects and vehicles. The challenge we address is to infer from these raw LADAR data the location and orientation of nearby vehicles. We propose a novel view-dependent adaptive matched filter for obtaining fast and precise measurements of target vehicle pose. We derive an analytic expression for the matching function which we optimize to obtain target pose and size. Our algorithm is fast, robust and simple to implement compared to other methods. When used as the measurement component of a tracker on an autonomous ground vehicle, we are able to track in excess of 50 targets at 10 Hz. Once targets are aligned using our matched filter, we use a support vector-based discriminator to distinguish vehicles from other objects. This tracker provides a key sensing component for our autonomous ground vehicles which have accumulated hundreds of miles of on-road and off-road autonomous driving.


title: Enhanced Quantum Synchronization via Quantum Machine Learning

abstract: We study the quantum synchronization between a pair of two-level systems inside two coupled cavities. By using a digital-analog decomposition of the master equation that rules the system dynamics, we show that this approach leads to quantum synchronization between both two-level systems. Moreover, we can identify in this digital-analog block decomposition the fundamental elements of a quantum machine learning protocol, in which the agent and the environment (learning units) interact through a mediating system, namely, the register. If we can additionally equip this algorithm with a classical feedback mechanism, which consists of projective measurements in the register, reinitialization of the register state and local conditional operations on the agent and environment subspace, a powerful and flexible quantum machine learning protocol emerges. Indeed, numerical simulations show that this protocol enhances the synchronization process, even when every subsystem experience different loss/decoherence mechanisms, and give us the flexibility to choose the synchronization state. Finally, we propose an implementation based on current technologies in superconducting circuits.

categories: quant-ph cond-mat.mes-hall cs.AI cs.LG stat.ML


title: Predictive-State Decoders: Encoding the Future into Recurrent Networks

abstract: Recurrent neural networks (RNNs) are a vital modeling technique that rely on internal states learned indirectly by optimization of a supervised, unsupervised, or reinforcement training loss. RNNs are used to model dynamic processes that are characterized by underlying latent states whose form is often unknown, precluding its analytic representation inside an RNN. In the Predictive-State Representation (PSR) literature, latent state processes are modeled by an internal state representation that directly models the distribution of future observations, and most recent work in this area has relied on explicitly representing and targeting sufficient statistics of this probability distribution. We seek to combine the advantages of RNNs and PSRs by augmenting existing state-of-the-art recurrent neural networks with Predictive-State Decoders (PSDs), which add supervision to the network's internal state representation to target predicting future observations. Predictive-State Decoders are simple to implement and easily incorporated into existing training pipelines via additional loss regularization. We demonstrate the effectiveness of PSDs with experimental results in three different domains: probabilistic filtering, Imitation Learning, and Reinforcement Learning. In each, our method improves statistical performance of state-of-the-art recurrent baselines and does so with fewer iterations and less data.


title: Using objective words in the reviews to improve the colloquial arabic sentiment analysis

abstract: One of the main difficulties in sentiment analysis of the Arabic language is the presence of the colloquialism. In this paper, we examine the effect of using objective words in conjunction with sentimental words on sentiment classification for the colloquial Arabic reviews, specifically Jordanian colloquial reviews. The reviews often include both sentimental and objective words, however, the most existing sentiment analysis models ignore the objective words as they are considered useless. In this work, we created two lexicons: the first includes the colloquial sentimental words and compound phrases, while the other contains the objective words associated with values of sentiment tendency based on a particular estimation method. We used these lexicons to extract sentiment features that would be training input to the Support Vector Machines (SVM) to classify the sentiment polarity of the reviews. The reviews dataset have been collected manually from JEERAN website. The results of the experiments show that the proposed approach improves the polarity classification in comparison to two baseline models, with accuracy 95.6%.


title: Production of deuterons, tritons, $^{3}$He nuclei and their anti-nuclei in pp collisions at $\mathbf{\sqrt{{\textit s}}}$ = 0.9, 2.76 and 7 TeV

abstract: Invariant differential yields of deuterons and anti-deuterons in pp collisions at $\sqrt{s}$ = 0.9, 2.76 and 7 TeV and the yields of tritons, $^{3}$He nuclei and their anti-nuclei at $\sqrt{s}$ = 7 TeV have been measured with the ALICE detector at the CERN Large Hadron Collider. The measurements cover a wide transverse momentum ($p_{\text{T}}$) range in the rapidity interval $|y|<0.5$, extending both the energy and the $p_{\text{T}}$ reach of previous measurements up to 3 GeV/$c$ for $A=2$ and 6 GeV/$c$ for $A=3$. The coalescence parameters of (anti-)deuterons and $^{3}\overline{\text{He}}$ nuclei exhibit an increasing trend with $p_{\text{T}}$ and are found to be compatible with measurements in pA collisions at low $p_{\text{T}}$ and lower energies. The integrated yields decrease by a factor of about 1000 for each increase of the mass number with one (anti-)nucleon. Furthermore, the deuteron-to-proton ratio is reported as a function of the average charged particle multiplicity at different center-of-mass energies.


title: The Amplitude of a Process with Direct Ionization of the Atom

abstract: We consider an analytic approach to the elucidation of the role played by Coulomb interaction in the formation of the spectrum and angular distributions of the electrons produced by above threshold ionization of the atoms. Our approach is based on allowance for the multiple scattering of a photoelectron by the Coulomb potential of the residual ion, with pickup of a field photon in each scattering act. The amplitude of a process with direct ionization of the atom and subsequent scattering of the photoelectron in the continuum by the Coulomb potential of the residual ion are found.


title: Generative learning for deep networks

abstract: Learning, taking into account full distribution of the data, referred to as generative, is not feasible with deep neural networks (DNNs) because they model only the conditional distribution of the outputs given the inputs. Current solutions are either based on joint probability models facing difficult estimation problems or learn two separate networks, mapping inputs to outputs (recognition) and vice-versa (generation). We propose an intermediate approach. First, we show that forward computation in DNNs with logistic sigmoid activations corresponds to a simplified approximate Bayesian inference in a directed probabilistic multi-layer model. This connection allows to interpret DNN as a probabilistic model of the output and all hidden units given the input. Second, we propose that in order for the recognition and generation networks to be more consistent with the joint model of the data, weights of the recognition and generator network should be related by transposition. We demonstrate in a tentative experiment that such a coupled pair can be learned generatively, modelling the full distribution of the data, and has enough capacity to perform well in both recognition and generation.


title: Comments on Downlink Non-Orthogonal Multiple Access: Relative Gain Subject to Near Sum-Rate Optimality

abstract: Non-orthogonal access techniques have recently gained renewed interest in the context of next generation wireless networks. As the relative gain, with respect to traditionally employed orthogonal-access techniques depends on many factors, it is of interest to obtain insights by considering the simplest scenario, the two-user downlink (broadcast) channel where all nodes are equipped with a single antenna. Further, we focus on rate pairs that are in the vicinity of sum-rate optimalilty with respect to the capacity region of the broadcast channel. A simple and explicit characterization of the relative gain of non-orthogonal transmission with respect to orthogonal transmission is obtained under these conditions as an immediate consequence of the capacity regions of the two.


title: Resource provisioning in Science Clouds: Requirements and challenges

abstract: Cloud computing has permeated into the information technology industry in the last few years, and it is emerging nowadays in scientific environments. Science user communities are demanding a broad range of computing power to satisfy the needs of high-performance applications, such as local clusters, high-performance computing systems, and computing grids. Different workloads are needed from different computational models, and the cloud is already considered as a promising paradigm. The scheduling and allocation of resources is always a challenging matter in any form of computation and clouds are not an exception. Science applications have unique features that differentiate their workloads, hence, their requirements have to be taken into consideration to be fulfilled when building a Science Cloud. This paper will discuss what are the main scheduling and resource allocation challenges for any Infrastructure as a Service provider supporting scientific applications.


title: Multi-view pose estimation with mixtures-of-parts and adaptive viewpoint selection

abstract: We propose a new method for human pose estimation which leverages information from multiple views to impose a strong prior on articulated pose. The novelty of the method concerns the types of coherence modelled. Consistency is maximised over the different views through different terms modelling classical geometric information (coherence of the resulting poses) as well as appearance information which is modelled as latent variables in the global energy function. Moreover, adequacy of each view is assessed and their contributions are adjusted accordingly. Experiments on the HumanEva and UMPM datasets show that the proposed method significantly decreases the estimation error compared to single-view results.


title: A Data-driven Model for Interaction-aware Pedestrian Motion Prediction in Object Cluttered Environments

abstract: This paper reports on a data-driven, interaction-aware motion prediction approach for pedestrians in environments cluttered with static obstacles. When navigating in such workspaces shared with humans, robots need accurate motion predictions of the surrounding pedestrians. Human navigation behavior is mostly influenced by their surrounding pedestrians and by the static obstacles in their vicinity. In this paper we introduce a new model based on Long-Short Term Memory (LSTM) neural networks, which is able to learn human motion behavior from demonstrated data. To the best of our knowledge, this is the first approach using LSTMs, that incorporates both static obstacles and surrounding pedestrians for trajectory forecasting. As part of the model, we introduce a new way of encoding surrounding pedestrians based on a 1d-grid in polar angle space. We evaluate the benefit of interaction-aware motion prediction and the added value of incorporating static obstacles on both simulation and real-world datasets by comparing with state-of-the-art approaches. The results show, that our new approach outperforms the other approaches while being very computationally efficient and that taking into account static obstacles for motion predictions significantly improves the prediction accuracy, especially in cluttered environments.


title: On the extension of isometries between the unit spheres of von Neumann algebras

abstract: We prove that every surjective isometry between the unit spheres of two von Neumann algebras admits a unique extension to a surjective real linear isometry between these two algebras.


title: Einstein connections with skew-torsion on Berger spheres

abstract: The invariant metric affine connections on Berger spheres which are Einstein with skew torsion are determined in both Riemannian and Lorentzian signature. Expressions of such connections are explicitly given. In particular, every Berger sphere with Lorentzian signature admits invariant metric affine connections Einstein with skew-torsion up to $\mathbb{S}^3$. For Riemannian signature, the existence of such connections strongly depends on the dimension of the sphere and on the scale of the deformation used for the Berger metric. In particular, there are Riemaniann Berger spheres, not Einstein, which admit invariant metric affine connections Einstein with skew-torsion.


title: A unitary "quantization commutes with reduction" map for the adjoint action of a compact Lie group

abstract: Let $K$ be a simply connected compact Lie group and $T^{\ast}(K)$ its cotangent bundle. We consider the problem of "quantization commutes with reduction" for the adjoint action of $K$ on $T^{\ast}(K).$ We quantize both $T^{\ast}(K)$ and the reduced phase space using geometric quantization with half-forms. We then construct a geometrically natural map from the space of invariant elements in the quantization of $T^{\ast}(K)$ to the quantization of the reduced phase space. We show that this map is a constant multiple of a unitary map.


title: Self-consistency of Conformally Coupled ABJM Theory at the Quantum Level

abstract: We study the $\mathcal{N}=6$ superconformal Chern-Simons matter field theory (the ABJM theory) conformally coupled to a Lorentzian, curved background spacetime. To support rigid supersymmetry, such backgrounds have to admit twistor spinors. At the classical level, the symmetry of the theory can be described by a conformal symmetry superalgebra. We show that the full $\mathcal{N}=6$ superconformal algebra persists at the quantum level using the BV-BRST method.


title: Intensional Constructed Numbers: Towards Formalizing the Notion of Algorithm

abstract: This work is meant to be a step towards the formal definition of the notion of algorithm, in the sense of an equivalence class of programs working "in a similar way". But instead of defining equivalence transformations directly on programs, we look at the computation for each particular argument and give it a structure. This leads to the notion of constructed number: the result of the computation is a constructed number whose constructors (0, successor) carry a history condition (or trace) of their computation. There are equivalence relations on these conditions and on constructed numbers. Two programs are equivalent if they produce equivalent constructed numbers for each argument.


title: Thouless-Valatin Rotational Moment of Inertia from the Linear Response Theory

abstract: Spontaneous breaking of continuous symmetries of a nuclear many-body system results in appearance of zero-energy restoration modes. Such modes introduce a non-physical contributions to the physical excitations called spurious Nambu-Goldstone modes. Since they represent a special case of collective motion, they are sources of important information about the Thouless-Valatin inertia. The main purpose of this work is to study the Thouless-Valatin rotational moment of inertia as extracted from the Nambu-Goldstone restoration mode that results from the zero-frequency response to the total angular momentum operator. We examine the role and effects of the pairing correlations on the rotational characteristics of heavy deformed nuclei in order to extend our understanding of superfluidity in general. We use the finite amplitude method of the quasiparticle random phase approximation on top of the Skyrme energy density functional framework with the Hartree-Fock-Bogoliubov theory. We have successfully extended this formalism and established a practical method for extracting the Thouless-Valatin rotational moment of inertia from the strength function calculated in the symmetry restoration regime. Our results reveal the relation between the pairing correlations and the moment of inertia of axially deformed nuclei of rare-earth and actinide regions of the nuclear chart. We have also demonstrated the feasibility of the method for obtaining the moment of inertia for collective Hamiltonian models. We conclude that from the numerical and theoretical perspective, the finite amplitude method can be widely used to effectively study rotational properties of deformed nuclei within modern density functional approaches.


title: Analytic solution and stationary phase approximation for the Bayesian lasso and elastic net

abstract: The lasso and elastic net linear regression models impose a double-exponential prior distribution on the model parameters to achieve regression shrinkage and variable selection, allowing the inference of robust models from large data sets. However, there has been limited success in deriving estimates for the full posterior distribution of regression coefficients in these models, due to a need to evaluate analytically intractable partition function integrals. Here, the Fourier transform is used to express these integrals as complex-valued oscillatory integrals over "regression frequencies". This results in an analytic expansion and stationary phase approximation for the partition functions of the Bayesian lasso and elastic net, where the non-differentiability of the double-exponential prior has so far eluded such an approach. Use of this approximation leads to highly accurate numerical estimates for the expectation values and marginal posterior distributions of the regression coefficients, and allows for Bayesian inference of much higher dimensional models than previously possible.


title: Towards An Adaptive Compliant Aerial Manipulator for Contact-Based Interaction

abstract: As roles for unmanned aerial vehicles (UAV) continue to diversify, the ability to sense and interact closely with the environment becomes increasingly important. Within this paper we report on the initial flight tests of a novel adaptive compliant actuator which will allow a UAV to carry out such tasks as the "pick and placement" of remote sensors, structural testing and contact-based inspection. Three key results are discussed and presented; the ability to physically compensate impact forces or apply interaction forces by the UAV through the use of the active compliant manipulator; to be able to tailor these forces through tuning of the manipulator controller gains; and the ability to apply a rapid series of physical pulses in order to excite remotely placed sensors, e.g. vibration sensors. The paper describes the overall system requirements and system modelling considerations which have driven the concept through to flight testing. A series of over sixty flight tests have been used to generate initial results which clearly demonstrate the potential of this new type of compliant aerial actuator. Results are discussed in line with potential applications; and a series of future flight tests are described which will enable us to refine and characterise the overall system.


title: Resolved Structure of Arp 220 Nuclei at \lambda ~3 mm

abstract: We analyze 3 mm emission of the ultraluminous infrared galaxy Arp 220 for spatially-resolved structure and spectral properties of the merger nuclei. ALMA archival data at ~0.05" resolution are used for extensive visibility fitting and deep imaging of continuum emission. The data are fitted well with two concentric components for each nucleus, such as two Gaussians or one Gaussian plus one exponential disk. The larger components in individual nuclei are similar in shape and extent, ~100-150 pc, to the cm-wave emission due to supernovae. They are therefore identified with the known starburst nuclear disks. The smaller components in both nuclei have about a few 10 pc sizes and peak brightness temperatures (Tb) more than twice higher than in previous single-Gaussian fitting. They correspond to the dust emission that we find centrally concentrated in both nuclei by subtracting the plasma emission measured at 33 GHz. The dust emission in the western nucleus is found to have a peak Tb ~ 530 K and a full width at half maximum of about 20 pc. This component is estimated to have a bolometric luminosity on the order of 10^{12.5} Lsun and a 20 pc-scale luminosity surface density 10^{15.5} Lsun/kpc^2. A luminous AGN is a plausible energy source for these high values while other explanations remain to be explored. Our continuum image also reveals a third structural component of the western nucleus --- a pair of faint spurs perpendicular to the disk major axis. We attribute it to a bipolar outflow from the highly inclined (i ~ 60 deg) western nuclear disk.


title: Note on residual finiteness of Artin groups

abstract: Let $A$ be an Artin group. A partition $\mathcal{P}$ of the set of standard generators of $A$ is called admissible if, for all $X,Y \in \mathcal{P}$, $X \neq Y$, there is at most one pair $(s,t) \in X \times Y$ which has a relation. An admissible partition $\mathcal{P}$ determines a quotient Coxeter graph $\Gamma/\mathcal{P}$. We prove that, if $\Gamma/\mathcal{P}$ is either a forest or an even triangle free Coxeter graph and $A_X$ is residually finite for all $X \in \mathcal{P}$, then $A$ is residually finite.


title: Designing a Framework for Smart IoT Adaptations

abstract: The Internet of Things (IoT) is the science of connecting multiple devices that coordinate to provide the service in question. IoT environments are complex, dynamic, rapidly changing and resource constrained. Therefore, proactively adapting devices to align with context fluctuations becomes a concern. To propose suitable configurations, it should be possible to sense information from devices, analyze the data and reconfigure them accordingly. Applied in the service of the environment, a fleet of devices can monitor environment indicators and control it in order to propose best fit solutions or prevent risks like over consumption of resources (e.g., water and energy). This paper describes our methodology in designing a framework for the monitoring and multi-instantiation of fleets of connected objects. First by identifying the particularities of the fleet, then by specifying connected object as a Dynamic Software Product Line (DSPL), capable of readjusting while running.


title: Delay based Duplicate Transmission Avoid (DDA) Coordination Scheme for Opportunistic routing

abstract: Since the packet is transmitted to a set of relaying nodes in opportunistic routing strategy, so the transmission delay and the duplication transmission are serious. For reducing the transmission delay and the duplicate transmission, in this paper, we propose the delay based duplication transmission avoid (DDA) coordination scheme for opportunistic routing. In this coordination scheme, the candidate relaying nodes are divided into different fully connected relaying networks, so the duplicate transmission is avoided. Moreover, we propose the relaying network recognition algorithm which can be used to judge whether the sub-network is fully connected or not. The properties of the relaying networks are investigated in detail in this paper. When the fully connected relaying networks are got, they will be the basic units in the next hop relaying network selection. In this paper, we prove that the packet delivery ratio of the high priority relaying nodes in the relaying network has greater effection on the relaying delay than that of the low priority relaying nodes. According to this conclusion, in DDA, the relaying networks which the packet delivery ratios of the high priority relaying nodes are high have higher priority than that of the low one. During the next hop relaying network selection, the transmission delay, the network utility, and the packet delivery ratio are taken into account. By these innovations, the DDA can improve the network performance greatly than that of ExOR and SOAR.


title: Five-loop renormalisation of QCD in covariant gauges

abstract: We present the complete set of vertex, wave function and charge renormalisation constants in QCD in a general simple gauge group and with the complete dependence on the covariant gauge parameter $\xi$ in the minimal subtraction scheme of conventional dimensional regularisation. Our results confirm all already known results, which were obtained in the Feynman gauge, and allow the extraction of other useful gauges such as the Landau gauge. We use these results to extract the Landau gauge five-loop anomalous dimensions of the composite operator $A^2$ as well as the Landau gauge scheme independent gluon, ghost and fermion propagators at five loops.