title: L3: Accelerator-Friendly Lossless Image Format for High-Resolution, High-Throughput DNN Training

abstract: The training process of deep neural networks (DNNs) is usually pipelined with stages for data preparation on CPUs followed by gradient computation on accelerators like GPUs. In an ideal pipeline, the end-to-end training throughput is eventually limited by the throughput of the accelerator, not by that of data preparation. In the past, the DNN training pipeline achieved a near-optimal throughput by utilizing datasets encoded with a lightweight, lossy image format like JPEG. However, as high-resolution, losslessly-encoded datasets become more popular for applications requiring high accuracy, a performance problem arises in the data preparation stage due to low-throughput image decoding on the CPU. Thus, we propose L3, a custom lightweight, lossless image format for high-resolution, high-throughput DNN training. The decoding process of L3 is effectively parallelized on the accelerator, thus minimizing CPU intervention for data preparation during DNN training. L3 achieves a 9.29x higher data preparation throughput than PNG, the most popular lossless image format, for the Cityscapes dataset on NVIDIA A100 GPU, which leads to 1.71x higher end-to-end training throughput. Compared to JPEG and WebP, two popular lossy image formats, L3 provides up to 1.77x and 2.87x higher end-to-end training throughput for ImageNet, respectively, at equivalent metric performance.


title: Faraday Rotation Measure Variations of Repeating Fast Radio Burst Sources

abstract: Recently, some fast radio burst (FRB) repeaters were reported to exhibit complex, diverse variations of Faraday rotation measures (RMs), which implies that they are surrounded by an inhomogeneous, dynamically evolving, magnetized environment. We systematically investigate some possible astrophysical processes that may cause RM variations of an FRB repeater. The processes include (1) a supernova remnant (SNR) with a fluctuating medium; (2) a binary system with stellar winds from a massive/giant star companion or stellar flares from a low-mass star companion; (3) a pair plasma medium from a neutron star (including pulsar winds, pulsar wind nebulae, and magnetar flares); (4) outflows from a massive black hole. For the SNR scenario, a large relative RM variation within a few years requires that the SNR is young with a thin and local anisotropic shell, or the size of dense gas clouds in interstellar/circumstellar medium around the SNR is extremely small. If the RM variation is caused by the companion medium in a binary system, it is more likely from the stellar winds of a massive/giant star companion. The RM variation contributed by stellar flares from a low-mass star is disfavored, because this scenario predicts an extremely large relative RM variation during a short period of time. The scenarios invoking a pair plasma from a neutron star can be ruled out due to their extremely low RM contributions. Outflows from a massive black hole could provide a large RM variation if the FRB source is in the vicinity of the black hole.


title: Learning Generative Models for Active Inference using Tensor Networks

abstract: Active inference provides a general framework for behavior and learning in autonomous agents. It states that an agent will attempt to minimize its variational free energy, defined in terms of beliefs over observations, internal states and policies. Traditionally, every aspect of a discrete active inference model must be specified by hand, i.e. by manually defining the hidden state space structure, as well as the required distributions such as likelihood and transition probabilities. Recently, efforts have been made to learn state space representations automatically from observations using deep neural networks. In this paper, we present a novel approach of learning state spaces using quantum physics-inspired tensor networks. The ability of tensor networks to represent the probabilistic nature of quantum states as well as to reduce large state spaces makes tensor networks a natural candidate for active inference. We show how tensor networks can be used as a generative model for sequential data. Furthermore, we show how one can obtain beliefs from such a generative model and how an active inference agent can use these to compute the expected free energy. Finally, we demonstrate our method on the classic T-maze environment.


title: A Joint Estimation Approach to Sparse Additive Ordinary Differential Equations

abstract: Ordinary differential equations (ODEs) are widely used to characterize the dynamics of complex systems in real applications. In this article, we propose a novel joint estimation approach for generalized sparse additive ODEs where observations are allowed to be non-Gaussian. The new method is unified with existing collocation methods by considering the likelihood, ODE fidelity and sparse regularization simultaneously. We design a block coordinate descent algorithm for optimizing the non-convex and non-differentiable objective function. The global convergence of the algorithm is established. The simulation study and two applications demonstrate the superior performance of the proposed method in estimation and improved performance of identifying the sparse structure.


title: Merging Ontologies Algebraically

abstract: Ontology operations, e.g., aligning and merging, were studied and implemented extensively in different settings, such as, categorical operations, relation algebras, typed graph grammars, with different concerns. However, aligning and merging operations in the settings share some generic properties, e.g., idempotence, commutativity, associativity, and representativity, labeled by (I), (C), (A), and (R), respectively, which are defined on an ontology merging system $(\mathfrak{O},\sim,\merge)$, where $\mathfrak{O}$ is a set of the ontologies concerned, $\sim$ is a binary relation on $\mathfrak{O}$ modeling ontology aligning and $\merge$ is a partial binary operation on $\mathfrak{O}$ modeling ontology merging. Given an ontology repository, a finite set $\mathbb{O}\subseteq \mathfrak{O}$, its merging closure $\widehat{\mathbb{O}}$ is the smallest set of ontologies, which contains the repository and is closed with respect to merging. If (I), (C), (A), and (R) are satisfied, then both $\mathfrak{O}$ and $\widehat{\mathbb{O}}$ are partially ordered naturally by merging, $\widehat{\mathbb{O}}$ is finite and can be computed efficiently, including sorting, selecting, and querying some specific elements, e.g., maximal ontologies and minimal ontologies. We also show that the ontology merging system, given by ontology $V$-alignment pairs and pushouts, satisfies the properties: (I), (C), (A), and (R) so that the merging system is partially ordered and the merging closure of a given repository with respect to pushouts can be computed efficiently.


title: A motivic interpretation of Whittaker periods for $\mathrm{GL}_n$

abstract: Admitting the existence of conjectural motives attached to cohomological irreducible cuspidal automorphic representations of $\mathrm{GL}_n$, we write down Raghuram and Shahidi's Whittaker periods in terms of Yoshida's fundamental periods when the base field is a totally real number field or a CM field.


title: Acoustic modal analysis with heat release fluctuations using nonlinear eigensolvers

abstract: Closed combustion devices like gas turbines and rockets are prone to thermoacoustic instabilities. Design engineers in the industry need tools to accurately identify and remove instabilities early in the design cycle. Many different approaches have been developed by the researchers over the years. In this work we focus on the Helmholtz wave equation based solver which is found to be relatively fast and accurate for most applications. This solver has been a subject of study in many previous works. The Helmholtz wave equation in frequency space reduces to a nonlinear eigenvalue problem which needs to be solved to compute the acoustic modes. Most previous implementations of this solver have relied on linearized solvers and iterative methods which as shown in this work are not very efficient and sometimes inaccurate. In this work we make use of specialized algorithms implemented in SLEPc that are accurate and efficient for computing eigenvalues of nonlinear eigenvalue problems. We make use of the n-tau model to compute the reacting source terms in the Helmholtz equation and describe the steps involved in deriving the Helmholtz eigenvalue equation and obtaining its solution using the SLEPc library.


title: Locally Restricted Proof Labeling Schemes (Full Version)

abstract: Introduced by Korman, Kutten, and Peleg (PODC 2005), a proof labeling scheme (PLS) is a distributed verification system dedicated to evaluating if a given configured graph satisfies a certain property. It involves a centralized prover, whose role is to provide proof that a given configured graph is a yes-instance by means of assigning labels to the nodes, and a distributed verifier, whose role is to verify the validity of the given proof via local access to the assigned labels. In this paper, we introduce the notion of a locally restricted PLS in which the prover's power is restricted to that of a LOCAL algorithm with a polylogarithmic number of rounds. To circumvent inherent impossibilities of PLSs in the locally restricted setting, we turn to models that relax the correctness requirements by allowing the verifier to accept some no-instances as long as they are not "too far" from satisfying the property in question. To this end, we evaluate (1) distributed graph optimization problems (OptDGPs) based on the notion of an approximate proof labeling scheme (APLS) (analogous to the type of relaxation used in sequential approximation algorithms); and (2) configured graph families (CGFs) based on the notion of atesting proof labeling schemes (TPLS) (analogous to the type of relaxation used in property testing algorithms).


title: Computads for weak $\omega$-categories as an inductive type

abstract: We give a new description of computads for weak globular $\omega$-categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads, and allows a new definition of $\omega$-category that avoids the technology of globular operads. Our framework permits direct proofs of important results via structural induction, and we use this to give new proofs that every $\omega$-category is equivalent to a free one, and that the category of computads with generator-preserving maps is a presheaf topos, giving a direct description of the index category. We prove that our resulting definition of $\omega$-category agrees with that of Batanin and Leinster and that the induced notion of cofibrant replacement for $\omega$-categories coincides with that of Garner.


title: Weak epigraphical solutions to Hamilton-Jacobi-Bellman equations on infinite horizon

abstract: In this paper we show a uniqueness result for weak epigraphical solutions of Hamilton-Jacobi-Bellman (HJB) equations on infinite horizon for a class of lower semicontinuous functions vanishing at infinity. Weak epigraphical solutions of HJB equations, with time-measurable data and fiber-convex, turn out to be viscosity solutions - in the classical sense - whenever they are locally Lipschitz continuous. Here we extend the notion of locally absolutely continuous tubes to set-valued maps with continuous epigraph of locally bounded variations. This new notion fits with the lack of uniform lower bound of the Fenchel transform of the Hamiltonian with respect to the fiber. Controllability assumptions are considered.


title: Temporal Up-Sampling for Asynchronous Events

abstract: The event camera is a novel bio-inspired vision sensor. When the brightness change exceeds the preset threshold, the sensor generates events asynchronously. The number of valid events directly affects the performance of event-based tasks, such as reconstruction, detection, and recognition. However, when in low-brightness or slow-moving scenes, events are often sparse and accompanied by noise, which poses challenges for event-based tasks. To solve these challenges, we propose an event temporal up-sampling algorithm1 to generate more effective and reliable events. The main idea of our algorithm is to generate up-sampling events on the event motion trajectory. First, we estimate the event motion trajectory by contrast maximization algorithm and then up-sampling the events by temporal point processes. Experimental results show that up-sampling events can provide more effective information and improve the performance of downstream tasks, such as improving the quality of reconstructed images and increasing the accuracy of object detection.


