title: Tight Bounds for Uncertain Time-Correlated Errors with Gauss-Markov Structure

abstract: Safety-critical navigation applications require that estimation errors be reliably quantified and bounded. This can be challenging for linear dynamic systems if the process noise or measurement errors have uncertain time correlation. In many systems (e.g., in satellite-based or inertial navigation systems), there are sources of time-correlated sensor errors that can be well modeled using Gauss-Markov processes (GMP). However, uncertainty in the GMP parameters, particularly in the correlation time constant, can cause misleading error estimation. In this paper, we develop new time-correlated models that ensure tight upper bounds on the estimation error variance, assuming that the actual error is a stationary GMP with a time constant that is only known to reside within an interval. We first use frequency-domain analysis to derive a stationary GMP model both in continuous and discrete time domain, which outperforms models previously described in the literature. Then, we achieve an even tighter estimation error bound using a non-stationary GMP model, for which we determine the minimum initial variance that guarantees bounding conditions. In both cases, the model can easily be implemented in a linear estimator like a Kalman filter.


title: Learning Soft Labels via Meta Learning

abstract: One-hot labels do not represent soft decision boundaries among concepts, and hence, models trained on them are prone to overfitting. Using soft labels as targets provide regularization, but different soft labels might be optimal at different stages of optimization. Also, training with fixed labels in the presence of noisy annotations leads to worse generalization. To address these limitations, we propose a framework, where we treat the labels as learnable parameters, and optimize them along with model parameters. The learned labels continuously adapt themselves to the model's state, thereby providing dynamic regularization. When applied to the task of supervised image-classification, our method leads to consistent gains across different datasets and architectures. For instance, dynamically learned labels improve ResNet18 by 2.1% on CIFAR100. When applied to dataset containing noisy labels, the learned labels correct the annotation mistakes, and improves over state-of-the-art by a significant margin. Finally, we show that learned labels capture semantic relationship between classes, and thereby improve teacher models for the downstream task of distillation.


title: Adversarial Concept Drift Detection under Poisoning Attacks for Robust Data Stream Mining

abstract: Continuous learning from streaming data is among the most challenging topics in the contemporary machine learning. In this domain, learning algorithms must not only be able to handle massive volumes of rapidly arriving data, but also adapt themselves to potential emerging changes. The phenomenon of the evolving nature of data streams is known as concept drift. While there is a plethora of methods designed for detecting its occurrence, all of them assume that the drift is connected with underlying changes in the source of data. However, one must consider the possibility of a malicious injection of false data that simulates a concept drift. This adversarial setting assumes a poisoning attack that may be conducted in order to damage the underlying classification system by forcing adaptation to false data. Existing drift detectors are not capable of differentiating between real and adversarial concept drift. In this paper, we propose a framework for robust concept drift detection in the presence of adversarial and poisoning attacks. We introduce the taxonomy for two types of adversarial concept drifts, as well as a robust trainable drift detector. It is based on the augmented Restricted Boltzmann Machine with improved gradient computation and energy function. We also introduce Relative Loss of Robustness - a novel measure for evaluating the performance of concept drift detectors under poisoning attacks. Extensive computational experiments, conducted on both fully and sparsely labeled data streams, prove the high robustness and efficacy of the proposed drift detection framework in adversarial scenarios.


title: Joint ptycho-tomography with deep generative priors

abstract: Joint ptycho-tomography is a powerful computational imaging framework to recover the refractive properties of a 3D object while relaxing the requirements for probe overlap that is common in conventional phase retrieval. We use an augmented Lagrangian scheme for formulating the constrained optimization problem and employ an alternating direction method of multipliers (ADMM) for the joint solution. ADMM allows the problem to be split into smaller and computationally more efficient subproblems: ptychographic phase retrieval, tomographic reconstruction, and regularization of the solution. We extend our ADMM framework with plug-and-play (PnP) denoisers by replacing the regularization subproblem with a general denoising operator based on machine learning. While the PnP framework enables integrating such learned priors as denoising operators, tuning of the denoiser prior remains challenging. To overcome this challenge, we propose a denoiser parameter to control the effect of the denoiser and to accelerate the solution. In our simulations, we demonstrate that our proposed framework with parameter tuning and learned priors generates high-quality reconstructions under limited and noisy measurement data.


title: A no-go theorem for the persistent reality of Wigner's friend's perception

abstract: The notorious Wigner's friend thought experiment (and modifications thereof) has in recent years received renewed interest especially due to new arguments that force us to question some of the fundamental assumptions of quantum theory. In this paper, we formulate a no-go theorem for the persistent reality of Wigner's friend's perception, which allows us to conclude that the perceptions that the friend has of her own measurement outcomes at different times cannot "share the same reality", if seemingly natural quantum mechanical assumptions are met. More formally, this means that, in a Wigner's friend scenario, there is no joint probability distribution for the friend's perceived measurement outcomes at two different times, that depends linearly on the initial state of the measured system and whose marginals reproduce the predictions of unitary quantum theory. This theorem entails that one must either (1) propose a nonlinear modification of the Born rule for two-time predictions, (2) sometimes prohibit the use of present information to predict the future -- thereby reducing the predictive power of quantum theory -- or (3) deny that unitary quantum mechanics makes valid single-time predictions for all observers. We briefly discuss which of the theorem's assumptions are more likely to be dropped within various popular interpretations of quantum mechanics.


title: 3D Primitives Gpgpu Generation for Volume Visualization in 3D Graphics Systems

abstract: This article discusses the study of 3D graphic volume primitive computer system generation (3D segments) based on General Purpose Graphics Processing Unit (GPGPU) technology for 3D volume visualization systems. It is based on the general method of Volume 3D primitive generation and an algorithm for the voxelization of 3D lines, previously proposed and studied by the authors. We considered the Compute Unified Device Architect (CUDA) implementation of a parametric method for generating 3D line segments and characteristics of generation on modern Graphics Processing Units. Experiments on the test bench showed the relative inefficiency of generating a single 3D line segment and the efficiency of generating both fixed and arbitrary length of 3D segments on a Graphics Processing Unit (GPU). Experimental studies have proven the effectiveness and the quality of produced solutions by our method, when compared to existing state-of-the-art approaches.


title: 3D Pseudo Stereo Visualization with Gpgpu Support

abstract: This article discusses the study of a computer system for creating 3D pseudo-stereo images and videos using hardware and software support for accelerating a synthesis process based on General Purpose Graphics Processing Unit (GPGPU) technology. Based on the general strategy of 3D pseudo-stereo synthesis previously proposed by the authors, Compute Unified Device Architect (CUDA) method considers the main implementation stages of 3D pseudo-stereo synthesis: (i) the practical implementation study; (ii) the synthesis characteristics for obtaining images; (iii) the video in Ultra-High Definition (UHD) 4K resolution using the Graphics Processing Unit (GPU). Respectively with these results of 4K content test on evaluation systems with a GPU the acceleration average of 60.6 and 6.9 times is obtained for images and videos. The research results show consistency with previously identified forecasts for processing 4K image frames. They are confirming the possibility of synthesizing 3D pseudo-stereo algorithms in real time using powerful support for modern Graphics Processing Unit/Graphics Processing Clusters (GPU/GPC).


title: Underlaid FD D2D Communications in Massive MIMO Systems via Joint Beamforming and Power Allocation

abstract: This paper studies the benefits of incorporating underlaid full-duplex (FD) device-to-device (D2D) communications into massive multiple-input-multiple-output (MIMO) downlink systems. Due to the nature of cellular downlink and FD D2D transmission, the performances of cellular and D2D services are severely impaired due to high interference caused by base-stations (BSs) and D2D transceivers. As a consequence, integrating a large number of D2D links into exiting cellular networks might degrade the system performances. To overcome this challenge, utilizing the large uniform linear array (ULA) equipped at BSs, we propose a joint beamforming and power allocation design for average sum-rate maximization while considering the effects of interference to both cellular and D2D transmission. The problem formulation leads to a nonconvex vector-variable optimization problem, where we develop an efficient solution using a fractional programming (FP) based approach. Numerical results show that, at sufficiently high self-interference cancellation (SIC) levels and numbers of active D2D links, the FD D2D transmission provides a significant sum-rate improvement as compared to the half-duplex (HD) counterpart and pure cellular systems in absence of D2D.


title: Experimental Evaluation of LoRaWAN in NS-3

abstract: Long Range Wide Area Networks (LoRaWAN) is an open medium access control (MAC) layer technology devised for the long range connectivity of massive number of low power network devices. This work gives an overview of the key aspects of LoRaWAN technology and presents results that we achieved via extensive evaluation of Class A LoRaWAN devices in different network settings using the state-of-the-art network simulator (NS-3). At first, we focus on a single device and its mobility. We further undertook evaluations in an extended network scenario with a changing number of devices and traffic intensity. In particular, we evaluate the packet delivery ratio (PDR), uplink (UL) throughput, and sub-band utilization for the confirmed and unconfirmed UL transmissions in different environments. Our results give new insights for future efforts to optimize the LoRaWAN performance for different large scale Internet of Things (IoT) applications with low power end devices.


title: Collisionless drag for a one-dimensional two-component Bose-Hubbard model

abstract: We theoretically investigate the elusive Andreev-Bashkin collisionless drag for a two-component onedimensional Bose-Hubbard model on a ring. By means of tensor network algorithms, we calculate the superfluid stiffness matrix as a function of intra- and interspecies interactions and of the lattice filling. We then focus on the most promising region close to the so-called pair-superfluid phase, where we observe that the drag can become comparable with the total superfluid density. We elucidate the importance of the drag in determining the long-range behavior of the correlation functions and the spin speed of sound. In this way, we are able to provide an expression for the spin Luttinger parameter $K_S$ in terms of drag and the spin susceptibility. Our results are promising in view of implementing the system by using ultracold Bose mixtures trapped in deep optical lattices, where the size of the sample is of the same order of the number of particles we simulate. Importantly, the mesoscopicity of the system, far from being detrimental, appears to favor a large drag, avoiding the Berezinskii-Kosterlitz-Thouless jump at the transition to the pair-superfluid phase which would reduce the region where a large drag can be observed.


