title: Less is More: Adaptive Curriculum Learning for Thyroid Nodule Diagnosis

abstract: Thyroid nodule classification aims at determining whether the nodule is benign or malignant based on a given ultrasound image. However, the label obtained by the cytological biopsy which is the golden standard in clinical medicine is not always consistent with the ultrasound imaging TI-RADS criteria. The information difference between the two causes the existing deep learning-based classification methods to be indecisive. To solve the Inconsistent Label problem, we propose an Adaptive Curriculum Learning (ACL) framework, which adaptively discovers and discards the samples with inconsistent labels. Specifically, ACL takes both hard sample and model certainty into account, and could accurately determine the threshold to distinguish the samples with Inconsistent Label. Moreover, we contribute TNCD: a Thyroid Nodule Classification Dataset to facilitate future related research on the thyroid nodules. Extensive experimental results on TNCD based on three different backbone networks not only demonstrate the superiority of our method but also prove that the less-is-more principle which strategically discards the samples with Inconsistent Label could yield performance gains. Source code and data are available at https://github.com/chenghui-666/ACL/.


title: On the modern deep learning approaches for precipitation downscaling

abstract: Deep Learning (DL) based downscaling has become a popular tool in earth sciences recently. Increasingly, different DL approaches are being adopted to downscale coarser precipitation data and generate more accurate and reliable estimates at local (~few km or even smaller) scales. Despite several studies adopting dynamical or statistical downscaling of precipitation, the accuracy is limited by the availability of ground truth. A key challenge to gauge the accuracy of such methods is to compare the downscaled data to point-scale observations which are often unavailable at such small scales. In this work, we carry out the DL-based downscaling to estimate the local precipitation data from the India Meteorological Department (IMD), which was created by approximating the value from station location to a grid point. To test the efficacy of different DL approaches, we apply four different methods of downscaling and evaluate their performance. The considered approaches are (i) Deep Statistical Downscaling (DeepSD), augmented Convolutional Long Short Term Memory (ConvLSTM), fully convolutional network (U-NET), and Super-Resolution Generative Adversarial Network (SR-GAN). A custom VGG network, used in the SR-GAN, is developed in this work using precipitation data. The results indicate that SR-GAN is the best method for precipitation data downscaling. The downscaled data is validated with precipitation values at IMD station. This DL method offers a promising alternative to statistical downscaling.


title: Precision measurement of Compton scattering in silicon with a skipper CCD for dark matter detection

abstract: Experiments aiming to directly detect dark matter through particle recoils can achieve energy thresholds of $\mathcal{O}(1\,\mathrm{eV})$. In this regime, ionization signals from small-angle Compton scatters of environmental $\gamma$-rays constitute a significant background. Monte Carlo simulations used to build background models have not been experimentally validated at these low energies. We report a precision measurement of Compton scattering on silicon atomic shell electrons down to 23$\,$eV. A skipper charge-coupled device (CCD) with single-electron resolution, developed for the DAMIC-M experiment, was exposed to a $^{241}$Am $\gamma$-ray source over several months. Features associated with the silicon K, L$_{1}$, and L$_{2,3}$-shells are clearly identified, and scattering on valence electrons is detected for the first time below 100$\,$eV. We find that the relativistic impulse approximation for Compton scattering, which is implemented in Monte Carlo simulations commonly used by direct detection experiments, does not reproduce the measured spectrum below 0.5$\,$keV. The data are in better agreement with $ab$ $initio$ calculations originally developed for X-ray absorption spectroscopy.


title: Eliciting and Learning with Soft Labels from Every Annotator

abstract: The labels used to train machine learning (ML) models are of paramount importance. Typically for ML classification tasks, datasets contain hard labels, yet learning using soft labels has been shown to yield benefits for model generalization, robustness, and calibration. Earlier work found success in forming soft labels from multiple annotators' hard labels; however, this approach may not converge to the best labels and necessitates many annotators, which can be expensive and inefficient. We focus on efficiently eliciting soft labels from individual annotators. We collect and release a dataset of soft labels (which we call CIFAR-10S) over the CIFAR-10 test set via a crowdsourcing study (N=248). We demonstrate that learning with our labels achieves comparable model performance to prior approaches while requiring far fewer annotators -- albeit with significant temporal costs per elicitation. Our elicitation methodology therefore shows nuanced promise in enabling practitioners to enjoy the benefits of improved model performance and reliability with fewer annotators, and serves as a guide for future dataset curators on the benefits of leveraging richer information, such as categorical uncertainty, from individual annotators.


title: Jets from accretion disk dynamos: consistent quenching modes for dynamo and resistivity

abstract: Astrophysical jets are launched from strongly magnetized systems that host an accretion disk surrounding a central object. The origin of the magnetic field, which is a key component of the launching process, is still an open question. Here we address the question of how the magnetic field required for jet launching is generated and maintained by a dynamo process. By carrying out non-ideal MHD simulations (PLUTO code), we investigate how the feedback of the generated magnetic field on the mean-field dynamo affects the disk and jet properties. We find that a stronger quenching of the dynamo leads to a saturation of the magnetic field at a lower disk magnetization. Nevertheless, we find that, while applying different dynamo feedback models, the overall jet properties remain unaffected. We then investigate a feedback model which encompasses a quenching of the magnetic diffusivity. Our modeling considers a more consistent approach for mean-field dynamo modeling simulations, as the magnetic quenching of turbulence should be considered for both, a turbulent dynamo and turbulent magnetic diffusivity. We find that, after the magnetic field is saturated, the Blandford-Payne mechanism can work efficiently, leading to more collimated jets, that move, however, with slower speed. We find strong intermittent periods of flaring and knot ejection for low Coriolis numbers. In particular, flux ropes are built up and advected towards the inner disk thereby cutting off of the inner disk wind, leading to magnetic field reversals, reconnection and the emergence of intermittent flares.


title: A systematic review of biologically-informed deep learning models for cancer: fundamental trends for encoding and interpreting oncology data

abstract: There is an increasing interest in the use of Deep Learning (DL) based methods as a supporting analytical framework in oncology. However, most direct applications of DL will deliver models with limited transparency and explainability, which constrain their deployment in biomedical settings. This systematic review discusses DL models used to support inference in cancer biology with a particular emphasis on multi-omics analysis. It focuses on how existing models address the need for better dialogue with prior knowledge, biological plausibility and interpretability, fundamental properties in the biomedical domain. For this, we retrieved and analyzed 42 studies focusing on emerging architectural and methodological advances, the encoding of biological domain knowledge and the integration of explainability methods. We discuss the recent evolutionary arch of DL models in the direction of integrating prior biological relational and network knowledge to support better generalisation (e.g. pathways or Protein-Protein-Interaction networks) and interpretability. This represents a fundamental functional shift towards models which can integrate mechanistic and statistical inference aspects. We introduce a concept of bio-centric interpretability and according to its taxonomy, we discuss representational methodologies for the integration of domain prior knowledge in such models. The paper provides a critical outlook into contemporary methods for explainability and interpretabiltiy used in DL for cancer. The analysis points in the direction of a convergence between encoding prior knowledge and improved interpretability. We introduce bio-centric interpretability which is an important step towards formalisation of biological interpretability of DL models and developing methods that are less problem- or application-specific.


title: Interpretable Graph Neural Networks for Connectome-Based Brain Disorder Analysis

abstract: Human brains lie at the core of complex neurobiological systems, where the neurons, circuits, and subsystems interact in enigmatic ways. Understanding the structural and functional mechanisms of the brain has long been an intriguing pursuit for neuroscience research and clinical disorder therapy. Mapping the connections of the human brain as a network is one of the most pervasive paradigms in neuroscience. Graph Neural Networks (GNNs) have recently emerged as a potential method for modeling complex network data. Deep models, on the other hand, have low interpretability, which prevents their usage in decision-critical contexts like healthcare. To bridge this gap, we propose an interpretable framework to analyze disorder-specific Regions of Interest (ROIs) and prominent connections. The proposed framework consists of two modules: a brain-network-oriented backbone model for disease prediction and a globally shared explanation generator that highlights disorder-specific biomarkers including salient ROIs and important connections. We conduct experiments on three real-world datasets of brain disorders. The results verify that our framework can obtain outstanding performance and also identify meaningful biomarkers. All code for this work is available at https://github.com/HennyJie/IBGNN.git.


title: Customized Conversational Recommender Systems

abstract: Conversational recommender systems (CRS) aim to capture user's current intentions and provide recommendations through real-time multi-turn conversational interactions. As a human-machine interactive system, it is essential for CRS to improve the user experience. However, most CRS methods neglect the importance of user experience. In this paper, we propose two key points for CRS to improve the user experience: (1) Speaking like a human, human can speak with different styles according to the current dialogue context. (2) Identifying fine-grained intentions, even for the same utterance, different users have diverse finegrained intentions, which are related to users' inherent preference. Based on the observations, we propose a novel CRS model, coined Customized Conversational Recommender System (CCRS), which customizes CRS model for users from three perspectives. For human-like dialogue services, we propose multi-style dialogue response generator which selects context-aware speaking style for utterance generation. To provide personalized recommendations, we extract user's current fine-grained intentions from dialogue context with the guidance of user's inherent preferences. Finally, to customize the model parameters for each user, we train the model from the meta-learning perspective. Extensive experiments and a series of analyses have shown the superiority of our CCRS on both the recommendation and dialogue services.


title: Simulating reaction time for Eureka effect in visual object recognition using artificial neural network

abstract: The human brain can recognize objects hidden in even severely degraded images after observing them for a while, which is known as a type of Eureka effect, possibly associated with human creativity. A previous psychological study suggests that the basis of this "Eureka recognition" is neural processes of coincidence of multiple stochastic activities. Here we constructed an artificial-neural-network-based model that simulated the characteristics of the human Eureka recognition.


title: Mining Tourism Experience on Twitter: A case study

