title: Towards implementation of a magic optical-dipole trap for confining ground-state and Rydberg-state cesium cold atoms

abstract: Long ground-Rydberg coherence lifetime is interesting for implementing high-fidelity quantum logic gates, many-body physics, and other quantum information protocols. However, the potential formed by a conventional far-off-resonance red-detuned optical-dipole trap (ODT) is usually repulsive for Rydberg atoms, which will result in fast atom loss and low repetition rate of the experimental sequence. These issues can be addressed by a magic ODT. We performed the calculation of ODT's magic detuning for confinement of cesium ground state and Rydberg state with the same potential well. We used a sum-over-states method to calculate the dynamic polarizabilities of $6S_{1/2}$ ground state and highly-excited ($nS_{1/2}$ and $nP_{3/2}$) Rydberg state of cesium atoms, and identify corresponding magic detuning for optical wavelengths in the range of $850 - 2000$ nm. We estimated the trapping lifetime of cesium Rydberg atoms confined in the magic ODT by including different dissipative mechanisms. Furthermore, we have experimentally realized an 1879.43-nm single-frequency laser system with a watt-level output power for setting up the magic ODT for $6S_{1/2}$ ground-state and $84P_{3/2}$ Rydberg-state cesium cold atoms.


title: Combining Offline Causal Inference and Online Bandit Learning for Data Driven Decision

abstract: A fundamental question for companies with large amount of logged data is: How to use such logged data together with incoming streaming data to make good decisions? Many companies currently make decisions via online A/B tests, but wrong decisions during testing hurt users' experiences and cause irreversible damage. A typical alternative is offline causal inference, which analyzes logged data alone to make decisions. However, these decisions are not adaptive to the new incoming data, and so a wrong decision will continuously hurt users' experiences. To overcome the aforementioned limitations, we propose a framework to unify offline causal inference algorithms (e.g., weighting, matching) and online learning algorithms (e.g., UCB, LinUCB). We propose novel algorithms and derive bounds on the decision accuracy via the notion of "regret". We derive the first upper regret bound for forest-based online bandit algorithms. Experiments on two real datasets show that our algorithms outperform other algorithms that use only logged data or online feedbacks, or algorithms that do not use the data properly.


title: Large flux-mediated coupling in hybrid electromechanical system with a transmon qubit

abstract: Control over the quantum states of a massive oscillator is important for several technological applications and to test the fundamental limits of quantum mechanics. Addition of an internal degree of freedom to the oscillator could be a valuable resource for such control. Recently, hybrid electromechanical systems using superconducting qubits, based on electric-charge mediated coupling, have been quite successful. Here, we realize a hybrid device, consisting of a superconducting transmon qubit and a mechanical resonator coupled using the magnetic-flux. The coupling stems from the quantum-interference of the superconducting phase across the tunnel junctions. We demonstrate a vacuum electromechanical coupling rate up to 4 kHz by making the transmon qubit resonant with the readout cavity. Consequently, thermal-motion of the mechanical resonator is detected by driving the hybridized-mode with mean-occupancy well below one photon. By tuning qubit away from the cavity, electromechanical coupling can be enhanced to 40 kHz. In this limit, a small coherent drive on the mechanical resonator results in the splitting of qubit spectrum, and we observe interference signature arising from the Landau-Zener-St\"uckelberg effect. With improvements in qubit coherence, this system offers a novel platform to realize rich interactions and could potentially provide full control over the quantum motional states.


title: Modular Classes of Q-Manifolds, Part II: Riemannian Structures & Odd Killing Vectors Fields

abstract: We define and make an initial study of (even) Riemannian supermanifolds equipped with a homological vector field that is also a Killing vector field. We refer to such supermanifolds as Riemannian Q-manifolds. We show that such Q-manifolds are unimodular, i.e., come equipped with a Q-invariant Berezin volume.


title: The statistics of peaks of weakly non-Gaussian random fields: Effects of bispectrum in two- and three-dimensions

abstract: Analytic expressions for the statistics of peaks of random fields with weak non-Gaussianity are provided. Specifically, the abundance and spatial correlation of peaks are represented by formulas which can be evaluated only by virtually one-dimensional integrals. We assume the non-Gaussianity is weak enough such that it is represented by linear terms of the bispectrum. The formulas are formally given in $N$-dimensional space, and explicitly given in the case of $N=1,2,3$. Some examples of peak statistics in cosmological fields are calculated for the cosmic density field and weak lensing field, assuming the weak non-Gaussianity is induced by gravity. The formulas of this paper would find a fit in many applications to statistical analyses of cosmological fields.


title: A Markerless Deep Learning-based 6 Degrees of Freedom PoseEstimation for with Mobile Robots using RGB Data

abstract: Augmented Reality has been subject to various integration efforts within industries due to its ability to enhance human machine interaction and understanding. Neural networks have achieved remarkable results in areas of computer vision, which bear great potential to assist and facilitate an enhanced Augmented Reality experience. However, most neural networks are computationally intensive and demand huge processing power thus, are not suitable for deployment on Augmented Reality devices. In this work we propose a method to deploy state of the art neural networks for real time 3D object localization on augmented reality devices. As a result, we provide a more automated method of calibrating the AR devices with mobile robotic systems. To accelerate the calibration process and enhance user experience, we focus on fast 2D detection approaches which are extracting the 3D pose of the object fast and accurately by using only 2D input. The results are implemented into an Augmented Reality application for intuitive robot control and sensor data visualization. For the 6D annotation of 2D images, we developed an annotation tool, which is, to our knowledge, the first open source tool to be available. We achieve feasible results which are generally applicable to any AR device thus making this work promising for further research in combining high demanding neural networks with Internet of Things devices.


title: Exciton diffusion in two-dimensional metal-halide perovskites

abstract: Two-dimensional perovskites, in which inorganic layers are stabilized by organic spacer molecules, are attracting increasing attention as a more robust analogue to the conventional three-dimensional metal-halide perovskites. However, reducing the perovskite dimensionality alters their optoelectronic properties dramatically, yielding excited states that are dominated by bound electron-hole pairs known as excitons, rather than by free charge carriers common to their bulk counterparts. Despite the growing interest in two-dimensional perovskites for both light harvesting and light emitting applications, the full impact of the excitonic nature on their optoelectronic properties remains unclear, particularly regarding the spatial dynamics of the excitons within the two-dimensional (2D) plane. Here, we present direct measurements of in-plane exciton transport in single-crystalline layered perovskites. Using time-resolved fluorescence microscopy, we show that excitons undergo an initial fast, intrinsic normal diffusion through the crystalline plane, followed by a transition to a slower subdiffusive regime as excitons get trapped. Interestingly, the early intrinsic exciton diffusivity depends sensitively on the exact composition of the perovskite, such as the choice of organic spacer. We attribute these changes in exciton transport properties to strong exciton-phonon interactions and the formation of large exciton-polarons. Our findings provide a clear design strategy to optimize exciton transport in these systems.


title: Cross-Link Interference Suppression By Orthogonal Projector For 5G Dynamic TDD URLLC Systems

abstract: Dynamic time division duplexing (TDD) is envisioned as a vital transmission technology of the 5G new radio, due to its reciprocal propagation characteristics. However, the potential cross-link interference (CLI) imposes a fundamental limitation against the feasibility of the ultra-reliable and low latency communications (URLLC) in dynamic-TDD systems. In this work, we propose a near-optimal and complexity-efficient CLI suppression scheme using orthogonal spatial projection, while the signaling overhead is limited to B-bit, over the back-haul links. Compared to the state-of-the-art dynamic-TDD studies, proposed solution offers a significant improvement of the URLLC outage latency, e.g., -199% reduction, while boosting the achievable capacity per the URLLC packet by +156%.


title: Lattice QCD package GWU-code and QUDA with HIP

abstract: The open source HIP platform for GPU computing provides an uniform framework to support both the NVIDIA and AMD GPUs, and also the possibility to porting the CUDA code to the HIP- compatible one. We present the porting progress on the Overlap fermion inverter (GWU-code) and also the general Lattice QCD inverter package - QUDA. The manual of using QUDA on HIP and also the tips of porting general CUDA code into the HIP framework are also provided.


title: Attack based DoS attack detection using multiple classifier

abstract: One of the most common internet attacks causing significant economic losses in recent years is the Denial of Service (DoS) flooding attack. As a countermeasure, intrusion detection systems equipped with machine learning classification algorithms were developed to detect anomalies in network traffic. These classification algorithms had varying degrees of success, depending on the type of DoS attack used. In this paper, we use an SNMP-MIB dataset from real testbed to explore the most prominent DoS attacks and the chances of their detection based on the classification algorithm used. The results show that most DOS attacks used nowadays can be detected with high accuracy using machine learning classification techniques based on features provided by SNMP-MIB. We also conclude that of all the attacks we studied, the Slowloris attack had the highest detection rate, on the other hand TCP-SYN had the lowest detection rate throughout all classification techniques, despite being one of the most used DoS attacks.


title: Estimation of acoustic wave non-linearity in ultrasonic measurement systems

abstract: Most measurement methods based on ultrasound, such as sound velocity, absorption or flow measurement systems, require that the acoustic wave propagation is linear. In many cases, linear wave propagation is assumed due to small signal amplitudes or verified, for example, by analysing the received signal spectra for the generation of harmonic frequency components. In this contribution, we present an approach to quantify occurrence of non-linear effects of acoustic wave propagation in ultrasonic measurement systems based on the evaluation of the acoustic Reynolds number. One parameter required for the determination of the acoustic Reynolds number is the particle velocity of the acoustic wave, which is not trivially obtained in most measurement systems. We thus present a model-based approach to estimate the particle velocity of an acoustic wave by identifying a Mason model from electrical impedance measurements of a given transducer. The Mason model is then used to determine the transducer's velocity output for a given electrical signal, allowing for an evaluation of the acoustic Reynolds number for different target media.


title: Estimating and comparing adverse event probabilities in the presence of varying follow-up times and competing events