title: Interstrip Capacitances of the Readout Board used in Large Triple-GEM Detectors for the CMS Muon Upgrade

abstract: We present analytical calculations, Finite Element Analysis modeling, and physical measurements of the interstrip capacitances for different potential strip geometries and dimensions of the readout boards for the GE2/1 triple-Gas Electron Multiplier detector in the CMS muon system upgrade. The main goal of the study is to find configurations that minimize the interstrip capacitances and consequently maximize the signal-to-noise ratio for the detector. We find agreement at the 1.5--4.8% level between the two methods of calculations and on the average at the 17% level between calculations and measurements. A configuration with halved strip lengths and doubled strip widths results in a measured 27--29% reduction over the original configuration while leaving the total number of strips unchanged. We have now adopted this design modification for all eight module types of the GE2/1 detector and will produce the final detector with this new strip design.


title: R-matrix electron-impact excitation data for the N-like iso-electronic sequence

abstract: Spectral lines from N-like ions can be used to measure the temperature and density of various types of astrophysical plasmas. The atomic databases of astrophysical plasma modelling codes still have room for improvement in their electron-impact excitation data sets for N-like ions, especially $R$-matrix data. This is particularly relevant for future observatories (e.g. Arcus) which will host high-resolution spectrometers. We aim to obtain level-resolved effective collision strengths for all transitions up to $nl=5d$ over a wide range of temperatures for N-like ions from O II to Zn XXIV (i.e., O$^{+}$ to Zn$^{23+}$) and to assess the accuracy of the present work. We also examine the impact of our new data on plasma diagnostics by modelling solar observations with CHIANTI. We have carried-out systematic $R$-matrix calculations for N-like ions which included 725 fine-structure target levels in both the configuration interaction target and close-coupling collision expansions. The $R$-matrix intermediate coupling frame transformation method was used to calculate the collision strengths, while the AUTOSTRUCTURE code was used for the atomic structures. We compare the present results for selected ions with those in archival databases and the literature. The comparison covers energy levels, oscillator strengths, and effective collision strengths. We show examples of improved plasma diagnostics when compared to CHIANTI models which use only distorted wave data as well as some which use previous $R$-matrix data. The electron-impact excitation data are archived according to the Atomic Data and Analysis Structure (ADAS) data class it adf04 and will be available in OPEN-ADAS. The data can be used to improve the atomic databases for astrophysical plasma diagnostics.


title: On S-primary submodules

abstract: Let $R$ be a commutative ring with identity, $S$ a multiplicatively closed subset of $R$, and $M$ be an $R$-module. In this paper, we study and investigate some properties of $S$-primary submodules of $M$. Among the other results, it is shown that this class of modules contains the family of primary (resp. $S$-prime) submodules properly.


title: Achieving Proportionality up to the Maximin Item with Indivisible Goods

abstract: We study the problem of fairly allocating indivisible goods and focus on the classic fairness notion of proportionality. The indivisibility of the goods is long known to pose highly non-trivial obstacles to achieving fairness, and a very vibrant line of research has aimed to circumvent them using appropriate notions of approximate fairness. Recent work has established that even approximate versions of proportionality (PROPx) may be impossible to achieve even for small instances, while the best known achievable approximations (PROP1) are much weaker. We introduce the notion of proportionality up to the maximin item (PROPm) and show how to reach an allocation satisfying this notion for any instance involving up to five agents with additive valuations. PROPm provides a well-motivated middle-ground between PROP1 and PROPx, while also capturing some elements of the well-studied maximin share (MMS) benchmark: another relaxation of proportionality that has attracted a lot of attention.


title: Relation Extraction from Biomedical and Clinical Text: Unified Multitask Learning Framework

abstract: To minimize the accelerating amount of time invested in the biomedical literature search, numerous approaches for automated knowledge extraction have been proposed. Relation extraction is one such task where semantic relations between the entities are identified from the free text. In the biomedical domain, extraction of regulatory pathways, metabolic processes, adverse drug reaction or disease models necessitates knowledge from the individual relations, for example, physical or regulatory interactions between genes, proteins, drugs, chemical, disease or phenotype. In this paper, we study the relation extraction task from three major biomedical and clinical tasks, namely drug-drug interaction, protein-protein interaction, and medical concept relation extraction. Towards this, we model the relation extraction problem in multi-task learning (MTL) framework and introduce for the first time the concept of structured self-attentive network complemented with the adversarial learning approach for the prediction of relationships from the biomedical and clinical text. The fundamental notion of MTL is to simultaneously learn multiple problems together by utilizing the concepts of the shared representation. Additionally, we also generate the highly efficient single task model which exploits the shortest dependency path embedding learned over the attentive gated recurrent unit to compare our proposed MTL models. The framework we propose significantly improves overall the baselines (deep learning techniques) and single-task models for predicting the relationships, without compromising on the performance of all the tasks.


title: Bounds on Zeckendorf Games

abstract: Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers. We use this decomposition to construct a two-player game. Given a fixed integer $n$ and an initial decomposition of $n=n F_1$, the two players alternate by using moves related to the recurrence relation $F_{n+1}=F_n+F_{n-1}$, and whoever moves last wins. The game always terminates in the Zeckendorf decomposition; depending on the choice of moves the length of the game and the winner can vary, though for $n\ge 2$ there is a non-constructive proof that Player 2 has a winning strategy. Initially the lower bound of the length of a game was order $n$ (and known to be sharp) while the upper bound was of size $n \log n$. Recent work decreased the upper bound to of size $n$, but with a larger constant than was conjectured. We improve the upper bound and obtain the sharp bound of $\frac{\sqrt{5}+3}{2}\ n - IZ(n) - \frac{1+\sqrt{5}}{2}Z(n)$, which is of order $n$ as $Z(n)$ is the number of terms in the Zeckendorf decomposition of $n$ and $IZ(n)$ is the sum of indices in the Zeckendorf decomposition of $n$ (which are at most of sizes $\log n$ and $\log^2 n$ respectively). We also introduce a greedy algorithm that realizes the upper bound, and show that the longest game on any $n$ is achieved by applying splitting moves whenever possible.


title: Safety-Critical Online Control with Adversarial Disturbances

abstract: This paper studies the control of safety-critical dynamical systems in the presence of adversarial disturbances. We seek to synthesize state-feedback controllers to minimize a cost incurred due to the disturbance, while respecting a safety constraint. The safety constraint is given by a bound on an H-inf norm, while the cost is specified as an upper bound on the H-2 norm of the system. We consider an online setting where costs at each time are revealed only after the controller at that time is chosen. We propose an iterative approach to the synthesis of the controller by solving a modified discrete-time Riccati equation. Solutions of this equation enforce the safety constraint. We compare the cost of this controller with that of the optimal controller when one has complete knowledge of disturbances and costs in hindsight. We show that the regret function, which is defined as the difference between these costs, varies logarithmically with the time horizon. We validate our approach on a process control setup that is subject to two kinds of adversarial attacks.


title: Transfer of Life Between Earth and Venus with Planet-Grazing Asteroids

abstract: Recently, phosphine was discovered in the atmosphere of Venus as a potential biosignature. This raises the question: if Venusian life exists, could it be related to terrestrial life? Based on the known rate of meteoroid impacts on Earth, we show that at least $\sim 6 \times 10^5$ asteroids have grazed Earth's atmosphere without being significantly heated and later impacted Venus, and a similar number have grazed Venus's atmosphere and later impacted the Earth, both within a period of $\sim 10^5$ years during which microbes could survive in space. Although the abundance of terrestrial life in the upper atmosphere is unknown, these planet-grazing shepherds could have potentially been capable of transferring microbial life between the atmospheres of Earth and Venus. As a result, the origin of possible Venusian life may be fundamentally indistinguishable from that of terrestrial life.


title: Rationality of the exceptional W-algebras $\mathcal{W}_k(\mathfrak{sp}_4,f_{subreg})$ associated with subregular nilpotent elements of $\mathfrak{sp}_4$

abstract: We prove the rationality of the exceptional W-algebras associated with the simple Lie algebra $\mathfrak{sp}_4$ and subregular nilpotent elements, proving a new particular case of a conjecture of Kac-Wakimoto. Moreover, we describe the simple $\mathcal{W}_k(\mathfrak{sp}_4,f_{subreg})$-modules and compute their characters. We also explicit the nontrivial action of the component group on the set of these simple modules.


title: Early Indicators of COVID-19 Spread Risk Using Digital Trace Data of Population Activities

abstract: The spread of pandemics such as COVID-19 is strongly linked to human activities. The objective of this paper is to specify and examine early indicators of disease spread risk in cities during the initial stages of outbreak based on patterns of human activities obtained from digital trace data. In this study, the Venables distance (D_v), and the activity density (D_a) are used to quantify and evaluate human activities for 193 US counties, whose cumulative number of confirmed cases was greater than 100 as of March 31, 2020. Venables distance provides a measure of the agglomeration of the level of human activities based on the average distance of human activities across a city or a county (less distance could lead to a greater contact risk). Activity density provides a measure of level of overall activity level in a county or a city (more activity could lead to a greater risk). Accordingly, Pearson correlation analysis is used to examine the relationship between the two human activity indicators and the basic reproduction number in the following weeks. The results show statistically significant correlations between the indicators of human activities and the basic reproduction number in all counties, as well as a significant leader-follower relationship (time lag) between them. The results also show one to two weeks' lag between the change in activity indicators and the decrease in the basic reproduction number. This result implies that the human activity indicators provide effective early indicators for the spread risk of the pandemic during the early stages of the outbreak. Hence, the results could be used by the authorities to proactively assess the risk of disease spread by monitoring the daily Venables distance and activity density in a proactive manner.


title: Random Expansion Method for the Generation of Complex Cellular Automata