abstract: With the increase of digital data and social network platforms the impact of social media science in driving company decision related to product/service features and customer care operations is becoming more crucial. In particular, platform such as Twitter where people can share experience about almost everything can drastically impact the reputation and offering of a company as well as of a place or tourism site. Text mining tools are researched and proposed in literature in order to gain value and perform trend topics and sentiment analysis on Twitter. As data are the fuels for these models, the "right" ones, i.e the domain-related ones makes a difference on their accuracy. In this paper, we describe a pipeline of \textit{DataOps / MLOps} operations performed over a tourism related Twitter dataset in order to comprehend tourism motivation and interest. The gained knowledge can be exploit, by the travel/hospitality industry in order to develop data-driven strategic service, and by travelers which can consume relevant information about tourist destination.


title: On groupoid graded von Neumann regular rings and a Brandt groupoid graded Leavitt path algebras

abstract: Let $S$ be a partial groupoid, that is, a set with a partial binary operation. An $S$-graded ring $R$ is said to be graded von Neumann regular if $x\in xRx$ for every homogeneous element $x\in R.$ Under the assumption that $S$ is cancellative, we characterize $S$-graded rings which are graded von Neumann regular. If a ring is $S$-graded von Neumann regular, and if $S$ is cancellative, then $S$ is such that for every $s\in S,$ there exist $s^{-1}\in S$ and idempotent elements $e,$ $f\in S$ for which $es=sf=s,$ $fs^{-1}=s^{-1}e=s^{-1},$ $ss^{-1}=e$ and $s^{-1}s=f,$ which is a property enjoyed by Brandt groupoids. We observe a Leavitt path algebra of an arbitrary non-null directed graph over a unital ring as a ring graded by a Brandt groupoid over the additive group of integers $\mathbb{Z},$ and we prove that it is graded von Neumann regular if and only if its coefficient ring is von Neumann regular, thus generalizing the recently obtained result for the canonical $\mathbb{Z}$-grading of Leavitt path algebras.


title: Geometric Learning of Hidden Markov Models via a Method of Moments Algorithm

abstract: We present a novel algorithm for learning the parameters of hidden Markov models (HMMs) in a geometric setting where the observations take values in Riemannian manifolds. In particular, we elevate a recent second-order method of moments algorithm that incorporates non-consecutive correlations to a more general setting where observations take place in a Riemannian symmetric space of non-positive curvature and the observation likelihoods are Riemannian Gaussians. The resulting algorithm decouples into a Riemannian Gaussian mixture model estimation algorithm followed by a sequence of convex optimization procedures. We demonstrate through examples that the learner can result in significantly improved speed and numerical accuracy compared to existing learners.


title: Prospects for Perovskite/Silicon tandem solar cells to outperform c-Silicon solar cells at elevated temperatures

abstract: Successful commercialization of Perovskite/Si tandem solar cells (P/Si TSCs) need a-priori estimation of technological benchmarks to outperform c-Si based technologies under field conditions. To this end, through detailed numerical simulations and analytical modeling, here we identify the limits of ion migration and lifetime degradation till which P/Si TSCs remain competitive. Our results unravel a unique scaling law for the evolution of the efficiency and the temperature coefficient of P/Si TSCs which allows us to anticipate the limiting annual degradation rates. Interestingly, we find that 4T cells are potentially more immune to the ill effects of ion migration as compared to 2T cells. These insights are of broad relevance for material/interface engineering approaches and physics based accelerated tests which are focused towards long term stability and module reliability.


title: Cyber Security Threat Awareness Framework for High School Students in Qatar

abstract: Cyber security is considered a necessity for anyone in todays modern world. Awareness of cyber security standards and best practices have become mandatory to safeguard ones child in this day and age. High schoolers today do not understand cyber security threats due to the lack of parental involvement or the lack of educational material and courses in high school. This study developed a framework that addresses the lack of cybersecurity awareness for high school students. The proposed framework gives a flow of steps to provide effective awareness approaches for k12. This was achieved using an approach of creating a functional operational framework that consists of four phases which are Threats and Attacks Identification, Existing Awareness Discovery, Creating Awareness Approach, and Awareness Approach Evaluation. The output resulted in a cybersecurity awareness approach specifically for the k-12 age range, which leverages cybersecurity emojis. Thus, by exploring this approach, the security community can enroll and lure teenagers into cybersecurity and raise the degree of security awareness.


title: PGMG: A Pharmacophore-Guided Deep Learning Approach for Bioactive Molecular Generation

abstract: The rational design of novel molecules with desired bioactivity is a critical but challenging task in drug discovery, especially when treating a novel target family or understudied targets. Here, we propose PGMG, a pharmacophore-guided deep learning approach for bioactivate molecule generation. Through the guidance of pharmacophore, PGMG provides a flexible strategy to generate bioactive molecules with structural diversity in various scenarios using a trained variational autoencoder. We show that PGMG can generate molecules matching given pharmacophore models while maintaining a high level of validity, uniqueness, and novelty. In the case studies, we demonstrate the application of PGMG to generate bioactive molecules in ligand-based and structure-based drug de novo design, as well as in lead optimization scenarios. Overall, the flexibility and effectiveness of PGMG make it a useful tool for accelerating the drug discovery process.


title: Kernel Based Cognitive Architecture for Autonomous Agents

abstract: One of the main problems of modern cognitive architectures is an excessively schematic approach to modeling the processes of cognitive activity. It does not allow the creation of a universal architecture that would be capable of reproducing mental functions without using a predetermined set of perceptual patterns. This paper considers an evolutionary approach to creating a cognitive functionality. The basis of our approach is the use of the functional kernel which consistently generates the intellectual functions of an autonomous agent. We consider a cognitive architecture which ensures the evolution of the agent on the basis of Symbol Emergence Problem solution. Evolution of cognitive abilities of the agent is described on the basis of the theory of constructivism.


title: Communication Pattern Logic: Epistemic and Topological Views

abstract: We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents inform each other. We study this protocol in distributed computing models where communication might fail: an agent is certain about the messages it receives, but it may be uncertain about the messages other agents have received. In a dynamic epistemic logic with distributed knowledge and with modalities for communication patterns, the latter are interpreted by updating Kripke models. We propose an axiomatization of communication pattern logic, and we show that collective bisimilarity (comparing models on their distributed knowledge) is preserved when updating models with communication patterns. We can also interpret communication patterns by updating simplicial complexes, a well-known topological framework for distributed computing. We show that the different semantics correspond, and propose collective bisimulation between simplicial complexes.


title: Lane-GNN: Integrating GNN for Predicting Drivers' Lane Change Intention

abstract: Nowadays, intelligent highway traffic network is playing an important role in modern transportation infrastructures. A variable speed limit (VSL) system can be facilitated in the highway traffic network to provide useful and dynamic speed limit information for drivers to travel with enhanced safety. Such system is usually designed with a steady advisory speed in mind so that traffic can move smoothly when drivers follow the speed, rather than speeding up whenever there is a gap and slowing down at congestion. However, little attention has been given to the research of vehicles' behaviours when drivers left the road network governed by a VSL system, which may largely involve unexpected acceleration, deceleration and frequent lane changes, resulting in chaos for the subsequent highway road users. In this paper, we focus on the detection of traffic flow anomaly due to drivers' lane change intention on the highway traffic networks after a VSL system. More specifically, we apply graph modelling on the traffic flow data generated by a popular mobility simulator, SUMO, at road segment levels. We then evaluate the performance of lane changing detection using the proposed Lane-GNN scheme, an attention temporal graph convolutional neural network, and compare its performance with a temporal convolutional neural network (TCNN) as our baseline. Our experimental results show that the proposed Lane-GNN can detect drivers' lane change intention within 90 seconds with an accuracy of 99.42% under certain assumptions. Finally, some interpretation methods are applied to the trained models with a view to further illustrate our findings.


title: The Distribution of G.C.D.s of Shifted Primes and Lucas Sequences

abstract: Let $(u_n)_{n \ge 0}$ be a nondegenerate Lucas sequence and $g_u(n)$ be the arithmetic function defined by $\gcd(n, u_n).$ Recent studies have investigated the distributional characteristics of $g_u$. Numerous results have been proven based on the two extreme values $1$ and $n$ of $g_{u}(n)$. Sanna investigated the average behaviour of $g_{u}$ and found asymptotic formulas for the moments of $\log g_{u}$. In a related direction, Jha and Sanna investigated properties of $g_{u}$ at shifted primes. In light of these results, we prove that for each positive integer $\lambda,$ we have $$\sum_{\substack{p\le x\\p\text{ prime}}} (\log g_{u}(p-1))^{\lambda} \sim P_{u,\lambda}\pi(x),$$ where $P_{u, \lambda}$ is a constant depending on $u$ and $\lambda$ which is expressible as an infinite series. Additionally, we provide estimates for $P_{u,\lambda}$ and $M_{u,\lambda},$ where $M_{u, \lambda}$ is the constant for an analogous sum obtained by Sanna [J. Number Theory 191 (2018), 305-315]. As an application of our results, we prove upper bounds on the count $\#\{p\le x : g_{u}(p-1)>y\}$ and also establish the existence of infinitely many runs of $m$ consecutive primes $p$ in bounded intervals such that $g_{u}(p-1)>y$ based on a breakthrough of Zhang, Maynard, Tao, et al. on small gaps between primes. Exploring further in this direction, it turns out that for Lucas sequences with nonunit discriminant, we have $\max\{g_{u}(n) : n \le x\} \gg x$. As an analogue, we obtain that that $\max\{g_u(p-1) : p \le x\} \gg x^{0.4736}$ unconditionally, while $\max\{g_u(p-1): p \le x\} \gg x^{1 - o(1)}$ under the hypothesis of Montgomery's or Chowla's conjecture.


title: ImLoveNet: Misaligned Image-supported Registration Network for Low-overlap Point Cloud Pairs

