title: Blazhko Effect in the first overtone RR Lyrae stars of the OGLE Galactic bulge collection

abstract: We present the analysis of the Blazhko effect - quasi-periodic modulation of pulsation amplitude and/or phase - in the Galactic bulge first overtone RR Lyrae stars (RRc). We used the data gathered during the fourth phase of the Optical Gravitational Lensing Experiment (OGLE). Out of 10 826 analyzed RRc stars, Blazhko effect was detected in 607 stars which constitute 5.6 percent of the sample. It is the largest and most homogeneous sample of modulated RRc stars analyzed so far. Modulation periods cover a wide range, from slightly above 2 d to nearly 3000 d. Multiperiodic modulation was detected in 47 stars. The appearance of modulation in the frequency domain was studied in detail. Modulation manifests either as close doublets or as equidistant triplets and multiplets centered on radial mode frequency and its harmonics. In a significant fraction (29 percent) of stars, we have detected the modulation frequency itself, which corresponds to the modulation of the mean stellar brightness. Our search for period doubling effect, that was discovered recently in modulated fundamental mode RR Lyrae stars, and triggered development of new model behind the Blazhko modulation, yielded negative result. In 104 stars we detected additional signals that could correspond to both radial and non-radial modes. Statistical properties of modulated stars were analyzed in detail and confronted with properties of non-modulated stars and of modulated fundamental mode RR Lyrae stars. Our analysis provides constraints for the models to explain the Blazhko phenomenon, which still remains a puzzle more than hundred years after its discovery.


title: Peeling Digital Potatoes

abstract: The potato-peeling problem (also known as convex skull) is a fundamental computational geometry problem and the fastest algorithm to date runs in $O(n^8)$ time for a polygon with $n$ vertices that may have holes. In this paper, we consider a digital version of the problem. A set $K \subset \mathbb{Z}^2$ is digital convex if $conv(K) \cap \mathbb{Z}^2 = K$, where $conv(K)$ denotes the convex hull of $K$. Given a set $S$ of $n$ lattice points, we present polynomial time algorithms to the problems of finding the largest digital convex subset $K$ of $S$ (digital potato-peeling problem) and the largest union of two digital convex subsets of $S$. The two algorithms take roughly $O(n^3)$ and $O(n^9)$ time, respectively. We also show that those algorithms provide an approximation to the continuous versions.


title: Find a Reasonable Ending for Stories: Does Logic Relation Help the Story Cloze Test?

abstract: Natural language understanding is a challenging problem that covers a wide range of tasks. While previous methods generally train each task separately, we consider combining the cross-task features to enhance the task performance. In this paper, we incorporate the logic information with the help of the Natural Language Inference (NLI) task to the Story Cloze Test (SCT). Previous work on SCT considered various semantic information, such as sentiment and topic, but lack the logic information between sentences which is an essential element of stories. Thus we propose to extract the logic information during the course of the story to improve the understanding of the whole story. The logic information is modeled with the help of the NLI task. Experimental results prove the strength of the logic information.


title: From Parseval to Grothendieck and a little beyond, part I

abstract: This is the first part of a two-part monograph about the Grothendieck inequality and its extensions.


title: Profit and Strategic Analysis for MNO-MVNO Partnership

abstract: We consider a mobile market driven by two Mobile Network Operators (MNOs) and a new competitor Mobile Virtual Network Operator (MVNO). The MNOs can partner with the entrant MVNO by leasing network resources; however, the MVNO can also rely on other technologies such as free WiFi access points. Moreover, in addition to its connectivity offer, the MVNO can also draw indirect revenues from services due to its brand. In that framework including many access technologies and several revenue sources, a possible partner MNO will then have to decide which wholesale price to charge the MVNO for its resources. This multi-actor context, added to the need to consider both wholesale and retail markets, represents a new challenge for the underlying decision-making process. In this paper, the optimal price setting is formulated as a multi-level optimization problem which enables us to derive closed-form expressions for the optimal MNOs wholesale prices and the optimal MVNO retail price. The price attractivity of the MVNO is also evaluated in terms of its indirect revenues and the proportion of resources leased from possible partner MNOs. Finally, through a game-theoretical approach, we characterize the scenario where both MNOs partner with the MVNO as the unique Nash equilibrium under appropriate conditions.


title: How light the lepton flavor changing gauge bosons can be?

abstract: Spontaneous breaking of inter-family (horizontal) gauge symmetries can be at the origin of the mass hierarchy between the fermion families. The corresponding gauge bosons have flavor-nondiagonal couplings which generically induce the flavour changing phenomena, and this puts strong lower limits on the flavor symmetry breaking scales. However, in the special choices of chiral horizontal symmetries the flavor changing effects can be naturally suppressed. For the sake of demonstration, we consider the case of leptonic gauge symmetry $SU(3)_e$ acting between right-handed leptons and show that the respective gauge bosons can have mass in the TeV range, without contradicting the existing experimental limits.


title: Geometrical Stem Detection from Image Data for Precision Agriculture

abstract: High efficiency in precision farming depends on accurate tools to perform weed detection and mapping of crops. This allows for precise removal of harmful weeds with a lower amount of pesticides, as well as increase of the harvest's yield by providing the farmer with valuable information. In this paper, we address the problem of fully automatic stem detection from image data for this purpose. Our approach runs on mobile agricultural robots taking RGB images. After processing the images to obtain a vegetation mask, our approach separates each plant into its individual leaves and later estimates a precise stem position. This allows an upstream mapping algorithm to add the high-resolution stem positions as a semantic aggregate to the global map of the robot, which can be used for weeding and for analyzing crop statistics. We implemented our approach and thoroughly tested it on three different datasets with vegetation masks and stem position ground truth. The experiments presented in this paper conclude that our module is able to detect leaves and estimate the stem's position at a rate of 56 Hz on a single CPU. We furthermore provide the software to the community.


title: Methyl cyanide (CH3CN) and propyne (CH3CCH) in the low mass protostar IRAS 16293-2422

abstract: Methyl cyanide (CH3CN) and propyne (CH3CCH) are two molecules commonly used as gas thermometers for interstellar gas. They are detected in several astrophysical environments and in particular towards protostars. Using data of the low-mass protostar IRAS 16293-2422 obtained with the IRAM 30m single-dish telescope, we constrained the origin of these two molecules in the envelope of the source. The line shape comparison and the results of a radiative transfer analysis both indicate that the emission of CH3CN arises from a warmer and inner region of the envelope than the CH3CCH emission. We compare the observational results with the predictions of a gas-grain chemical model. Our model predicts a peak abundance of CH3CCH in the gas-phase in the outer part of the envelope, at around 2000 au from the central star, which is relatively close to the emission size derived from the observations. The predicted CH3CN abundance only rises at the radius where the grain mantle ices evaporate, with an abundance similar to the one derived from the observations.


title: A Simple Method for 5G Positioning and Synchronization without Line-of-Sight

abstract: In 5G mmWave, joint positioning and synchronization can be achieved even when the line-of-sight path is blocked. In this technical note, we describe a simple method to determine a coarse estimate of the user state and the environment. This method is based on geometric consistency of the 5G mmWave measurements and can be used as a pre-processor for other more sophisticated methods, in order to reduce their complexity. A link to MATLAB source code is provided at the end of the document.


title: DLOW: Domain Flow for Adaptation and Generalization

abstract: In this work, we present a domain flow generation(DLOW) model to bridge two different domains by generating a continuous sequence of intermediate domains flowing from one domain to the other. The benefits of our DLOW model are two-fold. First, it is able to transfer source images into different styles in the intermediate domains. The transferred images smoothly bridge the gap between source and target domains, thus easing the domain adaptation task. Second, when multiple target domains are provided for training, our DLOW model is also able to generate new styles of images that are unseen in the training data. We implement our DLOW model based on CycleGAN. A domainness variable is introduced to guide the model to generate the desired intermediate domain images. In the inference phase, a flow of various styles of images can be obtained by varying the domainness variable. We demonstrate the effectiveness of our model for both cross-domain semantic segmentation and the style generalization tasks on benchmark datasets. Our implementation is available at https://github.com/ETHRuiGong/DLOW.


title: Shortest Reconfiguration of Matchings

abstract: Imagine that unlabelled tokens are placed on the edges of a graph, such that no two tokens are placed on incident edges. A token can jump to another edge if the edges having tokens remain independent. We study the problem of determining the distance between two token configurations (resp., the corresponding matchings), which is given by the length of a shortest transformation. We give a polynomial-time algorithm for the case that at least one of the two configurations is not inclusion-wise maximal and show that otherwise, the problem admits no polynomial-time sublogarithmic-factor approximation unless P = NP. Furthermore, we show that the distance of two configurations in bipartite graphs is fixed-parameter tractable parameterized by the size $d$ of the symmetric difference of the source and target configurations, and obtain a $d^\varepsilon$-factor approximation algorithm for every $\varepsilon > 0$ if additionally the configurations correspond to maximum matchings. Our two main technical tools are the Edmonds-Gallai decomposition and a close relation to the Directed Steiner Tree problem. Using the former, we also characterize those graphs whose corresponding configuration graphs are connected. Finally, we show that deciding if the distance between two configurations is equal to a given number $\ell$ is complete for the class $D^P$, and deciding if the diameter of the graph of configurations is equal to $\ell$ is $D^P$-hard.


title: Dyonic black holes in $\mathfrak{su}(\infty)$ anti-de Sitter Einstein-Yang-Mills theory, characterised by an infinite set of global charges

abstract: We here investigate static, spherically symmetric solutions to $\mathfrak{su}(\infty)$ Einstein-Yang-Mills theory with a negative cosmological constant $\Lambda$ in the case of dyonic solutions, which possess a non-trivial electric sector of the gauge field. We are able to find non-trivial solutions to this system, and show that some may be uniquely characterised by a countably infinite set of global charges, which may have implications for Bizon's modified `No Hair' theorem.


title: On the Differences between L2-Boosting and the Lasso