abstract: The emergence of complex behaviors in cellular automata is an area that has been widely developed in recent years with the intention to generate and analyze automata that produce space-moving patterns or gliders that interact in a periodic background. Frequently, this type of automata has been found through either an exhaustive search or a meticulous construction of the evolution rule. In this study, the specification of cellular automata with complex behaviors was obtained by utilizing randomly generated specimens. In particular, it proposed that a cellular automaton of $n$ states should be specified at random and then extended to another automaton with a higher number of states so that the original automaton operates as a periodic background where the additional states serve to define the gliders. Moreover, this study presented an explanation of this method. Furthermore, the random way of defining complex cellular automata was studied by using mean-field approximations for various states and local entropy measures. This specification was refined with a genetic algorithm to obtain specimens with a higher degree of complexity. With this methodology, it was possible to generate complex automata with hundreds of states, demonstrating that randomly defined local interactions with multiple states can construct complexity.


title: Fourier nonuniqueness sets for the hyperbola and the Perron-Frobenius operators

abstract: Let $\Gamma$ be a smooth curve or finite disjoint union of smooth curves in the plane and $\Lambda$ be any subset of the plane. Let $\mathcal X(\Gamma)$ be the space of all finite complex-valued Borel measures in the plane which are supported on $\Gamma$ and are absolutely continuous with respect to the arc length measure on $\Gamma.$ Let $\mathcal{AC}(\Gamma,\Lambda)=\{\mu\in \mathcal{X}(\Gamma) : \hat\mu|_{\Lambda}=0\},$ then we prove the following results: \begin{enumerate}[(a)] \item For a rational perturbation of $\Lambda_\beta$ namely, $\Lambda_\beta^\theta=\left((\mathbb Z+\{\theta\})\times\{0\}\right)\cup\left(\{0\}\times\beta\mathbb Z\right),$ where $\theta=1/{p},~\text{for some}~{p}\in\mathbb N,$ and $\beta$ is a positive real, $\mathcal{AC}\left(\Gamma,\Lambda_\beta^\theta\right)$ is infinite-dimensional whenever $\beta>p.$ \smallskip \item For a rational perturbation of $\Lambda_\gamma$ namely, $\Lambda_\gamma^\theta=\left((2\mathbb Z+\{2\theta\})\times\{0\}\right)\cup\left(\{0\} \times2\gamma\mathbb Z\right),$ where $\theta=1/q,~\text{for some}~q\in\mathbb N,$ and $\gamma$ is a positive real, $\mathcal{AC}\left(\Gamma_+,\Lambda_\gamma^\theta\right)$ is infinite-dimensional whenever $\gamma>q.$ \end{enumerate}


title: On the non-integrability and dynamics of discrete models of threads

abstract: In the paper, we study the dynamics of planar $n$-gons, which can be considered as discrete models of threads. The main result of the paper is that, under some weak assumptions, these systems are not integrable in the sense of Liouville. This holds for both completely free threads and for threads with fixed points that are placed in external force fields. We present sufficient conditions for the positivity of topological entropy in such systems. We briefly consider other dynamical properties of discrete threads and we also consider discrete models of inextensible yet compressible threads.


title: Sums of Powers in Large Finite Fields: A Mix of Methods

abstract: Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal equations. Then, we offer two proofs, one new and elementary, and the other more classical, based on Fourier analysis and an application of a nontrivial estimate from the theory of finite fields. In context and juxtaposition, each will have its merits.


title: The Heat Distribution in a Logarithm Potential

abstract: All statistical information about the heat can be obtained with the probability distribution of the heat functional. This paper derives analytically the expression for the distribution of the heat, through path integral, for a diffusive system in a logarithm potential. We apply the found distribution to the first passage problem and find unexpected results for the reversibility of the distribution, giving a fluctuation theorem under specific conditions of the strength parameters.


title: Practical Scheduling Algorithms with Contiguous Resource Allocation for Next-Generation Wireless Systems

abstract: This paper proposes three novel resource and user scheduling algorithms with contiguous frequency-domain resource allocation (FDRA) for wireless communications systems. The first proposed algorithm jointly schedules users and resources selected adaptively from both ends of the bandwidth part (BWP), while the second and third ones apply disjoint user and resource selection with either single-end or dual-end BWP strategies. Distinct from existing contiguous FDRA approaches, the proposed ones comply with standards specifications for fifth-generation (5G) and beyond 5G communications, and have lower computational complexity hence are more practical. Simulation results show that all of the proposed algorithms can achieve near-optimal performance in terms of throughput and packet loss rate for low to moderate traffic load, and the first one can still perform relatively well even with a large number of users.


title: Towards Interpretable-AI Policies Induction using Evolutionary Nonlinear Decision Trees for Discrete Action Systems

abstract: Black-box AI induction methods such as deep reinforcement learning (DRL) are increasingly being used to find optimal policies for a given control task. Although policies represented using a black-box AI are capable of efficiently executing the underlying control task and achieving optimal closed-loop performance, the developed control rules are often complex and neither interpretable nor explainable. In this paper, we use a recently proposed nonlinear decision-tree (NLDT) approach to find a hierarchical set of control rules in an attempt to maximize the open-loop performance for approximating and explaining the pre-trained black-box DRL (oracle) agent using the labelled state-action dataset. Recent advances in nonlinear optimization approaches using evolutionary computation facilitates finding a hierarchical set of nonlinear control rules as a function of state variables using a computationally fast bilevel optimization procedure at each node of the proposed NLDT. Additionally, we propose a re-optimization procedure for enhancing closed-loop performance of an already derived NLDT. We evaluate our proposed methodologies (open and closed-loop NLDTs) on different control problems having multiple discrete actions. In all these problems our proposed approach is able to find relatively simple and interpretable rules involving one to four non-linear terms per rule, while simultaneously achieving on par closed-loop performance when compared to a trained black-box DRL agent. A post-processing approach for simplifying the NLDT is also suggested. The obtained results are inspiring as they suggest the replacement of complicated black-box DRL policies involving thousands of parameters (making them non-interpretable) with relatively simple interpretable policies. Results are encouraging and motivating to pursue further applications of proposed approach in solving more complex control tasks.


title: 5-point CAT(0) spaces after Tetsu Toyoda

abstract: We give another proof of Toyoda's theorem that describes 5-point subpaces in CAT(0) length spaces


title: VirtualFlow: Decoupling Deep Learning Models from the Underlying Hardware

abstract: State-of-the-art deep learning systems such as TensorFlow and PyTorch tightly couple the model with the underlying hardware. This coupling requires the user to modify application logic in order to run the same job across a different set of resources, thereby limiting the choice of hardware for a given workload and potentially forcing the user to forgo more efficient hardware configurations. We propose VirtualFlow, a system leveraging a novel abstraction called virtual node processing to decouple the model from the hardware. In each step of training or inference, the batch of input data is split across virtual nodes instead of hardware accelerators (e.g. GPUs and TPUs). Mapping multiple virtual nodes to each accelerator and processing them sequentially effectively time slices the batch, thereby allowing users to reduce the memory requirement of their workloads and mimic large batch sizes on small clusters. Using this technique, VirtualFlow enables many new use cases, such as reproducing training results across different hardware, resource elasticity, and heterogeneous training. In our evaluation, our implementation of VirtualFlow for TensorFlow achieved strong convergence guarantees across different hardware with out-of-the-box hyperparameters, up to 48% lower job completion times with resource elasticity, and up to 42% higher throughput with heterogeneous training.


title: Two and Three-Party Digital Goods Auctions: Scalable Privacy Analysis

abstract: A digital goods auction is a type of auction where potential buyers bid the maximal price that they are willing to pay for a certain item, which a seller can produce at a negligible cost and in unlimited quantity. To maximise her benefits, the aim for the seller is to find the optimal sales price, which every buyer whose bid is not lower will pay. For fairness and privacy purposes, buyers may be concerned about protecting the confidentiality of their bids. Secure Multi-Party Computation is a domain of Cryptography that would allow the seller to compute the optimal sales price while guaranteeing that the bids remain secret. Paradoxically, as a function of the buyers' bids, the sales price inevitably reveals some private information. Generic frameworks and entropy-based techniques based on Quantitative Information Flow have been developed in order to quantify and restrict those leakages. Due to their combinatorial nature, these techniques do not scale to large input spaces. In this work, we aim at scaling those privacy analyses to large input spaces in the particular case of digital goods auctions. We derive closed-form formulas for the posterior min-entropy of private inputs in two and three-party auctions, which enables us to effectively quantify the information leaks for arbitrarily large input spaces. We also provide supportive experimental evidence that enables us to formulate a conjecture that would allow us to extend our results to any number of parties.


title: Deep Autoencoders: From Understanding to Generalization Guarantees

abstract: A big mystery in deep learning continues to be the ability of methods to generalize when the number of model parameters is larger than the number of training examples. In this work, we take a step towards a better understanding of the underlying phenomena of Deep Autoencoders (AEs), a mainstream deep learning solution for learning compressed, interpretable, and structured data representations. In particular, we interpret how AEs approximate the data manifold by exploiting their continuous piecewise affine structure. Our reformulation of AEs provides new insights into their mapping, reconstruction guarantees, as well as an interpretation of commonly used regularization techniques. We leverage these findings to derive two new regularizations that enable AEs to capture the inherent symmetry in the data. Our regularizations leverage recent advances in the group of transformation learning to enable AEs to better approximate the data manifold without explicitly defining the group underlying the manifold. Under the assumption that the symmetry of the data can be explained by a Lie group, we prove that the regularizations ensure the generalization of the corresponding AEs. A range of experimental evaluations demonstrate that our methods outperform other state-of-the-art regularization techniques.


title: Second-countable compact Hausdorff spaces as remainders in $\mathbf{ZF}$ and two new notions of infiniteness

