title: A Communication-Efficient Multi-Agent Actor-Critic Algorithm for Distributed Reinforcement Learning

abstract: This paper considers a distributed reinforcement learning problem in which a network of multiple agents aim to cooperatively maximize the globally averaged return through communication with only local neighbors. A randomized communication-efficient multi-agent actor-critic algorithm is proposed for possibly unidirectional communication relationships depicted by a directed graph. It is shown that the algorithm can solve the problem for strongly connected graphs by allowing each agent to transmit only two scalar-valued variables at one time.


title: Probing gravity by holding atoms for 20 seconds

abstract: Atom interferometers are powerful tools for both measurements in fundamental physics and inertial sensing applications. Their performance, however, has been limited by the available interrogation time of freely falling atoms in a gravitational field. We realize an unprecedented interrogation time of 20 seconds by suspending the spatially-separated atomic wavepackets in a lattice formed by the mode of an optical cavity. Unlike traditional atom interferometers, this approach allows potentials to be measured by holding, rather than dropping, atoms. After seconds of hold time, gravitational potential energy differences from as little as microns of vertical separation generate megaradians of interferometer phase. This trapped geometry suppresses the phase sensitivity to vibrations by 3-4 orders of magnitude, overcoming the dominant noise source in atom-interferometric gravimeters. Finally, we study the wavefunction dynamics driven by gravitational potential gradients across neighboring lattice sites.


title: PANNA: Properties from Artificial Neural Network Architectures

abstract: Prediction of material properties from first principles is often a computationally expensive task. Recently, artificial neural networks and other machine learning approaches have been successfully employed to obtain accurate models at a low computational cost by leveraging existing example data. Here, we present a software package "Properties from Artificial Neural Network Architectures" (PANNA) that provides a comprehensive toolkit for creating neural network models for atomistic systems. Besides the core routines for neural network training, it includes data parser, descriptor builder and force-field generator suitable for integration within molecular dynamics packages. PANNA offers a variety of activation and cost functions, regularization methods, as well as the possibility of using fully-connected networks with custom size for each atomic species. PANNA benefits from the optimization and hardware-flexibility of the underlying TensorFlow engine which allows it to be used on multiple CPU/GPU/TPU systems, making it possible to develop and optimize neural network models based on large datasets.


title: Projection of Good Quantum Numbers for Reaction Fragments

abstract: In reactions the wave packets of the emerging products typically are not eigenstates of particle number operators or any other conserved quantities and their properties are entangled. I describe a particle projection technique in parts of space, which eschews the need to evaluate Pfaffians in the case of overlap of generalized Slater determinants or Hartree-Fock-Bogoliubov type of vacua. The extension of these formulas for calculating either angular momentum or particle projected energy distributions of the reaction fragments are presented as well. The generalization to simultaneous particle and angular momentum projection of various reaction fragment observables is straightforward.


title: Near-field radiative heat transfer between rough surfaces modeled using effective media with gradient distribution of dielectric function

abstract: Near-field radiative heat transfer (NFRHT) between rough surfaces, due to its widespread presence in engineering practice of near-field energy utilization, requires indepth studies, especially from the perspective of physical mechanism. In this paper, an effective multilayer model is built to approach the NFRHT between random rough surfaces of silicon carbide (SiC). Using the effective medium theory (EMT), the effective dielectric function of each layer is obtained, which forms a gradient distribution of dielectric function along the depth of the medium. The influence of the effective dielectric function on surface phonon polaritons (SPhPs) is analyzed, showing that the effective layers with small filling fraction of SiC feature lower SPhP resonance frequencies than SiC bulk. The coupling of SPhPs from the gradient distribution of dielectric function produces new surface modes that dominates the NFRHT. Investigation on the effect of root mean square height (RMS height, {\sigma}) reveals that the peaks of local density of states (LDOS) and spectral heat flux are red-shifted as {\sigma} increases, while the spectral heat flux below the peak frequency gets larger. This can be attributed to the coupling of SPhPs inside the rough layer. We also found the total net heat flux between rough surfaces separated by an average distance exceeds that between smooth plates and increases with increasing {\sigma}, which offer a new way to enhance NFRHT. This work provides a reference for the simulation and understanding of the NFRHT between rough surfaces.


title: Node-Constrained Traffic Engineering: Theory and Applications

abstract: Traffic engineering (TE) is a fundamental task in networking. Conventionally, traffic can take any path connecting the source and destination. Emerging technologies such as segment routing, however, use logical paths going through a predetermined set of middlepoints. Inspired by this, in this work we introduce the problem of node-constrained TE, where traffic must go through a set of middlepoints, and study its theoretical fundamentals. We show that the general node-constrained TE that constrains the traffic to take paths going through one or more middlepoints is NP-hard for directed graphs but strongly polynomial for undirected graphs, unveiling a profound dichotomy between the two cases. We additionally investigate the popular variant of node-constrained TE that uses shortest paths between middlepoints, and show that the problem can now be solved in weakly polynomial time for a fixed number of middlepoints. Yet if we constrain the end-to-end paths to be acyclic, the problem can become NP-hard. This explains why existing work focuses on the computationally tractable variant. An important application of our work concerns the computational complexity of flow centrality, first proposed in 1991 by Freeman et al. [21]: we show that it is NP-hard for directed but strongly polynomial for undirected graphs. Finally, we investigate the middlepoint selection problem in general node-constrained TE. We introduce group flow centrality as a solution concept for multi-commodity networks, study its complexity, and show that it is monotone but not submodular for both directed and undirected graphs. Our work provides a thorough theoretical treatment of node-constrained TE and its applications.


title: Visualizing the melting processes in ultrashort intense laser triggered gold mesh with high energy electron radiography

abstract: High energy electron radiography (HEER) is a promising tool for high energy density physics diagnostics, apart from other tools like X/{\gamma} ray shadowgraphy and high energy proton radiography. Impressive progresses have been made in development and application of HEER in past few years, and proved its potentials for high-resolution imaging of static opaque objects. By taking advantages of short pulse duration and tunable time structure of high energy electron probes, time-resolved imaging measurement of high energy density gold irradiated by ultrashort intense lasers has been performed. Phenomena of different time periods from picosecond to microsecond have been observed, thus proving feasibilities of this technique for imaging of static and dynamic objects.


title: Exploiting Out-of-Domain Parallel Data through Multilingual Transfer Learning for Low-Resource Neural Machine Translation

abstract: This paper proposes a novel multilingual multistage fine-tuning approach for low-resource neural machine translation (NMT), taking a challenging Japanese--Russian pair for benchmarking. Although there are many solutions for low-resource scenarios, such as multilingual NMT and back-translation, we have empirically confirmed their limited success when restricted to in-domain data. We therefore propose to exploit out-of-domain data through transfer learning, by using it to first train a multilingual NMT model followed by multistage fine-tuning on in-domain parallel and back-translated pseudo-parallel data. Our approach, which combines domain adaptation, multilingualism, and back-translation, helps improve the translation quality by more than 3.7 BLEU points, over a strong baseline, for this extremely low-resource scenario.


title: Social inhibition maintains adaptivity and consensus of foraging honeybee swarms in dynamic environments

abstract: To effectively forage in natural environments, organisms must adapt to changes in the quality and yield of food sources across multiple timescales. Individuals foraging in groups act based on both their private observations and the opinions of their neighbors. How do these information sources interact in changing environments? We address this problem in the context of honeybee swarms, showing inhibitory social interactions help maintain adaptivity and consensus needed for effective foraging. Individual and social interactions of a mathematical swarm model shape the nutrition yield of a group foraging from feeders with temporally switching food quality. Social interactions improve foraging from a single feeder if temporal switching is fast or feeder quality is low. When the swarm chooses from multiple feeders, the most effective form of social interaction is direct switching, whereby bees flip the opinion of nestmates foraging at lower yielding feeders. Model linearization shows that effective social interactions increase the fraction of the swarm at the correct feeder (consensus) and the rate at which bees reach that feeder (adaptivity). Our mathematical framework allows us to compare a suite of social inhibition mechanisms, suggesting experimental protocols for revealing effective swarm foraging strategies in dynamic environments.


title: Space-time Variant Self-growing Bandgap in Nonlinear Acoustic Metamaterial

abstract: Material band structure is key foundation for various modern technologies, but it was regarded as a space-time invariant feature. Acoustic metamaterials show extraordinary properties for processing elastic waves, but conventional realizations suffer from narrow bandgaps. Here we first report a nonlinear acoustic metamaterial whose band structure self-adapts to the propagation distance/time and the bandgap exhibits a self-growing behaviour stemming from giant nonlinear interaction. This space-time self-modulating characteristic highlights an unconventional understanding of the band structure, and the self-growth generates an ultralow and ultrabroad bandgap that breaks through the limitation of the mass law for linear locally resonant bandgaps. We also elucidate the self-adaptive mechanisms. This first demonstration sheds light on conceiving advanced devices and metamaterials with broadband, space-time variant bandgaps for wave self-manipulation.


title: MRI Super-Resolution with Ensemble Learning and Complementary Priors

abstract: Magnetic resonance imaging (MRI) is a widely used medical imaging modality. However, due to the limitations in hardware, scan time, and throughput, it is often clinically challenging to obtain high-quality MR images. The super-resolution approach is potentially promising to improve MR image quality without any hardware upgrade. In this paper, we propose an ensemble learning and deep learning framework for MR image super-resolution. In our study, we first enlarged low resolution images using 5 commonly used super-resolution algorithms and obtained differentially enlarged image datasets with complementary priors. Then, a generative adversarial network (GAN) is trained with each dataset to generate super-resolution MR images. Finally, a convolutional neural network is used for ensemble learning that synergizes the outputs of GANs into the final MR super-resolution images. According to our results, the ensemble learning results outcome any one of GAN outputs. Compared with some state-of-the-art deep learning-based super-resolution methods, our approach is advantageous in suppressing artifacts and keeping more image details.


