title: Correctness of Broadcast via Multicast: Graphically and Formally

abstract: Maintaining data consistency among multiple parties requires nodes to repeatedly send data to all other nodes. For example, the nodes of a blockchain network have to disseminate the blocks they create across the whole network. The scientific literature typically takes the ideal perspective that such data distribution is performed by broadcasting to all nodes directly, while in practice data is distributed by repeated multicast. Since correctness and security of consistency maintenance protocols usually have been established for the ideal setting only, it is vital to show that these properties carry over to real-world implementations. Therefore, it is desirable to prove that the ideal and the real behavior are equivalent. In the work described in this paper, we take an important step towards such a proof by proving a simpler variant of this equivalence statement. The simplification is that we consider only a concrete pair of network topologies, which nevertheless illustrates important phenomena encountered with arbitrary topologies. For describing systems that distribute data, we use a domain-specific language of processes that corresponds to a class of Petri nets and is embedded in a general-purpose process calculus. This way, we can outline our proof using an intuitive graphical notation and leverage the rich theory of process calculi in the actual proof, which is machine-checked using the Isabelle proof assistant.


title: Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation

abstract: Multi-agent systems for resource allocation (MRAs) have been introduced as a concept for modelling competitive resource allocation problems in distributed computing. An MRA is composed of a set of agents and a set of resources. Each agent has goals in terms of allocating certain resources. For MRAs it is typically of importance that they are designed in a way such that there exists a strategy that guarantees that all agents will achieve their goals. The corresponding model checking problem is to determine whether such a winning strategy exists or not, and the synthesis problem is to actually build the strategy. While winning strategies ensure that all goals will be achieved, following such strategies does not necessarily involve an optimal use of resources. In this paper, we present a technique that allows to synthesise cost-optimal solutions to distributed resource allocation problems. We consider a scenario where system components such as agents and resources involve costs. A multi-agent system shall be designed that is cost-minimal but still capable of accomplishing a given set of goals. Our approach synthesises a winning strategy that minimises the cumulative costs of the components that are required for achieving the goals. The technique is based on a propositional logic encoding and a reduction of the synthesis problem to the maximum satisfiability problem (Max-SAT). Hence, a Max-SAT solver can be used to perform the synthesis. From a truth assignment that maximises the number of satisfied clauses of the encoding a cost-optimal winning strategy as well as a cost-optimal system can be immediately derived.


title: How the Blast-Wave Model Describes PID Hadron Spectra from 5 TeV p-Pb Collisions

abstract: The blast-wave (BW) spectrum model has been applied extensively to nucleus-nucleus collision data with the intention to demonstrate formation of a quark-gluon plasma (QGP) in more-central A-A collisions. More recently the BW model has been applied to p-p, d-Au and p-Pb collisions. Such results are interpreted to indicate that ``collectivity'' (flows) and QGP appear in smaller systems. I consider variations of the BW model and supporting assumptions. In this talk I review BW analysis of identified-hadron spectra from 5 TeV p-Pb collisions and examine the shape evolution of model spectra with collision centrality. I evaluate data-model fit quality using conventional statistical measures. I conclude that the BW model is not a valid data model.


title: Revisiting Image Pyramid Structure for High Resolution Salient Object Detection

abstract: Salient object detection (SOD) has been in the spotlight recently, yet has been studied less for high-resolution (HR) images. Unfortunately, HR images and their pixel-level annotations are certainly more labor-intensive and time-consuming compared to low-resolution (LR) images and annotations. Therefore, we propose an image pyramid-based SOD framework, Inverse Saliency Pyramid Reconstruction Network (InSPyReNet), for HR prediction without any of HR datasets. We design InSPyReNet to produce a strict image pyramid structure of saliency map, which enables to ensemble multiple results with pyramid-based image blending. For HR prediction, we design a pyramid blending method which synthesizes two different image pyramids from a pair of LR and HR scale from the same image to overcome effective receptive field (ERF) discrepancy. Our extensive evaluations on public LR and HR SOD benchmarks demonstrate that InSPyReNet surpasses the State-of-the-Art (SotA) methods on various SOD metrics and boundary accuracy.


title: SparCL: Sparse Continual Learning on the Edge

abstract: Existing work in continual learning (CL) focuses on mitigating catastrophic forgetting, i.e., model performance deterioration on past tasks when learning a new task. However, the training efficiency of a CL system is under-investigated, which limits the real-world application of CL systems under resource-limited scenarios. In this work, we propose a novel framework called Sparse Continual Learning(SparCL), which is the first study that leverages sparsity to enable cost-effective continual learning on edge devices. SparCL achieves both training acceleration and accuracy preservation through the synergy of three aspects: weight sparsity, data efficiency, and gradient sparsity. Specifically, we propose task-aware dynamic masking (TDM) to learn a sparse network throughout the entire CL process, dynamic data removal (DDR) to remove less informative training data, and dynamic gradient masking (DGM) to sparsify the gradient updates. Each of them not only improves efficiency, but also further mitigates catastrophic forgetting. SparCL consistently improves the training efficiency of existing state-of-the-art (SOTA) CL methods by at most 23X less training FLOPs, and, surprisingly, further improves the SOTA accuracy by at most 1.7%. SparCL also outperforms competitive baselines obtained from adapting SOTA sparse training methods to the CL setting in both efficiency and accuracy. We also evaluate the effectiveness of SparCL on a real mobile phone, further indicating the practical potential of our method.


title: High Order Asymptotic Preserving and Classical Semi-implicit RK Schemes for the Euler-Poisson System in the Quasineutral Limit

abstract: In this paper, the design and analysis of high order accurate IMEX finite volume schemes for the compressible Euler-Poisson (EP) equations in the quasineutral limit is presented. As the quasineutral limit is singular for the governing equations, the time discretisation is tantamount to achieving an accurate numerical method. To this end, the EP system is viewed as a differential algebraic equation system (DAEs) via the method of lines. As a consequence of this vantage point, high order linearly semi-implicit (SI) time discretisation are realised by employing a novel combination of the direct approach used for implicit discretisation of DAEs and, two different classes of IMEX-RK schemes: the additive and the multiplicative. For both the time discretisation strategies, in order to account for rapid plasma oscillations in quasineutral regimes, the nonlinear Euler fluxes are split into two different combinations of stiff and non-stiff components. The high order scheme resulting from the additive approach is designated as a classical scheme while the one generated by the multiplicative approach possesses the asymptotic preserving (AP) property. Time discretisations for the classical and the AP schemes are performed by standard IMEX-RK and SI-IMEX-RK methods, respectively so that the stiff terms are treated implicitly and the non-stiff ones explicitly. In order to discretise in space a Rusanov-type central flux is used for the non-stiff part, and simple central differencing for the stiff part. AP property is also established for the space-time fully-discrete scheme obtained using the multiplicative approach. Results of numerical experiments are presented, which confirm that the high order schemes based on the SI-IMEX-RK time discretisation achieve uniform second order convergence with respect to the Debye length and are AP in the quasineutral limit.


title: Guiding vector fields for the distributed motion coordination of mobile robots

abstract: We propose coordinating guiding vector fields to achieve two tasks simultaneously with a team of robots: first, the guidance and navigation of multiple robots to possibly different paths or surfaces typically embedded in 2D or 3D; second, their motion coordination while tracking their prescribed paths or surfaces. The motion coordination is defined by desired parametric displacements between robots on the path or surface. Such a desired displacement is achieved by controlling the virtual coordinates, which correspond to the path or surface's parameters, between guiding vector fields. Rigorous mathematical guarantees underpinned by dynamical systems theory and Lyapunov theory are provided for the effective distributed motion coordination and navigation of robots on paths or surfaces from all initial positions. As an example for practical robotic applications, we derive a control algorithm from the proposed coordinating guiding vector fields for a Dubins-car-like model with actuation saturation. Our proposed algorithm is distributed and scalable to an arbitrary number of robots. Furthermore, extensive illustrative simulations and fixed-wing aircraft outdoor experiments validate the effectiveness and robustness of our algorithm.


title: Sub-Weyl strength bounds for twisted $GL(2)$ short character sums

abstract: Let $$S(N) = \sum_{n \sim N}^{\text{smooth}} \, \lambda_{f}(n) \, \chi(n),$$ where $\lambda_{f}(n)$'s are Fourier coefficients of Hecke-eigen form, and $\chi$ is a primitive character of conductor $p^{r}$. In this article we prove a sub-Weyl strength bounds for $S(N)$. Indeed, we obtain $$S(N) \ll \, N^{\frac{5}{9}} \ p^{\frac{13r}{45}},$$ provided that $ p^{13r/20} \leq N \leq p^{4r/5}$. Note that the above bound for $S(N)$ is non-trivial if $N\geq \left(p^{r}\right)^{\frac{2}{3}-\frac{1}{60}}$.


title: Unsupervised Early Exit in DNNs with Multiple Exits

abstract: Deep Neural Networks (DNNs) are generally designed as sequentially cascaded differentiable blocks/layers with a prediction module connected only to its last layer. DNNs can be attached with prediction modules at multiple points along the backbone where inference can stop at an intermediary stage without passing through all the modules. The last exit point may offer a better prediction error but also involves more computational resources and latency. An exit point that is `optimal' in terms of both prediction error and cost is desirable. The optimal exit point may depend on the latent distribution of the tasks and may change from one task type to another. During neural inference, the ground truth of instances may not be available and error rates at each exit point cannot be estimated. Hence one is faced with the problem of selecting the optimal exit in an unsupervised setting. Prior works tackled this problem in an offline supervised setting assuming that enough labeled data is available to estimate the error rate at each exit point and tune the parameters for better accuracy. However, pre-trained DNNs are often deployed in new domains for which a large amount of ground truth may not be available. We model the problem of exit selection as an unsupervised online learning problem and use bandit theory to identify the optimal exit point. Specifically, we focus on Elastic BERT, a pre-trained multi-exit DNN to demonstrate that it `nearly' satisfies the Strong Dominance (SD) property making it possible to learn the optimal exit in an online setup without knowing the ground truth labels. We develop upper confidence bound (UCB) based algorithm named UEE-UCB that provably achieves sub-linear regret under the SD property. Thus our method provides a means to adaptively learn domain-specific optimal exit points in multi-exit DNNs. We empirically validate our algorithm on IMDb and Yelp datasets.


