title: Rarefaction effects in head-on collision of two identical droplets

abstract: The head-on collision of two identical droplets is investigated based on the BGK-Boltzmann equation. Gauss-Hermite quadratures with different degree of precision are used to solve the kinetic equation, so that the continuum (solution truncated at the Navier-Stokes order) and non-continuum (rarefied gas dynamics) solutions can be compared. When the kinetic equation is solved with adequate accuracy, prominent variations of the vertical velocity (the collision is in the horizontal direction), the viscous stress components, and droplet morphology are observed during the formation of liquid bridge, which demonstrates the importance of the rarefaction effects and the failure of the Navier-Stokes equation. The rarefaction effects change the topology of streamlines near the droplet surface, suppress the high-magnitude vorticity concentration inside the interdroplet region, and promote the vorticity diffusion around outer droplet surface. Two physical mechanisms responsible for the local energy conversion between the free and kinetic energies are identified, namely, the total pressure-dilatation coupling effect and the interaction between the density gradient and strain rate tensor. An energy conversion analysis is performed to show that the rarefaction effects can enhance the conversion from free energy to kinetic energy and facilitate the discharge of interdroplet gas film along the vertical direction, thereby boosting droplet coalescence.


title: Quadratic unilateral polynomials over split quaternions

abstract: In this paper, we derive explicit formulas for computing the roots of $ax^{2}+bx+c=0$ with $a$ being not invertible in split quaternion algebra. We also imitate the approach developed by Opfer, Janovska and Falcao etc. to verify our results when the corresponding companion polynomials are not identically vanishing.


title: Rigidity of bordered polyhedral surfaces

abstract: This paper investigates the rigidity of bordered polyhedral surfaces. Using the variational principle, we show that bordered polyhedral surfaces are determined by boundary value and discrete curvatures on the interior edges. As a corollary, we reprove the classical result that two Euclidean cyclic polygons (or hyperbolic cyclic polygons) are congruent if the lengths of their sides are equal.


title: A modified EM method and its fast implementation for multi-term Riemann-Liouville stochastic fractional differential equations

abstract: In this paper, a modified Euler-Maruyama (EM) method is constructed for a kind of multi-term Riemann-Liouville stochastic fractional differential equations and the strong convergence order min{1-{\alpha}_m, 0.5} of the proposed method is proved with Riemann-Liouville fractional derivatives' orders 0<{\alpha}_1<{\alpha}_2<...<{\alpha}_m <1. Then, based on the sum-of-exponentials approximation, a fast implementation of the modified EM method which is called a fast EM method is derived to greatly improve the computational efficiency. Finally, some numerical examples are carried out to support the theoretical results and show the powerful computational performance of the fast EM method.


title: UniMorph 4.0: Universal Morphology

abstract: The Universal Morphology (UniMorph) project is a collaborative effort providing broad-coverage instantiated normalized morphological inflection tables for hundreds of diverse world languages. The project comprises two major thrusts: a language-independent feature schema for rich morphological annotation and a type-level resource of annotated data in diverse languages realizing that schema. This paper presents the expansions and improvements made on several fronts over the last couple of years (since McCarthy et al. (2020)). Collaborative efforts by numerous linguists have added 67 new languages, including 30 endangered languages. We have implemented several improvements to the extraction pipeline to tackle some issues, e.g. missing gender and macron information. We have also amended the schema to use a hierarchical structure that is needed for morphological phenomena like multiple-argument agreement and case stacking, while adding some missing morphological features to make the schema more inclusive. In light of the last UniMorph release, we also augmented the database with morpheme segmentation for 16 languages. Lastly, this new release makes a push towards inclusion of derivational morphology in UniMorph by enriching the data and annotation schema with instances representing derivational processes from MorphyNet.


title: A Hybrid Trim Strategy for Coaxial Compound Helicopter

abstract: Interest in the coaxial compound helicopter (CCH) has been increasing in the civil aviation and engineering community for its high-speed and high-maneuverability features, and is likely to continue to do so for the foreseeable future. Since the control in CCH is totally different from the conventional helicopter, the redundant control strategy design is one of the biggest challenges. In this study, the CCH model based on XH-59A is built to investigate the impact of the propeller and the elevator on the flight performance. Four trim strategies with different objectives are proposed and then compared to find the optimal control allocation. A heuristic descent search method is applied to search the optimal velocity at which the propeller and the elevator are engaged. A significant improvement of power required at medium and high speed with acceptable rotor airloads increment was found by using the Hybrid Trim strategy in the speed range of 0-100m/s, with regard to a pre-configured pitch angle schedule. The corresponding control variables obtained locate in a reasonable control range, with a maximum power reduced of 13% at 100m/s, which showcases the potential of the Hybrid Trim strategy.


title: Group sparse optimization for inpainting of random fields on the sphere

abstract: We propose a group sparse optimization model for inpainting of a square-integrable isotropic random field on the unit sphere, where the field is represented by spherical harmonics with random complex coefficients. In the proposed optimization model, the variable is an infinite-dimensional complex vector and the objective function is a real-valued function defined by a hybrid of the $\ell_2$ norm and non-Liptchitz $\ell_p (0<p<1)$ norm that preserves rotational invariance property and group structure of the random complex coefficients. We show that the infinite-dimensional optimization problem is equivalent to a convexly-constrained finite-dimensional optimization problem. Moreover, we propose a smoothing penalty algorithm to solve the finite-dimensional problem via unconstrained optimization problems. We provide an approximation error bound of the inpainted random field defined by a scaled KKT point of the constrained optimization problem in the square-integrable space on the sphere with probability measure. Finally, we conduct numerical experiments on band-limited random fields on the sphere and images from Earth topography data to show the promising performance of the smoothing penalty algorithm for inpainting of random fields on the sphere.


title: Bayesian estimation of correlation functions

abstract: We apply Bayesian statistics to the estimation of correlation functions. We give the probability distributions of auto- and cross-correlations as functions of the data. Our procedure uses the measured data optimally and informs about the certainty level of the estimation. Our results apply to general stationary processes and their essence is a non-parametric estimation of spectra. It allows one to better understand the statistical noise fluctuations, assess the correlations between two variables, and postulate parametric models of spectra that can be further tested. We also propose a method to numerically generate correlated noise with a given spectrum.


title: BrainIB: Interpretable Brain Network-based Psychiatric Diagnosis with Graph Information Bottleneck

abstract: Developing a new diagnostic models based on the underlying biological mechanisms rather than subjective symptoms for psychiatric disorders is an emerging consensus. Recently, machine learning-based classifiers using functional connectivity (FC) for psychiatric disorders and healthy controls are developed to identify brain markers. However, existing machine learningbased diagnostic models are prone to over-fitting (due to insufficient training samples) and perform poorly in new test environment. Furthermore, it is difficult to obtain explainable and reliable brain biomarkers elucidating the underlying diagnostic decisions. These issues hinder their possible clinical applications. In this work, we propose BrainIB, a new graph neural network (GNN) framework to analyze functional magnetic resonance images (fMRI), by leveraging the famed Information Bottleneck (IB) principle. BrainIB is able to identify the most informative edges in the brain (i.e., subgraph) and generalizes well to unseen data. We evaluate the performance of BrainIB against 8 popular brain network classification methods on two multi-site, largescale datasets and observe that our BrainIB always achieves the highest diagnosis accuracy. It also discovers the subgraph biomarkers which are consistent to clinical and neuroimaging findings.


title: Double cascade reconstruction in KM3NeT/ARCA

abstract: The detection of astrophysical $\nu_\tau$ is an important verification of the observed flux of high-energy neutrinos. A flavour ratio of approximately $\nu_{e} : \nu_\mu : \nu_\tau \approx 1 : 1 : 1$ is predicted for astrophysical neutrinos measured at Earth due to neutrino oscillations. On top of this, the $\nu_\tau$ offers a unique channel for neutrino astronomy due to absence of an atmospheric $\nu_\tau$ background contribution. When a $\nu_\tau$ interacts it produces a particle cascade and often a $\tau$ lepton which in turn decays mainly into another cascade. This results in a double cascade signature. An excellent angular resolution can be achieved when both cascade vertices are reconstructed. The KM3NeT/ARCA detector, which is under construction in the Mediterranean sea, will be able to detect this signature due to its timing and spatial resolution for cascades. We will discuss the dedicated reconstruction algorithm and performance for reconstructing double cascades using KM3NeT. The angular deviation reaches sub-degree level for tau lengths larger than 25 meters.


title: Safe Exploration and Escape Local Minima with Model Predictive Control under Partially Unknown Constraints

abstract: In this paper, we propose a novel model predictive control (MPC) framework for output tracking that deals with partially unknown constraints. The MPC scheme optimizes over a learning and a backup trajectory. The learning trajectory aims to explore unknown and potentially unsafe areas, if and only if this might lead to a potential performance improvement. On the contrary, the backup trajectory lies in the known space, and is intended to ensure safety and convergence. The cost function for the learning trajectory is divided into a tracking and an offset cost, while the cost function for the backup trajectory is only marginally considered and only penalizes the offset cost. We show that the proposed MPC scheme is not only able to safely explore the unknown constraints, but also escape from local minima that may arise from the presence of obstacles. Moreover, we provide formal guarantees for convergence and recursive feasibility of the MPC scheme, as well as closed-loop constraint satisfaction. Finally, the proposed MPC scheme is demonstrated in simulations using an example of autonomous vehicle driving in a partially unknown environment where unknown obstacles are present.


title: Near-Field Channel Estimation in Mixed LoS/NLoS Environments for Extremely Large-Scale MIMO Systems

