title: Bidirectional Graph Reasoning Network for Panoptic Segmentation

abstract: Recent researches on panoptic segmentation resort to a single end-to-end network to combine the tasks of instance segmentation and semantic segmentation. However, prior models only unified the two related tasks at the architectural level via a multi-branch scheme or revealed the underlying correlation between them by unidirectional feature fusion, which disregards the explicit semantic and co-occurrence relations among objects and background. Inspired by the fact that context information is critical to recognize and localize the objects, and inclusive object details are significant to parse the background scene, we thus investigate on explicitly modeling the correlations between object and background to achieve a holistic understanding of an image in the panoptic segmentation task. We introduce a Bidirectional Graph Reasoning Network (BGRNet), which incorporates graph structure into the conventional panoptic segmentation network to mine the intra-modular and intermodular relations within and between foreground things and background stuff classes. In particular, BGRNet first constructs image-specific graphs in both instance and semantic segmentation branches that enable flexible reasoning at the proposal level and class level, respectively. To establish the correlations between separate branches and fully leverage the complementary relations between things and stuff, we propose a Bidirectional Graph Connection Module to diffuse information across branches in a learnable fashion. Experimental results demonstrate the superiority of our BGRNet that achieves the new state-of-the-art performance on challenging COCO and ADE20K panoptic segmentation benchmarks.


title: Compaction Self-Assembly of Ultralow-Binder-Content Thermoplastic Composites Based on Lunar Soil Simulant

abstract: In a recent study, we developed ultralow-binder-content (UBC) structural materials based on lunar soil simulant and thermoset binders. In the current research, we investigated thermoplastic binders. Compared to thermosets, advanced thermoplastics could be more UV resistant, more durable, more robust, and recyclable. Our main technology is the compaction self-assembly (CSA). By using only ~4 wt% polyetherketoneketone (PEKK) binder, the thermoplastic-binder UBC composite was stronger than typical steel-reinforced concrete. The CSA operation was separate from the curing process. This study may provide an important in-situ resource utilization method for large-scale construction on Moon.


title: Dissipation range of the energy spectrum in high Reynolds number turbulence

abstract: We seek to understand the kinetic energy spectrum in the dissipation range of fully developed turbulence. The data are obtained by direct numerical simulations (DNS) of forced Navier-Stokes equations in a periodic domain, for Taylor-scale Reynolds numbers up to $R_\lambda=650$, with excellent small-scale resolution of $k_{max}\eta \approx 6$ for all cases (and additionally at $R_\lambda=1300$ with $k_{max}\eta\approx3$), where $k_{max}$ is the maximum resolved wavenumber and $\eta$ is the Kolmogorov length scale. We find that, for a limited range of wavenumbers $k$ past the bottleneck in the range $0.1 \lesssim k\eta \lesssim0.5$, the spectra for all $R_\lambda$ display a universal stretched exponential behavior of the form $\exp(-k^{2/3})$, in rough accordance with recent theoretical predictions. The stretched exponential fit in the near dissipation range $1 \lesssim k\eta \lesssim 4$ does not possess a unique exponent, which decreases with increasing $R_\lambda$. This region can be regarded as a crossover between the stretched exponential behavior and the far dissipation range $k\eta > 6$, in which analytical arguments as well as DNS data with superfine resolution (S. Khurshid et al., Phys.~Rev.~Fluids 3, 082601, 2018) suggest a $\exp(-k)$ dependence. We remark on the connection to the multifractal model which hypothesizes a pseudo-algebraic law.


title: An interface/boundary-unfitted eXtended HDG method for linear elasticity problems

abstract: An interface/boundary-unfitted eXtended hybridizable discontinuous Galerkin (X-HDG) method of arbitrary order is proposed for linear elasticity interface problems on unfitted meshes with respect to the interface and domain boundary. The method uses piecewise polynomials of degrees $k\ (>= 1)$ and $k-1$ respectively for the displacement and stress approximations in the interior of elements inside the subdomains separated by the interface, and piecewise polynomials of degree $k$ for the numerical traces of the displacement on the inter-element boundaries inside the subdomains and on the interface/boundary of the domain. Optimal error estimates in $L^2$-norm for the stress and displacement are derived. Finally, numerical experiments confirm the theoretical results and show that the method also applies to the case of crack-tip domain.


title: Quantum Black Hole Seismology II: Applications to Astrophysical Black Holes

abstract: With the advent of gravitational wave astronomy, searching for gravitational wave echoes from black holes (BHs) is becoming an interesting probe of their quantum nature near their horizons. Newborn BHs may be strong emitters of echoes, as they accompany large perturbations in the surrounding spacetime upon formation. Utilizing the Quantum Black Hole Seismology framework (Oshita et al. 2020), we study the expected echoes upon BH formation resulting from neutron star mergers and failed supernovae. For BH remnants from neutron star mergers, we evaluate the consistency of these models with the recent claim on the existence of echoes following the neutron star merger event GW170817. We find that the claimed echoes in GW170817, if real, suggest that overtones contribute a significant amount of energy in the ringdown of the remnant BH. We finally discuss the detectability of echoes from failed supernovae by second and third-generation gravitational wave detectors, and find that current (future) detectors constrain physical reflectivity models for events occurring within a few Mpc (a few x 10 Mpc). Detecting such echo signals may significantly constrain the maximum mass and equation of state of neutron stars.


title: A Demonstration of Issues with Value-Based Multiobjective Reinforcement Learning Under Stochastic State Transitions

abstract: We report a previously unidentified issue with model-free, value-based approaches to multiobjective reinforcement learning in the context of environments with stochastic state transitions. An example multiobjective Markov Decision Process (MOMDP) is used to demonstrate that under such conditions these approaches may be unable to discover the policy which maximises the Scalarised Expected Return, and in fact may converge to a Pareto-dominated solution. We discuss several alternative methods which may be more suitable for maximising SER in MOMDPs with stochastic transitions.


title: Squares: A Fast Counter-Based RNG

abstract: In this article, we propose a new counter-based implementation of John von Neumann's middle-square random number generator (RNG). Several rounds of squaring are applied to a counter to produce a random output. We discovered that four rounds are sufficient to provide satisfactory data. Two versions of the RNG are presented, a 4-round version with 32-bit output and a 5-round version with 64-bit output. Both pass stringent tests of randomness and may be the fastest counter-based generators.


title: Theory of wavepacket transport under narrow gaps and spatial textures: non-adiabaticity and semiclassicality

abstract: We generalise the celebrated semiclassical wavepacket approach from the adiabatic to the non-adiabatic regime. A unified description covering both of these regimes is particularly desired for systems with spatially varying band structures where band gaps of various sizes are simultaneously present, e.g. in moir\'{e} patterns. For a single wavepacket, alternative to the previous derivation by Lagrangian variational approach, we show that the same semiclassical equations of motion can be obtained by introducing a spatial-texture-induced force operator similar to the Ehrenfest theorem. For semiclassically computing the current, the ensemble of wavepackets based on adiabatic dynamics is shown to well correspond to a phase-space fluid for which the fluid's mass and velocity are two distinguishable properties. This distinction is not inherited to the ensemble of wavepackets with the non-adiabatic dynamics. We extend the adiabatic kinetic theory to the non-adiabatic regime by taking into account decoherence, whose joint action with electric field favours certain form of inter-band coherence. The steady-state density matrix as a function of the phase-space variables is then phenomenologically obtained for calculating the transport current. The result, applicable with a finite electric field, expectedly reproduces the known adiabatic limit by taking the electric field to be infinitesimal, and therefore attains a unified description from the adiabatic to the non-adiabatic situations.


title: An Analysis of Python's Topics, Trends, and Technologies Through Mining Stack Overflow Discussions

abstract: Python is a popular, widely used, and general-purpose programming language. In spite of its ever-growing community, researchers have not performed much analysis on Python's topics, trends, and technologies which provides insights for developers about Python community trends and main issues. In this article, we examine the main topics related to this language being discussed by developers on one of the most popular Q\&A websites, Stack Overflow, as well as temporal trends through mining 2461876 posts. To be more useful for the software engineers, we study what Python provides as the alternative to popular technologies offered by common programming languages like Java. Our results indicate that discussions about Python standard features, web programming, and scientific programming. Programming in areas such as mathematics, data science, statistics, machine learning, natural language processing (NLP), and so forth. are the most popular areas in the Python community. At the same time, areas related to scientific programming are steadily receiving more attention from the Python developers.


title: xQSM: Quantitative Susceptibility Mapping with Octave Convolutional and Noise Regularized Neural Networks

abstract: Quantitative susceptibility mapping (QSM) is a valuable magnetic resonance imaging (MRI) contrast mechanism that has demonstrated broad clinical applications. However, the image reconstruction of QSM is challenging due to its ill-posed dipole inversion process. In this study, a new deep learning method for QSM reconstruction, namely xQSM, was designed by introducing modified state-of-the-art octave convolutional layers into the U-net backbone. The xQSM method was compared with recentlyproposed U-net-based and conventional regularizationbased methods, using peak signal to noise ratio (PSNR), structural similarity (SSIM), and region-of-interest measurements. The results from a numerical phantom, a simulated human brain, four in vivo healthy human subjects, a multiple sclerosis patient, a glioblastoma patient, as well as a healthy mouse brain showed that the xQSM led to suppressed artifacts than the conventional methods, and enhanced susceptibility contrast, particularly in the ironrich deep grey matter region, than the original U-net, consistently. The xQSM method also substantially shortened the reconstruction time from minutes using conventional iterative methods to only a few seconds.


title: Fusion Structure from Exchange Symmetry in (2+1)-Dimensions