abstract: We prove that L2-Boosting lacks a theoretical property which is central to the behaviour of l1-penalized methods such as basis pursuit and the Lasso: Whereas l1-penalized methods are guaranteed to recover the sparse parameter vector in a high-dimensional linear model under an appropriate restricted nullspace property, L2-Boosting is not guaranteed to do so. Hence, L2-Boosting behaves quite differently from l1-penalized methods when it comes to parameter recovery/estimation in high-dimensional linear models.


title: Evaluating Performance of Photon-Number-Resolving Detectors

abstract: We analyze the performance of photon-number-resolving (PNR) detectors and introduce a figure of merit for the accuracy of such detectors. This figure of merit is the (worst-case) probability that the photon-number-resolving detector correctly predicts the input photon number. Simulations of various PNR detectors based on multiplexed single-photon `click detectors' is performed. We conclude that the required quantum efficiency is very high in order to achieve even moderate (up to a handful) photon resolution, we derive the required quantum efficiency as a function of the the maximal photon number one wants to resolve, and we show that the number of click detectors required grows quadratically with the maximal number of photons resolvable.


title: Forecasting Periods of Strong Southward Magnetic Field Following Interplanetary Shocks

abstract: Long periods of strong southward magnetic fields are known to be the primary cause of intense geomagnetic storms. The majority of such events are caused by the passage over Earth of a magnetic ejecta. Irrespective of the interplanetary cause, fast-forward shocks often precede such strong southward B$_{z}$ periods. Here, we first look at all long periods of strong southward magnetic fields as well as fast-forward shocks measured by the \textit{Wind} spacecraft in a 22.4-year span. We find that 76{\%} of strong southward B$_{z}$ periods are preceded within 48 hours by at least a fast-forward shock but only about 23{\%} of all shocks are followed within 48 hours by strong southward B$_{z}$ periods. Then, we devise a threshold-based probabilistic forecasting method based on the shock properties and the pre-shock near-Earth solar wind plasma and interplanetary magnetic field characteristics adopting a `superposed epoch analysis'-like approach. Our analysis shows that the solar wind conditions in the 30 minutes interval around the arrival of fast-forward shocks have a significant contribution to the prediction of long-duration southward B$_{z}$ periods. This probabilistic model may provide on average a 14-hour warning time for an intense and long-duration southward B$_{z}$ period. Evaluating the forecast capability of the model through a statistical and skill score-based approach reveals that it outperforms a coin-flipping forecast. By using the information provided by the arrival of a fast-forward shock at L1, this model represents a marked improvement over similar forecasting methods. We outline a number of future potential improvements.


title: Quadratic Soliton Combs in Doubly-Resonant Second-Harmonic Generation

abstract: We report a theoretical investigation of quadratic frequency combs in a dispersive second-harmonic generation cavity system. We identify different dynamical regimes and demonstrate that the same system can exhibit both bright and dark localized cavity solitons in the absence of a temporal walk-off.


title: Commissioning and Operation of the Readout System for the SoLid Neutrino Detector

abstract: The SoLid experiment aims to measure neutrino oscillation at a baseline of 6.4 m from the BR2 nuclear reactor in Belgium. Anti-neutrinos interact via inverse beta decay (IBD), resulting in a positron and neutron signal that are correlated in time and space. The detector operates in a surface building, with modest shielding, and relies on extremely efficient online rejection of backgrounds in order to identify these interactions. A novel detector design has been developed using 12800 5 cm cubes for high segmentation. Each cube is formed of a sandwich of two scintillators, PVT and 6LiF:ZnS(Ag), allowing the detection and identification of positrons and neutrons respectively. The active volume of the detector is an array of cubes measuring 80x80x250 cm (corresponding to a fiducial mass of 1.6 T), which is read out in layers using two dimensional arrays of wavelength shifting fibres and silicon photomultipliers, for a total of 3200 readout channels. Signals are recorded with 14 bit resolution, and at 40 MHz sampling frequency, for a total raw data rate of over 2 Tbit/s. In this paper, we describe a novel readout and trigger system built for the experiment, that satisfies requirements on: compactness, low power, high performance, and very low cost per channel. The system uses a combination of high price-performance FPGAs with a gigabit Ethernet based readout system, and its total power consumption is under 1 kW. The use of zero suppression techniques, combined with pulse shape discrimination trigger algorithms to detect neutrons, results in an online data reduction factor of around 10000. The neutron trigger is combined with a large per-channel history time buffer, allowing for unbiased positron detection. The system was commissioned in late 2017, with successful physics data taking established in early 2018.


title: On the Noether Problem for torsion subgroups of tori

abstract: We consider the Noether Problem for stable and retract rationality for the sequence of $d$-torsion subgroups $T[d]$ of a torus $T$, $d\geq 1$. We show that the answer to these questions only depends on $d\pmod{e(T)}$, where $e(T)$ is the period of the generic $T$-torsor. When $T$ is the norm one torus associated to a finite Galois extension, we find all $d$ such that the Noether Problem for retract rationality has a positive solution for $d$. We also give an application to the Grothendieck ring of stacks.


title: The Fredholm index for operators of tensor product type

abstract: We consider bisingular pseudodifferential operators which are pseudodifferential operators of tensor product type. These operators are defined on the product manifold $M_1 \times M_2$, for closed manifolds $M_1$ and $M_2$. We prove a topological index theorem of product type. In addition, we show that the Fredholm index of elliptic bisingular operators equals the topological index, whenever the operator takes the form of an external tensor product of pseudodifferential operators, up to equivalence. To this end we construct a suitable double deformation groupoid and a Poincar\'e duality type homomorphism.


title: Fermionic Casimir effect in a field theory model with Lorentz symmetry violation

abstract: In this paper, we evaluate the Casimir energy and pressure for a massive fermionic field confined in the region between two parallel plates. In order to implement this confinement we impose the standard MIT bag boundary on the plates for the fermionic field. In this paper we consider a quantum field theory model with a CPT even, aether-like Lorentz symmetry violation. It turns out that the fermionic Casimir energy and pressure depend on the direction of the constant vector that implements the Lorentz symmetry breaking.


title: Large Intelligent Surface-Assisted Wireless Communication Exploiting Statistical CSI

abstract: Large intelligent surface (LIS)-assisted wireless communications have drawn attention worldwide. With the use of low-cost LIS on building walls, signals can be reflected by the LIS and sent out along desired directions by controlling its phases, thereby providing supplementary links for wireless communication systems. In this study, we evaluate the performance of an LIS-assisted large-scale antenna system by formulating a tight approximation of the ergodic capacity and investigate the effect of the phase shifts on the ergodic capacity in different propagation scenarios. In particular, we propose an optimal phase shift design based on the ergodic capacity approximation and statistical channel state information. Furthermore, we derive the requirement on the quantization bits of the LIS to promise an acceptable capacity degradation. Numerical results show that using the proposed phase shift design can achieve the maximum ergodic capacity, and a 2-bit quantizer is sufficient to ensure capacity degradation of no more than 1 bit/s/Hz.


title: Semi-analytic computations of the speed of Arnold diffusion along single resonances in a priori stable Hamiltonian systems

abstract: Cornerstone models of Physics, from the semi-classical mechanics in atomic and molecular physics to planetary systems, are represented by quasi-integrable Hamiltonian systems. Since Arnold's example, the long-term diffusion in Hamiltonian systems with more than two degrees of freedom has been represented as a slow diffusion within the `Arnold web', an intricate web formed by chaotic trajectories. With modern computers it became possible to perform numerical integrations which reveal this phenomenon for moderately small perturbations. Here we provide a semi-analytic model which predicts the extremely slow-time evolution of the action variables along the resonances of multiplicity one. We base our model on two concepts: (i) By considering a (quasi-)stationary phase approach to the analysis of the Nekhoroshev normal form, we demonstrate that only a small fraction of the terms of the associated optimal remainder provide meaningful contributions to the evolution of the action variables. (ii) We provide rigorous analytical approximations to the Melnikov integrals of terms with stationary or quasi-stationary phase. Applying our model to an example of three degrees of freedom steep Hamiltonian provides the speed of Arnold diffusion, as well as a precise representation of the evolution of the action variables, in very good agreement (over several orders of magnitude) with the numerically computed one.


title: Variational time-fractional Mean Field Games

abstract: We consider the variational structure of a time-fractional second order Mean Field Games (MFG) system with local coupling. The MFG system consists of time-fractional Fokker-Planck and Hamilton-Jacobi-Bellman equations. In such a situation the individual agent follows a non-Markovian dynamics given by a subdiffusion process. Hence, the results of this paper extend the theory of variational MFG to the subdiffusive situation, providing an Eulerian interpretation of time-fractional MFG systems.


title: On fibrations of Lie groupoids

abstract: As groupoids generalize groups, motivated by group extensions we consider a kind of fibrations of Lie groupoids, called locally topological product Lie groupoid fibrations with fiber $\sf A$, i.e., \[ 1\rightarrow {\sf A} \rightarrow {\sf G} \rightarrow {\sf K}\rightarrow 1 \] where $\sf A,\sf G$ and $\sf K$ are Lie groupoids. Similar to the theory of group extensions, we show that the existence of locally topological product Lie groupoid fibrations with fiber $\sf A$ over $\sf K$ is obstructed by a groupoid cohomology of $H^3_{\bar \Lambda}({\sf K},Z_{\sf A})$, and these locally topological product Lie groupoid fibrations are classified by $H^2_{\bar \Lambda}({\sf K},Z_{\sf A})$ once exists. Here $Z_{\sf A}$ is the center of $\sf A$. This generalizes the theory of group extensions, of gerbes over manifolds/groupoids and etc.


title: Lenia - Biology of Artificial Life

