title: Self-Supervised Video Hashing with Hierarchical Binary Auto-encoder

abstract: Existing video hash functions are built on three isolated stages: frame pooling, relaxed learning, and binarization, which have not adequately explored the temporal order of video frames in a joint binary optimization model, resulting in severe information loss. In this paper, we propose a novel unsupervised video hashing framework dubbed Self-Supervised Video Hashing (SSVH), that is able to capture the temporal nature of videos in an end-to-end learning-to-hash fashion. We specifically address two central problems: 1) how to design an encoder-decoder architecture to generate binary codes for videos; and 2) how to equip the binary codes with the ability of accurate video retrieval. We design a hierarchical binary autoencoder to model the temporal dependencies in videos with multiple granularities, and embed the videos into binary codes with less computations than the stacked architecture. Then, we encourage the binary codes to simultaneously reconstruct the visual content and neighborhood structure of the videos. Experiments on two real-world datasets (FCVID and YFCC) show that our SSVH method can significantly outperform the state-of-the-art methods and achieve the currently best performance on the task of unsupervised video retrieval.


title: Retrieving nonlinear refractive index of nanocomposites using finite-difference time-domain simulations

abstract: In this Letter, it is proposed a method which utilizes three-dimensional finite-difference time-domain (FDTD) simulations of light propagation for restoring the effective Kerr nonlinearity of nanocomposite media. In this approach, a dependence of the phase shift of the transmitted light on the input irradiance is exploited. The reconstructed values of the real parts of the nonlinear refractive index of a structure of randomly arranged spheres are in good agreement with the predictions of the effective medium approximations.


title: An unexpected detection of bifurcated blue straggler sequences in the young globular cluster NGC 2173

abstract: Bifurcated patterns of blue straggler stars in their color--magnitude diagrams have atracted significant attention. This type of special (but rare) pattern of two distinct blue straggler sequences is commonly interpreted as evidence of cluster core-collapse-driven stellar collisions as an efficient formation mechanism. Here, we report the detection of a bifurcated blue straggler distribution in a young Large MagellanicCloud cluster, NGC 2173. Because of the cluster's low central stellar number density and its young age, dynamical analysis shows that stellar collisions alone cannot explain the observed blue straggler stars. Therefore, binary evolution is instead the most viable explanation of the origin of these blue straggler stars. However, the reason why binary evolution would render the color--magnitude distribution of blue straggler stars bifurcated remains unclear.


title: Computer-Aided Annotation for Video Tampering Dataset of Forensic Research

abstract: The annotation of video tampering dataset is a boring task that takes a lot of manpower and financial resources. At present, there is no published literature which is capable to improve the annotation efficiency of forged videos. We presented a computer-aided annotation method for video tampering dataset in this paper. This annotation method can be utilized to label the frames of forged video sequences. By means of comparing the original video frames with the forged video frames, we can locate the position and the trajectory of the forged areas of the forged video frames. Then, we select several key points on the temporal domain according to the trajectory of the forged areas, and mark the forged area of the forged frames in the key point with a mouse. Finally, we use the linear prediction algorithm based on the coordinates of the key positions in the temporal domain to generate the annotation information of forged areas in other video frames which without manually labeled. If the bounding box generated by the computer-aided algorithm deviates from the actual location of the forged area, we can use the mouse to change the position of the bounding box during the preview period. This method combines the manual annotation with computer-aided annotation. It solves the problems of the inaccuracy of annotation by computer-aided as well as the low efficiency of annotation manually, and meet the needs of annotation for an enormous amount of forged videos in the research of video passive forensics.


title: Asymptotic Behavior of SIRS Models in State-dependent Random Environments

abstract: The extinction and persistence of infective individuals are closely related to the random change of the environment. In this paper, via the random/stochastic SIRS models, we analyze qualitatively and quantitatively the impact caused by the random change of the environment. Our contributions consist in (i) giving some sufficient conditions on extinction (persistence) of the infectious individuals even though they are persistent (resp. extinct) in certain fixed environments; (ii) revealing the influence of random switching of incidence functions on extinction for the infectious individuals, which has not been studied before; (iii) establishing a criterion to judge extinction of the infectious individuals for a range of random/stochastic SIRS models with state-dependent switching via a stochastic comparison for functionals of jump processes. Moreover, some examples are set to illustrate the applications of our theory.


title: Triggering the formation of the supergiant H II region NGC 604 in M33

abstract: Formation mechanism of a supergiant H II region NGC 604 is discussed in terms of collision of H I clouds in M33. An analysis of the archival H I data obtained with the Very Large Array (VLA) reveals complex velocity distributions around NGC 604. The H I clouds are composed of two velocity components separated by ~ 20 km s^-1 for an extent of ~ 700 pc, beyond the size of the the H II region. Although the H I clouds are not easily separated in velocity with some mixed component represented by merged line profiles, the atomic gas mass amounts to 6 x 10^6 M_Sol and 9 x 10^6 M_Sol for each component. These characteristics of H I gas and the distributions of dense molecular gas in the overlapping regions of the two velocity components suggest that the formation of giant molecular clouds and the following massive cluster formation have been induced by the collision of H I clouds with different velocities. Referring to the existence of gas bridging feature connecting M33 with M31 reported by large-scale HI surveys, the disturbed atomic gas possibly represent the result of past tidal interaction between the two galaxies, which is analogous to the formation of the R136 cluster in the LMC.


title: An Empirical Evaluation of Deep Learning for ICD-9 Code Assignment using MIMIC-III Clinical Notes

abstract: Background and Objective: Code assignment is of paramount importance in many levels in modern hospitals, from ensuring accurate billing process to creating a valid record of patient care history. However, the coding process is tedious and subjective, and it requires medical coders with extensive training. This study aims to evaluate the performance of deep-learning-based systems to automatically map clinical notes to ICD-9 medical codes. Methods: The evaluations of this research are focused on end-to-end learning methods without manually defined rules. Traditional machine learning algorithms, as well as state-of-the-art deep learning methods such as Recurrent Neural Networks and Convolution Neural Networks, were applied to the Medical Information Mart for Intensive Care (MIMIC-III) dataset. An extensive number of experiments was applied to different settings of the tested algorithm. Results: Findings showed that the deep learning-based methods outperformed other conventional machine learning methods. From our assessment, the best models could predict the top 10 ICD-9 codes with 0.6957 F1 and 0.8967 accuracy and could estimate the top 10 ICD-9 categories with 0.7233 F1 and 0.8588 accuracy. Our implementation also outperformed existing work under certain evaluation metrics. Conclusion: A set of standard metrics was utilized in assessing the performance of ICD-9 code assignment on MIMIC-III dataset. All the developed evaluation tools and resources are available online, which can be used as a baseline for further research.


title: Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps

abstract: It is common practice for developers of user-facing software to transform a mock-up of a graphical user interface (GUI) into code. This process takes place both at an application's inception and in an evolutionary context as GUI changes keep pace with evolving features. Unfortunately, this practice is challenging and time-consuming. In this paper, we present an approach that automates this process by enabling accurate prototyping of GUIs via three tasks: detection, classification, and assembly. First, logical components of a GUI are detected from a mock-up artifact using either computer vision techniques or mock-up metadata. Then, software repository mining, automated dynamic analysis, and deep convolutional neural networks are utilized to accurately classify GUI-components into domain-specific types (e.g., toggle-button). Finally, a data-driven, K-nearest-neighbors algorithm generates a suitable hierarchical GUI structure from which a prototype application can be automatically assembled. We implemented this approach for Android in a system called ReDraw. Our evaluation illustrates that ReDraw achieves an average GUI-component classification accuracy of 91% and assembles prototype applications that closely mirror target mock-ups in terms of visual affinity while exhibiting reasonable code structure. Interviews with industrial practitioners illustrate ReDraw's potential to improve real development workflows.


title: A performance comparison between \b{eta}-Ga2O3 and GaN High Electron Mobility Transistors

abstract: In this letter, we report on the quantitative estimates of various metrics of performance for \b{eta}-Ga2O3 based High Electron Mobility Transistor (HEMT) for radio frequency (RF) and power applications and compare them with III-nitride devices. It is found that despite a lower cut-off frequency, \b{eta}- Ga2O3 HEMT is likely to provide higher RF output power compared to GaN-HEMT in the low-frequency regime although a poor thermal conductivity will impose limitations in heat dissipation. On the other hand, a much lower electron mobility will limit the DC switching performance in terms of efficiency and loss although their blocking voltage can be much higher than in GaN.


title: Variability of Disk Emission in Pre-Main Sequence and Related Stars IV. Investigating the Structural Changes in the Inner Disk Region of MWC 480

abstract: We present five epochs of near IR observations of the protoplanetary disk around MWC 480 (HD31648) obtained with the SpeX spectrograph on NASA's Infrared Telescope Facility (IRTF) between 2007 and 2013, inclusive. Using the measured line fluxes in the Pa beta and Br gamma lines, we found the mass accretion rates to be (1.43 - 2.61)x10^-8 Msun y^-1 and (1.81 - 2.41)x10^-8 Msun y^-1 respectively, but which varied by more than 50% from epoch to epoch. The spectral energy distribution (SED)reveals a variability of about 30% between 1.5 and 10 microns during this same period of time. We investigated the variability using of the continuum emission of the disk in using the Monte-Carlo Radiative Transfer Code (MCRT) HOCHUNK3D. We find that varying the height of the inner rim successfully produces a change in the NIR flux, but lowers the far IR emission to levels below all measured fluxes. Because the star exhibits bipolar flows, we utilized a structure that simulates an inner disk wind to model the variability in the near IR, without producing flux levels in the far IR that are inconsistent with existing data. For this object, variable near IR emission due to such an outflow is more consistent with the data than changing the scale height of the inner rim of the disk.


title: EMC design for the actuators of FAST reflector

