title: Enhancing discrete-modulated continuous-variable measurement-device-independent quantum key distribution via quantum catalysis

abstract: The discrete modulation can make up for the shortage of transmission distance in measurement-device-independent continuous-variable quantum key distribution (MDI-CVQKD) that has an unique advantage against all side-channel attacks but also challenging for the further performance improvement. Here we suggest a quantum catalysis (QC) approach for enhancing the performance of the discrete-modulated (DM) MDI-CVQKD in terms of the achievable secret key rate and lengthening the maximal transmission distance. The numerical simulation results show that the QC-based MDI-CVQKD with discrete modulation that involves a zero-photon catalysis (ZPC) operation can not only obtain a higher secret key rate than the original DM protocol, but also contributes to the reasonable increase of the corresponding optimal variance. As for the extreme asymmetric and symmetric cases, the secret key rate and maximal transmission distance of the ZPC-involved DM MDI-CVQKD system can be further improved under the same parameters. This approach enables the system to tolerate lower reconciliation efficiency, which will promote the practical implementations with state-of-art technology.


title: Bath assisted transport in a three-site spin chain: global {\sl vs} local approach

abstract: Within the standard weak-coupling limit, the reduced dynamics of open quantum spin chains with their two end spins coupled to two distinct heat baths at different temperatures are mainly derived using the so-called \textit{global} and \textit{local} approaches, in which, respectively, the spin self-interaction is and is not taken into account. In order to compare the differences between the two regimes, we concentrate on an open three-site $XX$ spin-chain, provide systematic techniques to addressing the global and local asymptotic states and then compare the asymptotic spin-transport features by studying the spin flux through the middle site. %we examine the transport properties of an open three-site $XX$ spin-chain. %We analytically derive the exact steady state of the open chain in the global approach and its first order expansion with respect to the self-interaction in the local one. %The steady state transport properties through the middle spin is then studied %in order to compare the physical scenarios associated with the two regimes. %By analytical and numerical means, Basing on the analytical expressions of the stationary states in the two regimes, we find that the local approach misses important global effects emerging as spin sink and source terms that can only be due to non negligible inter-spin interactions. Moreover, we show that the local asympotic transport features cannot be recovered from the global ones by letting the inter-spin coupling vanish thus pointing to the existence of different coupling ranges where only one approach is physically tenable and possibly a region where the two descriptions may coexist.


title: A complete Lie symmetry classification of a class of (1+2)-dimensional reaction-diffusion-convection equations

abstract: A class of nonlinear reaction-diffusion-convection equations describing various processes in physics, biology, chemistry etc. is under study in the case of time and two space variables. The group of equivalence transformations is constructed, which is applied for deriving a Lie symmetry classification for the class of such equations by the well-known algorithm. It is proved that the algorithm leads to 32 reaction-diffusion-convection equations admitting nontrivial Lie symmetries. Furthermore a set of form-preserving transformations for this class is constructed in order to reduce this number of the equations and obtain a complete Lie symmetry classification. As a result, the so called canonical list of all inequivalent equations admitting nontrivial Lie symmetry (up to any point transformations) and their Lie symmetries are derived. The list consists of 22 equations and it is shown that any other reaction-diffusion-convection equation admitting a nontrivial Lie symmetry is reducible to one of these 22 equations. As a nontrivial example, the symmetries derived are applied for the reduction and finding exact solutions in the case of the porous-Fisher type equation with the Burgers term.


title: On the Role of Hash-based Signatures in Quantum-Safe Internet of Things: Current Solutions and Future Directions

abstract: The Internet of Things (IoT) is gaining ground as a pervasive presence around us by enabling miniaturized things with computation and communication capabilities to collect, process, analyze, and interpret information. Consequently, trustworthy data act as fuel for applications that rely on the data generated by these things, for critical decision-making processes, data debugging, risk assessment, forensic analysis, and performance tuning. Currently, secure and reliable data communication in IoT is based on public-key cryptosystems such as Elliptic Curve Cryptosystem (ECC). Nevertheless, reliance on the security of de-facto cryptographic primitives is at risk of being broken by the impending quantum computers. Therefore, the transition from classical primitives to quantum-safe primitives is indispensable to ensure the overall security of data en route. In this paper, we investigate applications of one of the post-quantum signatures called Hash-Based Signature (HBS) schemes for the security of IoT devices in the quantum era. We give a succinct overview of the evolution of HBS schemes with emphasis on their construction parameters and associated strengths and weaknesses. Then, we outline the striking features of HBS schemes and their significance for the IoT security in the quantum era. We investigate the optimal selection of HBS in the IoT networks with respect to their performance-constrained requirements, resource-constrained nature, and design optimization objectives. In addition to ongoing standardization efforts, we also highlight current and future research and deployment challenges along with possible solutions. Finally, we outline the essential measures and recommendations that must be adopted by the IoT ecosystem while preparing for the quantum world.


title: Kohn-Sham equations with functionals from the strictly-correlated regime: Investigation with a spectral renormalization method

abstract: We re-adapt a spectral renormalization method, introduced in nonlinear optics, to solve the Kohn-Sham (KS) equations of density functional theory (DFT), with a focus on functionals based on the strictly-correlated electrons (SCE) regime, which are particularly challenging to converge. Important aspects of the method are: (i) the eigenvalues and the density are computed simultaneously; (ii) it converges using randomized initial guesses; (iii) easy to implement. Using this method we could converge for the first time the Kohn-Sham equations with functionals that include the next leading term in the strong-interaction limit of density functional theory, the so-called zero-point energy (ZPE) functional as well as with an interaction-strength-interpolation (ISI) functional that includes both the exact SCE and ZPE terms. This work is the first building block for future studies on quantum systems confined in low dimensions with different statistics and long-range repulsions, such as localization properties of fermions and bosons with strong long-range repulsive interactions in the presence of a random external potential.


title: A fully distributed motion coordination strategy for multi-robot systems with local information

abstract: This paper investigates the online motion coordination problem for a group of mobile robots moving in a shared workspace. Based on the realistic assumptions that each robot is subject to both velocity and input constraints and can have only local view and local information, a fully distributed multi-robot motion coordination strategy is proposed. Building on top of a cell decomposition, a conflict detection algorithm is presented first. Then, a rule is proposed to assign dynamically a planning order to each pair of neighboring robots, which is deadlock-free. Finally, a two-step motion planning process that combines fixed-path planning and trajectory planning is designed. The effectiveness of the resulting solution is verified by a simulation example.


title: Static properties of quasi-confined hard-sphere fluids

abstract: Confined fluids display complex behavior due to layering and local packing. Here, we disentangle these effects by confining a hard-sphere fluid to the surface of a cylinder, such the circumference extends only over a few particle diameters. We compare the static structure factor and the pressure measured in computer simulations to the Percus-Yevick closure in liquid state theory. A non-monotonic evolution of the static-structure-factor peak and the pressure is observed upon variation of the confining length, similar to a liquid confined between two plates. This indicates that the density profile and the particle correlations may not be intrinsically connected in real confined liquids.


title: Tactical Decision-Making in Autonomous Driving by Reinforcement Learning with Uncertainty Estimation

abstract: Reinforcement learning (RL) can be used to create a tactical decision-making agent for autonomous driving. However, previous approaches only output decisions and do not provide information about the agent's confidence in the recommended actions. This paper investigates how a Bayesian RL technique, based on an ensemble of neural networks with additional randomized prior functions (RPF), can be used to estimate the uncertainty of decisions in autonomous driving. A method for classifying whether or not an action should be considered safe is also introduced. The performance of the ensemble RPF method is evaluated by training an agent on a highway driving scenario. It is shown that the trained agent can estimate the uncertainty of its decisions and indicate an unacceptable level when the agent faces a situation that is far from the training distribution. Furthermore, within the training distribution, the ensemble RPF agent outperforms a standard Deep Q-Network agent. In this study, the estimated uncertainty is used to choose safe actions in unknown situations. However, the uncertainty information could also be used to identify situations that should be added to the training process.


title: Deep-recessed $\beta$-Ga$_2$O$_3$ delta-doped field effect transistors with in situ epitaxial passivation

abstract: We introduce a deep-recessed gate architecture in $\beta$-Ga$_2$O$_3$ delta-doped field effect transistors for improvement in DC-RF dispersion and breakdown properties. The device design incorporates an unintentionally doped $\beta$-Ga$_2$O$_3$ layer as the passivation dielectric. To fabricate the device, the deep-recess geometry was developed using BCl$_3$ plasma based etching at ~5 W RIE to ensure minimal plasma damage. Etch damage incurred with plasma etching was mitigated by annealing in vacuum at temperatures above 600 $\deg$C. A gate-connected field-plate edge termination was implemented for efficient field management. Negligible surface dispersion with lower knee-walkout at high V$_\mathrm{DS}$, and better breakdown characteristics compared to their unpassivated counterparts were achieved. A three terminal off-state breakdown voltage of 315 V, corresponding to an average breakdown field of 2.3 MV/cm was measured. The device breakdown was limited by the field-plate/passivation edge and presents scope for further improvement. This demonstration of epitaxially passivated field effect transistors is a significant step for $\beta$-Ga$_2$O$_3$ technology since the structure simultaneously provides control of surface-related dispersion and excellent field management.


title: A modified Euler-Maclaurin formula in 1D and 2D with applications in statistical physics

abstract: The Euler-Maclaurin summation formula is generalized to a modified form by expanding the periodic Bernoulli polynomials as its Fourier series and taking cuts, which includes both the Euler-Maclaurin summation formula and the Poission summation formula as special cases. By making use of the modified formula, a numerical summation method is obtained and the error can be controlled. The modified formula is also generalized from one dimention to two dimentions. Examples of its applications in statistical physics are also discussed.


title: Quantized Circulation of Anomalous Shift in Interface Reflection