abstract: Low-overlap regions between paired point clouds make the captured features very low-confidence, leading cutting edge models to point cloud registration with poor quality. Beyond the traditional wisdom, we raise an intriguing question: Is it possible to exploit an intermediate yet misaligned image between two low-overlap point clouds to enhance the performance of cutting-edge registration models? To answer it, we propose a misaligned image supported registration network for low-overlap point cloud pairs, dubbed ImLoveNet. ImLoveNet first learns triple deep features across different modalities and then exports these features to a two-stage classifier, for progressively obtaining the high-confidence overlap region between the two point clouds. Therefore, soft correspondences are well established on the predicted overlap region, resulting in accurate rigid transformations for registration. ImLoveNet is simple to implement yet effective, since 1) the misaligned image provides clearer overlap information for the two low-overlap point clouds to better locate overlap parts; 2) it contains certain geometry knowledge to extract better deep features; and 3) it does not require the extrinsic parameters of the imaging device with respect to the reference frame of the 3D point cloud. Extensive qualitative and quantitative evaluations on different kinds of benchmarks demonstrate the effectiveness and superiority of our ImLoveNet over state-of-the-art approaches.


title: Firenze: Model Evaluation Using Weak Signals

abstract: Data labels in the security field are frequently noisy, limited, or biased towards a subset of the population. As a result, commonplace evaluation methods such as accuracy, precision and recall metrics, or analysis of performance curves computed from labeled datasets do not provide sufficient confidence in the real-world performance of a machine learning (ML) model. This has slowed the adoption of machine learning in the field. In the industry today, we rely on domain expertise and lengthy manual evaluation to build this confidence before shipping a new model for security applications. In this paper, we introduce Firenze, a novel framework for comparative evaluation of ML models' performance using domain expertise, encoded into scalable functions called markers. We show that markers computed and combined over select subsets of samples called regions of interest can provide a robust estimate of their real-world performances. Critically, we use statistical hypothesis testing to ensure that observed differences-and therefore conclusions emerging from our framework-are more prominent than that observable from the noise alone. Using simulations and two real-world datasets for malware and domain-name-service reputation detection, we illustrate our approach's effectiveness, limitations, and insights. Taken together, we propose Firenze as a resource for fast, interpretable, and collaborative model development and evaluation by mixed teams of researchers, domain experts, and business owners.


title: A Multi-Task BERT Model for Schema-Guided Dialogue State Tracking

abstract: Task-oriented dialogue systems often employ a Dialogue State Tracker (DST) to successfully complete conversations. Recent state-of-the-art DST implementations rely on schemata of diverse services to improve model robustness and handle zero-shot generalization to new domains [1], however such methods [2, 3] typically require multiple large scale transformer models and long input sequences to perform well. We propose a single multi-task BERT-based model that jointly solves the three DST tasks of intent prediction, requested slot prediction and slot filling. Moreover, we propose an efficient and parsimonious encoding of the dialogue history and service schemata that is shown to further improve performance. Evaluation on the SGD dataset shows that our approach outperforms the baseline SGP-DST by a large margin and performs well compared to the state-of-the-art, while being significantly more computationally efficient. Extensive ablation studies are performed to examine the contributing factors to the success of our model.


title: SU(2) gauge theory of the pseudogap phase in the two-dimensional Hubbard model

abstract: We present a SU(2) gauge theory of fluctuating magnetic order in the two-dimensional Hubbard model. The theory is based on a fractionalization of electrons in fermionic chargons and bosonic spinons. The chargons undergo N\'eel or spiral magnetic order below a density dependent transition temperature $T^*$. Fluctuations of the spin orientation are described by a non-linear sigma model obtained from a gradient expansion of the spinon action. The spin stiffnesses are computed from a renormalization group improved random phase approximation. Our approximations are applicable for a weak or moderate Hubbard interaction. The spinon fluctuations prevent magnetic long-range order of the electrons at any finite temperature. The phase with magnetic chargon order exhibits many features characterizing the pseudogap regime in high-$T_c$ cuprates: a strong reduction of charge carrier density, a spin gap, Fermi arcs, and electronic nematicity.


title: Tuning the electron injection mechanism by changing the adsorption mode:the case study of Alizarin on TiO2

abstract: Functionalized TiO2 nanoparticles with intense fluorescent dyes is a promising tool for several technological applications ranging from photochemistry, photocatalysis, photovoltaics, photodynamic therapy or bioimaging. Here, we present the case study of the Alizarin adsorption on TiO2 nanoparticles (NPs) of different shape and increasing size up to 2.2 nm (700 atoms), by means of density functional theory (DFT) calculations. We find that Alizarin can bind in three different ways, depending on the number and type of bonds between Alizarin and TiO2: "tridented", "bidented" and "chelated". Next, we investigate the optical properties of these systems by time-dependent density functional theory (TDDFT) calculations. Based on the absorption spectra and the Kohn-Sham orbitals analysis, we discovered that the mechanism of electron injection depends on the Alizarin binding mode to the TiO2 surface. While for bidented and chelated adsorption modes a direct charge transfer is observed, for the tridented one an indirect mechanism governs the charge transfer process following the excitation. Our results are in good agreement with existing experimental data and suggests that by tailoring the shape of the TiO2 NPs and, thus, determining the type of undercoordinated Ti atoms prevalently exposed at the surface, it is possible to control the predominant injection mechanism.


title: Self-dual Maxwell-Chern-Simons solitons in a parity-invariant scenario

abstract: We present a self-dual parity-invariant $U(1) \times U(1)$ Maxwell-Chern-Simons scalar $\text{QED}_3$. We show that the energy functional admits a Bogomol'nyi-type lower bound, whose saturation gives rise to first order self-duality equations. We perform a detailed analysis of this system, discussing its main features and exhibiting explicit numerical solutions corresponding to finite-energy topological vortices and non-topological solitons. The mixed Chern-Simons term plays an important role here, ensuring the main properties of the model and suggesting possible applications in condensed matter.


title: Balanced reconstruction codes for single edits

abstract: Motivated by the sequence reconstruction problem initiated by Levenshtein, reconstruction codes were introduced by Cai \emph{et al}. to combat errors when a fixed number of noisy channels are available. The central problem on this topic is to design codes with sizes as large as possible, such that every codeword can be uniquely reconstructed from any $N$ distinct noisy reads, where $N$ is fixed. In this paper, we study binary reconstruction codes with the constraint that every codeword is balanced, which is a common requirement in the technique of DNA-based storage. For all possible channels with a single edit error and their variants, we design asymptotically optimal balanced reconstruction codes for all $N$, and show that the number of their redundant symbols decreases from $\frac{3}{2}\log_2 n+O(1)$ to $\frac{1}{2}\log_2n+\log_2\log_2n+O(1)$, and finally to $\frac{1}{2}\log_2n+O(1)$ but with different speeds, where $n$ is the length of the code. Compared with the unbalanced case, our results imply that the balanced property does not reduce the rate of the reconstruction code in the corresponding codebook.


title: Double EPW-sextics with actions of A7 and irrational GM threefolds

abstract: We construct two examples of projective hyper-K\"ahler fourfolds of K3[2]-type with an action of the alternating group A7, making them some of the most symmetric hyper-K\"ahler fourfolds. They are realized as so called double EPW sextics and this allows us to construct an explicit family of irrational Gushel-Mukai threefolds.


title: Interacting Dirac fermions and the rise of Pfaffians in graphene

abstract: Fractional Quantum Hall effect (FQHE) is a unique many-body phenomenon, which was discovered in a two-dimensional electron system placed in a strong perpendicular magnetic field. It is entirely due to the electron-electron interactions within a given Landau level. For special filling factors of the Landau level, a many-particle incompressible state with a finite collective gap is formed. Among these states, when the Landau level is half filled, there is a special FQHE state that is described by the Pfaffian function and the state supports charged excitations that obey non-Abelian statistics. Such a $1/2$-FQHE state can be realized only for a special profile of the electron-electron potential. For example, for conventional electron systems, the $1/2$-FQHE state occurs only in the second Landau level, while in a graphene monolayer, no $1/2$-FQHE state can be found in any Landau level. Another type of low-dimensional system is the bilayer graphene, which consists of two graphene monolayers coupled through the inter-layer hopping. The system is quasi-two-dimensional, which makes it possible to tune the inter-electron interaction potential by applying either the bias voltage or the magnetic field that is applied parallel to the bilayer. It so happens that in the bilayer graphene with AB staking, there is one Landau level per valley where the $1/2$-FQHE state can indeed be present. The properties of that $1/2$-FQHE state have a nonmonotonic dependence on the applied magnetic field and this can be even more stable than the one discovered in conventional electron systems.


title: Collisions of kinks in deformed $\varphi^4$ and $\varphi^6$ models

abstract: Two hyperbolic-deformed field theoretic models are discussed. In both of them, due to the effect of specific deformation function on the well known $\varphi^4$ and $\varphi^6$ models, their internal structure may change significantly. Unlike the $\varphi^4$ kinks solutions, which has only one internal mode in addition to its translational mode, the kinks of the hyperbolic-deformed $\varphi^4$ model can have several internal modes. Moreover, the deformation on the $\varphi^6$ model has other interesting features, because the kinks of the $\varphi^6$ model have only a zero mode and the deformation may cause the appearance of internal mode for both kink and antikink. The presence of the new internal modes modify the collisions which we explore in the present work. The deformation relies on a real parameter, which controls the number of internal modes, and we also study how the deformation parameter alter the mass of the kinks and the critical velocities involved in the collisions.


title: Skew information-based coherence generating power of quantum channels