title: The Morita Theory of Fusion 2-Categories

abstract: We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita 3-category of separable algebras in a fusion 2-category. Then, we go on to explain how module 2-categories form a 3-category. After that, we define separable module 2-categories over a fusion 2-category, and prove that the Morita 3-category of separable algebras is equivalent to the 3-category of separable module 2-categories. As a consequence, we show that the dual tensor 2-category with respect to a separable module 2-category, that is the associated 2-category of module 2-endofunctors, is a multifusion 2-category. Finally, we give three equivalent characterizations of Morita equivalence between fusion 2-categories.


title: Disentangled Contrastive Learning for Social Recommendation

abstract: Social recommendations utilize social relations to enhance the representation learning for recommendations. Most social recommendation models unify user representations for the user-item interactions (collaborative domain) and social relations (social domain). However, such an approach may fail to model the users heterogeneous behavior patterns in two domains, impairing the expressiveness of user representations. In this work, to address such limitation, we propose a novel Disentangled contrastive learning framework for social Recommendations DcRec. More specifically, we propose to learn disentangled users representations from the item and social domains. Moreover, disentangled contrastive learning is designed to perform knowledge transfer between disentangled users representations for social recommendations. Comprehensive experiments on various real-world datasets demonstrate the superiority of our proposed model.


title: Scaling nanowire-supported GaN quantum dots to the sub-10-nm limit, yielding complete suppression of the giant built-in potential

abstract: The nanowire-supported quantum dot (NWQD) of GaN is an unconventional nanostructure, which is extremely promising for realization of UV photonics in general, and room-temperature single photon generation, in particular. While GaN-NWQDs have several promising attributes, the crucial challenge in exploiting their full potential, is to reduce the lateral dimensions of the QDs, to the order of the exciton Bohr-radius in GaN. Also critical is to suppress the built-in electric field due to spontaneous and piezoelectric polarization, which adversely affects the radiative recombination lifetime. We report here the innovation of a simple yet powerful single-step epitaxial growth technique, to achieve both of these targets. By combining controlled and on-demand thermal decomposition of GaN nanowires, with our previously-developed strategy of inhibiting the same via AlN-capping, we demonstrate that the NWQD-diameter can indeed be reduced to the truly strong-quantum-confinement limit. In these ultra-scaled GaN QDs, we show that the built-in electric fields are almost completely suppressed. The NWQD fabrication-strategy developed in this work may pave the way for fabrication of highly efficient classical and quantum UV-emitters based on GaN.


title: Representation of Weak Solutions of Convex Hamilton-Jacobi-Bellman Equations on Infinite Horizon

abstract: In the present paper, it is provided a representation result for the weak solutions of a class of evolutionary Hamilton-Jacobi-Bellman equations on infinite horizon, with Hamiltonians measurable in time and fiber convex. Such Hamiltonians are associated with a - faithful - representation, namely involving two functions measurable in time and locally Lipschitz in the state and control. Our results concern the recovering of a representation of convex Hamiltonians under a relaxed assumption on the Fenchel transform of the Hamiltonian with respect to the fiber. We apply them to investigate the uniqueness of weak solutions, vanishing at infinity, of a class of time-dependent Hamilton-Jacobi-Bellman equations. Assuming a viability condition on the domain of the aforementioned Fenchel transform, these weak solutions are regarded as an appropriate value function of an infinite horizon control problem under state constraints.


title: Efficient Signed Graph Sampling via Balancing & Gershgorin Disc Perfect Alignment

abstract: A basic premise in graph signal processing (GSP) is that a graph encoding pairwise (anti-)correlations of the targeted signal as edge weights is exploited for graph filtering. However, existing fast graph sampling schemes are designed and tested only for positive graphs describing positive correlations. In this paper, we show that for datasets with strong inherent anti-correlations, a suitable graph contains both positive and negative edge weights. In response, we propose a linear-time signed graph sampling method centered on the concept of balanced signed graphs. Specifically, given an empirical covariance data matrix $\bar{\bf{C}}$, we first learn a sparse inverse matrix (graph Laplacian) $\mathcal{L}$ corresponding to a signed graph $\mathcal{G}$. We define the eigenvectors of Laplacian $\mathcal{L}_B$ for a balanced signed graph $\mathcal{G}_B$ -- approximating $\mathcal{G}$ via edge weight augmentation -- as graph frequency components. Next, we choose samples to minimize the low-pass filter reconstruction error in two steps. We first align all Gershgorin disc left-ends of Laplacian $\mathcal{L}_B$ at smallest eigenvalue $\lambda_{\min}(\mathcal{L}_B)$ via similarity transform $\mathcal{L}_p = \S \mathcal{L}_B \S^{-1}$, leveraging a recent linear algebra theorem called Gershgorin disc perfect alignment (GDPA). We then perform sampling on $\mathcal{L}_p$ using a previous fast Gershgorin disc alignment sampling (GDAS) scheme. Experimental results show that our signed graph sampling method outperformed existing fast sampling schemes noticeably on various datasets.


title: A Self-Replicating Single-Shape Tiling Technique for the Design of Highly Modular Planar Phased Arrays -- The Case of L-Shaped Rep-Tiles

abstract: The design of irregular planar phased arrays (PAs) characterized by a highly-modular architecture is addressed. By exploiting the property of self-replicating tile shapes, also known as rep-tiles, the arising array layouts consist of tiles having different sizes, but equal shape, all being generated by assembling a finite number of smaller and congruent copies of a single elementary building-block. Towards this end, a deterministic optimization strategy is used so that the arising rep-tile arrangement of the planar PA is an optimal trade-off between complexity, costs, and fitting of user-defined requirements on the radiated power pattern, while guaranteeing the complete overlay of the array aperture. As a representative instance, such a synthesis method is applied to tile rectangular apertures with L-shaped tromino tiles. A set of representative results, concerned with ideal and real antenna models, as well, is reported for validation purposes, but also to point out the possibility/effectiveness of the proposed approach, unlike state-of-the-art tiling techniques, to reliably handle large-size array apertures.


title: Neural Capture of Animatable 3D Human from Monocular Video

abstract: We present a novel paradigm of building an animatable 3D human representation from a monocular video input, such that it can be rendered in any unseen poses and views. Our method is based on a dynamic Neural Radiance Field (NeRF) rigged by a mesh-based parametric 3D human model serving as a geometry proxy. Previous methods usually rely on multi-view videos or accurate 3D geometry information as additional inputs; besides, most methods suffer from degraded quality when generalized to unseen poses. We identify that the key to generalization is a good input embedding for querying dynamic NeRF: A good input embedding should define an injective mapping in the full volumetric space, guided by surface mesh deformation under pose variation. Based on this observation, we propose to embed the input query with its relationship to local surface regions spanned by a set of geodesic nearest neighbors on mesh vertices. By including both position and relative distance information, our embedding defines a distance-preserved deformation mapping and generalizes well to unseen poses. To reduce the dependency on additional inputs, we first initialize per-frame 3D meshes using off-the-shelf tools and then propose a pipeline to jointly optimize NeRF and refine the initial mesh. Extensive experiments show our method can synthesize plausible human rendering results under unseen poses and views.


title: The Manin-Mumford conjecture in genus 2 and rational curves on K3 surfaces

abstract: Let $A$ be a simple abelian surface over an algebraically closed field $k$. Let $S\subset A(k)$ be the set of torsion points $x$ of $A$ such that there exists a genus $2$ curve $C$ and a map $f: C\to A$ such that $x$ is in the image of $f$, and $f$ sends a Weierstrass point of $C$ to the origin of $A$. The purpose of this note is to show that if $k$ has characteristic zero, then $S$ is finite -- this is in contrast to the situation where $k$ is the algebraic closure of a finite field, where $S=A(k)$, as shown by Bogomolov and Tschinkel. We deduce that if $k=\bar{\mathbb{Q}}$, the Kummer surface associated to $A$ has infinitely many $k$-points not contained in a rational curve arising from a genus $2$ curve in $A$, again in contrast to the situation over the algebraic closure of a finite field.


title: Reconstruction of tokamak plasma safety factor profile using deep learning

abstract: In tokamak operations, accurate equilibrium reconstruction is essential for reliable real-time control and realistic post-shot instability analysis. The safety factor (q) profile defines the magnetic field line pitch angle, which is the central element in equilibrium reconstruction. The motional Stark effect (MSE) diagnostic has been a standard measurement for the magnetic field line pitch angle in tokamaks that are equipped with neutral beams. However, the MSE data are not always available due to experimental constraints, especially in future devices without neutral beams. Here we develop a deep learning-based surrogate model of the gyrokinetic toroidal code for q profile reconstruction (SGTC-QR) that can reconstruct the q profile with the measurements without MSE to mimic the traditional equilibrium reconstruction with the MSE constraint. The model demonstrates promising performance, and the sub-millisecond inference time is compatible with the real-time plasma control system.


title: Intelligent problem-solving as integrated hierarchical reinforcement learning

abstract: According to cognitive psychology and related disciplines, the development of complex problem-solving behaviour in biological agents depends on hierarchical cognitive mechanisms. Hierarchical reinforcement learning is a promising computational approach that may eventually yield comparable problem-solving behaviour in artificial agents and robots. However, to date the problem-solving abilities of many human and non-human animals are clearly superior to those of artificial systems. Here, we propose steps to integrate biologically inspired hierarchical mechanisms to enable advanced problem-solving skills in artificial agents. Therefore, we first review the literature in cognitive psychology to highlight the importance of compositional abstraction and predictive processing. Then we relate the gained insights with contemporary hierarchical reinforcement learning methods. Interestingly, our results suggest that all identified cognitive mechanisms have been implemented individually in isolated computational architectures, raising the question of why there exists no single unifying architecture that integrates them. As our final contribution, we address this question by providing an integrative perspective on the computational challenges to develop such a unifying architecture. We expect our results to guide the development of more sophisticated cognitively inspired hierarchical machine learning architectures.


