title: A Local Diagnosis Algorithm for Hypercube-like Networks under the BGM Diagnosis Model

abstract: System diagnosis is process of identifying faulty nodes in a system. An efficient diagnosis is crucial for a multiprocessor system. The BGM diagnosis model is a modification of the PMC diagnosis model, which is a test-based diagnosis. In this paper, we present a specific structure and propose an algorithm for diagnosing a node in a system under the BGM model. We also give a polynomial-time algorithm that a node in a hypercube-like network can be diagnosed correctly in three test rounds under the BGM diagnosis model.


title: The Distortion of Distributed Metric Social Choice

abstract: We consider a social choice setting with agents that are partitioned into disjoint groups, and have metric preferences over a set of alternatives. Our goal is to choose a single alternative aiming to optimize various objectives that are functions of the distances between agents and alternatives in the metric space, under the constraint that this choice must be made in a distributed way: The preferences of the agents within each group are first aggregated into a representative alternative for the group, and then these group representatives are aggregated into the final winner. Deciding the winner in such a way naturally leads to loss of efficiency, even when complete information about the metric space is available. We provide a series of (mostly tight) bounds on the distortion of distributed mechanisms for variations of well-known objectives, such as the (average) total cost and the maximum cost, and also for new objectives that are particularly appropriate for this distributed setting and have not been studied before.


title: Improving the Algorithm of Deep Learning with Differential Privacy

abstract: In this paper, an adjustment to the original differentially private stochastic gradient descent (DPSGD) algorithm for deep learning models is proposed. As a matter of motivation, to date, almost no state-of-the-art machine learning algorithm hires the existing privacy protecting components due to otherwise serious compromise in their utility despite the vital necessity. The idea in this study is natural and interpretable, contributing to improve the utility with respect to the state-of-the-art. Another property of the proposed technique is its simplicity which makes it again more natural and also more appropriate for real world and specially commercial applications. The intuition is to trim and balance out wild individual discrepancies for privacy reasons, and at the same time, to preserve relative individual differences for seeking performance. The idea proposed here can also be applied to the recurrent neural networks (RNN) to solve the gradient exploding problem. The algorithm is applied to benchmark datasets MNIST and CIFAR-10 for a classification task and the utility measure is calculated. The results outperformed the original work.


title: Automated Label Generation for Time Series Classification with Representation Learning: Reduction of Label Cost for Training

abstract: Time-series generated by end-users, edge devices, and different wearables are mostly unlabelled. We propose a method to auto-generate labels of un-labelled time-series, exploiting very few representative labelled time-series. Our method is based on representation learning using Auto Encoded Compact Sequence (AECS) with a choice of best distance measure. It performs self-correction in iterations, by learning latent structure, as well as synthetically boosting representative time-series using Variational-Auto-Encoder (VAE) to improve the quality of labels. We have experimented with UCR and UCI archives, public real-world univariate, multivariate time-series taken from different application domains. Experimental results demonstrate that the proposed method is very close to the performance achieved by fully supervised classification. The proposed method not only produces close to benchmark results but outperforms the benchmark performance in some cases.


title: Coupled-channel meson-meson scattering in the diabatic framework

abstract: We apply the diabatic framework, a QCD-based formalism for the unified study of quarkoniumlike systems in terms of heavy quark-antiquark and open-flavor meson-meson components, to the description of coupled-channel meson-meson scattering. For this purpose, we first introduce a numerical scheme to find the solutions of the diabatic Schr\"odinger equation for energies in the continuum, then we derive a general formula for calculating the meson-meson scattering amplitudes from these solutions. We thus obtain a completely nonperturbative procedure for the calculation of open-flavor meson-meson scattering cross sections from the diabatic potential, which is directly connected to lattice QCD calculations. A comprehensive analysis of various elastic cross sections for open-charm and open-bottom meson-meson pairs is performed in a wide range of the center-of-mass energies. The relevant structures are identified, showing a spectrum of quasi-conventional and unconventional quarkoniumlike states. In addition to the customary Breit-Wigner peaks we obtain nontrivial structures such as threshold cusps and minimums. Finally, our results are compared with existing data and with results from our previous bound-state--based analysis, finding full compatibility with both.


title: Reconfigurable Intelligent Surfaces: Potentials, Applications, and Challenges for 6G Wireless Networks