abstract: In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other independence results, the characterization of locally compact Hausdorff spaces having all non-empty metrizable compact spaces as remainders, obtained by Hatzenhuhler and Mattson in $\mathbf{ZFC}$, is proved to be independent of $\mathbf{ZF}$. Urysohn's Metrization Theorem is generalized to the following theorem: every $T_3$-space which admits a base expressible as a countable union of finite sets is metrizable. Applications to solutions of problems concerning the existence of some special metrizable compactifications in $\mathbf{ZF}$ are shown. New concepts of a strongly filterbase infinite set and a dyadically filterbase infinite set are introduced, both stemming from the investigations on compactifications. Set-theoretic and topological definitions of the new concepts are given, and their relationship with certain known notions of infinite sets is investigated in $\mathbf{ZF}$. A new permutation model is introduced in which there exists a strongly filterbase infinite set which is weakly Dedekind-finite. All $\mathbf{ZFA}$-independence results of this article are transferable to $\mathbf{ZF}$.


title: Initial data rigidity results

abstract: We present several rigidity results for initial data sets motivated by the positive mass theorem. An important step in our proofs here is to establish conditions that ensure that a marginally outer trapped surface is "weakly outermost". A rigidity result for Riemannian manifolds with a lower bound on their scalar curvature is included as a special case.


title: Assessment of Physical Properties of Water Repellent Soils

abstract: This note presents a comprehensive characterization of physical and mechanical properties of water repellent (hydrophobic) soil collected from Cleveland National Forest in California immediately after the Holy Fire, 2018, and delineates comparisons with chemically induced hydrophobic sand in the laboratory. Hydrophobicity is a particle surface characteristic that governs different levels of attraction between water molecules and solid particles. Wildfires can cause different levels of hydrophobicity in shallow soil layers based on fire severity, vegetation, and chemical structure of the soil. Natural and chemically induced regular and hydrophobic sands are characterized by grain size distribution, water retention curve, water contact angle and electron microscopic imaging, including the relationship between water entry value and the drop contact angle in hydrophobic soil. Comparative knowledge of natural and chemically induced hydrophobic soil properties will help future research to better predict soil behavior and improve insights into post-wildfire soil erosion and mudflow mechanisms. This note contributes to a database of wildfire-induced hydrophobic soil with detailed properties and assesses the applicability of laboratory made hydrophobic soils for studying mudflows by comparison to the natural water repellent soil collected from the burned site.


title: PPTP: Price-based Path-specified Transport Protocol for Named Data Network using Blockchain

abstract: Serving as a potential future Internet architecture, Named Data Network (NDN) offers superior information-centric architectural support for mobile ad-hoc networking. Using NDN as an underlying protocol, end-user devices (e.g. IoT device and smart phone) formulate a multi-hop (mesh) network, in which certain devices play a role of forwarding packets for others and/or act as gateways to access the Internet. Nevertheless, an autonomous (selfish) node in an ad-hoc network has two disincentives for forwarding packets for others: energy expenditure and possible delays for its own data. This paper introduces Price-based Path-specified Transport Protocol (PPT) for NDN, using blockchain as a payment platform to support money transfers between autonomous nodes thus to incentivise packet forwarding. In PPTP, routers advertise their expected prices for packet forwarding and consumers estimate the costs and select the appropriate paths for content downloading. PPTP is still an on-going project therefore this paper will present the design principle and planed functions, and show how PPTP are related to other existing blockchain-based networking solutions.


title: Closure properties of measurable ultrapowers

abstract: We study closure properties of measurable ultrapowers with respect to Hamkin's notion of "freshness" and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one direction, a result of Sakai shows that, by collapsing a strongly compact cardinal to become the double successor of a measurable cardinal, it is possible to obtain a model of set theory in which such ultrapowers possess the strongest possible closure properties. In the other direction, we use various square principles to show that measurable ultrapowers of canonical inner models only possess the minimal amount of closure properties. In addition, the techniques developed in the proofs of these results also allow us to derive statements about the consistency strength of the existence of measurable ultrapowers with non-minimal closure properties.


title: Relative Seiberg-Witten invariants and a sum formula

abstract: We study relative Seiberg-Witten moduli spaces and define relative invariants for a pair $(X,\Sigma)$ consisting of a smooth, closed, oriented 4-manifold $X$ and a smooth, closed, oriented 2-dimensional submanifold $\Sigma\!\subset\!X$ with positive genus. These relative Seiberg-Witten invariants are meant to be the counterparts of relative Gromov-Witten invariants. We also obtain a sum formula (aka a product formula) that relates the SW invariants of a sum $X$ of two closed oriented 4-manifolds $X_1$ and $X_2$ along a common oriented surface $\Sigma$ with dual self-intersections to the relative SW invariants of $(X_1,\Sigma)$ and $(X_2,\Sigma)$. Our formula generalizes Morgan-Szab\'o-Taubes' product formula.


title: The Linearized Classical Boussinesq System on the Half-Line

abstract: The linearization of the classical Boussinesq system is solved explicitly in the case of nonzero boundary conditions on the half-line. The analysis relies on the unified transform method of Fokas and is performed in two different frameworks: (i) by exploiting the recently introduced extension of Fokas's method to systems of equations; (ii) by expressing the linearized classical Boussinesq system as a single, higher-order equation which is then solved via the usual version of the unified transform. The resulting formula provides a novel representation for the solution of the linearized classical Boussinesq system on the half-line. Moreover, thanks to the uniform convergence at the boundary, the novel formula is shown to satisfy the linearized classical Boussinesq system as well as the prescribed initial and boundary data via a direct calculation.


title: Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems

abstract: Advanced embedded system technology is one of the key driving forces behind the rapid growth of Cyber-Physical System (CPS) applications. Cyber-Physical Systems are comprised of multiple coordinating and cooperating components, which are often software intensive and interacting with each other to achieve unprecedented tasks. Such complex CPSs have multiple attack surfaces and attack vectors that we have to secure against. Towards this goal, we demonstrate a multilevel runtime safety and security monitor framework where there are monitors across the CPS for detection and isolation of attacks. We implement the runtime monitors on FPGA using a stream-based runtime verification tool called TeSSLa. We demonstrate our monitoring scheme for an Autonomous Emergency Braking (AEB) CPS system.


title: Neutron stars mergers in a stochastic chemical evolution model: impact of time delay distributions

abstract: We study the evolution of the [Eu/Fe] ratio in the Galactic halo by means of a stochastic chemical evolution model considering merging neutron stars as polluters of europium. We improved our previous stochastic chemical evolution model by adding a time delay distribution for the coalescence of the neutron stars, instead of constant delays. The stochastic chemical evolution model can reproduce the trend and the observed spread in the [Eu/Fe] data with neutron star mergers as unique producers if we assume: i) a delay time distribution $\propto t^{-1.5}$, ii) a $M_{Eu}= 1.5$x$10^{-6} M_{\odot}$ per event, iii) progenitors of neutron stars in the range $9-50M_{\odot}$ and iv) a constant fraction of massive stars in the initial mass function (0.02) that produce neutron star mergers. Our best model is obtained by relaxing point iv) and assuming a fraction that varies with metallicity. We confirm that the mixed scenario with both merging neutron stars and supernovae as europium producers can provide a good agreement with the data relaxing the constraints on the distribution time delays for the coalescence of neutron stars. Adopting our best model, we also reproduce the dispersion of [Eu/Fe] at a given metallicity, which depends on the fraction of massive stars that produce neutron star mergers. Future high-resolution spectroscopic surveys, such as 4MOST and WEAVE, will produce the necessary statistics to constrain at best this parameter.


title: Stochastic Gradient Langevin Dynamics Algorithms with Adaptive Drifts

abstract: Bayesian deep learning offers a principled way to address many issues concerning safety of artificial intelligence (AI), such as model uncertainty,model interpretability, and prediction bias. However, due to the lack of efficient Monte Carlo algorithms for sampling from the posterior of deep neural networks (DNNs), Bayesian deep learning has not yet powered our AI system. We propose a class of adaptive stochastic gradient Markov chain Monte Carlo (SGMCMC) algorithms, where the drift function is biased to enhance escape from saddle points and the bias is adaptively adjusted according to the gradient of past samples. We establish the convergence of the proposed algorithms under mild conditions, and demonstrate via numerical examples that the proposed algorithms can significantly outperform the existing SGMCMC algorithms, such as stochastic gradient Langevin dynamics (SGLD), stochastic gradient Hamiltonian Monte Carlo (SGHMC) and preconditioned SGLD, in both simulation and optimization tasks.


title: Gendered Performance Differences in Introductory Physics: A Study from a Large Land-Grant University

abstract: Studies examining gender differences in introductory physics show a consensus when it comes to a gender gap on conceptual assessments; however, the story is not as clear when it comes to differences in gendered performance on exams. This study examined whether gendered differences exist on midterm and final exams in introductory physics courses and if such differences were correlated with a gender difference in final course grades. The population for this study included more than 10,000 students enrolled in algebra- and calculus-based introductory physics courses between spring 2007 and spring 2019. We found a small but statistically significant difference, with a weak effect size, in final letter grades for only one out of four courses: algebra-based mechanics. By looking at midterm exam grades, statistically significant differences were noted for some exams in three out of four courses, with algebra-based electricity and magnetism being the exception. In all statistically significant cases, the effect size was small or weak, indicating that performance on exams and final letter grades was not strongly dependent on gender. As an added dimension examining gendered differences, we investigated if differences exist when accounting for instructor gender. Additionally, a questionnaire was administered in fall 2019 to more than 1,600 students in both introductory sequences to explore students' perceptions of performance, class contributions, and inclusion. We observed some differences between students' perception of their performance and contribution when grouped by gender, but no difference on perception of inclusion.


title: Multi-Robot Target Search using Probabilistic Consensus on Discrete Markov Chains

abstract: In this paper, we propose a probabilistic consensus-based multi-robot search strategy that is robust to communication link failures, and thus is suitable for disaster affected areas. The robots, capable of only local communication, explore a bounded environment according to a random walk modeled by a discrete-time discrete-state (DTDS) Markov chain and exchange information with neighboring robots, resulting in a time-varying communication network topology. The proposed strategy is proved to achieve consensus, here defined as agreement on the presence of a static target, with no assumptions on the connectivity of the communication network. Using numerical simulations, we investigate the effect of the robot population size, domain size, and information uncertainty on the consensus time statistics under this scheme. We also validate our theoretical results with 3D physics-based simulations in Gazebo. The simulations demonstrate that all robots achieve consensus in finite time with the proposed search strategy over a range of robot densities in the environment.