title: Complete Stream Fusion for Software-Defined Radio

abstract: Software-Defined Radio (SDR) is widely used not only as a practical application but also as a fitting benchmark of high-performance signal processing. We report using the SDR benchmark -- specifically, FM Radio reception -- to evaluate the recently developed single-thread stream processing library strymonas, contrasting it with the synchronous dataflow system StreamIt. Despite the absence of parallel processing or windowing as a core primitive, strymonas turns out to easily support SDR, offering high expressiveness and performance, approaching the peak single-core floating-point performance, sufficient for real-time FM reception.


title: Breakdown of the correspondence between the real-complex and delocalization-localization transitions in non-Hermitian quasicrystals

abstract: The correspondence between the real-complex transition in energy and delocalization-localization transition is well-established in a class of Aubry-Andr'e-Harper model with exponential non-Hermitian on-site potentials. In this paper, we study a generalized Aubry-Andr'e model with off-diagonal modulation and non-Hermitian on-site potential. We find that, when there exists an incommensurate off-diagonal modulation, the correspondence breaks down, although the extended phase is maintained in a wide parameter range of the strengths of the on-site potential and the off-diagonal hoppings. An additional intermediate phase with a non-Hermitian mobility edge emerges when the off-diagonal hoppings become commensurate. This phase is characterized by the real and complex sections of the energy spectrum corresponding to the extended and localized states. In this case, the aforementioned correspondence reappears due to the recovery of the PT-symmetry.


title: Action Bar Adaptations for One-Handed Use of Smartphones

abstract: One-handed use of smartphones is a common scenario in daily life. However, use of smartphones with thumb gives limited reachability to the complete screen. This problem is more severe when targets are located at corners of the device or far from the thumb's reachable area. Adjusting screen size mitigates this issue by making screen UI to be at the reach of the thumb. However, it does not utilize available screen space. We propose UI adaptation for action bar to address this. With our results, designed adaptations are faster for non-dominant hand and provides significantly better grip stability for holding smartphones. Intriguingly, users perceived our system as faster, more comfortable and providing safer grip when compared with the existing placement of action bar. We conclude our work with video analyses for grip patterns and recommendations for UI designers.


title: Active Colloids in Harmonic Optical Potentials

abstract: We study the motion of active patchy colloids in an optical trap using experiments, theory and numerical simulations. To achieve isotropic and harmonic confinement, we prototype microparticles with a nearly uniform refractive index and verify that, in the absence of activity, the confined motion is identical to that of optically homogeneous Brownian particles. If the activity is turned on by means of vertical AC fields, the density distributions are described by Boltzmann-like statistics (Gaussian with effective temperature) only for strongly confining traps, whereas weaker potentials give rise to non-Gaussian distributions with a bimodal shape. Our results showcase a simple way to study active soft matter in optical potential landscapes eliminating the optical torque.


title: Holographic dark energy from the laws of thermodynamics with R\'enyi entropy

abstract: This article investigates the relationship between the holographic principle and the laws of thermodynamics in explaining the late-time acceleration of the universe. First, we explore the possibilities of generating the standard holographic dark energy (SHDE) from the laws of horizon thermodynamics. Except for entropies that follow an exponent stretched area law, unless we redefine the horizon temperature, we found it challenging to construct a one-to-one correspondence between the dark energies defined by the holographic principle and the laws of thermodynamics. Secondly, in SHDE models, unless we invoke some phenomenological interactions, it is impossible to explain the late-time cosmic acceleration with the Hubble horizon as the IR cutoff. On the other hand, it is possible to induce dark energy as an integration constant using the laws of thermodynamics on the Hubble horizon. These motivated us to explore a feasible way to invoke the holographic principle from the laws of horizon thermodynamics. We show that the additional terms that appear in the modified Friedmann equations on using entropies other than the Bekenstein-Hawking entropy in the first law of thermodynamics can behave like a dynamic holographic dark energy (HDE). We study the features of such an HDE with R\'enyi entropy as the choice without considering any non-standard interactions. Interestingly, the resulting form of dark energy reduces to the standard cosmological constant when R\'enyi entropy reduces to the Bekenstein-Hawking entropy. By examining different parameters, we affirm the validity of our approach to dark energy, which respects both holographic principle and thermodynamics.


title: Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta-functions

abstract: Bernstein--Schwarzman conjectured that the quotient of a complex affine space by an irreducible complex crystallographic group generated by reflections is a weighted projective space. The conjecture was proved by Schwarzman and Tokunaga-Yoshida in dimension 2 for almost all such groups, and for all crystallographic reflection groups of Coxeter type by Looijenga, Bernstein-Schwarzman and Kac-Peterson in any dimension. We prove that the conjecture is true for the crystallographic reflection group in dimension 3 for which the associated collineation group is Klein's simple group of order 168. In this case the quotient is the 3-dimensional weighted projective space with weights 1, 2, 4, 7. The main ingredient in the proof is the computation of the algebra of invariant theta-functions. Unlike the Coxeter case, the invariant algebra is not free polynomial, and this was the major stumbling block.


title: RFLA: Gaussian Receptive Field based Label Assignment for Tiny Object Detection

abstract: Detecting tiny objects is one of the main obstacles hindering the development of object detection. The performance of generic object detectors tends to drastically deteriorate on tiny object detection tasks. In this paper, we point out that either box prior in the anchor-based detector or point prior in the anchor-free detector is sub-optimal for tiny objects. Our key observation is that the current anchor-based or anchor-free label assignment paradigms will incur many outlier tiny-sized ground truth samples, leading to detectors imposing less focus on the tiny objects. To this end, we propose a Gaussian Receptive Field based Label Assignment (RFLA) strategy for tiny object detection. Specifically, RFLA first utilizes the prior information that the feature receptive field follows Gaussian distribution. Then, instead of assigning samples with IoU or center sampling strategy, a new Receptive Field Distance (RFD) is proposed to directly measure the similarity between the Gaussian receptive field and ground truth. Considering that the IoU-threshold based and center sampling strategy are skewed to large objects, we further design a Hierarchical Label Assignment (HLA) module based on RFD to achieve balanced learning for tiny objects. Extensive experiments on four datasets demonstrate the effectiveness of the proposed methods. Especially, our approach outperforms the state-of-the-art competitors with 4.0 AP points on the AI-TOD dataset. Codes are available at https://github.com/Chasel-Tsui/mmdet-rfla


title: Transcending XAI Algorithm Boundaries through End-User-Inspired Design

abstract: The boundaries of existing explainable artificial intelligence (XAI) algorithms are confined to problems grounded in technical users' demand for explainability. This research paradigm disproportionately ignores the larger group of non-technical end users, who have a much higher demand for AI explanations in diverse explanation goals, such as making safer and better decisions and improving users' predicted outcomes. Lacking explainability-focused functional support for end users may hinder the safe and accountable use of AI in high-stakes domains, such as healthcare, criminal justice, finance, and autonomous driving systems. Built upon prior human factor analysis on end users' requirements for XAI, we identify and model four novel XAI technical problems covering the full spectrum from design to the evaluation of XAI algorithms, including edge-case-based reasoning, customizable counterfactual explanation, collapsible decision tree, and the verifiability metric to evaluate XAI utility. Based on these newly-identified research problems, we also discuss open problems in the technical development of user-centered XAI to inspire future research. Our work bridges human-centered XAI with the technical XAI community, and calls for a new research paradigm on the technical development of user-centered XAI for the responsible use of AI in critical tasks.


title: Spectral order unit spaces and JB-algebras

abstract: Order unit spaces with comparability and spectrality properties as introduced by Foulis are studied. We define continuous functional calculus for order unit spaces with the comparability property and Borel functional calculus for spectral order unit spaces. Applying the conditions of Alfsen and Schultz, we characterize order unit spaces with comparability property that are JB-algebras. We also prove a characterization of Rickart JB-algebras as those JB-algebras for which every maximal associative subalgebra is monotone $\sigma$-complete, extending an analogous result of Sait\^o and Wright for C*-algebras.


title: Quantifying the Knowledge in a DNN to Explain Knowledge Distillation for Classification

abstract: Compared to traditional learning from scratch, knowledge distillation sometimes makes the DNN achieve superior performance. This paper provides a new perspective to explain the success of knowledge distillation, i.e., quantifying knowledge points encoded in intermediate layers of a DNN for classification, based on the information theory. To this end, we consider the signal processing in a DNN as the layer-wise information discarding. A knowledge point is referred to as an input unit, whose information is much less discarded than other input units. Thus, we propose three hypotheses for knowledge distillation based on the quantification of knowledge points. 1. The DNN learning from knowledge distillation encodes more knowledge points than the DNN learning from scratch. 2. Knowledge distillation makes the DNN more likely to learn different knowledge points simultaneously. In comparison, the DNN learning from scratch tends to encode various knowledge points sequentially. 3. The DNN learning from knowledge distillation is often optimized more stably than the DNN learning from scratch. In order to verify the above hypotheses, we design three types of metrics with annotations of foreground objects to analyze feature representations of the DNN, \textit{i.e.} the quantity and the quality of knowledge points, the learning speed of different knowledge points, and the stability of optimization directions. In experiments, we diagnosed various DNNs for different classification tasks, i.e., image classification, 3D point cloud classification, binary sentiment classification, and question answering, which verified above hypotheses.


title: Bayesian Optimization Augmented with Actively Elicited Expert Knowledge