abstract: Until recently, a careful derivation of the fusion structure of anyons from some underlying physical principles has been lacking. In [Shi et al., Ann. Phys., 418 (2020)], the authors achieved this goal by starting from a conjectured form of entanglement area law for 2D gapped systems. In this work, we instead start with the principle of exchange symmetry, and determine the minimal prescription of additional postulates needed to make contact with unitary ribbon fusion categories as the appropriate algebraic framework for modelling anyons. Assuming that 2D quasiparticles are spatially localised, we build a functor from the coloured braid groupoid to the category of finite-dimensional Hilbert spaces. Using this functor, we construct a precise notion of exchange symmetry, allowing us to recover the core fusion properties of anyons. In particular, given a system of $n$ quasiparticles, we show that the action of a certain $n$-braid $\beta_{n}$ uniquely specifies its superselection sectors. We then provide an overview of the braiding and fusion structure of anyons in the usual setting of braided $6j$ fusion systems. By positing the duality axiom of [A. Kitaev, Ann. Phys., 321(1) (2006)] and assuming that there are finitely many distinct topological charges, we arrive at the framework of ribbon categories.

categories: quant-ph cond-mat.str-el math-ph math.MP math.QA math.RT


title: Non-Hermitian Floquet second order topological insulators in periodically quenched lattices

abstract: Higher-order topological phases are characterized by protected states localized at the corners or hinges of the system. By applying time-periodic quenches to a two-dimensional lattice with balanced gain and loss, we obtain a rich variety of non-Hermitian Floquet second order topological insulating phases. Each of the phases is characterized by a pair of integer topological invariants, which predict the numbers of Floquet corner modes at zero and $\pi$ quasienergies. We establish the topological phase diagram of the model, and find a series of non-Hermiticity induced transitions between different Floquet second order topological phases. We further generalize the mean chiral displacement to two-dimensional non-Hermitian systems, and use it to extract the topological invariants of our model dynamically. This work thus extend the study of higher-order topological matter to more generic nonequilibrium settings, in which the interplay between Floquet engineering and non-Hermiticity yields fascinating new phases.


title: Wireless Information and Power Transfer for IoT Applications in Overlay Cognitive Radio Networks

abstract: This paper proposes and investigates an overlay spectrum sharing system in conjunction with the simultaneous wireless information and power transfer (SWIPT) to enable communications for the Internet of Things (IoT) applications. Considered is a cooperative cognitive radio network, where two IoT devices (IoDs) exchange their information and also provide relay assistance to a pair of primary users (PUs). Different from most existing works, in this paper, both IoDs can harvest energy from the radio-frequency (RF) signals received from the PUs. By utilizing the harvested energy, they provide relay cooperation to PUs and realize their own communications. For harvesting energy, a time-switching (TS) based approach is adopted at both IoDs. With the proposed scheme, one round of bidirectional information exchange for both primary and IoT systems is performed in four phases, i.e., one energy harvesting (EH) phase and three information processing (IP) phases. Both IoDs rely on the decode-and-forward operation to facilitate relaying, whereas the PUs employ selection combining (SC) technique. For investigating the performance of the considered network, this paper first provides exact expressions of user outage probability (OP) for the primary and IoT systems under Nakagami-m fading. Then, by utilizing the expressions of user OP, the system throughput and energy efficiency are quantified together with the average end-to-end transmission time. Numerical and simulation results are provided to give useful insights into the system behavior and to highlight the impact of various system/channel parameters.


title: Further results on the rainbow vertex-disconnection of graphs

abstract: Let $G$ be a nontrivial connected and vertex-colored graph. A subset $X$ of the vertex set of $G$ is called rainbow if any two vertices in $X$ have distinct colors. The graph $G$ is called \emph{rainbow vertex-disconnected} if for any two vertices $x$ and $y$ of $G$, there exists a vertex subset $S$ such that when $x$ and $y$ are nonadjacent, $S$ is rainbow and $x$ and $y$ belong to different components of $G-S$; whereas when $x$ and $y$ are adjacent, $S+x$ or $S+y$ is rainbow and $x$ and $y$ belong to different components of $(G-xy)-S$. Such a vertex subset $S$ is called a \emph{rainbow vertex-cut} of $G$. For a connected graph $G$, the \emph{rainbow vertex-disconnection number} of $G$, denoted by $rvd(G)$, is the minimum number of colors that are needed to make $G$ rainbow vertex-disconnected. In this paper, we obtain bounds of the rainbow vertex-disconnection number of a graph in terms of the minimum degree and maximum degree of the graph. We give a tighter upper bound for the maximum size of a graph $G$ with $rvd(G)=k$ for $k\geq\frac{n}{2}$. We then characterize the graphs of order $n$ with rainbow vertex-disconnection number $n-1$ and obtain the maximum size of a graph $G$ with $rvd(G)=n-1$. Moreover, we get a sharp threshold function for the property $rvd(G(n,p))=n$ and prove that almost all graphs $G$ have $rvd(G)=rvd(\overline{G})=n$. Finally, we obtain some Nordhaus-Gaddum-type results: $n-5\leq rvd(G)+rvd(\overline{G})\leq 2n$ and $n-1\leq rvd(G)\cdot rvd(\overline{G})\leq n^2$ for the rainbow vertex-disconnection numbers of nontrivial connected graphs $G$ and $\overline{G}$ with order $n\geq 24$.


title: Transfer Learning for EEG-Based Brain-Computer Interfaces: A Review of Progress Made Since 2016

abstract: A brain-computer interface (BCI) enables a user to communicate with a computer directly using brain signals. The most common non-invasive BCI modality, electroencephalogram (EEG), is sensitive to noise/artifact and suffers between-subject/within-subject non-stationarity. Therefore, it is difficult to build a generic pattern recognition model in an EEG-based BCI system that is optimal for different subjects, during different sessions, for different devices and tasks. Usually, a calibration session is needed to collect some training data for a new subject, which is time-consuming and user unfriendly. Transfer learning (TL), which utilizes data or knowledge from similar or relevant subjects/sessions/devices/tasks to facilitate learning for a new subject/session/device/task, is frequently used to reduce the amount of calibration effort. This paper reviews journal publications on TL approaches in EEG-based BCIs in the last few years, i.e., since 2016. Six paradigms and applications -- motor imagery, event-related potentials, steady-state visual evoked potentials, affective BCIs, regression problems, and adversarial attacks -- are considered. For each paradigm/application, we group the TL approaches into cross-subject/session, cross-device, and cross-task settings and review them separately. Observations and conclusions are made at the end of the paper, which may point to future research directions.


title: Development of ultra-pure NaI(Tl) detectors for the COSINE-200 experiment

abstract: The annual modulation signal observed by the DAMA experiment is a long-standing question in the community of dark matter direct detection. This necessitates an independent verification of its existence using the same detection technique. The COSINE-100 experiment has been operating with 106~kg of low-background NaI(Tl) detectors providing interesting checks on the DAMA signal. However, due to higher backgrounds in the NaI(Tl) crystals used in COSINE-100 relative to those used for DAMA, it was difficult to reach final conclusions. Since the start of COSINE-100 data taking in 2016, we also have initiated a program to develop ultra-pure NaI(Tl) crystals for COSINE-200, the next phase of the experiment. The program includes efforts of raw powder purification, ultra-pure NaI(Tl) crystal growth, and detector assembly techniques. After extensive research and development of NaI(Tl) crystal growth, we have successfully grown a few small-size (0.61$-$0.78 kg) thallium-doped crystals with high radio-purity. A high light yield has been achieved by improvements of our detector assembly technique. Here we report the ultra-pure NaI(Tl) detector developments at the Institute for Basic Science, Korea. The technique developed here will be applied to the production of NaI(Tl) detectors for the COSINE-200 experiment.

categories: physics.ins-det astro-ph.IM hep-ex nucl-ex


title: Towards Robust Classification with Image Quality Assessment

abstract: Recent studies have shown that deep convolutional neural networks (DCNN) are vulnerable to adversarial examples and sensitive to perceptual quality as well as the acquisition condition of images. These findings raise a big concern for the adoption of DCNN-based applications for critical tasks. In the literature, various defense strategies have been introduced to increase the robustness of DCNN, including re-training an entire model with benign noise injection, adversarial examples, or adding extra layers. In this paper, we investigate the connection between adversarial manipulation and image quality, subsequently propose a protective mechanism that doesnt require re-training a DCNN. Our method combines image quality assessment with knowledge distillation to detect input images that would trigger a DCCN to produce egregiously wrong results. Using the ResNet model trained on ImageNet as an example, we demonstrate that the detector can effectively identify poor quality and adversarial images.


title: On Vickrey's Income Averaging

abstract: We consider a small set of axioms for income averaging -- recursivity, continuity, and the boundary condition for the present. These properties yield a unique averaging function that is the density of the reflected Brownian motion with a drift started at the current income and moving over the past incomes. When averaging is done over the short past, the weighting function is asymptotically converging to a Gaussian. When averaging is done over the long horizon, the weighing function converges to the exponential distribution. For all intermediate averaging scales, we derive an explicit solution that interpolates between the two.


title: A global nonhydrostatic dynamical core on cubed sphere using multi-moment finite volume method: formulation and preliminary test

abstract: A nonhydrostatic dynamical core has been developed by using the multi-moment finite volume method that ensures the rigorous numerical conservation. To represent the spherical geometry free of polar problems, the cubed-sphere grid is adopted. A fourth-order multi-moment discretization formulation is applied to the nonhydrostatic governing equations cast in local curvilinear coordinates on each patch of cubed sphere through a gnomonic projection. In vertical direction, the height-based terrain-following grid is used to represent the topography. To get around the CFL stability restriction imposed by relatively small grid spacing in the vertical direction, the dimensional-splitting time integration using the HEVI (Horizontal Explicit and Vertical Implicit) strategy is implemented by applying the IMEX Runge-Kutta scheme. The proposed dynamical core preserves the fourth-order accuracy in spherical geometry and has been verified by the widely-used benchmark tests. The results of our numerical experiments show that the present numerical core has superior solution quality and great practical potential as a platform for atmospheric models. A new unified model for numerical weather prediction and global atmospheric circulation simulation based on this dynamical core is under development.


