title: Nonlinear dynamics of wave packets in tunnel-coupled harmonic-oscillator traps

abstract: We consider a two-component linearly-coupled system with the intrinsic cubic nonlinearity and the harmonic-oscillator (HO) confining potential. The system models binary settings in BEC and optics. In the symmetric system, with the HO trap acting in both components, we consider Josephson oscillations (JO) initiated by an input in the form of the HO's ground state (GS) or dipole mode (DM), placed in one component. With the increase of the strength of the self-focusing nonlinearity, spontaneous symmetry breaking (SSB) between the components takes place in the dynamical JO state. Under still stronger nonlinearity, the regular JO initiated by the GS input carry over into a chaotic dynamical state. For the DM input, the chaotization happens at smaller powers than for the GS, which is followed by SSB at a slightly stronger nonlinearity. In the system with the defocusing nonlinearity, SSB does not take place, and dynamical chaos occurs in a small area of the parameter space. In the asymmetric half-trapped system, with the HO potential applied to a single component, we first focus on the spectrum of confined binary modes in the linearized system. The spectrum is found analytically in the limits of weak and strong inter-component coupling, and numerically in the general case. Under the action of the coupling, the existence region of the confined modes shrinks for GSs and expands for DMs. In the full nonlinear system, the existence region for confined modes is identified in the numerical form. They are constructed too by means of the Thomas-Fermi approximation, in the case of the defocusing nonlinearity. Lastly, particular (non-generic) exact analytical solutions for confined modes, including vortices, in one- and two-dimensional asymmetric linearized systems are found. They represent bound states in the continuum.


title: Improving Action Quality Assessment using Weighted Aggregation

abstract: Action quality assessment (AQA) aims at automatically judging human action based on a video of the said action and assigning a performance score to it. The majority of works in the existing literature on AQA divide RGB videos into short clips, transform these clips to higher-level representations using Convolutional 3D (C3D) networks, and aggregate them through averaging. These higher-level representations are used to perform AQA. We find that the current clip level feature aggregation technique of averaging is insufficient to capture the relative importance of clip level features. In this work, we propose a learning-based weighted-averaging technique. Using this technique, better performance can be obtained without sacrificing too much computational resources. We call this technique Weight-Decider(WD). We also experiment with ResNets for learning better representations for action quality assessment. We assess the effects of the depth and input clip size of the convolutional neural network on the quality of action score predictions. We achieve a new state-of-the-art Spearman's rank correlation of 0.9315 (an increase of 0.45%) on the MTL-AQA dataset using a 34 layer (2+1)D ResNet with the capability of processing 32 frame clips, with WD aggregation.


title: Inductive logic programming at 30

abstract: Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program) that generalises given training examples. As ILP turns 30, we review the last decade of research. We focus on (i) new meta-level search methods, (ii) techniques for learning recursive programs, (iii) new approaches for predicate invention, and (iv) the use of different technologies. We conclude by discussing current limitations of ILP and directions for future research.


title: Contrastive Self-supervised Neural Architecture Search

abstract: This paper proposes a novel cell-based neural architecture search algorithm (NAS), which completely alleviates the expensive costs of data labeling inherited from supervised learning. Our algorithm capitalizes on the effectiveness of self-supervised learning for image representations, which is an increasingly crucial topic of computer vision. First, using only a small amount of unlabeled train data under contrastive self-supervised learning allow us to search on a more extensive search space, discovering better neural architectures without surging the computational resources. Second, we entirely relieve the cost for labeled data (by contrastive loss) in the search stage without compromising architectures' final performance in the evaluation phase. Finally, we tackle the inherent discrete search space of the NAS problem by sequential model-based optimization via the tree-parzen estimator (SMBO-TPE), enabling us to reduce the computational expense response surface significantly. An extensive number of experiments empirically show that our search algorithm can achieve state-of-the-art results with better efficiency in data labeling cost, searching time, and accuracy in final validation.


title: Inconsistency thresholds for incomplete pairwise comparison matrices

abstract: Pairwise comparison matrices are increasingly used in settings where some pairs are missing. However, there exist few inconsistency indices for similar incomplete data sets and no reasonable measure has an associated threshold. This paper generalises the famous rule of thumb for the acceptable level of inconsistency, proposed by Saaty, to incomplete pairwise comparison matrices. The extension is based on choosing the missing elements such that the maximal eigenvalue of the incomplete matrix is minimised. Consequently, the well-established values of the random index cannot be adopted: the inconsistency of random matrices is found to be the function of matrix size and the number of missing elements, with a nearly linear dependence in the case of the latter variable. Our results can be directly built into decision-making software and used by practitioners as a statistical criterion for accepting or rejecting an incomplete pairwise comparison matrix.


title: Light-matter quantum Otto engine in finite time

abstract: We study a quantum Otto engine at finite time, where the working substance is composed of a two-level system interacting with a harmonic oscillator, described by the quantum Rabi model. We obtain the limit cycle and calculate the total work extracted, efficiency, and power of the engine by numerically solving the master equation describing the open system dynamics. We relate the total work extracted and the efficiency at maximum power with the quantum correlations embedded in the working substance, which we consider through entanglement of formation and quantum discord. Interestingly, we find that the engine can overcome the Curzon-Ahlborn efficiency when the working substance is in the ultrastrong coupling regime. This high-efficiency regime roughly coincides with the cases where the entanglement in the working substance experiences the greatest reduction in the hot isochoric stage. Our results highlight the efficiency performance of correlated working substances for quantum heat engines.


title: A Concept Knowledge-Driven Keywords Retrieval Framework for Sponsored Search

abstract: In sponsored search, retrieving synonymous keywords for exact match type is important for accurately targeted advertising. Data-driven deep learning-based method has been proposed to tackle this problem. An apparent disadvantage of this method is its poor generalization performance on entity-level long-tail instances, even though they might share similar concept-level patterns with frequent instances. With the help of a large knowledge base, we find that most commercial synonymous query-keyword pairs can be abstracted into meaningful conceptual patterns through concept tagging. Based on this fact, we propose a novel knowledge-driven conceptual retrieval framework to mitigate this problem, which consists of three parts: data conceptualization, matching via conceptual patterns and concept-augmented discrimination. Both offline and online experiments show that our method is very effective. This framework has been successfully applied to Baidu's sponsored search system, which yields a significant improvement in revenue.


title: Detection of Winding Axial Deformation in Power Transformers by UWB Radar Imaging

abstract: In this paper, a novel method for detecting transformer winding axial displacement has been presented. In this method, which is based on UWB radar imaging, a UWB pulse is transmitted to the transformer winding and the reflection from it is received and recorded. By changing the antenna position this process is repeated on several points along the axis of the winding. The measured signals are mapped to a 2-D image of the winding. By analyzing this image, the axial displacement of the winding can detected and the magnitude of it is determined with an acceptable precision. Simulation results are provided to verify the proposed method.


title: Tractable Computation of Expected Kernels

abstract: Computing the expectation of kernel functions is a ubiquitous task in machine learning, with applications from classical support vector machines to exploiting kernel embeddings of distributions in probabilistic modeling, statistical inference, causal discovery, and deep learning. In all these scenarios, we tend to resort to Monte Carlo estimates as expectations of kernels are intractable in general. In this work, we characterize the conditions under which we can compute expected kernels exactly and efficiently, by leveraging recent advances in probabilistic circuit representations. We first construct a circuit representation for kernels and propose an approach to such tractable computation. We then demonstrate possible advancements for kernel embedding frameworks by exploiting tractable expected kernels to derive new algorithms for two challenging scenarios: 1) reasoning under missing data with kernel support vector regressors; 2) devising a collapsed black-box importance sampling scheme. Finally, we empirically evaluate both algorithms and show that they outperform standard baselines on a variety of datasets.


title: Local Well-posedness of Two Dimensional SQG Equation and Related Models

abstract: In this paper, we present a new and elementary proof of the local existence and uniqueness of the classical solution to the Cauchy problem of the two-dimensional generalized surface quasi-geostrophic (SQG) equation via the method of the contraction mapping principle. Also, same result holds true for a kind of transport equation with nonlocal velocity via the method of the contraction mapping principle.


title: Translational symmetries of quadratic lagrangians

abstract: In this paper we show that a quadratic lagrangian, with no constraints, containing ordinary time derivatives up to the order $m$ of $N$ dynamical variables, has $2mN$ symmetries consisting in the translation of the variables with solutions of the equations of motion. We construct explicitly the generators of these transformations and prove that they satisfy the Heisenberg algebra. We also analyse other specific cases which are not included in our previous statement: the Klein-Gordon lagrangian, $N$ Fermi oscillators and the Dirac lagrangian. In the first case, the system is described by an equation involving partial derivatives, the second case is described by Grassmann variables and the third shows both features. Furthermore, the Fermi oscillator and the Dirac field lagrangians lead to second class constraints. We prove that also in these last two cases there are translational symmetries and we construct the algebra of the generators. For the Klein-Gordon case we find a continuum version of the Heisenberg algebra, whereas in the other cases, the Grassmann generators satisfy, after quantization, the algebra of the Fermi creation and annihilation operators.


title: A Multivariate Methodology for Analysing Students' Performance Using Register Data

abstract: We present a new method for jointly modelling the students' results in the university's admission exams and their performance in subsequent courses at the university. The case considered involved all the students enrolled at the University of Campinas in 2014 to evening studies programs in educational branches related to exact sciences. We collected the number of attempts used for passing the university course of geometry and the results of the admission exams of those students in seven disciplines. The method introduced involved a combination of multivariate generalised linear mixed models (GLMM) and graphical models for representing the covariance structure of the random components. The models we used allowed us to discuss the association of quantities of very different nature. We used Gaussian GLMM for modelling the performance in the admission exams and a frailty discrete-time Cox proportional model, represented by a GLMM, to describe the number of attempts for passing Geometry. The analyses were stratified into two populations: the students who received a bonus giving advantages in the university's admission process to compensate social and racial inequalities and those who did not receive the compensation. The two populations presented different patterns. Using general properties of graphical models, we argue that, on the one hand, the predicted performance in the admission exam of Mathematics could solely be used as a predictor of the performance in geometry for the students who received the bonus. On the other hand, the Portuguese admission exam's predicted performance could be used as a single predictor of the performance in geometry for the students who did not receive the bonus.