abstract: The active reflector is one of the three main innovations of the Five-hundred-meter Aperture Spherical radio Telescope (FAST). The deformation of such a huge spherically shaped reflector into different transient parabolic shapes is achieved by using 2225 hydraulic actuators which change the position of the 2225 nodes through the connected down tied cables. For each different tracking process of the telescope, more than 1/3 of these 2225 actuators must be in operation to tune the parabolic aperture accurately to meet the surface error restriction. It means that some of these actuators are inevitably located within the main beam of the receiver, and the Electromagnetic Interference (EMI) from the actuators must be mitigated to ensure the scientific output of the telescope. Based on the threshold level of interference detrimental to radio astronomy presented in ITU-R Recommendation RA.769 and EMI measurements, the shielding efficiency (SE) requirement of each actuator is set to be 80dB in the frequency range from 70MHz to 3GHz. Therefore, Electromagnetic Compatibility (EMC) was taken into account in the actuator design by measures such as power line filters, optical fibers, shielding enclosures and other structural measures. In 2015, all the actuators had been installed at the FAST site. Till now, no apparent EMI from the actuators has been detected by the receiver, which proves the effectiveness of these EMC measures.


title: From one-dimensional charge conserving superconductors to the gapless Haldane phase

abstract: We develop a framework to analyze one-dimensional topological superconductors with charge conservation. In particular, we consider models with $N$ flavors of fermions and $(\mathbb{Z}_2)^N$ symmetry, associated with the conservation of the fermionic parity of each flavor. For a single flavor, we recover the result that a distinct topological phase with exponentially localized zero modes does not exist due to absence of a gap to single particles in the bulk. For $N>1$, however, we show that the ends of the system can host low-energy, exponentially-localized modes. The analysis can readily be generalized to systems in other symmetry classes. To illustrate these ideas, we focus on lattice models with $SO\left(N\right)$ symmetric interactions, and study the phase transition between the trivial and the topological gapless phases using bosonization and a weak-coupling renormalization group analysis. As a concrete example, we study in detail the case of $N=3$. We show that in this case, the topologically non-trivial superconducting phase corresponds to a gapless analogue of the Haldane phase in spin-1 chains. In this phase, although the bulk is gapless to single particle excitations, the ends host spin-$1/2$ degrees of freedom which are exponentially localized and protected by the spin gap in the bulk. We obtain the full phase diagram of the model numerically, using density matrix renormalization group calculations. Within this model, we identify the self-dual line studied by Andrei and Destri [Nucl. Phys. B, 231(3), 445-480 (1984)], as a first-order transition line between the gapless Haldane phase and a trivial gapless phase. This allows us to identify the propagating spin-$1/2$ kinks in the Andrei-Destri model as the topological end-modes present at the domain walls between the two phases.


title: MAGNETO: Covert Channel between Air-Gapped Systems and Nearby Smartphones via CPU-Generated Magnetic Fields

abstract: In this paper, we show that attackers can leak data from isolated, air-gapped computers to nearby smartphones via covert magnetic signals. The proposed covert channel works even if a smartphone is kept inside a Faraday shielding case, which aims to block any type of inbound and outbound wireless communication (Wi-Fi, cellular, Bluetooth, etc.). The channel also works if the smartphone is set in airplane mode in order to block any communication with the device. We implement a malware that controls the magnetic fields emanating from the computer by regulating workloads on the CPU cores. Sensitive data such as encryption keys, passwords, or keylogging data is encoded and transmitted over the magnetic signals. A smartphone located near the computer receives the covert signals with its magnetic sensor. We present technical background, and discuss signal generation, data encoding, and signal reception. We show that the proposed covert channel works from a user-level process, without requiring special privileges, and can successfully operate from within an isolated virtual machine (VM).


title: Scalar products of the elliptic Felderhof model and elliptic Cauchy formula

abstract: We analyze the scalar products of the elliptic Felderhof model introduced by Foda-Wheeler-Zuparic as an elliptic extension of the trigonometric face-type Felderhof model by Deguchi-Akutsu. We derive the determinant formula for the scalar products by applying the Izergin-Korepin technique developed by Wheeler to investigate the scalar products of integrable lattice models. By combining the determinant formula for the scalar products with the recently-developed Izergin-Korepin technique to analyze the wavefunctions, we derive a Cauchy formula for elliptic Schur functions.


title: A structural test for the conformal invariance of the critical 3d Ising model

abstract: How can a renormalization group fixed point be scale invariant without being conformal? Polchinski (1988) showed that this may happen if the theory contains a virial current -- a non-conserved vector operator of dimension exactly $(d-1)$, whose divergence expresses the trace of the stress tensor. We point out that this scenario can be probed via lattice Monte Carlo simulations, using the critical 3d Ising model as an example. Our results put a lower bound $\Delta_V>5.0$ on the scaling dimension of the lowest virial current candidate $V$, well above 2 expected for the true virial current. This implies that the critical 3d Ising model has no virial current, providing a structural explanation for the conformal invariance of the model.


title: A focus on L dwarfs with trigonometric parallaxes

abstract: We report new parallax measurements for ten L and early T type dwarfs, five of which have no previous published values, using observations over 3 years at the robotic Liverpool Telescope. The resulting parallaxes and proper motions have median errors of 2\,mas and 1.5\,mas/year respectively. Their space motions indicate they are all Galactic disk members. We combined this sample with other objects with astrometry from the Liverpool Telescope and with published literature astrometry to construct a sample of 260 L and early T type dwarfs with measured parallaxes, designated the Astrometry Sample. We study the kinematics of the Astrometry Sample, and derived a solar motion of $(U,V,W)_{\bigodot} = (7.9\pm1.7,13.2\pm1.2,7.2\pm1.0)$\,\kms~ with respect to the local standard of rest, in agreement with recent literature. We derive a kinematic age of 1.5-1.7\,Gyr for the Astrometry Sample assuming the age increases monotonically with the total velocity for a given disk sample. This kinematic age is less than half literature values for other low mass dwarf samples. We believe this difference arises for two reasons (1) the sample is mainly composed of mid to late L dwarfs which are expected to be relatively young and (2) the requirement that objects have a measured parallax biases the sample to the brighter examples which tend to be younger.


title: On recovering Sturm-Liouville differential operators with deviating argument

abstract: We consider second-order functional differential operators with a constant delay. Properties of their spectral characteristics are obtained and a nonlinear inverse problem is studied, which consists in recovering the operators from their spectra. We establish the uniqueness and develop a constructive algorithm for solution of the inverse problem.


title: Cyclicity and indecomposability in the Brauer group of a $p$-adic curve

abstract: For a $p$-adic curve $X$, we study conditions under which all classes in the $n$-torsion of $Br(X)$ are $\mathbb{Z}/n$-cyclic. We show that in general not all classes are $\mathbb{Z}/n$-cyclic classes. On the other hand, if $X$ has good reduction and $n$ is prime to $p$, of if $X$ is an elliptic curve over $\mathbb{Q}_p$ with split multiplicative reduction and $n$ is a power of $p$, then we prove that all order $n$ elements of $Br(X)$ are $\mathbb{Z}/n$-cyclic. Finally, if $X$ has good reduction and its function field $K(X)$ contains all $p^2$-th roots of $1$, we show the existence of indecomposable division algebras over $K(X)$ with period $p^2$ and index $p^3$.


title: Intermittency spectra of current helicity in solar active regions

abstract: We analyse the spatial distribution of current helicity in solar active regions. A comparison of current helicity maps derived from three different instruments (Helioseismic and Magnetc Imager on board the Solar Dynamics Observatory, SDO/HMI, Spectro-Polarimeter on board the Hinode, and Solar Magnetic Field Telescope at the Huairou Solar Observing Station, China, HSOS/SMFT) is carried out. The comparison showed an excellent correlation between the maps derived from the spaceborne instruments and moderate correlation between the maps derived from SDO/HMI and HSOS/SMFT vector magnetograms. The results suggest that the obtained maps characterize real spatial distribution of current helicity over an active region. To analyse intermittency of current helicity, we traditionally use the high-order structure functions and flatness function approach. The slope of a flatness function within some range of scales - the flatness exponent - is a measure of the degree of intermittency. SDO/HMI vector magnetograms for 3 ARs (NOAA 11158, 12494, and 12673) were used to calculate the flatness exponent time variations. All three ARs exhibited emergence of a new magnetic flux during the observational interval. The flatness exponent indicated the increase of intermittency 12-20 hours before the emergence of a new flux. We suppose that this behaviour can indicate subphotospheric fragmentation or distortion of the pre-existed electric current system by emerging magnetic flux.


title: Hadronic model for the non-thermal radiation from the binary system AR~Scorpii

abstract: AR Scorpii is a close binary system containing a rotation powered white dwarf and a low mass M type companion star. This system shows non-thermal emission extending up to the X-ray energy range. We consider hybrid (lepto-hadronic) and pure hadronic models for the high energy non-thermal processes in this binary system. Relativistic electrons and hadrons are assumed to be accelerated in a strongly magnetised, turbulent region formed in collision of a rotating white dwarf magnetosphere and a magnetosphere/dense atmosphere of the M dwarf star. We propose that the non-thermal X-ray emission is produced either by the primary electrons or the secondary $e^\pm$ pairs from decay of charged pions created in collisions of hadrons with the companion star atmosphere. We show that the accompanying $\gamma$-ray emission from decay of neutral pions, that are produced by these same protons, is expected to be on the detectability level of the present and/or the future satellite and Cherenkov telescopes. The $\gamma$-ray observations of the binary system AR Sco should allow to constrain the efficiency of hadron and electron acceleration and also the details of the radiation processes.


title: On The Hardness of Approximate and Exact (Bichromatic) Maximum Inner Product

abstract: In this paper we study the (Bichromatic) Maximum Inner Product Problem (Max-IP), in which we are given sets $A$ and $B$ of vectors, and the goal is to find $a \in A$ and $b \in B$ maximizing inner product $a \cdot b$. Max-IP is very basic and serves as the base problem in the recent breakthrough of [Abboud et al., FOCS 2017] on hardness of approximation for polynomial-time problems. It is also used (implicitly) in the argument for hardness of exact $\ell_2$-Furthest Pair (and other important problems in computational geometry) in poly-log-log dimensions in [Williams, SODA 2018]. We have three main results regarding this problem. First, we study the best multiplicative approximation ratio for Boolean Max-IP in sub-quadratic time. We show that, for Max-IP with two sets of $n$ vectors from $\{0,1\}^{d}$, there is an $n^{2 - \Omega(1)}$ time $\left( d/\log n \right)^{\Omega(1)}$-multiplicative-approximating algorithm, and we show this is conditionally optimal, as such a $\left(d/\log n\right)^{o(1)}$-approximating algorithm would refute SETH. Second, we achieve a similar characterization for the best additive approximation error to Boolean Max-IP. We show that, for Max-IP with two sets of $n$ vectors from $\{0,1\}^{d}$, there is an $n^{2 - \Omega(1)}$ time $\Omega(d)$-additive-approximating algorithm, and this is conditionally optimal, as such an $o(d)$-approximating algorithm would refute SETH [Rubinstein, STOC 2018]. Last, we revisit the hardness of solving Max-IP exactly for vectors with integer entries. We show that, under SETH, for Max-IP with sets of $n$ vectors from $\mathbb{Z}^{d}$ for some $d = 2^{O(\log^{*} n)}$, every exact algorithm requires $n^{2 - o(1)}$ time. With the reduction from [Williams, SODA 2018], it follows that $\ell_2$-Furthest Pair and Bichromatic $\ell_2$-Closest Pair in $2^{O(\log^{*} n)}$ dimensions require $n^{2 - o(1)}$ time.