abstract: Bayesian optimization (BO) is a well-established method to optimize black-box functions whose direct evaluations are costly. In this paper, we tackle the problem of incorporating expert knowledge into BO, with the goal of further accelerating the optimization, which has received very little attention so far. We design a multi-task learning architecture for this task, with the goal of jointly eliciting the expert knowledge and minimizing the objective function. In particular, this allows for the expert knowledge to be transferred into the BO task. We introduce a specific architecture based on Siamese neural networks to handle the knowledge elicitation from pairwise queries. Experiments on various benchmark functions with both simulated and actual human experts show that the proposed method significantly speeds up BO even when the expert knowledge is biased compared to the objective function.


title: Successful Management of Cloud Based Global Software Development Projects: A Multivocal Study

abstract: Context: Software industry is continuously exploring better ways to develop applications. A new phenomenon to achieve this is Cloud based Global Software Development (CGSD), which refers to the adoption of cloud computing services by organizations to support global software development projects. The CGSD approach affects the strategic and operational aspects of the way projects are managed. Objective: The objective of the study is to identify the success factors which contribute to management of CGSD projects. Methods: We carried out a Multivocal Literature Review (MLR) to identify the success factors from the state-of-the-art and the state-of-the-practice in project management of CGSD projects. We identified 32 success factors that contribute to the management of CGSD projects. Results: The findings of MLR indicate that time to market, continuous development, financial restructuring, scalability Moreover, the findings of the study show that there is a positive correlation between the success factors reported in both formal literature and industry based grey literature. Conclusion: The findings of this study can assist the practitioners to develop the strategies needed for effective project management of CGSD projects.


title: Global Convergence of Two-timescale Actor-Critic for Solving Linear Quadratic Regulator

abstract: The actor-critic (AC) reinforcement learning algorithms have been the powerhouse behind many challenging applications. Nevertheless, its convergence is fragile in general. To study its instability, existing works mostly consider the uncommon double-loop variant or basic models with finite state and action space. We investigate the more practical single-sample two-timescale AC for solving the canonical linear quadratic regulator (LQR) problem, where the actor and the critic update only once with a single sample in each iteration on an unbounded continuous state and action space. Existing analysis cannot conclude the convergence for such a challenging case. We develop a new analysis framework that allows establishing the global convergence to an $\epsilon$-optimal solution with at most an $\mathcal{O}(\epsilon^{-2.5})$ sample complexity. To our knowledge, this is the first finite-time convergence analysis for the single sample two-timescale AC for solving LQR with global optimality. The sample complexity improves those of other variants by orders, which sheds light on the practical wisdom of single sample algorithms. We also further validate our theoretical findings via comprehensive simulation comparisons.


title: Profiler: Profile-Based Model to Detect Phishing Emails

abstract: Email phishing has become more prevalent and grows more sophisticated over time. To combat this rise, many machine learning (ML) algorithms for detecting phishing emails have been developed. However, due to the limited email data sets on which these algorithms train, they are not adept at recognising varied attacks and, thus, suffer from concept drift; attackers can introduce small changes in the statistical characteristics of their emails or websites to successfully bypass detection. Over time, a gap develops between the reported accuracy from literature and the algorithm's actual effectiveness in the real world. This realises itself in frequent false positive and false negative classifications. To this end, we propose a multidimensional risk assessment of emails to reduce the feasibility of an attacker adapting their email and avoiding detection. This horizontal approach to email phishing detection profiles an incoming email on its main features. We develop a risk assessment framework that includes three models which analyse an email's (1) threat level, (2) cognitive manipulation, and (3) email type, which we combine to return the final risk assessment score. The Profiler does not require large data sets to train on to be effective and its analysis of varied email features reduces the impact of concept drift. Our Profiler can be used in conjunction with ML approaches, to reduce their misclassifications or as a labeller for large email data sets in the training stage. We evaluate the efficacy of the Profiler against a machine learning ensemble using state-of-the-art ML algorithms on a data set of 9000 legitimate and 900 phishing emails from a large Australian research organisation. Our results indicate that the Profiler's mitigates the impact of concept drift, and delivers 30% less false positive and 25% less false negative email classifications over the ML ensemble's approach.


title: No-Arbitrage Pricing, Dynamics and Forward Prices of Collateralized Derivatives

abstract: This paper analyzes the pricing of collateralized derivatives, i.e. contracts where counterparties are not only subject to financial derivatives cash flows but also to collateral cash flows arising from a collateral agreement. We do this along the lines of the brilliant approach of the first part of Moreni and Pallavicini (2017): in particular we extend their framework where underlyings are continuous processes driven by a Brownian vector, to a more general setup where underlyings are semimartingales (and hence jump processes). First of all, we briefly derive from scratch the theoretical foundations of the main subsequent achievements, i.e. the extension of the classical No-Arbitrage theory to dividend paying semimartingale assets, where by dividend we mean any cash flow earned/paid from holding the asset. In this part we merge, in the same treatment and under the same notation, the principal known results with some original ones. Then we extend the approach of Moreni and Pallavicini (2017) in different directions and we derive not only the pricing formulae but also the dynamics and forward prices of collateralized derivatives (extending the achievements of the first part of Gabrielli et al. (2019)). Finally, we study some important applications (Repurchase Agreements, Securities Lending and Futures contracts) of previously established theoretical frameworks, obtaining some results that are commonly used in practitioners literature, but often not well understood.


title: Using ultra-high energy cosmic rays and air showers to test Lorentz invariance within modified Maxwell theory

abstract: Cosmic rays and air showers at ultra-high energy are unique tools to test the validity of Lorentz invariance. A brief overview is given on such tests focusing on isotropic, non-birefringent Lorentz violation (LV) in the photon sector. Based on the apparent absence of vacuum Cherenkov radiation and photon decay, the LV parameter $\kappa$ is bound to $-0.6 \cdot 10^{-20} < \kappa < 6 \cdot 10^{-20}$ (98\% CL). We report an updated limit from cosmic-ray photon observations and preliminary results on testing vacuum Cherenkov radiation in air showers.


title: Quantum phase detection generalisation from marginal quantum neural network models

abstract: Quantum machine learning offers a promising advantage in extracting information about quantum states, e.g. phase diagram. However, access to training labels is a major bottleneck for any supervised approach, preventing getting insights about new physics. In this Letter, using quantum convolutional neural networks, we overcome this limit by determining the phase diagram of a model where analytical solutions are lacking, by training only on marginal points of the phase diagram, where integrable models are represented. More specifically, we consider the axial next-nearest-neighbor Ising (ANNNI) Hamiltonian, which possesses a ferromagnetic, paramagnetic and antiphase, showing that the whole phase diagram can be reproduced.


title: Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training

abstract: To mitigate the impact of the scarcity of labelled data on fact-checking systems, we focus on few-shot claim verification. Despite recent work on few-shot classification by proposing advanced language models, there is a dearth of research in data annotation prioritisation that improves the selection of the few shots to be labelled for optimal model performance. We propose Active PETs, a novel weighted approach that utilises an ensemble of Pattern Exploiting Training (PET) models based on various language models, to actively select unlabelled data as candidates for annotation. Using Active PETs for few-shot data selection shows consistent improvement over the baseline methods, on two technical fact-checking datasets and using six different pretrained language models. We show further improvement with Active PETs-o, which further integrates an oversampling strategy. Our approach enables effective selection of instances to be labelled where unlabelled data is abundant but resources for labelling are limited, leading to consistently improved few-shot claim verification performance. Our code is available.


title: Exploring and Exploiting Multi-Granularity Representations for Machine Reading Comprehension

abstract: Recently, the attention-enhanced multi-layer encoder, such as Transformer, has been extensively studied in Machine Reading Comprehension (MRC). To predict the answer, it is common practice to employ a predictor to draw information only from the final encoder layer which generates the coarse-grained representations of the source sequences, i.e., passage and question. The analysis shows that the representation of source sequence becomes more coarse-grained from finegrained as the encoding layer increases. It is generally believed that with the growing number of layers in deep neural networks, the encoding process will gather relevant information for each location increasingly, resulting in more coarse-grained representations, which adds the likelihood of similarity to other locations (referring to homogeneity). Such phenomenon will mislead the model to make wrong judgement and degrade the performance. In this paper, we argue that it would be better if the predictor could exploit representations of different granularity from the encoder, providing different views of the source sequences, such that the expressive power of the model could be fully utilized. To this end, we propose a novel approach called Adaptive Bidirectional Attention-Capsule Network (ABA-Net), which adaptively exploits the source representations of different levels to the predictor. Furthermore, due to the better representations are at the core for boosting MRC performance, the capsule network and self-attention module are carefully designed as the building blocks of our encoders, which provides the capability to explore the local and global representations, respectively. Experimental results on three benchmark datasets, i.e., SQuAD 1.0, SQuAD 2.0 and COQA, demonstrate the effectiveness of our approach. In particular, we set the new state-of-the-art performance on the SQuAD 1.0 dataset


title: MPInspector: A Systematic and Automatic Approach for Evaluating the Security of IoT Messaging Protocols

abstract: Facilitated by messaging protocols (MP), many home devices are connected to the Internet, bringing convenience and accessibility to customers. However, most deployed MPs on IoT platforms are fragmented and are not implemented carefully to support secure communication. To the best of our knowledge, there is no systematic solution to perform automatic security checks on MP implementations yet. To bridge the gap, we present MPInspector, the first automatic and systematic solution for vetting the security of MP implementations. MPInspector combines model learning with formal analysis and operates in three stages: (a) using parameter semantics extraction and interaction logic extraction to automatically infer the state machine of an MP implementation, (b) generating security properties based on meta properties and the state machine, and (c) applying automatic property based formal verification to identify property violations. We evaluate MPInspector on three popular MPs, including MQTT, CoAP and AMQP, implemented on nine leading IoT platforms. It identifies 252 property violations, leveraging which we further identify eleven types of attacks under two realistic attack scenarios. In addition, we demonstrate that MPInspector is lightweight (the average overhead of end-to-end analysis is ~4.5 hours) and effective with a precision of 100% in identifying property violations.


title: The structure of jets launched from post-AGB binary systems