abstract: Accurate channel model and channel estimation are essential to empower extremely large-scale MIMO (XL-MIMO) in 6G networks with ultra-high spectral efficiency. With the sharp increase in the antenna array aperture of the XL-MIMO scenario, the electromagnetic propagation field will change from far-field to near-field. Unfortunately, due to the near-field effect, most of the existing XL-MIMO channel models fail to describe mixed line-of-sight (LoS) and non-line-of-sight (NLoS) path components simultaneously. In this paper, a mixed LoS/NLoS near-field XL-MIMO channel model is proposed to match the practical near-field XL-MIMO scenario, where the LoS path component is modeled by the geometric free space propagation assumption while NLoS path components are modeled by the near-field array response vectors. Then, to define the range of near-field for XL-MIMO, the MIMO Rayleigh distance (MIMO-RD) and MIMO advanced RD (MIMO-ARD) is derived. Next, a two stage channel estimation algorithm is proposed, where the LoS path component and NLoS path components are estimated separately. Moreover, the Cramer-Rao lower bound (CRLB) of the proposed algorithm is derived in this paper. Numerical simulation results demonstrate that, the proposed two stage scheme is able to outperform the existing methods in both the theoretical channel model and the QuaDRiGa channel emulation platform.


title: Curves intersecting in a circuit pattern

abstract: We show that the cycle relation between Dehn twists about curves in a circuit detects whether the circuit bounds an embedded disc. This is done by determining the isomorphism type of the group generated by said Dehn twists for various surfaces.


title: Particle dispersion in the classical vector dark matter background

abstract: Interactions with a background medium modify in general the dispersion relation and canonical normalization of propagating particles. This can have an important phenomenological consequence when considering light dark matter coupling to quarks and leptons. In this paper, we address this issue in the vector dark matter background with the randomly distributed polarizations or a fixed polarization to the single direction. The observations associated with particle dispersion can give constraints on new light Abelian gauge boson models. Considering the solar neutrino transition and the electron mass measurement, stringent bounds can be put on the gauged $L_\mu - L_\tau$ model and the dark photon model. Moreover, the classical vector field turns out to induce drastic changes in the particle normalization, which rule out a significant parameter region of the generic vector dark matter model.


title: Long Term Multi-band Near Infra-Red Variability of the Blazar OJ 287 during 2007--2021

abstract: We present the most extensive and well-sampled long-term multi-band near-infrared (NIR) temporal and spectral variability study of OJ 287, considered to be the best candidate binary supermassive black hole blazar. These observations were made between December 2007 and November 2021. The source underwent ~ 2 -- 2.5 magnitude variations in the J, H, and Ks NIR bands. Over these long-term timescales there were no systematic trends in either flux or spectral evolution with time or with the source's flux states. However, on shorter timescales, there are significant variations in flux and spectra indicative of strong changes during different activity states. The NIR spectral energy distributions show diverse facets at each flux state, from the lowest to the highest. The spectra are, in general, consistent with a power-law spectral profile (within 10%) and many of them indicate minor changes (observationally insignificant) in the shift of the peak. The NIR spectra generally steepens during bright phases. We briefly discuss these behaviors in the context of blazar emission scenarios/mechanisms, OJ 287's well-known traditional behavior, and implications for models of the source central engine invoked for its long-term optical semi-periodic variations.


title: Higher-form symmetries, anomalous magnetohydrodynamics, and holography

abstract: In $U(1)$ Abelian gauge theory coupled to fermions, the non-conservation of the axial current due to the chiral anomaly is given by a dynamical operator $F_{\mu\nu} \tilde{F}^{\mu\nu}$ constructed from the field-strength tensor. We attempt to describe this physics in a universal manner by casting this operator in terms of the 2-form current for the 1-form symmetry associated with magnetic flux conservation. We construct a holographic dual with this symmetry breaking pattern and study some aspects of finite temperature anomalous magnetohydrodynamics. We explicitly calculate the charge susceptibility and the axial charge relaxation rate as a function of temperature and magnetic field and compare to recent lattice results. At small magnetic fields we find agreement with elementary hydrodynamics weakly coupled to an electrodynamic sector, but we find deviations at larger fields.


title: Density functional theory plus dynamical mean field theory within the framework of linear combination of numerical atomic orbitals: Formulation and benchmarks

abstract: The combination of density functional theory with dynamical mean-field theory (DFT+DMFT) has become a powerful first-principles approach to tackle strongly correlated materials in condensed matter physics. The wide use of this approach relies on robust and easy-to-use implementations, and its implementation in various numerical frameworks will increase its applicability on the one hand and help crosscheck the validity of the obtained results on the other. In the work, we develop a formalism within the linear combination of numerical atomic orbital (NAO) basis set framework, which allows for merging NAO-based DFT codes with DMFT quantum impurity solvers. The formalism is implemented by interfacing two NAO-based DFT codes with three DMFT impurity solvers, and its validity is testified by benchmark calculations for a wide range of strongly correlated materials, including 3\textit{d} transition metal compounds, lanthanides, and actinides. Our work not only enables DFT+DMFT calculations using popular and rapidly developing NAO-based DFT code packages, but also facilitates the combination of more advanced beyond-DFT methodologies available in this codes with the DMFT machinery.


title: The intermediate level-sets of the four-dimensional membrane model

abstract: In this paper, we consider the discrete membrane model in four dimensions. We confirm the existence of the scaling limit of the intermediate (i.e., a multiple of the expected maximum) level-sets of the model, and show that it is equal in law to the sub-critical Gaussian multiplicative chaos (GMC) measure of the continuum membrane model.


title: Near-optimal Algorithms for Stochastic Online Bin Packing