abstract: We report a new system of artificial life called Lenia (from Latin lenis "smooth"), a two-dimensional cellular automaton with continuous space-time-state and generalized local rule. Computer simulations show that Lenia supports a great diversity of complex autonomous patterns or "lifeforms" bearing resemblance to real-world microscopic organisms. More than 400 species in 18 families have been identified, many discovered via interactive evolutionary computation. They differ from other cellular automata patterns in being geometric, metameric, fuzzy, resilient, adaptive, and rule-generic. We present basic observations of the system regarding the properties of space-time and basic settings. We provide a broad survey of the lifeforms, categorize them into a hierarchical taxonomy, and map their distribution in the parameter hyperspace. We describe their morphological structures and behavioral dynamics, propose possible mechanisms of their self-propulsion, self-organization and plasticity. Finally, we discuss how the study of Lenia would be related to biology, artificial life, and artificial intelligence.


title: Markov's inequality on Koornwinder's domain in $L^p$ norms

abstract: Let $\Omega=\{(x,y) \in \mathbb{R}^2 : |x|<y+1, \, x^2>4y\}$. We prove that the optimal exponent in Markov's inequality on $\Omega$ in $L^p$ norms is 4.


title: Multiplicities, invariant subspaces and an additive formula

abstract: Let $T = (T_1, \ldots, T_n)$ be a commuting tuple of bounded linear operators on a Hilbert space $\mathcal{H}$. The multiplicity of $T$ is the cardinality of a minimal generating set with respect to $T$. In this paper, we establish an additive formula for multiplicities of a class of commuting tuples of operators. A special case of the main result states the following: Let $n \geq 2$, and let $\mathcal{Q}_i$, $i = 1, \ldots, n$, be a proper closed shift co-invariant subspaces of the Dirichlet space or the Hardy space over the unit disc in $\mathbb{C}$. If $\mathcal{Q}_i^{\bot}$, $i = 1, \ldots, n$, is a zero-based shift invariant subspace, then the multiplicity of the joint $M_{\boldsymbol{z}} = (M_{z_1}, \ldots, M_{z_n})$-invariant subspace $(\mathcal{Q}_1 \otimes \cdots \otimes \mathcal{Q}_n)^\perp$ of the Dirichlet space or the Hardy space over the unit polydisc in $\mathbb{C}^n$ is given by \[ \mbox{mult}_{M_{\boldsymbol z}|_{ (\mathcal{Q}_1 \otimes \cdots \otimes \mathcal{Q}_n)^\perp}} (\mathcal{Q}_1 \otimes \cdots \otimes \mathcal{Q}_n)^\perp = \sum_{i=1}^n (\mbox{mult}_{M_z|_{\mathcal{Q}_i^\perp}} (\mathcal{Q}_i^{\bot})) = n. \] A similar result holds for the Bergman space over the unit polydisc.


title: The Arches cluster revisited. III. An addendum to the stellar census

abstract: The Arches is one of the youngest, densest and most massive clusters in the Galaxy. As such it provides a unique insight into the lifecycle of the most massive stars known and the formation and survival of such stellar aggregates in the extreme conditions of the Galactic Centre. In a previous study we presented an initial stellar census for the Arches and in this work we expand upon this, providing new and revised classifications for ~30% of the 105 spectroscopically identified cluster members as well as distinguishing potential massive runaways. The results of this survey emphasise the homogeneity and apparent co-evality of the Arches and confirm the absence of H-free Wolf-Rayets of WC sub-type and predicted luminosities. The increased depth of our complete dataset also provides significantly better constraints on the main sequence population; with the identification of O9.5 V stars for the first time we now spectroscopically sample stars with initial masses ranging from ~16Msun to >120Msun. Indeed, following from our expanded stellar census we might expect >50 stars within the Arches to have been born with masses >60Msun, while all 105 spectroscopically confirmed cluster members are massive enough to leave relativistic remnants upon their demise. Moreover the well defined observational properties of the main sequence cohort will be critical to the construction of an extinction law appropriate for the Galactic Centre and consequently the quantitative analysis of the Arches population and subsequent determination of the cluster initial mass function.


title: Security and Privacy Implications of Middlebox Cooperation Protocols

abstract: This white paper presents an analysis done by the MAMI project of the privacy and security concerns surrounding middlebox cooperation protocols (MCPs), based on our experimental experience with the Path Layer UDP Substrate (PLUS) proposal. Our key finding is that adding explicit signaling meant for on-path devices presents no significant new attack surface as compared to the status quo in the Internet architecture. While middlebox cooperation can make a passive adversary's job easier, it does not enable entirely new attacks.


title: Impact of CMS dijets in 5.02 TeV pPb and pp collisions on EPPS16 nuclear PDFs

abstract: The CMS measurement of dijet pseudorapidity distributions in pPb versus pp collisions at 5.02 TeV provides a direct probe on nuclear gluon PDFs. We show that while the predicted pPb pseudorapidity distributions suffer from sizable free-proton PDF uncertainties, the ratios of the pPb and pp distributions are practically insensitive to scale and free-proton PDF choices. We find the CMS data on pPb to pp ratios to be in good agreement with the EPPS16 nuclear modifications. Using a non-quadratic extension of the Hessian PDF reweighting method, we study the impact of these data on the EPPS16 nuclear PDFs. Relative to EPPS16, we find stronger evidence for mid-x gluon antishadowing as well as indication for larger gluon shadowing at small x. The data are also able to further constrain the gluon PDF in the EMC region.


title: Extreme wave events for a nonlinear Schr\"odinger equation with linear damping and Gaussian driving

abstract: We perform a numerical study of the initial-boundary value problem, with vanishing boundary conditions, of a driven nonlinear Schr\"odinger equation (NLS) with linear damping and a Gaussian driver. We identify Peregrine-like rogue waveforms, excited by two different types of vanishing initial data decaying at an algebraic or exponential rate. The observed extreme events emerge on top of a decaying support. Depending on the spatial/temporal scales of the driver, the transient dynamics -- prior to the eventual decay of the solutions -- may resemble the one in the semiclassical limit of the integrable NLS, or may, e.g., lead to large-amplitude breather-like patterns. The effects of the damping strength and driving amplitude, in suppressing or enhancing respectively the relevant features, as well as of the phase of the driver in the construction of a diverse array of spatiotemporal patterns, are numerically analyzed.


title: The dangerous path towards your own cryptography method

abstract: Would you like to have your own cryptography method? Experts say you should not do it. If you think you can develop a better cryptography method anyway. We present a brief discussion about some well known cryptography methods and how our model fails against the traditional attacks. We do not want to discourage anybody, we just want to show that, despite of the importance of developing better cryptography models, it is a very hard task.


title: Sidechains: Decoupled Consensus Between Chains

abstract: We propose a novel sidechain construction tailored to be compatible with the Horizen blockchain and designed for conducting secure and decentralized cross-chain transfers without requiring the mainchain nodes to track sidechains to verify them. The proposed scheme can also be adopted for other similar blockchain systems. We show that our cross-ledger transfer mechanism is secure under certain plausible assumptions.


title: Maximum-principle preserving space-time isogeometric analysis

abstract: In this work we propose a nonlinear stabilization technique for convection-diffusion-reaction and pure transport problems discretized with space-time isogeometric analysis. The stabilization is based on a graph-theoretic artificial diffusion operator and a novel shock detector for isogeometric analysis. Stabilization in time and space directions are performed similarly, which allow us to use high-order discretizations in time without any CFL-like condition. The method is proven to yield solutions that satisfy the discrete maximum principle (DMP) unconditionally for arbitrary order. In addition, the stabilization is linearity preserving in a space-time sense. Moreover, the scheme is proven to be Lipschitz continuous ensuring that the nonlinear problem is well-posed. Solving large problems using a space-time discretization can become highly costly. Therefore, we also propose a partitioned space-time scheme that allows us to select the length of every time slab, and solve sequentially for every subdomain. As a result, the computational cost is reduced while the stability and convergence properties of the scheme remain unaltered. In addition, we propose a twice differentiable version of the stabilization scheme, which enjoys the same stability properties while the nonlinear convergence is significantly improved. Finally, the proposed schemes are assessed with numerical experiments. In particular, we considered steady and transient pure convection and convection-diffusion problems in one and two dimensions.


title: Machine Learning for Anomaly Detection and Categorization in Multi-cloud Environments

abstract: Recently, advances in machine learning techniques have attracted the attention of the research community to build intrusion detection systems (IDS) that can detect anomalies in the network traffic. Most of the research works, however, do not differentiate among different types of attacks. This is, in fact, necessary for appropriate countermeasures and defense against attacks. In this paper, we investigate both detecting and categorizing anomalies rather than just detecting, which is a common trend in the contemporary research works. We have used a popular publicly available dataset to build and test learning models for both detection and categorization of different attacks. To be precise, we have used two supervised machine learning techniques, namely linear regression (LR) and random forest (RF). We show that even if detection is perfect, categorization can be less accurate due to similarities between attacks. Our results demonstrate more than 99% detection accuracy and categorization accuracy of 93.6%, with the inability to categorize some attacks. Further, we argue that such categorization can be applied to multi-cloud environments using the same machine learning techniques.


title: Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft

abstract: The paper presents Pluralize a formal logical framework able to extend the execution of blockchain transactions to events coming from external oracles, like external time, sensor data, human-made declarations, etc. These events are by essence non-reliable, since transaction execution can be triggered by information whose veracity cannot be established by the blockchain. To overcome this problem, the language features a first-order logic and an authority algebra to allow formal reasoning and establish accountability of agents for blockchain-enabled transactions. We provide an accountability model that allows to formally prove the accountability of agents by a formal proof locally executable by each agent of the blockchain.


title: Discrete model for cloud computing: Analysis of data security and data loss