title: A Novel Co-design Peta-scale Heterogeneous Cluster for Deep Learning Training

abstract: Large scale deep Convolution Neural Networks (CNNs) increasingly demands the computing power. It is key for researchers to own a great powerful computing platform to leverage deep learning (DL) advancing.On the other hand, as the commonly-used accelerator, the commodity GPUs cards of new generations are more and more expensive. Consequently, it is of importance to design an affordable distributed heterogeneous system that provides powerful computational capacity and develop a well-suited software that efficiently utilizes its computational capacity. In this paper, we present our co-design distributed system including a peta-scale GPU cluster, called "Manoa". Based on properties and topology of Manoa, we first propose job server framework and implement it, named "MiMatrix". The central node of MiMatrix, referred to as the job server, undertakes all of controlling, scheduling and monitoring, and I/O tasks without weight data transfer for AllReduce processing in each iteration. Therefore, MiMatrix intrinsically solves the bandwidth bottleneck of central node in parameter server framework that is widely used in distributed DL tasks. Meanwhile, we also propose a new AllReduce algorithm, GPUDirect RDMA-Aware AllReduce~(GDRAA), in which both computation and handshake message are O(1) and the number of synchronization is two in each iteration that is a theoretical minimum number. Owe to the dedicated co-design distributed system, MiMatrix efficiently makes use of the Manoa's computational capacity and bandwidth. We benchmark Manoa Resnet50 and Resenet101 on Imagenet-1K dataset. Some of results have demonstrated state-of-the-art.


title: Discontinuous Galerkin methods for fractional elliptic problems

abstract: We provide a mathematical framework for studying different versions of discontinuous Galerkin (DG) approaches for solving 2D Riemann-Liouville fractional elliptic problems on a finite domain. The boundedness and stability analysis of the primal bilinear form are provided. A priori error estimate under energy norm and optimal error estimate under $L^{2}$ norm are obtained for DG methods of the different formulations. Finally, the performed numerical examples confirm the optimal convergence order of the different formulations.


title: Reduced basis approximation and a~posteriori error bounds for 4D-Var data assimilation

abstract: We propose a certified reduced basis approach for the strong- and weak-constraint four-dimensional variational (4D-Var) data assimilation problem for a parametrized PDE model. While the standard strong-constraint 4D-Var approach uses the given observational data to estimate only the unknown initial condition of the model, the weak-constraint 4D-Var formulation additionally provides an estimate for the model error and thus can deal with imperfect models. Since the model error is a distributed function in both space and time, the 4D-Var formulation leads to a large-scale optimization problem for every given parameter instance of the PDE model. To solve the problem efficiently, various reduced order approaches have therefore been proposed in the recent past. Here, we employ the reduced basis method to generate reduced order approximations for the state, adjoint, initial condition, and model error. Our main contribution is the development of efficiently computable \textit{a~posteriori} upper bounds for the error of the reduced basis approximation with respect to the underlying high-dimensional 4D-Var problem. Numerical results are conducted to test the validity of our approach.


title: Additive Decompositions in Primitive Extensions

abstract: This paper extends the classical Ostrogradsky-Hermite reduction for rational functions to more general functions in primitive extensions of certain types. For an element $f$ in such an extension $K$, the extended reduction decomposes $f$ as the sum of a derivative in $K$ and another element $r$ such that $f$ has an antiderivative in $K$ if and only if $r=0$; and $f$ has an elementary antiderivative over $K$ if and only if $r$ is a linear combination of logarithmic derivatives over the constants when $K$ is a logarithmic extension. Moreover, $r$ is minimal in some sense. Additive decompositions may lead to reduction-based creative-telescoping methods for nested logarithmic functions, which are not necessarily $D$-finite.


title: Two Dimensional Plane, Modified Symplectic Structure and Quantization

abstract: Noncommutative quantum mechanics on the plane has been widely studied in the literature. Here, we consider the problem using Isham's canonical group quantization scheme for which the primary object is the symmetry group that underlies the phase space. The noncommutativity of the configuration space coordinates requires us to introduce the noncommutative term in the symplectic structure of the system. This modified symplectic structure will modify the group acting on the configuration space from abelian $\mathbb{R}^2$ to a nonabelian one. As a result, the canonical group obtained is a deformed Heisenberg group and the canonical commutation relation (CCR) corresponds to what is usually found in noncommutative quantum mechanics.


title: Post-Newtonian light propagation in Kerr-Newman spacetime

abstract: The second-order post-Newtonian solution for the light propagation in the field of Kerr-Newman black hole is achieved via an iterative method. Based on this result, we further obtain the second-order post-Newtonian light deflection in Kerr-Newman spacetime, which is formulated in an united form for any arbitrarily incident directions. All results are exhibited in the coordinate system constituted by the initial light-direction vector, the impact vector, and their cross-product.


title: Star-formation rate in compact star-forming galaxies

abstract: We use the data for the Hbeta emission-line, far-ultraviolet (FUV) and mid-infrared 22 micron continuum luminosities to estimate star formation rates <SFR> averaged over the galaxy lifetime for a sample of about 14000 bursting compact star-forming galaxies (CSFGs) selected from the Data Release 12 (DR12) of the Sloan Digital Sky Survey (SDSS). The average coefficient linking <SFR> and the star formation rate SFR_0 derived from the Hbeta luminosity at zero starburst age is found to be 0.04. We compare <SFR>s with some commonly used SFRs which are derived adopting a continuous star formation during a period of ~100 Myr, and find that the latter ones are 2-3 times higher. It is shown that the relations between SFRs derived using a geometric mean of two star-formation indicators in the UV and IR ranges and reduced to zero starburst age have considerably lower dispersion compared to those with single star-formation indicators. We suggest that our relations for <SFR> determination are more appropriate for CSFGs because they take into account a proper temporal evolution of their luminosities. On the other hand, we show that commonly used SFR relations can be applied for approximate estimation within a factor of ~2 of the <SFR> averaged over the lifetime of the bursting compact galaxy.


title: Perturbative matching of continuum and lattice quasi-distributions

abstract: Matching of the quasi parton distribution functions between continuum and lattice is addressed using lattice perturbation theory specifically with Wilson-type fermions. The matching is done for nonlocal quark bilinear operators with a straight Wilson line in a spatial direction. We also investigate operator mixing in the renormalization and possible O(a) operators for the nonlocal operators based on a symmetry argument on lattice.


title: Strong Lensing of a Regular Black Hole with an Electrodynamics Source

abstract: In this paper we have investigated the gravitational lensing phenomenon in the strong field regime for a regular, charged, static, non-linear black hole having a electrodynamics source. We have obtained the angle of deflection and compared it to a Schwarzschild black hole and Reissner Nordstrom black hole with similar properties. We have also done a graphical study of the relativistic image positions and magnifications. We hope that this method may be useful in the detection of non-luminous bodies like this current black hole.


title: Catalysis by metallic nanoparticles in solution: Thermosensitive microgels as nanoreactors

abstract: Metallic nanoparticles have been used as catalysts for various reactions, and the huge literature on the subject is hard to overlook. In many applications, the nanoparticles must be affixed to a colloidal carrier for easy handling during catalysis. These "passive carriers" (e.g., dendrimers) serve for a controlled synthesis of the nanoparticles and prevent coagulation during catalysis. Recently, hybrids from nanoparticles and polymers have been developed that allow us to change the catalytic activity of the nanoparticles by external triggers. In particular, single nanoparticles embedded in a thermosensitive network made from poly(N-isopropylacrylamide) (PNIPAM) have become the most-studied examples of such hybrids: Immersed in cold water, the PNIPAM network is hydrophilic and fully swollen. In this state, hydrophilic substrates can diffuse easily through the network, and react at the surface of the nanoparticles. Above the volume transition located at 32{\deg}C, the network becomes hydrophobic and shrinks. Now hydrophobic substrates will preferably diffuse through the network and react with other substrates in the reaction catalyzed by the enclosed nanoparticle. Such "active carriers", may thus be viewed as true nanoreactors that open new ways for the use of nanoparticles in catalysis.


title: A Schematic Definition of Quantum Polynomial Time Computability

abstract: In the past four decades, the notion of quantum polynomial-time computability has been mathematically modeled by quantum Turing machines as well as quantum circuits. This paper seeks the third model, which is a quantum analogue of the schematic (inductive or constructive) definition of (primitive) recursive functions. For quantum functions mapping finite-dimensional Hilbert spaces to themselves, we present such a schematic definition, composed of a small set of initial quantum functions and a few construction rules that dictate how to build a new quantum function from the existing ones. We prove that our schematic definition precisely characterizes all functions that can be computable with high success probabilities on well-formed quantum Turing machines in polynomial time, or equivalently uniform families of polynomial-size quantum circuits. Our new, schematic definition is quite simple and intuitive and, more importantly, it avoids the cumbersome introduction of the well-formedness condition imposed on a quantum Turing machine model as well as of the uniformity condition necessary for a quantum circuit model. Our new approach can further open a door to the descriptional complexity of quantum functions, to the theory of higher-type quantum functionals, to the development of new first-order theories for quantum computing, and to the designing of programming languages for real-life quantum computers.


title: Double-passage ground-state cooling induced by quantum interference in the hybrid optomechanical system