abstract: We study the online bin packing problem under two stochastic settings. In the bin packing problem, we are given n items with sizes in (0,1] and the goal is to pack them into the minimum number of unit-sized bins. First, we study bin packing under the i.i.d. model, where item sizes are sampled independently and identically from a distribution in (0,1]. Both the distribution and the total number of items are unknown. The items arrive one by one and their sizes are revealed upon their arrival and they must be packed immediately and irrevocably in bins of size 1. We provide a simple meta-algorithm that takes an offline $\alpha$-asymptotic approximation algorithm and provides a polynomial-time $(\alpha + \varepsilon)$-competitive algorithm for online bin packing under the i.i.d. model, where $\varepsilon$>0 is a small constant. Using the AFPTAS for offline bin packing, we thus provide a linear time $(1+\varepsilon)$-competitive algorithm for online bin packing under i.i.d. model, thus settling the problem. We then study the random-order model, where an adversary specifies the items, but the order of arrival of items is drawn uniformly at random from the set of all permutations of the items. Kenyon's seminal result [SODA'96] showed that the Best-Fit algorithm has a competitive ratio of at most 3/2 in the random-order model, and conjectured the ratio to be around 1.15. However, it has been a long-standing open problem to break the barrier of 3/2 even for special cases. Recently, Albers et al. [Algorithmica'21] showed an improvement to 5/4 competitive ratio in the special case when all the item sizes are greater than 1/3. For this special case, we settle the analysis by showing that Best-Fit has a competitive ratio of 1. We make further progress by breaking the barrier of 3/2 for the 3-Partition problem, a notoriously hard special case of bin packing, where all item sizes lie in (1/4,1/2].


title: Determination of class-specific variables in nonparametric multiple-class classification

abstract: As technology advanced, collecting data via automatic collection devices become popular, thus we commonly face data sets with lengthy variables, especially when these data sets are collected without specific research goals beforehand. It has been pointed out in the literature that the difficulty of high-dimensional classification problems is intrinsically caused by too many noise variables useless for reducing classification error, which offer less benefits for decision-making, and increase complexity, and confusion in model-interpretation. A good variable selection strategy is therefore a must for using such kinds of data well; especially when we expect to use their results for the succeeding applications/studies, where the model-interpretation ability is essential. hus, the conventional classification measures, such as accuracy, sensitivity, precision, cannot be the only performance tasks. In this paper, we propose a probability-based nonparametric multiple-class classification method, and integrate it with the ability of identifying high impact variables for individual class such that we can have more information about its classification rule and the character of each class as well. The proposed method can have its prediction power approximately equal to that of the Bayes rule, and still retains the ability of "model-interpretation." We report the asymptotic properties of the proposed method, and use both synthesized and real data sets to illustrate its properties under different classification situations. We also separately discuss the variable identification, and training sample size determination, and summarize those procedures as algorithms such that users can easily implement them with different computing languages.


title: Anomalous diffusion and transport by a reciprocal convective flow

abstract: Under low-Reynolds-number conditions, dynamics of convection and diffusion are usually considered separately because their dominant spatial and temporal scales are different, but cooperative effects of convection and diffusion can cause diffusion enhancement [Koyano et al., Phys. Rev. E, 102, 033109 (2020)]. In this study, such cooperative effects are investigated in detail. Numerical simulations based on the convection-diffusion equation revealed that anisotropic diffusion and net shift as well as diffusion enhancement occur under a reciprocal flow. Such anomalous diffusion and transport are theoretically derived by the analyses of the Langevin dynamics.


title: Periodic points of weakly post-critically finite all the way down maps

abstract: We study eigenvalues along periodic cycles of post-critically finite endomorphisms of $\mathbb{CP}^n$ in higher dimension. It is a classical result when $n = 1$ that those values are either $0$ or of modulus strictly bigger than $1$. It has been conjectured in [Van Tu Le. Periodic points of post-critically algebraic holomorphic endomorphisms, Ergodic Theory and Dynamical Systems, pages 1-33, 2020] that the same result holds for every $n \geq 2$. In this article, we verify the conjecture for the class of weakly post-critically finite all the way down maps which was introduced in [Matthieu Astorg, Dynamics of post-critically finite maps in higher dimension, Ergodic Theory and Dynamical Systems, 40(2):289-308, 2020]. This class contains a well-known class of post-critically finite maps constructed in [Sarah Koch, Teichm\"uller theory and critically finite endomorphisms, Advances in Mathematics, 248:573-617, 2013]. As a consequence, we verify the conjecture for Koch maps.


title: Hausdorff dimension in quasiregular dynamics

abstract: It is shown that the Hausdorff dimension of the fast escaping set of a quasiregular self-map of ${\mathbb R}^3$ can take any value in the interval $[1,3]$. The Hausdorff dimension of the Julia set of such a map is estimated under some growth condition.


title: Sparse Regularized Correlation Filter for UAV Object Tracking with adaptive Contextual Learning and Keyfilter Selection

abstract: Recently, correlation filter has been widely applied in unmanned aerial vehicle (UAV) tracking due to its high frame rates, robustness and low calculation resources. However, it is fragile because of two inherent defects, i.e, boundary effect and filter corruption. Some methods by enlarging the search area can mitigate the boundary effect, yet introducing the undesired background distractors. Another approaches can alleviate the temporal degeneration of learned filters by introducing the temporal regularizer, which depends on the assumption that the filers between consecutive frames should be coherent. In fact, sometimes the filers at the ($t-1$)th frame is vulnerable to heavy occlusion from backgrounds, which causes that the assumption does not hold. To handle them, in this work, we propose a novel $\ell_{1}$ regularization correlation filter with adaptive contextual learning and keyfilter selection for UAV tracking. Firstly, we adaptively detect the positions of effective contextual distractors by the aid of the distribution of local maximum values on the response map of current frame which is generated by using the previous correlation filter model. Next, we eliminate inconsistent labels for the tracked target by removing one on each distractor and develop a new score scheme for each distractor. Then, we can select the keyfilter from the filters pool by finding the maximal similarity between the target at the current frame and the target template corresponding to each filter in the filters pool. Finally, quantitative and qualitative experiments on three authoritative UAV datasets show that the proposed method is superior to the state-of-the-art tracking methods based on correlation filter framework.


title: PRESTO: Predicting System-level Disruptions through Parametric Model Checking

abstract: Self-adaptive systems are expected to mitigate disruptions by continually adjusting their configuration and behaviour. This mitigation is often reactive. Typically, environmental or internal changes trigger a system response only after a violation of the system requirements. Despite a broad agreement that prevention is better than cure in self-adaptation, proactive adaptation methods are underrepresented within the repertoire of solutions available to the developers of self-adaptive systems. To address this gap, we present a work-in-progress approach for the pre diction of system-level disruptions (PRESTO) through parametric model checking. Intended for use in the analysis step of the MAPE-K (Monitor-Analyse-Plan-Execute over a shared Knowledge) feedback control loop of self-adaptive systems, PRESTO comprises two stages. First, time-series analysis is applied to monitoring data in order to identify trends in the values of individual system and/or environment parameters. Next, future non-functional requirement violations are predicted by using parametric model checking, in order to establish the potential impact of these trends on the reliability and performance of the system. We illustrate the application of PRESTO in a case study from the autonomous farming domain.


title: A Probabilistic Framework for Power System Large-Disturbance Global Instability Risk Assessment in the Presence of Renewable Wind Generation

abstract: The increasing demand of large scale wind integration in the conventional power system brings a lot of challenges. One of them is the stability of the power system when subjected to a large disturbance, such as a fault. This paper proposes a probabilistic risk-based framework for computing a global instability index, incorporating angle, voltage, and frequency stability, for a large disturbance. Moreover, the impact of high wind penetration on this index is also observed. Case studies and associated simulations are conducted on the IEEE 39-bus test system using DIgSILENT PowerFactory software. The results show that higher penetration of wind generation enhances the global stability of the power system. Moreover, the impact of changing system generation and load is studied on the global instability index.


title: Deep Quality Assessment of Compressed Videos: A Subjective and Objective Study

abstract: In the video coding process, the perceived quality of a compressed video is evaluated by full-reference quality evaluation metrics. However, it is difficult to obtain reference videos with perfect quality. To solve this problem, it is critical to design no-reference compressed video quality assessment algorithms, which assists in measuring the quality of experience on the server side and resource allocation on the network side. Convolutional Neural Network (CNN) has shown its advantage in Video Quality Assessment (VQA) with promising successes in recent years. A large-scale quality database is very important for learning accurate and powerful compressed video quality metrics. In this work, a semi-automatic labeling method is adopted to build a large-scale compressed video quality database, which allows us to label a large number of compressed videos with manageable human workload. The resulting Compressed Video quality database with Semi-Automatic Ratings (CVSAR), so far the largest of compressed video quality database. We train a no-reference compressed video quality assessment model with a 3D CNN for SpatioTemporal Feature Extraction and Evaluation (STFEE). Experimental results demonstrate that the proposed method outperforms state-of-the-art metrics and achieves promising generalization performance in cross-database tests. The CVSAR database and STFEE model will be made publicly available to facilitate reproducible research.


title: First-principle calculations on Li2CuSb: A novel material for lithium-ion batteries

abstract: We investigate the Li2CuSb full-Heusler alloy using the first-principles electronic structure calculations and propose the electrochemical lithiation in this alloy. Band structure calculations suggest the presence of metallic nature in this alloy contrary to half-metallic nature as predicted for most of the members of the full-Heusler alloy family. This alloy is found to be a promising anode material for high-capacity rechargeable batteries based on lithium-ion. We found a removal voltage of 2.48 V for lithium ions in the Li2CuSb/Cu cell, which is in good agreement with the experimentally obtained result for a similar kind of material Cu3Sb. During charge and discharge cycles of the Li2CuSb/Cu cell, the formation of a non-stoichiometric compound Li2-yCu1+xSb having a similar structure as Li2CuSb suggests a better performance as well as stabilitty of this cell.


title: Interplay between the extended s-wave symmetry of the gap and the spin-orbit coupling in the low-electron concentration regime of quasi-two-dimensional superconductors

abstract: We analyze the real-space paired state with the $\mathbf{k}$-dependent superconducting gap in the presence of Rashba type spin-orbit coupling and external magnetic field. We show that the $extended$ $s$-$wave$ pairing symmetry is the most probable scenario to appear in the low-electron concentration regime. According to our study, the van Hove singularity induced by the spin-orbit coupling may lead to a significant enhancement of the superconducting gap, critical temperature and critical magnetic field. Moreover, the combined effect of the spin-orbit coupling and the external magnetic field results in a non-zero total momentum of the Cooper pairs, which is a characteristic feature of the so-called helical state. In such situation, due to the C$_4$ symmetry breaking, a small $d$-$wave$ and $p$-$wave$ contributions to the pairing appear, which significantly change the character of the helical state. The obtained results are discussed in the context of the experimental data related with the unconventional superconducting features of the transition metal oxide interfaces as well as the recently reported supercurrent diode effect.


title: Comparison Knowledge Translation for Generalizable Image Classification

abstract: Deep learning has recently achieved remarkable performance in image classification tasks, which depends heavily on massive annotation. However, the classification mechanism of existing deep learning models seems to contrast to humans' recognition mechanism. With only a glance at an image of the object even unknown type, humans can quickly and precisely find other same category objects from massive images, which benefits from daily recognition of various objects. In this paper, we attempt to build a generalizable framework that emulates the humans' recognition mechanism in the image classification task, hoping to improve the classification performance on unseen categories with the support of annotations of other categories. Specifically, we investigate a new task termed Comparison Knowledge Translation (CKT). Given a set of fully labeled categories, CKT aims to translate the comparison knowledge learned from the labeled categories to a set of novel categories. To this end, we put forward a Comparison Classification Translation Network (CCT-Net), which comprises a comparison classifier and a matching discriminator. The comparison classifier is devised to classify whether two images belong to the same category or not, while the matching discriminator works together in an adversarial manner to ensure whether classified results match the truth. Exhaustive experiments show that CCT-Net achieves surprising generalization ability on unseen categories and SOTA performance on target categories.


title: Channel Estimation based on Gaussian Mixture Models with Structured Covariances

abstract: In this work, we propose variations of a Gaussian mixture model (GMM) based channel estimator that was recently proven to be asymptotically optimal in the minimum mean square error (MMSE) sense. We account for the need of low computational complexity in the online estimation and low cost for training and storage in practical applications. To this end, we discuss modifications of the underlying expectation-maximization (EM) algorithm, which is needed to fit the parameters of the GMM, to allow for structurally constrained covariances. Further, we investigate splitting the 2D time and frequency estimation problem in wideband systems into cascaded 1D estimations with the help of the GMM. The proposed cascaded GMM approach drastically reduces the complexity and memory requirements. We observe that due to the training on realistic channel data, the proposed GMM estimators seem to inherently perform a trade-off between saving complexity/parameters and estimation performance. We compare these low-complexity approaches to a practical and low cost method that relies on the power delay profile (PDP) and the Doppler spectrum (DS). We argue that, with the training on scenario-specific data from the environment, these practical baselines are outperformed by far with equal estimation complexity.


title: Ultrafast Image Categorization in Biology and Neural Models

abstract: Humans are able to categorize images very efficiently, in particular to detect the presence of an animal very quickly. Recently, deep learning algorithms based on convolutional neural networks (CNNs) have achieved higher than human accuracy for a wide range of visual categorization tasks. However, the tasks on which these artificial networks are typically trained and evaluated tend to be highly specialized and do not generalize well, e.g., accuracy drops after image rotation. In this respect, biological visual systems are more flexible and efficient than artificial systems for more general tasks, such as recognizing an animal. To further the comparison between biological and artificial neural networks, we re-trained the standard VGG 16 CNN on two independent tasks that are ecologically relevant to humans: detecting the presence of an animal or an artifact. We show that re-training the network achieves a human-like level of performance, comparable to that reported in psychophysical tasks. In addition, we show that the categorization is better when the outputs of the models are combined. Indeed, animals (e.g., lions) tend to be less present in photographs that contain artifacts (e.g., buildings). Furthermore, these re-trained models were able to reproduce some unexpected behavioral observations from human psychophysics, such as robustness to rotation (e.g., an upside-down or tilted image) or to a grayscale transformation. Finally, we quantified the number of CNN layers required to achieve such performance and showed that good accuracy for ultrafast image categorization can be achieved with only a few layers, challenging the belief that image recognition requires deep sequential analysis of visual objects.


title: Deep Reinforcement Learning-Based Adaptive IRS Control with Limited Feedback Codebooks

abstract: Intelligent reflecting surfaces (IRS) consist of configurable meta-atoms, which can alter the wireless propagation environment through design of their reflection coefficients. We consider adaptive IRS control in the practical setting where (i) the IRS reflection coefficients are attained by adjusting tunable elements embedded in the meta-atoms, (ii) the IRS reflection coefficients are affected by the incident angles of the incoming signals, (iii) the IRS is deployed in multi-path, time-varying channels, and (iv) the feedback link from the base station (BS) to the IRS has a low data rate. Conventional optimization-based IRS control protocols, which rely on channel estimation and conveying the optimized variables to the IRS, are not practical in this setting due to the difficulty of channel estimation and the low data rate of the feedback channel. To address these challenges, we develop a novel adaptive codebook-based limited feedback protocol to control the IRS. We propose two solutions for adaptive IRS codebook design: (i) random adjacency (RA), which utilizes correlations across the channel realizations, and (ii) deep neural network policy-based IRS control (DPIC), which is based on a deep reinforcement learning. Numerical evaluations show that the data rate and average data rate over one coherence time are improved substantially by the proposed schemes.


title: The continuum limit of the modular discretization of AdS$_2$

abstract: According to the holographic picture of 't Hooft and Susskind, the black hole entropy, $S_{\rm BH}$, is carried by the chaotic microscopic degrees of freedom, that live in the near horizon geometry and have a Hilbert space of states of finite dimension, $d=\exp(S_{\rm BH})$. In previous work we have proposed that the near horizon geometry, when the microscopic degrees of freedom can be resolved, can be described by the discrete, finite, random geometry, AdS$_2[\mathbb{Z}_N]$, where $N$ is proportional to $S_{\rm BH}$. What had remained as an open problem was how the smooth AdS2 geometry can be recovered, in the limit when N goes to infinity. In this contribution we present the salient points of the solution to this problem, which involves embedding AdS$_2[\mathbb{Z}_N]$ in a family of finite geometries, AdS$_2^M[\mathbb{Z}_N]$, where $M$ is another integer, within 2+1 Minkowski spacetime. In this construction $N$ and $M$ can be considered IR and UV cutoffs. The continuum limit, corresponding to the smooth AdS$_2$ geometry, is obtained by taking $N$ and $M$ to infinity in a correlated way, using properties of the Fibonacci and $k$-Fibonacci sequences. This method can be directly applied to higher-dimensional AdS spacetimes, also.


title: Null controllability of the linear Stabilized Kuramoto-Sivashinsky system using moment method

abstract: This paper deals with the null controllability of a coupled parabolic system, which is Kuramoto-Sivashinsky-Korteweg-de Vries equation coupled with heat equation through first order derivative. More precisely, we prove the null controllability of the system with a single localized bilinear interior control acting on either of the components of the coupled system, and with a single periodic boundary control acting through zeroth order derivatives of either of the components. We employ the well-known moment method to study the controllability of the concerned system.


title: Multiplex mobility network and metapopulation epidemic simulations of Italy based on Open Data

abstract: The patterns of human mobility play a key role in the spreading of infectious diseases and thus represent a key ingredient of epidemic modeling and forecasting. Unfortunately, as the Covid-19 pandemic has dramatically highlighted, for the vast majority of countries there is no availability of granular mobility data. This hinders the possibility of developing computational frameworks to monitor the evolution of the disease and to adopt timely and adequate prevention policies. Here we show how this problem can be addressed in the case study of Italy. We build a multiplex mobility network based solely on open data, and implement a SIR metapopulation model that allows scenario analysis through data-driven stochastic simulations. The mobility flows that we estimate are in agreement with real-time proprietary data from smartphones. Our modeling approach can thus be useful in contexts where high-resolution mobility data is not available.


title: Weakening and Iterating Laws using String Diagrams

abstract: Distributive laws are a standard way of combining two monads, providing a compositional approach for reasoning about computational effects in semantics. Situations where no such law exists can sometimes be handled by weakening the notion of distributive law, still recovering a composite monad. A celebrated result from Eugenia Cheng shows that combining $n$ monads is possible by iterating more distributive laws, provided they satisfy a coherence condition called the Yang-Baxter equation. Moreover, the order of composition does not matter, leading to a form of associativity. The main contribution of this paper is to generalise the associativity of iterated composition to weak distributive laws in the case of $n = 3$ monads. To this end, we use string-diagrammatic notation, which significantly helps make increasingly complex proofs more readable. We also provide examples of new weak distributive laws arising from iteration.


title: Current-driven Dynamics of Skyrmion Bubbles in Achiral Uniaxial Magnets

abstract: We report dynamics of skyrmion bubbles driven by spin-transfer torque in achiral ferromagnetic nanostripes using micromagnetic simulations. In a three-dimensional uniaxial ferromagnet with a quality factor that is smaller than 1, the skyrmion bubble is forced to stay at the central nanostripe by a repulsive force from the geometry border. The coherent motion of skyrmion bubbles in the nanostripe can be realized by increasing the quality factor to ~3.8. Our results should propel the design for future spintronic devices such as artificial neural computing and racetrack memory based on dipole-stabilized skyrmion bubbles.


title: Confining strings, axions and glueballs in the planar limit

abstract: We present recent results on the spectrum of a confining flux tube that is closed around a spatial torus as a function of its length as well as the spectrum of glueballs. The extraction of the spectra has been realized by simulating four dimensional $SU(N)$ gauge theories and performing measurements using lattice techniques. Regarding flux-tubes, we have performed calculations for $N=3,5,6$ and for various values of spin, parity and longitudinal momentum. Long flux-tubes can be thought of as infinitesimally thin strings; hence their spectrum is expected to be described by an effective string theory. Furthermore, the flux-tube's internal structure makes possible the existence of massive states in addition to string modes. Our calculations demonstrate that although most states exhibit a spectrum which can be approximated adequately by Nambu-Goto there is strong evidence for the existence of a massive axion on the world-sheet of the QCD flux-tube as well as a bound state of two such axions. Regarding glueballs, we extracted spectra from $N=2$ to $N=12$ which enables us to extrapolate to $N= \infty$. Our main aim was to calculate the lightest glueball masses for all different configurations of the quantum numbers of spin, parity and charge conjugation. This provides a major update on the spectrum of glueballs in the planar limit.


title: Quasibound states for a scalar field under the influence of an external magnetic field in the near-horizon geometry of the BTZ black hole with torsion

abstract: We consider a charged scalar field under the effect of an external uniform magnetic field in the near-horizon geometry of the Banados-Teitelboim-Zanelli black hole with torsion and obtain quasi-stationary states of the system under consideration through obtaining analytical solution of the corresponding Klein-Gordon equation. We obtain the solution function of the equation and accordingly we arrive at a complex spectra. We observe that the real oscillation frequency of the modes and their decay time depends on the strength of the external magnetic field besides the parameters of the geometric background. We see that the amplitude of the real oscillation modes decreases and the decay time of the modes becomes longer as the strength of the external magnetic field increases. The results also indicate that the geometric background is stable under such a perturbation field.


title: Calibrating Label Distribution for Class-Imbalanced Barely-Supervised Knee Segmentation

abstract: Segmentation of 3D knee MR images is important for the assessment of osteoarthritis. Like other medical data, the volume-wise labeling of knee MR images is expertise-demanded and time-consuming; hence semi-supervised learning (SSL), particularly barely-supervised learning, is highly desirable for training with insufficient labeled data. We observed that the class imbalance problem is severe in the knee MR images as the cartilages only occupy 6% of foreground volumes, and the situation becomes worse without sufficient labeled data. To address the above problem, we present a novel framework for barely-supervised knee segmentation with noisy and imbalanced labels. Our framework leverages label distribution to encourage the network to put more effort into learning cartilage parts. Specifically, we utilize 1.) label quantity distribution for modifying the objective loss function to a class-aware weighted form and 2.) label position distribution for constructing a cropping probability mask to crop more sub-volumes in cartilage areas from both labeled and unlabeled inputs. In addition, we design dual uncertainty-aware sampling supervision to enhance the supervision of low-confident categories for efficient unsupervised learning. Experiments show that our proposed framework brings significant improvements by incorporating the unlabeled data and alleviating the problem of class imbalance. More importantly, our method outperforms the state-of-the-art SSL methods, demonstrating the potential of our framework for the more challenging SSL setting.