abstract: Cloud computing is recognized as one of the most promising solutions to information technology, e.g., for storing and sharing data in the web service which is sustained by a company or third party instead of storing data in a hard drive or other devices. It is essentially a physical storage system which provides large storage of data and faster computing to users over the Internet. In this cloud system, the third party allows to preserve data of clients or users only for business purpose and also for a limited period of time. The users are used to share data confidentially among themselves and to store data virtually to save the cost of physical devices as well as the time. In this paper, we propose a discrete dynamical system for cloud computing and data management of the storage service between a third party and users. A framework, comprised of different techniques and procedures for distribution of storage and their implementation with users and the third party is given. For illustration purpose, the model is considered for two users and a third party, and its dynamical properties are briefly analyzed and discussed. It is shown that the discrete system exhibits periodic, quasiperiodic and chaotic states. The latter discerns that the cloud computing system with distribution of data and storage between users and the third party may be secured. Some issues of data security are discussed and a random replication scheme is proposed to ensure that the data loss can be highly reduced compared to the existing schemes in the literature.


title: ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits

abstract: Security vulnerability analysis of Integrated Circuits using conventional design-time validation and verification techniques (like simulations, emulations, etc.) is generally a computationally intensive task and incomplete by nature, especially under limited resources and time constraints. To overcome this limitation, we propose a novel methodology based on model checking to formally analyze security vulnerabilities in sequential circuits while considering side-channel parameters like propagation delay, switching power, and leakage power. In particular, we present a novel algorithm to efficiently partition the state-space into corresponding smaller state-spaces to enable distributed security analysis of complex sequential circuits and thereby mitigating the associated state-space explosion due to their feedback loops. We analyze multiple ISCAS89 and trust-hub benchmarks to demonstrate the efficacy of our framework in identifying security vulnerabilities. The experimental results show that ForASec successfully performs the complete analysis of the given complex and large sequential circuits, and provides approximately 11x to 16x speedup in analysis time compared to state-of-the-art model checking-based techniques. Moreover, it also identifies the number of gates required by an HT that can go undetected for a given design and variability conditions.


title: Generating Hard Examples for Pixel-wise Classification

abstract: Pixel-wise classification in remote sensing identifies entities in large-scale satellite-based images at the pixel level. Few fully annotated large-scale datasets for pixel-wise classification exist due to the challenges of annotating individual pixels. Training data scarcity inevitably ensues from the annotation challenge, leading to overfitting classifiers and degraded classification performance. The lack of annotated pixels also necessarily results in few hard examples of various entities critical for generating a robust classification hyperplane. To overcome the problem of the data scarcity and lack of hard examples in training, we introduce a two-step hard example generation (HEG) approach that first generates hard example candidates and then mines actual hard examples. In the first step, a generator that creates hard example candidates is learned via the adversarial learning framework by fooling a discriminator and a pixel-wise classification model at the same time. In the second step, mining is performed to build a fixed number of hard examples from a large pool of real and artificially generated examples. To evaluate the effectiveness of the proposed HEG approach, we design a 9-layer fully convolutional network suitable for pixel-wise classification. Experiments show that using generated hard examples from the proposed HEG approach improves the pixel-wise classification model's accuracy on red tide detection and hyperspectral image classification tasks.


title: A First Look at Deep Learning Apps on Smartphones

abstract: We are in the dawn of deep learning explosion for smartphones. To bridge the gap between research and practice, we present the first empirical study on 16,500 the most popular Android apps, demystifying how smartphone apps exploit deep learning in the wild. To this end, we build a new static tool that dissects apps and analyzes their deep learning functions. Our study answers threefold questions: what are the early adopter apps of deep learning, what do they use deep learning for, and how do their deep learning models look like. Our study has strong implications for app developers, smartphone vendors, and deep learning R\&D. On one hand, our findings paint a promising picture of deep learning for smartphones, showing the prosperity of mobile deep learning frameworks as well as the prosperity of apps building their cores atop deep learning. On the other hand, our findings urge optimizations on deep learning models deployed on smartphones, the protection of these models, and validation of research ideas on these models.


title: Cosmology-marginalized approaches in Bayesian model comparison: the neutrino mass as a case study

abstract: We propose here a \emph{novel} method which singles out the \emph{a priori} unavoidable dependence on the underlying cosmological model when extracting parameter constraints, providing robust limits which only depend on the considered dataset. Interestingly, when dealing with several possible cosmologies and interpreting the Bayesian preference in terms of the Gaussian statistical evidence, the preferred model is much less favored than when only two cases are compared. As a working example, we apply our approach to the cosmological neutrino mass bounds, which play a fundamental role not only in establishing the contribution of relic neutrinos to the dark matter of the Universe, but also in the planning of future experimental searches of the neutrino character and of the neutrino mass ordering.

categories: astro-ph.CO astro-ph.IM hep-ph physics.data-an


title: A practical approach to detection of distributed denial-of-service attacks using a hybrid detection method

abstract: This paper presents a hybrid method for the detection of distributed denial-of-service (DDoS) attacks that combines feature-based and volume-based detection. Our approach is based on an exponential moving average algorithm for decision-making, applied to both entropy and packet number time series. The approach has been tested by performing a controlled DDoS experiment in a real academic network. The network setup and test scenarios including both high-rate and low-rate attacks are described in the paper. The performance of the proposed method is compared to the performance of two methods that are already known in the literature. One is based on the counting of SYN packets and is used for detection of SYN flood attacks, while the other is based on a CUSUM algorithm applied to the entropy time series. The results show the advantage of our approach compared to methods that are based on either entropy or number of packets only.


title: A Probabilistic Model of the Bitcoin Blockchain

abstract: The Bitcoin transaction graph is a public data structure organized as transactions between addresses, each associated with a logical entity. In this work, we introduce a complete probabilistic model of the Bitcoin Blockchain. We first formulate a set of conditional dependencies induced by the Bitcoin protocol at the block level and derive a corresponding fully observed graphical model of a Bitcoin block. We then extend the model to include hidden entity attributes such as the functional category of the associated logical agent and derive asymptotic bounds on the privacy properties implied by this model. At the network level, we show evidence of complex transaction-to-transaction behavior and present a relevant discriminative model of the agent categories. Performance of both the block-based graphical model and the network-level discriminative model is evaluated on a subset of the public Bitcoin Blockchain.


title: A Survey on Blockchain Technology and Its Potential Applications in Distributed Control and Cooperative Robots

abstract: As a disruptive technology, blockchain, particularly its original form of bitcoin as a type of digital currency, has attracted great attentions. The innovative distributed decision making and security mechanism lay the technical foundation for its success, making us consider to penetrate the power of blockchain technology to distributed control and cooperative robotics, in which the distributed and secure mechanism is also highly demanded. Actually, security and distributed communication have long been unsolved problems in the field of distributed control and cooperative robotics. It has been reported on the network failure and intruder attacks of distributed control and multi-robotic systems. Blockchain technology provides promise to remedy this situation thoroughly. This work is intended to create a global picture of blockchain technology on its working principle and key elements in the language of control and robotics, to provide a shortcut for beginners to step into this research field.


title: Homogeneous triples for homogeneous algebras with two relations

abstract: In our preceding paper we have introduced the notion of an $s$-homogeneous triple. In this paper we use this technique to study connected $s$-homogeneous algebras with two relations. For such algebras, we describe all possible pairs $(A,M)$, where $A$ is the $s$-Veronese ring and $M$ is the $(s,1)$-Veronese bimodule of the $s$-homogeneous dual algebra. For each such a pair we give an intrinsic characterization of algebras corresponding to it. Due to results of our previous work many pairs determine the algebra uniquely up to isomorphism. Using our partial classification, we show that, to check the $s$-Koszulity of a connected $s$-homogeneous algebras with two relations, it is enough to verify an equality for Hilbert series or to check the exactness of the generalized Koszul complex in the second term. For each pair $(A,M)$ not belonging to one specific series of pairs, we check if there exists an $s$-Koszulity algebra corresponding to it. Thus, we describe a class of possible ${\rm Ext}$-algebras of $s$-Koszul connected algebras with two relations and realize all of them except a finite number of specific algebras as ${\rm Ext}$-algebras. Another result that follows from our classification is that an $s$-homogeneous algebra with two dimensional $s$-th component cannot be $s$-Koszul for $s>2$.


title: PQC: Extended Triple Decomposition Problem (XTDP) Applied To GL(d, Fp)-An Evolved Framework For Canonical Non-Commutative Cryptography

abstract: Post-Quantum Cryptography (PQC) attempts to find cryptographic protocols resistant to attacks using Shor polynomial time algorithm for numerical field problems or Grover search algorithm. A mostly overlooked but valuable line of solutions is provided by non-commutative algebraic structures, specifically canonical protocols that rely on one-way trapdoor functions (OWTF). Here we develop an evolved algebraic framework who could be applied to different asymmetric protocols. The (canonic) trapdoor one-way function here selected is a fortified version of the Triple decomposition Problem (TDP) developed by Kurt. The original protocol relies on two linear and one quadratic algebraic public equation. As quadratic equations are much more difficult to cryptanalyze, an Algebraic Span Attack (ASA) developed by Boaz Tsaban, focus on the linear ones. This seems to break our previous work. As a countermeasure, we present here an Extended TDP (cited as XTDP in this work). The main point is that the original public linear equations are transformed into quadratic ones and the same is accomplished for exchanged tokens between the entities. All details not presented here could be found at the cited references.


title: Using Motion and Internal Supervision in Object Recognition

abstract: In this thesis we address two related aspects of visual object recognition: the use of motion information, and the use of internal supervision, to help unsupervised learning. These two aspects are inter-related in the current study, since image motion is used for internal supervision, via the detection of spatiotemporal events of active-motion and the use of tracking. Most current work in object recognition deals with static images during both learning and recognition. In contrast, we are interested in a dynamic scene where visual processes, such as detecting motion events and tracking, contribute spatiotemporal information, which is useful for object attention, motion segmentation, 3-D understanding and object interactions. We explore the use of these sources of information in both learning and recognition processes. In the first part of the work, we demonstrate how motion can be used for adaptive detection of object-parts in dynamic environments, while automatically learning new object appearances and poses. In the second and main part of the study we develop methods for using specific types of visual motion to solve two difficult problems in unsupervised visual learning: learning to recognize hands by their appearance and by context, and learning to extract direction of gaze. We use our conclusions in this part to propose a model for several aspects of learning by human infants from their visual environment.