abstract: Reconfigurable intelligent surfaces (RISs), with the potential to realize a smart radio environment, have emerged as an energy-efficient and a cost-effective technology to support the services and demands foreseen for coming decades. By leveraging a large number of low-cost passive reflecting elements, RISs introduce a phase-shift in the impinging signal to create a favorable propagation channel between the transmitter and the receiver.~\textcolor{black}{In this article, we provide a tutorial overview of RISs for sixth-generation (6G) wireless networks. Specifically, we present a comprehensive discussion on performance gains that can be achieved by integrating RISs with emerging communication technologies. We address the practical implementation of RIS-assisted networks and expose the crucial challenges, including the RIS reconfiguration, deployment and size optimization, and channel estimation. Furthermore, we explore the integration of RIS and non-orthogonal multiple access (NOMA) under imperfect channel state information (CSI). Our numerical results illustrate the importance of better channel estimation in RIS-assisted networks and indicate the various factors that impact the size of RIS. Finally, we present promising future research directions for realizing RIS-assisted networks in 6G communication.


title: Localization and Cantor spectrum for quasiperiodic discrete Schr\"odinger operators with asymmetric, smooth, cosine-like sampling functions

abstract: We prove Cantor spectrum and almost-sure Anderson localization for quasiperiodic discrete Schr\"odinger operators $H = \varepsilon\Delta + V$ with potential $V$ sampled with Diophantine frequency $\alpha$ from an asymmetric, smooth, cosine-like function $v \in C^2(\mathbb{T},[-1,1])$ for sufficiently small interaction $\varepsilon \leq \varepsilon_0(v,\alpha)$. We prove this result via an inductive analysis on scales, whereby we show that locally the Rellich functions of Dirichlet restrictions of $H$ inherit the cosine-like structure of $v$ and are uniformly well-separated.


title: Evolution of the Andreev bands in the half-filled superconducting periodic Anderson model

abstract: We employ the periodic Anderson model with superconducting correlations in the conduction band at half filling to study the behavior of the in-gap bands in a heterostructure consisting of a molecular layer deposited on the surface of a conventional superconductor. We use the dynamical mean-field theory to map the lattice model on the superconducting single impurity model with self-consistently determined bath and use the continuous-time hybridization expansion (CT-HYB) quantum Monte Carlo and the iterative perturbation theory (IPT) as solvers for the impurity problem. We present phase diagrams for square and triangular lattice that both show two superconducting phases that differ by the sign of the induced pairing, in analogy to the $0$ and $\pi$ phases of the superconducting single impurity Anderson model and discuss the evolution of the spectral function in the vicinity of the transition. We also discuss the failure of the IPT for superconducting models with spinful ground state and the behavior of the average expansion order of the CT-HYB simulation.


title: Sound Event Detection: A Tutorial

abstract: The goal of automatic sound event detection (SED) methods is to recognize what is happening in an audio signal and when it is happening. In practice, the goal is to recognize at what temporal instances different sounds are active within an audio signal. This paper gives a tutorial presentation of sound event detection, including its definition, signal processing and machine learning approaches, evaluation, and future perspectives.


title: IGrow: A Smart Agriculture Solution to Autonomous Greenhouse Control

abstract: Agriculture is the foundation of human civilization. However, the rapid increase of the global population poses a challenge on this cornerstone by demanding more food. Modern autonomous greenhouses, equipped with sensors and actuators, provide a promising solution to the problem by empowering precise control for high-efficient food production. However, the optimal control of autonomous greenhouses is challenging, requiring decision-making based on high-dimensional sensory data, and the scaling of production is limited by the scarcity of labor capable of handling this task. With the advances of artificial intelligence (AI), the internet of things (IoT), and cloud computing technologies, we are hopeful to provide a solution to automate and smarten greenhouse control to address the above challenges. In this paper, we propose a smart agriculture solution named iGrow, for autonomous greenhouse control (AGC): (1) for the first time, we formulate the AGC problem as a Markov decision process (MDP) optimization problem; (2) we design a neural network-based simulator incorporated with the incremental mechanism to simulate the complete planting process of an autonomous greenhouse, which provides a testbed for the optimization of control strategies; (3) we propose a closed-loop bi-level optimization algorithm, which can dynamically re-optimize the greenhouse control strategy with newly observed data during real-world production. We not only conduct simulation experiments but also deploy iGrow in real scenarios, and experimental results demonstrate the effectiveness and superiority of iGrow in autonomous greenhouse simulation and optimal control. Particularly, compelling results from the tomato pilot project in real autonomous greenhouses show that our solution significantly increases crop yield (+10.15\%) and net profit (+92.70\%) with statistical significance compared to planting experts.


title: Priority prediction of Asian Hornet sighting report using machine learning methods

abstract: As infamous invaders to the North American ecosystem, the Asian giant hornet (Vespa mandarinia) is devastating not only to native bee colonies, but also to local apiculture. One of the most effective way to combat the harmful species is to locate and destroy their nests. By mobilizing the public to actively report possible sightings of the Asian giant hornet, the governmentcould timely send inspectors to confirm and possibly destroy the nests. However, such confirmation requires lab expertise, where manually checking the reports one by one is extremely consuming of human resources. Further given the limited knowledge of the public about the Asian giant hornet and the randomness of report submission, only few of the numerous reports proved positive, i.e. existing nests. How to classify or prioritize the reports efficiently and automatically, so as to determine the dispatch of personnel, is of great significance to the control of the Asian giant hornet. In this paper, we propose a method to predict the priority of sighting reports based on machine learning. We model the problem of optimal prioritization of sighting reports as a problem of classification and prediction. We extracted a variety of rich features in the report: location, time, image(s), and textual description. Based on these characteristics, we propose a classification model based on logistic regression to predict the credibility of a certain report. Furthermore, our model quantifies the impact between reports to get the priority ranking of the reports. Extensive experiments on the public dataset from the WSDA (the Washington State Department of Agriculture) have proved the effectiveness of our method.


title: Learning and Adaptation for Millimeter-Wave Beam Tracking and Training: a Dual Timescale Variational Framework

abstract: Millimeter-wave vehicular networks incur enormous beam-training overhead to enable narrow-beam communications. This paper proposes a learning and adaptation framework in which the dynamics of the communication beams are learned and then exploited to design adaptive beam-tracking and training with low overhead: on a long-timescale, a deep recurrent variational autoencoder (DR-VAE) uses noisy beam-training feedback to learn a probabilistic model of beam dynamics and enable predictive beam-tracking; on a short-timescale, an adaptive beam-training procedure is formulated as a partially observable (PO-) Markov decision process (MDP) and optimized via point-based value iteration (PBVI) by leveraging beam-training feedback and a probabilistic prediction of the strongest beam pair provided by the DR-VAE. In turn, beam-training feedback is used to refine the DR-VAE via stochastic gradient ascent in a continuous process of learning and adaptation. The proposed DR-VAE learning framework learns accurate beam dynamics: it reduces the Kullback-Leibler divergence between the ground truth and the learned model of beam dynamics by 95% over the Baum-Welch algorithm and a naive learning approach that neglects feedback errors. Numerical results on a line-of-sight (LOS) scenario with multipath reveal that the proposed dual timescale approach yields near-optimal spectral efficiency, and improves it by 130% over a policy that scans exhaustively over the dominant beam pairs, and by 20% over a state-of-the-art POMDP policy. Finally, a low-complexity policy is proposed by reducing the POMDP to an error-robust MDP, and is shown to perform well in regimes with infrequent feedback errors.


title: WVOQ at SemEval-2021 Task 6: BART for Span Detection and Classification

abstract: A novel solution to span detection and classification is presented in which a BART EncoderDecoder model is used to transform textual input into a version with XML-like marked up spans. This markup is subsequently translated to an identification of the beginning and end of fragments and of their classes. Discussed is how pre-training methodology both explains the relative success of this method and its limitations. This paper reports on participation in task 6 of SemEval-2021: Detection of Persuasion Techniques in Texts and Images.


title: Visual-Tactile Cross-Modal Data Generation using Residue-Fusion GAN with Feature-Matching and Perceptual Losses

abstract: Existing psychophysical studies have revealed that the cross-modal visual-tactile perception is common for humans performing daily activities. However, it is still challenging to build the algorithmic mapping from one modality space to another, namely the cross-modal visual-tactile data translation/generation, which could be potentially important for robotic operation. In this paper, we propose a deep-learning-based approach for cross-modal visual-tactile data generation by leveraging the framework of the generative adversarial networks (GANs). Our approach takes the visual image of a material surface as the visual data, and the accelerometer signal induced by the pen-sliding movement on the surface as the tactile data. We adopt the conditional-GAN (cGAN) structure together with the residue-fusion (RF) module, and train the model with the additional feature-matching (FM) and perceptual losses to achieve the cross-modal data generation. The experimental results show that the inclusion of the RF module, and the FM and the perceptual losses significantly improves cross-modal data generation performance in terms of the classification accuracy upon the generated data and the visual similarity between the ground-truth and the generated data.


title: A Multi-Lead Fusion Method for the Accurate Delineation of QRS Complex Location in 12 Lead ECG Signal

abstract: This paper presents a multi-lead fusion method for the accurate and automated detection of the QRS complex location in 12 lead ECG (Electrocardiogram) signals. The proposed multi-lead fusion method accurately delineates the QRS complex by the fusion of detected QRS complexes of the individual 12 leads. The proposed algorithm consists of two major stages. Firstly, the QRS complex location of each lead is detected by the single lead QRS detection algorithm. Secondly, the multi-lead fusion algorithm combines the information of the QRS complex locations obtained in each of the 12 leads. The performance of the proposed algorithm is improved in terms of Sensitivity and Positive Predictivity by discarding the false positives. The proposed method is validated on the ECG signals with various artifacts, inter and intra subject variations. The performance of the proposed method is validated on the long duration recorded ECG signals of St. Petersburg INCART database with Sensitivity of 99.87% and Positive Predictivity of 99.96% and on the short duration recorded ECG signals of CSE (Common Standards for Electrocardiography) multi-lead database with 100% Sensitivity and 99.13% Positive Predictivity.


title: Enlightening the CSL model landscape in inflation

abstract: We propose a novel realization for the natural extrapolation of the continuous spontaneous localization (CSL) model, in order to account for the origin of primordial inhomogeneities during inflation. This particular model is based on three main elements: (i) the semiclassical gravity framework, (ii) a collapse-generating operator associated to a relativistic invariant scalar of the energy-momentum tensor, and (iii) an extension of the CSL parameter(s) as a function of the spacetime curvature. Furthermore, employing standard cosmological perturbation theory at linear order, and for a reasonable range within the parameter space of the model, we obtain a nearly scale invariant power spectrum consistent with recent observational CMB data. This opens a vast landscape of different options for the application of the CSL model to the cosmological context, and possibly sheds light on searches for a full covariant version of the CSL theory.


title: The Power of Proxy Data and Proxy Networks for Hyper-Parameter Optimization in Medical Image Segmentation

abstract: Deep learning models for medical image segmentation are primarily data-driven. Models trained with more data lead to improved performance and generalizability. However, training is a computationally expensive process because multiple hyper-parameters need to be tested to find the optimal setting for best performance. In this work, we focus on accelerating the estimation of hyper-parameters by proposing two novel methodologies: proxy data and proxy networks. Both can be useful for estimating hyper-parameters more efficiently. We test the proposed techniques on CT and MR imaging modalities using well-known public datasets. In both cases using one dataset for building proxy data and another data source for external evaluation. For CT, the approach is tested on spleen segmentation with two datasets. The first dataset is from the medical segmentation decathlon (MSD), where the proxy data is constructed, the secondary dataset is utilized as an external validation dataset. Similarly, for MR, the approach is evaluated on prostate segmentation where the first dataset is from MSD and the second dataset is PROSTATEx. First, we show higher correlation to using full data for training when testing on the external validation set using smaller proxy data than a random selection of the proxy data. Second, we show that a high correlation exists for proxy networks when compared with the full network on validation Dice score. Third, we show that the proposed approach of utilizing a proxy network can speed up an AutoML framework for hyper-parameter search by 3.3x, and by 4.4x if proxy data and proxy network are utilized together.


title: Neutrino: chronicles of an aloof protagonist

abstract: We give a brief account of the history of neutrino, and how that most aloof of all particles has shaped our search for a theory of fundamental interactions ever since it was theoretically proposed. We introduce the necessary concepts and phenomena in a non-technical language aimed at a physicist with some basic knowledge of quantum mechanics. In showing that neutrino mass could be the door to new physics beyond the Standard Model, we emphasize the need to frame the issue in the context of a complete theory, with testable predictions accessible to present and near future experiments. We argue in favor of the Minimal Left-Right Symmetric theory as the strongest candidate for such theory, connecting neutrino mass with parity breakdown in nature. This is the theory that led originally to neutrino mass and the seesaw mechanism behind its smallness, but even more important, the theory that sheds light on a fundamental question that touches us all: the symmetry between left and right.


title: GPTPU: Accelerating Applications using Edge Tensor Processing Units

abstract: Neural network (NN) accelerators have been integrated into a wide-spectrum of computer systems to accommodate the rapidly growing demands for artificial intelligence (AI) and machine learning (ML) applications. NN accelerators share the idea of providing native hardware support for operations on multidimensional tensor data. Therefore, NN accelerators are theoretically tensor processors that can improve system performance for any problem that uses tensors as inputs/outputs. Unfortunately, commercially available NN accelerators only expose computation capabilities through AI/ML-specific interfaces. Furthermore, NN accelerators reveal very few hardware design details, so applications cannot easily leverage the tensor operations NN accelerators provide. This paper introduces General-Purpose Computing on Edge Tensor Processing Units (GPTPU), an open-source, open-architecture framework that allows the developer and research communities to discover opportunities that NN accelerators enable for applications. GPTPU includes a powerful programming interface with efficient runtime system-level support -- similar to that of CUDA/OpenCL in GPGPU computing -- to bridge the gap between application demands and mismatched hardware/software interfaces. We built GPTPU machine uses Edge Tensor Processing Units (Edge TPUs), which are widely available and representative of many commercial NN accelerators. We identified several novel use cases and revisited the algorithms. By leveraging the underlying Edge TPUs to perform tensor-algorithm-based compute kernels, our results reveal that GPTPU can achieve a 2.46x speedup over high-end CPUs and reduce energy consumption by 40%.


title: Denoising User-aware Memory Network for Recommendation

abstract: For better user satisfaction and business effectiveness, more and more attention has been paid to the sequence-based recommendation system, which is used to infer the evolution of users' dynamic preferences, and recent studies have noticed that the evolution of users' preferences can be better understood from the implicit and explicit feedback sequences. However, most of the existing recommendation techniques do not consider the noise contained in implicit feedback, which will lead to the biased representation of user interest and a suboptimal recommendation performance. Meanwhile, the existing methods utilize item sequence for capturing the evolution of user interest. The performance of these methods is limited by the length of the sequence, and can not effectively model the long-term interest in a long period of time. Based on this observation, we propose a novel CTR model named denoising user-aware memory network (DUMN). Specifically, the framework: (i) proposes a feature purification module based on orthogonal mapping, which use the representation of explicit feedback to purify the representation of implicit feedback, and effectively denoise the implicit feedback; (ii) designs a user memory network to model the long-term interests in a fine-grained way by improving the memory network, which is ignored by the existing methods; and (iii) develops a preference-aware interactive representation component to fuse the long-term and short-term interests of users based on gating to understand the evolution of unbiased preferences of users. Extensive experiments on two real e-commerce user behavior datasets show that DUMN has a significant improvement over the state-of-the-art baselines. The code of DUMN model has been uploaded as an additional material.


title: GiT: Graph Interactive Transformer for Vehicle Re-identification

abstract: Transformers are more and more popular in computer vision, which treat an image as a sequence of patches and learn robust global features from the sequence. However, pure transformers are not entirely suitable for vehicle re-identification because vehicle re-identification requires both robust global features and discriminative local features. For that, a graph interactive transformer (GiT) is proposed in this paper. In the macro view, a list of GiT blocks are stacked to build a vehicle re-identification model, in where graphs are to extract discriminative local features within patches and transformers are to extract robust global features among patches. In the micro view, graphs and transformers are in an interactive status, bringing effective cooperation between local and global features. Specifically, one current graph is embedded after the former level's graph and transformer, while the current transform is embedded after the current graph and the former level's transformer. In addition to the interaction between graphs and transforms, the graph is a newly-designed local correction graph, which learns discriminative local features within a patch by exploring nodes' relationships. Extensive experiments on three large-scale vehicle re-identification datasets demonstrate that our GiT method is superior to state-of-the-art vehicle re-identification approaches.


title: Technical Report of Team GraphMIRAcles in the WikiKG90M-LSC Track of OGB-LSC @ KDD Cup 2021

abstract: Link prediction in large-scale knowledge graphs has gained increasing attention recently. The OGB-LSC team presented OGB Large-Scale Challenge (OGB-LSC), a collection of three real-world datasets for advancing the state-of-the-art in large-scale graph machine learning. In this paper, we introduce the solution of our team GraphMIRAcles in the WikiKG90M-LSC track of OGB-LSC @ KDD Cup 2021. In the WikiKG90M-LSC track, the goal is to automatically predict missing links in WikiKG90M, a large scale knowledge graph extracted from Wikidata. To address this challenge, we propose a framework that integrates three components -- a basic model ComplEx-CMRC, a rule miner AMIE 3, and an inference model to predict missing links. Experiments demonstrate that our solution achieves an MRR of 0.9707 on the test dataset. Moreover, as the knowledge distillation in the inference model uses test tail candidates -- which are unavailable in practice -- we conduct ablation studies on knowledge distillation. Experiments demonstrate that our model without knowledge distillation achieves an MRR of 0.9533 on the full validation dataset.


title: Dark Energy Survey Year 3 Results: Galaxy Sample for BAO Measurement

abstract: In this paper we present and validate the galaxy sample used for the analysis of the Baryon Acoustic Oscillation signal (BAO) in the Dark Energy Survey (DES) Y3 data. The definition is based on a colour and redshift-dependent magnitude cut optimized to select galaxies at redshifts higher than 0.5, while ensuring a high quality photometric redshift determination. The sample covers $\approx 4100$ square degrees to a depth of $i = 22.3 \ (AB)$ at $10\sigma$. It contains 7,031,993 galaxies in the redshift range from $z$= 0.6 to 1.1, with a mean effective redshift of 0.835. Photometric redshifts are estimated with the machine learning algorithm DNF, and are validated using the VIPERS PDR2 sample. We find a mean redshift bias of $z_{\mathrm{bias}} \approx 0.01$ and a mean uncertainty, in units of $1+z$, of $\sigma_{68} \approx 0.03$. We evaluate the galaxy population of the sample, showing it is mostly built upon Elliptical to Sbc types. Furthermore, we find a low level of stellar contamination of $\lesssim 4\%$. We present the method used to mitigate the effect of spurious clustering coming from observing conditions and other large-scale systematics. We apply it to the DES Y3 BAO sample and calculate sample weights that are used to get a robust estimate of the galaxy clustering signal. This paper is one of a series dedicated to the analysis of the BAO signal in the DES Y3 data. In the companion papers, Ferrero et al. (2021) and DES Collaboration (2021), we present the galaxy mock catalogues used to calibrate the analysis and the angular diameter distance constraints obtained through the fitting to the BAO scale, respectively. The galaxy sample, masks and additional material will be released in the public DES data repository upon acceptance.


title: Structural characteristics in network control of molecular multiplex networks

abstract: Numerous real-world systems can be naturally modeled as multilayer networks, enabling an efficient way to characterize those complex systems. Much evidence in the context of system biology indicated that the collections between different molecular networks can dramatically impact the global network functions. Here, we focus on the molecular multiplex networks coupled by the transcriptional regulatory network (TRN) and protein-protein interaction (PPI) network, exploring the controllability and energy requiring in these types of molecular multiplex networks. We find that the driver nodes tend to avoid essential or pathogen-related genes. Yet, imposing the external inputs to these essential or pathogen-related genes can remarkably reduce the energy cost, implying their crucial role in network control. Moreover, we find that lower minimal driver nodes as well as energy requiring are associated with disassortative coupling between TRN and PPI networks. Our findings in several species provide comprehensive understanding of genes' roles in biology and network control.


title: Behavior Constraining in Weight Space for Offline Reinforcement Learning

abstract: In offline reinforcement learning, a policy needs to be learned from a single pre-collected dataset. Typically, policies are thus regularized during training to behave similarly to the data generating policy, by adding a penalty based on a divergence between action distributions of generating and trained policy. We propose a new algorithm, which constrains the policy directly in its weight space instead, and demonstrate its effectiveness in experiments.


title: Radial solutions for H\'enon type fully nonlinear equations in annuli and exterior domains

abstract: In this note we study existence of positive radial solutions in annuli and exterior domains for a class of nonlinear equations driven by Pucci extremal operators subject to a H\'enon type weight. Our approach is based on the shooting method applied to the corresponding ODE problem, energy arguments, and the associated flow of an autonomous quadratic dynamical system.


title: Prequential MDL for Causal Structure Learning with Neural Networks

abstract: Learning the structure of Bayesian networks and causal relationships from observations is a common goal in several areas of science and technology. We show that the prequential minimum description length principle (MDL) can be used to derive a practical scoring function for Bayesian networks when flexible and overparametrized neural networks are used to model the conditional probability distributions between observed variables. MDL represents an embodiment of Occam's Razor and we obtain plausible and parsimonious graph structures without relying on sparsity inducing priors or other regularizers which must be tuned. Empirically we demonstrate competitive results on synthetic and real-world data. The score often recovers the correct structure even in the presence of strongly nonlinear relationships between variables; a scenario were prior approaches struggle and usually fail. Furthermore we discuss how the the prequential score relates to recent work that infers causal structure from the speed of adaptation when the observations come from a source undergoing distributional shift.


title: Anatomy-Constrained Contrastive Learning for Synthetic Segmentation without Ground-truth

abstract: A large amount of manual segmentation is typically required to train a robust segmentation network so that it can segment objects of interest in a new imaging modality. The manual efforts can be alleviated if the manual segmentation in one imaging modality (e.g., CT) can be utilized to train a segmentation network in another imaging modality (e.g., CBCT/MRI/PET). In this work, we developed an anatomy-constrained contrastive synthetic segmentation network (AccSeg-Net) to train a segmentation network for a target imaging modality without using its ground truth. Specifically, we proposed to use anatomy-constraint and patch contrastive learning to ensure the anatomy fidelity during the unsupervised adaptation, such that the segmentation network can be trained on the adapted image with correct anatomical structure/content. The training data for our AccSeg-Net consists of 1) imaging data paired with segmentation ground-truth in source modality, and 2) unpaired source and target modality imaging data. We demonstrated successful applications on CBCT, MRI, and PET imaging data, and showed superior segmentation performances as compared to previous methods.