title: Automatic Velocity Picking Using a Multi-Information Fusion Deep Semantic Segmentation Network

abstract: Velocity picking, a critical step in seismic data processing, has been studied for decades. Although manual picking can produce accurate normal moveout (NMO) velocities from the velocity spectra of prestack gathers, it is time-consuming and becomes infeasible with the emergence of large amount of seismic data. Numerous automatic velocity picking methods have thus been developed. In recent years, deep learning (DL) methods have produced good results on the seismic data with medium and high signal-to-noise ratios (SNR). Unfortunately, it still lacks a picking method to automatically generate accurate velocities in the situations of low SNR. In this paper, we propose a multi-information fusion network (MIFN) to estimate stacking velocity from the fusion information of velocity spectra and stack gather segments (SGS). In particular, we transform the velocity picking problem into a semantic segmentation problem based on the velocity spectrum images. Meanwhile, the information provided by SGS is used as a prior in the network to assist segmentation. The experimental results on two field datasets show that the picking results of MIFN are stable and accurate for the scenarios with medium and high SNR, and it also performs well in low SNR scenarios.


title: Label Adversarial Learning for Skeleton-level to Pixel-level Adjustable Vessel Segmentation

abstract: You can have your cake and eat it too. Microvessel segmentation in optical coherence tomography angiography (OCTA) images remains challenging. Skeleton-level segmentation shows clear topology but without diameter information, while pixel-level segmentation shows a clear caliber but low topology. To close this gap, we propose a novel label adversarial learning (LAL) for skeleton-level to pixel-level adjustable vessel segmentation. LAL mainly consists of two designs: a label adversarial loss and an embeddable adjustment layer. The label adversarial loss establishes an adversarial relationship between the two label supervisions, while the adjustment layer adjusts the network parameters to match the different adversarial weights. Such a design can efficiently capture the variation between the two supervisions, making the segmentation continuous and tunable. This continuous process allows us to recommend high-quality vessel segmentation with clear caliber and topology. Experimental results show that our results outperform manual annotations of current public datasets and conventional filtering effects. Furthermore, such a continuous process can also be used to generate an uncertainty map representing weak vessel boundaries and noise.