title: Feature embedding in click-through rate prediction

abstract: We tackle the challenge of feature embedding for the purposes of improving the click-through rate prediction process. We select three models: logistic regression, factorization machines and deep factorization machines, as our baselines and propose five different feature embedding modules: embedding scaling, FM embedding, embedding encoding, NN embedding and the embedding reweighting module. The embedding modules act as a way to improve baseline model feature embeddings and are trained alongside the rest of the model parameters in an end-to-end manner. Each module is individually added to a baseline model to obtain a new augmented model. We test the predictive performance of our augmented models on a publicly accessible dataset used for benchmarking click-through rate prediction models. Our results show that several proposed embedding modules provide an important increase in predictive performance without a drastic increase in training time.


title: Incorporating Causal Analysis into Diversified and Logical Response Generation

abstract: Although the Conditional Variational AutoEncoder (CVAE) model can generate more diversified responses than the traditional Seq2Seq model, the responses often have low relevance with the input words or are illogical with the question. A causal analysis is carried out to study the reasons behind, and a methodology of searching for the mediators and mitigating the confounding bias in dialogues is provided. Specifically, we propose to predict the mediators to preserve relevant information and auto-regressively incorporate the mediators into generating process. Besides, a dynamic topic graph guided conditional variational autoencoder (TGG-CVAE) model is utilized to complement the semantic space and reduce the confounding bias in responses. Extensive experiments demonstrate that the proposed model is able to generate both relevant and informative responses, and outperforms the state-of-the-art in terms of automatic metrics and human evaluations.


title: Diffusion Unit: Interpretable Edge Enhancement and Suppression Learning for 3D Point Cloud Segmentation

abstract: 3D point clouds are discrete samples of continuous surfaces which can be used for various applications. However, the lack of true connectivity information, i.e., edge information, makes point cloud recognition challenging. Recent edge-aware methods incorporate edge modeling into network designs to better describe local structures. Although these methods show that incorporating edge information is beneficial, how edge information helps remains unclear, making it difficult for users to analyze its usefulness. To shed light on this issue, in this study, we propose a new algorithm called Diffusion Unit (DU) that handles edge information in a principled and interpretable manner while providing decent improvement. First, we theoretically show that DU learns to perform task-beneficial edge enhancement and suppression. Second, we experimentally observe and verify the edge enhancement and suppression behavior. Third, we empirically demonstrate that this behavior contributes to performance improvement. Extensive experiments and analyses performed on challenging benchmarks verify the effectiveness of DU. Specifically, our method achieves state-of-the-art performance in object part segmentation using ShapeNet part and scene segmentation using S3DIS. Our source code is available at https://github.com/martianxiu/DiffusionUnit.


title: Hierarchical Temporal Transformer for 3D Hand Pose Estimation and Action Recognition from Egocentric RGB Videos

abstract: Understanding dynamic hand motions and actions from egocentric RGB videos is a fundamental yet challenging task due to self-occlusion and ambiguity. To address occlusion and ambiguity, we develop a transformer-based framework to exploit temporal information for robust estimation. Noticing the different temporal granularity of and the semantic correlation between hand pose estimation and action recognition, we build a network hierarchy with two cascaded transformer encoders, where the first one exploits the short-term temporal cue for hand pose estimation, and the latter aggregates per-frame pose and object information over a longer time span to recognize the action. Our approach achieves competitive results on two first-person hand action benchmarks, namely FPHA and H2O. Extensive ablation studies verify our design choices.


title: Generalizing through Forgetting -- Domain Generalization for Symptom Event Extraction in Clinical Notes

abstract: Symptom information is primarily documented in free-text clinical notes and is not directly accessible for downstream applications. To address this challenge, information extraction approaches that can handle clinical language variation across different institutions and specialties are needed. In this paper, we present domain generalization for symptom extraction using pretraining and fine-tuning data that differs from the target domain in terms of institution and/or specialty and patient population. We extract symptom events using a transformer-based joint entity and relation extraction method. To reduce reliance on domain-specific features, we propose a domain generalization method that dynamically masks frequent symptoms words in the source domain. Additionally, we pretrain the transformer language model (LM) on task-related unlabeled texts for better representation. Our experiments indicate that masking and adaptive pretraining methods can significantly improve performance when the source domain is more distant from the target domain.


title: Self-supervised 3D Object Detection from Monocular Pseudo-LiDAR

abstract: There have been attempts to detect 3D objects by fusion of stereo camera images and LiDAR sensor data or using LiDAR for pre-training and only monocular images for testing, but there have been less attempts to use only monocular image sequences due to low accuracy. In addition, when depth prediction using only monocular images, only scale-inconsistent depth can be predicted, which is the reason why researchers are reluctant to use monocular images alone. Therefore, we propose a method for predicting absolute depth and detecting 3D objects using only monocular image sequences by enabling end-to-end learning of detection networks and depth prediction networks. As a result, the proposed method surpasses other existing methods in performance on the KITTI 3D dataset. Even when monocular image and 3D LiDAR are used together during training in an attempt to improve performance, ours exhibit is the best performance compared to other methods using the same input. In addition, end-to-end learning not only improves depth prediction performance, but also enables absolute depth prediction, because our network utilizes the fact that the size of a 3D object such as a car is determined by the approximate size.


title: Design and Implementation of Fragmented Clouds for Evaluation of Distributed Databases

abstract: In this paper, we present a Fragmented Hybrid Cloud (FHC) that provides a unified view of multiple geographically distributed private cloud datacenters. FHC leverages a fragmented usage model in which outsourcing is bi-directional across private clouds that can be hosted by static and mobile entities. The mobility aspect of private cloud nodes has important impact on the FHC performance in terms of latency and network throughput that are reversely proportional to time-varying distances among different nodes. Mobility also results in intermittent interruption among computing nodes and network links of FHC infrastructure. To fully consider mobility and its consequences, we implemented a layered FHC that leverages Linux utilities and bash-shell programming. We also evaluated the impact of the mobility of nodes on the performance of distributed databases as a result of time-varying latency and bandwidth, downsizing and upsizing cluster nodes, and network accessibility. The findings from our extensive experiments provide deep insights into the performance of well-known big data databases, such as Cassandra, MongoDB, Redis, and MySQL, when deployed on a FHC.


title: A unified Erd\H{o}s-P\'{o}sa theorem for cycles in graphs labelled by multiple abelian groups

abstract: In 1965, Erd\H{o}s and P\'{o}sa proved that there is a duality between the maximum size of a packing of cycles and the minimum size of a vertex set hitting all cycles. Such a duality does not hold for odd cycles, and Dejter and Neumann-Lara asked in 1988 to find all pairs ${(\ell, z)}$ of integers where such a duality holds for the family of cycles of length $\ell$ modulo $z$. We characterise all such pairs, and we further generalise this characterisation to cycles in graphs labelled with a bounded number of abelian groups, whose values avoid a bounded number of elements of each group. This unifies almost all known types of cycles that admit such a duality, and it also provides new results. Moreover, we characterise the obstructions to such a duality in this setting, and thereby obtain an analogous characterisation for cycles in graphs embeddable on a fixed compact orientable surface.


title: Perceptual Quality Assessment for Digital Human Heads

abstract: Digital humans are attracting more and more research interest during the last decade, the generation, representation, rendering, and animation of which have been put into large amounts of effort. However, the quality assessment of digital humans has fallen behind. Therefore, to tackle the challenge of digital human quality assessment issues, we propose the first large-scale quality assessment database for three-dimensional (3D) scanned digital human heads (DHHs). The constructed database consists of 55 reference DHHs and 1,540 distorted DHHs along with the subjective perceptual ratings. Then, a simple yet effective full-reference (FR) projection-based method is proposed to evaluate the visual quality of DHHs. The pretrained Swin Transformer tiny is employed for hierarchical feature extraction and the multi-head attention module is utilized for feature fusion. The experimental results reveal that the proposed method exhibits state-of-the-art performance among the mainstream FR metrics. The database is released at https://github.com/zzc-1998/DHHQA.


title: Search for Majoron-like particles with CUPID-0

abstract: We present the first search for the Majoron-emitting modes of the neutrinoless double $\beta$ decay ($0\nu\beta\beta\chi_0$) using scintillating cryogenic calorimeters. We analysed the CUPID-0 Phase I data using a Bayesian approach to reconstruct the background sources activities, and evaluate the potential contribution of the $^{82}$Se $0\nu\beta\beta\chi_0$. We considered several possible theoretical models which predict the existence of a Majoron-like boson coupling to the neutrino. The energy spectra arising from the emission of such bosons in the neutrinoless double $\beta$ decay have spectral indices $n=$ 1, 2, 3 or 7. We found no evidence of any of these decay modes, setting a lower limit (90% of credibility interval) on the half-life of 1.2 $\times$ 10$^{23}$ yr in the case of $n=$ 1, 3.8 $\times$ 10$^{22}$ yr for $n=$ 2, 1.4 $\times$ 10$^{22}$ yr for $n=$ 3 and 2.2 $\times$ 10$^{21}$ yr for $n=$ 7. These are the best limits on the $0\nu\beta\beta\chi_0$ half-life of the $^{82}$Se, and demonstrate the potentiality of the CUPID-0 technology in this field.


title: Deep Q-Network for AI Soccer