title: A Projection-Stable Grammatical Model for the Distributed Execution of Administrative Processes with Emphasis on Actors' Views

abstract: During the last two decades, the decentralized execution of business processes has been one of the main research topics in Business Process Management. Several models (languages) for processes' specification in order to facilitate their distributed execution, have been proposed. LSAWfP is among the most recent in this area: it helps to specify administrative processes with grammatical models indicating, in addition to their fundamental elements, the permissions (reading, writing and execution) of each actor in relation to each of their tasks. In this paper, we present a model for a completely decentralized and artifact-centric execution of administrative processes specified using LSAWfP. The presented model puts particular emphasis on actors' views: it then allows the confidential execution of certain tasks by ensuring that, each actor potentially has only a partial perception of the processes' global execution states. The model thus solves a very important problem in business process execution, which is often sidelined in existing approaches. To accomplish this, the model rely on three projection algorithms allowing to partially replicate the processes' global execution states at a given moment, to consistently update the obtained partial states and to deduce new coherent global states. The proposal of these three algorithms, the proof of underlying mathematical tools' stability and a proposal of their implementation, are this paper's main contributions.


title: Dynamical Analysis of the EIP-1559 Ethereum Fee Market

abstract: Participation in permissionless blockchains results in competition over system resources, which needs to be controlled with fees. Ethereum's current fee mechanism is implemented via a first-price auction that results in unpredictable fees as well as other inefficiencies. EIP-1559 is a recent, improved proposal that introduces a number of innovative features such as a dynamically adaptive base fee that is burned, instead of being paid to the miners. Despite intense interest in understanding its properties, several basic questions such as whether and under what conditions does this protocol self-stabilize have remained elusive thus far. We perform a thorough analysis of the resulting fee market dynamic mechanism via a combination of tools from game theory and dynamical systems. We start by providing bounds on the step-size of the base fee update rule that suffice for global convergence to equilibrium via Lyapunov arguments. In the negative direction, we show that for larger step-sizes instability and even formally chaotic behavior are possible under a wide range of settings. We complement these qualitative results with quantitative bounds on the resulting range of base fees. We conclude our analysis with a thorough experimental case study that corroborates our theoretical findings.


title: TS-Reconfiguration of Dominating Sets in circle and circular-arc graphs

abstract: We study the dominating set reconfiguration problem with the token sliding rule. It consists, given a graph G=(V,E) and two dominating sets D_s and D_t of G, in determining if there exists a sequence S=<D_1:=D_s,...,D_l:=D_t> of dominating sets of G such that for any two consecutive dominating sets D_r and D_{r+1} with r<t, D_{r+1}=(D_r\ u) U v, where uv is an edge of G. In a recent paper, Bonamy et al studied this problem and raised the following questions: what is the complexity of this problem on circular arc graphs? On circle graphs? In this paper, we answer both questions by proving that the problem is polynomial on circular-arc graphs and PSPACE-complete on circle graphs.


title: Gradient catastrophe of nonlinear photonic valley-Hall edge pulses

abstract: We derive nonlinear wave equations describing the propagation of slowly-varying wavepackets formed by topological valley-Hall edge states. We show that edge pulses break up even in the absence of spatial dispersion due to nonlinear self-steepening. Self-steepening leads to the previously-unattended effect of a gradient catastrophe, which develops in a finite time determined by the ratio between the pulse's nonlinear frequency shift and the size of the topological band gap. Taking the weak spatial dispersion into account results then in the formation of stable edge quasi-solitons. Our findings are generic to systems governed by Dirac-like Hamiltonians and validated by numerical modeling of pulse propagation along a valley-Hall domain wall in staggered honeycomb waveguide lattices with Kerr nonlinearity.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci nlin.PS


title: Symbolic regression for scientific discovery: an application to wind speed forecasting

abstract: Symbolic regression corresponds to an ensemble of techniques that allow to uncover an analytical equation from data. Through a closed form formula, these techniques provide great advantages such as potential scientific discovery of new laws, as well as explainability, feature engineering as well as fast inference. Similarly, deep learning based techniques has shown an extraordinary ability of modeling complex patterns. The present paper aims at applying a recent end-to-end symbolic regression technique, i.e. the equation learner (EQL), to get an analytical equation for wind speed forecasting. We show that it is possible to derive an analytical equation that can achieve reasonable accuracy for short term horizons predictions only using few number of features.


title: Measurement and Shaping of Perfect Optical Vortex via Cross Phase

abstract: We investigate a method for the measurement and shaping of a perfect optical vortex (POV) by using the cross-phase for the first time. Experimentally, we propose a method to measure the topological charges +3 and +-5 of POVs with the low-order cross-phase (LOCP) at the Fourier plane; we realize shaping intensity distributions of POVs at the Fourier plane with the high-order cross-phase (HOCP) and show the asymmetric modulation ability of the HOCP for an optical field. Furthermore, we discuss the influence of parameters on the optical field in the shaping process. On this basis, we propose a secondary energy control method that combines the characteristics of the POV, which ensures flexible control of the shape while reducing the impact on the orbital angular momentum of the original POV. This work provides an alternative method to measure and shape a POV, which facilitates applications in optical micro-manipulation.


title: Limit theorems on counting measures for a branching random walk with immigration in a random environment

abstract: We consider a branching random walk with immigration in a random environment, where the environment is a stationary and ergodic sequence indexed by time. We focus on the asymptotic properties of the sequence of measures $(Z_n)$ that count the number of particles of generation $n$ located in a Borel set of real line. In the present work, a series of limit theorems related to the above counting measures are established, including a central limit theorem, a moderate deviation principle and a large deviation result as well as a convergence theorem of the free energy.


title: Proper-time method for unequal masses

abstract: The result of removing of heavy non-equal mass particles from the theory can be described, at low energy, by the effective action, which is a series in inverse-square powers of the mass. We propose a new efficient tool to calculate the leading terms of this series based on the Schwinger proper-time method. Unequal masses give rise to a large number of effective vertices describing the explicit flavour symmetry breaking effects with well-defined coupling constants. Our method is pertinent to the theory with explicit and spontaneous chiral symmetry breaking, chiral gauge theory, standard and beyond standard model effective field theory, the theory of critical phenomena, cosmology, etc.


title: Analyses of Laser Propagation Noises for TianQin Gravitational Wave Observatory Based on the Global Magnetosphere MHD Simulations

abstract: TianQin is a proposed space-borne gravitational wave (GW) observatory composed of three identical satellites orbiting around the geocenter with a radius of $10^5$ km. It aims at detecting GWs in the frequency range of 0.1 mHz -- 1 Hz. The detection of GW relies on the high precision measurement of optical path length at $10^{-12}$~m level. The dispersion of space plasma can lead to the optical path difference (OPD, $\Delta l$) along the propagation of laser beams between any pair of satellites. Here, we study the OPD noises for TianQin. The Space Weather Modeling Framework is used to simulate the interaction between the Earth magnetosphere and solar wind. From the simulations, we extract the magnetic field and plasma parameters on the orbits of TianQin at four relative positions of the satellite constellation in the Earth magnetosphere. We calculate the OPD noise for single link, Michelson combination, and Time-Delay Interferometry (TDI) combinations ($\alpha$ and $X$). For single link and Michelson interferometer, the maxima of $|\Delta l|$ are on the order of 1 pm. For the TDI combinations, these can be suppressed to about 0.004 and 0.008 pm for $\alpha$ and $X$. The OPD noise of the Michelson combination is colored in the concerned frequency range; while the ones for the TDI combinations are approximately white. Furthermore, we calculate the ratio of the equivalent strain of the OPD noise to that of TQ, and find that the OPD noises for the TDI combinations can be neglected in the most sensitive frequency range of TQ.

categories: astro-ph.SR astro-ph.IM gr-qc physics.space-ph


title: Learning Compositional Representation for Few-shot Visual Question Answering

abstract: Current methods of Visual Question Answering perform well on the answers with an amount of training data but have limited accuracy on the novel ones with few examples. However, humans can quickly adapt to these new categories with just a few glimpses, as they learn to organize the concepts that have been seen before to figure the novel class, which are hardly explored by the deep learning methods. Therefore, in this paper, we propose to extract the attributes from the answers with enough data, which are later composed to constrain the learning of the few-shot ones. We generate the few-shot dataset of VQA with a variety of answers and their attributes without any human effort. With this dataset, we build our attribute network to disentangle the attributes by learning their features from parts of the image instead of the whole one. Experimental results on the VQA v2.0 validation dataset demonstrate the effectiveness of our proposed attribute network and the constraint between answers and their corresponding attributes, as well as the ability of our method to handle the answers with few training examples.


title: Bifurcation analysis of two-dimensional Rayleigh--B\'enard convection using deflation

abstract: We perform a bifurcation analysis of the steady states of Rayleigh--B\'enard convection with no-slip boundary conditions in two dimensions using a numerical method called deflated continuation. By combining this method with an initialisation strategy based on the eigenmodes of the conducting state, we are able to discover multiple solutions to this non-linear problem, including disconnected branches of the bifurcation diagram, without the need for any prior knowledge of the solutions. One of the disconnected branches we find contains an S-shaped curve with hysteresis, which is the origin of a flow pattern that may be related to the dynamics of flow reversals in the turbulent regime. Linear stability analysis is also performed to analyse the steady and unsteady regimes of the solutions in the parameter space and to characterise the type of instabilities.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: Self-consistent calculations of electron-capture decays in Z=118, 119, and 120 superheavy isotopes