title: Paracontrolled distribution approach to stochastic Volterra equations

abstract: Based on the notion of paracontrolled distributions, we provide existence and uniqueness results for rough Volterra equations of convolution type with potentially singular kernels and driven by the newly introduced class of convolutional rough paths. The existence of such rough paths above a wide class of stochastic processes including the fractional Brownian motion is shown. As applications we consider various types of rough and stochastic (partial) differential equations such as rough differential equations with delay, stochastic Volterra equations driven by Gaussian processes and moving average equations driven by L\'evy processes.


title: Graph Comparison via the Non-backtracking Spectrum

abstract: The comparison of graphs is a vitally important, yet difficult task which arises across a number of diverse research areas including biological and social networks. There have been a number of approaches to define graph distance however often these are not metrics (rendering standard data-mining techniques infeasible), or are computationally infeasible for large graphs. In this work we define a new metric based on the spectrum of the non-backtracking graph operator and show that it can not only be used to compare graphs generated through different mechanisms, but can reliably compare graphs of varying size. We observe that the family of Watts-Strogatz graphs lie on a manifold in the non-backtracking spectral embedding and show how this metric can be used in a standard classification problem of empirical graphs.


title: First results for charm physics with a tmQCD valence action

abstract: We present preliminary results in the charm sector from a mixed-action setup, in which CLS $N_f=2+1$ ensembles are combined with a Wilson twisted mass valence action. We study the continuum and chiral limits of charm quark observables such as the decay constants $f_{D_{(s)}}$ and the renormalized charm-quark mass.


title: Optomechanical microwave amplification without mechanical amplification

abstract: High-gain and low-noise signal amplification is a valuable tool in various cryogenic microwave experiments. A microwave optomechanical device, in which a vibrating capacitor modulates the frequency of a microwave cavity, is one technique that is able to amplify microwave signals with high gain and large dynamical range. Such optomechanical amplifiers typically rely on strong backaction of microwave photons on the mechanical mode achieved in the sideband-resolved limit of optomechanics. Here, we observe microwave amplification in an optomechanical cavity in the extremely unresolved sideband limit. A large gain is observed for any detuning of the single pump tone within the cavity linewidth, a clear indication that the amplification is not induced by dynamical backaction. By being able to amplify for any detuning of the pump signal, the amplification center frequency can be tuned over the entire range of the broad cavity linewidth. Additionally, by providing microwave amplification without mechanical amplification, we predict that using this scheme it is possible to achieve near-quantum-limited microwave amplification despite a large thermal occupation of the mechanical mode.


title: Dielectrophoretic force-driven convection in annular geometry under Earth's gravity

abstract: Context: A radial temperature gradient together with an inhomogeneous radial electric field gradient is applied to a dielectric fluid confined in a vertical cylindrical annulus inducing thermal electro-hydrodynamic convection. Aims: Identification of the stability of the flow and hence of the line of marginal stability separating stable laminar free (natural) convection from thermal electro-hydrodynamic convection, its flow structures, pattern formation and critical parameters. Methods: Combination of different measurement techniques, namely the shadowgraph method and particle image velocimetry, as well as numerical simulation are used to qualify/quantify the flow. Results: We identify the transition from stable laminar free convection to thermal electro-hydrodynamic convective flow in a wide range of Rayleigh number and electric potential. The line of marginal stability found confirms results from linear stability analysis. The flow after first transition forms a structure of vertically aligned stationary columnar modes. We experimentally confirm critical parameters resulting from linear stability analysis and we show numerically an enhancement of heat transfer.


title: The Tight Cut Decomposition of Matching Covered Uniformable Hypergraphs

abstract: The perfect matching polytope, i.e. the convex hull of (incidence vectors of) perfect matchings of a graph is used in many combinatorial algorithms. Kotzig, Lov\'asz and Plummer developed a decomposition theory for graphs with perfect matchings and their corresponding polytopes known as the tight cut decomposition which breaks down every graph into a number of indecomposable graphs, so called bricks. For many properties that are of interest on graphs with perfect matchings, including the description of the perfect matching polytope, it suffices to consider these bricks. A key result by Lov\'asz on the tight cut decomposition is that the list of bricks obtained is the same independent of the choice of tight cuts made during the tight cut decomposition procedure. This implies that finding a tight cut decomposition is polynomial time equivalent to finding a single tight cut. We generalise the notions of a tight cut, a tight cut contraction and a tight cut decomposition to hypergraphs. By providing an example, we show that the outcome of the tight cut decomposition on general hypergraphs is no longer unique. However, we are able to prove that the uniqueness of the tight cut decomposition is preserved on a slight generalisation of uniform hypergraphs. Moreover, we show how the tight cut decomposition leads to a decomposition of the perfect matching polytope of uniformable hypergraphs and that the recognition problem for tight cuts in uniformable hypergraphs is polynomial time solvable.


title: Second Order Operators Subject to Dirichlet Boundary Conditions in Weighted Triebel-Lizorkin Spaces: Parabolic Problems

abstract: In this paper we consider second order parabolic partial differential equations subject to the Dirichlet boundary condition on smooth domains. We establish weighted $L_{q}$-maximal regularity in weighted Triebel-Lizorkin spaces for such parabolic problems with inhomogeneous boundary data. The weights that we consider are power weights in time and space, and yield flexibility in the optimal regularity of the initial-boundary data, allow to avoid compatibility conditions at the boundary and provide a smoothing effect. In particular, we can treat rough inhomogeneous boundary data.


title: Measured Channel Hardening in an Indoor Multiband Scenario

abstract: A study of channel hardening in a large-scale antenna system has been carried out by means of indoor channel measurements over four frequency bands, namely 1.472 GHz, 2.6 GHz, 3.82 GHz and 4.16 GHz. NTNU's Reconfigurable Radio Network Platform has been used to record the channel estimates for 40 single user non-line of sight radio links to a 64 element wide-band antenna array. By examining the rms delay spread and the ratio of the normalized subcarrier to average SISO link power of the radio channel received by a single user after combination, the hardening of this equivalent channel is analyzed for various numbers of nodes. The channel hardening merits show consistent behaviour throughout the frequency bands. By combining 16 antennas the rms delay spread of the equivalent channel is reduced from above 100 ns to below 35 ns with significantly reduced variation in the channel power.


title: Local Symmetry and Global Structure in Adaptive Voter Models

abstract: Adaptive voter models (AVMs) are simple mechanistic systems that model the emergence of mesoscopic structure from local networked processes driven by conflict and homophily. AVMs display rich behavior, including a phase transition from a fully-fragmented regime of "echo-chambers" to a regime of persistent disagreement governed by low-dimensional quasistable manifolds. Many extant methods for approximating the behavior of AVMs are either restricted in scope, expensive in computation, or inaccurate in predicting important statistics. In this work, we develop a novel, second-order moment closure approximation method for binary-state rewire-to-random and rewire-to-same model variants. We incorporate a small amount of noise via a random mutation term, which renders the system ergodic. Using ergodicity, we then approximate the voting process, which is non-Markovian in the second moments of the system, with a Markovian term near the phase transition. This approximation exploits an asymmetry between different classes of voting events. The resulting scheme enables us to predict the location of the phase transition and the active edge density in the regime of persistent disagreement, across the entire space of parameters and opinion densities. Numerically, our results are nearly exact for the rewire-to-random model, and competitive with other current approaches for the rewire-to-same model. Moreover, our computations display constant scaling in the mean degree, enabling approximations for denser systems than previously possible. We conclude with suggestions for model refinements and extensions.


title: Data-Driven Interaction Review of an Ed-Tech Application

abstract: Smile and Learn is an Ed-Tech company that runs a smart library with more that 100 applications, games and interactive stories, aimed at children aged two to 10 and their families. The platform gathers thousands of data points from the interaction with the system to subsequently offer reports and recommendations. Given the complexity of navigating all the content, the library implements a recommender system. The purpose of this paper is to evaluate two aspects of such system focused on children: the influence of the order of recommendations on user exploratory behavior, and the impact of the choice of the recommendation algorithm on engagement. The assessment, based on data collected between 15 October 2018 and 1 December 2018, required the analysis of the number of clicks performed on the recommendations depending on their ordering, and an A/B/C testing where two standard recommendation algorithmswere comparedwith a randomrecommendation that served as baseline. The results suggest a direct connection between the order of the recommendation and the interest raised, and the superiority of recommendations based on popularity against other alternatives.


title: The magnetic permeability in Fresnel's equation

abstract: Magnetic permeabilities derived for infinite, periodic media are used in the Fresnel equation to calculate the reflection from corresponding semi-infinite media. By comparison to finite-difference-time-domain (FDTD) simulations, we find that the Fresnel equation gives accurate results for 2D metamaterials which mimic natural magnetism, in a frequency range where the magnetic moment density dominates the $\mathcal O(k^2)$ part of the total Landau--Lifshitz permittivity. For a 1D layered structure, or for large frequencies, the correspondence is poor. We also demonstrate that even if a medium is described accurately by a local permittivity and permeability, the Fresnel equation is not necessarily valid.


title: Simulations of the merging cluster of galaxies Cygnus A

abstract: The archetype FR-II galaxy Cygnus A lies in a moderately rich cluster about to undergo a major merger. We study the pre-merger Cygnus cluster environment using smoothed particle hydrodynamics simulations constrained by 2Ms of Chandra observations of the hot intracluster medium. The observations constrain the total gravitating mass and concentration parameter, and the simulations provide the quiescent and merger-enhanced temperature profiles of the pre- and post merger of the cluster excluding the central active galactic nucleus. We present the first detailed model of the sub cluster north west of Cygnus A, named CygNW. We find a lower baryon fraction and higher concentration parameter for CygA than expected from known scaling relations in the literature. The model suggests the Cygnus cluster hosts a pre-merger with a progenitor mass ratio of about 1.5:1 at the virial radius. We notice that the intra cluster medium is heated as a result of the merger, but we find no evidence for a (pre-)merger shock in the interstitial region between both cluster haloes. We attribute the merger-induced heating to compression of the cluster outskirts. The smooth model obtained from our simulations is subtracted from the observed cluster state and shows residual temperature structure that is neither hydrostatic nor merger-heated cluster gas. We speculate that this residual heating may result from previous AGN activity over the last ~100 Myr.