abstract: We propose a quantum interference cooling scheme for a nano-mechanical resonator (NAMR) in a hybrid optomechanical system, where the atoms are trapped in an optomechanical cavity, coupling to an additional optical cavity. The absorption of the optomechanical resonator can be modified by quantum interference effects induced by the atom-cavity and cavity-cavity couplings independently. With the employment of the quantum interference, the desired transition for cooling is enhanced, along with the heating suppression due to the undesired transition. As a result, the NAMR vibration can be cooled down to its ground state. Particularly, with the assistance of the atoms, our scheme is experimentally feasible even for lower qualities cavities, which much reduces the experimental difficulty.


title: LBT/MODS spectroscopy of globular clusters in the irregular galaxy NGC 4449

abstract: We present intermediate-resolution (R$\sim$1000) spectra in the $\sim$3500-10,000 A range of 14 globular clusters in the magellanic irregular galaxy NGC 4449 acquired with the Multi Object Double Spectrograph on the Large Binocular Telescope. We derived Lick indices in the optical and the CaII-triplet index in the near-infrared in order to infer the clusters' stellar population properties. The inferred cluster ages are typically older than $\sim$9 Gyr, although ages are derived with large uncertainties. The clusters exhibit intermediate metallicities, in the range $-1.2\lesssim$[Fe/H]$\lesssim-0.7$, and typically sub-solar [$\alpha/Fe$] ratios, with a peak at $\sim-0.4$. These properties suggest that i) during the first few Gyrs NGC 4449 formed stars slowly and inefficiently, with galactic winds having possibly contributed to the expulsion of the $\alpha$-elements, and ii) globular clusters in NGC 4449 formed relatively "late", from a medium already enriched in the products of type Ia supernovae. The majority of clusters appear also under-abundant in CN compared to Milky Way halo globular clusters, perhaps because of the lack of a conspicuous N-enriched, second-generation of stars like that observed in Galactic globular clusters. Using the cluster velocities, we infer the dynamical mass of NGC 4449 inside 2.88 kpc to be M($<$2.88 kpc)=$3.15^{+3.16}_{-0.75} \times 10^9~M_\odot$. We also report the serendipitous discovery of a planetary nebula within one of the targeted clusters, a rather rare event.


title: Improved Oracle Complexity of Variance Reduced Methods for Nonsmooth Convex Stochastic Composition Optimization

abstract: We consider the nonsmooth convex composition optimization problem where the objective is a composition of two finite-sum functions and analyze stochastic compositional variance reduced gradient (SCVRG) methods for them. SCVRG and its variants have recently drawn much attention given their edge over stochastic compositional gradient descent (SCGD); but the theoretical analysis exclusively assumes strong convexity of the objective, which excludes several important examples such as Lasso, logistic regression, principle component analysis and deep neural nets. In contrast, we prove non-asymptotic incremental first-order oracle (IFO) complexity of SCVRG or its novel variants for nonsmooth convex composition optimization and show that they are provably faster than SCGD and gradient descent. More specifically, our method achieves the total IFO complexity of $O\left((m+n)\log\left(1/\epsilon\right)+1/\epsilon^3\right)$ which improves that of $O\left(1/\epsilon^{3.5}\right)$ and $O\left((m+n)/\sqrt{\epsilon}\right)$ obtained by SCGD and accelerated gradient descent (AGD) respectively. Experimental results confirm that our methods outperform several existing methods, e.g., SCGD and AGD, on sparse mean-variance optimization problem.


title: Natural Orbital-Based Lanczos Method for Anderson Impurity Models

abstract: We implement the Lanczos algorithm on natural orbital basis to solve the zero-temperature Green's function of Anderson impurity models, following the work of Y. Lu, M. H\"{o}ppner, O. Gunnarsson, and M. W. Haverkort, Phys. Rev. B {\bf 90} (2014) 085102. We present the technical details, generalize the algorithm to the cases of particle-hole asymmetry, with local magnetic field, and of two impurities. The results are benchmarked with conventional Lanczos, quantum Monte Carlo, and numerical renormalization group methods, demonstrating its potential as a powerful impurity solver for the dynamical mean-field theory.


title: Outlier Detection for Robust Multi-dimensional Scaling

abstract: Multi-dimensional scaling (MDS) plays a central role in data-exploration, dimensionality reduction and visualization. State-of-the-art MDS algorithms are not robust to outliers, yielding significant errors in the embedding even when only a handful of outliers are present. In this paper, we introduce a technique to detect and filter outliers based on geometric reasoning. We test the validity of triangles formed by three points, and mark a triangle as broken if its triangle inequality does not hold. The premise of our work is that unlike inliers, outlier distances tend to break many triangles. Our method is tested and its performance is evaluated on various datasets and distributions of outliers. We demonstrate that for a reasonable amount of outliers, e.g., under $20\%$, our method is effective, and leads to a high embedding quality.


title: Energy-Efficient CMOS Memristive Synapses for Mixed-Signal Neuromorphic System-on-a-Chip

abstract: Emerging non-volatile memory (NVM), or memristive, devices promise energy-efficient realization of deep learning, when efficiently integrated with mixed-signal integrated circuits on a CMOS substrate. Even though several algorithmic challenges need to be addressed to turn the vision of memristive Neuromorphic Systems-on-a-Chip (NeuSoCs) into reality, issues at the device and circuit interface need immediate attention from the community. In this work, we perform energy-estimation of a NeuSoC system and predict the desirable circuit and device parameters for energy-efficiency optimization. Also, CMOS synapse circuits based on the concept of CMOS memristor emulator are presented as a system prototyping methodology, while practical memristor devices are being developed and integrated with general-purpose CMOS. The proposed mixed-signal memristive synapse can be designed and fabricated using standard CMOS technologies and open doors to interesting applications in cognitive computing circuits.


title: Multi-View Bayesian Correlated Component Analysis

abstract: Correlated component analysis as proposed by Dmochowski et al. (2012) is a tool for investigating brain process similarity in the responses to multiple views of a given stimulus. Correlated components are identified under the assumption that the involved spatial networks are identical. Here we propose a hierarchical probabilistic model that can infer the level of universality in such multi-view data, from completely unrelated representations, corresponding to canonical correlation analysis, to identical representations as in correlated component analysis. This new model, which we denote Bayesian correlated component analysis, evaluates favourably against three relevant algorithms in simulated data. A well-established benchmark EEG dataset is used to further validate the new model and infer the variability of spatial representations across multiple subjects.


title: Shift invariant subspaces of slice $L^2$ functions

abstract: In this paper we characterize the closed invariant subspaces for the ($*$-)multiplier operator of the quaternionic space of slice $L^2$ functions. As a consequence, we obtain the inner-outer factorization theorem for the quaternionic Hardy space on the unit ball and we provide a characterization of quaternionic outer functions in terms of cyclicity.


title: Stability of boron-doped graphene/copper interface: DFT, XPS and OSEE studies

abstract: Two different types of boron-doped graphene/copper interfaces synthesized using two different flow rates of Ar through the bubbler containing the boron source were studied. X-ray photoelectron spectra (XPS) and optically stimulated electron emission (OSEE) measurements have demonstrated that boron-doped graphene coating provides a high corrosion resistivity of Cu-substrate with the light traces of the oxidation of carbon cover. The density functional theory calculations suggest that for the case of substitutional (graphitic) boron-defect only the oxidation near boron impurity is energetically favorable and creation of the vacancies that can induce the oxidation of copper substrate is energetically unfavorable. In the case of non-graphitic boron defects oxidation of the area, a nearby impurity is metastable that not only prevent oxidation but makes boron-doped graphene. Modeling of oxygen reduction reaction demonstrates high catalytic performance of these materials.


title: On Synthesis of Reversible Circuits with Small Number of Additional Inputs Consisting of NOT, CNOT and 2-CNOT Gates

abstract: The paper discusses the gate complexity of reversible circuits with the small number of additional inputs consisting of NOT, CNOT and 2-CNOT gates. We study Shannon's gate complexity function $L(n, q)$ for a reversible circuit implementing a Boolean transformation $f\colon \mathbb Z_2^n \to \mathbb Z_2^n$ with $q \leqslant O(n^2)$ additional inputs. The general bound $L(n,q) \asymp n2^n \mathop / \log_2 n$ is proved for this case.


title: SlideRunner - A Tool for Massive Cell Annotations in Whole Slide Images

abstract: Large-scale image data such as digital whole-slide histology images pose a challenging task at annotation software solutions. Today, a number of good solutions with varying scopes exist. For cell annotation, however, we find that many do not match the prerequisites for fast annotations. Especially in the field of mitosis detection, it is assumed that detection accuracy could significantly benefit from larger annotation databases that are currently however very troublesome to produce. Further, multiple independent (blind) expert labels are a big asset for such databases, yet there is currently no tool for this kind of annotation available. To ease this tedious process of expert annotation and grading, we introduce SlideRunner, an open source annotation and visualization tool for digital histopathology, developed in close cooperation with two pathologists. SlideRunner is capable of setting annotations like object centers (for e.g. cells) as well as object boundaries (e.g. for tumor outlines). It provides single-click annotations as well as a blind mode for multi-annotations, where the expert is directly shown the microscopy image containing the cells that he has not yet rated.


title: Structure of even-even Cadmium isotopes from the beyond-mean-field interacting boson model

abstract: The structure of even-even $^{108-116}$Cd isotopes is investigated based on the self-consistent mean-field approach. By mapping the quadrupole-$(\beta,\gamma)$ deformation energy surface, obtained from the constrained self-consistent mean-field calculations with a choice of the Skyrme force and pairing property, onto the Hamiltonian of the interacting boson model with configuration mixing, the strength parameters of the Hamiltonian are determined. The low-lying excitation spectra and electric quadrupole transition rates for the considered Cd nuclei are computed by the resultant Hamiltonian, and are compared in detail with the experimental data. Our semi-microscopic prediction identifies several intruder states as suggested empirically, and overall, provides a reasonable qualitative description of the experimental energy levels and transition rates.


title: Algorithm implementation and numerical analysis for the two-dimensional tempered fractional Laplacian