abstract: We focus on post-asymptotic giant branch (post-AGB) binaries and study the interaction between the different components of these complex systems. These components comprise the post-AGB primary, a main sequence secondary, a circumbinary disk, as well as a fast bipolar outflow (jet) launched by the companion. We obtained well-sampled time series of high resolution optical spectra over the last decade and these spectra provide the basis of our study. The jet is detected in absorption, at superior conjunction, when the line of sight towards the primary goes through the bipolar cone. Our spectral time series scan the jets during orbital motion. Our spatio-kinematic model is constrained by these dynamical spectra. We complement this with a radiative-transfer model in which the Balmer series are used to derive total mass-loss rates in the jets. The jets are found to be wide and display an angle-dependent density structure with a dense and slower outer region near the jet cone and a fast inner part along the jet symmetry axes. The deprojected outflow velocities confirm that the companions are main sequence companions. The total mass-loss rates are large (10^{-8} and 10^{-5}\,solar mass per year), from which we can infer that the mass-accretion rates onto the companion star must be high as well. The circumbinary disk is likely the main source for the accretion disk around the companion. All systems with full disks that start near the sublimation radius show jets, whereas for systems with evolved transition disks, this lowers to a detection rate of 50%. Objects without an infrared excess do not show jets. We conclude that jet creation in post-AGB binaries is a mainstream process. The interaction between the circumbinary disks and the central binary provide the needed accretion flow, but the presence of a circumbinary disk does not seem to be the only prerequisite to launch a jet.


title: Rate Splitting in MIMO RIS-assisted Systems with Hardware Impairments and Improper Signaling

abstract: In this paper, we propose an optimization framework for rate splitting (RS) techniques in multiple-input multiple-output (MIMO) reconfigurable intelligent surface (RIS)-assisted systems, possibly with I/Q imbalance (IQI). This framework can be applied to any optimization problem in which the objective and/or constraints are linear functions of the rates and/or transmit covariance matrices. Such problems include minimum-weighted and weighted-sum rate maximization, total power minimization for a target rate, minimum-weighted energy efficiency (EE) and global EE maximization. The framework may be applied to any interference-limited system with hardware impairments. For the sake of illustration, we consider a multicell MIMO RIS-assisted broadcast channel (BC) in which the base stations (BSs) and/or the users may suffer from IQI. Since IQI generates improper noise, we consider improper Gaussian signaling (IGS) as an interference-management technique that can additionally compensate for IQI. We show that RS when combined with IGS can substantially improve the spectral and energy efficiency of overloaded networks (i.e., when the number of users per cell is larger than the number of transmit/receive antennas).


title: A Decorrelating and Debiasing Approach to Simultaneous Inference for High-Dimensional Confounded Models

abstract: Motivated by the simultaneous association analysis with the presence of latent confounders, this paper studies the large-scale hypothesis testing problem for the high-dimensional confounded linear models with both non-asymptotic and asymptotic false discovery control. Such model covers a wide range of practical settings where both the response and the predictors may be confounded. In the presence of the high-dimensional predictors and the unobservable confounders, the simultaneous inference with provable guarantees becomes highly challenging, and the unknown strong dependence among the confounded covariates makes the challenge even more pronounced. This paper first introduces a decorrelating procedure that shrinks the confounding effect and weakens the correlations among the predictors, then performs debiasing under the decorrelated design based on some biased initial estimator. Following that, an asymptotic normality result for the debiased estimator is established and standardized test statistics are then constructed. Furthermore, a simultaneous inference procedure is proposed to identify significant associations, and both the finite-sample and asymptotic false discovery bounds are provided. The non-asymptotic result is general and model-free, and is of independent interest. We also prove that, under minimal signal strength condition, all associations can be successfully detected with probability tending to one. Simulation and real data studies are carried out to evaluate the performance of the proposed approach and compare it with other competing methods.


title: Heat transport through a two-level system under continuous quantum measurement

abstract: We study the backaction of quantum measurements on heat transport through a two-level system by considering the continuous quantum measurement onto an eigenstate of the two-level system. For the nonselective measurement, the backaction appears as a dephasing effect on the two-level system. We formulate the heat current under the selective measurement with a stochastic master equation and show that the cross-correlation between the measurement outcomes and the heat current contains information on the backaction. We expect that our findings can be verified by using a platform of superconducting circuits.


title: Normal $2$-coverings of the finite simple groups and their generalizations

abstract: Given a finite group $G$, we say that $G$ has weak normal covering number $\gamma_w(G)$ if $\gamma_w(G)$ is the smallest integer with $G$ admitting proper subgroups $H_1,\ldots,H_{\gamma_w(G)}$ such that each element of $G$ has a conjugate in $H_i$, for some $i\in \{1,\ldots,\gamma_w(G)\}$, via an element in the automorphism group of $G$. We prove that the weak normal covering number of every non-abelian simple group is at least $2$ and we classify the non-abelian simple groups attaining $2$. As an application, we classify the non-abelian simple groups having normal covering number $2$. We also show that the weak normal covering number of an almost simple group is at least two up to one exception. We determine the weak normal covering number and the normal covering number of the almost simple groups having socle a sporadic simple group. Using similar methods we find the clique number of the invariably generating graph of the almost simple groups having socle a sporadic simple group.


title: Speech Representation Disentanglement with Adversarial Mutual Information Learning for One-shot Voice Conversion

abstract: One-shot voice conversion (VC) with only a single target speaker's speech for reference has become a hot research topic. Existing works generally disentangle timbre, while information about pitch, rhythm and content is still mixed together. To perform one-shot VC effectively with further disentangling these speech components, we employ random resampling for pitch and content encoder and use the variational contrastive log-ratio upper bound of mutual information and gradient reversal layer based adversarial mutual information learning to ensure the different parts of the latent space containing only the desired disentangled representation during training. Experiments on the VCTK dataset show the model achieves state-of-the-art performance for one-shot VC in terms of naturalness and intellgibility. In addition, we can transfer characteristics of one-shot VC on timbre, pitch and rhythm separately by speech representation disentanglement. Our code, pre-trained models and demo are available at https://im1eon.github.io/IS2022-SRDVC/.


title: Understanding Interpersonal Conflict Types and their Impact on Perception Classification

abstract: Studies on interpersonal conflict have a long history and contain many suggestions for conflict typology. We use this as the basis of a novel annotation scheme and release a new dataset of situations and conflict aspect annotations. We then build a classifier to predict whether someone will perceive the actions of one individual as right or wrong in a given situation. Our analyses include conflict aspects, but also generated clusters, which are human validated, and show differences in conflict content based on the relationship of participants to the author. Our findings have important implications for understanding conflict and social norms.


title: Runtime Analysis for the NSGA-II: Provable Speed-Ups From Crossover

abstract: Very recently, the first mathematical runtime analyses for the NSGA-II, the most common multi-objective evolutionary algorithm, have been conducted. Continuing this research direction, we prove that the NSGA-II optimizes the OneJumpZeroJump benchmark asymptotically faster when crossover is employed. Together with a parallel independent work by Dang, Opris, Salehi, and Sudholt, this is the first time such an advantage of crossover is proven for the NSGA-II. Our arguments can be transferred to single-objective optimization. They then prove that crossover can speed up the $(\mu+1)$ genetic algorithm in a different way and more pronounced than known before. Our experiments confirm the added value of crossover and show that the observed advantages are even larger than what our proofs can guarantee.


title: Blockchain based digital vaccine passport

abstract: Travel has been challenging recently since different nations have implemented varied immigration and travel policies. For the time being, immigration officials want proof of each person's immunity to the virus. A vaccine passport serves as evidence that a person has tested negative for or is immune to a particular virus. In terms of COVID-19, those who hold a vaccine passport will be permitted entry into other nations as long as they can provide proof that they have COVID-19 antibodies from prior infections or from full COVID-19 immunizations. To reduce time and effort spent managing data, the vaccination passport system has been digitalized. The process of contact tracing may be facilitated by digitization. The "Blockchain technology" system, which is currently in use, has demonstrated its security and privacy in systems for data exchange among bitcoin users. The Digital Vaccination Passport scheme can use Blockchain technology. The end result would be a decentralized, traceable, transparent, reliable, auditable, secure, and trustworthy solution based on the Ethereum block-chain that would allow tracking of vaccines given and the history of diseases.


title: A new unknotting operation for classical and welded links

abstract: An unknotting operation is a local change on knot diagrams. Any knot diagram can be transformed into a trivial unknot diagram by a series of unknotting operations plus some Reidemeister moves. Unknotting operations have significant importance in knot theory; they are used to study the complexity of knots and invariants of knots. Unknotting operations are also important in biology, chemistry, and physics to study the sophisticated entanglements of strings, organic compounds, and DNA. In this paper, we introduced a new unknotting operation called the diagonal move for classical and welded knots. We show that the crossing change, Delta-move, Sharp-move, Gamma-move, n-gon move, pass move, and 4-move can be realized by a sequence of diagonal moves. We also define the distance induced by the diagonal move and study its properties.


title: Contribution of polycyclic aromatic hydrocarbon ionization to neutral gas heating in galaxies: model versus observations

abstract: [Abridged] The ionization of polycyclic aromatic hydrocarbons (PAHs), by ultraviolet (UV) photons from massive stars is expected to account for a large fraction of the heating of neutral gas in galaxies. Evaluation of this proposal, however, has been limited by our ability to directly compare observational diagnostics to the results of a molecular model describing PAH ionization. The objective of this article is to take advantage of the most recent values of molecular parameters derived from laboratory experiments and quantum chemical calculations on PAHs and provide a detailed comparison between modeled values and observational diagnostics for the PAH charge state and the heating efficiency for PAHs. Despite the use of a simple analytical model, we obtain a good agreement between model results and observational diagnostics over a wide range of radiation fields and physical conditions, in environments such as star-forming regions, galaxies, and protoplanetary disks. In addition, we found that the modeled photoelectric heating rates by PAHs are close to the observed cooling rates given by the gas emission. These results show that PAH ionization is the main source of neutral gas heating in these environments. The results of our photoelectric heating model by PAHs can thus be used to assess the contribution of UV radiative heating in galaxies (vs shocks, for instance). We provide the empirical formulas fitted to the model results, and the full python code itself, to calculate the heating rates and heating efficiencies for PAHs.


