title: Applications of potential theoretic mother bodies in Electrostatics

abstract: Any polyhedron accommodates a type of potential theoretic skeleton called a mother body. The study of such mother bodies was originally from Mathematical Physics, initiated by Zidarov and developed by Bj\"{o}rn Gustafson and Makoto Sakai. In this paper, we attempt to apply the brilliant idea of mother body to Electrostatics to compute the potentials of electric fields.


title: X-ray Measurements of the Particle Acceleration Properties at Inward Shocks in Cassiopeia A

abstract: We present new evidence that the bright non-thermal X-ray emission features in the interior of the Cassiopeia A supernova remnant (SNR) are caused by inward moving shocks based on Chandra and NuSTAR observations. Several bright inward-moving filaments were identified using monitoring data taken by Chandra in 2000-2014. These inward-moving shock locations are nearly coincident with hard X-ray (15-40 keV) hot spots seen by NuSTAR. From proper motion measurements, the transverse velocities were estimated to be in the range $\sim$2,100-3,800 km s$^{-1}$ for a distance of 3.4 kpc. The shock velocities in the frame of the expanding ejecta reach values of $\sim$5,100-8,700 km s$^{-1}$, slightly higher than the typical speed of the forward shock. Additionally, we find flux variations (both increasing and decreasing) on timescales of a few years in some of the inward-moving shock filaments. The rapid variability timescales are consistent with an amplified magnetic field of $B \sim$ 0.5-1 mG. The high speed and low photon cut-off energy of the inward-moving shocks are shown to imply a particle diffusion coefficient that departs from the Bohm regime ($k_0 = D_0/D_{\rm 0,Bohm} \sim$ 3-8) for the few simple physical configurations we consider in this study. The maximum electron energy at these shocks is estimated to be $\sim$8-11 TeV, smaller than the values of $\sim$15-34 TeV inferred for the forward shock. Cassiopeia A is dynamically too young for its reverse shock to appear to be moving inward in the observer frame. We propose instead that the inward-moving shocks are a consequence of the forward shock encountering a density jump of $\gtrsim$ 5-8 in the surrounding material.


title: Improved Search in Hamming Space using Deep Multi-Index Hashing

abstract: Similarity-preserving hashing is a widely-used method for nearest neighbour search in large-scale image retrieval tasks. There has been considerable research on generating efficient image representation via the deep-network-based hashing methods. However, the issue of efficient searching in the deep representation space remains largely unsolved. To this end, we propose a simple yet efficient deep-network-based multi-index hashing method for simultaneously learning the powerful image representation and the efficient searching. To achieve these two goals, we introduce the multi-index hashing (MIH) mechanism into the proposed deep architecture, which divides the binary codes into multiple substrings. Due to the non-uniformly distributed codes will result in inefficiency searching, we add the two balanced constraints at feature-level and instance-level, respectively. Extensive evaluations on several benchmark image retrieval datasets show that the learned balanced binary codes bring dramatic speedups and achieve comparable performance over the existing baselines.


title: Resilient Randomized Quantized Consensus

abstract: We consider the problem of multi-agent consensus where some agents are subject to faults/attacks and might make updates arbitrarily. The network consists of agents taking integer-valued (i.e., quantized) states under directed communication links. The goal of the healthy normal agents is to form consensus in their state values, which may be disturbed by the non-normal, malicious agents. We develop update schemes to be equipped by the normal agents whose interactions are asynchronous and subject to non-uniform and time-varying time delays. In particular, we employ a variant of the so-called mean subsequence reduced (MSR) algorithms, which have been long studied in computer science, where each normal agent ignores extreme values from its neighbors. We solve the resilient quantized consensus problems in the presence of totally/locally bounded adversarial agents and provide necessary and sufficient conditions in terms of the connectivity notion of graph robustness. Furthermore, it will be shown that randomization is essential both in quantization and in the updating times when normal agents interact in an asynchronous manner. The results are examined through a numerical example.


title: Gradient flow approach to an exponential thin film equation: global existence and latent singularity

abstract: In this work, we study a fourth order exponential equation, $u_t=\Delta e^{-\Delta u},$ derived from thin film growth on crystal surface in multiple space dimensions. We use the gradient flow method in metric space to characterize the latent singularity in global strong solution, which is intrinsic due to high degeneration. We define a suitable functional, which reveals where the singularity happens, and then prove the variational inequality solution under very weak assumptions for initial data. Moreover, the existence of global strong solution is established with regular initial data.


title: Topological superconducting phase in high-Tc superconductor MgB2 with Dirac-nodal-line fermions

abstract: Topological superconductors are an intriguing and elusive quantum phase, characterized by topologically protected gapless surface/edge states residing in a bulk superconducting gap, which hosts Majorana fermions. Unfortunately, all currently known topological superconductors have a very low transition temperature, limiting experimental measurements of Majorana fermions. Here we discover the existence of a topological Dirac-nodal-line state in a well-known conventional high-temperature superconductor, MgB2. First-principles calculations show that the Dirac-nodal-line structure exhibits a unique one-dimensional dispersive Dirac-nodal line, protected by both spatial-inversion and time-reversal symmetry, which connects the electron and hole Dirac states. Most importantly, we show that the topological superconducting phase can be realized with a conventional s-wave superconducting gap, evidenced by the topological edge mode of the MgB2 thin films showing chiral edge states. Our discovery may enable the experimental measurement of Majorana fermions at high temperature.


title: Learning Visual Features from Snapshots for Web Search

abstract: When applying learning to rank algorithms to Web search, a large number of features are usually designed to capture the relevance signals. Most of these features are computed based on the extracted textual elements, link analysis, and user logs. However, Web pages are not solely linked texts, but have structured layout organizing a large variety of elements in different styles. Such layout itself can convey useful visual information, indicating the relevance of a Web page. For example, the query-independent layout (i.e., raw page layout) can help identify the page quality, while the query-dependent layout (i.e., page rendered with matched query words) can further tell rich structural information (e.g., size, position and proximity) of the matching signals. However, such visual information of layout has been seldom utilized in Web search in the past. In this work, we propose to learn rich visual features automatically from the layout of Web pages (i.e., Web page snapshots) for relevance ranking. Both query-independent and query-dependent snapshots are considered as the new inputs. We then propose a novel visual perception model inspired by human's visual search behaviors on page viewing to extract the visual features. This model can be learned end-to-end together with traditional human-crafted features. We also show that such visual features can be efficiently acquired in the online setting with an extended inverted indexing scheme. Experiments on benchmark collections demonstrate that learning visual features from Web page snapshots can significantly improve the performance of relevance ranking in ad-hoc Web retrieval tasks.


title: Observation of Terahertz Radiation via the Two-Color Laser Scheme with Uncommon Frequency Ratios

abstract: In the widely-studied two-color laser scheme for terahertz (THz) radiation from a gas, the frequency ratio of the two lasers is usually fixed at $\omega_2/\omega_1=$1:2. We investigate THz generation with uncommon frequency ratios. Our experiments show, for the first time, efficient THz generation with new ratios of $\omega_2/\omega_1=$1:4 and 2:3. We observe that the THz polarization can be adjusted by rotating the longer-wavelength laser polarization and the polarization adjustment becomes inefficient by rotating the other laser polarization; the THz energy shows similar scaling laws with different frequency ratios. These observations are inconsistent with multi-wave mixing theory, but support the gas-ionization model. This study pushes the development of the two-color scheme and provides a new dimension to explore the long-standing problem of the THz generation mechanism.


title: Tosio Kato's Work on Non-Relativistic Quantum Mechanics: An Outline

abstract: Based at a talk given at the Kato Centennial Symposium in Sept. 2017, this article discusses the scientific life and some of the scientific work of T. Kato.


title: On the Relationship between Conditional (CAR) and Simultaneous (SAR) Autoregressive Models

abstract: We clarify relationships between conditional (CAR) and simultaneous (SAR) autoregressive models. We review the literature on this topic and find that it is mostly incomplete. Our main result is that a SAR model can be written as a unique CAR model, and while a CAR model can be written as a SAR model, it is not unique. In fact, we show how any multivariate Gaussian distribution on a finite set of points with a positive-definite covariance matrix can be written as either a CAR or a SAR model. We illustrate how to obtain any number of SAR covariance matrices from a single CAR covariance matrix by using Givens rotation matrices on a simulated example. We also discuss sparseness in the original CAR construction, and for the resulting SAR weights matrix. For a real example, we use crime data in 49 neighborhoods from Columbus, Ohio, and show that a geostatistical model optimizes the likelihood much better than typical first-order CAR models. We then use the implied weights from the geostatistical model to estimate CAR model parameters that provides the best overall optimization.


title: 4D $\mathcal{N}=1$ SYM supercurrent on the lattice in terms of the gradient flow

abstract: The gradient flow[1-5] gives rise to a versatile method to construct renormalized composite operators in a regularization-independent manner. By adopting this method, the authors of~Refs.[6-9] obtained the expression of Noether currents on the lattice in the cases where the associated symmetries are broken by lattice regularization. We apply the same method to the Noether current associated with supersymmetry, i.e., the supercurrent. We consider the 4D $\mathcal{N}=1$ super Yang--Mills theory and calculate the renormalized supercurrent in the one-loop level in the Wess--Zumino gauge. We then re-express this supercurrent in terms of the flowed gauge and flowed gaugino fields[10].


title: Delocalization and Limiting Spectral Distribution of Erd\H{o}s-R\'{e}nyi Graphs with Constant Expected Degree

abstract: We consider Erd\H{o}s-R\'{e}nyi graphs $G(n,p_n)$ with large constant expected degree $\lambda$ and $p_n=\lambda/n$. Bordenave and Lelarge (2010) showed that the infinite-volume limit, in the Benjamini-Schramm topology, is a Galton-Watson tree with offspring distribution Pois($\lambda$) and the mean spectrum at the root of this tree has unbounded support and corresponds to the limiting spectral distribution of $G(n,p_n)$ as $n\to\infty$. We show that if one weights the edges by $1/\sqrt{\lambda}$ and sends $\lambda\to\infty$, then the support mostly vanishes and in fact, the limiting spectral distributions converge weakly to a semicircle distribution. We also find that for large $\lambda$, there is an orthonormal eigenvector basis of $G(n,p_n)$ such that most of the vectors delocalize with respect to the infinity norm, as $n\to\infty$. Our delocalization result provides a variant on a result of Tran, Vu and Wang (2013).