abstract: Reinforcement learning has shown an outstanding performance in the applications of games, particularly in Atari games as well as Go. Based on these successful examples, we attempt to apply one of the well-known reinforcement learning algorithms, Deep Q-Network, to the AI Soccer game. AI Soccer is a 5:5 robot soccer game where each participant develops an algorithm that controls five robots in a team to defeat the opponent participant. Deep Q-Network is designed to implement our original rewards, the state space, and the action space to train each agent so that it can take proper actions in different situations during the game. Our algorithm was able to successfully train the agents, and its performance was preliminarily proven through the mini-competition against 10 teams wishing to take part in the AI Soccer international competition. The competition was organized by the AI World Cup committee, in conjunction with the WCG 2019 Xi'an AI Masters. With our algorithm, we got the achievement of advancing to the round of 16 in this international competition with 130 teams from 39 countries.


title: The Bayesian Origins of Growth Rates in Stochastic Environments

abstract: Stochastic multiplicative dynamics characterize many complex natural phenomena such as selection and mutation in evolving populations, and the generation and distribution of wealth within social systems. Population heterogeneity in stochastic growth rates has been shown to be the critical driver of diversity dynamics and of the emergence of wealth inequality over long time scales. However, we still lack a general statistical framework that systematically explains the origins of these heterogeneities from the adaptation of agents to their environment. In this paper, we derive population growth parameters resulting from the interaction between agents and their knowable environment, conditional on subjective signals each agent receives. We show that average growth rates converge, under specific conditions, to their maximal value as the mutual information between the agent's signal and the environment, and that sequential Bayesian learning is the optimal strategy for reaching this maximum. It follows that when all agents access the same environment using the same inference model, the learning process dynamically attenuates growth rate disparities, reversing the long-term effects of heterogeneity on inequality. Our approach lays the foundation for a unified general quantitative modeling of social and biological phenomena such as the dynamical effects of cooperation, and the effects of education on life history choices.


title: A framework for benchmarking clustering algorithms

abstract: The evaluation of clustering algorithms can involve running them on a variety of benchmark problems, and comparing their outputs to the reference, ground-truth groupings provided by experts. Unfortunately, many research papers and graduate theses consider only a small number of datasets. Also, the fact that there can be many equally valid ways to cluster a given problem set is rarely taken into account. In order to overcome these limitations, we have developed a framework whose aim is to introduce a consistent methodology for testing clustering algorithms. Furthermore, we have aggregated, polished, and standardised many clustering benchmark dataset collections referred to across the machine learning and data mining literature, and included new datasets of different dimensionalities, sizes, and cluster types. An interactive datasets explorer, the documentation of the Python API, a description of the ways to interact with the framework from other programming languages such as R or MATLAB, and other details are all provided at <https://clustering-benchmarks.gagolewski.com>.


title: Samuil Kaplan and the development of astrophysical research at the Lviv University (dedicated to the 100th anniversary of his birth)

abstract: Samuil Kaplan (1921-1978) was a productive and famous astrophysicist. He was affiliated with a number of scientific centers in different cities of former Soviet Union. The earliest 13 years of his career, namely in the 1948-1961 years, he worked in Lviv University in Ukraine (then it was called the Ukrainian Soviet Socialist Republic). In the present paper, the Lviv period of his life and scientific activity is described on the basis of archival materials and his published studies. Kaplan arrived in Lviv in June 1948, at the same month when he obtained the degree of Candidate of science. He was a head of the astrophysics sector at the Astronomical Observatory of the University, was a professor of department for theoretical physics as well as the founder and head of a station for optical observations of artificial satellites of Earth. He was active in the organization of the astronomical observational site outside of the city. During the years in Lviv, Kaplan wrote more than 80 articles and 3 monographs in 9 areas. The focus of his interests at that time was on stability of circular orbits in the Schwarzschild field, on white dwarf theory, on space gas dynamics, and cosmic plasma physics, and turbulence, on acceleration of cosmic rays, on physics of interstellar medium, on physics and evolution of stars, on cosmology and gravitation, and on optical observations of Earth artificial satellites. Some of his results are fundamental for development of theory in these fields as well as of observational techniques. The complete bibliography of his works published during the Lviv period is presented. Respective scientific achievements of Samuil Kaplan are reviewed in the light of the current state of research in these areas.

categories: astro-ph.CO astro-ph.GA astro-ph.SR gr-qc physics.hist-ph


title: Improved bounds in Stein's method for functions of multivariate normal random vectors

abstract: In a recent paper, Gaunt 2020 extended Stein's method to limit distributions that can be represented as a function $g:\mathbb{R}^d\rightarrow\mathbb{R}$ of a centered multivariate normal random vector $\Sigma^{1/2}\mathbf{Z}$ with $\mathbf{Z}$ a standard $d$-dimensional multivariate normal random vector and $\Sigma$ a non-negative definite covariance matrix. In this paper, we obtain improved bounds, in the sense of weaker moment conditions, smaller constants and simpler forms, for the case that $g$ has derivatives with polynomial growth. We obtain new non-uniform bounds for the derivatives of the solution of the Stein equation and use these inequalities to obtain general bounds on the distance, measured using smooth test functions, between the distributions of $g(\mathbf{W}_n)$ and $g(\mathbf{Z})$, where $\mathbf{W}_n$ is a standardised sum of random vectors with independent components and $\mathbf{Z}$ is a standard $d$-dimensional multivariate normal random vector. We apply these general bounds to obtain bounds for the chi-square approximation of the family of power divergence statistics (special cases include the Pearson and likelihood ratio statistics), for the case of two cell classifications, that improve on existing results in the literature.


title: Parametric Synthesis of Quantum Circuits for Training Perceptron Neural Networks

abstract: This paper showcases a method of parametric synthesis of quantum circuits for training perceptron neural networks. Synapse weights are found using Grover's algorithm with a modified oracle function. The results of running these parametrically synthesized circuits for training perceptrons of three different topologies are described. The circuits were run on a 100-qubit IBM quantum simulator. The synthesis of quantum circuits is carried out using quantum synthesizer "Naginata", which was developed in the scope of this work, the source code of which is published and further documented on GitHub. The article describes the quantum circuit synthesis algorithm for training single-layer perceptrons. At the moment, quantum circuits are created mainly by manually placing logic elements on lines that symbolize quantum bits. The purpose of creating Quantum Circuit Synthesizer "Naginata" was due to the fact that even with a slight increase in the number of operations in a quantum algorithm, leads to the significant increase in size of the corresponding quantum circuit. This causes serious difficulties both in creating and debugging these quantum circuits. The purpose of our quantum synthesizer is enabling users an opportunity to implement quantum algorithms using higher-level commands. This is achieved by creating generic blocks for frequently used operations such as: the adder, multiplier, digital comparator (comparison operator), etc. Thus, the user could implement a quantum algorithm by using these generic blocks, and the quantum synthesizer would create a suitable circuit for this algorithm, in a format that is supported by the chosen quantum computation environment. This approach greatly simplifies the processes of development and debugging a quantum algorithm.


title: Generating Persuasive Responses to Customer Reviews with Multi-Source Prior Knowledge in E-commerce

abstract: Customer reviews usually contain much information about one's online shopping experience. While positive reviews are beneficial to the stores, negative ones will largely influence consumers' decision and may lead to a decline in sales. Therefore, it is of vital importance to carefully and persuasively reply to each negative review and minimize its disadvantageous effect. Recent studies consider leveraging generation models to help the sellers respond. However, this problem is not well-addressed as the reviews may contain multiple aspects of issues which should be resolved accordingly and persuasively. In this work, we propose a Multi-Source Multi-Aspect Attentive Generation model for persuasive response generation. Various sources of information are appropriately obtained and leveraged by the proposed model for generating more informative and persuasive responses. A multi-aspect attentive network is proposed to automatically attend to different aspects in a review and ensure most of the issues are tackled. Extensive experiments on two real-world datasets, demonstrate that our approach outperforms the state-of-the-art methods and online tests prove that our deployed system significantly enhances the efficiency of the stores' dealing with negative reviews.


title: NBD-GAP: Non-Blind Image Deblurring Without Clean Target Images

abstract: In recent years, deep neural network-based restoration methods have achieved state-of-the-art results in various image deblurring tasks. However, one major drawback of deep learning-based deblurring networks is that large amounts of blurry-clean image pairs are required for training to achieve good performance. Moreover, deep networks often fail to perform well when the blurry images and the blur kernels during testing are very different from the ones used during training. This happens mainly because of the overfitting of the network parameters on the training data. In this work, we present a method that addresses these issues. We view the non-blind image deblurring problem as a denoising problem. To do so, we perform Wiener filtering on a pair of blurry images with the corresponding blur kernels. This results in a pair of images with colored noise. Hence, the deblurring problem is translated into a denoising problem. We then solve the denoising problem without using explicit clean target images. Extensive experiments are conducted to show that our method achieves results that are on par to the state-of-the-art non-blind deblurring works.


title: Compact objects in gravity theories

abstract: We briefly discuss explicit compact object solutions in higher-order scalar-tensor theories. We start by so-called stealth solutions, whose metric are General Relativity (GR) solutions, but accompanied by a non-trivial scalar field, in both spherically-symmetric and rotating cases. The latter then enables to construct an analytic stationary solution of scalar tensor theory which is called disformed Kerr metric. This solution constitutes a measurable departure from the usual Kerr geometry of GR. We finally consider a scalar-tensor theory stemming from a Kaluza-Klein reduction of a higher-dimensional Lovelock theory, and which enables to obtain non-stealth black holes, highly compact neutron stars and finally wormhole solutions.


title: Reduction from Complementary-Label Learning to Probability Estimates