title: Conformally isometric embeddings and Hawking temperature

abstract: We find necessary and sufficient conditions for existence of a locally isometric embedding of a vacuum space-time into a conformally-flat 5-space. We explicitly construct such embeddings for any spherically symmetric Lorentzian metric in $3+1$ dimensions as a hypersurface in $R^{4, 1}$. For the Schwarzschild metric the embedding is global, and extends through the horizon all the way to the $r=0$ singularity. We discuss the asymptotic properties of the embedding in the context of Penrose's theorem on Schwarzschild causality. We finally show that the Hawking temperature of the Schwarzschild metric agrees with the Unruh temperature measured by an observer moving along hyperbolae in $R^{4, 1}$.


title: Dispersion of small magnetic elements inside active regions on the Sun

abstract: A process of diffusion of small-scale magnetic elements inside four active regions (ARs) was analyzed. Line-of-sight magnetograms acquired by the Helioseismic and Magnetic Imager (HMI) onboard the Solar Dynamic Observatory (SDO) during a two-day time interval around the AR culmination time were utilized. Small magnetic elements of size of 3-100 squared HMI pixels with the field strength above the detection threshold of 30 Mx cm$^{-2}$ were detected and tracked. The turbulent diffusion coefficient was retrieved using the pair-separation technique. Comparison with the previously reported quiet-sun (QS) diffusivity was performed. It was found that: i) dispersion of small-scale magnetic elements inside the AR area occurs in the regime close to normal diffusion, whereas well-pronounced super-diffusion is observed in QS; ii) the diffusivity regime operating in an AR (the magnitude of the spectral index and the range of the diffusion coefficient) does not seem to depend on the individual properties of an AR, such as total unsigned magnetic flux, state of evolution, and flaring activity. We conclude that small-scale magnetic elements inside an AR do not represent an undisturbed photosphere, but they rather are intrinsic part of the whole coherent magnetic structure forming an active region. Moreover, turbulence of small-scale elements in an AR is not closely related to processes above the photosphere, but it rather carries the footprint of the sub-photospheric dynamics.


title: Rational curves on a smooth Hermitian surface

abstract: We study the set $R$ of nonplanar rational curves of degree $d<q+2$ on a smooth Hermitian surface $X$ of degree $q+1$ defined over an algebraically closed field of characteristic $p>0$, where $q$ is a power of $p$. We prove that $R$ is the empty set when $d<q+1$. In the case where $d=q+1$, we count the number of elements of $R$ by showing that the group of projective automorphisms of $X$ acts transitively on $R$ and by determining the stabilizer subgroup. In the special case where $X$ is the Fermat surface, we present an element of $R$ explicitly.


title: Local embedding and effective downfolding in the auxiliary-field quantum Monte Carlo method

abstract: A local embedding and effective downfolding scheme has been developed and implemented in the auxiliary-field quantum Monte Carlo (AFQMC) method. A local cluster in which electrons are fully correlated is defined and the frozen orbital method is used on the remainder of the system to construct an effective Hamiltonian which operates within the local cluster. Local embedding, which involves only the occupied sector, has previously been employed in the context of Co/graphene. Here, the methodology is extended in order to allow for effective downfolding of the virtual sector thus allowing for significant reduction in the computational effort required for AFQMC calculations. The system size which can be feasibly treated with AFQMC is therefore greatly extended as only a single local cluster is explicitly correlated at the AFQMC level of theory. The approximation is controlled by the separate choice of the spatial size of the active occupied region, $R_o$, and of the active virtual region, $R_v$. The systematic dependence of the AFQMC energy on $R_o$ and $R_v$ is investigated and it is found that relative AFQMC energies of physical and chemical interest converge rapidly to the full AFQMC treatment (i.e. using no embedding or downfolding).


title: Synthesis, crystal growth and characterization of the pyrochlore Er2Ti2O7

abstract: Pyrochlore erbium titanate samples in the form of powders (with nominal compositions of Er2Ti2+xO7) and bulk single crystals were prepared to elucidate the effect of synthesis and growth conditions on their composition, structure, and transition temperature. All samples were characterized using X-ray diffraction and specific heat measurements. Larger lattice parameters were measured for the Ti-deficient stuffed powders, Er2(Ti2-xErx)O7-{\delta}, while Ti-rich anti-stuffed powders, (Er2-xTix)Ti2O7+{\delta}, showed a decrease in lattice parameter. The lattice parameter for the stoichiometrically synthesized powder, Er2Ti2O7, was measured to be a = 10.07522(9) {\AA}. Single crystals grown by the conventional floating zone (FZ) technique were Ti deficient (stuffed) and darker in color due to oxygen vacancies. Using the traveling solvent floating zone (TSFZ), a high structural quality, transparent and stoichiometric Er2Ti2O7 single crystal was grown at a lower temperature using the TiO2 solvent. Heat capacity measurements of the TSFZ grown Er2Ti2O7 crystal and stoichiometric powder exhibited a very close magnetic transition temperature TC ~1.23K that was suppressed in off-stoichiometric samples, demonstrating correlations between stoichiometry and ground state magnetism in Er2Ti2O7.


title: Learning Features of Network Structures Using Graphlets

abstract: Networks are fundamental to the study of complex systems, ranging from social contacts, message transactions, to biological regulations and economical networks. In many realistic applications, these networks may vary over time. Modeling and analyzing such temporal properties is of additional interest as it can provide a richer characterization of relations between nodes in networks. In this paper, we explore the role of \emph{graphlets} in network classification for both static and temporal networks. Graphlets are small non-isomorphic induced subgraphs representing connected patterns in a network and their frequency can be used to assess network structures. We show that graphlet features, which are not captured by state-of-the-art methods, play a significant role in enhancing the performance of network classification. To that end, we propose two novel graphlet-based techniques, \emph{gl2vec} for network embedding, and \emph{gl-DCNN} for diffusion-convolutional neural networks. We demonstrate the efficacy and usability of \emph{gl2vec} and \emph{gl-DCNN} through extensive experiments using several real-world static and temporal networks. We find that features learned from graphlets can bring notable performance increases to state-of-the-art methods in network analysis.


title: Three-Level Landau-Zener Dynamics

abstract: We compute Landau-Zener probabilities for 3-level systems with a linear sweep of the uncoupled energy levels of the 3$\times$3 Hamiltonian $H(t)$. Two symmetry classes of Hamiltonians are studied: For $H(t) \in$ su(2) (expressible as a linear combination of the three spin 1 matrices), an analytic solution to the problem is obtained in terms of the parabolic cylinder $D$ functions. For $H(t) \in$ su(3) (expressible as a linear combination of the eight Gell-Mann matrices), numerical solutions are obtained. In the adiabatic regime, full population transfer is obtained asymptotically at large time, but at intermediate times, all three levels are populated and St\"uckelberg oscillations are typically manifest. For the open system, (wherein interaction with a reservoir occurs), we numerically solve a Markovian quantum master equation for the density matrix with Lindblad operators that models interaction with isotropic white Gaussian noise. We find that St\"uckelberg oscillations are suppressed and that the temporal decay law of the population probabilities is not a simple exponential.


title: Sums of squares in Macaulay2

abstract: The Macaulay2 package SumsOfSquares decomposes polynomials as sums of squares. It is based on methods to rationalize sum-of-squares decompositions due to Parrilo and Peyrl. The package features a data type for sums-of-squares polynomials, support for external semidefinite programming solvers, and optimization over varieties.


title: Towards Experimental P-systems using multivesicular liposomes