title: Training-conditional coverage for distribution-free predictive inference

abstract: The field of distribution-free predictive inference provides tools for provably valid prediction without any assumptions on the distribution of the data, which can be paired with any regression algorithm to provide accurate and reliable predictive intervals. The guarantees provided by these methods are typically marginal, meaning that predictive accuracy holds on average over both the training data set and the test point that is queried. However, it may be preferable to obtain a stronger guarantee of training-conditional coverage, which would ensure that most draws of the training data set result in accurate predictive accuracy on future test points. This property is known to hold for the split conformal prediction method. In this work, we examine the training-conditional coverage properties of several other distribution-free predictive inference methods, and find that training-conditional coverage is achieved by some methods but is impossible to guarantee without further assumptions for others.


title: RPS Thermodynamics of Taub-NUT AdS Black Holes in the Presence of Central Charge and the Weak Gravity Conjecture

abstract: We study the thermodynamics of the Taub-NUT AdS black holes by Visser holographic method using AdS radius as a constant parameter under the restricted phase space approach. Instead of the variables $P$ and $V$, we deal with the central charge and also chemical potential as a unique couple of conjugate thermodynamic variables. We study some interesting properties of the Taub-NUT black holes e.g. supercritical phase equilibrium in the $T-S$ processes, $Q-\Phi$ and the Hawking-Page phase transition in the $\mu-C$ processes. As a consequence, the consistency of the weak gravity conjecture of multi-charge for Taub-NUT-AdS black holes at critical points is proved. We conclude that in the presence of the central charge and assuming $C=\frac{3}{8}\ell^2$, weak gravity conjecture could be satisfied in the Taub-NUT-AdS black holes with $\hat{n}\ll 1$.


title: Virtual homological eigenvalues and the Weil--Petersson translation length

abstract: For any pseudo-Anosov automorphism on an orientable closed surface, an inquality is established bounding certain growth of virtual homological eigenvalues with the Weil--Petersson translation length. The new inquality fits nicely with other known inequalities due to Kojima and McShane, and due to L\^e. The new quantity to be considered is the square sum of the logarithmic radii of the homological eigenvalues (with multiplicity) outside the complex unit circle, called the homological Jensen square sum. The main theorem is as follows. For any cofinal sequence of regular finite covers of a given surface, together with lifts of a given pseudo-Anosov, the homological Jensen square sum of the lifts grows at most linearly fast compared to the covering degree, and the square root of the growth rate is at most $1/\sqrt{4\pi}$ times the Weil--Petersson translation length of the given pseudo-Anosov.


title: Distilling Inter-Class Distance for Semantic Segmentation

abstract: Knowledge distillation is widely adopted in semantic segmentation to reduce the computation cost.The previous knowledge distillation methods for semantic segmentation focus on pixel-wise feature alignment and intra-class feature variation distillation, neglecting to transfer the knowledge of the inter-class distance in the feature space, which is important for semantic segmentation. To address this issue, we propose an Inter-class Distance Distillation (IDD) method to transfer the inter-class distance in the feature space from the teacher network to the student network. Furthermore, semantic segmentation is a position-dependent task,thus we exploit a position information distillation module to help the student network encode more position information. Extensive experiments on three popular datasets: Cityscapes, Pascal VOC and ADE20K show that our method is helpful to improve the accuracy of semantic segmentation models and achieves the state-of-the-art performance. E.g. it boosts the benchmark model("PSPNet+ResNet18") by 7.50% in accuracy on the Cityscapes dataset.


title: Dispersing Facilities on Planar Segment and Circle Amidst Repulsion

abstract: In this paper we consider the problem of locating $k$ obnoxious facilities (congruent disks of maximum radius) amidst $n$ demand points (existing repulsive facility sites) ordered from left to right in the plane so that none of the existing facility sites are affected (no demand point falls in the interior of the disks). We study this problem in two restricted settings: (i) the obnoxious facilities are constrained to be centered on along a predetermined horizontal line segment $\bar{pq}$, and (ii) the obnoxious facilities are constrained to lie on the boundary arc of a predetermined disk $\cal C$. An $(1-\epsilon)$-approximation algorithm was given recently to solve the constrained problem in (i) in time $O((n+k)\log{\frac{||pq||}{2(k-1)\epsilon}})$, where $\epsilon>0$ \cite{Sing2021}. Here, for the problem in (i), we first propose an exact polynomial-time algorithm based on a binary search on all candidate radii computed explicitly. This algorithm runs in $O((nk)^2\log{(nk)}+(n+k)\log{(nk)})$ time. We then show that using the parametric search technique of Megiddo \cite{MG1983}; we can solve the problem exactly in $O((n+k)^2)$ time, which is faster than the latter. Continuing further, using the improved parametric technique we give an $O(n\log^2 n)$-time algorithm for $k=2$. We finally show that the above $(1-\epsilon)$-approximation algorithm of \cite{Sing2021} can be easily adapted to solve the circular constrained problem of (ii) with an extra multiplicative factor of $n$ in the running time.


title: A co-design method of online learning SMC law via an input-mappping strategy

abstract: The research on sliding mode control strategy is generally based on the robust approach. The larger parameter space consideration will inevitably sacrifice part of the performance. Recently, the data-driven sliding mode control method attracts much attention and shows excellent benefits in the fact that data is introduced to compensate the controller. Nevertheless, most of the research on data-driven sliding mode control relied on identification techniques, which limits its online applications due to the special requirements of the data. In this paper, an input-mapping technique is inserted into the design framework of sliding mode control to compensate for the influence generated by the unknown dynamic of the system. The major novelty of the proposed input-mapping sliding mode control strategy lies in that the sliding mode surface and the sliding mode controller are co-designed through online learning from historical input-output data to minimize an objective function. Then, the convergence rate of the system is improved significantly based on the method designed in this work. Finally, some simulations are provided to show the effectiveness and superiority of the proposed methods.


title: On the trivializability of rank-one cocycles with an invariant field of projective measures

abstract: Let $G$ be $\text{SO}^\circ(n,1)$ for $n \geq 3$ and consider a lattice $\Gamma < G$. Given a standard Borel probability $\Gamma$-space $(\Omega,\mu)$, consider a measurable cocycle $\sigma:\Gamma \times \Omega \rightarrow \mathbf{H}(\kappa)$, where $\mathbf{H}$ is a connected algebraic $\kappa$-group over a local field $\kappa$. Under the assumption of compatibility between $G$ and the pair $(\mathbf{H},\kappa)$, we show that if $\sigma$ admits an equivariant field of probability measures on a suitable projective space, then $\sigma$ is trivializable. An analogous result holds in the complex hyperbolic case.


title: Towards Robust 3D Object Recognition with Dense-to-Sparse Deep Domain Adaptation

abstract: Three-dimensional (3D) object recognition is crucial for intelligent autonomous agents such as autonomous vehicles and robots alike to operate effectively in unstructured environments. Most state-of-art approaches rely on relatively dense point clouds and performance drops significantly for sparse point clouds. Unsupervised domain adaption allows to minimise the discrepancy between dense and sparse point clouds with minimal unlabelled sparse point clouds, thereby saving additional sparse data collection, annotation and retraining costs. In this work, we propose a novel method for point cloud based object recognition with competitive performance with state-of-art methods on dense and sparse point clouds while being trained only with dense point clouds.


title: Bubble rise in a Hele-Shaw cell: bridging the gap between viscous and inertial regimes

abstract: The rise of a single bubble confined between two vertical plates is investigated over a wide range of Reynolds numbers. In particular, we focus on the evolution of the bubble speed, aspect ratio and drag coefficient during the transition from the viscous to the inertial regime. For sufficiently large bubbles, a simple model based on power balance captures the transition for the bubble velocity and matches all the experimental data despite strong time variations of bubble aspect ratio at large Reynolds numbers. Surprisingly, bubbles in the viscous regime systematically exhibit an ellipse elongated along its direction of motion while bubbles in the inertia-dominated regime are always flattened perpendicularly to it.


title: Label-aware Multi-level Contrastive Learning for Cross-lingual Spoken Language Understanding

abstract: Despite the great success of spoken language understanding (SLU) in high-resource languages, it remains challenging in low-resource languages mainly due to the lack of labeled training data. The recent multilingual code-switching approach achieves better alignments of model representations across languages by constructing a mixed-language context in zero-shot cross-lingual SLU. However, current code-switching methods are limited to implicit alignment and disregard the inherent semantic structure in SLU, i.e., the hierarchical inclusion of utterances, slots, and words. In this paper, we propose to model the utterance-slot-word structure by a multi-level contrastive learning framework at the utterance, slot, and word levels to facilitate explicit alignment. Novel code-switching schemes are introduced to generate hard negative examples for our contrastive learning framework. Furthermore, we develop a label-aware joint model leveraging label semantics to enhance the implicit alignment and feed to contrastive learning. Our experimental results show that our proposed methods significantly improve the performance compared with the strong baselines on two zero-shot cross-lingual SLU benchmark datasets.


title: Representations of the weak Weyl commutation relation