title: Regret Bounds and Reinforcement Learning Exploration of EXP-based Algorithms

abstract: We study the challenging exploration incentive problem in both bandit and reinforcement learning, where the rewards are scale-free and potentially unbounded, driven by real-world scenarios and differing from existing work. Past works in reinforcement learning either assume costly interactions with an environment or propose algorithms finding potentially low quality local maxima. Motivated by EXP-type methods that integrate multiple agents (experts) for exploration in bandits with the assumption that rewards are bounded, we propose new algorithms, namely EXP4.P and EXP4-RL for exploration in the unbounded reward case, and demonstrate their effectiveness in these new settings. Unbounded rewards introduce challenges as the regret cannot be limited by the number of trials, and selecting suboptimal arms may lead to infinite regret. Specifically, we establish EXP4.P's regret upper bounds in both bounded and unbounded linear and stochastic contextual bandits. Surprisingly, we also find that by including one sufficiently competent expert, EXP4.P can achieve global optimality in the linear case. This unbounded reward result is also applicable to a revised version of EXP3.P in the Multi-armed Bandit scenario. In EXP4-RL, we extend EXP4.P from bandit scenarios to reinforcement learning to incentivize exploration by multiple agents, including one high-performing agent, for both efficiency and excellence. This algorithm has been tested on difficult-to-explore games and shows significant improvements in exploration compared to state-of-the-art.


title: The quenched Eguchi-Kawai model revisited

abstract: The motivation and construction of the original Quenched Eguchi-Kawai model are reviewed, providing much greater detail than in the first, 1982 QEK paper. A 2008 article announced that QEK fails as a reduced model because the average over permutations of eigenvalues stays annealed. It is shown here that the original quenching logic naturally leads to a formulation with no annealed average over permutations.


title: Non-classical spin transfer effects in an antiferromagnet

abstract: We simulate scattering of electrons by a chain of antiferromagnetically coupled quantum Heisenberg spins, to analyze spin-transfer effects not described by the classical models of magnetism. Our simulations demonstrate efficient excitation of dynamical states that would be forbidden by the semiclassical symmetries, such as generation of multiple magnetic excitation quanta by a single electron. Furthermore, quantum interference of spin wavefunctions enables generation of magnetization dynamics with amplitudes exceeding the transferred magnetic moment. The efficiency of excitation is almost independent of the electron spin polarization, and is governed mainly by the transfer of energy. Non-classical spin transfer may thus enable efficient electronic control of antiferromagnets not limited by the classical constraints.


title: Foundations

abstract: This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.


title: Ultraviolet and Near-Infrared Dual Band Selective-Harvesting Transparent Luminescent Solar Concentrators

abstract: Visibly transparent luminescent solar concentrators (TLSCs) can optimize both power production and visible transparency by selectively harvesting the invisible portion of the solar spectrum. Since the primary applications of TLSCs include building envelopes, greenhouses, automobiles, signage, and mobile electronics, maintaining aesthetics and functionalities is as important as achieving high power conversion efficiencies (PCEs) in practical deployment. In this work, we combine massive-downshifting phosphorescent nanoclusters and fluorescent organic molecules into a TLSC system as ultraviolet (UV) and near-infrared (NIR) selective-harvesting luminophores, respectively, demonstrating UV and NIR dual-band selective-harvesting TLSCs with PCE over 3%, average visible transmittance (AVT) exceeding 75% and color metrics suitable for the window industry. With distinct wavelength-selectivity and effective utilization of the invisible portion of the solar spectrum, this work reports the highest light utilization efficiency (PCE x AVT) of 2.6 for a TLSC system, the highest PCE of any transparent photovoltaic device with AVT greater than 70%, and outperforms the practical limit for non-wavelength-selective transparent photovoltaics.


title: State-of-Charge Estimation of a Li-Ion Battery using Deep Forward Neural Networks

abstract: This article presents two Deep Forward Networks with two and four hidden layers, respectively, that model the drive cycle of a Panasonic 18650PF lithium-ion (Li-ion) battery at a given temperature using the K-fold cross-validation method, in order to estimate the State of Charge (SOC) of the cell. The drive cycle power profile is calculated for an electric truck with a 35kWh battery pack scaled for a single 18650PF cell. We propose a machine learning workflow which is able to fight overfitting when developing deep learning models for SOC estimation. The contribution of this work is to present a methodology of building a Deep Forward Network for a lithium-ion battery and its performance assessment, which follows the best practices in machine learning.


title: Strongly regular graphs with parameters (81,30,9,12) and a new partial geometry pg(5,5,2)

abstract: Twelve new strongly regular graphs with parameters (81,30,9,12) are found as graphs invariant under certain subgroups of the automorphism groups of the two previously known graphs that arise from 2-weight codes. One of these new graphs is geometric and yields a partial geometry with parameters pg(5,5,2) that is not isomorphic to the partial geometry discovered by J. H. van Lint and A. Schrijver in 1981.


title: Expectation propagation on the diluted Bayesian classifier

abstract: Efficient feature selection from high-dimensional datasets is a very important challenge in many data-driven fields of science and engineering. We introduce a statistical mechanics inspired strategy that addresses the problem of sparse feature selection in the context of binary classification by leveraging a computational scheme known as expectation propagation (EP). The algorithm is used in order to train a continuous-weights perceptron learning a classification rule from a set of (possibly partly mislabeled) examples provided by a teacher perceptron with diluted continuous weights. We test the method in the Bayes optimal setting under a variety of conditions and compare it to other state-of-the-art algorithms based on message passing and on expectation maximization approximate inference schemes. Overall, our simulations show that EP is a robust and competitive algorithm in terms of variable selection properties, estimation accuracy and computational complexity, especially when the student perceptron is trained from correlated patterns that prevent other iterative methods from converging. Furthermore, our numerical tests demonstrate that the algorithm is capable of learning online the unknown values of prior parameters, such as the dilution level of the weights of the teacher perceptron and the fraction of mislabeled examples, quite accurately. This is achieved by means of a simple maximum likelihood strategy that consists in minimizing the free energy associated with the EP algorithm.

categories: stat.ML cond-mat.dis-nn cond-mat.stat-mech cs.LG


title: Measurement of Gravitational Coupling between Millimeter-Sized Masses

abstract: We demonstrate gravitational coupling between two gold spheres of approximately 1mm radius and 90mg mass. By periodically modulating the source mass position at a frequency f=12.7mHz we generate a time-dependent gravitational acceleration at the location of the test mass, which is measured off resonance in a miniature torsional balance configuration. Over an integration time of 350 hours the test mass oscillator enables measurements with a systematic accuracy of 4E-11m/s^2 and a statistical precision of 4E-12m/s^2. This is sufficient to resolve the gravitational signal at a minimal surface distance of 400mum between the two masses. We observe both linear and quadratic coupling, consistent in signal strength with a time-varying 1/r gravitational potential. Contributions of non-gravitational forces could be kept to less than 10% of the observed signal. We expect further improvements to enable the isolation of gravity as a coupling force for objects well below the Planck mass. This opens the way for precision tests of gravity in a new regime of isolated microscopic source masses.

categories: gr-qc physics.class-ph physics.ins-det quant-ph


title: Sulfur emission reduction in cargo ship manufacturers and shipping companies based on MARPOL Annex VI

abstract: This article explores the challenges for the adoption of scrubbers and low sulfur fuels on ship manufacturers and shipping companies. Results show that ship manufacturers, must finance their working capital and operating costs, which implies an increase in the prices of the ships employing these new technologies. On the other hand, shipping companies must adopt the most appropriate technology according to the areas where ships navigate, the scale economies of trade routes, and the cost-benefit analysis of ship modernization.


title: Khavinson problem for hyperbolic harmonic mappings in Hardy space

abstract: \begin{abstract} In this paper, we partly solve the generalized Khavinson conjecture in the setting of hyperbolic harmonic mappings in Hardy space. Assume that $u=\mathcal{P}_{\Omega}[\phi]$ and $\phi\in L^{p}(\partial\Omega, \mathbb{R})$, where $p\in[1,\infty]$, $\mathcal{P}_{\Omega}[\phi]$ denotes the Poisson integral of $\phi$ with respect to the hyperbolic Laplacian operator $\Delta_{h}$ in $\Omega$, and $\Omega$ denotes the unit ball $\mathbb{B}^{n}$ or the half-space $\mathbb{H}^{n}$. For any $x\in \Omega$ and $l\in \mathbb{S}^{n-1}$, let $\mathbf{C}_{\Omega,q}(x)$ and $\mathbf{C}_{\Omega,q}(x;l)$ denote the optimal numbers for the gradient estimate $$ |\nabla u(x)|\leq \mathbf{C}_{\Omega,q}(x)\|\phi\|_{ L^{p}(\partial\Omega, \mathbb{R})} $$ and gradient estimate in the direction $l$ $$|\langle\nabla u(x),l\rangle|\leq \mathbf{C}_{\Omega,q}(x;l)\|\phi\|_{ L^{p}(\partial\Omega, \mathbb{R})}, $$ respectively. Here $q$ is the conjugate of $p$. If $q=\infty$ or $q\in[\frac{2K_{0}-1}{n-1}+1,\frac{2K_{0}}{n-1}+1]\cap [1,\infty)$ with $K_{0}\in\mathbb{N}=\{0,1,2,\ldots\}$, then $\mathbf{C}_{\mathbb{B}^{n},q}(x)=\mathbf{C}_{\mathbb{B}^{n},q}(x;\pm\frac{x}{|x|})$ for any $x\in\mathbb{B}^{n}\backslash\{0\}$, and $\mathbf{C}_{\mathbb{H}^{n},q}(x)=\mathbf{C}_{\mathbb{H}^{n},q}(x;\pm e_{n})$ for any $x\in \mathbb{H}^{n}$, where $e_{n}=(0,\ldots,0,1)\in\mathbb{S}^{n-1}$. However, if $q\in(1,\frac{n}{n-1})$, then $\mathbf{C}_{\mathbb{B}^{n},q}(x)=\mathbf{C}_{\mathbb{B}^{n},q}(x;t_{x})$ for any $x\in\mathbb{B}^{n}\backslash\{0\}$, and $\mathbf{C}_{\mathbb{H}^{n},q}(x)=\mathbf{C}_{\mathbb{H}^{n},q}(x;t_{e_{n}})$ for any $x\in \mathbb{H}^{n}$. Here $t_{w}$ denotes any unit vector in $\mathbb{R}^{n}$ such that $\langle t_{w},w\rangle=0$ for $w\in \mathbb{R}^{n}\setminus\{0\}$. \end{abstract}