abstract: Complementary-Label Learning (CLL) is a weakly-supervised learning problem that aims to learn a multi-class classifier from only complementary labels, which indicate a class to which an instance does not belong. Existing approaches mainly adopt the paradigm of reduction to ordinary classification, which applies specific transformations and surrogate losses to connect CLL back to ordinary classification. Those approaches, however, face several limitations, such as the tendency to overfit or be hooked on deep models. In this paper, we sidestep those limitations with a novel perspective--reduction to probability estimates of complementary classes. We prove that accurate probability estimates of complementary labels lead to good classifiers through a simple decoding step. The proof establishes a reduction framework from CLL to probability estimates. The framework offers explanations of several key CLL approaches as its special cases and allows us to design an improved algorithm that is more robust in noisy environments. The framework also suggests a validation procedure based on the quality of probability estimates, leading to an alternative way to validate models with only complementary labels. The flexible framework opens a wide range of unexplored opportunities in using deep and non-deep models for probability estimates to solve the CLL problem. Empirical experiments further verified the framework's efficacy and robustness in various settings.


title: Proportionate Adaptive Graph Signal Recovery

abstract: This paper generalizes the proportionate-type adaptive algorithm to the graph signal processing and proposes two proportionate-type adaptive graph signal recovery algorithms. The gain matrix of the proportionate algorithm leads to faster convergence than least mean squares (LMS) algorithm. In this paper, the gain matrix is obtained in a closed-form by minimizing the gradient of the mean-square deviation (GMSD). The first algorithm is the Proportionate-type Graph LMS (Pt-GLMS) algorithm which simply uses a gain matrix in the recursion process of the LMS algorithm and accelerates the convergence of the Pt-GLMS algorithm compared to the LMS algorithm. The second algorithm is the Proportionate-type Graph Extended LMS (Pt-GELMS) algorithm, which uses the previous signal vectors alongside the signal of the current iteration. The Pt-GELMS algorithm utilizes two gain matrices to control the effect of the signal of the previous iterations. The stability analyses of the algorithms are also provided. Simulation results demonstrate the efficacy of the two proposed proportionate-type LMS algorithms.


title: GAMA: Generative Adversarial Multi-Object Scene Attacks

abstract: The majority of methods for crafting adversarial attacks have focused on scenes with a single dominant object (e.g., images from ImageNet). On the other hand, natural scenes include multiple dominant objects that are semantically related. Thus, it is crucial to explore designing attack strategies that look beyond learning on single-object scenes or attack single-object victim classifiers. Due to their inherent property of strong transferability of perturbations to unknown models, this paper presents the first approach of using generative models for adversarial attacks on multi-object scenes. In order to represent the relationships between different objects in the input scene, we leverage upon the open-sourced pre-trained vision-language model CLIP (Contrastive Language-Image Pre-training), with the motivation to exploit the encoded semantics in the language space along with the visual space. We call this attack approach Generative Adversarial Multi-object scene Attacks (GAMA). GAMA demonstrates the utility of the CLIP model as an attacker's tool to train formidable perturbation generators for multi-object scenes. Using the joint image-text features to train the generator, we show that GAMA can craft potent transferable perturbations in order to fool victim classifiers in various attack settings. For example, GAMA triggers ~16% more misclassification than state-of-the-art generative approaches in black-box settings where both the classifier architecture and data distribution of the attacker are different from the victim. Our code is available here: https://abhishekaich27.github.io/gama.html


title: Galaxy clusters at z~1 imaged by ALMA with the Sunyaev-Zel'dovich effect

abstract: We present high angular-resolution measurements of the thermal Sunyaev-Zel'dovich effect (SZE) toward two galaxy clusters, RCS J2319+0038 at z=0.9 and HSC J0947-0119 at z=1.1, by the Atacama Large Millimeter/submillimeter Array (ALMA) in Band 3. They are supplemented with available Chandra X-ray data, optical data taken by Hyper Suprime-Cam on Subaru, and millimeter-wave SZE data from the Atacama Cosmology Telescope. Taking into account departures from spherical symmetry, we have reconstructed non-parametrically the inner pressure profile of two clusters as well as electron temperature and density profiles for RCS J2319+0038. This is one of the first such measurements for an individual cluster at $z \gtrsim 0.9$. We find that the inner pressure profile of both clusters is much shallower than that of local cool-core clusters. Our results consistently suggest that RCS J2319+0038 hosts a weak cool core, where radiative cooling is less significant than in local cool cores. On the other hand, HSC J0947-0119 exhibits an even shallower pressure profile than RCS J2319+0038 and is more likely a non-cool-core cluster. The SZE centroid position is offset by more than 140 $h_{70}^{-1}$kpc from the peaks of galaxy distribution in HSC J0947-0119, suggesting a stronger influence of mergers in this cluster. We conclude that these distant clusters are at a very early stage of developing the cool cores typically found in clusters at lower redshifts.


title: Performance Analysis Techniques for Real-time Broadband RFI Filtering System of uGMRT

abstract: Electromagnetic radiation from human activities, known as man-made Radio Frequency Interference (RFI), adversely affects radio astronomy observations. In the vicinity of the Upgraded Giant Metrewave Radio Telescope (uGMRT) array, the sparking on power lines is the major cause of interference at observing frequencies less than 800 MHz. A real-time broadband RFI detection and filtering system is implemented as part of the uGMRT wideband signal processing backend to mitigate the effect of broadband RFI. Performance analysis techniques used for testing and commissioning the system for observations in the beamformer and correlator modes of the uGMRT are presented. The concept and implementation of recording simultaneous unfiltered and filtered data along with data analysis and interpretation is illustrated using an example. For the beamformer mode, spectrogram, single spectral channel, and its Fourier transform is used for performance analysis whereas, in the correlator mode, the cross-correlation function, closure phase, and visibilities from the simultaneously recorded unfiltered and filtered is carried out. These techniques are used for testing the performance of the broadband RFI filter and releasing it for uGMRT users.


title: On the monotonicity of the speeds for semigroups of holomorphic self-maps of the unit disk

abstract: We study semigroups $(\phi_t)_{t\geq 0}$ of holomorphic self-maps of the unit disk with Denjoy-Wolff point on the boundary. We show that the orthogonal speed of such semigroups is a strictly increasing function. This answers a question raised by F. Bracci, D. Cordella, and M. Kourou, and implies a domain monotonicity property for orthogonal speeds conjectured by Bracci. We give an example of a semigroup such that its total speed is not eventually increasing. We also provide another example of a semigroup having total speed of a certain asymptotic behavior, thus answering another question of Bracci.


title: Universal asymptotic correlation functions for point group $\boldsymbol{C_{6v}}$ and an observation for triangular lattice $\boldsymbol{Q}$-state Potts model

abstract: We investigate universal forms for asymptotic correlation functions of off-critical systems that possess $C_{6v}$ symmetry following the argument for $C_{4v}$ symmetry in Phys.~Rev.~E{\bf 102},~032141. Unlike the $C_{4v}$ case, a minimal form exists that contains only two free parameters: the normalization constant and modulus. Using this form as a building block, we can construct next asymptotic forms to the minimal one. We perform large-scale Monte Carlo simulations of the triangular lattice $Q$-state Potts model above the transition temperature and successfully obtain numerical evidence to support a wide applicability of the minimal form to lattice models, including unsolvable ones. From the calculated minimal form, we derive the universal shape of equilibrium crystals in the honeycomb lattice Potts model described by an algebraic curve of genus 1. Although the curve differs from those obtained in the $C_{4v}$ case, the latters also have genus 1. We indicate that the birational equivalence concept can play an important role in comparing asymptotic forms for different point group symmetries, for example, $C_{6v}$ and $C_{4v}$.


title: Abelian varieties, homogeneous spaces and duality

abstract: The article is dedicated to the memory of O.N. Vvedenskii. Vvedenskii's results are presented as well as selected new results of arithmetic algebraic geometry. Elements of ontology of Vvedenskii's research also given.


title: Real-time Digital Double Framework to Predict Collapsible Terrains for Legged Robots

abstract: Inspired by the digital twinning systems, a novel real-time digital double framework is developed to enhance robot perception of the terrain conditions. Based on the very same physical model and motion control, this work exploits the use of such simulated digital double synchronized with a real robot to capture and extract discrepancy information between the two systems, which provides high dimensional cues in multiple physical quantities to represent differences between the modelled and the real world. Soft, non-rigid terrains cause common failures in legged locomotion, whereby visual perception solely is insufficient in estimating such physical properties of terrains. We used digital double to develop the estimation of the collapsibility, which addressed this issue through physical interactions during dynamic walking. The discrepancy in sensory measurements between the real robot and its digital double are used as input of a learning-based algorithm for terrain collapsibility analysis. Although trained only in simulation, the learned model can perform collapsibility estimation successfully in both simulation and real world. Our evaluation of results showed the generalization to different scenarios and the advantages of the digital double to reliably detect nuances in ground conditions.


title: Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting

abstract: We present a computational implementation of diagrammatic sets, a model of higher-dimensional diagram rewriting that is "topologically sound": diagrams admit a functorial interpretation as homotopies in cell complexes. This has potential applications both in the formalisation of higher algebra and category theory and in computational algebraic topology. We describe data structures for well-formed shapes of diagrams of arbitrary dimensions and provide a solution to their isomorphism problem in time O(n^3 log n). On top of this, we define a type theory for rewriting in diagrammatic sets and provide a semantic characterisation of its syntactic category. All data structures and algorithms are implemented in the Python library rewalt, which also supports various visualisations of diagrams.


title: Iterative Poisson Surface Reconstruction (iPSR) for Unoriented Points