abstract: Weak decays in superheavy nuclei with proton numbers Z = 118 - 120 and neutron numbers N = 175 - 184 are studied within a microscopic formalism based on deformed self-consistent Skyrme Hartree-Fock mean-field calculations with pairing correlations. The half-lives of beta+ decay and electron capture are compared with alpha-decay half-lives obtained from phenomenological formulas. The sensitivity of the half-lives to the unknown Q-energies is studied by comparing the results obtained from different approaches for the masses. It is shown that alpha-decay is always dominant in this mass region. The competition between alpha and beta+/EC decay modes is studied in seven alpha-decay chains starting at different isotopes of Z=118, 119, and 120.


title: Possible Evidence of a Universal Radio/X-ray Correlation in a near-Complete Sample of Hard X-ray Selected Seyfert Galaxies

abstract: Because the disc--jet coupling likely depends on various properties of sources probed, the sample control is always an important but challenging task. In this work, we re-analyzed the INTEGRAL hard X-ray-selected sample of Seyfert galaxies. We only consider sources that have measurements in black hole mass, and luminosities in radio and X-rays. Our sample includes 64 sources, consists of both bright AGNs and low-luminosity ones. We first find that, because of the similarity in the $L_{HX}/L_X$ distribution, the X-ray origin of radio-loud Seyferts may be the same to that of radio-quiet ones, where we attribute to the hot accretion flow (or similarly, the corona). We then investigate the connections between luminosities in radio and X-rays. Since our sample suffers a selection bias of a black hole mass $M_{BH}$ dependence on $L_X/L_{Edd}$, we focus on the correlation slope $\xi_X$ between the radio (at 1.4 GHz) and X-ray luminosities in Eddington unit, i.e. $(L_R/L_{Edd})\propto(L_X/L_{Edd})^{\xi_X}$. We classify the sources according to various properties, i.e. 1) Seyfert classification, 2) radio loudness, and 3) radio morphology. We find that, despite these differences in classification, all the sources in our sample are consistent with a universal correlation slope $\xi_X$, with $\xi_X=0.77\pm0.10$. This is unexpected, considering various possible radio emitters in radio-quiet systems. For the jet interpretation, our result may suggest a common/universal but to be identified jet launching mechanism among all the Seyfert galaxies, while properties like black hole spin and magnetic field strength only play secondary roles. We further estimate the jet production efficiency $\eta_{jet}$ of Seyfert galaxies, which is $\eta_{jet}\approx1.9^{+0.9}_{-1.5}\times10^{-4}$ on average. We also find that $\eta_{jet}$ increases as the system goes fainter.


title: General method for including Stueckelberg fields

abstract: A systematic procedure is proposed for inclusion of Stueckelberg fields. The procedure begins with the involutive closure when the original Lagrangian equations are complemented by all the lower order consequences. The involutive closure can be viewed as Lagrangian analogue of complementing constrained Hamiltonian system with secondary constraints. The involutively closed form of the field equations allows for explicitly covariant degree of freedom number count, which is stable with respect to deformations. If the original Lagrangian equations are not involutive, the involutive closure will be a non-Lagrangian system. The Stueckelberg fields are assigned to all the consequences included into the involutive closure of the Lagrangian system. The iterative procedure is proposed for constructing the gauge invariant action functional involving Stueckelberg fields such that Lagrangian equations are equivalent to the involutive closure of the original theory. The generators of the Stueckelberg gauge symmetry begin with the operators generating the closure of original Lagrangian system. These operators are not assumed to be a generators of gauge symmetry of any part of the original action, nor are they supposed to form an on shell integrable distribution. With the most general closure generators, the consistent Stueckelberg gauge invariant theory is iteratively constructed, without obstructions at any stage. The Batalin-Vilkovisky form of inclusion the Stueckelberg fields is worked out and existence theorem for the Stueckelberg action is proven.


title: A representation formula for the probability density in stochastic dynamical systems with memory

abstract: Marcus stochastic delay differential equations (SDDEs) are often used to model stochastic dynamical systems with memory in science and engineering. Since no infinitesimal generators exist for Marcus SDDEs due to the non-Markovian property, conventional Fokker-Planck equations, which govern the evolution behavior of density, are not available for Marcus SDDEs. In this paper, we identify the Marcus SDDE with some Marcus stochastic differential equation (SDE) without delays but subject to extra constraints. This provides an efficient way to establish existence and uniqueness for the solution, and obtain a representation formula for probability density of the Marcus SDDE. In the formula, the probability density for Marcus SDDE is expressed in terms of that for Marcus SDE without delay.


title: Patterns of Cognition: Cognitive Algorithms as Galois Connections Fulfilled by Chronomorphisms On Probabilistically Typed Metagraphs

abstract: It is argued that a broad class of AGI-relevant algorithms can be expressed in a common formal framework, via specifying Galois connections linking search and optimization processes on directed metagraphs whose edge targets are labeled with probabilistic dependent types, and then showing these connections are fulfilled by processes involving metagraph chronomorphisms. Examples are drawn from the core cognitive algorithms used in the OpenCog AGI framework: Probabilistic logical inference, evolutionary program learning, pattern mining, agglomerative clustering, pattern mining and nonlinear-dynamical attention allocation. The analysis presented involves representing these cognitive algorithms as recursive discrete decision processes involving optimizing functions defined over metagraphs, in which the key decisions involve sampling from probability distributions over metagraphs and enacting sets of combinatory operations on selected sub-metagraphs. The mutual associativity of the combinatory operations involved in a cognitive process is shown to often play a key role in enabling the decomposition of the process into folding and unfolding operations; a conclusion that has some practical implications for the particulars of cognitive processes, e.g. militating toward use of reversible logic and reversible program execution. It is also observed that where this mutual associativity holds, there is an alignment between the hierarchy of subgoals used in recursive decision process execution and a hierarchy of subpatterns definable in terms of formal pattern theory.


title: Transient chaos enforces uncertainty in the British power grid

abstract: Multistability is a common phenomenon which naturally occurs in complex networks. If coexisting attractors are numerous and their basins of attraction are complexly interwoven, the long-term response to a perturbation can be highly uncertain. We examine the uncertainty in the outcome of perturbations to the synchronous state in a Kuramoto-like representation of the British power grid. Based on local basin landscapes which correspond to single-node perturbations, we demonstrate that the uncertainty shows strong spatial variability. While perturbations at many nodes only allow for a few outcomes, other local landscapes show extreme complexity with more than a hundred basins. Particularly complex domains in the latter can be related to unstable invariant chaotic sets of saddle type. Most importantly, we show that the characteristic dynamics on these chaotic saddles can be associated with certain topological structures of the network. We find that one particular tree-like substructure allows for the chaotic response to perturbations at nodes in the north of Great Britain. The interplay with other peripheral motifs increases the uncertainty in the system response even further.


title: Inverse Gaussian Process regression for likelihood-free inference

abstract: In this work we consider Bayesian inference problems with intractable likelihood functions. We present a method to compute an approximate of the posterior with a limited number of model simulations. The method features an inverse Gaussian Process regression (IGPR), i.e., one from the output of a simulation model to the input of it. Within the method, we provide an adaptive algorithm with a tempering procedure to construct the approximations of the marginal posterior distributions. With examples we demonstrate that IGPR has a competitive performance compared to some commonly used algorithms, especially in terms of statistical stability and computational efficiency, while the price to pay is that it can only compute a weighted Gaussian approximation of the marginal posteriors.


title: A note on double domination in graphs

abstract: Recently, Haynes, Hedetniemi and Henning published the book Topics in Domination in Graphs, which comprises 16 contributions that present advanced topics in graph domination, featuring open problems, modern techniques, and recent results. One of these contributions is the chapter Multiple Domination, by Hansberg and Volkmann, where they put into context all relevant research results on multiple domination that have been found up to 2020. In this note, we show how to improve some results on double domination that are included in the book.


title: Mapping Surgeon's Hand/Finger Motion During Conventional Microsurgery to Enhance Intuitive Surgical Robot Teleoperation

abstract: Purpose: Recent developments in robotics and artificial intelligence (AI) have led to significant advances in healthcare technologies enhancing robot-assisted minimally invasive surgery (RAMIS) in some surgical specialties. However, current human-robot interfaces lack intuitive teleoperation and cannot mimic surgeon's hand/finger sensing and fine motion. These limitations make tele-operated robotic surgery not suitable for micro-surgery and difficult to learn for established surgeons. We report a pilot study showing an intuitive way of recording and mapping surgeon's gross hand motion and the fine synergic motion during cardiac micro-surgery as a way to enhance future intuitive teleoperation. Methods: We set to develop a prototype system able to train a Deep Neural Net-work (DNN) by mapping wrist, hand and surgical tool real-time data acquisition(RTDA) inputs during mock-up heart micro-surgery procedures. The trained network was used to estimate the tools poses from refined hand joint angles. Results: Based on surgeon's feedback during mock micro-surgery, the developed wearable system with light-weight sensors for motion tracking did not interfere with the surgery and instrument handling. The wearable motion tracking system used 15 finger-thumb-wrist joint angle sensors to generate meaningful data-sets representing inputs of the DNN network with new hand joint angles added as necessary based on comparing the estimated tool poses against measured tool pose. The DNN architecture was optimized for the highest estimation accuracy and the ability to determine the tool pose with the least mean squared error. This novel approach showed that the surgical instrument's pose, an essential requirement for teleoperation, can be accurately estimated from recorded surgeon's hand/finger movements with a mean squared error (MSE) less than 0.3%


title: Generating Majorana qubit coherence in Majorana Aharonov-Bohm interferometer

