title: Effects of a global monopole on thermodynamic phase transition of the charged AdS black hole

abstract: In this paper, we study the dynamical properties of thermodynamic phase transition (PT) for the charged AdS black hole (BH) with a global monopole via the Gibbs free energy landscape and reveal the effects of a global monopole on the kinetics of the AdS BH thermodynamic PT. First, we briefly review the thermodynamics of the charged AdS BH with a global monopole. Then, we introduce the Gibbs free energy landscape to study the thermodynamic stability of the BH state. Because of thermal fluctuations, the small black hole (SBH) state can transit to the large black hole (LBH) state, and vice versa. We use the Fokker-Planck equation with the reflecting boundary condition to study the probability evolution of the BH state with and without a global monopole separately. We find that for both the SBH and LBH states, the global monopole could slow down the evolution of the BH state. In addition, we obtain the relationship between the first passage time and the monopole parameter $\eta$. The result shows that as the monopole parameter $\eta$ increases, the mean first passage time will be longer for both the SBH and LBH states.


title: Zn2GeO4/SnO2 nanowire architecture: A correlative spatially resolved X-ray study

abstract: Wide bandgap semiconductor heterostructures based on nanowires have attracted great interest as one of the nanoscale building blocks for the development of novel optoelectronic devices. Owing to the critical role of heterogeneities and structural imperfections in the optoelectronic properties, it has become a challenge to investigate in detail the local structure and elemental composition of these systems. Typically, transmission electron microscopy and energy dispersive X-ray spectroscopy are applied to address such issues. Here, using a synchrotron nanobeam probe, we show a correlative spatially-resolved study of the composition, luminescence and local structure of a Zn2GeO4/SnO2 nanowire-based system. Unlike other works, the heterostructures were synthesized by an effective catalyst-free thermal evaporation method and present a skewer-shaped architecture formed by Plateau-Rayleigh instability. Our results highlight the role of diffused impurities on the optical properties of the heterostructure and open new avenues for further heterogeneity studies using the X-ray nanoprobe.


title: Semantic Labeling of High Resolution Images Using EfficientUNets and Transformers

abstract: Semantic segmentation necessitates approaches that learn high-level characteristics while dealing with enormous amounts of data. Convolutional neural networks (CNNs) can learn unique and adaptive features to achieve this aim. However, due to the large size and high spatial resolution of remote sensing images, these networks cannot analyze an entire scene efficiently. Recently, deep transformers have proven their capability to record global interactions between different objects in the image. In this paper, we propose a new segmentation model that combines convolutional neural networks with transformers, and show that this mixture of local and global feature extraction techniques provides significant advantages in remote sensing segmentation. In addition, the proposed model includes two fusion layers that are designed to represent multi-modal inputs and output of the network efficiently. The input fusion layer extracts feature maps summarizing the relationship between image content and elevation maps (DSM). The output fusion layer uses a novel multi-task segmentation strategy where class labels are identified using class-specific feature extraction layers and loss functions. Finally, a fast-marching method is used to convert all unidentified class labels to their closest known neighbors. Our results demonstrate that the proposed methodology improves segmentation accuracy compared to state-of-the-art techniques.


title: Three-Generation Super No-Scale Models in Heterotic Superstrings