abstract: Poisson surface reconstruction (PSR) remains a popular technique for reconstructing watertight surfaces from 3D point samples thanks to its efficiency, simplicity, and robustness. Yet, the existing PSR method and subsequent variants work only for oriented points. This paper intends to validate that an improved PSR, called iPSR, can completely eliminate the requirement of point normals and proceed in an iterative manner. In each iteration, iPSR takes as input point samples with normals directly computed from the surface obtained in the preceding iteration, and then generates a new surface with better quality. Extensive quantitative evaluation confirms that the new iPSR algorithm converges in 5-30 iterations even with randomly initialized normals. If initialized with a simple visibility based heuristic, iPSR can further reduce the number of iterations. We conduct comprehensive comparisons with PSR and other powerful implicit-function based methods. Finally, we confirm iPSR's effectiveness and scalability on the AIM@SHAPE dataset and challenging (indoor and outdoor) scenes. Code and data for this paper are at https://github.com/houfei0801/ipsr.


title: The language and social behavior of innovators

abstract: Innovators are creative people who can conjure the ground-breaking ideas that represent the main engine of innovative organizations. Past research has extensively investigated who innovators are and how they behave in work-related activities. In this paper, we suggest that it is necessary to analyze how innovators behave in other contexts, such as in informal communication spaces, where knowledge is shared without formal structure, rules, and work obligations. Drawing on communication and network theory, we analyze about 38,000 posts available in the intranet forum of a large multinational company. From this, we explain how innovators differ from other employees in terms of social network behavior and language characteristics. Through text mining, we find that innovators write more, use a more complex language, introduce new concepts/ideas, and use positive but factual-based language. Understanding how innovators behave and communicate can support the decision-making processes of managers who want to foster innovation.


title: A Combined Model for Noise Reduction of Lung Sound Signals Based on Empirical Mode Decomposition and Artificial Neural Network

abstract: Computer analysis of Lung Sound (LS) signals has been proposed in recent years as a tool to analyze the lungs' status but there have always been main challenges, including the contamination of LS with environmental noises, which come from different sources of unlike intensities. One of the common methods in noise reduction of LS signals is based on thresholding on Discrete Wavelet Transform (DWT) coefficients or Empirical Mode Decomposition (EMD) of the signal, however, in these methods, it is necessary to calculate the SNR value to determine the appropriate threshold for noise removal. To solve this problem, a combined model based on EMD and Artificial Neural Network (ANN) trained with different SNRs (0, 5, 10, 15, and 20dB) is proposed in this research. The model can denoise white and pink noises in the range of -2 to 20dB without thresholding or even estimating SNR, and at the same time, keep the main content of the LS signal well. The proposed method is also compared with the EMD-custom method, and the results obtained from the SNR, and fit criteria indicate the absolute superiority of the proposed method. For example, at SNR = 0dB, the combined method can improve the SNR by 9.41 and 8.23dB for white and pink noises, respectively, while the corresponding values are respectively 5.89 and 4.31dB for the EMD-Custom method.


title: Learn to Explain: Multimodal Reasoning via Thought Chains for Science Question Answering

abstract: When answering a question, humans utilize the information available across different modalities to synthesize a consistent and complete chain of thought (CoT). This process is normally a black box in the case of deep learning models like large-scale language models. Recently, science question benchmarks have been used to diagnose the multi-hop reasoning ability and interpretability of an AI system. However, existing datasets fail to provide annotations for the answers, or are restricted to the textual-only modality, small scales, and limited domain diversity. To this end, we present Science Question Answering (ScienceQA), a new benchmark that consists of ~21k multimodal multiple choice questions with a diverse set of science topics and annotations of their answers with corresponding lectures and explanations. We further design language models to learn to generate lectures and explanations as the chain of thought (CoT) to mimic the multi-hop reasoning process when answering ScienceQA questions. ScienceQA demonstrates the utility of CoT in language models, as CoT improves the question answering performance by 1.20% in few-shot GPT-3 and 3.99% in fine-tuned UnifiedQA. We also explore the upper bound for models to leverage explanations by feeding those in the input; we observe that it improves the few-shot performance of GPT-3 by 18.96%. Our analysis further shows that language models, similar to humans, benefit from explanations to learn from fewer data and achieve the same performance with just 40% of the data. The data and code are available at https://scienceqa.github.io.


title: On the dimension of non-abelian tensor square of Lie superalgebras

abstract: In this paper, we determine upper bound for the non-abelian tensor product of finite dimensional Lie superalgebra. More precisely, if $L$ is a non-abelian nilpotent Lie superalgebra of dimension $(k \mid l)$ and its derived subalgebra has dimension $(r \mid s)$, then $ \dim (L\otimes L) \leq (k+l-(r+s))(k+l-1)+2$. We discuss the conditions when the equality holds for $r=1, s=0$ explicitly.


title: Heavy fermion representation for twisted bilayer graphene systems

abstract: We construct a heavy fermion representation for twisted bilayer graphene (TBG) systems. Two local orbitals (per spin/valley) are analytically found, which are exactly the maximally localized zero modes of the continuum Hamiltonian near the AA-stacking center. They have similar properties to the Wannier functions in [arXiv:2111.05865v2], but also have a clear interpretation as the zeroth pseudo Landau levels (ZLL) of Dirac fermions under the uniform strain field created by twisting [arXiv:1810.03103v3]. The electronic states of TBG can be viewed as the hybridization between these ZLL orbitals and other itinerant states which can be obtained following the standard procedure of orthogonalized plane wave method. The "heavy fermion" model for TBG separates the strongly correlated components from the itinerant components and provides a solid base for the comprehensive understanding of the exotic physics in TBG.


title: Exploring Hydride Formation in Stainless Steel Revisits Theory of Hydrogen Embrittlement

abstract: Various mechanisms have been proposed for hydrogen embrittlement, but the causation of hydrogen-induced material degradation has remained unclear. This work shows hydrogen embrittlement due to phase instability (decomposition). In-situ diffraction measurements revealed metastable hydrides formed in stainless steel, typically declared as a non-hydride forming material. Hydride formation is possible by increasing the hydrogen chemical potential during electrochemical charging and low defect formation energy of hydrogen interstitials. Our findings demonstrate that hydrogen-induced material degradation can only be understood if measured in situ and in real-time during the embrittlement process.


title: Generation Function For One-loop Tensor Reduction

abstract: For loop integrals, the reduction is the standard method. Having an efficient way to find reduction coefficients is an important topic in scattering amplitudes. In this paper, we present the generation functions of reduction coefficients for general one-loop integrals with arbitrary tensor rank.


title: Hilbert phase microscopy based on pseudo thermal illumination in Linnik configuration

abstract: Quantitative phase microscopy (QPM) is often based on recording an object-reference interference pattern and its further phase demodulation. We propose Pseudo Hilbert Phase Microscopy (PHPM) where we combine pseudo thermal light source illumination and Hilbert spiral transform phase demodulation to achieve hybrid hardware-software-driven noise robustness and increase in resolution of single-shot coherent QPM. Those advantageous features stem from physically altering the laser spatial coherence and numerically restoring spectrally overlapped object spatial frequencies. Capabilities of the PHPM are demonstrated analyzing calibrated phase targets and live HeLa cells in comparison with laser illumination and phase demodulation via temporal phase shifting and Fourier transform techniques. Performed studies verified unique ability of the PHPM to couple single-shot imaging, noise minimization, and preservation of phase details.


title: Wave function realization of a thermal collision model

abstract: An efficient algorithm to simulate dynamics of open quantum system is presented. The method describes the dynamics by unraveling stochastic wave functions converging to a density operator description. The stochastic techniques are based on the quantum collision model. Modeling systems dynamics by wave functions and modeling the interaction with the environment with a collision sequence reduces the complexity scale significantly. The algorithm developed, can be implemented on quantum computers. We introduce stochastic methods that exploit statistical characters of the model, as Markovianity, Brownian motion and binary distribution. The central limit theorem is employed to study the convergence of distributions of stochastic dynamics of pure quantum states represented by wave vectors. By averaging a sample of functions in the distribution we prove and demonstrate the convergence of the dynamics to the mixed quantum state described by a density operator.


title: General invariance and equilibrium conditions for lattice dynamics in 1D, 2D, and 3D materials

abstract: The long-wavelength behavior of vibrational modes plays a central role in carrier transport, phonon-assisted optical properties, superconductivity, and thermomechanical and thermoelectric properties of materials. Here, we present general invariance and equilibrium conditions of the lattice potential; these allow to recover the quadratic dispersions of flexural phonons in low-dimensional materials, in agreement with the phenomenological model for long-wavelength bending modes. We also prove that for any low-dimensional material the bending modes can have a purely out-of-plane polarization in the vacuum direction and a quadratic dispersion in the long-wavelength limit. In addition, we propose an effective approach to treat invariance conditions in crystals with non-vanishing Born effective charges where the long-range dipole-dipole interactions induce a contribution to the lattice potential and stress tensor. Our approach is successfully applied to the phonon dispersions of 158 two-dimensional materials, highlighting its critical relevance in the study of phonon-mediated properties of low-dimensional materials.


title: Deep Learning-Based Signal Detection for Dual-Mode Index Modulation 3D-OFDM

abstract: In this paper, we propose a deep learning-based signal detector called DuaIM-3DNet for dual-mode index modulation-based three-dimensional (3D) orthogonal frequency division multiplexing (DM-IM-3D-OFDM). Herein, DM-IM-3D- OFDM is a subcarrier index modulation scheme which conveys data bits via both dual-mode 3D constellation symbols and indices of active subcarriers. Thus, this scheme obtains better error performance than the existing IM schemes when using the conventional maximum likelihood (ML) detector, which, however, suffers from high computational complexity, especially when the system parameters increase. In order to address this fundamental issue, we propose the usage of a deep neural network (DNN) at the receiver to jointly and reliably detect both symbols and index bits of DM-IM-3D-OFDM under Rayleigh fading channels in a data-driven manner. Simulation results demonstrate that our proposed DNN detector achieves near-optimal performance at significantly lower runtime complexity compared to the ML detector.


title: Review of data types and model dimensionality for cardiac DTI SMS-related artefact removal