abstract: Let $G$ be a locally compact abelian group with Pontraygin dual $\widehat{G}$. Suppose $P$ is a closed subsemigroup of $G$ containing the identity element $0$. We assume that $P$ has dense interior and $P$ generates $G$. Let $U:=\{U_{\chi}\}_{\chi \in \widehat{G}}$ be a strongly continuous group of unitaries and let $V:=\{V_{a}\}_{a \in P}$ be a strongly continuous semigroup of isometries. We call $(U,V)$ a weak Weyl pair if \[ U_{\chi}V_{a}=\chi(a)V_{a}U_{\chi}\] for every $\chi \in \widehat{G}$ and for every $a \in P$. We work out the representation theory (the factorial and the irreducible representations) of the above commutation relation under the assumption that $\{V_{a}V_{a}^{*}:a \in P\}$ is a commuting family of projections. Not only does this generalise the results of [4] and [5], our proof brings out the Morita equivalence that lies behind the results. For $P=[0,\infty)\times [0,\infty)$, we demonstrate that if we drop the commutativity assumption on the range projections, then the representation theory of the weak Weyl commutation relation becomes very complicated.


title: On Some Estimate for the Norm of an Interpolation Projector

abstract: Let $Q_n=[0,1]^n$ be the unit cube in ${\mathbb R}^n$ and let $C(Q_n)$ be a space of continuous functions $f:Q_n\to{\mathbb R}$ with the norm $\|f\|_{C(Q_n)}:=\max_{x\in Q_n}|f(x)|.$ By $\Pi_1\left({\mathbb R}^n\right)$ denote a set of polynomials of degree $\leq 1$, i.e., a set of linear functions on ${\mathbb R}^n$. The interpolation projector $P:C(Q_n)\to \Pi_1({\mathbb R}^n)$ with the nodes $x^{(j)}\in Q_n$ is defined by the equalities $Pf\left(x^{(j)}\right)= f\left(x^{(j)}\right)$, $j=1,$ $\ldots,$ $ n+1$. Let $\|P\|_{Q_n}$ be the norm of $P$ as an operator from $C(Q_n)$ to $C(Q_n)$. If $n+1$ is an Hadamard number, then there exists a nondegenerate regular simplex having the vertices at vertices of $Q_n$. We discuss some approaches to get inequalities of the form $||P||_{Q_n}\leq c\sqrt{n}$ for the norm of the corresponding projector $P$.


title: Mechanising G\"odel-L\"ob provability logic in HOL Light

abstract: We introduce our implementation in HOL Light of the metatheory for G\"odel-L\"ob provability logic (GL), covering soundness and completeness w.r.t. possible world semantics and featuring a prototype of a theorem prover for GL itself. The strategy we develop here to formalise the modal completeness proof overcomes the technical difficulty due to the non-compactness of GL and is an adaptation -- according to the formal language and tools at hand -- of the proof given in George Boolos' 1995 monograph. Our theorem prover for GL relies then on this formalisation, is implemented as a tactic of HOL Light that mimics the proof search in the labelled sequent calculus G3KGL, and works as a decision algorithm for the provability logic: if the algorithm positively terminates, the tactic succeeds in producing a HOL Light theorem stating that the input formula is a theorem of GL; if the algorithm negatively terminates, the tactic extracts a model falsifying the input formula. We discuss our code for the formal proof of modal completeness and the design of our proof search algorithm. Furthermore, we propose some examples of the latter's interactive and automated use.


title: A note on unfolding manifolds of meromorphic connections on the Riemann sphere with unramified singularities

abstract: This note explains a construction of a Poisson manifold whose symplectic foliation describes a deformation of a moduli space of meromorphic connections with unramified irregular singularities. In particular, this deformation of the moduli space corresponds to the unfolding of irregular singularities of the meromorphic connections. This is an announcement of some results in the forthcoming paper.


title: Arrhythmia Classifier using Binarized Convolutional Neural Network for Resource-Constrained Devices

abstract: Monitoring electrocardiogram signals is of great significance for the diagnosis of arrhythmias. In recent years, deep learning and convolutional neural networks have been widely used in the classification of cardiac arrhythmias. However, the existing neural network applied to ECG signal detection usually requires a lot of computing resources, which is not friendlyF to resource-constrained equipment, and it is difficult to realize real-time monitoring. In this paper, a binarized convolutional neural network suitable for ECG monitoring is proposed, which is hardware-friendly and more suitable for use in resource-constrained wearable devices. Targeting the MIT-BIH arrhythmia database, the classifier based on this network reached an accuracy of 95.67% in the five-class test. Compared with the proposed baseline full-precision network with an accuracy of 96.45%, it is only 0.78% lower. Importantly, it achieves 12.65 times the computing speedup, 24.8 times the storage compression ratio, and only requires a quarter of the memory overhead.


title: Genuine N-partite entanglement and distributed relationships in the background of dilation black holes

abstract: With the complexity of information tasks, the bipartite and tripartite entanglement can no longer meet our needs, and we need more entangled particles to process relativistic quantum information. In this paper, we study the genuine N-partite entanglement and distributed relationships for Dirac fields in the background of dilaton black holes. We present the general analytical expression including all physically accessible and inaccessible entanglement in curved spacetime. We find that the accessible N-partite entanglement exhibits irreversible decoherence as the increase of black hole's dilaton, and on the other hand the inaccessible N-partite entanglement increases from zero monotonically or non-monotonically, depending on the relative numbers of the accessible to the inaccessible modes, which forms a sharp contrast with the cases of bipartite and tripartite entanglement where the inaccessible entanglement increase only monotonically. We also find two distributed relationships between accessible and inaccessible N-partite entanglement in curved spacetime. The results give us a new understanding of the Hawking radiation.


title: Playing Tic-Tac-Toe Games with Intelligent Single-pixel Imaging

abstract: Single-pixel imaging (SPI) is a novel optical imaging technique by replacing a two-dimensional pixelated sensor with a single-pixel detector and pattern illuminations. SPI have been extensively used for various tasks related to image acquisition and processing. In this work, a novel non-image-based task of playing Tic-Tac-Toe games interactively is merged into the framework of SPI. An optoelectronic artificial intelligent (AI) player with minimal digital computation can detect the game states, generate optimal moves and display output results mainly by pattern illumination and single-pixel detection. Simulated and experimental results demonstrate the feasibility of proposed scheme and its unbeatable performance against human players.


title: Stacked central configurations with a homogeneous potential in $\mathbb{R}^3$

abstract: In this paper we generalize some results in \cite{Yu2021} concerning stacked central configurations. We can deal with the general homogeneous potential $U_{\alpha}$ (containing the vortex case) in $\mathbb{R}^3$. We give the admissible set of $\alpha$ for a convex central configuration (with respect to the Newtonian potential i.e. $\alpha=3$). We discuss some properties of the regular $n$-gon co-circular central configurations. We also find that the stacked property is particular for central configurations by studying the S-balanced configuration case.


title: Variational Sparse Coding with Learned Thresholding

abstract: Sparse coding strategies have been lauded for their parsimonious representations of data that leverage low dimensional structure. However, inference of these codes typically relies on an optimization procedure with poor computational scaling in high-dimensional problems. For example, sparse inference in the representations learned in the high-dimensional intermediary layers of deep neural networks (DNNs) requires an iterative minimization to be performed at each training step. As such, recent, quick methods in variational inference have been proposed to infer sparse codes by learning a distribution over the codes with a DNN. In this work, we propose a new approach to variational sparse coding that allows us to learn sparse distributions by thresholding samples, avoiding the use of problematic relaxations. We first evaluate and analyze our method by training a linear generator, showing that it has superior performance, statistical efficiency, and gradient estimation compared to other sparse distributions. We then compare to a standard variational autoencoder using a DNN generator on the Fashion MNIST and CelebA datasets


title: Vector Representations of Idioms in Conversational Systems

abstract: We demonstrate, in this study, that an open-domain conversational system trained on idioms or figurative language generates more fitting responses to prompts containing idioms. Idioms are part of everyday speech in many languages, across many cultures, but they pose a great challenge for many Natural Language Processing (NLP) systems that involve tasks such as Information Retrieval (IR) and Machine Translation (MT), besides conversational AI. We utilize the Potential Idiomatic Expression (PIE)-English idioms corpus for the two tasks that we investigate: classification and conversation generation. We achieve state-of-the-art (SoTA) result of 98% macro F1 score on the classification task by using the SoTA T5 model. We experiment with three instances of the SoTA dialogue model, Dialogue Generative Pre-trained Transformer (DialoGPT), for conversation generation. Their performances are evaluated using the automatic metric perplexity and human evaluation. The results show that the model trained on the idiom corpus generates more fitting responses to prompts containing idioms 71.9% of the time, compared to a similar model not trained on the idioms corpus. We contribute the model checkpoint/demo and code on the HuggingFace hub for public access.


title: First- and Second-Order High Probability Complexity Bounds for Trust-Region Methods with Noisy Oracles

abstract: In this paper, we present convergence guarantees for a modified trust-region method designed for minimizing objective functions whose value and gradient and Hessian estimates are computed with noise. These estimates are produced by generic stochastic oracles, which are not assumed to be unbiased or consistent. We introduce these oracles and show that they are more general and have more relaxed assumptions than the stochastic oracles used in prior literature on stochastic trust-region methods. Our method utilizes a relaxed step acceptance criterion and a cautious trust-region radius updating strategy which allows us to derive exponentially decaying tail bounds on the iteration complexity for convergence to points that satisfy approximate first- and second-order optimality conditions. Finally, we present two sets of numerical results. We first explore the tightness of our theoretical results on an example with adversarial zeroth- and first-order oracles. We then investigate the performance of the modified trust-region algorithm on standard noisy derivative-free optimization problems.


title: Performance of the polarization leakage correction in the PILOT data