title: Characterization of the probability and information entropy of a process with an increasing sample space by different functional forms of expansion, with an application to hyperinflation

abstract: There is a random variable (X) with a determined outcome (i.e., X = x0), p(x0) = 1. Consider x0 to have a discrete uniform distribution over the integer interval [1, s], where the size of the sample space (s) = 1, in the initial state, such that p(x0) = 1. What is the probability of x0 and the associated information entropy (H), as s increases by means of different functional forms of expansion? Such a process has been characterised in the case of (1) a mono-exponential expansion of the sample space; (2) a power function expansion; (3) double exponential expansion. The double exponential expansion of the sample space with time (from a natural log relationship between t and n) describes a "hyperinflationary" process. Over the period from the middle of 1920 to the end of 1923, the purchasing power of the Weimar Republic paper Mark to purchase one gold Mark became close to zero (1 paper Mark = 10 to the power of -12 gold Mark). From the purchasing power of the paper Mark to purchase one gold Mark, the information entropy of this hyperinflationary process was determined.


title: Time Series Analysis of Computer Network Traffic in a Dedicated Link Aggregation

abstract: Fractal behavior and long-range dependence are widely observed in measurements and characterization of traffic flow in high-speed computer networks of different technologies and coverage levels. This paper presents the results obtained when applying fractal analysis techniques on a time series obtained from traffic captures coming from an application server connected to the Internet through a high-speed link. The results obtained show that traffic flow in the dedicated high-speed network link have fractal behavior when the Hurst exponent is in the range of 0.5, 1, the fractal dimension between 1, 1.5, and the correlation coefficient between -0.5, 0. Based on these results, it is ideal to characterize both the singularities of the traffic and its impulsiveness during a fractal analysis of temporal scales. Finally, based on the results of the time series analyses, the fact that the traffic flows of current computer networks exhibit fractal behavior with a long-range dependency is reaffirmed.


title: Achieving fault tolerance against amplitude-damping noise

abstract: With the intense interest in small, noisy quantum computing devices comes the push for larger, more accurate -- and hence more useful -- quantum computers. While fully fault-tolerant quantum computers are, in principle, capable of achieving arbitrarily accurate calculations using devices subjected to general noise, they require immense resources far beyond our current reach. An intermediate step would be to construct quantum computers of limited accuracy enhanced by lower-level, and hence lower-cost, noise-removal techniques. This is the motivation for our work, which looks into fault-tolerant encoded quantum computation targeted at the dominant noise afflicting the quantum device. Specifically, we develop a protocol for fault-tolerant encoded quantum computing components in the presence of amplitude-damping noise, using a 4-qubit code and a recovery procedure tailored to such noise. We describe a universal set of fault-tolerant encoded gadgets and compute the pseudothreshold for the noise, below which our scheme leads to more accurate computation. Our work demonstrates the possibility of applying the ideas of quantum fault tolerance to targeted noise models, generalizing the recent pursuit of biased-noise fault tolerance beyond the usual Pauli noise models. We also illustrate how certain aspects of the standard fault tolerance intuition, largely acquired through Pauli-noise considerations, can fail in the face of more general noise.