title: Modeling, state estimation, and optimal control for the US COVID-19 outbreak

abstract: The novel coronavirus SARS-CoV-2 and resulting COVID-19 disease have had an unprecedented spread and continue to cause an increasing number of fatalities worldwide. While vaccines are still under development, social distancing, extensive testing, and quarantining of confirmed infected subjects remain the most effective measures to contain the pandemic. These measures carry a significant socioeconomic cost. In this work, we introduce a novel optimization-based decision-making framework for managing the COVID-19 outbreak in the US. This includes modeling the dynamics of affected populations, estimating the model parameters and hidden states from data, and an optimal control strategy for sequencing social distancing and testing events such that the number of infections is minimized. The analysis of our extensive computational efforts reveals that social distancing and quarantining are most effective when implemented early, with quarantining of confirmed infected subjects having a much higher impact. Further, we find that "on-off" policies alternating between strict social distancing and relaxing such restrictions can be effective at "flattening" the curve while likely minimizing social and economic cost.


title: Gelato: Feedback-driven and Guided Security Analysis of Client-side Web Applications

abstract: Even though a lot of effort has been invested in analyzing client-side web applications during the past decade, the existing tools often fail to deal with the complexity of modern JavaScript applications. However, from an attacker point of view, the client side of such web applications can reveal invaluable information about the server side. In this paper, first we study the existing tools and enumerate the most crucial features a security-aware client-side analysis should be supporting. Next, we propose GELATO to detect vulnerabilities in modern client-side JavaScript applications that are built upon complex libraries and frameworks. In particular, we take the first step in closing the gap between state-aware crawling and client-side security analysis by proposing a feedback-driven security-aware guided crawler that is able to analyze complex frameworks automatically, and increase the coverage of security-sensitive parts of the program efficiently. Moreover, we propose a new lightweight client-side taint analysis that outperforms the start-of-the-art tools, requires no modification to browsers, and reports non-trivial taint flows on modern JavaScript applications.


title: Collapse of the Fano Resonance Caused by the Nonlocality of the Majorana State

abstract: One of the main features of the Majorana state, which attracts a considerable current interest to these excitations in solid-state systems, is related to its nonlocal character. It is demonstrated that the direct consequence of such nonlocality is the collapse of the Fano resonance manifesting itself in the conductance of an asymmetric interference device, the arms of which are connected by a one-dimensional topological superconductor. In the framework of the spinless model, it is shown that the predicted effect is associated with an increase in the multiplicity of the degeneracy of the zero-energy state of the structure arising at a specific case of the Kitaev model. Such an increase leads to the formation of a bound state in the continuum.


title: A High Coverage Camera Assisted Received Signal Strength Ratio Algorithm for Indoor Visible Light Positioning

abstract: In this paper, a high coverage algorithm termed enhanced camera assisted received signal strength ratio (eCA-RSSR) positioning algorithm is proposed for visible light positioning (VLP) systems. The basic idea of eCA-RSSR is to utilize visual information captured by the camera to estimate the incidence angles of visible lights first. Based on the incidence angles, eCA-RSSR utilizes the received signal strength ratio (RSSR) calculated by the photodiode (PD) to estimate the ratios of the distances between the LEDs and the receiver. Based on an Euclidean plane geometry theorem, eCA-RSSR transforms the ratios of the distances into the absolute values. In this way, eCA-RSSR only requires 3 LEDs for both orientation-free 2D and 3D positioning, implying that eCA-RSSR can achieve high coverage. Based on the absolute values of the distances, the linear least square method is employed to estimate the position of the receiver. Therefore, for the receiver having a small distance between the PD and the camera, the accuracy of eCA-RSSR does not depend on the starting values of the non-linear least square method and the complexity of eCA-RSSR is low. Furthermore, since the distance between the PD and camera can significantly affect the performance of eCA-RSSR, we further propose a compensation algorithm for eCA-RSSR based on the single-view geometry. Simulation results show that eCA-RSSR can achieve centimeter-level accuracy over 80% indoor area for both the receivers having a small and a large distance between the PD and the camera.


title: Cross-Lingual Semantic Role Labeling with High-Quality Translated Training Corpus

abstract: Many efforts of research are devoted to semantic role labeling (SRL) which is crucial for natural language understanding. Supervised approaches have achieved impressing performances when large-scale corpora are available for resource-rich languages such as English. While for the low-resource languages with no annotated SRL dataset, it is still challenging to obtain competitive performances. Cross-lingual SRL is one promising way to address the problem, which has achieved great advances with the help of model transferring and annotation projection. In this paper, we propose a novel alternative based on corpus translation, constructing high-quality training datasets for the target languages from the source gold-standard SRL annotations. Experimental results on Universal Proposition Bank show that the translation-based method is highly effective, and the automatic pseudo datasets can improve the target-language SRL performances significantly.


title: Eigen selection in spectral clustering: a theory guided practice

abstract: Based on a Gaussian mixture type model , we derive an eigen selection procedure that improves the usual spectral clustering in high-dimensional settings. Concretely, we derive the asymptotic expansion of the spiked eigenvalues under eigenvalue multiplicity and eigenvalue ratio concentration results, giving rise to the first theory-backed eigen selection procedure in spectral clustering. The resulting eigen-selected spectral clustering (ESSC) algorithm enjoys better stability and compares favorably against canonical alternatives. We demonstrate the advantages of ESSC using extensive simulation and multiple real data studies.


title: Smart Inference for Multidigit Convolutional Neural Network based Barcode Decoding

abstract: Barcodes are ubiquitous and have been used in most of critical daily activities for decades. However, most of traditional decoders require well-founded barcode under a relatively standard condition. While wilder conditioned barcodes such as underexposed, occluded, blurry, wrinkled and rotated are commonly captured in reality, those traditional decoders show weakness of recognizing. Several works attempted to solve those challenging barcodes, but many limitations still exist. This work aims to solve the decoding problem using deep convolutional neural network with the possibility of running on portable devices. Firstly, we proposed a special modification of inference based on the feature of having checksum and test-time augmentation, named as Smart Inference (SI) in prediction phase of a trained model. SI considerably boosts accuracy and reduces the false prediction for trained models. Secondly, we have created a large practical evaluation dataset of real captured 1D barcode under various challenging conditions to test our methods vigorously, which is publicly available for other researchers. The experiments' results demonstrated the SI effectiveness with the highest accuracy of 95.85% which outperformed many existing decoders on the evaluation set. Finally, we successfully minimized the best model by knowledge distillation to a shallow model which is shown to have high accuracy (90.85%) with good inference speed of 34.2 ms per image on a real edge device.


title: Budget Learning via Bracketing