abstract: We propose an Aharonov-Bohm interferometer consisted of two topological superconducting chains (TSCs) to generate coherence of Majorana qubits, each qubit is made of two Majorana zero modes (MZMs) with the definite fermion parity. We obtain the generalized exact master equation as well as its solution and study the real-time dynamics of the MZM qubit states under various operations. We demonstrate that by tuning the magnetic flux, the decoherence rates can be modified significantly, and dissipationless MZMs can be generated. By applying the bias voltage to the leads, one can manipulate MZM qubit coherence and generate a nearly pure superposition state of Majorana qubit. Moreover, parity flipping between MZM qubits with different fermion parities can be realized by controlling the coupling between the leads and the TSCs through gate voltages.


title: False Data Injection Attack Against Power System Small-Signal Stability

abstract: Small-Signal Stability (SSS) is crucial for the control of power grids. However, False Data Injection (FDI) attacks against SSS can impact the grid stability, hence, the security of SSS needs to be studied. This paper proposes a formal method of synthesizing FDI attack vectors (i.e., a set of measurements to be altered) that can destabilize power systems. We formulate an FDI attack as an optimization problem using AC power flow, SSS model, and stability constraints. The attacker capability is modeled as the accessibility to a limited set of measurements. The solution of the proposed FDI attack model provides a destabilizing attack vector if exists. We implement the proposed mechanism and evaluate its performance by conducting several case studies using the WSCC 3-machine 9-bus system. The case study results showed that the possibility of random FDIs (i.e., with no knowledge of the power system) in launching a destabilizing attack is too low to be successful. However, an intelligent attacker can leverage the grid knowledge to make the system unstable, even with limited access to the measurements.


title: LMKG: Learned Models for Cardinality Estimation in Knowledge Graphs

abstract: Accurate cardinality estimates are a key ingredient to achieve optimal query plans. For RDF engines, specifically under common knowledge graph processing workloads, the lack of schema, correlated predicates, and various types of queries involving multiple joins, render cardinality estimation a particularly challenging task. In this paper, we develop a framework, termed LMKG, that adopts deep learning approaches for effectively estimating the cardinality of queries over RDF graphs. We employ both supervised (i.e., deep neural networks) and unsupervised (i.e., autoregressive models) approaches that adapt to the subgraph patterns and produce more accurate cardinality estimates. To feed the underlying data to the models, we put forward a novel encoding that represents the queries as subgraph patterns. Through extensive experiments on both real-world and synthetic datasets, we evaluate our models and show that they overall outperform the state-of-the-art approaches in terms of accuracy and execution time.


title: A lower bound for the variance in arithmetic progressions of some multiplicative functions close to $1$

abstract: We investigate lower bounds for the variance in arithmetic progressions of certain multiplicative functions "close" to $1$. Specifically, we consider $\alpha_N$-fold divisor functions, when $\alpha_N$ is a sequence of positive real numbers approaching $1$ in a suitable way or $\alpha_N=1$, and the indicator of $y$-smooth numbers, for suitably large parameters $y$. As a corollary, we will strengthen a previous author's result on the first subject and obtain matching lower bounds to some Barban-Davenport-Halberstam type theorems for $y$-smooth numbers. Incidentally, we will also find a lower bound for the variance in arithmetic progressions of the prime factors counting functions $\omega(n)$ and $\Omega(n)$.


title: Efficient Two-Stream Network for Violence Detection Using Separable Convolutional LSTM

abstract: Automatically detecting violence from surveillance footage is a subset of activity recognition that deserves special attention because of its wide applicability in unmanned security monitoring systems, internet video filtration, etc. In this work, we propose an efficient two-stream deep learning architecture leveraging Separable Convolutional LSTM (SepConvLSTM) and pre-trained MobileNet where one stream takes in background suppressed frames as inputs and other stream processes difference of adjacent frames. We employed simple and fast input pre-processing techniques that highlight the moving objects in the frames by suppressing non-moving backgrounds and capture the motion in-between frames. As violent actions are mostly characterized by body movements these inputs help produce discriminative features. SepConvLSTM is constructed by replacing convolution operation at each gate of ConvLSTM with a depthwise separable convolution that enables producing robust long-range Spatio-temporal features while using substantially fewer parameters. We experimented with three fusion methods to combine the output feature maps of the two streams. Evaluation of the proposed methods was done on three standard public datasets. Our model outperforms the accuracy on the larger and more challenging RWF-2000 dataset by more than a 2% margin while matching state-of-the-art results on the smaller datasets. Our experiments lead us to conclude, the proposed models are superior in terms of both computational efficiency and detection accuracy.


title: CFLMEC: Cooperative Federated Learning for Mobile Edge Computing

abstract: We investigate a cooperative federated learning framework among devices for mobile edge computing, named CFLMEC, where devices co-exist in a shared spectrum with interference. Keeping in view the time-average network throughput of cooperative federated learning framework and spectrum scarcity, we focus on maximize the admission data to the edge server or the near devices, which fills the gap of communication resource allocation for devices with federated learning. In CFLMEC, devices can transmit local models to the corresponding devices or the edge server in a relay race manner, and we use a decomposition approach to solve the resource optimization problem by considering maximum data rate on sub-channel, channel reuse and wireless resource allocation in which establishes a primal-dual learning framework and batch gradient decent to learn the dynamic network with outdated information and predict the sub-channel condition. With aim at maximizing throughput of devices, we propose communication resource allocation algorithms with and without sufficient sub-channels for strong reliance on edge servers (SRs) in cellular link, and interference aware communication resource allocation algorithm for less reliance on edge servers (LRs) in D2D link. Extensive simulation results demonstrate the CFLMEC can achieve the highest throughput of local devices comparing with existing works, meanwhile limiting the number of the sub-channels.


title: Combining Spiking Neural Network and Artificial Neural Network for Enhanced Image Classification

abstract: With the continued innovations of deep neural networks, spiking neural networks (SNNs) that more closely resemble biological brain synapses have attracted attention owing to their low power consumption.However, for continuous data values, they must employ a coding process to convert the values to spike trains.Thus, they have not yet exceeded the performance of artificial neural networks (ANNs), which handle such values directly.To this end, we combine an ANN and an SNN to build versatile hybrid neural networks (HNNs) that improve the concerned performance.To qualify this performance, MNIST and CIFAR-10 image datasets are used for various classification tasks in which the training and coding methods changes.In addition, we present simultaneous and separate methods to train the artificial and spiking layers, considering the coding methods of each.We find that increasing the number of artificial layers at the expense of spiking layers improves the HNN performance.For straightforward datasets such as MNIST, it is easy to achieve the same performance as ANNs by using duplicate coding and separate learning.However, for more complex tasks, the use of Gaussian coding and simultaneous learning is found to improve the accuracy of HNNs while utilizing a smaller number of artificial layers.


title: Classification of COVID-19 via Homology of CT-SCAN

abstract: In this worldwide spread of SARS-CoV-2 (COVID-19) infection, it is of utmost importance to detect the disease at an early stage especially in the hot spots of this epidemic. There are more than 110 Million infected cases on the globe, sofar. Due to its promptness and effective results computed tomography (CT)-scan image is preferred to the reverse-transcription polymerase chain reaction (RT-PCR). Early detection and isolation of the patient is the only possible way of controlling the spread of the disease. Automated analysis of CT-Scans can provide enormous support in this process. In this article, We propose a novel approach to detect SARS-CoV-2 using CT-scan images. Our method is based on a very intuitive and natural idea of analyzing shapes, an attempt to mimic a professional medic. We mainly trace SARS-CoV-2 features by quantifying their topological properties. We primarily use a tool called persistent homology, from Topological Data Analysis (TDA), to compute these topological properties. We train and test our model on the "SARS-CoV-2 CT-scan dataset" \citep{soares2020sars}, an open-source dataset, containing 2,481 CT-scans of normal and COVID-19 patients. Our model yielded an overall benchmark F1 score of $99.42\% $, accuracy $99.416\%$, precision $99.41\%$, and recall $99.42\%$. The TDA techniques have great potential that can be utilized for efficient and prompt detection of COVID-19. The immense potential of TDA may be exploited in clinics for rapid and safe detection of COVID-19 globally, in particular in the low and middle-income countries where RT-PCR labs and/or kits are in a serious crisis.


title: FASTEN: Fair and Secure Distributed Voting Using Smart Contracts

abstract: Electing democratic representatives via voting has been a common mechanism since the 17th century. However, these mechanisms raise concerns about fairness, privacy, vote concealment, fair calculations of tally, and proxies voting on their behalf for the voters. Ballot voting, and in recent times, electronic voting via electronic voting machines (EVMs) improves fairness by relying on centralized trust. Homomorphic encryption-based voting protocols also assure fairness but cannot scale to large scale elections such as presidential elections. In this paper, we leverage the blockchain technology of distributing trust to propose a smart contract-based protocol, namely, \proto. There are many existing protocols for voting using smart contracts. We observe that these either are not scalable or leak the vote tally during the voting stage, i.e., do not provide vote concealment. In contrast, we show that FASTEN preserves voter's privacy ensures vote concealment, immutability, and avoids double voting. We prove that the probability of privacy breaches is negligibly small. Further, our cost analysis of executing FASTEN over Ethereum is comparable to most of the existing cost of elections.


title: Constraints on the latitudinal profile of Jupiter's deep jets

abstract: The observed zonal winds at Jupiter's cloud tops have been shown to be closely linked to the asymmetric part of the planet's measured gravity field. However, other measurements suggest that in some latitudinal regions the flow below the clouds might be somewhat different from the observed cloud-level winds. Here we show, using both the symmetric and asymmetric parts of the measured gravity field, that the observed cloud-level wind profile between 25$^{\circ}$S and 25$^{\circ}$N must extend unaltered to depths of thousands of kilometers. Poleward, the midlatitude deep jets also contribute to the gravity signal, but might differ somewhat from the cloud-level winds. We analyze the likelihood of this difference and give bounds to its strength. We also find that to match the gravity measurements, the winds must project inward in the direction parallel to Jupiter's spin axis, and that their decay inward should be in the radial direction.