title: Inapproximability of counting hypergraph colourings

abstract: Recent developments in approximate counting have made startling progress in developing fast algorithmic methods for approximating the number of solutions to constraint satisfaction problems (CSPs) with large arities, using connections to the Lovasz Local Lemma. Nevertheless, the boundaries of these methods for CSPs with non-Boolean domain are not well-understood. Our goal in this paper is to fill in this gap and obtain strong inapproximability results by studying the prototypical problem in this class of CSPs, hypergraph colourings. More precisely, we focus on the problem of approximately counting $q$-colourings on $K$-uniform hypergraphs with bounded degree $\Delta$. An efficient algorithm exists if $\Delta\lesssim \frac{q^{K/3-1}}{4^KK^2}$ (Jain, Pham, and Vuong, 2021; He, Sun, and Wu, 2021). Somewhat surprisingly however, a hardness bound is not known even for the easier problem of finding colourings. For the counting problem, the situation is even less clear and there is no evidence of the right constant controlling the growth of the exponent in terms of $K$. To this end, we first establish that for general $q$ computational hardness for finding a colouring on simple/linear hypergraphs occurs at $\Delta\gtrsim Kq^K$, almost matching the algorithm from the Lovasz Local Lemma. Our second and main contribution is to obtain a far more refined bound for the counting problem that goes well beyond the hardness of finding a colouring and which we conjecture that is asymptotically tight (up to constant factors). We show in particular that for all even $q\geq 4$ it is NP-hard to approximate the number of colourings when $\Delta\gtrsim q^{K/2}$.


title: Classification of generalized Yamabe solitons

abstract: In this paper, we consider generalized Yamabe soliton version of the Perelman's conjecture. We consider complete gradient conformal solitons and classify them. As a corollary, we recover the classification of three-dimensional complete gradient Yamabe solitons. Furthermore, we also classify complete gradient conformal solitons with vanishing condition on Weyl, Cotton and Cao-Chen.


title: Metallic state in the vicinity of molecular orbital crystallization in the d$^1$ thiospinel ZnTi$_2$S$_4$ prepared via a reductive ion-exchange reaction

abstract: A novel Ti3+-based thiospinel ZnTi2S4 is successfully synthesized via a low-temperature ion-exchange reaction. ZnTi2S4 shows a signature of metallic ground state evidenced by a contribution of conduction electrons in the heat capacity and Pauli-like paramagnetic susceptibility. These observations contrast to the electronic state of similar Ti3+-based spinel MgTi2O4 exhibiting the metal-insulator transition associated with a molecular orbital crystallization (MOC). Furthermore, the magnetic susceptibility of ZnTi2S4 shows a pseudogap-like behavior indicated by a vast peak in the magnetic susceptibility around 110 K, likely originating from the MOC fluctuation. The origin of the difference in the electronic states of MgTi2O4 and ZnTi2S4 would be due to the different magnitude of overlap between Ti 3d and p orbitals (O: 2p and S: 3p). The presence of a MOC state in the close vicinity of insulator-metal transition may suggest the importance of itinerancy in a MOC.


title: Comparing seven methods for state-of-health time series prediction for the lithium-ion battery packs of forklifts

abstract: A key aspect for the forklifts is the state-of-health (SoH) assessment to ensure the safety and the reliability of uninterrupted power source. Forecasting the battery SoH well is imperative to enable preventive maintenance and hence to reduce the costs. This paper demonstrates the capabilities of gradient boosting regression for predicting the SoH timeseries under circumstances when there is little prior information available about the batteries. We compared the gradient boosting method with light gradient boosting, extra trees, extreme gradient boosting, random forests, long short-term memory networks and with combined convolutional neural network and long short-term memory networks methods. We used multiple predictors and lagged target signal decomposition results as additional predictors and compared the yielded prediction results with different sets of predictors for each method. For this work, we are in possession of a unique data set of 45 lithium-ion battery packs with large variation in the data. The best model that we derived was validated by a novel walk-forward algorithm that also calculates point-wise confidence intervals for the predictions; we yielded reasonable predictions and confidence intervals for the predictions. Furthermore, we verified this model against five other lithium-ion battery packs; the best model generalised to greater extent to this set of battery packs. The results about the final model suggest that we were able to enhance the results in respect to previously developed models. Moreover, we further validated the model for extracting cycle counts presented in our previous work with data from new forklifts; their battery packs completed around 3000 cycles in a 10-year service period, which corresponds to the cycle life for commercial Nickel-Cobalt-Manganese (NMC) cells.


title: Sniffy Bug: A Fully Autonomous Swarm of Gas-Seeking Nano Quadcopters in Cluttered Environments

abstract: Nano quadcopters are ideal for gas source localization (GSL) as they are safe, agile and inexpensive. However, their extremely restricted sensors and computational resources make GSL a daunting challenge. In this work, we propose a novel bug algorithm named `Sniffy Bug', which allows a fully autonomous swarm of gas-seeking nano quadcopters to localize a gas source in an unknown, cluttered and GPS-denied environments. The computationally efficient, mapless algorithm foresees in the avoidance of obstacles and other swarm members, while pursuing desired waypoints. The waypoints are first set for exploration, and, when a single swarm member has sensed the gas, by a particle swarm optimization-based procedure. We evolve all the parameters of the bug (and PSO) algorithm, using our novel simulation pipeline, `AutoGDM'. It builds on and expands open source tools in order to enable fully automated end-to-end environment generation and gas dispersion modeling, allowing for learning in simulation. Flight tests show that Sniffy Bug with evolved parameters outperforms manually selected parameters in cluttered, real-world environments.


title: Synthesizing Multi-Tracer PET Images for Alzheimer's Disease Patients using a 3D Unified Anatomy-aware Cyclic Adversarial Network

abstract: Positron Emission Tomography (PET) is an important tool for studying Alzheimer's disease (AD). PET scans can be used as diagnostics tools, and to provide molecular characterization of patients with cognitive disorders. However, multiple tracers are needed to measure glucose metabolism (18F-FDG), synaptic vesicle protein (11C-UCB-J), and $\beta$-amyloid (11C-PiB). Administering multiple tracers to patient will lead to high radiation dose and cost. In addition, access to PET scans using new or less-available tracers with sophisticated production methods and short half-life isotopes may be very limited. Thus, it is desirable to develop an efficient multi-tracer PET synthesis model that can generate multi-tracer PET from single-tracer PET. Previous works on medical image synthesis focus on one-to-one fixed domain translations, and cannot simultaneously learn the feature from multi-tracer domains. Given 3 or more tracers, relying on previous methods will also create a heavy burden on the number of models to be trained. To tackle these issues, we propose a 3D unified anatomy-aware cyclic adversarial network (UCAN) for translating multi-tracer PET volumes with one unified generative model, where MR with anatomical information is incorporated. Evaluations on a multi-tracer PET dataset demonstrate the feasibility that our UCAN can generate high-quality multi-tracer PET volumes, with NMSE less than 15% for all PET tracers.


title: Searching for ultralight bosons with supermassive black hole ringdown

abstract: One class of competitive candidates for dark matter is ultralight bosons. If they exist, these bosons may form long-lived bosonic clouds surrounding rotating black holes via superradiant instabilities, acting as sources of gravity and affecting the propagation of gravitational waves around the host black hole. During extreme-mass-ratio inspirals, the bosonic clouds will survive the inspiral phase and can affect the quasinormal-mode frequencies of the perturbed black-hole-bosonic-cloud system. In this work, we compute the shifts of gravitational quasinormal-mode frequencies of a rotating black hole due to the presence of a surrounding bosonic cloud. We then perform a mock analysis on simulated Laser Interferometer Space Antenna observational data containing injected ringdown signals from supermassive black holes with and without a bosonic cloud. We find that with less than an hour of observational data of the ringdown phase of nearby supermassive black holes such as Sagittarius A* and M32, we can rule out or confirm the existence of cloud-forming ultralight bosons of mass $ \sim 10^{-17} \rm eV$.


title: Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant

abstract: Recently, we developed an automated theorem prover for projective incidence geometry. This prover, based on a combinatorial approach using matroids, proceeds by saturation using the matroid rules. It is designed as an independent tool, implemented in C, which takes a geometric configuration as input and produces as output some Coq proof scripts: the statement of the expected theorem, a proof script proving the theorem and possibly some auxiliary lemmas. In this document, we show how to embed such an external tool as a plugin in Coq so that it can be used as a simple tactic.


title: A MATLAB Toolbox for Hybrid Rigid Soft Robots Based on the Geometric Variable Strain Approach

abstract: Soft robotics has been a trending topic within the robotics community for almost two decades. However, available tools for the modeling and analysis of soft robots are still limited. This paper introduces a user-friendly MATLAB toolbox, Soft Robot Simulator (SoRoSim), that integrates the Geometric Variable Strain (GVS) model of Cosserat rods to facilitate the static and dynamic analysis of soft, rigid, or hybrid robotic systems. We present a brief overview of the design and structure of the toolbox and validate it by comparing its results with those published in the literature. To highlight the toolbox's potential to efficiently model, simulate, optimize, and control various robotic systems, we demonstrate four sample applications. The demonstrated applications explore different actuator and external loading conditions of single-, branched-, open-, and closed-chain robotic systems. We think that the soft-robotics research community will significantly benefit from the SoRoSim toolbox for a wide variety of applications.


title: Sculpting the Standard Model from low-scale Gauge-Higgs-Matter $E_8$ Grand Unification in ten dimensions

