title: Delving into Rectifiers in Style-Based Image Translation

abstract: While modern image translation techniques can create photorealistic synthetic images, they have limited style controllability, thus could suffer from translation errors. In this work, we show that the activation function is one of the crucial components in controlling the direction of image synthesis. Specifically, we explicitly demonstrated that the slope parameters of the rectifier could change the data distribution and be used independently to control the direction of translation. To improve the style controllability, two simple but effective techniques are proposed, including Adaptive ReLU (AdaReLU) and structural adaptive function. The AdaReLU can dynamically adjust the slope parameters according to the target style and can be utilized to increase the controllability by combining with Adaptive Instance Normalization (AdaIN). Meanwhile, the structural adaptative function enables rectifiers to manipulate the structure of feature maps more effectively. It is composed of the proposed structural convolution (StruConv), an efficient convolutional module that can choose the area to be activated based on the mean and variance specified by AdaIN. Extensive experiments show that the proposed techniques can greatly increase the network controllability and output diversity in style-based image translation tasks.


title: Compactness in normed spaces: a unified approach through semi-norms

abstract: In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural conditions. Those conditions, roughly speaking, state that the norm can be approximated (on the equinormed sets even uniformly) by the elements of this family. As we are given some freedom of choice of the underlying semi-normed structure that is used to define equinormed sets, our approach opens a new perspective for building compactness criteria in specific normed spaces. As an example we show that natural selections of families of semi-norms in spaces $C(X,\mathbb{R})$ and $l^p$ for $p\in[1,+\infty)$ lead to the well-known compactness criteria (including the Arzel\`a-Ascoli theorem). In the second part of the paper, applying the abstract theorems, we construct a simple compactness criterion in the space of functions of bounded Schramm variation and provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in therms of their generating kernels.


title: Reliable Distributed Computing for Metaverse: A Hierarchical Game-Theoretic Approach

abstract: The metaverse is regarded as a new wave of technological transformation that provides a virtual space for people to interact through digital avatars. To achieve immersive user experiences in the metaverse, real-time rendering is the key technology. However, computing-intensive tasks of real-time rendering from metaverse service providers cannot be processed efficiently on a single resource-limited mobile device. Alternatively, such mobile devices can offload the metaverse rendering tasks to other mobile devices by adopting the collaborative computing paradigm based on Coded Distributed Computing (CDC). Therefore, this paper introduces a hierarchical game-theoretic CDC framework for the metaverse services, especially for the vehicular metaverse. In the framework, idle resources from vehicles, acting as CDC workers, are aggregated to handle intensive computation tasks in the vehicular metaverse. Specifically, in the upper layer, a miner coalition formation game is formulated based on a reputation metric to select reliable workers. To guarantee the reliable management of reputation values, the reputation values calculated based on the subjective logical model are maintained in a blockchain database. In the lower layer, a Stackelberg game-based incentive mechanism is considered to attract reliable workers selected in the upper layer to participate in rendering tasks. The simulation results illustrate that the proposed framework is resistant to malicious workers. Compared with the best-effort worker selection scheme, the proposed scheme can improve the utility of metaverse service provider and the average profit of CDC workers.


title: An End-to-End Framework for Dynamic Crime Profiling of Places

abstract: Much effort is being made to ensure the safety of people. One of the main requirements of travellers and city administrators is to have knowledge of places that are more prone to criminal activities. To rate a place as a potential crime location, it needs the past crime history at that location. Such data is not easily available in the public domain, however, it floats around on the Internet in the form of newspaper and social media posts, in an unstructured manner though. Consequently, a large number of works are reported on extracting crime information from news articles, providing piecemeal solutions to the problem. This chapter complements these works by building an end-to-end framework for crime profiling of any given location/area. It customizes individual components of the framework and provides a Spatio-temporal integration of crime information. It develops an automated framework that crawls online news articles, analyzes them, and extracts relevant information to create a crime knowledge base that gets dynamically updated in real-time. The crime density can be easily visualized in the form of a heat map which is generated by the knowledge base. As a case study, it investigates 345448 news articles published by 6 daily English newspapers collected for approximately two years. Experimental results show that the crime profiling matches with the ratings calculated manually by various organizations.


title: Optimal Grouping Strategy for Reconfigurable Intelligent Surface Assisted Wireless Communications

abstract: The channel estimation overhead of reconfigurable intelligent surface (RIS) assisted communication systems can be prohibitive. Prior works have demonstrated via simulations that grouping neighbouring RIS elements can help to reduce the pilot overhead and improve achievable rate. In this paper, we present an analytical study of RIS element grouping. We derive a tight closed-form upper bound for the achievable rate and then maximize it with respect to the group size. Our analysis reveals that more coarse-grained grouping is important-when the channel coherence time is low (high mobility scenarios) or the transmit power is large. We also demonstrate that optimal grouping can yield significant performance improvements over simple `On-Off' RIS element switching schemes that have been recently considered.


title: Closures for Multi-Component Reacting Flows based on Dispersion Analysis

abstract: This work presents algebraic closure models associated with advective transport and nonlinear reactions in a Reynolds-averaged Navier-Stokes context for a system of species subject to binary reactions and transport by advection and diffusion. Expanding upon analysis originally developed for non-reactive transport in the context of Taylor dispersion of scalars, this work extends the modified gradient diffusion model explicated by Peters (Turbulent Combustion, 2000) and based on work by Corrsin (JFM, vol. 11, p.407-416) beyond single-component transport phenomena and involving nonlinear reactions. The presented model forms, from this weakly-nonlinear extension of the original dispersion theory, lead to an analytic expression for the eddy diffusivity matrix that explicitly captures the influence of the reaction kinetics on the closure operators. Furthermore, we demonstrate that the derived model form directly translates between flow topologies through a priori and a posteriori testing of a binary species system subject to homogeneous isotropic turbulence. Using two- and three-dimensional direct numerical simulations involving laminar and turbulent flows, it is shown that this framework improves prediction of mean quantities compared to previous results. Lastly, the presented model form, collapses to the earlier gradient diffusion and its modified version derived by Corrsin in the limits of non-reactive species and linear reactions, respectively.


title: Accelerating non-LTE synthesis and inversions with graph networks

abstract: The computational cost of fast non-LTE synthesis is one of the challenges that limits the development of 2D and 3D inversion codes. It also makes the interpretation of observations of lines formed in the chromosphere and transition region a slow and computationally costly process, which limits the inference of the physical properties on rather small fields of view. Having access to a fast way of computing the deviation from the LTE regime through the departure coefficients could largely alleviate this problem. We propose to build and train a graph network that quickly predicts the atomic level populations without solving the non-LTE problem. We find an optimal architecture for the graph network for predicting the departure coefficients of the levels of an atom from the physical conditions of a model atmosphere. A suitable dataset with a representative sample of potential model atmospheres is used for training. This dataset has been computed using existing non-LTE synthesis codes. The graph network has been integrated into existing synthesis and inversion codes for the particular case of \caii. We demonstrate orders of magnitude gain in computing speed. We analyze the generalization capabilities of the graph network and demonstrate that it produces good predicted departure coefficients for unseen models. We implement this approach in \hazel\ and show how the inversions nicely compare with those obtained with standard non-LTE inversion codes. Our approximate method opens up the possibility of extracting physical information from the chromosphere on large fields-of-view with time evolution.


title: Degree-corrected distribution-free model for community detection in weighted networks

abstract: A degree-corrected distribution-free model is proposed for weighted social networks with latent structural information. The model extends the previous distribution-free models by considering variation in node degree to fit real-world weighted networks, and it also extends the classical degree-corrected stochastic block model from un-weighted network to weighted network. We design an algorithm based on the idea of spectral clustering to fit the model. Theoretical framework on consistent estimation for the algorithm is developed under the model. Theoretical results when edge weights are generated from different distributions are analyzed. We also propose a general modularity as an extension of Newman's modularity from un-weighted network to weighted network. Using experiments with simulated and real-world networks, we show that our method significantly outperforms the uncorrected one, and the general modularity is effective.


title: Observing Actions in Global Games

abstract: We study Bayesian coordination games where agents receive noisy private information over the game's payoffs, and over each others' actions. If private information over actions is of low quality, equilibrium uniqueness obtains in a manner similar to a global games setting. On the contrary, if private information over actions (and thus over the game's payoff coefficient) is precise, agents can coordinate on multiple equilibria. We argue that our results apply to phenomena such as bank-runs, currency crises, recessions, or riots and revolutions, where agents monitor each other closely.


title: Absorption and optical selection rules of tunable excitons in biased bilayer graphene

abstract: Biased bilayer graphene, with its easily tunable band gap, presents itself as the ideal system to explore the excitonic effect in graphene based systems. In this paper we study the excitonic optical response of such a system by combining a tight binding model with the solution of the Bethe-Salpeter equation, the latter being solved in a semi-analytical manner, requiring a single numerical quadrature, thus allowing for a transparent calculation. With our approach we start by analytically obtaining the optical selection rules, followed by the computation of the absorption spectrum for the case of a biased bilayer encapsulated in hexagonal boron nitride, a system which has been the subject of a recent experimental study. An excellent agreement is seen when we compare our theoretical prediction with the experimental data.


title: Convenient Peierls phase choice for periodic atomistic systems under magnetic field

abstract: Hamiltonian models based on a localized basis set are widely used in condensed matter physics, as, for example, for the calculation of electronic structures or transport properties. The presence of a weak and homogeneous magnetic field can be taken into account through Peierls phase factors on the hopping Hamiltonian elements. Here, we propose simple and convenient recipes to properly determine such Peierls phase factors for quasi-one-dimensional systems that are periodic or with periodic subcomponents (as in Hall bars, for example), and periodic two-dimensional systems. We also show some examples of applications of the formulas, and more specifically concerning the electronic structure of carbon nanotubes in magnetic fields, the integer quantum Hall effect in six-terminal bars obtained in two-dimensional electron gases, and the electronic structure of bumped graphene superlattices in the presence of a magnetic field.


title: HybNet: A Hybrid Deep Learning -- Matched Filter Approach for IoT Signal Detection

abstract: Random access schemes are widely used in IoT wireless access networks to accommodate simplicity and power consumption constraints. As a result, the interference arising from overlapping IoT transmissions is a significant issue in such networks. Traditional signal detection methods are based on the well-established matched filter using the complex conjugate of the signal, which is proven as the optimal filter under additive white Gaussian noise. However, with the colored interference arising from the overlapping IoT transmissions, deep learning approaches are being considered as a better alternative. In this paper, we present a hybrid framework, HybNet, that switches between deep learning and match filter pathways based on the detected interference level. This helps the detector work in a broader range of conditions, optimally leveraging the matched filter and deep learning robustness. We compare the performance of several possible data modalities and detection architectures concerning the interference-to-noise ratio, demonstrating that the proposed HybNet surpasses the complex conjugate matched filter performance under interference-limited scenarios.


title: Submersion and homogeneous spray geometry

abstract: We introduce the submersion between two spray structures and propose the submersion technique in spray geometry. Using this technique, as well as global invariant frames on a Lie group, we setup the general theoretical framework for homogeneous spray geometry. We define the spray vector field $\eta$ and the connection operator $N$ for a homogeneous spray manifold $(G/H,\mathbf{G})$ with a linear decomposition $\mathfrak{g}=\mathfrak{h}+\mathfrak{m}$. These notions generalize their counter parts in homogeneous Finsler geometry. We prove the correspondence between $\mathbf{G}$ and $\eta$ when the given decomposition is reductive, and that between geodesics on $(G/H,\mathbf{G})$ and integral curves of $-\eta$. We find the ordinary differential equations on $\mathfrak{m}$ describing parallel translations on $(G/H,\mathbf{G})$, and we calculate the S-curvature and Riemann curvature of $(G/H,\mathbf{G})$, generalizing L. Huang's curvature formulae for homogeneous Finsler manifolds.


title: Learning Non-Stationary Time-Series with Dynamic Pattern Extractions

abstract: The era of information explosion had prompted the accumulation of a tremendous amount of time-series data, including stationary and non-stationary time-series data. State-of-the-art algorithms have achieved a decent performance in dealing with stationary temporal data. However, traditional algorithms that tackle stationary time-series do not apply to non-stationary series like Forex trading. This paper investigates applicable models that can improve the accuracy of forecasting future trends of non-stationary time-series sequences. In particular, we focus on identifying potential models and investigate the effects of recognizing patterns from historical data. We propose a combination of \rebuttal{the} seq2seq model based on RNN, along with an attention mechanism and an enriched set features extracted via dynamic time warping and zigzag peak valley indicators. Customized loss functions and evaluating metrics have been designed to focus more on the predicting sequence's peaks and valley points. Our results show that our model can predict 4-hour future trends with high accuracy in the Forex dataset, which is crucial in realistic scenarios to assist foreign exchange trading decision making. We further provide evaluations of the effects of various loss functions, evaluation metrics, model variants, and components on model performance.


title: Passivity-based Analysis and Design for Population Dynamics with Conformity Biases

abstract: This paper addresses mechanisms for boundedly rational decision makers in discrete choice problem. First, we introduce two mathematical models of population dynamics with conformity biases. We next analyze the models in terms of delta-passivity, and show that the conformity biases work to break passivity of decision makers. Based on the passivity perspective, we propose mechanisms so as to induce decision makers to a desired population state. Furthermore, we analyze a convergence property of designed mechanisms, and present parameter conditions to guarantee stable inducements.


title: Teacher-Student Training and Triplet Loss to Reduce the Effect of Drastic Face Occlusion

abstract: We study a series of recognition tasks in two realistic scenarios requiring the analysis of faces under strong occlusion. On the one hand, we aim to recognize facial expressions of people wearing Virtual Reality (VR) headsets. On the other hand, we aim to estimate the age and identify the gender of people wearing surgical masks. For all these tasks, the common ground is that half of the face is occluded. In this challenging setting, we show that convolutional neural networks (CNNs) trained on fully-visible faces exhibit very low performance levels. While fine-tuning the deep learning models on occluded faces is extremely useful, we show that additional performance gains can be obtained by distilling knowledge from models trained on fully-visible faces. To this end, we study two knowledge distillation methods, one based on teacher-student training and one based on triplet loss. Our main contribution consists in a novel approach for knowledge distillation based on triplet loss, which generalizes across models and tasks. Furthermore, we consider combining distilled models learned through conventional teacher-student training or through our novel teacher-student training based on triplet loss. We provide empirical evidence showing that, in most cases, both individual and combined knowledge distillation methods bring statistically significant performance improvements. We conduct experiments with three different neural models (VGG-f, VGG-face, ResNet-50) on various tasks (facial expression recognition, gender recognition, age estimation), showing consistent improvements regardless of the model or task.


title: Skyrmionics in correlated oxides

abstract: While chiral magnets, metal-based magnetic multilayers, or Heusler compounds have been considered as the material workhorses in the field of skyrmionics, oxides are now emerging as promising alternatives, as they host special correlations between the spin-orbital-charge-lattice degrees of freedom and/or coupled ferroic order parameters. These interactions open new possibilities for practically exploiting skyrmionics. In this article, we review the recent advances in the observation and control of topological spin textures in various oxide systems. We start with the discovery of skyrmions and related quasiparticles in bulk and heterostructure ferromagnetic oxides. Next, we emphasize the shortcomings of implementing ferromagnetic textures, which have led to the recent explorations of ferrimagnetic and antiferromagnetic oxide counterparts, with higher Curie temperatures, stray-field immunity, low Gilbert damping, ultrafast magnetic dynamics, and/or absence of skyrmion deflection. Then, we highlight the development of novel pathways to control the stability, motion, and detection of topological textures using electric fields and currents. Finally, we present the outstanding challenges that need to be overcome to achieve all-electrical, nonvolatile, low-power oxide skyrmionic devices.


title: A Deeper Look into DeepCap

abstract: Human performance capture is a highly important computer vision problem with many applications in movie production and virtual/augmented reality. Many previous performance capture approaches either required expensive multi-view setups or did not recover dense space-time coherent geometry with frame-to-frame correspondences. We propose a novel deep learning approach for monocular dense human performance capture. Our method is trained in a weakly supervised manner based on multi-view supervision completely removing the need for training data with 3D ground truth annotations. The network architecture is based on two separate networks that disentangle the task into a pose estimation and a non-rigid surface deformation step. Extensive qualitative and quantitative evaluations show that our approach outperforms the state of the art in terms of quality and robustness. This work is an extended version of DeepCap where we provide more detailed explanations, comparisons and results as well as applications.


title: Exchange coupling in synthetic anion-engineered chromia heterostructures

abstract: Control of magnetic states by external factors has garnered a mainstream status in spintronic research for designing low power consumption and fast-response information storage and processing devices. Previously, magnetic-cation substitution is the conventional means to induce ferromagnetism in an intrinsic antiferromagnet. Theoretically, the anion-doping is proposed to be another effect means to change magnetic ground states. Here we demonstrate the synthesis of high-quality single-phase chromium oxynitride thin films using in-situ nitrogen doping. Unlike antiferromagnetic monoanionic chromium oxide and nitride phases, chromium oxynitride exhibits a robust ferromagnetic and insulating state, as demonstrated by the combination of multiple magnetization probes and theoretical calculations. With increasing the nitrogen content, the crystal structure of chromium oxynitride transits from trigonal (R3c) to tetragonal (4mm) phase and its saturation magnetization reduces significantly. Furthermore, we achieve a large and controllable exchange bias field in the chromia heterostructures by synthetic anion engineering. This work reflects the anion engineering in functional oxides towards the potential applications in giant magnetoresistance and tunnelling junctions of modern magnetic sensors and read heads.


title: Dynamics of anisotropic oxygen-ion migration in strained cobaltites

abstract: Orientation control of oxygen vacancy channel (OVC) is a highly desirable for tailoring oxygen diffusion as it serves fast transport channel in ion conductors, which is widespread exploited in solid-state fuel cells, catalysts, and ion-batteries. Direct observation of oxygen-ions hopping towards preferential vacant sites is a key to clarifying migration pathways. Here we report the anisotropic oxygen-ion migration mediated by strain in ultrathin cobaltites via in-situ thermal activation in an atomic-resolved transmission electron microscopy. Oxygen migration pathways are constructed on the basis of the atomic structure during the OVC switching, which is manifested as the vertical-to-horizontal OVC switching under tensile strain, but the horizontal-to-diagonal switching under compression. We evaluate the topotactic structural changes to OVC, determine the crucial role of tolerance factor for OVC stability and establish the strain-dependent phase diagram. Our work provides a practical guide for engineering OVC orientation that is applicable ionic-oxide electronics.


title: Anisotropic electronic phase transition in CrN epitaxial thin films

abstract: Electronic phase transition in strongly correlated materials is extremely sensitive to the dimensionality and crystallographic orientations. Transition metal nitrides (TMNs) are seldom investigated due to the difficulty in fabricating the high-quality and stoichiometric single crystals. In this letter, we report the epitaxial growth and electronic properties of CrN films on different-oriented NdGaO3 (NGO) substrates. Astonishingly, the CrN films grown on (110)-oriented NGO substrates maintain a metallic phase, whereas the CrN films grown on (010)-oriented NGO substrates are semiconducting. We attribute the unconventional electronic transition in the CrN films to the strongly correlation with epitaxial strain. The effective modulation of bandgap by the anisotropic strain triggers the metal-to-insulator transition consequently. This work provides a convenient approach to modify the electronic ground states of functional materials using anisotropic strain and further stimulates the investigations of TMNs.


title: Tait coloring and a moduli space

abstract: We associate a moduli space M(G) to a planar trivalent graph G. We proved several decomposition properties of M(G), which implies that the Euler characteristic of M(G) equals to the number of Tait colorings of G when G is bipartite. Then we interpret M(G) as a representation space of the fundamental group of G to SU(3).


title: On the structure of the top homology group of the Johnson kernel

abstract: The Johnson kernel is the subgroup $\mathcal{K}_g$ of the mapping class group ${\rm Mod}(\Sigma_{g})$ of a genus $g$ oriented closed surface $\Sigma_{g}$ generated by all Dehn twists about separating curves. In this paper we study the structure of the top homology group ${\rm H}_{2g-3}(\mathcal{K}_g, \mathbb{Z})$. For any collection of $2g-3$ disjoint separating curves on $\Sigma_{g}$ one can construct the corresponding abelian cycle in the group ${\rm H}_{2g-3}(\mathcal{K}_g, \mathbb{Z})$; such abelian cycles will be called simplest. In this paper we describe the structure of $\mathbb{Z}[{\rm Mod}(\Sigma_{g})/ \mathcal{K}_g]$-module on the subgroup of ${\rm H}_{2g-3}(\mathcal{K}_g, \mathbb{Z})$ generated by all simplest abelian cycles and find all relations between them.


title: Limit theorems for the coefficients of random walks on the general linear group

abstract: Let $(g_n)_{n\geq 1}$ be a sequence of independent and identically distributed random elements with law $\mu$ on the general linear group $\textrm{GL}(V)$, where $V=\mathbb R^d$. Consider the random walk $G_n : = g_n \ldots g_1$, $n \geq 1$, and the coefficients $\langle f, G_n v \rangle$, where $v \in V$ and $f \in V^*$. Under suitable moment assumptions on $\mu$, we prove the strong and weak laws of large numbers and the central limit theorem for $\langle f, G_n v \rangle$, which improve the previous results established under the exponential moment condition on $\mu$. We further demonstrate the Berry-Esseen bound, the Edgeworth expansion, the Cram\'{e}r type moderate deviation expansion and the local limit theorem with moderate deviations for $\langle f, G_n v \rangle$ under the exponential moment condition. Under a subexponential moment condition on $\mu$, we also show a Berry-Esseen type bound and the moderate deviation principle for $\langle f, G_n v \rangle$. Our approach is based on various versions of the H\"older regularity of the invariant measure of the Markov chain $G_n \!\cdot \! x = \mathbb R G_n v$ on the projective space of $V$ with the starting point $x = \mathbb R v$.


title: Improving Spectral Efficiency of Wireless Networks through Democratic Spectrum Sharing

abstract: Wireless devices need spectrum to communicate. With the increase in the number of devices competing for the same spectrum, it has become nearly impossible to support the throughput requirements of all the devices through current spectrum sharing methods. In this work, we look at the problem of spectrum resource contention fundamentally, taking inspiration from the principles of globalization. We develop a distributed algorithm whereby the wireless nodes democratically share the spectrum resources and improve their spectral efficiency and throughput without additional power or spectrum resources. We validate the performance of our proposed democratic spectrum sharing (DSS) algorithm over real-world Wi-Fi networks and on synthetically generated networks with varying design parameters. Compared to the greedy approach, DSS achieves significant gains in throughput (~60%), area spectral efficiency ($\sim$50\%) and fairness in datarate distribution (~20%). Due to the distributed nature of the proposed algorithm, we can apply it to wireless networks of any size and density.


title: Constrained consensus-based optimization

abstract: In this work we are interested in the construction of numerical methods for high dimensional constrained nonlinear optimization problems by particle-based gradient-free techniques. A consensus-based optimization (CBO) approach combined with suitable penalization techniques is introduced for this purpose. The method relies on a reformulation of the constrained minimization problem in an unconstrained problem for a penalty function and extends to the constrained settings the class of CBO methods. Exact penalization is employed and, since the optimal penalty parameter is unknown, an iterative strategy is proposed that successively updates the parameter based on the constrained violation. Using a mean-field description of the the many particle limit of the arising CBO dynamics, we are able to show convergence of the proposed method to the minimum for general nonlinear constrained problems. Properties of the new algorithm are analyzed. Several numerical examples, also in high dimensions, illustrate the theoretical findings and the good performance of the new numerical method.


title: Control Analysis of Packet Transmission Algorithms: Study on Fairness and Stability

abstract: This document is a study of fairness, feedback and stability notions of different packet transmission algorithms. We start the discussion with defining two scalable control algorithms namely primal and dual algorithm. We discuss the dual algorithm model and then understand the fair dual algorithm. Further, we discuss different notions of fairness under fair dual algorithm those correspond to TCP and RCP congestion control protocols. Feedback parameters are analyzed in each of these fairness algorithms and thus their stability is studied.


title: Evaluation of ambipolar potential barrier in the gas dynamic trap by Doppler spectroscopy

abstract: The recently developed Doppler spectroscopy diagnostic has been used to evaluate the height of the ambipolar potential barrier forming in the gas dynamic trap (GDT) plasma between the central cell and the region with a large magnetic expansion ratio beyond the mirror. The diagnostic technique based on the gas jet charge exchange target, allowed to measure the potential profile along the line of sight covering the radial range from the axis to the limiter. The on-axis potential drop was found to be $2.6 \div 3.1$ in units of the central plane electron temperature, which supports the existing theoretical understanding of suppression of electron thermal conductivity in the GDT expander.


title: Switching Independent Vector Analysis and Its Extension to Blind and Spatially Guided Convolutional Beamforming Algorithms

abstract: This paper develops a framework that can perform denoising, dereverberation, and source separation accurately by using a relatively small number of microphones. It has been empirically confirmed that Independent Vector Analysis (IVA) can blindly separate N sources from their sound mixture even with diffuse noise when a sufficiently large number (=M) of microphones are available (i.e., M>>N). However, the estimation accuracy seriously degrades as the number of microphones, or more specifically M-N (>=0), decreases. To overcome this limitation of IVA, we propose switching IVA (swIVA) in this paper. With swIVA, time frames of an observed signal with time-varying characteristics are clustered into several groups, each of which can be well handled by IVA using a small number of microphones, and thus accurate estimation can be achieved by applying IVA individually to each of the groups. Conventionally, a switching mechanism was introduced into a beamformer; however, no blind source separation algorithms with a switching mechanism have been successfully developed until this paper. In order to incorporate dereverberation capability, this paper further extends swIVA to blind Convolutional beamforming algorithm (swCIVA). It integrates swIVA and switching Weighted Prediction Error-based dereverberation (swWPE) in a jointly optimal way. We show that both swIVA and swCIVA can be optimized effectively based on blind signal processing, and that their performance can be further improved using a spatial guide for the initialization. Experiments show that both proposed methods largely outperform conventional IVA and its Convolutional beamforming extension (CIVA) in terms of objective signal quality and automatic speech recognition scores when using a relatively small number of microphones.


title: Regularity of free boundary for the Monge-Amp\`ere obstacle problem

abstract: In this paper, we prove the regularity of the free boundary in the Monge-Amp\`ere obstacle problem $\det D^2 v= f(y)\chi_{\{v>0\}}. $ By duality, the regularity of the free boundary is equivalent to that of the asymptotic cone of the solution to the singular Monge-Amp\`ere equation $\det D^2 u = 1/f (Du)+\delta_0$ at the origin. We first establish an asymptotic estimate for the solution $u$ near the singular point, then use a partial Legendre transform to change the Monge-Amp\`ere equation to a singular, fully nonlinear elliptic equation, and establish the regularity of solutions to the singular elliptic equation.


title: Contact conductance governs metallicity in conducting metal oxide nanocrystal films

abstract: In bulk semiconductor materials, the insulator-metal transition (IMT) is governed by the concentration of conduction electrons. Meanwhile, even when fabricated from metallic building blocks, nanocrystal films are often insulating with inter-nanocrystal contacts acting as electron transport bottlenecks. Using a library of transparent conducting tin-doped indium oxide nanocrystal films with varied electron concentration, size, and contact area, we test candidate criteria for the IMT and establish a phase diagram for electron transport behavior. From variable temperature conductivity measurements, we learn that both the IMT and a subsequent crossover to conventional metallic behavior near room temperature are governed by the conductance of the inter-nanocrystal contacts. To cross the IMT, inter-nanocrystal coupling must be sufficient to overcome the charging energy of a nanocrystal, while conventional metallic behavior requires contact conductance to reach the conductance of a nanocrystal. This understanding can enable the design and fabrication of metallic conducting materials from nanocrystal building blocks.


title: Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings

abstract: We provide CONGEST model algorithms for approximating minimum weighted vertex cover and the maximum weighted matching. For bipartite graphs, we show that a $(1+\varepsilon)$-approximate weighted vertex cover can be computed deterministically in polylogarithmic time. This generalizes a corresponding result for the unweighted vertex cover problem shown in [Faour, Kuhn; OPODIS '20]. Moreover, we show that in general weighted graph families that are closed under taking subgraphs and in which we can compute an independent set of weight at least a $\lambda$-fraction of the total weight, one can compute a $(2-2\lambda +\varepsilon)$-approximate weighted vertex cover in polylogarithmic time in the CONGEST model. Our result in particular implies that in graphs of arboricity $a$, one can compute a $(2-1/a+\varepsilon)$-approximate weighted vertex cover. For maximum weighted matchings, we show that a $(1-\varepsilon)$-approximate solution can be computed deterministically in polylogarithmic CONGEST rounds (for constant $\varepsilon$). We also provide a more efficient randomized algorithm. Our algorithm generalizes results of [Lotker, Patt-Shamir, Pettie; SPAA '08] and [Bar-Yehuda, Hillel, Ghaffari, Schwartzman; PODC '17] for the unweighted case. Finally, we show that even in the LOCAL model and in bipartite graphs of degree $\leq 3$, if $\varepsilon<\varepsilon_0$ for some constant $\varepsilon_0>0$, then computing a $(1+\varepsilon)$-approximation for the unweighted minimum vertex cover problem requires $\Omega\big(\frac{\log n}{\varepsilon}\big)$ rounds. This generalizes aresult of [G\"o\"os, Suomela; DISC '12], who showed that computing a $(1+\varepsilon_0)$-approximation in such graphs requires $\Omega(\log n)$ rounds.


title: Thermodynamic properties and Hilbert space of the human brain

abstract: Any macrosystem consists of many microparticles. According to statistical physics, the macroproperties of a system are realized as the statistical average of the corresponding microproperties. In our study, a model based on ensemble theory from statistical physics is proposed. Specifically, the functional connectivity (FC) patterns confirmed by Leading Eigenvector Dynamics Analysis (LEiDA) are taken as the microstates of a system, and static functional connectivity (SFC) is seen as the macrostate. When SFC can be written as the linear combination of these FC patterns, it is realized that these FC patterns are valid microstates for which the statistical results of relevant behaviors can describe the corresponding properties of SFC. In this case, the thermodynamic functions in ensemble theory are expressed in terms of these microstates. We apply the model to study the biological effect of ketamine on the brain and prove by maximum work principle that compared to that in the control group, the capability of work done by the brain that has been injected with ketamine declines significantly. Moreover, the quantum mechanical operator of the brain is further studied, and a Hilbert space spanned by the eigenvectors of the operator is obtained. The confirmation of the mechanical operator and Hilbert space opens great possibilities of using quantum mechanics to study brain systems, which would herald a new era in relevant neuroscience studies.


title: The pseudoscalar meson and baryon octet interaction with strangeness $S=-2$ in the unitary coupled-channel approximation

abstract: The interaction of the pseudoscalar meson and the baryon octet is investigated by solving the Bethe-Salpeter equation in the infinite and finite volume respectively. It is found that there is a resonance state generated dynamically, which owns a mass about 1550MeV and a large decay width of 120-200MeV. This resonance state couples strongly to the $\pi \Xi$ channel. Therefore, it might not correspond to the $\Xi(1620)$ particle announced by Belle collaboration. At the same time, this problem is studied in the finite volume, and an energy level at 1570MeV is obtained, which is between the $\pi \Xi$ and $\bar{K}\Lambda$ thresholds and independent of the cubic box size.


title: Unveiling the Kondo cloud: unitary RG study of the Kondo model

abstract: We analyze the single-channel Kondo model using the recently developed unitary renormalization group (URG) method, and obtain a comprehensive understanding of the Kondo screening cloud. The fixed-point low-energy Hamiltonian enables the computation of a plethora of thermodynamic quantities (specific heat, susceptibility, Wilson ratio, etc.) as well as spectral functions, all of which are found to be in excellent agreement with known results. By integrating out the impurity, we obtain an effective Hamiltonian for the excitations of the electrons comprising the Kondo cloud. This is found to contain both k-space number-diagonal (Fermi liquid) as well off-diagonal four-fermion scattering terms. Our conclusions are reinforced by a URG study of the two-particle entanglement and many-body correlations among members of the Kondo cloud and impurity. The entanglement between the impurity and a cloud electron, as well as between any two cloud electrons, is found to increase under flow towards the singlet ground state at the strong-coupling fixed point. Both the number-diagonal and off-diagonal correlations within the conduction cloud are also found to increase as the impurity is screened under the flow, and the latter are found to be responsible for the macroscopic entanglement of the Kondo-singlet ground state. The unitary RG flow enables an analytic computation of the phase shifts suffered by the conduction electrons at the strong-coupling fixed point. This reveals an orthogonality catastrophe between the local moment and strong-coupling ground states, and is related to a change in the Luttinger volume of the conduction bath. Our results offer fresh insight on the nature of the emergent many-particle entanglement within the Kondo cloud, and pave the way for further investigations in more exotic contexts such as the fixed point of the over-screened multi-channel Kondo problem.


title: CDMA for Underwater Acoustic Communication

abstract: This paper provides an overview of how and why acoustic waves are important for underwater communication when compared with radio and optical waves, underwater acoustic channel, it's characteristics and model. Also about the underwater sensor architecture, challenges faced by sensor nodes in the network and Media Acess Control(MAC) protocol solutions for them. This paper also describes about the various communication approaches including channel coding in underwater and their performance analysis for different approaches used. Through these approaches, multiple underwater vehicles can communicate among themselves as well as with the console with minimal Bit Error Rate.


title: Non-perturbative bounds for $B \to D^{(*)}\ell\nu_{\ell}$ decays and phenomenological applications

abstract: We show how to extract the Cabibbo-Kobayashi-Maskawa (CKM) matrix element $\vert V_{cb} \vert$ from exclusive semileptonic $B \to D^{(*)}$ decays by using the Dispersive Matrix (DM) method. It is a new approach which allows to determine in a full non-perturbative way the hadronic form factors (FFs) in the whole kinematical range, without making any assumption on their dependence on the momentum transfer. We investigate also the issue of Lepton Flavor Universality (LFU) by computing a pure theoretical estimate of the ratio $R(D^{(*)})$. Our approach is applied to the preliminary LQCD computations of the FFs, published by the FNAL/MILC [1] and the JLQCD [2] Collaborations, for the $B \to D^*$ decays and to the final ones, computed by FNAL/MILC [3], for the $B \to D$ transitions . Since the FNAL/MILC Collaborations have recently published the final results of their LQCD computations of the FFs [4] for the $B \to D^*$ case, we present also the results of our procedure after its application on these data. We find $ \vert V_{cb} \vert = (41.0 \pm 1.2) \cdot 10^{-3}$ and $\vert V_{cb} \vert = (41.3 \pm 1.7) \cdot 10^{-3}$ from $B \to D$ and $B \to D^*$ decays, respectively. These estimates are consistent within $1\sigma$ with the most recent inclusive determination $\vert V_{cb}\vert_{incl} = (42.16 \pm 0.50) \cdot 10^{-3}$ [5]. Furthermore, we obtain $R(D) = 0.289(8)$ and $R(D^*) = 0.269(8)$, which are both compatible with the latest experimental averages [6] at the $\sim$1.6$\sigma$ level.


title: Generating meta-learning tasks to evolve parametric loss for classification learning

abstract: The field of meta-learning has seen a dramatic rise in interest in recent years. In existing meta-learning approaches, learning tasks for training meta-models are usually collected from public datasets, which brings the difficulty of obtaining a sufficient number of meta-learning tasks with a large amount of training data. In this paper, we propose a meta-learning approach based on randomly generated meta-learning tasks to obtain a parametric loss for classification learning based on big data. The loss is represented by a deep neural network, called meta-loss network (MLN). To train the MLN, we construct a large number of classification learning tasks through randomly generating training data, validation data, and corresponding ground-truth linear classifier. Our approach has two advantages. First, sufficient meta-learning tasks with large number of training data can be obtained easily. Second, the ground-truth classifier is given, so that the difference between the learned classifier and the ground-truth model can be measured to reflect the performance of MLN more precisely than validation accuracy. Based on this difference, we apply the evolutionary strategy algorithm to find out the optimal MLN. The resultant MLN not only leads to satisfactory learning effects on generated linear classifier learning tasks for testing, but also behaves very well on generated nonlinear classifier learning tasks and various public classification tasks. Our MLN stably surpass cross-entropy (CE) and mean square error (MSE) in testing accuracy and generalization ability. These results illustrate the possibility of achieving satisfactory meta-learning effects using generated learning tasks.


title: Improving Tagging Consistency and Entity Coverage for Chemical Identification in Full-text Articles

abstract: This paper is a technical report on our system submitted to the chemical identification task of the BioCreative VII Track 2 challenge. The main feature of this challenge is that the data consists of full-text articles, while current datasets usually consist of only titles and abstracts. To effectively address the problem, we aim to improve tagging consistency and entity coverage using various methods such as majority voting within the same articles for named entity recognition (NER) and a hybrid approach that combines a dictionary and a neural model for normalization. In the experiments on the NLM-Chem dataset, we show that our methods improve models' performance, particularly in terms of recall. Finally, in the official evaluation of the challenge, our system was ranked 1st in NER by significantly outperforming the baseline model and more than 80 submissions from 16 teams.


title: The length spectrum of holomorphic quadratic differential metrics

abstract: In this paper we prove that on a closed oriented surface, flat metrics determined by holomorphic quadratic differentials can be distinguished from other flat cone metrics by the length spectrum.


title: Satellite Based Computing Networks with Federated Learning

abstract: Driven by the ever-increasing penetration and proliferation of data-driven applications, a new generation of wireless communication, the sixth-generation (6G) mobile system enhanced by artificial intelligence (AI), has attracted substantial research interests. Among various candidate technologies of 6G, low earth orbit (LEO) satellites have appealing characteristics of ubiquitous wireless access. However, the costs of satellite communication (SatCom) are still high, relative to counterparts of ground mobile networks. To support massively interconnected devices with intelligent adaptive learning and reduce expensive traffic in SatCom, we propose federated learning (FL) in LEO-based satellite communication networks. We first review the state-of-the-art LEO-based SatCom and related machine learning (ML) techniques, and then analyze four possible ways of combining ML with satellite networks. The learning performance of the proposed strategies is evaluated by simulation and results reveal that FL-based computing networks improve the performance of communication overheads and latency. Finally, we discuss future research topics along this research direction.


title: Refinement of some partition identities of Merca and Yee

abstract: Recently, Merca and Yee proved some partition identities involving two new partition statistics. We refine these statistics and generalize the results of Merca and Yee. We also correct a small mistake in a result of Merca and Yee.


title: Vehicular Visible Light Communications Noise Analysis and Autoencoder Based Denoising

abstract: Vehicular visible light communications (V-VLC) is a promising intelligent transportation systems (ITS) technology for vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications with the utilization of light-emitting diodes (LEDs). The main degrading factor for the performance of V-VLC systems is noise. Unlike traditional radio frequency (RF) based systems, V-VLC systems include many noise sources: solar radiation, background lighting from vehicles, streets, parking garages, and tunnel lights. Traditional V-VLC system noise modeling is based on the additive white Gaussian noise assumption in the form of shot and thermal noise. In this paper, to investigate both time-correlated and white noise components of the V-VLC channel, we propose a noise analysis based on Allan variance (AVAR), which provides a time-series analysis method to identify noise from the data. We also propose a generalized Wiener process-based V-VLC channel noise synthesis methodology to generate different noise components. We further propose a convolutional autoencoder(CAE) based denoising scheme to reduce V-VLC signal noise, which achieves reconstruction root mean square error (RMSE) of 0.0442 and 0.0474 for indoor and outdoor channels, respectively.


title: Garbage Collection or Serialization? Between a Rock and a Hard Place!

abstract: Big data analytics frameworks, such as Spark and Giraph, need to process and cache massive amounts of data that do not always fit on the heap. Therefore, frameworks temporarily move long-lived objects outside the managed heap (off-heap) on a fast storage device. Unfortunately, this practice results in: (1) high serialization/deserialization (S/D) cost, and (2) high memory pressure when off-heap objects are moved back to the managed heap for processing. In this paper, we propose TeraHeap, a system that eliminates S/D overhead and expensive GC scans for a large portion of the objects in big data frameworks. TeraHeap relies on three concepts. (1) It eliminates S/D cost by extending the managed runtime (JVM) to use a second high-capacity heap (H2) over a fast storage device. (2) It reduces GC cost by fencing the garbage collector from scanning H2 objects. (3) It offers a simple hint-based interface, which allows frameworks to leverage knowledge about objects for populating H2. We implement TeraHeap in OpenJDK and evaluate it with 15 widely used applications in two real-world big data frameworks, Spark and Giraph. Our evaluation shows that for the same DRAM size, TeraHeap improves performance by up to 73% and 28% compared to native Spark and Giraph, respectively. Also, it provides better performance by consuming up to 8x and 1.2x less DRAM capacity than native Spark and Giraph, respectively. Finally, it outperforms Panthera, a garbage collector for hybrid memories, by up to 69%.


title: Parity biases in partitions and restricted partitions

abstract: Let $p_{o}(n)$ (resp. $p_{e}(n)$) denote the number of partitions of $n$ with more odd parts (resp. even parts) than even parts (resp. odd parts). Recently, Kim, Kim, and Lovejoy proved that $p_{o}(n)>p_{e}(n)$ for all $n>2$ and conjectured that $d_{o}(n)>d_{e}(n)$ for all $n>19$ where $d_{o}(n)$ (resp. $d_{e}(n)$) denote the number of partitions into distinct parts having more odd parts (resp. even parts) than even parts (resp. odd parts). In this paper we provide combinatorial proofs for both the result and the conjecture of Kim, Kim and Lovejoy. In addition, we show that if we restrict the smallest part of the partition to be $2$, then the parity bias is reversed. That is, if $q_{o}(n)$ (resp. $q_{e}(n)$) denote the number of partitions of $n$ with more odd parts (resp. even parts) than even parts (resp. odd parts) where the smallest part is at least $2$, then we have $q_o(n)<q_e(n)$ for all $n>7$. We also look at some more parity biases in partitions with restricted parts.


title: AGA-GAN: Attribute Guided Attention Generative Adversarial Network with U-Net for Face Hallucination

abstract: The performance of facial super-resolution methods relies on their ability to recover facial structures and salient features effectively. Even though the convolutional neural network and generative adversarial network-based methods deliver impressive performances on face hallucination tasks, the ability to use attributes associated with the low-resolution images to improve performance is unsatisfactory. In this paper, we propose an Attribute Guided Attention Generative Adversarial Network which employs novel attribute guided attention (AGA) modules to identify and focus the generation process on various facial features in the image. Stacking multiple AGA modules enables the recovery of both high and low-level facial structures. We design the discriminator to learn discriminative features exploiting the relationship between the high-resolution image and their corresponding facial attribute annotations. We then explore the use of U-Net based architecture to refine existing predictions and synthesize further facial details. Extensive experiments across several metrics show that our AGA-GAN and AGA-GAN+U-Net framework outperforms several other cutting-edge face hallucination state-of-the-art methods. We also demonstrate the viability of our method when every attribute descriptor is not known and thus, establishing its application in real-world scenarios.


title: Deep Spoken Keyword Spotting: An Overview

abstract: Spoken keyword spotting (KWS) deals with the identification of keywords in audio streams and has become a fast-growing technology thanks to the paradigm shift introduced by deep learning a few years ago. This has allowed the rapid embedding of deep KWS in a myriad of small electronic devices with different purposes like the activation of voice assistants. Prospects suggest a sustained growth in terms of social use of this technology. Thus, it is not surprising that deep KWS has become a hot research topic among speech scientists, who constantly look for KWS performance improvement and computational complexity reduction. This context motivates this paper, in which we conduct a literature review into deep spoken KWS to assist practitioners and researchers who are interested in this technology. Specifically, this overview has a comprehensive nature by covering a thorough analysis of deep KWS systems (which includes speech features, acoustic modeling and posterior handling), robustness methods, applications, datasets, evaluation metrics, performance of deep KWS systems and audio-visual KWS. The analysis performed in this paper allows us to identify a number of directions for future research, including directions adopted from automatic speech recognition research and directions that are unique to the problem of spoken KWS.


title: Multiple Magnetorotons and Spectral Sum Rules in Fractional Quantum Hall Systems

abstract: We study numerically the the charge neutral excitations (magnetorotons) in fractional quantum Hall systems, concentrating on the two Jain states near quarter filling, $\nu=2/7$ and $\nu=2/9$, and the $\nu=1/4$ Fermi-liquid state itself. In contrast to the $\nu=1/3$ states and the Jain states near half filling, on each of the two Jain states $\nu=2/7$ and $\nu=2/9$ the graviton spectral densities show two, instead of one, magnetoroton peaks. The magnetorotons have spin 2 and have opposite chiralities in the $\nu=2/7$ state and the same chirality in the $\nu=2/9$ state. We also provide a numerical verification of a sum rule relating the guiding center spin $\bar s$ with the spectral densities of the stress tensor


title: Misrepresenting Scientific Consensus on COVID-19: The Amplification of Dissenting Scientists on Twitter

abstract: The COVID-19 pandemic has resulted in a slew of misinformation, often described as an "infodemic". Whereas previous research has focused on the propagation of unreliable sources as a main vehicle of misinformation, the present study focuses on exploring the role of scientists whose views oppose the scientific consensus. Using Nobelists in Physiology and Medicine as a proxy for scientific consensus, we analyze two separate datasets: 15.8K tweets by 13.1K unique users on COVID-19 vaccines specifically, and 208K tweets by 151K unique users on COVID-19 broadly which mention the Nobelist names. Our analyses reveal that dissenting scientists are amplified by a factor of 426 relative to true scientific consensus in the context of COVID-19 vaccines, and by a factor of 43 in the context of COVID-19 generally. Although more popular accounts tend to mention consensus-abiding scientists more, our results suggest that this false consensus is driven by higher engagement with dissent-mentioning tweets. Furthermore, false consensus mostly occurs due to traffic spikes following highly popularized statements of dissenting scientists. We find that dissenting voices are mainly discussed in French, English-speaking, Turkish, Brazilian, Argentine, Indian, and Japanese misinformation clusters. This research suggests that social media platforms should prioritize the exposure of consensus-abiding scientists as a vehicle of reversing false consensus and addressing misinformation stemming from seemingly credible sources.


title: Quality and Computation Time in Optimization Problems

abstract: Optimization problems are crucial in artificial intelligence. Optimization algorithms are generally used to adjust the performance of artificial intelligence models to minimize the error of mapping inputs to outputs. Current evaluation methods on optimization algorithms generally consider the performance in terms of quality. However, not all optimization algorithms for all test cases are evaluated equal from quality, the computation time should be also considered for optimization tasks. In this paper, we investigate the quality and computation time of optimization algorithms in optimization problems, instead of the one-for-all evaluation of quality. We select the well-known optimization algorithms (Bayesian optimization and evolutionary algorithms) and evaluate them on the benchmark test functions in terms of quality and computation time. The results show that BO is suitable to be applied in the optimization tasks that are needed to obtain desired quality in the limited function evaluations, and the EAs are suitable to search the optimal of the tasks that are allowed to find the optimal solution with enough function evaluations. This paper provides the recommendation to select suitable optimization algorithms for optimization problems with different numbers of function evaluations, which contributes to the efficiency that obtains the desired quality with less computation time for optimization problems.


title: Semi-supervised Impedance Inversion by Bayesian Neural Network Based on 2-d CNN Pre-training

abstract: Seismic impedance inversion can be performed with a semi-supervised learning algorithm, which only needs a few logs as labels and is less likely to get overfitted. However, classical semi-supervised learning algorithm usually leads to artifacts on the predicted impedance image. In this artical, we improve the semi-supervised learning from two aspects. First, by replacing 1-d convolutional neural network (CNN) layers in deep learning structure with 2-d CNN layers and 2-d maxpooling layers, the prediction accuracy is improved. Second, prediction uncertainty can also be estimated by embedding the network into a Bayesian inference framework. Local reparameterization trick is used during forward propagation of the network to reduce sampling cost. Tests with Marmousi2 model and SEAM model validate the feasibility of the proposed strategy.


title: A new monotonicity condition for ergodic BSDEs and ergodic control with super-quadratic Hamiltonians

abstract: We establish the existence (and in an appropriate sense uniqueness) of Markovian solutions for ergodic BSDEs under a novel monotonicity condition. Our monotonicity condition allows us to prove existence even when the driver f has arbitrary (in particular super-quadratic) growth in z, which reveals an interesting trade-off between monotonicity and growth for ergodic BSDEs. The technique of proof is to establish a probabilistic representation of the derivative of the Markovian solution, and then use this representation to obtain a-priori estimates. Our study is motivated by applications to ergodic control, and we use our existence result to prove the existence of optimal controls for a class of ergodic control problems with potentially super-quadratic Hamiltonians. We also treat a class of drivers coming from the construction of forward performance processes, and interpret our monotonicity condition in this setting.


title: $F_\sigma$ ideals of perfectly bounded sets

abstract: Let ${\bf x}=(x_n)_n$ be a sequence in a Banach space. A set $A\subseteq \mathbb{N}$ is perfectly bounded, if there is $M$ such that $\|\sum_{n\in F}x_n\|\leq M$ for every finite $F\subseteq A$. The collection $B({\bf x})$ of all perfectly bounded sets is an ideal of subsets of $\mathbb{N}$. We show that an ideal $\mathcal{I}$ is of the form $B({\bf x})$ iff there is a non pathological lower semicontinuous submeasure $\varphi$ on $\mathbb{N}$ such that $\mathcal{I} =FIN(\varphi)=\{A\subseteq \mathbb{N}: \;\varphi(A)<\infty\}$. We address the questions of when $FIN(\varphi)$ is a tall ideal and has a Borel selector. We show that in $c_0$ the ideal $B({\bf x})$ is tall iff $(x_n)_n$ is weakly null, in which case, it also has a Borel selector.


title: Canonical Coordinates and Natural Equation for Lorentz Surfaces in $\mathbb R^3_1$

abstract: We consider Lorentz surfaces in $\mathbb R^3_1$ satisfying the condition $H^2-K\neq 0$, where $K$ and $H$ are the Gauss curvature and the mean curvature, respectively, and call them Lorentz surfaces of general type. For this class of surfaces we introduce special isotropic coordinates, which we call canonical, and show that the coefficient $F$ of the first fundamental form and the mean curvature $H$, expressed in terms of the canonical coordinates, satisfy a special integro-differential equation which we call a natural equation of the Lorentz surfaces of general type. Using this natural equation we prove a fundamental theorem of Bonnet type for Lorentz surfaces of general type. We consider the special cases of Lorentz surfaces of constant non-zero mean curvature and minimal Lorentz surfaces. Finally, we give examples of Lorentz surfaces illustrating the developed theory.


title: Modeling and Simulations of TXS 0506+056 Neutrino Events in the MeV Band

abstract: Neutrino detections identified with multiwavelength blazar spectra represent the first $\g$-ray-neutrino multimessenger signals. The blazar, TXS 0506+056 is also unusual in its spectral expressions over time and there are a number of models in the literature which have been proposed. In this work, we model the TXS 0506+056 data during two epochs of neutrino co-observation using a range of Fokker-Planck derived solutions, and simulate the expected response of the proposed AMEGO-X mission for a set of physically plausible scenarios.


title: Deep Safe Multi-Task Learning

abstract: In recent years, Multi-Task Learning (MTL) has attracted much attention due to its good performance in many applications. However, many existing MTL models cannot guarantee that their performance is no worse than their single-task counterparts on each task. Though some works have empirically observed this phenomenon, little work aims to handle the resulting problem. In this paper, we formally define this phenomenon as negative sharing and define safe multi-task learning where no negative sharing occurs. To achieve safe multi-task learning, we propose a Deep Safe Multi-Task Learning (DSMTL) model with two learning strategies: individual learning and joint learning. We theoretically study the safeness of both learning strategies in the DSMTL model to show that the proposed methods can achieve some versions of safe multi-task learning. Moreover, to improve the scalability of the DSMTL model, we propose an extension, which automatically learns a compact architecture and empirically achieves safe multi-task learning. Extensive experiments on benchmark datasets verify the safeness of the proposed methods.


title: Unsupervised Domain Adaptation for Device-free Gesture Recognition

abstract: Device free human gesture recognition with Radio Frequency signals has attained acclaim due to the omnipresence, privacy protection, and broad coverage nature of RF signals. However, neural network models trained for recognition with data collected from a specific domain suffer from significant performance degradation when applied to a new domain. To tackle this challenge, we propose an unsupervised domain adaptation framework for device free gesture recognition by making effective use of the unlabeled target domain data. Specifically, we apply pseudo labeling and consistency regularization with elaborated design on target domain data to produce pseudo labels and align instance feature of the target domain. Then, we design two data augmentation methods by randomly erasing the input data to enhance the robustness of the model. Furthermore, we apply a confidence control constraint to tackle the overconfidence problem. We conduct extensive experiments on a public WiFi dataset and a public millimeter wave radar dataset. The experimental results demonstrate the superior effectiveness of the proposed framework.


title: Reasonable Effectiveness of Random Weighting: A Litmus Test for Multi-Task Learning

abstract: Multi-Task Learning (MTL) has achieved success in various fields. However, how to balance different tasks to achieve good performance is a key problem. To achieve the task balancing, there are many works to carefully design dynamical loss/gradient weighting strategies but the basic random experiments are ignored to examine their effectiveness. In this paper, we propose the Random Weighting (RW) methods, including Random Loss Weighting (RLW) and Random Gradient Weighting (RGW), where an MTL model is trained with random loss/gradient weights sampled from a distribution. To show the effectiveness and necessity of RW methods, theoretically we analyze the convergence of RW and reveal that RW has a higher probability to escape local minima, resulting in better generalization ability. Empirically, we extensively evaluate the proposed RW methods to compare with twelve state-of-the-art methods on five image datasets and two multilingual problems from the XTREME benchmark to show RW methods can achieve comparable performance with state-of-the-art baselines. Therefore, we think that the RW methods are important baselines for MTL and should attract more attentions.


title: Giant anisotropic photocurrent modulated by strain in type-II Weyl semimetal Td-MoTe2

abstract: We build a Cu-MoTe2-Cu device model and use first-principles density functional theory to study the transport properties of single-layer Td-MoTe2. We obtained the effect of strain on the energy band structure, transport properties, and photocurrent. The strain-induced photocurrent shows an anisotropy that reflects the modulation of the energy bands, including the Weyl point, by strain. The photocurrent can be suppressed to almost zero when the strain is applied along the vacuum direction. In contrast, the photocurrent can be significantly increased when the strain is applied along the transport direction. The transport properties and magnitude of the photocurrent in the MoTe2-based device can be effectively modulated by adjusting the strength and direction of the strain.


title: Exploiting Multi-Scale Fusion, Spatial Attention and Patch Interaction Techniques for Text-Independent Writer Identification

abstract: Text independent writer identification is a challenging problem that differentiates between different handwriting styles to decide the author of the handwritten text. Earlier writer identification relied on handcrafted features to reveal pieces of differences between writers. Recent work with the advent of convolutional neural network, deep learning-based methods have evolved. In this paper, three different deep learning techniques - spatial attention mechanism, multi-scale feature fusion and patch-based CNN were proposed to effectively capture the difference between each writer's handwriting. Our methods are based on the hypothesis that handwritten text images have specific spatial regions which are more unique to a writer's style, multi-scale features propagate characteristic features with respect to individual writers and patch-based features give more general and robust representations that helps to discriminate handwriting from different writers. The proposed methods outperforms various state-of-the-art methodologies on word-level and page-level writer identification methods on three publicly available datasets - CVL, Firemaker, CERUG-EN datasets and give comparable performance on the IAM dataset.


title: Room temperature two terminal tunnel magnetoresistance in lateral graphene transistor

abstract: We investigate the behavior of both pure spin and spin-polarized currents measured with four probe non-local and two probe local configurations up to room temperature and under external gate voltage in a lateral graphene transistor, produced using a standard large-scale microfabrication process. The high spin diffusion length of pristine graphene in the channel, measured both directly and by the Hanle effect, and the tuning of relation between electrode resistance area present in the device architecture, allowed us to observe local tunnel magnetoresistance at room temperature, a new finding for this type of device. Results also indicate that while pure spin currents are less sensitive to temperature variations, spin-polarized current switching by external voltage is more efficient, due to a combination of the Rashba effect and change in carrier mobility by Fermi level shift


title: Oblivious Online Contention Resolution Schemes

abstract: Contention resolution schemes (CRSs) are powerful tools for obtaining "ex post feasible" solutions from candidates that are drawn from "ex ante feasible" distributions. Online contention resolution schemes (OCRSs), the online version, have found myriad applications in Bayesian and stochastic problems, such as prophet inequalities and stochastic probing. When the ex ante distribution is unknown, it was unknown whether good CRSs/OCRSs exist with no sample (in which case the scheme is oblivious) or few samples from the distribution. In this work, we give a simple $\frac{1}{e}$-selectable oblivious single item OCRS by mixing two simple schemes evenly, and show, via a Ramsey theory argument, that it is optimal. On the negative side, we show that no CRS or OCRS with $O(1)$ samples can be $\Omega(1)$-balanced/selectable (i.e., preserve every active candidate with a constant probability) for graphic or transversal matroids.


title: FIMP dark matter mediated by massive gauge boson around the phase transition period and the gravitational waves production

abstract: We study the feebly interacting massive particle dark matter whose production processes are significantly affected by the phase evolution and the complicated thermal corrections to the vector boson. We calculate the freeze-in processes to obtain the correct dark matter relic density by enumerating all the possible $1 \leftrightarrow 2$ and $2 \leftrightarrow 2$ processes. The predicted gravitational waves emitted by the first-order phase transitions and the cosmic strings are evaluated.


title: Composition operators on Hardy-Smirnov spaces

abstract: We investigate composition operators $C_{\Phi}$ on the Hardy-Smirnov space $H^{2}(\Omega)$ induced by analytic self-maps $\Phi$ of an open simply connected proper subset $\Omega$ of the complex plane. When the Riemann map $\tau:\mathbb{U}\rightarrow\Omega$ used to define the norm of $H^{2}(\Omega)$ is a linear fractional transformation, we characterize the composition operators whose adjoints are composition operators. As applications of this fact, we provide a new proof for the adjoint formula discovered by Gallardo-Guti\'{e}rrez and Montes-Rodr\'{i}guez and we give a new approach to describe all Hermitian and unitary composition operators on $H^{2}(\Omega).$ Additionally, if the coefficients of $\tau$ are real, we exhibit concrete examples of conjugations and describe the Hermitian and unitary composition operators which are complex symmetric with respect to specific conjugations on $H^{2}(\Omega).$ We finish this paper showing that if $\Omega$ is unbounded and $\Phi$ is a non-automorphic self-map of $\Omega$ with a fixed point, then $C_{\Phi}$ is never complex symmetric on $H^{2}(\Omega).$


title: Constrained Deep One-Class Feature Learning For Classifying Imbalanced Medical Images

abstract: Medical image data are usually imbalanced across different classes. One-class classification has attracted increasing attention to address the data imbalance problem by distinguishing the samples of the minority class from the majority class. Previous methods generally aim to either learn a new feature space to map training samples together or to fit training samples by autoencoder-like models. These methods mainly focus on capturing either compact or descriptive features, where the information of the samples of a given one class is not sufficiently utilized. In this paper, we propose a novel deep learning-based method to learn compact features by adding constraints on the bottleneck features, and to preserve descriptive features by training an autoencoder at the same time. Through jointly optimizing the constraining loss and the autoencoder's reconstruction loss, our method can learn more relevant features associated with the given class, making the majority and minority samples more distinguishable. Experimental results on three clinical datasets (including the MRI breast images, FFDM breast images and chest X-ray images) obtains state-of-art performance compared to previous methods.


title: Online Beam Current Estimation in Particle Beam Microscopy

abstract: In conventional particle beam microscopy, knowledge of the beam current is essential for accurate micrograph formation and sample milling. This generally necessitates offline calibration of the instrument. In this work, we establish that beam current can be estimated online, from the same secondary electron count data that is used to form micrographs. Our methods depend on the recently introduced time-resolved measurement concept, which combines multiple short measurements at a single pixel and has previously been shown to partially mitigate the effect of beam current variation on micrograph accuracy. We analyze the problem of jointly estimating beam current and secondary electron yield using the Cramer-Rao bound. Joint estimators operating at a single pixel and estimators that exploit models for inter-pixel correlation and Markov beam current variation are proposed and tested on synthetic microscopy data. Our estimates of secondary electron yield that incorporate explicit beam current estimation beat state-of-the-art methods, resulting in micrograph accuracy nearly indistinguishable from what is obtained with perfect beam current knowledge. Our novel beam current estimation could help improve milling outcomes, prevent sample damage, and enable online instrument diagnostics.


title: A photosensor employing data-driven binning for ultrafast image recognition

abstract: Pixel binning is a technique, widely used in optical image acquisition and spectroscopy, in which adjacent detector elements of an image sensor are combined into larger pixels. This reduces the amount of data to be processed as well as the impact of noise, but comes at the cost of a loss of information. Here, we push the concept of binning to its limit by combining a large fraction of the sensor elements into a single superpixel that extends over the whole face of the chip. For a given pattern recognition task, its optimal shape is determined from training data using a machine learning algorithm. We demonstrate the classification of optically projected images from the MNIST dataset on a nanosecond timescale, with enhanced sensitivity and without loss of classification accuracy. Our concept is not limited to imaging alone but can also be applied in optical spectroscopy or other sensing applications.


title: Power Control in Cell-Free Massive MIMO Networks for UAVs URLLC under the Finite Blocklength Regime

abstract: In this paper, we employ a user-centric (UC) cell-free massive MIMO (CFmMIMO) network for providing ultra reliable low latency communication (URLLC) when traditional ground users (GUs) coexist with unmanned aerial vehicles (UAVs). We study power control in both the downlink and the uplink when partial zero-forcing (PZF) transmit/receive beamforming and maximum ratio transmission/combining are utilized. We consider optimization problems where the objective is to maximize either the users' sum URLLC rate or the minimum user's URLLC rate. The URLLC rate function is both complicated and nonconvex rendering the considered optimization problems nonconvex. Thus, we propose two approximations for the complicated URLLC rate function and employ successive convex optimization (SCO) to tackle the considered optimization problems. Specifically, we propose the SCO with iterative concave lower bound approximation (SCO-ICBA) and the SCO with iterative interference approximation (SCO-IIA). We provide extensive simulations to evaluate SCO-ICBA and SCO-IIA and compare UC CFmMIMO deployment with traditional colocated massive MIMO (COmMIMO) systems. The obtained results reveal that employing the SCO-IIA scheme to optimize the minimum user's rate for CFmMIMO with MRT in the downlink, and PZF reception in the uplink can provide the best URLLC rate performances.


title: GMSRF-Net: An improved generalizability with global multi-scale residual fusion network for polyp segmentation

abstract: Colonoscopy is a gold standard procedure but is highly operator-dependent. Efforts have been made to automate the detection and segmentation of polyps, a precancerous precursor, to effectively minimize missed rate. Widely used computer-aided polyp segmentation systems actuated by encoder-decoder have achieved high performance in terms of accuracy. However, polyp segmentation datasets collected from varied centers can follow different imaging protocols leading to difference in data distribution. As a result, most methods suffer from performance drop and require re-training for each specific dataset. We address this generalizability issue by proposing a global multi-scale residual fusion network (GMSRF-Net). Our proposed network maintains high-resolution representations while performing multi-scale fusion operations for all resolution scales. To further leverage scale information, we design cross multi-scale attention (CMSA) and multi-scale feature selection (MSFS) modules within the GMSRF-Net. The repeated fusion operations gated by CMSA and MSFS demonstrate improved generalizability of the network. Experiments conducted on two different polyp segmentation datasets show that our proposed GMSRF-Net outperforms the previous top-performing state-of-the-art method by 8.34% and 10.31% on unseen CVC-ClinicDB and unseen Kvasir-SEG, in terms of dice coefficient.


title: Pulsar Polarization Arrays

abstract: Pulsar timing arrays (PTAs) consisting of widely distributed and well-timed millisecond pulsars can serve as a galactic interferometer to measure gravitational waves. With the same data acquired for PTAs, we propose to develop pulsar polarization arrays (PPAs), to explore astrophysics and fundamental physics. As in the case of PTAs, PPAs are best suited to reveal temporal and spatial correlations at large scales that are hard to mimic by local noise. To demonstrate the physical potential of PPAs, we consider detection of ultralight axion-like dark matter (ALDM), through cosmic birefringence induced by its Chern-Simon coupling. Because of its tiny mass, the ultralight ALDM can be generated as a Bose-Einstein condensate, characterized by a strong wavy nature. Incorporating both temporal and spatial correlations of the signal, we show that PPAs have a potential to probe the Chern-Simon coupling up to $\sim 10^{-14}-10^{-17}$GeV$^{-1}$, with a mass range $\sim 10^{-27} - 10^{-21}$eV.

categories: astro-ph.HE astro-ph.CO astro-ph.IM hep-ph


title: Molecular Electronics: electron, spin and thermal transport through molecules

abstract: This review presents recent results on the physics of electron transport in molecular devices. The review is organized as follows. A brief description of molecular junction (MJ) technology is first given followed by an introduction to the basic physics of electron transport through MJs from DC to about 20 GHz. Then, several sections review selected results on spin-dependent transport, plasmonics, quantum interferences, thermal transport and electronic noise in ME devices.


title: Extracting Deformation-Aware Local Features by Learning to Deform

abstract: Despite the advances in extracting local features achieved by handcrafted and learning-based descriptors, they are still limited by the lack of invariance to non-rigid transformations. In this paper, we present a new approach to compute features from still images that are robust to non-rigid deformations to circumvent the problem of matching deformable surfaces and objects. Our deformation-aware local descriptor, named DEAL, leverages a polar sampling and a spatial transformer warping to provide invariance to rotation, scale, and image deformations. We train the model architecture end-to-end by applying isometric non-rigid deformations to objects in a simulated environment as guidance to provide highly discriminative local features. The experiments show that our method outperforms state-of-the-art handcrafted, learning-based image, and RGB-D descriptors in different datasets with both real and realistic synthetic deformable objects in still images. The source code and trained model of the descriptor are publicly available at https://www.verlab.dcc.ufmg.br/descriptors/neurips2021.


title: PAANet: Progressive Alternating Attention for Automatic Medical Image Segmentation

abstract: Medical image segmentation can provide detailed information for clinical analysis which can be useful for scenarios where the detailed location of a finding is important. Knowing the location of disease can play a vital role in treatment and decision-making. Convolutional neural network (CNN) based encoder-decoder techniques have advanced the performance of automated medical image segmentation systems. Several such CNN-based methodologies utilize techniques such as spatial- and channel-wise attention to enhance performance. Another technique that has drawn attention in recent years is residual dense blocks (RDBs). The successive convolutional layers in densely connected blocks are capable of extracting diverse features with varied receptive fields and thus, enhancing performance. However, consecutive stacked convolutional operators may not necessarily generate features that facilitate the identification of the target structures. In this paper, we propose a progressive alternating attention network (PAANet). We develop progressive alternating attention dense (PAAD) blocks, which construct a guiding attention map (GAM) after every convolutional layer in the dense blocks using features from all scales. The GAM allows the following layers in the dense blocks to focus on the spatial locations relevant to the target region. Every alternate PAAD block inverts the GAM to generate a reverse attention map which guides ensuing layers to extract boundary and edge-related information, refining the segmentation process. Our experiments on three different biomedical image segmentation datasets exhibit that our PAANet achieves favourable performance when compared to other state-of-the-art methods.


title: Hardy's inequality for Hermite expansions revisited

abstract: In this article, we give a short proof of Hardy's inequality for Hermite expansions of functions in the classical Hardy spaces $H^p({\mathbb R^n})$, by using an atomic decomposition of the Hardy spaces associated with the Hermite operators. When the space dimension is $1$, we obtain a new estimate of Hardy's inequality for Hermite expansions in $H^p({\mathbb R})$ for the range $0<p<1.$


title: Medical Knowledge-Guided Deep Learning for Imbalanced Medical Image Classification

abstract: Deep learning models have gained remarkable performance on a variety of image classification tasks. However, many models suffer from limited performance in clinical or medical settings when data are imbalanced. To address this challenge, we propose a medical-knowledge-guided one-class classification approach that leverages domain-specific knowledge of classification tasks to boost the model's performance. The rationale behind our approach is that some existing prior medical knowledge can be incorporated into data-driven deep learning to facilitate model learning. We design a deep learning-based one-class classification pipeline for imbalanced image classification, and demonstrate in three use cases how we take advantage of medical knowledge of each specific classification task by generating additional middle classes to achieve higher classification performances. We evaluate our approach on three different clinical image classification tasks (a total of 8459 images) and show superior model performance when compared to six state-of-the-art methods. All codes of this work will be publicly available upon acceptance of the paper.


title: FlowVOS: Weakly-Supervised Visual Warping for Detail-Preserving and Temporally Consistent Single-Shot Video Object Segmentation

abstract: We consider the task of semi-supervised video object segmentation (VOS). Our approach mitigates shortcomings in previous VOS work by addressing detail preservation and temporal consistency using visual warping. In contrast to prior work that uses full optical flow, we introduce a new foreground-targeted visual warping approach that learns flow fields from VOS data. We train a flow module to capture detailed motion between frames using two weakly-supervised losses. Our object-focused approach of warping previous foreground object masks to their positions in the target frame enables detailed mask refinement with fast runtimes without using extra flow supervision. It can also be integrated directly into state-of-the-art segmentation networks. On the DAVIS17 and YouTubeVOS benchmarks, we outperform state-of-the-art offline methods that do not use extra data, as well as many online methods that use extra data. Qualitatively, we also show our approach produces segmentations with high detail and temporal consistency.


title: SPINE: Soft Piecewise Interpretable Neural Equations

abstract: Relu Fully Connected Networks are ubiquitous but uninterpretable because they fit piecewise linear functions emerging from multi-layered structures and complex interactions of model weights. This paper takes a novel approach to piecewise fits by using set operations on individual pieces(parts). This is done by approximating canonical normal forms and using the resultant as a model. This gives special advantages like (a)strong correspondence of parameters to pieces of the fit function(High Interpretability); (b)ability to fit any combination of continuous functions as pieces of the piecewise function(Ease of Design); (c)ability to add new non-linearities in a targeted region of the domain(Targeted Learning); (d)simplicity of an equation which avoids layering. It can also be expressed in the general max-min representation of piecewise linear functions which gives theoretical ease and credibility. This architecture is tested on simulated regression and classification tasks and benchmark datasets including UCI datasets, MNIST, FMNIST, and CIFAR 10. This performance is on par with fully connected architectures. It can find a variety of applications where fully connected layers must be replaced by interpretable layers.


title: Quantum hydrodynamics of spinning particles in electromagnetic and torsion fields

abstract: We develop a many-particle quantum-hydrodynamical model of fermion matter interacting with the external classical electromagnetic and gravitational/inertial and torsion fields. The consistent hydrodynamical formulation is constructed for the many-particle quantum system of Dirac fermions on the basis of the nonrelativistic Pauli-like equation obtained via the Foldy-Wouthuysen transformation. With the help of the Madelung decomposition approach, the explicit relations between the microscopic and macroscopic fluid variables are derived. The closed system of equations of quantum hydrodynamics encompasses the continuity equation, and the dynamical equations of the momentum balance and the spin density evolution. The possible experimental manifestations of the torsion in the dynamics of spin waves is discussed.


title: Spectral perturbation by rank one matrices

abstract: Let $A$ be a matrix of size $n \times n$ over an algebraically closed field $F$ and $q(t)$ a monic polynomial of degree $n$. In this article, we describe the necessary and sufficient conditions of $q(t)$ so that there exists a rank one matrix $B$ such that the characteristic polynomial of $A+B$ is $q(t)$.


title: Explainable Biomedical Recommendations via Reinforcement Learning Reasoning on Knowledge Graphs

abstract: For Artificial Intelligence to have a greater impact in biology and medicine, it is crucial that recommendations are both accurate and transparent. In other domains, a neurosymbolic approach of multi-hop reasoning on knowledge graphs has been shown to produce transparent explanations. However, there is a lack of research applying it to complex biomedical datasets and problems. In this paper, the approach is explored for drug discovery to draw solid conclusions on its applicability. For the first time, we systematically apply it to multiple biomedical datasets and recommendation tasks with fair benchmark comparisons. The approach is found to outperform the best baselines by 21.7% on average whilst producing novel, biologically relevant explanations.


title: Learning algorithms versus automatability of Frege systems

abstract: We connect learning algorithms and algorithms automating proof search in propositional proof systems: for every sufficiently strong, well-behaved propositional proof system $P$, we prove that the following statements are equivalent, 1. Provable learning: $P$ proves efficiently that p-size circuits are learnable by subexponential-size circuits over the uniform distribution with membership queries. 2. Provable automatability: $P$ proves efficiently that $P$ is automatable by non-uniform circuits on propositional formulas expressing p-size circuit lower bounds. Here, $P$ is sufficiently strong and well-behaved if I.-III. holds: I. $P$ p-simulates Je\v{r}\'abek's system $WF$ (which strengthens the Extended Frege system $EF$ by a surjective weak pigeonhole principle); II. $P$ satisfies some basic properties of standard proof systems which p-simulate $WF$; III. $P$ proves efficiently for some Boolean function $h$ that $h$ is hard on average for circuits of subexponential size. For example, if III. holds for $P=WF$, then Items 1 and 2 are equivalent for $P=WF$. If there is a function $h\in NE\cap coNE$ which is hard on average for circuits of size $2^{n/4}$, for each sufficiently big $n$, then there is an explicit propositional proof system $P$ satisfying properties I.-III., i.e. the equivalence of Items 1 and 2 holds for $P$.


title: Calculus of Consent via MARL: Legitimating the Collaborative Governance Supplying Public Goods

abstract: Public policies that supply public goods, especially those involve collaboration by limiting individual liberty, always give rise to controversies over governance legitimacy. Multi-Agent Reinforcement Learning (MARL) methods are appropriate for supporting the legitimacy of the public policies that supply public goods at the cost of individual interests. Among these policies, the inter-regional collaborative pandemic control is a prominent example, which has become much more important for an increasingly inter-connected world facing a global pandemic like COVID-19. Different patterns of collaborative strategies have been observed among different systems of regions, yet it lacks an analytical process to reason for the legitimacy of those strategies. In this paper, we use the inter-regional collaboration for pandemic control as an example to demonstrate the necessity of MARL in reasoning, and thereby legitimizing policies enforcing such inter-regional collaboration. Experimental results in an exemplary environment show that our MARL approach is able to demonstrate the effectiveness and necessity of restrictions on individual liberty for collaborative supply of public goods. Different optimal policies are learned by our MARL agents under different collaboration levels, which change in an interpretable pattern of collaboration that helps to balance the losses suffered by regions of different types, and consequently promotes the overall welfare. Meanwhile, policies learned with higher collaboration levels yield higher global rewards, which illustrates the benefit of, and thus provides a novel justification for the legitimacy of, promoting inter-regional collaboration. Therefore, our method shows the capability of MARL in computationally modeling and supporting the theory of calculus of consent, developed by Nobel Prize winner J. M. Buchanan.


title: Localized Mutual Information Monitoring of Pairwise Associations in Animal Movement

abstract: Advances in satellite imaging and GPS tracking devices have given rise to a new era of remote sensing and geospatial analysis. In environmental science and conservation ecology, biotelemetric data is often high-dimensional, spatially and/or temporally, and functional in nature, meaning that there is an underlying continuity to the biological process of interest. GPS-tracking of animal movement is commonly characterized by irregular time-recording of animal position, and the movement relationships between animals are prone to sudden change. In this paper, I propose a measure of localized mutual information (LMI) to derive a correlation function for monitoring changes in the pairwise association between animal movement trajectories. The properties of the LMI measure are assessed analytically and by simulation under a variety of circumstances. Advantages and disadvantages of the LMI measure are assessed and an alternate measure of LMI is proposed to handle potential disadvantages. The measure of LMI is shown to be an effective tool for detecting shifts in the correlation of animal movements, and seasonal/phasal correlatory structure.


title: The Theory of Efficient Particle Acceleration at Shocks

abstract: The recent discoveries in the theory of diffusive shock acceleration (DSA) that stem from first-principle kinetic plasma simulations are discussed. When ion acceleration is efficient, the back-reaction of non-thermal particles and self-generated magnetic fields becomes prominent and leads to both enhanced shock compression and particle spectra significantly softer than those predicted by the standard test-particle DSA theory. These results are discussed in the context of the non-thermal phenomenology of astrophysical shocks, with a special focus on the remnant of SN1006.


title: Probabilistic Model Checking and Autonomy

abstract: Design and control of autonomous systems that operate in uncertain or adversarial environments can be facilitated by formal modelling and analysis. Probabilistic model checking is a technique to automatically verify, for a given temporal logic specification, that a system model satisfies the specification, as well as to synthesise an optimal strategy for its control. This method has recently been extended to multi-agent systems that exhibit competitive or cooperative behaviour modelled via stochastic games and synthesis of equilibria strategies. In this paper, we provide an overview of probabilistic model checking, focusing on models supported by the PRISM and PRISM-games model checkers. This includes fully observable and partially observable Markov decision processes, as well as turn-based and concurrent stochastic games, together with associated probabilistic temporal logics. We demonstrate the applicability of the framework through illustrative examples from autonomous systems. Finally, we highlight research challenges and suggest directions for future work in this area.


title: Twisted Blanchfield pairings and twisted signatures III: Applications

abstract: This paper describes how to compute algorithmically certain twisted signature invariants of a knot $K$ using twisted Blanchfield forms. An illustration of the algorithm is implemented on $(2,q)$-torus knots. Additionally, using satellite formulas for these invariants, we also show how to obstruct the sliceness of certain iterated torus knots.


title: Twisted Blanchfield pairings and twisted signatures I: Algebraic background

abstract: This is the first paper in a series of three devoted to studying twisted linking forms of knots and three-manifolds. Its function is to provide the algebraic foundations for the next two papers by describing how to define and calculate signature invariants associated to a linking form $M\times M\to\mathbb{F}(t)/\mathbb{F}[t^{\pm1}]$ for $\mathbb{F}=\mathbb{R},\mathbb{C}$, where $M$ is a torsion $\mathbb{F}[t^{\pm 1}]$-module. Along the way, we classify such linking forms up to isometry and Witt equivalence and study whether they can be represented by matrices.