abstract: We study the ability of a quantum channel to generate quantum coherence when it applies to incoherent states. We define the measure of coherence generating power (CGP) for a generic quantum channel to be the average coherence generated by the quantum channel acting on a uniform ensemble of incoherent states based on the skew information-based coherence measure. We present explicitly the analytical formulae of the CGP for any arbitrary finite dimensional unitary channels. We derive the mean value of the CGP over the unitary groups and investigate the typicality of the normalized CGP. Furthermore, we give an upper bound of the CGP for the convex combinations of unitary channels. Detailed examples are provided to calculate exactly the values of the CGP for the unitary channels related to specific quantum gates and for some qubit channels.


title: UTD-Yolov5: A Real-time Underwater Targets Detection Method based on Attention Improved YOLOv5

abstract: As the treasure house of nature, the ocean contains abundant resources. But the coral reefs, which are crucial to the sustainable development of marine life, are facing a huge crisis because of the existence of COTS and other organisms. The protection of society through manual labor is limited and inefficient. The unpredictable nature of the marine environment also makes manual operations risky. The use of robots for underwater operations has become a trend. However, the underwater image acquisition has defects such as weak light, low resolution, and many interferences, while the existing target detection algorithms are not effective. Based on this, we propose an underwater target detection algorithm based on Attention Improved YOLOv5, called UTD-Yolov5. It can quickly and efficiently detect COTS, which in turn provides a prerequisite for complex underwater operations. We adjusted the original network architecture of YOLOv5 in multiple stages, including: replacing the original Backbone with a two-stage cascaded CSP (CSP2); introducing the visual channel attention mechanism module SE; designing random anchor box similarity calculation method etc. These operations enable UTD-Yolov5 to detect more flexibly and capture features more accurately. In order to make the network more efficient, we also propose optimization methods such as WBF and iterative refinement mechanism. This paper conducts a lot of experiments based on the CSIRO dataset [1]. The results show that the average accuracy of our UTD-Yolov5 reaches 78.54%, which is a great improvement compared to the baseline.


title: GOF-TTE: Generative Online Federated Learning Framework for Travel Time Estimation

abstract: Estimating the travel time of a path is an essential topic for intelligent transportation systems. It serves as the foundation for real-world applications, such as traffic monitoring, route planning, and taxi dispatching. However, building a model for such a data-driven task requires a large amount of users' travel information, which directly relates to their privacy and thus is less likely to be shared. The non-Independent and Identically Distributed (non-IID) trajectory data across data owners also make a predictive model extremely challenging to be personalized if we directly apply federated learning. Finally, previous work on travel time estimation does not consider the real-time traffic state of roads, which we argue can significantly influence the prediction. To address the above challenges, we introduce GOF-TTE for the mobile user group, Generative Online Federated Learning Framework for Travel Time Estimation, which I) utilizes the federated learning approach, allowing private data to be kept on client devices while training, and designs the global model as an online generative model shared by all clients to infer the real-time road traffic state. II) apart from sharing a base model at the server, adapts a fine-tuned personalized model for every client to study their personal driving habits, making up for the residual error made by localized global model prediction. % III) designs the global model as an online generative model shared by all clients to infer the real-time road traffic state. We also employ a simple privacy attack to our framework and implement the differential privacy mechanism to further guarantee privacy safety. Finally, we conduct experiments on two real-world public taxi datasets of DiDi Chengdu and Xi'an. The experimental results demonstrate the effectiveness of our proposed framework.


title: On the rational topological complexity of coformal elliptic spaces

abstract: We establish some upper and lower bounds of the rational topological complexity for certain classes of elliptic spaces. Our techniques permit us in particular to show that the rational topological complexity coincides with the dimension of the rational homotopy for some special families of coformal elliptic spaces.


title: Extensions of S-Lemma for Noncommutative Polynomials

abstract: We consider the problem of extending the classical S-lemma from commutative case to noncommutative cases. We show that a symmetric quadratic homogeneous matrix-valued polynomial is positive semidefinite if and only if its coefficient matrix is positive semidefinite. Then we extend the S-lemma to three kinds of noncommutative polynomials: noncommutative polynomials whose coefficients are real numbers, matrix-valued noncommutative polynomials and hereditary polynomials.


title: Local Max-Entropy and Free Energy Principles Solved by Belief Propagation

abstract: A statistical system is classically defined on a set of microstates $E$ by a global energy function $H : E \to \mathbb{R}$, yielding Gibbs probability measures (softmins) $\rho^\beta(H)$ for every inverse temperature $\beta = T^{-1}$. Gibbs states are simultaneously characterized by free energy principles and the max-entropy principle, with dual constraints on inverse temperature $\beta$ and mean energy ${\cal U}(\beta) = \mathbb{E}_{\rho^\beta}[H]$ respectively. The Legendre transform relates these diverse variational principles which are unfortunately not tractable in high dimension. The global energy is generally given as a sum $H(x) = \sum_{\rm a \subset \Omega} h_{\rm a}(x_{|\rm a})$ of local short-range interactions $h_{\rm a} : E_{\rm a} \to \mathbb{R}$ indexed by bounded subregions ${\rm a} \subset \Omega$, and this local structure can be used to design good approximation schemes on thermodynamic functionals. We show that the generalized belief propagation (GBP) algorithm solves a collection of local variational principles, by converging to critical points of Bethe-Kikuchi approximations of the free energy $F(\beta)$, the Shannon entropy $S(\cal U)$, and the variational free energy ${\cal F}(\beta) = {\cal U} - \beta^{-1} S(\cal U)$, extending an initial correspondence by Yedidia et al. This local form of Legendre duality yields a possible degenerate relationship between mean energy ${\cal U}$ and $\beta$.

categories: cond-mat.stat-mech cs.AI cs.DM math-ph math.AT math.MP


title: Safe Reinforcement Learning for a Robot Being Pursued but with Objectives Covering More Than Capture-avoidance

abstract: Reinforcement Learning (RL) algorithms show amazing performance in recent years, but placing RL in real-world applications such as self-driven vehicles may suffer safety problems. A self-driven vehicle moving to a target position following a learned policy may suffer a vehicle with unpredictable aggressive behaviors or even being pursued by a vehicle following a Nash strategy. To address the safety issue of the self-driven vehicle in this scenario, this paper conducts a preliminary study based on a system of robots. A safe RL framework with safety guarantees is developed for a robot being pursued but with objectives covering more than capture-avoidance. Simulations and experiments are conducted based on the system of robots to evaluate the effectiveness of the developed safe RL framework.


title: Sikkel: Multimode Simple Type Theory as an Agda Library

abstract: Many variants of type theory extend a basic theory with additional primitives or properties like univalence, guarded recursion or parametricity, to enable constructions or proofs that would be harder or impossible to do in the original theory. However, implementing such extended type theories (either from scratch or by modifying an existing implementation) is a big hurdle for their wider adoption. In this paper we present Sikkel, a library in the dependently typed programming language Agda that allows users to program in extended type theories. It uses a deeply embedded language that can be easily extended with additional type and term constructors, thus supporting a wide variety of type theories. Moreover, Sikkel has a type checker that is sound by construction in the sense that all well-typed programs are automatically translated to their semantics in a shallow embedding based on presheaf models. Additionally, our model supports combining different base categories by using modalities to transport definitions between them. This enables in particular a general approach for extracting definitions to the meta-level, so that we can use the extended type theories to define regular Agda functions and prove properties of them. In this paper, we demonstrate Sikkel theories with guarded recursion and parametricity, but other extensions can be easily plugged in. For now, Sikkel supports only simple type theories but its model already anticipates the future addition of dependent types and a universe.


title: Domain-Adaptive 3D Medical Image Synthesis: An Efficient Unsupervised Approach

abstract: Medical image synthesis has attracted increasing attention because it could generate missing image data, improving diagnosis and benefits many downstream tasks. However, so far the developed synthesis model is not adaptive to unseen data distribution that presents domain shift, limiting its applicability in clinical routine. This work focuses on exploring domain adaptation (DA) of 3D image-to-image synthesis models. First, we highlight the technical difference in DA between classification, segmentation and synthesis models. Second, we present a novel efficient adaptation approach based on 2D variational autoencoder which approximates 3D distributions. Third, we present empirical studies on the effect of the amount of adaptation data and the key hyper-parameters. Our results show that the proposed approach can significantly improve the synthesis accuracy on unseen domains in a 3D setting. The code is publicly available at https://github.com/WinstonHuTiger/2D_VAE_UDA_for_3D_sythesis


title: Less Is More: A Comparison of Active Learning Strategies for 3D Medical Image Segmentation

abstract: Since labeling medical image data is a costly and labor-intensive process, active learning has gained much popularity in the medical image segmentation domain in recent years. A variety of active learning strategies have been proposed in the literature, but their effectiveness is highly dependent on the dataset and training scenario. To facilitate the comparison of existing strategies and provide a baseline for evaluating novel strategies, we evaluate the performance of several well-known active learning strategies on three datasets from the Medical Segmentation Decathlon. Additionally, we consider a strided sampling strategy specifically tailored to 3D image data. We demonstrate that both random and strided sampling act as strong baselines and discuss the advantages and disadvantages of the studied methods. To allow other researchers to compare their work to our results, we provide an open-source framework for benchmarking active learning strategies on a variety of medical segmentation datasets.


title: Testing the black hole area law with Event Horizon Telescope

abstract: Hawking's black hole area theorem can be tested by monitoring the evolution of a single black hole over time. Using current imaging observations of two supermassive black holes M87* and Sgr A* from the Event Horizon Telescope (EHT), we find their horizon area variation fractions are consistent with the prediction of the black hole area law at the $1\,\sigma$ confidence level. We point out that whether the black hole area law is valid or not could be determined by future high precision EHT observations of Sgr A*.


title: Combinatory Adjoints and Differentiation