abstract: The construction and general implications of a model with complete supersymmetric unification of the Standard Model matter content, interactions and families' replication into a single $E_{8}$ gauge superfield in ten dimensions is presented. The gauge and extended Poincar\'e symmetries are broken through compactification of the $\mathbb{T}^6/(\mathbb{Z}_3\times \mathbb{Z}_3)$ orbifold with Wilson lines, which reduces the original symmetry and matter content into those of the Standard Model plus additional heavier states. Proton decay can be suppressed automatically while the compactification scale may be as low as $10^9~\rm{GeV}$, so that the corresponding GUT-scale physics may be potentially accessible and testable by future collider measurements.


title: Design, Construction, and Test of the Gas Pixel Detectors for the IXPE Mission

abstract: Due to be launched in late 2021, the Imaging X-Ray Polarimetry Explorer (IXPE) is a NASA Small Explorer mission designed to perform polarization measurements in the 2-8 keV band, complemented with imaging, spectroscopy and timing capabilities. At the heart of the focal plane is a set of three polarization-sensitive Gas Pixel Detectors (GPD), each based on a custom ASIC acting as a charge-collecting anode. In this paper we shall review the design, manufacturing, and test of the IXPE focal-plane detectors, with particular emphasis on the connection between the science drivers, the performance metrics and the operational aspects. We shall present a thorough characterization of the GPDs in terms of effective noise, trigger efficiency, dead time, uniformity of response, and spectral and polarimetric performance. In addition, we shall discuss in detail a number of instrumental effects that are relevant for high-level science analysis -- particularly as far as the response to unpolarized radiation and the stability in time are concerned.