abstract: The Polarized Instrument for Long-wavelength Observation of the Tenuous interstellar medium (PILOT) is a balloon-borne experiment that aims to measure the polarized emission of thermal dust at a wavelength of 240 um (1.2 THz). The PILOT experiment flew from Timmins, Ontario, Canada in 2015 and 2019 and from Alice Springs, Australia in April 2017. The in-flight performance of the instrument during the second flight was described in Mangilli et al. 2019. In this paper, we present data processing steps that were not presented in Mangilli et al. 2019 and that we have recently implemented to correct for several remaining instrumental effects. The additional data processing concerns corrections related to detector cross-talk and readout circuit memory effects, and leakage from total intensity to polarization. We illustrate the above effects and the performance of our corrections using data obtained during the third flight of PILOT, but the methods used to assess the impact of these effects on the final science-ready data, and our strategies for correcting them will be applied to all PILOT data. We show that the above corrections, and in particular that for the intensity to polarization leakage, which is most critical for accurate polarization measurements with PILOT, are accurate to better than 0.4 % as measured on Jupiter during flight#3.


title: $J/\Psi$ and $\chi_{cJ}(J=0,1)$ production in electron-positron annihilation at $\sqrt{s}=10.6$ GeV in the framework of Bethe-Salpeter equation

abstract: In present work we study the production of ground and excited charmonium pairs in $e^- e^+ \rightarrow \Psi(nS)+ \chi_{cJ}(nP)$ for $J=0,1$ and $n=1,2$, through leading order (LO) tree-level diagrams $\sim O(\alpha_{em} \alpha_s)$, which proceed through exchange of a virtual photon and an internal gluon line connecting two quark lines (in the triangle quark loop part of the diagram), in the framework of $4\times 4$ Bethe-Salpeter equation, at center of mass energy, $\sqrt{s}=10.6 GeV.$ We have tried to show that the cross sections for this process calculated with use of the four leading order $\sim O(\alpha_{em} \alpha_s)$ diagrams using BSE approach come close to experimental data, which might be mainly due to the consistent treatment of motion of quarks inside the hadrons in the BSE framework.


title: Automated Algorithm Selection for Radar Network Configuration

abstract: The configuration of radar networks is a complex problem that is often performed manually by experts with the help of a simulator. Different numbers and types of radars as well as different locations that the radars shall cover give rise to different instances of the radar configuration problem. The exact modeling of these instances is complex, as the quality of the configurations depends on a large number of parameters, on internal radar processing, and on the terrains on which the radars need to be placed. Classic optimization algorithms can therefore not be applied to this problem, and we rely on "trial-and-error" black-box approaches. In this paper, we study the performances of 13 black-box optimization algorithms on 153 radar network configuration problem instances. The algorithms perform considerably better than human experts. Their ranking, however, depends on the budget of configurations that can be evaluated and on the elevation profile of the location. We therefore also investigate automated algorithm selection approaches. Our results demonstrate that a pipeline that extracts instance features from the elevation of the terrain performs on par with the classical, far more expensive approach that extracts features from the objective function.


title: An abstract nonlinear evolution problem: Energy decay

abstract: In this paper, we consider energy decay estimates for the following nonlinear evolution problem $$\begin{split} [P(u_t(t))]_t + A u(t) + B(t , x , u_t(t)) =0,\quad t\in J=(0,\infty), \end{split}$$ under suitable assumptions on the self-adjoint operators $P$ and $B$ and the divergence operator $A$. The work extends the earlier work of Marcati, Nakao, Levin and Pucci on abstract evolution equations to the case with possibly nonlinear damping. The technique also differs from earlier techniques. Here, we make use of a modified perturbed energy technique.


title: Deep learning approximations for non-local nonlinear PDEs with Neumann boundary conditions

abstract: Nonlinear partial differential equations (PDEs) are used to model dynamical processes in a large number of scientific fields, ranging from finance to biology. In many applications standard local models are not sufficient to accurately account for certain non-local phenomena such as, e.g., interactions at a distance. In order to properly capture these phenomena non-local nonlinear PDE models are frequently employed in the literature. In this article we propose two numerical methods based on machine learning and on Picard iterations, respectively, to approximately solve non-local nonlinear PDEs. The proposed machine learning-based method is an extended variant of a deep learning-based splitting-up type approximation method previously introduced in the literature and utilizes neural networks to provide approximate solutions on a subset of the spatial domain of the solution. The Picard iterations-based method is an extended variant of the so-called full history recursive multilevel Picard approximation scheme previously introduced in the literature and provides an approximate solution for a single point of the domain. Both methods are mesh-free and allow non-local nonlinear PDEs with Neumann boundary conditions to be solved in high dimensions. In the two methods, the numerical difficulties arising due to the dimensionality of the PDEs are avoided by (i) using the correspondence between the expected trajectory of reflected stochastic processes and the solution of PDEs (given by the Feynman-Kac formula) and by (ii) using a plain vanilla Monte Carlo integration to handle the non-local term. We evaluate the performance of the two methods on five different PDEs arising in physics and biology. In all cases, the methods yield good results in up to 10 dimensions with short run times. Our work extends recently developed methods to overcome the curse of dimensionality in solving PDEs.


title: Towards Practical Physics-Informed ML Design and Evaluation for Power Grid

abstract: When applied to a real-world safety critical system like the power grid, general machine learning methods suffer from expensive training, non-physical solutions, and limited interpretability. To address these challenges for power grids, many recent works have explored the inclusion of grid physics (i.e., domain expertise) into their method design, primarily through including system constraints and technical limits, reducing search space and defining meaningful features in latent space. Yet, there is no general methodology to evaluate the practicality of these approaches in power grid tasks, and limitations exist regarding scalability, generalization, interpretability, etc. This work formalizes a new concept of physical interpretability which assesses how a ML model makes predictions in a physically meaningful way and introduces an evaluation methodology that identifies a set of attributes that a practical method should satisfy. Inspired by the evaluation attributes, the paper further develops a novel contingency analysis warm starter for MadIoT cyberattack, based on a conditional Gaussian random field. This method serves as an instance of an ML model that can incorporate diverse domain knowledge and improve on these identified attributes. Experiments validate that the warm starter significantly boosts the efficiency of contingency analysis for MadIoT attack even with shallow NN architectures.


title: Superconducting giant atom waveguide QED: Quantum Zeno and Anti-Zeno effects in ultrastrong coupling regime

abstract: The giant atom system is a new paradigm in quantum optics, in which the traditional dipole approximation is not available. In this paper, we construct an artificial giant atom model by coupling a superconducting circuits to a transmission line by two coupling points. In the ultrastrong coupling regime, we show that the Lamb shift of the giant atom, which is induced by the non-negligible counter-rotating atom-waveguide coupling term, will modify its dissipation process. Furthermore, we investigate quantum Zeno and anti-Zeno effect where the size of the giant atom serves as a sensitive controller. Specifically, by comparing the critical measurement interval and the life time of the giant atom, we clarify the condition for the occurring of quantum anti-Zeno effect. We hope our work is useful for the application of giant atom system in the investigation of fundamental problems of quantum mechanics.


title: Aspects of self-dual Yang-Mills and self-dual gravity

abstract: In this thesis, we study the all same helicity loop amplitudes in self-dual Yang-Mills and self-dual gravity. These amplitudes have long been conjectured to be interpreted as an anomaly and are recently linked to the UV divergence of two-loop quantum gravity. In the first part of the thesis, we study the loop amplitudes in self-dual Yang-Mills. We show that the four point one-loop amplitude can be reduced to a computation of shifts, which strongly suggests a case for an anomaly interpretation. We next propose a new formula for the one-loop amplitudes at all multiplicity, in terms of the Berends-Giele currents connected by an effective propagator. We prove the formula by observing that it readily implies the correct collinear properties. To demonstrate the validity of our formula, we do an explicit computation at 3, 4 and 5 points and reproduce the known results. The region momenta variables play an important role in our formula and thus it points to both the worldsheet and the momentum twistor interpretations. In the second part of the thesis, we study the one loop behaviour of chiral Einstein-Cartan gravity and the one-loop amplitudes in self-dual gravity.


title: Empathetic Response Generation with State Management

abstract: A good empathetic dialogue system should first track and understand a user's emotion and then reply with an appropriate emotion. However, current approaches to this task either focus on improving the understanding of users' emotion or on proposing better responding strategies, and very few works consider both at the same time. Our work attempts to fill this vacancy. Inspired by task-oriented dialogue systems, we propose a novel empathetic response generation model with emotion-aware dialogue management. The emotion-aware dialogue management contains two parts: (1) Emotion state tracking maintains the current emotion state of the user and (2) Empathetic dialogue policy selection predicts a target emotion and a user's intent based on the results of the emotion state tracking. The predicted information is then used to guide the generation of responses. Experimental results show that dynamically managing different information can help the model generate more empathetic responses compared with several baselines under both automatic and human evaluations.


title: Block Modulating Video Compression: An Ultra Low Complexity Image Compression Encoder for Resource Limited Platforms

abstract: We consider the image and video compression on resource limited platforms. An ultra low-cost image encoder, named Block Modulating Video Compression (BMVC) with an encoding complexity ${\cal O}(1)$ is proposed to be implemented on mobile platforms with low consumption of power and computation resources. We also develop two types of BMVC decoders, implemented by deep neural networks. The first BMVC decoder is based on the Plug-and-Play (PnP) algorithm, which is flexible to different compression ratios. And the second decoder is a memory efficient end-to-end convolutional neural network, which aims for real-time decoding. Extensive results on the high definition images and videos demonstrate the superior performance of the proposed codec and the robustness against bit quantization.


title: Topological electronic structure of YbMg$_2$Bi$_2$ and CaMg$_2$Bi$_2$