title: Resilient Composition of Drone Services for Delivery

abstract: We propose a novel resilient drone service composition framework for delivery in dynamic weather conditions. We use a skyline approach to select an optimal set of candidate drone services at the source node in a skyway network. Drone services are initially composed using a novel constraint-aware deterministic lookahead algorithm using the multi-armed bandit tree exploration. We propose a heuristic-based resilient service composition approach that adapts to runtime changes and periodically updates the composition to meet delivery expectations. Experimental results prove the efficiency of the proposed approach.


title: Physical-Layer Security for Two-Hop Air-to-Underwater Communication Systems With Fixed-Gain Amplify-and-Forward Relaying

abstract: We analyze a secure two-hop mixed radio frequency (RF) and underwater wireless optical communication (UWOC) system using a fixed-gain amplify-and-forward (AF) relay. The UWOC channel is modeled using a unified mixture exponential-generalized Gamma distribution to consider the combined effects of air bubbles and temperature gradients on transmission characteristics. Both legitimate and eavesdropping RF channels are modeled using flexible $\alpha-\mu$ distributions. Specifically, we first derive both the probability density function (PDF) and cumulative distribution function (CDF) of the received signal-to-noise ratio (SNR) of the mixed RF and UWOC system. Based on the PDF and CDF expressions, we derive the closed-form expressions for the tight lower bound of the secrecy outage probability (SOP) and the probability of non-zero secrecy capacity (PNZ), which are both expressed in terms bivariate Fox's $H$-function. To utilize these analytical expressions, we derive asymptotic expressions of SOP and PNZ using only elementary functions. Also, we use asymptotic expressions to determine the optimal transmitting power to maximize energy efficiency. Further, we thoroughly investigate the effect of levels of air bubbles and temperature gradients in the UWOC channel, and study nonlinear characteristics of the transmission medium and the number of multipath clusters of the RF channel on the secrecy performance. Finally, all analyses are validated using Monte Carlo simulation.


title: Variational Simulation of Schwinger's Hamiltonian with Polarisation Qubits

abstract: The numerical emulation of quantum physics and quantum chemistry often involves an intractable number of degrees of freedom and admits no known approximation in general form. In practice, representing quantum-mechanical states using available numerical methods becomes exponentially more challenging with increasing system size. Recently quantum algorithms implemented as variational models, have been proposed to accelerate such simulations. Here we study the effect of noise on the quantum phase transition in the Schwinger model, within a variational framework. The experiments are built using a free space optical scheme to realize a pair of polarization qubits and enable any two-qubit state to be experimentally prepared up to machine tolerance. We specifically exploit the possibility to engineer noise and decoherence for polarization qubits to explore the limits of variational algorithms for NISQ architectures in identifying and quantifying quantum phase transitions with noisy qubits. We find that despite the presence of noise one can detect the phase transition of the Schwinger Hamiltonian even for a two-qubit system using variational quantum algorithms.


title: On ill- and well-posedness of dissipative martingale solutions to stochastic 3D Euler equations

abstract: We are concerned with the question of well-posedness of stochastic three dimensional incompressible Euler equations. In particular, we introduce a novel class of dissipative solutions and show that (i) existence; (ii) weak--strong uniqueness; (iii) non-uniqueness in law; (iv) existence of a strong Markov solution; (v) non-uniqueness of strong Markov solutions; all hold true within this class. Moreover, as a byproduct of (iii) we obtain existence and non-uniqueness of probabilistically strong and analytically weak solutions defined up to a stopping time and satisfying an energy inequality.


title: On Restricting First Order Form of Gauge Theories to One-Loop Order

abstract: The first order form of the Yang-Mills and Einstein-Hilbert actions are quantized, and it is shown how Green's functions computed using the first and the second order form of these theories are related. Next we show how by use of Lagrange multiplier fields (LM), radiative effects beyond one-loop order can be eliminated. This allows one to compute Green's functions exactly without loss of unitarity. The consequences of this restriction on radiative effects are examined for the Yang-Mills and Einstein-Hilbert actions. In these two gauge theories, we find that the quantized theory is both renormalizable and unitary once the LM field is used to eliminate effects beyond one-loop order.


title: Covariance Steering with Optimal Risk Allocation

abstract: This paper extends the optimal covariance steering problem for linear stochastic systems subject to chance constraints to account for optimal risk allocation. Previous works have assumed a uniform risk allocation to cast the optimal control problem as a semi-definite program (SDP), which can be solved efficiently using standard SDP solvers. We adopt an Iterative Risk Allocation (IRA) formalism, which uses a two-stage approach to solve the optimal risk allocation problem for covariance steering. The upper-stage of IRA optimizes the risk, which is proved to be a convex problem, while the lower-stage optimizes the controller with the new constraints. This is done iteratively so as to find the optimal risk allocation that achieves the lowest total cost. The proposed framework results in solutions that tend to maximize the terminal covariance, while still satisfying the chance constraints, thus leading to less conservative solutions than previous methodologies. We also introduce two novel convex relaxation methods to approximate quadratic chance constraints as second-order cone constraints. We finally demonstrate the approach to a spacecraft rendezvous problem and compare the results.


title: Measurement-device-independent quantum key distribution of multiple degrees of freedom of a single photon

abstract: Measurement-device-independent quantum key distribution (MDI-QKD) provides us a powerful approach to resist all attacks at detection side. Besides the unconditional security, people also seek for high key generation rate, but MDI-QKD has relatively low key generation rate. In this paper, we provide an efficient approach to increase the key generation rate of MDI-QKD by adopting multiple degrees of freedom (DOFs) of single photons to generate keys. Compared with other high-dimension MDI-QKD protocols encoding in one DOF, our protocol is more flexible, for our protocol generating keys in independent subsystems and the detection failure or error in a DOF not affecting the information encoding in other DOFs. Based on above features, our MDI-QKD protocol may have potential application in future quantum communication field.


title: Open-set Short Utterance Forensic Speaker Verification using Teacher-Student Network with Explicit Inductive Bias

abstract: In forensic applications, it is very common that only small naturalistic datasets consisting of short utterances in complex or unknown acoustic environments are available. In this study, we propose a pipeline solution to improve speaker verification on a small actual forensic field dataset. By leveraging large-scale out-of-domain datasets, a knowledge distillation based objective function is proposed for teacher-student learning, which is applied for short utterance forensic speaker verification. The objective function collectively considers speaker classification loss, Kullback-Leibler divergence, and similarity of embeddings. In order to advance the trained deep speaker embedding network to be robust for a small target dataset, we introduce a novel strategy to fine-tune the pre-trained student model towards a forensic target domain by utilizing the model as a finetuning start point and a reference in regularization. The proposed approaches are evaluated on the 1st48-UTD forensic corpus, a newly established naturalistic dataset of actual homicide investigations consisting of short utterances recorded in uncontrolled conditions. We show that the proposed objective function can efficiently improve the performance of teacher-student learning on short utterances and that our fine-tuning strategy outperforms the commonly used weight decay method by providing an explicit inductive bias towards the pre-trained model.


title: Giant nonlinear response of 2D materials induced by optimal field-enhancement gain mode in hyperbolic meta-structure

abstract: Resonant modes in metamaterials have been widely utilized to amplify the optical response of 2D materials for practical device applications. However, the high loss at the resonant mode severely hinders metamaterial applications. Here, we introduce a field-enhancement gain (FEG) factor to find the FEG mode for significantly improving light-matter interaction. As a demonstration, we experimentally compared the second harmonic generation enhancement of monolayer MoS2 induced by the optimal FEG and resonant modes in hyperbolic meta-structures. With the optimal FEG mode, we obtained an enhancement of 22145-fold and a conversion efficiency of 1.1*10-6 W-1, which are respectively one and two orders of magnitude higher than that previously reported of monolayer MoS2. A broadband high-FEG region over ~80 nm where the nonlinear enhancement is larger than that induced by the resonant mode is achieved. The concept of FEG factor is general to metamaterials, opening a new way for advancing their applications.


title: Efficient Design of Subblock Energy-Constrained Codes and Sliding Window-Constrained Codes

abstract: The subblock energy-constrained codes (SECCs) and sliding window-constrained codes (SWCCs) have recently attracted attention due to various applications in communcation systems such as simultaneous energy and information transfer. In a SECC, each codewod is divided into smaller non-overlapping windows, called subblocks, and every subblock is constrained to carry sufficient energy. In a SWCC, the energy constraint is enforced over every window. In this work, we focus on the binary channel, where sufficient energy is achieved theoretically by using relatively high weight codes, and study SECCs and SWCCs under more general constraints, namely bounded SECCs and bounded SWCCs. We propose two methods to construct such codes with low redundancy and linear-time complexity, based on Knuth's balancing technique and sequence replacement technique. For certain codes parameters, our methods incur only one redundant bit. We also impose the minimum distance constraint for error correction capability of the designed codes, which helps to reduce the error propagation during decoding as well.


title: Clinical trial of an AI-augmented intervention for HIV prevention in youth experiencing homelessness