title: A generalization of Szep's conjecture for almost simple groups

abstract: We prove a natural generalization of Szep's conjecture. Given an almost simple group $G$ with socle not isomorphic to an orthogonal group having Witt defect zero, we classify all possible group elements $x,y\in G\setminus\{1\}$ with $G={\bf N}_G (\langle x\rangle){\bf N}_G(\langle y\rangle)$, where we are denoting by ${\bf N}_G(\langle x\rangle)$ and by ${\bf N}_G(\langle y\rangle)$ the normalizers of the cyclic subgroups $\langle x\rangle$ and $\langle y\rangle$. As a consequence of this result, we classify all possible group elements $x,y\in G\setminus\{1\}$ with $G={\bf C}_G(x){\bf C}_G(y)$.


title: FedComm: Understanding Communication Protocols for Edge-based Federated Learning

abstract: Federated learning (FL) trains machine learning (ML) models on devices using locally generated data and exchanges models without transferring raw data to a distant server. This exchange incurs a communication overhead and impacts the performance of FL training. There is limited understanding of how communication protocols specifically contribute to the performance of FL. Such an understanding is essential for selecting the right communication protocol when designing an FL system. This paper presents FedComm, a benchmarking methodology to quantify the impact of optimized application layer protocols, namely Message Queue Telemetry Transport (MQTT), Advanced Message Queuing Protocol (AMQP), and ZeroMQ Message Transport Protocol (ZMTP), and non-optimized application layer protocols, namely as TCP and UDP, on the performance of FL. FedComm measures the overall performance of FL in terms of communication time and accuracy under varying computational and network stress and packet loss rates. Experiments on a lab-based testbed demonstrate that TCP outperforms UDP as a non-optimized application layer protocol with higher accuracy and shorter communication times for 4G and Wi-Fi networks. Optimized application layer protocols such as AMQP, MQTT, and ZMTP outperformed non-optimized application layer protocols in most network conditions, resulting in a 2.5x reduction in communication time compared to TCP while maintaining accuracy. The experimental results enable us to highlight a number of open research issues for further investigation. FedComm is available for download from https://github.com/qub-blesson/FedComm.


title: Convolution equations on the Lie group (-1,1)

abstract: The interval $j=[-1,1]$ turns into an Abelian group $\cA(\cJ)$ under the group operation $x+_\cJ y:=(x+y)(1+xy)^{-1},\qquad x,y\in\cJ$. This enables definition of the invariant measure $d_\cJ x=(1-x^2)^{-1}dx$ and the Fourier transform $\cF_\cJ$ on the interval $\cJ$ and, as a consequence, we can consider Fourier convolution operators $W^0_{\cJ,\cA}:=\cF_\cJ^{-1}\cA\cF_\cJ$ on $\cJ$. This class of convolutions includes celebrated Prandtl, Tricomi and Lavrentjev-Bitsadze equations and, also, differential equations of arbitrary order with the natural weighted derivative $\fD_\cJ u(x)=-(1-x^2)u'(x)$, $t\in\cJ$. Equations are solved in the scale of Bessel potential $\bH^s_p(\cJ,d_\cJ x)$, $1\leqslant p\leqslant\infty$, and H\"older-Zygmound $\bZ^\nu(\cJ,(1-x^2)^\mu)$, $0<\mu,\nu<\infty$ spaces, adapted to the group $\cA(\cJ)$. Boundedness of convolution operators (the problem of multipliers) is discussed. The symbol $\cA(\xi)$, $\xi\in\bR$, of a convolution equation $W^0_{\cJ,\cA}u=f$ defines solvability: the equation is uniquely solvable if and only if the symbol $\cA$ is elliptic. The solution is written explicitely with the help of the inverse symbol. We touch shortly the multidimensional analogue-the Abelian group $\cA(\cJ^n)$.


title: Optical spectroscopy of the extremely metal-deficient star-forming galaxy HSC J1631+4426: a test of the strong-line method

abstract: Recently, Kojima and co-authors have reported a record low oxygen abundance, 12+logO/H=6.90+/-0.03 in the low-mass star-forming galaxy HSC J1631+4426. This exceptionally low oxygen abundance was obtained by the direct method, using the [OIII]4363 emission line. However, using the strong-line method by Izotov et al. (2019b), these authors have derived a significantly higher metallicity 12+logO/H=7.175+/-0.005. To clarify the situation, we have obtained new observations of HSC J1631+4426 with the Large Binocular Telescope (LBT)/Multi-Object Dual Spectrograph (MODS). We have derived a higher oxygen abundance, 12+logO/H=7.14+/-0.03, using the direct method, a value similar to the oxygen abundance obtained by the strong-line method. Thus, HSC J1631+4426 has a metallicity close to that of the well known blue compact dwarf galaxy IZw18.


title: Evaluating Continual Test-Time Adaptation for Contextual and Semantic Domain Shifts

abstract: In this paper, our goal is to adapt a pre-trained convolutional neural network to domain shifts at test time. We do so continually with the incoming stream of test batches, without labels. The existing literature mostly operates on artificial shifts obtained via adversarial perturbations of a test image. Motivated by this, we evaluate the state of the art on two realistic and challenging sources of domain shifts, namely contextual and semantic shifts. Contextual shifts correspond to the environment types, for example, a model pre-trained on indoor context has to adapt to the outdoor context on CORe-50. Semantic shifts correspond to the capture types, for example a model pre-trained on natural images has to adapt to cliparts, sketches, and paintings on DomainNet. We include in our analysis recent techniques such as Prediction-Time Batch Normalization (BN), Test Entropy Minimization (TENT) and Continual Test-Time Adaptation (CoTTA). Our findings are three-fold: i) Test-time adaptation methods perform better and forget less on contextual shifts compared to semantic shifts, ii) TENT outperforms other methods on short-term adaptation, whereas CoTTA outpeforms other methods on long-term adaptation, iii) BN is most reliable and robust. Our code is available at https://github.com/tommiekerssies/Evaluating-Continual-Test-Time-Adaptation-for-Contextual-and-Semantic-Domain-Shifts.


title: TSCom-Net: Coarse-to-Fine 3D Textured Shape Completion Network

abstract: Reconstructing 3D human body shapes from 3D partial textured scans remains a fundamental task for many computer vision and graphics applications -- e.g., body animation, and virtual dressing. We propose a new neural network architecture for 3D body shape and high-resolution texture completion -- BCom-Net -- that can reconstruct the full geometry from mid-level to high-level partial input scans. We decompose the overall reconstruction task into two stages - first, a joint implicit learning network (SCom-Net and TCom-Net) that takes a voxelized scan and its occupancy grid as input to reconstruct the full body shape and predict vertex textures. Second, a high-resolution texture completion network, that utilizes the predicted coarse vertex textures to inpaint the missing parts of the partial 'texture atlas'. A thorough experimental evaluation on 3DBodyTex.V2 dataset shows that our method achieves competitive results with respect to the state-of-the-art while generalizing to different types and levels of partial shapes. The proposed method has also ranked second in the track1 of SHApe Recovery from Partial textured 3D scans (SHARP [38,1]) 2022 challenge1.


title: Memory and Capacity of Graph Embedding Methods

abstract: THIS PAPER IS NOW DEFUNCT: Check out "Graph Embeddings via Tensor Products and Approximately Orthonormal Codes", where it has been combined into one paper.


title: Freezing vs. equilibration dynamics in the Potts model

abstract: We study the quench dynamics of the $q$ Potts model on different bi/tri-dimensional lattice topologies. In particular we are interested in instantaneous quenches from $T_i \rightarrow \infty$ to $T \leq T_s$, where $T_s$ is the (pseudo)-spinodal temperature. The goal is to explain why, in the large-$q$ limit, the low-temperature dynamics freezes on some lattices while, on others, the equilibrium configuration is easily reached. The cubic ($3d$) and the triangular ($2d$) lattices are analysed in detail. We show that the dynamics blocks when lattices have acyclic \textit{unitary structures} while the system goes to the equilibrium when these are cyclic, no matter the coordination number ($z$) of the particular considered lattice.


title: Polynomial worst-case iteration complexity of quasi-Newton primal-dual interior point algorithms for linear programming

abstract: Quasi-Newton methods are well known techniques for large-scale numerical optimization. They use an approximation of the Hessian in optimization problems or the Jacobian in system of nonlinear equations. In the Interior Point context, quasi-Newton algorithms compute low-rank updates of the matrix associated with the Newton systems, instead of computing it from scratch at every iteration. In this work, we show that a simplified quasi-Newton primal-dual interior point algorithm for linear programming enjoys polynomial worst-case iteration complexity. Feasible and infeasible cases of the algorithm are considered and the most common neighborhoods of the central path are analyzed. To the best of our knowledge, this is the first attempt to deliver polynomial worst-case iteration complexity bounds for these methods. Unsurprisingly, the worst-case complexity results obtained when quasi-Newton directions are used are worse than their counterparts when Newton directions are employed. However, quasi-Newton updates are very attractive for large-scale optimization problems where the cost of factorizing the matrices is much higher than the cost of solving linear systems.


title: Lifted Bregman Training of Neural Networks

abstract: We introduce a novel mathematical formulation for the training of feed-forward neural networks with (potentially non-smooth) proximal maps as activation functions. This formulation is based on Bregman distances and a key advantage is that its partial derivatives with respect to the network's parameters do not require the computation of derivatives of the network's activation functions. Instead of estimating the parameters with a combination of first-order optimisation method and back-propagation (as is the state-of-the-art), we propose the use of non-smooth first-order optimisation methods that exploit the specific structure of the novel formulation. We present several numerical results that demonstrate that these training approaches can be equally well or even better suited for the training of neural network-based classifiers and (denoising) autoencoders with sparse coding compared to more conventional training frameworks.