abstract: A particle beam may undergo an anomalous spatial shift when it is reflected at an interface. The shift forms a vector field defined in the two-dimensional interface momentum space. We show that, although the shift vector at individual momentum is typically sensitive to the system details, its integral along a close loop, i.e., its circulation, could yield a robust quantized number under certain symmetry conditions of interest. Particularly, this is the case when the beam is incident from a trivial medium, then the quantized circulation of anomalous shift (CAS) directly manifests the topological character of the other medium. We demonstrate that the topological charge of a Weyl medium as well as the unconventional pair potentials of a superconductor can be captured and distinguished by CAS. Our work unveils a hidden quantized feature in a ubiquitous physical process, which may also offer a new approach for probing topological media.


title: A combinatorial algorithm for computing the rank of a generic partitioned matrix with $2 \times 2$ submatrices

abstract: In this paper, we consider the problem of computing the rank of a block-structured symbolic matrix (a generic partitioned matrix) $A = (A_{\alpha \beta} x_{\alpha \beta})$, where $A_{\alpha \beta}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$ and $x_{\alpha \beta}$ is an indeterminate for $\alpha = 1,2,\dots, \mu$ and $\beta = 1,2, \dots, \nu$. This problem can be viewed as an algebraic generalization of the bipartite matching problem and was considered by Iwata and Murota (1995). Recent interests in this problem lie in the connection with non-commutative Edmonds' problem by Ivanyos, Qiao, and Subrahamanyam (2018) and Garg, Gurvits, Oliveiva, and Wigderson (2019), where a result by Iwata and Murota implicitly states that the rank and non-commutative rank (nc-rank) are the same for this class of symbolic matrices. The main result of this paper is a simple and combinatorial $O((\mu \nu)^2 \min \{ \mu, \nu \})$-time algorithm for computing the symbolic rank of a $(2 \times 2)$-type generic partitioned matrix of size $2\mu \times 2\nu$. Our algorithm is inspired by the Wong sequence algorithm by Ivanyos, Qiao, and Subrahamanyam for the nc-rank of a general symbolic matrix, and requires no blow-up operation, no field extension, and no additional care for bounding the bit-size. Moreover it naturally provides a maximum rank completion of $A$ for an arbitrary field $\mathbf{F}$.


title: Exponential ideals and a Nullstellensatz

abstract: We prove a version of a Nullstellensatz for partial exponential fields $(K,E)$, even though the ring of exponential polynomials $K[X_1,\ldots,X_n]^E$ is not a Hilbert ring. We show that under certain natural conditions one can embed an ideal of $K[X_1,\ldots,X_n]^E$ into an exponential ideal. In case the ideal consists of exponential polynomials with one iteration of the exponential function, we show that these conditions can be met. We apply our results to the case of ordered exponential fields.


title: RESIRE: real space iterative reconstruction engine for Tomography

abstract: Tomography has made a revolutionary impact on diverse fields, ranging from macro-/mesoscopic scale studies in biology, radiology, plasma physics to the characterization of 3D atomic structure in material science. The fundamental of tomography is to reconstruct a 3D object from a set of 2D projections. To solve the tomography problem, many algorithms have been developed. Among them are methods using transformation technique such as computed tomography (CT) based on Radon transform and Generalized Fourier iterative reconstruction (GENFIRE) based on Fourier slice theorem (FST), and direct methods such as Simultaneous Iterative Reconstruction Technique (SIRT) and Simultaneous Algebraic Reconstruction Technique (SART) using gradient descent and algebra technique. In this paper, we propose a hybrid gradient descent to solve the tomography problem by combining Fourier slice theorem and calculus of variations. By using simulated and experimental data, we show that the state-of-art RESIRE can produce more superior results than previous methods; the reconstructed objects have higher quality and smaller relative errors. More importantly, RESIRE can deal with partially blocked projections rigorously where only part of projection information are provided while other methods fail. We anticipate RESIRE will not only improve the reconstruction quality in all existing tomographic applications, but also expand tomography method to a broad class of functional thin films. We expect RESIRE to find a broad applications across diverse disciplines.


title: Deflation-based Identification of Nonlinear Excitations of the 3D Gross--Pitaevskii equation

abstract: We present previously unknown solutions to the 3D Gross--Pitaevskii equation describing atomic Bose-Einstein condensates. This model supports elaborate patterns, including excited states bearing vorticity. The discovered coherent structures exhibit striking topological features, involving combinations of vortex rings and multiple, possibly bent vortex lines. Although unstable, many of them persist for long times in dynamical simulations. These solutions were identified by a state-of-the-art numerical technique called deflation, which is expected to be applicable to many problems from other areas of physics.

categories: nlin.PS cs.NA math.DS math.NA physics.comp-ph


title: Learning an Adaptive Model for Extreme Low-light Raw Image Processing

abstract: Low-light images suffer from severe noise and low illumination. Current deep learning models that are trained with real-world images have excellent noise reduction, but a ratio parameter must be chosen manually to complete the enhancement pipeline. In this work, we propose an adaptive low-light raw image enhancement network to avoid parameter-handcrafting and to improve image quality. The proposed method can be divided into two sub-models: Brightness Prediction (BP) and Exposure Shifting (ES). The former is designed to control the brightness of the resulting image by estimating a guideline exposure time $t_1$. The latter learns to approximate an exposure-shifting operator $ES$, converting a low-light image with real exposure time $t_0$ to a noise-free image with guideline exposure time $t_1$. Additionally, structural similarity (SSIM) loss and Image Enhancement Vector (IEV) are introduced to promote image quality, and a new Campus Image Dataset (CID) is proposed to overcome the limitations of the existing datasets and to supervise the training of the proposed model. Using the proposed model, we can achieve high-quality low-light image enhancement from a single raw image. In quantitative tests, it is shown that the proposed method has the lowest Noise Level Estimation (NLE) score compared with the state-of-the-art low-light algorithms, suggesting a superior denoising performance. Furthermore, those tests illustrate that the proposed method is able to adaptively control the global image brightness according to the content of the image scene. Lastly, the potential application in video processing is briefly discussed.


title: DeepFake Detection by Analyzing Convolutional Traces

abstract: The Deepfake phenomenon has become very popular nowadays thanks to the possibility to create incredibly realistic images using deep learning tools, based mainly on ad-hoc Generative Adversarial Networks (GAN). In this work we focus on the analysis of Deepfakes of human faces with the objective of creating a new detection method able to detect a forensics trace hidden in images: a sort of fingerprint left in the image generation process. The proposed technique, by means of an Expectation Maximization (EM) algorithm, extracts a set of local features specifically addressed to model the underlying convolutional generative process. Ad-hoc validation has been employed through experimental tests with naive classifiers on five different architectures (GDWCT, STARGAN, ATTGAN, STYLEGAN, STYLEGAN2) against the CELEBA dataset as ground-truth for non-fakes. Results demonstrated the effectiveness of the technique in distinguishing the different architectures and the corresponding generation process.


title: Computing Nucleon Electric Dipole Moment from lattice QCD

abstract: Electric dipole moments (EDMs) of nucleons and nuclei are actively considered as direct evidence of the CP violation. Calculations of nucleon EDMs on lattice are required to connect the quark- and hadron- level effective CP violating interactions within QCD or other CP violating sources in new physics beyond the standard model. Among them, the theta-induced nucleon EDM, that is the only such renormalizable interaction, has widely been investigated on a lattice. In the report, we review recent developments of the lattice calculations of nucleon EDM induced QCD theta term.


title: Trading Off Diversity and Quality in Natural Language Generation