title: Improved low-resource Somali speech recognition by semi-supervised acoustic and language model training

abstract: We present improvements in automatic speech recognition (ASR) for Somali, a currently extremely under-resourced language. This forms part of a continuing United Nations (UN) effort to employ ASR-based keyword spotting systems to support humanitarian relief programmes in rural Africa. Using just 1.57 hours of annotated speech data as a seed corpus, we increase the pool of training data by applying semi-supervised training to 17.55 hours of untranscribed speech. We make use of factorised time-delay neural networks (TDNN-F) for acoustic modelling, since these have recently been shown to be effective in resource-scarce situations. Three semi-supervised training passes were performed, where the decoded output from each pass was used for acoustic model training in the subsequent pass. The automatic transcriptions from the best performing pass were used for language model augmentation. To ensure the quality of automatic transcriptions, decoder confidence is used as a threshold. The acoustic and language models obtained from the semi-supervised approach show significant improvement in terms of WER and perplexity compared to the baseline. Incorporating the automatically generated transcriptions yields a 6.55\% improvement in language model perplexity. The use of 17.55 hour of Somali acoustic data in semi-supervised training shows an improvement of 7.74\% relative over the baseline.


title: Variational principle for cylindrical curves and dynamics of spinning particles in $d=3$ Minkowski space

abstract: We proceed from the fact that the classical paths of irreducible massive spinning particle lie on a circular cylinder with the time-like axis in Minkowski space. Assuming that all the classical paths on the cylinder are gauge-equivalent, we derive the equations of motion for the cylindrical curves. These equations are non-Lagrangian, but they admit interpretation in terms of the conditional extremum problem for a certain length functional in the class of paths subjected to the constant separation conditions. The unconditional variational principle is obtained after inclusion of constant separation conditions with the Lagrange multipliers into the action. We explicitly verify that the states of the obtained model lie on the co-orbit of the Poincare group. The relationship with the previously known theory is demonstrated.


title: Geometrical model of massive spinning particle in four-dimensional Minkowski space

abstract: We propose the model of massive spinning particle traveling in four-dimensional Minkowski space. The equations of motion of the particle follow from the fact that all the classical paths of the particle lie on a cylinder whose position in Minkowski space is determined by the particle's linear momentum and total angular momentum. All the paths on one and the same cylinder are gauge equivalent. The equations of motion are found in implicit form for general time-like paths, and they are non-Lagrangian. The explicit equations of motion are found for trajectories with small curvature and helices. The momentum and total angular momentum are expressed in terms of characteristics of the path in all the cases. The constructed model of the spinning particle has geometrical character, with no additional variables in the space of spin states being introduced.


title: Long-time asymptotic behavior for an extended modified Korteweg-de Vries equation

abstract: We investigate an integrable extended modified Korteweg-de Vries equation on the line with the initial value belonging to the Schwartz space. By performing the nonlinear steepest descent analysis of an associated matrix Riemann--Hilbert problem, we obtain the explicit leading-order asymptotics of the solution of this initial value problem as time $t$ goes to infinity. For a special case $\alpha=0$, we present the asymptotic formula of the solution to the extended modified Korteweg-de Vries equation in region $\mathcal{P}=\{(x,t)\in\bfR^2|0<x\leq Mt^{\frac{1}{5}},t\geq3\}$ in terms of the solution of a fourth order Painlev\'e II equation.


title: Conservation Laws and Stability of Field Theories of Derived Type

abstract: We consider the issue of correspondence between symmetries and conserved quantities in the class of linear relativistic higher-derivative theories of derived type. In this class of models the wave operator is a polynomial in another formally self-adjoint operator, while each isometry of space-time gives rise to the series of symmetries of action functional. If the wave operator is given by n-th-order polynomial then this series includes n independent entries, which can be explicitly constructed. The Noether theorem is then used to construct an n-parameter set of second-rank conserved tensors. The canonical energy-momentum tensor is included in the series, while the other entries define independent integrals of motion. The Lagrange anchor concept is applied to connect the general conserved tensor in the series with the original space-time translation symmetry. This result is interpreted as existence of multiple energy-momentum tensors in the class of derived systems. To study stability we seek for bounded-conserved quantities that are connected with the time translations. We observe that the derived theory is stable if its wave operator is defined by a polynomial with simple and real roots. The general constructions are illustrated by the examples of the Pais-Uhlenbeck oscillator, higher-derivative scalar field, and extended Chern-Simons theory.


title: Deep Learning for Fine-Grained Image Analysis: A Survey

abstract: Computer vision (CV) is the process of using machines to understand and analyze imagery, which is an integral branch of artificial intelligence. Among various research areas of CV, fine-grained image analysis (FGIA) is a longstanding and fundamental problem, and has become ubiquitous in diverse real-world applications. The task of FGIA targets analyzing visual objects from subordinate categories, \eg, species of birds or models of cars. The small inter-class variations and the large intra-class variations caused by the fine-grained nature makes it a challenging problem. During the booming of deep learning, recent years have witnessed remarkable progress of FGIA using deep learning techniques. In this paper, we aim to give a survey on recent advances of deep learning based FGIA techniques in a systematic way. Specifically, we organize the existing studies of FGIA techniques into three major categories: fine-grained image recognition, fine-grained image retrieval and fine-grained image generation. In addition, we also cover some other important issues of FGIA, such as publicly available benchmark datasets and its related domain specific applications. Finally, we conclude this survey by highlighting several directions and open problems which need be further explored by the community in the future.


title: Short Text Conversation Based on Deep Neural Network and Analysis on Evaluation Measures

abstract: With the development of Natural Language Processing, Automatic question-answering system such as Waston, Siri, Alexa, has become one of the most important NLP applications. Nowadays, enterprises try to build automatic custom service chatbots to save human resources and provide a 24-hour customer service. Evaluation of chatbots currently relied greatly on human annotation which cost a plenty of time. Thus, has initiated a new Short Text Conversation subtask called Dialogue Quality (DQ) and Nugget Detection (ND) which aim to automatically evaluate dialogues generated by chatbots. In this paper, we solve the DQ and ND subtasks by deep neural network. We proposed two models for both DQ and ND subtasks which is constructed by hierarchical structure: embedding layer, utterance layer, context layer and memory layer, to hierarchical learn dialogue representation from word level, sentence level, context level to long range context level. Furthermore, we apply gating and attention mechanism at utterance layer and context layer to improve the performance. We also tried BERT to replace embedding layer and utterance layer as sentence representation. The result shows that BERT produced a better utterance representation than multi-stack CNN for both DQ and ND subtasks and outperform other models proposed by other researches. The evaluation measures are proposed by , that is, NMD, RSNOD for DQ and JSD, RNSS for ND, which is not traditional evaluation measures such as accuracy, precision, recall and f1-score. Thus, we have done a series of experiments by using traditional evaluation measures and analyze the performance and error.


title: Fusion-Based Cooperative Support Identification for Compressive Networked Sensing

abstract: This paper proposes a fusion-based cooperative support identification scheme for distributed compressive sparse signal recovery via resource-constrained wireless sensor networks. The proposed support identification protocol involves: (i) local sparse sensing for economizing data gathering and storage, (ii) local binary decision making for partial support knowledge inference, (iii) binary information exchange among active nodes, and (iv) binary data aggregation for support estimation. Then, with the aid of the estimated signal support, a refined local decision is made at each node. Only the measurements of those informative nodes will be sent to the fusion center, which employs a weighted $\ell_1$-minimization for global signal reconstruction. The design of a Bayesian local decision rule is discussed, and the average communication cost is analyzed. Computer simulations are used to illustrate the effectiveness of the proposed scheme.


title: Immersed Lagrangian Floer cohomology via pearly trajectories

abstract: We define Lagrangian Floer cohomology over $\mathbb Z_2$-coefficients by counting pearly trajectories for graded, exact Lagrangian immersions that satisfy certain positivity condition on the index of the non-embedded points, and show that it is an invariant of the Lagrangian immersion under Hamiltonian deformations. We also show that it is naturally isomorphic to the Hamiltonian perturbed version of Lagrangian Floer cohomology as defined in [4]. As an application, we prove that the number of non-embedded points of such a Lagrangian in $\mathbb C^n$ is no less than the sum of its Betti numbers.


title: An information entropy interpretation of photon absorption by dielectric media

abstract: We measured photon absorption in dielectric media and proposed the photon-version Beer-Lambert's law to quantify the absorption. We used a Hong-Ou-Mandel interferometer and 810 nm twin-photons. We found that the depth ratio of the null point in the interference patterns of the interferometer agreed with the classical transmittance of the samples. We established a statistical model of the photon absorption process and proposed an information entropy interpretation to understand the meaning of the Beer-Lambert law. Comparisons of the results of the photon absorption experiments with classical experiments demonstrate the validity of our model and interpretation.


title: Electronic Structure Properties of UO2 as a Mott Insulator

abstract: In this work using the density functional theory (DFT), we have studied the structural, electronic and magnetic properties of uranium dioxide with antiferromagnetic 1k-, 2k-, and 3k-order structures. Ordinary approximations in DFT, such as the local density approximation (LDA) or generalized gradient approximation (GGA), usually predict incorrect metallic behaviors for this strongly correlated electron system. Using Hubbard term correction for f-electrons, LDA+U method, as well as using the screened Heyd-Scuseria-Ernzerhof (HSE) hybrid functional for the exchange-correlation (XC), we have obtained the correct ground-state behavior as an insulator, with band gaps in good agreement with experiment.


title: AMD Severity Prediction And Explainability Using Image Registration And Deep Embedded Clustering

abstract: We propose a method to predict severity of age related macular degeneration (AMD) from input optical coherence tomography (OCT) images. Although there is no standard clinical severity scale for AMD, we leverage deep learning (DL) based image registration and clustering methods to identify diseased cases and predict their severity. Experiments demonstrate our approach's disease classification performance matches state of the art methods. The predicted disease severity performs well on previously unseen data. Registration output provides better explainability than class activation maps regarding label and severity decisions