title: Performance Analysis of RIS-Assisted Large-Scale Wireless Networks Using Stochastic Geometry

abstract: In this paper, we investigate the performance of a reconfigurable intelligent surface (RIS) assisted large-scale network by characterizing the coverage probability and the average achievable rate using stochastic geometry. Considering the spatial correlation between transmitters (TXs) and RISs, their locations are jointly modelled by a Gauss-Poisson process (GPP). Two association strategies, i.e., nearest association and fixed association, are both discussed. For the RIS-aided transmission, the signal power distribution with a direct link is approximated by a gamma random variable using a moment matching method, and the Laplace transform of the aggregate interference power is derived in closed form. Based on these expressions, we analyze the channel hardening effect in the RIS-assisted transmission, the coverage probability, and the average achievable rate of the typical user. We derive the coverage probability expressions for the fixed association strategy and the nearest association strategy in an interference-limited scenario in closed form. Numerical results are provided to validate the analysis and illustrate the effectiveness of RIS-assisted transmission with passive beamforming in improving the system performance. Furthermore, it is also unveiled that the system performance is independent of the density of TXs with the nearest association strategy in the interference-limited scenario.


title: Acetaldehyde binding energies: a coupled experimental and theoretical study

abstract: Acetaldehyde is one of the most common and abundant gaseous interstellar complex organic molecules, found in cold and hot regions of the molecular interstellar medium. Its presence in the gas-phase depends on the chemical formation and destruction routes, and its binding energy (BE) governs whether acetaldehyde remains frozen onto the interstellar dust grains or not. In this work, we report a combined study of the acetaldehyde BE obtained via laboratory TPD (Temperature Programmed Desorption) experiments and theoretical quantum chemical computations. BEs have been measured and computed as a pure acetaldehyde ice and as mixed with both polycrystalline and amorphous water ice. Both calculations and experiments found a BE distribution on amorphous solid water that covers the 4000--6000 K range, when a pre-exponential factor of $1.1\times 10^{18}s^{-1}$ is used for the interpretation of the experiments. We discuss in detail the importance of using a consistent couple of BE and pre-exponential factor values when comparing experiments and computations, as well as when introducing them in astrochemical models. Based on the comparison of the acetaldehyde BEs measured and computed in the present work with those of other species, we predict that acetaldehyde is less volatile than formaldehyde, but much more than water, methanol, ethanol, and formamide. We discuss the astrochemical implications of our findings and how recent astronomical high spatial resolution observations show a chemical differentiation involving acetaldehyde, which can easily explained as due to the different BEs of the observed molecules.


title: Nanoscale mapping of sub-gap electroluminescence from step-bunched, oxidized 4H-SiC surfaces

abstract: Scanning tunneling luminescence microscopy (STLM) along with scanning tunneling spectroscopy (STS) is applied to a step-bunched, oxidized 4H-SiC surface prepared on the silicon face of a commercial, n-type SiC wafer using a silicon melt process. The step-bunched surface consists of atomically smooth terraces parallel to the [0001] crystal planes, and rougher risers consisting of nanoscale steps formed by the termination of these planes. The rather striking topography of this surface is well resolved with large tip biases of the order of -8 V and set currents of magnitude less than 1 nA. Hysteresis in the STS spectra is preferentially observed on the risers suggesting that they contain a higher density of surface charge traps than the terraces where hysteresis is more frequently absent. Similarly, at 50 K intense sub-gap light emission centered around 2.4 eV is observed mainly on the risers albeit only with larger tunneling currents of magnitude equal to or greater than 10 nA. These results demonstrate that STLM holds great promise for the observation of impurities and defects responsible for sub-gap light emission with spatial resolutions approaching the length scale of the defects themselves.


abstract: In this article, we define Perelman's functionals on manifolds with non-isolated conical singularities by starting from a spectral point of view for the Perelman's $\lambda$-functional. (Our definition of non-isolated conical singularities includes isolated conical singularities.) We prove that the spectrum of Schr\"odinger operator $-4\Delta + R$ on manifolds with non-isolated conical singularities consists of discrete eigenvalues with finite multiplicities, provided that scalar curvatures of cross sections of cones have a certain lower bound. This enables us to define the $\lambda$-functional on these singular manifolds, and further, to prove that the infimum of $W$-functional is finite, with the help of some weighted Sobolev inequalities. Furthermore, we obtain some asymptotic behavior of eigenfunctions and the minimizer of the $W$-functional near the singularity, and a more refined optimal partial asymptotic expansion for eigenfunctions near isolated conical singularities. We also study the spectrum of $-4\Delta + R$ and Perelman's functionals on manifolds with more general singularities, i.e. the $r^{\alpha}$-horn singularities which serve as prototypes of algebraic singularities.


title: Dynamics of quantum soliton in Lee-Huang-Yang spin-orbit coupled Bose-Einstein condensates

abstract: We present the numerical results of the structure and dynamics of the self-bound ground state arising solely because of the presence of beyond mean field quantum fluctuation in spin-orbit coupled binary Bose-Einstein condensates in one dimension. Depending upon spin-obit (SO) and Rabi couplings, we observe that the ground state exhibits either quantum-bright (plane) or quantum-stripe soliton nature. We find an analytical soliton solution for non-zero SO coupling that matches quite well with the numerical results. Further, we investigate the dynamical stability of these solitons by adopting three protocols, such as (i) adding initial velocity to each component, (ii) quenching the SO and Rabi coupling parameters at initial and finite time, and (iii) allowing collision between the two spin-components by giving equal and opposite direction velocity to them. Many interesting dynamical features of the solitons, like, multi-fragmented, repelling, and breathing in time and space-time, are observed. For given Rabi coupling frequency, the breathing frequency of the soliton increases upon the increase in SO coupling, attaining a maximum at the critical SO coupling where the phase transition from the bright to stripe soliton occurs. We observe that the maximum breathing frequency exhibits power law dependence on the Rabi coupling frequency with an exponent $\sim 0.16$.


title: Whittaker categories of quasi-reductive Lie superalgebras and quantum symmetric pairs

abstract: We show that, for an arbitrary quasi-reductive Lie superalgebra with a triangular decomposition and a character $\zeta$ of the nilpotent radical, the associated Backelin functor $\Gamma_\zeta$ sends Verma modules to standard Whittaker modules provided the latter exist. As a consequence, this gives a complete solution to the problem of determining the composition factors of the standard Whittaker modules in terms of composition factors of Verma modules in the category $\mathcal O$. In the case of the ortho-symplectic Lie superalgebras, we show that the Backelin functor $\Gamma_\zeta$ and its target category, respectively, categorify a $q$-symmetrizing map and the corresponding $q$-symmetrized Fock space associated with a quasi-split quantum symmetric pair of type $AIII$.


title: Embedding arbitrary Boolean circuits into fungal automata

abstract: Fungal automata are a variation of the two-dimensional sandpile automaton of Bak, Tang, and Wiesenfeld (Phys. Rev. Lett. 1987). In each step toppling cells emit grains only to some of their neighbors chosen according to a specific update sequence. We show how to embed any Boolean circuit into the initial configuration of a fungal automaton with update sequence $HV$. In particular we give a constructor that, given the description $B$ of a circuit, computes the states of all cells in the finite support of the embedding configuration in $O(\log |B|)$ space. As a consequence the prediction problem for fungal automata with update sequence $HV$ is $\mathsf{P}$-complete. This solves an open problem of Goles et al. (Phys. Lett. A, 2020).


title: GraVoS: Voxel Selection for 3D Point-Cloud Detection

abstract: 3D object detection within large 3D scenes is challenging not only due to the sparsity and irregularity of 3D point clouds, but also due to both the extreme foreground-background scene imbalance and class imbalance. A common approach is to add ground-truth objects from other scenes. Differently, we propose to modify the scenes by removing elements (voxels), rather than adding ones. Our approach selects the "meaningful" voxels, in a manner that addresses both types of dataset imbalance. The approach is general and can be applied to any voxel-based detector, yet the meaningfulness of a voxel is network-dependent. Our voxel selection is shown to improve the performance of several prominent 3D detection methods.


title: Efficient data-driven gap filling of satellite image time series using deep neural networks with partial convolutions

abstract: The abundance of gaps in satellite image time series often complicates the application of deep learning models such as convolutional neural networks for spatiotemporal modeling. Based on previous work in computer vision on image inpainting, this paper shows how three-dimensional spatiotemporal partial convolutions can be used as layers in neural networks to fill gaps in satellite image time series. To evaluate the approach, we apply a U-Net-like model on incomplete image time series of quasi-global carbon monoxide observations from the Sentinel-5P satellite. Prediction errors were comparable to two considered statistical approaches while computation times for predictions were up to three orders of magnitude faster, making the approach applicable to process large amounts of satellite data. Partial convolutions can be added as layers to other types of neural networks, making it relatively easy to integrate with existing deep learning models. However, the approach does not quantify prediction errors and further research is needed to understand and improve model transferability. The implementation of spatiotemporal partial convolutions and the U-Net-like model is available as open-source software.


title: Fair Division of Indivisible Goods: Recent Progress and Open Questions

abstract: Allocating resources to individuals in a fair manner has been a topic of interest since ancient times, with most of the early mathematical work on the problem focusing on resources that are infinitely divisible. Over the last decade, there has been a surge of papers studying computational questions regarding the indivisible case, for which exact fairness notions such as envy-freeness and proportionality are hard to satisfy. One main theme in the recent research agenda is to investigate the extent to which their relaxations, like maximin share fairness (MMS) and envy-freeness up to any good (EFX), can be achieved. In this survey, we present a comprehensive review of the recent progress made in the related literature by highlighting different ways to relax fairness notions, common algorithm design techniques, and the most interesting questions for future research.


title: Existence of convolution maximizers in $L_p(R^n)$ for kernels from Lorentz spaces