title: Fractional Derivatives of Convex Lyapunov Functions and Control Problems in Fractional Order Systems

abstract: The paper is devoted to the development of control procedures with a guide for conflict-controlled dynamical systems described by ordinary fractional differential equations with the Caputo derivative of an order $\alpha \in (0, 1).$ For the case when the guide is in a certain sense a copy of the system, a mutual aiming procedure between the initial system and the guide is elaborated. The proof of proximity between motions of the systems is based on the estimate of the fractional derivative of the superposition of a convex Lyapunov function and a function represented by the fractional integral of an essentially bounded measurable function. This estimate can be considered as a generalization of the known estimates of such type. An example is considered which illustrates the workability of the proposed control procedures.


title: Modal Regression using Kernel Density Estimation: a Review

abstract: We review recent advances in modal regression studies using kernel density estimation. Modal regression is an alternative approach for investigating relationship between a response variable and its covariates. Specifically, modal regression summarizes the interactions between the response variable and covariates using the conditional mode or local modes. We first describe the underlying model of modal regression and its estimators based on kernel density estimation. We then review the asymptotic properties of the estimators and strategies for choosing the smoothing bandwidth. We also discuss useful algorithms and similar alternative approaches for modal regression, and propose future direction in this field.


title: A First Transients Survey with JWST: the FLARE project

abstract: JWST was conceived and built to answer one of the most fundamental questions that humans can address empirically: "How did the Universe make its first stars?". Our First Lights At REionization (FLARE) project transforms the quest for the epoch of reionization from the static to the time domain. It targets the complementary question: "What happened to those first stars?". It will be answered by observations of the most luminous events: supernovae and accretion on to black holes formed by direct collapse from the primordial gas clouds. These transients provide direct constraints on star-formation rates (SFRs) and the truly initial Initial Mass Function (IMF), and they may identify possible stellar seeds of supermassive black holes (SMBHs). Furthermore, our knowledge of the physics of these events at ultra-low metallicity will be much expanded. JWST's unique capabilities will detect these most luminous and earliest cosmic messengers easily in fairly shallow observations. However, these events are very rare at the dawn of cosmic structure formation and so require large area coverage. Time domain astronomy can be advanced to an unprecedented depth by means of a shallow field of JWST reaching 27 mag AB in 2 and 4.4 microns over a field as large as 0.1 square degree visited multiple times each year. Such a survey may set strong constraints or detect massive Pop III SNe at redshifts beyond 10, pinpointing the redshift of the first stars, or at least their death. Based on our current knowledge of superluminous supernovae (SLSNe), such a survey will find one or more SLSNe at redshifts above 6 in five years and possibly several direct collapse black holes. Although JWST is not designed as a wide field survey telescope, we show that such a wide field survey is possible with JWST and is critical in addressing several of its key scientific goals.


title: Minimax Estimation of Bandable Precision Matrices

abstract: The inverse covariance matrix provides considerable insight for understanding statistical models in the multivariate setting. In particular, when the distribution over variables is assumed to be multivariate normal, the sparsity pattern in the inverse covariance matrix, commonly referred to as the precision matrix, corresponds to the adjacency matrix representation of the Gauss-Markov graph, which encodes conditional independence statements between variables. Minimax results under the spectral norm have previously been established for covariance matrices, both sparse and banded, and for sparse precision matrices. We establish minimax estimation bounds for estimating banded precision matrices under the spectral norm. Our results greatly improve upon the existing bounds; in particular, we find that the minimax rate for estimating banded precision matrices matches that of estimating banded covariance matrices. The key insight in our analysis is that we are able to obtain barely-noisy estimates of $k \times k$ subblocks of the precision matrix by inverting slightly wider blocks of the empirical covariance matrix along the diagonal. Our theoretical results are complemented by experiments demonstrating the sharpness of our bounds.


title: Quarter-Turn Baxter Permutations

abstract: Baxter permutations are known to be in bijection with a wide number of combinatorial objects. Previously, it was shown that each of these objects had a natural involution which was carried equivariantly by the known bijections, and the number of objects fixed under involution was given by Stembridge's $q=-1$ phenomenon. In this paper, we consider the order 4 action of a quarter-turn rotation of a Baxter permutation matrix, refining the half-turn rotation previously studied. Using the method of generating trees, we show that the number of Baxter permutations fixed under quarter-turn rotation has a very nice enumeration, which suggests the existence of a combinatorial bijection.


title: Tailoring symmetric metallic and magnetic edge states of nanoribbon in semiconductive monolayer PtS2

abstract: Fabrication of atomic scale of metallic wire remains challenging. In present work, a nanoribbon with two parallel symmetric metallic and magnetic edges was designed from semiconductive monolayer PtS2 by employing first-principles calculations based on density functional theory. Edge energy, bonding charge density, band structure and simulated STM of possible edges states of PtS2 were systematically studied. It was found that Pt-terminated edge nanoribbons were the relatively stable metallic and magnetic edge tailored from a noble transition metal dichalcogenides PtS2. The nanoribbon with two atomic metallic wires may have promising application as nano power transmission lines, which at least two lines are needed.


title: Finite Model Approximations for Partially Observed Markov Decision Processes with Discounted Cost

abstract: We consider finite model approximations of discrete-time partially observed Markov decision processes (POMDPs) under the discounted cost criterion. After converting the original partially observed stochastic control problem to a fully observed one on the belief space, the finite models are obtained through the uniform quantization of the state and action spaces of the belief space Markov decision process (MDP). Under mild assumptions on the components of the original model, it is established that the policies obtained from these finite models are nearly optimal for the belief space MDP, and so, for the original partially observed problem. The assumptions essentially require that the belief space MDP satisfies a mild weak continuity condition. We provide examples and introduce explicit approximation procedures for the quantization of the set of probability measures on the state space of POMDP (i.e., belief space).


title: Single Photon Emission from Plasma Treated 2D Hexagonal Boron Nitride

abstract: Artificial atomic systems in solids are becoming increasingly important building blocks in quantum information processing and scalable quantum nanophotonic networks. Yet, synthesis of color centers that act as single photon emitters which are suitable for on-chip applications is still beyond reach. Here, we report a number of plasma and thermal annealing methods for the fabrication of emitters in tape-exfoliated hexagonal boron nitride (hBN) crystals. A two-step process comprised of Ar plasma etching and subsequent annealing in Ar is highly robust, and yields a seven-fold increase in the concentration of emitters in hBN. The initial plasma etching step generates emitters that suffer from blinking and bleaching, whereas the two-step process yields emitters that are photostable at room temperature and have an emission energy distribution that is red-shifted relative to that of pristine hBN. An analysis of emitters fabricated by a range of plasma and annealing treatments, combined with a theoretical investigation of point defects in hBN indicates that single photon emitters characterized by a high degree of photostability and emission wavelengths greater than ~700 nm are associated with defect complexes that contain oxygen. This is further confirmed by generating the emitters by annealing hBN in an oxidative atmosphere. Our findings advance present understanding of the structure of quantum emitter in hBN and enhance the nanofabrication toolkit that is needed to realize integrated quantum nanophotonics based on 2D materials.


title: Relativistic corrections to the form factors of $B_c$ into $P$-wave orbitally excited charmonium

abstract: We investigated the form factors of the $B_{c}$ meson into $P$-wave orbitally excited charmonium using the nonrelativistic QCD effective theory. Through the analytic computation, the next-to-leading order relativistic corrections to the form factors were obtained, and the asymptotic expressions were studied in the infinite bottom quark mass limit. Employing the general form factors, we discussed the exclusive decays of the $B_{c}$ meson into $P$-wave orbitally excited charmonium and a light meson. We found that the relativistic corrections lead to a large correction for the form factors, which makes the branching ratios of the decay channels $\mathcal{B}(B_{c} ^{\pm }\to \chi _{cJ}(h_c) +\pi ^{\pm }(K^{\pm }))$ larger. These results are useful for the phenomenological analysis of the $B_{c}$ meson decays into $P$-wave charmonium, which shall be tested in the LHCb experiments.


title: Universal Relation among Many-Body Chern Number, Rotation Symmetry, and Filling

abstract: Understanding the interplay between the topological nature and the symmetry property of interacting systems has been a central matter of condensed matter physics in recent years. In this Letter, we establish nonperturbative constraints on the quantized Hall conductance of many-body systems with arbitrary interactions. Our results allow one to readily determine the many-body Chern number modulo a certain integer without performing any integrations, solely based on the rotation eigenvalues and the average particle density of the many-body ground state.


title: Some examples of DR-indecomposable special fibers of semi-stable reductions over Witt rings

abstract: We answer negatively an open problem of Illusie on the DR-decomposability of the log de Rham complex of the special fiber of a semi-stable reduction over the Witt ring. We also show that $E_1$ degeneration of the Hodge to log de Rham spectral sequence does not imply DR-decomposability of semi-stable varieties.


title: Comparative Analysis of Software Development Methods between Parallel, V-Shaped and Iterative

abstract: Any organization that will develop software is faced with a difficult choice of choosing the right software development method. Whereas the software development methods used, play a significant role in the overall software development process. Software development methods are needed so that the software development process can be systematic so that it is not only completed within the right time frame but also must have good quality. There are various methods of software development in System Development Lyfe Cycle (SDLC). Each SDLC method provides a general guiding line about different software development and has different characteristics. Each method of software development has its drawbacks and advantages so that the selection of software development methods should be compatible with the capacity of the software developed. This paper will compare three different software development methods: V-Shaped Model, Parallel Development Model, and Iterative Model with the aim of providing an understanding of software developers to choose the right method.