title: Adaptive Neuro-Surrogate-Based Optimisation Method for Wave Energy Converters Placement Optimisation

abstract: The installed amount of renewable energy has expanded massively in recent years. Wave energy, with its high capacity factors has great potential to complement established sources of solar and wind energy. This study explores the problem of optimising the layout of advanced, three-tether wave energy converters in a size-constrained farm in a numerically modelled ocean environment. Simulating and computing the complicated hydrodynamic interactions in wave farms can be computationally costly, which limits optimisation methods to have just a few thousand evaluations. For dealing with this expensive optimisation problem, an adaptive neuro-surrogate optimisation (ANSO) method is proposed that consists of a surrogate Recurrent Neural Network (RNN) model trained with a very limited number of observations. This model is coupled with a fast meta-heuristic optimiser for adjusting the model's hyper-parameters. The trained model is applied using a greedy local search with a backtracking optimisation strategy. For evaluating the performance of the proposed approach, some of the more popular and successful Evolutionary Algorithms (EAs) are compared in four real wave scenarios (Sydney, Perth, Adelaide and Tasmania). Experimental results show that the adaptive neuro model is competitive with other optimisation methods in terms of total harnessed power output and faster in terms of total computational costs.


title: Generative Counterfactual Introspection for Explainable Deep Learning

abstract: In this work, we propose an introspection technique for deep neural networks that relies on a generative model to instigate salient editing of the input image for model interpretation. Such modification provides the fundamental interventional operation that allows us to obtain answers to counterfactual inquiries, i.e., what meaningful change can be made to the input image in order to alter the prediction. We demonstrate how to reveal interesting properties of the given classifiers by utilizing the proposed introspection approach on both the MNIST and the CelebA dataset.


title: Wide-band Parametric Amplifier Readout and Resolution of Optical Microwave Kinetic Inductance Detectors

abstract: The energy resolution of a single photon counting Microwave Kinetic Inductance Detector (MKID) can be degraded by noise coming from the primary low temperature amplifier in the detector's readout system. Until recently, quantum limited amplifiers have been incompatible with these detectors due to dynamic range, power, and bandwidth constraints. However, we show that a kinetic inductance based traveling wave parametric amplifier can be used for this application and reaches the quantum limit. The total system noise for this readout scheme was equal to ~2.1 in units of quanta. For incident photons in the 800 to 1300 nm range, the amplifier increased the average resolving power of the detector from ~6.7 to 9.3 at which point the resolution becomes limited by noise on the pulse height of the signal. Noise measurements suggest that a resolving power of up to 25 is possible if redesigned detectors can remove this additional noise source.


title: Solving the Bethe-Salpeter Equation in Minkowski Space for a Fermion-Scalar system

abstract: The ladder Bethe-Salpeter Equation of a bound (1/2)+ system, composed by a fermion and a scalar boson, is solved in Minkowski space, for the first time. The formal tools are the same already successfully adopted for two-scalar and two-fermion systems, namely the Nakanishi integral representation of the Bethe-Salpeter amplitude and the light-front projection of the fulfilled equation. Numerical results are presented and discussed for two interaction kernels: i) a massive scalar exchange and ii) a massive vector exchange, illustrating both the correlation between binding energies and the interaction coupling constants, as well as the valence content of the interacting state, through the valence probabilities and the light-front momentum distributions. In the case of the scalar exchange, an interesting side effect, to be ascribed to the repulsion generated by the small components of the Dirac spinor, is pointed out, while for the vector exchange the manifestation of the helicity conservation opens new interesting questions to be addressed within a fully non-perturbative framework, as well as the onset of a scale-invariant regime.


title: A Reconfigurable Solar Photovoltaic Grid-Tied Inverter Architecture for Enhanced Energy Access in Backup Power Applications

abstract: In this paper, a photovoltaic (PV) reconfigurable grid-tied inverter (RGTI) scheme is proposed. Unlike a conventional GTI that ceases operation during a power outage, the RGTI is designed to act as a regular GTI in the on-grid mode but it is reconfigured to function as a DC-DC charge-controller that continues operation during a grid outage. During this period, the RGTI is tied to the battery-bank of an external UPS based backup power system to augment it with solar power. Such an operation in off-grid mode without employing communication with the UPS is challenging, as the control of RGTI must not conflict with the battery management system of the UPS. The hardware and control design aspects of this requirement are discussed in this paper. A battery emulation control scheme is proposed for the RGTI that facilitates seamless functioning of the RGTI in parallel with the physical UPS battery to reduce its discharge current. A system-level control scheme for overall operation and power management is presented to handle the dynamic variations in solar irradiation and UPS loads during the day, such that the battery discharge burden is minimized. The design and operation of the proposed RGTI system are independent of the external UPS and can be integrated with an UPS supplied by any manufacturer. Experimental results on a 4~kVA hardware setup validate the proposed RGTI concept, its operation and control.


title: The Fog Development Kit: A Development Platform for SDN-based Edge-Fog Systems

abstract: With the rise of the Internet of Things (IoT), fog computing has emerged to help traditional cloud computing in meeting scalability demands. Fog computing makes it possible to fulfill real-time requirements of applications by bringing more processing, storage, and control power geographically closer to end-devices. However, since fog computing is a relatively new field, there is no standard platform for research and development in a realistic environment, and this dramatically inhibits innovation and development of fog-based applications. In response to these challenges, we propose the Fog Development Kit (FDK). By providing high-level interfaces for allocating computing and networking resources, the FDK abstracts the complexities of fog computing from developers and enables the rapid development of fog systems. In addition to supporting application development on a physical deployment, the FDK supports the use of emulation tools (e.g., GNS3 and Mininet) to create realistic environments, allowing fog application prototypes to be built with zero additional costs and enabling seamless portability to a physical infrastructure. Using a physical testbed and various kinds of applications running on it, we verify the operation and study the performance of the FDK. Specifically, we demonstrate that resource allocations are appropriately enforced and guaranteed, even amidst extreme network congestion. We also present simulation-based scalability analysis of the FDK versus the number of switches, the number of end-devices, and the number of fog-devices.


title: Systemic Risk and Heterogeneous Mean Field Type Interbank Network

abstract: We study the system of heterogeneous interbank lending and borrowing based on the relative average of log-capitalization given by the linear combination of the average within groups and the ensemble average and describe the evolution of log-capitalization by a system of coupled diffusions. The model incorporates a game feature with homogeneity within groups and heterogeneity between groups where banks search for the optimal lending or borrowing strategies through minimizing the heterogeneous linear quadratic costs in order to avoid to approach the default barrier. Due to the complicity of the lending and borrowing system, the closed-loop Nash equilibria and the open-loop Nash equilibria are both driven by the coupled Riccati equations. The existence of the equilibria in the two-group case where the number of banks are sufficiently large is guaranteed by the solvability for the coupled Riccati equations as the number of banks goes to infinity in each group. The equilibria are consisted of the mean-reverting term identical to the one group game and the group average owing to heterogeneity. In addition, the corresponding heterogeneous mean filed game with the arbitrary number of groups is also discussed. The existence of the $\epsilon$-Nash equilibrium in the general $d$ heterogeneous groups is also verified. Finally, in the financial implication, we observe the Nash equilibria governed by the mean-reverting term and the linear combination of the ensemble averages of individual groups and study the influence of the relative parameters on the liquidity rate through the numerical analysis.


title: Task-Oriented Convex Bilevel Optimization with Latent Feasibility

abstract: This paper firstly proposes a convex bilevel optimization paradigm to formulate and optimize popular learning and vision problems in real-world scenarios. Different from conventional approaches, which directly design their iteration schemes based on given problem formulation, we introduce a task-oriented energy as our latent constraint which integrates richer task information. By explicitly re-characterizing the feasibility, we establish an efficient and flexible algorithmic framework to tackle convex models with both shrunken solution space and powerful auxiliary (based on domain knowledge and data distribution of the task). In theory, we present the convergence analysis of our latent feasibility re-characterization based numerical strategy. We also analyze the stability of the theoretical convergence under computational error perturbation. Extensive numerical experiments are conducted to verify our theoretical findings and evaluate the practical performance of our method on different applications.


title: Tests of the Kerr hypothesis with GRS 1915+105 using different RELXILL flavors

abstract: In a previous paper, we tried to test the Kerr nature of the stellar-mass black hole in GRS 1915+105 by analyzing NuSTAR data of 2012 with our reflection model RELXILL_NK. We found that the choice of the intensity profile of the reflection component is crucial and eventually we were not able to get any constraint on the spacetime metric around the black hole in GRS 1915+105. In the present paper, we study the same source with Suzaku data of 2007. We confirm that the intensity profile plays an important role, but now we find quite stringent constraints consistent with the Kerr hypothesis. The key differences with respect to our previous study are likely the lower disk temperature in the Suzaku observation and the higher energy resolution near the iron line of the Suzaku data. We also apply different RELXILL flavors (different descriptions of the coronal spectrum and variable disk electron density) obtaining essentially the same results. We thus conclude that this choice is not very important for our tests of the Kerr hypothesis while the intensity profile does play an important role, and that with high quality data it is possible to measure both the spacetime metric and the intensity profile.


title: Resource Allocation for Secure IRS-assisted Multiuser MISO Systems

abstract: In this paper, we study resource allocation design for secure communication in intelligent reflecting surface (IRS)-assisted multiuser multiple-input single-output (MISO) communication systems. To enhance physical layer security, artificial noise (AN) is transmitted from the base station (BS) to deliberately impair the channel of an eavesdropper. In particular, we jointly optimize the phase shift matrix at the IRS and the beamforming vectors and AN covariance matrix at the BS for maximization of the system sum secrecy rate. To handle the resulting non-convex optimization problem, we develop an efficient suboptimal algorithm based on alternating optimization, successive convex approximation, semidefinite relaxation, and manifold optimization. Our simulation results reveal that the proposed scheme substantially improves the system sum secrecy rate compared to two baseline schemes.