abstract: The paper extends an earlier result of G.V.~Kalachev and the author (Sb. Math. 2019 or arXiv:1712.08836) on the existence of a maximizer of convolution operator acting between two Lebesgue spaces on $R^n$ with kernel from some $L_q$, $1<q<\infty$. In view of Lieb's result of 1983 about the existence of an extremizer for the Hardy-Littlewood-Sobolev inequality it is natural to ask whether a convolution maximizer exists for any kernel from weak $L_q$. The answer in the negative was given by Lieb in the above citation. In this paper we prove the existence of maximizers for kernels from a slightly more narrow class than weak $L_q$, which contains all Lorentz spaces $L_{q,s}$ with $q\leq s<\infty$.


title: Simulation methods and error analysis for trawl processes and ambit fields

abstract: Trawl processes are continuous-time, stationary and infinitely divisible processes which can describe a wide range of possible serial correlation patterns in data. In this paper, we introduce new simulation algorithms for trawl processes with monotonic trawl functions and establish their error bounds and convergence properties. We extensively analyse the computational complexity and practical implementation of these algorithms and discuss which one to use depending on the type of L\'evy basis. We extend the above methodology to the simulation of kernel-weighted, volatility modulated trawl processes and develop a new simulation algorithm for ambit fields. Finally, we discuss how simulation schemes previously described in the literature can be combined with our methods for decreased computational cost.


title: A systematic study of spin-dependent recombination in GaAs$_{1-x}$N$_x$ as a function of nitrogen content

abstract: A systematic study of spin-dependent recombination (SDR) under steady-state optical pumping conditions in dilute nitride semiconductors as a function of nitrogen content is reported. The alloy content is determined by a fit of the photoluminescence (PL) intensity using a Roosbroeck-Shockley relation and verified by a study of the GaN-like LO$_2$ phonon peak in a Raman spectroscopy map. PL spectra taken from alloys of the form GaAs$_{1-x}$N$_x$ where $0.022 < x < 0.036$ exhibit PL intensity increases when switching from a linearly- to a circularly-polarized pump up to a factor of 5 for $x = 0.022$. This work used a 1.39 eV laser with a radius of 0.6 $\mu$m. The observed SDR ratio monotonically decreases with increasing $x$, reaching 1.5 for $x = 0.036$. Moreover, the excitation power required to obtain maximum SDR systematically increases with increasing $x$, varying from 0.6 mW for $x = 0.022$ to 15 mW for $x = 0.036$. These observations are consistent with an increase in the density of electronically active defects with increasing nitrogen content, both those responsible for the SDR as well as other, standard Shockley-Read-Hall (SRH) centers.


title: Analytic two-loop amplitudes for $tW$ production: leading color and light fermion-loop contributions

abstract: We present the analytical results of the two-loop amplitudes for hadronic $tW$ production, focusing on the leading color and light fermion-loop contributions. The calculation of the two-loop integrals is performed using the method of canonical differential equations. The results have been expressed in terms of multiple polylogarithms and checked by comparing the infra-red divergences with the predictions from anomalous dimensions. Combined with the one-loop squared amplitudes we have computed previously, we obtain the hard function relevant to a NNLO Monte Carlo calculation. We find that the hard function varies slowly in the region with small top quark velocity but increases dramatically in the region with very large top quark velocity. After phase space integration, the leading color hard function gives an about $5.4\%$ correction to the leading order cross section, while the light fermion loop contributes about $-1.4\%$.


title: An Enhanced Gradient Based Optimized Controller for Load Frequency Control of a Two Area Automatic Generation Control System

abstract: This work proposes the adoption of Enhanced Gradient-Based Optimizer (EGBO) as a new approach to the Load Frequency Control (LFC) problem in a two-area interconnected power system. The importance of determining the optimal parameters for the controllers for the LFC problem cannot be overstated, and the fact that estimating these parameters require complex and nonlinear computations makes the optimization procedure even more unique and challenging. Consequently, application of an efficient optimization algorithm to successfully attain optimal controller parameters is critical. To accomplish this task, the proposed EGBO algorithm is compared to the fundamental Gradient-Based Optimizer (GBO), Chimp Optimization Algorithm (ChOA), Sine Cosine Algorithm (SCA), Grey Wolf Optimization (GWO), and Particle Swarm Optimization (PSO) for optimizing an Integral-Time-multiplied-Absolute-Error (ITAE) based objective function. The relevant findings show that the EGBO algorithm is competitively superior in terms of resilience, precision, and latency when compared to other optimization methods. Lastly, the statistical comparison further strengthens the outcome of the study.


title: Fano Interference in a Single-Molecule Junction

abstract: Trends of miniaturized devices and quantum interference electronics lead to the long desire of Fano interference in single-molecule junctions, here, which is successfully demonstrated using the 2,7-di(4-pyridyl)-9,9'-spirobifluorene molecule with a long backbone group and a short side group. Experimentally, the two electrically coupled groups are found to contribute to two blurred degenerate points in the differential conductance mapping. This forms a characteristic non-centrosymmetric double-crossing feature, with distinct temperature response for each crossing. Theoretically, we describe the practical in-junction electron transmission using a new two-tunnelling-channel coupling model and obtain a working formula with a Fano term and a Breit-Wigner term. The formula is shown to provide a good fit for all the mapping data and their temperature dependence in three dimensions, identifying the Fano component. Our work thus forms a complete set of evidence of the Fano interference in a single-molecule junction induced by two-tunnelling-channel coupling transport. Density functional theory calculations are used to corroborate this new physics.


title: Towards Label-efficient Automatic Diagnosis and Analysis: A Comprehensive Survey of Advanced Deep Learning-based Weakly-supervised, Semi-supervised and Self-supervised Techniques in Histopathological Image Analysis

abstract: Histopathological images contain abundant phenotypic information and pathological patterns, which are the gold standards for disease diagnosis and essential for the prediction of patient prognosis and treatment outcome. In recent years, computer-automated analysis techniques for histopathological images have been urgently required in clinical practice, and deep learning methods represented by convolutional neural networks have gradually become the mainstream in the field of digital pathology. However, obtaining large numbers of fine-grained annotated data in this field is a very expensive and difficult task, which hinders the further development of traditional supervised algorithms based on large numbers of annotated data. More recent studies have started to liberate from the traditional supervised paradigm, and the most representative ones are the studies on weakly supervised learning paradigm based on weak annotation, semi-supervised learning paradigm based on limited annotation, and self-supervised learning paradigm based on pathological image representation learning. These new methods have led a new wave of automatic pathological image diagnosis and analysis targeted at annotation efficiency. With a survey of over 130 papers, we present a comprehensive and systematic review of the latest studies on weakly supervised learning, semi-supervised learning, and self-supervised learning in the field of computational pathology from both technical and methodological perspectives. Finally, we present the key challenges and future trends for these techniques.


title: Explainable Reinforcement Learning on Financial Stock Trading using SHAP

abstract: Explainable Artificial Intelligence (XAI) research gained prominence in recent years in response to the demand for greater transparency and trust in AI from the user communities. This is especially critical because AI is adopted in sensitive fields such as finance, medicine etc., where implications for society, ethics, and safety are immense. Following thorough systematic evaluations, work in XAI has primarily focused on Machine Learning (ML) for categorization, decision, or action. To the best of our knowledge, no work is reported that offers an Explainable Reinforcement Learning (XRL) method for trading financial stocks. In this paper, we proposed to employ SHapley Additive exPlanation (SHAP) on a popular deep reinforcement learning architecture viz., deep Q network (DQN) to explain an action of an agent at a given instance in financial stock trading. To demonstrate the effectiveness of our method, we tested it on two popular datasets namely, SENSEX and DJIA, and reported the results.


title: Study of B, Bs mesons using heavy quark effective theory

abstract: Inspired by the lower statistical information in the bottom {\bf sector, in this paper, we} calculate the masses and the strong decays of excited $B$ and $B_s$ mesons in the framework of heavy quark effective theory (HQET). Using an effective chiral Lagrangian approach based on heavy quark spin-flavor and light quark chiral symmetry, we explore the flavor independent parameters $\Delta_F^{(c)} = \Delta_F^{(b)}$ and $\lambda_F^{(c)} = \lambda_F^{(b)}$ to calculate the masses of experimentally unknown bottom mesons. Our predictions are consistent with the available experimental results and other theoretical studies. Their strong decay to the ground state bottom mesons plus light pseudoscalar mesons is calculated in terms of the square of the couplings $g_H$, $g_S$, $g_T$, $g_X$, $g_Y$, and $g_R$. The weighted average value of the couplings $g_H$, $g_S$ and $g_T$ {\bf is} obtained in the charm sector [Phys. Rev. D \textbf{86}, 054024 (2012)] by fitting the calculated decay widths with experimental measurements, which will be used in the present study to analyze the strong decays of excited open bottom mesons. Moreover, the ratio of the decay rates is also predicted, which can be countered with future experimental data.


title: Extremal statistics of a one dimensional run and tumble particle with an absorbing wall

abstract: We study the extreme value statistics of a run and tumble particle (RTP) in one dimension till its first passage to the origin starting from the position $x_0~(>0)$. This model has recently drawn a lot of interest due to its biological application in modelling the motion of certain species of bacteria. Herein, we analytically study the exact time-dependent propagators for a single RTP in a finite interval with absorbing conditions at its two ends. By exploiting a path decomposition technique, we use these propagators appropriately to compute the joint distribution $\mathscr{P}(M,t_m)$ of the maximum displacement $M$ till first-passage and the time $t_m$ at which this maximum is achieved exactly. The corresponding marginal distributions $\mathbb{P}_M(M)$ and $P_M(t_m)$ are studied separately and verified numerically. In particular, we find that the marginal distribution $P_M(t_m)$ has interesting asymptotic forms for large and small $t_m$. While for small $t_m$, the distribution $P_M(t_m)$ depends sensitively on the initial velocity direction $\sigma _i$ and is completely different from the Brownian motion, the large $t_m$ decay of $P_M(t_m)$ is same as that of the Brownian motion although the amplitude crucially depends on the initial conditions $x_0$ and $\sigma _i$. We verify all our analytical results to high precision by numerical simulations.