title: Terminologies, mod{\`e}les de donn{\'e}es arch{\'e}ologiques et th{\'e}saurus documentaires

abstract: The HyperTh{\'e}sau and Bibracte num{\'e}rique projects have given rise to a collective effort centred on the use of vocabulary as a means of ensuring the interoperability of archaeological data throughout its life cycle. To this end, the use of the standardised form of the thesaurus -- via the Opentheso platform -- provides a tool that is already adapted to the Linked Data. Nevertheless, its use quickly raised the question of the different paradigms presiding over the elaboration of a specific vocabulary by each (group of) scientist(s). The ISO 25964 standard -- designed for the management and interoperability of indexing languages -- is flexible enough to permit the comparison and linking of different scientific or documentary ``points of view''. Their coherence through interoperability alignments nevertheless requires to interface different semantic granularities: search reporting, the description of raw data, a gateway or ''pivot'' between the two, by using a regulated cooperation methodology. The challenges that remain to be met on this path do not prevent the thesaurus tool from already being a suitable support for a complete ''human-to-machine-to-human'' interoperability, developed within the framework of the Bibracte Ville Ouverte project and exemplified through a research on the ceramics of that archaeological site.


title: The systematic study on the stability and superconductivity of Y-Mg-H compounds under high pressure

abstract: Motivated by recent discovery of yttrium-based high-temperature ternary superconducting hydrides (e.g., CaYH$_{12}$, LaYH$_{12}$, and ScYH$_{6}$), we have employed evolutionary algorithm and first-principles calculations to comprehensively examine the structural stability and superconductivity of the YMgH$_{x}$ system at high pressure. The hydrogen content $x$ and the pressure are both important factors in the stability of these candidate structures. We find that the stability of hydrogen-rich materials frequently necessitates higher pressure. For instance, the pressures to stabilize $P4/mmm$-YMgH$_{8}$ and $Cmmm$-YMgH$_{12}$ are both more than 250 GPa. Hydrogen-less materials, such as $I4_{1}/amd$-YMgH$_{2}$ and $P6_{3}/mmc$-YMgH$_{3}$, can be stable at pressures as low as 100 GPa. In addition, we find a metastable structure for YMgH$_{6}$ with the same space group as the $P4/mmm$-YMgH$_{8}$. A metastable sodalite-like face-centered cubic (FCC) structure is also found in YMgH$_{12}$. These four clathrate structures of $P4/mmm$-YMgH$_{6}$, $P4/mmm$-YMgH$_{8}$, $Cmmm$-YMgH$_{12}$, and $Fd\bar{3}m$-YMgH$_{12}$ is made up of H14, H18, H24, and H24 cages, respectively, in which the H-H pair exhibits weak covalent bonding. According to phonon calculations, $P4/mmm$-YMgH$_{6}$ and $P4/mmm$-YMgH$_{8}$ require a pressure of 300 GPa to maintain dynamic stability, however $Cmmm$-YMgH$_{12}$ and $Fd\bar{3}m$-YMgH$_{12}$ can maintain dynamic stability at pressures of 200 GPa and 250 GPa, respectively. Electron-phonon coupling calculations indicate that they might be potential high-temperature superconductors, with superconductivity intimately linked to the H cage structure. The sodalite structure $Fd\bar{3}m$-YMgH$_{12}$ has a $T_\mathrm{c}$ value of 190 K and a strong electron-phonon coupling constant of 2.18.


title: Recent advances in Bayesian optimization with applications to parameter reconstruction in optical nano-metrology

abstract: Parameter reconstruction is a common problem in optical nano metrology. It generally involves a set of measurements, to which one attempts to fit a numerical model of the measurement process. The model evaluation typically involves to solve Maxwell's equations and is thus time consuming. This makes the reconstruction computationally demanding. Several methods exist for fitting the model to the measurements. On the one hand, Bayesian optimization methods for expensive black-box optimization enable an efficient reconstruction by training a machine learning model of the squared sum of deviations. On the other hand, curve fitting algorithms, such as the Levenberg-Marquardt method, take the deviations between all model outputs and corresponding measurement values into account which enables a fast local convergence. In this paper we present a Bayesian Target Vector Optimization scheme which combines these two approaches. We compare the performance of the presented method against a standard Levenberg-Marquardt-like algorithm, a conventional Bayesian optimization scheme, and the L-BFGS-B and Nelder-Mead simplex algorithms. As a stand-in for problems from nano metrology, we employ a non-linear least-square problem from the NIST Standard Reference Database. We find that the presented method generally uses fewer calls of the model function than any of the competing schemes to achieve similar reconstruction performance.


title: Non-conformal attractor in boost-invariant plasmas

abstract: We study the dissipative evolution of (0+1)-dimensionally expanding media with Bjorken symmetry using the Boltzmann equation for massive particles in relaxation-time approximation. Breaking conformal symmetry by a mass induces a non-zero bulk viscous pressure in the medium. It is shown that even a small mass (in units of the local temperature) drastically modifies the well-known attractor for the shear Reynolds number previously observed in massless systems. For generic nonzero particle mass, neither the shear nor the bulk viscous pressure relax quickly to a non-equilibrium attractor; they approach the hydrodynamic limit only late, at small values of the inverse Reynolds numbers. Only the longitudinal pressure, which is a combination of thermal, shear and bulk viscous pressures, continues to show early approach to a far-off-equilibrium attractor, driven by the rapid longitudinal expansion at early times. Second-order dissipative hydrodynamics based on a gradient expansion around locally isotropic thermal equilibrium fails to reproduce this attractor.


title: Response of atomic spin-based sensors to magnetic and nonmagnetic perturbations

abstract: Searches for pseudo-magnetic spin couplings require implementation of techniques capable of sensitive detection of such interactions. While Spin-Exchange Relaxation Free (SERF) magnetometry is one of the most powerful approaches enabling the searches, it suffers from a strong magnetic coupling, deteriorating the pseudo-magnetic coupling sensitivity. To address this problem, here, we compare, via numerical simulations, the performance of SERF magnetometer and noble-gas-alkali-metal co-magnetometer, operating in a so-called self-compensating regime. We demonstrate that the co-magnetometer allows reduction of the sensitivity to low-frequency magnetic fields without loss of the sensitivity to nonmagnetic couplings. Based on that we investigate the responses of both systems to the oscillating and transient spin perturbations. Our simulations reveal about five orders of magnitude stronger response to the neutron pseudo-magnetic coupling and about three orders of magnitude stronger response to the proton pseudo-magnetic coupling of the co-magnetometer than those of the SERF magnetometer. Different frequency responses of the co-magnetometer to magnetic and nonmagnetic perturbations enables differentiation between these two types of interactions. This outlines the ability to implement the co-magnetometer as an advanced sensor for the Global Network of Optical Magnetometer for Exotic Physics searches (GNOME), aiming at detection of ultra-light bosons (e.g., axion-like particles).


title: Fock-space geometry and strong correlations in many-body localized systems

abstract: We adopt a geometric perspective on Fock space to provide two complementary insights into the eigenstates in many-body-localized fermionic systems. On the one hand, individual many-bodylocalized eigenstates are well approximated by a Slater determinant of single-particle orbitals. On the other hand, the orbitals of different eigenstates in a given system display a varying, and generally imperfect, degree of compatibility, as we quantify by a measure based on the projectors onto the corresponding single-particle subspaces. We study this incompatibility between states of fixed and differing particle number, as well as inside and outside the many-body-localized regime. This gives detailed insights into the emergence and strongly correlated nature of quasiparticle-like excitations in many-body localized systems, revealing intricate correlations between states of different particle number down to the level of individual realizations.


title: Following the trail of new physics via VBF Higgs signal at the Large Hadron Collider

abstract: We investigate the modification of the Higgs signals from vector boson fusion at the LHC arising from higher-dimensional effective operators involving quarks, electroweak gauge bosons and the 125-GeV scalar discovered in 2012. Taking a few of the admissible dimension-6 operators as illustration, we work within the framework of the Standard Model Effective Field Theory (SMEFT) and identify kinematic variables that can reflect the presence of such effective operators. The useful variables turn out to be the geometric mean of the transverse momenta of the two forward jets produced in VBF and the rapidity difference between the two forward jets. We identify the shift in event population caused by the effective operators in the same, spanned by the above kinematic variables. Minimum values of the Wilson coefficients of the chosen dimension-6 operators are identified, for which they can be probed at the $3\sigma$ level in the high luminosity run of the LHC at 14 TeV. Projected exclusion limits on some of the couplings, obtained from our analysis, can significantly improve the limits on such couplings derived from electroweak precision data.


title: Critical endpoint of QCD in a finite volume

abstract: We investigate the impact of finite volume and the corresponding restrictions on long-range correlations on the location of the critical endpoint in the QCD phase diagram. To this end, we employ a sophisticated combination of lattice Yang--Mills theory and a (truncated) version of Dyson--Schwinger equations in Landau gauge for $2 + 1$ quark flavors that has been studied extensively in the past. In the infinite-volume limit, this system predicts a critical endpoint at moderate temperature and large chemical potential. We study this system at small and intermediate volumes and determine the dependence of the location of the critical endpoint on the boundary conditions and the volume of a three-dimensional cube with edge length $L$. We demonstrate that noticeable volume effects of more than five percent only occur for $L \lesssim 5 \, \text{fm}$ and that volumes as large as $L^3 \gtrsim (8 \, \text{fm})^3$ are very close to the infinite-volume limit.


title: Defect Theory of Positronium and Nontrivial QED Relations

abstract: An effective theory of the excited states of positronium is derived and some of its consequences are explored. At large physical separation, the binding of the electron and positron is assumed to be described completely by QED, whereas all short-ranged phenomena, including those within and beyond QED, can be accounted for with energy-dependent quantum defects. This theory has at least two practical applications. First, it provides an accurate and economical, yet largely QED-independent, means to fit the positronium spectrum in order to predict and compare the outcome of experiments. Second, matching the spectrum in this effective theory to that predicted by QED reveals nontrivial relationships that exist \emph{within} bound-state QED; some higher order contributions to the spectrum may be obtained from lower order contributions. These relations are verified up to order $m\alpha^{6}$, and predictions are made for the order $m\alpha^{7}$ and $m\alpha^{8}$ corrections. This theory and its extensions to other hydrogenic systems may provide a useful complement to bound-state QED.


title: Pushing the limits of EPD zeros method

abstract: The use of partition function zeros in the study of phase transition is growing in the last decade mainly due to improved numerical methods as well as novel formulations and analysis. In this paper the impact of different parameters choice for the energy probability distribution (EPD) zeros recently introduced by Costa et al is explored in search for optimal values. Our results indicate that the EPD method is very robust against parameter variations and only small deviations on estimated critical temperatures are found even for large variation of parameters, allowing to obtain accurate results with low computational cost. A proposal to circumvent potential convergence issues of the original algorithm is presented and validated for the case where it occurs.


title: The completeness of the generalized eigenfunctions and an upper bound for the counting function of the transmission eigenvalue problem for Maxwell equations

abstract: Cakoni and Nguyen recently proposed very general conditions on the coefficients of Maxwell equations for which they established the discreteness of the set of eigenvalues of the transmission problem and studied their locations. In this paper, we establish the completeness of the generalized eigenfunctions and derive an optimal upper bound for the counting function under these conditions, assuming additionally that the coefficients are twice continuously differentiable. The approach is based on the spectral theory of Hilbert-Schmidt operators.


title: Shock-induced cavitation and wavefront analysis inside a water droplet

abstract: The objective of the present study is to develop a basic understanding of the interaction of shock waves with density inhomogeneities. We consider here the particular instance of a planar air shock impinging on a spherical water-droplet and discuss to what extent this interaction can lead to the inception of cavitation inside the droplet. The effort centers on the early phases of the interaction process during which the geometry and amplitude of the propagating wavefront is modified by refraction and the subsequent internal reflections at the droplet interface. The problem is analysed using both simple ray theory and a 2-D multiphase, compressible hydrodynamic code (ECOGEN). Within the context of ray theory, the occurrence of focusing is examined in details and parametric equations are derived for the transmitted wavefront and its multiple internal reflections. It is found that wave patterns predicted by ray calculations compare extremely well with the more accurate numerical solutions from simulations. In particular, it is shown that the internal wavefront assumes a complex time-dependent shape whose dominant feature is the existence of cusp singularities. These singular points are shown to trace out surfaces that are the caustics of the associated system of rays. From the singularities of the energy flux density of the refracted wave, the parametric equations of the caustic surface associated to the $k$-th reflected wavefront are deduced. As a consequence of the focusing process, the simulations show the formation of negative-pressure regions in the internal flow field. These low-pressure zones are identified as possible spots where cavitation may occur, depending on the magnitude of the pressure reached. Finally, the numerical results provide quantitative information on the dependence of negative pressure peak upon incident-shock-wave strength.


title: Multi-view Image-based Hand Geometry Refinement using Differentiable Monte Carlo Ray Tracing

abstract: The amount and quality of datasets and tools available in the research field of hand pose and shape estimation act as evidence to the significant progress that has been made.However, even the datasets of the highest quality, reported to date, have shortcomings in annotation. We propose a refinement approach, based on differentiable ray tracing,and demonstrate how a high-quality publicly available, multi-camera dataset of hands(InterHand2.6M) can become an even better dataset, with respect to annotation quality. Differentiable ray tracing has not been employed so far to relevant problems and is hereby shown to be superior to the approximative alternatives that have been employed in the past. To tackle the lack of reliable ground truth, as far as quantitative evaluation is concerned, we resort to realistic synthetic data, to show that the improvement we induce is indeed significant. The same becomes evident in real data through visual evaluation.


title: KP hierarchy for Hurwitz-type cohomological field theories

abstract: We generalise a result of Kazarian regarding Kadomtsev-Petviashvili integrability for single Hodge integrals to general cohomological field theories related to Hurwitz-type counting problems or hypergeometric tau-functions. The proof uses recent results on the relations between hypergeometric tau-functions and topological recursion, as well as the Eynard-DOSS correspondence between topological recursion and cohomological field theories. In particular, we recover the result of Alexandrov of KP integrability for triple Hodge integrals with a Calabi-Yau condition.


title: Automorphisms of quasi-projective surfaces over fields of finite characteristic

abstract: We prove that the group of automorphisms of any quasi-projective surface $S$ in finite characteristic has the $p$-Jordan property.


title: Reconfigurable Intelligent Surface-Aided MISO Systems with Statistical CSI: Channel Estimation, Analysis and Optimization

abstract: This paper investigates the reconfigurable reflecting surface (RIS)-aided multiple-input-single-output (MISO) systems with imperfect channel state information (CSI), where RIS-related channels are modeled by Rician fading. Considering the overhead and complexity in practical systems, we employ the low-complexity maximum ratio combining (MRC) beamforming at the base station (BS), and configure the phase shifts of the RIS based on long-term statistical CSI. Specifically, we first estimate the overall channel matrix based on the linear minimum mean square error (LMMSE) estimator, and evaluate the performance of MSE and normalized MSE (NMSE). Then, with the estimated channel, we derive the closed-form expressions of the ergodic rate. The derived expressions show that with Rician RIS-related channels, the rate can maintain at a non-zero value when the transmit power is scaled down proportionally to $1/M$ or $1/N^2$, where $M$ and $N$ are the number of antennas and reflecting elements, respectively. However, if all the RIS-related channels are fully Rayleigh, the transmit power of each user can only be scaled down proportionally to $1/\sqrt{M}$ or $1/N$. Finally, numerical results verify the promising benefits from the RIS to traditional MISO systems.


title: 3D MHD astrospheres: applications to IRC-10414 and Betelgeuse

abstract: A significative fraction of all massive stars in the Milky Way move supersonically through their local interstellar medium (ISM), producing bow shock nebulae by wind-ISM interaction. The stability of these observed astrospheres around cool massive stars challenges precedent two-dimensional (magneto-)hydrodynamical simulations of their surroundings. We present three-dimensional magneto-hydrodynamical (3D MHD) simulations of the circumstellar medium of runaway M-type red supergiant stars moving with velocity v_star= 50 km/s. We treat the stellar wind with a Parker spiral and assume a 7 microG magnetisation of the ISM. Our free parameter is the angle theta_mag between ISM flow and magnetisation, taken to 0, 45 and 90 degrees. It is found that simulation dimension, coordinate systems and grid effects can greatly affect the development of the modelled astrospheres. Nevertheless, as soon as the ISM flow and magnetisation directions differs by more than a few degrees (theta_mag>5 degree), the bow shock is stabilised, most clumpiness and ragged structures vanishing. The complex shape of the bowshocks induce important projection effects, e.g. at optical Ha line, producing complex of astrospheric morphologies. We speculate that those effects are also at work around earlier-type massive stars, which would explain their diversity of their observed arc-like nebula around runaway OB stars. Our 3D MHD models are fitting well observations of the astrospheres of several runaway red supergiant stars. The results interpret the smoothed astrosphere of IRC-10414 and Betelgeuse aOri) are stabilised by an organised, non-parallel ambient magnetic field. Our findings suggest that IRC-10414 is currently in a steady state of its evolution, and that Betelgeuse's bar is of interstellar origin.


title: A positive proportion of quartic fields are not monogenic yet have no local obstruction to being so

abstract: We show that a positive proportion of quartic fields are not monogenic, despite having no local obstruction to being monogenic. Our proof builds on the corresponding result for cubic fields that we obtained in a previous work. Along the way, we also prove that a positive proportion of quartic rings of integers do not arise as the invariant order of an integral binary quartic form despite having no local obstruction.


title: Mathematical Analysis of Redistricting in Utah

abstract: We discuss difficulties of evaluating partisan gerrymandering in the congressional districts in Utah and the failure of many common metrics in Utah. We explain why the Republican vote share in the least-Republican district (LRVS) is a good indicator of the advantage or disadvantage each party has in the Utah congressional districts. Although the LRVS only makes sense in settings with at most one competitive district, in that setting it directly captures the extent to which a given redistricting plan gives advantage or disadvantage to the Republican and Democratic parties. We use the LRVS to evaluate the most common measures of partisan gerrymandering in the context of Utah's 2011 congressional districts. We do this by generating large ensembles of alternative redistricting plans using Markov chain Monte Carlo methods. We also discuss the implications of this new metric and our results on the question of whether the 2011 Utah congressional plan was gerrymandered.


title: A Scalable Actor-based Programming System for PGAS Runtimes

abstract: The PGAS model is well suited for executing irregular applications on cluster-based systems, due to its efficient support for short, one-sided messages. However, there are currently two major limitations faced by PGAS applications. The first relates to scalability: despite the availability of APIs that support non-blocking operations in special cases, many PGAS operations on remote locations are synchronous by default, which can lead to long-latency stalls and poor scalability. The second relates to productivity: while it is simpler for the developer to express all communications at a fine-grained granularity that is natural to the application, experiments have shown that such a natural expression results in performance that is 20x slower than more efficient but less productive code that requires manual message aggregation and termination detection. In this paper, we introduce a new programming system for PGAS applications, in which point-to-point remote operations can be expressed as fine-grained asynchronous actor messages. In this approach, the programmer does not need to worry about programming complexities related to message aggregation and termination detection. Our approach can also be viewed as extending the classical Bulk Synchronous Parallelism model with fine-grained asynchronous communications within a phase or superstep. We believe that our approach offers a desirable point in the productivity-performance space for PGAS applications, with more scalable performance and higher productivity relative to past approaches. Specifically, for seven irregular mini-applications from the Bale benchmark suite executed using 2048 cores in the NERSC Cori system, our approach shows geometric mean performance improvements of >=20x relative to standard PGAS versions (UPC and OpenSHMEM) while maintaining comparable productivity to those versions.


title: Structure-property relationships of elastin-like polypeptides -- a review of experimental and computational studies

abstract: Elastin is a structural protein with outstanding mechanical properties (e.g., elasticity and resilience) and biologically relevant functions (e.g., triggering responses like cell adhesion or chemotaxis). It is formed from its precursor tropoelastin, a 60-72 kDa water-soluble and temperature-responsive protein that coacervates at physiological temperature, undergoing a phenomenon termed lower critical solution temperature (LCST). Inspired by this behaviour, many scientists and engineers are developing recombinantly produced elastin-inspired biopolymers, usually termed elastin-like polypeptides (ELPs). These ELPs are generally comprised of repetitive motifs with the sequence VPGXG, which corresponds to repeats of a small part of the tropoelastin sequence, X being any amino acid except proline. ELPs display LCST and mechanical properties similar to tropoelastin, which renders them promising candidates for the development of elastic and stimuli-responsive protein-based materials. Unveiling the structure-property relationships of ELPs can aid in the development of these materials by establishing the connections between the ELP amino acid sequence and the macroscopic properties of the materials. Here we present a review of the structure-property relationships of ELPs and ELP-based materials, with a focus on LCST and mechanical properties and how experimental and computational studies have aided in their understanding.


title: Strongly Hyperbolic Unit Disk Graphs

abstract: The class of Euclidean unit disk graphs is one of the most fundamental and well-studied graph classes with underlying geometry. In this paper, we identify this class as a special case in the broader class of hyperbolic unit disk graphs and introduce strongly hyperbolic unit disk graphs as a natural counterpart to the Euclidean variant. In contrast to the grid-like structures exhibited by Euclidean unit disk graphs, strongly hyperbolic networks feature hierarchical structures, which are also observed in complex real-world networks. We investigate basic properties of strongly hyperbolic unit disk graphs, including adjacencies and the formation of cliques, and utilize the derived insights to demonstrate that the class is useful for the development and analysis of graph algorithms. Specifically, we develop a simple greedy routing scheme and analyze its performance on strongly hyperbolic unit disk graphs in order to prove that routing can be performed more efficiently on such networks than in general.


title: Instability of a dusty Kolmogorov flow

abstract: Suspended particles can significantly alter the fluid properties and, in particular, can modify the transition from laminar to turbulent flow. We investigate the effect of heavy particle suspensions on the linear stability of the Kolmogorov flow by means of a multiple scale expansion of the Eulerian model originally proposed by Saffman (1962). We find that, while at small Stokes numbers particles always destabilize the flow (as already predicted by Saffman in the limit of very thin particles), at sufficiently large Stokes numbers the effect is non-monotonic in the particle mass fraction and particles can both stabilize and destabilize the flow. Numerical analysis is used to validate the analytical predictions. We find that in a region of the parameter space the multiple-scale expansion overestimates the stability of the flow and that this is a consequence of the breakdown of the scale separation assumptions.


title: Seebeck and Nernst effects in topological insulator: the case of strained HgTe

abstract: We theoretically study the thermoelectric transport properties of strained HgTe in the topological insulator phase. We developed a model for the system using a Dirac Hamiltonian including the effect of strain induced by the interface between HgTe and the CdTe substrate. The conductivity tensor was explored assuming the electrons are scattered by charge impurities, while the thermopower tensor was addressed using the Mott relation. Seebeck and Nernst responses exhibit remarkable enhancements in comparison with other two-dimensional Dirac materials, such as graphene, germanane, prosphorene and stanene. The intensity of these termoeletric responses, their dependencies with the external perpendicular magnetic field and temperature are also addressed.


title: Polarization effects at finite temperature and magnetic field

abstract: We study the screening of four-quark interaction by the ring diagram in an effective chiral quark model. This entails a medium dependent coupling which naturally reduces the chiral transition temperature in a class of models, and is capable of generating an inverse magnetic catalysis at finite temperature. These results are the first coherent description of inverse magnetic catalysis, anchored to a reliable field-theoretical basis.


title: EduCOR: An Educational and Career-Oriented Recommendation Ontology

abstract: With the increased dependence on online learning platforms and educational resource repositories, a unified representation of digital learning resources becomes essential to support a dynamic and multi-source learning experience. We introduce the EduCOR ontology, an educational, career-oriented ontology that provides a foundation for representing online learning resources for personalised learning systems. The ontology is designed to enable learning material repositories to offer learning path recommendations, which correspond to the user's learning goals, academic and psychological parameters, and the labour-market skills. We present the multiple patterns that compose the EduCOR ontology, highlighting its cross-domain applicability and integrability with other ontologies. A demonstration of the proposed ontology on the real-life learning platform eDoer is discussed as a use-case. We evaluate the EduCOR ontology using both gold standard and task-based approaches. The comparison of EduCOR to three gold schemata, and its application in two use-cases, shows its coverage and adaptability to multiple OER repositories, which allows generating user-centric and labour-market oriented recommendations.


title: Superclustering with the Atacama Cosmology Telescope and Dark Energy Survey: I. Evidence for thermal energy anisotropy using oriented stacking

abstract: The cosmic web contains filamentary structure on a wide range of scales. On the largest scales, superclustering aligns multiple galaxy clusters along inter-cluster bridges, visible through their thermal Sunyaev-Zel'dovich signal in the Cosmic Microwave Background. We demonstrate a new, flexible method to analyze the hot gas signal from multi-scale extended structures. We use a Compton-$y$ map from the Atacama Cosmology Telescope (ACT) stacked on redMaPPer cluster positions from the optical Dark Energy Survey (DES). Cutout images from the $y$ map are oriented with large-scale structure information from DES galaxy data such that the superclustering signal is aligned before being overlaid. We find evidence for an extended quadrupole moment of the stacked $y$ signal at the 3.5$\sigma$ level, demonstrating that the large-scale thermal energy surrounding galaxy clusters is anisotropically distributed. We compare our ACT$\times$DES results with the Buzzard simulations, finding broad agreement. Using simulations, we highlight the promise of this novel technique for constraining the evolution of anisotropic, non-Gaussian structure using future combinations of microwave and optical surveys.


title: Quantum Radon Transform and Its Application

abstract: This paper extends the Radon transform, a classical image processing tool for fast tomography and denoising, to the quantum computing platform. A new kind of periodic discrete Radon transform (PDRT), called quantum Radon transform (QRT), is proposed. The QRT has a quantum implementation that is exponentially faster than the classical Radon transform. Based on the QRT, we design an efficient quantum image denoising algorithm. The simulation results show that QRT preserves the good denoising capability as in the classical PDRT. Also, a quantum algorithm for interpolation-based discrete Radon transform (IDRT) is proposed, which can be used for fast line detection. Both the quantum extension of IDRT and the line detection algorithm can provide polynomial speedups over the classical counterparts.


title: Intersections of binary quadratic forms in primes and the paucity phenomenon

abstract: The number of solutions to $a^2+b^2=c^2+d^2 \le x$ in integers is a well-known result, while if one restricts all the variables to primes Erdos showed that only the diagonal solutions, namely, the ones with $\{a,b\}=\{c,d\}$ contribute to the main term, hence there is a paucity of the off-diagonal solutions. Daniel considered the case of $a,c$ being prime and proved that the main term has both the diagonal and the non-diagonal contributions. Here we investigate the remaining cases, namely when only $c$ is a prime and when both c,d are primes and, finally, when $b,c,d$ are primes by combining techniques of Daniel, Hooley and Plaksin.


title: Asymptotic expansion of the solution of the master equation and its application to the speed limit

abstract: We investigate an asymptotic expansion of the solution of the master equation under the modulation of control parameters. In this case, the non-decaying part of the solution becomes the dynamical steady state expressed as an infinite series using the pseudo-inverse of the Liouvillian, whose convergence is not granted in general. We demonstrate that for the relaxation time approximation model, the Borel summation of the infinite series is compatible with the exact solution. By exploiting the series expansion, we obtain the analytic expression of the heat and the activity. In the two-level system coupled to a single bath, under the linear modulation of the energy as a function of time, we demonstrate that the infinite series expression is the asymptotic expansion of the exact solution. The equality of a trade-off relation between the speed of the state transformation and the entropy production (Shiraishi, Funo, and Saito, Phys. Rev. Lett. ${\bf 121}$, 070601 (2018)) holds in the lowest order of the frequency of the energy modulation in the two-level system. To obtain this result, the heat emission and absorption at edges (the initial and end times) or the differences of the Shannon entropy between the instantaneous steady state and the dynamical steady state at edges are essential: If we ignore these effects, the trade-off relation can be violated.

categories: cond-mat.stat-mech cond-mat.mes-hall math-ph math.MP


title: Collective intelligence and the blockchain: Technology, communities and social experiments

abstract: Blockchains are still perceived chiefly as a new technology. But each blockchain is also a community and a social experiment, built around social consensus. Here I discuss three examples showing how collective intelligence can help, threat or capitalize on blockchain-based ecosystems. They concern the immutability of smart contracts, code transparency and new forms of property. The examples show that more research, new norms and, eventually, laws are needed to manage the interaction between collective behaviour and the blockchain technology. Insights from researchers in collective intelligence can help society rise up to the challenge.


title: A Detailed Examination of Astrophysical Constraints on the Symmetry Energy and the Neutron Skin of $^{208}$Pb with Minimal Modeling Assumptions

abstract: The symmetry energy and its density dependence are pivotal for many nuclear physics and astrophysics applications, as they determine properties ranging from the neutron-skin thickness of nuclei to the crust thickness and the radius of neutron stars. Recently, PREX-II reported a value of $0.283\pm0.071$ fm for the neutron-skin thickness of $^{208}$Pb, $R_{\rm skin}^{^{208}\text{Pb}}$, implying a symmetry-energy slope parameter $L$ of $106\pm37$ MeV, larger than most ranges obtained from microscopic calculations and other nuclear experiments. We use a nonparametric equation of state representation based on Gaussian processes to constrain the symmetry energy $S_0$, $L$, and $R_{\rm skin}^{^{208}\text{Pb}}$ directly from observations of neutron stars with minimal modeling assumptions. The resulting astrophysical constraints from heavy pulsar masses, LIGO/Virgo, and NICER favor smaller values of the neutron skin and $L$, as well as negative symmetry incompressibilities. Combining astrophysical data with chiral effective field theory ($\chi$EFT) and PREX-II constraints yields $S_0 = 33.0^{+2.0}_{-1.8}$ MeV, $L=53^{+14}_{-15}$ MeV, and $R_{\rm skin}^{^{208}\text{Pb}} = 0.17^{+0.04}_{-0.04}$ fm. We also examine the consistency of several individual $\chi$EFT calculations with astrophysical observations and terrestrial experiments. We find that there is only mild tension between $\chi$EFT, astrophysical data, and PREX-II's $R_\mathrm{skin}^{^{208}\mathrm{Pb}}$ measurement ($p$-value $= 12.3\%$) and that there is excellent agreement between $\chi$EFT, astrophysical data, and other nuclear experiments.


title: Are Rents Excessive in the Central City?: A Geospatial Analysis

abstract: In many U.S. central cities, property values are relatively low, while rents are closer to those in better-off neighborhoods. This gap can lead to relatively large profits for landlords, and has been referred to as "exploitaton" for renters. While much of this gap might be explained by risk, factors such as income and race might play important roles as well. This study calculates Census tract-level measures of the rent-to-property-value (RPV) ratio for 30 large cities and their surrounding metropolitan areas. After examining the spatial distribution of this ratio and relationships with other socioeconomic variables for Milwaukee and three other cities, Z-scores and quantiles are used to identify "extreme" RPV values nationwide. "Rust Belt" cities such as Detroit, Cleveland, and Milwaukee are shown to have higher median and 95% values than do West Coast cities such as Seattle and San Francisco. A spatial lag regression estimation shows that, controlling for income, property values, and vacancy rates, racial characteristics often have the "opposite" signs from what might be expected and that there is little evidence of purely race-based "exploitation" of renters. A significantly negative coefficient for the percentage of Black residents, for example, might suggest that the RPV ratio is lower in a given tract, all else equal. While this study shows where RPV values are highest within as well as between cities, further investigation might uncover the drivers of these spatial differences more fully.


title: ROBIN: A Robust Optical Binary Neural Network Accelerator

abstract: Domain specific neural network accelerators have garnered attention because of their improved energy efficiency and inference performance compared to CPUs and GPUs. Such accelerators are thus well suited for resource-constrained embedded systems. However, mapping sophisticated neural network models on these accelerators still entails significant energy and memory consumption, along with high inference time overhead. Binarized neural networks (BNNs), which utilize single-bit weights, represent an efficient way to implement and deploy neural network models on accelerators. In this paper, we present a novel optical-domain BNN accelerator, named ROBIN, which intelligently integrates heterogeneous microring resonator optical devices with complementary capabilities to efficiently implement the key functionalities in BNNs. We perform detailed fabrication-process variation analyses at the optical device level, explore efficient corrective tuning for these devices, and integrate circuit-level optimization to counter thermal variations. As a result, our proposed ROBIN architecture possesses the desirable traits of being robust, energy-efficient, low latency, and high throughput, when executing BNN models. Our analysis shows that ROBIN can outperform the best-known optical BNN accelerators and also many electronic accelerators. Specifically, our energy-efficient ROBIN design exhibits energy-per-bit values that are ~4x lower than electronic BNN accelerators and ~933x lower than a recently proposed photonic BNN accelerator, while a performance-efficient ROBIN design shows ~3x and ~25x better performance than electronic and photonic BNN accelerators, respectively.


title: Shared Control for Bimanual Telesurgery with Optimized Robotic Partner

abstract: Traditional telesurgery relies on the surgeon's full control of the robot on the patient's side, which tends to increase surgeon fatigue and may reduce the efficiency of the operation. This paper introduces a Robotic Partner (RP) to facilitate intuitive bimanual telesurgery, aiming at reducing the surgeon workload and enhancing surgeon-assisted capability. An interval type-2 polynomial fuzzy-model-based learning algorithm is employed to extract expert domain knowledge from surgeons and reflect environmental interaction information. Based on this, a bimanual shared control is developed to interact with the other robot teleoperated by the surgeon, understanding their control and providing assistance. As prior information of the environment model is not required, it reduces reliance on force sensors in control design. Experimental results on the DaVinci Surgical System show that the RP could assist peg-transfer tasks and reduce the surgeon's workload by 51\% in force-sensor-free scenarios.


title: Context-aware virtual adversarial training for anatomically-plausible segmentation

abstract: Despite their outstanding accuracy, semi-supervised segmentation methods based on deep neural networks can still yield predictions that are considered anatomically impossible by clinicians, for instance, containing holes or disconnected regions. To solve this problem, we present a Context-aware Virtual Adversarial Training (CaVAT) method for generating anatomically plausible segmentation. Unlike approaches focusing solely on accuracy, our method also considers complex topological constraints like connectivity which cannot be easily modeled in a differentiable loss function. We use adversarial training to generate examples violating the constraints, so the network can learn to avoid making such incorrect predictions on new examples, and employ the Reinforce algorithm to handle non-differentiable segmentation constraints. The proposed method offers a generic and efficient way to add any constraint on top of any segmentation network. Experiments on two clinically-relevant datasets show our method to produce segmentations that are both accurate and anatomically-plausible in terms of region connectivity.


title: Deformation-Compensated Learning for Image Reconstruction without Ground Truth

abstract: Deep neural networks for medical image reconstruction are traditionally trained using high-quality ground-truth images as training targets. Recent work on Noise2Noise (N2N) has shown the potential of using multiple noisy measurements of the same object as an alternative to having a ground-truth. However, existing N2N-based methods are not suitable for learning from the measurements of an object undergoing nonrigid deformation. This paper addresses this issue by proposing the deformation-compensated learning (DeCoLearn) method for training deep reconstruction networks by compensating for object deformations. A key component of DeCoLearn is a deep registration module, which is jointly trained with the deep reconstruction network without any ground-truth supervision. We validate DeCoLearn on both simulated and experimentally collected magnetic resonance imaging (MRI) data and show that it significantly improves imaging quality.


title: 1st Place Solution for ICDAR 2021 Competition on Mathematical Formula Detection

abstract: In this technical report, we present our 1st place solution for the ICDAR 2021 competition on mathematical formula detection (MFD). The MFD task has three key challenges including a large scale span, large variation of the ratio between height and width, and rich character set and mathematical expressions. Considering these challenges, we used Generalized Focal Loss (GFL), an anchor-free method, instead of the anchor-based method, and prove the Adaptive Training Sampling Strategy (ATSS) and proper Feature Pyramid Network (FPN) can well solve the important issue of scale variation. Meanwhile, we also found some tricks, e.g., Deformable Convolution Network (DCN), SyncBN, and Weighted Box Fusion (WBF), were effective in MFD task. Our proposed method ranked 1st in the final 15 teams.


title: Predicting Risk-adjusted Returns using an Asset Independent Regime-switching Model

abstract: Financial markets tend to switch between various market regimes over time, making stationarity-based models unsustainable. We construct a regime-switching model independent of asset classes for risk-adjusted return predictions based on hidden Markov models. This framework can distinguish between market regimes in a wide range of financial markets such as the commodity, currency, stock, and fixed income market. The proposed method employs sticky features that directly affect the regime stickiness and thereby changing turnover levels. An investigation of our metric for risk-adjusted return predictions is conducted by analyzing daily financial market changes for almost twenty years. Empirical demonstrations of out-of-sample observations obtain an accurate detection of bull, bear, and high volatility periods, improving risk-adjusted returns while keeping a preferable turnover level.


title: Existence, nonexistence and uniqueness for Lane-Emden type fully nonlinear systems

abstract: We study existence, nonexistence, and uniqueness of positive radial solutions for a class of nonlinear systems driven by Pucci extremal operators under a Lane-Emden coupling configuration. Our results are based on the analysis of the associated quadratic dynamical system and energy methods. For both regular and exterior domain radial solutions we obtain new regions of existence and nonexistence. Besides, we show an exclusion principle for regular solutions, either in $\mathbb{R}^N$ or in a ball, by exploiting the uniqueness of trajectories produced by the flow. In particular, for the standard Lane-Emden system involving the Laplacian operator, we prove that the critical hyperbola of regular radial positive solutions is also the threshold for existence and nonexistence of radial exterior domain solutions with Neumann boundary condition. As a byproduct, singular solutions with fast decay at infinity are also found.