title: Posterior Convergence Analysis of $\alpha$-Stable Sheets

abstract: This paper is concerned with the theoretical understanding of $\alpha$-stable sheets $U$ on $\mathbb{R}^d$. Our motivation for this is in the context of Bayesian inverse problems, where we consider these processes as prior distributions, aiming to quantify information of the posterior. We derive convergence results referring to finite-dimensional approximations of infinite-dimensional random variables. In doing so we use a number of variants which these sheets can take, such as a stochastic integral representation, but also random series expansions through Poisson processes. Our proofs will rely on the fact of whether $U$ can omit $L^p$-sample paths. To aid with the convergence of the finite approximations we provide a natural discretization to represent the prior. Aside from convergence of these stable sheets we address whether both well-posedness and well-definiteness of the inverse problem can be attained.


title: Estimating location parameters in entangled single-sample distributions

abstract: We consider the problem of estimating the common mean of independently sampled data, where samples are drawn in a possibly non-identical manner from symmetric, unimodal distributions with a common mean. This generalizes the setting of Gaussian mixture modeling, since the number of distinct mixture components may diverge with the number of observations. We propose an estimator that adapts to the level of heterogeneity in the data, achieving near-optimality in both the i.i.d. setting and some heterogeneous settings, where the fraction of ``low-noise'' points is as small as $\frac{\log n}{n}$. Our estimator is a hybrid of the modal interval, shorth, and median estimators from classical statistics; however, the key technical contributions rely on novel empirical process theory results that we derive for independent but non-i.i.d. data. In the multivariate setting, we generalize our theory to mean estimation for mixtures of radially symmetric distributions, and derive minimax lower bounds on the expected error of any estimator that is agnostic to the scales of individual data points. Finally, we describe an extension of our estimators applicable to linear regression. In the multivariate mean estimation and regression settings, we present computationally feasible versions of our estimators that run in time polynomial in the number of data points.

categories: math.ST cs.IT cs.LG math.IT stat.ML stat.TH


title: A new study on the mild solution for impulsive fractional evolution equations

abstract: In this article, we consider mild solutions to a class of impulsive fractional evolution equations of order $0<\alpha<1$. After analyzing analytic results reported in the literature using Mittag-Leffer function, $\alpha$-resolvent operator theory, we propose a more appropriate new definition of mild solutions for impulsive fractional evolution equations by replacing the impulse term operator $S_\alpha(t-t_i)$ with $S_\alpha(t)S_\alpha^{-1}(t_i)$, where $S_\alpha^{-1}(t_i)$ denotes the inverse of the fractional solution operator $S_\alpha(t)$ at $t=t_i, (i=1,2,\cdots m)$.


title: SAN: Scale-Aware Network for Semantic Segmentation of High-Resolution Aerial Images

abstract: High-resolution aerial images have a wide range of applications, such as military exploration, and urban planning. Semantic segmentation is a fundamental method extensively used in the analysis of high-resolution aerial images. However, the ground objects in high-resolution aerial images have the characteristics of inconsistent scales, and this feature usually leads to unexpected predictions. To tackle this issue, we propose a novel scale-aware module (SAM). In SAM, we employ the re-sampling method aimed to make pixels adjust their positions to fit the ground objects with different scales, and it implicitly introduces spatial attention by employing a re-sampling map as the weighted map. As a result, the network with the proposed module named scale-aware network (SANet) has a stronger ability to distinguish the ground objects with inconsistent scale. Other than this, our proposed modules can easily embed in most of the existing network to improve their performance. We evaluate our modules on the International Society for Photogrammetry and Remote Sensing Vaihingen Dataset, and the experimental results and comprehensive analysis demonstrate the effectiveness of our proposed module.


title: From Planck area to graph theory: Topologically distinct black hole microstates

abstract: We postulate a Planck scale horizon unit area, with no bits of information locally attached to it, connected but otherwise of free form, and let $n$ such geometric units compactly tile the black hole horizon. Associated with each topologically distinct tiling configuration is then a simple, connected, undirected, unlabeled, planar, chordal graph. The asymptotic enumeration of the corresponding integer sequence gives rise to the Bekenstein-Hawking area entropy formula, automatically accompanied by a proper logarithmic term, and fixes the size of the horizon unit area, thereby constituting a global realization of Wheeler's "it from bit" phrase. Invoking Polya's theorem, an exact number theoretical entropy spectrum is offered for the 2+1 dimensional quantum black hole.


title: Analytical model for gravitational-wave echoes from spinning remnants

abstract: Gravitational-wave echoes in the post-merger signal of a binary coalescence are predicted in various scenarios, including near-horizon quantum structures, exotic states of matter in ultracompact stars, and certain deviations from general relativity. The amplitude and frequency of each echo is modulated by the photon-sphere barrier of the remnant, which acts as a spin- and frequency-dependent high-pass filter, decreasing the frequency content of each subsequent echo. Furthermore, a major fraction of the energy of the echo signal is contained in low-frequency resonances corresponding to the quasi-normal modes of the remnant. Motivated by these features, in this work we provide an analytical gravitational-wave template in the low-frequency approximation describing the post-merger ringdown and the echo signal of a spinning ultracompact object. Besides the standard ringdown parameters, the template is parametrized in terms of only two physical quantities: the reflectivity coefficient and the compactness of the remnant. We discuss novel effects related to the spin and to the complex reflectivity, such as a more involved modulation of subsequent echoes, the mixing of two polarizations, and the ergoregion instability in case of perfectly-reflecting spinning remnants. Finally, we compute the errors in the estimation of the template parameters with current and future gravitational-wave detectors using a Fisher matrix framework. Our analysis suggests that models with almost perfect reflectivity can be excluded/detected with current instruments, whereas probing values of the reflectivity smaller than $80\%$ at $3\sigma$ confidence level requires future detectors (Einstein Telescope, Cosmic Explorer, LISA). The template developed in this work can be easily implemented to perform a matched-filter based search for echoes and to constrain models of exotic compact objects.


title: Gamma calculus beyond Villani and explicit convergence estimates for Langevin dynamics with singular potentials

abstract: This paper studies convergence to equilibrium for second-order Langevin dynamics under general growth conditions on the potential. Although we are principally motivated by the case when the potential is singular, e.g. when the dynamics has repulsive forces and/or interactions, the results presented in this paper hold more generally. In particular, our main result is that, given (very) basic structural and growth conditions on the potential, the dynamics relaxes to equilibrium exponentially fast in an explicitly measurable way. The ``explicitness" of this result comes directly from the constants appearing in the growth conditions, which can all be readily estimated, and a local Poincar\'{e} constant for the invariant measure $\mu$. This result is applied to the specific situation of a singular interaction and polynomial confining well to provide explicit estimates on the exponential convergence rate $e^{-\sigma}$ in terms of the number $N \geqslant 1$ of particles in the system. We will see that $\sigma \geqslant c/(\rho \vee N^p)$, where $\rho>0$ is the local Poincar\'{e} constant for $\mu$ and $c>0, p\geqslant 1$ are constants that are independent of $N$.


title: Dynamic Mean-Variance Portfolio Optimisation

abstract: The portfolio optimisation problem, first raised by Harry Markowitz in 1952, has been a fundamental and central topic to understanding the stock market and making decisions. There has been plenty of works contributing to development of the mean-variance optimisation (MVO) so far. In this paper, one kind of them, namely, dynamic mean-variance optimisation (DMVO) is mainly discussed. One can apply either precommitment or game-theoritical approach to address time-inconsistency in DMVO. We use the second approach to seek for a time-consistent strategy. After obtaining the optimal strategy, we extend the result to a CEV-driven economy. In order to prove the usefulness of them, strategies are fit into both real market data and simulated data. It turns out that the strategy whose assumptions are close to market conditions generally gives a better result. Lastly, a selected strategy is chosen to compare with another strategy came up by deep learning technique.


title: A $q$-Analogue of $r$-Whitney Numbers of the Second Kind and Its Hankel Transform

abstract: A $q$-analogue of $r$-Whitney numbers of the second kind, denoted by $W_{m,r}[n,k]_q$, is defined by means of a triangular recurrence relation. In this paper, several fundamental properties for the $q$-analogue are established including other forms of recurrence relations, explicit formulas and generating functions. Moreover, a kind of Hankel transform for $W_{m,r}[n,k]_q$ is obtained.


title: Mapping PM2.5 concentration at sub-km level resolution: a dual-scale retrieval method

abstract: Satellite-based retrieval has become a popular PM2.5 monitoring method currently. To improve the retrieval performance, multiple variables are usually introduced as auxiliary variable in addition to aerosol optical depth (AOD). Different kinds of variables are usually at different resolutions varying from sub-kilometers to dozens of kilometers. Generally, when doing the retrieval, variables at different resolutions are resampled to the same resolution as the AOD product to keep the scale consistency. A deficiency of doing this is that the information contained in the scale difference is discarded. To fully utilize the information contained at different scales, a dual-scale retrieval method is proposed in this study. At the first stage, variables which influence PM2.5 concentration at large scale were used for PM2.5 retrieval at coarse resolution. Then at the second stage, variables which affect PM2.5 distribution in finer scale, were used for the further PM2.5 retrieval at high resolution (sub-km level resolution) with the retrieved PM2.5 at the first stage at coarser resolution also as input. In this study, four different retrieval models including multiple linear regression (MLR), geographically weighted regression (GWR), random forest (RF) and generalized regression neural network (GRNN) are adopted to test the performance of the dual-scale retrieval method. Compared with the traditional retrieval method, the proposed dual-scale retrieval method can achieve PM2.5 mapping at finer resolution and with higher accuracy. Dual-scale retrieval can fully utilize the information contained at different scales, thus achieving a higher resolution and accuracy. It can be used for the generation of quantitative remote sensing products in various fields, and promote the improvement of the quality of quantitative remote sensing products.


