title: Fast in-database cross-matching of high-cadence, high-density source lists with an up-to-date sky model

abstract: Coming high-cadence wide-field optical telescopes will image hundreds of thousands of sources per minute. Besides inspecting the near real-time data streams for transient and variability events, the accumulated data archive is a wealthy laboratory for making complementary scientific discoveries. The goal of this work is to optimise column-oriented database techniques to enable the construction of a full-source and light-curve database for large-scale surveys, that is accessible by the astronomical community. We adopted LOFAR's Transients Pipeline as the baseline and modified it to enable the processing of optical images that have much higher source densities. The pipeline adds new source lists to the archive database, while cross-matching them with the known cataloged sources in order to build a full light-curve archive. We investigated several techniques of indexing and partitioning the largest tables, allowing for faster positional source look-ups in the cross matching algorithms. We monitored all query run times in long-term pipeline runs where we processed a subset of IPHAS data that have image source density peaks over $170,000$ per field of view ($500,000$ deg$^{-2}$). Our analysis demonstrates that horizontal table partitions of declination widths of one-degree control the query run times. Usage of an index strategy where the partitions are densily sorted according to source declination yields another improvement. Most queries run in sublinear time and a few (<20%) run in linear time, because of dependencies on input source-list and result-set size. We observed that for this logical database partitioning schema the limiting cadence the pipeline achieved with processing IPHAS data is 25 seconds.


title: Randomized linear algebra for model reduction. Part I: Galerkin methods and error estimation

abstract: We propose a probabilistic way for reducing the cost of classical projection-based model order reduction methods for parameter-dependent linear equations. A reduced order model is here approximated from its random sketch, which is a set of low-dimensional random projections of the reduced approximation space and the spaces of associated residuals. This approach exploits the fact that the residuals associated with approximations in low-dimensional spaces are also contained in low-dimensional spaces. We provide conditions on the dimension of the random sketch for the resulting reduced order model to be quasi-optimal with high probability. Our approach can be used for reducing both complexity and memory requirements. The provided algorithms are well suited for any modern computational environment. Major operations, except solving linear systems of equations, are embarrassingly parallel. Our version of proper orthogonal decomposition can be computed on multiple workstations with a communication cost independent of the dimension of the full order model. The reduced order model can even be constructed in a so-called streaming environment, i.e., under extreme memory constraints. In addition, we provide an efficient way for estimating the error of the reduced order model, which is not only more efficient than the classical approach but is also less sensitive to round-off errors. Finally, the methodology is validated on benchmark problems.


title: Gaussian Process Latent Variable Alignment Learning

abstract: We present a model that can automatically learn alignments between high-dimensional data in an unsupervised manner. Our proposed method casts alignment learning in a framework where both alignment and data are modelled simultaneously. Further, we automatically infer groupings of different types of sequences within the same dataset. We derive a probabilistic model built on non-parametric priors that allows for flexible warps while at the same time providing means to specify interpretable constraints. We demonstrate the efficacy of our approach with superior quantitative performance to the state-of-the-art approaches and provide examples to illustrate the versatility of our model in automatic inference of sequence groupings, absent from previous approaches, as well as easy specification of high level priors for different modalities of data.


title: On certain semigroups of partial contractions of a finite chain

abstract: Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{P}_{n}$ be the semigroup of partial transformations on $[n]$. Let $\mathcal{CP}_{n}=\{\alpha\in \mathcal{P}_{n}: (for ~all~x,y\in Dom~\alpha)~|x\alpha-y\alpha|\leq|x-y|\}$ be the subsemigroup of partial contraction mappings on $[n]$. We have shown that the semigroup $\mathcal{CP}_{n}$ and some of its subsemigroups are nonregular left abundant semigroups for all $n$ but not right abundant for $n\geq 4$.


title: Successive Wyner-Ziv Coding for the Binary CEO Problem under Log-Loss

abstract: An $l$-link binary CEO problem is considered in this paper. We present a practical encoding and decoding scheme for this problem employing the graph-based codes. A successive coding scheme is proposed for converting an $l$-link binary CEO problem to the $(2l-1)$ single binary Wyner-Ziv (WZ) problems. By using the compound LDGM-LDPC codes, the theoretical bound of each binary WZ is asymptotically achievable. Our proposed decoder successively decodes the received data by employing the well-known Sum-Product (SP) algorithm and leverages them to reconstruct the source. The sum-rate distortion performance of our proposed coding scheme is compared with the theoretical bounds under the logarithmic loss (log-loss) criterion.


title: Frequency-dependent Alfv\'en-wave propagation in the solar wind: Onset and suppression of parametric decay instability

abstract: Using numerical simulations, we investigate the onset and suppression of parametric decay instability (PDI) in the solar wind, focusing on the suppression effect by the wind acceleration and expansion. We also discuss the role of PDI in generating the density fluctuation in the solar wind and the cross-helicity evolution up to $1 {\rm \ au}$. Numerical simulations from the coronal base to 1 au are conducted in a self-consistent manner; we take into account the feedback of wave energy and pressure in the background. Monochromatic waves with various injection frequencies $f_0$ are injected to discuss the suppression of PDI, while broadband waves are applied to compare the numerical results with observation. We find, via the simulations with monochromatic waves, that high-frequency ($f_0 \gtrsim10^{-3} {\rm \ Hz}$) Alfv\'en waves are subject to PDI. Meanwhile, the maximum growth rate of the PDI of low-frequency ($f_0 \lesssim10^{-4} {\rm \ Hz}$) Alfv\'en waves becomes negative due to acceleration and expansion effects. Medium-frequency ($f_0 \approx 10^{-3.5} {\rm \ Hz}$) Alfv\'en waves have a positive growth rate but do not show the signature of PDI up to 1 au because the growth rate is too small. The medium-frequency waves experience neither PDI nor reflection so they propagate through the solar wind most efficiently. This is called the frequency-filtering mechanism of the solar wind. The simulations with broadband waves indicate that the observed trend of the density fluctuation is well explained by the evolution of PDI while the observed cross-helicity evolution is in agreement with low-frequency wave propagation.


title: Spheroidal and conical shapes of ferrofluid-filled capsules in magnetic fields

abstract: We investigate the deformation of soft spherical elastic capsules filled with a ferrofluid in external uniform magnetic fields at fixed volume by a combination of numerical and analytical approaches. We develop a numerical iterative solution strategy based on nonlinear elastic shape equations to calculate the stretched capsule shape numerically and a coupled finite element and boundary element method to solve the corresponding magnetostatic problem, and employ analytical linear response theory, approximative energy minimization, and slender-body theory. The observed deformation behavior is qualitatively similar to the deformation of ferrofluid droplets in uniform magnetic fields. Homogeneous magnetic fields elongate the capsule, and a discontinuous shape transition from a spheroidal shape to a conical shape takes place at a critical field strength. We investigate how capsule elasticity modifies this hysteretic shape transition. We show that conical capsule shapes are possible but involve diverging stretch factors at the tips, which gives rise to rupture for real capsule materials. In a slender-body approximation we find that the critical susceptibility above which conical shapes occur for ferrofluid capsules is the same as for droplets. At small fields capsules remain spheroidal, and we characterize the deformation of spheroidal capsules both analytically and numerically. Finally, we determine whether wrinkling of a spheroidal capsule occurs during elongation in a magnetic field and how it modifies the stretching behavior. We find the nontrivial dependence between the extent of the wrinkled region and capsule elongation. Our results can be helpful in order to quantitatively determine capsule or ferrofluid material properties from magnetic deformation experiments. All results also apply to elastic capsules filled with a dielectric liquid in an external uniform electric field.


title: Multiferroicity of CuCrO2 tested by ESR

abstract: We have carried out the ESR study of the multiferroic triangular antiferromagnet CuCrO2 in the presence of an electric field. The shift of ESR spectra by the electric field was observed; the observed value of the shift exceeds that one in materials with linear magnetoelectric coupling. It was shown that the low-frequency dynamics of magnetically ordered CuCrO2 is defined by joint oscillations of the spin plane and electric polarization. The results demonstrate qualitative and quantitative agreement with theoretical expectations of a phenomenological model (V.I. Marchenko (2014)).


title: Experimental Determination of Configurational Entropy in a Two-Dimensional Liquid under Random Pinning

abstract: A quasi two-dimensional colloidal suspension is studied under the influence of immobilisation (pinning) of a random fraction of its particles. We introduce a novel experimental method to perform random pinning and, with the support of numerical simulation, we find that increasing the pinning concentration smoothly arrests the system, with a cross-over from a regime of high mobility and high entropy to a regime of low mobility and low entropy. At the local level, we study fluctuations in area fraction and concentration of pins and map them to entropic structural signatures and local mobility, obtaining a measure for the local entropic fluctuations of the experimental system.


title: Submanifolds of Generalized Sasakian-space-forms with respect to certain connections

abstract: The present paper deals with some results of submanifolds of generalized Sasakian-space-forms in \cite{ALEGRE3} with respect to semisymmetric metric connection, semisymmetric non-metric connection, Schouten-van Kampen connection and Tanaka-webster connection.


title: Magnetoresistance in Hybrid Pt/CoFe2O4 Bilayers Controlled by Competing Spin Accumulation and Interfacial Chemical Reconstruction

abstract: Pure spin currents hold promises for an energy-friendlier spintronics. They can be generated by a flow of charge along a non-magnetic metal having a large spin-orbit coupling. It produces a spin accumulation at its surfaces, controllable by the magnetization of an adjacent ferromagnetic layer. Paramagnetic metals typically used are close to a ferromagnetic instability and thus magnetic proximity effects can contribute to the observed angular-dependent magnetoresistance (ADMR). As interface phenomena govern the spin conductance across the metal/ferromagnetic-insulator heterostructures, unraveling these distinct contributions is pivotal to full understanding of spin current conductance. We report here x-ray absorption and magnetic circular dichroism (XMCD) at Pt-M and (Co,Fe)-L absorption edges and atomically-resolved energy loss electron spectroscopy (EELS) data of Pt/CoFe2O4 bilayers where CoFe2O4 layers have been capped by Pt grown at different temperatures. It turns out that the ADMR differs dramatically, being either dominated by spin Hall magnetoresistance (SMR) associated to spin Hall effect or anisotropic magnetoresistance (AMR). The XMCD and EELS data indicate that the Pt layer grown at room temperature does not display any magnetic moment, whereas when grown at higher temperature it is magnetic due to interfacial Pt-(Co,Fe) alloying. These results allow disentangling spin accumulation from interfacial chemical reconstructions and for tailoring the angular dependent magnetoresistance.