abstract: We derive the conditions for the one-loop contribution to the cosmological constant to be exponentially suppressed in a class of heterotic string compactifications with three generations of chiral matter, where supersymmetry is spontaneously broken \`a la Scherk-Schwarz. Using techniques of partial unfolding based on the Hecke congruence subgroup $\Gamma_0(2)$ of the modular group to extract the leading asymptotics, we show that the super no-scale condition $n_B=n_F$ between the degeneracies of massless bosons $n_B$ and fermions $n_F$ in the full string spectrum is necessary but not sufficient, and needs to be supplemented by additional conditions which we identify. We use these results to construct three-generation Pati-Salam models with interesting phenomenological characteristics.


title: HORSES3D: a high-order discontinuous Galerkin solver for flow simulations and multi-physics applications

abstract: We present the latest developments of our High-Order Spectral Element Solver (HORSES3D), an open source high-order discontinuous Galerkin framework, capable of solving a variety of flow applications, including compressible flows (with or without shocks), incompressible flows, various RANS and LES turbulence models, particle dynamics, multiphase flows, and aeroacoustics. We provide an overview of the high-order spatial discretisation (including energy/entropy stable schemes) and anisotropic p-adaptation capabilities. The solver is parallelised using MPI and OpenMP showing good scalability for up to 1000 processors. Temporal discretisations include explicit, implicit, multigrid, and dual time-stepping schemes with efficient preconditioners. Additionally, we facilitate meshing and simulating complex geometries through a mesh-free immersed boundary technique. We detail the available documentation and the test cases included in the GitHub repository.


title: The Cost of the GDPR for Apps? Nearly Impossible to Study without Platform Data

abstract: A recently published pre-print titled 'GDPR and the Lost Generation of Innovative Apps' by Jan{\ss}en et al. observes that a third of apps on the Google Play Store disappeared from this app store around the introduction of the GDPR in May 2018. The authors deduce 'that GDPR is the cause'. The effects of the GDPR on the app economy are an important field to study. Unfortunately, the paper currently lacks a control condition and a key variable. As a result, the effects on app exits reported in the paper are likely overestimated, as we will discuss. We believe there are other factors which may better explain these changes in the Play Store aside from the GDPR.


title: A Safe Control Architecture Based on Robust Model Predictive Control for Autonomous Driving

abstract: This paper proposes a Robust Safe Control Architecture (RSCA) for safe-decision making. The system to be controlled is a vehicle in the presence of bounded disturbances. The RSCA consists of two parts: a Supervisor MPC and a Controller MPC. Both the Supervisor and the Controller are tube MPCs (TMPCs). The Supervisor MPC provides a safety certificate for an operating controller and a backup control input in every step. After an unsafe action by the operating controller is predicted, the Controller MPC takes over the system. In this paper, a method for the computation of a terminal set is proposed, which is robust against changes in road curvature and forces the vehicle to reach a safe reference. Moreover, two important proofs are provided in this paper. First, it is shown that the backup control input is safe to be applied to the system to lead the vehicle to a safe state. Next, the recursive feasibility of the RSCA is proven. By simulating some obstacle avoidance scenarios, the effectiveness of the proposed RSCA is confirmed.


title: Geo-NI: Geometry-aware Neural Interpolation for Light Field Rendering

abstract: In this paper, we present a Geometry-aware Neural Interpolation (Geo-NI) framework for light field rendering. Previous learning-based approaches either rely on the capability of neural networks to perform direct interpolation, which we dubbed Neural Interpolation (NI), or explore scene geometry for novel view synthesis, also known as Depth Image-Based Rendering (DIBR). Instead, we incorporate the ideas behind these two kinds of approaches by launching the NI with a novel DIBR pipeline. Specifically, the proposed Geo-NI first performs NI using input light field sheared by a set of depth hypotheses. Then the DIBR is implemented by assigning the sheared light fields with a novel reconstruction cost volume according to the reconstruction quality under different depth hypotheses. The reconstruction cost is interpreted as a blending weight to render the final output light field by blending the reconstructed light fields along the dimension of depth hypothesis. By combining the superiorities of NI and DIBR, the proposed Geo-NI is able to render views with large disparity with the help of scene geometry while also reconstruct non-Lambertian effect when depth is prone to be ambiguous. Extensive experiments on various datasets demonstrate the superior performance of the proposed geometry-aware light field rendering framework.


title: Emergence of Rashba splitting and spin-valley properties in Janus MoGeSiP2As2 and WGeSiP2As2 monolayers

abstract: First-principles calculations are performed to study the structural stability and spintronics properties of Janus MoGeSiP2As2 and WGeSiP2As2 monolayers. The high cohesive energies and the stable phonon modes confirm that both these structures are experimentally accessible. In contrast to pristine MoSi2P4, the Janus monolayers demonstrate reduced direct bandgaps and large spin-split states at K/-K. In addition, their spin textures exposed that breaking the mirror symmetry brings Rashba-type spin splitting in the systems which can be increased by using higher atomic spin-orbit coupling. The large valley spin splitting together with the Rashba splitting in these Janus monolayer structures can make a remarkable contribution to semiconductor valleytronics and spintronics.


title: Exoplanet atmosphere retrievals in 3D using phase curve data with ARCiS: application to WASP-43b

abstract: Aims. To create a retrieval framework which encapsulates the 3D nature of exoplanet atmospheres, and to apply it to observed emission phase curve and transmission spectra of hot Jupiter exoplanet WASP-43b. Methods. We present our 3D framework, which is freely available as a stand-alone module from GitHub. We use the atmospheric modelling and Bayesian retrieval package ARCiS (ARtful modelling Code for exoplanet Science) to perform 8 3D retrievals on simultaneous transmission (HST/WFC3) and phase-dependent emission (HST/WFC3, Spitzer/IRAC) observations of WASP-43b as a case study. We assess how input assumptions affect our retrieval outcomes. In particular we look at constraining equilibrium chemistry vs a free molecular retrieval, the case of no clouds vs parametrised clouds, and using Spitzer phase data that have been reduced from two different literature sources. For the free chemistry retrievals, we retrieve abundances of H2O, CH4, CO, CO2, AlO, and NH3 as a function of phase, with many more species considered for the equilibrium chemistry retrievals. Results. We find consistent super-solar C/O (0.6-0.9) and super-solar metallicities (1.7-2.9 dex) for all retrieval setups that assume equilibrium chemistry. Atmospheric heat distribution, hotspot shift (15.6 vs 4.5 for different Spitzer datasets), and temperature structure are influenced by the Spitzer emission phase data. Comparisons are made with other studies of WASP-43b, including available GCM simulations. Conclusions. The parametrised 3D setup we have developed provides a valuable tool to analyse extensive observational datasets such as spectroscopic phase curves. Near-future observations with missions such as the James Webb Space Telescope (JWST) and Ariel will greatly improve our understanding of the atmospheres of exoplanets such as WASP-43b.


title: Effect of Heat Treatment Mode and Aggressive Media on Mechanical Properties of Porous Polytetrafluoroethylene Membranes Fabricated via Electrospinning

abstract: Electrospinning is a modern alternative to the expanded method for producing porous polytetrafluoroethylene membranes. High strength and relative elongation, as well as the ability to maintain these properties for a long time when exposed to aggressive media at high temperatures, determine the application scope of the electrospun polytetrafluoroethylene membranes. Herein, we report the effect of polytetrafluoroethylene suspension content in the spinning solution, heat treatment mode (quenching and annealing) and aggressive media at high temperatures on the tensile strength and relative elongation of electrospun polytetrafluoroethylene membranes. Membranes fabricated from spinning solutions with 50 to 60 wt % polytetrafluoroethylene suspension content that underwent quenching were characterized by the highest tensile strength and relative elongation. Electrospun polytetrafluoroethylene membranes also demonstrated high chemical resistance to concentrated mineral acids and alkalis, a bipolar aprotic solvent, engine oil and deionized water at 100 deg for 48 hours.


title: A Structural Theorem for Sets With Few Triangles

abstract: We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds. (1) There is a $\sigma>0$ and a line $l$ which contains $\Omega(|P|^\sigma)$ points of $P$. Further, a positive proportion of $P$ is covered by lines parallel to $l$ each containing $\Omega(|P|^\sigma)$ points of $P$. (2) There is a circle $\gamma$ which contains a positive proportion of $P$. This provides evidence for two conjectures of Erd\H{o}s. We use the result of Petridis-Roche-Newton-Rudnev-Warren on the structure of the affine group combined with classical results from additive combinatorics.


title: Stellar feedback in M83 as observed with MUSE -- II. Analysis of the HII region population: ionisation budget and pre-SN feedback

abstract: We study pre-supernova feedback in a sample of $\sim$ 4700 HII regions in the nearby spiral galaxy M83, identified on their H$\alpha$ emission. We pectroscopically identify Wolf-Rayet (WR) stars populating the star-forming regions. For each HII region, we compute the pressure of ionised gas ($P_{\rm ion}$) and the direct radiation pressure ($P_{\rm dir}$) acting in the region, and investigate how they vary with galactocentric distance, with the physical properties of the region, and with the pressure of the galactic environment ($P_\mathrm{DE}$). For a subset of $\sim$ 500 regions, we also investigate the link between the pressure terms and the properties of the cluster population (age, mass, and LyC flux). We find that $P_{\rm ion}$ dominates over $P_{\rm dir}$ by at least a factor of 10 on average over the disk. Both pressure terms are strongly enhanced and become almost comparable in the central starburst region. In the disk ($R \geq 0.15~R_e$), we observe that $P_{\rm dir}$ stays approximately constant with galactocentric distance. $P_{\rm dir}$ is positively correlated with an increase in radiation field strength (linked to the negative metallicity gradient in the galaxy), while it decreases in low extinction regions. $P_{\rm ion}$ decreases constantly for increasing galactocentric distances. In general, we observe that HII regions near the center are underpressured with respect to their surroundings, whereas regions in the disk are overpressured and hence expanding. We find that regions hosting younger clusters or having more mass in young star clusters have a higher internal pressure, indicating that clustered star formation is likely playing a dominant role in setting the pressure. Finally, we estimate that only 13 % of HII regions hosting young clusters and WR stars have $f_{\rm esc} \geq 0$.[Abridged]


title: Developing a Free and Open-source Automated Building Exterior Crack Inspection Software for Construction and Facility Managers

abstract: Inspection of cracks is an important process for properly monitoring and maintaining a building. However, manual crack inspection is time-consuming, inconsistent, and dangerous (e.g., in tall buildings). Due to the development of open-source AI technologies, the increase in available Unmanned Aerial Vehicles (UAVs) and the availability of smartphone cameras, it has become possible to automate the building crack inspection process. This study presents the development of an easy-to-use, free and open-source Automated Building Exterior Crack Inspection Software (ABECIS) for construction and facility managers, using state-of-the-art segmentation algorithms to identify concrete cracks and generate a quantitative and qualitative report. ABECIS was tested using images collected from a UAV and smartphone cameras in real-world conditions and a controlled laboratory environment. From the raw output of the algorithm, the median Intersection over Unions for the test experiments is (1) 0.686 for indoor crack detection experiment in a controlled lab environment using a commercial drone, (2) 0.186 for indoor crack detection at a construction site using a smartphone and (3) 0.958 for outdoor crack detection on university campus using a commercial drone. These IoU results can be improved significantly to over 0.8 when a human operator selectively removes the false positives. In general, ABECIS performs best for outdoor drone images, and combining the algorithm predictions with human verification/intervention offers very accurate crack detection results. The software is available publicly and can be downloaded for out-of-the-box use at: https://github.com/SMART-NYUAD/ABECIS


title: Guided Safe Shooting: model based reinforcement learning with safety constraints

abstract: In the last decade, reinforcement learning successfully solved complex control tasks and decision-making problems, like the Go board game. Yet, there are few success stories when it comes to deploying those algorithms to real-world scenarios. One of the reasons is the lack of guarantees when dealing with and avoiding unsafe states, a fundamental requirement in critical control engineering systems. In this paper, we introduce Guided Safe Shooting (GuSS), a model-based RL approach that can learn to control systems with minimal violations of the safety constraints. The model is learned on the data collected during the operation of the system in an iterated batch fashion, and is then used to plan for the best action to perform at each time step. We propose three different safe planners, one based on a simple random shooting strategy and two based on MAP-Elites, a more advanced divergent-search algorithm. Experiments show that these planners help the learning agent avoid unsafe situations while maximally exploring the state space, a necessary aspect when learning an accurate model of the system. Furthermore, compared to model-free approaches, learning a model allows GuSS reducing the number of interactions with the real-system while still reaching high rewards, a fundamental requirement when handling engineering systems.


title: Parameterisation of lane-change scenarios from real-world data

abstract: Recent Autonomous Vehicles (AV) technology includes machine learning and probabilistic techniques that add significant complexity to the traditional verification and validation methods. The research community and industry have widely accepted scenario-based testing in the last few years. As it is focused directly on the relevant crucial road situations, it can reduce the effort required in testing. Encoding real-world traffic participants' behaviour is essential to efficiently assess the System Under Test (SUT) in scenario-based testing. So, it is necessary to capture the scenario parameters from the real-world data that can model scenarios realistically in simulation. The primary emphasis of the paper is to identify the list of meaningful parameters that adequately model real-world lane-change scenarios. With these parameters, it is possible to build a parameter space capable of generating a range of challenging scenarios for AV testing efficiently. We validate our approach using Root Mean Square Error(RMSE) to compare the scenarios generated using the proposed parameters against the real-world trajectory data. In addition to that, we demonstrate that adding a slight disturbance to a few scenario parameters can generate different scenarios and utilise Responsibility-Sensitive Safety (RSS) metric to measure the scenarios' risk.


title: Closed meromorphic 1-forms

abstract: We review properties of closed meromorphic $1$-forms and of the foliations defined by them. We present and explain classical results from foliation theory, like index theorems, the existence of separatrices, and resolution of singularities under the lenses of the theory of closed meromorphic $1$-forms and flat meromorphic connections. We apply the theory to investigate the algebraicity separatrices in a semi-global setting (neighborhood of a compact curve contained in the singular set of the foliation), and the geometry of smooth hypersurfaces with numerically trivial normal bundle on compact K\"ahler manifolds.


title: Data Fusion for Radio Frequency SLAM with Robust Sampling

abstract: Precise indoor localization remains a challenging problem for a variety of essential applications. A promising approach to address this problem is to exchange radio signals between mobile agents and static physical anchors (PAs) that bounce off flat surfaces in the indoor environment. Radio frequency simultaneous localization and mapping (RF-SLAM) methods can be used to jointly estimates the time-varying location of agents as well as the static locations of the flat surfaces. Recent work on RF-SLAM methods has shown that each surface can be efficiently represented by a single master virtual anchor (MVA). The measurement model related to this MVA-based RF-SLAM method is highly nonlinear. Thus, Bayesian estimation relies on sampling-based techniques. The original MVA-based RF-SLAM method employs conventional "bootstrap" sampling. In challenging scenarios it was observed that the original method might converge to incorrect MVA positions corresponding to local maxima. In this paper, we introduce MVA-based RF-SLAM with an improved sampling technique that succeeds in the aforementioned challenging scenarios. Our simulation results demonstrate significant performance advantages.


title: Endpoint entropy Fefferman-Stein bounds for commutators

abstract: In this paper endpoint entropy Fefferman-Stein bounds for Calder\'on-Zygmund operators introduced by Rahm in are extended to iterated Coifman-Rochberg-Weiss commutators.


title: Efficient Joint DOA and TOA Estimation for Indoor Positioning with 5G Picocell Base Stations

abstract: The ubiquity, large bandwidth, and spatial diversity of the fifth generation (5G) cellular signal render it a promising candidate for accurate positioning in indoor environments where the global navigation satellite system (GNSS) signal is absent. In this paper, a joint angle and delay estimation (JADE) scheme is designed for 5G picocell base stations (gNBs) which addresses two crucial issues to make it both effective and efficient in realistic indoor environments. Firstly, the direction-dependence of the array modeling error for picocell gNB as well as its impact on JADE is revealed. This error is mitigated by fitting the array response measurements to a vector-valued function and pre-calibrating the ideal steering-vector with the fitted function. Secondly, based on the deployment reality that 5G picocell gNBs only have a small-scale antenna array but have a large signal bandwidth, the proposed scheme decouples the estimation of time-of-arrival (TOA) and direction-of-arrival (DOA) to reduce the huge complexity induced by two-dimensional joint processing. It employs the iterative-adaptive-approach (IAA) to resolve multipath signals in the TOA domain, followed by a conventional beamformer (CBF) to retrieve the desired line-of-sight DOA. By further exploiting a dimension-reducing pre-processing module and accelerating spectrum computing by fast Fourier transforms, an efficient implementation is achieved for real-time JADE. Numerical simulations demonstrate the superiority of the proposed method in terms of DOA estimation accuracy. Field tests show that a triangulation positioning error of 0.44 m is achieved for 90% cases using only DOAs estimated at two separated receiving points.


title: Simplified Efficiency Calibration Methods for Semiconductor Detectors used in Criticality Dosimetry

abstract: ``Oversimplified'' and ``simplified'' methods based on true coincidence summing effect used in uncomplicated determination of the photo-peak efficiency of the semiconductor High Purity Germanium (HPGe) detector system are suggested and verified. The methods and calibrated $^{60}$Co radioactive source may be used to commission any HPGe detector to use during potential criticality event. The determined accuracy of the semiconductor HPGe detector system using this method is a few percent (for the detector system used in this study it was $\simeq$8\% for oversimplified and $\simeq$5\% for simplified methods accordingly) reasonable, expected, and good enough to use for estimation of neutron dose from irradiated human blood in a potential criticality event. Moreover, if one can experimentally deduce the photo-peak efficiency for $^{60}$Co 1333 keV $\gamma$-ray line using the suggested methods, then with a few percent accuracy this efficiency could be also used for 1369 keV $\gamma$-ray line in the decay of $^{24}$Na isotope.


title: List Colouring Trees in Logarithmic Space

abstract: We show that List Colouring can be solved on $n$-vertex trees by a deterministic Turing machine using $O(\log n)$ bits on the worktape. Given an $n$-vertex graph $G=(V,E)$ and a list $L(v)\subseteq\{1,\dots,n\}$ of available colours for each $v\in V$, a list colouring for $G$ is a proper colouring $c$ such that $c(v)\in L(v)$ for all $v$.


title: Multiband Delay Estimation for Localization Using a Two-Stage Global Estimation Scheme

abstract: The time of arrival (TOA)-based localization techniques, which need to estimate the delay of the line-of-sight (LoS) path, have been widely employed in location-aware networks. To achieve a high-accuracy delay estimation, a number of multiband-based algorithms have been proposed recently, which exploit the channel state information (CSI) measurements over multiple non-contiguous frequency bands. However, to the best of our knowledge, there still lacks an efficient scheme that fully exploits the multiband gains when the phase distortion factors caused by hardware imperfections are considered, due to that the associated multi-parameter estimation problem contains many local optimums and the existing algorithms can easily get stuck in a "bad" local optimum. To address these issues, we propose a novel two-stage global estimation (TSGE) scheme for multiband delay estimation. In the coarse stage, we exploit the group sparsity structure of the multiband channel and propose a Turbo Bayesian inference (Turbo-BI) algorithm to achieve a good initial delay estimation based on a coarse signal model, which is transformed from the original multiband signal model by absorbing the carrier frequency terms. The estimation problem derived from the coarse signal model contains less local optimums and thus a more stable estimation can be achieved than directly using the original signal model. Then in the refined stage, with the help of coarse estimation results to narrow down the search range, we perform a global delay estimation using a particle swarm optimization-least square (PSO-LS) algorithm based on a refined multiband signal model to exploit the multiband gains to further improve the estimation accuracy. Simulation results show that the proposed TSGE significantly outperforms the benchmarks with comparative computational complexity.


title: A Comparative Study on Application of Class-Imbalance Learning for Severity Prediction of Adverse Events Following Immunization

abstract: In collaboration with the Liaoning CDC, China, we propose a prediction system to predict the subsequent hospitalization of children with adverse reactions based on data on adverse events following immunization. We extracted multiple features from the data, and selected "hospitalization or not" as the target for classification. Since the data are imbalanced, we used various class-imbalance learning methods for training and improved the RUSBoost algorithm. Experimental results show that the improved RUSBoost has the highest Area Under the ROC Curve on the target among these algorithms. Additionally, we compared these class-imbalance learning methods with some common machine learning algorithms. We combined the improved RUSBoost with dynamic web resource development techniques to build an evaluation system with information entry and vaccination response prediction capabilities for relevant medical practitioners.


title: Visualizing and Understanding Contrastive Learning

abstract: Contrastive learning has revolutionized the field of computer vision, learning rich representations from unlabeled data, which generalize well to diverse vision tasks. Consequently, it has become increasingly important to explain these approaches and understand their inner workings mechanisms. Given that contrastive models are trained with interdependent and interacting inputs and aim to learn invariance through data augmentation, the existing methods for explaining single-image systems (e.g., image classification models) are inadequate as they fail to account for these factors and typically assume independent inputs. Additionally, there is a lack of evaluation metrics designed to assess pairs of explanations, and no analytical studies have been conducted to investigate the effectiveness of different techniques used to explaining contrastive learning. In this work, we design visual explanation methods that contribute towards understanding similarity learning tasks from pairs of images. We further adapt existing metrics, used to evaluate visual explanations of image classification systems, to suit pairs of explanations and evaluate our proposed methods with these metrics. Finally, we present a thorough analysis of visual explainability methods for contrastive learning, establish their correlation with downstream tasks and demonstrate the potential of our approaches to investigate their merits and drawbacks.


title: Guided structure learning of DAGs for count data

abstract: In this paper, we tackle structure learning of Directed Acyclic Graphs (DAGs), with the idea of exploiting available prior knowledge of the domain at hand to guide the search of the best structure. In particular, we assume to know the topological ordering of variables in addition to the given data. We study a new algorithm for learning the structure of DAGs, proving its theoretical consistence in the limit of infinite observations. Furthermore, we experimentally compare the proposed algorithm to a number of popular competitors, in order to study its behavior in finite samples.


title: Square One Bias in NLP: Towards a Multi-Dimensional Exploration of the Research Manifold

abstract: The prototypical NLP experiment trains a standard architecture on labeled English data and optimizes for accuracy, without accounting for other dimensions such as fairness, interpretability, or computational efficiency. We show through a manual classification of recent NLP research papers that this is indeed the case and refer to it as the square one experimental setup. We observe that NLP research often goes beyond the square one setup, e.g, focusing not only on accuracy, but also on fairness or interpretability, but typically only along a single dimension. Most work targeting multilinguality, for example, considers only accuracy; most work on fairness or interpretability considers only English; and so on. We show this through manual classification of recent NLP research papers and ACL Test-of-Time award recipients. Such one-dimensionality of most research means we are only exploring a fraction of the NLP research search space. We provide historical and recent examples of how the square one bias has led researchers to draw false conclusions or make unwise choices, point to promising yet unexplored directions on the research manifold, and make practical recommendations to enable more multi-dimensional research. We open-source the results of our annotations to enable further analysis at https://github.com/google-research/url-nlp


title: Time Gated Convolutional Neural Networks for Crop Classification

abstract: This paper presented a state-of-the-art framework, Time Gated Convolutional Neural Network (TGCNN) that takes advantage of temporal information and gating mechanisms for the crop classification problem. Besides, several vegetation indices were constructed to expand dimensions of input data to take advantage of spectral information. Both spatial (channel-wise) and temporal (step-wise) correlation are considered in TGCNN. Specifically, our preliminary analysis indicates that step-wise information is of greater importance in this data set. Lastly, the gating mechanism helps capture high-order relationship. Our TGCNN solution achieves $0.973$ F1 score, $0.977$ AUC ROC and $0.948$ IoU, respectively. In addition, it outperforms three other benchmarks in different local tasks (Kenya, Brazil and Togo). Overall, our experiments demonstrate that TGCNN is advantageous in this earth observation time series classification task.


title: The Importance of Subcellular Structures to the Modeling of Biological Cells in the Context of Computational Bioelectromagnetics Simulations

abstract: Numerical investigation of the interaction of electromagnetic fields with eukaryotic cells requires specifically adapted computer models. Virtual microdosimetry, used to investigate exposure, requires volumetric cell models, which are numerically challenging. For this reason, a method is presented here to determine the current and power densities occurring in single cells and their distinct compartments in a spatially accurate manner as a first step towards multicellular models within the microstructure of tissue layers. To achieve this, 3D models of the electromagnetic exposure of generic eukaryotic cells of different shape (i.e. spherical and ellipsoidal) and internal complexity (i.e. different organelles) are performed in a virtual, FEM-based capacitor experiment in the frequency range from 10 Hz to 100 GHz. In this context, the spectral response of the current and power distribution within the cell compartments is investigated and any effects that occur are attributed either to the dispersive material properties of these compartments or to the geometric characteristics of the cell model investigated in each case. In these investigations, the cell is represented as an anisotropic body with an internal distributed membrane system of low conductivity that mimics the endoplasmic reticulum in a simplified manner. This will be used to determine which details of the cell interior need to be modeled, how the electric field and the current density will be distributed in this region, and where the electromagnetic energy is absorbed in the microstructure regarding electromagnetic microdosimetry. Results show that for 5G frequencies, membranes make a significant contribution to the absorption losses.


title: Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)

abstract: In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology. To correctly compute answers to queries, it is necessary to perform complex reasoning over the constraints expressed by the ontology. In the literature, there exists a multitude of techniques incorporating the ontological knowledge into queries. However, few of these approaches were designed for comprehensibility of the query answers. In this article, we try to bridge these two qualities by adapting a proof framework originally applied to axiom entailment for conjunctive query answering. We investigate the data and combined complexity of determining the existence of a proof below a given quality threshold, which can be measured in different ways. By distinguishing various parameters such as the shape of a query, we obtain an overview of the complexity of this problem for the lightweight ontology languages DL-Lite_R and EL, and also have a brief look at temporal query answering.


title: An Input-Queueing TSN Switching Architecture to Achieve Zero Packet Loss for Timely Traffic

abstract: Zero packet loss with bounded latency is necessary for many applications, such as industrial control networks, automotive Ethernet, and aircraft communication systems. Traditional networks cannot meet the such strict requirement, and thus Time-Sensitive Networking (TSN) emerges. TSN is a set of standards proposed by IEEE 802 for providing deterministic connectivity in terms of low packet loss, low packet delay variation, and guaranteed packet transport. However, to our knowledge, few existing TSN solutions can deterministically achieve zero packet loss with bounded latency. This paper fills in this blank by proposing a novel input-queueing TSN switching architecture, under which we design a TDMA-like scheduling policy (called M-TDMA) along with a sufficient condition and an EDF-like scheduling policy (called M-EDF) along with a different sufficient condition to achieve zero packet loss with bounded latency.


title: Towards Perspective-Based Specification of Machine Learning-Enabled Systems

abstract: Machine learning (ML) teams often work on a project just to realize the performance of the model is not good enough. Indeed, the success of ML-enabled systems involves aligning data with business problems, translating them into ML tasks, experimenting with algorithms, evaluating models, capturing data from users, among others. Literature has shown that ML-enabled systems are rarely built based on precise specifications for such concerns, leading ML teams to become misaligned due to incorrect assumptions, which may affect the quality of such systems and overall project success. In order to help addressing this issue, this paper describes our work towards a perspective-based approach for specifying ML-enabled systems. The approach involves analyzing a set of 45 ML concerns grouped into five perspectives: objectives, user experience, infrastructure, model, and data. The main contribution of this paper is to provide two new artifacts that can be used to help specifying ML-enabled systems: (i) the perspective-based ML task and concern diagram and (ii) the perspective-based ML specification template.


title: Loss-induced performance limits of all-dielectric metasurfaces for terahertz sensing

abstract: Metasurfaces providing resonances arising from quasi-bound states in the continuum have been proposed as sensors in the THz band due to the existence of strong resonances characterized by high quality factors. Controlling geometrical parameters, the quality factor can be adjusted and, theoretically, designed at will. However, losses in materials critically bound the metasurface performance and limit the quality factor of the resonances. For this reason, all-dielectric metasurfaces have been proposed as an alternative to metal-dielectric structures to reduce losses and achieve extreme functionalities. When implemented by low-loss materials, these structures are usually considered lossless and proposed as ultrasensitive sensors in the THz band. In this paper, we examine the effect of losses in all-dielectric metasurfaces considering realistic materials and study the limitations in the quality factor. In addition, we compare the performance of these structures as sensors with a nanostructure supporting extraordinary optical transmission. Our results show that material loss, even in low-loss materials, severely limits the sensing performance in all-dielectric metasurfaces, and that their performance can be surpassed by structures supporting extraordinary optical transmission.


title: A Systematic Mapping Study Addressing the Reliability of Mobile Applications: The Need to Move Beyond Testing Reliability

abstract: Intense competition in the mobile apps market means it is important to maintain high levels of app reliability to avoid losing users. Yet despite its importance, app reliability is underexplored in the research literature. To address this need, we identify, analyse, and classify the state-of-the-art in the field of mobile apps' reliability through a systematic mapping study. From the results of such a study, researchers in the field can identify pressing research gaps, and developers can gain knowledge about existing solutions, to potentially leverage them in practice. We found 87 relevant papers which were then analysed and classified based on their research focus, research type, contribution, research method, study settings, data, quality attributes and metrics used. Results indicate that there is a lack of research on understanding reliability with regard to context-awareness, self-healing, ageing and rejuvenation, and runtime event handling. These aspects have rarely been studied, or if studied, there is limited evaluation. We also identified several other research gaps including the need to conduct more research in real-world industrial projects. Furthermore, little attention has been paid towards quality standards while conducting research. Outcomes here show numerous opportunities for greater research depth and breadth on mobile app reliability.


title: Singularity-free treatment of delta-function point scatterers in two dimensions and its conceptual implications

abstract: In two dimensions, the standard treatment of the scattering problem for a delta-function potential, $v(\mathbf{r})=\mathfrak{z}\,\delta(\mathbf{r})$, leads to a logarithmic singularity which is subsequently removed by a renormalization of the coupling constant $\mathfrak{z}$. Recently, we have developed a dynamical formulation of stationary scattering (DFSS) which offers a singularity-free treatment of this potential. We elucidate the basic mechanism responsible for the implicit regularization property of DFSS that makes it avoid the logarithmic singularity one encounters in the standard approach to this problem. We provide an alternative interpretation of this singularity showing that it arises, because the standard treatment of the problem takes into account contributions to the scattered wave whose momentum is parallel to the detectors' screen. The renormalization schemes used for removing this singularity has the effect of subtracting these unphysical contributions, while DFSS has a built-in mechanics that achieves this goal.


title: On some building blocks of hypergraphs

abstract: In this study, we explore the interrelation between hypergraph symmetries represented by equivalence relations on the vertex set and the spectra of operators associated with the hypergraph. We introduce the idea of equivalence relation compatible operators related to hypergraphs. Some eigenvalues and the corresponding eigenvectors can be computed directly from the equivalence classes of the equivalence relation. The other eigenvalues can be computed from a quotient operator obtained by identifying each equivalence class as an element. We provide an equivalence relation $\mf{R}_s$ on the vertex set of a hypergraph such that the Adjacency, Laplacian, and signless Laplacian operators associated with that hypergraph become $\mf{R}_s$-compatible. The $\mf{R}_s$-equivalence classes are named as units. Using units, we find some more symmetric substructures of hypergraphs called twin units, regular sets, co-regular sets, and symmetric sets. We collectively classify them as building blocks of hypergraphs. We show that the presence of these building blocks leaves certain traces in the spectrum and the corresponding eigenspaces of the $\mf{R}_s$-compatible operators associated with the hypergraph. We also show that, conversely, some specific footprints in the spectrum and the corresponding eigenvectors retrace the presence of some of these building blocks in the hypergraph. Besides the spectra of $\mf{R}_s$-compatible operators, building blocks are also interrelated with hypergraph colouring, distances in hypergraphs, hypergraph automorphisms, and random walks on hypergraphs.


title: Bilingual by default: Voice Assistants and the role of code-switching in creating a bilingual user experience

abstract: Conversational User Interfaces such as Voice Assistants are hugely popular. Yet they are designed to be monolingual by default, lacking support for, or sensitivity to, the bilingual dialogue experience. In this provocation paper, we highlight the language production challenges faced in VA interaction for bilingual users. We argue that, by facilitating phenomena seen in bilingual interaction, such as code-switching, we can foster a more inclusive and improved user experience for bilingual users. We also explore ways that this might be achieved, through the support of multiple language recognition as well as being sensitive to the preferences of code-switching in speech output.


title: Quantitative CT texture-based method to predict diagnosis and prognosis of fibrosing interstitial lung disease patterns

abstract: Purpose: To utilize high-resolution quantitative CT (QCT) imaging features for prediction of diagnosis and prognosis in fibrosing interstitial lung diseases (ILD). Approach: 40 ILD patients (20 usual interstitial pneumonia (UIP), 20 non-UIP pattern ILD) were classified by expert consensus of 2 radiologists and followed for 7 years. Clinical variables were recorded. Following segmentation of the lung field, a total of 26 texture features were extracted using a lattice-based approach (TM model). The TM model was compared with previously histogram-based model (HM) for their abilities to classify UIP vs non-UIP. For prognostic assessment, survival analysis was performed comparing the expert diagnostic labels versus TM metrics. Results: In the classification analysis, the TM model outperformed the HM method with AUC of 0.70. While survival curves of UIP vs non-UIP expert labels in Cox regression analysis were not statistically different, TM QCT features allowed statistically significant partition of the cohort. Conclusions: TM model outperformed HM model in distinguishing UIP from non-UIP patterns. Most importantly, TM allows for partitioning of the cohort into distinct survival groups, whereas expert UIP vs non-UIP labeling does not. QCT TM models may improve diagnosis of ILD and offer more accurate prognostication, better guiding patient management.


title: Note on complex metrics, complex time and periodic universes

abstract: Motivated on the one hand by recent results on isochronous dynamical systems, and on the other by quantum gravity applications of complex metrics, we show that, if such enlarged class of metrics is considered, one can easily obtain periodic or bouncing complex solutions of Einstein's equations. It is found that, for any given solution $g_{\mu\nu}$ of the Einstein's equations, by means of a complex change of time, one can construct infinitely many periodic or bouncing complex solutions $\hat g_{\mu\nu}$ that are physically indistinguishable from $g_{\mu\nu}$ over an arbitrarily long time interval. These results, that are based on the use of complex diffeomorphisms, point out an unacceptable arbitrariness in the theory. As we will show, a condition on the class of physically meaningful complex metrics proposed in [M. Kontsevich and G. B. Segal, Q. J. Math. 72, 673 (2021)] and discussed in [E. Witten, arXiv:2111.06514] solves this problem, restricting the family of admissible complex diffeomorphisms. We conclude arguing that this condition can be viewed as a quantum-gravity generalization of the equivalence principle to complex space-times.


title: Rigidity of non-compact static domains in hyperbolic space via positive mass theorems

abstract: We single out a notion of staticity which applies to any domain in hyperbolic space whose boundary is a non-compact totally umbilical hypersurface. For (time-symmetric) initial data sets modeled at infinity on any of these latter examples, we formulate and prove a positive mass theorem in the spin category under natural dominant energy conditions (both in the interior and along the boundary) whose rigidity statement retrieves, among other things, a sharper version of a recent result by Souam to the effect that no such hypersurface admits a compactly supported deformation keeping the original lower bound on the mean curvature. A key ingredient in our approach is the consideration of a family of elliptic boundary conditions on spinors interpolating between chirality and MIT bag boundary conditions.


title: Test-time image-to-image translation ensembling improves out-of-distribution generalization in histopathology

abstract: Histopathology whole slide images (WSIs) can reveal significant inter-hospital variability such as illumination, color or optical artifacts. These variations, caused by the use of different scanning protocols across medical centers (staining, scanner), can strongly harm algorithms generalization on unseen protocols. This motivates development of new methods to limit such drop of performances. In this paper, to enhance robustness on unseen target protocols, we propose a new test-time data augmentation based on multi domain image-to-image translation. It allows to project images from unseen protocol into each source domain before classifying them and ensembling the predictions. This test-time augmentation method results in a significant boost of performances for domain generalization. To demonstrate its effectiveness, our method has been evaluated on 2 different histopathology tasks where it outperforms conventional domain generalization, standard H&E specific color augmentation/normalization and standard test-time augmentation techniques. Our code is publicly available at https://gitlab.com/vitadx/articles/test-time-i2i-translation-ensembling.


title: Real-time Full-stack Traffic Scene Perception for Autonomous Driving with Roadside Cameras

abstract: We propose a novel and pragmatic framework for traffic scene perception with roadside cameras. The proposed framework covers a full-stack of roadside perception pipeline for infrastructure-assisted autonomous driving, including object detection, object localization, object tracking, and multi-camera information fusion. Unlike previous vision-based perception frameworks rely upon depth offset or 3D annotation at training, we adopt a modular decoupling design and introduce a landmark-based 3D localization method, where the detection and localization can be well decoupled so that the model can be easily trained based on only 2D annotations. The proposed framework applies to either optical or thermal cameras with pinhole or fish-eye lenses. Our framework is deployed at a two-lane roundabout located at Ellsworth Rd. and State St., Ann Arbor, MI, USA, providing 7x24 real-time traffic flow monitoring and high-precision vehicle trajectory extraction. The whole system runs efficiently on a low-power edge computing device with all-component end-to-end delay of less than 20ms.


title: Boundary behavior of Robin problems in non-smooth domains

abstract: We analyze strict positivity at the boundary for nonnegative solutions of Robin problems in general (non-smooth) domains, e.g. open sets with rectifiable topological boundaries having finite Hausdorff measure. This question was raised by Bass, Burdzy and Chen in 2008 for harmonic functions, in a probabilistic context. We give geometric conditions such that the solutions of Robin problems associated to general elliptic operators of $p$-Laplacian type, with a positive right hand side, are globally or locally bounded away from zero at the boundary. Our method, of variational type, relies on the analysis of an isoperimetric profile of the set and provides quantitative estimates as well.


title: An Agent-Based Model With Realistic Financial Time Series: A Method for Agent-Based Models Validation

abstract: This paper proposes a methodology to empirically validate an agent-based model (ABM) that generates artificial financial time series data comparable with real-world financial data. The approach is based on comparing the results of the ABM against the stylised facts -- the statistical properties of the empirical time-series of financial data. The stylised facts appear to be universal and are observed across different markets, financial instruments and time periods, hence they can serve to validate models of financial markets. If a given model does not consistently replicate these stylised facts, then we can reject it as being empirically inadequate. We discuss each stylised fact, the empirical evidence for it, and introduce appropriate metrics for testing the presence of these in model generated data. Moreover we investigate the ability of our model to correctly reproduce these stylised facts. We validate our model against a comprehensive list of empirical phenomena that qualify as a stylised fact, of both low and high frequency financial data that can be addressed by means of a relatively simple ABM of financial markets. This procedure is able to show whether the model, as an abstraction of reality, has a meaningful empirical counterpart and the significance of this analysis for the purposes of ABM validation and their empirical reliability.


title: Sufficient Conditions for the Joined Set of Solutions of the Overdetermined Interval System of Linear Algebraic Equations Membership to Only One Orthant

abstract: Interval systems of linear algebraic equations (ISLAE) are considered in the context of constructing of linear models according to data with interval uncertainty. Sufficient conditions for boundedness and convexity of an admissible domain (AD) of ISLAE and its belonging to only one orthant of an $n$-dimensional space are proposed, which can be verified in polynomial time by the methods of computational linear algebra. In this case, AD ISLAE turns out to be a convex bounded polyhedron, entirely lying in the corresponding ortant. These properties of AD ISLAE allow, firstly, to find solutions to the corresponding ISLAE in polynomial time by linear programming methods (while finding a solution to ISLAE of a general form is an NP-hard problem). Secondly, the coefficients of the linear model obtained by solving the corresponding ISLAE have an analogue of the significance property of the coefficient of the linear model, since the coefficients of the linear model do not change their sign within the limits of the AD. The formulation and proof of the corresponding theorem are presented. The error estimation and convergence of an arbitrary solution of ISLAE to the normal solution of a hypothetical exact system of linear algebraic equations are also investigated. An illustrative numerical example is given.


title: Improving Triplet-Based Channel Charting on Distributed Massive MIMO Measurements

abstract: The objective of channel charting is to learn a virtual map of the radio environment from high-dimensional CSI that is acquired by a multi-antenna wireless system. Since, in static environments, CSI is a function of the transmitter location, a mapping from CSI to channel chart coordinates can be learned in a self-supervised manner using dimensionality reduction techniques. The state-of-the-art triplet-based approach is evaluated on multiple datasets measured by a distributed massive MIMO channel sounder, with both co-located and distributed antenna setups. The importance of suitable triplet selection is investigated by comparing results to channel charts learned from a genie-aided triplet generator and learned from triplets on simulated trajectories through measured data. Finally, the transferability of learned forward charting functions to similar, but different radio environments is explored.


title: Finite-group gauge theories on lattices as Hamiltonian systems with constraints

abstract: In this work, we present a brief but insightful overview of the gauge theories, which are defined on $ n $-dimensional lattices by using finite gauge groups, in order to show how they can be interpreted as a Hamiltonian system with constraints, analogous to what happens with the classical (continuous) gauge (field) theories. As this interpretation is not usually explored in the literature that discusses/introduces the concept of lattice gauge theory, but some recent works have been exploring Hamiltonian models in order to support some kind of quantum computation, we use this interpretation to, for example, present a brief geometric view of one class of these models: the Kitaev Quantum Double Models.


title: Magneto-tunable terahertz absorption in single-layer graphene: A general approach

abstract: Terahertz (THz) anisotropic absorption in graphene could be significantly modified upon applying a static magnetic field on its ultra-fast 2D Dirac electrons. In general, by deriving the generalized Fresnel coefficients for monolayer graphene under applied magnetic field, relatively high anisotropic absorption for the incoming linearly polarized light with specific scattering angles could be achieved. We also prove that the light absorption of monolayer graphene corresponds well to its surface optical conductivity in the presence of a static magnetic field. Moreover, the temperature-dependent conductivity of graphene makes it possible to show that a step by step absorption feature would emerge at very low temperatures. We believe that these properties may be considered to be used in novel graphene-based THz application.


title: Actively learning to learn causal relationships

abstract: How do people actively learn to learn? That is, how and when do people choose actions that facilitate long-term learning and choosing future actions that are more informative? We explore these questions in the domain of active causal learning. We propose a hierarchical Bayesian model that goes beyond past models by predicting that people pursue information not only about the causal relationship at hand but also about causal overhypotheses$\unicode{x2014}$abstract beliefs about causal relationships that span multiple situations and constrain how we learn the specifics in each situation. In two active "blicket detector" experiments with 14 between-subjects manipulations, our model was supported by both qualitative trends in participant behavior and an individual-differences-based model comparison. Our results suggest when there are abstract similarities across active causal learning problems, people readily learn and transfer overhypotheses about these similarities. Moreover, people exploit these overhypotheses to facilitate long-term active learning.


title: Realizing Galois representations in abelian varieties by specialization

abstract: We give some positive answers to the following problem: Given a field $K$ and a continuous Galois representation $\rho:G_K \to GL_n(\mathbf{Q})$, construct an abelian variety $J/K$ of small dimension such that $\rho$ is a sub-representation of the natural $G_K$-representation on $J(\bar{K}) \otimes_{\mathbf{Z}} \mathbf{Q}$. We prove that if $K$ is Hilbertian of characteristic different from $2$, then for any sufficiently large integer $g$ (depending on $\rho$) we can find infinitely many absolutely simple $g$-dimensional abelian varieties which realize $\rho$. We outline also a method of twisting a given symmetric construction of curves with many rational points to instead produce curves with closed points of large degree, and in this context we give a unified treatment of constructions of Mestre--Shioda and Liu--Lorenzini. The main results are obtained by applying a natural generalization of N\'eron's Specialization Theorem.


title: The Story of $1/e$: ALOHA-based and Reinforcement-Learning-based Random Access for Delay-Constrained Communications

abstract: Motivated by the proliferation of real-time applications in multimedia communication systems, tactile Internet, and cyber-physical systems, supporting delay-constrained traffic becomes critical for such systems. In delay-constrained traffic, each packet has a hard deadline; when it is not delivered before its deadline is up, it becomes useless and will be removed from the system. In this work, we focus on designing random access schemes for delay-constrained wireless communications. We first investigate three ALOHA-based schemes and prove that the system timely throughput of all three schemes under corresponding optimal transmission probabilities asymptotically converges to $1/e$, same as the well-known throughput limit for delay-unconstrained ALOHA systems. The fundamental reason why ALOHA-based schemes cannot achieve asymptotical system timely throughput beyond $1/e$ is that all active ALOHA stations access the channel with the same probability in any slot. To go beyond $1/e$, we propose a reinforcement-learning-based scheme for delay-constrained wireless communications, called RLRA-DC, under which different stations collaboratively attain different transmission probabilities by only interacting with the access point. Our numerical result shows that the system timely throughput of RLRA-DC can be as high as 0.8 for tens of stations and can still reach 0.6 even for thousands of stations, much larger than $1/e$.


title: Cosmic-ray-induced H$_2$ line emission: Astrochemical modeling and implications for JWST observations

abstract: Context: It has been proposed that H$_2$ near-infrared lines may be excited by cosmic rays and allow for a determination of the cosmic-ray ionization rate in dense gas. One-dimensional models show that measuring both the H$_2$ gas column density and H$_2$ line intensity enables a constraint on the cosmic-ray ionization rate as well as the spectral slope of low-energy cosmic-ray protons in the interstellar medium (ISM). Aims: We aim to investigate the impact of certain assumptions regarding the H$_2$ chemical models and ISM density distributions on the emission of cosmic-ray induced H$_2$ emission lines. This is of particular importance for utilizing observations of these lines with the James Webb Space Telescope to constrain the cosmic-ray ionization rate. Methods: We compare the predicted emission from cosmic-ray induced, ro-vibrationally excited H$_2$ emission lines for different one- and three-dimensional models with varying assumptions on the gas chemistry and density distribution. Results: We find that the model predictions of the H$_2$ line intensities for the (1-0)S(0), (1-0)Q(2), (1-0)O(2) and (1-0)O(4) transitions at 2.22, 2.41, 2.63 and 3.00 $\mu$m, respectively, are relatively independent of the astro-chemical model and the gas density distribution when compared against the H$_2$ column density, making them robust tracer of the cosmic-ray ionization rate. Conclusions: We recommend the use of ro-vibrational H$_2$ line emission in combination with estimation of the cloud's H$_2$ column density, to constrain the ionization rate and the spectrum of low energy cosmic-rays.


title: Mobility estimation for Langevin dynamics using control variates

abstract: The scaling of the mobility of two-dimensional Langevin dynamics in a periodic potential as the friction vanishes is not well understood for non-separable potentials. Theoretical results are lacking, and numerical calculation of the mobility in the underdamped regime is challenging because the computational cost of standard Monte Carlo methods is inversely proportional to the friction coefficient, while deterministic methods are ill-conditioned. In this work, we propose a new variance-reduction method based on control variates for efficiently estimating the mobility of Langevin-type dynamics. We provide bounds on the bias and variance of the proposed estimator, and illustrate its efficacy through numerical experiments, first in simple one-dimensional settings and then for two-dimensional Langevin dynamics. Our results corroborate previous numerical evidence on the scaling of the mobility in the low friction regime for a simple non-separable potential.

categories: math-ph cond-mat.stat-mech cs.NA math.MP math.NA


title: Entanglement-Assisted and Subsystem Quantum Codes: New Propagation Rules and Constructions

abstract: This paper proposes new propagation rules on quantum codes in the entanglement-assisted and in quantum subsystem scenarios. The rules lead to new families of such quantum codes whose parameters are demonstrably optimal. To obtain the results, we devise tools to puncture and shorten codes in ways that ensure their Hermitian hulls have certain desirable properties. More specifically, we give a general framework to construct $k$-dimensional generalized Reed-Solomon codes whose Hermitian hulls are $(k-1)$-dimensional maximum distance separable codes.


title: Boosting Cross-Domain Speech Recognition with Self-Supervision

abstract: The cross-domain performance of automatic speech recognition (ASR) could be severely hampered due to the mismatch between training and testing distributions. Since the target domain usually lacks labeled data, and domain shifts exist at acoustic and linguistic levels, it is challenging to perform unsupervised domain adaptation (UDA) for ASR. Previous work has shown that self-supervised learning (SSL) or pseudo-labeling (PL) is effective in UDA by exploiting the self-supervisions of unlabeled data. However, these self-supervisions also face performance degradation in mismatched domain distributions, which previous work fails to address. This work presents a systematic UDA framework to fully utilize the unlabeled data with self-supervision in the pre-training and fine-tuning paradigm. On the one hand, we apply continued pre-training and data replay techniques to mitigate the domain mismatch of the SSL pre-trained model. On the other hand, we propose a domain-adaptive fine-tuning approach based on the PL technique with three unique modifications: Firstly, we design a dual-branch PL method to decrease the sensitivity to the erroneous pseudo-labels; Secondly, we devise an uncertainty-aware confidence filtering strategy to improve pseudo-label correctness; Thirdly, we introduce a two-step PL approach to incorporate target domain linguistic knowledge, thus generating more accurate target domain pseudo-labels. Experimental results on various cross-domain scenarios demonstrate that the proposed approach effectively boosts the cross-domain performance and significantly outperforms previous approaches.


title: Extending Resource Monotones using Kan Extensions

abstract: In this paper we generalize the framework proposed by Gour and Tomamichel regarding extensions of monotones for resource theories. A monotone for a resource theory assigns a real number to each resource in the theory signifying the utility or the value of the resource. Gour and Tomamichel studied the problem of extending monotones using set-theoretical framework when a resource theory embeds fully and faithfully into the larger theory. One can generalize the problem of computing monotone extensions to scenarios when there exists a functorial transformation of one resource theory to another instead of just a full and faithful inclusion. In this article, we show that (point-wise) Kan extensions provide a precise categorical framework to describe and compute such extensions of monotones. To set up monotone extensions using Kan extensions, we introduce partitioned categories (pCat)as a framework for resource theories and pCat functors to formalize relationship between resource theories. We describe monotones as pCat functors into the preorder of non-negative real numbers, and describe extending monotones along any pCat functor using Kan extensions. We show how our framework works by applying it to extend entanglement monotones for bipartite pure states to bipartite mixed states, to extend classical divergences to the quantum setting, and to extend a non-uniformity monotone from classical probabilistic theory to quantum theory.


title: Realizing an entanglement-based multi-user quantum network with integrated photonics

abstract: Quantum network facilitates the secure transmission of information between different users. Establishing communication links among multiple users in a scalable and efficient way is important for realizing a large-scale quantum network. Here we develop an energy-time entanglement-based dense wavelength division multiplexed network based on an integrated silicon nitride micro-ring resonator, which offers a wide frequency span (covering at least the entire C-band) and narrow bandwidth modes (~ 650MHz). Six pairs of photons are selected to form a fully and simultaneously connected four-user quantum network. The observed quantum interference visibilities are well above the classical limits among all users. Each pair of users perform the BBM92 protocol for quantum key distribution. Our results pave the way for realizing large-scale quantum networks with integrated photonic architecture.


title: Importance of the deuteron breakup in the deuteron knockout reaction

abstract: An isoscalar $pn$ pair is expected to emerge in nuclei that have similar proton and neutron numbers and it may be a candidate for a deuteron ``cluster.'' There is, however, no experimental evidence for it. The purpose of this paper is to construct a new reaction model for the ($p,pd$) reaction including the deuteron breakup in the elementary process and the deuteron reformation by the final-state interactions (FSIs). How these processes contribute to the observables of the reaction is investigated. The distorted wave impulse approximation is extended in twofold. The elementary processes of the ($p,pd$), i.e., the $p$-$d$ elastic scattering and $d(p,p)pn$ reaction, are described with an impulse picture employing a nucleon-nucleon effective interaction. The three-body scattering waves in the final state of the ($p,pd$) reaction are calculated with the continuum-discretized coupled-channels method. The triple differential cross section (TDX) of the ($p,pd$) reaction is calculated with the new model. The elementary processes are described reasonably well with the present model. As for the ($p,pd$) reaction, the deuteron reformation can either increase or decrease the TDX height depending on the interference between the elastic and breakup channel of deuteron, while the \textit{back-coupling} effect always decreases it. It is shown that the deuteron reformation significantly changes the TDX of the ($p,pd$) reaction through the interference. It is important to include this process to quantitatively discuss the ($p,pd$) cross sections in view of the deuteron formation in nuclei. For more quantitative discussion regarding the experimental data, further improvement will be necessary.


title: Progress in Mathematical Programming Solvers from 2001 to 2020

abstract: This study investigates the progress made in LP and MILP solver performance during the last two decades by comparing the solver software from the beginning of the millennium with the codes available today. On average, we found out that for solving LP/MILP, computer hardware got about 20 times faster, and the algorithms improved by a factor of about nine for LP and around 50 for MILP, which gives a total speed-up of about 180 and 1,000 times, respectively. However, these numbers have a very high variance and they considerably underestimate the progress made on the algorithmic side: many problem instances can nowadays be solved within seconds, which the old codes are not able to solve within any reasonable time.


title: Galilean and Carrollian Hodge star operators

abstract: The standard Hodge star operator is naturally associated with metric tensor (and orientation). It is routinely used to concisely write down physics equations on, say, Lorentzian spacetimes. On Galilean (Carrollian) spacetimes, there is no canonical (nonsingular) metric tensor available. So, the usual construction of the Hodge star does not work. Here we propose analogs of the Hodge star operator on Galilean (Carrollian) spacetimes. They may be used to write down important physics equations, e.g. equations of Galilean (Carrollian) electrodynamics.


title: Origin of frictional scaling law in circular twist layered interfaces: simulations and theory

abstract: Structural superlubricity based on twisted layered materials has stimulated great research interests. Recent MD simulations show that the circular twisted bilayer graphene (tBLG) presenting a size scaling of friction with strong Moir\'e-level oscillations. To reveal the physical origin of observed abnormal scaling, we proposed a theoretical formula and derived the analytic expression of frictional size scaling law of tBLG. The predicted twist angle dependent scaling law agrees well with MD simulations and provides a rationalizing explanation for the scattered power scaling law measured in various experiments. Finally, we show clear evidence that the origin of the scaling law comes from the Moir\'e boundary, that is, the remaining part of the twisted layered interfaces after deleting the internal complete Moir\'e supercells. Our work provides new physical insights into the friction origin of layered materials and highlights the importance of accounting for Moir\'e boundary in the thermodynamic models of layered materials.


title: The Makerere Radio Speech Corpus: A Luganda Radio Corpus for Automatic Speech Recognition

abstract: Building a usable radio monitoring automatic speech recognition (ASR) system is a challenging task for under-resourced languages and yet this is paramount in societies where radio is the main medium of public communication and discussions. Initial efforts by the United Nations in Uganda have proved how understanding the perceptions of rural people who are excluded from social media is important in national planning. However, these efforts are being challenged by the absence of transcribed speech datasets. In this paper, The Makerere Artificial Intelligence research lab releases a Luganda radio speech corpus of 155 hours. To our knowledge, this is the first publicly available radio dataset in sub-Saharan Africa. The paper describes the development of the voice corpus and presents baseline Luganda ASR performance results using Coqui STT toolkit, an open source speech recognition toolkit.


title: Time fractional exact controllability

abstract: Our purpose is to adapt the Hilbert Uniqueness Method by J.-L. Lions in the case of fractional diffusion-wave equations. The main difficulty is to determine the right shape for the adjoint system, suitable for the procedure of HUM.


title: Degenerations of Negative K\"ahler-Einstein Surfaces

abstract: Every compact K\"ahler manifold with negative first Chern class admits a unique metric $g$ such that $\text{Ric}(g) = -g$. Understanding how families of these metrics degenerate gives insight into their geometry and is important for understanding the compactification of the moduli space of negative K\"ahler-Einstein metrics. I study a special class of such families in complex dimension two. Following the work of Sun and Zhang (2019) in the Calabi-Yau case, I construct a K\"ahler-Einstein neck region interpolating between canonical metrics on components of the central fiber. This provides a model for the limiting geometry of metrics in the family.


title: Consensus ADMM-Based Distributed Simultaneous Imaging & Communication

abstract: This paper takes the first steps toward enabling wireless networks to perform both imaging and communication in a distributed manner. We propose Distributed Simultaneous Imaging and Symbol Detection (DSISD), a provably convergent distributed simultaneous imaging and communication scheme based on the alternating direction method of multipliers. We show that DSISD achieves similar imaging and communication performance as centralized schemes, with order-wise reduction in computational complexity. We evaluate the performance of DSISD via 2.4 GHz Wi-Fi simulations.


title: Global existence for reaction-diffusion systems on multiple domains

abstract: We study the global existence of solutions reaction-diffusion systems with control of mass on multiple domains. Some of these domains overlap, and as a result, an unknown defined on one subdomain can impact another unknown defined on a different domain that intersects with the first. Our results extend those in \cite{fmty}.


title: A Note on Hodge-Tate Spectral Sequences

abstract: We prove that the Hodge-Tate spectral sequence of a proper smooth rigid analytic variety can be reconstructed from its infinitesimal $\mathbb{B}_{\text{dR}}^+$-cohomology through the Bialynicki-Birula map. A refinement of the decalage functor $L\eta$ is introduced to accomplish the proof. Further, we give a new proof of the torsion-freeness of the infinitesimal $\mathbb{B}_{\text{dR}}^+$-cohomology independent of Conrad-Gabber spreading theorem, and a conceptual explanation that the degeneration of Hodge-Tate spectral sequences is equivalent to that of Hodge-de Rham spectral sequences.


title: Knowledge Distillation for Oriented Object Detection on Aerial Images

abstract: Deep convolutional neural network with increased number of parameters has achieved improved precision in task of object detection on natural images, where objects of interests are annotated with horizontal boundary boxes. On aerial images captured from the bird-view perspective, these improvements on model architecture and deeper convolutional layers can also boost the performance on oriented object detection task. However, it is hard to directly apply those state-of-the-art object detectors on the devices with limited computation resources, which necessitates lightweight models through model compression. In order to address this issue, we present a model compression method for rotated object detection on aerial images by knowledge distillation, namely KD-RNet. With a well-trained teacher oriented object detector with a large number of parameters, the obtained object category and location information are both transferred to a compact student network in KD-RNet by collaborative training strategy. Transferring the category information is achieved by knowledge distillation on predicted probability distribution, and a soft regression loss is adopted for handling displacement in location information transfer. The experimental result on a large-scale aerial object detection dataset (DOTA) demonstrates that the proposed KD-RNet model can achieve improved mean-average precision (mAP) with reduced number of parameters, at the same time, KD-RNet boost the performance on providing high quality detections with higher overlap with groundtruth annotations.


title: The stringor bundle

abstract: We set up a framework of 2-Hilbert bundles, which allows to rigorously define the "stringor bundle", a higher differential geometric object anticipated by Stolz and Teichner in an unpublished preprint about 20 years ago. Our framework includes an associated bundle construction, allowing us to associate a 2-Hilbert bundle with a principal 2-bundle and a unitary representation of its structure 2-group. We prove that the Stolz-Teichner stringor bundle is canonically isomorphic to the 2-Hilbert bundle obtained from applying our associated bundle construction to a string structure on a manifold and the stringor representation of the string 2-group that we discovered in earlier work. This establishes a perfect analogy to spin manifolds, representations of the spin groups, and spinor bundles.


title: Using Sum-Product Networks to Assess Uncertainty in Deep Active Learning

abstract: The success of deep active learning hinges on the choice of an effective acquisition function, which ranks not yet labeled data points according to their expected informativeness. Many acquisition functions are (partly) based on the uncertainty that the current model has about the class label of a point, yet there is no generally agreed upon strategy for computing such uncertainty. This paper proposes a new and very simple approach to computing uncertainty in deep active learning with a Convolutional Neural Network (CNN). The main idea is to use the feature representation extracted by the CNN as data for training a Sum-Product Network (SPN). Since SPNs are typically used for estimating the distribution of a dataset, they are well suited to the task of estimating class probabilities that can be used directly by standard acquisition functions such as max entropy and variational ratio. The effectiveness of our method is demonstrated in an experimental study on several standard benchmark datasets for image classification, where we compare it to various state-of-the-art methods for assessing uncertainty in deep active learning.


title: Unified approach to the nonlinear Rabi models

abstract: An analytical approach is proposed to study the two-photon, two-mode and intensity-dependent Rabi models. By virtue of the su(1,1) Lie algebra, all of them can be unified to the same Hamiltonian with $\mathcal{Z}_2$ symmetry. There exist exact isolated solutions, which are located at the level crossings between different parities and correspond to eigenstates with finite dimension. Beyond the exact isolated solutions, the regular spectrum can be achieved by finding the roots of the G-function. The corresponding eigenstates are of infinite dimension. It is noteworthy that the expansion coefficients of the eigenstates present an exponential decay behavior. The decay rate decreases with increasing coupling strength. When the coupling strength tends to the spectral collapse point $g \rightarrow \omega / 2$, the decay rate tends to zero which prevents the convergence of the wave functions. This work paves a way for the analysis of novel physics in nonlinear quantum optics.


title: Statistical Inference for Large-dimensional Tensor Factor Model by Iterative Projections

abstract: Tensor Factor Models (TFM) are appealing dimension reduction tools for high-order large-dimensional tensor time series, and have wide applications in economics, finance and medical imaging. In this paper, we propose a projection estimator for the Tucker-decomposition based TFM, and provide its least-square interpretation which parallels to the least-square interpretation of the Principal Component Analysis (PCA) for the vector factor model. The projection technique simultaneously reduces the dimensionality of the signal component and the magnitudes of the idiosyncratic component tensor, thus leading to an increase of the signal-to-noise ratio. We derive a convergence rate of the projection estimator of the loadings and the common factor tensor which are faster than that of the naive PCA-based estimator. Our results are obtained under mild conditions which allow the idiosyncratic components to be weakly cross- and auto- correlated. We also provide a novel iterative procedure based on the eigenvalue-ratio principle to determine the factor numbers. Extensive numerical studies are conducted to investigate the empirical performance of the proposed projection estimators relative to the state-of-the-art ones.


title: The Hasse invariant of the Tate normal form $E_7$ and the supersingular polynomial for the Fricke group $\Gamma_0^*(7)$

abstract: A formula is proved for the number of linear factors and irreducible cubic factors over $\mathbb{F}_l$ of the Hasse invariant $\hat H_{7,l}(a)$ of the Tate normal form $E_7(a)$ for a point of order $7$, as a polynomial in the parameter $a$, in terms of the class number of the imaginary quadratic field $K=\mathbb{Q}(\sqrt{-l})$. Conjectural formulas are stated for the numbers of quadratic and sextic factors of $\hat H_{7,l}(a)$ of certain specific forms in terms of the class number of $\mathbb{Q}(\sqrt{-7l})$, which are shown to imply a recent conjecture of Nakaya on the number of linear factors over $\mathbb{F}_l$ of the supersingular polynomial $ss_l^{(7*)}(X)$ corresponding to the Fricke group $\Gamma_0^*(7)$.


title: Proposal and Analysis of the Experiment for the Precise Measurement of the Muon Lifetime and the Fermi Constant

abstract: An experiment is proposed for a record-breaking measurement of the world Fermi constant during the decay of a positive muon. Using the GEANT programs, an analysis of all systematic errors was performed. It is shown that the experimental accuracy of the muon lifetime and the Fermi constant can be improved by a factor of five.


title: Eigenvalues restricted by Lyapunov exponent of eigenstates

abstract: We point out that the Lyapunov exponent of the eigenstate places restrictions on the eigenvalue. Consequently, with regard to non-Hermitian systems, even without any symmetry, the non-conservative Hamiltonians can exhibit real spectra as long as Lyapunov exponents of eigenstates inhibit imaginary parts of eigenvalues. Our findings open up a new route to study non-Hermitian physics.

categories: quant-ph cond-mat.dis-nn math-ph math.MP


title: The cap set problem: Up to dimension 7

abstract: An s-cap n-flat is given by a set of s points, no three of which are on a common line, in an n-dimensional affine space over the field of three elements. The cap set problem in dimension n is: what is the maximum s such that there is an s-cap n-flat? The first two papers in this series of articles considered the cap set problem in dimensions up to and including 5. In this paper, which is the third in the series, we consider dimensions 6 and 7: we prove that every 110-cap 6-flat is a 112-cap 6-flat minus two cap points, and that there are no 289-cap 7-flats.


title: Asymptotic Preserving Discontinuous Galerkin Methods for a Linear Boltzmann Semiconductor Model

abstract: A key property of the linear Boltzmann semiconductor model is that as the collision frequency tends to infinity, the phase space density $f = f(x,v,t)$ converges to an isotropic function $M(v)\rho(x,t)$, called the drift-diffusion limit, where $M$ is a Maxwellian and the physical density $\rho$ satisfies a second-order parabolic PDE known as the drift-diffusion equation. Numerical approximations that mirror this property are said to be asymptotic preserving. In this paper we build two discontinuous Galerkin methods to the semiconductor model: one with the standard upwinding flux and the other with a $\varepsilon$-scaled Lax-Friedrichs flux, where 1/$\varepsilon$ is the scale of the collision frequency. We show that these schemes are uniformly stable in $\varepsilon$ and are asymptotic preserving. In particular, we discuss what properties the discrete Maxwellian must satisfy in order for the schemes to converge in $\varepsilon$ to an accurate $h$-approximation of the drift diffusion limit. Discrete versions of the drift-diffusion equation and error estimates in several norms with respect to $\varepsilon$ and the spacial resolution are also included.


title: Self-Supervised Consistent Quantization for Fully Unsupervised Image Retrieval

abstract: Unsupervised image retrieval aims to learn an efficient retrieval system without expensive data annotations, but most existing methods rely heavily on handcrafted feature descriptors or pre-trained feature extractors. To minimize human supervision, recent advance proposes deep fully unsupervised image retrieval aiming at training a deep model from scratch to jointly optimize visual features and quantization codes. However, existing approach mainly focuses on instance contrastive learning without considering underlying semantic structure information, resulting in sub-optimal performance. In this work, we propose a novel self-supervised consistent quantization approach to deep fully unsupervised image retrieval, which consists of part consistent quantization and global consistent quantization. In part consistent quantization, we devise part neighbor semantic consistency learning with codeword diversity regularization. This allows to discover underlying neighbor structure information of sub-quantized representations as self-supervision. In global consistent quantization, we employ contrastive learning for both embedding and quantized representations and fuses these representations for consistent contrastive regularization between instances. This can make up for the loss of useful representation information during quantization and regularize consistency between instances. With a unified learning objective of part and global consistent quantization, our approach exploits richer self-supervision cues to facilitate model learning. Extensive experiments on three benchmark datasets show the superiority of our approach over the state-of-the-art methods.


title: Deep representation of EEG data from Spatio-Spectral Feature Images

abstract: Unlike conventional data such as natural images, audio and speech, raw multi-channel Electroencephalogram (EEG) data are difficult to interpret. Modern deep neural networks have shown promising results in EEG studies, however finding robust invariant representations of EEG data across subjects remains a challenge, due to differences in brain folding structures. Thus, invariant representations of EEG data would be desirable to improve our understanding of the brain activity and to use them effectively during transfer learning. In this paper, we propose an approach to learn deep representations of EEG data by exploiting spatial relationships between recording electrodes and encoding them in a Spatio-Spectral Feature Images. We use multi-channel EEG signals from the PhyAAt dataset for auditory tasks and train a Convolutional Neural Network (CNN) on 25 subjects individually. Afterwards, we generate the input patterns that activate deep neurons across all the subjects. The generated pattern can be seen as a map of the brain activity in different spatial regions. Our analysis reveals the existence of specific brain regions related to different tasks. Low-level features focusing on larger regions and high-level features focusing on a smaller and very specific cluster of regions are also identified. Interestingly, similar patterns are found across different subjects although the activities appear in different regions. Our analysis also reveals common brain regions across subjects, which can be used as generalized representations. Our proposed approach allows us to find more interpretable representations of EEG data, which can further be used for effective transfer learning.


title: On the Span of $l$ Distance Coloring of Infinite Hexagonal Grid

abstract: For a graph $G(V,E)$ and $l \in \mathbb{N}$, an $l$ distance coloring is a coloring $f: V \to \{1, 2, \cdots, n\}$ of $V$ such that $\forall u,\;v \in V,\; u\neq v,\; f(u)\neq f(v)$ when $d(u,v) \leq l$. Here $d(u,v)$ is the distance between $u$ and $v$ and is equal to the minimum number of edges that connect $u$ and $v$ in $G$. The span of $l$ distance coloring of $G$, $\lambda ^{l}(G)$, is the minimum $n$ among all $l$ distance coloring of $G$. A class of channel assignment problem in cellular network can be formulated as a distance graph coloring problem in regular grid graphs. The cellular network is often modelled as an infinite hexagonal grid $T_H$, and hence determining $\lambda ^{l}(T_H)$ has relevance from practical point of view. Jacko and Jendrol [Discussiones Mathematicae Graph Theory, $2005$] determined the exact value of $\lambda ^{l}(T_H)$ for any odd $l$ and for even $l \geq 8$, it is conjectured that $\lambda ^{l}(T_H) = \left[ \dfrac{3}{8} \left( \, l+\dfrac{4}{3} \right) ^2 \right]$ where $[x]$ is an integer, $x\in \mathbb{R}$ and $x-\dfrac{1}{2} < [x] \leq x+\dfrac{1}{2}$. For $l=8$, the conjecture has been proved by Sasthi and Subhasis [$22$nd Italian Conference on Theoretical Computer Science, $2021$]. In this paper, we prove the conjecture for any $l \geq 10$.


title: Statistical Dependence Analyses of Operational Flight Data Used for Landing Reconstruction Enhancement

abstract: The RTS smoother is widely used for state estimation and it is utilized here to increase the data quality with respect to physical coherence and to increase resolution. The purpose of this paper is to enhance the performance of the RTS smoother to reconstruct an aircraft landing using on board recorded data only. Thereby, errors and uncertainties of operational flight data (e.g. altitude, attitude, position, speed) recorded during flights of civil aircraft are minimized. These data can be used for subsequent analyses in terms of flight safety or efficiency, which is commonly referred to as Flight Data Monitoring (FDM). Statistical assumptions of the smoother theory are not always verified during application but (consciously or not) assumed to be fulfilled. These assumptions can hardly be verified prior to the smoother application, however, they can be verified using the results of an initial smoother iteration and modifications of specific smoother characteristics can be suggested. This project specifically verifies assumptions on the measurement noise characteristics. Variance and covariance of the measurement noise can be checked after the initial smoother application. It is discovered that these characteristics change over time and should be accounted for with a time varying covariance matrix. This sequence of matrices is estimated by kernel smoothing and replaces an initially assumed fixed and diagonal covariance matrix used for the first smoother run. The results of this second smoother iteration are mostly improved compared to the initial iteration, i.e. the errors are significantly reduced. Subsequently, the remaining dependence structures of the residuals of the second smoother iteration can be captured by copula models. Their interpretation is useful for a revision of the physical model utilized by the RTS smoother.


title: Leptoquarks, axions and the unification of B, L, and Peccei-Quinn symmetries

abstract: In this paper, axion models supplemented by leptoquarks and diquarks are systematically analyzed. Turning on some couplings to and among these latter states permits to unify the Peccei-Quinn symmetry with baryon (B) and lepton (L) numbers, such that the axion becomes associated to the spontaneous breaking of the three $U(1)$ symmetries. All possible four- and six-fermion patterns of B and L violation are discussed, including those inducing proton decay, with $\Delta B = 1$ and $\Delta L = \pm 1, \pm 3$, neutron-antineutron oscillations with $\Delta B = 2$, and Majorana neutrino masses with $\Delta L = 2$. Scenarios in which one or two axion fields necessarily appear in any B and/or L violating operators are also constructed. Nucleon decays would then necessarily involve an axion in the final state, while neutron-antineutron oscillations would only happen in an axionic background. This could have implications for the neutron lifetime puzzle, and more generally, opens the door to new phenomenological and cosmological applications.


title: Shapley-NAS: Discovering Operation Contribution for Neural Architecture Search

abstract: In this paper, we propose a Shapley value based method to evaluate operation contribution (Shapley-NAS) for neural architecture search. Differentiable architecture search (DARTS) acquires the optimal architectures by optimizing the architecture parameters with gradient descent, which significantly reduces the search cost. However, the magnitude of architecture parameters updated by gradient descent fails to reveal the actual operation importance to the task performance and therefore harms the effectiveness of obtained architectures. By contrast, we propose to evaluate the direct influence of operations on validation accuracy. To deal with the complex relationships between supernet components, we leverage Shapley value to quantify their marginal contributions by considering all possible combinations. Specifically, we iteratively optimize the supernet weights and update the architecture parameters by evaluating operation contributions via Shapley value, so that the optimal architectures are derived by selecting the operations that contribute significantly to the tasks. Since the exact computation of Shapley value is NP-hard, the Monte-Carlo sampling based algorithm with early truncation is employed for efficient approximation, and the momentum update mechanism is adopted to alleviate fluctuation of the sampling process. Extensive experiments on various datasets and various search spaces show that our Shapley-NAS outperforms the state-of-the-art methods by a considerable margin with light search cost. The code is available at https://github.com/Euphoria16/Shapley-NAS.git


title: ConvGeN: Convex space learning improves deep-generative oversampling for tabular imbalanced classification on smaller datasets

abstract: Data is commonly stored in tabular format. Several fields of research are prone to small imbalanced tabular data. Supervised Machine Learning on such data is often difficult due to class imbalance. Synthetic data generation, i.e., oversampling, is a common remedy used to improve classifier performance. State-of-the-art linear interpolation approaches, such as LoRAS and ProWRAS can be used to generate synthetic samples from the convex space of the minority class to improve classifier performance in such cases. Deep generative networks are common deep learning approaches for synthetic sample generation, widely used for synthetic image generation. However, their scope on synthetic tabular data generation in the context of imbalanced classification is not adequately explored. In this article, we show that existing deep generative models perform poorly compared to linear interpolation based approaches for imbalanced classification problems on smaller tabular datasets. To overcome this, we propose a deep generative model, ConvGeN that combines the idea of convex space learning with deep generative models. ConvGeN learns the coefficients for the convex combinations of the minority class samples, such that the synthetic data is distinct enough from the majority class. Our benchmarking experiments demonstrate that our proposed model ConvGeN improves imbalanced classification on such small datasets, as compared to existing deep generative models, while being at-par with the existing linear interpolation approaches. Moreover, we discuss how our model can be used for synthetic tabular data generation in general, even outside the scope of data imbalance and thus, improves the overall applicability of convex space learning.