title: Path-integral dynamics of water using curvilinear centroids

abstract: We develop a path-integral dynamics method for water that resembles centroid molecular dynamics (CMD), except that the centroids are averages of curvilinear, rather than cartesian, bead coordinates. The curvilinear coordinates are used explicitly only when computing the potential of mean force, the components of which are re-expressed in terms of cartesian 'quasi-centroids' (so-called because they are close to the cartesian centroids). Cartesian equations of motion are obtained by making small approximations to the quantum Boltzmann distribution. Simulations of the infrared spectra of various water models over 150-600 K show these approximations to be justified: for a two-dimensional OH-bond model, the quasi-centroid molecular dynamics (QCMD) spectra lie close to the exact quantum spectra, and almost on top of the Matsubara dynamics spectra; for gas-phase water, the QCMD spectra are close to the exact quantum spectra; for liquid water and ice (using the q-TIP4P/F surface), the QCMD spectra are close to the CMD spectra at 600 K, and line up with the results of thermostatted ring-polymer molecular dynamics and approximate quantum calculations at 300 and 150 K. The QCMD spectra show no sign of the CMD 'curvature problem' (of erroneous red shifts and broadening). In the liquid and ice simulations, the potential of mean force was evaluated on the fly by generalising an adiabatic CMD algorithm to curvilinear coordinates; the full limit of adiabatic separation needed to be taken, which made the QCMD calculations 8 times more expensive than partially adiabatic CMD at 300 K, and 32 times at 150 K (and the intensities may still not be converged at this temperature). The QCMD method is probably generalisable to many other systems, provided collective bead-coordinates can be identified that yield compact mean-field ring-polymer distributions.


title: Angle-resolved broadband ferromagnetic resonance apparatus enabled through a spring-loaded sample mounting manipulator

abstract: Broadband ferromagnetic resonance is a useful technique to determine the magnetic anisotropy and study the magnetization dynamics of magnetic thin films. We report a spring-loaded sample loading manipulator for reliable sample mounting and rotation. The manipulator enables maximum signal, enhances system stability and is particularly useful for fully automated in-plane-field angle-resolved measurements. This angle-resolved broadband ferromagnetic resonance apparatus provides a viable method to study anisotropic damping and weak magnetic anisotropies, both vital for fundamental research and applications.


title: Playing Flappy Bird via Asynchronous Advantage Actor Critic Algorithm

abstract: Flappy Bird, which has a very high popularity, has been trained in many algorithms. Some of these studies were trained from raw pixel values of game and some from specific attributes. In this study, the model was trained with raw game images, which had not been seen before. The trained model has learned as reinforcement when to make which decision. As an input to the model, the reward or penalty at the end of each step was returned and the training was completed. Flappy Bird game was trained with the Reinforcement Learning algorithm Deep Q-Network and Asynchronous Advantage Actor Critic (A3C) algorithms.


title: $L^\infty$-Estimates of the Solution of the Navier-Stokes Equations for a Nondecaying Initial Data

abstract: In this paper, we reprove the principal result of a paper by H-O Kreiss and Jens Lorenz from a different approach than the method proposed in their paper. More precisely, we consider the Cauchy problem for the incompressible Navier-Stokes equations in $\mathbb{R}^n$ for $n \ge 3$ with non-decaying initial data and derive a priori estimates of the maximum norm of all derivatives of the solution in terms of the maximum norm of the initial data. This paper is also an extension of their paper to higher dimension.


title: Regularizing linear inverse problems with convolutional neural networks

abstract: Deep convolutional neural networks trained on large datsets have emerged as an intriguing alternative for compressing images and solving inverse problems such as denoising and compressive sensing. However, it has only recently been realized that even without training, convolutional networks can function as concise image models, and thus regularize inverse problems. In this paper, we provide further evidence for this finding by studying variations of convolutional neural networks that map few weight parameters to an image. The networks we consider only consist of convolutional operations, with either fixed or parameterized filters followed by ReLU non-linearities. We demonstrate that with both fixed and parameterized convolutional filters those networks enable representing images with few coefficients. What is more, the underparameterization enables regularization of inverse problems, in particular recovering an image from few observations. We show that, similar to standard compressive sensing guarantees, on the order of the number of model parameters many measurements suffice for recovering an image from compressive measurements. Finally, we demonstrate that signal recovery with a un-trained convolutional network outperforms standard l1 and total variation minimization for magnetic resonance imaging (MRI).


title: Small values of Weyl sums

abstract: We prove that the set of $(x_1, \ldots, x_d)\in [0,1)^d$, such that $$ \underline{\lim}_{N\to \infty}\left| \sum_{n=1}^N\exp(2 \pi i (x_1n+\ldots + x_dn^d)) \right| =0, $$ contains a dense $\mathcal{G}_\delta$ set in $[0,1)^d$ and has a positive Hausdorff dimension. Similar statements are also established for the generalised Gaussian sums $$ \sum_{n=1}^N\exp(2\pi i x n^d), \qquad x \in [0,1). $$


title: Galactic Gamma Ray Background from Interactions of Cosmic Rays

abstract: Various studies firmly establish the fact that gamma-ray observations can act as a unique probe to detect the possible cosmic ray (CR) sources, study the CR density distribution and explore the average properties of interstellar medium (ISM) such as the gas density profile of ISM. We use the DRAGON code to study different propagation models by incorporating realistic source distribution, Galactic magnetic field (GMF) and gas density profile, and finally obtain the proton distribution (both spatial and energy) in the Galaxy by fitting the locally observed CR spectra. The uncertainties in the model parameters used to study the CR propagation are also shown here. Our obtained proton distribution is then used to calculate the diffuse gamma-ray flux produced by proton-proton interactions in the Galactic halo. We compare our diffuse gamma-ray fluxes with the previous results and the isotropic gamma-ray background (IGRB) at sub -TeV energy regime measured by \textit{Fermi}-LAT. It is found to be much less than IGRB, which suggests IGRB is mostly of extragalactic origin. Finally, we use our obtained proton distribution to calculate gamma-ray fluxes from individual Galactic Molecular Clouds (GMCs) and those fluxes are compared with the \textit{Fermi}-LAT observations of GMCs.


title: Towards Enhancing Fault Tolerance in Neural Networks

abstract: Deep Learning Accelerators are prone to faults which manifest in the form of errors in Neural Networks. Fault Tolerance in Neural Networks is crucial in real-time safety critical applications requiring computation for long durations. Neural Networks with high regularisation exhibit superior fault tolerance, however, at the cost of classification accuracy. In the view of difference in functionality, a Neural Network is modelled as two separate networks, i.e, the Feature Extractor with unsupervised learning objective and the Classifier with a supervised learning objective. Traditional approaches of training the entire network using a single supervised learning objective is insufficient to achieve the objectives of the individual components optimally. In this work, a novel multi-criteria objective function, combining unsupervised training of the Feature Extractor followed by supervised tuning with Classifier Network is proposed. The unsupervised training solves two games simultaneously in the presence of adversary neural networks with conflicting objectives to the Feature Extractor. The first game minimises the loss in reconstructing the input image for indistinguishability given the features from the Extractor, in the presence of a generative decoder. The second game solves a minimax constraint optimisation for distributional smoothening of feature space to match a prior distribution, in the presence of a Discriminator network. The resultant strongly regularised Feature Extractor is combined with the Classifier Network for supervised fine-tuning. The proposed Adversarial Fault Tolerant Neural Network Training is scalable to large networks and is independent of the architecture. The evaluation on benchmarking datasets: FashionMNIST and CIFAR10, indicates that the resultant networks have high accuracy with superior tolerance to stuck at "0" faults compared to widely used regularisers.


title: Hyperspectral phase imaging based on denoising in complex-valued eigensubspace

abstract: A new denoising algorithm for hyperspectral complex domain data has been developed and studied. This algorithm is based on the complex domain block-matching 3D filter including the 3D Wiener filtering stage. The developed algorithm is applied and tuned to work in the singular value decomposition (SVD) eigenspace of reduced dimension. The accuracy and quantitative advantage of the new algorithm are demonstrated in simulation tests and in the processing of the experimental data. It is shown that the algorithm is effective and provides reliable results even for highly noisy data.


title: Constraint-Based Type-Directed Program Synthesis

abstract: We explore an approach to type-directed program synthesis rooted in constraint-based type inference techniques. By doing this, we aim to more efficiently synthesize polymorphic code while also tackling advanced typing features such as GADTs that build upon polymorphism. Along the way, we also present an implementation of these techniques in Scythe, a prototype live, type-directed programming tool for the Haskell programming language and reflect on our initial experience with the tool.


title: Proof of the feasibility of a nanocell-based wide-range optical magnetometer

abstract: We present an experimental scheme performing scalar magnetometry based on the fitting of Rb D$_2$ line spectra recorded by derivative selective reflection spectroscopy from an optical nanometric-thick cell. To demonstrate its efficiency, the magnetometer is used to measure the inhomogeneous magnetic field produced by a permanent neodimuim-iron-boron alloy ring magnet at different distances. The computational tasks are realized by relatively cheap electronic components: an Arduino Due board for the external control of the laser and acquisition of spectra, and a Raspberry Pi computer for the fitting. The coefficient of variation of the measurements remains under $5\%$ in the magnetic field range of 40 - 200 mT, limited only by the size of the oven and translation stage used in our experiment. The proposed scheme is expected to operate with a high measurement precision also for stronger magnetic fields ($>500~$mT), in the hyperfine Paschen-Back regime, where the evolution of the atomic transitions can be calculated with a high accuracy.


title: CoAug-MR: An MR-based Interactive Office Workstation Design System via Augmented Multi-Person Collaboration