title: Connecting multi-lepton anomalies at the LHC and in Astrophysics with MeerKAT/SKA

abstract: Multi-lepton anomalies at the Large Hadron Collider (LHC) are reasonably well described by a two Higgs doublet model with an additional singlet scalar. Here, we demonstrate that using this model with parameters set by the LHC, we are also able to describe the excesses in gamma-ray flux from the galactic centre and the cosmic-ray spectra from AMS-02. This is achieved through Dark Matter (DM) annihilation via the singlet scalar. Of great interest is the flux of synchrotron emissions which results from annihilation of DM in Milky-Way satellites. We make predictions for MeerKAT/SKA observations of the nearby dwarf galaxy Reticulum II and we demonstrate the power of this instrument as a new frontier in indirect dark matter searches. Since the dark matter sector of the aforementioned two Higgs doublet model is unconstrained by current LHC data, we also demonstrate a synergy between particle and astrophysical searches in order to motivate further exploration of this promising model.


title: Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer

abstract: We formalize Byzantine linearizability, a correctness condition that specifies whether a concurrent object with a sequential specification is resilient against Byzantine failures. Using this definition, we systematically study Byzantine-tolerant emulations of various objects from registers. We focus on three useful objects -- reliable broadcast, atomic snapshot, and asset transfer. We prove that there is an $f$-resilient implementation of such objects from registers with $n$ processes $f<\frac{n}{2}$.


title: Direct and inverse spin-orbit torques in antiferromagnetic and ferromagnetic FeRh/W(001)

abstract: We use \textit{ab-initio} calculations to investigate spin-orbit torques (SOTs) in FeRh(001) deposited on W(100). Since FeRh undergoes a ferromagnetic-antiferromagnetic phase transition close to room temperature, we consider both phases of FeRh. In the antiferromagnetic case we find that the effective magnetic field of the even torque is staggered and therefore ideal to induce magnetization dynamics or to switch the antiferromagnet (AFM). At the antiferromagnetic resonance the inverse SOT induces a current density, which can be determined from the SOT. In the ferromagnetic case our calculations predict both even and odd components of the SOT, which can also be used to describe the ac and dc currents induced at the ferromagnetic resonance. For comparison we compute the SOTs in the c($2\times 2$) AFM state of Fe/W(001).


title: On the Periods and Nature of Superhumps

abstract: It is commonly accepted that the periods of superhumps can be satisfactorily explained within a model involving apsidal motion of the accretion disk provided the frequency of the apsidal motion in addition to the dynamical term includes also the pressure effects. Using a larger sample of systems with reliable mass ratios it is shown, however, that this view is not true and the model requires further modifications.


title: Tracing the Evolution of Ultraluminous Infrared Galaxies into Radio Galaxies with Low Frequency Radio Observations

abstract: We present radio observations of ultraluminous infrared galaxies (ULIRGs) using the Giant Metrewave Radio Telescope (GMRT) and combine them with archival multi-frequency observations to understand whether ULIRGs are the progenitors of the powerful radio loud galaxies in the local Universe. ULIRGs are characterized by large infrared luminosities ($L_{IR}>$10$^{12}$L$\odot$), large dust masses ($\sim10^{8}M_{\odot}$) and vigorous star formation (star formation rates $\sim$10-100 $M_{\odot}~$yr$^{-1}$). Studies show that they represent the end stages of mergers of gas-rich spiral galaxies. Their luminosity can be due to both starburst activity and active galactic nuclei (AGN). We study a sample of 13 ULIRGs that have optically identified AGN characteristics with 1.28~GHz GMRT observations. Our aim is to resolve any core-jet structures or nuclear extensions and hence examine whether the ULIRGs are evolving into radio loud ellipticals. Our deep, low frequency observations show marginal extension for only one source. However, the integrated radio spectra of 9 ULIRGs show characteristics that are similar to that of GPS/CSS/CSO/young radio sources. The estimated spectral ages are 0.4 to 20 Myr and indicate that they are young radio sources and possible progenitors of radio galaxies. Hence, we conclude that although most ULIRGs do not show kpc scale extended radio emission associated with nuclear activity, their radio spectral energy distributions do show signatures of young radio galaxies.


title: Web-based Application for Detecting Indonesian Clickbait Headlines using IndoBERT

abstract: With increasing usage of clickbaits in Indonesian Online News, newsworthy articles sometimes get buried among clickbaity news. A reliable and lightweight tool is needed to detect such clickbaits on-the-go. Leveraging state-of-the-art natural language processing model BERT, a RESTful API based application is developed. This study offloaded the computing resources needed to train the model on the cloud server, while the client-side application only needs to send a request to the API and the cloud server will handle the rest. This study proposed the design and developed a web-based application to detect clickbait in Indonesian using IndoBERT as a language model. The application usage is discussed and available for public use with a performance of mean ROC-AUC of 89%.


title: Distinction and Base Change

abstract: An irreducible smooth representation of a $p$-adic group $G$ is said to be distinguished with respect to a subgroup $H$ if it admits a non-trivial $H$-invariant linear form. When $H$ is the fixed group of an involution on $G$ it is suggested by the works of Herv\'e Jacquet from the nineties that distinction can be characterized in terms of the principle of functoriality. If the involution is the Galois involution then a recent conjecture of Dipendra Prasad predicts a formula for the dimension of the space of invariant linear forms which once again involves base change. We will describe the proof of this conjecture (in the generic case) for $SL(n)$ which is joint work with Dipendra Prasad. Then we describe one more newly discovered connection between distinction and base change which is that base change information appears in the constant of proportionality between two natural invariant linear forms on a distinguished representation. This latter result is for discrete series for $GL(n)$ and is joint with Nadir Matringe. This paper is a report on the author's talk in the International Colloquium on Arithmetic Geometry held in January 2020 at TIFR Mumbai.


title: Perturbation Theory for the Thermal Hamiltonian: 1D Case

abstract: This work continues the study of the thermal Hamiltonian, initially proposed by J. M. Luttinger in 1964 as a model for the conduction of thermal currents in solids. The previous work [DL] contains a complete study of the "free" model in one spatial dimension along with a preliminary scattering result for convolution-type perturbations. This work complements the results obtained in [DL] by providing a detailed analysis of the perturbation theory for the one-dimensional thermal Hamiltonian. In more detail the following result are established: the regularity and decay properties for elements in the domain of the unperturbed thermal Hamiltonian; the determination of a class of self-adjoint and relatively compact perturbations of the thermal Hamiltonian; the proof of the existence and completeness of wave operators for a subclass of such potentials.


title: Model Checking for Decision Making System of Long Endurance Unmanned Surface Vehicle

abstract: This work aims to develop a model checking method to verify the decision making system of Unmanned Surface Vehicle (USV) in a long range surveillance mission. The scenario in this work was captured from a long endurance USV surveillance mission using C-Enduro, an USV manufactured by ASV Ltd. The C-Enduro USV may encounter multiple non-deterministic and concurrent problems including lost communication signals, collision risk and malfunction. The vehicle is designed to utilise multiple energy sources from solar panel, wind turbine and diesel generator. The energy state can be affected by the solar irradiance condition, wind condition, states of the diesel generator, sea current condition and states of the USV. In this research, the states and the interactive relations between environmental uncertainties, sensors, USV energy system, USV and Ground Control Station (GCS) decision making systems are abstracted and modelled successfully using Kripke models. The desirable properties to be verified are expressed using temporal logic statement and finally the safety properties and the long endurance properties are verified using the model checker MCMAS, a model checker for multi-agent systems. The verification results are analyzed and show the feasibility of applying model checking method to retrospect the desirable property of the USV decision making system. This method could assist researcher to identify potential design error of decision making system in advance.


title: Investigation of the stability for fully-heavy $bc\bar{b}\bar{c}$ tetraquark states

abstract: We study the existence of fully-heavy hidden-flavor $bc\bar{b}\bar{c}$ tetraquark states with various $J^{PC}=0^{\pm+}, 0^{--},1^{\pm\pm}, 2^{++}$, by using the moment QCD sum rule method augmented by fundamental inequalities. Using the moment sum rule analyses, our calculation shows that the masses for the S-wave positive parity $bc\bar{b}\bar{c}$ tetraquark states are about $12.2-12.4$ GeV in both $[\mathbf{\bar{3}_c}]_{bc}\otimes[\mathbf{3_c}]_{\bar{b}\bar{c}}$ and $[\mathbf{6_c}]_{bc}\otimes[\mathbf{\bar{6}_c}]_{\bar{b}\bar{c}}$ color configuration channels. Except for two $0^{++}$ states, such results are below the thresholds $T_{\eta_c\eta_b}/T_{\Upsilon\psi}$ and $T_{B_cB_c}$, implying that these S-wave positive parity $bc\bar{b}\bar{c}$ tetraquark states are probably stable against the strong interaction. For the P-wave negative parity $bc\bar{b}\bar{c}$ tetraquarks, their masses in the $[\mathbf{\bar{3}_c}]_{bc}\otimes[\mathbf{3_c}]_{\bar{b}\bar{c}}$ channel are around $12.9-13.2$ GeV, while a bit higher in the $[\mathbf{6_c}]_{bc}\otimes[\mathbf{\bar{6}_c}]_{\bar{b}\bar{c}}$ channel. They can decay into the $c\bar c+b\bar b$ and $c\bar b+b\bar c$ final states via the spontaneous dissociation mechanism, including the $J/\psi\Upsilon$, $\eta_c\Upsilon$, $J/\psi\eta_b$, $B_c^+B_c^-$ channels.