abstract: Conventional machine learning applications in the mobile/IoT setting transmit data to a cloud-server for predictions. Due to cost considerations (power, latency, monetary), it is desirable to minimise device-to-server transmissions. The budget learning (BL) problem poses the learner's goal as minimising use of the cloud while suffering no discernible loss in accuracy, under the constraint that the methods employed be edge-implementable. We propose a new formulation for the BL problem via the concept of bracketings. Concretely, we propose to sandwich the cloud's prediction, $g,$ via functions $h^-, h^+$ from a `simple' class so that $h^- \le g \le h^+$ nearly always. On an instance $x$, if $h^+(x)=h^-(x)$, we leverage local processing, and bypass the cloud. We explore theoretical aspects of this formulation, providing PAC-style learnability definitions; associating the notion of budget learnability to approximability via brackets; and giving VC-theoretic analyses of their properties. We empirically validate our theory on real-world datasets, demonstrating improved performance over prior gating based methods.


title: Trusted Wireless Monitoring based on Blockchain over NB-IoT Connectivity

abstract: The data collected from Internet of Things (IoT) devices on various emissions or pollution, can have a significant economic value for the stakeholders. This makes it prone to abuse or tampering and brings forward the need to integrate IoT with a Distributed Ledger Technology (DLT) to collect, store, and protect the IoT data. However, DLT brings an additional overhead to the frugal IoT connectivity and symmetrizes the IoT traffic, thus changing the usual assumption that IoT is uplink-oriented. We have implemented a platform that integrates DLTs with a monitoring system based on narrowband IoT (NB-IoT). We evaluate the performance and discuss the tradeoffs in two use cases: data authorization and real-time monitoring.


title: Witness-based Approach for Scaling Distributed Ledgers to Massive IoT Scenarios

abstract: Distributed Ledger Technologies (DLTs) are playing a major role in building security and trust in Internet of Things (IoT) systems. However, IoT deployments with a large number of devices, such as in environment monitoring applications, generate and send massive amounts of data. This would generate vast number of transactions that must be processed within the distributed ledger. In this work, we first demonstrate that the Proof of Work (PoW) blockchain fails to scale in a sizable IoT connectivity infrastructure. To solve this problem, we present a lightweight distributed ledger scheme to integrate PoW blockchain into IoT. In our scheme, we classify transactions into two types: 1) global transactions, which must be processed by global blockchain nodes and 2) local transactions, which can be processed locally by entities called witnesses. Performance evaluation demonstrates that our proposed scheme improves the scalability of integrated blockchain and IoT monitoring systems by processing a fraction of the transactions, inversely proportional to the number of witnesses, locally. Hence, reducing the number of global transactions.


title: Robust Modelling of Reflectance Pulse Oximetry for SpO$_2$ Estimation

abstract: Continuous monitoring of blood oxygen saturation levels is vital for patients with pulmonary disorders. Traditionally, SpO$_2$ monitoring has been carried out using transmittance pulse oximeters due to its dependability. However, SpO$_2$ measurement from transmittance pulse oximeters is limited to peripheral regions. This becomes a disadvantage at very low temperatures as blood perfusion to the peripherals decreases. On the other hand, reflectance pulse oximeters can be used at various sites like finger, wrist, chest and forehead. Additionally, reflectance pulse oximeters can be scaled down to affordable patches that do not interfere with the user's diurnal activities. However, accurate SpO$_2$ estimation from reflectance pulse oximeters is challenging due to its patient dependent, subjective nature of measurement. Recently, a Machine Learning (ML) method was used to model reflectance waveforms onto SpO$_2$ obtained from transmittance waveforms. However, the generalizability of the model to new patients was not tested. In light of this, the current work implemented multiple ML based approaches which were subsequently found to be incapable of generalizing to new patients. Furthermore, a minimally calibrated data driven approach was utilized in order to obtain SpO$_2$ from reflectance PPG waveforms. The proposed solution produces an average mean absolute error of 1.81\% on unseen patients which is well within the clinically permissible error of 2\%. Two statistical tests were conducted to establish the effectiveness of the proposed method.


title: Few-Shot Single-View 3-D Object Reconstruction with Compositional Priors

abstract: The impressive performance of deep convolutional neural networks in single-view 3D reconstruction suggests that these models perform non-trivial reasoning about the 3D structure of the output space. However, recent work has challenged this belief, showing that complex encoder-decoder architectures perform similarly to nearest-neighbor baselines or simple linear decoder models that exploit large amounts of per category data in standard benchmarks. On the other hand settings where 3D shape must be inferred for new categories with few examples are more natural and require models that generalize about shapes. In this work we demonstrate experimentally that naive baselines do not apply when the goal is to learn to reconstruct novel objects using very few examples, and that in a \emph{few-shot} learning setting, the network must learn concepts that can be applied to new categories, avoiding rote memorization. To address deficiencies in existing approaches to this problem, we propose three approaches that efficiently integrate a class prior into a 3D reconstruction model, allowing to account for intra-class variability and imposing an implicit compositional structure that the model should learn. Experiments on the popular ShapeNet database demonstrate that our method significantly outperform existing baselines on this task in the few-shot setting.


title: Quantifying Community Characteristics of Maternal Mortality Using Social Media

abstract: While most mortality rates have decreased in the US, maternal mortality has increased and is among the highest of any OECD nation. Extensive public health research is ongoing to better understand the characteristics of communities with relatively high or low rates. In this work, we explore the role that social media language can play in providing insights into such community characteristics. Analyzing pregnancy-related tweets generated in US counties, we reveal a diverse set of latent topics including Morning Sickness, Celebrity Pregnancies, and Abortion Rights. We find that rates of mentioning these topics on Twitter predicts maternal mortality rates with higher accuracy than standard socioeconomic and risk variables such as income, race, and access to health-care, holding even after reducing the analysis to six topics chosen for their interpretability and connections to known risk factors. We then investigate psychological dimensions of community language, finding the use of less trustful, more stressed, and more negative affective language is significantly associated with higher mortality rates, while trust and negative affect also explain a significant portion of racial disparities in maternal mortality. We discuss the potential for these insights to inform actionable health interventions at the community-level.


title: Discrimination of electronic recoils from nuclear recoils in two-phase xenon time projection chambers

abstract: We present a comprehensive analysis of electronic recoil vs. nuclear recoil discrimination in liquid/gas xenon time projection chambers, using calibration data from the 2013 and 2014-16 runs of the Large Underground Xenon (LUX) experiment. We observe strong charge-to-light discrimination enhancement with increased event energy. For events with S1 = 120 detected photons, i.e. equivalent to a nuclear recoil energy of $\sim$100 keV, we observe an electronic recoil background acceptance of $<10^{-5}$ at a nuclear recoil signal acceptance of 50%. We also observe modest electric field dependence of the discrimination power, which peaks at a field of around 300 V/cm over the range of fields explored in this study (50-500 V/cm). In the WIMP search region of S1 = 1-80 phd, the minimum electronic recoil leakage we observe is ${(7.3\pm0.6)\times10^{-4}}$, which is obtained for a drift field of 240-290 V/cm. Pulse shape discrimination is utilized to improve our results, and we find that, at low energies and low fields, there is an additional reduction in background leakage by a factor of up to 3. We develop an empirical model for recombination fluctuations which, when used alongside the Noble Element Scintillation Technique (NEST) simulation package, correctly reproduces the skewness of the electronic recoil data. We use this updated simulation to study the width of the electronic recoil band, finding that its dominant contribution comes from electron-ion recombination fluctuations, followed in magnitude of contribution by fluctuations in the S1 signal, fluctuations in the S2 signal, and fluctuations in the total number of quanta produced for a given energy deposition.


title: VehicleNet: Learning Robust Visual Representation for Vehicle Re-identification

abstract: One fundamental challenge of vehicle re-identification (re-id) is to learn robust and discriminative visual representation, given the significant intra-class vehicle variations across different camera views. As the existing vehicle datasets are limited in terms of training images and viewpoints, we propose to build a unique large-scale vehicle dataset (called VehicleNet) by harnessing four public vehicle datasets, and design a simple yet effective two-stage progressive approach to learning more robust visual representation from VehicleNet. The first stage of our approach is to learn the generic representation for all domains (i.e., source vehicle datasets) by training with the conventional classification loss. This stage relaxes the full alignment between the training and testing domains, as it is agnostic to the target vehicle domain. The second stage is to fine-tune the trained model purely based on the target vehicle set, by minimizing the distribution discrepancy between our VehicleNet and any target domain. We discuss our proposed multi-source dataset VehicleNet and evaluate the effectiveness of the two-stage progressive representation learning through extensive experiments. We achieve the state-of-art accuracy of 86.07% mAP on the private test set of AICity Challenge, and competitive results on two other public vehicle re-id datasets, i.e., VeRi-776 and VehicleID. We hope this new VehicleNet dataset and the learned robust representations can pave the way for vehicle re-id in the real-world environments.


title: Group Testing for COVID-19: How to Stop Worrying and Test More

abstract: The corona virus disease 2019 (COVID-19) caused by the novel corona virus has an exponential rate of infection. COVID-19 is particularly notorious as the onset of symptoms in infected patients are usually delayed and there exists a large number of asymptomatic carriers. In order to prevent overwhelming of medical facilities and large fatality rate, early stage testing and diagnosis are key requirements. In this article, we discuss the methodologies from the group testing literature and its relevance to COVID-19 diagnosis. Specifically, we investigate the efficiency of group testing using polymerase chain reaction (PCR) for COVID-19. Group testing is a method in which multiple samples are pooled together in groups and fewer tests are performed on these groups to discern all the infected samples. We study the effect of dilution due to pooling in group testing and show that group tests can perform well even in the presence of dilution effects. We present multiple group testing algorithms that could reduce the number of tests performed for COVID-19 diagnosis. We analyze the efficiency of these tests and provide insights on their practical relevance. With the use of algorithms described here, test plans can be developed that can enable testing centers to increase the number of diagnosis performed without increasing the number of PCR tests. The codes for generating test plans are available online at [1].


title: Sense and Sensibility: Characterizing Social Media Users Regarding the Use of Controversial Terms for COVID-19

abstract: With the world-wide development of 2019 novel coronavirus, although WHO has officially announced the disease as COVID-19, one controversial term - "Chinese Virus" is still being used by a great number of people. In the meantime, global online media coverage about COVID-19-related racial attacks increases steadily, most of which are anti-Chinese or anti-Asian. As this pandemic becomes increasingly severe, more people start to talk about it on social media platforms such as Twitter. When they refer to COVID-19, there are mainly two ways: using controversial terms like "Chinese Virus" or "Wuhan Virus", or using non-controversial terms like "Coronavirus". In this study, we attempt to characterize the Twitter users who use controversial terms and those who use non-controversial terms. We use the Tweepy API to retrieve 17 million related tweets and the information of their authors. We find significant differences between these two groups of Twitter users across their demographics, user-level features like the number of followers, political following status, as well as their geo-locations. Moreover, we apply classification models to predict Twitter users who are more likely to use controversial terms. To our best knowledge, this is the first large-scale social media-based study to characterize users with respect to their usage of controversial terms during a major crisis.


title: Asymptotic expansions for the radii of starlikeness of normalised Bessel functions

abstract: The asymptotic behaviour, with respect to the large order, of the radii of starlikeness of two types of normalised Bessel functions is considered. We derive complete asymptotic expansions for the radii of starlikeness and provide recurrence relations for the coefficients of these expansions. The proofs rely on the notion of Rayleigh sums and asymptotic inversion. The techniques employed in the paper could be useful to treat similar problems where inversion of asymptotic expansions is involved.


title: Iterative frequency-domain seismic wave solvers based on multi-level domain-decomposition preconditioners

abstract: Frequency-domain full-waveform inversion (FWI) is suitable for long-offset stationary-recording acquisition, since reliable subsurface models can be reconstructed with a few frequencies and attenuation is easily implemented without computational overhead. In the frequency domain, wave modelling is a Helmholtz-type boundary-value problem which requires to solve a large and sparse system of linear equations per frequency with multiple right-hand sides (sources). This system can be solved with direct or iterative methods. While the former are suitable for FWI application on 3D dense OBC acquisitions covering spatial domains of moderate size, the later should be the approach of choice for sparse node acquisitions covering large domains (more than 50 millions of unknowns). Fast convergence of iterative solvers for Helmholtz problems remains however challenging due to the non definiteness of the Helmholtz operator, hence requiring efficient preconditioners. In this study, we use the Krylov subspace GMRES iterative solver combined with a multi-level domain-decomposition preconditioner. Discretization relies on continuous finite elements on unstructured tetrahedral meshes to comply with complex geometries and adapt the size of the elements to the local wavelength ($h$-adaptivity). We assess the convergence and the scalability of our method with the acoustic 3D SEG/EAGE Overthrust model up to a frequency of 20~Hz and discuss its efficiency for multi right-hand side processing.


title: Asymptotics of the stress concentration in high-contrast elastic composites

abstract: A long-standing area of materials science research has been the study of electrostatic, magnetic, and elastic fields in composite with densely packed inclusions whose material properties differ from that of the background. For a general elliptic system, when the coefficients are piecewise H\"{o}lder continuous and uniformly bounded, an $\varepsilon$-independent bound of the gradient was obtained by Li and Nirenberg \cite{ln}, where $\varepsilon$ represents the distance between the interfacial surfaces. However, in high-contrast composites, when $\varepsilon$ tends to zero, the stress always concentrates in the narrow regions. As a contrast to the uniform boundedness result of Li and Nirenberg, in order to investigate the role of $\varepsilon$ played in such kind of concentration phenomenon, in this paper we establish the blow-up asymptotic expressions of the gradients of solutions to the Lam\'{e} system with partially infinite coefficients in dimensions two and three. We discover the relationship between the blow-up rate of the stress and the relative convexity of adjacent surfaces, and find a family of blow-up factor matrices with respect to the boundary data. Therefore, this work completely solves the Babu\u{s}ka problem on blow-up analysis of stress concentration in high-contrast composite media. Moreover, as a byproduct of these local analysis, we establish an extended Flaherty-Keller formula on the global effective elastic property of a periodic composite with densely packed fibers, which is related to the "Vigdergauz microstructure" in the shape optimization of fibers.


title: Public Health Policy: COVID-19 Epidemic and SEIR Model with Asymptomatic Viral Carriers

abstract: We measure the effect of different public health regulations to the spread of COVID-19, based on a SEIRA model -- a SEIR model including asymptomatic transmissions. The cumulative confirmed cases and death show nonlinear positive relationship with the value of asymptomatic rate. Based on this model, we analyze the inhibit effects to COVID-19 of three types of public health policies, i.e. isolation of laboratory confirmed cases, general personal protection and quarantine (lock-down). The simulations conclude that the isolation display limited effects to the asymptomatic viral carriers. The general personal protection and quarantine perform similar effects when the their percentages of participants are same. When the total proportion of asymptomatic, mild symptomatic and neglected patients is 40%, only depends on isolation policy may lead to an additional 75% infections, compared with general personal protection or quarantine with an efficiency 80%. At end, we provide seven recommendations of public health intervention before and during an aerial transmitted epidemic (COVID-19).


title: (1, 2) and weak (1, 3) homotopies on knot projections

abstract: In this paper, we obtain the necessary and sufficient condition that two knot projections are related by a finite sequence of the first and second flat Reidemeister moves (Theorem 1). We also consider an equivalence relation that is called weak (1, 3) homotopy. This equivalence relation occurs by the first flat Reidemeister move and one of the third flat Reidemeister moves. We introduce a map sending weak (1, 3) homotopy classes to knot isotopy classes (Sec. 3). Using the map, we determine which knot projections are trivialized under weak (1, 3) homotopy (Corollary 3).


title: Random connection models in the thermodynamic regime: central limit theorems for add-one cost stabilizing functionals

abstract: The paper deals with a random connection model, a random graph whose vertices are given by a homogeneous Poisson point process on $\mathbb{R}^d$, and edges are independently drawn with probability depending on the locations of the two end points. We establish central limit theorems (CLT) for general functionals on this graph under minimal assumptions that are a combination of the weak stabilization for the-one cost and a $(2+\delta)$-moment condition. As a consequence, CLTs for isomorphic subgraph counts, isomorphic component counts, the number of connected components are then derived. In addition, CLTs for Betti numbers and the size of biggest component are also proved for the first time.


title: Critical analysis of two-dimensional classical XY model

abstract: We consider the two-dimensional classical XY model on a square lattice in the thermodynamic limit using tensor renormalization group and precisely determine the critical temperature corresponding to the Berezinskii-Kosterlitz-Thouless (BKT) phase transition to be 0.89290(5) which is an improvement compared to earlier studies using tensor network methods.


title: Hard and soft x-ray photoemission spectroscopy study of the new Kondo system SmO thin film

abstract: SmO thin film is a new Kondo system showing a resistivity upturn around 10 K and was theoretically proposed to have a topologically nontrivial band structure. We have performed hard x-ray and soft x-ray photoemission spectroscopy to elucidate the electronic structure of SmO. From the Sm 3$d$ core-level spectra, we have estimated the valence of Sm to be $\sim$2.96, proving that the Sm has a mixed valence. The valence-band photoemission spectra exhibit a clear Fermi edge originating from the Sm 5$d$-derived band. The present finding is consistent with the theory suggesting a possible topological state in SmO and show that rare-earth monoxides or their heterostructures can be a new playground for the interplay of strong electron correlation and spin-orbit coupling.


title: Learning from Aggregate Observations

abstract: We study the problem of learning from aggregate observations where supervision signals are given to sets of instances instead of individual instances, while the goal is still to predict labels of unseen individuals. A well-known example is multiple instance learning (MIL). In this paper, we extend MIL beyond binary classification to other problems such as multiclass classification and regression. We present a general probabilistic framework that accommodates a variety of aggregate observations, e.g., pairwise similarity/triplet comparison for classification and mean/difference/rank observation for regression. Simple maximum likelihood solutions can be applied to various differentiable models such as deep neural networks and gradient boosting machines. Moreover, we develop the concept of consistency up to an equivalence relation to characterize our estimator and show that it has nice convergence properties under mild assumptions. Experiments on three problem settings -- classification via triplet comparison and regression via mean/rank observation indicate the effectiveness of the proposed method.


title: The Haagerup property for twisted groupoid dynamical systems

abstract: We introduce the Haagerup property for twisted groupoid $C^*$-dynamical systems in terms of naturally defined positive-definite operator-valued multipliers. By developing a version of `the Haagerup trick' we prove that this property is equivalent to the Haagerup property of the reduced crossed product $C^*$-algebra with respect to the canonical conditional expectation $E$. This extends a theorem of Dong and Ruan for discrete group actions, and implies that a given Cartan inclusion of separable $C^*$-algebras has the Haagerup property if and only if the associated Weyl groupoid has the Haagerup property in the sense of Tu. We use the latter statement to prove that every separable $C^*$-algebra which has the Haagerup property with respect to some Cartan subalgebra satisfies the Universal Coefficient Theorem. This generalises a recent result of Barlak and Li on the UCT for nuclear Cartan pairs.