title: Moir\'e excitons: from programmable quantum emitter arrays to spin-orbit coupled artificial lattices

abstract: Highly uniform and ordered nanodot arrays are crucial for high performance quantum optoelectronics including new semiconductor lasers and single photon emitters, and for synthesizing artificial lattices of interacting quasiparticles towards quantum information processing and simulation of many-body physics. Van der Waals heterostructures of 2D semiconductors are naturally endowed with an ordered nanoscale landscape, i.e. the moir\'e pattern that laterally modulates electronic and topographic structures. Here we find these moir\'e effects realize superstructures of nanodot confinements for long-lived interlayer excitons, which can be either electrically or strain tuned from perfect arrays of quantum emitters to excitonic superlattices with giant spin-orbit coupling (SOC). Besides the wide range tuning of emission wavelength, the electric field can also invert the spin optical selection rule of the emitter arrays. This unprecedented control arises from the gauge structure imprinted on exciton wavefunctions by the moir\'e, which underlies the SOC when hopping couples nanodots into superlattices. We show that the moir\'e hosts complex-hopping honeycomb superlattices, where exciton bands feature a Dirac node and two Weyl nodes, connected by spin-momentum locked topological edge modes.


title: ProLanGO: Protein Function Prediction Using Neural~Machine Translation Based on a Recurrent Neural Network

abstract: With the development of next generation sequencing techniques, it is fast and cheap to determine protein sequences but relatively slow and expensive to extract useful information from protein sequences because of limitations of traditional biological experimental techniques. Protein function prediction has been a long standing challenge to fill the gap between the huge amount of protein sequences and the known function. In this paper, we propose a novel method to convert the protein function problem into a language translation problem by the new proposed protein sequence language "ProLan" to the protein function language "GOLan", and build a neural machine translation model based on recurrent neural networks to translate "ProLan" language to "GOLan" language. We blindly tested our method by attending the latest third Critical Assessment of Function Annotation (CAFA 3) in 2016, and also evaluate the performance of our methods on selected proteins whose function was released after CAFA competition. The good performance on the training and testing datasets demonstrates that our new proposed method is a promising direction for protein function prediction. In summary, we first time propose a method which converts the protein function prediction problem to a language translation problem and applies a neural machine translation model for protein function prediction.


title: Robust output regulation of 2 x 2 hyperbolic systems part I: Control law and Input-to-State Stability

abstract: We consider the problem of output feedback regulationfor a linear first-order hyperbolic system with collocatedinput and output in presence of a general class of disturbancesand noise. The proposed control law is designed through abackstepping approach incorporating an integral action. Toensure robustness to delays, the controller only cancels partof the boundary reflection by means of a tunable parameter.This also enables a trade-off between disturbance and noisesensitivity.We show that the boundary condition of the obtainedtarget system can be transformed into a Neutral DifferentialEquation (NDE) and that this latter system is Input-to-StateStable (ISS). This proves the boundedness of the controlledoutput for the target system. This extends previous worksconsidering an integral action for this kind of system [16], andconstitutes an important step towards practical implementationof such controllers. Applications and practical considerations,in particular regarding the system's sensitivity functions arederived in a companion paper.


title: Type Ia supernovae, standardisable candles, and gravity

abstract: Type Ia supernovae (SNIe) are generally accepted to act as standardisable candles, and their use in cosmology led to the first confirmation of the as yet unexplained accelerated cosmic expansion. Many of the theoretical models to explain the cosmic acceleration assume modifications to Einsteinian General Relativity which accelerate the expansion, but the question of whether such modifications also affect the ability of SNIe to be standardisable candles has rarely been addressed. This paper is an attempt to answer this question. For this we adopt a semi-analytical model to calculate SNIe light curves in non-standard gravity. We use this model to show that the average rescaled intrinsic peak luminosity -- a quantity that is assumed to be constant with redshift in standard analyses of Type Ia supernova (SNIa) cosmology data -- depends on the strength of gravity in the supernova's local environment because the latter determines the Chandrasekhar mass -- the mass of the SNIa's white dwarf progenitor right before the explosion. This means that SNIe are no longer standardisable candles in scenarios where the strength of gravity evolves over time, and therefore the cosmology implied by the existing SNIa data will be different when analysed in the context of such models. As an example, we show that the observational SNIa cosmology data can be fitted with both a model where $(\Omega_{\rm M}, \Omega_{\Lambda})=(0.62, 0.38)$ and Newton's constant $G$ varies as $G(z)=G_0(1+z)^{-1/4}$ and the standard model where $(\Omega_{\rm M}, \Omega_{\Lambda})=(0.3, 0.7)$ and $G$ is constant, when the Universe is assumed to be flat.


title: A surface with discrete and non-finitely generated automorphism group

abstract: We show that there is a smooth complex projective variety, of any dimension greater than or equal to two, whose automorphism group is discrete and not finitely generated. Moreover, this variety admits infinitely many real forms which are mutually non-isomorphic over the real number field. Our result is inspired by the work of Lesieutre and answers questions by Dolgachev, Esnault and Lesieutre.


title: Non-perturbative determination of improvement $b$-coefficients in $N_f=3$

abstract: We present our preliminary results of the non-perturbative determination of the valence mass dependent coefficients $b_\mathrm{A}-b_\mathrm{P}$ and $b_\mathrm{m}$ as well as the ratio $Z_\mathrm{P} Z_\mathrm{m}/ Z_\mathrm{A}$ entering the flavour non-singlet PCAC relation in lattice QCD with $N_f=3$ dynamical flavours. We apply the method proposed in the past for quenched approximation and $N_f=2$ cases, employing a set of finite-volume ALPHA configurations with Schr\"odinger functional boundary conditions, generated with $O(a)$ improved Wilson fermions and the tree-level Symanzik-improved gauge action for a range of couplings relevant for simulations at lattice spacings of about $0.09 \,$fm and below.


title: E3Solver: decision tree unification by enumeration