title: Superfield Approaches to a Model of Bosonic String: Curci-Ferrari Type Restrictions

abstract: Exploiting the theoretical potential of the modified Bonora-Tonin superfield approach (MBTSA) as well as the (anti-)chiral superfield approach (ACSA) to Becchi-Rouet-Stora-Tyutin (BRST) formalism, we derive the complete set of off-shell nilpotent (anti-)BRST symmetry transformations corresponding to the classical two $(1 + 1)$-dimensional (2D) diffeomorphism symmetry transformations on the world-sheet (that is traced out by the motion of a model of bosonic string). Only the BRST symmetry transformations for this model have been discussed in the earlier literature. We derive the (anti-)BRST invariant Curci-Ferrari (CF) type restrictions (using MBTSA) which turn out to be the root-cause behind the absolute anticommutativity of the above (anti-)BRST symmetry transformations. We capture the symmetry invariance of the (anti-)BRST invariant Lagrangian densities within the ambit of ACSA. The derivation of the proper anti-BRST transformations (corresponding to the already known BRST transformations) and the (anti-)BRST invariant CF-type restrictions are the novel results in our present endeavor.


title: Improved Semantic Segmentation of Tuberculosis-consistent findings in Chest X-rays Using Augmented Training of Modality-specific U-Net Models with Weak Localizations

abstract: Deep learning (DL) has drawn tremendous attention in object localization and recognition for both natural and medical images. U-Net segmentation models have demonstrated superior performance compared to conventional handcrafted feature-based methods. Medical image modality-specific DL models are better at transferring domain knowledge to a relevant target task than those that are pretrained on stock photography images. This helps improve model adaptation, generalization, and class-specific region of interest (ROI) localization. In this study, we train chest X-ray (CXR) modality-specific U-Nets and other state-of-the-art U-Net models for semantic segmentation of tuberculosis (TB)-consistent findings. Automated segmentation of such manifestations could help radiologists reduce errors and supplement decision-making while improving patient care and productivity. Our approach uses the publicly available TBX11K CXR dataset with weak TB annotations, typically provided as bounding boxes, to train a set of U-Net models. Next, we improve the results by augmenting the training data with weak localizations, post-processed into an ROI mask, from a DL classifier that is trained to classify CXRs as showing normal lungs or suspected TB manifestations. Test data are individually derived from the TBX11K CXR training distribution and other cross-institutional collections including the Shenzhen TB and Montgomery TB CXR datasets. We observe that our augmented training strategy helped the CXR modality-specific U-Net models achieve superior performance with test data derived from the TBX11K CXR training distribution as well as from cross-institutional collections (p < 0.05).


title: Codimension one foliations of degree three on projective spaces

abstract: We establish a structure theorem for degree three codimension one foliations on projective spaces of dimension $n\ge 3$, extending a result by Loray, Pereira, and Touzet for degree three foliations on $\mathbb P^3$. We show that the space of codimension one foliations of degree three on $\mathbb{P}^n$, $n\ge 3$, has exactly $18$ distinct irreducible components parameterizing foliations without rational first integrals, and at least $6$ distinct irreducible components parameterizing foliations with rational first integrals.


title: On the Generic Point Arrangements in Euclidean Space and Stratification of the Totally Nonzero Grassmannian

abstract: In this article, for positive integers $n\geq m\geq 1$, the parameter spaces for the isomorphism classes of the generic point arrangements of cardinality $n$, and the antipodal point arrangements of cardinality $2n$ in the Eulidean space $\mathbb{R}^m$ are described using the space of totally nonzero Grassmannian $Gr^{tnz}_{mn}(\mathbb{R})$. A stratification $\mathcal{S}^{tnz}_{mn}(\mathbb{R})$ of the totally nonzero Grassmannian $Gr^{tnz}_{mn}(\mathbb{R})$ is mentioned and the parameter spaces are respectively expressed as quotients of the space $\mathcal{S}^{tnz}_{mn}(\mathbb{R})$ of strata under suitable actions of the symmetric group $S_n$ and the semidirect product group $(\mathbb{R}^*)^n\rtimes S_n$. The cardinalities of the space $\mathcal{S}^{tnz}_{mn}(\mathbb{R})$ of strata and of the parameter spaces $S_n\backslash \mathcal{S}^{tnz}_{mn}(\mathbb{R}), ((\mathbb{R}^*)^n\rtimes S_n)\backslash \mathcal{S}^{tnz}_{mn}(\mathbb{R})$ are enumerated in dimension $m=2$. Interestingly enough, the enumerated value of the isomorphism classes of the generic point arrangements in the Euclidean plane is expressed in terms of the number theoretic Euler-totient function. The analogous enumeration questions are still open in higher dimensions for $m\geq 3$.


title: Stochastic transport equation with singular drift

abstract: We prove existence, uniqueness and Sobolev regularity of weak solution of the Cauchy problem of the stochastic transport equation with drift in a large class of singular vector fields containing, in particular, the $L^d$ class, the weak $L^d$ class, as well as some vector fields that are not even in $L_{\rm loc}^{2+\varepsilon}$ for any $\varepsilon>0$.


title: Relatively dominated representations from eigenvalue gaps and limit maps

abstract: Relatively dominated representations give a common generalization of geometrically finiteness in rank one on the one hand, and the Anosov condition which serves as a higher-rank analogue of convex cocompactness on the other. This note proves three results about these representations. Firstly, we remove the technical assumption of quadratic gaps involved in the original definition. Secondly, we give a characterization using eigenvalue gaps, providing a relative analogue of a result of Kassel-Potrie for Anosov representations. Thirdly, we formulate characterizations in terms of singular value or eigenvalue gaps combined with limit maps, in the spirit of Gu\'eritaud-Guichard-Kassel-Wienhard for Anosov representations, and use them to show that inclusion representations of certain groups playing weak ping-pong and positive representations in the sense of Fock-Goncharov are relatively dominated.


title: Content Confidentiality in Named Data Networking

abstract: In this paper we present the design of name based access control scheme which facilitates data confidentiality by applying end-to-end encryption to data published on NDN with flexible fine-grained access control, which allows to define an enforce access policies on published data. The scheme is based on ciphertext-policy attribute-based encryption (CP-ABE). We discuss the use of the scheme on the basis of two use-cases, and report overhead associated with it, based on our implementation.


title: Multi-species consensus network of DNA strand displacement for concentration-to-strand translation

abstract: We propose novel chemical reaction networks to translate levels of concentration into unique DNA strand species, which we call concentration translators. Our design of the concentration translators is based on combination of two chemical reaction networks, consensus network and conversion network with any number of chemical species. We give geometric analysis of the proposed CRNs from the viewpoint of nonlinear dynamical systems and show that the CRNs can actually operate as translator. Our concentration translators exploit DNA strand displacement (DSD) reaction, which is known for a universal reaction that can implement arbitrary chemical reaction networks. We demonstrate two specific types of concentration translators (translator A and B) with different switching behavior and biochemical cost and compared their characteristics computationally. The proposed concentration translators have an advantage of being able to readout the concentration of targeted nucleic acid strand without any fluorescence-based techniques. These characteristics can be tailored according to requirements from applications, including dynamic range, sensitivity and implementation cost.


title: Infectious disease dynamics in metapopulations with heterogeneous transmission and recurrent mobility

abstract: Human mobility, contact patterns, and their interplay are key aspects of our social behavior that shape the spread of infectious diseases across different regions. In the light of new evidence and data sets about these two elements, epidemic models should be refined to incorporate both the heterogeneity of human contacts and the complexity of mobility patterns. Here, we propose a theoretical framework that allows accommodating these two aspects in the form of a set of Markovian equations. We validate these equations with extensive mechanistic simulations and derive analytically the epidemic threshold. The expression of this critical value allows us to evaluate its dependence on the specific demographic distribution, the structure of mobility flows, and the heterogeneity of contact patterns, thus shedding light on the microscopic mechanisms responsible for the epidemic detriment driven by recurrent mobility patterns reported in the literature.


title: Vindication of entanglement-based witnesses of non-classicality in hybrid systems

abstract: Recently, Vedral and one of us proposed an entanglement-based witness of non-classicality in systems that need not obey quantum theory, based on constructor-information-theoretic ideas, which offers a robust foundation for recently proposed table-top tests of non-classicality in gravity. The witness asserts that if a mediator can entangle locally two quantum systems, then it has to be non-classical. Hall and Reginatto claimed that there are classical systems that can entangle two quantum systems, thus violating our proposed witness. Here we refute that claim, explaining that the counterexample proposed by Hall and Reginatto in fact validates the witness, vindicating the witness of non-classicality in its full generality.


title: Dealing with Non-Stationarity in MARL via Trust-Region Decomposition

abstract: Non-stationarity is one thorny issue in cooperative multi-agent reinforcement learning (MARL). One of the reasons is the policy changes of agents during the learning process. Some existing works have discussed various consequences caused by non-stationarity with several kinds of measurement indicators. This makes the objectives or goals of existing algorithms are inevitably inconsistent and disparate. In this paper, we introduce a novel notion, the $\delta$-measurement, to explicitly measure the non-stationarity of a policy sequence, which can be further proved to be bounded by the KL-divergence of consecutive joint policies. A straightforward but highly non-trivial way is to control the joint policies' divergence, which is difficult to estimate accurately by imposing the trust-region constraint on the joint policy. Although it has lower computational complexity to decompose the joint policy and impose trust-region constraints on the factorized policies, simple policy factorization like mean-field approximation will lead to more considerable policy divergence, which can be considered as the trust-region decomposition dilemma. We model the joint policy as a pairwise Markov random field and propose a trust-region decomposition network (TRD-Net) based on message passing to estimate the joint policy divergence more accurately. The Multi-Agent Mirror descent policy algorithm with Trust region decomposition, called MAMT, is established by adjusting the trust-region of the local policies adaptively in an end-to-end manner. MAMT can approximately constrain the consecutive joint policies' divergence to satisfy $\delta$-stationarity and alleviate the non-stationarity problem. Our method can bring noticeable and stable performance improvement compared with baselines in cooperative tasks of different complexity.