abstract: As diffusion tensor imaging (DTI) gains popularity in cardiac imaging due to its unique ability to non-invasively assess the cardiac microstructure, deep learning-based Artificial Intelligence is becoming a crucial tool in mitigating some of its drawbacks, such as the long scan times. As it often happens in fast-paced research environments, a lot of emphasis has been put on showing the capability of deep learning while often not enough time has been spent investigating what input and architectural properties would benefit cardiac DTI acceleration the most. In this work, we compare the effect of several input types (magnitude images vs complex images), multiple dimensionalities (2D vs 3D operations), and multiple input types (single slice vs multi-slice) on the performance of a model trained to remove artefacts caused by a simultaneous multi-slice (SMS) acquisition. Despite our initial intuition, our experiments show that, for a fixed number of parameters, simpler 2D real-valued models outperform their more advanced 3D or complex counterparts. The best performance is although obtained by a real-valued model trained using both the magnitude and phase components of the acquired data. We believe this behaviour to be due to real-valued models making better use of the lower number of parameters, and to 3D models not being able to exploit the spatial information because of the low SMS acceleration factor used in our experiments.


title: Zero product determined Banach algebras

abstract: Let $\mathcal{L}$ be a completely distributive commutative subspace lattice or a subspace lattice with two atoms, we use a unified approach to study the derivations, homomorphisms on $\mathrm{Alg} \mathcal{L}$. We verify that the multiplier algebra of $\mathrm{Alg} \mathcal{L}\cap \mathcal{K}(\mathcal{H})$ is isomorphic to $\mathrm{Alg} \mathcal{L}$ and $\mathrm{Alg} \mathcal{L}$ is zero product determined. For $T$ in $M_{n}(\mathbb{C})$, $n\geq 2$, we show that $\mathcal{A}_{T}$ is zero product determined if and only if every local derivation from $\mathcal{A}_{T}$ into any Banach $\mathcal{A}_{T}$-bimodule is a derivation. In addition, we establish some equivalent conditions for an algebra to be zero product determined. For countable dimensional locally matrix algebras and triangular UHF algebras, we also show that they are zero Lie product determined.


title: Thermodynamic performance of hot-carrier solar cells: A quantum transport model

abstract: In conventional solar cells, photogenerated carriers lose part of their energy before they can be extracted to make electricity. The aim of hot-carrier solar cells is to extract the carriers before this energy loss, thereby turning more energy into electrical power. This requires extracting the carriers in a nonequilibrium (nonthermal) energy distribution. Here, we investigate the performance of hot-carrier solar cells for such nonequilibrium distributions. We propose a quantum transport model in which each energy-loss process (carrier thermalization, relaxation, and recombination) is simulated by a B\"uttiker probe. We study charge and heat transport to analyze the hot-carrier solar cell's power output and efficiency, introducing partial efficiencies for different loss processes and the carrier extraction. We show that producing electrical power from a nonequilibrium distribution has the potential to improve the output power and efficiency. Furthermore, in the limit where the distribution is thermal, we prove that a boxcar-shaped transmission for the carrier extraction maximizes the efficiency at any given output power.


title: Spatial and Wavelength Division Joint Multiplexing System Design for Visible Light Communications

abstract: The low-pass characteristics of front-end elements including light-emitting diodes (LEDs) and photodiodes (PDs) limit the transmission data rate of visible light communication (VLC) and Light Fidelity (LiFi) systems. Using multiplexing transmission techniques, such as spatial multiplexing (SMX) and wavelength division multiplexing (WDM), is a solution to overcome bandwidth limitation. However, spatial correlation in optical wireless channels and optical filter bandpass shifts typically limit the achievable multiplexing gain in SMX and WDM systems, respectively. In this paper, we consider a multiple-input multiple output (MIMO) joint multiplexing VLC system that exploits available degrees-offreedom (DoFs) across space, wavelength and frequency dimensions simultaneously. Instead of providing a new precoder/post-detector design, we investigate the considered joint multiplexing system from a system configuration perspective by tuning system parameters in both spatial and wavelength domains, such as LED positions and optical filter passband. We propose a novel spatial clustering with wavelength division (SCWD) strategy which enhances the MIMO channel condition. We propose to use a state-of-the-art black-box optimization tool: Bayesian adaptive direct search (BADS) to determine the desired system parameters, which can significantly improve the achievable rate. The extensive numerical results demonstrate the superiority of the proposed method over conventional SMX and WDM VLC systems.


title: Deep Neural Network-Based Detector for Single-Carrier Index Modulation NOMA

abstract: In this paper, a deep neural network (DNN)-based detector for an uplink single-carrier index modulation nonorthogonal multiple access (SC-IM-NOMA) system is proposed, where SC-IM-NOMA allows users to use the same set of subcarriers for transmitting their data modulated by the sub-carrier index modulation technique. More particularly, users of SC-IMNOMA simultaneously transmit their SC-IM data at different power levels which are then exploited by their receivers to perform successive interference cancellation (SIC) multi-user detection. The existing detectors designed for SC-IM-NOMA, such as the joint maximum-likelihood (JML) detector and the maximum likelihood SIC-based (ML-SIC) detector, suffer from high computational complexity. To address this issue, we propose a DNN-based detector whose structure relies on the model-based SIC for jointly detecting both M-ary symbols and index bits of all users after trained with sufficient simulated data. The simulation results demonstrate that the proposed DNN-based detector attains near-optimal error performance and significantly reduced runtime complexity in comparison with the existing hand-crafted detectors.


title: Intrinsic Simulations and Universality in Automata Networks

abstract: An automata network (AN) is a finite graph where each node holds a state from a finite alphabet and is equipped with a local map defining the evolution of the state of the node depending on its neighbors. They are studied both from the dynamical and the computational complexity point of view. Inspired from well-established notions in the context of cellular automata, we develop a theory of intrinsic simulations and universality for families of automata networks. We establish many consequences of intrinsic universality in terms of complexity of orbits (periods of attractors, transients, etc) as well as hardness of the standard well-studied decision problems for automata networks (short/long term prediction, reachability, etc). In the way, we prove orthogonality results for these problems: the hardness of a single one does not imply hardness of the others, while intrinsic universality implies hardness of all of them. As a complement, we develop a proof technique to establish intrinsic simulation and universality results which is suitable to deal with families of symmetric networks were connections are non-oriented. It is based on an operation of glueing of networks, which allows to produce complex orbits in large networks from compatible pseudo-orbits in small networks. As an illustration, we give a short proof that the family of networks were each node obeys the rule of the 'game of life' cellular automaton is strongly universal. This formalism and proof technique is also applied in a companion paper devoted to studying the effect of update schedules on intrinsic universality for concrete symmetric families of automata networks.


title: Demonstration of SDN-Based Heterogeneous Quantum Key Distribution Chain Orchestration over Optical Networks

abstract: Heterogeneous quantum key distribution chain orchestration over optical networks is demonstrated with software-defined networking (SDN), achieving the control-layer interoperability for BB84 (Bennett-Brassard-1984) and TF (Twin-Field) based quantum key distribution devices.


title: Euclid meets Popeye: The Euclidean Algorithm for $2\times 2$ matrices

abstract: An analogue of the Euclidean algorithm for square matrices of size 2 with integral non-negative entries and strictly positive determinant $n$ defines a finite set $\mathcal{R}(n)$ of Euclid-reduced matrices corresponding to elements of $\{(a, b, c, d) \in \mathbb{N}^4 | n = ab - cd,\ 0 \le c, d < a, b\}$. With Popeye's help[2] on the use of sails of lattices we show that $\mathcal{R}(n)$ contains $\sum{d|n, d^2 \ge n} (d + 1 - n/d)$ elements.