abstract: P-systems are abstract computational models inspired by the phospholipid bilayer membranes generated by biological cells. Illustrated here is a mechanism by which recursive liposome structures (multivesicular liposomes) may be experimentally produced through electroformation of dipalmitoylphosphatidylcholine (DOPC) films for use in `real' P-systems. We first present the electroformation protocol and microscopic characterisation of incident liposomes towards estimating the size of computing elements, level of internal compartment recursion, fault tolerance and stability. Following, we demonstrate multiple routes towards embedding symbols, namely modification of swelling solutions, passive diffusion and microinjection. Finally, we discuss how computing devices based on P-systems can be produced and their current limitations.


title: Gaussian Process Deep Belief Networks: A Smooth Generative Model of Shape with Uncertainty Propagation

abstract: The shape of an object is an important characteristic for many vision problems such as segmentation, detection and tracking. Being independent of appearance, it is possible to generalize to a large range of objects from only small amounts of data. However, shapes represented as silhouette images are challenging to model due to complicated likelihood functions leading to intractable posteriors. In this paper we present a generative model of shapes which provides a low dimensional latent encoding which importantly resides on a smooth manifold with respect to the silhouette images. The proposed model propagates uncertainty in a principled manner allowing it to learn from small amounts of data and providing predictions with associated uncertainty. We provide experiments that show how our proposed model provides favorable quantitative results compared with the state-of-the-art while simultaneously providing a representation that resides on a low-dimensional interpretable manifold.


title: Human Motion Prediction via Spatio-Temporal Inpainting

abstract: We propose a Generative Adversarial Network (GAN) to forecast 3D human motion given a sequence of past 3D skeleton poses. While recent GANs have shown promising results, they can only forecast plausible motion over relatively short periods of time (few hundred milliseconds) and typically ignore the absolute position of the skeleton w.r.t. the camera. Our scheme provides long term predictions (two seconds or more) for both the body pose and its absolute position. Our approach builds upon three main contributions. First, we represent the data using a spatio-temporal tensor of 3D skeleton coordinates which allows formulating the prediction problem as an inpainting one, for which GANs work particularly well. Secondly, we design an architecture to learn the joint distribution of body poses and global motion, capable to hypothesize large chunks of the input 3D tensor with missing data. And finally, we argue that the L2 metric, considered so far by most approaches, fails to capture the actual distribution of long-term human motion. We propose two alternative metrics, based on the distribution of frequencies, that are able to capture more realistic motion patterns. Extensive experiments demonstrate our approach to significantly improve the state of the art, while also handling situations in which past observations are corrupted by occlusions, noise and missing frames.


title: Kiselev/CFT correspondence and black hole thermodynamics

abstract: In this paper, we study the thermodynamic properties of Kiselev black hole and its holographic dual. We obtain the thermodynamic product formula for the Kiselev black hole. We consider Kiselev Black hole surrounded by both dust and radiation. We find that the area (or entropy) product formula for both cases is mass-independent as well as the case in the Einstein gravity, which interpreted as universal quantity. Moreover, we calculate the black hole entropy bound for both the inner and outer horizons. Furthermore, we show that the central charges of the left and right moving sectors are not the same via universal thermodynamic relations. Such universal relations lead us to calculate the central charge of conformal field theory (CFT). Finally, we see that the left and right of central charge of CFT are same.


title: Well-Tempered Cosmology

abstract: We examine an approach to cosmology, known as Well-Tempering, that allows for a de Sitter phase whose expansion is independent of the cosmological constant. Starting from a generic scalar-tensor theory compatible with the recent gravitational wave observation, we impose the Well-Tempering conditions and derive a system that is capable of tuning away the cosmological constant within a sub-class of Horndeski theory, where the scalar has a canonical kinetic term and a general potential. This scenario improves upon the Fab-Four approach by allowing a standard fluid-cosmology before entering the de Sitter phase, and we present an explicit example of our general solution.


title: Higher polynomial identities for mutations of associative algebras

abstract: We study polynomial identities satisfied by the mutation product $xpy - yqx$ on the underlying vector space of an associative algebra $A$, where $p, q$ are fixed elements of $A$. We simplify known results for identities in degree $4$, proving that only two identities are necessary and sufficient to generate them all; in degree 5, we show that adding one new identity suffices; in degree 6, we demonstrate the existence of a number of new identities.


title: A panorama of positivity

abstract: This survey contains a selection of topics unified by the concept of positive semi-definiteness (of matrices or kernels), reflecting natural constraints imposed on discrete data (graphs or networks) or continuous objects (probability or mass distributions). We put emphasis on entrywise operations which preserve positivity, in a variety of guises. Techniques from harmonic analysis, function theory, operator theory, statistics, combinatorics, and group representations are invoked. Some partially forgotten classical roots in metric geometry and distance transforms are presented with comments and full bibliographical references. Modern applications to high-dimensional covariance estimation and regularization are included.


title: Rigidity of joinings for some measure preserving systems

abstract: We introduce two properties: strong R-property and $C(q)$-property, describing a special way of divergence of nearby trajectories for an abstract measure preserving system. We show that systems satisfying the strong R-property are disjoint (in the sense of Furstenberg) with systems satisfying the $C(q)$-property. Moreover, we show that if $u_t$ is a unipotent flow on $G/\Gamma$ with $\Gamma$ irreducible, then $u_t$ satisfies the $C(q)$-property provided that $u_t$ is not of the form $h_t\times\operatorname{id}$, where $h_t$ is the classical horocycle flow. Finally, we show that the strong R-property holds for all (smooth) time changes of horocycle flows and non-trivial time changes of bounded type Heisenberg nilflows.


title: Unsupervised Image Decomposition in Vector Layers

abstract: Deep image generation is becoming a tool to enhance artists and designers creativity potential. In this paper, we aim at making the generation process more structured and easier to interact with. Inspired by vector graphics systems, we propose a new deep image reconstruction paradigm where the outputs are composed from simple layers, defined by their color and a vector transparency mask. This presents a number of advantages compared to the commonly used convolutional network architectures. In particular, our layered decomposition allows simple user interaction, for example to update a given mask, or change the color of a selected layer. From a compact code, our architecture also generates vector images with a virtually infinite resolution, the color at each point in an image being a parametric function of its coordinates. We validate the efficiency of our approach by comparing reconstructions with state-of-the-art baselines given similar memory resources on CelebA and ImageNet datasets. Most importantly, we demonstrate several applications of our new image representation obtained in an unsupervised manner, including editing, vectorization and image search.


title: Multi-scale variance reduction methods based on multiple control variates for kinetic equations with uncertainties

abstract: The development of efficient numerical methods for kinetic equations with stochastic parameters is a challenge due to the high dimensionality of the problem. Recently we introduced a multiscale control variate strategy which is capable to accelerate considerably the slow convergence of standard Monte Carlo methods for uncertainty quantification. Here we generalize this class of methods to the case of multiple control variates. We show that the additional degrees of freedom can be used to improve further the variance reduction properties of multiscale control variate methods.


title: Homogeneous Feature Transfer and Heterogeneous Location Fine-tuning for Cross-City Property Appraisal Framework

abstract: Most existing real estate appraisal methods focus on building accuracy and reliable models from a given dataset but pay little attention to the extensibility of their trained model. As different cities usually contain a different set of location features (district names, apartment names), most existing mass appraisal methods have to train a new model from scratch for different cities or regions. As a result, these approaches require massive data collection for each city and the total training time for a multi-city property appraisal system will be extremely long. Besides, some small cities may not have enough data for training a robust appraisal model. To overcome these limitations, we develop a novel Homogeneous Feature Transfer and Heterogeneous Location Fine-tuning (HFT+HLF) cross-city property appraisal framework. By transferring partial neural network learning from a source city and fine-tuning on the small amount of location information of a target city, our semi-supervised model can achieve similar or even superior performance compared to a fully supervised Artificial neural network (ANN) method.


title: Axion-electrodynamics: a quantum field calculation

abstract: An axion background field induces tiny oscillating electric and magnetic fields in an external static magnetic field. This signature is used to search for axion dark matter. We use standard quantum field theory techniques to obtain an expression for a transition amplitude, from which we identify the classical electromagnetic fields induced by the background axion field. We confirm previous results, that if the spatial size $R$ of the applied static magnetic field is small compared to the axion Compton wavelength $\lambda$, the induced electric and magnetic fields are parametrically suppressed by the small numbers $(R/\lambda)^2$ and $R/\lambda$, respectively, relative to the case when $R$ is larger than $\lambda$. Our approach allows an intuitive interpretation in terms of 4-momentum conservation and momentum exchange via the photon propagator.


title: A bulk-interface correspondence for equatorial waves

abstract: Topology is bringing new tools for the study of fluid waves. The existence of unidirectional Yanai and Kelvin equatorial waves has been related to a topological invariant, the Chern number, that describes the winding of $f$-plane shallow water eigenmodes around band crossing points in parameter space. In this previous study, the topological invariant was a property of the interface between two hemispheres. Here we ask whether a topological index can be assigned to each hemisphere. We show that this can be done if the shallow water model in $f$-plane geometry is regularized by an additional odd-viscous term. We then compute the spectrum of a shallow water model with a sharp equator separating two flat hemispheres, and recover the Kelvin and Yanai waves as two exponentially trapped waves along the equator, with all the other modes delocalized into the bulk. This model provides an exactly solvable example of bulk-interface correspondence in a flow with a sharp interface, and offers a topological interpretation for some of the transition modes described by [Iga, Journal of Fluid Mechanics 1995]. It also paves the way towards a topological interpretation of coastal Kelvin waves along a boundary, and more generally, to an understanding of bulk-boundary correspondence in continuous media.

categories: physics.flu-dyn cond-mat.mes-hall math-ph math.MP physics.ao-ph


title: Material Mapping in Unknown Environments using Tapping Sound

abstract: In this paper, we propose an autonomous exploration and a tapping mechanism-based material mapping system for a mobile robot in unknown environments. The goal of the proposed system is to integrate simultaneous localization and mapping (SLAM) modules and sound-based material classification to enable a mobile robot to explore an unknown environment autonomously and at the same time identify the various objects and materials in the environment. This creates a material map that localizes the various materials in the environment which has potential applications for search and rescue scenarios. A tapping mechanism and tapping audio signal processing based on machine learning techniques are exploited for a robot to identify the objects and materials. We demonstrate the proposed system through experiments using a mobile robot platform installed with Velodyne LiDAR, a linear solenoid, and microphones in an exploration-like scenario with various materials. Experiment results demonstrate that the proposed system can create useful material maps in unknown environments.


title: Deep Face Image Retrieval: a Comparative Study with Dictionary Learning

abstract: Facial image retrieval is a challenging task since faces have many similar features (areas), which makes it difficult for the retrieval systems to distinguish faces of different people. With the advent of deep learning, deep networks are often applied to extract powerful features that are used in many areas of computer vision. This paper investigates the application of different deep learning models for face image retrieval, namely, Alexlayer6, Alexlayer7, VGG16layer6, VGG16layer7, VGG19layer6, and VGG19layer7, with two types of dictionary learning techniques, namely $K$-means and $K$-SVD. We also investigate some coefficient learning techniques such as the Homotopy, Lasso, Elastic Net and SSF and their effect on the face retrieval system. The comparative results of the experiments conducted on three standard face image datasets show that the best performers for face image retrieval are Alexlayer7 with $K$-means and SSF, Alexlayer6 with $K$-SVD and SSF, and Alexlayer6 with $K$-means and SSF. The APR and ARR of these methods were further compared to some of the state of the art methods based on local descriptors. The experimental results show that deep learning outperforms most of those methods and therefore can be recommended for use in practice of face image retrieval


title: LISA Pathfinder Platform Stability and Drag-free Performance

abstract: The science operations of the LISA Pathfinder mission has demonstrated the feasibility of sub-femto-g free-fall of macroscopic test masses necessary to build a LISA-like gravitational wave observatory in space. While the main focus of interest, i.e. the optical axis or the $x$-axis, has been extensively studied, it is also of interest to evaluate the stability of the spacecraft with respect to all the other degrees of freedom. The current paper is dedicated to such a study, with a focus set on an exhaustive and quantitative evaluation of the imperfections and dynamical effects that impact the stability with respect to its local geodesic. A model of the complete closed-loop system provides a comprehensive understanding of each part of the in-loop coordinates spectra. As will be presented, this model gives very good agreements with LISA Pathfinder flight data. It allows one to identify the physical noise source at the origin and the physical phenomena underlying the couplings. From this, the performances of the stability of the spacecraft, with respect to its geodesic, are extracted as a function of frequency. Close to $1 mHz$, the stability of the spacecraft on the $X_{SC}$, $Y_{SC}$ and $Z_{SC}$ degrees of freedom is shown to be of the order of $5.0\ 10^{-15} m\ s^{-2}/\sqrt{Hz}$ for X and $4.0 \ 10^{-14} m\ s^{-2}/\sqrt{Hz}$ for Y and Z. For the angular degrees of freedom, the values are of the order $3\ 10^{-12} rad\ s^{-2}/\sqrt{Hz}$ for $\Theta_{SC}$ and $3\ 10^{-13} rad\ s^{-2}/\sqrt{Hz}$ for $H_{SC}$ and $\Phi_{SC}$.


title: Channel Modeling for Diffusive Molecular Communication - A Tutorial Review

abstract: Molecular communication (MC) is a new communication engineering paradigm where molecules are employed as information carriers. MC systems are expected to enable new revolutionary applications such as sensing of target substances in biotechnology, smart drug delivery in medicine, and monitoring of oil pipelines or chemical reactors in industrial settings. As for any other kind of communication, simple yet sufficiently accurate channel models are needed for the design, analysis, and efficient operation of MC systems. In this paper, we provide a tutorial review on mathematical channel modeling for diffusive MC systems. The considered end-to-end MC channel models incorporate the effects of the release mechanism, the MC environment, and the reception mechanism on the observed information molecules. Thereby, the various existing models for the different components of an MC system are presented under a common framework and the underlying biological, chemical, and physical phenomena are discussed. Deterministic models characterizing the expected number of molecules observed at the receiver and statistical models characterizing the actual number of observed molecules are developed. In addition, we provide channel models for time-varying MC systems with moving transmitters and receivers, which are relevant for advanced applications such as smart drug delivery with mobile nanomachines. For complex scenarios, where simple MC channel models cannot be obtained from first principles, we investigate simulation-driven and experimentally-driven channel models. Finally, we provide a detailed discussion of potential challenges, open research problems, and future directions in channel modeling for diffusive MC systems.


title: Two-fluid solutions of particle-creation cosmologies

abstract: Cosmological evolution driven incorporating continuous particle creation by the time-varying gravitational field is investigated. We consider a spatially flat, homogeneous and isotropic universe with two matter fluids in the context of general relativity. One fluid is endowed with gravitationally induced `adiabatic' particle creation, while the second fluid simply satisfies the conservation of energy. We show that the dynamics of the two fluids is entirely controlled by a single nonlinear differential equation involving the particle creation rate, $\Gamma (t)$. We consider a very general particle creation rate, $\Gamma (t)$, that reduces to several special cases of cosmological interest, including $\Gamma =$ constant, $% \Gamma \propto 1/H^{n}$ ($n\in \mathbb{N}$), $\Gamma \propto \exp (1/H)$. Finally, we present singular algebraic solutions of the gravitational field equations for the two-fluid particle creation models and discuss their stability.