abstract: Tempered fractional Laplacian is the generator of the tempered isotropic L\'evy process [W.H. Deng, B.Y. Li, W.Y. Tian, and P.W. Zhang, Multiscale Model. Simul., 16(1), 125-149, 2018]. This paper provides the finite difference discretization for the two dimensional tempered fractional Laplacian $(\Delta+\lambda)^{\frac{\beta}{2}}$. Then we use it to solve the tempered fractional Poisson equation with Dirichlet boundary conditions and derive the error estimates. Numerical experiments verify the convergence rates and effectiveness of the schemes.


title: Large-deviation Properties of Linear-programming Computational Hardness of the Vertex Cover Problem

abstract: The distribution of the computational cost of linear-programming (LP) relaxation for vertex cover problems on Erdos-Renyi random graphs is evaluated by using the rare-event sampling method. As a large-deviation property, differences of the distribution for "easy" and "hard" problems are found reflecting the hardness of approximation by LP relaxation. In particular, by evaluating the total variation distance between conditional distributions with respect to the hardness, it is suggested that those distributions are almost indistinguishable in the replica symmetric (RS) phase while they asymptotically differ in the replica symmetry breaking (RSB) phase. In addition, we seek for a relation to graph structure by investigating a similarity to bipartite graphs, which exhibits a quantitative difference between the RS and RSB phase. These results indicate the nontrivial relation of the typical computational cost of LP relaxation to the RS-RSB phase transition as present in the spin-glass theory of models on the corresponding random graph structure.


title: Road Network Fusion for Incremental Map Updates

abstract: In the recent years a number of novel, automatic map-inference techniques have been proposed, which derive road-network from a cohort of GPS traces collected by a fleet of vehicles. In spite of considerable attention, these maps are imperfect in many ways: they create an abundance of spurious connections, have poor coverage, and are visually confusing. Hence, commercial and crowd-sourced mapping services heavily use human annotation to minimize the mapping errors. Consequently, their response to changes in the road network is inevitably slow. In this paper we describe \mapfuse, a system which fuses a human-annotated map (e.g., OpenStreetMap) with any automatically inferred map, thus effectively enabling quick map updates. In addition to new road creation, we study in depth road closure, which have not been examined in the past. By leveraging solid, human-annotated maps with minor corrections, we derive maps which minimize the trajectory matching errors due to both road network change and imperfect map inference of fully-automatic approaches.


title: Wishart laws and variance function on homogeneous cones

abstract: We present a systematic study of Riesz measures and their natural exponential families of Wishart laws on a homogeneous cone. We compute explicitly the inverse of the mean map and the variance function of a Wishart exponential family.


title: Recent Advances in Neural Program Synthesis

abstract: In recent years, deep learning has made tremendous progress in a number of fields that were previously out of reach for artificial intelligence. The successes in these problems has led researchers to consider the possibilities for intelligent systems to tackle a problem that humans have only recently themselves considered: program synthesis. This challenge is unlike others such as object recognition and speech translation, since its abstract nature and demand for rigor make it difficult even for human minds to attempt. While it is still far from being solved or even competitive with most existing methods, neural program synthesis is a rapidly growing discipline which holds great promise if completely realized. In this paper, we start with exploring the problem statement and challenges of program synthesis. Then, we examine the fascinating evolution of program induction models, along with how they have succeeded, failed and been reimagined since. Finally, we conclude with a contrastive look at program synthesis and future research recommendations for the field.


title: On fractional Hardy inequalities in convex sets

abstract: We prove a Hardy inequality on convex sets, for fractional Sobolev-Slobodecki\u{\i} spaces of order $(s,p)$. The proof is based on the fact that in a convex set the distance from the boundary is a superharmonic function, in a suitable sense. The result holds for every $1<p<\infty$ and $0<s<1$, with a constant which is stable as $s$ goes to $1$.


title: On the influence of gravity on density-dependent incompressible periodic fluids

abstract: The present work is devoted to the analysis of density-dependent, incompressible fluids in a 3D torus, when the Froude number $\varepsilon$ goes to zero. We consider the very general case where the initial data do not have a zero horizontal average, where we only have smoothing effect on the velocity but not on the density and where we can have resonant phenomena on the domain. We explicitly determine the limit system when $\varepsilon \to 0$ and prove its global wellposedness. Finally, we prove that for large initial data, the density-dependent, incompressible fluid system is globally wellposed, provided that $\varepsilon$ is small enough.


title: On Strichartz estimates for a dispersion modulated by a time-dependent deterministic noise