title: Relationship between covariance of Wigner functions and transformation noncontextuality

abstract: We investigate the relationship between two properties of quantum transformations often studied in popular subtheories of quantum theory: covariance of the Wigner representation of the theory and the existence of a transformation noncontextual ontological model of the theory. We consider subtheories of quantum theory specified by a set of states, measurements and transformations, defined specifying a group of unitaries, that map between states (and measurements) within the subtheory. We show that if there exists a Wigner representation of the subtheory which is covariant under the group of unitaries defining the set of transformations then the subtheory admits of a transformation noncontextual ontological model. We provide some concrete arguments to conjecture that the converse statement also holds provided that the underlying ontological model is the one given by the Wigner representation. In addition, we investigate the relationships of covariance and transformation noncontextuality with the existence of a quasiprobability distribution for the theory that represents the transformations as positivity preserving maps. We conclude that covariance implies transformation noncontextuality, which implies positivity preservation.


title: Enhancing RBF-FD Efficiency for Highly Non-Uniform Node Distributions via Adaptivity

abstract: Radial basis function generated finite-difference (RBF-FD) methods have recently gained popularity due to their flexibility with irregular node distributions. However, the convergence theories in the literature, when applied to nonuniform node distributions, require shrinking fill distance and do not take advantage of areas with high data density. Non-adaptive approach using same stencil size and degree of appended polynomial will have higher local accuracy at high density region, but has no effect on the overall order of convergence and could be a waste of computational power. This work proposes an adaptive RBF-FD method that utilizes the local data density to achieve a desirable order accuracy. By performing polynomial refinement and using adaptive stencil size based on data density, the adaptive RBF-FD method yields differentiation matrices with higher sparsity while achieving the same user-specified convergence order for nonuniform point distributions. This allows the method to better leverage regions with higher node density, maintaining both accuracy and efficiency compared to standard non-adaptive RBF-FD methods.


title: A2D2: Audi Autonomous Driving Dataset

abstract: Research in machine learning, mobile robotics, and autonomous driving is accelerated by the availability of high quality annotated data. To this end, we release the Audi Autonomous Driving Dataset (A2D2). Our dataset consists of simultaneously recorded images and 3D point clouds, together with 3D bounding boxes, semantic segmentation, instance segmentation, and data extracted from the automotive bus. Our sensor suite consists of six cameras and five LiDAR units, providing full 360 degree coverage. The recorded data is time synchronized and mutually registered. Annotations are for non-sequential frames: 41,277 frames with semantic segmentation image and point cloud labels, of which 12,497 frames also have 3D bounding box annotations for objects within the field of view of the front camera. In addition, we provide 392,556 sequential frames of unannotated sensor data for recordings in three cities in the south of Germany. These sequences contain several loops. Faces and vehicle number plates are blurred due to GDPR legislation and to preserve anonymity. A2D2 is made available under the CC BY-ND 4.0 license, permitting commercial use subject to the terms of the license. Data and further information are available at http://www.a2d2.audi.


title: Sequential Batch Learning in Finite-Action Linear Contextual Bandits