title: Partial Deconfinement

abstract: We argue that the confined and deconfined phases in gauge theories are connected by a partially deconfined phase (i.e. SU(M) in SU(N), where M<N, is deconfined), which can be stable or unstable depending on the details of the theory. When this phase is unstable, it is the gauge theory counterpart of the small black hole phase in the dual string theory. Partial deconfinement is closely related to the Gross-Witten-Wadia transition, and is likely to be relevant to the QCD phase transition. The mechanism of partial deconfinement is related to a generic property of a class of systems. As an instructive example, we demonstrate the similarity between the Yang-Mills theory/string theory and a mathematical model of the collective behavior of ants [Beekman et al., Proceedings of the National Academy of Sciences, 2001]. By identifying the D-brane, open string and black hole with the ant, pheromone and ant trail, the dynamics of two systems closely resemble with each other, and qualitatively the same phase structures are obtained.


title: Solution of Matrix Dyson Equation for Random Matrices with Fast Correlation Decay

abstract: We consider the solution of Matrix Dyson Equation $-M\left(z\right)^{-1} = z + \mathcal{S}\left(M\left(z\right)\right)$, where entries of the linear operator $\mathcal{S}: \mathbb{C}^{N\times N} \rightarrow \mathbb{C}^{N\times N}$ decay exponentially. We show that $M(z)$ also has exponential off-diagonal decay and can be represented as Laurent series with coefficients determined by entries of $\mathcal{S}$. We also prove that for Hermitian random matrices with exponential correlation decay empirical density converges to the deterministic density obtained from $M(z)$. These results have already been proved in [arXiv:1604.08188] with the resolvent method, here we give an alternate proof via the conceptually much simpler moment method.


title: On the viability of bigravity cosmology

abstract: We revisit the question of viability of bigravity cosmology as a candidate for dark energy. In the context of the low energy limit model, where matter couples to a single metric, we study linear perturbations around homogeneous and isotropic backgrounds to derive the Poisson's equation for the Newtonian potential. Extending to second order perturbations, we identify the Vainshtein radius below which non-linear scalar self interactions conspire to reproduce GR on local scales. We combine all of these results to determine the parameter space that allows a late time de-Sitter attractor compatible with observations and a successful Vainsthein mechanism. We find that the requirement on having a successful Vainsthein mechanism is not compatible with the existence of cosmological solutions at early times.


title: New Physics Suggested by Atomki Anomaly

abstract: We consider several extensions of the Standard Model (SM) which can explain the anomalies observed by the Atomki collaboration in the decay of excited states of Beryllium via a new boson with a mass around 17 MeV yielding $e^+e^-$ pairs. We show how both spin-0 and 1 solutions are possible and describe the Beyond the SM (BSM) scenarios that can accommodate these. They include BSM frameworks with either an enlarged Higgs, or gauge sector, or both.


title: Optimising observing strategies for monitoring animals using drone-mounted thermal infrared cameras

abstract: The proliferation of relatively affordable off-the-shelf drones offers great opportunities for wildlife monitoring and conservation. Similarly the recent reduction in cost of thermal infrared cameras also offers new promise in this field, as they have the advantage over conventional RGB cameras of being able to distinguish animals based on their body heat and being able to detect animals at night. However, the use of drone-mounted thermal infrared cameras comes with several technical challenges. In this paper we address some of these issues, namely thermal contrast problems due to heat from the ground, absorption and emission of thermal infrared radiation by the atmosphere, obscuration by vegetation, and optimizing the flying height of drones for a best balance between covering a large area and being able to accurately image and identify animals of interest. We demonstrate the application of these methods with a case study using field data, and make the first ever detection of the critically endangered riverine rabbit (Bunolagus monticularis) in thermal infrared data. We provide a web-tool so that the community can easily apply these techniques to other studies (http://www.astro.ljmu.ac.uk/~aricburk/uav_calc/).


title: Designing lasing and perfectly absorbing potentials

abstract: Existence of a spectral singularity (SS) in the spectrum of {a Schr\"{o}dinger operator with} a non-Hermitian potential requires exact matching of parameters of the potential. We provide a necessary and sufficient condition for a potential to have a SS at a given wavelength. It is shown that potentials with SSs at prescribed wavelengths can be obtained by a simple and effective procedure. In particular, the developed approach allows one to obtain potentials with several SSs and with SSs of the second order, as well as potentials obeying a given symmetry, say, $\PT-$symmetric potentials. Also, the problem can be solved when it is required to obtain a potential obeying a given symmetry, say, $\PT-$symmetric potential. We illustrate all these opportunities with examples. We also describe splitting of a second-order SSs under change of the potential parameters, and discuss possibilities of experimental observation of SSs of different orders.


title: Transmission in Graphene through Time-oscillating Linear Barrier

abstract: Transmission probabilities of Dirac fermions in graphene under linear barrier potential oscillating in time are investigated. Solving Dirac equation we end up with the solutions of the energy spectrum depending on several modes coming from the oscillations. These will be used to obtain a transfer matrix that allows to determine transmission amplitudes of all modes. Due to numerical difficulties in truncating the resulting coupled channel equations, we limit ourselves to low quantum channels, i.e. $l = 0, \pm1$, and study the three corresponding transmission probabilities.


title: Bayesian Spectral Deconvolution Based on Poisson Distribution: Bayesian Measurement and Virtual Measurement Analytics (VMA)

abstract: In this paper, we propose a new method of Bayesian measurement for spectral deconvolution, which regresses spectral data into the sum of unimodal basis function such as Gaussian or Lorentzian functions. Bayesian measurement is a framework for considering not only the target physical model but also the measurement model as a probabilistic model, and enables us to estimate the parameter of a physical model with its confidence interval through a Bayesian posterior distribution given a measurement data set. The measurement with Poisson noise is one of the most effective system to apply our proposed method. Since the measurement time is strongly related to the signal-to-noise ratio for the Poisson noise model, Bayesian measurement with Poisson noise model enables us to clarify the relationship between the measurement time and the limit of estimation. In this study, we establish the probabilistic model with Poisson noise for spectral deconvolution. Bayesian measurement enables us to perform virtual and computer simulation for a certain measurement through the established probabilistic model. This property is called "Virtual Measurement Analytics(VMA)" in this paper. We also show that the relationship between the measurement time and the limit of estimation can be extracted by using the proposed method in a simulation of synthetic data and real data for XPS measurement of MoS$_2$.