abstract: Safety analyses in terms of adverse events (AEs) are an important aspect of benefit-risk assessments of therapies. Compared to efficacy analyses AE analyses are often rather simplistic. The probability of an AE of a specific type is typically estimated by the incidence proportion, sometimes the incidence density or the Kaplan-Meier estimator are proposed. But these analyses either do not account for censoring, rely on a too restrictive parametric model, or ignore competing events. With the non-parametric Aalen-Johansen estimator as the gold-standard, these potential sources of bias are investigated in a data example from oncology and in simulations, both in the one-sample and in the two-sample case. As the estimators may have large variances at the end of follow-up, the estimators are not only compared at the maximal event time but also at two quantiles of the observed times. To date, consequences for safety comparisons have hardly been investigated in the literature. The impact of using different estimators for group comparisons is unclear, as, for example, the ratio of two both underestimating or overestimating estimators may or may not be comparable to the ratio of the gold-standard estimator. Therefore, the ratio of the AE probabilities is also calculated based on different approaches. By simulations investigating constant and non-constant hazards, different censoring mechanisms and event frequencies, we show that ignoring competing events is more of a problem than falsely assuming constant hazards by use of the incidence density and that the choice of the AE probability estimator is crucial for group comparisons.


title: Entropy stable, robust and high-order DGSEM for the compressible multicomponent Euler equations

abstract: This work concerns the numerical approximation of a multicomponent compressible Euler system for a fluid mixture in multiple space dimensions on unstructured meshes with a high-order discontinuous Galerkin spectral element method (DGSEM). We first derive an entropy stable (ES) and robust (i.e., that preserves the positivity of the partial densities and internal energy) three-point finite volume scheme using relaxation-based approximate Riemann solvers from Bouchut [Nonlinear stability of finite volume methods for hyperbolic conservation laws and well-balanced schemes for sources, Birkhauser] and Coquel and Perthame [SINUM, 35, 1998]. Then, we consider the DGSEM based on collocation of quadrature and interpolation points which relies on the framework introduced by Fisher and Carpenter [JCP, 252, 2013] and Gassner [SISC, 35, 2013]. We replace the physical fluxes in the integrals over discretization elements by entropy conservative numerical fluxes [Tadmor, MCOM, 49, 1987], while ES numerical fluxes are used at element interfaces. We thus derive a two-point numerical flux satisfying the Tadmor's entropy conservation condition and use the numerical flux from the three-point scheme as ES flux. Time discretization is performed with a strong-stability preserving Runge-Kutta scheme. We then derive conditions on the numerical parameters to guaranty a semi-discrete entropy inequality as well as positivity of the cell average of the partial densities and internal energy of the fully discrete DGSEM at any approximation order. The later results allow to use existing limiters in order to restore positivity of nodal values within elements. The scheme also resolves exactly stationary material interfaces. Numerical experiments in one and two space dimensions on flows with discontinuous solutions support the conclusions of our analysis and highlight stability, robustness and high resolution of the scheme.


title: Proof of Convergence for Correct-Decoding Exponent Computation

abstract: For a discrete memoryless channel with finite input and output alphabets, we prove convergence of a parametric family of iterative computations of the optimal correct-decoding exponent. The exponent, as a function of communication rate, is computed for a fixed rate and for a fixed slope.


title: Multi-node optical frequency dissemination with post automatic phase correction

abstract: We report a technique for coherence transfer of laser light through a fiber link, where the optical phase noise induced by environmental perturbation via the fiber link is compensated by remote users with passive phase noise correction, rather than at the input as is conventional. Neither phase discrimination nor active phase tracking is required due to the open-loop design, mitigating some technical problems such as the limited compensation speed and the finite compensation precision as conventional active phase noise cancellation. We theoretically analyze and experimentally demonstrate that the delay effect introduced residual fiber phase noise after noise compensation is a factor of 7 higher than the conventional techniques. Using this technique, we demonstrate the transfer laser light through a 145-km-long, lab-based spooled fiber. After being compensated, the relative frequency instability in terms of overlapping Allan deviation is 1.9E-15 at 1s averaging time and scales down 5.3E-19 at 10,000 s averaging time. The frequency uncertainty of the light after transferring through the fiber relative to that of the input light is -0.36+-2.6E-18. As the transmitted optical signal remains unaltered until it reaches the remote sites, it can be transmitted simultaneously to multiple remote sites on an arbitrarily complex fiber network, paving a way to develop a multi-node optical frequency dissemination system with post automatic phase noise correction for a number of end users.


title: One-Bit Over-the-Air Aggregation for Communication-Efficient Federated Edge Learning: Design and Convergence Analysis

abstract: Federated edge learning (FEEL) is a popular framework for model training at an edge server using data distributed at edge devices (e.g., smart-phones and sensors) without compromising their privacy. In the FEEL framework, edge devices periodically transmit high-dimensional stochastic gradients to the edge server, where these gradients are aggregated and used to update a global model. When the edge devices share the same communication medium, the multiple access channel (MAC) from the devices to the edge server induces a communication bottleneck. To overcome this bottleneck, an efficient broadband analog transmission scheme has been recently proposed, featuring the aggregation of analog modulated gradients (or local models) via the waveform-superposition property of the wireless medium. However, the assumed linear analog modulation makes it difficult to deploy this technique in modern wireless systems that exclusively use digital modulation. To address this issue, we propose in this work a novel digital version of broadband over-the-air aggregation, called one-bit broadband digital aggregation (OBDA). The new scheme features one-bit gradient quantization followed by digital quadrature amplitude modulation (QAM) at edge devices and over-the-air majority-voting based decoding at edge server. We provide a comprehensive analysis of the effects of wireless channel hostilities (channel noise, fading, and channel estimation errors) on the convergence rate of the proposed FEEL scheme. The analysis shows that the hostilities slow down the convergence of the learning process by introducing a scaling factor and a bias term into the gradient norm. However, we show that all the negative effects vanish as the number of participating devices grows, but at a different rate for each type of channel hostility.


title: Comparing Rule-based, Feature-based and Deep Neural Methods for De-identification of Dutch Medical Records

abstract: Unstructured information in electronic health records provide an invaluable resource for medical research. To protect the confidentiality of patients and to conform to privacy regulations, de-identification methods automatically remove personally identifying information from these medical records. However, due to the unavailability of labeled data, most existing research is constrained to English medical text and little is known about the generalizability of de-identification methods across languages and domains. In this study, we construct a varied dataset consisting of the medical records of 1260 patients by sampling data from 9 institutes and three domains of Dutch healthcare. We test the generalizability of three de-identification methods across languages and domains. Our experiments show that an existing rule-based method specifically developed for the Dutch language fails to generalize to this new data. Furthermore, a state-of-the-art neural architecture performs strongly across languages and domains, even with limited training data. Compared to feature-based and rule-based methods the neural method requires significantly less configuration effort and domain-knowledge. We make all code and pre-trained de-identification models available to the research community, allowing practitioners to apply them to their datasets and to enable future benchmarks.


title: Performance of Wireless Optical Communication With Reconfigurable Intelligent Surfaces and Random Obstacles

abstract: It is difficult for free space optical communication to be applied in mobile communication due to the obstruction of obstacles in the environment, which is expected to be solved by reconfigurable intelligent surface technology. The reconfigurable intelligent surface is a new type of digital coding meta-materials, which can reflect, compute and program electromagnetic and optical waves in real time. We purpose a controllable multi-branch wireless optical communication system based on the optical reconfigurable intelligent surface technology. By setting up multiple optical reconfigurable intelligent surface in the environment, multiple artificial channels are built to improve system performance and to reduce the outage probability. Three factors affecting channel coefficients are investigated in this paper, which are beam jitter, jitter of the reconfigurable intelligent surface and the probability of obstruction. Based on the model, we derive the closed-form probability density function of channel coefficients, the asymptotic system's average bit error rate and outage probability for systems with single and multiple branches. It is revealed that the probability density function contains an impulse function, which causes irreducible error rate and outage probability floors. Numerical results indicate that compared with free-space optical communication systems with single direct path, the performance of the multi-branch system is improved and the outage probability is reduced.


title: On the degrees of freedom of a black hole

abstract: By examining whether black holes fulfill the theorem of equipartition of energy we find that the notion of degrees of freedom, previously introduced for cosmic horizons, is meaningful in the case of Schwarzschild and Kerr black holes. However, for Reissner-N\"{o}rdstrom and Kerr-Newman black holes this notion fails.


title: Adaptive Direction-Guided Structure Tensor Total Variation

abstract: Direction-guided structure tensor total variation (DSTV) is a recently proposed regularization term that aims at increasing the sensitivity of the structure tensor total variation (STV) to the changes towards a predetermined direction. Despite of the plausible results obtained on the uni-directional images, the DSTV model is not applicable to the multi-directional images of real-world. In this study, we build a two-stage framework that brings adaptivity to DSTV. We design an alternative to STV, which encodes the first-order information within a local neighborhood under the guidance of spatially varying directional descriptors (i.e., orientation and the dose of anisotropy). In order to estimate those descriptors, we propose an efficient preprocessor that captures the local geometry based on the structure tensor. Through the extensive experiments, we demonstrate how beneficial the involvement of the directional information in STV is, by comparing the proposed method with the state-of-the-art analysis-based denoising models, both in terms of restoration quality and computational efficiency.


title: Hopf-Galois structures on finite extensions with quasisimple Galois group

abstract: Let $L/K$ be a finite Galois extension of fields with Galois group $G$. It is known that $L/K$ admits exactly two Hopf-Galois structures when $G$ is non-abelian simple. In this paper, we extend this result to the case when $G$ is quasisimple.


title: Semantic Security for Quantum Wiretap Channels

abstract: We consider the problem of semantic security via classical-quantum and quantum wiretap channels and use explicit constructions to transform a non-secure code into a semantically secure code, achieving capacity by means of biregular irreducible functions. Explicit parameters in finite regimes can be extracted from theorems. We also generalize the semantic security capacity theorem, which shows that a strongly secure code guarantees a semantically secure code with the same secrecy rate, to any quantum channel, including the infinite-dimensional and non-Gaussian ones.