abstract: We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on abstract vectors rather than being limited to scalars, vectors, matrices or tensors represented as multi-dimensional arrays. We show that both symbolic and automatic differentiation can be performed using a differential calculus for generating linear functions representing Fr\'echet derivatives based on rules for primitive, constant, linear and bilinear functions as well as their sequential and parallel composition. Linear functions are represented in a combinatory domain-specific language. Finally, we provide a calculus for symbolically computing the adjoint of a derivative without using matrices, which are too inefficient to use on high-dimensional spaces. The resulting symbolic representation of a derivative retains the data-parallel operations from the input program. The combination of combinatory differentiation and computing formal adjoints turns out to be behaviorally equivalent to reverse-mode automatic differentiation. In particular, it provides opportunities for optimizations where matrices are too inefficient to represent linear functions.


title: Comparison of persistent singular and \v{C}ech homology for locally connected filtrations

abstract: We show that the interleaving distance between the persistent singular homology and the persistent \v{C}ech homology of a homologically locally connected filtration consisting of paracompact Hausdorff spaces is 0.


title: Tableless Calculation of Circular Functions on Dyadic Rationals

abstract: I would like to tell a story. A story about a beautiful mathematical relationship that elucidates the computational view on the classic subject of trigonometry. All stories need a language, and for this particular story an algorithmic language ought to do well. What makes a language algorithmic? From our perspective as the functional programming community, an algorithmic language provides means to express computation in terms of functions, with no implementation-imposed limitations. We develop a new algorithm for the computation of trigonometric functions on dyadic rationals, together with the language used to express it, in Scheme. We provide a mechanically-derived algorithm for the computation of the inverses of our target functions. We address efficiency and accuracy concerns that pertain to the implementation of the proposed algorithm either in hardware or software.


title: The Programming of Algebra

abstract: We present module theory and linear maps as a powerful generalised and computationally efficient framework for the relational data model, which underpins today's relational database systems. Based on universal constructions of modules we obtain compact and computationally efficient data structures for data collections corresponding to union and deletion, repeated union, Cartesian product and key-indexed data. Free modules naturally give rise to polysets, which generalise multisets and facilitate expressing database queries as multilinear maps with asymptotically efficient evaluation on polyset constructors. We introduce compact maps as a way of representing infinite (poly)sets constructible from an infinite base set and its elements by addition and subtraction. We show how natural joins generalise to algebraic joins, while intersection is implemented by a novel algorithm on nested compact maps that carefully avoids visiting parts of the input that do not contribute to the eventual output. Our algebraic framework leads to a worst-case optimal evaluation of cyclic relational queries, which is known to be impossible using textbook query optimisers that operate on lists of records only.


title: What Makes a Strong Monad?

abstract: Strong monads are important for several applications, in particular, in the denotational semantics of effectful languages, where strength is needed to sequence computations that have free variables. Strength is non-trivial: it can be difficult to determine whether a monad has any strength at all, and monads can be strong in multiple ways. We therefore review some of the most important known facts about strength and prove some new ones. In particular, we present a number of equivalent characterizations of strong functor and strong monad, and give some conditions that guarantee existence or uniqueness of strengths. We look at strength from three different perspectives: actions of a monoidal category V, enrichment over V, and powering over V. We are primarily motivated by semantics of effects, but the results are also useful in other contexts.


title: On Structuring Functional Programs with Monoidal Profunctors

abstract: We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain monoidal category of profunctors. We study properties of this monoidal category and construct and implement the free monoidal profunctor. We study the relationship of the monoidal construction to optics, and introduce a promising generalization of the implementation which we illustrate by introducing effectful monoidal profunctors.


title: Generalized gradient structures for measure-valued population dynamics and their large-population limit

abstract: We consider the forward Kolmogorov equation corresponding to measure-valued processes stemming from a class of interacting particle systems in population dynamics, including variations of the Bolker-Pacala-Dieckmann-Law model. Under the assumption of detailed balance, we provide a rigorous generalized gradient structure, incorporating the fluxes arising from the birth and death of the particles. Moreover, in the large population limit, we show convergence of the forward Kolmogorov equation to a Liouville equation, which is a transport equation associated with the mean-field limit of the underlying process. In addition, we show convergence of the corresponding gradient structures in the sense of Energy-Dissipation Principles, from which we establish a propagation of chaos result for the particle system and derive a generalized gradient-flow formulation for the mean-field limit.


title: A symmetry principle for gauge theories with fractons

abstract: Fractonic phases are new phases of matter that host excitations with restricted mobility. We show that a certain class of gapless fractonic phases are realized as a result of spontaneous breaking of continuous higher-form symmetries whose conserved charges do not commute with spatial translations. We refer to such symmetries as nonuniform higher-form symmetries. These symmetries fall within the standard definition of higher-form symmetries in quantum field theory, and the corresponding symmetry generators are topological. Worldlines of particles are regarded as the charged objects of 1-form symmetries, and mobility restrictions can be implemented by introducing additional 1-form symmetries whose generators do not commute with spatial translations. These features are realized by effective field theories associated with spontaneously broken nonuniform 1-form symmetries. At low energies, the theories reduce to known higher-rank gauge theories such as scalar/vector charge gauge theories, and the gapless excitations in these theories are interpreted as Nambu--Goldstone modes for higher-form symmetries. Due to the nonuniformity of the symmetry, some of the modes acquire a gap, which is the higher-form analogue of the inverse Higgs mechanism of spacetime symmetries. The gauge theories have emergent nonuniform magnetic symmetries, and some of the magnetic monopoles become fractonic. We identify the 't~Hooft anomalies of the nonuniform higher-form symmetries and the corresponding bulk symmetry-protected topological phases. By this method, the mobility restrictions are fully determined by the choice of the commutation relations of charges with translations. This approach allows us to view existing (gapless) fracton models such as the scalar/vector charge gauge theories and their variants from a unified perspective and enables us to engineer theories with desired mobility restrictions.


title: Precision Data-enabled Koopman-type Inverse Operators for Linear Systems

abstract: The advent of easy access to large amount of data has sparked interest in directly developing the relationships between input and output of dynamic systems. A challenge is that in addition to the applied input and the measured output, the dynamics can also depend on hidden states that are not directly measured. The main contribution of this work is to identify the information needed (in particular, the past history of the output) to remove the hidden state dependence in Koopman-type inverse operators for linear systems. Additionally, it is shown that the time history of the output should be augmented with the instantaneous time derivatives of the output to achieve precision of the inverse operator. This insight into the required output (history and instantaneous derivative) information, to remove the hidden-state dependence and improve the precision of data-enabled inverse operators, is illustrated with an example system.


title: Cell-Free Massive MIMO for URLLC: A Finite-Blocklength Analysis

abstract: We present a general framework for the characterization of the packet error probability achievable in cell-free Massive multiple-input multiple output (MIMO) architectures deployed to support ultra-reliable low-latency (URLLC) traffic. The framework is general and encompasses both centralized and distributed cell-free architectures, arbitrary fading channels and channel estimation algorithms at both network and user-equipment (UE) sides, as well as arbitrary combining and precoding schemes. The framework is used to perform numerical experiments on specific scenarios, which illustrate the superiority of cell-free architectures compared to cellular architectures in supporting URLLC traffic in uplink and downlink. Also, these numerical experiments provide the following insights into the design of cell-free architectures for URLLC: i) minimum mean square error (MMSE) spatial processing must be used to achieve the URLLC targets; ii) for a given total number of antennas per coverage area, centralized cell-free solutions involving single-antenna access points (APs) offer the best performance in the uplink, thereby highlighting the importance of reducing the average distance between APs and UEs in the URLLC regime; iii) this observation applies also to the downlink, provided that the APs transmit precoded pilots to allow the UEs to estimate accurately the precoded channel.


title: Tree-constrained Pointer Generator with Graph Neural Network Encodings for Contextual Speech Recognition

abstract: Incorporating biasing words obtained as contextual knowledge is critical for many automatic speech recognition (ASR) applications. This paper proposes the use of graph neural network (GNN) encodings in a tree-constrained pointer generator (TCPGen) component for end-to-end contextual ASR. By encoding the biasing words in the prefix-tree with a tree-based GNN, lookahead for future wordpieces in end-to-end ASR decoding is achieved at each tree node by incorporating information about all wordpieces on the tree branches rooted from it, which allows a more accurate prediction of the generation probability of the biasing words. Systems were evaluated on the Librispeech corpus using simulated biasing tasks, and on the AMI corpus by proposing a novel visual-grounded contextual ASR pipeline that extracts biasing words from slides alongside each meeting. Results showed that TCPGen with GNN encodings achieved about a further 15% relative WER reduction on the biasing words compared to the original TCPGen, with a negligible increase in the computation cost for decoding.


title: Solar eclipse observations with small radio telescope in Hong Kong in 21cm radio frequency band

abstract: Small radio telescope in 21cm was used for studying the partial solar eclipse, with magnitude 0.89, in Hong Kong on 21st June, 2020. The radio telescope SPIDER 300A was designed and constructed by the Radio2Space Company, Italy. Radio flux density time curves (light curve) and a two-dimension mapping of the eclipse is presented in this paper. Standard radio data reduction methods were used to obtain the intensity time curve. We also adopted the semi-pipeline method for the reduction of data to obtain the same results as with the built-in software of the radio telescope SPIDER 300A. The total solar radio flux of the eclipse was found to reduce by maximum 55 +/- 5 percent, while the maximum eclipsed area of the same eclipse is 86.08%. Other radio observations of solar eclipses in Hong Kong are also discussed in this paper, including SPIDER 300A observation of partial solar eclipse on 26th December 2019 (APPENDIX A); and small radio telescope (SRT), developed by the Haystack Observatory, MIT, USA, observation of 2020 eclipse (APPENDIX B).


title: The nature of properly human mathematics

abstract: We claim that human mathematics is only a limited part of the consequences of the chosen basic axioms. Properly human mathematics varies with time but appears to have universal features which we try to analyze. In particular the functioning of the human brain privileges concept naming and short formulations. This leads to organizing mathematical knowledge structurally. We consider briefly the problem of non-mathematical sciences.