abstract: Digital prototyping and evaluation using 3D modeling and digital human models are becoming more practical for customizing products to the preference of a user. However, the 3D modeling is less accessible to casual users, and digital human models suffer from insufficient body data and less intuitive illustration on how people use the product or how it accommodates to their body. Recently, VR-supported 'Do It Yourself' design has achieved real-time ergonomic evaluation with users themselves by capturing their poses, however, it lacks reliability and quality of design. In this paper, we explore a multi-person interactive design approach that enables designers, users, and even ergonomists to collaborate to achieve effective and reliable design and prototyping tasks. Mixed Reality that utilizes Hololens and motion tracking devices had been developed to provide instant design feedback and evaluation and to experience prototyping in physical space. We evaluate the system based on the usability study, where casual users and designers are engaged in the interactive process of designing items with respect to the body information, the preference, and the environment.


title: Burgess bounds for short character sums evaluated at forms

abstract: In this work we establish a Burgess bound for short multiplicative character sums in arbitrary dimensions, in which the character is evaluated at a homogeneous form that belongs to a very general class of "admissible" forms. This $n$-dimensional Burgess bound is nontrivial for sums over boxes of sidelength at least $q^{\beta}$, with $\beta > 1/2 - 1/(2(n+1))$. This is the first Burgess bound that applies in all dimensions to generic forms of arbitrary degree. Our approach capitalizes on a recent stratification result for complete multiplicative character sums evaluated at rational functions, due to the second author.


A Superpixel Segmentation Based Technique for Multiple Sclerosis Lesion Detection


title: ANETAC: Arabic Named Entity Transliteration and Classification Dataset

abstract: In this paper, we make freely accessible ANETAC our English-Arabic named entity transliteration and classification dataset that we built from freely available parallel translation corpora. The dataset contains 79,924 instances, each instance is a triplet (e, a, c), where e is the English named entity, a is its Arabic transliteration and c is its class that can be either a Person, a Location, or an Organization. The ANETAC dataset is mainly aimed for the researchers that are working on Arabic named entity transliteration, but it can also be used for named entity classification purposes.


title: The higher Cichon diagram in the degenerate case

abstract: For a regular uncountable cardinal kappa, we discuss the order relationship between the unbounding and dominating numbers on kappa and cardinal invariants of the higher meager ideal M_kappa. In particular, we obtain a complete characterization of add(M_kappa) and cof(M_kappa) in terms of cov(M_kappa) and non(M_kappa) and unbounding and dominating numbers, and we provide models showing that there are no restrictions on the value of non(M_kappa) in the degenerate case 2^{<kappa} > kappa except 2^{<kappa} leq non(M_kappa) leq 2^kappa. The corresponding question for cof(M_kappa) remains open. Our results answer questions of joint work of the author with Brooke-Taylor, Friedman, and Montoya.


title: Best Practices for Learning Domain-Specific Cross-Lingual Embeddings

abstract: Cross-lingual embeddings aim to represent words in multiple languages in a shared vector space by capturing semantic similarities across languages. They are a crucial component for scaling tasks to multiple languages by transferring knowledge from languages with rich resources to low-resource languages. A common approach to learning cross-lingual embeddings is to train monolingual embeddings separately for each language and learn a linear projection from the monolingual spaces into a shared space, where the mapping relies on a small seed dictionary. While there are high-quality generic seed dictionaries and pre-trained cross-lingual embeddings available for many language pairs, there is little research on how they perform on specialised tasks. In this paper, we investigate the best practices for constructing the seed dictionary for a specific domain. We evaluate the embeddings on the sequence labelling task of Curriculum Vitae parsing and show that the size of a bilingual dictionary, the frequency of the dictionary words in the domain corpora and the source of data (task-specific vs generic) influence the performance. We also show that the less training data is available in the low-resource language, the more the construction of the bilingual dictionary matters, and demonstrate that some of the choices are crucial in the zero-shot transfer learning case.


title: Gamma-boundedness of $C_0$-semigroups and their $H^\infty$-functional calculi

abstract: We discuss the notion of $\gamma$-$H^{\infty}$-bounded calculus, strong $\gamma$-$m$-$H^{\infty}$-bounded calculus on half-plane and weak-$\gamma$-Gomilko-Shi-Feng condition and give a connection between them. Then we state a characterization of generation of $\gamma$-bounded $C_0$-semigroup in $K$-convex space, which leads to a version of Gearhart-Pr\"uss on $K$-convex space.


title: Existence and stability of periodic solution to the 3D Ginzburg-Landau equation in weighted Sobolev spaces

abstract: We prove the existence of time periodic solution to the 3D Ginzburg-Landau equation in weighted Sobolev spaces. We consider the cubic Ginzburg-Landau equation with an external force $g$ satisfying the oddness condition $g(-x,t)=-g(x,t)$. The existence of the periodic solution is proved for small time-periodic external force. The stability of the time periodic solution is also considered.


title: Quadratic variation and quadratic roughness

abstract: We study the concept of quadratic variation of a continuous path along a sequence of partitions and its dependence with respect to the choice of the partition sequence. We define the concept of quadratic roughness of a path along a partition sequence and show that, for H\"older-continuous paths satisfying this roughness condition, the quadratic variation along balanced partitions is invariant with respect to the choice of the partition sequence. Typical paths of Brownian motion are shown to satisfy this quadratic roughness property almost-surely along any partition with a required step size condition. Using these results we derive a formulation of F\"ollmer's pathwise integration along paths with finite quadratic variation which is invariant with respect to the partition sequence.


title: Intrinsic Motivation Driven Intuitive Physics Learning using Deep Reinforcement Learning with Intrinsic Reward Normalization

abstract: At an early age, human infants are able to learn and build a model of the world very quickly by constantly observing and interacting with objects around them. One of the most fundamental intuitions human infants acquire is intuitive physics. Human infants learn and develop these models, which later serve as prior knowledge for further learning. Inspired by such behaviors exhibited by human infants, we introduce a graphical physics network integrated with deep reinforcement learning. Specifically, we introduce an intrinsic reward normalization method that allows our agent to efficiently choose actions that can improve its intuitive physics model the most. Using a 3D physics engine, we show that our graphical physics network is able to infer object's positions and velocities very effectively, and our deep reinforcement learning network encourages an agent to improve its model by making it continuously interact with objects only using intrinsic motivation. We experiment our model in both stationary and non-stationary state problems and show benefits of our approach in terms of the number of different actions the agent performs and the accuracy of agent's intuition model. Videos are at https://www.youtube.com/watch?v=pDbByp91r3M&t=2s


title: On the Physical Layer Security of a Decode and Forward Based Mixed FSO/RF Cooperative System

abstract: In this letter, the secrecy performance of a mixed free space optics (FSO) and radio frequency (RF) system is analyzed from physical layer security (PHY) perspective. In this scenario, one or more eavesdroppers are trying to intercept the confidential signal in a mixed FSO/RF system. The faded FSO links are modeled by Malaga ($\mathcal{M} $) distribution and RF link is characterized by Nakagami-$m$ distribution. Exact closed form expressions for secrecy performance metrics such as secrecy outage probability and strictly positive secrecy capacity are derived and analyzed for the proposed system in terms of Fox's H-function. Furthermore, the asymptotic expressions for these performance metrics are analyzed. Finally, all the results are verified by Monte-Carlo simulations.


title: Fast Universal Style Transfer for Artistic and Photorealistic Rendering

abstract: Universal style transfer is an image editing task that renders an input content image using the visual style of arbitrary reference images, including both artistic and photorealistic stylization. Given a pair of images as the source of content and the reference of style, existing solutions usually first train an auto-encoder (AE) to reconstruct the image using deep features and then embeds pre-defined style transfer modules into the AE reconstruction procedure to transfer the style of the reconstructed image through modifying the deep features. While existing methods typically need multiple rounds of time-consuming AE reconstruction for better stylization, our work intends to design novel neural network architectures on top of AE for fast style transfer with fewer artifacts and distortions all in one pass of end-to-end inference. To this end, we propose two network architectures named ArtNet and PhotoNet to improve artistic and photo-realistic stylization, respectively. Extensive experiments demonstrate that ArtNet generates images with fewer artifacts and distortions against the state-of-the-art artistic transfer algorithms, while PhotoNet improves the photorealistic stylization results by creating sharp images faithfully preserving rich details of the input content. Moreover, ArtNet and PhotoNet can achieve 3X to 100X speed-up over the state-of-the-art algorithms, which is a major advantage for large content images.


title: Investigating some attributes of periodicity in DNA sequences via semi-Markov modelling

abstract: DNA segments and sequences have been studied thoroughly during the past decades. One of the main problems in computational biology is the identification of exon-intron structures inside genes using mathematical techniques. Previous studies have used different methods, such as Fourier analysis and hidden-Markov models, in order to be able to predict which parts of a gene correspond to a protein encoding area. In this paper, a semi-Markov model is applied to 3-base periodic sequences, which characterize the protein-coding regions of the gene. Analytic forms of the related probabilities and the corresponding indexes are provided, which yield a description of the underlying periodic pattern. Last, the previous theoretical results are illustrated with DNA sequences of synthetic and real data.


title: Hot neutron stars with microscopic equations of state

abstract: We study the properties of hot beta-stable nuclear matter using equations of state derived within the Brueckner-Hartree-Fock approach at finite temperature including consistent three-body forces. Simple and accurate parametrizations of the finite-temperature equations of state are provided. The properties of hot neutron stars are then investigated within this framework, in particular the temperature dependence of the maximum mass. We find very small temperature effects and analyze the interplay of the different contributions.


title: A vector field method for massless relativistic transport equations and applications

abstract: In this article, we present a vector field method for the study of solutions to massless relativistic transport equations. Compared to the methodologie developped by Fajman-Joudioux-Smulevici, we remove the Lorentz boosts of the commutation vector fields, which makes our method more suitable for the study of systems coupling a massless Vlasov equation with an equation which has a different speed of propagation. We also believe that our approach can be adapted more easily to the context of curved backgrounds. In a second time, we apply our method in order to derive sharp decay estimates on the spherically symmetric small data solutions of the relativistic massless Vlasov-Poisson system. No compact support assumption is required on the data and, in particular, the initial decay in the velocity variable is optimal. In order to compensate the slow decay rate of the particle density near the light cone, we take advantage of the null structure of the equations.