title: The coarse Baum-Connes conjecture for certain relative expanders

abstract: Let $\left( 1\to N_m\to G_m\to Q_m\to 1 \right)_{m\in \mathbb{N}}$ be a sequence of extensions of finite groups such that their coarse disjoint unions have bounded geometry. In this paper, we show that if the coarse disjoint unions of $\left( N_m \right)_{m\in \mathbb{N}} $ and $\left( Q_m \right)_{m\in \mathbb{N}} $ are coarsely embeddable into Hilbert space, then the coarse Baum-Connes conjecture holds for the coarse disjoint union of $\left( G_m \right)_{m\in \mathbb{N}}$. As an application, the coarse Baum-Connes conjecture holds for the relative expanders constructed by G. Arzhantseva and R. Tessera, and the special box spaces of free groups discovered by T. Delabie and A. Khukhro, which do not coarsely embed into Hilbert space, yet do not contain a weakly embedded expander. This enlarges the class of metric spaces known to satisfy the coarse Baum-Connes conjecture. In particular, it solves an open problem raised by G. Arzhantseva and R. Tessera on the coarse Baum-Connes conjecture for relative expanders.


title: Towards the Unification and Robustness of Perturbation and Gradient Based Explanations

abstract: As machine learning black boxes are increasingly being deployed in critical domains such as healthcare and criminal justice, there has been a growing emphasis on developing techniques for explaining these black boxes in a post hoc manner. In this work, we analyze two popular post hoc interpretation techniques: SmoothGrad which is a gradient based method, and a variant of LIME which is a perturbation based method. More specifically, we derive explicit closed form expressions for the explanations output by these two methods and show that they both converge to the same explanation in expectation, i.e., when the number of perturbed samples used by these methods is large. We then leverage this connection to establish other desirable properties, such as robustness, for these techniques. We also derive finite sample complexity bounds for the number of perturbations required for these methods to converge to their expected explanation. Finally, we empirically validate our theory using extensive experimentation on both synthetic and real world datasets.


title: Representations and Classification of the compact quantum groups $U_q(2)$ for complex deformation parameters

abstract: In this article, we obtain a complete list of inequivalent irreducible representations of the compact quantum group $U_q(2)$ for non-zero complex deformation parameters $q$, which are not roots of unity. The matrix coefficients of these representations are described in terms of the little $q$-Jacobi polynomials. The Haar state is shown to be faithful and an orthonormal basis of $L^2(U_q(2))$ is obtained. Thus, we have an explicit description of the Peter-Weyl decomposition of $U_q(2)$. As an application, we discuss the Fourier transform and establish the Plancherel formula. We also describe the decomposition of the tensor product of two irreducible representations into irreducible components. Finally, we classify the compact quantum groups $U_q(2)$.


title: Frobenius trace distributions for K3 surfaces

abstract: We study the distribution of the Frobenius traces on $K3$ surfaces. We compare experimental data with the predictions made by the Sato--Tate conjecture, i.e. with the theoretical distributions derived from the theory of Lie groups assuming equidistribution. Our sample consists of generic $K3$ surfaces, as well as of such having real and complex multiplication. Each time, the theoretical density and the histogram obtained by counting points match in the range of visible accuracy. Thus, we report evidence for the Sato-Tate conjecture for the surfaces considered.


title: Convergence rate of DeepONets for learning operators arising from advection-diffusion equations

abstract: We present convergence analysis of operator learning in [Chen and Chen 1995] and [Lu et al. 2020], where continuous operators are approximated by a sum of products of branch and trunk networks. In this work, we consider the rates of learning solution operators from both linear and nonlinear advection-diffusion equations with or without reaction. We find that the convergence rates depend on the architecture of branch networks as well as the smoothness of inputs and outputs of solution operators.


title: The Schonmann projection as a g-measure-, how Gibbsian is it?

abstract: We study the one-dimensional projection of the extremal Gibbs measures of the two-dimensional Ising model, the "Schonmann projection". These measures are known to be non-Gibbsian at low temperatures, since their conditional probabilities as a function of the two-sided boundary conditions are not continuous. We prove that they are g-measures, which means that their conditional probabilities have a continuous dependence on one-sided boundary condition.


title: Nested Array-Based Spatially Coupled LDPC Codes

abstract: Linear nested codes, where two or more sub-codes are nested in a global code, have been proposed as candidates for reliable multi-terminal communication. In this paper, we consider nested array-based spatially coupled low-density parity-check (SC-LDPC) codes and propose a line-counting based optimization scheme for minimizing the number of dominant absorbing sets in order to improve its performance in the high signal-to-noise ratio regime. Since the parity-check matrices of different nested sub-codes partially overlap, the optimization of one nested sub-code imposes constraints on the optimization of the other sub-codes. To tackle these constraints, a multi-step optimization process is applied first to one of the nested codes, then sequential optimization of the remaining nested codes is carried out based on the constraints imposed by the previously optimized sub-codes. Results show that the order of optimization has a significant impact on the number of dominant absorbing sets in the Tanner graph of the code, resulting in a tradeoff between the performance of a nested code structure and its optimization sequence: the code which is optimized without constraints has fewer harmful structures than the code which is optimized with constraints. We also show that for certain code parameters, dominant absorbing sets in the Tanner graphs of all nested codes are completely removed using our proposed optimization strategy.


title: Enumeration of strictly Deza graphs with at most 21 vertices

abstract: A Deza graph $\Gamma$ with parameters $(v,k,b,a)$ is a $k$-regular graph with $v$ vertices such that any two distinct vertices have $b$ or $a$ common neighbours, where $b \ge a$. A Deza graph of diameter 2 which is not a strongly regular graph is called a strictly Deza graph. We find all 139 strictly Deza graphs up to 21 vertices.


title: Spin excitations in the heavily overdoped monolayer graphene superconductor: an analog to the cuprates

abstract: Recently it was reported experimentally that the monolayer graphene can be doped to beyond the Van Hove singularity. We study theoretically the possible superconductivity and the corresponding spin excitations of the monolayer graphene in this doping region. A static spin-density-wave state is favorable due to the nested Fermi surface as the Fermi level is doped to the Van Hove singularity point. Superconductivity may be realized upon further doping. The spin excitations in the superconducting state are studied theoretically based on the random phase approximation. The overall features are qualitatively the same with those in cuprate superconductors. Thus we have proposed an exciting possibility, namely, the heavily overdoped monolayer graphene can become a novel platform to study the unconventional superconductivity.


title: Cointegrated Solutions of Unit-Root VARs: An Extended Representation Theorem

abstract: This paper establishes an extended representation theorem for unit-root VARs. A specific algebraic technique is devised to recover stationarity from the solution of the model in the form of a cointegrating transformation. Closed forms of the results of interest are derived for integrated processes up to the 4-th order. An extension to higher-order processes turns out to be within the reach on an induction argument.


title: Probabilistic Association of Transients to their Hosts (PATH)

abstract: We introduce a new method to estimate the probability that an extragalactic transient source is associated with a candidate host galaxy. This approach relies solely on simple observables: sky coordinates and their uncertainties, galaxy fluxes and angular sizes. The formalism invokes Bayes' rule to calculate the posterior probability P(O_i|x) from the galaxy prior P(O), observables x, and an assumed model for the true distribution of transients in/around their host galaxies. Using simulated transients placed in the well-studied COSMOS field, we consider several agnostic and physically motivated priors and offset distributions to explore the method sensitivity. We then apply the methodology to the set of 13~fast radio bursts (FRBs) localized with an uncertainty of several arcseconds. Our methodology finds nine of these are securely associated to a single host galaxy, P(O_i|x)>0.95. We examine the observed and intrinsic properties of these secure FRB hosts, recovering similar distributions as previous works. Furthermore, we find a strong correlation between the apparent magnitude of the securely identified host galaxies and the estimated cosmic dispersion measures of the corresponding FRBs, which results from the Macquart relation. Future work with FRBs will leverage this relation and other measures from the secure hosts as priors for future associations. The methodology is generic to transient type, localization error, and image quality. We encourage its application to other transients where host galaxy associations are critical to the science, e.g. gravitational wave events, gamma-ray bursts, and supernovae. We have encoded the technique in Python on GitHub: https://github.com/FRBs/astropath.


title: On non-inclusion of certain functions in reproducing kernel Hilbert spaces

abstract: We use a classical characterisation to prove that functions which are bounded away from zero cannot be elements of reproducing kernel Hilbert spaces whose reproducing kernels decays to zero in a suitable way. The result is used to study Hilbert spaces on subsets of the real line induced by analytic translation-invariant kernels which decay to zero at infinity.


title: Liberalisation of the International Gateway and Internet Development in Zambia: The Genesis, Opportunities, Challenges, and Future Directions

abstract: Telecommunication reforms in Zambia and the subsequent liberalisation of the international gateway was perceived as one of the means of promoting social and economic growth in both the urban and rural areas of the country. The outcome of this undertaking propelled the rapid development of Internet which has evidently brought about unprecedented paradigm shifts in the use of Information and Communication Technologies (ICTs). It is indisputable that ICTs, and the Internet in particular, have revolutionalised the way we communicate today. Furthermore, the penetration of ICTs to other spheres of our daily lives is evidence enough that the impacts thereof go beyond mere communicative facets of our lives. However, many challenges arose in the implementation of telecommunications reforms. In order to achieve the status quo, government had to make strategic liberalisation policies in the telecoms sector that saw the opening up of the international communication gateways to the private sector. This is in tandem with the fact that the relationship between government (through its formulation of policies and regulations) and other stakeholders determines the ability of a country to generate and use advanced knowledge for industrial competitiveness. As such, in this paper, we present the genesis and evaluate the impacts associated with the telecommunications reforms and the subsequent liberalisation of international communication gateways, and Internet development in Zambia. We further consider the challenges this has brought about and discuss possible future directions. This is helpful in forecasting the future landscape of the ICT sector considering that the country seeks to achieve universal coverage of both Internet and communication facilities to all Zambians across the country.