title: Hardware architecture for high throughput event visual data filtering with matrix of IIR filters algorithm

abstract: Neuromorphic vision is a rapidly growing field with numerous applications in the perception systems of autonomous vehicles. Unfortunately, due to the sensors working principle, there is a significant amount of noise in the event stream. In this paper we present a novel algorithm based on an IIR filter matrix for filtering this type of noise and a hardware architecture that allows its acceleration using an SoC FPGA. Our method has a very good filtering efficiency for uncorrelated noise - over 99% of noisy events are removed. It has been tested for several event data sets with added random noise. We designed the hardware architecture in such a way as to reduce the utilisation of the FPGA's internal BRAM resources. This enabled a very low latency and a throughput of up to 385.8 MEPS million events per second.The proposed hardware architecture was verified in simulation and in hardware on the Xilinx Zynq Ultrascale+ MPSoC chip on the Mercury+ XU9 module with the Mercury+ ST1 base board.


title: A Robust Decision Making Framework for Optimal Strategy Selection in Warfare under Model Uncertainty

abstract: In this paper is presented a framework for treating uncertainty in optimal decision problems occuring in combat situations, in order to robustly select the optimal strategy. A stochastic version of the popular Lanchester's aimed-fire model is considered as the underlying combat system describing the combet dynamics, and upon this an optimal decision rule for allocating forces is constructed. This approach results to a very extendable optimal decision framework, where the optimal strategy is chosen by simultaneously treating robustly uncertainty regarding critical combat parameters.


title: Static Hedging of Freight Risk under Model Uncertainty

abstract: Freight rate derivatives constitute a very popular financial tool in shipping industry, that allows to the market participants and the individuals operating in the field, to reassure their financial positions against the risk occurred by the volatility of the freight rates. The special structure of the shipping market attracted the interest of both academics and practitioners, since pricing of the related traded options which are written on non-storable assets (i.e. the freight service) is not a trivial task. Management of freight risk is of major importance to preserve the viability of shipping operations, especially in periods where shocks appear in the world economy, which introduces uncertainty in the freight rate prices. In practice, the reduction of freight risk is almost exclusively performed by constructing hedging portfolios relying on freight rate options. These portfolios needs to be robust to the market uncertainties, i.e. to choose the portfolio which returns will be as less as it gets affected by the market changes. Especially, for time periods where the future states of the market (even in short term) are extremely ambiguous, i.e. there are a number of different scenarios that can occur, it is of great importance for the firms to decide robustly to these uncertainties. In this work, a framework for the robust treatment of model uncertainty in (a) modeling the freight rates dynamics employing the notion of Wasserstein barycenter and (b) in choosing the optimal hedging strategy for freight risk management, is proposed. A carefully designed simulation study in the discussed hedging problem, employing standard modelling approaches in freight rates literature, illustrates the capabilities of the proposed method with very satisfactory results in approximating the optimal strategy even in high noise cases.


title: The Pogorelov estimates for degenerate curvature equations

abstract: We establish the Pogorelov type estimates for degenerate prescribed k-curvature equations as well as k-Hessian equations. Furthermore,we investigate the interior C1,1 regularity of the solutions for Dirichlet problems. These techniques also enable us to improve the existence theorem for an asymptotic Plateau type problem in hyperbolic space.


title: Heat Current in Non-Markovian Open Systems

abstract: We generalize time-evolving matrix product operators method to nonequilibrium quantum transport problems. The nonequilibrium current is obtained via numerical differentiation of the generating functional which is represented as a tensor network. The approach is numerically exact and the non-Markovian effects are fully taken into account. In the transport process, a part of the heat that flows out from a bath flows into the system and other baths, and the rest is stored in the system-bath coupling part. We take the spin-boson model as a demonstration to show the details of this heat flowing and the establishment of a steady current between two baths.


title: ORA3D: Overlap Region Aware Multi-view 3D Object Detection

abstract: Current multi-view 3D object detection methods often fail to detect objects in the overlap region properly, and the networks' understanding of the scene is often limited to that of a monocular detection network. Moreover, objects in the overlap region are often largely occluded or suffer from deformation due to camera distortion, causing a domain shift. To mitigate this issue, we propose using the following two main modules: (1) Stereo Disparity Estimation for Weak Depth Supervision and (2) Adversarial Overlap Region Discriminator. The former utilizes the traditional stereo disparity estimation method to obtain reliable disparity information from the overlap region. Given the disparity estimates as supervision, we propose regularizing the network to fully utilize the geometric potential of binocular images and improve the overall detection accuracy accordingly. Further, the latter module minimizes the representational gap between non-overlap and overlapping regions. We demonstrate the effectiveness of the proposed method with the nuScenes large-scale multi-view 3D object detection data. Our experiments show that our proposed method outperforms current state-of-the-art models, i.e., DETR3D and BEVDet.


title: Doubly-Iterative Sparsified MMSE Turbo Equalization for OTFS Modulation

abstract: Currently, orthogonal time frequency space (OTFS) modulation has drawn much attention to reliable communications in high-mobility scenarios. This paper proposes a doubly-iterative sparsified minimum mean square error (DI-S-MMSE) turbo equalizer, which iteratively exchanges the extrinsic information between a soft-input-soft-input (SISO) MMSE estimator and a SISO decoder. Our proposed equalizer does not suffer from short loops and approaches the performance of the near-optimal symbol-wise maximum a posteriori (MAP) algorithm. To exploit the inherent sparsity of OTFS system, we resort to graph theory to investigate the sparsity pattern of the channel matrix, and propose two sparsification guidelines to reduce the complexity of calculating the matrix inverse at the MMSE estimator. Then, we apply two iterative algorithms to MMSE estimation, i.e., the Generalized Minimal Residual (GMRES) and Factorized Sparse Approximate Inverse (FSPAI) algorithms. The former is used at the initial turbo iteration, whose global convergence is proven in our equalizer, while the latter is used at the subsequent turbo iterations with the help of our proposed guidelines. Simulation results demonstrate that our equalizer has a linear order of complexity while the performance loss incurred by the sparsification is only 0.2 dB at $10^{-4}$ bit error rate.


title: Finite-time thermodynamic process of a two-level quantum heat engine

abstract: In this paper, we consider a model of two-level quantum heat engine to investigate the explicit analytic expression for the thermodynamics quantities in different condition under the finite-time operation. In this engine, the working substance is composed of a spin-half particles immersed in a magnetic field. The finite-time thermodynamic processes consisting of two quantum adiabatic and two quantum isothermal processes. This processes working between two heat reservoirs with an inverse temperatures $\beta_{1}$ and $\beta_{2}$ ($<\beta_{1}$). In this processes, we obtain the work, heat, power and efficiency at maximum power output of the model. Our result of the efficiency at maximum power agree with the universal value in the first order of Carnot efficiency.


title: The Linguistic Blind Spot of Value-Aligned Agency, Natural and Artificial

abstract: The value-alignment problem for artificial intelligence (AI) asks how we can ensure that the 'values' (i.e., objective functions) of artificial systems are aligned with the values of humanity. In this paper, I argue that linguistic communication (natural language) is a necessary condition for robust value alignment. I discuss the consequences that the truth of this claim would have for research programmes that attempt to ensure value alignment for AI systems; or, more loftily, designing robustly beneficial or ethical artificial agents.


title: First experiments looking at electric field outside the Dense Plasma Focus show axial magnetic field exists before, during and after the pinch phase

abstract: Recent experiments using 15 frame interferometry on PF-1000 facility in Warsaw confirm the association between neutron emission and spontaneously self-organized, relatively long lasting, finite plasma structures. A crucial aspect of this association is the simultaneous observation of an axial magnetic field, which can allow magnetic flux lines to densely cover closed surfaces creating "magnetic flux surfaces". Evolution of such 3-dimensional (3-D) magnetic field structures is necessarily accompanied by induced electric field that can provide a very long (theoretically infinite) acceleration path length along a trajectory enclosed within the magnetic structure leading to high ion kinetic energy, resulting in a high reaction rate. Associated charge and current densities can be related to electric scalar potential and magnetic vector potential measured outside the plasma. We report our first observations of these fields outside the plasma focus and discuss their general features. The reported technique is capable of unambiguous first-principles interpretation of signals in terms of quantities related to distributions of charge density and rate of change of azimuthal current density ("electromagnetic structure") in the plasma focus. It is non-intrusive and completely insensitive to non-axisymmetric aspects of plasma. Our first results show that axial magnetic field generated by azimuthal current density distribution symmetric about the axis exists before, during and after the pinch phase.


title: Dissipative Dynamics of Quantum Vortices in Fermionic Superfluid

abstract: In a recent article, Kwon et al. [Nature (London) {\bf 600}, 64 (2021)] revealed nonuniversal dissipative dynamics of quantum vortices in a fermionic superfluid. The enhancement of the dissipative process is pronounced for the Bardeen-Cooper-Schrieffer interaction regime, and it was suggested that the effect is due to the presence of quasiparticles localized inside the vortex core. We test this hypothesis through numerical simulations with time-dependent density-functional theory: a fully microscopic framework with fermionic degrees of freedom. The results of fully microscopic calculations expose the impact of the vortex-bound states on dissipative dynamics in a fermionic superfluid. Their contribution is too weak to explain the experimental measurements, and we identify that thermal effects, giving rise to mutual friction between superfluid and the normal component, dominate the observed dynamics.


title: The effect of droplet deformation and internal circulation on drag coefficient