abstract: We introduce E3Solver, a unification-based solver for programming-by-example (PBE) participating in the 2017 edition of the SyGuS Competition. Our tool proceeds in two phases. First, for each individual example, we enumerate a terminal expression consistent with it. Then, we unify these expressions using conditional expressions in a decision tree. To this end, a suitable condition is enumerated for each pair of conflicting examples. This incremental method terminates after fitting all examples in the decision tree. E3Solver solves all 750 instances in the bitvector sub-track in an average time of few seconds each. We make our contributions publicly available (https://github.com/sygus-tools)


title: On the semi-classical analysis of the groundstate energy of the Dirichlet Pauli operator III: Magnetic fields that change sign

abstract: We consider the semi-classical Dirichlet Pauli operator in bounded connected domains in the plane. Rather optimal results have been obtained in previous papers by Ekholm-Kova\v{r}\'ik-Portmann and Helffer-Sundqvist for the asymptotics of the ground state energy in the semi-classical limit when the magnetic field has constant sign. In this paper, we focus on the case when the magnetic field changes sign. We show, in particular, that the ground state energy of this Pauli operator will be exponentially small as the semi-classical parameter tends to zero and give lower bounds and upper bounds for this decay rate. Concrete examples of magnetic fields changing sign on the unit disc are discussed. Various natural conjectures are disproved and this leaves the research of an optimal result in the general case still open.


title: Multilevel sparse grids collocation for linear partial differential equations, with tensor product smooth basis functions

abstract: Radial basis functions have become a popular tool for approximation and solution of partial differential equations (PDEs). The recently proposed multilevel sparse interpolation with kernels (MuSIK) algorithm proposed in \cite{Georgoulis} shows good convergence. In this paper we use a sparse kernel basis for the solution of PDEs by collocation. We will use the form of approximation proposed and developed by Kansa \cite{Kansa1986}. We will give numerical examples using a tensor product basis with the multiquadric (MQ) and Gaussian basis functions. This paper is novel in that we consider space-time PDEs in four dimensions using an easy-to-implement algorithm, with smooth approximations. The accuracy observed numerically is as good, with respect to the number of data points used, as other methods in the literature; see \cite{Langer1,Wang1}.


title: Optically Pumped Magnetometry in Arbitrarily Oriented Magnetic Fields

abstract: Optically pumped atomic magnetometers (OPMs) offer highly sensitive magnetic measurements using compact hardware, offering new possibilities for practical precision sensors. Double-resonance OPM operation is well suited to unshielded magnetometry, due to high sensor dynamic range. However, sensor response is highly anisotropic with variation in the orientation of the magnetic field. We present data quantifying these effects and discuss implications for the design of practical sensors.


title: Second Order Asymptotics for Communication under Strong Asynchronism

abstract: The capacity under strong asynchronism was recently shown to be essentially unaffected by the imposed output sampling rate $\rho$ and decoding delay $d$---the elapsed time between when information is available at the transmitter and when it is decoded. This paper examines this result in the finite blocklength regime and shows that, by contrast with capacity, the second order term in the rate expansion is sensitive to both parameters. When the receiver must exactly locate the sent codeword, that is $d=n$ where $n$ denotes blocklength, the second order term in the rate expansion is of order $\Theta(1/\rho)$ for any $\rho=O(1/\sqrt{n})$---and $\rho =\omega(1/n)$ for otherwise reliable communication is impossible. However, if $\rho=\omega(1/\sqrt{n})$ then the second order term is the same as under full sampling and is given by a standard $O(\sqrt{n})$ term whose dispersion constant only depends on the level of asynchronism. This second order term also corresponds to the case of the slightly relaxed delay constraint $d\leq n(1+o(1))$ for any $\rho=\omega(1/n)$.


title: Magnetar nebulae can be rotationally powered

abstract: A wind nebula generating extended X-ray emission was recently detected surrounding Swift 1834.9-0846. This is the first magnetar for which such a (pulsar) wind nebula (PWN) was found. I demonstrate that Swift 1834.9-0846's nebula can be rotationally-powered if it is being compressed by the environment. The physical reason behind this is the dominance of adiabatic heating over all other cooling and escape processes. This effect can happen only for pulsars of relatively low spin-down power and can make for very efficient nebulae. This contribution is based on previous work published in ApJ 835, article id. 54, 13 pp. (2017).


title: Unification of the complex Langevin method and the Lefschetz-thimble method

abstract: Recently there has been remarkable progress in solving the sign problem, which occurs in investigating statistical systems with a complex weight. The two promising methods, the complex Langevin method and the Lefschetz thimble method, share the idea of complexifying the dynamical variables, but their relationship has not been clear. Here we propose a unified formulation, in which the sign problem is taken care of by both the Langevin dynamics and the holomorphic gradient flow. We apply our formulation to a simple model in three different ways and show that one of them interpolates the two methods by changing the flow time.


title: Image-domain multi-material decomposition for dual-energy CT based on correlation and sparsity of material images

abstract: Dual energy CT (DECT) enhances tissue characterization because it can produce images of basis materials such as soft-tissue and bone. DECT is of great interest in applications to medical imaging, security inspection and nondestructive testing. Theoretically, two materials with different linear attenuation coefficients can be accurately reconstructed using DECT technique. However, the ability to reconstruct three or more basis materials is clinically and industrially important. Under the assumption that there are at most three materials in each pixel, there are a few methods that estimate multiple material images from DECT measurements by enforcing sum-to-one and a box constraint ([0 1]) derived from both the volume and mass conservation assumption. The recently proposed image-domain multi-material decomposition (MMD) method introduces edge-preserving regularization for each material image which neglects the relations among material images, and enforced the assumption that there are at most three materials in each pixel using a time-consuming loop over all possible material-triplet in each iteration of optimizing its cost function. We propose a new image-domain MMD method for DECT that considers the prior information that different material images have common edges and encourages sparsity of material composition in each pixel using regularization.


title: Visual Analysis of Spatio-Temporal Event Predictions: Investigating the Spread Dynamics of Invasive Species

abstract: Invasive species are a major cause of ecological damage and commercial losses. A current problem spreading in North America and Europe is the vinegar fly Drosophila suzukii. Unlike other Drosophila, it infests non-rotting and healthy fruits and is therefore of concern to fruit growers, such as vintners. Consequently, large amounts of data about infestations have been collected in recent years. However, there is a lack of interactive methods to investigate this data. We employ ensemble-based classification to predict areas susceptible to infestation by D. suzukii and bring them into a spatio-temporal context using maps and glyph-based visualizations. Following the information-seeking mantra, we provide a visual analysis system Drosophigator for spatio-temporal event prediction, enabling the investigation of the spread dynamics of invasive species. We demonstrate the usefulness of this approach in two use cases.


title: Asymptotic Expansion as Prior Knowledge in Deep Learning Method for high dimensional BSDEs

abstract: We demonstrate that the use of asymptotic expansion as prior knowledge in the "deep BSDE solver", which is a deep learning method for high dimensional BSDEs proposed by Weinan E, Han & Jentzen (2017), drastically reduces the loss function and accelerates the speed of convergence. We illustrate the technique and its implications by using Bergman's model with different lending and borrowing rates as a typical model for FVA as well as a class of solvable BSDEs with quadratic growth drivers. We also present an extension of the deep BSDE solver for reflected BSDEs representing American option prices.


title: Protein Folding Optimization using Differential Evolution Extended with Local Search and Component Reinitialization

abstract: This paper presents a novel Differential Evolution algorithm for protein folding optimization that is applied to a three-dimensional AB off-lattice model. The proposed algorithm includes two new mechanisms. A local search is used to improve convergence speed and to reduce the runtime complexity of the energy calculation. For this purpose, a local movement is introduced within the local search. The designed evolutionary algorithm has fast convergence speed and, therefore, when it is trapped into the local optimum or a relatively good solution is located, it is hard to locate a better similar solution. The similar solution is different from the good solution in only a few components. A component reinitialization method is designed to mitigate this problem. Both the new mechanisms and the proposed algorithm were analyzed on well-known amino acid sequences that are used frequently in the literature. Experimental results show that the employed new mechanisms improve the efficiency of our algorithm and that the proposed algorithm is superior to other state-of-the-art algorithms. It obtained a hit ratio of 100% for sequences up to 18 monomers, within a budget of $10^{11}$ solution evaluations. New best-known solutions were obtained for most of the sequences. The existence of the symmetric best-known solutions is also demonstrated in the paper.


title: SLING: A framework for frame semantic parsing

abstract: We describe SLING, a framework for parsing natural language into semantic frames. SLING supports general transition-based, neural-network parsing with bidirectional LSTM input encoding and a Transition Based Recurrent Unit (TBRU) for output decoding. The parsing model is trained end-to-end using only the text tokens as input. The transition system has been designed to output frame graphs directly without any intervening symbolic representation. The SLING framework includes an efficient and scalable frame store implementation as well as a neural network JIT compiler for fast inference during parsing. SLING is implemented in C++ and it is available for download on GitHub.


title: Buckling instability causes inertial thrust for spherical swimmers at all scales

abstract: Microswimmers, and among them aspirant microrobots, generally have to cope with flows where viscous forces are dominant, characterized by a low Reynolds number ($Re$). This implies constraints on the possible sequences of body motion, which have to be nonreciprocal. Furthermore, the presence of a strong drag limits the range of resulting velocities. Here, we propose a swimming mechanism, which uses the buckling instability triggered by pressure waves to propel a spherical, hollow shell. With a macroscopic experimental model, we show that a net displacement is produced at all $Re$ regimes. An optimal displacement caused by non-trivial history effects is reached at intermediate $Re$. We show that, due to the fast activation induced by the instability, this regime is reachable by microscopic shells. The rapid dynamics would also allow high frequency excitation with standard traveling ultrasonic waves. Scale considerations predict a swimming velocity of order 1 cm/s for a remote-controlled microrobot, a suitable value for biological applications such as drug delivery.


title: Boundary-sum irreducible finite order corks

abstract: We prove for any positive integer $n$ there exist boundary-sum irreducible ${\mathbb Z}_n$-corks with Stein structure. Here `boundary-sum irreducible' means the manifold is indecomposable with respect to boundary-sum. We also verify that some of the finite order corks admit hyperbolic boundary by HIKMOT.


title: Generative Adversarial Networks: An Overview

abstract: Generative adversarial networks (GANs) provide a way to learn deep representations without extensively annotated training data. They achieve this through deriving backpropagation signals through a competitive process involving a pair of networks. The representations that can be learned by GANs may be used in a variety of applications, including image synthesis, semantic image editing, style transfer, image super-resolution and classification. The aim of this review paper is to provide an overview of GANs for the signal processing community, drawing on familiar analogies and concepts where possible. In addition to identifying different methods for training and constructing GANs, we also point to remaining challenges in their theory and application.


title: Testing algorithms for critical slowing down

abstract: We present the preliminary tests on two modifications of the Hybrid Monte Carlo (HMC) algorithm. Both algorithms are designed to travel much farther in the Hamiltonian phase space for each trajectory and reduce the autocorrelations among physical observables thus tackling the critical slowing down towards the continuum limit. We present a comparison of costs of the new algorithms with the standard HMC evolution for pure gauge fields, studying the autocorrelation times for various quantities including the topological charge.


title: Monte Carlo simulation of binary mixtures of hard colloidal cuboids

abstract: We perform extensive Monte Carlo simulations to investigate the phase behaviour of colloidal suspensions of hard board-like particles (HBPs). While theories restricting particle orientation or ignoring higher ordered phases suggest the existence of a stable biaxial nematic phase, our recent simulation results on monodisperse systems indicate that this is not necessarily the case, even for particle shapes exactly in between prolate and oblate geometries, usually referred to as self-dual shape. Motivated by the potentially striking impact of incorporating biaxial ordering into display applications, we extend our investigation to bidisperse mixtures of short and long HBPs and analyse whether size dispersity can further enrich the phase behaviour of HBPs, eventually destabilise positionally ordered phases and thus favour the formation of the biaxial nematic phase. Not only do our results indicate that bidisperse mixtures of self-dual shaped HBPs cannot self-assemble into biaxial nematic phases, but they also show that these particles are not able to form uniaxial nematic phases either. This surprising behaviour is also observed in monodisperse systems. Additionally, bidisperse HBPs tend to phase separate in coexisting isotropic and smectic phases or, at relatively large pressures, in a smectic phase of mostly short HBPs and a smectic phase of mostly long HBPs. We conclude that limiting the particle orientational degrees of freedom or neglecting the presence of positionally ordered (smectic, columnar and crystal) phases can dramatically alter the phase behaviour of HBPs and unrealistically enlarge the region of stability of the biaxial nematic phase.


title: Voyager 1/UVS Lyman $\alpha$ measurements at the distant heliosphere (90-130AU): unknown source of additional emission

abstract: In this work, we present for the first time the Lyman $\alpha$ intensities measured by Voyager 1/UVS in 2003-2014 (at 90-130 AU from the Sun). During this period Voyager 1 measured the Lyman $\alpha$ emission in the outer heliosphere at an almost fixed direction close to the upwind (that is towards the interstellar flow). The data show an unexpected behavior in 2003-2009: the ratio of observed intensity to the solar Lyman $\alpha$ flux is almost constant. Numerical modelling of these data is performed in the frame of a state-of-art self-consistent kinetic-MHD model of the heliospheric interface (Izmodenov & Alexashov, 2015). The model results, for various interstellar parameters, predict a monotonic decrease of intensity not seen in the data. We propose two possible scenarios that explain the data qualitatively. The first is the formation of a dense layer of hydrogen atoms near the heliopause. Such a layer would provide an additional backscattered Doppler shifted Lyman $\alpha$ emission, which is not absorbed inside the heliosphere and may be observed by Voyager. About 35 R of intensity from the layer is needed. The second scenario is an external non-heliospheric Lyman $\alpha$ component, which could be galactic or extragalactic. Our parametric study shows that $\sim$25 R of additional emission leads to a good qualitative agreement between the Voyager 1 data and the model results.


title: Causal inference for binary non-independent outcomes

abstract: Causal inference on multiple non-independent outcomes raises serious challenges, because multivariate techniques that properly account for the outcome's dependence structure need to be considered. We focus on the case of binary outcomes framing our discussion in the potential outcome approach to causal inference. We define causal effects of treatment on joint outcomes introducing the notion of product outcomes. We also discuss a decomposition of the causal effect on product outcomes into intrinsic and extrinsic causal effects, which respectively provide information on treatment effect on the intrinsic (product) structure of the product outcomes and on the outcomes' dependence structure. We propose a log-mean linear regression approach for modeling the distribution of the potential outcomes, which is particularly appealing because all the causal estimands of interest and the decomposition into intrinsic and extrinsic causal effects can be easily derived by model parameters. The method is illustrated in two randomized experiments concerning (i) the effect of the administration of oral pre-surgery morphine on pain intensity after surgery; and (ii) the effect of honey on nocturnal cough and sleep difficulty associated with childhood upper respiratory tract infections.


title: A Primal-Dual based Distributed Approximation Algorithm for Prize-Collecting Steiner Tree

abstract: The Prize-Collecting Steiner Tree (PCST) problem is a generalization of the Steiner Tree problem that has applications in network design, content distribution networks, and many more. There are a few centralized approximation algorithms \cite{DB_MG_DS_DW_1993, GW_1995, DJ_MM_SP_2000, AA_MB_MH_2011} for solving the PCST problem. However no distributed algorithm is known that solves PCST with a guaranteed approximation factor. In this work we present an asynchronous distributed $(2 - \frac{1}{n - 1})$-approximation algorithm that constructs a PCST for a given connected undirected graph with non-negative edge weights and a non-negative prize value for each node. Our algorithm is an adaptation of the centralized algorithm proposed by Goemans and Williamson \cite{GW_1995} to the distributed setting, and is based on the primal-dual method. The message complexity of the algorithm with input graph having node set $V$ and edge set $E$ is $O(|V||E|)$. Initially each node knows only its own prize value and the weight of each incident edge. The algorithm is spontaneously initiated at a special node called the \emph{root node} and when it terminates each node knows whether it is in the PCST or not. To the best of our knowledge this is the first distributed constant approximation algorithm for PCST.


title: DD-$\alpha$AMG on QPACE 3

abstract: We describe our experience porting the Regensburg implementation of the DD-$\alpha$AMG solver from QPACE 2 to QPACE 3. We first review how the code was ported from the first generation Intel Xeon Phi processor (Knights Corner) to its successor (Knights Landing). We then describe the modifications in the communication library necessitated by the switch from InfiniBand to Omni-Path. Finally, we present the performance of the code on a single processor as well as the scaling on many nodes, where in both cases the speedup factor is close to the theoretical expectations.


title: Replacement of ensemble averaging by the use of a broadband source in scattering of light from a one-dimensional randomly rough interface between two dielectric media

abstract: By the use of phase perturbation theory we show that if a single realization of a one-dimensional randomly rough interface between two dielectric media is illuminated at normal incidence from either medium by a broadband Gaussian beam, it produces a scattered field whose differential reflection coefficient closely matches the result produced by averaging the differential reflection coefficient produced by a monochromatic incident beam over the ensemble of realizations of the interface profile function.


title: Higgs compositeness in $\mathrm{Sp}(2N)$ gauge theories --- The pure gauge model

abstract: As a first step in the study of $\mathrm{Sp}(2N)$ composite Higgs models, we obtained a set of novel numerical results for the pure gauge $\mathrm{Sp}(4)$ lattice theory in 3+1 space-time dimensions. Results for the continuum extrapolations of the string tension and the glueball mass spectrum are presented and their values are compared with the same quantities in neighbouring $\mathrm{SU}(N)$ models.


title: Investigating thermalization of a strongly interacting non-Abelian plasma

abstract: Using gauge/gravity duality methods, we study the relaxation towards equilibrium of strongly interacting non-Abelian matter. We adopt boundary sourcing to drive the system out-of-equilibrium, and analyze the equilibration process through local probes (energy density and pressures) and nonlocal probes (lengths of the geodesics between two boundary points and extremal surfaces having a Wilson loop as contour on the boundary). We also investigate the real-time dissociation of the heavy quarkonium in the out-of-equilibrium plasma. Systematic comparison with the results of a geometry dual to viscous hydrodynamics sheds light on the thermalization process.


title: Unsupervised Context-Sensitive Spelling Correction of English and Dutch Clinical Free-Text with Word and Character N-Gram Embeddings

abstract: We present an unsupervised context-sensitive spelling correction method for clinical free-text that uses word and character n-gram embeddings. Our method generates misspelling replacement candidates and ranks them according to their semantic fit, by calculating a weighted cosine similarity between the vectorized representation of a candidate and the misspelling context. To tune the parameters of this model, we generate self-induced spelling error corpora. We perform our experiments for two languages. For English, we greatly outperform off-the-shelf spelling correction tools on a manually annotated MIMIC-III test set, and counter the frequency bias of a noisy channel model, showing that neural embeddings can be successfully exploited to improve upon the state-of-the-art. For Dutch, we also outperform an off-the-shelf spelling correction tool on manually annotated clinical records from the Antwerp University Hospital, but can offer no empirical evidence that our method counters the frequency bias of a noisy channel model in this case as well. However, both our context-sensitive model and our implementation of the noisy channel model obtain high scores on the test set, establishing a state-of-the-art for Dutch clinical spelling correction with the noisy channel model.


title: Characterizing maximal families of mutually unbiased bases

abstract: We show that maximal families of mutually unbiased bases are characterized in all dimensions by partitioned unitary error bases, up to a choice of a family of Hadamards. Furthermore, we give a new construction of partitioned unitary error bases, and thus maximal families of mutually unbiased bases, from a finite field, which is simpler and more direct than previous proposals. We introduce new tensor diagrammatic characterizations of maximal families of mutually unbiased bases, partitioned unitary error bases, and finite fields as algebraic structures defined over Hilbert spaces.


title: Safe Pointers in SPARK 2014

abstract: In the context of deductive software verification, programs with pointers present a major challenge due to pointer aliasing. In this paper, we introduce pointers to SPARK, a well-defined subset of the Ada language, intended for formal verification of mission-critical software. Our solution is based on static alias analysis inspired by Rust's borrow-checker and affine types, and enforces the Concurrent Read, Exclusive Write principle. This analysis has been implemented in the GNAT Ada compiler and tested against a number of challenging examples including parts of real-life applications. Our tests show that only minor changes in the source code are required to fit the idiomatic Ada code into SPARK extended with pointers, which is a significant improvement upon the previous state of the art. The proposed extension has been approved by the Language Design Committee for SPARK for inclusion in a future version of SPARK, and is being discussed by the Ada Rapporteur Group for inclusion in the next version of Ada. In the report, we give a formal presentation of the analysis rules for a miniature version of SPARK and prove their soundness. We discuss the implementation and the case studies, and compare our solution with Rust.


title: Linear diffusion with singular absorption potential and/or unbounded convective flow: the weighted space approach

abstract: In this paper we prove the existence and uniqueness of very weak solutions to linear diffusion equations involving a singular absorption potential and/or an unbounded convective flow on a bounded open set of $\mathbb R^N$. In most of the paper we consider homogeneous Dirichlet boundary conditions but we prove that when the potential function grows faster than the distance to the boundary to the power -2 then no boundary condition is required to get the uniqueness of very weak solutions. This result is new in the literature and must be distinguished from other previous results in which such uniqueness of solutions without any boundary condition was proved for degenerate diffusion operators (which is not our case). Our approach, based on the treatment on some distance to the boundary weighted spaces, uses a suitable regularity of the solution of the associated dual problem which is here established. We also consider the delicate question of the differentiability of the very weak solution and prove that some suitable additional hypothesis on the data is required since otherwise the gradient of the solution may not be integrable on the domain.


title: Sarnak's conjecture implies the Chowla conjecture along a subsequence

abstract: We show that the M\"obius disjointess of zero entropy dynamical systems implies the existence of an increasing sequence of positive integers along which the Chowla conjecture on autocorrelations of the M\"obius function holds.


title: An estimate for the thermal photon rate from lattice QCD

abstract: We estimate the production rate of photons by the quark-gluon plasma in lattice QCD. We propose a new correlation function which provides better control over the systematic uncertainty in estimating the photon production rate at photon momenta in the range {\pi}T/2 to 2{\pi}T. The relevant Euclidean vector current correlation functions are computed with $N_{\mathrm f}$ = 2 Wilson clover fermions in the chirally-symmetric phase. In order to estimate the photon rate, an ill-posed problem for the vector-channel spectral function must be regularized. We use both a direct model for the spectral function and a model-independent estimate from the Backus-Gilbert method to give an estimate for the photon rate.


title: Spectral Energy Distribution Variations of Nearby Seyfert Galaxies During AGN Watch Monitoring Programs

abstract: We present and analyse quasi-simultaneous multi-epoch spectral energy distributions (SEDs) of seven reverberation-mapped AGNs for which accurate black hole mass measurements and suitable archival data are available from the 'AGN Watch' monitoring programs. We explore the potential of optical-UV and X-ray data, obtained within 2 days, to provide more accurate SED-based measurements of individual AGN and quantify the impact of source variability on key measurements typically used to characterise the black hole accretion process plus on bolometric correction factors at 5100 {\AA}, 1350 {\AA} and for the 2-10 keV X-ray band, respectively. The largest SED changes occur on long timescales (>1 year). For our small sample, the 1 micron to 10 keV integrated accretion luminosity typically changes by 10% on short time-scales (over 20 days), by ~30% over a year, but can change by 100% or more for individual AGN. The EUV gap is the most uncertain part of the intrinsic SED, introducing a ~25% uncertainty in the accretion-induced luminosity, relative to the model independent interpolation method that we adopt. That aside, our analysis shows that the uncertainty in the accretion-induced luminosity, the Eddington luminosity ratio and the bolometric correction factors can be reduced (by a factor of two or more) by use of SEDs built from data obtained within 20 days. However, mass accretion rate and mass accretion efficiency are mostly limited by the unknown EUV emission and the unknown details of the central engine and our aspect angle.


title: TDoA Based Positioning using Ultrasound Signals and Wireless Nodes

abstract: In this paper, a positioning technique based on Time Difference of Arrival (TDoA) measurements is analyzed. The proposed approach is designed to consent range and position estimation, using ultrasound transmissions of a stream of chirp pulses, received by a set of wireless nodes. A potential source of inaccuracy introduced by lack of synchronization between transmitting node and receiving nodes is identified and characterized. An algorithm to identify and correct such inaccuracies is presented.


title: Maximal ideals in module categories and applications

abstract: We study the existence of maximal ideals in preadditive categories defining an order $\preceq$ between objects, in such a way that if there do not exist maximal objects with respect to $\preceq$, then there is no maximal ideal in the category. In our study, it is sometimes sufficient to restrict our attention to suitable subcategories. We give an example of a category $\mathbf C_F$ of modules over a right noetherian ring $R$ in which there is a unique maximal ideal. The category $\mathbf C_F$ is related to an indecomposable injective module $F$, and the objects of $\mathbf C_F$ are the $R$-modules of finite $F$-rank.


title: Accurate Estimation of a Coil Magnetic Dipole Moment

abstract: In this paper, a technique for accurate estimation of the moment of magnetic dipole is proposed. The achievable accuracy is investigated, as a function of measurement noise affecting estimation of magnetic field cartesian components. The proposed technique is validated both via simulations and experimentally.


title: Infinite order quantum-gravitational correlations

abstract: A new approximation scheme for nonperturbative renormalisation group equations for quantum gravity is introduced. Correlation functions of arbitrarily high order can be studied by resolving the full dependence of the renormalisation group equations on the fluctuation field (graviton). This is reminiscent of a local potential approximation in O(N)-symmetric field theories. As a first proof of principle, we derive the flow equation for the "graviton potential" induced by a conformal fluctuation and corrections induced by a gravitational wave fluctuation. Indications are found that quantum gravity might be in a non-metric phase in the deep ultraviolet. The present setup significantly improves the quality of previous fluctuation vertex studies by including infinitely many couplings, thereby testing the reliability of schemes to identify different couplings to close the equations, and represents an important step towards the resolution of the Nielsen identity. The setup further allows in principle to address the question of putative gravitational condensates.


title: An Interactive System for Exhibitions in a Science and Technology Center

abstract: This paper presents the development of a system for realizing interactive exhibitions in the context of a science and technology center. The core functionality of the system is provided by a positioning subsystem comprised of a fixed infrastructure of transmitters and a sensor worn by a user. The operating principle of the positioning system is based on inductive coupling of resonators. Information about the position of the user is transferred to an information system for processing and displaying. Possible use cases include interactive games, information retrieval interfaces and educational scenarios.


title: Phonon-enhanced superconductivity at the FeSe/SrTiO3 interface

abstract: The dream of room temperature superconductors has inspired intense research effort to find routes for enhancing the superconducting transition temperature (Tc). Therefore, single-layer FeSe on a SrTiO3 substrate, with its extraordinarily high Tc amongst all interfacial superconductors and iron based superconductors, is particularly interesting, but the mechanism underlying its high Tc has remained mysterious. Here we show through isotope effects that electrons in FeSe couple with the oxygen phonons in the substrate, and the superconductivity is enhanced linearly with the coupling strength atop the intrinsic superconductivity of heavily-electron-doped FeSe. Our observations solve the enigma of FeSe/SrTiO3, and experimentally establish the critical role and unique behavior of electron-phonon forward scattering in a correlated high-Tc superconductor. The effective cooperation between interlayer electron-phonon interactions and correlations suggests a path forward in developing more high-Tc interfacial superconductors, and may shed light on understanding the high Tc of bulk high temperature superconductors with layered structures.


title: Tracking the resonant frequency of a micromechanical resonator using phononic frequency combs

abstract: Micro and nanomechanical resonators have been extensively researched in recent decades for applications to time and frequency references, as well as highly sensitive sensors. Conventionally, the operation of these resonant sensors is practically implemented using a feedback oscillator to dynamically track variations in the resonant frequency. However, this approach places limitations on the frequency stability of the output response, particularly owing to near-carrier phase noise, potentially limiting measurements over long integration times. Here, in this paper, utilizing the recent experimental demonstration of phononic frequency combs, we demonstrate an alternative resonant tracking approach with the potential to provide significant improvements in near-carrier phase noise and long-term stability. In addition, we also showcase comb dynamics mediated resonant frequency modulation which indirectly points to the possible control of inevitable noise processes including thermomechanical fluctuations. This resonant tracking approach may also have general applicability to a number of other physical oscillators.


title: On Poletsky theory of discs in compact manifolds

abstract: We provide a direct construction of Poletsky discs via local arc approximation and a Runge-type theorem by A. Gournay.


title: A structure theorem for geodesic currents and length spectrum compactifications

abstract: We find a canonical decomposition of a geodesic current on a surface of finite type arising from a topological decomposition of the surface along special geodesics. We show that each component either is associated to a measured lamination or has positive systole. For a current with positive systole, we show that the intersection function on the set of closed curves is bilipschitz equivalent to the length function with respect to a hyperbolic metric. We show that the subset of currents with positive systole is open and that the mapping class group acts properly discontinuously on it. As an application, we obtain in the case of compact surfaces a structure theorem on the length functions appearing in the length spectrum compactification both of the Hitchin and of the maximal character varieties and determine therein an open set of discontinuity for the action of the mapping class group.


title: Dynamics of Rogue Waves in the Partially PT-symmetric Nonlocal Davey-Stewartson Systems

abstract: In this work, we study the dynamics of rogue waves in the partially $\cal{PT}$-symmetric nonlocal Davey-Stewartson(DS) systems. Using the Darboux transformation method, general rogue waves in the partially $\cal{PT}$-symmetric nonlocal DS equations are derived. For the partially $\cal{PT}$-symmetric nonlocal DS-I equation, the solutions are obtained and expressed in term of determinants. For the partially $\cal{PT}$-symmetric DS-II equation, the solutions are represented as quasi-Gram determinants. It is shown that the fundamental rogue waves in these two systems are rational solutions which arises from a constant background at $t\rightarrow -\infty$, and develops finite-time singularity on an entire hyperbola in the spatial plane at the critical time. It is also shown that the interaction of several fundamental rogue waves is described by the multi rogue waves. And the interaction of fundamental rogue waves with dark and anti-dark rational travelling waves generates the novel hybrid-pattern waves. However, no high-order rogue waves are found in this partially $\cal{PT}$-symmetric nonlocal DS systems. Instead, it can produce some high-order travelling waves from the high-order rational solutions.


title: Electronic and vibrational properties of V$_2$C-based MXenes: from experiments to first-principles modeling

abstract: In the present work, the electronic and vibrational properties of both pristine V$_2$C and fully-terminated V$_2$CT$_2$ (where T = F, O, OH) 2D monolayers are investigated using density functional theory. Firstly, the atomic structures of V$_2$C-based MXene phases are optimized and their respective dynamical stabilities are discussed. Secondly, electronic band structures are computed indicating that V$_2$C is metallic as well as all the corresponding functionalized systems. Thirdly, the vibrational properties (phonon frequencies and spectra) of V$_2$C-based MXenes are computed thanks to density functional perturbation theory and reported for the first time. Both Raman (E$_g$, A$_{1g}$) and infrared active (E$_u$, A$_{2u}$) vibrational modes are predicted \textit{ab initio} with the aim to correlate the experimental Raman peaks with the calculated vibrational modes and to assign them with specific atomic motions. The effect of the terminal groups on the vibrational properties is emphasized as well as on the presence and position of the corresponding Raman peaks. Our results provide new insights for the identification and characterization of V$_2$C-based samples using Raman spectroscopy.


title: Quantum-classical truncated Newton method for high-dimensional energy landscapes

abstract: We develop a quantum-classical hybrid algorithm for function optimization that is particularly useful in the training of neural networks since it makes use of particular aspects of high-dimensional energy landscapes. Due to a recent formulation of semi-supervised learning as an optimization problem, the algorithm can further be used to find the optimal model parameters for deep generative models. In particular, we present a truncated saddle-free Newton's method based on recent insight from optimization, analysis of deep neural networks and random matrix theory. By combining these with the specific quantum subroutines we are able to exhaust quantum computing in order to arrive at a new quantum-classical hybrid algorithm design. Our algorithm is expected to perform at least as well as existing classical algorithms while achieving a polynomial speedup. The speedup is limited by the required classical read-out. Omitting this requirement can in theory lead to an exponential speedup.


title: Identifying an influential spreader from a single seed in complex networks via a message-passing approach

abstract: Identifying the most influential spreaders is one of outstanding problems in physics of complex systems. So far, many approaches have attempted to rank the influence of nodes but there is still the lack of accuracy to single out influential spreaders. Here, we directly tackle the problem of finding important spreaders by solving analytically the expected size of epidemic outbreaks when spreading originates from a single seed. We derive and validate a theory for calculating the size of epidemic outbreaks with a single seed using a message-passing approach. In addition, we find that the probability to occur epidemic outbreaks is highly dependent on the location of the seed but the size of epidemic outbreaks once it occurs is insensitive to the seed. We also show that our approach can be successfully adapted into weighted networks.


title: Collisionless Boltzmann equation approach for the study of stellar discs within barred galaxies

abstract: We study the kinematics of stellar disc populations within the solar neighbourhood in order to find the imprints of the Galactic bar. We carry out the analysis by developing a numerical resolution of the 2D2V Collisionless Boltzmann Equation (CBE) and modelling the stellar motions within the plane of the Galaxy within the solar neighbourhood. We recover similar results to these obtained by different authors using N-body simulations, but we can also numerically identify faint structures thanks to the canceling of the Poisson noise. We find that the ratio of the bar pattern speed to the local circular frequency is in the range $\Omega_B/\Omega$ = 1.77 to 1.91. If the Galactic bar angle orientation is within the range from 24 to 45 degrees, the bar pattern speed is between 46 and 49 km/s/kpc.


title: Reti bayesiane per lo studio del fenomeno degli incidenti stradali tra i giovani in Toscana

abstract: This paper aims to analyse adolescents' road accidents in Tuscany. The analysis is based on the Database Edit of Osservatorio di Epidemiologia della Toscana. Complexity and heterogeneity of Edit's data represet an interesting scope to apply Machine Learning methods. In particular, in this paper is proposed an analysis based on a Bayesian probabilistic network, used to discover relationships between adolescents' characteristics and behaviours that are more often associated with an audacious driving style. The probabilistic network developed by this study can be considered a useful starting point for follow up reasearches, aiming to develop a causal network, a tool to limit this phenomenon.


title: Best Linear Approximation of Wiener Systems Using Multilevel Signals: Theory and Experiments

abstract: The problem of measuring the best linear approximation of a nonlinear system by means of multilevel excitation sequences is analyzed. A comparison between different types of sequences applied at the input of Wiener systems is provided by numerical simulations and by experiments on a practical circuit including an analog filter and a clipping nonlinearity. The performance of the sequences is compared with a white Gaussian noise signal for reference purposes. The theoretical characterization of the best linear approximation when using randomized constrained sequences is derived analytically for the cubic nonlinearity case. Numerical and experimental results show that the randomized constrained approach for designing ternary sequences has a low sensitivity to both even and odd order nonlinearities, resulting in a response close to the actual response of the underlying linear system.


title: Quantifying Quantum-Mechanical Processes

abstract: The act of describing how a physical process changes a system is the basis for understanding observed phenomena. For quantum-mechanical processes in particular, the affect of processes on quantum states profoundly advances our knowledge of the natural world, from understanding counter-intuitive concepts to the development of wholly quantum-mechanical technology. Here, we show that quantum-mechanical processes can be quantified using a generic classical-process model through which any classical strategies of mimicry can be ruled out. We demonstrate the success of this formalism using fundamental processes postulated in quantum mechanics, the dynamics of open quantum systems, quantum-information processing, the fusion of entangled photon pairs, and the energy transfer in a photosynthetic pigment-protein complex. Since our framework does not depend on any specifics of the states being processed, it reveals a new class of correlations in the hierarchy between entanglement and Einstein-Podolsky-Rosen steering and paves the way for the elaboration of a generic method for quantifying physical processes.


title: Joint identification via deconvolution of the flux and energy relaxation kernels of the Gurtin-Pipkin model in thermodynamics with memory

abstract: In this paper we present a linear method for the identification of both the energy and flux relaxation kernels in the equation of thermodynamics with memory proposed by M.E. Gurtin and A.G. Pipkin. The method reduces the identification of the two kernels to the solution of two (linear) deconvolution problems. The energy relaxation kernel is reconstructed by means of energy measurements as the solution of a Volterra integral equation of the first kind which does not depend on the still unknown flux relaxation kernel. Then, flux measurements are used to identify the flux relaxation kernel.


title: Asymptotic Stability of Empirical Processes and Related Functionals

abstract: Let $E$ be a space of observables in a sequence of trials $\xi_n$ and define $m_n$ to be the empirical distributions of the outcomes. We discuss the almost sure convergence of the sequence $m_n$ in terms of the $\psi$-weak topology of measures, when the sequence $\xi_n$ is assumed to be stationary. In this respect, the limit variable is naturally described as a certain canonical conditional distribution. Then, given some functional $\tau$ defined on a space of laws, the consistency of the estimators $\tau(m_n)$ is investigated. Hence, a criterion for a refined notion of robustness, that applies when considering random measures, is provided in terms of the modulus of continuity of $\tau$.


title: A Price Driven Hazard Approach to User Retention

abstract: Customer loyalty is crucial for internet services since retaining users of a service to ensure the staying time of the service is of significance for increasing revenue. It demands the retention of customers to be high enough to meet the needs for yielding profit for the internet servers. Besides, the growing of rich purchasing interaction feedback helps in uncovering the inner mechanism of purchasing intent of the customers. In this work, we exploit the rich interaction data of user to build a customers retention evaluation model focusing on the return time of a user to a product. Three aspects, namely the consilience between user and product, the sensitivity of the user to price and the external influence the user might receive, are promoted to effect the purchase intents, which are jointly modeled by a probability model based on Cox's proportional hazard approach. The hazard based model provides benefits in the dynamics in user retention and it can conveniently incorporate covariates in the model. Extensive experiments on real world purchasing data have demonstrated the superiority of the proposed model over state-of-the-art algorithms.


title: Preference Modeling by Exploiting Latent Components of Ratings

abstract: Understanding user preference is essential to the optimization of recommender systems. As a feedback of user's taste, rating scores can directly reflect the preference of a given user to a given product. Uncovering the latent components of user ratings is thus of significant importance for learning user interests. In this paper, a new recommendation approach, called LCR, was proposed by investigating the latent components of user ratings. The basic idea is to decompose an existing rating into several components via a cost-sensitive learning strategy. Specifically, each rating is assigned to several latent factor models and each model is updated according to its predictive errors. Afterwards, these accumulated predictive errors of models are utilized to decompose a rating into several components, each of which is treated as an independent part to retrain the latent factor models. Finally, all latent factor models are combined linearly to estimate predictive ratings for users. In contrast to existing methods, LCR provides an intuitive preference modeling strategy via multiple component analysis at an individual perspective. Meanwhile, it is verified by the experimental results on several benchmark datasets that the proposed method is superior to the state-of-art methods in terms of recommendation accuracy.


title: Development of algorithm to model dispersed gas-liquid flow using lattice Boltzmann method

abstract: In this paper, we present the algorithm for the simulation of a single bubble rising in a stagnant liquid using Euler-Lagrangian (EL) approach. The continuous liquid phase is modeled using BGK approximation of lattice Boltzmann method (LBM), and a Lagrangian particle tracking (LPT) approach has been used to model the dispersed gas (bubble) phase. A two-way coupling scheme is implemented for the interface interaction between two phases. The simulation results are compared with the theoretical and experimental data reported in the literature and it was found that the presented modeling technique is in good agreement with the theoretical and experimental data for the relative and terminal velocity of a bubble. We also performed the grid independence test for the current model and the results show that the grid size does not affect the rationality of the results. The stability test has been done by finding the relative velocity of a bubble as a function of time for the different value of dimensionless relaxation frequency. The present study is relevant for understanding the bubble-fluid interaction module and helps to develop the accurate numerical model for bioreactor simulation.


title: K\"ahler structure on certain $C^*$-dynamical systems and the noncommutative even dimensional tori

abstract: Let $G$ be an even dimensional, connected, abelian Lie group and $(\mathcal{A}^\infty,G,\alpha,\tau)$ be a $C^*$-dynamical system equipped with a faithful $G$-invariant trace $\tau$. We show that whenever it determines a $\varTheta$-summable even spectral triple, $\mathcal{A}^\infty$ inherits a K\"ahler structure. Moreover, there are at least $\prod_{j=1,\,j\,odd}^{\,dim(G)}(dim(G)-j)$ different K\"ahler structures. In particular, whenever $\mathbb{T}^{2k}$ acts ergodically on the algebra, it inherits a K\"ahler strcture. This gives a class of examples of noncommutative K\"ahler manifolds. As a corollary, we obtain that all the noncommutative even dimensional tori, like their classical counterpart the complex tori, are noncommutative K\"ahler manifolds. We explicitly compute the space of complex differential forms for the noncommutative even dimensional tori and show that the category of holomorphic vector bundle over it is an abelian category. We also explain how the earlier set-up of Polishchuk-Schwarz for the holomorphic structure on noncommutative two-torus follows as a special case of our general framework.


title: Decision Trees for Helpdesk Advisor Graphs

abstract: We use decision trees to build a helpdesk agent reference network to facilitate the on-the-job advising of junior or less experienced staff on how to better address telecommunication customer fault reports. Such reports generate field measurements and remote measurements which, when coupled with location data and client attributes, and fused with organization-level statistics, can produce models of how support should be provided. Beyond decision support, these models can help identify staff who can act as advisors, based on the quality, consistency and predictability of dealing with complex troubleshooting reports. Advisor staff models are then used to guide less experienced staff in their decision making; thus, we advocate the deployment of a simple mechanism which exploits the availability of staff with a sound track record at the helpdesk to act as dormant tutors.


title: Core-periphery structure requires something else in the network

abstract: A network with core-periphery structure consists of core nodes that are densely interconnected. In contrast to community structure, which is a different meso-scale structure of networks, core nodes can be connected to peripheral nodes and peripheral nodes are not densely interconnected. Although core-periphery structure sounds reasonable, we argue that it is merely accounted for by heterogeneous degree distributions, if one partitions a network into a single core block and a single periphery block, which the famous Borgatti-Everett algorithm and many succeeding algorithms assume. In other words, there is a strong tendency that high-degree and low-degree nodes are judged to be core and peripheral nodes, respectively. To discuss core-periphery structure beyond the expectation of the node's degree (as described by the configuration model), we propose that one needs to assume at least one block of nodes apart from the focal core-periphery structure, such as a different core-periphery pair, community or nodes not belonging to any meso-scale structure. We propose a scalable algorithm to detect pairs of core and periphery in networks, controlling for the effect of the node's degree. We illustrate our algorithm using various empirical networks.


title: NLS approximation for wavepackets in periodic cubically nonlinear wave problems in $\mathbb{R}^d$

abstract: The dynamics of single carrier wavepackets in nonlinear wave problems over periodic structures can be often formally approximated by the constant coefficient nonlinear Schr\"odinger equation (NLS) as an effective model for the wavepacket envelope. We provide a detailed proof of this approximation result for the Gross-Pitaevskii equation (GP) and a semilinear wave equation, both with periodic coefficients in $\mathbb{N}\ni d$ spatial dimensions and with cubic nonlinearities. The proof is carried out in Bloch expansion variables with estimates in an $L^1$-type norm, which translates to an estimate of the supremum norm of the error. The regularity required from the periodic coefficients in order to ensure a small residual and a small error is discussed. We also present a numerical example in two spatial dimensions confirming the approximation result and presenting an approximate traveling solitary wave in the GP with periodic coefficients.


title: A proof of the Delta Conjecture when $q=0$

abstract: In [The Delta Conjecture, Trans. Amer. Math. Soc., to appear] Haglund, Remmel, Wilson introduce a conjecture which gives a combinatorial prediction for the result of applying a certain operator to an elementary symmetric function. This operator, defined in terms of its action on the modified Macdonald basis, has played a role in work of Garsia and Haiman on diagonal harmonics, the Hilbert scheme, and Macdonald polynomials [A. M. Garsia and M. Haiman. A remarkable $q,t$-Catalan sequence and $q$-Lagrange inversion, J. Algebraic Combin. 5 (1996), 191--244], [M. Haiman, Vanishing theorems and character formulas for the Hilbert scheme of points in the plane, Invent. Math. 149 (2002), 371-407]. The Delta Conjecture involves two parameters $q,t$; in this article we give the first proof that the Delta Conjecture is true when $q=0$ or $t=0$.


title: Liouville type theorem for the stationary equations of magneto-hydrodynamics

abstract: We show that any smooth solution $(\mathbf{u},\mathbf{H})$ to the stationary equations of magneto-hydrodynamics (MHD) belonging to both spaces $L^6 (\mathbb{R}^3)$ and $BMO^{-1}(\mathbb{R}^3)$ must be identically zero. This is an extension of previous results, all of which systematically required stronger integrability and the additional assumption $\nabla \mathbf{u}, \nabla \mathbf{H} \in L^2 (\mathbb{R}^3) $, i.e., finite Dirichlet integral.


title: iSIRA: Integrated Shift-Invert Residual Arnoldi Method for Graph Laplacian Matrices from Big Data

abstract: The eigenvalue problem of a graph Laplacian matrix $L$ arising from a simple, connected and undirected graph has been given more attention due to its extensive applications, such as spectral clustering, community detection, complex network, image processing and so on. The associated graph Laplacian matrix is symmetric, positive semi-definite, and is usually large and sparse. Computing some smallest positive eigenvalues and corresponding eigenvectors is often of interest. However, the singularity of $L$ makes the classical eigensolvers inefficient since we need to factorize $L$ for the purpose of solving large and sparse linear systems exactly. The next difficulty is that it is usually time consuming or even unavailable to factorize a large and sparse matrix arising from real network problems from big data such as social media transactional databases, and sensor systems because there is in general not only local connections. In this paper, we propose an eignsolver based on the inexact residual Arnoldi method together with an implicit remedy of the singularity and an effective deflation for convergent eigenvalues. Numerical experiments reveal that the integrated eigensolver outperforms the classical Arnoldi/Lanczos method for computing some smallest positive eigeninformation provided the LU factorization is not available.


title: New results on Higgs boson properties

abstract: We present the latest ATLAS and CMS measurements of several properties of the Higgs boson, such as signal-strength modifiers for the main production modes, fiducial and differential cross sections, and the Higgs mass. We have analyzed the 13 TeV proton-proton LHC collision data recorded in 2016, corresponding to integrated luminosities up to $36.1~{\rm fb}^{-1}$. Results for the ${\rm H\to ZZ}\to 4\ell$ (${\rm \ell = e\mu}$), ${\rm H}\to\gamma\gamma$, and ${\rm H}\to\tau\tau$ decay channels are presented. In addition, searches for new phenomena in the ${\rm H}\to\gamma\gamma + E_{\rm T}^{\rm miss}$ and ${\rm H}\to{\rm b\bar{b}} + E_{\rm T}^{\rm miss}$ decay channels are presented.


title: The influence of the choice of post-processing method on Bell inequalities

abstract: In every experimental test of a Bell inequality, we are faced with the problem of inefficient detectors. How we treat the events when no particle was detected has a big influence on the properties of the inequality. In this work, we study this influence. We show that the choice of post-processing can change the critical detection efficiency, the equivalence between different inequalities or the applicability of the non-signaling principle. We also consider the problem of choosing the optimal post-processing strategy. We show that this is a non-trivial problem and that different strategies are optimal for different ranges of detector efficiencies.


title: Evaluation of Availability of Initial-segments of Video Files in Device-to-Device (D2D) Network

abstract: We propose a new caching concept in which wireless nodes in Device-to-Device (D2D) network can cache the initial-segments of the popular video files and may share to users in their proximity upon request. We term this approach as Bootstrapping- D2D (B-D2D) system. Our findings suggest that caching only initial-segments creates a large pool of popular files, thus improving the probability of availability of initial-segments within the vicinity of the requesting users. Our proposed B-D2D system is based on a popular clustering algorithm called density-based spatial clustering of applications with noise (DBSCAN), that groups the users into dense and arbitrary shape clusters based on two predefined thresholds. We then formulate an optimization problem to maximize the probability of availability of initial-segments within the transmission range of requesting wireless devices. The simulation results demonstrate that, caching the initial video segments could substantially improve the availability of segments within the proximity of users without requiring any extra hardware infrastructure cost, and D2D services could be utilized to deliver the video contents with lower startup delays in cellular networks.


title: Emerging from Water: Underwater Image Color Correction Based on Weakly Supervised Color Transfer

abstract: Underwater vision suffers from severe effects due to selective attenuation and scattering when light propagates through water. Such degradation not only affects the quality of underwater images but limits the ability of vision tasks. Different from existing methods which either ignore the wavelength dependency of the attenuation or assume a specific spectral profile, we tackle color distortion problem of underwater image from a new view. In this letter, we propose a weakly supervised color transfer method to correct color distortion, which relaxes the need of paired underwater images for training and allows for the underwater images unknown where were taken. Inspired by Cycle-Consistent Adversarial Networks, we design a multi-term loss function including adversarial loss, cycle consistency loss, and SSIM (Structural Similarity Index Measure) loss, which allows the content and structure of the corrected result the same as the input, but the color as if the image was taken without the water. Experiments on underwater images captured under diverse scenes show that our method produces visually pleasing results, even outperforms the art-of-the-state methods. Besides, our method can improve the performance of vision tasks.


title: Asymptotics of parameterized exponential integrals given by Brownian motion on globally subanalytic sets

abstract: We consider parameterized exponential integrals coming from the time evolution of the probability distribution of Brownian motion on globally subanalytic sets. We establish definability results and asymptotic expansions.


title: The (restricted) Inomata-McKinley spinor representation and the underlying topology

abstract: The so called Inomata-McKinley spinors are a particular solution of the non-linear Heisenberg equation. In fact, free linear massive (or mass-less) Dirac fields are well known to be represented as a combination of Inomata-McKinley spinors. More recently, a subclass of Inomata-McKinley spinors were used to describe neutrino physics. In this paper we show that Dirac spinors undergoing this restricted Inomata-McKinley decomposition are necessarily of the first type, according to the Lounesto classification. Moreover, we also show that this type one subclass spinors has not an exotic counterpart. Finally, implications of these results are discussed, regarding the understanding of the spacetime background topology.


title: Does Campaigning on Social Media Make a Difference? Evidence from candidate use of Twitter during the 2015 and 2017 UK Elections

abstract: Social media are now a routine part of political campaigns all over the world. However, studies of the impact of campaigning on social platform have thus far been limited to cross-sectional datasets from one election period which are vulnerable to unobserved variable bias. Hence empirical evidence on the effectiveness of political social media activity is thin. We address this deficit by analysing a novel panel dataset of political Twitter activity in the 2015 and 2017 elections in the United Kingdom. We find that Twitter based campaigning does seem to help win votes, a finding which is consistent across a variety of different model specifications including a first difference regression. The impact of Twitter use is small in absolute terms, though comparable with that of campaign spending. Our data also support the idea that effects are mediated through other communication channels, hence challenging the relevance of engaging in an interactive fashion.


title: Fusion systems containing pearls

abstract: An $\mathcal{F}$-essential subgroup is called a pearl if it is either elementary abelian of order $p^2$ or non-abelian of order $p^3$. In this paper we start the investigation of fusion systems containing pearls: we determine a bound for the order of $p$-groups containing pearls and we classify the saturated fusion systems on $p$-groups containing pearls and having sectional rank at most $4$.


title: Spanning tree with lower bound on the degrees

abstract: We concentrate on some recent results of Egawa and Ozeki [J. Graph Theory, 2015 and Combinatorica, 2014], and He et al. [J. Graph Theory, 2002]. We give shorter proofs and polynomial time algorithms as well. We present two new proofs for the sufficient condition for having a spanning tree with prescribed lower bounds on the degrees, achieved recently by Egawa and Ozeki. The first one is a natural proof using induction, and the second one is a simple reduction to the theorem of Lov\'asz. Using an algorithm of Frank we show that the condition of the theorem can be checked in time $O(m\sqrt{n})$, and moreover, in the same running time -- if the condition is satisfied -- we can also generate the spanning tree required. This gives the first polynomial time algorithm for this problem. Next we show a nice application of this theorem for the simplest case of the Weak Nine Dragon Tree Conjecture, and for the game coloring number of planar graphs, first discovered by He et al. Finally, we give a shorter proof and a polynomial time algorithm for a good characterization of having a spanning tree with prescribed degree lower bounds, for the special case when $G[S]$ is a cograph, where $S$ is the set of the vertices having degree lower bound prescription at least two. This theorem was proved by Egawa and Ozeki in 2014 while they did not give a polynomial time algorithm.