title: Takens-inspired neuromorphic processor: a downsizing tool for random recurrent neural networks via feature extraction

abstract: We describe a new technique which minimizes the amount of neurons in the hidden layer of a random recurrent neural network (rRNN) for time series prediction. Merging Takens-based attractor reconstruction methods with machine learning, we identify a mechanism for feature extraction that can be leveraged to lower the network size. We obtain criteria specific to the particular prediction task and derive the scaling law of the prediction error. The consequences of our theory are demonstrated by designing a Takens-inspired hybrid processor, which extends a rRNN with a priori designed delay external memory. Our hybrid architecture is therefore designed including both, real and virtual nodes. Via this symbiosis, we show performance of the hybrid processor by stabilizing an arrhythmic neural model. Thanks to our obtained design rules, we can reduce the stabilizing neural network's size by a factor of 15 with respect to a standard system.


title: Revisiting Metric Learning for Few-Shot Image Classification

abstract: The goal of few-shot learning is to recognize new visual concepts with just a few amount of labeled samples in each class. Recent effective metric-based few-shot approaches employ neural networks to learn a feature similarity comparison between query and support examples. However, the importance of feature embedding, i.e., exploring the relationship among training samples, is neglected. In this work, we present a simple yet powerful baseline for few-shot classification by emphasizing the importance of feature embedding. Specifically, we revisit the classical triplet network from deep metric learning, and extend it into a deep K-tuplet network for few-shot learning, utilizing the relationship among the input samples to learn a general representation learning via episode-training. Once trained, our network is able to extract discriminative features for unseen novel categories and can be seamlessly incorporated with a non-linear distance metric function to facilitate the few-shot classification. Our result on the miniImageNet benchmark outperforms other metric-based few-shot classification methods. More importantly, when evaluated on completely different datasets (Caltech-101, CUB-200, Stanford Dogs and Cars) using the model trained with miniImageNet, our method significantly outperforms prior methods, demonstrating its superior capability to generalize to unseen classes.


title: Encapsulation of oils and fragrances by core-in-shell structures from silica particles, polymers and surfactants: The brick-and-mortar concept

abstract: Colloidosomes provide a possibility to encapsulate oily substances in water in the form of core-in-shell structures. In this study, we produced microcapsules with shell from colloidal particles, where the interparticle openings are blocked by mixed layers from polymer and surfactant that prevent the leakage of cargo molecules. The particles and polymer play the role of bricks and mortar. We used hydrophilic silica particles, which were partially hydrophobized by the adsorption of potassium oleate to enable them to stabilize Pickering emulsions. Various polymers were tested to select the most appropriate one. The procedure of encapsulation is simple and includes single homogenization by ultrasound. The produced capsules are pH responsive. They are stable in aqueous phase of pH in the range 3-6, but at pH>6 they are destabilized and their cargo is released. With the optimized formulation of silica particles, polymer, oleate and NaCl, we were able to encapsulate various oils and fragrances, such as tetradecane, limonene, benzyl salicylate and citronellol. All of them have a limited and not too high solubility in water. In contrast, no stable microcapsules were obtained with oils that either have zero water solubility (mineral and silicone oil) or higher water solubility (phenoxyethanol and benzyl alcohol). By analysis of results from additional interfacial-tension and thin-film experiments, we concluded that a key factor for obtaining stable capsules is the irreversible adsorption of the polymer at the oil/water interface. The hydrophobization of the particles by surfactant adsorption (instead of silanization) plays an important role for the pH responsiveness of the produced capsules.


title: An Initial Attempt of Converged Machine-Learning Assisted Turbulence Modeling in RANS Simulations with Eddy-Viscosity Hypothesis

abstract: This work presents a converged framework of Machine-Learning Assisted Turbulence Modeling (MLATM). Our objective is to develop a turbulence model directly learning from high fidelity data (DNS/LES) with eddy-viscosity hypothesis induced. First, the target machine-learning quantity is discussed in order to avoid the ill-conditioning problem of RANS equations. Then, the novel framework to build the turbulence model using the prior estimation of traditional models is demonstrated. A close-loop computational chain is designed to ensure the convergence of result. Besides, reasonable non-dimensional variables are selected to predict the target learning variables and make the solver re-converge to DNS mean flow field. The MLATM is tested in incompressible turbulent channel flows, and it proved that the result converges well to DNS training data for both mean velocity and turbulence viscosity profiles.


title: Formation and evolution of coronal holes during the rising phase of cycle 23

abstract: Regularities of formation of coronal holes (CH) at the rising phase of cycle 23 are investigated. The period from 01.01.1997 to 01.03.2000 (Carrington rotations (CRs) 1918-2059) is considered in detail. The evolution of the global magnetic field (GMF) of the Sun from the zonal to the sectorial structure is analyzed. It is shown that the zonal structure is quasi-stable. The sum of zonal harmonics dominated up to CR 1941, although a stable four-sector structure of GMF was formed in 1932. In CRs 1941-1950 the contribution of the zonal and sectorial components becomes approximately equal and from CR 1950 the sectorial structure of GMF was dominated. Sectorial structure of GMF undergoing sharp changes from four-sector, at the beginning of growth of the sectorial harmonics (CR 1926), to the two-sector structure, then back to four-sector and then again to the two-sector structure. CHs clearly trace all evolutionary changes in the GMF. The structure of the polarity of the GMF uniquely determines the zones of photospheric magnetic fields where the CHs are formed.


title: Spectroscopy with the Engineering Development Array: cold H$^{+}$ at 63 MHz towards the Galactic Centre

abstract: The Engineering Development Array (EDA) is a single test station for Square Kilometre Array (SKA) precursor technology. We have used the EDA to detect low-frequency radio recombination lines (RRLs) from the Galactic Centre region. Low-frequency RRLs are an area of interest for future low-frequency SKA work as these lines provide important information on the physical properties of the cold neutral medium. In this project we investigate the EDA, its bandpass and the radio frequency interference environment for low-frequency spectroscopy. We present line spectra from 30 to 325 MHz for the Galactic Centre region. The decrease in sensitivity for the EDA at the low end of the receiver prevents carbon and hydrogen RRLs to be detected below 40 and 60 MHz respectively. RFI strongly affects frequencies in the range 276-292, 234-270, 131-138, 95-102 and below 33 MHz. Cn$\alpha$ RRLs were detected in absorption for quantum levels n = 378 to 550 (39-121 MHz) and in emission for n = 272 to 306 (228-325 MHz). Cn$\beta$ lines were detected in absorption for n = 387 to 696 (39-225 MHz). Hn$\alpha$ RRLs were detected in emission for n = 272 to 480 (59-325 MHz). Hn$\beta$ lines were detected for n = 387 to 453 (141-225 MHz). The stacked Hn$\alpha$ detection at 63 MHz is the lowest frequency detection made for hydrogen RRLs and shows that a cold (partially) ionized medium exists along the line of sight to the Galactic Centre region. The size and velocity of this cold H$^{+}$ gas indicates that it is likely associated with the nearby Riegel-Crutcher cloud.


title: Multi-level Wavelet Convolutional Neural Networks

abstract: In computer vision, convolutional networks (CNNs) often adopts pooling to enlarge receptive field which has the advantage of low computational complexity. However, pooling can cause information loss and thus is detrimental to further operations such as features extraction and analysis. Recently, dilated filter has been proposed to trade off between receptive field size and efficiency. But the accompanying gridding effect can cause a sparse sampling of input images with checkerboard patterns. To address this problem, in this paper, we propose a novel multi-level wavelet CNN (MWCNN) model to achieve better trade-off between receptive field size and computational efficiency. The core idea is to embed wavelet transform into CNN architecture to reduce the resolution of feature maps while at the same time, increasing receptive field. Specifically, MWCNN for image restoration is based on U-Net architecture, and inverse wavelet transform (IWT) is deployed to reconstruct the high resolution (HR) feature maps. The proposed MWCNN can also be viewed as an improvement of dilated filter and a generalization of average pooling, and can be applied to not only image restoration tasks, but also any CNNs requiring a pooling operation. The experimental results demonstrate effectiveness of the proposed MWCNN for tasks such as image denoising, single image super-resolution, JPEG image artifacts removal and object classification.


title: Constant-Factor Approximation Algorithms for Parity-Constrained Facility Location Problems

abstract: Facility location is a prominent optimization problem that has inspired a large quantity of both theoretical and practical studies in combinatorial optimization. Although the problem has been investigated under various settings reflecting typical structures within the optimization problems of practical interest, little is known on how the problem behaves in conjunction with parity constraints. This shortfall of understanding was rather disturbing when we consider the central role of parity in the field of combinatorics. In this paper, we present the first constant-factor approximation algorithm for the facility location problem with parity constraints. We are given as the input a metric on a set of facilities and clients, the opening cost of each facility, and the parity requirement--odd, even, or unconstrained--of every facility in this problem. The objective is to open a subset of facilities and assign every client to an open facility so as to minimize the sum of the total opening costs and the assignment distances, but subject to the condition that the number of clients assigned to each open facility must have the same parity as its requirement. Although the unconstrained facility location problem as a relaxation for this parity-constrained generalization has unbounded gap, we demonstrate that it yields a structured solution whose parity violation can be corrected at small cost. This correction is prescribed by a T-join on an auxiliary graph constructed by the algorithm. This graph does not satisfy the triangle inequality, but we show that a carefully chosen set of shortcutting operations leads to a cheap and sparse T-join. Finally, we bound the correction cost by exhibiting a combinatorial multi-step construction of an upper bound. We also present the first constant-factor approximation algorithm for the parity-constrained k-center problem, the bottleneck optimization variant.