abstract: We study the sequential batch learning problem in linear contextual bandits with finite action sets, where the decision maker is constrained to split incoming individuals into (at most) a fixed number of batches and can only observe outcomes for the individuals within a batch at the batch's end. Compared to both standard online contextual bandits learning or offline policy learning in contexutal bandits, this sequential batch learning problem provides a finer-grained formulation of many personalized sequential decision making problems in practical applications, including medical treatment in clinical trials, product recommendation in e-commerce and adaptive experiment design in crowdsourcing. We study two settings of the problem: one where the contexts are arbitrarily generated and the other where the contexts are \textit{iid} drawn from some distribution. In each setting, we establish a regret lower bound and provide an algorithm, whose regret upper bound nearly matches the lower bound. As an important insight revealed therefrom, in the former setting, we show that the number of batches required to achieve the fully online performance is polynomial in the time horizon, while for the latter setting, a pure-exploitation algorithm with a judicious batch partition scheme achieves the fully online performance even when the number of batches is less than logarithmic in the time horizon. Together, our results provide a near-complete characterization of sequential decision making in linear contextual bandits when batch constraints are present.


title: Structural dynamics in thermal-treatment of amorphous indium-oxide films

abstract: Thermally-treating amorphous indium-oxide films is used in various basic studies as a means of tuning the system disorder. In this process the resistance of a given sample decreases while its amorphous structure and chemical composition is preserved. The main effect of the process is an increase in the system density which in turn leads to improved interatomic overlap which is easily detected as improved conductivity. A similar effect has been observed in studies of other amorphous systems that were subjected to pressure. In the current work we show that the Raman spectra of amorphous indium-oxide change in response to thermal-treatment in a similar way as in pressure experiments performed on other disordered and amorphous systems. We present a study of how thermal-treatment changes the system dynamics by monitoring the resistance versus time of indium-oxide films following various stages of thermal-treatment. The time dependence of the sample resistance fits the stretched exponential law with parameters that change systematically with further annealing. Implication of these results to slow dynamics phenomena that are governed by the Kohlrausch's law are discussed.


title: Long-range influence of manipulating disordered-insulators locally