abstract: The current study uses numerical approaches to investigate the effect of droplet deformation and internal circulation on droplet dynamics. Although droplet drag is a classical area of study, there are still theoretical gaps in understanding the motion of large droplets. In applications like spray combustion, droplets of various sizes are generated and move with the flow. Large droplets tend to deform in the flow, and have complex interactions with the flow because of this deformation. To better model spray, the physical understanding of droplets need to be improved. Under spray conditions, droplets are subjected to a high temperature and pressure environment, and the coupling between liquid and gas is enhanced. Therefore, the deformation and internal circulation will affect droplet drag coefficient more significantly than in atmospheric conditions. To study the mechanism on how droplet shape and internal circulation influence droplet dynamics, we will use direct numerical simulation (DNS) to simulate a droplet falling at its terminal velocity in high pressure air. An in-house code developed for interface-capturing DNS of multiphase flows will be employed for the simulation. The drag coefficient is calculated, and the results are consistent with existing literature for slightly deformed droplets. The results show that the drag coefficient is directly related to the droplet deformation and droplet internal circulation. The paper also develops a theory to account the effect of Weber number and liquid/gas properties in droplet deformation.


title: FL-Defender: Combating Targeted Attacks in Federated Learning

abstract: Federated learning (FL) enables learning a global machine learning model from local data distributed among a set of participating workers. This makes it possible i) to train more accurate models due to learning from rich joint training data, and ii) to improve privacy by not sharing the workers' local private data with others. However, the distributed nature of FL makes it vulnerable to targeted poisoning attacks that negatively impact the integrity of the learned model while, unfortunately, being difficult to detect. Existing defenses against those attacks are limited by assumptions on the workers' data distribution, may degrade the global model performance on the main task and/or are ill-suited to high-dimensional models. In this paper, we analyze targeted attacks against FL and find that the neurons in the last layer of a deep learning (DL) model that are related to the attacks exhibit a different behavior from the unrelated neurons, making the last-layer gradients valuable features for attack detection. Accordingly, we propose \textit{FL-Defender} as a method to combat FL targeted attacks. It consists of i) engineering more robust discriminative features by calculating the worker-wise angle similarity for the workers' last-layer gradients, ii) compressing the resulting similarity vectors using PCA to reduce redundant information, and iii) re-weighting the workers' updates based on their deviation from the centroid of the compressed similarity vectors. Experiments on three data sets with different DL model sizes and data distributions show the effectiveness of our method at defending against label-flipping and backdoor attacks. Compared to several state-of-the-art defenses, FL-Defender achieves the lowest attack success rates, maintains the performance of the global model on the main task and causes minimal computational overhead on the server.


title: Energy-efficient User Clustering for UAV-enabled Wireless Networks Using EM Algorithm

abstract: Unmanned Aerial Vehicles (UAVs) can be used to provide wireless connectivity to support the existing infrastructure in hot-spots or replace it in cases of destruction. UAV-enabled wireless provides several advantages in network performance due to drone small cells (DSCs) mobility despite the limited onboard energy. However, the problem of resource allocation has added complexity. In this paper, we propose an energy-efficient user clustering mechanism based on Gaussian mixture models (GMM) using a modified Expected-Maximization (EM) algorithm. The algorithm is intended to provide the initial user clustering and drone deployment upon which additional mechanisms can be employed to further enhance the system performance. The proposed algorithm improves the energy efficiency of the system by 25% and link reliability by 18.3% compared to other baseline methods.


title: Neural Networks for Path Planning

abstract: The scientific community is able to present a new set of solutions to practical problems that substantially improve the performance of modern technology in terms of efficiency and speed of computation due to the advancement in neural networks architectures. We present the latest works considering the utilization of neural networks in robot path planning. Our survey shows the contrast between different formulations of the problems that consider different inputs, outputs, and environments and how different neural networks architectures are able to provide solutions to all of the presented problems.


title: The dud canard: Existence of strong canard cycles in $\mathbb R^3$

abstract: In this paper, we provide a rigorous description of the birth of canard limit cycles in slow-fast systems in $\mathbb R^3$ through the folded saddle-node of type II and the singular Hopf bifurcation. In particular, we prove -- in the analytic case only -- that for all $0<\epsilon\ll 1$ there is a family of periodic orbits, born in the (singular) Hopf bifurcation and extending to $\mathcal O(1)$ cycles that follow the strong canard of the folded saddle-node. Our results can be seen as an extension of the canard explosion in $\mathbb R^2$, but in contrast to the planar case, the family of periodic orbits in $\mathbb R^3$ is not explosive. For this reason, we have chosen to call the phenomena in $\mathbb R^3$, the ``dud canard''. The main difficulty of the proof lies in connecting the Hopf cycles with the canard cycles, since these are described in different scalings. As in $\mathbb R^2$, we use blowup to overcome this, but we also have to compensate for the lack of uniformity near the Hopf bifurcation, due to its singular nature; it is a zero-Hopf bifurcation in the limit $\epsilon=0$. In the present paper, we do so by imposing analyticity of the vector-field. This allows us to prove existence of an invariant slow manifold, that is not normally hyperbolic.


title: A Biomedical Pipeline to Detect Clinical and Non-Clinical Named Entities

abstract: There are a few challenges related to the task of biomedical named entity recognition, which are: the existing methods consider a fewer number of biomedical entities (e.g., disease, symptom, proteins, genes); and these methods do not consider the social determinants of health (age, gender, employment, race), which are the non-medical factors related to patients' health. We propose a machine learning pipeline that improves on previous efforts in the following ways: first, it recognizes many biomedical entity types other than the standard ones; second, it considers non-clinical factors related to patient's health. This pipeline also consists of stages, such as preprocessing, tokenization, mapping embedding lookup and named entity recognition task to extract biomedical named entities from the free texts. We present a new dataset that we prepare by curating the COVID-19 case reports. The proposed approach outperforms the baseline methods on five benchmark datasets with macro-and micro-average F1 scores around 90, as well as our dataset with a macro-and micro-average F1 score of 95.25 and 93.18 respectively.


title: Effects of thermal expansion on Taylor dispersion-controlled diffusion flames

abstract: A theoretical analysis is developed to investigate the effects of gas expansion due to heat release on unsteady diffusion flames evolving in a pipe flow in which the mixing of reactants is controlled by Taylor's dispersion processes thereby extending a previously developed theory based on the thermo-diffusive model. It is first shown that at times larger than radial diffusion times, the pressure gradient induced by the gas expansion is, in the first approximation, small in comparison with the prevailing pressure gradient driving the flow, indicating that corrections to the background velocity profile are small. The corrections to the velocity components along with the leading-order mixing variables such as the concentrations, temperature and density are solved for a Burke-Schumann flame. Due to the dependence of the effective Taylor diffusion coefficients on the gas density, quantitative and sometimes qualitative departures in predictions from the thermo-diffusive model are observed.


title: Cosmology under the fractional calculus approach

abstract: Fractional cosmology modifies the standard derivative to Caputo's fractional derivative of order $\mu$, generating changes in General Relativity. Friedmann equations are modified, and the evolution of the species densities depends on $\mu$ and the age of the Universe $t_U$. We estimate stringent constraints on $\mu$ using cosmic chronometers, Type Ia supernovae, and joint analysis. We obtain $\mu=2.839^{+0.117}_{-0.193}$ within the $1\sigma$ confidence level providing a non-standard cosmic acceleration at late times; consequently, the Universe would be older than the standard estimations. Additionally, we present a stability analysis for different $\mu$ values. This analysis identifies a late-time attractor corresponding to a power-law decelerated solution for $\mu < 2$. Moreover, a non-relativistic critical point exists for $\mu > 1$ and a sink for $\mu > 2$. This solution is a decelerated power-law if $1 < \mu < 2$ and an accelerated power-law solution if $\mu > 2$, consistent with the mean values obtained from the observational analysis. Therefore, for both flat FLRW and Bianchi I metrics, the modified Friedmann equations provide a late cosmic acceleration under this paradigm without introducing a dark energy component. This approach could be a new path to tackling unsolved cosmological problems.


title: Tree ensemble kernels for Bayesian optimization with known constraints over mixed-feature spaces

abstract: Tree ensembles can be well-suited for black-box optimization tasks such as algorithm tuning and neural architecture search, as they achieve good predictive performance with little or no manual tuning, naturally handle discrete feature spaces, and are relatively insensitive to outliers in the training data. Two well-known challenges in using tree ensembles for black-box optimization are (i) effectively quantifying model uncertainty for exploration and (ii) optimizing over the piece-wise constant acquisition function. To address both points simultaneously, we propose using the kernel interpretation of tree ensembles as a Gaussian Process prior to obtain model variance estimates, and we develop a compatible optimization formulation for the acquisition function. The latter further allows us to seamlessly integrate known constraints to improve sampling efficiency by considering domain-knowledge in engineering settings and modeling search space symmetries, e.g., hierarchical relationships in neural architecture search. Our framework performs as well as state-of-the-art methods for unconstrained black-box optimization over continuous/discrete features and outperforms competing methods for problems combining mixed-variable feature spaces and known input constraints.


title: Biological Robots: Perspectives on an Emerging Interdisciplinary Field

abstract: Advances in science and engineering often reveal the limitations of classical approaches initially used to understand, predict, and control phenomena. With progress, conceptual categories must often be re-evaluated to better track recently discovered invariants across disciplines. It is essential to refine frameworks and resolve conflicting boundaries between disciplines such that they better facilitate, not restrict, experimental approaches and capabilities. In this essay, we discuss issues at the intersection of developmental biology, computer science, and robotics. In the context of biological robots, we explore changes across concepts and previously distinct fields that are driven by recent advances in materials, information, and life sciences. Herein, each author provides their own perspective on the subject, framed by their own disciplinary training. We argue that as with computation, certain aspects of developmental biology and robotics are not tied to specific materials; rather, the consilience of these fields can help to shed light on issues of multi-scale control, self-assembly, and relationships between form and function. We hope new fields can emerge as boundaries arising from technological limitations are overcome, furthering practical applications from regenerative medicine to useful synthetic living machines.


title: Intermediate and Power-Law Inflation in the Tachyon Model with Constant Sound Speed