abstract: Youth experiencing homelessness (YEH) are subject to substantially greater risk of HIV infection, compounded both by their lack of access to stable housing and the disproportionate representation of youth of marginalized racial, ethnic, and gender identity groups among YEH. A key goal for health equity is to improve adoption of protective behaviors in this population. One promising strategy for intervention is to recruit peer leaders from the population of YEH to promote behaviors such as condom usage and regular HIV testing to their social contacts. This raises a computational question: which youth should be selected as peer leaders to maximize the overall impact of the intervention? We developed an artificial intelligence system to optimize such social network interventions in a community health setting. We conducted a clinical trial enrolling 713 YEH at drop-in centers in a large US city. The clinical trial compared interventions planned with the algorithm to those where the highest-degree nodes in the youths' social network were recruited as peer leaders (the standard method in public health) and to an observation-only control group. Results from the clinical trial show that youth in the AI group experience statistically significant reductions in key risk behaviors for HIV transmission, while those in the other groups do not. This provides, to our knowledge, the first empirical validation of the usage of AI methods to optimize social network interventions for health. We conclude by discussing lessons learned over the course of the project which may inform future attempts to use AI in community-level interventions.


title: ES Attack: Model Stealing against Deep Neural Networks without Data Hurdles

abstract: Deep neural networks (DNNs) have become the essential components for various commercialized machine learning services, such as Machine Learning as a Service (MLaaS). Recent studies show that machine learning services face severe privacy threats - well-trained DNNs owned by MLaaS providers can be stolen through public APIs, namely model stealing attacks. However, most existing works undervalued the impact of such attacks, where a successful attack has to acquire confidential training data or auxiliary data regarding the victim DNN. In this paper, we propose ES Attack, a novel model stealing attack without any data hurdles. By using heuristically generated synthetic data, ES Attack iteratively trains a substitute model and eventually achieves a functionally equivalent copy of the victim DNN. The experimental results reveal the severity of ES Attack: i) ES Attack successfully steals the victim model without data hurdles, and ES Attack even outperforms most existing model stealing attacks using auxiliary data in terms of model accuracy; ii) most countermeasures are ineffective in defending ES Attack; iii) ES Attack facilitates further attacks relying on the stolen model.


title: Correlating Subword Articulation with Lip Shapes for Embedding Aware Audio-Visual Speech Enhancement

abstract: In this paper, we propose a visual embedding approach to improving embedding aware speech enhancement (EASE) by synchronizing visual lip frames at the phone and place of articulation levels. We first extract visual embedding from lip frames using a pre-trained phone or articulation place recognizer for visual-only EASE (VEASE). Next, we extract audio-visual embedding from noisy speech and lip videos in an information intersection manner, utilizing a complementarity of audio and visual features for multi-modal EASE (MEASE). Experiments on the TCD-TIMIT corpus corrupted by simulated additive noises show that our proposed subword based VEASE approach is more effective than conventional embedding at the word level. Moreover, visual embedding at the articulation place level, leveraging upon a high correlation between place of articulation and lip shapes, shows an even better performance than that at the phone level. Finally the proposed MEASE framework, incorporating both audio and visual embedding, yields significantly better speech quality and intelligibility than those obtained with the best visual-only and audio-only EASE systems.


title: Constraining annihilating dark matter mass by the radio continuum spectral data of NGC4214 galaxy

abstract: Recent gamma-ray and radio observations provide stringent constraints for annihilating dark matter. The current $2\sigma$ lower limits of dark matter mass can be constrained to $\sim 100$ GeV for thermal relic annihilation cross section. In this article, we use the radio continuum spectral data of a nearby galaxy NGC4214 and differentiate the thermal contribution, dark matter annihilation contribution and cosmic-ray contribution. We can get more stringent constraints of dark matter mass and annihilation cross sections. The $5\sigma$ lower limits of thermal relic annihilating dark matter mass obtained are 300 GeV, 220 GeV, 220 GeV, 500 GeV and 600 GeV for $e^+e^-$, $\mu^+\mu^-$, $\tau^+\tau^-$, $W^+W^-$ and $b\bar{b}$ channels respectively. These limits challenge the dark matter interpretation of the gamma-ray, positron and antiproton excess in our Milky Way.


title: Giant Enhancement of Photoluminescence Emission in Monolayer WS2 by Femtosecond Laser Irradiation

abstract: Monolayer transition metal dichalcogenides have emerged as promising materials for optoelectronic and nanophotonic devices. However, the low photoluminescence (PL) quantum yield (QY) hinders their various potential applications. Here we engineer and enhance the PL intensity of monolayer WS2 by femtosecond laser irradiation. More than two orders of magnitude enhancement of PL intensity as compared to the as-prepared sample is determined. Furthermore, the engineering time is shortened by three orders of magnitude as compared to the improvement of PL intensity by continuous-wave laser irradiation. Based on the evolution of PL spectra, we attribute the giant PL enhancement to the conversion from trion emission to exciton, as well as the improvement of the QY when exciton and trion are localized to the new-formed defects. We have created microstructures on the monolayer WS2 based on the enhancement of PL intensity, where the engineered structures can be stably stored for more than three years. This flexible approach with the feature of excellent long-term storage stability is promising for applications in information storage, display technology, and optoelectronic devices.


title: Geometric Mean of Concentrations and Reversal Permanent Charge in Zero-Current Ionic Flows via Poisson-Nernst-Planck Models

abstract: This work examines the geometric mean of concentrations and its behavior in various situations, as well as the reversal permanent charge problem, the charge sharing seen in x-ray diffraction. Observations are obtained from analytical results established using geometric singular perturbation analysis of classical Poisson-Nernst-Planck models. For ionic mixtures of multiple ion species Mofidi and Liu [{\em SIAM J. Appl. Math. {\bf 80} (2020), 1908-1935}] centered two ion species with unequal diffusion constants to acquire a system for determining the reversal potential and reversal permanent charge. They studied the reversal potential problem and its dependence on diffusion coefficients, membrane potential, membrane concentrations, etc. Here we use the same approach to study the dual problem of reversal permanent charges and its dependence on other conditions. We consider two ion species with positive and negative charges, say Ca$^+$ and Cl$^-$, to determine the specific conditions under which the permanent charge is unique. Furthermore, we investigate the behavior of geometric mean of concentrations for various values of transmembrane potential and permanent charge.

categories: cond-mat.stat-mech math-ph math.DS math.MP


title: Reversible engineering the spin-orbit coupling of monolayer MoS2 via laser irradiation under controlled gas atmospheres

abstract: Monolayer transition metal dichalcogenides (TMDs) with strong spin-orbit coupling combined with broken inversion symmetry, leading to a coupling of spin and valley degrees of freedom, make these materials highly interesting for potential spintronics and valleytronic applications. However, engineering the spin-orbit coupling (SOC) at room temperature as demand after device fabrication is still a great challenge for their practical applications. Here we reversibly engineer the spin-orbit coupling of monolayer MoS2 by laser irradiation under controlled gas environments, where the spin-orbit splitting has been effectively regulated within 120 meV to 200 meV. Furthermore, the photoluminescence (PL) intensity of B exciton can be invertible manipulation over 2 orders of magnitude. We attribute the engineering of spin-orbit splitting to the reduction of binding energy combined with band renormalization, originating from the enhanced absorption coefficient of monolayer MoS2 under inert gases and subsequent the significantly boosted carrier concentrations. Reflectance contrast spectra during the engineering stage provide unambiguous proof to support our interpretation. Our approach offers a new avenue to actively control the SOC strength in TMDs materials at room temperature and paves the way for designing innovative spintronics devices.


title: SSCR: Iterative Language-Based Image Editing via Self-Supervised Counterfactual Reasoning

abstract: Iterative Language-Based Image Editing (IL-BIE) tasks follow iterative instructions to edit images step by step. Data scarcity is a significant issue for ILBIE as it is challenging to collect large-scale examples of images before and after instruction-based changes. However, humans still accomplish these editing tasks even when presented with an unfamiliar image-instruction pair. Such ability results from counterfactual thinking and the ability to think about alternatives to events that have happened already. In this paper, we introduce a Self-Supervised Counterfactual Reasoning (SSCR) framework that incorporates counterfactual thinking to overcome data scarcity. SSCR allows the model to consider out-of-distribution instructions paired with previous images. With the help of cross-task consistency (CTC), we train these counterfactual instructions in a self-supervised scenario. Extensive results show that SSCR improves the correctness of ILBIE in terms of both object identity and position, establishing a new state of the art (SOTA) on two IBLIE datasets (i-CLEVR and CoDraw). Even with only 50% of the training data, SSCR achieves a comparable result to using complete data.


title: Ultrashort Pulse Generation in Modeless Laser Cavity

abstract: We demonstrate experimentally that random phase modulation of an erbium-doped fiber ring-laser by an intra-cavity electro-optic phase modulator did not inhibit ultrashort-pulse operation. Stable and self-starting ultrashort-pulse operation with a single pulse circulating in the cavity was achieved even when the phase modulator was driven with random sequences sufficiently fast and strong to render the laser cavity modeless, in the sense that heterodyning of the laser output did not show any spectral lines corresponding to a mode spectrum. No significant change in measured pulse characteristics was observed, compared to conventional mode-locking in the unmodulated cavity. The insensitivity to the random phase modulation is expected, given the lack of phase-sensitive elements in the cavity.


title: Vector Projection Network for Few-shot Slot Tagging in Natural Language Understanding

abstract: Few-shot slot tagging becomes appealing for rapid domain transfer and adaptation, motivated by the tremendous development of conversational dialogue systems. In this paper, we propose a vector projection network for few-shot slot tagging, which exploits projections of contextual word embeddings on each target label vector as word-label similarities. Essentially, this approach is equivalent to a normalized linear model with an adaptive bias. The contrastive experiment demonstrates that our proposed vector projection based similarity metric can significantly surpass other variants. Specifically, in the five-shot setting on benchmarks SNIPS and NER, our method outperforms the strongest few-shot learning baseline by $6.30$ and $13.79$ points on F$_1$ score, respectively. Our code will be released at https://github.com/sz128/few_shot_slot_tagging_and_NER.