abstract: Localization of wavefunctions is arguably the most familiar effect of disorder in quantum systems. It has been recently argued [[V. Khemani, R. Nandkishore, and S. L. Sondhi, Nature Physics, 11, 560 (2015)] that, contrary to naive expectation, manipulation of a localized-site in the disordered medium may produce a disturbance over a length-scale much larger than the localization-length $\xi$. Here we report on the observation of this nonlocal phenomenon in electronic transport experiment. Being a wave property, visibility of this effect hinges upon quantum-coherence, and its spatial-scale may be ultimately limited by the phase-coherent length of the disordered insulator. Evidence for quantum coherence in the Anderson-insulating phase may be obtained from magneto-resistance measurements which however are useful mainly in thin-films. The technique used in this work offers an empirical method to measure this fundamental aspect of Anderson-insulators even in relatively thick samples.


title: Ultra-wideband Concurrent Ranging

abstract: We propose a novel concurrent ranging technique for distance estimation with ultra-wideband (UWB) radios. Conventional schemes assume that the necessary packet exchanges occur in isolation, to avoid collisions. Concurrent ranging relies on the overlapping of replies from nearby responders to the same ranging request issued by an initiator node. As UWB transmissions rely on short pulses, the individual times of arrival can be discriminated by examining the channel impulse response (CIR) of the initiator transceiver. By ranging against N responders with a single, concurrent exchange, our technique drastically abates network overhead, enabling higher ranging frequency with lower latency and energy consumption w.r.t. conventional schemes. Concurrent ranging can be implemented with a strawman approach requiring minimal changes to standard schemes. Nevertheless, we empirically show that this limits the attainable accuracy, reliability, and therefore applicability. We identify the main challenges in realizing concurrent ranging without dedicated hardware and tackle them by contributing several techniques, used in synergy in our prototype based on the popular DW1000 transceiver. Our evaluation, with static targets and a mobile robot, confirms that concurrent ranging reliably achieves decimeter-level distance and position accuracy, comparable to conventional schemes but at a fraction of the network and energy cost.


title: The interacting Rice-Mele model: bulk and boundaries

abstract: We investigate the interacting, one-dimensional Rice-Mele model, a prototypical fermionic model of topological properties. To set the stage, we firstly compute the single-particle spectral function, the local density, and the boundary charge in the absence of interactions. The boundary charge is fully determined by bulk properties indicating a bulk-boundary correspondence. In a large parameter regime it agrees with the one obtained from an effective low-energy theory (arXiv:2004.00463). Secondly, we investigate the robustness of our results towards two-particle interactions. To resum the series of leading logarithms for small gaps, which dismantle plain perturbation theory in the interaction, we use an essentially analytical renormalization group approach. It is controlled for small interactions and can directly be applied to the microscopic lattice model. We benchmark the results against numerical density matrix renormalization group data. The main interaction effect in the bulk is a power-law renormalization of the gap with an interaction dependent exponent. The important characteristics of the boundary charge are unaltered and can be understood from the renormalized bulk properties, elevating the bulk-boundary correspondence to the interacting regime. This requires a consistent treatment not only of the low-energy gap renormalization but also of the high-energy band width one. In contrast to low-energy field theories our renormalization group approach also provides the latter. We show that the interaction spoils the relation between the bulk properties and the number of edge states, consistent with the observation that the Rice-Mele model with finite potential modulation does not reveal any zero-energy edge states.


title: On enhancing efficiency and accuracy of particle swarm optimization algorithms

abstract: The particle swarm optimization (PSO) algorithm has been recently introduced in the non--linear programming, becoming widely studied and used in a variety of applications. Starting from its original formulation, many variants for improvement and specialization of the PSO have been already proposed, but without any definitive result, thus research in this area is nowadays still rather active. This paper goes in this direction, by proposing some modifications to the basic PSO algorithm, aiming at enhancements in aspects that impact on the efficiency and accuracy of the optimization algorithm. In particular, variants of PSO based on fuzzy logics and Bayesian theory have been developed, which show better, or competitive, performances when compared to both the basic PSO formulation and a few other optimization algorithms taken from the literature.


title: Convergence Rate of a Message-passing Algorithm for Solving Linear Systems

abstract: This paper studies the convergence rate of a message-passing distributed algorithm for solving a large-scale linear system. This problem is generalised from the celebrated Gaussian Belief Propagation (BP) problem for statistical learning and distributed signal processing, and this message-passing algorithm is generalised from the well-celebrated Gaussian BP algorithm. Under the assumption of generalised diagonal dominance, we reveal, through painstaking derivations, several bounds on the convergence rate of the message-passing algorithm. In particular, we show clearly how the convergence rate of the algorithm can be explicitly bounded using the diagonal dominance properties of the system. When specialised to the Gaussian BP problem, our work also offers new theoretical insight into the behaviour of the BP algorithm because we use a purely linear algebraic approach for convergence analysis.


title: Universal Approximation on the Hypersphere

abstract: It is well known that any continuous probability density function on $\mathbb{R}^m$ can be approximated arbitrarily well by a finite mixture of normal distributions, provided that the number of mixture components is sufficiently large. The von-Mises-Fisher distribution, defined on the unit hypersphere $S^m$ in $\mathbb{R}^{m+1}$, has properties that are analogous to those of the multivariate normal on $\mathbb{R}^{m+1}$. We prove that any continuous probability density function on $S^m$ can be approximated to arbitrary degrees of accuracy by a finite mixture of von-Mises-Fisher distributions.


title: Replica analysis of overfitting in generalized linear models

abstract: Nearly all statistical inference methods were developed for the regime where the number $N$ of data samples is much larger than the data dimension $p$. Inference protocols such as maximum likelihood (ML) or maximum a posteriori probability (MAP) are unreliable if $p=O(N)$, due to overfitting. This limitation has for many disciplines with increasingly high-dimensional data become a serious bottleneck. We recently showed that in Cox regression for time-to-event data the overfitting errors are not just noise but take mostly the form of a bias, and how with the replica method from statistical physics once can model and predict this bias and the noise statistics. Here we extend our approach to arbitrary generalized linear regression models (GLM), with possibly correlated covariates. We analyse overfitting in ML/MAP inference without having to specify data types or regression models, relying only on the GLM form, and derive generic order parameter equations for the case of $L2$ priors. Second, we derive the probabilistic relationship between true and inferred regression coefficients in GLMs, and show that, for the relevant hyperparameter scaling and correlated covariates, the $L2$ regularization causes a predictable direction change of the coefficient vector. Our results, illustrated by application to linear, logistic, and Cox regression, enable one to correct ML and MAP inferences in GLMs systematically for overfitting bias, and thus extend their applicability into the hitherto forbidden regime $p=O(N)$.


title: Topology optimization for incremental elastoplasticity: a phase-field approach

abstract: We discuss a topology optimization problem for an elastoplastic medium. The distribution of material in a region is optimized with respect to a given target functional taking into account compliance. The incremental elastoplastic problem serves as state constraint. We prove that the topology optimization problem admits a solution. First-order optimality conditions are obtained by considering a regularized problem and passing to the limit.


title: Hadron resonance gas with van der Waals interactions

abstract: An overview of a hadron resonance gas (HRG) model that includes van der Waals interactions between hadrons is presented. Applications of the excluded volume HRG model to heavy-ion collision data and lattice QCD equation of state are discussed. A recently developed quantum van der Waals hadron resonance gas model is covered as well. Applications of this model in the context of the QCD critical point are elaborated.


title: Two-stage model and optimal SI-SNR for monaural multi-speaker speech separation in noisy environment

abstract: In daily listening environments, speech is always distorted by background noise, room reverberation and interference speakers. With the developing of deep learning approaches, much progress has been performed on monaural multi-speaker speech separation. Nevertheless, most studies in this area focus on a simple problem setup of laboratory environment, which background noises and room reverberations are not considered. In this paper, we propose a two-stage model based on conv-TasNet to deal with the notable effects of noises and interference speakers separately, where enhancement and separation are conducted sequentially using deep dilated temporal convolutional networks (TCN). In addition, we develop a new objective function named optimal scale-invariant signal-noise ratio (OSI-SNR), which are better than original SI-SNR at any circumstances. By jointly training the two-stage model with OSI-SNR, our algorithm outperforms one-stage separation baselines substantially.


title: WQT and DG-YOLO: towards domain generalization in underwater object detection

abstract: A General Underwater Object Detector (GUOD) should perform well on most of underwater circumstances. However, with limited underwater dataset, conventional object detection methods suffer from domain shift severely. This paper aims to build a GUOD with small underwater dataset with limited types of water quality. First, we propose a data augmentation method Water Quality Transfer (WQT) to increase domain diversity of the original small dataset. Second, for mining the semantic information from data generated by WQT, DG-YOLO is proposed, which consists of three parts: YOLOv3, DIM and IRM penalty. Finally, experiments on original and synthetic URPC2019 dataset prove that WQT+DG-YOLO achieves promising performance of domain generalization in underwater object detection.


title: Automated Diabetic Retinopathy Grading using Deep Convolutional Neural Network

abstract: Diabetic Retinopathy is a global health problem, influences 100 million individuals worldwide, and in the next few decades, these incidences are expected to reach epidemic proportions. Diabetic Retinopathy is a subtle eye disease that can cause sudden, irreversible vision loss. The early-stage Diabetic Retinopathy diagnosis can be challenging for human experts, considering the visual complexity of fundus photography retinal images. However, Early Stage detection of Diabetic Retinopathy can significantly alter the severe vision loss problem. The competence of computer-aided detection systems to accurately detect the Diabetic Retinopathy had popularized them among researchers. In this study, we have utilized a pre-trained DenseNet121 network with several modifications and trained on APTOS 2019 dataset. The proposed method outperformed other state-of-the-art networks in early-stage detection and achieved 96.51% accuracy in severity grading of Diabetic Retinopathy for multi-label classification and achieved 94.44% accuracy for single-class classification method. Moreover, the precision, recall, f1-score, and quadratic weighted kappa for our network was reported as 86%, 87%, 86%, and 91.96%, respectively. Our proposed architecture is simultaneously very simple, accurate, and efficient concerning computational time and space.


title: The Continuity Equation of the Gauduchon Metrics

abstract: We study the continuity equation of the Gauduchon metrics and establish its interval of maximal existence, which extends the continuity equation of the K\"ahler metrics introduced by La Nave \& Tian for and of the Hermitian metrics introduced by Sherman \& Weinkove. Our method is based on the solution to the Gauduchon conjecture by Sz\'ekelyhidi, Tosatti \& Weinkove.


title: Anomalous photon thermal Hall effect

abstract: We predict an anomalous thermal Hall effect (ATHE) mediated by photons in networks of Weyl semi-metals. Contrary to the photon thermal Hall effect in magneto-optical systems which requires the application of an external magnetic field the ATHE in a Weyl semi-metals network is an intrinsic property of these systems. Since the Weyl semi-metals can exhibit a strong nonreciprocal response in the infrared over a broad spectral range the magnitude of thermal Hall flux in these systems can be relatively large compared to the primary flux. This ATHE paves the way for a directional control of heat flux by localy tuning the magnitude of temperature field without changing the direction of temperature gradient.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.optics


title: Differentially Private AirComp Federated Learning with Power Adaptation Harnessing Receiver Noise

abstract: Over-the-air computation (AirComp)-based federated learning (FL) enables low-latency uploads and the aggregation of machine learning models by exploiting simultaneous co-channel transmission and the resultant waveform superposition. This study aims at realizing secure AirComp-based FL against various privacy attacks where malicious central servers infer clients' private data from aggregated global models. To this end, a differentially private AirComp-based FL is designed in this study, where the key idea is to harness receiver noise perturbation injected to aggregated global models inherently, thereby preventing the inference of clients' private data. However, the variance of the inherent receiver noise is often uncontrollable, which renders the process of injecting an appropriate noise perturbation to achieve a desired privacy level quite challenging. Hence, this study designs transmit power control across clients, wherein the received signal level is adjusted intentionally to control the noise perturbation levels effectively, thereby achieving the desired privacy level. It is observed that a higher privacy level requires lower transmit power, which indicates the tradeoff between the privacy level and signal-to-noise ratio (SNR). To understand this tradeoff more fully, the closed-form expressions of SNR (with respect to the privacy level) are derived, and the tradeoff is analytically demonstrated. The analytical results also demonstrate that among the configurable parameters, the number of participating clients is a key parameter that enhances the received SNR under the aforementioned tradeoff. The analytical results are validated through numerical evaluations.


title: Transformer based Grapheme-to-Phoneme Conversion

abstract: Attention mechanism is one of the most successful techniques in deep learning based Natural Language Processing (NLP). The transformer network architecture is completely based on attention mechanisms, and it outperforms sequence-to-sequence models in neural machine translation without recurrent and convolutional layers. Grapheme-to-phoneme (G2P) conversion is a task of converting letters (grapheme sequence) to their pronunciations (phoneme sequence). It plays a significant role in text-to-speech (TTS) and automatic speech recognition (ASR) systems. In this paper, we investigate the application of transformer architecture to G2P conversion and compare its performance with recurrent and convolutional neural network based approaches. Phoneme and word error rates are evaluated on the CMUDict dataset for US English and the NetTalk dataset. The results show that transformer based G2P outperforms the convolutional-based approach in terms of word error rate and our results significantly exceeded previous recurrent approaches (without attention) regarding word and phoneme error rates on both datasets. Furthermore, the size of the proposed model is much smaller than the size of the previous approaches.


title: Local control of improper ferroelectric domains in YMnO$_3$

abstract: Improper ferroelectrics are described by two order parameters: a primary one, driving a transition to long-range distortive, magnetic or otherwise non-electric order, and the electric polarization, which is induced by the primary order parameter as a secondary, complementary effect. Using low-temperature scanning probe microscopy, we show that improper ferroelectric domains in YMnO$_3$ can be locally switched by electric field poling. However, subsequent temperature changes restore the as-grown domain structure as determined by the primary lattice distortion. The backswitching is explained by uncompensated bound charges occuring at the newly written domain walls due to the lack of mobile screening charges at low temperature. Thus, the polarization of improper ferroelectrics is in many ways subject to the same electrostatics as in their proper counterparts, yet complemented by additional functionalities arising from the primary order parameter. Tailoring the complex interplay between primary order parameter, polarization, and electrostatics is therefore likely to result in novel functionalities specific to improper ferroelectrics.


title: Hierarchical and Modularly-Minimal Vertex Colorings

abstract: Cographs are exactly the hereditarily well-colored graphs, i.e., the graphs for which a greedy vertex coloring of every induced subgraph uses only the minimally necessary number of colors $\chi(G)$. We show that greedy colorings are a special case of the more general hierarchical vertex colorings, which recently were introduced in phylogenetic combinatorics. Replacing cotrees by modular decomposition trees generalizes the concept of hierarchical colorings to arbitrary graphs. We show that every graph has a modularly-minimal coloring $\sigma$ satisfying $|\sigma(M)|=\chi(M)$ for every strong module $M$ of $G$. This, in particular, shows that modularly-minimal colorings provide a useful device to design efficient coloring algorithms for certain hereditary graph classes. For cographs, the hierarchical colorings coincide with the modularly-minimal coloring. As a by-product, we obtain a simple linear-time algorithm to compute a modularly-minimal coloring of $P_4$-sparse graphs.


title: Stochastic batch size for adaptive regularization in deep network optimization

abstract: We propose a first-order stochastic optimization algorithm incorporating adaptive regularization applicable to machine learning problems in deep learning framework. The adaptive regularization is imposed by stochastic process in determining batch size for each model parameter at each optimization iteration. The stochastic batch size is determined by the update probability of each parameter following a distribution of gradient norms in consideration of their local and global properties in the neural network architecture where the range of gradient norms may vary within and across layers. We empirically demonstrate the effectiveness of our algorithm using an image classification task based on conventional network models applied to commonly used benchmark datasets. The quantitative evaluation indicates that our algorithm outperforms the state-of-the-art optimization algorithms in generalization while providing less sensitivity to the selection of batch size which often plays a critical role in optimization, thus achieving more robustness to the selection of regularity.


title: openACC. An open database of car-following experiments to study the properties of commercial ACC systems

abstract: Commercial Adaptive Cruise Control (ACC) systems are increasingly available as standard options in modern vehicles. At the same time, still little information is openly available on how these systems actually operate and how different is their behavior, depending on the vehicle manufacturer or model.T o reduce this gap, the present paper summarizes the main features of the openACC, an open-access database of different car-following experiments involving a total of 16 vehicles, 11 of which equipped with state-of-the-art commercial ACC systems. As more test campaigns will be carried out by the authors, OpenACC will evolve accordingly. The activity is performed within the framework of the openData policy of the European Commission Joint Research Centre with the objective to engage the whole scientific community towards a better understanding of the properties of ACC vehicles in view of anticipating their possible impacts on traffic flow and prevent possible problems connected to their widespread. A first preliminary analysis on the properties of the 11 ACC systems is conducted in order to showcase the different research topics that can be studied within this open science initiative.


title: Code Completion using Neural Attention and Byte Pair Encoding

abstract: In this paper, we aim to do code completion based on implementing a Neural Network from Li et. al.. Our contribution is that we use an encoding that is in-between character and word encoding called Byte Pair Encoding (BPE). We use this on the source code files treating them as natural text without first going through the abstract syntax tree (AST). We have implemented two models: an attention-enhanced LSTM and a pointer network, where the pointer network was originally introduced to solve out of vocabulary problems. We are interested to see if BPE can replace the need for the pointer network for code completion.


title: Model Reduction for the Kuramoto-Sakaguchi Model: The Importance of Non-entrained Rogue Oscillators

abstract: The Kuramoto-Sakaguchi model for coupled phase oscillators with phase-frustration is often studied in the thermodynamic limit of infinitely many oscillators. Here we extend a model reduction method based on collective coordinates to capture the collective dynamics of finite size Kuramoto-Sakaguchi models. We find that the inclusion of the effects of rogue oscillators is essential to obtain an accurate description, in contrast to the original Kuramoto model where we show that their effects can be ignored. We further introduce a more accurate ansatz function to describe the shape of synchronized oscillators. Our results from this extended collective coordinate approach reduce in the thermodynamic limit to the well-known mean-field consistency relations. For finite networks we show that our model reduction describes the collective behavior accurately, reproducing the order parameter, the mean frequency of the synchronized cluster, and the size of the cluster at given coupling strength, as well as the critical coupling strength for partial and for global synchronization.


title: Quantum repeater for continuous variable entanglement distribution

abstract: Quantum repeaters have been proposed as a way of extending the reach of quantum communication. First generation approaches use entanglement swapping to connect entangled links along a long distance channel. Recently, there have been proposals for first generation quantum repeaters for continuous variables. In this paper, we present an improved continuous variable repeater scheme using optimal Gaussian entanglement swapping. Our scheme uses the noiseless linear amplifier for entanglement distillation. We show that with the simplest configuration of the noiseless linear amplifier and under the assumption of good quantum memories and perfect sources and detectors, our scheme beats the direct transmission upper limit for shorter distances and can offer advantages over previous CV repeater schemes.


title: Scission configuration of $^{239}$U from yields and kinetic information of fission fragments

abstract: The simultaneous measurement of the isotopic fission-fragment yields and fission-fragment velocities of $^{239}$U has been performed for the first time. The $^{239}$U fissioning system was produced in one-neutron transfer reactions between a $^{238}$U beam at 5.88 MeV/nucleon and a $^{9}$Be target. The combination of inverse kinematics at low energy and the use of the VAMOS++ spectrometer at the GANIL facility allows the isotopic identification of the full fission-fragment distribution and their velocity in the reference frame of the fissioning system. The proton and neutron content of the fragments at scission, their total kinetic and total excitation energy, as well as the neutron multiplicity were determined. Information from the scission point configuration is obtained from these observables and the correlation between them. The role of the octupole-deformed proton and neutron shells in the fission-fragment production is discussed.


title: Anomalous diffusion in Davydov quantum molecular chain model

abstract: We discuss anomalous relaxation processes in Davydov one-dimensional chain molecule that consists of an exciton and an acoustic phonon field as a thermal reservoir in the chain. We derive a kinetic equation for the exciton using the complex spectral representation of the Liouville-von Neumann operator. Due to the one-dimensionality, the momentum space separates into infinite sets of disjoint irreducible subspaces dynamically independent of one another. Hence, momentum relaxation occurs only within each subspace toward the Maxwell distribution. We obtain a hydrodynamic mode with transport coefficients, a sound velocity and a diffusion coefficient, defined in each subspace. Moreover, because the sound velocity has momentum dependence, phase mixing affects the broadening of the spatial distribution of the exciton in addition to the diffusion process. Due to the phase mixing the increase rate of the mean-square displacement of the exciton increases linearly with time and diverges in the long-time limit.


title: Distributed Privacy Preserving Iterative Summation Protocols

abstract: In this paper, we study the problem of summation evaluation of secrets. The secrets are distributed over a network of nodes that form a ring graph. Privacy-preserving iterative protocols for computing the sum of the secrets are proposed, which are compatible with node join and leave situations. Theoretic bounds are derived regarding the utility and accuracy, and the proposed protocols are shown to comply with differential privacy requirements. Based on utility, accuracy and privacy, we also provide guidance on appropriate selections of random noise parameters. Additionally, a few numerical examples that demonstrate their effectiveness are provided.


title: Channel-Dependent Scheduling in Wireless Energy Transfer for Mobile Devices

abstract: Resonant Beam Charging (RBC) is the Wireless Power Transfer (WPT) technology, which can provide high-power, long-distance, mobile, and safe wireless charging for Internet of Things (IoT) devices. Supporting multiple IoT devices charging simultaneously is a significant feature of the RBC system. To optimize the multi-user charging performance, the transmitting power should be scheduled for charging all IoT devices simultaneously. In order to keep all IoT devices working as long as possible for fairness, we propose the First Access First Charge (FAFC) scheduling algorithm. Then, we formulate the scheduling parameters quantitatively for algorithm implementation. Finally, we analyze the performance of FAFC scheduling algorithm considering the impacts of the receiver number, the transmitting power and the charging time. Based on the analysis, we summarize the methods of improving the WPT performance for multiple IoT devices, which include limiting the receiver number, increasing the transmitting power, prolonging the charging time and improving the single-user's charging efficiency. The FAFC scheduling algorithm design and analysis provide a fair WPT solution for the multi-user RBC system.


title: Study of the transcendence of a family of generalized continued fractions

abstract: We study a family of generalized continued fractions, which are defined by a pair of substitution sequences in a finite alphabet. We prove that they are stammering sequences, in the sense of Adamczewski and Bugeaud. We also prove that this family consists of transcendental numbers which are not Liouvillian. We explore the partial quotients of their regular continued fraction expansions, arriving at no conclusion concerning their boundedness.


title: Global propagator for the massless Dirac operator and spectral asymptotics

abstract: We construct the propagator of the massless Dirac operator $W$ on a closed Riemannian 3-manifold as the sum of two invariantly defined oscillatory integrals, global in space and in time, with distinguished complex-valued phase functions. The two oscillatory integrals -- the positive and the negative propagators -- correspond to positive and negative eigenvalues of $W$, respectively. This enables us to provide a global invariant definition of the full symbols of the propagators (scalar matrix-functions on the cotangent bundle), a closed formula for the principal symbols and an algorithm for the explicit calculation of all their homogeneous components. Furthermore, we obtain small time expansions for principal and subprincipal symbols of the propagators in terms of geometric invariants. Lastly, we use our results to compute the third local Weyl coefficients in the asymptotic expansion of the eigenvalue counting functions of $W$.


title: Lenstool-HPC: A High Performance Computing based mass modelling tool for cluster-scale gravitational lenses

abstract: With the upcoming generation of telescopes, cluster scale strong gravitational lenses will act as an increasingly relevant probe of cosmology and dark matter. The better resolved data produced by current and future facilities requires faster and more efficient lens modeling software. Consequently, we present Lenstool-HPC, a strong gravitational lens modeling and map generation tool based on High Performance Computing (HPC) techniques and the renowned Lenstool software. We also showcase the HPC concepts needed for astronomers to increase computation speed through massively parallel execution on supercomputers. Lenstool-HPC was developed using lens modelling algorithms with high amounts of parallelism. Each algorithm was implemented as a highly optimised CPU, GPU and Hybrid CPU-GPU version. The software was deployed and tested on the Piz Daint cluster of the Swiss National Supercomputing Centre (CSCS). Lenstool-HPC perfectly parallel lens map generation and derivative computation achieves a factor 30 speed-up using only 1 GPUs compared to Lenstool. Lenstool-HPC hybrid Lens-model fit generation tested at Hubble Space Telescope precision is scalable up to 200 CPU-GPU nodes and is faster than Lenstool using only 4 CPU-GPU nodes.


title: Knowledge Elicitation using Deep Metric Learning and Psychometric Testing

abstract: Knowledge present in a domain is well expressed as relationships between corresponding concepts. For example, in zoology, animal species form complex hierarchies; in genomics, the different (parts of) molecules are organized in groups and subgroups based on their functions; plants, molecules, and astronomical objects all form complex taxonomies. Nevertheless, when applying supervised machine learning (ML) in such domains, we commonly reduce the complex and rich knowledge to a fixed set of labels, and induce a model shows good generalization performance with respect to these labels. The main reason for such a reductionist approach is the difficulty in eliciting the domain knowledge from the experts. Developing a label structure with sufficient fidelity and providing comprehensive multi-label annotation can be exceedingly labor-intensive in many real-world applications. In this paper, we provide a method for efficient hierarchical knowledge elicitation (HKE) from experts working with high-dimensional data such as images or videos. Our method is based on psychometric testing and active deep metric learning. The developed models embed the high-dimensional data in a metric space where distances are semantically meaningful, and the data can be organized in a hierarchical structure. We provide empirical evidence with a series of experiments on a synthetically generated dataset of simple shapes, and Cifar 10 and Fashion-MNIST benchmarks that our method is indeed successful in uncovering hierarchical structures.


title: A Linux Kernel Scheduler Extension for Multi-core Systems

abstract: The Linux kernel is mostly designed for multi-programed environments, but high-performance applications have other requirements. Such applications are run standalone, and usually rely on runtime systems to distribute the application's workload on worker threads, one per core. However, due to current OSes limitations, it is not feasible to track whether workers are actually running or blocked due to, for instance, a requested resource. For I/O intensive applications, this leads to a significant performance degradation given that the core of a blocked thread becomes idle until it is able to run again. In this paper, we present the proof-of-concept of a Linux kernel extension denoted User-Monitored Threads (UMT) which tackles this problem. Our extension allows a user-space process to be notified of when the selected threads become blocked or unblocked, making it possible for a runtime to schedule additional work on the idle core. We implemented the extension on the Linux Kernel 5.1 and adapted the Nanos6 runtime of the OmpSs-2 programming model to take advantage of it. The whole prototype was tested on two applications which, on the tested hardware and the appropriate conditions, reported speedups of almost 2x.