title: Deep ICE: A Deep learning approach for MRI Intracranial Cavity Extraction

abstract: Automatic methods for measuring normalized regional brain volumes from MRI data are a key tool to help in the objective diagnostic and follow-up of many neurological diseases. To estimate such regional brain volumes, the intracranial cavity volume is commonly used for normalization. In this paper, we present an accurate and efficient approach to automatically segment the intracranial cavity using a volumetric 3D convolutional neural network and a new 3D patch extraction strategy specially adapted to deal with the traditional low number of training cases available in supervised segmentation and the memory limitations of modern GPUs. The proposed method is compared with recent state-of-the-art methods and the results show an excellent accuracy and improved performance in terms of computational burden.


title: A Framework for Geometric Field Theories and their Classification in Dimension One

abstract: In this paper, we develop a general framework of geometric functorial field theories, meaning that all bordisms in question are endowed with geometric structures. We take particular care to establish a notion of smooth variation of such geometric structures, so that it makes sense to require the output of our field theory to depend smoothly on the input. We then test our framework on the case of $1$-dimensional field theories (with or without orientation) over a manifold $M$. Here the expectation is that such a field theory is equivalent to the data of a vector bundle over $M$ with connection and, in the nonoriented case, the additional data of a nondegenerate bilinear pairing; we prove that this is indeed the case in our framework.


title: Query Results over Ongoing Databases that Remain Valid as Time Passes By (Extended Version)

abstract: Ongoing time point now is used to state that a tuple is valid from the start point onward. For database systems ongoing time points have far-reaching implications since they change continuously as time passes by. State-of-the-art approaches deal with ongoing time points by instantiating them to the reference time. The instantiation yields query results that are only valid at the chosen time and get invalidated as time passes by. We propose a solution that keeps ongoing time points uninstantiated during query processing. We do so by evaluating predicates and functions at all possible reference times. This renders query results independent of a specific reference time and yields results that remain valid as time passes by. As query results, we propose ongoing relations that include a reference time attribute. The value of the reference time attribute is restricted by predicates and functions on ongoing attributes. We describe and evaluate an efficient implementation of ongoing data types and operations in PostgreSQL.


title: Gmunu: Toward multigrid based Einstein field equations solver for general-relativistic hydrodynamics simulations

abstract: We present a new open-source axisymmetric general relativistic hydrodynamics code Gmunu (General-relativistic multigrid numerical solver) which uses a multigrid method to solve the elliptic metric equations in the conformally flat condition (CFC) approximation on a spherical grid. Most of the existing relativistic hydrodynamics codes are based on formulations which rely on a free-evolution approach of numerical relativity, where the metric variables are determined by hyperbolic equations without enforcing the constraint equations in the evolution. On the other hand, although a fully constrained-evolution formulation is theoretical more appealing and should lead to more stable and accurate simulations, such an approach is not widely used because solving the elliptic-type constraint equations during the evolution is in general more computationally expensive than hyperbolic free-evolution schemes. Multigrid methods solve differential equations with a hierarchy of discretizations and its computational cost is generally lower than other methods such as direct methods, relaxation methods, successive over-relaxation. With multigrid acceleration, one can solve the metric equations on a comparable time scale as solving the hydrodynamics equations. This would potentially make a fully constrained-evolution formulation more affordable in numerical relativity simulations. As a first step to assess the performance and robustness of multigrid methods in relativistic simulations, we develop a hydrodynamics code that makes use of standard finite-volume methods coupled with a multigrid metric solver to solve the Einstein equations in the CFC approximation. In this paper, we present the methodology and implementation of our code Gmunu and its properties and performance in some benchmarking relativistic hydrodynamics problems.


title: Graph Attentional Autoencoder for Anticancer Hyperfood Prediction

abstract: Recent research efforts have shown the possibility to discover anticancer drug-like molecules in food from their effect on protein-protein interaction networks, opening a potential pathway to disease-beating diet design. We formulate this task as a graph classification problem on which graph neural networks (GNNs) have achieved state-of-the-art results. However, GNNs are difficult to train on sparse low-dimensional features according to our empirical evidence. Here, we present graph augmented features, integrating graph structural information and raw node attributes with varying ratios, to ease the training of networks. We further introduce a novel neural network architecture on graphs, the Graph Attentional Autoencoder (GAA) to predict food compounds with anticancer properties based on perturbed protein networks. We demonstrate that the method outperforms the baseline approach and state-of-the-art graph classification models in this task.


title: Hamiltonian Modeling of Macro-Economic Urban Dynamics

abstract: The ongoing rapid urbanization phenomena make the understanding of the evolution of urban environments of utmost importance to improve the well-being and steer societies towards better futures. Many studies have focused on the emerging properties of cities, leading to the discovery of scaling laws mirroring, for instance, the dependence of socio-economic indicators on city sizes. Though scaling laws allow for the definition of city-size independent socio-economic indicators, only a few efforts have been devoted to the modeling of the dynamical evolution of cities as mirrored through socio-economic variables and their mutual influence. In this work, we propose a Maximum Entropy (ME), non-linear, generative model of cities. We write in particular a Hamiltonian function in terms of a few macro-economic variables, whose coupling parameters we infer from real data corresponding to French towns. We first discover that non-linear dependencies among different indicators are needed for a complete statistical description of the non-Gaussian correlations among them. Furthermore, though the dynamics of individual cities are far from being stationary, we show that the coupling parameters corresponding to different years turn out to be quite robust. The quasi time-invariance of the Hamiltonian model allows proposing an analytic model for the evolution in time of the macro-economic variables, based on the Langevin equation. Despite no temporal information about the evolution of cities has been used to derive this model, its forecast accuracy of the temporal evolution of the system is compatible to that of a model inferred using explicitly such information.


title: Scalable Hyperparameter Optimization with Lazy Gaussian Processes

abstract: Most machine learning methods require careful selection of hyper-parameters in order to train a high performing model with good generalization abilities. Hence, several automatic selection algorithms have been introduced to overcome tedious manual (try and error) tuning of these parameters. Due to its very high sample efficiency, Bayesian Optimization over a Gaussian Processes modeling of the parameter space has become the method of choice. Unfortunately, this approach suffers from a cubic compute complexity due to underlying Cholesky factorization, which makes it very hard to be scaled beyond a small number of sampling steps. In this paper, we present a novel, highly accurate approximation of the underlying Gaussian Process. Reducing its computational complexity from cubic to quadratic allows an efficient strong scaling of Bayesian Optimization while outperforming the previous approach regarding optimization accuracy. The first experiments show speedups of a factor of 162 in single node and further speed up by a factor of 5 in a parallel environment.


title: Document Network Projection in Pretrained Word Embedding Space

abstract: We present Regularized Linear Embedding (RLE), a novel method that projects a collection of linked documents (e.g. citation network) into a pretrained word embedding space. In addition to the textual content, we leverage a matrix of pairwise similarities providing complementary information (e.g., the network proximity of two documents in a citation graph). We first build a simple word vector average for each document, and we use the similarities to alter this average representation. The document representations can help to solve many information retrieval tasks, such as recommendation, classification and clustering. We demonstrate that our approach outperforms or matches existing document network embedding methods on node classification and link prediction tasks. Furthermore, we show that it helps identifying relevant keywords to describe document classes.


title: Zero loci of Bernstein-Sato ideals -- II

abstract: We have recently proved a precise relation between Bernstein-Sato ideals of collections of polynomials and monodromy of generalized nearby cycles. In this article we extend this result to other ideals of Bernstein-Sato type.


title: Multiscale stick-breaking mixture models