title: Single View Stereo Matching

abstract: Previous monocular depth estimation methods take a single view and directly regress the expected results. Though recent advances are made by applying geometrically inspired loss functions during training, the inference procedure does not explicitly impose any geometrical constraint. Therefore these models purely rely on the quality of data and the effectiveness of learning to generalize. This either leads to suboptimal results or the demand of huge amount of expensive ground truth labelled data to generate reasonable results. In this paper, we show for the first time that the monocular depth estimation problem can be reformulated as two sub-problems, a view synthesis procedure followed by stereo matching, with two intriguing properties, namely i) geometrical constraints can be explicitly imposed during inference; ii) demand on labelled depth data can be greatly alleviated. We show that the whole pipeline can still be trained in an end-to-end fashion and this new formulation plays a critical role in advancing the performance. The resulting model outperforms all the previous monocular depth estimation methods as well as the stereo block matching method in the challenging KITTI dataset by only using a small number of real training data. The model also generalizes well to other monocular depth estimation benchmarks. We also discuss the implications and the advantages of solving monocular depth estimation using stereo methods.


title: Correct by Construction Resource-based Process Composition

abstract: The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Logic (CLL) for correct-by-construction resource-based process composition. Abstract processes are specified as CLL sequents describing the types of input and output resources. The proofs-as-processes paradigm and its recent evolutions enable the composition of such processes via logical inference, with mathematical guarantees when it comes to concurrent execution, deadlock freedom, and systematic resource accounting. We introduce algorithms to automate the necessary inference steps for binary compositions of processes in parallel, conditionally, and in sequence. We combine decision procedures and heuristics to achieve intuitive and practically useful compositions in an applied setting. Our work is implemented within the formal setting of the HOL Light proof assistant and incorporated in the WorkflowFM prototype to facilitate diagrammatic, correct-by-construction process workflows.


title: The plasmonic resonances of a bowtie antenna

abstract: Metallic bowtie-shaped nanostructures are very interesting objects in optics, due to their capability of localizing and enhancing electromagnetic fields in the vicinity of their central neck. In this article, we investigate the electrostatic plasmonic resonances of two-dimensional bowtie-shaped domains by looking at the spectrum of their Poincar\'e variational operator. In particular, we show that the latter only consists of essential spectrum and fills the whole interval $[0,1]$. This behavior is very different from what occurs in the counterpart situation of a bowtie domain with only close-to-touching wings, a case where the essential spectrum of the Poincar\'e variational operator is reduced to an interval strictly contained in $[0,1]$. We provide an explanation for this difference by showing that the spectrum of the Poincar\'e variational operator of bowtie-shaped domains with close-to-touching wings has eigenvalues which densify and eventually fill the remaining intervals as the distance between the two wings tends to zero.


title: A Novel Canonical Duality Theory for Solving 3-D Topology Optimization Problems

abstract: This paper demonstrates a mathematically correct and computationally powerful method for solving 3D topology optimization problems. This method is based on canonical duality theory (CDT) developed by Gao in nonconvex mechanics and global optimization. It shows that the so-called NP-hard knapsack problem in topology optimization can be solved deterministically in polynomial time via a canonical penalty-duality (CPD) method to obtain precise 0-1 global optimal solution at each volume evolution. The relation between this CPD method and Gao's pure complementary energy principle is revealed for the first time. A CPD algorithm is proposed for 3-D topology optimization of linear elastic structures. Its novelty is demonstrated by benchmark problems. Results show that without using any artificial technique, the CPD method can provide mechanically sound optimal design, also it is much more powerful than the well-known BESO and SIMP methods. Additionally, computational complexity and conceptual/mathematical mistakes in topology optimization modeling and popular methods are explicitly addressed.


title: Supersingular Hecke modules as Galois representations

abstract: Let $F$ be a local field of mixed characteristic, let $k$ be a finite extension of its residue field, let ${\mathcal H}$ be the pro-$p$-Iwahori Hecke $k$-algebra attached to ${\rm GL}_{d+1}(F)$ for some $d\ge1$. We construct an exact and fully faithful functor from the category of supersingular ${\mathcal H}$-modules to the category of ${\rm Gal}(\overline{F}/F)$-representations over $k$. More generally, for a certain $k$-algebra ${\mathcal H}^{\sharp}$ surjecting onto ${\mathcal H}$ we define the notion of $\sharp$-supersingular modules and construct an exact and fully faithful functor from the category of $\sharp$-supersingular ${\mathcal H}^{\sharp}$-modules to the category of ${\rm Gal}(\overline{F}/F)$-representations over $k$.


title: A BGK model for high temperature rarefied gas flows

abstract: High temperature gases, for instance in hypersonic reentry flows, show complex phenomena like excitation of rotational and vibrational energy modes, and even chemical reactions. For flows in the continuous regime, simulation codes use analytic or tabulated constitutive laws for pressure and temperature. In this paper, we propose a BGK model which is consistent with any arbitrary constitutive laws, and which is designed to make high temperature gas flow simulations in the rarefied regime. A Chapman-Enskog analysis gives the corresponding transport coefficients. Our approach is illustrated by a numerical comparison with a compressible Navier-Stokes solver with rotational and vibrational non equilibrium. The BGK approach gives a deterministic solver with a computational cost which is close to that of a simple monoatomic gas.


title: Time-reversal symmetry breaking in superconductors through loop super-current order

abstract: We propose a superconducting instability where microscopic supercurrent loops form spontaneously within a unit cell at the superconducting transition temperature with only uniform, onsite and intra-orbital singlet pairing. As a result of the circulating currents time-reversal symmetry is spontaneously broken in the superconducting state. Using Ginzburg-Landau theory, we describe in detail how these currents emerge in a toy model. We discuss the crystallographic symmetry requirements to realize such a state and show that they are met by the Re6X (X=Zr, Hf, Ti) family of time-reversal symmetry breaking, but otherwise seemingly conventional, superconductors. We estimate an upper bound for the resulting internal fields and find it to be consistent with recent muon-spin relaxation experiments.


title: Active Matter Alters the Growth Dynamics of Coffee Rings

abstract: How particles are deposited at the edge of evaporating droplets, i.e. the {\em coffee ring} effect, plays a crucial role in phenomena as diverse as thin-film deposition, self-assembly, and biofilm formation. Recently, microorganisms have been shown to passively exploit and alter these deposition dynamics to increase their survival chances under harshening conditions. Here, we show that, as the droplet evaporation rate slows down, bacterial mobility starts playing a major role in determining the growth dynamics of the edge of drying droplets. Such motility-induced dynamics can influence several biophysical phenomena, from the formation of biofilms to the spreading of pathogens in humid environments and on surfaces subject to periodic drying. Analogous dynamics in other active matter systems can be exploited for technological applications in printing, coating, and self-assembly, where the standard coffee-ring effect is often a nuisance.


title: Mimicking dark matter and dark energy in a mimetic model compatible with GW170817

abstract: The recent observation of the the gravitational wave event GW170817 and of its electromagnetic counterpart GRB170817A, from a binary neutron star merger, has established that the speed of gravitational waves deviates from the speed of light by less than one part in $10^{15}$. As a consequence, many extensions of General Relativity are inevitably ruled out. Among these we find the most relevant sectors of Horndeski gravity. In its original formulation, mimetic gravity is able to mimic cosmological dark matter, has tensorial perturbations that travel exactly at the speed of light but has vanishing scalar perturbations and this fact persists if we combine mimetic with Horndeski gravity. In this work, we show that implementing the mimetic gravity action with higher-order terms that break the Horndeski structure yields a cosmological model that satisfies the constraint on the speed of gravitational waves and mimics both dark energy and dark matter with a non-vanishing speed of sound. In this way, we are able to reproduce the $\Lambda$CDM cosmological model without introducing particle cold dark matter.


title: Partition games