title: Phase Competition in HfO$_2$ with Applied Electric Field from First Principles

abstract: In this work, the results of first-principles density-functional-theory calculations are used to construct the energy landscapes of HfO$_2$ and its Y and Zr substituted derivatives as a function of symmetry-adapted lattice-mode amplitudes. These complex energy landscapes possess multiple local minima, corresponding to the tetragonal, oIII ($Pca2_1$), and oIV ($Pmn2_1$) phases. We find that the energy barrier between the non-polar tetragonal phase and the ferroelectric oIII phase can be lowered by Y and Zr substitution. In Hf$_{0.5}$Zr$_{0.5}$O$_2$ with an ordered cation arrangement, Zr substitution makes the oIV phase unstable, and it become an intermediate state in the tetragonal to oIII phase transition. Using these energy landscapes, we interpret the structural transformations and hysteresis loops computed for electric-field cycles with various choices of field direction. The implications of these results for interpreting experimental observations, such as the wake-up and split-up effects, are also discussed. These results and analysis deepen our understanding of the origin of ferroelectricity and field cycling behaviors in HfO$_2$-based films, and allow us to propose strategies for improving their functional properties.


title: On the Efficient Estimation of Min-Entropy

abstract: The min-entropy is a widely used metric to quantify the randomness of generated random numbers in cryptographic applications; it measures the difficulty of guessing the most likely output. An important min-entropy estimator is the compression estimator of NIST Special Publication (SP) 800-90B, which relies on Maurer's universal test. In this paper, we propose two kinds of min-entropy estimators to improve computational complexity and estimation accuracy by leveraging two variations of Maurer's test: Coron's test (for Shannon entropy) and Kim's test (for Renyi entropy). First, we propose a min-entropy estimator based on Coron's test. It is computationally more efficient than the compression estimator while maintaining the estimation accuracy. The secondly proposed estimator relies on Kim's test that computes the Renyi entropy. This estimator improves estimation accuracy as well as computational complexity. We analytically characterize the bias-variance tradeoff, which depends on the order of Renyi entropy. By taking into account this tradeoff, we observe that the order of two is a proper assignment and focus on the min-entropy estimation based on the collision entropy (i.e., Renyi entropy of order two). The min-entropy estimation from the collision entropy can be described by a closed-form solution, whereas both the compression estimator and the proposed estimator based on Coron's test do not have closed-form solutions. By leveraging the closed-form solution, we also propose a lightweight estimator that processes data samples in an online manner. Numerical evaluations demonstrate that the first proposed estimator achieves the same accuracy as the compression estimator with much less computation. The proposed estimator based on the collision entropy can even improve the accuracy and reduce the computational complexity.


title: Semi-supervised Semantic Segmentation of Prostate and Organs-at-Risk on 3D Pelvic CT Images

abstract: Automated segmentation can assist radiotherapy treatment planning by saving manual contouring efforts and reducing intra-observer and inter-observer variations. The recent development of deep learning approaches has revoluted medical data processing, including semantic segmentation, by dramatically improving performance. However, training effective deep learning models usually require a large amount of high-quality labeled data, which are often costly to collect. We developed a novel semi-supervised adversarial deep learning approach for 3D pelvic CT image semantic segmentation. Unlike supervised deep learning methods, the new approach can utilize both annotated and un-annotated data for training. It generates un-annotated synthetic data by a data augmentation scheme using generative adversarial networks (GANs). We applied the new approach to segmenting multiple organs in male pelvic CT images, where CT images without annotations and GAN-synthesized un-annotated images were used in semi-supervised learning. Experimental results, evaluated by three metrics (Dice similarity coefficient, average Hausdorff distance, and average surface Hausdorff distance), showed that the new method achieved either comparable performance with substantially fewer annotated images or better performance with the same amount of annotated data, outperforming the existing state-of-the-art methods.


title: Volterra mortality model: Actuarial valuation and risk management with long-range dependence

abstract: While abundant empirical studies support the long-range dependence (LRD) of mortality rates, the corresponding impact on mortality securities are largely unknown due to the lack of appropriate tractable models for valuation and risk management purposes. We propose a novel class of Volterra mortality models that incorporate LRD into the actuarial valuation, retain tractability, and are consistent with the existing continuous-time affine mortality models. We derive the survival probability in closed-form solution by taking into account of the historical health records. The flexibility and tractability of the models make them useful in valuing mortality-related products such as death benefits, annuities, longevity bonds, and many others, as well as offering optimal mean-variance mortality hedging rules. Numerical studies are conducted to examine the effect of incorporating LRD into mortality rates on various insurance products and hedging efficiency.


title: Quantum-Classical Dynamical Brackets

abstract: We study the problem of constructing a general hybrid quantum-classical bracket from a partial classical limit of a full quantum bracket. Introducing a hybrid composition product, we show that such a bracket is the commutator of that product. From this we see that the hybrid bracket will obey the Jacobi identity and the Leibniz rule provided the composition product is associative. This suggests that the set of hybrid variables belonging to an associative subalgebra with the composition product will have consistent quantum-classical dynamics. This restricts the class of allowed quantum-classical interaction Hamiltonians. Furthermore, we show that pure quantum or classical variables can interact in a consistent framework, unaffected by no-go theorems in the literature or the restrictions for hybrid variables. In the proposed scheme, quantum backreaction appears as quantum-dependent terms in the classical equations of motion.


title: Reconstruct high-resolution multi-focal plane images from a single 2D wide field image

abstract: High-resolution 3D medical images are important for analysis and diagnosis, but axial scanning to acquire them is very time-consuming. In this paper, we propose a fast end-to-end multi-focal plane imaging network (MFPINet) to reconstruct high-resolution multi-focal plane images from a single 2D low-resolution wild filed image without relying on scanning. To acquire realistic MFP images fast, the proposed MFPINet adopts generative adversarial network framework and the strategies of post-sampling and refocusing all focal planes at one time. We conduct a series experiments on cytology microscopy images and demonstrate that MFPINet performs well on both axial refocusing and horizontal super resolution. Furthermore, MFPINet is approximately 24 times faster than current refocusing methods for reconstructing the same volume images. The proposed method has the potential to greatly increase the speed of high-resolution 3D imaging and expand the application of low-resolution wide-field images.


title: Human Engagement Providing Evaluative and Informative Advice for Interactive Reinforcement Learning

abstract: Interactive reinforcement learning proposes the use of externally-sourced information in order to speed up the learning process. When interacting with a learner agent, humans may provide either evaluative or informative advice. Prior research has focused on the effect of human-sourced advice by including real-time feedback on the interactive reinforcement learning process, specifically aiming to improve the learning speed of the agent, while minimising the time demands on the human. This work focuses on answering which of two approaches, evaluative or informative, is the preferred instructional approach for humans. Moreover, this work presents an experimental setup for a human-trial designed to compare the methods people use to deliver advice in terms of human engagement. The results obtained show that users giving informative advice to the learner agents provide more accurate advice, are willing to assist the learner agent for a longer time, and provide more advice per episode. Additionally, self-evaluation from participants using the informative approach has indicated that the agent's ability to follow the advice is higher, and therefore, they feel their own advice to be of higher accuracy when compared to people providing evaluative advice.


title: Spontaneous transition rates near the focus of a parabolic mirror with identification of the vectorial modes involved

abstract: Each natural mode of the electromagnetic field within a parabolic mirror exhibits spatial localization and polarization properties that can be exploited for the quantum control of its interaction with atomic systems. The region of localization is not restricted to the focus of the mirror leading to a selective response of atomic systems trapped on its vicinity. We report calculations of the spontaneous emission rates for an atom trapped inside the mirror accounting for all atomic polarizations and diverse trapping regions. It is shown that electric dipole transitions can be enhanced near the focus of a deep parabolic mirror with a clear identification of the few vectorial modes involved. Out of the focus the enhancement vanishes gradually, but the number of relevant modes remains small. Ultimately this represents a quantum electrodynamic system where internal and external degrees of freedom cooperate to maximize a selective exchange and detection of single excitations.


title: Learn to Exceed: Stereo Inverse Reinforcement Learning with Concurrent Policy Optimization

abstract: In this paper, we study the problem of obtaining a control policy that can mimic and then outperform expert demonstrations in Markov decision processes where the reward function is unknown to the learning agent. One main relevant approach is the inverse reinforcement learning (IRL), which mainly focuses on inferring a reward function from expert demonstrations. The obtained control policy by IRL and the associated algorithms, however, can hardly outperform expert demonstrations. To overcome this limitation, we propose a novel method that enables the learning agent to outperform the demonstrator via a new concurrent reward and action policy learning approach. In particular, we first propose a new stereo utility definition that aims to address the bias in the interpretation of expert demonstrations. We then propose a loss function for the learning agent to learn reward and action policies concurrently such that the learning agent can outperform expert demonstrations. The performance of the proposed method is first demonstrated in OpenAI environments. Further efforts are conducted to experimentally validate the proposed method via an indoor drone flight scenario.


title: Stability of cycle in samplogram and spurious cycles in solar activity

abstract: The spectral analysis with stochastic significance cannot distinguish the spurious cycles effectively, because a non-stationary signal can make a significant peak in spectrum. I show that the random separation between the grand extremes such as grand maxima and minima in solar activity can make a spurious but significant peak in spectrum. And it is possible to pick even the weak stable cycle by applying an averaging down-sampling and the differencing to a random signal. This is because both operations variously change the height of peak in spectrum and the spurious cycle is in turn unstable in both operations. I introduce a samplogram showing these operations and stability intuitively.


title: On the Performance of Generative Adversarial Network (GAN) Variants: A Clinical Data Study

abstract: Generative Adversarial Network (GAN) is a useful type of Neural Networks in various types of applications including generative models and feature extraction. Various types of GANs are being researched with different insights, resulting in a diverse family of GANs with a better performance in each generation. This review focuses on various GANs categorized by their common traits.