title: H{\"o}lder estimates for parabolic and transport equations with Besov coefficients

abstract: For the parabolic and the transport equations whose coefficient of the first term, denoted by $b$, can be in a negative Besov space,we provide a control of the solution in the H\"older space $C^\gamma$, $\gamma \in (0,1)$, regardless of $b$ and matchingwith the source functions regularity. We define some kind of solutions which do not require $b$ to be Lipschitz continuous. For a ``very weak'' solution, called in the paper \textit{mild vanishing viscous}, in $C^\gamma$, there is no regularity constraint on $b$. If $b$ lies in a $\tilde \gamma$-H\"older space, $\tilde \gamma>1-\gamma$, we establish that there is a weak solution in a $\gamma$-H\"older space. If $b$ is supposed to be divergence free, we obtain the same result for $b$ having a negative regularity in space, precisely in $L^\infty(B_{\infty,\infty}^{-\beta})$ for $\beta<\gamma$. Finally, if $\tilde \gamma > \frac{1}{1+\gamma}$with a \textit{vanishing viscous} condition, then the selected solution is unique. In this case, there is somehow a \textit{regularisation} by turbulence (corresponding to the Reynolds number going to $+ \infty$); the \textit{vanishing viscosity} overwhelms the potential blowing up of the rough coefficients. Importantly, as a by-product of our analysis, we are able to give a meaning of a product of distributions. For $b$ lying in a $C^\gamma$, we obtain the same condition as for the usual Bony's para-product; but in a weaker solution framework, the product is defined beyond the para-product condition and even with no constraint at all in the \textit{mild vanishing viscous} context. We also obtain that the time averaging of the distributions product is $\gamma$-H\"older continuous. These new results happens because, in the considered product, one of the distribution is the gradient of a solution of a Partial Differential Equation. Thanks to our analysis, we also get a H\"older control of a solution of the inviscid Burgers' equation. Under some regularity and vanishing viscous constraint, the solution is a weak solution and is unique in a certain sense. The vanishing viscous procedure allows to avoid the well-known critical time of the solution built by characteristics.


title: General nonlinear Hall current in magnetic insulators beyond the quantum anomalous Hall effect

abstract: Can a generic magnetic insulator exhibit a Hall current? The quantum anomalous Hall effect (QAHE) is one example of an insulating bulk carrying a quantized Hall conductivity and other insulators (with zero Chern number) present zero Hall conductance in the linear response regime. Here, we find that a general magnetic insulator possesses a nonlinear Hall conductivity quadratic to the electric field if the system breaks inversion symmetry. This conductivity originates from an induced orbital magnetization due to virtual interband transitions. We identify three contributions to the wavepacket motion, a velocity shift, a positional shift, and a Berry curvature renormalization. In contrast to the crystalline solid, we find that this nonlinear Hall conductivity vanishes for Landau levels of a 2D electron gas, indicating a fundamental difference between the QAHE and the Integer quantum Hall effect.


title: Boosting the Discriminant Power of Naive Bayes

abstract: Naive Bayes has been widely used in many applications because of its simplicity and ability in handling both numerical data and categorical data. However, lack of modeling of correlations between features limits its performance. In addition, noise and outliers in the real-world dataset also greatly degrade the classification performance. In this paper, we propose a feature augmentation method employing a stack auto-encoder to reduce the noise in the data and boost the discriminant power of naive Bayes. The proposed stack auto-encoder consists of two auto-encoders for different purposes. The first encoder shrinks the initial features to derive a compact feature representation in order to remove the noise and redundant information. The second encoder boosts the discriminant power of the features by expanding them into a higher-dimensional space so that different classes of samples could be better separated in the higher-dimensional space. By integrating the proposed feature augmentation method with the regularized naive Bayes, the discrimination power of the model is greatly enhanced. The proposed method is evaluated on a set of machine-learning benchmark datasets. The experimental results show that the proposed method significantly and consistently outperforms the state-of-the-art naive Bayes classifiers.


title: Exciton optics, dynamics and transport in atomically thin semiconductors

abstract: Atomically thin semiconductors such as transition metal dichalcogenide (TMD) monolayers exhibit a very strong Coulomb interaction, giving rise to a rich exciton landscape. This makes these materials highly attractive for efficient and tunable optoelectronic devices. In this article, we review the recent progress in the understanding of exciton optics, dynamics and transport, which crucially govern the operation of TMD-based devices. We highlight the impact of hBN-encapsulation, which reveals a plethora of many-particle states in optical spectra, and we outline the most novel breakthroughs in the field of exciton-polaritonics. Moreover, we underline the direct observation of exciton formation and thermalization in TMD monolayers and heterostructures in recent time-resolved ARPES studies. We also show the impact of exciton density, strain and dielectric environment on exciton diffusion and funneling. Finally, we put forward relevant research directions in the field of atomically thin semiconductors for the near future.


title: Evolving morphology of resolved stellar Einstein rings

abstract: We consider strong gravitational lensing by nearby stars. Using our wave-optical treatment of lensing phenomena, we study Einstein rings that may form around nearby stellar lenses. It is remarkable that these rings are bright and large enough to be detected and resolved by existing instruments. Such lensing events have durations of hours or days, with peak light amplification lasting for several minutes. Many such events may be predicted using the Gaia astrometric catalogue. Serendipitous discoveries are also possible. Fortuitous alignments can be used to confirm or discover and study exoplanets. For lenses that have dense stellar regions in their background, these events may occur several time a year, warranting their continuous or recurrent monitoring. Resolved imaging and spectroscopy of the evolving morphology of an Einstein ring offers knowledge about both the lens and the source. The angular size of the Einstein ring amounts to a direct measurement of the lens mass. The changing orientation of the major and minor images of the source offers astrometric information related to the mutual orientation of the objects. The event duration, when the full ring is present, helps to determine the source's size. The sky position of planetary lensing events constrains the planet's orbit. Spectroscopy of the ring allows for direct investigations of the source. The frequency and predictability of these events and the wealth of information that can be obtained by imaging motivate observational campaigns using existing facilities and/or construction of new instruments dedicated to the search and study of Einstein rings that are forming around nearby stars. As a specific example, we consider a predicted 2028 lensing of a red giant by $\alpha$ Centauri A and discuss the relevant science campaign.

categories: astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.SR gr-qc


title: Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study

abstract: Conformance checking is a process mining technique that allows verifying the conformance of process instances to a given model. Thus, this technique is predestined to be used in the medical context for the comparison of treatment cases with clinical guidelines. However, medical processes are highly variable, highly dynamic, and complex. This makes the use of imperative conformance checking approaches in the medical domain difficult. Studies show that declarative approaches can better address these characteristics. However, none of the approaches has yet gained practical acceptance. Another challenge are alignments, which usually do not add any value from a medical point of view. For this reason, we investigate in a case study the usability of the HL7 standard Arden Syntax for declarative, rule-based conformance checking and the use of manually modeled alignments. Using the approach, it was possible to check the conformance of treatment cases and create medically meaningful alignments for large parts of a medical guideline.


title: Towards Task-Prioritized Policy Composition

abstract: Combining learned policies in a prioritized, ordered manner is desirable because it allows for modular design and facilitates data reuse through knowledge transfer. In control theory, prioritized composition is realized by null-space control, where low-priority control actions are projected into the null-space of high-priority control actions. Such a method is currently unavailable for Reinforcement Learning. We propose a novel, task-prioritized composition framework for Reinforcement Learning, which involves a novel concept: The indifferent-space of Reinforcement Learning policies. Our framework has the potential to facilitate knowledge transfer and modular design while greatly increasing data efficiency and data reuse for Reinforcement Learning agents. Further, our approach can ensure high-priority constraint satisfaction, which makes it promising for learning in safety-critical domains like robotics. Unlike null-space control, our approach allows learning globally optimal policies for the compound task by online learning in the indifference-space of higher-level policies after initial compound policy construction.


title: Blow-up and instability of standing waves for the NLS with a point interaction in dimension two

abstract: In the present note we study the NLS equation in dimension two with a point interaction and in the supercritical regime, showing two results. After obtaining the (nonstandard) virial formula, we exhibit a set of initial data that blow-up. Moreover we show the standing waves $e^{i\omega t} \varphi_\omega$ corresponding to ground states $\varphi_\omega$ of the action are strongly unstable, at least for sufficiently high $\omega$.


title: Counterfactual Mean-variance Optimization

abstract: We study a new class of estimands in causal inference, which are the solutions to a stochastic nonlinear optimization problem that in general cannot be obtained in closed form. The optimization problem describes the counterfactual state of a system after an intervention, and the solutions represent the optimal decisions in that counterfactual state. In particular, we develop a counterfactual mean-variance optimization approach, which can be used for optimal allocation of resources after an intervention. We propose a doubly-robust nonparametric estimator for the optimal solution of the counterfactual mean-variance program. We go on to analyze rates of convergence and provide a closed-form expression for the asymptotic distribution of our estimator. Our analysis shows that the proposed estimator is robust against nuisance model misspecification, and can attain fast $\sqrt{n}$ rates with tractable inference even when using nonparametric methods. This result is applicable to general nonlinear optimization problems subject to linear constraints whose coefficients are unknown and must be estimated. In this way, our findings contribute to the literature in optimization as well as causal inference. We further discuss the problem of calibrating our counterfactual covariance estimator to improve the finite-sample properties of our proposed optimal solution estimators. Finally, we evaluate our methods via simulation, and apply them to problems in healthcare policy and portfolio construction.


title: Thin film notch filters as platforms for biological image processing

abstract: Many image processing operations involve the modification of the spatial frequency content of images. Here we demonstrate object-plane spatial frequency filtering utilizing the angular sensitivity of a commercial spectral bandstop filter. This approach to all-optical image processing is shown to generate real-time pseudo-3D images of transparent biological and other samples, such as human cervical cancer cells. This work demonstrates the potential of non-local, non-interferometric approaches to image processing for uses in label-free biological cell imaging and dynamical monitoring.


title: From the Stochastic Weather to a Putative Chaotic Earth System

abstract: In this brief report we discuss how continuous changes on the physical parameters that determine the weather conditions may lead to long term climate variability. This variability of the weather patterns are a response to continuous random short period weather excitations that are imprinted in the ocean-atmosphere-cryosphere-land system, the Earth System. Given that Earth System is, in the Anthropocene, dominated by the human action, it responds to the intensity and the rate of change of the humankind activities. Thus, we argue, in the context of a specific model of the Earth System, that this rate of change may admit a chaotic-type behaviour.


title: Network-wide assessment of ATM mechanisms using an agent-based model

abstract: This paper presents results from the SESAR ER3 Domino project. Three mechanisms are assessed at the ECAC-wide level: 4D trajectory adjustments (a combination of actively waiting for connecting passengers and dynamic cost indexing), flight prioritisation (enabling ATFM slot swapping at arrival regulations), and flight arrival coordination (where flights are sequenced in extended arrival managers based on an advanced cost-driven optimisation). Classical and new metrics, designed to capture network effects, are used to analyse the results of a micro-level agent-based model. A scenario with congestion at three hubs is used to assess the 4D trajectory adjustment and the flight prioritisation mechanisms. Two different scopes for the extended arrival manager are modelled to analyse the impact of the flight arrival coordination mechanism. Results show that the 4D trajectory adjustments mechanism succeeds in reducing costs and delays for connecting passengers. A trade-off between the interests of the airlines in reducing costs and those of non-connecting passengers emerges, although passengers benefit overall from the mechanism. Flight prioritisation is found to have no significant effects at the network level, as it is applied to a small number of flights. Advanced flight arrival coordination, as implemented, increases delays and costs in the system. The arrival manager optimises the arrival sequence of all flights within its scope but does not consider flight uncertainties, thus leading to sub-optimal actions.


title: Relativistic effects on electronic pair densities: a perspective from the radial intracule and extracule probability densities

abstract: While the effect of relativity in the electronic density has been widely studied, the effect on the pair probability, intracule, and extracule densities has not been studied before. Thus, in this work, we unveil new insights related to changes on the electronic structure caused by relativistic effects. Our numerical results suggest that the mean inter-electronic distance is reduced (mostly) due to scalar-relativistic effects. As a consequence, an increase of the electron-electron repulsion energy is observed. Preliminary results suggest that this observation is also valid when electronic correlation effects are considered.


title: FACT: Learning Governing Abstractions Behind Integer Sequences

abstract: Integer sequences are of central importance to the modeling of concepts admitting complete finitary descriptions. We introduce a novel view on the learning of such concepts and lay down a set of benchmarking tasks aimed at conceptual understanding by machine learning models. These tasks indirectly assess model ability to abstract, and challenge them to reason both interpolatively and extrapolatively from the knowledge gained by observing representative examples. To further aid research in knowledge representation and reasoning, we present FACT, the Finitary Abstraction Comprehension Toolkit. The toolkit surrounds a large dataset of integer sequences comprising both organic and synthetic entries, a library for data pre-processing and generation, a set of model performance evaluation tools, and a collection of baseline model implementations, enabling the making of the future advancements with ease.


title: Design of microstrip-line coupled kinetic inductance detectors for near infrared astronomy

abstract: Kinetic inductance detectors (KID) have great potential in astronomical observation, such as searching for exoplanets, because of their low noise, fast response and photon counting characteristics. In this paper, we present the design process and simulation results of a microstrip line coupled KIDs array for near-infrared astronomical observation. Compared with coplanar waveguide (CPW) feedlines, microstrip feedlines do not require air bridges, which simplify fabrication process. In the design part, we mainly focus on the impedance transforming networks, the KID structure, and the frequency crosstalk simulations. The test array has a total of 104 resonators with 8 rows and 13 columns, which ranges from 4.899~GHz to 6.194~GHz. The pitch size is about 200~$\mu$m and the frequency crosstalk is less than 50~kHz in simulation.


title: Graph Reasoning Transformer for Image Parsing

abstract: Capturing the long-range dependencies has empirically proven to be effective on a wide range of computer vision tasks. The progressive advances on this topic have been made through the employment of the transformer framework with the help of the multi-head attention mechanism. However, the attention-based image patch interaction potentially suffers from problems of redundant interactions of intra-class patches and unoriented interactions of inter-class patches. In this paper, we propose a novel Graph Reasoning Transformer (GReaT) for image parsing to enable image patches to interact following a relation reasoning pattern. Specifically, the linearly embedded image patches are first projected into the graph space, where each node represents the implicit visual center for a cluster of image patches and each edge reflects the relation weight between two adjacent nodes. After that, global relation reasoning is performed on this graph accordingly. Finally, all nodes including the relation information are mapped back into the original space for subsequent processes. Compared to the conventional transformer, GReaT has higher interaction efficiency and a more purposeful interaction pattern. Experiments are carried out on the challenging Cityscapes and ADE20K datasets. Results show that GReaT achieves consistent performance gains with slight computational overheads on the state-of-the-art transformer baselines.


title: Automated ischemic stroke lesion segmentation from 3D MRI

abstract: Ischemic Stroke Lesion Segmentation challenge (ISLES 2022) offers a platform for researchers to compare their solutions to 3D segmentation of ischemic stroke regions from 3D MRIs. In this work, we describe our solution to ISLES 2022 segmentation task. We re-sample all images to a common resolution, use two input MRI modalities (DWI and ADC) and train SegResNet semantic segmentation network from MONAI. The final submission is an ensemble of 15 models (from 3 runs of 5-fold cross validation). Our solution (team name NVAUTO) achieves the top place in terms of Dice metric (0.824), and overall rank 2 (based on the combined metric ranking).


title: Measurement of decay-time dependent $CP$ violation in $B^0 \rightarrow K^0_S K^0_S K^0_S$ using 2019--2021 Belle II data

abstract: We report a measurement of decay-time dependent $CP$-violating parameters in $B^0 \rightarrow K^0_S K^0_S K^0_S$ decays. We use $(198.0 \pm 3.0) \times 10^6\ B\overline{B}$ pairs collected at the $\Upsilon(4S)$ resonance with the Belle II detector at the SuperKEKB asymmetric-energy $e^+e^-$ collider. The observed mixing-induced and direct $CP$ violation parameters are $\mathcal{S} = -1.86\ _{-0.46}^{+0.91}~{\rm (stat)} \pm 0.09~{\rm (syst)}$ and $\mathcal{A} = -0.22\ _{-0.27}^{+0.30}~{\rm (stat)} \pm 0.04~{\rm (syst)}$, respectively.


title: An Attention Free Long Short-Term Memory for Time Series Forecasting

abstract: Deep learning is playing an increasingly important role in time series analysis. We focused on time series forecasting using attention free mechanism, a more efficient framework, and proposed a new architecture for time series prediction for which linear models seem to be unable to capture the time dependence. We proposed an architecture built using attention free LSTM layers that overcome linear models for conditional variance prediction. Our findings confirm the validity of our model, which also allowed to improve the prediction capacity of a LSTM, while improving the efficiency of the learning task.


title: Quantitative strong unique continuation for elliptic operators -- application to an inverse spectral problem

abstract: Based on the three-ball inequality and the doubling inequality established in [24], we quantify the strong unique continuation for an elliptic operator with unbounded lower order coefficients. This result is then used to improve the quantitative unique continuation from a set of positive measure obtained in [24]. We also derive a uniform quantitative strong unique continuation for eigenfunctions that we use to prove that two Dirichlet-Laplace-Beltrami operators are gauge equivalent whenever their corresponding metrics coincide in the vicinity of the boundary and their boundary spectral data coincide on a subset of positive measure.


title: Transparent boundary conditions for the nonlocal nonlinear Schroedinger equation: A model for reflectionless propagation of PT-symmetric solitons

abstract: We consider the problem of reflectionless propagation of PT-symmetric solitons described by the nonlocal nonlinear Schroedinger equation on a line in the framework of the concept of transparent boundary conditions for evolution equations. Transparent boundary conditions for the nonlocal nonlinear Schroedinger equation are derived. The absence of backscattering at the artificial boundaries is confirmed by the numerical implementation of the transparent boundary conditions.


title: On Selleri's "Weak Relativity''

abstract: F. Selleri's main arguments for the restoration of absolute simultaneity in physics are analysed and shown to be faulty. In particular both the classical Sagnac effect and the recent so-called linear Sagnac effect can be dealt with within special relativity in a natural way. The appeal to the conventionality of simultaneity thesis is also shown to be ineffectual. Other arguments, such as the two spaceships' argument and the block universe argument are briefly examined. Notwithstanding a negative overall assessment, the importance of keeping alive the research on the foundations of relativity is emphasized and Selleri's role in this undertaking appreciated.


title: Cross-modal Learning for Image-Guided Point Cloud Shape Completion

abstract: In this paper we explore the recent topic of point cloud completion, guided by an auxiliary image. We show how it is possible to effectively combine the information from the two modalities in a localized latent space, thus avoiding the need for complex point cloud reconstruction methods from single views used by the state-of-the-art. We also investigate a novel weakly-supervised setting where the auxiliary image provides a supervisory signal to the training process by using a differentiable renderer on the completed point cloud to measure fidelity in the image space. Experiments show significant improvements over state-of-the-art supervised methods for both unimodal and multimodal completion. We also show the effectiveness of the weakly-supervised approach which outperforms a number of supervised methods and is competitive with the latest supervised models only exploiting point cloud information.


title: Using Word Embedding and Convolution Neural Network for Bug Triaging by Considering Design Flaws

abstract: Resolving bugs in the maintenance phase of software is a complicated task. Bug assignment is one of the main tasks for resolving bugs. Some Bugs cannot be fixed properly without making design decisions and have to be assigned to designers, rather than programmers, to avoid emerging bad smells that may cause subsequent bug reports. Hence, it is important to refer some bugs to the designer to check the possible design flaws. Based on our best knowledge, there are a few works that have considered referring bugs to designers. Hence, this issue is considered in this work. In this paper, a dataset is created, and a CNN-based model is proposed to predict the need for assigning a bug to a designer by learning the peculiarities of bug reports effective in creating bad smells in the code. The features of each bug are extracted from CNN based on its textual features, such as a summary and description. The number of bad samples added to it in the fixing process using the PMD tool determines the bug tag. The summary and description of the new bug are given to the model and the model predicts the need to refer to the designer. The accuracy of 75% (or more) was achieved for datasets with a sufficient number of samples for deep learning-based model training. A model is proposed to predict bug referrals to the designer. The efficiency of the model in predicting referrals to the designer at the time of receiving the bug report was demonstrated by testing the model on 10 projects.


title: Towards Robust Referring Image Segmentation

abstract: Referring Image Segmentation (RIS) is a fundamental vision-language task that outputs object masks based on text descriptions. Many works have achieved considerable progress for RIS, including different fusion method designs. In this work, we explore an essential question, ``What if the text description is wrong or misleading?'' For example, the described objects are not in the image. We term such a sentence as a negative sentence. However, existing solutions for RIS cannot handle such a setting. To this end, we propose a new formulation of RIS, named Robust Referring Image Segmentation (R-RIS). It considers the negative sentence inputs besides the regular positive text inputs. To facilitate this new task, we create three R-RIS datasets by augmenting existing RIS datasets with negative sentences and propose new metrics to evaluate both types of inputs in a unified manner. Furthermore, we propose a new transformer-based model, called RefSegformer, with a token-based vision and language fusion module. Our design can be easily extended to our R-RIS setting by adding extra blank tokens. Our proposed RefSegformer achieves state-of-the-art results on both RIS and R-RIS datasets, establishing a solid baseline for both settings. Our project page is at \url{https://github.com/jianzongwu/robust-ref-seg}.