abstract: For open-ended language generation tasks such as storytelling and dialogue, choosing the right decoding algorithm is critical to controlling the tradeoff between generation quality and diversity. However, there presently exists no consensus on which decoding procedure is best or even the criteria by which to compare them. We address these issues by casting decoding as a multi-objective optimization problem aiming to simultaneously maximize both response quality and diversity. Our framework enables us to perform the first large-scale evaluation of decoding methods along the entire quality-diversity spectrum. We find that when diversity is a priority, all methods perform similarly, but when quality is viewed as more important, the recently proposed nucleus sampling (Holtzman et al. 2019) outperforms all other evaluated decoding algorithms. Our experiments also confirm the existence of the `likelihood trap', the counter-intuitive observation that high likelihood sequences are often surprisingly low quality. We leverage our findings to create and evaluate an algorithm called \emph{selective sampling} which tractably approximates globally-normalized temperature sampling.


title: Linear analytical approach to dispersive, external and intrinsic dissipative couplings in optomechanical systems

abstract: We present a theoretical study of optomechanical systems in which the mechanical resonator modulates both the resonant frequency (dispersive coupling) and the decay rates (dissipative coupling) of the optical cavity. We extend the generic dispersive framework to a more general case in which the dissipative coupling is split between its external and intrinsic contribution. We report a complete analysis of the influence of each kind of optical losses (intrinsic and external) on the three coupling mechanisms and highlight the interest of each external decay rate regime. The basic tools to experimentally identify the three couplings and their relative influence on the optical response are presented. We demonstrate the general expression of the optical spring effect and optomechanical damping. Comparison between experimental measurements in photonic crystal systems from the literature and our theoretical modal yields good agreement.


title: NuSTAR observation of the Supergiant Fast X-ray Transient IGR J11215-5952 during its 2017 outburst

abstract: We report on the results of a NuSTAR observation of the Supergiant Fast X-ray Transient pulsar IGRJ11215-5952 during the peak of its outburst in June 2017. IGRJ11215-5952 is the only SFXT undergoing strictly periodic outbursts, every 165 days. NuSTAR caught several X-ray flares, spanning a dynamic range of 100, and detected X-ray pulsations at 187.0 s, consistent with previous measurements. The spectrum from the whole observation is well described by an absorbed power-law (with a photon index of 1.4) modified, above 7 keV, by a cutoff with an e-folding energy of 24 keV. A weak emission line is present at 6.4 keV, consistent with Kalpha emission from cold iron in the supergiant wind. The time-averaged flux is 1.5E-10 erg/cm2/s (3-78 keV, corrected for the absorption), translating into an average luminosity of about 9E35 erg/s (1-100 keV, assuming a distance of 6.5 kpc). The NuSTAR observation allowed us to perform the most sensitive search for cyclotron resonant scattering features in the hard X-ray spectrum, resulting in no significant detection in any of the different spectral extractions adopted (time-averaged, temporally-selected, spin-phase-resolved and intensity-selected spectra). The pulse profile showed an evolution with both the energy (3-12 keV energy range compared with 12-78 keV band) and the X-ray flux: a double peaked profile was evident at higher fluxes (and in both energy bands), while a single peaked, sinusoidal profile was present at the lowest intensity state achieved within the NuSTAR observations (in both energy bands). The intensity-selected analysis allowed us to observe an anti-correlation of the pulsed fraction with the X-ray luminosity. The pulse profile evolution can be explained by X-ray photon scattering in the accreting matter above magnetic poles of a neutron star at the quasi-spherical settling accretion stage.


title: Selection rules for the excitation of quantum dots by spatially structured light beams -- Application to the reconstruction of higher excited exciton wave functions

abstract: Spatially structured light fields applied to semiconductor quantum dots yield fundamentally different absorption spectra than homogeneous beams. In this paper, we theoretically discuss the resulting spectra for different light beams using a cylindrical multipole expansion. For the description of the quantum dots we employ a model based on the effective mass approximation including Coulomb and valence band mixing. The combination of a single spatially structured light beam and state mixing allows all exciton states in the quantum dot to become optically addressable. Furthermore, we demonstrate that the beams can be tailored such that single states are selectively excited, without the need of spectral separation. Using this selectivity, we propose a method to measure the exciton wave function of the quantum dot eigenstate. The measurement goes beyond electron density measurements by revealing the spatial phase information of the exciton wave function. Thereby polarization sensitive measurements are generalized by including the infinitely large spatial degree of freedom.


title: A Study of Non-autoregressive Model for Sequence Generation

abstract: Non-autoregressive (NAR) models generate all the tokens of a sequence in parallel, resulting in faster generation speed compared to their autoregressive (AR) counterparts but at the cost of lower accuracy. Different techniques including knowledge distillation and source-target alignment have been proposed to bridge the gap between AR and NAR models in various tasks such as neural machine translation (NMT), automatic speech recognition (ASR), and text to speech (TTS). With the help of those techniques, NAR models can catch up with the accuracy of AR models in some tasks but not in some others. In this work, we conduct a study to understand the difficulty of NAR sequence generation and try to answer: (1) Why NAR models can catch up with AR models in some tasks but not all? (2) Why techniques like knowledge distillation and source-target alignment can help NAR models. Since the main difference between AR and NAR models is that NAR models do not use dependency among target tokens while AR models do, intuitively the difficulty of NAR sequence generation heavily depends on the strongness of dependency among target tokens. To quantify such dependency, we propose an analysis model called CoMMA to characterize the difficulty of different NAR sequence generation tasks. We have several interesting findings: 1) Among the NMT, ASR and TTS tasks, ASR has the most target-token dependency while TTS has the least. 2) Knowledge distillation reduces the target-token dependency in target sequence and thus improves the accuracy of NAR models. 3) Source-target alignment constraint encourages dependency of a target token on source tokens and thus eases the training of NAR models.


title: A Cloud-based SDN/NFV Testbed for End-to-End Network Slicing in 4G/5G

abstract: Network slicing aims to shape 5G as a flexible, scalable, and demand-oriented network. Research communities deploy small-scale and cost-efficient testbeds in order to evaluate network slicing functionalities. We introduce a novel testbed, called 5GIIK, that provides implementation, management, and orchestration of network slices across all network domains and different access technologies. Our methodology identifies design criteria that are a superset of the features present in other state-of-the-art testbeds and determines appropriate open-source tools for implementing them. 5GIIK is one of the most comprehensive testbeds because it provides additional features and capabilities such as slice provision dynamicity, real-time monitoring of VMs, and VNF-onboarding to different VIMs. We illustrate the potentials of the proposed testbed and present initial results.


title: Well-Posedness of Evolutionary Navier-Stokes Equations with Forces of Low Regularity on Two-Dimensional Domains

abstract: Existence and uniqueness of solutions to the Navier-Stokes equation in dimension two with forces in the space $L^q( (0,T); \mathbf{W}^{-1,p}(\Omega))$ for $p$ and $q$ in appropriate parameter ranges are proven. The case of spatially measured-valued inhomogeneities is included. For the associated Stokes equation the well-posedness results are verified in arbitrary dimensions with $1 < p, q < \infty$ arbitrary.


title: Jacobi fields in nonholonomic mechanics

abstract: In this paper, we define Jacobi fields for nonholonomic mechanics using a similar characterization than in Riemannian geometry. We give explicit conditions to find Jacobi fields and finally we find the nonholonomic Jacobi equations in two equivalent ways: the first one, using an appropriate complete lift of the nonholonomic system and, in the second one, using the curvature and torsion of the associated nonholonomic connection.


title: Landslide Tsunamis in Lakes

abstract: Landslides plunging into lakes and reservoirs can result in extreme wave runup at shores. This phenomenon has claimed lives and caused damage to near-shore properties. Landslide tsunamis in lakes are different from typical earthquake tsunamis in the open ocean in that (i) the affected areas are usually within the near-field of the source, (ii) the highest runup occurs within the time period of the geophysical event, and (iii) the enclosed geometry of a lake does not let the tsunami energy escape. To address the problem of transient landslide tsunami runup and to predict the resulting inundation, we utilize a nonlinear model equation in the Lagrangian frame of reference. The motivation for using such a scheme lies in the fact that the runup on an inclined boundary is directly and readily computed in the Lagrangian framework without the need to resort to approximations. In this work, we investigate the inundation patterns due to landslide tsunamis in a lake. We show by numerical computations that Airy's approximation of an irrotational theory using Lagrangian coordinates can legitimately predict runup of large amplitude. We also demonstrate that in a lake of finite size the highest runup may be magnified by constructive interference between edge-waves that are trapped along the shore and multiple reflections of outgoing waves from opposite shores, and may occur somewhat later after the first inundation.


title: Thermodynamic extremality relations in the massive gravity

abstract: A universal relation between the leading correction to the entropy and extremality was gotten in the work of Goon and Penco. In this paper, we extend this work to the massive gravity and investigate thermodynamic extremality relations in a topologically higher-dimensional black hole. A rescaled cosmological constant is added to the action of the massive gravity as a perturbative correction. This correction modifies the extremality bound of the black hole and leads to the shifts of the mass, entropy, etc. The Goon-Penco relation is gotten. Regarding the cosmological constant as a variable related to pressure, we get the thermodynamic extremality relations between the mass and pressure, charge, parameters $c_i$ by accurate calculations, respectively. Finally, these relations are verified by a triple product identity, which shows that the universal relation exists in black holes.


title: Approximate controllability of a non-autonomous evolution equation in Banach spaces

abstract: In this paper, we consider a non-autonomous nonlinear evolution equation in separable, reflexive Banach spaces. First, we consider a linear problem and establish the approximate controllability results by finding a feedback control with the help of an optimal control problem. We then establish the approximate controllability results for a semilinear differential equation in Banach spaces using the theory of linear evolution systems, properties of resolvent operator and Schauder's fixed point theorem. Finally, we provide an example of a non-autonomous, nonlinear diffusion equation in Banach spaces to validate the results we obtained.


title: Optimal Energy Interruption Planning and Generation Re-dispatch for Improving Reliability during Contingencies

abstract: Improving distribution grid reliability is a major challenge for planning and operation of distribution systems having a high share of distributed generators (DGs). The rise of DGs share can lead to unplanned contingencies while on the other hand, they can provide flexibility in supporting grid operations after a contingency event. This paper presents an optimal energy interruption planning approach that dispatches the flexibility from DGs and performs a cost-optimal load shedding of flexible loads. The proposed approach is tested on a synthetic grid, representing typical urban and low voltage feeders in EU with distribution networks modeled in radial and meshed configurations. The study shows that the proposed optimization process can be successfully used to plan resources during contingency event and this can lead to a reduction in energy not supplied and improvement of reliability indices.


title: Keyphrase Prediction With Pre-trained Language Model

abstract: Recently, generative methods have been widely used in keyphrase prediction, thanks to their capability to produce both present keyphrases that appear in the source text and absent keyphrases that do not match any source text. However, the absent keyphrases are generated at the cost of the performance on present keyphrase prediction, since previous works mainly use generative models that rely on the copying mechanism and select words step by step. Besides, the extractive model that directly extracts a text span is more suitable for predicting the present keyphrase. Considering the different characteristics of extractive and generative methods, we propose to divide the keyphrase prediction into two subtasks, i.e., present keyphrase extraction (PKE) and absent keyphrase generation (AKG), to fully exploit their respective advantages. On this basis, a joint inference framework is proposed to make the most of BERT in two subtasks. For PKE, we tackle this task as a sequence labeling problem with the pre-trained language model BERT. For AKG, we introduce a Transformer-based architecture, which fully integrates the present keyphrase knowledge learned from PKE by the fine-tuned BERT. The experimental results show that our approach can achieve state-of-the-art results on both tasks on benchmark datasets.


title: Unravelling the role of waveguide-plasmon strong coupling, avoided crossing and natural weak value amplification on the enhanced Faraday effect in hybrid magneto-plasmonic systems

abstract: Enhancement of magneto-optical effects in hybrid magneto-plasmonic systems has attracted considerable recent attention owing to their potential for building non-reciprocal nanophotonic devices. Quantitative understanding on the fundamental origin and contributing mechanisms for the enhancement is extremely crucial for optimizing applications. Here, we unravel the distinctly different physical origin of the giant enhancement of Faraday rotation and ellipticity in a hybrid magneto-plasmonic system, namely, waveguided magneto-plasmonic crystal for excitation with transverse electric (TE) and transverse magnetic (TM) polarized light. With TE polarization excitation, where the surface plasmons are not directly excited, the natural weak value amplification of Faraday effects appearing due to the spectral domain interference of Fano resonance is the dominant cause of the enhancement. For TM polarization excitation, on the other hand, waveguide-plasmon strong coupling and its universal manifestation of avoided crossing plays an intriguing role, leading to maximum enhancement of the magneto-optical effects in the avoided crossing regime.


title: Learning Optical Flow for Fast MRI Reconstruction

abstract: Reconstructing high-quality magnetic resonance images (MRI) from undersampled raw data is of great interest from both technical and clinical point of views. To this date, however, it is still a mathematically and computationally challenging problem due to its severe ill-posedness, resulting from the highly undersampled data leading to significantly missing information. Whilst a number of techniques have been presented to improve image reconstruction, they only account for spatio-temporal regularisation, which shows its limitations in several relevant scenarios including dynamic data. In this work, we propose a new mathematical model for the reconstruction of high-quality medical MRI from few measurements. Our proposed approach combines - \textit{in a multi-task and hybrid model} - the traditional compressed sensing formulation for the reconstruction of dynamic MRI with motion compensation by learning an optical flow approximation. More precisely, we propose to encode the dynamics in the form of an optical flow model that is sparsely represented over a learned dictionary. This has the advantage that ground truth data is not required in the training of the optical flow term. Furthermore, we present an efficient optimisation scheme to tackle the non-convex problem based on an alternating splitting method. We demonstrate the potentials of our approach through an extensive set of numerical results using different datasets and acceleration factors. Our combined approach reaches and outperforms several state of the art techniques. Finally, we show the ability of our technique to transfer phantom based knowledge to real datasets.


title: Surface phase transitions and crystal growth rates of ice in the atmosphere

abstract: With climate modeling predicting a raise of at least 2 C by year 2100, the fate of ice has become a serious concern, but we still do not understand how ice grows (or melts). In the atmosphere, crystal growth rates of basal and prismatic facets exhibit an enigmatic temperature dependence, and crossover up to three times in a range between 0 and -40 C. Here we use large scale computer simulations to characterize the ice surface and identify a sequence of novel phase transitions on the main facets of ice crystallites. Unexpectedly, we find that as temperature is increased, the crystal surface transforms from a disordered phase with proliferation of steps, to a smooth phase with small step density. This causes the anomalous increase of step free energies and provides the long sought explanation for the enigmatic crossover of snow crystal growth rates found in the atmosphere.


title: Conical tessellations associated with Weyl chambers

abstract: We consider $d$-dimensional random vectors $Y_1,\dots,Y_n$ that satisfy a mild general position assumption a.s. The hyperplanes \begin{align*} (Y_i-Y_j)^\perp\;\; (1\le i<j\le n). \end{align*} generate a conical tessellation of the Euclidean $d$-space which is closely related to the Weyl chambers of type $A_{n-1}$. We determine the number of cones in this tessellation and show that it is a.s. constant. For a random cone chosen uniformly at random from this random tessellation, we compute expectations for a general series of geometric functionals. These include the face numbers, as well as the conic intrinsic volumes and the conic quermassintegrals. Under the additional assumption of exchangeability on $Y_1,\ldots,Y_n$, the same is done for the dual random cones which have the same distribution as the positive hull of $Y_1-Y_2,\ldots, Y_{n-1}-Y_n$ conditioned on the event that this positive hull is not equal to $\mathbb R^d$. All these expectations turn out to be distribution-free. Similarly, we consider the conical tessellation induced by the hyperplanes \begin{align*} (Y_i+Y_j)^\perp\;\; (1 \le i<j\le n),\quad (Y_i-Y_j)^\perp\;\; (1\le i<j\le n),\quad Y_i^\perp\;\; (1\le i\le n) \end{align*} This tessellation is closely related to the Weyl chambers of type $B_n$. We compute the number of cones in this tessellation and the expectations of various geometric functionals for random cones drawn from this random tessellation. The main ingredient in the proofs is a connection between the number of faces of the tessellation and the number of faces of the Weyl chambers of the corresponding type that are intersected by a certain linear subspace in general position.


title: The zero mass problem for Klein-Gordon equations: quadratic null interactions

abstract: We study in $\mathbb{R}^{3+1}$ a system of nonlinearly coupled Klein-Gordon equations under null condition, with (possibly vanishing) mass varying in the interval $[0, 1]$. Our goal is three folds: 1) we want to establish the global well-posedness result to the system which is uniform in terms of the mass parameter; 2) we want to obtain unified pointwise decay result for the solution to the system, in the sense that the solution decays more like a wave component (independent of the mass parameter) in certain range of time, while the solution decays as a Klein-Gordon component with a factor depending on the mass parameter in the other part of the time range; 3) the solution to the Klein-Gordon system converges to the solution to the corresponding wave system in certain sense when the mass parameter goes to 0. In order to achieve these goals, we will rely on both the flat and the hyperboloidal foliation of the spacetime.


title: SoQal: Selective Oracle Questioning in Active Learning

abstract: Large sets of unlabelled data within the healthcare domain remain underutilized. Active learning offers a way to exploit these datasets by iteratively requesting an oracle (e.g. medical professional) to label instances. This process, which can be costly and time-consuming is overly-dependent upon an oracle. To alleviate this burden, we propose SoQal, a questioning strategy that dynamically determines when a label should be requested from an oracle. We perform experiments on five publically-available datasets and illustrate SoQal's superiority relative to baseline approaches, including its ability to reduce oracle label requests by up to 35%. SoQal also performs competitively in the presence of label noise: a scenario that simulates clinicians' uncertain diagnoses when faced with difficult classification tasks.


title: Warwick Image Forensics Dataset for Device Fingerprinting In Multimedia Forensics

abstract: Device fingerprints like sensor pattern noise (SPN) are widely used for provenance analysis and image authentication. Over the past few years, the rapid advancement in digital photography has greatly reshaped the pipeline of image capturing process on consumer-level mobile devices. The flexibility of camera parameter settings and the emergence of multi-frame photography algorithms, especially high dynamic range (HDR) imaging, bring new challenges to device fingerprinting. The subsequent study on these topics requires a new purposefully built image dataset. In this paper, we present the Warwick Image Forensics Dataset, an image dataset of more than 58,600 images captured using 14 digital cameras with various exposure settings. Special attention to the exposure settings allows the images to be adopted by different multi-frame computational photography algorithms and for subsequent device fingerprinting. The dataset is released as an open-source, free for use for the digital forensic community.


title: Proactive Aging Mitigation in CGRAs through Utilization-Aware Allocation

abstract: Resource balancing has been effectively used to mitigate the long-term aging effects of Negative Bias Temperature Instability (NBTI) in multi-core and Graphics Processing Unit (GPU) architectures. In this work, we investigate this strategy in Coarse-Grained Reconfigurable Arrays (CGRAs) with a novel application-to-CGRA allocation approach. By introducing important extensions to the reconfiguration logic and the datapath, we enable the dynamic movement of configurations throughout the fabric and allow overutilized Functional Units (FUs) to recover from stress-induced NBTI aging. Implementing the approach in a resource-constrained state-of-the-art CGRA reveals $2.2\times$ lifetime improvement with negligible performance overheads and less than $10\%$ increase in area.


title: Sharp spectral bounds for complex perturbations of the indefinite Laplacian

abstract: We derive quantitative bounds for eigenvalues of complex perturbations of the indefinite Laplacian on the real line. Our results substantially improve existing results even for real-valued potentials. For $L^1$-potentials, we obtain optimal spectral enclosures which accommodate also embedded eigenvalues, while our result for $L^p$-potentials yield sharp spectral bounds on the imaginary parts of eigenvalues of the perturbed operator for all $p\in[1,\infty)$. The sharpness of the results are demonstrated by means of explicit examples.


title: On the generalised eigenvalue method and its relation to Prony and generalised pencil of function methods

abstract: We discuss the relation of three methods to determine energy levels in lattice QCD simulations: the generalised eigenvalue, the Prony and the generalised pencil of function methods. All three can be understood as special cases of a generalised eigenvalue problem. We show analytically that the leading corrections to an energy $E_l$ in all three methods due to unresolved states decay asymptotically exponentially like $\exp(-(E_{n}-E_l)t)$. Using synthetic data we show that these corrections behave as expected also in practice. We propose a novel combination of the generalised eigenvalue and the Prony method, denoted as GEVM/PGEVM, which helps to increase the energy gap $E_{n}-E_l$. We illustrate its usage and performance using lattice QCD examples.


title: Where is the context? -- A critique of recent dialogue datasets

abstract: Recent dialogue datasets like MultiWOZ 2.1 and Taskmaster-1 constitute some of the most challenging tasks for present-day dialogue models and, therefore, are widely used for system evaluation. We identify several issues with the above-mentioned datasets, such as history independence, strong knowledge base dependence, and ambiguous system responses. Finally, we outline key desiderata for future datasets that we believe would be more suitable for the construction of conversational artificial intelligence.


title: Assurance 2.0: A Manifesto

abstract: System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-rapid system development, while others are the familiar, persistent issues of the need for efficient, effective and timely assurance. Traditional assurance is seen as a brake on innovation and often costly and time consuming. We therefore propose a modernized framework, Assurance 2.0, as an enabler that supports innovation and continuous incremental assurance. Perhaps unexpectedly, it does so by making assurance more rigorous, with increased focus on the reasoning and evidence employed, and explicit identification of defeaters and counterevidence.


title: Magnetic correlations in polycrystalline $\mathrm{Tb_{0.15}Co_{0.85}}$

abstract: We investigated a polycrystalline sample of the ferrimagnetic compound $\mathrm{Tb_{0.15}Co_{0.85}}$ by magnetometry and small-angle neutron scattering (SANS). The magnetization curve at 300 K is characteristic for soft ferrimagnets but at 5 K the hysteresis indicates the existence of magnetic domains. The magnetic SANS signal suggests that at 300 K the Tb and Co moments are correlated over large volumes within the micrometer-sized grains with correlation lengths > 100 nm. At 5 K, however, the magnetic SANS analysis reveals a reduced correlation length of around 4.5 nm, which indicates the formation of narrow magnetic domains within the ferrimagnet with one dimension being in the nm range. We attribute the observed changes of the domain structure to the temperature-dependence of the magnetic properties of the Tb sublattice.


title: Graph Convolutional Subspace Clustering: A Robust Subspace Clustering Framework for Hyperspectral Image

abstract: Hyperspectral image (HSI) clustering is a challenging task due to the high complexity of HSI data. Subspace clustering has been proven to be powerful for exploiting the intrinsic relationship between data points. Despite the impressive performance in the HSI clustering, traditional subspace clustering methods often ignore the inherent structural information among data. In this paper, we revisit the subspace clustering with graph convolution and present a novel subspace clustering framework called Graph Convolutional Subspace Clustering (GCSC) for robust HSI clustering. Specifically, the framework recasts the self-expressiveness property of the data into the non-Euclidean domain, which results in a more robust graph embedding dictionary. We show that traditional subspace clustering models are the special forms of our framework with the Euclidean data. Basing on the framework, we further propose two novel subspace clustering models by using the Frobenius norm, namely Efficient GCSC (EGCSC) and Efficient Kernel GCSC (EKGCSC). Both models have a globally optimal closed-form solution, which makes them easier to implement, train, and apply in practice. Extensive experiments on three popular HSI datasets demonstrate that EGCSC and EKGCSC can achieve state-of-the-art clustering performance and dramatically outperforms many existing methods with significant margins.


title: Dynamic Rashba-Dresselhaus Effect

abstract: The Rashba-Dresselhaus effect is the splitting of doubly degenerate band extrema in semiconductors, accompanied by the emergence of counter-rotating spin textures and spin-momentum locking. Here we investigate how this effect is modified by lattice vibrations. We show that, in centrosymmetric non-magnetic crystals, for which a bulk Rashba-Dresselhaus effect is symmetry-forbidden, electron-phonon interactions can induce a phonon-assisted, dynamic Rashba-Dresselhaus spin splitting in the presence of an out-of-equilibrium phonon population. In particular, we show how Rashba, Dresselhaus, or Weyl spin textures can selectively be established by driving coherent infrared-active phonons, and we perform ab initio calculations to quantify this effect for halide perovskites.


title: Logistic and $\theta$-logistic models in population dynamics: General analysis and exact results

abstract: In the present paper we provide the closed form of the path-like solutions for the logistic and $\theta$-logistic stochastic differential equations, along with the exact expressions of both their probability density functions and their moments. We simulate in addition a few typical sample trajectories, and we provide a few examples of numerical computation of the said closed formulas at different noise intensities: this shows in particular that an increasing randomness - while making the process more unpredictable - asymptotically tends to suppress in average the logistic growth. These main results are preceded by a discussion of the noiseless, deterministic versions of these models: a prologue which turns out to be instrumental - on the basis of a few simplified but functional hypotheses - to frame the logistic and $\theta$-logistic equations in a unified context, within which also the Gompertz model emerges from an anomalous scaling.


title: Work statistics in the periodically driven quartic oscillator: classical versus quantum dynamics

abstract: In the thermodynamics of nanoscopic systems the relation between classical and quantum mechanical description is of particular importance. To scrutinize this correspondence we study an anharmonic oscillator driven by a periodic external force with slowly varying amplitude both classically and within the framework of quantum mechanics. The energy change of the oscillator induced by the driving is closely related to the probability distribution of work for the system. With the amplitude $\lambda(t)$ of the drive increasing from zero to a maximum $\lambda_{max}$ and then going back to zero again initial and final Hamiltonian coincide. The main quantity of interest is then the probability density $P(E_f|E_i)$ for transitions from initial energy $E_i$ to final energy $E_f$. In the classical case non-diagonal transitions with $E_f\neq E_i$ mainly arise due to the mechanism of separatrix crossing. We show that approximate analytical results within the pendulum approximation are in accordance with numerical simulations. In the quantum case numerically exact results are complemented with analytical arguments employing Floquet theory. For both classical and quantum case we provide an intuitive explanation for the periodic variation of $P(E_f|E_i)$ with the maximal amplitude $\lambda_{max}$ of the driving.


title: Charged strange stellar model with Tolman $V$ metric potential in the Einstein-Maxwell space-time

abstract: This paper deals with the existence of a compact stellar object, precisely strange (quark) star, in the framework of Einstein's General Theory of Relativity with Tolman $V$ metric potential, which is one of the simplest forms of potential among his proposals. The potential is given by $e^{\nu}=Kr^{2n}$, where $K$ is the constant and $n$ is a parameter [R.C. Tolman, Phys. Rev. {\bf55}, 364 (1939)]. Considering charged, static, spherically symmetric, isotropic fluid sphere we have studied different physical features of some strange star candidates namely $EXO\ 1785-248$, $LMC\ X-4$, $SMC\ X-1$, $SAX\ J1808.4-3658$, $4U\ 1538-52$ and $Her\ X-1$. To represent the strange quark matter (SQM) distribution we have employed the simplest form of MIT bag equation of state (EOS), which provides a linear relationship between pressure and density of the matter through Bag constant $B$. We have done several tests for the stability criteria and the physical acceptability of the proposed model. The results show consistency with energy condition, TOV equation, adiabatic index, etc. We have calculated different physical parameters of our model for the three different consecutive values of Bag constant $B$ which are $83\ MeV/fm^3$, $90\ MeV/fm^3$ and $100\ MeV/fm^3$. Among them with $B=90\ MeV/fm^3$ we have analyzed different properties of the proposed strange star candidates.


title: Higher connectivity of the Morse complex

abstract: The Morse complex $\mathcal{M}(\Delta)$ of a finite simplicial complex $\Delta$ is the complex of all gradient vector fields on $\Delta$. In this paper we study higher connectivity properties of $\mathcal{M}(\Delta)$. For example, we prove that $\mathcal{M}(\Delta)$ gets arbitrarily highly connected as the maximum degree of a vertex of $\Delta$ goes to $\infty$, and for $\Delta$ a graph additionally as the number of edges goes to $\infty$. We also classify precisely when $\mathcal{M}(\Delta)$ is connected or simply connected. Our main tool is Bestvina-Brady Morse theory, applied to a "generalized Morse complex."


title: G\"odel incompleteness through Arithmetic Universes after A. Joyal

abstract: We give proofs of G\"odel's incompleteness theorems after A. Joyal. The proof uses internal category theory in an arithmetic universe, a predicative generalisation of topoi. Applications to L\"ob's Theorem are discussed.


title: Using Libraries of Approximate Circuits in Design of Hardware Accelerators of Deep Neural Networks

abstract: Approximate circuits have been developed to provide good tradeoffs between power consumption and quality of service in error resilient applications such as hardware accelerators of deep neural networks (DNN). In order to accelerate the approximate circuit design process and to support a fair benchmarking of circuit approximation methods, libraries of approximate circuits have been introduced. For example, EvoApprox8b contains hundreds of 8-bit approximate adders and multipliers. By means of genetic programming we generated an extended version of the library in which thousands of 8- to 128-bit approximate arithmetic circuits are included. These circuits form Pareto fronts with respect to several error metrics, power consumption and other circuit parameters. In our case study we show how a large set of approximate multipliers can be used to perform a resilience analysis of a hardware accelerator of ResNet DNN and to select the most suitable approximate multiplier for a given application. Results are reported for various instances of the ResNet DNN trained on CIFAR-10 benchmark problem.


title: Understanding Integrated Gradients with SmoothTaylor for Deep Neural Network Attribution

abstract: Integrated Gradients as an attribution method for deep neural network models offers simple implementability. However, it suffers from noisiness of explanations which affects the ease of interpretability. The SmoothGrad technique is proposed to solve the noisiness issue and smoothen the attribution maps of any gradient-based attribution method. In this paper, we present SmoothTaylor as a novel theoretical concept bridging Integrated Gradients and SmoothGrad, from the Taylor's theorem perspective. We apply the methods to the image classification problem, using the ILSVRC2012 ImageNet object recognition dataset, and a couple of pretrained image models to generate attribution maps. These attribution maps are empirically evaluated using quantitative measures for sensitivity and noise level. We further propose adaptive noising to optimize for the noise scale hyperparameter value. From our experiments, we find that the SmoothTaylor approach together with adaptive noising is able to generate better quality saliency maps with lesser noise and higher sensitivity to the relevant points in the input space as compared to Integrated Gradients.


title: Variation of the uncentered maximal characteristic Function

abstract: Let $\mathcal M$ be the uncentered Hardy-Littlewood maximal operator or the dyadic maximal operator and $d\geq1$. We prove that for a set $E\subset\mathbb R^d$ of finite perimeter the bound $\operatorname{var}\mathcal M1_E\leq C_d\operatorname{var}1_E$ holds. We also prove this for the local maximal operator.


title: Secure multi-party quantum computation with few qubits

abstract: We consider the task of secure multi-party distributed quantum computation on a quantum network. We propose a protocol based on quantum error correction which reduces the number of necessary qubits. That is, each of the $n$ nodes in our protocol requires an operational workspace of $n^2+\Theta(s) n$ qubits, as opposed to previously shown $\Omega\big((n^3+n^2s^2)\log n\big)$ qubits, where $s$ is a security parameter. To achieve universal computation, we develop a distributed procedure for verifying magic states based on magic state distillation and statistical testing of randomly selected states. This allows us to apply distributed $T$ gate and which may be of independent interest. We showcase our protocol on a small example for a 7-node network.


title: Hidden sign in Langlands' correspondence

abstract: In this note I describe some modification of the Langlands correspondence and explain why it is more natural. I will also discuss its significance to the theory of automorphic L-functions.


title: Decentralized Cross-Blockchain Asset Transfers

abstract: Today, several solutions for cross-blockchain asset transfers exist. However, these solutions are either tailored to specific assets or neglect finality guarantees that prevent assets from getting lost in transit. In this paper, we present a cross-blockchain asset transfer protocol that supports arbitrary assets and adheres to finality requirements. The ability to freely transfer assets between blockchains may increase transaction throughput and provide developers with more flexibility by allowing them to design digital assets that leverage the capacities and capabilities of multiple blockchains.


title: Differential evolution outside the box

abstract: This paper investigates how often the popular configurations of Differential Evolution generate solutions outside the feasible domain. Following previous publications in the field, we argue that what the algorithm does with such solutions and how often this has to happen is important for the overall performance of the algorithm and interpretation of results. Based on observations therein, we conclude that significantly more solutions than what is usually assumed by practitioners need to undergo some sort of 'correction' to conform with the definition of the problem's search domain. A wide range of popular Differential Evolution configurations is considered in this study. Conclusions are made regarding the effect the Differential Evolution components and parameter settings have on the distribution of proportions of infeasible solutions generated in a series of independent runs. Results shown in this study suggest strong dependencies between proportions of generated infeasible solutions and every aspect mentioned above. Further investigation of the distribution of proportions of generated infeasible solutions is required.


title: OUTBREAK: A user-friendly georeferencing online tool for disease surveillance

abstract: The current COVID-19 pandemic has already claimed more than 100,000 victims and it will cause more deaths in the coming months. Tools that can track the number and locations of cases are critical for surveillance and can help in making policy decisions for controlling the outbreak. The current surveillance web-based dashboards run on proprietary platforms, which are often expensive and require specific computational knowledge. We present a new tool (OUTBREAK) for studying and visualizing epidemiological data. It permits even non-specialist users to input data most conveniently and track outbreaks in real-time. This tool has the potential to guide and help health authorities to intervene and minimize the effects of the outbreaks. It is freely available at http://outbreak.sysbio.tools/.


title: EMAP: A Cloud-Edge Hybrid Framework for EEG Monitoring and Cross-Correlation Based Real-time Anomaly Prediction

abstract: State-of-the-art techniques for detecting, or predicting, neurological disorders (1) focus on predicting each disorder individually, and are (2) computationally expensive, leading to a delay that can potentially render the prediction useless, especially in critical events. Towards this, we present a real-time two-tiered framework called EMAP, which cross-correlates the input with all the EEG signals in our mega-database (a combination of multiple EEG datasets) at the cloud, while tracking the signal in real-time at the edge, to predict the occurrence of a neurological anomaly. Using the proposed framework, we have demonstrated a prediction accuracy of up to 94% for the three different anomalies that we have tested.


title: TDOA-based localization with NLOS mitigation via robust model transformation and neurodynamic optimization

abstract: This paper revisits the problem of locating a signal-emitting source from time-difference-of-arrival (TDOA) measurements under non-line-of-sight (NLOS) propagation. Many currently fashionable methods for NLOS mitigation in TDOA-based localization tend to solve their optimization problems by means of convex relaxation and, thus, are computationally inefficient. Besides, previous studies show that manipulating directly on the TDOA metric usually gives rise to intricate estimators. Aiming at bypassing these challenges, we turn to retrieve the underlying time-of-arrival framework by treating the unknown source onset time as an optimization variable and imposing certain inequality constraints on it, mitigate the NLOS errors through the $\ell_1$-norm robustification, and finally apply a hardware realizable neurodynamic model based on the redefined augmented Lagrangian and projection theorem to solve the resultant nonconvex optimization problem with inequality constraints. It is validated through extensive simulations that the proposed scheme can strike a nice balance between localization accuracy, computational complexity, and prior knowledge requirement.


title: First evidence of luminescence in a He/CF$_4$ gas mixture induced by non-ionizing electrons

abstract: Optical readout of Gas Electron Multipliers (GEM) provides very interesting performances and has been proposed for different applications in particle physics. In particular, thanks to its good efficiency in the keV energy range, it is being developed for low-energy and rare event studies, such as Dark Matter search. So far, the optical approach exploits the light produced during the avalanche processes in GEM channels. Further luminescence in the gas can be induced by electrons accelerated by a suitable electric field. The CYGNO collaboration studied this process with a combined use of a triple-GEM structure and a grid in an He/CF$_4$ (60/40) gas mixture at atmospheric pressure. Results reported in this paper allow to conclude that with an electric field of about 11~kV/cm a photon production mean free path of about 1.0~cm was found.


title: Some results on a question of M. Newman on isomorphic subgroups of solvable groups

abstract: In this paper, we focus on a question of M. Newman on isomorphic subgroups of solvable groups. We get a reduction theorem of this question: for each prime q, assume that this question holds for every characteristic q-groups, then this question holds for every finite solvable groups. Using this reduction theorem, we get some partial answers about this question.


title: Stabilizing Training of Generative Adversarial Nets via Langevin Stein Variational Gradient Descent

abstract: Generative adversarial networks (GANs), famous for the capability of learning complex underlying data distribution, are however known to be tricky in the training process, which would probably result in mode collapse or performance deterioration. Current approaches of dealing with GANs' issues almost utilize some practical training techniques for the purpose of regularization, which on the other hand undermines the convergence and theoretical soundness of GAN. In this paper, we propose to stabilize GAN training via a novel particle-based variational inference -- Langevin Stein variational gradient descent (LSVGD), which not only inherits the flexibility and efficiency of original SVGD but aims to address its instability issues by incorporating an extra disturbance into the update dynamics. We further demonstrate that by properly adjusting the noise variance, LSVGD simulates a Langevin process whose stationary distribution is exactly the target distribution. We also show that LSVGD dynamics has an implicit regularization which is able to enhance particles' spread-out and diversity. At last we present an efficient way of applying particle-based variational inference on a general GAN training procedure no matter what loss function is adopted. Experimental results on one synthetic dataset and three popular benchmark datasets -- Cifar-10, Tiny-ImageNet and CelebA validate that LSVGD can remarkably improve the performance and stability of various GAN models.


title: ${\bf U} = \mathbf{C}^{1/2}$ and its invariants in terms of $\bf C$ and its invariants

abstract: We consider $N\times N$ tensors for $N= 3,4,5,6$. In the case $N=3$, it is desired to find the three principal invariants $i_1, i_2, i_3$ of $\bf U$ in terms of the three principal invariants $I_1, I_2, I_3$ of ${\bf C}={\bf U}^2$. Equations connecting the $i_\alpha$ and $I_\alpha$ are obtained by taking determinants of the factorisation \[\lambda^2{\bf I}- {\bf C} = (\lambda{\bf I}- {\bf U}) (\lambda{\bf I}+ {\bf U})\] and comparing coefficients. On eliminating $i_2$ we obtain a quartic equation with coefficients depending solely on the $I_\alpha$ whose largest root is $i_1$. Similarly, we may obtain a quartic equation whose largest root is $i_2$. For $N=4$ we find that $i_2$ is once again the largest root of a quartic equation and so all the $i_\alpha$ are expressed in terms of the $I_\alpha$. Then $\bf U$ and ${\bf U}^{-1}$ are expressed solely in terms of $\bf C$, as for $N=3$. For $N= 5$ we find, but do not exhibit, a twentieth degree polynomial of which $i_1$ is the largest root and which has four spurious zeros. We are unable to express the $i_\alpha$ in terms of the $I_\alpha$ for $N=5$. Nevertheless, $\bf U$ and ${\bf U}^{-1}$ are expressed in terms of powers of $\bf C$ with coefficients now depending on the $i_\alpha$. For $N=6$ we find, but do not exhibit, a 32 degree polynomial which has largest root $i_1^2$. Sixteen of these roots are relevant but the other 16, which we exhibit, are spurious. $\bf U$ and ${\bf U}^{-1}$ are expressed in terms of powers of $\bf C$. The cases $N>6$ are discussed. Keywords: Continuum mechanics, polar decomposition, tensor square roots, principal invariants, cubic equations, quartic equations, equations of degree 16


title: Distributed Learning and Inference with Compressed Images

abstract: Modern computer vision requires processing large amounts of data, both while training the model and/or during inference, once the model is deployed. Scenarios where images are captured and processed in physically separated locations are increasingly common (e.g. autonomous vehicles, cloud computing). In addition, many devices suffer from limited resources to store or transmit data (e.g. storage space, channel capacity). In these scenarios, lossy image compression plays a crucial role to effectively increase the number of images collected under such constraints. However, lossy compression entails some undesired degradation of the data that may harm the performance of the downstream analysis task at hand, since important semantic information may be lost in the process. Moreover, we may only have compressed images at training time but are able to use original images at inference time, or vice versa, and in such a case, the downstream model suffers from covariate shift. In this paper, we analyze this phenomenon, with a special focus on vision-based perception for autonomous driving as a paradigmatic scenario. We see that loss of semantic information and covariate shift do indeed exist, resulting in a drop in performance that depends on the compression rate. In order to address the problem, we propose dataset restoration, based on image restoration with generative adversarial networks (GANs). Our method is agnostic to both the particular image compression method and the downstream task; and has the advantage of not adding additional cost to the deployed models, which is particularly important in resource-limited devices. The presented experiments focus on semantic segmentation as a challenging use case, cover a broad range of compression rates and diverse datasets, and show how our method is able to significantly alleviate the negative effects of compression on the downstream visual task.


title: Enhancement of Particle Image Velocimetry Images

abstract: Particle Image Velocimetry (PIV) is a method to visualize the flows and quantitatively map the flows. It is used to obtain the instantaneous velocity, vorticity, divergence, shear in fluids, etc. Laser Doppler velocimetry and hot wire anemometry are other techniques that are used to measure the flow. The main difference between PIV and those techniques is that PIV produces two-dimensional or three-dimensional vector fields. PIV uses two sequences of images (frames) and the frames are split into a large number of interrogation windows. The displacement vector is calculated for each window with the help of auto-correlation or cross-correlation techniques. Missing data during these processes leads to inaccurate results. To overcome this, preprocessing techniques such as histogram equalization and intensity clipping are used to enhance the PIV images to obtain accurate results.


title: Hardware and Interference Limited Cooperative CR-NOMA Networks under Imperfect SIC and CSI

abstract: The conflation of cognitive radio (CR) and nonorthogonal multiple access (NOMA) concepts is a promising approach to fulfil the massive connectivity goals of future networks given the spectrum scarcity. Accordingly, this letter investigates the outage performance of imperfect cooperative CR-NOMA networks under hardware impairments and interference. Our analysis is involved with the derivation of the end-to-end outage probability (OP) for secondary NOMA users by accounting for imperfect channel state information (CSI), as well as the residual interference caused by successive interference cancellation (SIC) errors and coexisting primary/secondary users. The numerical results validated by Monte Carlo simulations show that CR-NOMA network provides a superior outage performance over orthogonal multiple access. As imperfections become more significant, CR-NOMA is observed to deliver relatively poor outage performance.


title: Unveiling the physical conditions in NGC 6910

abstract: Deep and wide-field optical photometric observations along with multiwavelength archival datasets have been employed to study the physical properties of the cluster NGC 6910. The study also examines the impact of massive stars to their environment. The age, distance and reddening of the cluster are estimated to be $\sim$4.5 Myr, $1.72\pm0.08$ kpc, and $ E(B-V)_{min}= 0.95$ mag, respectively. The mass function slope ($\Gamma = -0.74\pm0.15$ in the cluster region is found to be flatter than the Salpeter value (-1.35), indicating the presence of excess number of massive stars. The cluster also shows mass segregation towards the central region due to their formation processes. The distribution of warm dust emission is investigated towards the central region of the cluster, showing the signature of the impact of massive stars within the cluster region. Radio continuum clumps powered by massive B-type stars (age range $\sim$ 0.07-0.12 Myr) are traced, which are located away from the center of the stellar cluster NGC 6910 (age $\sim$ 4.5 Myr). Based on the values of different pressure components exerted by massive stars, the photoionized gas associated with the cluster is found to be the dominant feedback mechanism in the cluster. Overall, the massive stars in the cluster might have triggered the birth of young massive B-type stars in the cluster. This argument is supported with evidence of the observed age gradient between the cluster and the powering sources of the radio clumps.


title: Towards Efficient Hazard Identification in the Concept Phase of Driverless Vehicle Development

abstract: The complex functional structure of driverless vehicles induces a multitude of potential malfunctions. Established approaches for a systematic hazard identification generate individual potentially hazardous scenarios for each identified malfunction. This leads to inefficiencies in a purely expert-based hazard analysis process, as each of the many scenarios has to be examined individually. In this contribution, we propose an adaptation of the strategy for hazard identification for the development of automated vehicles. Instead of focusing on malfunctions, we base our process on deviations from desired vehicle behavior in selected operational scenarios analyzed in the concept phase. By evaluating externally observable deviations from a desired behavior, we encapsulate individual malfunctions and reduce the amount of generated potentially hazardous scenarios. After introducing our hazard identification strategy, we illustrate its application on one of the operational scenarios used in the research project UNICAR$agil$.


title: ApproxFPGAs: Embracing ASIC-Based Approximate Arithmetic Components for FPGA-Based Systems

abstract: There has been abundant research on the development of Approximate Circuits (ACs) for ASICs. However, previous studies have illustrated that ASIC-based ACs offer asymmetrical gains in FPGA-based accelerators. Therefore, an AC that might be pareto-optimal for ASICs might not be pareto-optimal for FPGAs. In this work, we present the ApproxFPGAs methodology that uses machine learning models to reduce the exploration time for analyzing the state-of-the-art ASIC-based ACs to determine the set of pareto-optimal FPGA-based ACs. We also perform a case-study to illustrate the benefits obtained by deploying these pareto-optimal FPGA-based ACs in a state-of-the-art automation framework to systematically generate pareto-optimal approximate accelerators that can be deployed in FPGA-based systems to achieve high performance or low-power consumption.


title: Quantum Squeezing Schemes for Heterodyne Readout

abstract: Advanced gravitational-wave detectors are limited by quantum noise in their most sensitive frequency band. Quantum noise suppression techniques, such as the application of the quantum squeezed state of light, have been actively studied in the context of homodyne readouts. In this paper, we consider quantum squeezing schemes for the heterodyne readouts. This is motivated by a successful suppression of the higher-order-mode content by stable recycling cavities in advanced detectors. The heterodyne readout scheme requires precise tuning of the interferometer parameters and a broadband squeezing source, but is conceptually simple and elegant. We further show that it is compatible with the frequency-dependent squeezing, which reduces both the shot noise and the radiation-pressure noise. We propose a test of the heterodyne readout with squeezing in Advanced LIGO. This can serve as a pathfinder not only for the implementation in future detectors, such as Einstein Telescope and Cosmic Explorer, but also for general high-precision optical measurements.


title: Thermal convection in the crust of the dwarf planet (1) Ceres

abstract: Ceres is the largest body in the Main Belt, and it is characterized by a large abundance of water ice in its interior. This feature is suggested by its relatively low bulk density (2162 kg m$^{-3}$), while its partial differentiation into a rocky core and icy crust is suggested by several geological and geochemical features: minerals and salts produced by aqueous alteration, icy patches on the surface, lobate morphology interpreted as surface flows. In this work we explore how the composition can influence the characteristics of thermal convection in the crust of Ceres. Our results suggest that the onset of thermal convection is difficult and when it occurs it is short lived and this could imply that Ceres preserved deep liquid until present, as recent suggested by the work of Castillo-Rogez et al.. Moreover, cryovolcanism could be driven by diapirism (chemical convection) rather than thermal convection.


title: Riemannian manifolds dual to static spacetimes

abstract: We establish a one-to-one correspondence between static spacetimes and Riemannian manifolds that maps causal geodesics to geodesics, as suggested by L. C. Epstein. We then explore constant curvature spacetimes - such as the de Sitter and the anti-de Sitter universes - and find that they map to constant curvature Riemannian manifolds, namely the Euclidean space, the sphere and the hyperbolic space. By imposing the conditions required to map to the sphere, we obtain the spherically symmetric metrics for which there is radial oscillatory motion with a period independent of the amplitude. We then consider the case of a perfect fluid and an Einstein cluster and determine the pressure and density profiles required to find this type of motion. Finally, we give examples of surfaces corresponding to certain types of motion for metrics that do not exhibit constant curvature, such as the Schwarzschild, Schwarzschild de Sitter and Schwarzschild anti-de Sitter solutions, and even for a simplified model of a wormhole.


title: A Non-Ideal NOMA-based mmWave D2D Networks with Hardware and CSI Imperfections

abstract: This letter investigates a non-orthogonal multiple access (NOMA) assisted millimeter-wave device-to-device (D2D) network practically limited by multiple interference noises, transceiver hardware impairments, imperfect successive interference cancellation, and channel state information mismatch. Generalized outage probability expressions for NOMA-D2D users are deduced and achieved results, validated by Monte Carlo simulations, are compared with the orthogonal multiple access to show the superior performance of the proposed network model


title: Deep Learning for Screening COVID-19 using Chest X-Ray Images

abstract: With the ever increasing demand for screening millions of prospective "novel coronavirus" or COVID-19 cases, and due to the emergence of high false negatives in the commonly used PCR tests, the necessity for probing an alternative simple screening mechanism of COVID-19 using radiological images (like chest X-Rays) assumes importance. In this scenario, machine learning (ML) and deep learning (DL) offer fast, automated, effective strategies to detect abnormalities and extract key features of the altered lung parenchyma, which may be related to specific signatures of the COVID-19 virus. However, the available COVID-19 datasets are inadequate to train deep neural networks. Therefore, we propose a new concept called domain extension transfer learning (DETL). We employ DETL, with pre-trained deep convolutional neural network, on a related large chest X-Ray dataset that is tuned for classifying between four classes \textit{viz.} $normal$, $pneumonia$, $other\_disease$, and $Covid-19$. A 5-fold cross validation is performed to estimate the feasibility of using chest X-Rays to diagnose COVID-19. The initial results show promise, with the possibility of replication on bigger and more diverse data sets. The overall accuracy was measured as $90.13\% \pm 0.14$. In order to get an idea about the COVID-19 detection transparency, we employed the concept of Gradient Class Activation Map (Grad-CAM) for detecting the regions where the model paid more attention during the classification. This was found to strongly correlate with clinical findings, as validated by experts.


title: First Detection of Two Superoutbursts during Rebrightening Phase of a WZ Sge-type Dwarf Nova: TCP J21040470+4631129

abstract: We report photometric and spectroscopic observations and analysis of the 2019 superoutburst of TCP J21040470+4631129. This object showed a 9-mag superoutburst with early superhumps and ordinary superhumps, which are the features of WZ Sge-type dwarf novae. Five rebrightenings were observed after the main superoutburst. The spectra during the post-superoutburst stage showed the Balmer, He I and possible sodium doublet features. The mass ratio is derived as 0.0880(9) from the period of the superhump. During the third and fifth rebrightenings, growing superhumps and superoutbursts were observed, which have never been detected during a rebrightening phase among WZ Sge-type dwarf novae with multiple rebrightenings. To induce a superoutburst during the brightening phase, the accretion disk was needed to expand beyond the 3:1 resonance radius of the system again after the main superoutburst. These peculiar phenomena can be explained by the enhanced viscosity and large radius of the disk suggested by the higher luminosity and the presence of late-stage superhumps during the post-superoutburst stage, plus by more mass supply from the cool mass reservoir and/or from the secondary because of the enhanced mass transfer than those of other WZ Sge-type dwarf novae.


title: Impurity-dependent gyrotropic motion, deflection and pinning of current-driven ultrasmall skyrmions in PdFe/Ir(111) surface

abstract: Resting on multi-scale modelling simulations, we explore dynamical aspects characterizing skyrmions driven by spin-transfer-torque towards repulsive and pinning 3d and 4d single atomic defects embedded in a Pd layer deposited on the Fe/Ir(111) surface. The latter is known to host sub-10 nm skyrmions which are of great interest in information technology. The Landau-Lifshitz-Gilbert equation is parametrized with magnetic exchange interactions extracted from first-principles. Depending on the nature of the defect and the magnitude of the applied magnetic field, the skyrmion deforms by either shrinking or increasing in size, experiencing thereby elliptical distortions. After applying a magnetic field of 10 Tesla, ultrasmall skyrmions are driven along a straight line towards the various defects which permits a simple analysis of the impact of the impurities. Independently from the nature of the skyrmion-defect complex interaction a gyrotropic motion is observed. A repulsive force leads to a skyrmion trajectory similar to the one induced by an attractive one. We unveil that the circular motion is clockwise around pinning impurities but counter clockwise around the repulsive ones, which can be used to identify the interaction nature of the defects by observing the skyrmions trajectories. Moreover, and as expected, the skyrmion always escapes the repulsive defects in contrast to the pinning defects, which require a minimal depinning current to observe impurity avoidance. This unveils the richness of the motion regimes of skyrmions. We discuss the results of the simulations in terms of the Thiele equation, which provides a reasonable qualitative description of the observed phenomena. Finally, we show an example of a double track made of pinning impurities, where the engineering of their mutual distance allows to control the skyrmion motion with enhanced velocity.


title: An interstellar origin for high-inclination Centaurs

abstract: We investigate the possible origins of real high-inclination Centaurs and trans-neptunian objects using a high-resolution statistical search for stable orbits that simulates their evolution back in time to the epoch when planet formation ended 4.5 billion years in the past. The simulation is a precise orbit determination method that does not involve ad hoc initial conditions or assumptions such as those found in planetesimal disk relaxation models upon which their conclusions depend. It can therefore be used to independently test origin theories based on relaxation models by examining the past orbits of specific real objects. Here, we examined 17 multiple-opposition high-inclination Centaurs and the two polar trans-neptunian objects 2008 KV42 and (471325) 2011 KT19. The statistical distributions show that their orbits were nearly polar 4.5 Gyr in the past, and were located in the scattered disk and inner Oort cloud regions. Early polar inclinations cannot be accounted for by current Solar system formation theory as the early planetesimal system must have been nearly flat in order to explain the low-inclination asteroid and Kuiper belts. Furthermore, the early scattered disk and inner Oort cloud regions are believed to have been devoid of Solar system material as the planetesimal disk could not have extended far beyond Neptune's current orbit in order to halt the planet's outward migration. The nearly polar orbits of high-inclination Centaurs 4.5 Gyr in the past therefore indicate their probable early capture from the interstellar medium.


title: A Montel-type theorem for Hardy spaces of holomorphic functions

abstract: We give a version of the Montel theorem for Hardy spaces of holomorphic functions on an infinite dimensional space. As a by-product, we provide a Montel-type theorem for the Hardy space of Dirichlet series. This approach also gives an elementary proof of Montel theorem for the classical one-variable Hardy spaces.


title: Disorder-induced signal filtering with topological metamaterials

abstract: Disorder, ubiquitously present in realistic structures, is generally thought to disturb the performance of analog wave devices, as it often causes strong multiple scattering effects that largely arrest wave transportation. Contrary to this general view, here, it is shown that, in some wave systems with non-trivial topological character, strong randomness can be highly beneficial, acting as a powerful stimulator to enable desired analog filtering operations. This is achieved in a topological Anderson sonic crystal that, in the regime of dominating randomness, provides a well-defined filtering response characterized by a Lorentzian spectral line-shape. Our theoretical and experimental results, serving as the first realization of topological Anderson insulator phase in acoustics, suggest the striking possibility of achieving specific, non-random analog filtering operations by adding randomness to clean structures.


title: Monoid Properties as Invariants of Toposes of Monoid Actions

abstract: We systematically investigate, for a monoid $M$, how topos-theoretic properties of $\mathbf{PSh}(M)$, including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic properties of $M$.


title: Seminar about the Bounded Approximation Property in Fr\'echet Spaces

abstract: The purpose of this seminar, which was presented at the Universitat Polit\`ecnica de Val\`encia in late 2012, is to explain several results concerning the bounded approximation property for Fr\'echet spaces. We give a full detailed proof of an important result due to Pe\l czy\'nski that asserts that every separable Fr\'echet space with the bounded approximation property is isomorphic to a complemented subspace of a Fr\'echet space with a Schauder basis. We also explain Vogt's example of a nuclear Fr\'echet space without the bounded approximation property. This example is simpler than the original counterexample due to Dubinski. These examples solved a long standing problem of Grothendieck. Vogt obtained later another simple example of a nuclear Fr\'echet function space without the bounded approximation property. The relation of the bounded approximation property for Fr\'echet spaces with a continuous norm and the countably normable spaces, including several results due to Dubinski and Vogt, is also explained.


title: On Bit Commitment and Oblivious Transfer in Measurement-Device Independent settings

abstract: Among the most studied tasks in Quantum Cryptography one can find Bit Commitment (BC) and Oblivious Transfer (OT), two central cryptographic primitives. In this paper we propose for the first time protocols for these tasks in the measurement-device independent (MDI) settings and analyze their security. We analyze two different cases: first we assume the parties have access to perfect single photon sources (but still in the presence of noise and losses), and second we assume that they only have imperfect single photon sources. In the first case we propose a protocol for both BC and OT and prove their security in the Noisy Quantum Storage model. Interestingly, in the case where honest parties do not have access to perfect single photon sources, we find that BC is still possible, but that it is "more difficult" to get a secure protocol for OT: We show that there is a whole class of protocols that cannot be secure. All our security analyses are done in the finite round regime.


title: Locality estimes for complex time evolution in 1D

abstract: It is a generalized belief that there are no thermal phase transitions in short range 1D quantum systems. However, the only known case for which this is rigorously proven is for the particular case of finite range translational invariant interactions. The proof was obtained by Araki in his seminal paper of 1969 as a consequence of pioneering locality estimates for the time-evolution operator that allowed him to prove its analiticity on the whole complex plane, when applied to a local observable. However, as for now there is no mathematical proof of the abscence of 1D thermal phase transitions if one allows exponential tails in the interactions. In this work we extend Araki's result to include exponential (or faster) tails. Our main result is the analyticity of the time-evolution operator applied on a local observable on a suitable strip around the real line. As a consequence we obtain that thermal states in 1D exhibit exponential decay of correlations above a threshold temperature that decays to zero with the exponent of the interaction decay, recovering Araki's result as a particular case. Our result however still leaves open the possibility of 1D thermal short range phase transitions. We conclude with an application of our result to the spectral gap problem for Projected Entangled Pair States (PEPS) on 2D lattices, via the holographic duality due to Cirac et al.


title: $hp$-FEM for reaction-diffusion equations II. Robust exponential convergence for multiple length scales in corner domains

abstract: In bounded, polygonal domains $\Omega\subset \mathbb{R}^2$ with Lipschitz boundary $\partial\Omega$ consisting of a finite number of Jordan curves admitting analytic parametrizations, we analyze $hp$-FEM discretizations of linear, second order, singularly perturbed reaction diffusion equations on so-called geometric boundary layer meshes. We prove, under suitable analyticity assumptions on the data, that these $hp$-FEM afford exponential convergence in the natural "energy" norm of the problem, as long as the geometric boundary layer mesh can resolve the smallest length scale present in the problem. Numerical experiments confirm the robust exponential convergence of the proposed $hp$-FEM.


title: Human and Machine Action Prediction Independent of Object Information

abstract: Predicting other people's action is key to successful social interactions, enabling us to adjust our own behavior to the consequence of the others' future actions. Studies on action recognition have focused on the importance of individual visual features of objects involved in an action and its context. Humans, however, recognize actions on unknown objects or even when objects are imagined (pantomime). Other cues must thus compensate the lack of recognizable visual object features. Here, we focus on the role of inter-object relations that change during an action. We designed a virtual reality setup and tested recognition speed for 10 different manipulation actions on 50 subjects. All objects were abstracted by emulated cubes so the actions could not be inferred using object information. Instead, subjects had to rely only on the information that comes from the changes in the spatial relations that occur between those cubes. In spite of these constraints, our results show the subjects were able to predict actions in, on average, less than 64% of the action's duration. We employed a computational model -an enriched Semantic Event Chain (eSEC)- incorporating the information of spatial relations, specifically (a) objects' touching/untouching, (b) static spatial relations between objects and (c) dynamic spatial relations between objects. Trained on the same actions as those observed by subjects, the model successfully predicted actions even better than humans. Information theoretical analysis shows that eSECs optimally use individual cues, whereas humans presumably mostly rely on a mixed-cue strategy, which takes longer until recognition. Providing a better cognitive basis of action recognition may, on one hand improve our understanding of related human pathologies and, on the other hand, also help to build robots for conflict-free human-robot cooperation. Our results open new avenues here.


title: Scaling through abstractions -- high-performance vectorial wave simulations for seismic inversion with Devito

abstract: [Devito] is an open-source Python project based on domain-specific language and compiler technology. Driven by the requirements of rapid HPC applications development in exploration seismology, the language and compiler have evolved significantly since inception. Sophisticated boundary conditions, tensor contractions, sparse operations and features such as staggered grids and sub-domains are all supported; operators of essentially arbitrary complexity can be generated. To accommodate this flexibility whilst ensuring performance, data dependency analysis is utilized to schedule loops and detect computational-properties such as parallelism. In this article, the generation and simulation of MPI-parallel propagators (along with their adjoints) for the pseudo-acoustic wave-equation in tilted transverse isotropic media and the elastic wave-equation are presented. Simulations are carried out on industry scale synthetic models in a HPC Cloud system and reach a performance of 28TFLOP/s, hence demonstrating Devito's suitability for production-grade seismic inversion problems.

categories: physics.comp-ph cs.CL cs.PF physics.ao-ph