abstract: Zintl compounds have been extensively studied for their outstanding thermoelectric properties, but their electronic structure remains largely unexplored. Here, we present a detailed investigation of the electronic structure of the isostructural thermopower materials YbMg$_2$Bi$_2$ and CaMg$_2$Bi$_2$ using angle-resolved photoemission spectroscopy (ARPES) and density functional theory (DFT). The ARPES results show a significantly smaller Fermi surface and Fermi velocity in CaMg$_2$Bi$_2$ than in YbMg$_2$Bi$_2$. Our ARPES results also reveal that in the case of YbMg$_2$Bi$_2$, Yb-4$f$ states reside well below the Fermi level and likely have a negligible impact on transport properties. To properly model the position of 4$f$-states, as well as the overall electronic structure, a Hubbard $U$ at the Yb sites and spin-orbit coupling (SOC) have to be included in the DFT calculations. Interestingly, the theoretical results reveal that both materials belong to a $Z_2$ topological class and host robust topological surface states around $E_\mathrm {F}$. Due to the intrinsic hole doping, the topological states reside above the Fermi level, inaccessible by ARPES. Our results also suggest that in addition to SOC, vacancies and the resulting hole doping play an important role in the transport properties of these materials.


title: Search for Dark Photon Dark Matter in the Mass Range $74\mbox{--}110\,\mu\mathrm{eV}/c^2$ with a Cryogenic Millimeter-Wave Receiver

abstract: We search for the dark photon dark matter (DPDM) using a cryogenic millimeter-wave receiver. DPDM has a kinetic coupling with electromagnetic fields with a coupling constant of $\chi$, and is converted into ordinary photons at the surface of a metal plate. We search for signal of this conversion in the frequency range $18\text{--}26.5\,\mathrm{GHz}$, which corresponds to the mass range $74\text{--}110\,mu\mathrm{eV}/c^2$. We observed no significant signal excess, allowing us to set an upper bound of $\chi < (0.3\text{--}2.0)\times 10^{-10}$ at 95\% confidence level. This is the most stringent constraint to date, and tighter than cosmological constraints. Improvements from previous studies are obtained by employing a cryogenic optical path and a fast spectrometer.


title: Decompositions of Unit Hypercubes and the Reversion of a Generalized M\"obius Series

abstract: Let $s_d(n)$ be the number of distinct decompositions of the $d$-dimensional hypercube with $n$ rectangular regions that can be obtained via a sequence of splitting operations. We prove that the generating series $y = \sum_{n \geq 1} s_d(n)x^n$ satisfies the functional equation $x = \sum_{n\geq 1} \mu_d(n)y^n$, where $\mu_d(n)$ is the $d$-fold Dirichlet convolution of the M\"obius function. This generalizes a recent result by Goulden et al., and shows that $s_1(n)$ also gives the number of natural exact covering systems of $\mZ$ with $n$ residual classes. We also prove an asymptotic formula for $s_d(n)$ and describe a bijection between $1$-dimensional decompositions and natural exact covering systems.


title: Variational Inference for Nonlinear Inverse Problems via Neural Net Kernels: Comparison to Bayesian Neural Networks, Application to Topology Optimization

abstract: Inverse problems and, in particular, inferring unknown or latent parameters from data are ubiquitous in engineering simulations. A predominant viewpoint in identifying unknown parameters is Bayesian inference where both prior information about the parameters and the information from the observations via likelihood evaluations are incorporated into the inference process. In this paper, we adopt a similar viewpoint with a slightly different numerical procedure from standard inference approaches to provide insight about the localized behavior of unknown underlying parameters. We present a variational inference approach which mainly incorporates the observation data in a point-wise manner, i.e. we invert a limited number of observation data leveraging the gradient information of the forward map with respect to parameters, and find true individual samples of the latent parameters when the forward map is noise-free and one-to-one. For statistical calculations (as the ultimate goal in simulations), a large number of samples are generated from a trained neural network which serves as a transport map from the prior to posterior latent parameters. Our neural network machinery, developed as part of the inference framework and referred to as Neural Net Kernels (NNK), is based on hierarchical (deep) kernels which provide greater flexibility for training compared to standard neural networks. We showcase the effectiveness of our inference procedure in identifying bimodal and irregular distributions compared to a number of approaches including Markov Chain Monte Carlo sampling approaches and a Bayesian neural network approach.


title: Reduced superfluid density in a doped spin liquid candidate

abstract: A quantum spin liquid (QSL) would be an exotic stage for superconductivity. A promising candidate for a doped QSL is the organic triangular-lattice system, kappa-(BEDT-TTF)4Hg2:89Br8, which hosts a non-Fermi liquid and magnetism of a QSL nature and shows superconductivity upon cooling. Here, we report that its superfluid density is anomalously reduced, indicating the existence of substantial incoherent spectral weight and weak superconducting phase stiffness. Moreover, the ratio of the superconducting transition temperature to the nominal Fermi temperature is as large as 0.1, orders of magnitude beyond typical BCS values. These observations in a system free from competing orders that complicate the similar issue in underdoped cuprates give a clue to the enigmatic missing superfluid density in doped Mott insulators.


title: Inner autoequivalences in general and those of monoidal categories in particular

abstract: We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence of binary coproducts, unifying various known one-dimensional results and providing tractable computational tools in the two-dimensional setting. In particular, we show that the isotropy 2-group of a monoidal category coincides with its Picard 2-group, i.e., the 2-group on its weakly invertible objects.


title: Timestamp-independent Haptic-Visual Synchronization

abstract: The booming haptic data significantly improves the users'immersion during multimedia interaction. As a result, the study of Haptic,Audio-Visual Environment(HAVE)has attracted attentions of multimedia community. To realize such a system, a challenging tack is the synchronization of multiple sensorial signals that is critical to user experience. Despite of audio-visual synchronization efforts, there is still a lack of haptic-aware multimedia synchronization model. In this work, we propose a timestamp-independent synchronization for haptic-visual signal transmission. First, we exploit the sequential correlations during delivery and playback of a haptic-visual communication system. Second, we develop a key sample extraction of haptic signals based on the force feedback characteristics, and a key frame extraction of visual signals based on deep object detection. Third, we combine the key samples and frames to synchronize the corresponding haptic-visual signals. Without timestamps in signal flow, the proposed method is still effective and more robust to complicated network conditions. Subjective evaluation also shows a significant improvement of user experience with the proposed method.


title: Better Retrieval May Not Lead to Better Question Answering

abstract: Considerable progress has been made recently in open-domain question answering (QA) problems, which require Information Retrieval (IR) and Reading Comprehension (RC). A popular approach to improve the system's performance is to improve the quality of the retrieved context from the IR stage. In this work we show that for StrategyQA, a challenging open-domain QA dataset that requires multi-hop reasoning, this common approach is surprisingly ineffective -- improving the quality of the retrieved context hardly improves the system's performance. We further analyze the system's behavior to identify potential reasons.


title: A gentle tutorial on accelerated parameter and confidence interval estimation for hidden Markov models using Template Model Builder

abstract: A very common way to estimate the parameters of a hidden Markov model (HMM) is the relatively straightforward computation of maximum likelihood (ML) estimates. For this task, most users rely on user-friendly implementation of the estimation routines via an interpreted programming language such as the statistical software environment R (R Core Team, 2021). Such an approach can easily require time-consuming computations, in particular for longer sequences of observations. In addition, selecting a suitable approach for deriving confidence intervals for the estimated parameters is not entirely obvious (see, e.g., Zucchini et al., 2016; Lystig and Hughes, 2002; Visser et al., 2000), and often the computationally intensive bootstrap methods have to be applied. In this tutorial, we illustrate how to speed up the computation of ML estimates significantly via the R package TMB. Moreover, this approach permits simple retrieval of standard errors at the same time. We illustrate the performance of our routines using different data sets. First, two smaller samples from a mobile application for tinnitus patients and a well-known data set of fetal lamb movements with 87 and 240 data points, respectively. Second, we rely on larger data sets of simulated data of sizes 2000 and 5000 for further analysis. This tutorial is accompanied by a collection of scripts which are all available on GitHub. These scripts allow any user with moderate programming experience to benefit quickly from the computational advantages of TMB.


title: One phase problem for two positive harmonic function: below the codimension $1$ threshold

abstract: What can be said about the domain $\Om$ in $\bR^n$ for which its Green's function $G(z)$ satisfies $G(z)\asymp \dist (z, \pd\Om)^\delta$? What can we say about $\Om$ if the Boundary Harnack Principle holds in the form $u/v=\text{real analytic}$ on the part $E$ of its boundary? Here $u, v$ are positive harmonic functions on $\Om$ vanishing on $E$. Is this part of the boundary also nice? We discuss these questions below and give answers in very special cases.


title: GenISP: Neural ISP for Low-Light Machine Cognition

abstract: Object detection in low-light conditions remains a challenging but important problem with many practical implications. Some recent works show that, in low-light conditions, object detectors using raw image data are more robust than detectors using image data processed by a traditional ISP pipeline. To improve detection performance in low-light conditions, one can fine-tune the detector to use raw image data or use a dedicated low-light neural pipeline trained with paired low- and normal-light data to restore and enhance the image. However, different camera sensors have different spectral sensitivity and learning-based models using raw images process data in the sensor-specific color space. Thus, once trained, they do not guarantee generalization to other camera sensors. We propose to improve generalization to unseen camera sensors by implementing a minimal neural ISP pipeline for machine cognition, named GenISP, that explicitly incorporates Color Space Transformation to a device-independent color space. We also propose a two-stage color processing implemented by two image-to-parameter modules that take down-sized image as input and regress global color correction parameters. Moreover, we propose to train our proposed GenISP under the guidance of a pre-trained object detector and avoid making assumptions about perceptual quality of the image, but rather optimize the image representation for machine cognition. At the inference stage, GenISP can be paired with any object detector. We perform extensive experiments to compare our method to other low-light image restoration and enhancement methods in an extrinsic task-based evaluation and validate that GenISP can generalize to unseen sensors and object detectors. Finally, we contribute a low-light dataset of 7K raw images annotated with 46K bounding boxes for task-based benchmarking of future low-light image restoration and object detection.