abstract: We address the Cauchy problem for a nonlinear Schr{\"o}dinger equation where the dispersion is modulated by a deterministic noise. The noise is understood as the derivative of a self-affine function of order H $\in$ (0, 1). Due to the self-similarity of the noise, we obtain modified Strichartz estimates which enables us to prove the global well-posedness of the equation for L2-supercritical nonlinearities. This is an occurence of regularization by noise in a purely deterministic context.


title: Clustering in complex ionic liquids in two dimensions

abstract: Two-dimensional ionic liquids with single site anion and cation-neutral dimer are studied by computer simulations and integral equation techniques, with the aim of characterizing differences with single site anion-cation mixtures, and also with three dimensional equivalents of both models, in order to see the competition between the Coulomb interactions and the clustering restrictions due to reduced dimension. We find that the addition of the neutral site to the cation suppresses the liquid-gas transition which occurs in the case of the monomeric Coulomb system. Instead, bilayer membrane type ordering is found at low temperatures. The agreement between the structural correlations predicted by theory and the simulation is excellent until very close to the no-solution region predicted by the theory. These findings suggest various relations between the nature of the clustering at low temperatures, and the inability of the theory to enter this region


title: Adaptive transform via quantum signal processing: application to signal and image denoising

abstract: The main scope of this paper is to show how tools from quantum mechanics, in particular the Schroedinger equation, can be used to construct an adaptive transform suitable for signal and image processing applications. The proposed dictionary is obtained by considering the signal or image as a discrete potential in Schroedinger equation, further used to construct the Hamiltonien operator. In order to illustrate its practical interest in signal and image processing, we provide denoising results in the case of signal-dependent noise, which is the noise type the most adapted to the proposed approach.


title: New Use Cases for Snort: Cloud and Mobile Environments

abstract: First, this case study explores an Intrusion Detection System package called Snort (provided by Cisco Systems) in a cloud environment. Snort is an open source and highly scalable signature-based intrusion detection system. Here, Snort is deployed on Ubuntu Server 16.0.4 running on a virtual machine within a Microsoft Azure cloud system. This paper provides details on installing Snort on the virtual machine and configuring it for intrusion detection. The architecture here is based on a VM integrated IDS on Azure and demonstrates how a VM instance in the cloud can be secured through an IDS. Firewalls may be considered the first line of defense but they fail to secure systems from inside attacks. Next, two other areas (where Snort is less widely used) are briefly explored, namely library systems and mobile devices. Finally, this paper makes further recommendations on how a cloud network can be secured by distributed placement of the IDS and on each VM instances.


title: Cyber-Physical Architecture Assisted by Programmable Networking

abstract: Cyber-physical technologies are prone to attacks, in addition to faults and failures. The issue of protecting cyber-physical systems should be tackled by jointly addressing security at both cyber and physical domains, in order to promptly detect and mitigate cyber-physical threats. Towards this end, this letter proposes a new architecture combining control-theoretic solutions together with programmable networking techniques to jointly handle crucial threats to cyber-physical systems. The architecture paves the way for new interesting techniques, research directions, and challenges which we discuss in our work.


title: Stability and Carrier Transport Properties of Phosphorene Based Polymorphic Nanoribbons

abstract: A few-layer black phosphorene has recently gained significant interest in the scientific community. In this paper, we consider several polymorphs of phosphorene nanoribbons (PNRs) and employ deformation potential theory within the effective mass approximation together with density functional theory to investigate their structural, mechanical and electronic properties. The results show that stability of PNRs strongly depends on the direction along which they can be cut from 2D counterpart. PNRs also exhibit a wide range of line stiffness ranging from 6x10^10 eV/m to 18x10^11 eV/m which has little dependence on the edge passivation. Likewise, the calculated electronic properties of PNRs display them to be either narrow-gap semiconductor (Eg < 1 eV) or wide-gap semiconductor (Eg > 1 eV). The carrier mobility of PNRs is found to be comparable to that of the black phosphorene. Some of the PNRs show n-type (p-type) semiconducting character owing to their higher electron (hole) mobility. Passivation of the edges leads to n-type <-> p-type transition in many of the PNRs considered. The predicted novel characteristics of PNRs with a wide range of mechanical and electronic properties make PNRs to be potentially suitable for the use in nanoscale devices.


title: Scaling limits of general population processes - Wright-Fisher and branching processes in random environment

abstract: Our motivation comes from the large population approximation of individual based models in population dynamics and population genetics. We propose a general method to investigate scaling limits of finite dimensional population size Markov chains to diffusion with jumps. The statements of tightness, identification and convergence in law are based on the convergence of suitable characteristics of the transition of the chain and strongly exploit the structure of the population processes defined recursively as sums of independent random variables. These results allow to reduce the convergence of characteristics of semimartingales to analytically tractable functional spaces. We develop two main applications. First, we extend the classical Wright-Fisher diffusion approximation to independent and identically distributed random environment. Second, we obtain the convergence in law of generalized Galton-Watson processes with interactions and random environment to the solution of stochastic differential equations with jumps.


title: Non-linear eigenvalue problems with GetDP and SLEPc: Eigenmode computations of frequency-dispersive photonic open structures

abstract: We present a framework to solve non-linear eigenvalue problems suitable for a Finite Element discretization. The implementation is based on the open-source finite element software GetDP and the open-source library SLEPc. As template examples, we propose and compare in detail different ways to address the numerical computation of the electromagnetic modes of frequency-dispersive objects. This is a non-linear eigenvalue problem involving a non-Hermitian operator. A classical finite element formulation is derived for five different solutions and solved using algorithms adapted to the large size of the resulting discrete problem. The proposed solutions are applied to the computation of the dispersion relation of a diffraction grating made of a Drude material. The important numerical consequences linked to the presence of sharp corners and sign-changing coefficients are carefully examined. For each method, the convergence of the eigenvalues with respect to the mesh refinement and the shape function order, as well as computation time and memory requirements are investigated. The open-source template model used to obtain the numerical results is provided. Details of the implementation of polynomial and rational eigenvalue problems in GetDP are given in appendix.


title: Entrainment and mixing in gravity currents using simultaneous velocity-density measurements

abstract: Gravity currents modify their flow characteristics by entraining ambient fluid, which depends on a variety of governing parameters such as the initial density, $\Delta \rho$, the total initial height of the fluid, $H$, and the slope of the terrain, $\alpha$, from where it is released. Depending on these parameters, the gravity current may be designated as sub-critical, critical, or super-critical. It is imperative to study the entrainment dynamics of a gravity current in order to have a clear understanding of mixing transitions that govern the flow physics, the shear layer thickness, $\delta_{u}$, and the mixing layer thickness, $\delta_{\rho}$. Experiments were conducted in a lock-exchange facility in which the dense fluid was separated from the ambient lighter fluid using a gate. As the gate is released instantaneously, an energy conserving gravity current is formed, for which the only governing parameter is the Reynolds number defined as $Re=\frac{Uh}{\nu}$, where $U$ is the front velocity of the gravity current, and $h$ is the height of the current. In our study, the bulk Richardson number, $Ri_{b}$=$\frac{g^{'}H}{U_{b}^{2}}$=1, takes a constant value for all the experiments, with $U_{b}$ being the bulk velocity of the layer defined as $U_{b}$=$\sqrt{g^{'}H}$. Simultaneous Particle Image Velocimetry (PIV) and Planar Laser Induced Fluorescence (PLIF) measurement techniques are employed to get the velocity and density statistics. A flux-based method is used to calculate the entrainment coefficient, E$_{F}$, for a Reynolds number range of $Re\approx$400-13000 used in our experiments. The result shows a mixing transition at $Re\approx$2700 that is attributed to the flow transitioning from weak Holmboe waves to Kelvin-Helmholtz type instabilities.


title: Classification of traveling waves for a quadratic Szeg{\"o} equation

abstract: We give a complete classification of the traveling waves of the following quadratic Szeg{\"o} equation : $i \partial\_t u = 2J\Pi(|u|^2)+\bar{J}u^2, \quad u(0, \cdot)=u\_0$, and we show that they are given by two families of rational functions, one of which is generated by a stable ground state. We prove that the other branch is orbitally unstable.


title: Same-sign WW scattering at the LHC: can we discover BSM effects before discovering new states?

abstract: It is possible that measurements of vector boson scattering (VBS) at the LHC will reveal disagreement with Standard Model predictions, but no new particles will be observed directly. The task is then to learn as much as possible about the new physics from a VBS analysis carried within the framework of the Effective Field Theory (EFT). In this paper we discuss issues related to the correct usage of the EFT when the WW invariant mass is not directly accessible experimentally, as in purely leptonic W decay channels. The strategies for future data analyses in case such scenario indeed occurs are proposed.


title: Catalytic membrane reactor model as a laboratory for pattern emergence in reaction-diffusion-advection media

abstract: Reaction-diffusion-advection media on semi-infinite domains are important in chemical, biological and ecological applications, yet remain a challenge for pattern formation theory. To demonstrate the rich emergence of nonlinear traveling waves and stationary periodic states, we review results obtained using a membrane reactor as a case model. Such solutions coexist in overlapping parameter regimes and their temporal stability is determined by the boundary conditions (periodic vs. mixed) which either preserve or destroy the translational symmetry, i.e., selection mechanisms under realistic Danckwerts boundary conditions. A brief outlook is given at the end.


title: Group kernels for Gaussian process metamodels with categorical inputs

abstract: Gaussian processes (GP) are widely used as a metamodel for emulating time-consuming computer codes. We focus on problems involving categorical inputs, with a potentially large number L of levels (typically several tens), partitioned in G << L groups of various sizes. Parsimonious covariance functions, or kernels, can then be defined by block covariance matrices T with constant covariances between pairs of blocks and within blocks. We study the positive definiteness of such matrices to encourage their practical use. The hierarchical group/level structure, equivalent to a nested Bayesian linear model, provides a parameterization of valid block matrices T. The same model can then be used when the assumption within blocks is relaxed, giving a flexible parametric family of valid covariance matrices with constant covariances between pairs of blocks. The positive definiteness of T is equivalent to the positive definiteness of a smaller matrix of size G, obtained by averaging each block. The model is applied to a problem in nuclear waste analysis, where one of the categorical inputs is atomic number, which has more than 90 levels.


title: Recovering the full Navier Stokes equations with lattice Boltzmann schemes

abstract: We consider multi relaxation times lattice Boltzmann scheme with two particle distributions for the thermal Navier Stokes equations formulated with conservation of mass and momentum and dissipation of volumic entropy.Linear stability is taken into consideration to determine a coupling between two coefficients of dissipation.We present interesting numerical results for one-dimensional strong nonlinear acoustic waves with shocks.


title: Delone sets and dynamical systems

abstract: In these expository notes we focus on selected topics around the themes: Delone sets as models for quasicrystals, inflation symmetries and expansion constants, substitution Delone sets and tilings, and associated dynamical systems.


title: Activity induced synchronization: From Mutual Flocking to Chiral Self-Sorting

abstract: Synchronization, the temporal coordination of coupled oscillators, allows fireflies to flash in unison, neurons to fire collectively and human crowds to fall in step on the London Millenium bridge. Here, we interpret active (or self-propelled) chiral microswimmers with a distribution of intrinsic frequencies as motile oscillators and show that they can synchronize over very large distances, even for local coupling in 2D. This opposes to canonical non-active oscillators on static or time-dependent networks, leading to synchronized domains only. A consequence of this activity-induced synchronization is the emergence of a `mutual flocking phase', where particles of opposite chirality cooperate to form superimposed flocks moving at a relative angle to each other, providing a chiral active matter analogue to the celebrated Toner-Tu phase. The underlying mechanism employs a positive feedback loop involving the two-way coupling between oscillators' phase and self-propulsion, and could be exploited as a design principle for synthetic active materials and chiral self-sorting techniques


title: The First Physics Picture of Contractions from a Fundamental Quantum Relativity Symmetry Including all Known Relativity Symmetries, Classical and Quantum

abstract: In this article, we utilize the insights gleaned from our recent formulation of space(-time), as well as dynamical picture of quantum mechanics and its classical approximation, from the relativity symmetry perspective in order to push further into the realm of the proposed fundamental relativity symmetry $SO(2,4)$ of our quantum relativity project. We explicitly trace how the diverse actors in this story change through various contraction limits, paying careful attention to the relevant physical units, in order to place all known relativity theories -- quantum and classical -- within a single framework. More specifically, we explore both of the possible contractions of $SO(2,4)$ and its coset spaces in order to determine how best to recover the lower-level theories. These include both new models and all familiar theories, as well as quantum and classical dynamics with and without Einsteinian special relativity. Along the way, we also find connections with covariant quantum mechanics. The emphasis of this article rests on the ability of this language to not only encompass all known physical theories, but to also provide a path for extensions. It will serve as the basic background for more detailed formulations of the dynamical theories at each level, as well as the exact connections amongst them.


title: xGASS: Total cold gas scaling relations and molecular-to-atomic gas ratios of galaxies in the local Universe

abstract: We present the extended GALEX Arecibo SDSS Survey (xGASS), a gas fraction-limited census of the atomic (HI) gas content of 1179 galaxies selected only by stellar mass ($M_\star =10^{9}-10^{11.5} M_\odot$) and redshift ($0.01<z<0.05$). This includes new Arecibo observations of 208 galaxies, for which we release catalogs and HI spectra. In addition to extending the GASS HI scaling relations by one decade in stellar mass, we quantify total (atomic+molecular) cold gas fractions and molecular-to-atomic gas mass ratios, $R_{mol}$, for the subset of 477 galaxies observed with the IRAM 30 m telescope. We find that atomic gas fractions keep increasing with decreasing stellar mass, with no sign of a plateau down to $\log M_\star/M_\odot = 9$. Total gas reservoirs remain HI-dominated across our full stellar mass range, hence total gas fraction scaling relations closely resemble atomic ones, but with a scatter that strongly correlates with $R_{mol}$, especially at fixed specific star formation rate. On average, $R_{mol}$ weakly increases with stellar mass and stellar surface density $\mu_\star$, but individual values vary by almost two orders of magnitude at fixed $M_\star$ or $\mu_\star$. We show that, for galaxies on the star-forming sequence, variations of $R_{mol}$ are mostly driven by changes of the HI reservoirs, with a clear dependence on $\mu_\star$. Establishing if galaxy mass or structure plays the most important role in regulating the cold gas content of galaxies requires an accurate separation of bulge and disk components for the study of gas scaling relations.


title: Experience Report: Formal Methods in Material Science

abstract: Increased demands in the field of scientific computation require that algorithms be more efficiently implemented. Maintaining correctness in addition to efficiency is a challenge that software engineers in the field have to face. In this report we share our first impressions and experiences on the applicability of formal methods to such design challenges arising in the development of scientific computation software in the field of material science. We investigated two different algorithms, one for load distribution and one for the computation of convex hulls, and demonstrate how formal methods have been used to discover counterexamples to the correctness of the existing implementations as well as proving the correctness of a revised algorithm. The techniques employed for this include SMT solvers, and automatic and interactive verification tools.


title: ShakeDrop Regularization for Deep Residual Learning

abstract: Overfitting is a crucial problem in deep neural networks, even in the latest network architectures. In this paper, to relieve the overfitting effect of ResNet and its improvements (i.e., Wide ResNet, PyramidNet, and ResNeXt), we propose a new regularization method called ShakeDrop regularization. ShakeDrop is inspired by Shake-Shake, which is an effective regularization method, but can be applied to ResNeXt only. ShakeDrop is more effective than Shake-Shake and can be applied not only to ResNeXt but also ResNet, Wide ResNet, and PyramidNet. An important key is to achieve stability of training. Because effective regularization often causes unstable training, we introduce a training stabilizer, which is an unusual use of an existing regularizer. Through experiments under various conditions, we demonstrate the conditions under which ShakeDrop works well.


title: Role of atomic spin-mechanical coupling in the problem of magnetic biocompass

abstract: It is a well established notion that animals can detect the Earth's magnetic field, while the biophysical origin of such magnetoreception is still elusive. Recently, a magnetic receptor Drosophila CG8198 (MagR) with a rod-like protein complex is reported [Qin \emph{et al}., Nat. Mater. \textbf{15}, 217 (2016)] to act like a compass needle to guide the magnetic orientation of animals. This view, however, is challenged [Meister, Elife \textbf{5}, e17210 (2016)] by arguing that thermal fluctuations beat the Zeeman coupling of the proteins's magnetic moment with the rather weak geomagnetic field ($\sim25-65$ $\mu$T). In this work, we show that the spin-mechanical interaction at the atomic scale gives rise to a high blocking temperature which allows a good alignment of protein's magnetic moment with the Earth's magnetic field at room temperature. Our results provide a promising route to resolve the debate on the thermal behaviors of MagR, and may stimulate a broad interest on spin-mechanical couplings down to atomistic levels.


title: Equivariant motivic integration and proof of the integral identity conjecture for regular functions

abstract: We develop the Denef-Loeser motivic integration to the equivariant motivic integration and use it to prove the full integral identity conjecture for regular functions.


title: PEBP1/RKIP: from multiple functions to a common role in cellular processes

abstract: PEBPs (PhosphatidylEthanolamine Binding Proteins) form a protein family widely present in the living world since they are encountered in microorganisms, plants and animals. In all organisms PEBPs appear to regulate important mechanisms that govern cell cycle, proliferation, differentiation and motility. In humans, three PEBPs have been identified, namely PEBP1, PEBP2 and PEBP4. PEBP1 and PEBP4 are the most studied as they are implicated in the development of various cancers. PEBP2 is specific of testes in mammals and was essentially studied in rats and mice where it is very abundant. A lot of information has been gained on PEBP1 also named RKIP (Raf Kinase Inhibitory protein) due to its role as a metastasis suppressor in cancer. PEBP1 was also demonstrated to be implicated in Alzheimers disease, diabetes and nephropathies. Furthermore, PEBP1 was described to be involved in many cellular processes, among them are signal transduction, inflammation, cell cycle, proliferation, adhesion, differentiation, apoptosis, autophagy, circadian rhythm and mitotic spindle checkpoint. On the molecular level, PEBP1 was shown to regulate several signaling pathways such as Raf/MEK/ERK, NFkB, PI3K/Akt/mTOR, p38, Notch and Wnt. PEBP1 acts by inhibiting most of the kinases of these signaling cascades. Moreover, PEBP1 is able to bind to a variety of small ligands such as ATP, phospholipids, nucleotides, flavonoids or drugs. Considering PEBP1 is a small cytoplasmic protein (21kDa), its involvement in so many diseases and cellular mechanisms is amazing. The aim of this review is to highlight the molecular systems that are common to all these cellular mechanisms in order to decipher the specific role of PEBP1. Recent discoveries enable us to propose that PEBP1 is a modulator of molecular interactions that control signal transduction during membrane and cytoskeleton reorganization.


title: Dynamic Sampling from a Discrete Probability Distribution with a Known Distribution of Rates

abstract: In this paper, we consider several efficient data structures for the problem of sampling from a dynamically changing discrete probability distribution, where some prior information is known on the distribution of the rates, in particular the maximum and minimum rate, and where the number of possible outcomes N is large. We consider three basic data structures, the Acceptance-Rejection method, the Complete Binary Tree and the Alias method. These can be used as building blocks in a multi-level data structure, where at each of the levels, one of the basic data structures can be used, with the top level selecting a group of events, and the bottom level selecting an element from a group. Depending on assumptions on the distribution of the rates of outcomes, different combinations of the basic structures can be used. We prove that for particular data structures the expected time of sampling and update is constant when the rate distribution follows certain conditions. We show that for any distribution, combining a tree structure with the Acceptance-Rejection method, we have an expected time of sampling and update of $O\left(\log\log{r_{max}}/{r_{min}}\right)$ is possible, where $r_{max}$ is the maximum rate and $r_{min}$ the minimum rate. We also discuss an implementation of a Two Levels Acceptance-Rejection data structure, that allows expected constant time for sampling, and amortized constant time for updates, assuming that $r_{max}$ and $r_{min}$ are known and the number of events is sufficiently large. We also present an experimental verification, highlighting the limits given by the constraints of a real-life setting.


title: A general tool for LTE thermochemistry for adiabatic nondiffusive fluid dynamics: applications to 2D planar discontinuity flows in SPH

abstract: Chemical reactions in fluid dynamics deeply modify the flow physical conditions through both the contribution of the energy of reactions and the variation of the mean molecular weight and of the ratio of specific heats. This occurs typically on time scales largely much smaller than diffusive time scales of the produced chemicals, especially for shock waves coming from explosive events. In this work we show how it is possible to include a standing alone algorithm, dealing with both molecular and nuclear thermochemistry in the computational nondiffusive adiabatic flow dynamics in local thermal equilibrium (LTE) in an explicit scheme of integration of fluid dynamics equations, free of the adopted computational framework. In this paper, working in the Free Lagrangian GASPHER framework, belonging to the smooth particle hydrodynamics methods (SPH), some comparisons are made for planar discontinuity flows among reactive to the respective unreactive flow models, assuming the same initial physical conditions and simple chemical composition. Results show the importance of the role not only of the thermochemical reaction energy, but also of the mean molecular weight and of the ratio of specific heats.


title: The $b$-branching problem in digraphs

abstract: In this paper, we introduce the concept of $b$-branchings in digraphs, which is a generalization of branchings serving as a counterpart of $b$-matchings. Here $b$ is a positive integer vector on the vertex set of a digraph, and a $b$-branching is defined as a common independent set of two matroids defined by $b$: an arc set is a $b$-branching if it has at most $b(v)$ arcs sharing the terminal vertex $v$, and it is an independent set of a certain sparsity matroid defined by $b$. We demonstrate that $b$-branchings yield an appropriate generalization of branchings by extending several classical results on branchings. We first present a multi-phase greedy algorithm for finding a maximum-weight $b$-branching. We then prove a packing theorem extending Edmonds' disjoint branchings theorem, and provide a strongly polynomial algorithm for finding optimal disjoint $b$-branchings. As a consequence of the packing theorem, we prove the integer decomposition property of the $b$-branching polytope. Finally, we deal with a further generalization in which a matroid constraint is imposed on the $b(v)$ arcs sharing the terminal vertex $v$.


title: Space and Time in Loop Quantum Gravity

abstract: Quantum gravity is expected to require modifications of the notions of space and time. I discuss and clarify how this happens in Loop Quantum Gravity.


title: The Hydrostatic Stokes Semigroup and Well-Posedness of the Primitive Equations on Spaces of Bounded Functions

abstract: Consider the $3$-d primitive equations in a layer domain $\Omega=G \times (-h,0)$, $G=(0,1)^2$, subject to mixed Dirichlet and Neumann boundary conditions at $z=-h$ and $z=0$, respectively, and the periodic lateral boundary condition. It is shown that this equation is globally, strongly well-posed for arbitrary large data of the form $a=a_1 + a_2$, where $a_1\in C(\overline{G};L^p(-h,0))$, $a_2\in L^{\infty}(G;L^p(-h,0))$ for $p>3$, and where $a_1$ is periodic in the horizontal variables and $a_2$ is sufficiently small. In particular, no differentiability condition on the data is assumed. The approach relies on $L^\infty_HL^p_z(\Omega)$-estimates for terms of the form $t^{1/2} \lVert \partial_z e^{tA_{\overline{\sigma}}}\mathbb{P}f \rVert_{L^\infty_H L^p_z(\Omega)}\le C e^{t\beta} \lVert f \rVert_{L^\infty_H L^p_z (\Omega)}$ for $t>0$, where $e^{t A_{\overline{\sigma}}}$ denotes the hydrostatic Stokes semigroup. The difficulty in proving estimates of this form is that the hydrostatic Helmholtz projection $\mathbb{P}$ fails to be bounded with respect to the $L^\infty$-norm. The global strong well-posedness result is then obtained by an iteration scheme, splitting the data into a smooth and a rough part and by combining a reference solution for smooth data with an evolution equation for the rough part.


title: Cramer-Rao Bound for Constrained Parameter Estimation Using Lehmann-Unbiasedness

abstract: The constrained Cramer-Rao bound (CCRB) is a lower bound on the mean-squared-error (MSE) of estimators that satisfy some unbiasedness conditions. Although the CCRB unbiasedness conditions are satisfied asymptotically by the constrained maximum likelihood (CML) estimator, in the non-asymptotic region these conditions are usually too strict and the commonly-used estimators, such as the CML estimator, do not satisfy them. Therefore, the CCRB may not be a lower bound on the MSE matrix of such estimators. In this paper, we propose a new definition for unbiasedness under constraints, denoted by C-unbiasedness, which is based on using Lehmann-unbiasedness with a weighted MSE (WMSE) risk and taking into account the parametric constraints. In addition to C-unbiasedness, a Cramer-Rao-type bound on the WMSE of C-unbiased estimators, denoted as Lehmann-unbiased CCRB (LU-CCRB), is derived. This bound is a scalar bound that depends on the chosen weighted combination of estimation errors. It is shown that C-unbiasedness is less restrictive than the CCRB unbiasedness conditions. Thus, the set of estimators that satisfy the CCRB unbiasedness conditions is a subset of the set of C-unbiased estimators and the proposed LU-CCRB may be an informative lower bound in cases where the corresponding CCRB is not. In the simulations, we examine linear and nonlinear estimation problems under nonlinear constraints in which the CML estimator is shown to be C-unbiased and the LU-CCRB is an informative lower bound on the WMSE, while the corresponding CCRB on the WMSE is not a lower bound and is not informative in the non-asymptotic region.


title: Risk of coinfection outbreaks in temporal networks: a case study of a hospital contact network

abstract: We study the spreading of cooperative infections in an empirical temporal network of contacts between people, including health care workers and patients, in a hospital. The system exhibits a phase transition leading to one or several endemic branches, depending on the connectivity pattern and the temporal correlations. There are two endemic branches in the original setting and the non-cooperative case. However, the cooperative interaction between infections reinforces the upper branch, leading to a smaller epidemic threshold and a higher probability for having a big outbreak. We show the microscopic mechanisms leading to these differences, characterize three different risks, and use the influenza features as an example for this dynamics.


title: Cyclotomic torsion points in elliptic schemes

abstract: An elliptic curve defined over a number field possesses only a finite number of torsion points defined over the cyclotomic closure of its field of definition. In analogy to the relative version of the Manin-Mumford conjecture stated by Masser and Zannier, we propose a family version of the above statement and prove it under a suitable integrality condition.


title: Excitonic magnet in external field: complex order parameter and spin currents

abstract: We investigate spin-triplet exciton condensation in the two-orbital Hubbard model close to half filling by means of dynamical mean-field theory. Employing an impurity solver that handles complex off-diagonal hybridization functions, we study the behavior of excitonic condensate in stoichiometric and doped systems subject to external magnetic field. We find a general tendency of the triplet order parameter to lay perpendicular with the applied field and identify exceptions from this rule. For solutions exhibiting k-odd spin textures, we discuss the Bloch theorem which, in the absence of spin-orbit coupling, forbids the appearance of spontaneous net spin current. We demonstrate that the Bloch theorem is not obeyed by the dynamical mean-field theory.


title: Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem

abstract: The ellipsoid method is an algorithm that solves the (weak) feasibility and linear optimization problems for convex sets by making oracle calls to their (weak) separation problem. We observe that the previously known method for showing that this reduction can be done in fixed-point logic with counting (FPC) for linear and semidefinite programs applies to any family of explicitly bounded convex sets. We use this observation to show that the exact feasibility problem for semidefinite programs is expressible in the infinitary version of FPC. As a corollary we get that, for the isomorphism problem, the Lasserre/Sums-of-Squares semidefinite programming hierarchy of relaxations collapses to the Sherali-Adams linear programming hierarchy, up to a small loss in the degree.


title: Organic crystalline polymers: structural properties and way to synthesis under high pressure

abstract: We consider different structures, which can be obtained by polymerization of aromatic organic molecules under high pressures. These 2D and 3D covalently bonded organic polymers and their functionalization can pave the way to production of energy storage and conversion devices. High-pressure synthesis might serve as a useful hint for production of these structures and their functionalized analogs by means of wet chemical synthesis.


title: Real zeros of random analytic functions associated with geometries of constant curvature

abstract: Let $\xi_0, \xi_1, \dots$ be i.i.d. random variables with zero mean and unit variance. We study the following four families of random analytic functions: $\sum_{k=0}^n \sqrt{\binom nk} \xi_k z^k$ (spherical polynomials), $\sum_{k=0}^\infty \sqrt{\frac{n^k}{k!}} \xi_k z^k$ (flat random analytic function), $\sum_{k=0}^\infty \sqrt{\binom {n+k-1} k} \xi_k z^k$ (hyperbolic random analytic functions), $\sum_{k=0}^n \sqrt{\frac{n^k}{k!}} \xi_k z^k$ (Weyl polynomials). We compute explicitly the limiting mean density of real zeroes of these random functions. More precisely, we provide a formula for $\lim_{n\to\infty} n^{-1/2} \mathbb{E}N_n[a,b]$, where $N_n[a, b]$ is the number of zeroes in the interval $[a,b]$.


title: High scale boundary conditions with an additional complex singlet

abstract: We investigate Planck scale boundary conditions on Higgs quartic interactions and their $\beta$-functions in the SM augmented by an additional complex scalar. We use renormalisation group running at two-loops, and include both theoretical and experimental constraints. We find that the boundary condition $\lambda=\beta_\lambda=0$ at the Planck scale is compatible with the current Higgs and top mass measurements, but requires additional scalars lighter than about $600\,$GeV.


title: Reply to comment in arXiv:1802.01382

abstract: Here we respond to a comment [arXiv:1802.01382] submitted recently on 'Experimental Verification of a Jarzynski-Related Information-Theoretic Equality by a Single Trapped Ion' PRL 120 010601 (2018). We consider that the argument is the thermalization in a quantum system, which is different from the counterpart in conventional thermodynamics.


title: Depth dependant element analysis of PbMg$_{1/3}$Nb$_{2/3}$O$_{3}$ using muonic X-rays

abstract: The relaxor PbMg$_{1/3}$Nb$_{2/3}$O$_{3}$ (PMN) has received attention due to its potential applications as a piezoelectric when doped with PbTiO$_{3}$ (PT). Previous results have found that there are two phases existing in the system, one linked to the near-surface regions of the sample, the other in the bulk. However, the exact origin of these two phases is unclear. In this paper, depth dependant analysis results from negative muon implantation experiments are presented. It is shown that the Pb content is constant throughout all depths probed in the sample, but the Mg and Nb content changes in the near-surface region below 100$\mu$m. At a implantation depth of 60$\mu$m, it is found that there is a 25% increase in Mg content, with a simultaneous 5% decrease in Nb content in order to maintain charge neutrality. These results show that the previously observed skin effects in PMN are due to a change in concentration and unit cell.


title: An improved upper bound for critical value of the contact process on $\mathbb{Z}^d$ with $d\geq 3$

abstract: In this paper we give an improved upper bound for critical value $\lambda_c$ of the basic contact process on the lattice $\mathbb{Z}^d$ with $d\geq 3$. As a direct corollary of out result, \[ \lambda_c\leq 0.384. \] when $d=3$.


title: Evaluation of Deep Reinforcement Learning Methods for Modular Robots

abstract: We propose a novel framework for Deep Reinforcement Learning (DRL) in modular robotics using traditional robotic tools that extend state-of-the-art DRL implementations and provide an end-to-end approach which trains a robot directly from joint states. Moreover, we present a novel technique to transfer these DLR methods into the real robot, aiming to close the simulation-reality gap. We demonstrate the robustness of the performance of state-of-the-art DRL methods for continuous action spaces in modular robots, with an empirical study both in simulation and in the real robot where we also evaluate how accelerating the simulation time affects the robot's performance. Our results show that extending the modular robot from 3 degrees-of-freedom (DoF), to 4 DoF, does not affect the robot's learning. This paves the way towards training modular robots using DRL techniques.


title: Complete Lagrangian self-shrinkers in $\mathbf R^4$

abstract: The purpose of this paper is to study complete self-shrinkers of mean curvature flow in Euclidean spaces. In the paper, we give a complete classification for 2-dimensional complete Lagrangian self-shrinkers in Euclidean space $\mathbb R^4$ with constant squared norm of the second fundamental form.


title: When is the condition of order preservation met?

abstract: This article explores a relationship between inconsistency in the pairwise comparisons method and conditions of order preservation. A pairwise comparisons matrix with elements from an alo-group is investigated. This approach allows for a generalization of previous results. Sufficient conditions for order preservation based on the properties of elements of pairwise comparisons matrix are derived. A numerical example is presented.


title: Super-resolution of spatiotemporal event-stream image captured by the asynchronous temporal contrast vision sensor

abstract: Super-resolution (SR) is a useful technology to generate a high-resolution (HR) visual output from the low-resolution (LR) visual inputs overcoming the physical limitations of the cameras. However, SR has not been applied to enhance the resolution of spatiotemporal event-stream images captured by the frame-free dynamic vision sensors (DVSs). SR of event-stream image is fundamentally different from existing frame-based schemes since basically each pixel value of DVS images is an event sequence. In this work, a two-stage scheme is proposed to solve the SR problem of the spatiotemporal event-stream image. We use a nonhomogeneous Poisson point process to model the event sequence, and sample the events of each pixel by simulating a nonhomogeneous Poisson process according to the specified event number and rate function. Firstly, the event number of each pixel of the HR DVS image is determined with a sparse signal representation based method to obtain the HR event-count map from that of the LR DVS recording. The rate function over time line of the point process of each HR pixel is computed using a spatiotemporal filter on the corresponding LR neighbor pixels. Secondly, the event sequence of each new pixel is generated with a thinning based event sampling algorithm. Two metrics are proposed to assess the event-stream SR results. The proposed method is demonstrated through obtaining HR event-stream images from a series of DVS recordings with the proposed method. Results show that the upscaled HR event streams has perceptually higher spatial texture detail than the LR DVS images. Besides, the temporal properties of the upscaled HR event streams match that of the original input very well. This work enables many potential applications of event-based vision.


title: Compact stars in Energy-Momentum Squared Gravity

abstract: A simple generalization to Einstein's general relativity (GR) was recently proposed which allows a correction term $T_{\alpha\beta}T^{\alpha\beta}$ in the action functional of the theory. This theory is called Energy-Momentum Squared Gravity (EMSG) and introduces a new coupling parameter $\eta$. EMSG resolves the big bang singularity and has a viable sequence of cosmological epochs in its thermal history. {Interestingly, in the vacuum EMSG is equivalent to GR, and its effects appear only inside the matter-energy distribution. More specifically, its consequences appear in high curvature regime. Therefore it is natural to expect deviations form GR inside compact stars. In order to study spherically symmetric compact stars in EMSG, we find the relativistic governing equations. More specifically, we find the generalized version of the Tolman-Oppenheimer-Volkov equation in EMSG. Finally we present two analytical solutions, and two numerical solutions for the field equations. For obtaining the numerical solutions we use polytropic equation of state which is widely used to understand the internal structure of neutron stars in the literature. Eventually we find a mass-radius relation for neutron stars. Also, We found that EMSG, depending on the central pressure of the star and the magnitude of free parameter $\eta$, can lead to larger or smaller masses for neutron stars compared with GR. Existence of high-mass neutron stars with ordinary polytropic equation of state in EMSG is important in the sense that these stars exist in GR provided that one use exotic equation of states.


title: Quantum communication protocols by quantum walks with two coins

abstract: We introduce some new perfect state transfer and teleportation schemes by quantum walks with two coins. Encoding the transferred information in coin 1 state and alternatively using two coin operators, we can perfectly recover the information on coin 1 state at target position only by at most two times of flipping operation. Based on quantum walks with two coins either on the line or on the $N$-circle, we can perfectly transfer any qubit state. In addition, using quantum walks with two coins either on complete graphs or regular graphs, we can first implement perfect qudit state transfer by quantum walks. Compared with existing schemes driven by one coin, more general graph structures can be used to perfectly transfer more general state. Moreover, the external control of coin operator during the transmitting process can be decreased greatly. Selecting coin 1 as the sender and coin 2 as the receiver, we also study how to realize generalized teleportation over long steps of walks by the above quantum walk models. Because quantum walks is an universal quantum computation model, our schemes may provide an universal platform for the design of quantum network and quantum computer.