abstract: We introduce CUT, the class of 2-player partition games. These are NIM type games, played on a finite number of heaps of beans. The rules are given by a set of positive integers, which specifies the number of allowed splits a player can perform on a single heap. In normal play, the player with the last move wins, and the famous Sprague-Grundy theory provides a solution. We prove that several rulesets have a periodic or an arithmetic periodic Sprague-Grundy sequence (i.e. they can be partitioned into a finite number of arithmetic progressions of the same common difference). This is achieved directly for some infinite classes of games, and moreover we develop a computational testing condition, demonstrated to solve a variety of additional games. Similar results have previously appeared for various classes of games of take-and-break, for example octal and hexadecimal; see e.g. Winning Ways by Berlekamp, Conway and Guy (1982). In this context, our contribution consists of a systematic study of the subclass `break-without-take'.


title: 3D Human Pose Estimation in RGBD Images for Robotic Task Learning

abstract: We propose an approach to estimate 3D human pose in real world units from a single RGBD image and show that it exceeds performance of monocular 3D pose estimation approaches from color as well as pose estimation exclusively from depth. Our approach builds on robust human keypoint detectors for color images and incorporates depth for lifting into 3D. We combine the system with our learning from demonstration framework to instruct a service robot without the need of markers. Experiments in real world settings demonstrate that our approach enables a PR2 robot to imitate manipulation actions observed from a human teacher.


title: TRLG: Fragile blind quad watermarking for image tamper detection and recovery by providing compact digests with quality optimized using LWT and GA

abstract: In this paper, an efficient fragile blind quad watermarking scheme for image tamper detection and recovery based on lifting wavelet transform and genetic algorithm is proposed. TRLG generates four compact digests with super quality based on lifting wavelet transform and halftoning technique by distinguishing the types of image blocks. In other words, for each 2*2 non-overlap blocks, four chances for recovering destroyed blocks are considered. A special parameter estimation technique based on genetic algorithm is performed to improve and optimize the quality of digests and watermarked image. Furthermore, CCS map is used to determine the mapping block for embedding information, encrypting and confusing the embedded information. In order to improve the recovery rate, Mirror-aside and Partner-block are proposed. The experiments that have been conducted to evaluate the performance of TRLG proved the superiority in terms of quality of the watermarked and recovered image, tamper localization and security compared with state-of-the-art methods. The results indicate that the PSNR and SSIM of the watermarked image are about 46 dB and approximately one, respectively. Also, the mean of PSNR and SSIM of several recovered images which has been destroyed about 90% is reached to 24 dB and 0.86, respectively.


title: Smaller Universes for Uniform Sampling of 0,1-matrices with fixed row and column sums

abstract: An important problem arising in the study of complex networks, for instance in community detection and motif finding, is the sampling of graphs with fixed degree sequence. The equivalent problem of generating random 0,1 matrices with fixed row and column sums is frequently used as a quantitative tool in ecology. It has however proven very challenging to design sampling algorithms that are both fast and unbiased. This article focusses on Markov chain approaches for sampling, where a close-to-random graph is produced by applying a large number N of small changes to a given graph. Examples are the switch chain and Curveball chain, which are both commonly used by practitioners as they are easy to implement and known to sample unbiased when N is large enough. Within theoretical research, much effort has gone into proving bounds on N. However, existing theoretical bounds are impractically large for most applications while experiments suggest that much fewer steps are needed to obtain a good sample. The contribution of this article is twofold. Firstly it is a step towards better understanding of the discrepancy between experimental observations and theoretically proven bounds. In particular, we argue that while existing Markov chain algorithms run on the set of all labelled graphs with a given degree sequence, node labels are unimportant in practice and are usually ignored in determining experimental bounds. We prove that ignoring node labels corresponds to projecting a Markov chain onto equivalence classes of isomorphic graphs and that the resulting projected Markov chain converges to its stationary distribution at least as fast as the original Markov chain. Often convergence is much faster, as we show in examples, explaining part of the difference between theory and experiments...


title: A new Multifractional Process with Random Exponent

abstract: A first type of Multifractional Process with Random Exponent (MPRE) was constructed several years ago in (Ayache, Taqqu, 2005) by replacing in a wavelet series representation of Fractional Brownian Motion (FBM) the Hurst parameter by a random variable depending on the time variable. In the present article, we propose another approach for constructing another type of MPRE. It consists in substituting to the Hurst parameter, in a stochastic integral representation of the high-frequency part of FBM, a random variable depending on the integration variable. The MPRE obtained in this way offers, among other things, the advantages to have a representation through classical It\^o integral and to be less difficult to simulate than the first type of MPRE, previously introduced in (Ayache, Taqqu, 2005). Yet, the study of H\"older regularity of this new MPRE is a significantly more challenging problem than in the case of the previous one. Actually, it requires to develop a new methodology relying on an extensive use of the Haar basis.


title: Inferring health conditions from fMRI-graph data

abstract: Automated classification methods for disease diagnosis are currently in the limelight, especially for imaging data. Classification does not fully meet a clinician's needs, however: in order to combine the results of multiple tests and decide on a course of treatment, a clinician needs the likelihood of a given health condition rather than binary classification yielded by such methods. We illustrate how likelihoods can be derived step by step from first principles and approximations, and how they can be assessed and selected, illustrating our approach using fMRI data from a publicly available data set containing schizophrenic and healthy control subjects. We start from the basic assumption of partial exchangeability, and then the notion of sufficient statistics and the "method of translation" (Edgeworth, 1898) combined with conjugate priors. This method can be used to construct a likelihood that can be used to compare different data-reduction algorithms. Despite the simplifications and possibly unrealistic assumptions used to illustrate the method, we obtain classification results comparable to previous, more realistic studies about schizophrenia, whilst yielding likelihoods that can naturally be combined with the results of other diagnostic tests.


title: Inferencing Based on Unsupervised Learning of Disentangled Representations

abstract: Combining Generative Adversarial Networks (GANs) with encoders that learn to encode data points has shown promising results in learning data representations in an unsupervised way. We propose a framework that combines an encoder and a generator to learn disentangled representations which encode meaningful information about the data distribution without the need for any labels. While current approaches focus mostly on the generative aspects of GANs, our framework can be used to perform inference on both real and generated data points. Experiments on several data sets show that the encoder learns interpretable, disentangled representations which encode descriptive properties and can be used to sample images that exhibit specific characteristics.


title: Exploring out-of-equilibrium quantum magnetism and thermalization in a spin-3 many-body dipolar lattice system

abstract: Understanding quantum thermalization through entanglement build-up in isolated quantum systems addresses fundamental questions on how unitary dynamics connects to statistical physics. Here, we study the spin dynamics and approach towards local thermal equilibrium of a macroscopic ensemble of S = 3 spins prepared in a pure coherent spin state, tilted compared to the magnetic field, under the effect of magnetic dipole-dipole interactions. The experiment uses a unit filled array of 104 chromium atoms in a three dimensional optical lattice, realizing the spin-3 XXZ Heisenberg model. The buildup of quantum correlation during the dynamics, especially as the angle approaches pi/2, is supported by comparison with an improved numerical quantum phase-space method and further confirmed by the observation that our isolated system thermalizes under its own dynamics, reaching a steady state consistent with the one extracted from a thermal ensemble with a temperature dictated from the system's energy. This indicates a scenario of quantum thermalization which is tied to the growth of entanglement entropy. Although direct experimental measurements of the Renyi entropy in our macroscopic system are unfeasible, the excellent agreement with the theory, which can compute this entropy, does indicate entanglement build-up.


title: The primordial magnetic field in our cosmic backyard

abstract: We reconstruct the 3D structure of magnetic fields, which were seeded by density perturbations during the radiation dominated epoch of the Universe and later on were evolved by structure formation. To achieve this goal, we rely on three dimensional initial density fields inferred from the 2M++ galaxy compilation via the Bayesian $\texttt{BORG}$ algorithm. Using those, we estimate the magnetogenesis by the so called Harrison mechanism. This effect produced magnetic fields exploiting the different photon drag on electrons and ions in vortical motions, which are exited due to second order perturbation effects in the Early Universe. Subsequently we study the evolution of these seed fields through the non-linear cosmic structure formation by virtue of a MHD simulation to obtain a 3D estimate for the structure of this primordial magnetic field component today. At recombination we obtain a reliable lower limit on the large scale magnetic field strength around $10^{-23} \mathrm{G}$, with a power spectrum peaking at about $ 2\, \mathrm{Mpc}^{-1}h$ in comoving scales. At present we expect this evolved primordial field to have strengthts above $\approx 10^{-27}\, \mathrm{G}$ and $\approx 10^{-29}\, \mathrm{G}$ in clusters of galaxies and voids, respectively. We also calculate the corresponding Faraday rotation measure map and show the magnetic field morphology and strength for specific objects of the Local Universe.


title: Quantitative analysis of the potential role of basal cell hyperplasia in the relationship between clonal expansion and radon concentration

abstract: Applying the two-stage clonal expansion model to epidemiology of lung cancer among uranium miners, it has been revealed that radon acts as a promoting agent facilitating the clonal expansion of already mutated cells. Clonal expansion rate increases non-linearly by radon concentration showing a plateau above a given exposure rate. The underlying mechanisms remain unclear. Earlier we proposed that progenitor cell hyperplasia may be induced upon chronic radon exposure. The objective of the present study is to test whether the induction of hyperplasia may provide a quantitative explanation for the plateau in clonal expansion rate. For this purpose, numerical epithelium models were prepared with different number of basal cells. Cell nucleus hits were computed by an own-developed Monte-Carlo code. Surviving fractions were estimated based on the number of cell nucleus hits. Cell division rate was computed supposing equilibrium between cell death and cell division. It was also supposed that clonal expansion rate is proportional to cell division rate, and therefore the relative increase in cell division rate and clonal expansion rate are the same functions of exposure rate. While the simulation results highly depend on model parameters with high uncertainty, a parameter set has been found resulting in a cell division rate exposure rate relationship corresponding to the plateau in clonal expansion rate. Due to the high uncertainty of the applied parameters, however, further studies are required to decide whether the induction of hyperplasia is responsible for the non-linear increase in clonal expansion rate or not. Nevertheless the present study exemplifies how computational modelling can contribute to the integration of observational and experimental radiation protection research.


title: Resonance eigenfunction hypothesis for chaotic systems

abstract: A hypothesis about the average phase-space distribution of resonance eigenfunctions in chaotic systems with escape through an opening is proposed. Eigenfunctions with decay rate $\gamma$ are described by a classical measure that $(i)$ is conditionally invariant with classical decay rate $\gamma$ and $(ii)$ is uniformly distributed on sets with the same temporal distance to the quantum resolved chaotic saddle. This explains the localization of fast-decaying resonance eigenfunctions classically. It is found to occur in the phase-space region having the largest distance to the chaotic saddle. We discuss the dependence on the decay rate $\gamma$ and the semiclassical limit. The hypothesis is numerically demonstrated for the standard map.


title: Extracting Action Sequences from Texts Based on Deep Reinforcement Learning

abstract: Extracting action sequences from natural language texts is challenging, as it requires commonsense inferences based on world knowledge. Although there has been work on extracting action scripts, instructions, navigation actions, etc., they require that either the set of candidate actions be provided in advance, or that action descriptions are restricted to a specific form, e.g., description templates. In this paper, we aim to extract action sequences from texts in free natural language, i.e., without any restricted templates, provided the candidate set of actions is unknown. We propose to extract action sequences from texts based on the deep reinforcement learning framework. Specifically, we view "selecting" or "eliminating" words from texts as "actions", and the texts associated with actions as "states". We then build Q-networks to learn the policy of extracting actions and extract plans from the labeled texts. We demonstrate the effectiveness of our approach on several datasets with comparison to state-of-the-art approaches, including online experiments interacting with humans.


title: Magnetic-field-induced crossover from the inverse Faraday effect to the optical orientation in EuTe

abstract: A time-resolved optical pump-probe technique has been applied for studying the ultrafast dynamics in the magnetic semiconductor EuTe near the absorption band gap. We show that application of external magnetic field up to 6 T results in crossover from the inverse Faraday effect taking place on the femtosecond time scale to the optical orientation phenomenon with an evolution in the picosecond time domain. We propose a model which includes both these processes possessing different spectral and temporal properties. The circularly polarized optical pumping induces the optical electronic transition $4f^75d^0 \rightarrow 4f^65d^1$ forming the absorption band gap in EuTe. The observed crossover is related to a strong magnetic-field shift of the band gap in EuTe at low temperatures. It was found that manipulation of spin states on intrinsic defect levels takes place on a time scale of 19 ps in the applied magnetic field of 6 T.


title: Properties of the chemostat model with aggregated biomass

abstract: We revisit the well-known chemostat model, considering that bacteria can be attached together in aggregates or flocs. We distinguish explicitly free and attached compartments in the model and give sufficient conditions for coexistence of these two forms. We then study the case of fast attachment and detachment and shows how it is related to density-dependent growth functions. Finally, we give some insights concerning the cases of multi-specific flocs and different removal rates.


title: Energetic gamma-ray emission from solar flares

abstract: Recent advances in the $\gamma$-ray observations of solar flares by the \textit{Fermi} satellite, demand revisions in the hadronic $\gamma$-ray flux computation below 1 GeV. In this work we utilize recently updated pion production cross sections, along with an accurate description of low energy nuclear interactions. Applying these new interaction descriptions to model the \textit{Fermi} Large Area Telescope (LAT) solar flare data, we infer the primary particle spectral parameters. Application of this new cross section description leads to significantly different spectral parameters compared to those obtained previously. Furthermore, the inclusion of nuclei in these calculations leads to a primary spectrum that is generally harder than that required from proton only considerations. Lastly, the flare data at lower MeV energies, detected by the \textit{Fermi} Gamma-ray Burst Monitor (GBM), is demonstrated to provide additional low-energy spectral information.


title: Topological invariants in dissipative extensions of the Su-Schrieffer-Heeger model

abstract: We investigate dissipative extensions of the Su-Schrieffer-Heeger model with regard to different approaches of modeling dissipation. In doing so, we use two distinct frameworks to describe the gain and loss of particles, one uses Lindblad operators within the scope of Lindblad master equations, the other uses complex potentials as an effective description of dissipation. The reservoirs are chosen in such a way that the non-Hermitian complex potentials are $\mathcal{PT}$-symmetric. From the effective theory we extract a state which has similar properties as the non-equilibrium steady state following from Lindblad master equations with respect to lattice site occupation. We find considerable similarities in the spectra of the effective Hamiltonian and the corresponding Liouvillean. Further, we generalize the concept of the Zak phase to the dissipative scenario in terms of the Lindblad description and relate it to the topological phases of the underlying Hermitian Hamiltonian.


title: Proof of the absence of local conserved quantities in the XYZ chain with a magnetic field

abstract: We rigorously prove that the spin-1/2 XYZ chain with a magnetic field has no local conserved quantity. Any nontrivial conserved quantity of this model is shown to be a sum of operators supported by contiguous sites with at least half of the entire system. We establish that the absence of local conserved quantity in concrete models is provable in a rigorous form.

categories: cond-mat.stat-mech cond-mat.str-el hep-th math-ph math.MP quant-ph


title: Mode localization phenomenon in microbeams due to surface roughness

abstract: This is the first study on the mode localization phenomenon in microbeams due to surface roughness. A new model for microbeams with rough surfaces is developed. The natural frequencies and mode shapes of cantilever, simple supported, and clamped-clamped microbeams are determined depending on the beam surface roughness. A parametric study is presented demonstrating two prospects: surface roughness may lead to a zero-frequency mode or a mode localization. As for the first prospect, it is demonstrated that surface roughness may add more softness to a specific mode of vibration and reduce its natural frequency causing a rigid-body mode. As for the second prospect, surface roughness may inhibit the propagation of vibration energy throughout the beam length leading to a mode localization. It is revealed that a mode localization is accompanied with an increase in the natural frequency of the microbeam. It is revealed that the description of the beam vibration according to one of these two prospects depends on the beam size, parameters of the surface roughness, and the boundary conditions.


title: Garside combinatorics for Thompson's monoid $F^+$ and a hybrid with the braid monoid $B\_\infty^+$

abstract: On the model of simple braids, defined to be the left divisors of Garside's elements $\Delta\_n$ in the monoid $B\_\infty^+$ , we investigate simple elements in Thompson's monoid $F^+$ and in a larger monoid $H^+$ that is a hybrid of $B\_\infty^+$ and $F^+$ : in both cases, we count how many simple elements left divide the right lcm of the first n -- 1 atoms, and characterize their normal forms in terms of forbidden factors. In the case of $H^+$, a generalized Pascal triangle appears.


title: Two-zone diffusion of electrons and positrons from Geminga explains the positron anomaly

abstract: The recent HAWC observations of very-high-energy $\gamma$-ray halo around Geminga and Monogem indicate a very slow diffusion of cosmic rays, which results in tiny contribution of positrons from these two pulsars to the local flux. This makes the cosmic positron excess anomaly observed by PAMELA and AMS-02 even more puzzling. However, from the Boron-to-Carbon ratio data one can infer that the average diffusion coefficient in the Galaxy should be much larger. In this work we propose a two-zone diffusion model that the diffusion is slow only in a small region around the source, outside of which the propagation is as fast as usual. We find that such a scenario can naturally explain the positron excess data with parameters even more reasonable than that in the conventional one-zone diffusion model. The reason is that during the life time of Geminga ($\sim 300$ kyr) the electrons/positrons have propagated too far away with a fast diffusion and lead to a low local flux. The slow diffusion region in the two-zone model helps to confine the electrons/positrons for a long time and lead to an enhancement of the local flux. So under the constraint of the HAWC observations, pulsars are still the probable origin of the cosmic-ray positron excess.


title: Compensated integrability. Applications to the Vlasov--Poisson equation and other models in mathematical physics

abstract: We extend our analysis of divergence-free positive symmetric tensors (DPT) begun in a previous paper. On the one hand, we refine the statements and give more direct proofs. Next, we study the most singular DPTs, and use them to prove that the determinant is the only quantity that enjoys an improved integrability. Curiously, these singularities are intimately related to the Minkowski's Problem for convex bodys with prescribed Gaussian curvature. We then cover a list of models of mathematical physics that display a divergence-free symmetric tensor ; the most interesting one is probably that of nonlinear Maxwell's equations in a relativistic frame. The case of the wave equation is the occasion to highlight the role of the positivity assumption. Last, but not least, we show that the Vlasov--Poisson equation for a plasma is eligible for our theory.


title: Learning Spectral-Spatial-Temporal Features via a Recurrent Convolutional Neural Network for Change Detection in Multispectral Imagery

abstract: Change detection is one of the central problems in earth observation and was extensively investigated over recent decades. In this paper, we propose a novel recurrent convolutional neural network (ReCNN) architecture, which is trained to learn a joint spectral-spatial-temporal feature representation in a unified framework for change detection in multispectral images. To this end, we bring together a convolutional neural network (CNN) and a recurrent neural network (RNN) into one end-to-end network. The former is able to generate rich spectral-spatial feature representations, while the latter effectively analyzes temporal dependency in bi-temporal images. In comparison with previous approaches to change detection, the proposed network architecture possesses three distinctive properties: 1) It is end-to-end trainable, in contrast to most existing methods whose components are separately trained or computed; 2) it naturally harnesses spatial information that has been proven to be beneficial to change detection task; 3) it is capable of adaptively learning the temporal dependency between multitemporal images, unlike most of algorithms that use fairly simple operation like image differencing or stacking. As far as we know, this is the first time that a recurrent convolutional network architecture has been proposed for multitemporal remote sensing image analysis. The proposed network is validated on real multispectral data sets. Both visual and quantitative analysis of experimental results demonstrates competitive performance in the proposed mode.


title: Quasiperiods of biinfinite Sturmian words

abstract: We study the notion of quasiperiodicity, in the sense of "coverability", for biinfinite words. All previous work about quasiperiodicity focused on right infinite words, but the passage to the biinfinite case could help to prove stronger results about quasiperiods of Sturmian words. We demonstrate this by showing that all biinfinite Sturmian words have infinitely many quasiperiods, which is not quite (but almost) true in the right infinite case, and giving a characterization of those quasiperiods. The main difference between right infinite and the biinfinite words is that, in the latter case, we might have several quasiperiods of the same length. This is not possible with right infinite words because a quasiperiod has to be a prefix of the word. We study in depth the relations between quasiperiods of the same length in a given biinfinite quasiperiodic word. This study gives enough information to allow to determine the set of quasiperiods of an arbitrary word.


title: Relational Quantum Mechanics and Probability

abstract: We present a derivation of the third postulate of Relational Quantum Mechanics (RQM) from the properties of conditional probabilities.The first two RQM postulates are based on the information that can be extracted from interaction of different systems, and the third postulate defines the properties of the probability function. Here we demonstrate that from a rigorous definition of the conditional probability for the possible outcomes of different measurements, the third postulate is unnecessary and the Born's rule naturally emerges from the first two postulates by applying the Gleason's theorem. We demonstrate in addition that the probability function is uniquely defined for classical and quantum phenomena. The presence or not of interference terms is demonstrated to be related to the precise formulation of the conditional probability where distributive property on its arguments cannot be taken for granted. In the particular case of Young's slits experiment, the two possible argument formulations correspond to the possibility or not to determine the particle passage through a particular path.


title: Upgrade of the T2K near detector ND280: effect on oscillation and cross-section analysis

abstract: The T2K neutrino oscillation experiment established the $\nu_\mu \rightarrow \nu_e$ appearance with only $10\%$ of the original beam request of $7.8\times10^{21}$ $30$ GeV protons on target (POT). In view of the J-PARC program of upgrades of the beam intensity, the T2K-II proposal for $20\times10^{21}$ POT aimed at establishing CP violation at $3\sigma$ level for a significant fraction of the possible $\delta_{CP}$ values. The Hyper-K proposal consists of a further increase by a factor $10$ of the far detector mass. Facing the potential increase of statistics by two orders of magnitude, it is of great importance to undertake a vigorous program of near detector upgrade, with the aim of reducing the overall statistical and systematic uncertainties at the appropriate level of better than $4\%$. The design and performance of the proposed upgraded near-detector will be reported in these proceedings.


title: Anisotropic electronic transport and Rashba effect of the two-dimensional electron system in (110) SrTiO$_3$-based heterostructures

abstract: The two-dimensional electron system in (110)Al$_2$O$_{3-\delta}$/SrTiO$_3$ heterostructures displays anisotropic electronic transport. Largest and lowest conductivity and electron mobility $\mu$ are observed along the $[001]$ and $[1\bar{1}0]$ direction, respectively. The anisotropy of the sheet resistance and $\mu$ likewise leads to a distinct anisotropic normal magnetotransport (MR) for T < 30K. However, at temperatures T<5K and magnetic field B<2T MR is dominated by weak antilocalization.Despite the rather strong anisotropy of the Fermi surfaces, the in-plane anisotropic magnetoresistance (AMR) displays two-fold non-crystalline anisotropy. However, the AMR-amplitude is found to be anisotropic with respect to the current direction, leading to a 60% larger AMR amplitude for current I along the $[001]$ direction compared to I parallel to $[1\bar{1}0]$. Tight binding calulations evidence an anisotropic Rashba-induced band splitting with dominant linear k-dependence. In combination with semiclassical Boltzmann theory the non-crystalline AMR is well described, despite the anisotropic Fermi surface.


title: Mean field repulsive Kuramoto models: Phase locking and spatial signs

abstract: The phenomenon of self-synchronization in populations of oscillatory units appears naturally in neurosciences. However, in some situations, the formation of a coherent state is damaging. In this article we study a repulsive mean-field Kuramoto model that describes the time evolution of n points on the unit circle, which are transformed into incoherent phase-locked states. It has been recently shown that such systems can be reduced to a three-dimensional system of ordinary differential equations, whose mathematical structure is strongly related to hyperbolic geometry. The orbits of the Kuramoto dynamical system are then described by a ow of M\"obius transformations. We show this underlying dynamic performs statistical inference by computing dynamically M-estimates of scatter matrices. We also describe the limiting phase-locked states for random initial conditions using Tyler's transformation matrix. Moreover, we show the repulsive Kuramoto model performs dynamically not only robust covariance matrix estimation, but also data processing: the initial configuration of the n points is transformed by the dynamic into a limiting phase-locked state that surprisingly equals the spatial signs from nonparametric statistics. That makes the sign empirical covariance matrix to equal 1 2 id2, the variance-covariance matrix of a random vector that is uniformly distributed on the unit circle.

categories: nlin.AO math.DS math.PR math.ST q-bio.NC stat.TH


title: Testing Topological Protection of Edge States in Hexagonal Quantum Spin Hall Candidate Materials

abstract: We analyze the detailed structure of topological edge mode protection occuring in hexagonal quantum spin Hall (QSH) materials. We focus on bismuthene, antimonene, and arsenene on a SiC substrate, which, due to their large bulk gap, may offer new opportunities for room-temperature QSH applications. While time reversal symmetry is responsible for the principal symmetry protected character of QSH states, the hexagonal edge terminations yield further aspects of crystal symmetry which affect the topological protection. We show that armchair QSH edge states remain gapless under an in-plane magnetic field in the direction along the edge, a hallmark of their topological crystalline protection. In contrast, an out-of-plane magnetic field opens a gap of the order of a few meV within realistic ranges of parameters. We use these intriguing signatures of armchair QSH edge states to predict experimentally testable fingerprints of their additional topological crystalline character and their helicity emerging in tunneling spectroscopy and ballistic magnetotransport.


title: Saturation and negative temperature coefficient of electrical resistivity in liquid iron-sulfur alloys at high densities from first principles calculations

abstract: We report results on electronic transport properties of liquid Fe-S alloys at conditions of planetary cores, computed by first-principle techniques in the Kubo-Greenwood formalism. We describe a combined effect of resistivity saturation due to temperature, compression, and chemistry by comparing the electron mean free path from the Drude response of optical conductivity to the mean interatomic distance. At high compression and high sulfur concentration the Ioffe-Regel condition is satisfied, and the temperature coefficient of resistivity changes sign from positive to negative. We show that this happens due to a decrease of the $d$-density of states at the Fermi level in response to thermal broadening.


title: An H$\alpha$ Imaging Survey of the Low-surface-brightness Galaxies Selected from the Fall Sky Region of the 40$\%$ ALFALFA \ion{H}{1} Survey

abstract: We present the observed H$\alpha$ flux and derived star formation rates (SFRs) for a fall sample of low$-$surface$-$brightness galaxies (LSBGs). The sample is selected from the fall sky region of the 40$\%$ ALFALFA {\ion{H}{1}} survey $-$ SDSS DR7 photometric data, and all the $H\alpha$ images were obtained using the 2.16 m telescope, operated by the National Astronomy Observatories, Chinese Academy of Sciences. A total of 111 LSBGs were observed and $H\alpha$ flux was measured in 92 of them. Though almost all the LSBGs in our sample are {\ion{H}{1}}$-$rich, their SFRs derived from the extinction and filter$-$transmission$-$corrected $H\alpha$ flux, are less than 1$M_{\sun}$$yr^{-1}$. LSBGs and star forming galaxies have similar {\ion{H}{1}} surface densities, but LSBGs have much lower SFRs and SFR surface densities than star$-$forming galaxies. Our results show that LSBGs deviate from the Kennicutt-Schmidt law significantly, which indicate that they have low star formation efficiency. The SFRs of LSBGs are close to average SFRs in Hubble time and support the previous arguments that most of the LSBGs are stable systems and they tend to seldom contain strong interactions or major mergers during their star formation histories.


title: Borel Kernels and their Approximation, Categorically

abstract: This paper introduces a categorical framework to study the exact and approximate semantics of probabilistic programs. We construct a dagger symmetric monoidal category of Borel kernels where the dagger-structure is given by Bayesian inversion. We show functorial bridges between this category and categories of Banach lattices which formalize the move from kernel-based semantics to predicate transformer (backward) or state transformer (forward) semantics. These bridges are related by natural transformations, and we show in particular that the Radon-Nikodym and Riesz representation theorems - two pillars of probability theory - define natural transformations. With the mathematical infrastructure in place, we present a generic and endogenous approach to approximating kernels on standard Borel spaces which exploits the involutive structure of our category of kernels. The approximation can be formulated in several equivalent ways by using the functorial bridges and natural transformations described above. Finally, we show that for sensible discretization schemes, every Borel kernel can be approximated by kernels on finite spaces, and that these approximations converge for a natural choice of topology. We illustrate the theory by showing two examples of how approximation can effectively be used in practice: Bayesian inference and the Kleene star operation of ProbNetKAT.


title: Solving large-scale general phase retrieval problems via a sequence of convex relaxations

abstract: We present a convex relaxation-based algorithm for large-scale general phase retrieval problems. General phase retrieval problems include i.a. the estimation of the phase of the optical field in the pupil plane based on intensity measurements of a point source recorded in the image (focal) plane. The non-convex problem of finding the complex field that generates the correct intensity is reformulated into a rank constraint problem. The nuclear norm is used to obtain the convex relaxation of the phase retrieval problem. A new iterative method, indicated as Convex Optimization-based Phase Retrieval (COPR), is presented, with each iteration consisting of solving a convex problem. In the noise-free case and for a class of phase retrieval problems the solutions of the minimization problems converge linearly or faster towards a correct solution. Since the solutions to nuclear norm minimization problems can be computed using semidefinite programming, and this tends to be an expensive optimization in terms of scalability, we provide a fast ADMM algorithm that exploits the problem structure. The performance of the COPR algorithm is demonstrated in a realistic numerical simulation study, demonstrating its improvements in reliability and speed with respect to state-of-the-art methods.


title: On the Expressiveness and Monitoring of Metric Temporal Logic

abstract: It is known that Metric Temporal Logic (MTL) is strictly less expressive than the Monadic First-Order Logic of Order and Metric (FO[<, +1]) when interpreted over timed words; this remains true even when the time domain is bounded a priori. In this work, we present an extension of MTL with the same expressive power as FO[<, +1] over bounded timed words (and also, trivially, over time-bounded signals). We then show that expressive completeness also holds in the general (time-unbounded) case if we allow the use of rational constants $q \in \mathbb{Q}$ in formulas. This extended version of MTL therefore yields a definitive real-time analogue of Kamp's theorem. As an application, we propose a trace-length independent monitoring procedure for our extension of MTL, the first such procedure in a dense real-time setting.


title: A General Mass Transference Principle

abstract: In this paper we prove a general form of the Mass Transference Principle for $\limsup$ sets defined via neighbourhoods of sets satisfying a certain local scaling property. Such sets include self-similar sets satisfying the open set condition and smooth compact manifolds embedded in $\mathbb{R}^n$. Our main result is applicable in locally compact metric spaces and allows one to transfer Hausdorff $g$-measure statements to Hausdorff $f$-measure statements. This work extends previous results of this type in several distinct directions.


title: Law equivalence of Ornstein--Uhlenbeck processes driven by a L\'evy process

abstract: We demonstrate that two Ornstein--Uhlenbeck processes, that is, solutions to certain stochastic differential equations that are driven by a L\'evy process L have equivalent laws as long as the eigenvalues of the covariance operator associated to the Wiener part of L are strictly positive. Moreover, we show that in the case where the underlying L\'evy process is a purely jump process, which means that neither it has a Wiener part nor the drift, the absolute continuity of the law of one solution with respect to another forces equality of the solutions almost surely.


title: Study of the $B_{s}$ ${\to}$ ${\phi}f_{0}(980)$ ${\to}$ ${\phi}\,{\pi}^{+}{\pi}^{-}$ decay with perturbative QCD approach

abstract: The rare cascade $B_{s}$ ${\to}$ ${\phi}f_{0}(980)$ ${\to}$ ${\phi}\,{\pi}^{+}{\pi}^{-}$ decay is studied with the perturbative QCD approach based on the formula for the quasi two-body decay, where the two-pion pair originates from the $S$-wave resonant $f_{0}(980)$ state. It is found that with the introduction of the nonperturbative two-pion distribution amplitudes and the Flatt\'{e} parameterization of the scalar form factor for the $f_{0}(980)$ resonance, the branching ratio in the mass range 400 MeV $<$ $m({\pi}^{+}{\pi}^{-})$ $<$ 1600 MeV is ${\cal B}_{\rm theo}(B_{s}^{0}\, {\to}\,{\phi}\,f_{0}(980)\,{\to}\,{\phi}\,{\pi}^{+}\,{\pi}^{-})$ $=$ $[1.31_{-0.31}^{+0.40}(a_{{\pi}{\pi}}){}_{-0.16}^{+0.19}(m_{b}) {}_{-0.09}^{+0.10}(\text{CKM})]{\times}10^{-6}$, where the uncertainties come from the parameter $a_{{\pi}{\pi}}$ of the two-pion distribution amplitudes, the $b$ quark mass $m_{b}$, the Cabibbo-Kobayashi-Maskawa (CKM) factors, respectively. This result agrees with the recent LHCb measurement within uncertainties, ${\cal B}_{\rm exp}(B_{s}^{0}\,{\to}\,{\phi}\, f_{0}(980)\,{\to}\,{\phi}\,{\pi}^{+}\,{\pi}^{-})$ $=$ $(1.12{\pm}0.16^{+0.09}_{-0.08}{\pm}0.11){\times}10^{-6}$, where the errors are statistical, systematic and from the normalization, respectively.


title: ASAP: Accelerated Short-Read Alignment on Programmable Hardware

abstract: The proliferation of high-throughput sequencing machines ensures rapid generation of up to billions of short nucleotide fragments in a short period of time. This massive amount of sequence data can quickly overwhelm today's storage and compute infrastructure. This paper explores the use of hardware acceleration to significantly improve the runtime of short-read alignment, a crucial step in preprocessing sequenced genomes. We focus on the Levenshtein distance (edit-distance) computation kernel and propose the ASAP accelerator, which utilizes the intrinsic delay of circuits for edit-distance computation elements as a proxy for computation. Our design is implemented on an Xilinx Virtex 7 FPGA in an IBM POWER8 system that uses the CAPI interface for cache coherence across the CPU and FPGA. Our design is $200\times$ faster than the equivalent C implementation of the kernel running on the host processor and $2.2\times$ faster for an end-to-end alignment tool for 120-150 base-pair short-read sequences. Further the design represents a $3760\times$ improvement over the CPU in performance/Watt terms.


title: A priori bounds and multiplicity of solutions for an indefinite elliptic problem with critical growth in the gradient

abstract: Let $\Omega \subset \mathbb R^N$, $N \geq 2$, be a smooth bounded domain. We consider a boundary value problem of the form $$-\Delta u = c_{\lambda}(x) u + \mu(x) |\nabla u|^2 + h(x), \quad u \in H^1_0(\Omega)\cap L^{\infty}(\Omega)$$ where $c_{\lambda}$ depends on a parameter $\lambda \in \mathbb R$, the coefficients $c_{\lambda}$ and $h$ belong to $L^q(\Omega)$ with $q>N/2$ and $\mu \in L^{\infty}(\Omega)$. Under suitable assumptions, but without imposing a sign condition on any of these coefficients, we obtain an a priori upper bound on the solutions. Our proof relies on a new boundary weak Harnack inequality. This inequality, which is of independent interest, is established in the general framework of the $p$-Laplacian. With this a priori bound at hand, we show the existence and multiplicity of solutions.


title: Communicating Concurrent Processes

abstract: Process algebra CSP only permits a process to engage in one event on a moment and records this single event into the traces of the process. CSP cannot process events simultaneously, it treat the events occurred simultaneously as one single event. We modify CSP to process the events occurred simultaneously, which is called communicating concurrent processes (CCP).


title: Synthesizing Power and Area Efficient Image Processing Pipelines on FPGAs using Customized Bit-widths

abstract: High-level synthesis (HLS) has received significant attention in recent years, improving programmability for FPGAs. PolyMage is a domain-specific language (DSL) for image processing pipelines that also has a HLS backend to translate the input DSL into an equivalent circuit that can be synthesized on FPGAs, while leveraging an HLS suite. The data at each stage of a pipeline is stored using a fixed-point data type (alpha,beta) where alpha and beta denote the number of integral and fractional bits. The power and area savings while performing arithmetic operations on fixed-point data type is known to be significant over using floating point. In this paper, we first propose an interval-arithmetic based range analysis (alpha-analysis) algorithm to estimate the number of bits required to store the integral part of the data at each stage of an image processing pipeline. The analysis algorithm uses the homogeneity of pixel signals at each stage to cluster them and perform a combined range analysis. Secondly, we propose a software architecture for easily deploying any kind of interval/affine arithmetic based range analyses in the DSL compiler. Thirdly, we propose a new range analysis technique using Satisfiability Modulo Theory (SMT) solvers, and show that the range estimates obtained through it are very close to the lower bounds obtained through profile-driven analysis.We evaluated our bitwidth analysis algorithms on four image processing benchmarks listed in the order of increasing complexity: Unsharp Mask, Down-Up Sampling, Harris Corner Detection and Horn-Schunck Optical Flow. For example, on Optical Flow, the interval analysis based approach showed an 1.4x and 1.14x improvement on area and power metrics over floating-point representation respectively; whereas the SMT solver based approach showed 2.49x and 1.58x improvement on area and power metrics when compared to interval analysis.


title: Sketching for Principal Component Regression

abstract: Principal component regression (PCR) is a useful method for regularizing linear regression. Although conceptually simple, straightforward implementations of PCR have high computational costs and so are inappropriate when learning with large scale data. In this paper, we propose efficient algorithms for computing approximate PCR solutions that are, on one hand, high quality approximations to the true PCR solutions (when viewed as minimizer of a constrained optimization problem), and on the other hand entertain rigorous risk bounds (when viewed as statistical estimators). In particular, we propose an input sparsity time algorithms for approximate PCR. We also consider computing an approximate PCR in the streaming model, and kernel PCR. Empirical results demonstrate the excellent performance of our proposed methods.


title: Double inverse nanotapers for efficient light coupling to integrated photonic devices

abstract: Efficient light coupling into integrated photonic devices is of key importance to a wide variety of applications. "Inverse nanotapers" are widely used, in which the waveguide width is reduced to match an incident mode. Here, we demonstrate novel, "double inverse" tapers, in which we taper both the waveguide height, as well as the width. We demonstrate that in comparison to regular inverse tapers, the double inverse tapers have excellent polarization-independent coupling. In addition, the optimum coupling is achieved with much larger taper dimension, enabling the use of photolithography instead of electron beam lithography, relevant for applications at near-IR and visible wavelengths. The low coupling loss makes them particularly suitable for nonlinear photonics, e.g. supercontinuum and soliton micro-comb generation.


title: Highly thermally stable sub-20nm magnetic random-access memory based on perpendicular shape anisotropy

abstract: A new approach to increase the downsize scalability of perpendicular STT-MRAM is presented. It consists in significantly increasing the thickness of the storage layer in out-of-plane magnetized tunnel junctions (pMTJ) as compared to conventional pMTJ in order to induce a perpendicular shape anisotropy (PSA) in this layer. This PSA is obtained by depositing a thick ferromagnetic (FM) layer on top of an MgO/FeCoB based magnetic tunnel junction (MTJ) so that the thickness of the storage layer becomes of the order or larger than the diameter of the MTJ pillar. In contrast to conventional spin transfer torque magnetic random access memory (STT-MRAM) wherein the demagnetizing energy opposes the interfacial perpendicular magnetic anisotropy (iPMA), in these novel memory cells, both PSA and iPMA contributions favor out-of-plane orientation of the storage layer magnetization. Using thicker storage layers in these PSA-STT-MRAM has several advantages. Thanks to the PSA, very high and easily tunable thermal stability factors can be achieved, even down to sub-10 nm diameters. Moreover, low damping material can be used for the thick FM material thus leading to a reduction of the write current. The paper describes this new PSA-STT-MRAM concept, practical realization of such memory arrays, magnetic characterization demonstrating thermal stability factor above 200 for MTJs as small as 8nm in diameter and possibility to maintain thermal stability factor above 60 down to 4nm diameter.


title: The Radius and Entropy of a Magnetized, Rotating Fully-convective Star: Analysis With Depth-dependent Mixing Length Theories

abstract: Some low-mass stars appear to have larger radii than predicted by standard 1D structure models; prior work has suggested that inefficient convective heat transport, due to rotation and/or magnetism, may ultimately be responsible. We examine this issue using 1D stellar models constructed using Modules for Experiments in Stellar Astrophysics (MESA). First, we consider standard models that do not explicitly include rotational/magnetic effects, with convective inhibition modeled by decreasing a depth-independent mixing length theory (MLT) parameter $\alpha_{\text{MLT}}$ (following Cox et al. 1981; Chabrier et al. 2007). We provide formulae linking changes in $\alpha_{\text{MLT}}$ to changes in the interior specific entropy, and hence to the stellar radius. Next, we modify the MLT formulation in MESA to mimic explicitly the influence of rotation and magnetism, using formulations suggested by Stevenson (1979) and MacDonald & Mullan (2014) respectively. We find rapid rotation in these models has a negligible impact on stellar structure, primarily because a star's adiabat, and hence its radius, is predominantly affected by layers near the surface; convection is rapid and largely uninfluenced by rotation there. Magnetic fields, if they influenced convective transport in the manner described by MacDonald & Mullan (2014), could lead to more noticeable radius inflation. Finally, we show that these non-standard effects on stellar structure can be fabricated using a depth-dependent $\alpha_{\text{MLT}}$: a non-magnetic, non-rotating model can be produced that is virtually indistinguishable from one that explicitly parameterizes rotation and/or magnetism using the two formulations above. We provide formulae linking the radially-variable $\alpha_{\text{MLT}}$ to these putative MLT reformulations.


title: A Neural Network Approach to Missing Marker Reconstruction in Human Motion Capture

abstract: Optical motion capture systems have become a widely used technology in various fields, such as augmented reality, robotics, movie production, etc. Such systems use a large number of cameras to triangulate the position of optical markers.The marker positions are estimated with high accuracy. However, especially when tracking articulated bodies, a fraction of the markers in each timestep is missing from the reconstruction. In this paper, we propose to use a neural network approach to learn how human motion is temporally and spatially correlated, and reconstruct missing markers positions through this model. We experiment with two different models, one LSTM-based and one time-window-based. Both methods produce state-of-the-art results, while working online, as opposed to most of the alternative methods, which require the complete sequence to be known. The implementation is publicly available at https://github.com/Svito-zar/NN-for-Missing-Marker-Reconstruction .


title: Smart Routing for Improved PLC Backhauling of the Radio Access Network

abstract: Transmission line theory enables the bottom up study of networks based on wireline infrastructures. This technique is here applied to a simulator that brings together powerline communication networks with small radio cells ones in a hybrid paradigm: this allows to implement a study of channel capacity and communication quality based on the geometrical properties of the network and the type of cables employed to enable connectivity. Results are shown regarding how deterministic properties related to performance in the network can be retrieved and used to enable a smart routing algorithm.


title: A limit theorem for the six-length of random functional graphs with a fixed degree sequence

abstract: We obtain results on the limiting distribution of the six-length of a random functional graph, also called a functional digraph or random mapping, with given in-degree sequence. The six-length of a vertex $v\in V$ is defined from the associated mapping, $f:V\to V$, to be the maximum $i\in V$ such that the elements $v, f(v), \ldots, f^{i-1}(v)$ are all distinct. This has relevance to the study of algorithms for integer factorisation.


title: Systematic parameter study of dynamo bifurcations in geodynamo simulations

abstract: We investigate the nature of the dynamo bifurcation in a configuration applicable to the Earth's liquid outer core. Numerical studies on the stability domain of dipolar magnetic fields found a dichotomy between non-reversing dipole-dominated dynamos and the reversing non-dipole-dominated multipolar solutions. We show that, by considering weak initial fields, the above transition disappears and is replaced by a region of bistability. Such a result was also observed in models with free-slip boundaries in which the geostrophic zonal flow can develop and participate to the dynamo mechanism for non-dipolar fields. We show that a similar process develops in no-slip models when viscous effects are reduced sufficiently. The following three regimes are distinguished: (i) Close to the onset of convection ($Ra_c$) with only the most critical convective mode (wave number) being present, dynamos set in supercritically and are dipole-dominated. (ii) in the range $3<Ra/Ra_c<Ra_c$, the bifurcations are subcritical and only dipole-dominated dynamos exist. (iii) $(Ra/Ra_c>10)$, the relative importance of zonal flows increases with $Ra$ in non-magnetic models. The field topology depends on the magnitude of the initial magnetic field. The dipolar branch has a subcritical behavior whereas the multipolar branch has a supercritical behavior. By approaching more realistic parameters, the extension of this bistable regime increases. A hysteretic behavior questions the common interpretation for geomagnetic reversals. Far above the dynamo threshold (by increasing the magnetic Prandtl number), Lorentz forces contribute to the first order force balance, as predicted for planetary dynamos. When $Ra$ is sufficiently high, dipolar fields affect significantly the flow speed, the flow structure and heat transfer which is reduced by the Lorentz force regardless of the field strength.


title: Study on Dynamics of an Elastic Oscillator Coupled with a Rocking Wall

abstract: This paper studies the dynamics of an elastic single degree of freedom oscillator (representing an elastic frame) coupled with a rocking wall. Two types of rocking walls namely stepping rocking wall and pinned rocking wall are presented and analyzed. For each case, full nonlinear equations of motions are calculated. The dynamic behavior of the systems shows mixed results in suppressing the dynamic response of the elastic oscillator. Through comprehensive analysis, pinned rocking wall amplifies the displacement along wide range of the spectrum, in the other hand, stepping rocking wall is the most effective especially in relatively flexible structures and with a heavier wall. This is mainly because of the pinned wall's mass works against its stability. In this study, a simple, oscillator-rocking-wall model is defined and analyzed using OpenSees and, the results from OpenSees shows a good agreement with equation of motion solution using MATLAB.


title: Bayesian Unmixing using Sparse Dirichlet Prior with Polynomial Post-nonlinear Mixing Model

abstract: A sparse Dirichlet prior is proposed for estimating the abundance vector of hyperspectral images with a nonlinear mixing model. This sparse prior is led to an unmixing procedure in a semi-supervised scenario in which exact materials are unknown. The nonlinear model is a polynomial post-nonlinear mixing model that represents each hyperspectral pixel as a nonlinear function of pure spectral signatures corrupted by additive white noise. Simulation results show more than 50% improvement in the estimation error.


title: Negative immersions for one-relator groups

abstract: We prove a freeness theorem for low-rank subgroups of one-relator groups. Let $F$ be a free group, and let $w\in F$ be a non-primitive element. The primitivity rank of $w$, $\pi(w)$, is the smallest rank of a subgroup of $F$ containing $w$ as an imprimitive element. Then any subgroup of the one-relator group $G=F/\langle\langle w\rangle\rangle$ generated by fewer than $\pi(w)$ elements is free. In particular, if $\pi(w)>2$ then $G$ doesn't contain any Baumslag--Solitar groups. The hypothesis that $\pi(w)>2$ implies that the presentation complex $X$ of the one-relator group $G$ has negative immersions: if a compact, connected complex $Y$ immerses into $X$ and $\chi(Y)\geq 0$ then $Y$ is Nielsen equivalent to a graph. The freeness theorem is a consequence of a dependence theorem for free groups, which implies several classical facts about free and one-relator groups, including Magnus' Freiheitssatz and theorems of Lyndon, Baumslag, Stallings and Duncan--Howie. The dependence theorem strengthens Wise's $w$-cycles conjecture, proved independently by the authors and Helfer--Wise, which implies that the one-relator complex $X$ has non-positive immersions when $\pi(w)>1$.


title: Fractional Fokker-Planck Equation with General Confinement Force

abstract: This article studies a Fokker-Planck type equation of fractional diffusion with conservative drift $\partial$f/$\partial$t = $\Delta$^($\alpha$/2) f + div(Ef), where $\Delta$^($\alpha$/2) denotes the fractional Laplacian and E is a confining force field. The main interest of the present paper is that it applies to a wide variety of force fields, with a few local regularity and a polynomial growth at infinity. We first prove the existence and uniqueness of a solution in weighted Lebesgue spaces depending on E under the form of a strongly continuous semigroup. We also prove the existence and uniqueness of a stationary state, by using an appropriate splitting of the fractional Laplacian and by proving a weak and strong maximum principle. We then study the rate of convergence to equilibrium of the solution. The semigroup has a property of regularization in fractional Sobolev spaces, as well as a gain of integrability and positivity which we use to obtain polynomial or exponential convergence to equilibrium in weighted Lebesgue spaces. Mathematics Subject Classification (2000): 47D06 One-parameter semi-groups and linear evolution equations [See also 34G10, 34K30], 35P15 Estimation of eigenvalues, upper and lower bounds [See also 35P05, 45C05, 47A10], 35B40 Partial differential equations, Asymptotic behavior of solutions [see also 45C05, 45K05, 35410],


title: Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem

abstract: The earth mover's distance is a measure of the distance between two probabilistic measures. It plays a fundamental role in mathematics and computer science. The Kantorovich-Rubinstein theorem provides a formula for the earth mover's distance on the space of regular probability Borel measures on a compact metric space. In this paper, we investigate the quantum earth mover's distance. We show a no-go Kantorovich-Rubinstein theorem in the quantum setting. More precisely, we show that the trace distance between two quantum states can not be determined by their earth mover's distance. The technique here is to track the bipartite quantum marginal problem. Then we provide inequality to describe the structure of quantum coupling, which can be regarded as quantum generalization of Kantorovich-Rubinstein theorem. After that, we generalize it to obtain into the tripartite version, and build a new class of necessary criteria for the tripartite marginal problem.


abstract: Massive electrodynamics for London's superconductivity and Josephson effect are derived. The propagation of massive boson inside a medium yields electric phenomena that are reflected in the Josephson effect. Critical force, magnetic field and temperature are found to be related to the critical current of the junction. The mass of the boson depends only on the critical current of the junction. The electromagnetic interaction between the Cooper pairs in the two sides of the superconductor in the josephson junction is mediated by a massive boson. The propagation of the electromagnetic waves mediated by the massive bosons gives rise to the electric properties of the Josephson junction. Of these properties are a quantized resistance of Hall type corresponding to a non-quantized magnetic flux, and a quantized capacitance. A non zero magnetic flux encompassing a magnetic charge is found to arise despite the fact that it is not a priori assumed.


title: Global stability in a mathematical model of de-radicalization

abstract: Radicalization is the process by which people come to adopt increasingly extreme political, social or religious ideologies. When radicalization leads to violence, radical thinking becomes a threat to national security. De-radicalization programs are part of an effort to combat violent extremism and terrorism. This type of initiatives attempt to alter violent extremists radical beliefs and violent behavior with the aim to reintegrate them into society. In this paper we introduce a simple compartmental model suitable to describe de-radicalization programs. The population is divided into four compartments: $ (S) $ susceptible, $ (E) $ extremists, $ (R) $ recruiters, and $ (T) $ treatment. We calculate the basic reproduction number $ \mathcal{R}_0 $. For $ \mathcal{R}_0< 1 $ the system has one globally asymptotically stable equilibrium where no extremist or recruiters are present. For $ \mathcal{R}_0 >1 $ the system has an additional equilibrium where extremists and recruiters are endemic to the population. A Lyapunov function is used to show that, for $ \mathcal{R}_0 >1 $, the endemic equilibrium is globally asymptotically stable. We use numerical simulations to support our analytical results. Based on our model we asses strategies to counter violent extremism.


title: Experiments and modelling of rate-dependent transition delay in a stochastic subcritical bifurcation

abstract: Complex systems exhibiting critical transitions when one of their governing parameters varies are ubiquitous in nature and in engineering applications. Despite a vast literature focusing on this topic, there are few studies dealing with the effect of the rate of change of the bifurcation parameter on the tipping points. In this work, we consider a subcritical stochastic Hopf bifurcation under two scenarios: the bifurcation parameter is first changed in a quasi-steady manner and then, with a finite ramping rate. In the latter case, a rate-dependent bifurcation delay is observed and exemplified experimentally using a thermoacoustic instability in a combustion chamber. This delay increases with the rate of change. This leads to a state transition of larger amplitude compared to the one that would be experienced by the system with a quasi-steady change of the parameter. We also bring experimental evidence of a dynamic hysteresis caused by the bifurcation delay when the parameter is ramped back. A surrogate model is derived in order to predict the statistic of these delays and to scrutinise the underlying stochastic dynamics. Our study highlights the dramatic influence of a finite rate of change of bifurcation parameters upon tipping points and it pinpoints the crucial need of considering this effect when investigating critical transitions.


title: Joint User Association, Power Control and Scheduling in Multi-Cell 5G Networks

abstract: -The focus of this paper is targeted towards multi-cell 5G networks which are composed of HPNs (High Power Node) such as evolved NodeBs (HPNs) that control signaling and system broadcasting information and of simplified LPNs (Low Power Node) co-existing in the same operating area and sharing the scare radio resources. Consequently, greater emphasis is given to Inter-Cell Interference Coordination (ICIC) based on multi-resource management techniques that take in particular user association into account. Beside user association to HPNs, this paper takes also power control and scheduling into consideration. This addressed problem is remained largely unsolved, mainly due to its non-convex nature that makes the global optimal solution difficult to obtain. We address the user association challenge according to the two broadly adopted approaches in wireless networks: the network-centric approach where user association is allocated efficiently in a centralized fashion; and the user-centric approach where distributed allocation prevails for reduced complexity. The scheduling and HPNs power allocation are solved in a centralized fashion, in order to reach an optimal solution of the joint optimization problem.


title: Interface height fluctuations and surface tension of driven liquids with time-dependent dynamics

abstract: Interfaces in phase-separated driven liquids are one example of how energy input at the single-particle level changes the long-length-scale material properties of nonequilibrium systems. Here, we measure interfacial fluctuations in simulations of two liquids driven by time-dependent forces, one with repulsive interactions and one with attractive interactions. The time-dependent forces lead to currents along the interface, which can modify the scaling of interface height fluctuations with respect to predictions from capillary wave theory (CWT). We therefore characterize the whole spectrum of fluctuations to determine whether CWT applies. In the system with repulsive interactions, we find that the interface fluctuations are well-described by CWT at one amplitude of the driving forces but not at others. In the system with attractive interactions, they obey CWT for all amplitudes of driving, allowing us to extract an effective surface tension. The surface tension increases linearly over two orders of magnitude of the driving forces, more than doubling its equilibrium value. Our results show how the interfaces of nonequilibrium liquids with time-dependent forces are modified by energy input.


title: Inner Product of Irreducible Finite-dimensional Representations of Classical Groups

abstract: In this paper, we study the inner product of states corresponding to weights of irreducible finite-dimensional representations of classical groups. We propose a recursion algorithm for calculating the inner product effectively. As applications, we discuss the unitary of the representations space. We construct the norms of a special kind of states. We also determine the inner product of states in the minuscule representations. These results can be used to study the construction of the solutions to Kapustin-Witten equations basing on the fundamental solutions of Toda systems.


title: The origin of the mass of the Nambu-Goldstone bosons

abstract: We explain the origin of the mass for the Nambu-Goldstone bosons when there is a chemical potential in the action which breaks explicitly the symmetry. The method is based on the number of independent histories for the interaction of the pair of Nambu-Goldstone bosons with the degenerate vacuum (triangle relations). The analysis suggests that under some circumstances, pairs of massive Nambu-Goldstone bosons can become a single degree of freedom with an effective mass defined by the superposition of the individual masses of each boson. Possible mass oscillations for the Nambu-Goldstone bosons are discussed.


title: Toward Coordinated Transmission and Distribution Operations

abstract: Proliferation of smart grid technologies has enhanced observability and controllability of distribution systems. If coordinated with the transmission system, resources of both systems can be used more efficiently. This paper proposes a model to operate transmission and distribution systems in a coordinated manner. The proposed model is solved using a Surrogate Lagrangian Relaxation (SLR) approach. The computational performance of this approach is compared against existing methods (e.g. subgradient method). Finally, the usefulness of the proposed model and solution approach is demonstrated via numerical experiments on the illustrative example and IEEE benchmarks.


title: A Suboptimality Approach to Distributed Linear Quadratic Optimal Control

abstract: This paper is concerned with the distributed linear quadratic optimal control problem. In particular, we consider a suboptimal version of the distributed optimal control problem for undirected multi-agent networks. Given a multi-agent system with identical agent dynamics and an associated global quadratic cost functional, our objective is to design suboptimal distributed control laws that guarantee the controlled network to reach consensus and the associated cost to be smaller than an a priori given upper bound. We first analyze the suboptimality for a given linear system and then apply the results to linear multiagent systems. Two design methods are then provided to compute such suboptimal distributed controllers, involving the solution of a single Riccati inequality of dimension equal to the dimension of the agent dynamics, and the smallest nonzero and the largest eigenvalue of the graph Laplacian. Furthermore, we relax the requirement of exact knowledge of the smallest nonzero and largest eigenvalue of the graph Laplacian by using only lower and upper bounds on these eigenvalues. Finally, a simulation example is provided to illustrate our design method.


title: Strongly Rickart objects in abelian categories: Applications to strongly regular and strongly Baer objects

abstract: We show how the theory of (dual) strongly relative Rickart objects may be employed in order to study strongly relative regular objects and (dual) strongly relative Baer objects in abelian categories. For each of them, we prove general properties, we analyze the behaviour with respect to (co)products, and we study the transfer via functors. We also give applications to Grothendieck categories, (graded) module categories and comodule categories.


title: A CNN and LSTM-Based Approach to Classifying Transient Radio Frequency Interference

abstract: Transient radio frequency interference (RFI) is detrimental to radio astronomy. It is particularly difficult to identify the sources of transient RFI, which is broadband and intermittent. Such RFI is often generated by devices like mechanical relays, fluorescent lighting or AC machines, which may be present in the surrounding infrastructure of a radio telescope array. One mitigating approach is to deploy independent RFI monitoring stations at radio telescope arrays. Once the sources of RFI signals are identified, they may be removed or replaced where possible. For the first time in the open literature, we demonstrate an approach to classifying the sources of transient RFI (in time domain data) that makes use of deep learning techniques including CNNs and LSTMs. Applied to a previously obtained dataset of experimentally recorded transient RFI signals, our proposed approach offers good results. It shows potential for development into a tool for identifying the sources of transient RFI signals recorded by independent RFI monitoring stations.


title: Reconstruction of light-cone parton distribution functions from lattice QCD simulations at the physical point

abstract: We present the unpolarized and helicity parton distribution functions calculated within lattice QCD simulations using physical values of the light quark mass. Non-perturbative renormalization is employed and the lattice data are converted to the MSbar-scheme at a scale of 2 GeV. A matching process is applied together with target mass corrections leading to the reconstruction of light-cone parton distribution functions. For both cases we find a similar behavior between the lattice and phenomenological data, and for the polarized PDF a nice overlap for a range of Bjorken-x values. This presents a major success for the emerging field of direct calculations of quark distributions using lattice QCD.


title: On the total neighbour sum distinguishing index of graphs with bounded maximum average degree

abstract: A proper total $k$-colouring of a graph $G=(V,E)$ is an assignment $c : V \cup E\to \{1,2,\ldots,k\}$ of colours to the edges and the vertices of $G$ such that no two adjacent edges or vertices and no edge and its end-vertices are associated with the same colour. A total neighbour sum distinguishing $k$-colouring, or tnsd $k$-colouring for short, is a proper total $k$-colouring such that $\sum_{e\ni u}c(e)+c(u)\neq \sum_{e\ni v}c(e)+c(v)$ for every edge $uv$ of $G$. We denote by $\chi''_{\Sigma}(G)$ the total neighbour sum distinguishing index of $G$, which is the least integer $k$ such that a tnsd edge $k$-colouring of $G$ exists. It has been conjectured that $\chi''_{\Sigma}(G) \leq \Delta(G) + 3$ for every graph $G$. In this paper we confirm this conjecture for any graph $G$ with ${\rm mad}(G)<\frac{14}{3}$ and $\Delta(G) \geq 8$.


title: Interaction-Induced Wave Function Collapse Respects Conservation Laws

abstract: Because quantum measurements have probabilistic outcomes they can seem to violate conservation laws in individual experiments. Despite these appearances, strict conservation of momentum, orbital angular momentum, and energy can be shown to be consistent with the assumption that the entangling interactions that constitute measurements induce a real collapse of the wave function. The essential idea is that measured systems always have some pre-existing entanglement relations with (usually larger) systems, and that apparent changes in conserved quantities in the measured system are correlated with compensating changes in these larger systems. Since wave function collapse is mediated by entanglement relations a full accounting of the relevant quantities requires a computation over all interacting, entangled systems. The demonstrations by Gemmer and Mahler[1], and by Durt[2,3], that entanglement is a generic result of interaction are central to the argument. A stochastic collapse equation based on interaction potentials is described and shown to guarantee conservation of the relevant quantities at all stages of evolution.


abstract: Quantum coherence is one of the most significant theories in quantum physics. Ordering states with various coherence measures is an intriguing task in quantification theory of coherence. In this paper, we study this problem by use of four important coherence measures -- the $l_1$ norm of coherence, the relative entropy of coherence, the geometric measure of coherence and the modified trace distance measure of coherence. We show that each pair of these measures give a different ordering of qudit states when $d\geq 3$. However, for single-qubit states, the $l_1$ norm of coherence and the geometric coherence provide the same ordering. We also show that the relative entropy of coherence and the geometric coherence give a different ordering for single-qubit states. Then we partially answer the open question proposed in [Quantum Inf. Process. 15, 4189 (2016)] whether all the coherence measures give a different ordering of states.