title: Fractional generalized cumulative entropy and its dynamic version

abstract: Following the theory of information measures based on the cumulative distribution function, we propose the fractional generalized cumulative entropy, and its dynamic version. These entropies are particularly suitable to deal with distributions satisfying the proportional reversed hazard model. We study the connection with fractional integrals, and some bounds and comparisons based on stochastic orderings, that allow to show that the proposed measure is actually a variability measure. The investigation also involves various notions of reliability theory, since the considered dynamic measure is a suitable extension of the mean inactivity time. We also introduce the empirical generalized fractional cumulative entropy as a non-parametric estimator of the new measure. It is shown that the empirical measure converges to the proposed notion almost surely. Then, we address the stability of the empirical measure and provide an example of application to real data. Finally, a central limit theorem is established under the exponential distribution.


title: Adaptive Importance Sampling for Efficient Stochastic Root Finding and Quantile Estimation

abstract: In solving simulation-based stochastic root-finding or optimization problems that involve rare events, such as in extreme quantile estimation, running crude Monte Carlo can be prohibitively inefficient. To address this issue, importance sampling can be employed to drive down the sampling error to a desirable level. However, selecting a good importance sampler requires knowledge of the solution to the problem at hand, which is the goal to begin with and thus forms a circular challenge. We investigate the use of adaptive importance sampling to untie this circularity. Our procedure sequentially updates the importance sampler to reach the optimal sampler and the optimal solution simultaneously, and can be embedded in both sample average approximation and stochastic approximation-type algorithms. Our theoretical analysis establishes strong consistency and asymptotic normality of the resulting estimators. We also demonstrate, via a minimax perspective, the key role of using adaptivity in controlling asymptotic errors. Finally, we illustrate the effectiveness of our approach via numerical experiments.


title: A Ransomware Classification Framework Based on File-Deletion and File-Encryption Attack Structures

abstract: Ransomware has emerged as an infamous malware that has not escaped a lot of myths and inaccuracies from media hype. Victims are not sure whether or not to pay a ransom demand without fully understanding the lurking consequences. In this paper, we present a ransomware classification framework based on file-deletion and file-encryption attack structures that provides a deeper comprehension of potential flaws and inadequacies exhibited in ransomware. We formulate a threat and attack model representative of a typical ransomware attack process from which we derive the ransomware categorization framework based on a proposed classification algorithm. The framework classifies the virulence of a ransomware attack to entail the overall effectiveness of potential ways of recovering the attacked data without paying the ransom demand as well as the technical prowess of the underlying attack structures. Results of the categorization, in increasing severity from CAT1 through to CAT5, show that many ransomwares exhibit flaws in their implementation of encryption and deletion attack structures which make data recovery possible without paying the ransom. The most severe categories CAT4 and CAT5 are better mitigated by exploiting encryption essentials while CAT3 can be effectively mitigated via reverse engineering. CAT1 and CAT2 are not common and are easily mitigated without any decryption essentials.


title: Bakry-Emery Calculus For Diffusion With Additional Multiplicative Term

abstract: We extend the Gamma_2 calculus of Bakry and Emery to include a Carre du champ operator with multiplicative term, providing results which allow to analyse inhomogeneous diffusions.


title: Demystifying Cryptocurrency Mining Attacks: A Semi-supervised Learning Approach Based on Digital Forensics and Dynamic Network Characteristics

abstract: Cryptocurrencies have emerged as a new form of digital money that has not escaped the eyes of cyber-attackers. Traditionally, they have been maliciously used as a medium of exchange for proceeds of crime in the cyber dark-market by cyber-criminals. However, cyber-criminals have devised an exploitative technique of directly acquiring cryptocurrencies from benign users' CPUs without their knowledge through a process called crypto mining. The presence of crypto mining activities in a network is often an indicator of compromise of illegal usage of network resources for crypto mining purposes. Crypto mining has had a financial toll on victims such as corporate networks and individual home users. This paper addresses the detection of crypto mining attacks in a generic network environment using dynamic network characteristics. It tackles an in-depth overview of crypto mining operational details and proposes a semi-supervised machine learning approach to detection using various crypto mining features derived from complex network characteristics. The results demonstrate that the integration of semi-supervised learning with complex network theory modeling is effective at detecting crypto mining activities in a network environment. Such an approach is helpful during security mitigation by network security administrators and law enforcement agencies.


title: AI-Augmented Behavior Analysis for Children with Developmental Disabilities: Building Towards Precision Treatment

abstract: Autism spectrum disorder is a developmental disorder characterized by significant social, communication, and behavioral challenges. Individuals diagnosed with autism, intellectual, and developmental disabilities (AUIDD) typically require long-term care and targeted treatment and teaching. Effective treatment of AUIDD relies on efficient and careful behavioral observations done by trained applied behavioral analysts (ABAs). However, this process overburdens ABAs by requiring the clinicians to collect and analyze data, identify the problem behaviors, conduct pattern analysis to categorize and predict categorical outcomes, hypothesize responsiveness to treatments, and detect the effects of treatment plans. Successful integration of digital technologies into clinical decision-making pipelines and the advancements in automated decision-making using Artificial Intelligence (AI) algorithms highlights the importance of augmenting teaching and treatments using novel algorithms and high-fidelity sensors. In this article, we present an AI-Augmented Learning and Applied Behavior Analytics (AI-ABA) platform to provide personalized treatment and learning plans to AUIDD individuals. By defining systematic experiments along with automated data collection and analysis, AI-ABA can promote self-regulative behavior using reinforcement-based augmented or virtual reality and other mobile platforms. Thus, AI-ABA could assist clinicians to focus on making precise data-driven decisions and increase the quality of individualized interventions for individuals with AUIDD.


title: Chemical Reaction Network Decomposition Technique for Stability Analysis

abstract: This paper develops the concept of decomposition for chemical reaction networks, based on which a network decomposition technique is proposed to capture the stability of large-scale networks characterized by a high number of species, high dimension, high deficiency, and/or non-weakly reversible structure. We present some sufficient conditions to capture the stability of a network (may possess any dimension, any deficiency, and/or any topological structure) when it can be decomposed into a complex balanced subnetwork and a few 1-dimensional subnetworks (and/or a few two-species subnetworks), especially in the case when there are shared species in different subnetworks. The results cover encouraging applications on autocatalytic networks with some frequently-encountered biochemical reactions examples of interest, such as the autophosphorylation of PAK1 and Aurora B kinase, autocatalytic cycles originating from metabolism, etc.


title: QoE Optimization for Live Video Streaming in UAV-to-UAV Communications via Deep Reinforcement Learning

abstract: A challenge for rescue teams when fighting against wildfire in remote areas is the lack of information, such as the size and images of fire areas. As such, live streaming from Unmanned Aerial Vehicles (UAVs), capturing videos of dynamic fire areas, is crucial for firefighter commanders in any location to monitor the fire situation with quick response. The 5G network is a promising wireless technology to support such scenarios. In this paper, we consider a UAV-to-UAV (U2U) communication scenario, where a UAV at a high altitude acts as a mobile base station (UAV-BS) to stream videos from other flying UAV-users (UAV-UEs) through the uplink. Due to the mobility of the UAV-BS and UAV-UEs, it is important to determine the optimal movements and transmission powers for UAV-BSs and UAV-UEs in real-time, so as to maximize the data rate of video transmission with smoothness and low latency, while mitigating the interference according to the dynamics in fire areas and wireless channel conditions. In this paper, we co-design the video resolution, the movement, and the power control of UAV-BS and UAV-UEs to maximize the Quality of Experience (QoE) of real-time video streaming. To learn the Deep Q-Network (DQN) and Actor-Critic (AC) to maximize the QoE of video transmission from all UAV-UEs to a single UAVBS. Simulation results show the effectiveness of our proposed algorithm in terms of the QoE, delay and video smoothness as compared to the Greedy algorithm.


title: Reference-frame-independent measurement-device-independent quantum key distribution with imperfect sources

abstract: Reference-frame-independent measurement-device-independent quantum key distribution (RFI-MDI-QKD) can remove all potential detector side-channel attacks and the requirement of real-time alignment of reference frames. However, all previous RFI-MDI-QKD implementations assume the perfect state preparation in sources, which is impractical and may lead to security loopholes. Here, we propose a RFI-MDI-QKD protocol which is robust against state preparation flaws. Comparing to the conventional six-state RFI-MDI-QKD, our scheme can be realized with only four flawed states, which improves the practical security of RFI-MDI-QKD and simplifies the experimental implementation. In addition, simulation results demonstrate that source flaws in Z basis have adverse effect on the performance of RFI-MDI-QKD while the source flaws in X and Y bases have almost no effect. We hope that this work could provide a valuable reference for practical implementations of RFI-MDI-QKD.


title: Privacy-Preserving Wireless Federated Learning Exploiting Inherent Hardware Impairments

abstract: We consider a wireless federated learning system where multiple data holder edge devices collaborate to train a global model via sharing their parameter updates with an honest-but-curious parameter server. We demonstrate that the inherent hardware-induced distortion perturbing the model updates of the edge devices can be exploited as a privacy-preserving mechanism. In particular, we model the distortion as power-dependent additive Gaussian noise and present a power allocation strategy that provides privacy guarantees within the framework of differential privacy. We conduct numerical experiments to evaluate the performance of the proposed power allocation scheme under different levels of hardware impairments.