title: Symmetries of Spatial Graphs in $3$-manifolds

abstract: We consider when automorphisms of a graph can be induced by homeomorphisms of embeddings of the graph in a $3$-manifold. In particular, we prove that every automorphism of a graph is induced by a homeomorphism of some embedding of the graph in a connected sum of one or more copies of $S^2\times S^1$, yet there exist automorphisms which are not induced by a homeomorphism of any embedding of the graph in any orientable, closed, connected, irreducible $3$-manifold. We also prove that for any $3$-connected graph $G$, if an automorphism $\sigma$ is induced by a homeomorphism of an embedding of $G$ in an irreducible $3$-manifold $M$, then $G$ can be embedded in an orientable, closed, connected $3$-manifold $M'$ such that $\sigma$ is induced by a finite order homeomorphism of $M'$, though this is not true for graphs which are not $3$-connected. Finally, we show that many symmetry properties of graphs in $S^3$ hold for graphs in homology spheres, yet we give an example of an automorphism of a graph $G$ that is induced by a homeomorphism of some embedding of $G$ in the Poincar\'e homology sphere, but is not induced by a homeomorphism of any embedding of $G$ in $S^3$.


title: Effective Coupling Constant of Plasmons

abstract: We study an ultrarelativistic QED plasma in thermal equilibrium. Plasmons - photon collective excitations - are postulated to correspond not to poles of the retarded photon propagator but to poles of the propagator multiplied by the fine structure constant. This product is an invariant of the renormalization group that is independent of an arbitrarily chosen renormalization scale. In addition, our proposal is physically motivated since one needs to scatter a charged particle off a plasma system to probe its spectrum of collective excitations. We present a detailed calculation of the QED running coupling constant at finite temperature using the Keldysh-Schwinger representation of the real-time formalism. We discuss the issue of how to choose the renormalization scale and show that the temperature is a natural choice which prevents the breakdown of perturbation theory through the generation of potentially large logarithmic terms. Our method could be applied to anisotropic systems where the choice of the renormalization scale is less clear, and could have important consequences for the study of collective modes.


title: On the Convergence of Stochastic Gradient Descent for Nonlinear Ill-Posed Problems

abstract: In this work, we analyze the regularizing property of the stochastic gradient descent for the efficient numerical solution of a class of nonlinear ill-posed inverse problems in Hilbert spaces. At each step of the iteration, the method randomly chooses one equation from the nonlinear system to obtain an unbiased stochastic estimate of the gradient, and then performs a descent step with the estimated gradient. It is a randomized version of the classical Landweber method for nonlinear inverse problems, and it is highly scalable to the problem size and holds significant potentials for solving large-scale inverse problems. Under the canonical tangential cone condition, we prove the regularizing property for a priori stopping rules, and then establish the convergence rates under suitable sourcewise condition and range invariance condition.


title: Intelligent Reflecting Surface Assisted Non-Orthogonal Multiple Access

abstract: Intelligent reflecting surface (IRS) is a new and disruptive technology to achieve spectrum- and energy-efficient as well as cost-efficient wireless networks. This paper considers an IRS-assisted downlink non-orthogonal-multiple-access (NOMA) system. To optimize the rate performance and ensure user fairness, we maximize the minimum decoding signal-to-interference-plus-noise-ratio (i.e., equivalently the rate) of all users, by jointly optimizing the (active) transmit beamforming at the base station (BS) and the phase shifts (i.e., passive beamforming) at the IRS. A combined-channel-strength based user ordering scheme is first proposed to decouple the user-ordering design and the joint beamforming design. Efficient algorithms are further proposed to solve the formulated non-convex problem for the cases of a single-antenna BS and a multi-antenna BS, respectively, by leveraging the block coordinated decent and semidefinite relaxation (SDR) techniques. For the single-antenna BS case, the optimal solution for the power allocation at the BS and the asymptotically optimal solution for the phase shifts at the IRS are obtained in closed forms. For the multi-antenna BS case, it is shown that the rank of the SDR solution to the transmit beamforming design is upper bounded by two. Also, the convergence proof and the complexity analysis are given for the proposed algorithms. Simulation results show that the IRS-assisted downlink NOMA system can enhance the rate performance significantly, compared to traditional NOMA without IRS and traditional orthogonal multiple access with/without IRS. In addition, numerical results demonstrate that the rate degradation due to the IRS's finite phase resolution is slight, and good rate fairness among users can be always guaranteed.


title: The gradient flow structures of thermo-poro-visco-elastic processes in porous media

abstract: In this paper, the inherent gradient flow structures of thermo-poro-visco-elastic processes in porous media are examined for the first time. In the first part, a modelling framework is introduced aiming for describing such processes as generalized gradient flows requiring choices of physical states, corresponding energies, dissipation potentials and external work rates. It is demonstrated that various existing models can be in fact written within this framework. Ultimately, the particular structure allows for a unified well-posedness analysis performed for different classes of linear and non-linear models. In the second part, the gradient flow structures are utilized for constructing efficient discrete approximation schemes for thermo-poro-visco-elasticity -- in particular robust, physical splitting schemes. Applying alternating minimization to naturally arising minimization formulations of (semi-)discrete models is proposed. For such, the energy decrease per iteration is quantified by applying abstract convergence theory only utilizing convexity and Lipschitz continuity properties of the problem -- a fairly simple but flexible machinery. By this approach, e.g., the widely used undrained and fixed-stress splits for the linear Biot equations are derived and analyzed. By application of the framework to more advanced models, novel splitting schemes with guaranteed theoretical convergence rates are naturally derived. Moreover, based on the minimization character of the (semi-)discrete equations, relaxation of splitting schemes by line search is proposed; numerical results show a potentially great impact on the acceleration of splitting schemes for both linear and nonlinear problems.


title: Enlargeable Length-structures and Scalar Curvatures

abstract: We define enlargeable length-structures on closed topological manifolds and then show that the connected sum of a closed $n$-manifold with an enlargeable Riemannian length-structure with an arbitrary closed smooth manifold carries no Riemannian metrics with positive scalar curvature. We show that closed smooth manifolds with a locally CAT(0)-metric which is strongly equivalent to a Riemannian metric are examples of closed manifolds with an enlargeable Riemannian length-structure. Moreover, the result is correct in arbitrary dimensions based on the main result of a recent paper by Schoen and Yau. We define the positive $MV$-scalar curvature on closed orientable topological manifolds and show the compactly enlargeable length-structures are the obstructions of its existence.


title: TrustSAS: A Trustworthy Spectrum Access System for the 3.5 GHz CBRS Band

abstract: As part of its ongoing efforts to meet the increased spectrum demand, the Federal Communications Commission (FCC) has recently opened up 150 MHz in the 3.5 GHz band for shared wireless broadband use. Access and operations in this band, aka Citizens Broadband Radio Service (CBRS), will be managed by a dynamic spectrum access system (SAS) to enable seamless spectrum sharing between secondary users (SUs) and incumbent users. Despite its benefits, SAS's design requirements, as set by FCC, present privacy risks to SUs, merely because SUs are required to share sensitive operational information (e.g., location, identity, spectrum usage) with SAS to be able to learn about spectrum availability in their vicinity. In this paper, we propose TrustSAS , a trustworthy framework for SAS that synergizes state-of-the-art cryptographic techniques with blockchain technology in an innovative way to address these privacy issues while complying with FCC's regulatory design requirements. We analyze the security of our framework and evaluate its performance through analysis, simulation and experimentation. We show that TrustSAS can offer high security guarantees with reasonable overhead, making it an ideal solution for addressing SUs' privacy issues in an operational SAS environment.


title: Precision annealing Monte Carlo methods for statistical data assimilation and machine learning

abstract: In statistical data assimilation (SDA) and supervised machine learning (ML), we wish to transfer information from observations to a model of the processes underlying those observations. For SDA, the model consists of a set of differential equations that describe the dynamics of a physical system. For ML, the model is usually constructed using other strategies. In this paper, we develop a systematic formulation based on Monte Carlo sampling to achieve such information transfer. Following the derivation of an appropriate target distribution, we present the formulation based on the standard Metropolis-Hasting (MH) procedure and the Hamiltonian Monte Carlo (HMC) method for performing the high dimensional integrals that appear. To the extensive literature on MH and HMC, we add (1) an annealing method using a hyperparameter that governs the precision of the model to identify and explore the highest probability regions of phase space dominating those integrals, and (2) a strategy for initializing the state space search. The efficacy of the proposed formulation is demonstrated using a nonlinear dynamical model with chaotic solutions widely used in geophysics.


title: Decentralized Dynamic State Estimation in Microgrids

abstract: This paper proposes a decentralized dynamic state estimation scheme for microgrids. The approach employs the voltage and current measurements in the dq0 reference frame through phasor synchronization to be able to exclude orthogonal functions from their relationship formulas. Based on that premise, we utilize a Kalman filter to dynamically estimate states of microgrids. The decoupling of measurement values to state and input vectors reduces the computational complexity. The Kalman filter considers the process noise covariances, which are modified with respect to the covariance of measured input values. Theoretical analysis and simulation results are provided for validation.


title: Distributed Optimal Dynamic State Estimation for Cyber Intrusion Detection in Networked DC Microgrids

abstract: In this paper, we present a novel distributed state estimation approach in networked DC microgrids to detect the false data injection in the microgrid control network. Each microgrid monitored by a distributed state estimator will detect if there is manipulated data received from their neighboring microgrids for control purposes. A dynamic model supporting the dynamic state estimation will be constructed for the networked microgrids. The optimal distributed state estimation, which is robust to load disturbances but sensitive to false data injected from neighboring microgrids will be presented. To demonstrate the effectiveness of the proposed approach, we simulate a 12kV three-bus networked DC microgrids in MATLAB/Simulink. Residual information corresponding to the false data injected from neighbors validates the efficacy of the proposed approach in detecting compromised agents of neighboring microgrids.