abstract: We introduce a family of multiscale stick-breaking mixture models for Bayesian nonparametric density estimation. The Bayesian nonparametric literature is dominated by single scale methods, exception made for P\`olya trees and allied approaches. Our proposal is based on a mixture specification exploiting an infinitely-deep binary tree of random weights that grows according to a multiscale generalization of a large class of stick-breaking processes; this multiscale stick-breaking is paired with specific stochastic processes generating sequences of parameters that induce stochastically ordered kernel functions. Properties of this family of multiscale stick-breaking mixtures are described. Focusing on a Gaussian specification, a Markov Chain Montecarlo algorithm for posterior computation is introduced. The performance of the method is illustrated analyzing both synthetic and real data sets. The method is well-suited for data living in $\mathbb{R}$ and is able to detect densities with varying degree of smoothness and local features.


title: Broadening Label-based Argumentation Semantics with May-Must Scales (May-Must Argumentation)

abstract: The semantics as to which set of arguments in a given argumentation graph may be acceptable (acceptability semantics) can be characterised in a few different ways. Among them, labelling-based approach allows for concise and flexible determination of acceptability statuses of arguments through assignment of a label indicating acceptance, rejection, or undecided to each argument. In this work, we contemplate a way of broadening it by accommodating may- and must- conditions for an argument to be accepted or rejected, as determined by the number(s) of rejected and accepted attacking arguments. We show that the broadened label-based semantics can be used to express more mild indeterminacy than inconsistency for acceptability judgement when, for example, it may be the case that an argument is accepted and when it may also be the case that it is rejected. We identify that finding which conditions a labelling satisfies for every argument can be an undecidable problem, which has an unfavourable implication to existence of a semantics. We propose to address this problem by enforcing a labelling to maximally respect the conditions, while keeping the rest that would necessarily cause non-termination labelled undecided. Several semantics will be presented and the relation among them will be noted. Towards the end, we will touch upon possible research directions that can be pursued further.


title: Detectable Optical Signatures of QED Vacuum Nonlinearities using High-Intensity Laser Fields

abstract: Up to date, quantum electrodynamics (QED) is the most precisely tested quantum field theory. Nevertheless, particularly in the high-intensity regime it predicts various phenomena that so far have not directly been accessible in all-optical experiments, such as photon-photon scattering phenomena induced by quantum vacuum fluctuations. Here, we focus on all-optical signatures of quantum vacuum effects accessible in the high-intensity regime of electromagnetic fields. We present an experimental setup giving rise to signal photons distinguishable from the background. This configuration is based on two optical pulsed petawatt lasers: one generates a narrow but high-intensity scattering center to be probed by the other one. We calculate the differential number of signal photons attainable with this field configuration analytically and compare it with the background of the driving laser beams.


title: Inclusive spectra and Bose-Einstein correlations in small thermal quantum systems

abstract: The spectra and correlation of identical particles emitted from small local-equilibrium sources are considered. The size of the system is defined by the negative part of the parabolic falling chemical potential. The analytical solution of the problem is found for the case of inclusive measurements. It is shown that in the case where the size of the system is comparable to the thermal wavelength of the particles, the spectra and correlation functions are far from the quasiclassical approximation expected for large systems, and observed femtoscopy scales (interferometry radii) will be essentially smaller than the Gaussian radii of the source. If the maximum value of the chemical potential approaches the critical one, specific for the system, one can consider the possibility of the Bose-Einstein condensation. In such a case the reduction of the intercept of the correlation function for inclusive measurements takes place. The results can be used for the searching of femtoscopy homogeneity lengths in proton-proton collisions at LHC energies.


title: Lorenz attractors and the modular surface

abstract: We define an extension of the geometric Lorenz model, defined on the three sphere. This geometric model has an invariant one dimensional trefoil knot, a union of invariant manifolds of the singularities. It is similar to the invariant trefoil knot arising in the classical Lorenz flow near the classical parameters. We prove that this geometric model is topologically equivalent to the geodesic flow on the modular surface, once compactifying the latter.


title: A Systems Thinking for Cybersecurity Modeling

abstract: Solving cybersecurity issues requires a holistic understanding of components, factors, structures and their interactions in cyberspace, but conventional modeling approaches view the field of cybersecurity by their boundaries so that we are still not clear to cybersecurity and its changes. In this paper, we attempt to discuss the application of systems thinking approaches to cybersecurity modeling. This paper reviews the systems thinking approaches and provides the systems theories and methods for tackling cybersecurity challenges, regarding relevant fields, associated impact factors and their interactions. Moreover, an illustrative example of systems thinking frameworks for cybersecurity modeling is developed to help broaden the mind in methodology, theory, technology and practice. This article concludes that systems thinking can be considered as one of the powerful tools of cybersecurity modeling to find, characterize, understand, evaluate and predict cybersecurity.


title: Topological Vertex/anti-Vertex and Supergroup Gauge Theory

abstract: We propose a new vertex formalism, called anti-refined topological vertex (anti-vertex for short), to compute the generalized topological string amplitude, which gives rise to the supergroup gauge theory partition function. We show the one-to-many correspondence between the gauge theory and the Calabi--Yau geometry, which is peculiar to the supergroup theory, and the relation between the ordinary vertex formalism and the vertex/anti-vertex formalism through the analytic continuation.


title: Moderate deviations for the self-normalized random walk in random scenery

abstract: Let $G$ be an infinite connected graph with vertex set $V$. Let $\{S_n: n \in \mathbb N_0 \}$ be the simple random walk on $G$ and let $\{ \xi(v) : v \in V \}$ be a collection of i.i.d. random variables which are independent of the random walk. Define the random walk in random scenery as $T_n = \sum_{k=0}^n \xi(S_k)$, and the normalization variables $V_n = (\sum_{k=0}^n \xi^2(S_k))^{1/2}$ and $L_{n,2} = (\sum_{v \in V} \ell^2_n(v))^{1/2}$. For $G= \mathbb Z^d$ and $G = \mathbb T_d$, the $d$-ary tree, we provide large deviations results for the self-normalized process $T_n \sqrt{n}/(L_{n,2}V_n)$ under only finite moment assumptions on the scenery.


title: On the Hydrodynamic Description of Holographic Viscoelastic Models

abstract: We show that the correct dual hydrodynamic description of homogeneous holographic models with spontaneously broken translations must include the so-called "strain pressure" -- a novel transport coefficient proposed recently. Taking this new ingredient into account, we investigate the near-equilibrium dynamics of a large class of holographic models and faithfully reproduce all the hydrodynamic modes present in the quasinormal mode spectrum. Moreover, while strain pressure is characteristic of equilibrium configurations which do not minimise the free energy, we argue and show that it also affects models with no background strain, through its temperature derivatives. In summary, we provide a first complete matching between the holographic models with spontaneously broken translations and their effective hydrodynamic description.


title: Stellar age gradients and inside-out star formation quenching in galaxy bulges

abstract: Radial age gradients hold the cumulative record of the multitude of physical processes driving the build-up of stellar populations and the ensuing star formation (SF) quenching process in galaxy bulges, therefore potentially sensitive discriminators between competing theoretical concepts on bulge formation and evolution. Based on spectral modeling of integral field spectroscopy data from the CALIFA survey, we derive mass- and light-weighted stellar age gradients ($\nabla$(t,B)L,M) within the photometrically determined bulge radius (RB) of a representative sample of local face-on late-type galaxies that span 2.6 dex in stellar mass. Our analysis documents a trend for decreasing $\nabla$(t,B)L,M with increasing M,T, with high-mass bulges predominantly showing negative age gradients and vice versa. The inversion from positive to negative $\nabla$(t,B)L,M occurs at logM,T ~ 10, which roughly coincides with the transition from lower-mass bulges whose gas excitation is powered by SF to bulges classified as Composite, LINER or Seyfert. We discuss two limiting cases for the origin of radial age gradients in massive LTG bulges. The first assumes that the stellar age in the bulge is initially spatially uniform, thus the observed age gradients arise from an inside-out SF quenching (ioSFQ) front that is radially expanding with a mean velocity vq. In this case, the age gradients translate into a slow ioSFQ that lasts until z~2, suggesting mild negative feedback by SF or an AGN. If negative age gradients in massive bulges are not due to ioSFQ but primarily due to their inside-out formation process, then the standard hypothesis of quasi-monolithic bulge formation has to be discarded in favor of a scenario that involves gradual buildup of stellar mass over 2-3 Gyr through, e.g., inside-out SF and inward migration of SF clumps from the disk. In this case, rapid AGN-driven ioSFQ cannot be ruled out.


title: Centering ADMM for the Semidefinite Relaxation of the QAP

abstract: We propose a new method for solving the semidefinite (SD) relaxation of the quadratic assignment problem (QAP), called Centering ADMM. Centering ADMM is an alternating direction method of multipliers (ADMM) combining the centering steps used in the interior-point method. The first stage of Centering ADMM updates the iterate so that it approaches the central path by incorporating a barrier function term into the objective function, as in the interior-point method. If the current iterate is sufficiently close to the central path with a sufficiently small value of the barrier parameter, the method switches to the standard version of ADMM. We show that Centering ADMM (not employing a dynamic update of the penalty parameter) has global convergence properties. To observe the effect of the centering steps, we conducted numerical experiments with SD relaxation problems of instances in QAPLIB. The results demonstrate that the centering steps are quite efficient for some classes of instances.


title: Lifting to Passivity for $\mathcal{H}_2$-Gain-Scheduling Synthesis with Full Block Scalings

abstract: We focus on the $\mathcal{H}_2$-gain-scheduling synthesis problem for time-varying parametric scheduling blocks with scalings. Recently, we have presented a solution of this problem for $D$- and positive real scalings by guaranteeing finiteness of the $\mathcal{H}_2$-norm for the closed-loop system with suitable linear fractional plant and controller representations. In order to reduce conservatism, we extend these methods to full block scalings by designing a triangular scheduling function and by introducing a new lifting technique for gain-scheduled synthesis that enables convexification.


title: Unbalanced Langmuir kinetics affects TASEP dynamical transitions: mean-field theory

abstract: In a previous study we developed a mean-field theory of dynamical transitions for the totally-asymmetric simple-exclusion process (TASEP) with open boundaries and Langmuir kinetics, in the so-called balanced regime, characterized by equal binding and unbinding rates. Here we show that simply including the possibility of unbalanced rates gives rise to an unexpectedly richer dynamical phase diagram. In particular, the current work predicts an unusual type of dynamical transition, which exhibits certain similarities with first-order phase transitions of equilibrium systems. We also point out that different types of dynamical transition are accompanied by different structural changes in the (mean-field) relaxation spectrum.


title: Boundary stabilization of systems of high order PDEs arising from flexible robotics

abstract: The problem of stabilization of a system of coupled PDEs of the forth-order by means of boundary control is investigated. The considered setup arises from the classical Euler-Bernoulli beam model, and constitutes a generalization of flexible mechanical systems. A linear feedback controller is proposed, and using an abstract formulation based on operator semigroup theory, we are able to prove the well-posedness and the stability of the closed-loop system. The performances of the proposed controller are illustrated by means of numerical simulations.


title: Stability analysis for semilinear parabolic problems in general unbounded domains

abstract: We introduce several notions of generalised principal eigenvalue for a linear elliptic operator on a general unbounded domain, under boundary condition of the oblique derivative type. We employ these notions in the stability analysis of semilinear problems. Some of the properties we derive are new even in the Dirichlet or in the whole space cases. As an application, we show the validity of the hair-trigger effect for the Fisher-KPP equation on general, uniformly smooth domains.


title: SketchDesc: Learning Local Sketch Descriptors for Multi-view Correspondence

abstract: In this paper, we study the problem of multi-view sketch correspondence, where we take as input multiple freehand sketches with different views of the same object and predict as output the semantic correspondence among the sketches. This problem is challenging since the visual features of corresponding points at different views can be very different. To this end, we take a deep learning approach and learn a novel local sketch descriptor from data. We contribute a training dataset by generating the pixel-level correspondence for the multi-view line drawings synthesized from 3D shapes. To handle the sparsity and ambiguity of sketches, we design a novel multi-branch neural network that integrates a patch-based representation and a multi-scale strategy to learn the pixel-level correspondence among multi-view sketches. We demonstrate the effectiveness of our proposed approach with extensive experiments on hand-drawn sketches and multi-view line drawings rendered from multiple 3D shape datasets.


title: A Technology-aided Multi-modal Training Approach to Assist Abdominal Palpation Training and its Assessment in Medical Education

abstract: Computer-assisted multimodal training is an effective way of learning complex motor skills in various applications. In particular disciplines (eg. healthcare) incompetency in performing dexterous hands-on examinations (clinical palpation) may result in misdiagnosis of symptoms, serious injuries or even death. Furthermore, a high quality clinical examination can help to exclude significant pathology, and reduce time and cost of diagnosis by eliminating the need for unnecessary medical imaging. Medical palpation is used regularly as an effective preliminary diagnosis method all around the world but years of training are required currently to achieve competency. This paper focuses on a multimodal palpation training system to teach and improve clinical examination skills in relation to the abdomen. It is our aim to shorten significantly the palpation training duration by increasing the frequency of rehearsals as well as providing essential augmented feedback on how to perform various abdominal palpation techniques which has been captured and modelled from medical experts. Twenty three first year medical students divided into a control group (n=8), a semi-visually trained group (n=8), and a fully visually trained group (n=7) were invited to perform three palpation tasks (superficial, deep and liver). The medical students performances were assessed using both computer-based and human-based methods where a positive correlation was shown between the generated scores, r=.62, p(one-tailed)<.05. The visually-trained group significantly outperformed the control group in which abstract visualisation of applied forces and their palmar locations were provided to the students during each palpation examination (p<.05). Moreover, a positive trend was observed between groups when visual feedback was presented, J=132, z=2.62, r=0.55.


title: Ultra-deep imaging with amateur telescopes

abstract: Amateur small equipment has demonstrated to be competitive tools to obtain ultra-deep imaging of the outskirts of nearby massive galaxies and to survey vast areas of the sky with unprecedented depth. Over the last decade, amateur data have revealed, in many cases for the first time, an assortment of large-scale tidal structures around nearby massive galaxies and have detected hitherto unknown low surface brightness systems in the local Universe that were not detected so far by means of resolved stellar populations or HI surveys. In the Local Group, low-resolution deep images of the Magellanic Clouds with telephoto lenses have found some shell-like features, interpreted as imprints of a recent LMC-SMC interaction. In this review, I discuss these highlights and other important results obtained so far in this new type of collaboration between high-class astrophotographers and professional astronomers in the research topic of galaxy formation and evolution.


title: On Schedulability Analysis of EDF Scheduling by Considering Suspension as Blocking

abstract: During the execution of a job, it may suspend itself, i.e., its computation ceases to process until certain activities are complete to be resumed. This paper provides a counterexample of the schedulability analysis by Devi in Euromicro Conference on Real-Time Systems (ECRTS) in 2003, which is the only existing suspension-aware analysis specialized for uniprocessor systems when preemptive earliest-deadline-first (EDF) is applied for scheduling dynamic selfsuspending tasks.


title: Spinning and color properties of the active asteroid (6478) Gault

abstract: We report on accurate $BVR_{c}$ observations of (6478) Gault, a 5-6 km diameter inner main-belt asteroid in the Phocaea family, notable for its sporadic, comet-like ejection of dust. This curious behavior has been mainly interpreted as reconfigurations after YORP spin-up, although merging of a contact binary system cannot be fully excluded. We collected optical observations along the 2019 March-April period, at orbital phase angles between $12^{\circ}-21^{\circ}$, to search for direct evidence of asteroid quick spinning rotation. A prevailing period value of $3.34 \pm 0.02$ hours is supported by our and other photometric observations. In the YORP spin-up hypothesis, this period points to a bulk density $\rho \approx 1$ $\textrm{g}/\textrm{cm}^3$. The mean colors are $B-V = +0.82_{\pm 0.3}$, $V-R_{c} = +0.28_{\pm 0.06}$ and $B-R_{c} = +1.11_{\pm 0.4}$, but we have observed a strong bluer color during the April session, with about $\Delta (B-V) \sim 0.35 \pm 0.09$~mag. This color change can be due to asteroid rotation and support the hypothesis that there is a bluer surface under the Gault's dust, as indicated by spectroscopic observations made on 2019 March 31 and April 8 by Marsset et al. (2019).


title: On singular equivalences of Morita type with level and Gorenstein algebras

abstract: Rickard proved that for certain self-injective algebras, a stable equivalence induced from an exact functor is a stable equivalence of Morita type, in the sense of Brou\'{e}. In this paper we study singular equivalences of finite dimensional algebras induced from tensor product functors. We prove that for certain Gorenstein algebras, a singular equivalence induced from tensoring with a suitable complex of bimodules, induces a singular equivalence of Morita type with level, in the sense of Wang. This recovers Rickard's theorem in the self-injective case.


title: On the linear stability of anisotropic pressure equilibria with field-aligned incompressible flow

abstract: We derive a sufficient condition for the linear stability of plasma equilibria with incompressible flow parallel to the magnetic field, $\bf B$, constant mass density and anisotropic pressure such that the quantity $\sigma_d= \mu_0(P_\parallel -P_\perp)/B^2$, where $P_\parallel$ ($P_\perp$) is the pressure tensor element parallel (perpendicular) to $\bf B$, remains constant. This condition is applicable to any steady state without geometrical restriction. The condition, generalising the respective condition for MHD equilibria with isotropic pressure and constant density derived in Throumoulopoulos & Tasso (2007), involves physically interpretable terms related to the magnetic shear, the flow shear and the variation of total pressure perpendicular to the magnetic surfaces. On the basis of this condition we prove that if a given equilibrium is linearly stable, then the ones resulting from the application of Bogoyavlenskij symmetry transformations are linearly stable too, provided that a parameter involved in those transformations is positive. In addition, we examine the impact of pressure anisotropy, flow, and torsion of a helical magnetic axis, for a specific class of analytic equilibria. In this case we find that the pressure anisotropy and the flow may have either stabilising or destabilising effects. Also, helical configurations with small torsion and large pitch seem to have more favorable stability properties.


title: $W$-algebras via Lax type operators

abstract: $W$-algebras are certain algebraic structures associated to a finite dimensional Lie algebra $\mathfrak g$ and a nilpotent element $f$ via Hamiltonian reduction. In this note we give a review of a recent approach to the study of (classical affine and quantum finite) $W$-algebras based on the notion of Lax type operators. For a finite dimensional representation of $\mathfrak g$ a Lax type operator for $W$-algebras is constructed using the theory of generalized quasideterminants. This operator carries several pieces of information about the structure and properties of the $W$-algebras and shows the deep connection of the theory of $W$-algebras with Yangians and integrable Hamiltonian hierarchies of Lax type equations.


title: Probabilistic 3D Multilabel Real-time Mapping for Multi-object Manipulation

abstract: Probabilistic 3D map has been applied to object segmentation with multiple camera viewpoints, however, conventional methods lack of real-time efficiency and functionality of multilabel object mapping. In this paper, we propose a method to generate three-dimensional map with multilabel occupancy in real-time. Extending our previous work in which only target label occupancy is mapped, we achieve multilabel object segmentation in a single looking around action. We evaluate our method by testing segmentation accuracy with 39 different objects, and applying it to a manipulation task of multiple objects in the experiments. Our mapping-based method outperforms the conventional projection-based method by 40 - 96\% relative (12.6 mean $IU_{3d}$), and robot successfully recognizes (86.9\%) and manipulates multiple objects (60.7\%) in an environment with heavy occlusions.


title: Magnetic Fields Studies in the Next Decade: EAO Submillimetre Futures White Paper Series, 2019

abstract: Magnetic fields are ubiquitous in our Universe, but remain poorly understood in many branches of astrophysics. A key tool for inferring astrophysical magnetic field properties is dust emission polarimetry. The James Clerk Maxwell Telescope (JCMT) is planning a new 850$\mu$m camera consisting of an array of 7272 paired Microwave Kinetic Inductance Detectors (MKIDs), which will inherently acquire linear polarization information. The camera will allow wide-area polarization mapping of dust emission at 14$^{\prime\prime}$-resolution, allowing magnetic field properties to be studied in a wide range of environments, including all stages of the star formation process, Asymptotic Giant Branch stellar envelopes and planetary nebula, external galaxies including starburst galaxies and analogues for the Milky Way, and the environments of active galactic nuclei (AGN). Time domain studies of AGN and protostellar polarization variability will also become practicable. Studies of the polarization properties of the interstellar medium will also allow detailed investigation of dust grain properties and physics. These investigations would benefit from a potential future upgrade adding 450$\mu$m capability to the camera, which would allow inference of spectral indices for polarized dust emission in a range of environments. The enhanced mapping speed and polarization capabilities of the new camera will transform the JCMT into a true submillimetre polarization survey instrument, offering the potential to revolutionize our understanding of magnetic fields in the cold Universe.


title: On a stochastic Camassa-Holm type equation with higher order nonlinearities

abstract: The subject of this paper is a generalized Camassa-Holm equation under random perturbation. We first establish local existence and uniqueness results as well as blow-up criteria for pathwise solutions in the Sobolev spaces $H^s$ with $s>3/2$. Then we analyze how noise affects the dependence of solutions on initial data. Even though the noise has some already known regularization effects, much less is known concerning the dependence on initial data. As a new concept we introduce the notion of stability of exiting times and construct an example showing that multiplicative noise (in It\^{o} sense) cannot improve the stability of the exiting time, and simultaneously improve the continuity of the dependence on initial data. Finally, we obtain global existence theorems and estimate associated probabilities.


title: ScaIL: Classifier Weights Scaling for Class Incremental Learning

abstract: Incremental learning is useful if an AI agent needs to integrate data from a stream. The problem is non trivial if the agent runs on a limited computational budget and has a bounded memory of past data. In a deep learning approach, the constant computational budget requires the use of a fixed architecture for all incremental states. The bounded memory generates data imbalance in favor of new classes and a prediction bias toward them appears. This bias is commonly countered by introducing a data balancing step in addition to the basic network training. We depart from this approach and propose simple but efficient scaling of past class classifier weights to make them more comparable to those of new classes. Scaling exploits incremental state level statistics and is applied to the classifiers learned in the initial state of classes in order to profit from all their available data. We also question the utility of the widely used distillation loss component of incremental learning algorithms by comparing it to vanilla fine tuning in presence of a bounded memory. Evaluation is done against competitive baselines using four public datasets. Results show that the classifier weights scaling and the removal of the distillation are both beneficial.


title: Qualitative properties of bounded subsolutions of nonlinear PDEs

abstract: We study decay and compact support properties of positive and bounded solutions of $\Delta_{p} u \geq \Lambda(u)$ on the exterior of a compact set of a complete manifold with rotationally symmetry. In the same setting, we also give a new characterization of stochastic completeness for the $p$-Laplacian in terms of a global $W^{1,p}$-regularity of such solutions. One of the tools we use is a nonlinear version of the Feller property which we investigate on general Riemannian manifolds and which we establish under integral Ricci curvature conditions.


title: Three-forms and Fayet-Iliopoulos terms in Supergravity: Scanning Planck mass and BPS domain walls

abstract: We embed a new three-form vector multiplet in ${\cal N}=1$ supergravity and we show that it can be used to generate dynamically the Hilbert--Einstein term. We then recast the theory into the standard Freedman model and we argue that a pure Fayet--Iliopoulos term is in tension with the weak gravity conjecture. Finally, we couple the three-form to a super-membrane and study BPS domain walls within matter-coupled supergravity. In these models, the Planck mass takes different values on the domain wall sides.


title: Iterative Desingularization

abstract: A simplicial set is said to be non-singular if the representing map of each non-degenerate simplex is degreewise injective. The inclusion into the category of simplicial sets, of the full subcategory whose objects are the non-singular simplicial sets, admits a left adjoint functor called desingularization. In this paper, we provide an iterative description of desingularization that is useful for theoretical purposes as well as for doing calculations.


title: Smart Data driven Decision Trees Ensemble Methodology for Imbalanced Big Data

abstract: Differences in data size per class, also known as imbalanced data distribution, have become a common problem affecting data quality. Big Data scenarios pose a new challenge to traditional imbalanced classification algorithms, since they are not prepared to work with such amount of data. Split data strategies and lack of data in the minority class due to the use of MapReduce paradigm have posed new challenges for tackling the imbalance between classes in Big Data scenarios. Ensembles have shown to be able to successfully address imbalanced data problems. Smart Data refers to data of enough quality to achieve high performance models. The combination of ensembles and Smart Data, achieved through Big Data preprocessing, should be a great synergy. In this paper, we propose a novel Smart Data driven Decision Trees Ensemble methodology for addressing the imbalanced classification problem in Big Data domains, namely SD_DeTE methodology. This methodology is based on the learning of different decision trees using distributed quality data for the ensemble process. This quality data is achieved by fusing Random Discretization, Principal Components Analysis and clustering-based Random Oversampling for obtaining different Smart Data versions of the original data. Experiments carried out in 21 binary adapted datasets have shown that our methodology outperforms Random Forest.


title: Distributed LQR-based observer design for large-scale multi-agent networks

abstract: In this paper, network of agents with identical dynamics is considered. The agents are assumed to be fed by self and neighboring output measurements, while the states are not available for measuring. Viewing distributed estimation as dual to the distributed LQR problem, a distributed observer is proposed by exploiting two complementary distributed LQR methods. The first consists of a bottom-up approach in which optimal interactions between self-stabilizing agents are defined so as to minimize an upper bound of the global LQR criterion. In the second (top-down) approach, the centralized optimal LQR controller is approximated by a distributed control scheme whose stability is guaranteed by the stability margins of LQR control. In this paper, distributed observer which minimizes an upper bound of a deterministic performance criterion, is proposed by solving a dual LQR problem using bottom-up approach. The cost function is defined by considering minimum-energy estimation theory where the weighting matrices have deterministic interpretation. The presented results are useful for designing optimal or near-optimal distributed control/estimation schemes.


title: Backscatter and Spontaneous Four-Wave Mixing in Micro-Ring Resonators

abstract: We model backscatter for electric fields propagating through optical micro-ring resonators, as occurring both in-ring and in-coupler. These provide useful tools for modelling transmission and in-ring fields in these optical devices. We then discuss spontaneous four-wave mixing and use the models to obtain heralding efficiencies and rates. We observe a trade-off between these, which becomes more extreme as the rings become more strongly backscattered.


title: Invariant Tori of a Two Dimensional Periodic System with the Linear-Cubic Unperturbed Part

abstract: Two classes of time-periodic systems of ordinary differential equations with a small nonnegative parameter, those with fast and slow time, are studied. Right-hand sides of these systems are three times continuously differentiable with respect to phase variables and the parameter, the corresponding unperturbed systems are autonomous, conservative and have nine equilibrium points. For the perturbed systems, which do not depend on the parameter explicitly, we obtain the conditions yielding that the initial system has a certain number of two-dimensional invariant surfaces homeomorphic to a torus for each sufficiently small values of parameter and the formulas of such surfaces. A class of systems with seven invariant surfaces enclosing different configurations of equilibrium points is studied as an example of applications of our method.


title: GMD-Based Hybrid Beamforming for Large Reconfigurable Intelligent Surface Assisted Millimeter-Wave Massive MIMO

abstract: Reconfigurable intelligent surface (RIS) is considered to be an energy-efficient approach to reshape the wireless environment for improved throughput. Its passive feature greatly reduces the energy consumption, which makes RIS a promising technique for enabling the future smart city. Existing beamforming designs for RIS mainly focus on optimizing the spectral efficiency for single carrier systems. To avoid the complicated bit allocation on different spatial domain subchannels in MIMO systems, in this paper, we propose a geometric mean decomposition-based beamforming for RIS-assisted millimeter wave (mmWave) hybrid MIMO systems so that multiple parallel data streams in the spatial domain can be considered to have the same channel gain. Specifically, by exploiting the common angular-domain sparsity of mmWave massive MIMO channels over different subcarriers, a simultaneous orthogonal match pursuit algorithm is utilized to obtain the optimal multiple beams from an oversampling 2D-DFT codebook. Moreover, by only leveraging the angle of arrival and angle of departure associated with the line of sight (LoS) channels, we further design the phase shifters for RIS by maximizing the array gain for LoS channel. Simulation results show that the proposed scheme can achieve better BER performance than conventional approaches. Our work is an initial attempt to discuss the broadband hybrid beamforming for RIS-assisted mmWave hybrid MIMO systems.


title: Nonparametric methods for detecting change in Multitemporal SAR/PolSAR Satellite Data

abstract: We employ nonparametric statistical procedures to analyse multitemporal SAR/PolSAR satellite images. The aim is two-fold. We seek parsimony in data representation as well as efficient change detection. For these, wavelets and geostatistical analyses are applied to the images (Morettin et al., 2017; Krainski et al., 2018). Following this representation, the dimension of the underlying generating process is estimated (Fonseca and Pinheiro, 2019), and a set of multivariate characteristics is extracted. Change-points are then detected via wavelets (Montoril et al., 2019).


title: On Quasi-Monte Carlo Methods in Weighted ANOVA Spaces

abstract: In the present paper we study quasi-Monte Carlo rules for approximating integrals over the $d$-dimensional unit cube for functions from weighted Sobolev spaces of regularity one. While the properties of these rules are well understood for anchored Sobolev spaces, this is not the case for the ANOVA spaces, which are another very important type of reference spaces for quasi-Monte Carlo rules. Using a direct approach we provide a formula for the worst case error of quasi-Monte Carlo rules for functions from weighted ANOVA spaces. As a consequence we bound the worst case error from above in terms of weighted discrepancy of the employed integration nodes. On the other hand we also obtain a general lower bound in terms of the number $n$ of used integration nodes. For the one-dimensional case our results lead to the optimal integration rule and also in the two-dimensional case we provide rules yielding optimal convergence rates.


title: Nonexistence of local conservation laws for the generalized Swift-Hohenberg equation

abstract: We prove that the generalized Swift--Hohenberg equation with nonlinear right-hand side, a natural generalization of the Swift--Hohenberg equation arising in physics and describing inter alia pattern formation, has no nontrivial local conservation laws.


title: Universal arrays

abstract: A word on $q$ symbols is a sequence of letters from a fixed alphabet of size $q$. For an integer $k\ge 1$, we say that a word $w$ is $k$-universal if, given an arbitrary word of length $k$, one can obtain it by removing entries from $w$. It is easily seen that the minimum length of a $k$-universal word on $q$ symbols is exactly $qk$. We prove that almost every word of size $(1+o(1))c_qk$ is $k$-universal with high probability, where $c_q$ is an explicit constant whose value is roughly $q\log q$. Moreover, we show that the $k$-universality property for uniformly chosen words exhibits a sharp threshold. Finally, by extending techniques of Alon [Geometric and Functional Analysis 27 (2017), no. 1, 1--32], we give asymptotically tight bounds for every higher dimensional analogue of this problem.


title: Some convergent results for Backtracking Gradient Descent method on Banach spaces

abstract: Our main result concerns the following condition: {\bf Condition C.} Let $X$ be a Banach space. A $C^1$ function $f:X\rightarrow \mathbb{R}$ satisfies Condition C if whenever $\{x_n\}$ weakly converges to $x$ and $\lim _{n\rightarrow\infty}||\nabla f(x_n)||=0$, then $\nabla f(x)=0$. We assume that there is given a canonical isomorphism between $X$ and its dual $X^*$, for example when $X$ is a Hilbert space. {\bf Theorem.} Let $X$ be a reflexive, complete Banach space and $f:X\rightarrow \mathbb{R}$ be a $C^2$ function which satisfies Condition C. Moreover, we assume that for every bounded set $S\subset X$, then $\sup _{x\in S}||\nabla ^2f(x)||<\infty$. We choose a random point $x_0\in X$ and construct by the Local Backtracking GD procedure (which depends on $3$ hyper-parameters $\alpha ,\beta ,\delta _0$, see later for details) the sequence $x_{n+1}=x_n-\delta (x_n)\nabla f(x_n)$. Then we have: 1) Every cluster point of $\{x_n\}$, in the {\bf weak} topology, is a critical point of $f$. 2) Either $\lim _{n\rightarrow\infty}f(x_n)=-\infty$ or $\lim _{n\rightarrow\infty}||x_{n+1}-x_n||=0$. 3) Here we work with the weak topology. Let $\mathcal{C}$ be the set of critical points of $f$. Assume that $\mathcal{C}$ has a bounded component $A$. Let $\mathcal{B}$ be the set of cluster points of $\{x_n\}$. If $\mathcal{B}\cap A\not= \emptyset$, then $\mathcal{B}\subset A$ and $\mathcal{B}$ is connected. 4) Assume that $X$ is separable. Then for generic choices of $\alpha ,\beta ,\delta _0$ and the initial point $x_0$, if the sequence $\{x_n\}$ converges - in the {\bf weak} topology, then the limit point cannot be a saddle point.


title: Entangling levitated nanoparticles by coherent scattering

abstract: We show how entanglement between two optically levitated nanoparticles can be generated and detected by coherent scattering of tweezer photons into a single cavity mode. Triggered by the detection of a Stokes photon, the tweezer detuning is switched from the blue to the red; entanglement is then verified by the conditioned anti-Stokes photon flux, which oscillates with the mechanical beat frequency. The proposed setup is realizable with near-future technology and opens the door to the first experimental observation of non-classical center-of-mass correlations between two or more levitated nanoscale objects.


title: Direct measurement of the [CI] luminosity to molecular gas mass conversion factor in high-redshift star-forming galaxies

abstract: The amount of cold, molecular gas in high-redshift galaxies is typically inferred from proxies of molecular hydrogen (H$_2$), such as carbon monoxide (CO) or neutral atomic carbon ([CI]) and molecular gas mass conversion factors. The use of these proxies, however, relies on modeling and observations that have not been directly measured outside the local universe. Here, we use recent samples of high-redshift gamma-ray burst (GRB) and quasar molecular gas absorbers to determine this conversion factor $\alpha_{\rm [CI]}$ from the column density of H$_2$, which gives us the mass per unit column, and the [CI]($J=1$) column density, which provides the luminosity per unit column. This technique allows us to make direct measurements of the relative abundances in high-redshift absorption-selected galaxies. Our sample spans redshifts of z=1.9-3.4 and covers two orders of magnitude in gas-phase metallicity. We find that $\alpha_{\rm [CI]}$ scales linearly with the metallicity: $\log \alpha_{\rm [CI]} = -1.13\times \log(Z/Z_{\odot}) + 1.33$, with a scatter of $\sigma_{\alpha_{\rm [CI]}} = 0.2$ dex. Using a sample of emission-selected galaxies at z~0-5, with both [CI] and CO line detections, we apply the $\alpha_{\rm [CI]}$ conversion to derive independent estimates of the molecular gas mass and $\alpha_{\rm CO}$. We find a remarkable agreement between the molecular gas masses inferred from the absorption-derived $\alpha_{\rm [CI]}$ compared to typical $\alpha_{\rm CO}$-based estimates, and an inferred metallicity evolution of $\alpha_{\rm CO}$ that is consistent with $\alpha_{\rm [CI]}$ and previous estimates from the literature. These results thus support the use of the absorption-derived $\alpha_{\rm [CI]}$ conversion factor for emission-selected star-forming galaxies and demonstrate that both methods probe the same universal properties of molecular gas in the local and high-redshift universe.


title: Direct and inverse problems for a periodic problem with non-local potential

abstract: Sum of a second derivative operator with periodic boundary conditions and an integral operator of rank one (non-local potential) is studied in this manuscript. Not only spectral analysis is conducted for this operator but the inverse problem is solved, viz., a method of the reconstruction of non-local potential by the spectral data is presented. Class of spectral data that give the solution to the inverse problem is described.


title: Strain Induced Relaxor-type Ferroelectricity Near Room Temperature in Delafossite CuCrO2

abstract: Polycrystalline samples of CuCrO2 were synthesized by solid state reaction method. Temperature dependent dielectric measurements, synchrotron x-ray diffraction (SXRD), pyroelectric current and Raman measurements have been performed on these samples. Evidences of the presence of relaxor type ferroelectricity, which otherwise have gone unnoticed in CuCrO2 system (a member of delafossite family) near room temperature, have been presented. Presence of broad maximum in dielectric permittivity and its frequency dispersion indicates relaxor-type ferroelectricity in CuCrO2 near room temperature. Careful analysis of temperature dependent SXRD data and Raman spectroscopic data indicates that the distorted CrO6 octahdera, is giving rise to strain in the sample. Due to this strain, polar regions are forming in an otherwise non-polar matrix, which is giving rise to relaxor type ferroelectricity in the sample. Regularization of CrO6 octahedra and disappearance of disorder induced peak in Raman spectra at high temperatures could be the reason behind observed dielectric anomaly in this sample. Present investigations propose that relaxor type ferroelectricity near room temperature is an inherent property of the CuCrO2 system, making it a fascinating material to be explored further.


title: Few-photon Transport in Fano-resonance waveguide geometries

abstract: We present a theoretical study of Fano interference effects in few-photon transport. Under appropriate conditions, a local defect in an optical waveguide induces a highly asymmetric transmission lineshape, characteristic of Fano interference. For a two-level emitter placed adjacent to such a defect, here modeled as a partially transmitting element, we find an analytical expression for the full time evolution of single-photon wavepackets and the emitter excitation probability. We show how the partially transmitting element affects the emitter lifetime and shifts the spectral position of the effective system resonances. Using input-output formalism, we determine the single and two-photon $ S $-matrices for both a two-level emitter and a cavity-emitter system coupled to a waveguide with a partially transmitting element. We show how the Fano interference effect can be exploited for the implementation of a Hong-Ou-Mandel switch in analogy with a tunable linear or nonlinear beam splitter.


title: Analysis of resolution of tomographic-type reconstruction from discrete data for a class of distributions

abstract: Let $f(x)$, $x\in\mathbb R^2$, be a piecewise smooth function with a jump discontinuity across a smooth surface $\mathcal S$. Let $f_{\Lambda\epsilon}$ denote the Lambda tomography (LT) reconstruction of $f$ from its discrete Radon data $\hat f(\alpha_k,p_j)$. The sampling rate along each variable is $\sim\epsilon$. First, we compute the limit $f_0(\check x)=\lim_{\epsilon\to0}\epsilon f_{\Lambda\epsilon}(x_0+\epsilon\check x)$ for a generic $x_0\in\mathcal S$. Once the limiting function $f_0(\check x)$ is known (which we call the discrete transition behavior, or DTB for short), the resolution of reconstruction can be easily found. Next, we show that straight segments of $\mathcal S$ lead to non-local artifacts in $f_{\Lambda\epsilon}$, and that these artifacts are of the same strength as the useful singularities of $f_{\Lambda\epsilon}$. We also show that $f_{\Lambda\epsilon}(x)$ does not converge to its continuous analogue $f_\Lambda=(-\Delta)^{1/2}f$ as $\epsilon\to0$ even if $x\not\in\mathcal S$. Results of numerical experiments presented in the paper confirm these conclusions. We also consider a class of Fourier integral operators $\mathcal{B}$ with the same canonical relation as the classical Radon transform adjoint, and a class of distributions $g\in\mathcal{E}'(Z_n)$, $Z_n:=S^{n-1}\times\mathbb R$, and obtain easy to use formulas for the DTB when $\mathcal{B} g$ is computed from discrete data $g(\alpha_{\vec k},p_j)$. Exact and LT reconstructions are particlular cases of this more general theory.


title: Approximating Trajectory Constraints with Machine Learning -- Microgrid Islanding with Frequency Constraints

abstract: In this paper, we introduce a deep learning aided constraint encoding method to tackle the frequency-constraint microgrid scheduling problem. The nonlinear function between system operating condition and frequency nadir is approximated by using a neural network, which admits an exact mixed-integer formulation (MIP). This formulation is then integrated with the scheduling problem to encode the frequency constraint. With the stronger representation power of the neural network, the resulting commands can ensure adequate frequency response in a realistic setting in addition to islanding success. The proposed method is validated on a modified 33-node system. Successful islanding with a secure response is simulated under the scheduled commands using a detailed three-phase model in Simulink. The advantages of our model are particularly remarkable when the inertia emulation functions from wind turbine generators are considered.


title: Environmental processing in cluster core galaxies at z=1.7

abstract: Today, the brightest cluster galaxies (BCGs) are passive and very massive galaxies at the center of their clusters, and they still accrete mass through swallowing companions and gas from cooling flows. However their formation history is not well known. We report CO(4$\rightarrow$3) and continuum map observations of the SpARCS1049+56 BCG at $z=1.709$, one of the most distant known BCGs. Our observations yield $M_{{\rm H}_2}<1.1\times10^{10}M_\odot$ for the BCG; while in CO(4$\rightarrow$3), we detect two gas-rich companions at the northeast and southeast of the BCG, within 20 kpc, with ${L^\prime_{\rm CO(4\rightarrow3)}=(5.8\pm0.6)\times10^{9}}$ K km s$^{-1}$ pc$^2$ and $(7.4\pm0.7)\times10^{9}$ K km s$^{-1}$ pc$^2$, respectively. The northern companion is associated with a pair of merging cluster galaxies, while the southern one shows a southern tail in CO(4$\rightarrow$3), which was also detected in continuum, and we suggest it to be the most distant jellyfish galaxy for which ram pressure stripping is effectively able to strip off its dense molecular gas. This study probes the presence of rare gas-rich systems in the very central region of a distant cluster core, which will potentially merge into the BCG itself. Currently, we may thus be seeing the reversal of the star formation versus density relation at play in the distant universe. This is the first time the assembly of high-$z$ progenitors of our local BCGs can be studied in such great detail.


title: Walk-off controlled self-starting frequency combs in $\chi^{(2)}$ optical microresonators

abstract: Investigations of frequency combs in $\chi^{(3)}$ optical microresonators are burgeoning nowadays. Changeover to $\chi^{(2)}$ resonators promises further advances and brings new challenges. Here, the comb generation entails not only coupled first and second harmonics (FHs and SHs) and two dispersion coefficients, but also a substantial difference in the group velocities - the spatial walk-off. We predict walk-off controlled highly stable comb generation, drastically different from that known in the $\chi^{(3)}$ case. This includes the general notion of antiperiodic state, formation of coherent antiperiodic steady states (solitons), where the FH and SH envelopes move with a common velocity without shape changes, characterization of the family of antiperiodic steady states, and the dependence of comb spectra on the pump power and the group velocity difference.


title: Aspects of categorical recursion theory

abstract: We present a survey of some developments in the general area of category-theoretic approaches to the theory of computation, with a focus on topics and ideas particularly close to the interests of Jim Lambek.


title: RadioWeaves for efficient connectivity: analysis andimpact of constraints in actual deployments

abstract: We present a new type of wireless access infras-tructure consisting of a fabric of dispersed electronic circuitsand antennas that collectively function as a massive, distributed antenna array. We have chosen to name this new wireless infrastructure 'RadioWeaves' and anticipate they can be integrated into indoor and outdoor walls, furniture, and otherobjects, rendering them a natural part of the environment. Technologically, RadioWeaves will deploy distributed arrays to create both favorable propagation and antenna array interaction. The technology leverages on the ideas of large-scale intelligent surfaces and cell-free wireless access. Offering close to the service connectivity and computing, new grades in energy efficiency,reliability, and low latency can be reached. The new concept moreover can be scaled up easily to offer a very high capacity inspecific areas demanding so. In this paper we anticipate how two different demanding use cases can be served well by a dedicated RadioWeaves deployment: a crowd scenario and a highly reflective factory environment. A practical approach towards a RadioWeaves prototype, integrating dispersed electronics invisibly in a room environment, is introduced. We outline diverse R\&D challenges that need to be addressed to realize the great potential of the RadioWeaves technology.


title: Emotional Avatars: The Interplay between Affect and Ownership of a Virtual Body

abstract: Human bodies influence the owners' affect through posture, facial expressions, and movement. It remains unclear whether similar links between virtual bodies and affect exist. Such links could present design opportunities for virtual environments and advance our understanding of fundamental concepts of embodied VR. An initial outside-the-lab between-subjects study using commodity equipment presented 207 participants with seven avatar manipulations, related to posture, facial expression, and speed. We conducted a lab-based between-subjects study using high-end VR equipment with 41 subjects to clarify affect's impact on body ownership. The results show that some avatar manipulations can subtly influence affect. Study I found that facial manipulations emerged as most effective in this regard, particularly for positive affect. Also, body ownership showed a moderating influence on affect: in Study I body ownership varied with valence but not with arousal, and Study II showed body ownership to vary with positive but not with negative affect.


title: Optimal parameter for the SOR-like iteration method for solving the system of absolute value equations

abstract: The SOR-like iteration method for solving the absolute value equations~(AVE) of finding a vector $x$ such that $Ax - |x| - b = 0$ with $\nu = \|A^{-1}\|_2 < 1$ is investigated. The convergence conditions of the SOR-like iteration method proposed by Ke and Ma ([{\em Appl. Math. Comput.}, 311:195--202, 2017]) are revisited and a new proof is given, which exhibits some insights in determining the convergent region and the optimal iteration parameter. Along this line, the optimal parameter which minimizes $\|T_\nu(\omega)\|_2$ with $$T_\nu(\omega) = \left(\begin{array}{cc} |1-\omega| & \omega^2\nu \\ |1-\omega| & |1-\omega| +\omega^2\nu \end{array}\right)$$ and the approximate optimal parameter which minimizes $\eta_{\nu}(\omega) =\max\{|1-\omega|,\nu\omega^2\}$ are explored. The optimal and approximate optimal parameters are iteration-independent and the bigger value of $\nu$ is, the smaller convergent region of the iteration parameter $\omega$ is. Numerical results are presented to demonstrate that the SOR-like iteration method with the optimal parameter is superior to that with the approximate optimal parameter proposed by Guo, Wu and Li ([{\em Appl. Math. Lett.}, 97:107--113, 2019]). In some situation, the SOR-like itration method with the optimal parameter performs better, in terms of CPU time, than the generalized Newton method (Mangasarian, [{\em Optim. Lett.}, 3:101--108, 2009]) for solving the AVE.


title: An explicit upper bound for Siegel zeros of imaginary quadratic fields

abstract: For any integer $d\geq 3$ such that $-d$ is a fundamental discriminant, we show that the Dirichlet $L$-function associated with the real primitive character $\chi(\cdot)=(\frac{-d}{\cdot})$ does not vanish on the positive part of the interval $[1-6.5/\sqrt{d},\ 1]. $


title: On the relation between non-homogeneous fractional Burgers equations and time-dependent harmonic oscillator

abstract: In this paper we discuss the relation between non-homogeneous nonlinear fractional diffusive equations and the Schrodinger equation with time-dependent harmonic potential. It is well known that the Cole-Hopf transformation allows to linearize non-homogeneous nonlinear diffusive equations (NHNDEs) into a Schrodinger-type equation with time-dependent potential. We first discuss the utility of the results about time-dependent harmonic oscillator to build explicit solution of such non-homogeneous nonlinear partial differential equations. In particular, we recall that starting from a trial polynomial solution of the NHNDE, it is possible to construct other solutions by using linear invariants of the Schrodinger equation with time-dependent potential. Finally we apply these results to find explicit solutions to a novel non-homogeneous fractional Burgers-type equation.


title: Cache-Aided Modulation for Heterogeneous Coded Caching over a Gaussian Broadcast Channel

abstract: Coded caching is an information theoretic scheme to reduce high peak hours traffic by partially prefetching files in the users local storage during low peak hours. This paper considers heterogeneous decentralized caching systems where cache of users and content library files may have distinct sizes. The server communicates with the users through a Gaussian broadcast channel. The main contribution of this paper is a novel modulation strategy to map the multicast messages generated in the coded caching delivery phase to the symbols of a signal constellation, such that users can leverage their cached content to demodulate the desired symbols with higher reliability. For the sake of simplicity, in this paper we focus only on uncoded modulation and symbol-by-symbol error probability. However, our scheme in conjunction with multilevel coded modulation can be extended to channel coding over a larger block lengths.


title: The e-property of asymptotically stable Markov-Feller operators

abstract: In this work, we prove that any asymptotically stable Markov-Feller operator possesses the e-property everywhere outside at most a meagre set. We also provide an example showing that this result is tight. Moreover, an equivalent criterion for the e-property is proposed.


title: A Categorical Framework for Learning Generalised Tree Automata

abstract: Automata learning is a popular technique used to automatically construct an automaton model from queries. Much research went into devising ad hoc adaptations of algorithms for different types of automata. The CALF project seeks to unify these using category theory in order to ease correctness proofs and guide the design of new algorithms. In this paper, we extend CALF to cover learning of algebraic structures that may not have a coalgebraic presentation. Furthermore, we provide a detailed algorithmic account of an abstract version of the popular L* algorithm, which was missing from CALF. We instantiate the abstract theory to a large class of Set functors, by which we recover for the first time practical tree automata learning algorithms from an abstract framework and at the same time obtain new algorithms to learn algebras of quotiented polynomial functors.


title: Weight Enumerators and Cardinalities for Number-Theoretic Codes

abstract: The number-theoretic codes are a class of codes defined by single or multiple congruences. These codes are mainly used for correcting insertion and deletion errors, and for correcting asymmetric errors. This paper presents a formula for a generalization of the complete weight enumerator for the number-theoretic codes. This formula allows us to derive the weight enumerators and cardinalities for the number-theoretic codes. As a special case, this paper provides the Hamming weight enumerators and cardinalities of the non-binary Tenengolts' codes, correcting single insertion or deletion. Moreover, we show that the formula deduces the MacWilliams identity for the linear codes over the ring of integers modulo $r$.


title: Quadratic Hedging and Optimization of Option Exercise Policies

abstract: Quadratic hedging of option payoffs generates the variance optimal martingale measure. When an option features an exercise policy and its cash flows are hedged according to this approach, it may be tempting to optimize such a policy under this measure. Because the variance optimal martingale measure may not be an equivalent probability measure, focusing on American options we show that the resulting exercise policy may be unappealing. This drawback can sometimes be remedied by imposing time consistency on exercise policies, but in general persists even in this case, which compounds the familiar issue that valuing an option using this measure may not result in an arbitrage free value. An alternative and known approach bypasses both of these pitfalls by optimizing option exercise policies under any given equivalent martingale measure and anchoring quadratic hedging to the resulting value of this policy. Additional research may assess on realistic applications the magnitude of the limitations associated with optimizing option exercise policies based on the variance optimal martingale measure.


title: High-fidelity and Robust Geometric Quantum Gates that Outperform Dynamical Ones

abstract: Geometric phase is a promising element to induce high-fidelity and robust quantum operations due to its built-in noise-resilience feature. Unfortunately, its practical applications are usually circumscribed by requiring complex interactions among multiple levels/qubits and the longer gate-time than the corresponding dynamical ones. Here, we propose a general framework of geometric quantum computation with the integration of the time-optimal control technique, where the shortest smooth geometric path is found to realize accelerated geometric quantum gates, and thus greatly decreases the gate errors induced by both the decoherence effect and operational imperfections. Meanwhile, we faithfully implement our idea on a scalable platform of a two-dimensional superconducting transmon-qubit lattice, with simple and experimental accessible interactions. In addition, numerical simulations show that our implemented geometric gates possess higher fidelities and stronger robustness, which outperform the best performance of the corresponding dynamical ones. Therefore, our scheme provides a promising alternative way towards scalable fault-tolerant solid-state quantum computation.