abstract: By adopting the intermediate and power-law scale factors, we study the tachyon inflation with constant sound speed. We perform some numerical analysis on the perturbation and non-gaussianity parameters in this model and compare the results with observational data. By using the constraints on the scalar spectral index and tensor-to-scalar-ratio, obtained from Planck2018 TT, TE, EE+lowE+lensing+BAO+BK14 data, the constraint on the running of the scalar spectral index obtained from Planck2018 TT, TE, EE+lowEB+lensing data, and constraint on tensor spectral index obtained from Planck2018 TT, TE, EE +lowE+lensing+BK14+BAO+LIGO and Virgo2016 data, we find the observationally viable ranges of the model's parameters at both $68\%$ CL and $95\%$ CL. We also analyze the non-gaussian features of the model in the equilateral and orthogonal configurations. Based on Planck2018 TTT, EEE, TTE and EET data, we find the constraints on the sound speed as $0.276\leq c_{s}\leq 1$ at $68\%$ CL, $0.213\leq c_{s}\leq 1$ at $95\%$ CL, and $0.186\leq c_{s}\leq 1$ at $97\%$ CL.


title: Hydration at highly crowded interfaces

abstract: Understanding the molecular and electronic structure of electrolytes at interfaces requires an analysis of the interactions between the electrode surface, the ions, and the solvent environment on equal footing. Here, we tackle this challenge by exploring the initial stages of Cs+ hydration on a Cu(111) surface by combining experiment and theory. Remarkably, we observe "inside out" solvation of Cs ions, i.e, their preferential location at the perimeter of the water clusters on the metal surface. In addition, water-Cs complexes containing multiple Cs+ ions are observed to form at these surfaces. Established models based on maximum ion-water coordination and the double layer notion cannot account for this situation and the complex interplay of microscopic interactions is the key to a fundamental understanding.


title: Improving Transformer-based Conversational ASR by Inter-Sentential Attention Mechanism

abstract: Transformer-based models have demonstrated their effectiveness in automatic speech recognition (ASR) tasks and even shown superior performance over the conventional hybrid framework. The main idea of Transformers is to capture the long-range global context within an utterance by self-attention layers. However, for scenarios like conversational speech, such utterance-level modeling will neglect contextual dependencies that span across utterances. In this paper, we propose to explicitly model the inter-sentential information in a Transformer based end-to-end architecture for conversational speech recognition. Specifically, for the encoder network, we capture the contexts of previous speech and incorporate such historic information into current input by a context-aware residual attention mechanism. For the decoder, the prediction of current utterance is also conditioned on the historic linguistic information through a conditional decoder framework. We show the effectiveness of our proposed method on several open-source dialogue corpora and the proposed method consistently improved the performance from the utterance-level Transformer-based ASR models.


title: Quotients of Jacobians

abstract: Let C be a curve of genus g, and G a finite group of automorphisms of C . We prove that for g > 20 the quotient JC/G has canonical singularities, hence Kodaira dimension 0. On the other hand we give examples of curves C with g < 5 for which JC/G is uniruled.


title: Reinforcement Learning Approaches for the Orienteering Problem with Stochastic and Dynamic Release Dates

abstract: In this paper, we study a sequential decision-making problem faced by e-commerce carriers related to when to send out a vehicle from the central depot to serve customer requests, and in which order to provide the service, under the assumption that the time at which parcels arrive at the depot is stochastic and dynamic. The objective is to maximize the expected number of parcels that can be delivered during service hours. We propose two reinforcement learning (RL) approaches for solving this problem. These approaches rely on a look-ahead strategy in which future release dates are sampled in a Monte-Carlo fashion and a batch approach is used to approximate future routes. Both RL approaches are based on value function approximation - one combines it with a consensus function (VFA-CF) and the other one with a two-stage stochastic integer linear programming model (VFA-2S). VFA-CF and VFA-2S do not need extensive training as they are based on very few hyper-parameters and make good use of integer linear programming (ILP) and branch-and-cut-based exact methods to improve the quality of decisions. We also establish sufficient conditions for partial characterization of optimal policy and integrate them into VFA-CF/VFA-2S. In an empirical study, we conduct a competitive analysis using upper bounds with perfect information. We also show that VFA-CF and VFA-2S greatly outperform alternative approaches that: 1) do not rely on future information, or 2) are based on point estimation of future information, or 3) employ heuristics rather than exact methods, or 4) use exact evaluations of future rewards.


title: Derivatives of Complete Weight Enumerators and New Balance Principle of Binary Self-Dual Codes

abstract: Let H be the standard Hadamard matrix of order two and let K=2^{-1/2}H. It is known that the complete weight enumerator $\ W$ of a binary self-dual code of length $n$ is an eigenvector corresponding to an eigenvalue 1 of the Kronecker power $K^{[n]}.$ For every integer $t$ in the interval [0,n] we define the derivative of order $t$, $W_{<t>},$ of $W$ in such a way that $W_{<t>}$ is in the eigenspace of $\ 1$ of the matrix $K^{[n-t]}.$ For large values of $t,$ $W_{<t>}$ contains less information about the code but has smaller length while $W_{<0>}=W$ completely determines the code. We compute the derivative of order $n-5$ for the extended Golay code of length 24, the extended quadratic residue code of length 48, and the putative [72,24,12] code and show that they are in the eigenspace of $\ 1$ of the matrix $% K^{[5]}.$ We use the derivatives to prove a new balance equation which involves the number of code vectors of given weight having 1 in a selected coordinate position. As an example, we use the balance equation to eliminate some candidates for weight enumerators of binary self-dual codes of length eight.


title: Towards Robust Video Object Segmentation with Adaptive Object Calibration

abstract: In the booming video era, video segmentation attracts increasing research attention in the multimedia community. Semi-supervised video object segmentation (VOS) aims at segmenting objects in all target frames of a video, given annotated object masks of reference frames. Most existing methods build pixel-wise reference-target correlations and then perform pixel-wise tracking to obtain target masks. Due to neglecting object-level cues, pixel-level approaches make the tracking vulnerable to perturbations, and even indiscriminate among similar objects. Towards robust VOS, the key insight is to calibrate the representation and mask of each specific object to be expressive and discriminative. Accordingly, we propose a new deep network, which can adaptively construct object representations and calibrate object masks to achieve stronger robustness. First, we construct the object representations by applying an adaptive object proxy (AOP) aggregation method, where the proxies represent arbitrary-shaped segments at multi-levels for reference. Then, prototype masks are initially generated from the reference-target correlations based on AOP. Afterwards, such proto-masks are further calibrated through network modulation, conditioning on the object proxy representations. We consolidate this conditional mask calibration process in a progressive manner, where the object representations and proto-masks evolve to be discriminative iteratively. Extensive experiments are conducted on the standard VOS benchmarks, YouTube-VOS-18/19 and DAVIS-17. Our model achieves the state-of-the-art performance among existing published works, and also exhibits superior robustness against perturbations. Our project repo is at https://github.com/JerryX1110/Robust-Video-Object-Segmentation


title: Modified scaling in $k$-essence model in interacting dark energy - dark matter scenario

abstract: It has been shown by \textit{Scherrer and Putter et.al} that, when dynamics of dark energy is driven by a homogeneous $k-$essence scalar field $\phi$, with a Lagrangian of the form $L = V_0F(X)$ with a constant potential $V_0$ and $X = \frac{1}{2}\nabla^\mu\phi \nabla_\mu\phi = \frac{1}{2}\dot{\phi}^2$, one obtains a scaling relation $X(dF/dX)^2 = Ca^{-6}$ , where $C$ is a constant and $a$ is the FRW scale factor of the universe. The separate energy conservation in the dark energy sector and the constancy of $k-$essence potential are instrumental in obtaining such a scaling. In this paper, we have shown that even when considering time-dependent interactions between dark energy and dark matter, the constancy of $k-$essence potential may lead to a modified form of scaling. We have obtained such a scaling relation for a particular class of parametrisation of the source term occurring in the continuity equation of dark energy and dark matter in the interacting scenario. We used inputs from the JLA analysis of luminosity distance and redshift data from Supernova Ia observations, to obtain the modified form of the scaling.


title: Lattice Fermionic Casimir effect in a Slab Bag and Universality

abstract: We apply the physically more appealing MIT Bag boundary conditions to study the Casimir effect on the lattice. Employing the formalism of arXiv:2005.10758 to calculate the Casimir energy for free lattice fermions, we show that the results for the naive, Wilson and overlap fermions match the continuum expressions precisely in the zero lattice spacing limit, as expected from universality. In contrast to arXiv:2005.10758 where the result for the naive fermions rapidly oscillates with the lattice size for both, the periodic (P) and anti-periodic (AP) boundary conditions, no oscillations are observed with the lattice size. Furthermore, the apparent violation of the universality for naive fermion in arXiv:2005.10758 is shown to be cured by applying suitable series extrapolation techniques, thus demonstrating that the Casimir energy for the naive fermions with periodic/antiperiodic boundary conditions agrees with the results for other free lattice fermions, and can as well be used to obtain the results for the Dirac fermion in the zero limit of the lattice spacing.


title: The Professionalization of the Hacker Industry

abstract: Society is inextricably dependent on the Internet and other globally interconnected infrastructures used in the provisioning of information services. The growth of information technology (IT) and information systems (IS) over the past decades has created an unprecedented demand for access to information. The implication of wireless mobility are great, and the commercial possibilities of new and innovative wireless flexibility are just beginning to be realized through the emergence of the Internet of Things (IoT). This article takes a look the history of hacking and professionalization of the hacker industry. As the hacker industry becomes more fully professionalized, it is becoming much more adaptive and flexible, making it harder for intelligence and law enforcement to confront. Furthermore, the hacker industry is blurring the distinction between motivated crime and traditional computer security threats - including the disruption of critical infrastructures or the penetration of networks.