title: Efficient Processing of k-regret Minimization Queries with Theoretical Guarantees

abstract: Assisting end users to identify desired results from a large dataset is an important problem for multi-criteria decision making. To address this problem, top-k and skyline queries have been widely adopted, but they both have inherent drawbacks, i.e., the user either has to provide a specific utility function or faces many results. The k-regret minimization query is proposed, which integrates the merits of top-k and skyline queries. Due to the NP-hardness of the problem, the k-regret minimization query is time consuming and the greedy framework is widely adopted. However, formal theoretical analysis of the greedy approaches for the quality of the returned results is still lacking. In this paper, we first fill this gap by conducting a nontrivial theoretical analysis of the approximation ratio of the returned results. To speed up query processing, a sampling-based method, StocPreGreed,, is developed to reduce the evaluation cost. In addition, a theoretical analysis of the required sample size is conducted to bound the quality of the returned results. Finally, comprehensive experiments are conducted on both real and synthetic datasets to demonstrate the efficiency and effectiveness of the proposed methods.


title: MICADO: The Multi-Adaptive Optics Camera for Deep Observations

abstract: The Multi-adaptive optics Imaging CamerA for Deep Observations (MICADO) will image a field of view of nearly 1 arcminute at the diffraction limit of the Extremely Large Telescope (ELT), making use of the adaptive optics correction provided by single-conjugate adaptive optics (SCAO) and multi-conjugate adaptive optics (MCAO). Its simple and robust design will yield an unprecedented combination of sensitivity and resolution across the field. This article outlines the characteristics of the observing modes offered and illustrates each of them with an astrophysical application. Potential users can explore their own ideas using the data simulator ScopeSim.


title: Mathematical Theory of Computational Resolution Limit in Multi-dimensions

abstract: Resolving a linear combination of point sources from their band-limited Fourier data is a fundamental problem in imaging and signal processing. With the incomplete Fourier data and the inevitable noise in the measurement, there is a fundamental limit on the separation distance between point sources that can be resolved. This is the so-called resolution limit problem. Characterization of this resolution limit is still a long-standing puzzle despite the prevalent use of the classic Rayleigh limit. It is well-known that Rayleigh limit is heuristic and its drawbacks become prominent when dealing with data that is subjected to delicate processing, as is what modern computational imaging methods do. Therefore, more precise characterization of the resolution limit becomes increasingly necessary with the development of data processing methods. For this purpose, we developed a theory of "computational resolution limit" for both number detection and support recovery in one dimension in [arXiv:2003.02917[cs.IT], arXiv:1912.05430[eess.IV]]. In this paper, we extend the one-dimensional theory to multi-dimensions. More precisely, we define and quantitatively characterize the "computational resolution limit" for the number detection and support recovery problems in a general k-dimensional space. Our results indicate that there exists a phase transition phenomenon regarding to the super-resolution factor and the signal-to-noise ratio in each of the two recovery problems. Our main results are derived using a subspace projection strategy. Finally, to verify the theory, we proposed deterministic subspace projection based algorithms for the number detection and support recovery problems in dimension two and three. The numerical results confirm the phase transition phenomenon predicted by the theory.


title: Mass non-concentration at the nodal set and a sharp Wasserstein uncertainty principle

abstract: We prove $L^p$-mass concentration properties of Laplace eigenfunctions away from their nodal sets, extending a recent result in \cite{GM3} to all dimensions, and giving a slight refinement of a result in \cite{JN}. As a consequence, we are able to derive a sharp Wasserstein uncertainty principle that holds uniformly in the high frequency regime, proving a conjecture in \cite{St1}.


title: Adiabatic Duality: Duality of cosmological models with varying slow-roll parameter and sound speed

abstract: There have been thousands of cosmological models for our early universe proposed in the literature, and many of them claimed to be able to give rise to scale-invariant power spectrum as was favored by the observational data. It is thus interesting to think about whether there are some relations among them, e.g., the duality relation. In this paper, we investigate duality relations between cosmological models in framework of general relativity (GR) , not only with varying slow-roll parameter $\epsilon$, but also with sound speed $c_s$, which can then be understood as "adiabatic duality". Several duality relationships are formulated analytically and verified numerically. We show that models with varying $\epsilon$ and constant $c_s$ can be dual in scalar spectral index, but not tensor one. On the other hand, allowing both $\epsilon$ and $c_s$ to vary can make models dual in both scalar and tensor spectral indices.


title: Thermal impacts on the properties of nuclear matter and young neutron star

abstract: We present a methodical study of the thermal and nuclear properties for the hot nuclear matter using relativistic-mean field theory. We examine the effects of temperature on the binding energy, pressure, thermal index, symmetry energy, and its derivative for the symmetric nuclear matter using temperature-dependent relativistic mean-field formalism for the well-known G2$^{*}$ and recently developed IOPB-I parameter sets. The critical temperature for the liquid-gas phase transition in an asymmetric nuclear matter system has also been calculated and collated with the experimentally available data. We investigate the approach of the thermal index as a function of nucleon density in the wake of relativistic and non-relativistic formalism. The computation of neutrino emissivity through the direct Urca process for the supernovae remnants has also been performed, which manifests some exciting results about the thermal stabilization and evolution of the newly born proto-neutron star. The central temperature and the maximum mass of the proto-neutron star have also been calculated for different entropy values.


title: Optimization for Arbitrary-Oriented Object Detection via Representation Invariance Loss

abstract: Arbitrary-oriented objects exist widely in natural scenes, and thus the oriented object detection has received extensive attention in recent years. The mainstream rotation detectors use oriented bounding boxes (OBB) or quadrilateral bounding boxes (QBB) to represent the rotating objects. However, these methods suffer from the representation ambiguity for oriented object definition, which leads to suboptimal regression optimization and the inconsistency between the loss metric and the localization accuracy of the predictions. In this paper, we propose a Representation Invariance Loss (RIL) to optimize the bounding box regression for the rotating objects. Specifically, RIL treats multiple representations of an oriented object as multiple equivalent local minima, and hence transforms bounding box regression into an adaptive matching process with these local minima. Then, the Hungarian matching algorithm is adopted to obtain the optimal regression strategy. We also propose a normalized rotation loss to alleviate the weak correlation between different variables and their unbalanced loss contribution in OBB representation. Extensive experiments on remote sensing datasets and scene text datasets show that our method achieves consistent and substantial improvement. The source code and trained models are available at https://github.com/ming71/RIDet.


title: Seed banks can help to maintain the diversity of interacting phytoplankton species

abstract: Seed formation is part of the reproductive cycle, leading to the accumulation of resistance stages that can withstand harsh environmental conditions for long periods of time. At the community level, multiple species with such long-lasting life stages can be more likely to coexist. While the implications of this process for biodiversity have been studied in terrestrial plants, seed banks are usually neglected in phytoplankton multispecies dynamic models, in spite of widespread empirical evidence for such seed banks. In this study, we build a metacommunity model of interacting phytoplankton species, including a resting stage supplying the seed bank. The model is parameterized with empirically-driven growth rate functions and field-based interaction estimates, which include both facilitative and competitive interactions. Exchanges between compartments (coastal pelagic cells, coastal resting cells on the seabed, and open ocean pelagic cells) are controlled by hydrodynamical parameters to which the sensitivity of the model is assessed. We consider two models, i.e., with and without a saturating effect of the interactions on the growth rates. Our results are consistent between models, and show that a seed bank allows to maintain all species in the community over 30 years. Indeed, a fraction of the species are vulnerable to extinction at specific times within the year, but this process is buffered by their survival in their resting stage. We thus highlight the potential role of the seed bank in the recurrent re-invasion of the coastal community, and of coastal environments in re-seeding oceanic regions. Moreover, the seed bank enables populations to tolerate stronger interactions within the community as well as more severe changes to the environment, such as those predicted in a climate change context. Our study therefore shows how resting stages may help phytoplanktonic diversity maintenance.


title: Birational automorphism groups and the movable cone theorem for Calabi-Yau complete intersections of products of projective spaces

abstract: For a Calabi-Yau manifold $X$, the Kawamata - Morrison movable cone conjecture connects the convex geometry of the movable cone $\overline{\mathrm{Mov}}(X)$ to the birational automorphism group. Using the theory of Coxeter groups, Cantat and Oguiso proved that the conjecture is true for general varieties of Wehler type, and they described explicitly $\mathrm{Bir}(X)$. We generalize their argument to prove the conjecture and describe $\mathrm{Bir}(X)$ for general complete intersections of ample divisors in arbitrary products of projective spaces. Then, under a certain condition, we give a description of the boundary of $\overline{\mathrm{Mov}}(X)$ and an application connected to the numerical dimension of divisors.


title: A novel approach to identify resonant MHD wave modes in solar pores and sunspot umbrae: $B-\omega$ analysis

abstract: The umbral regions of sunspots and pores in the solar photosphere are generally dominated by $3$~mHz oscillations, which are due to $p$-modes penetrating the magnetic region. In these locations, wave power is also significantly reduced with respect to the quiet Sun. However, here we study a pore where the power of the oscillations in the umbra is not only comparable, or even larger than that of the quiet Sun, but the main dominant frequency is not $3$~mHz as expected, but instead $5$~mHz. By combining Doppler velocities and spectropolarimetry and analysing the relationship between magnetic field strength and frequency, the resultant $B-\omega$ diagram reveals distinct ridges which are remarkably clear signatures of resonant MHD oscillations confined within the pore umbra. In addition to velocity oscillations, we demonstrate that these modes are also accompanied by magnetic oscillations, as predicted from MHD theory. The novel technique of $B-\omega$ analysis, proposed in this Letter, opens an exciting new avenue for identifying MHD wave modes in the umbral regions of both pores and sunspots.


title: Accurate measurement of uncorrelated energy spread in electron beam

abstract: We present measurements of slice energy spread at the injector section of the European X-Ray Free Electron Laser for an electron bunch with charge of 250 pC. Two methods considered in the paper are based on measurements at the dispersive section after a transverse deflecting structure (TDS). The first approach uses measurements at different beam energies. We show that with a proper scaling of the TDS voltage with the beam energy the rms error of the measurement is less than 0.3 keV for the energy spread of 6 keV. In the second approach we demonstrate that keeping the beam energy constant but adjusting only the optics we are able to simplify the measurement complexity and to reduce the rms error below 0.1 keV. The accuracy of the measurement is confirmed by numerical modelling including beam transport effects and collective beam dynamics of the electron beam. The slice energy spread measured at the European XFEL for the beam charge of 250 pC is nearly 3 times lower as the one reported recently at SwissFEL for the same cathode material and the beam charge of 200 pC.


title: iRotate: Active Visual SLAM for Omnidirectional Robots

abstract: In this paper, we present an active visual SLAM approach for omnidirectional robots. The goal is to generate control commands that allow such a robot to simultaneously localize itself and map an unknown environment while maximizing the amount of information gained and consuming as low energy as possible. Leveraging the robot's independent translation and rotation control, we introduce a multi-layered approach for active V-SLAM. The top layer decides on informative goal locations and generates highly informative paths to them. The second and third layers actively re-plan and execute the path, exploiting the continuously updated map and local features information. Moreover, we introduce two utility formulations to account for the presence of obstacles in the field of view and the robot's location. Through rigorous simulations, real robot experiments, and comparisons with state-of-the-art methods, we demonstrate that our approach achieves similar coverage results with lesser overall map entropy. This is obtained while keeping the traversed distance up to 39% shorter than the other methods and without increasing the wheels' total rotation amount. Code and implementation details are provided as open-source, and all the generated data is available on-line for consultation.


title: A Batch Normalization Classifier for Domain Adaptation

abstract: Adapting a model to perform well on unforeseen data outside its training set is a common problem that continues to motivate new approaches. We demonstrate that application of batch normalization in the output layer, prior to softmax activation, results in improved generalization across visual data domains in a refined ResNet model. The approach adds negligible computational complexity yet outperforms many domain adaptation methods that explicitly learn to align data domains. We benchmark this technique on the Office-Home dataset and show that batch normalization is competitive with other leading methods. We show that this method is not sensitive to presence of source data during adaptation and further present the impact on trained tensor distributions tends toward sparsity. Code is available at https://github.com/matthewbehrend/BNC


title: Complementary Evidence Identification in Open-Domain Question Answering

abstract: This paper proposes a new problem of complementary evidence identification for open-domain question answering (QA). The problem aims to efficiently find a small set of passages that covers full evidence from multiple aspects as to answer a complex question. To this end, we proposes a method that learns vector representations of passages and models the sufficiency and diversity within the selected set, in addition to the relevance between the question and passages. Our experiments demonstrate that our method considers the dependence within the supporting evidence and significantly improves the accuracy of complementary evidence selection in QA domain.


title: Geometrical properties of the interaction between oblique incoming coronal waves and coronal holes

abstract: Observations of coronal waves (CWs) interacting with coronal holes (CHs) show the formation of typical wave-like features, such as reflected, refracted and transmitted waves (collectively, secondary waves). In accordance with these observations, numerical evidence for the wave characteristics of CWs is given by simulations which demonstrate effects of deflection and reflection when a CW interacts with regions exhibiting a sudden density drop, such as CHs. However, secondary waves are usually weak in their signal and simulations are limited in the way the according idealisations have to be chosen. Hence, several properties of the secondary waves during a CW-CH interaction are unclear or ambiguous and might lead to misinterpretations. In this study we follow a theoretical approach and focus in particular on the geometrical properties of secondary waves caused by the interaction between oblique incoming CWs and CHs. Based on a linear theory, we derive analytical expressions for reflection and transmission coefficients, which tell us how strongly the amplitudes of the secondary waves increase and decrease with respect to the incoming wave, respectively. Additionally, we provide analytical terms for crucial incidence angles that are capable of giving information about the energy flux, the phase and the reflection properties of the secondary waves. These novel expressions provide a supplementary tool for estimating CW properties in a fast and straightforward way and, therefore, might have relevant consequences for a possible new interpretation of already studied CW-CH interaction events and the clarification of ambiguous observational data.


title: AET-EFN: A Versatile Design for Static and Dynamic Event-Based Vision

abstract: The neuromorphic event cameras, which capture the optical changes of a scene, have drawn increasing attention due to their high speed and low power consumption. However, the event data are noisy, sparse, and nonuniform in the spatial-temporal domain with an extremely high temporal resolution, making it challenging to design backend algorithms for event-based vision. Existing methods encode events into point-cloud-based or voxel-based representations, but suffer from noise and/or information loss. Additionally, there is little research that systematically studies how to handle static and dynamic scenes with one universal design for event-based vision. This work proposes the Aligned Event Tensor (AET) as a novel event data representation, and a neat framework called Event Frame Net (EFN), which enables our model for event-based vision under static and dynamic scenes. The proposed AET and EFN are evaluated on various datasets, and proved to surpass existing state-of-the-art methods by large margins. Our method is also efficient and achieves the fastest inference speed among others.


title: Prospects for measuring dark matter microphysics with observations of dwarf spheroidal galaxies

abstract: Dark matter annihilation in dwarf spheroidal (dSph) galaxies near the Milky Way has the potential to produce a detectable signature in gamma-rays. The amplitude of this signal depends on the dark matter density in a dSph, the dark matter particle mass, the number of photons produced in an annihilation, and the possibly velocity-dependent dark matter annihilation cross section. We argue that if the amplitude of the annihilation signal from multiple dSphs can be measured, it is possible to determine the velocity-dependence of the annihilation cross section. However, we show that doing so will require improved constraints on the dSph density profiles, including control of possible sources of systematic uncertainty. Making reasonable assumptions about future improvements, we make forecasts for the ability of current and future experiments -- including Fermi, CTA and AMEGO -- to constrain the dark matter annihilation velocity dependence.


title: Prototypical Representation Learning for Relation Extraction

abstract: Recognizing relations between entities is a pivotal task of relational learning. Learning relation representations from distantly-labeled datasets is difficult because of the abundant label noise and complicated expressions in human language. This paper aims to learn predictive, interpretable, and robust relation representations from distantly-labeled data that are effective in different settings, including supervised, distantly supervised, and few-shot learning. Instead of solely relying on the supervision from noisy labels, we propose to learn prototypes for each relation from contextual information to best explore the intrinsic semantics of relations. Prototypes are representations in the feature space abstracting the essential semantics of relations between entities in sentences. We learn prototypes based on objectives with clear geometric interpretation, where the prototypes are unit vectors uniformly dispersed in a unit ball, and statement embeddings are centered at the end of their corresponding prototype vectors on the surface of the ball. This approach allows us to learn meaningful, interpretable prototypes for the final classification. Results on several relation learning tasks show that our model significantly outperforms the previous state-of-the-art models. We further demonstrate the robustness of the encoder and the interpretability of prototypes with extensive experiments.


title: D3p -- A Python Package for Differentially-Private Probabilistic Programming

abstract: We present d3p, a software package designed to help fielding runtime efficient widely-applicable Bayesian inference under differential privacy guarantees. d3p achieves general applicability to a wide range of probabilistic modelling problems by implementing the differentially private variational inference algorithm, allowing users to fit any parametric probabilistic model with a differentiable density function. d3p adopts the probabilistic programming paradigm as a powerful way for the user to flexibly define such models. We demonstrate the use of our software on a hierarchical logistic regression example, showing the expressiveness of the modelling approach as well as the ease of running the parameter inference. We also perform an empirical evaluation of the runtime of the private inference on a complex model and find a $\sim$10 fold speed-up compared to an implementation using TensorFlow Privacy.


title: Gauging diffraction patterns: field of view and bandwidth estimation in lensless holography

abstract: The purpose of this work is to provide theoretically grounded assessment on both the field-of-view and the bandwidth of a lensless holographic setup. Indeed, while previous works have presented results with super-resolution and field-of-view extrapolation, there is no well established rules to determine them. We show that the theoretical field of view can be hugely large with a spatial-frequency bandwidth only limited by the wavelength leading to an unthinkable number of degrees of freedom. To keep a realistic field of view and bandwidth, we propose several practical bounds based on few setup properties: namely the noise level and the spatio-temporal coherence of the source.


title: A new candidate pulsating ULX in NGC 7793

abstract: We report here the discovery of NGC 7793 ULX-4, a new transient ultraluminous X-ray source (ULX) in NGC 7793, a spiral galaxy already well known for harbouring several ULXs. This new source underwent an outburst in 2012, when it was detected by \textit{XMM-Newton} and the \textit{Swift} X-ray telescope. The outburst reached a peak luminosity of 3.4$\times 10^{39}$ erg\ s$^{-1}$ and lasted for about 8 months, after which the source went below a luminosity of $10^{37}$ erg\ s$^{-1}$; previous \textit{Chandra} observations constrain the low-state luminosity below $\sim$ 2$\times 10^{36}$ erg\ s$^{-1}$, implying a variability of at least a factor 1000. We propose four possible optical counterparts, found in archival HST observations of the galaxy. A pulsation in the \textit{XMM-Newton} signal was found at 2.52 Hz, with a significance of $\sim3.4\,\sigma$, and an associated spin-up of $\dot{f} = 3.5\times10^{-8}$ Hz.s$^{-1}$. NGC 7793 is therefore the first galaxy to host more than one pulsating ULX.


title: Evaluating glioma growth predictions as a forward ranking problem

abstract: The problem of tumor growth prediction is challenging, but promising results have been achieved with both model-driven and statistical methods. In this work, we present a framework for the evaluation of growth predictions that focuses on the spatial infiltration patterns, and specifically evaluating a prediction of future growth. We propose to frame the problem as a ranking problem rather than a segmentation problem. Using the average precision as a metric, we can evaluate the results with segmentations while using the full spatiotemporal prediction. Furthermore, by separating the model goodness-of-fit from future predictive performance, we show that in some cases, a better fit of model parameters does not guarantee a better the predictive power.


title: Polarization Guided Specular Reflection Separation

abstract: Since specular reflection often exists in the real captured images and causes deviation between the recorded color and intrinsic color, specular reflection separation can bring advantages to multiple applications that require consistent object surface appearance. However, due to the color of an object is significantly influenced by the color of the illumination, the existing researches still suffer from the near-duplicate challenge, that is, the separation becomes unstable when the illumination color is close to the surface color. In this paper, we derive a polarization guided model to incorporate the polarization information into a designed iteration optimization separation strategy to separate the specular reflection. Based on the analysis of polarization, we propose a polarization guided model to generate a polarization chromaticity image, which is able to reveal the geometrical profile of the input image in complex scenarios, such as diversity of illumination. The polarization chromaticity image can accurately cluster the pixels with similar diffuse color. We further use the specular separation of all these clusters as an implicit prior to ensure that the diffuse components will not be mistakenly separated as the specular components. With the polarization guided model, we reformulate the specular reflection separation into a unified optimization function which can be solved by the ADMM strategy. The specular reflection will be detected and separated jointly by RGB and polarimetric information. Both qualitative and quantitative experimental results have shown that our method can faithfully separate the specular reflection, especially in some challenging scenarios.


title: Sampling constants in generalized Fock spaces

abstract: We prove several results related to a Logvinenko-Sereda type theorem on dominating sets for generalized doubling Fock spaces. In particular, we give a precise polynomial dependence of the sampling constant on the relative density parameter $\gamma$ of the dominating set. Our method is an adaptation of that used in \cite{HKO} for the Bergman spaces and is based on a Remez-type inequality and a covering lemma related to doubling measures.


title: Divergent coindex sequence for dynamical systems

abstract: When a finite group freely acts on a topological space, we can define its index and coindex. They roughly measure the size of the given action. We explore the interaction between this index theory and topological dynamics. Given a fixed-point free dynamical system, the set of $p$-periodic points admits a natural free action of $\mathbb{Z}/p\mathbb{Z}$ for each prime number $p$. We are interested in the growth of its index and coindex as $p\to \infty$. Our main result shows that there exists a fixed-point free dynamical system having the divergent coindex sequence. This solves a problem posed by [TTY20].


title: On Gardner's conjecture

abstract: Gardner conjectured that if two bounded measurable sets $A,B \subset \mathbb{R}^n$ are equidecomposable by a set of isometries $\Gamma$ generating an amenable group then $A$ and $B$ admit a measurable equidecomposition by all isometries. Cie\'sla and Sabok asked if there is a measurable equidecomposition using isometries only in the group generated by $\Gamma$. We answer this question negatively.


title: Approximate observability and back and forth observer of a PDE model of crystallisation process

abstract: In this paper, we are interested in the estimation of Particle Size Distributions (PSDs) during a batch crystallization process in which particles of two different shapes coexist and evolve simultaneously. The PSDs are estimated thanks to a measurement of an apparent Chord Length Distribution (CLD), a measure that we model for crystals of spheroidal shape. Our main result is to prove the approximate observability of the infinite-dimensional system in any positive time. Under this observability condition, we are able to apply a Back and Forth Nudging (BFN) algorithm to reconstruct the PSD.


title: Communication Technologies for Smart Grid: A Comprehensive Survey

abstract: With the ongoing trends in the energy sector such as vehicular electrification and renewable energy, smart grid is clearly playing a more and more important role in the electric power system industry. One essential feature of the smart grid is the information flow over the high-speed, reliable and secure data communication network in order to manage the complex power systems effectively and intelligently. Smart grids utilize bidirectional communication to function where traditional power grids mainly only use one-way communication. The communication requirements and suitable technique differ depending on the specific environment and scenario. In this paper, we provide a comprehensive and up-to-date survey on the communication technologies used in the smart grid, including the communication requirements, physical layer technologies, network architectures, and research challenges. This survey aims to help the readers identify the potential research problems in the continued research on the topic of smart grid communications.


title: Intra-Inter Camera Similarity for Unsupervised Person Re-Identification

abstract: Most of unsupervised person Re-Identification (Re-ID) works produce pseudo-labels by measuring the feature similarity without considering the distribution discrepancy among cameras, leading to degraded accuracy in label computation across cameras. This paper targets to address this challenge by studying a novel intra-inter camera similarity for pseudo-label generation. We decompose the sample similarity computation into two stage, i.e., the intra-camera and inter-camera computations, respectively. The intra-camera computation directly leverages the CNN features for similarity computation within each camera. Pseudo-labels generated on different cameras train the re-id model in a multi-branch network. The second stage considers the classification scores of each sample on different cameras as a new feature vector. This new feature effectively alleviates the distribution discrepancy among cameras and generates more reliable pseudo-labels. We hence train our re-id model in two stages with intra-camera and inter-camera pseudo-labels, respectively. This simple intra-inter camera similarity produces surprisingly good performance on multiple datasets, e.g., achieves rank-1 accuracy of 89.5% on the Market1501 dataset, outperforming the recent unsupervised works by 9+%, and is comparable with the latest transfer learning works that leverage extra annotations.


title: A RNNs-based Algorithm for Decentralized-partial-consensus Constrained Optimization

abstract: This technical note proposes the decentralized-partial-consensus optimization with inequality constraints, and a continuous-time algorithm based on multiple interconnected recurrent neural networks (RNNs) is derived to solve the obtained optimization problems. First, the partial-consensus matrix originating from Laplacian matrix is constructed to tackle the partial-consensus constraints. In addition, using the non-smooth analysis and Lyapunov-based technique, the convergence property about the designed algorithm is further guaranteed. Finally, the effectiveness of the obtained results is shown while several examples are presented.


title: NRQCD analysis of charmonium production with pion and proton beams at fixed-target energies

abstract: We present an analysis of hadroproduction of $J/\psi$ and $\psi(2S)$ at fixed-target energies in the framework of non-relativistic QCD (NRQCD). Using both pion- and proton-induced data, a new determination of the color-octet long-distance matrix elements (LDMEs) is obtained. Compared with previous results, the contributions from the $q \bar{q}$ and color-octet processes are significantly enhanced, especially at lower energies. A good agreement between the pion-induced $J/\psi$ production data and NRQCD calculations using the newly obtained LDMEs is achieved. We find that the pion-induced charmonium production data are sensitive to the gluon density of pions, and favor pion PDFs with relatively large gluon contents at large $x$.


title: Re-energizing Domain Discriminator with Sample Relabeling for Adversarial Domain Adaptation

abstract: Many unsupervised domain adaptation (UDA) methods exploit domain adversarial training to align the features to reduce domain gap, where a feature extractor is trained to fool a domain discriminator in order to have aligned feature distributions. The discrimination capability of the domain classifier w.r.t the increasingly aligned feature distributions deteriorates as training goes on, thus cannot effectively further drive the training of feature extractor. In this work, we propose an efficient optimization strategy named Re-enforceable Adversarial Domain Adaptation (RADA) which aims to re-energize the domain discriminator during the training by using dynamic domain labels. Particularly, we relabel the well aligned target domain samples as source domain samples on the fly. Such relabeling makes the less separable distributions more separable, and thus leads to a more powerful domain classifier w.r.t. the new data distributions, which in turn further drives feature alignment. Extensive experiments on multiple UDA benchmarks demonstrate the effectiveness and superiority of our RADA.


title: Torsion in the space of commuting elements in a Lie group

abstract: Let $G$ be a compact connected Lie group, and let $\mathrm{Hom}(\mathbb{Z}^m,G)$ be the space of pairwise commuting $m$-tuples in $G$. We study the problem of which primes $p$ $\mathrm{Hom}(\mathbb{Z}^m,G)_1$, the connected component of $\mathrm{Hom}(\mathbb{Z}^m,G)$ containing the element $(1,\ldots,1)$, has $p$-torsion in homology. We will prove that $\mathrm{Hom}(\mathbb{Z}^m,G)_1$ for $m\ge 2$ has $p$-torsion in homology if and only if $p$ divides the order of the Weyl group of $G$ for $G=SU(n)$ and some exceptional groups. We will also compute the top homology of $\mathrm{Hom}(\mathbb{Z}^m,G)_1$ and show that $\mathrm{Hom}(\mathbb{Z}^m,G)_1$ always has 2-torsion in homology whenever $G$ is simply-connected and simple. Our computation is based on a new homotopy decomposition of $\mathrm{Hom}(\mathbb{Z}^m,G)_1$, which is of independent interest and enables us to connect torsion in homology to the combinatorics of the Weyl group.


title: Thermodynamically consistent model for poroelastic rocks towards tectonic and volcanic processes and earthquakes

abstract: A general-purpose model combining concepts from rational continuum mechanics, fracture and damage mechanics, plasticity, and poromechanics is devised in Eulerian coordinates, involving objective time derivatives. The model complies with mass, momentum, and energy conservation as well as entropy inequality and objectivity. It is devised to cover many diverse phenomena, specifically rupture of existing lithospheric faults, tectonic earthquakes, generation and propagation of seismic waves, birth of new tectonic faults, or volcanic activity, aseismic creep, folding of rocks, aging of rocks, long-distance saturated water transport and flow in poroelastic rocks, melting of rocks and formation of magma chambers, or solidification of magma.


title: OnionNet-2: A Convolutional Neural Network Model for Predicting Protein-Ligand Binding Affinity based on Residue-Atom Contacting Shells

abstract: One key task in virtual screening is to accurately predict the binding affinity ($\triangle$$G$) of protein-ligand complexes. Recently, deep learning (DL) has significantly increased the predicting accuracy of scoring functions due to the extraordinary ability of DL to extract useful features from raw data. Nevertheless, more efforts still need to be paid in many aspects, for the aim of increasing prediction accuracy and decreasing computational cost. In this study, we proposed a simple scoring function (called OnionNet-2) based on convolutional neural network to predict $\triangle$$G$. The protein-ligand interactions are characterized by the number of contacts between protein residues and ligand atoms in multiple distance shells. Compared to published models, the efficacy of OnionNet-2 is demonstrated to be the best for two widely used datasets CASF-2016 and CASF-2013 benchmarks. The OnionNet-2 model was further verified by non-experimental decoy structures from docking program and the CSAR NRC-HiQ data set (a high-quality data set provided by CSAR), which showed great success. Thus, our study provides a simple but efficient scoring function for predicting protein-ligand binding free energy.


title: New constructions of MDS self-dual and self-orthogonal codes via GRS codes

abstract: Recently, the construction of new MDS Euclidean self-dual codes has been widely investigated. In this paper, for square q, we utilize generalized Reed-Solomon (GRS) codes and their extended codes to provide four generic families of q-ary MDS Euclidean self-dual codes. In particular, for large square q, our constructions take up a proportion of generally more than 34% in all the possible lengths of q-ary MDS Euclidean self-dual codes, which is larger than the previous results. Moreover, two new families of MDS Euclidean self-orthogonal codes and two new families of MDS Euclidean almost self-dual codes are given similarly.


title: Gaussian graphical modeling for spectrometric data analysis

abstract: Motivated by the analysis of spectrometric data, we introduce a Gaussian graphical model for learning the dependence structure among frequency bands of the infrared absorbance spectrum. The spectra are modeled as continuous functional data through a B-spline basis expansion and a Gaussian graphical model is assumed as a prior specification for the smoothing coefficients to induce sparsity in their precision matrix. Bayesian inference is carried out to simultaneously smooth the curves and to estimate the conditional independence structure between portions of the functional domain. The proposed model is applied to the analysis of infrared absorbance spectra of strawberry purees.


title: Dynamics of a few vortices in an ideal fluid and in a Bose-Einstein condensate

abstract: Completely Liouville integrable Hamiltonian system with two degrees of freedom is considered. This Hamiltonian system describes the dynamics of two vortex filaments in a Bose-Einstein condensate enclosed in a cylindrical trap and dynamics of two vortices in the ideal fluid contained in a domain with the form of a circular cylinder, generatrix of which is parallel to vortices. An explicit reduction to a system with one degree of freedom for the case of arbitrary signs of the vortex intensities is derived from the original system under consideration. Along with the fact that in the case of two vortices with intensities of opposite signs, a bifurcation diagram was obtained for a generalized two-parameter integrable family, similar to that obtained earlier for the case of a Bose-Einstein condensate, a new bifurcation diagram was found that had not been encountered before. Various types of vortex dynamics corresponding to points inside chambers of bifurcation diagrams are presented.


title: Checking App Behavior Against App Descriptions: What If There are No App Descriptions?

abstract: Classifying mobile apps based on their description is beneficial for several purposes. However, many app descriptions do not reflect app functionalities, whether accidentally or on purpose. Most importantly, these app classification methods do not work if the app description is unavailable. This paper investigates a Reverse Engineering-based Approach to Classify mobile apps using The data that exists in the app, called REACT. To validate the proposed REACT method, we use a large set of Android apps (24,652 apps in total). We also show REACTs' extendibility for malware/anomaly detection and prove its reliability and scalability. However, our analysis shows some limitations in REACT procedure and implementation, especially for similar feature based app grouping. We discuss the root cause of these failures, our key lessons learned, and some future enhancement ideas. We also share our REACT tools and reproduced datasets for the app market analyst, mobile app developers and software engineering research communities for further research purposes.


title: Space Lower Bounds for Approximating Maximum Matching in the Edge Arrival Model

abstract: The bipartite matching problem in the online and streaming settings has received a lot of attention recently. The classical vertex arrival setting, for which the celebrated Karp, Vazirani and Vazirani (KVV) algorithm achieves a $1-1/e$ approximation, is rather well understood: the $1-1/e$ approximation is optimal in both the online and semi-streaming setting, where the algorithm is constrained to use $n\cdot \log^{O(1)} n$ space. The more challenging the edge arrival model has seen significant progress recently in the online algorithms literature. For the strictly online model (no preemption) approximations better than trivial factor $1/2$ have been ruled out [Gamlath et al'FOCS'19]. For the less restrictive online preemptive model a better than $\frac1{1+\ln 2}$-approximation [Epstein et al'STACS'12] and even a better than $(2-\sqrt{2})$-approximation[Huang et al'SODA'19] have been ruled out. The recent hardness results for online preemptive matching in the edge arrival model are based on the idea of stringing together multiple copies of a KVV hard instance using edge arrivals. In this paper, we show how to implement such constructions using ideas developed in the literature on Ruzsa-Szemer\'edi graphs. As a result, we show that any single pass streaming algorithm that approximates the maximum matching in a bipartite graph with $n$ vertices to a factor better than $\frac1{1+\ln 2}\approx 0.59$ requires $n^{1+\Omega(1/\log\log n)}\gg n \log^{O(1)} n$ space. This gives the first separation between the classical one sided vertex arrival setting and the edge arrival setting in the semi-streaming model.


title: Absolute stability and absolute hyperbolicity in systems with discrete time-delays

abstract: An equilibrium of a delay differential equation (DDE) is absolutely stable, if it is locally asymptotically stable for all delays. We present criteria for absolute stability of DDEs with discrete time-delays. In the case of a single delay, the absolute stability is shown to be equivalent to asymptotic stability for sufficiently large delays. Similarly, for multiple delays, the absolute stability is equivalent to asymptotic stability for hierarchically large delays. Additionally, we give necessary and sufficient conditions for a linear DDE to be hyperbolic for all delays. The latter conditions are crucial for determining whether a system can have stabilizing or destabilizing bifurcations by varying time delays.


title: Unsupervised Two-Stage Anomaly Detection

abstract: Anomaly detection from a single image is challenging since anomaly data is always rare and can be with highly unpredictable types. With only anomaly-free data available, most existing methods train an AutoEncoder to reconstruct the input image and find the difference between the input and output to identify the anomalous region. However, such methods face a potential problem - a coarse reconstruction generates extra image differences while a high-fidelity one may draw in the anomaly. In this paper, we solve this contradiction by proposing a two-stage approach, which generates high-fidelity yet anomaly-free reconstructions. Our Unsupervised Two-stage Anomaly Detection (UTAD) relies on two technical components, namely the Impression Extractor (IE-Net) and the Expert-Net. The IE-Net and Expert-Net accomplish the two-stage anomaly-free image reconstruction task while they also generate intuitive intermediate results, making the whole UTAD interpretable. Extensive experiments show that our method outperforms state-of-the-arts on four anomaly detection datasets with different types of real-world objects and textures.


title: Extremizers and stability of the Betke--Weil inequality

abstract: Let $K$ be a compact convex domain in the Euclidean plane. The mixed area $A(K,-K)$ of $K$ and $-K$ can be bounded from above by $1/(6\sqrt{3})L(K)^2$, where $L(K)$ is the perimeter of $K$. This was proved by Ulrich Betke and Wolfgang Weil (1991). They also showed that if $K$ is a polygon, then equality holds if and only if $K$ is a regular triangle. We prove that among all convex domains, equality holds only in this case, as conjectured by Betke and Weil. This is achieved by establishing a stronger stability result for the geometric inequality $6\sqrt{3}A(K,-K)\le L(K)^2$.


title: Higher-spin Cotton tensors and massive gauge-invariant actions in AdS$_3$

abstract: In a conformally flat three-dimensional spacetime, the linearised higher-spin Cotton tensor $\mathfrak{C}_{\alpha(n)}(h)$ is the unique conserved conformal current which is a gauge-invariant descendant of the conformal gauge prepotential $h_{\alpha(n)}$. The explicit form of $\mathfrak{C}_{\alpha(n)}(h)$ is well known in Minkowski space. Here we solve the problem of extending the Minkowskian result to the case of anti-de Sitter (AdS) space and derive a closed-form expression for $\mathfrak{C}_{\alpha(n)}(h)$ in terms of the AdS Lorentz covariant derivatives. It is shown that every conformal higher-spin action $S_{\text{CS}}^{(n)}[h]\propto \int\text{d}^3x\, e \, h^{\alpha(n)}\mathfrak{C}_{\alpha(n)}(h) $ factorises into a product of $(n-1)$ first-order operators that are associated with the spin-$n/2$ partially massless AdS values. Our findings greatly facilitate the on-shell analysis of massive higher-spin gauge-invariant actions in AdS$_3$. The main results are extended to the case of $\mathcal{N}=1$ AdS supersymmetry. In particular, we derive simple expressions for the higher-spin super-Cotton tensors in AdS$_3$.


title: Stochastic Geometry Modeling and Analysis for THz-mmWave Hybrid IoT Networks

abstract: Terahertz (THz) band contains abundant spectrum resources that can offer ultra-high data rates. However, due to the THz band's inherent characteristics, i.e., low penetrability, high path loss, and non-negligible molecular absorption effect, THz communication can only provide limited coverage. To overcome these fundamental obstacles and fully utilize the THz band, we consider a hybrid Internet-of-Things (IoT) network consisting of THz and millimeter wave (mmWave) cells. A hybrid IoT network can dynamically switch between mmWave and THz links to ensure reliable and ultra-fast data connection. We use a stochastic geometric framework to evaluate the proposed hybrid IoT network's coverage probability and spectral efficiency and validate the analysis through numerical simulation. In this paper, we derive a closed-form expression of the Laplace transform of the interference while considering an accurate multi-level Flat-top (MLFT) antenna pattern. We observed that a large antenna array with a strong bias to the THz base station (TBS) improves the end-to-end network performance through numerical results. Furthermore, we recognized a fundamental trade-off relation between the TBS's node density and the bias to mmWave/THz; e.g., high TBS density with a strong bias to the TBS may degrade the network performance.


title: XCloud-VIP: Virtual Peak Enables Highly Accelerated NMR Spectroscopy and Faithful Quantitative Measures

abstract: Nuclear Magnetic Resonance (NMR) spectroscopy is an important bio-engineering tool to determine the metabolic concentrations, molecule structures and so on. The data acquisition time, however, is very long in multi-dimensional NMR. To accelerate data acquisition, non-uniformly sampling is an effective way but may encounter severe spectral distortions and unfaithful quantitative measures when the acceleration factor is high. By modelling the acquired signal as the superimposed exponentials, we proposed a virtual peak (VIP) approach to selfadapt the prior spectral information, such as the resonance frequency and peak lineshape, and then feed these information into the reconstruction. The proposed method is further implemented with cloud computing to facilitate online, open, and easy access. Results on simulated and experimental data demonstrate that, compared with the low-rank Hankel matrix method, the new approach reconstructs high-fidelity NMR spectra from highly undersampled data and achieves more accurate quantification. The maximum quantitative errors of distances between nuclear pairs and concentrations of metabolites in mixtures have been reduced by 61.1% and 57.7%, respectively.


title: Continuous mean distance of a weighted graph

abstract: We study the concept of the continuous mean distance of a weighted graph. For connected unweighted graphs, the mean distance can be defined as the arithmetic mean of the distances between all pairs of vertices. This parameter provides a natural measure of the compactness of the graph, and has been intensively studied, together with several variants, including its version for weighted graphs. The continuous analog of the (discrete) mean distance is the mean of the distances between all pairs of points on the edges of the graph. Despite being a very natural generalization, to the best of our knowledge this concept has been barely studied, since the jump from discrete to continuous implies having to deal with an infinite number of distances, something that increases the difficulty of the parameter. In this paper we show that the continuous mean distance of a weighted graph can be computed in time quadratic in the number of edges, by two different methods that apply fundamental concepts in discrete algorithms and computational geometry. We also present structural results that allow a faster computation of this continuous parameter for several classes of weighted graphs. Finally, we study the relation between the (discrete) mean distance and its continuous counterpart, mainly focusing on the relevant question of the convergence when iteratively subdividing the edges of the weighted graph.


title: Luminescent Waveguides In-situ Integrated with Organic Solar Cells for Internet of Things

abstract: Transparent electronics offer exciting light harvesting solutions for generation of electrical power via demonstration of "see-through" optoelectronic devices. The wireless energy harvesting ability can empower unplugged and battery-free operations for Internet of Things (IoT) devices. In this study, we report a transparent, luminescent, and elastomeric optical waveguide incorporating quantum dots that is in-situ coupled with organic solar cell array made of P3HT:PC61BM bulk heterojunction. CdSe@ZnS QDs have a photoluminescence quantum yield (PLQY) of 91% and are synthetically engineered to match their photoluminescence spectra with the photo-response of P3HT:PC61BM solar cells for efficient energy harvesting. Integrated devices can generate sufficient power for the active radio frequency identification (RFID) tags to send signals in the communication distance of 35 meters at low illumination level of 0.1-sun and ~0.1 km under 1-sun condition, respectively, which is sufficient for indoor and outdoor communications. Advantageously, the combination of organic solar cells with the waveguide during the elastomer curing leads to the elimination of the undesired post-fabrication processes such as alignment of the solar cells with waveguide and gluing the separate parts with curable polymers. This study paves the way toward using luminescence as transparent, efficient, and configurable energy harvesting solutions for IoT applications.


title: Feature Selection for Imbalanced Data with Deep Sparse Autoencoders Ensemble

abstract: Class imbalance is a common issue in many domain applications of learning algorithms. Oftentimes, in the same domains it is much more relevant to correctly classify and profile minority class observations. This need can be addressed by Feature Selection (FS), that offers several further advantages, s.a. decreasing computational costs, aiding inference and interpretability. However, traditional FS techniques may become sub-optimal in the presence of strongly imbalanced data. To achieve FS advantages in this setting, we propose a filtering FS algorithm ranking feature importance on the basis of the Reconstruction Error of a Deep Sparse AutoEncoders Ensemble (DSAEE). We use each DSAE trained only on majority class to reconstruct both classes. From the analysis of the aggregated Reconstruction Error, we determine the features where the minority class presents a different distribution of values w.r.t. the overrepresented one, thus identifying the most relevant features to discriminate between the two. We empirically demonstrate the efficacy of our algorithm in several experiments on high-dimensional datasets of varying sample size, showcasing its capability to select relevant and generalizable features to profile and classify minority class, outperforming other benchmark FS methods. We also briefly present a real application in radiogenomics, where the methodology was applied successfully.


title: $\delta$-$n$-ideals of commutative rings

abstract: Let $R$ be a commutative ring with nonzero identity, and $\delta :\mathcal{I(R)}\rightarrow\mathcal{I(R)}$ be an ideal expansion where $\mathcal{I(R)}$ the set of all ideals of $R$. In this paper, we introduce the concept of $\delta$-$n$-ideals which is an extension of $n$-ideals in commutative rings. We call a proper ideal $I$ of $R$ a $\delta$-$n$-ideal if whenever $a,b\in R$ with$\ ab\in I$ and $a\notin\sqrt{0}$, then $b\in \delta(I)$. For example, $\delta_{1}$ is defined by $\delta_{1}(I)=\sqrt{I}.$ A number of results and characterizations related to $\delta$-$n$-ideals are given. Furthermore, we present some results related to quasi $n$-ideals which is for the particular case $\delta=\delta_{1}.$


title: Coarse-grained self-testing

abstract: Self-testing is a device-independent method that usually amounts to show that the maximal quantum violation of a Bell's inequality certifies a unique quantum state, up to some symmetries inherent to the device-independent framework. In this work, we enlarge this approach and show how a coarse-grained version of self-testing is possible in which physically relevant properties of a many-body system are certified. For that we study a Bell scenario consisting of an arbitrary number of parties and show that the membership to a set of (entangled) quantum states whose size grows exponentially with the number of particles can be self-tested. Specifically, we prove that a many-body generalization of the chained Bell inequality is maximally violated if and only if the underlying quantum state is equal, up to local isometries, to a many-body singlet. The maximal violation of the inequality therefore certifies any statistical mixture of the exponentially-many orthogonal pures states spanning the singlet manifold.


title: Transformer Meets Tracker: Exploiting Temporal Context for Robust Visual Tracking

abstract: In video object tracking, there exist rich temporal contexts among successive frames, which have been largely overlooked in existing trackers. In this work, we bridge the individual video frames and explore the temporal contexts across them via a transformer architecture for robust object tracking. Different from classic usage of the transformer in natural language processing tasks, we separate its encoder and decoder into two parallel branches and carefully design them within the Siamese-like tracking pipelines. The transformer encoder promotes the target templates via attention-based feature reinforcement, which benefits the high-quality tracking model generation. The transformer decoder propagates the tracking cues from previous templates to the current frame, which facilitates the object searching process. Our transformer-assisted tracking framework is neat and trained in an end-to-end manner. With the proposed transformer, a simple Siamese matching approach is able to outperform the current top-performing trackers. By combining our transformer with the recent discriminative tracking pipeline, our method sets several new state-of-the-art records on prevalent tracking benchmarks.


title: Color charge correlations in the proton at NLO: beyond geometry based intuition

abstract: Color charge correlators provide fundamental information about the proton structure. In this Letter, we evaluate numerically two-point color charge correlations in a proton on the light cone including the next-to-leading order corrections due to emission or exchange of a perturbative gluon. The non-perturbative valence quark structure of the proton is modelled in a way consistent with high-$x$ proton structure data. Our results show that the correlator exhibits startlingly non-trivial behavior at large momentum transfer or central impact parameters, and that the color charge correlation depends not only on the impact parameter but also on the relative transverse momentum of the two gluon probes and their relative angle. Furthermore, from the two-point color charge correlator, we compute the dipole scattering amplitude. Its azimuthal dependence differs significantly from a impact parameter dependent McLerran-Venugopalan model based on geometry. Our results also provide initial conditions for Balitsky-Kovchegov evolution of the dipole scattering amplitude. These initial conditions depend not only on the impact parameter and dipole size vectors, but also on their relative angle and on the light-cone momentum fraction $x$ in the target.


title: Comprehensive Integration of API Usage Patterns

abstract: Nowadays, developers often reuse existing APIs to implement their programming tasks. A lot of API usage patterns are mined to help developers learn API usage rules. However, there are still many missing variables to be synthesized when developers integrate the patterns into their programming context. To deal with this issue, we propose a comprehensive approach to integrate API usage patterns in this paper. We first perform an empirical study by analyzing how API usage patterns are integrated in real-world projects. We find the expressions for variable synthesis is often non-trivial and can be divided into 5 syntax types. Based on the observation, we promote an approach to help developers interactively complete API usage patterns. Compared to the existing code completion techniques, our approach can recommend infrequent expressions accompanied with their real-world usage examples according to the user intent. The evaluation shows that our approach could assist users to integrate APIs more efficiently and complete the programming tasks faster than existing works.


title: Search for supersymmetry in events with four or more charged leptons in $139\,\mbox{fb\(^{-1}\)}$ of $\sqrt{s}=13$ TeV $pp$ collisions with the ATLAS detector

abstract: A search for supersymmetry in events with four or more charged leptons (electrons, muons and $\tau$-leptons) is presented. The analysis uses a data sample corresponding to $139\,\mbox{fb\(^{-1}\)}$ of proton-proton collisions delivered by the Large Hadron Collider at $\sqrt{s}=13$ TeV and recorded by the ATLAS detector. Four-lepton signal regions with up to two hadronically decaying $\tau$-leptons are designed to target several supersymmetric models, while a general five-lepton signal region targets any new physics phenomena leading to a final state with five charged leptons. Data yields are consistent with Standard Model expectations and results are used to set upper limits on contributions from processes beyond the Standard Model. Exclusion limits are set at the 95% confidence level in simplified models of general gauge-mediated supersymmetry, excluding higgsino masses up to $540$ GeV. In $R$-parity-violating simplified models with decays of the lightest supersymmetric particle to charged leptons, lower limits of $1.6$ TeV, $1.2$ TeV, and $2.5$ TeV are placed on wino, slepton and gluino masses, respectively.


title: Stabilization and blow-up in the relativistic model of cold collisional plasma

abstract: We study the influence of the factor of electron-ion collisions on the solution of the Cauchy problem in the one-dimensional relativistic model of cold plasma and show that, depending on their intensity and initial data, two scenarios are possible: either the solution remains smooth and stabilizes to a stationary state, or during a finite time the oscillations blowup. In contrast to the nonrelativistic model, when exact conditions can be obtained separating the two behaviors, in a much more complicated relativistic situation, it turns out to be possible to analytically estimate from below the time during which the existence of a smooth solution and the guaranteed number of oscillations during this time. In addition, we show that in contrast to the relativistic case without taking into account collisions, when oscillations corresponding to arbitrarily small deviations from the zero equilibrium position blow up, the presence of electron collisions can suppress the blow-up of sufficiently small oscillations. Further, based on the analysis of characteristics, a numerical algorithm is constructed, the order of accuracy of which is determined only by the smoothness of the initial data. Numerical experiments are presented to illustrate the theoretical results. The initial conditions are chosen as reasonably as possible from the point of view of full-scale physical experiments.


title: IPAPRec: A promising tool for learning high-performance mapless navigation skills with deep reinforcement learning

abstract: This paper studies how to improve the generalization performance and learning speed of the navigation agents trained with deep reinforcement learning (DRL). Although DRL exhibits huge potential in robot mapless navigation, DRL agents performing well in training scenarios are often found to perform poorly in unfamiliar scenarios. In this work, we propose that the representation of LiDAR readings is a key factor behind the degradation of agents' performance and present a powerful input pre-processing (IP) approach to address this issue. As this approach uses adaptively parametric reciprocal functions to pre-process LiDAR readings, we refer to this approach as IPAPRec and its normalized version as IPAPRecN. IPAPRec/IPAPRecN can highlight important short-distance values and compress the range of less-important long-distance values in laser scans, which well address the issues induced by conventional representations of laser scans. Their high performance was validated by extensive simulation and real-world experiments. The results show that our methods can substantially improve navigation agents' generalization performance and greatly reduce the training time compared to conventional methods.


title: $2$-distance $(\Delta+1)$-coloring of sparse graphs using the potential method

abstract: A $2$-distance $k$-coloring of a graph is a proper $k$-coloring of the vertices where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance ($\Delta+1$)-coloring for graphs with maximum average degree less than $\frac{18}{7}$ and maximum degree $\Delta\geq 7$. As a corollary, every planar graph with girth at least $9$ and $\Delta\geq 7$ admits a $2$-distance $(\Delta+1)$-coloring. The proof uses the potential method to reduce new configurations compared to classic approaches on $2$-distance coloring.


title: Space Mapping of Spline Spaces over Hierarchical T-meshes

abstract: In this paper, we construct a bijective mapping between a biquadratic spline space over the hierarchical T-mesh and the piecewise constant space over the corresponding crossing-vertex-relationship graph (CVR graph). We propose a novel structure, by which we offer an effective and easy operative method for constructing the basis functions of the biquadratic spline space. The mapping we construct is an isomorphism. The basis functions of the biquadratic spline space hold the properties such as linearly independent, completeness and the property of partition of unity, which are the same with the properties for the basis functions of piecewise constant space over the CVR graph. To demonstrate that the new basis functions are efficient, we apply the basis functions to fit some open surfaces.


title: Design of slow-light-enhanced bimodal interferometers using dimensionality reduction techniques

abstract: Interferometers usually require long paths for the ever-increasing requirements of high-performance operation, which hinders the miniaturization and integration of photonic circuits into very compact devices. Slow-light based interferometers provide interesting advantages in terms of both compactness and sensitivity, although their optimization is computationally costly and inefficient, due to the large number of parameters to be simultaneously designed. Here we propose the design of slowlight-enhanced bimodal interferometers by using principal component analysis to reduce the high-dimensional design space. A low-dimensional hyperplane containing all optimized designs is provided and investigated for changes in the silicon core and cladding refractive index. As a result, all-dielectric single-channel interferometers as modulators of only 33 m2 footprint and sensors with 19,200 2pirad/RIUcm sensitivity values are reported and validated by two different simulation methods. This work allows the design and optimization of slow light interferometers for different applications by considering several performance criteria, which can be extended to other photonic structures.


title: On asymptotic behavior for a class of diffusion equations involving the fractional $\wp(\cdot)-$Laplacian as $\wp(\cdot)$ goes to $\infty$

abstract: In this manuscript, we will study the asymptotic behavior for a class of nonlocal diffusion equations associated with the weighted fractional $\wp(\cdot)-$Laplacian operator involving constant/variable exponent. In the case of constant exponents, under some appropriate conditions, we will study the existence of solutions and asymptotic behavior of solutions by employing the subdifferential approach and we will study the problem when $\wp$ goes to $\infty$. Already, for case the weighted fractional $\wp(\cdot)$-Laplacian operator, we will also study the asymptotic behavior of the problem solution when $\wp(\cdot)$ goes to $\infty$, in the whole or in a subset of the domain (the problem involving the fractional $\wp(\cdot)$-Laplacian presents a discontinuous exponent). To obtain the results of the asymptotic behavior in both problems it will be via Mosco convergence.


title: Multi-Programming-Language Commits in OSS: An Empirical Study on Apache Projects

abstract: Modern software systems, such as Spark, are usually written in multiple programming languages (PLs). Besides benefiting from code reuse, such systems can also take advantages of specific PLs to implement certain features, to meet various quality needs, and to improve development efficiency. In this context, a change to such systems may need to modify source files written in different PLs. We define a multi-programming-language commit (MPLC) in a version control system (e.g., Git) as a commit that involves modified source files written in two or more PLs. To our knowledge, the phenomenon of MPLCs in software development has not been explored yet. In light of the potential impact of MPLCs on development difficulty and software quality, we performed an empirical study to understand the state of MPLCs, their change complexity, as well as their impact on open time of issues and bug proneness of source files in real-life software projects. By exploring the MPLCs in 20 non-trivial Apache projects with 205,994 commits, we obtained the following findings: (1) 9% of the commits from all the projects are MPLCs, and the proportion of MPLCs in 80% of the projects goes to a relatively stable level; (2) more than 90% of the MPLCs from all the projects involve source files written in two PLs; (3) the change complexity of MPLCs is significantly higher than that of non-MPLCs in all projects; (4) issues fixed in MPLCs take significantly longer to be resolved than issues fixed in non-MPLCs in 80% of the projects; and (5) source files that have been modified in MPLCs tend to be more bug-prone than source files that have never been modified in MPLCs. These findings provide practitioners with useful insights on the architecture design and quality management of software systems written in multiple PLs.


title: Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models

abstract: Goal Recognition is the task of discerning the correct intended goal that an agent aims to achieve, given a set of possible goals, a domain model, and a sequence of observations as a sample of the plan being executed in the environment. Existing approaches assume that the possible goals are formalized as a conjunction in deterministic settings. In this paper, we develop a novel approach that is capable of recognizing temporally extended goals in Fully Observable Non-Deterministic (FOND) planning domain models, focusing on goals on finite traces expressed in Linear Temporal Logic (LTLf) and (Pure) Past Linear Temporal Logic (PLTLf). We empirically evaluate our goal recognition approach using different LTLf and PLTLf goals over six common FOND planning domain models, and show that our approach is accurate to recognize temporally extended goals at several levels of observability.


title: Realization of macroscopic ratchet effect based on nonperiodic and uneven potentials

abstract: Ratchet devices allow turning an ac input signal into a dc output signal. A ratchet device is set by moving particles driven by zero averages forces on asymmetric potentials. Hybrid nanostructures combining artificially fabricated spin-ice nanomagnet arrays with superconducting films have been identified as a good choice to develop ratchet nanodevices. In our case, the asymmetric potentials are provided by charged N\'eel walls located in the vertices of the magnetic honeycomb array, whereas the role of moving particles is played by superconducting vortices. We have experimentally obtained ratchet effect for different spin ice I configurations and for vortex lattice moving parallel or perpendicular to the magnetic easy axes. Remarkably, the ratchet magnitudes are similar in all the experimental runs; i. e. different spin ice I configurations and in both relevant directions of the vortex lattice motion. We have simulated the interplay between vortex motion directions and a single asymmetric potential. It turns out vortices interact with uneven asymmetric potentials, when they move with trajectories crossing charged N\'eel walls with different orientations. Moreover, the appropriate asymmetric pair potentials which generate the local ratchet effect have been identified. In this rocking ratchet the particles (vortices) on the move are interacting each other (vortex lattice); therefore, the ratchet local effect turns into a global macroscopic effect. In summary, this ratchet device benefits from interacting particles moving in robust and topological protected type I spin ice landscapes.


title: Eigenstate thermalization in dual-unitary quantum circuits: Asymptotics of spectral functions

abstract: The eigenstate thermalization hypothesis provides to date the most successful description of thermalization in isolated quantum systems by conjecturing statistical properties of matrix elements of typical operators in the (quasi-)energy eigenbasis. Here we study the distribution of matrix elements for a class of operators in dual-unitary quantum circuits in dependence of the frequency associated with the corresponding eigenstates. We provide an exact asymptotic expression for the spectral function, i.e., the second moment of this frequency resolved distribution. The latter is obtained from the decay of dynamical correlations between local operators which can be computed exactly from the elementary building blocks of the dual-unitary circuits. Comparing the asymptotic expression with results obtained by exact diagonalization we find excellent agreement. Small fluctuations at finite system size are explicitly related to dynamical correlations at intermediate times and the deviations from their asymptotical dynamics. Moreover, we confirm the expected Gaussian distribution of the matrix elements by computing higher moments numerically.

categories: cond-mat.stat-mech hep-th nlin.CD quant-ph


title: Predicting brain-age from raw T 1 -weighted Magnetic Resonance Imaging data using 3D Convolutional Neural Networks

abstract: Age prediction based on Magnetic Resonance Imaging (MRI) data of the brain is a biomarker to quantify the progress of brain diseases and aging. Current approaches rely on preparing the data with multiple preprocessing steps, such as registering voxels to a standardized brain atlas, which yields a significant computational overhead, hampers widespread usage and results in the predicted brain-age to be sensitive to preprocessing parameters. Here we describe a 3D Convolutional Neural Network (CNN) based on the ResNet architecture being trained on raw, non-registered T$_ 1$-weighted MRI data of N=10,691 samples from the German National Cohort and additionally applied and validated in N=2,173 samples from three independent studies using transfer learning. For comparison, state-of-the-art models using preprocessed neuroimaging data are trained and validated on the same samples. The 3D CNN using raw neuroimaging data predicts age with a mean average deviation of 2.84 years, outperforming the state-of-the-art brain-age models using preprocessed data. Since our approach is invariant to preprocessing software and parameter choices, it enables faster, more robust and more accurate brain-age modeling.


title: Control Distance IoU and Control Distance IoU Loss Function for Better Bounding Box Regression

abstract: Numerous improvements for feedback mechanisms have contributed to the great progress in object detection. In this paper, we first present an evaluation-feedback module, which is proposed to consist of evaluation system and feedback mechanism. Then we analyze and summarize the disadvantages and improvements of traditional evaluation-feedback module. Finally, we focus on both the evaluation system and the feedback mechanism, and propose Control Distance IoU and Control Distance IoU loss function (or CDIoU and CDIoU loss for short) without increasing parameters or FLOPs in models, which show different significant enhancements on several classical and emerging models. Some experiments and comparative tests show that coordinated evaluation-feedback module can effectively improve model performance. CDIoU and CDIoU loss have different excellent performances in several models such as Faster R-CNN, YOLOv4, RetinaNet and ATSS. There is a maximum AP improvement of 1.9% and an average AP of 0.8% improvement on MS COCO dataset, compared to traditional evaluation-feedback modules.


title: Random-access quantum memory using chirped pulse phase encoding

abstract: As in conventional computing, key attributes of quantum memories are high storage density and, crucially, random access, or the ability to read from or write to an arbitrarily chosen register. However, achieving such random access with quantum memories in a dense, hardware-efficient manner remains a challenge, for example requiring dedicated cavities per qubit or pulsed field gradients. Here we introduce a protocol using chirped pulses to encode qubits within an ensemble of quantum two-level systems, offering both random access and naturally supporting dynamical decoupling to enhance the memory lifetime. We demonstrate the protocol in the microwave regime using donor spins in silicon coupled to a superconducting cavity, storing up to four multi-photon microwave pulses in distinct memory modes and retrieving them on-demand up to 2~ms later. A further advantage is the natural suppression of superradiant echo emission, which we show is critical when approaching unit cooperativity. This approach offers the potential for microwave random access quantum memories with lifetimes exceeding seconds, while the chirped pulse phase encoding could also be applied in the optical regime to enhance quantum repeaters and networks.


title: Junction conditions and thin-shells in perfect-fluid $f\left(R,T\right)$ gravity

abstract: In this work we derive the junction conditions for the matching between two spacetimes at a separation hypersurface in the perfect-fluid version of $f\left(R,T\right)$ gravity, not only in the usual geometrical representation but also in a dynamically equivalent scalar-tensor representation. We start with the general case in which a thin-shell separates the two spacetimes at the separation hypersurface, for which the general junction conditions are deduced, and the particular case for smooth matching is considered when the stress-energy tensor of the thin-shell vanishes. The set of junction conditions is similar to the one previously obtained for $f\left(R\right)$ gravity but features also constraints in the continuity of the trace of the stress-energy tensor $T_{ab}$ and its partial derivatives, which force the thin-shell to satisfy the equation of state of radiation $\sigma=2p_t$. As a consequence, a necessary and sufficient condition for spherically symmetric thin-shells to satisfy all the energy conditions is the positivity of its energy density $\sigma$. For specific forms of the function $f\left(R,T\right)$, the continuity of $R$ and $T$ ceases to be mandatory but a gravitational double-layer arises at the separation hypersurface. The Martinez thin-shell system and a thin-shell surrounding a central black-hole are provided as examples of application.


title: Many-body localization in tilted and harmonic potentials

abstract: We discuss nonergodic dynamics of interacting spinless fermions in a tilted optical lattice as modeled by XXZ spin chain in magnetic (or electric) field changing linearly across the chain. The time dynamics is studied using exact propagation for small chains and matrix product states techniques for larger system sizes. We consider both the initial N\'eel separable state as well as the quantum quench scenario in which the initial state may be significantly entangled. We show that the entanglement dynamics is significantly different in both cases. In the former a rapid initial growth is followed by a saturation for sufficiently large tilt, $F$. In the latter case the dynamics seems to be dominated by pair tunneling and the effective tunneling rate scales as $1/F^2$. In the presence of an additional harmonic potential the imbalance is found to be entirely determined by a local effective tilt, $F_{\text{loc}}$, the entanglement entropy growth is modulated with frequency that follows $1/F_{loc}^2$ scaling first but at long time the dynamics is determined rather by the curvature of the harmonic potential. Only for large tilts or sufficiently large curvatures, corresponding to the deeply localized regime, we find the logarithmic entanglement growth for N\'eel initial state. The same curvature determines long-time imbalance for large $F$ which reveals strong revival phenomena associated with the manifold of equally spaced states, degenerate in the absence of the harmonic potential.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: Irreducible representations of Leavitt algebras

abstract: For a weighted graph $E$, we construct representation graphs $F$, and consequently, $L_K(E)$-modules $V_F$, where $L_K(E)$ is the Leavitt path algebra associated to $E$, with coefficients in a field $K$. We characterise representation graphs $F$ such that $V_F$ are simple $L_K(E)$-modules. We show that the category of representation graphs of $E$, $RG(E)$, is a disjoint union of subcategories, each of which contains a unique universal object $T$ which gives an indecomposable $L_K(E)$-module $V_T$ and a unique irreducible representation graph $S$, which gives a simple $L_K(E)$-module $V_S$. Specialising to graphs with one vertex and $m$ loops of weight $n$, we construct irreducible representations for the celebrated Leavitt algebras $L_K(n,m)$. On the other hand, specialising to graphs with weight one, we recover the simple modules of Leavitt path algebras constructed by Chen via infinite paths or sinks and give a large class of non-simple indecomposable modules.


title: The minimal spherical dispersion

abstract: We prove upper and lower bounds on the minimal spherical dispersion, improving upon previous estimates obtained by Rote and Tichy [Spherical dispersion with an application to polygonal approximation of curves, Anz. \"Osterreich. Akad. Wiss. Math.-Natur. Kl. 132 (1995), 3--10]. In particular, we see that the inverse $N(\varepsilon,d)$ of the minimal spherical dispersion is, for fixed $\varepsilon>0$, linear in the dimension $d$ of the ambient space. We also derive upper and lower bounds on the expected dispersion for points chosen independently and uniformly at random from the Euclidean unit sphere. In terms of the corresponding inverse $\widetilde{N}(\varepsilon,d)$, our bounds are optimal with respect to the dependence on $\varepsilon$.


title: Novel Leptoquark Pair Production at LHC

abstract: We introduce a novel mechanism for the leptoquark pair production at LHC that is of a $t$-channel topology and is quark-quark initiated. This mechanism operates under fairly general conditions. One of them is that the two leptoquarks in question couple to the same lepton and the other one is that the fermion numbers of these two leptoquarks differ by two. The strength of the proposed mechanism provides an alternative way to the conventional processes to efficiently constrain the parameter space of the two leptoquark scenarios at LHC whenever the aforementioned conditions are met. We accordingly present one case study to outline the physics potential of this novel production mechanism.


title: Model-based 3D Hand Reconstruction via Self-Supervised Learning

abstract: Reconstructing a 3D hand from a single-view RGB image is challenging due to various hand configurations and depth ambiguity. To reliably reconstruct a 3D hand from a monocular image, most state-of-the-art methods heavily rely on 3D annotations at the training stage, but obtaining 3D annotations is expensive. To alleviate reliance on labeled training data, we propose S2HAND, a self-supervised 3D hand reconstruction network that can jointly estimate pose, shape, texture, and the camera viewpoint. Specifically, we obtain geometric cues from the input image through easily accessible 2D detected keypoints. To learn an accurate hand reconstruction model from these noisy geometric cues, we utilize the consistency between 2D and 3D representations and propose a set of novel losses to rationalize outputs of the neural network. For the first time, we demonstrate the feasibility of training an accurate 3D hand reconstruction network without relying on manual annotations. Our experiments show that the proposed method achieves comparable performance with recent fully-supervised methods while using fewer supervision data.


title: n-hot: Efficient bit-level sparsity for powers-of-two neural network quantization

abstract: Powers-of-two (PoT) quantization reduces the number of bit operations of deep neural networks on resource-constrained hardware. However, PoT quantization triggers a severe accuracy drop because of its limited representation ability. Since DNN models have been applied for relatively complex tasks (e.g., classification for large datasets and object detection), improvement in accuracy for the PoT quantization method is required. Although some previous works attempt to improve the accuracy of PoT quantization, there is no work that balances accuracy and computation costs in a memory-efficient way. To address this problem, we propose an efficient PoT quantization scheme. Bit-level sparsity is introduced; weights (or activations) are rounded to values that can be calculated by n shift operations in multiplication. We also allow not only addition but also subtraction as each operation. Moreover, we use a two-stage fine-tuning algorithm to recover the accuracy drop that is triggered by introducing the bit-level sparsity. The experimental results on an object detection model (CenterNet, MobileNet-v2 backbone) on the COCO dataset show that our proposed method suppresses the accuracy drop by 0.3% at most while reducing the number of operations by about 75% and model size by 11.5% compared to the uniform method.


title: Exploring Web Search Engines to Find Architectural Knowledge

abstract: Software engineers need relevant and up-to-date architectural knowledge (AK), in order to make well-founded design decisions. However, finding such AK is quite challenging. One pragmatic approach is to search for AK on the web using traditional search engines (e.g. Google); this is common practice among software engineers. Still, we know very little about what AK is retrieved, from where, and how useful it is. In this paper, we conduct an empirical study with 53 software engineers, who used Google to make design decisions using the Attribute-Driven-Design method. Based on how the subjects assessed the nature and relevance of the retrieved results, we determined how effective web search engines are to find relevant architectural information. Moreover, we identified the different sources of AK on the web and their associated AK concepts.


title: Interpreting Deep Learning Models with Marginal Attribution by Conditioning on Quantiles

abstract: A vastly growing literature on explaining deep learning models has emerged. This paper contributes to that literature by introducing a global gradient-based model-agnostic method, which we call Marginal Attribution by Conditioning on Quantiles (MACQ). Our approach is based on analyzing the marginal attribution of predictions (outputs) to individual features (inputs). Specificalllly, we consider variable importance by mixing (global) output levels and, thus, explain how features marginally contribute across different regions of the prediction space. Hence, MACQ can be seen as a marginal attribution counterpart to approaches such as accumulated local effects (ALE), which study the sensitivities of outputs by perturbing inputs. Furthermore, MACQ allows us to separate marginal attribution of individual features from interaction effect, and visually illustrate the 3-way relationship between marginal attribution, output level, and feature value.


title: Large deviations for a class of multivariate heavy-tailed risk processes used in insurance and finance

abstract: Modern risk modelling approaches deal with vectors of multiple components. The components could be, for example, returns of financial instruments or losses within an insurance portfolio concerning different lines of business. One of the main problems is to decide if there is any type of dependence between the components of the vector and, if so, what type of dependence structure should be used for accurate modelling. We study a class of heavy-tailed multivariate random vectors under a non-parametric shape constraint on the tail decay rate. This class contains, for instance, elliptical distributions whose tail is in the intermediate heavy-tailed regime, which includes Weibull and lognormal type tails. The study derives asymptotic approximations for tail events of random walks. Consequently, a full large deviations principle is obtained under, essentially, minimal assumptions. As an application, an optimisation method for a large class of Quota Share (QS) risk sharing schemes used in insurance and finance is obtained.


title: Canonical Quantization of Static and Rotating Black Hole as A Gravitational Atom

abstract: Gravitational field is usually neglected in calculation of atomic energy levels as its effect is much weaker than the electromagnetic field, but that is not the case for a particle orbiting a black hole. In this work, canonical quantization of a particle under a gravitational field exerted by this tiny but very massive object, both static and rotating-is carried out. By using this method, very rare exact result of the particles quantized energy can be discovered. The presence of a very strong attractive field and the horizon make the energy complex valued and force the corresponding wave function to be a quasi-bound state. Moreover, by taking a small scale limit, the system becomes a gravitational atom in sense that hydrogenic atoms energy levels and wave functions can be recovered. Obtaining these exact solutions for fundamental black holes effectively empowers us to deal with more complex black holes such as cosmological black holes or black hole solutions emerging from modified gravity.


title: A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond

abstract: We introduce a class of rooted graphs which allows one to encode various kinds of classical or quantum circuits. We then follow a set-theoretic approach to define rewrite systems over the considered graphs and propose a new complete Superposition callculus which handles sets of formulas consisting of equations or disequations over these graphs.


title: Laser-induced terahertz spin transport in magnetic nanostructures arises from the same force as ultrafast demagnetization

abstract: Laser-induced terahertz spin transport (TST) and ultrafast demagnetization (UDM) are central but so far disconnected phenomena in femtomagnetism and terahertz spintronics. Here, we use broadband terahertz emission spectroscopy to reliably measure both processes in one setup. We find that the rate of UDM of a single ferromagnetic metal film F has the same time evolution as the flux of TST from F into an adjacent normal-metal layer N. This remarkable agreement shows that UDM and TST are driven by the same force, which is fully determined by the state of the ferromagnet. An analytical model consistently and quantitatively explains our observations. It reveals that both UDM in F and TST in the F|N stack arise from a generalized spin voltage, which is defined for arbitrary, nonthermal electron distributions. We also conclude that contributions due to a possible temperature difference between F and N are minor and that the spin-current amplitude can, in principle, be increased by one order of magnitude. In general, our findings allow one to apply the vast knowledge of UDM to TST, thereby opening up new pathways toward large-amplitude terahertz spin currents and, thus, energy-efficient ultrafast spintronic devices.


title: Marx-Strohh\"{a}cker theorem for Multivalent Functions

abstract: Some differential implications of classical Marx-Strohh\"acker theorem are extended for multivalent functions. These results are also generalized for functions with fixed second coefficient by using the theory of first order differential subordination which in turn, corrects the results of Selvaraj and Stelin [On multivalent functions associated with fixed second coefficient and the principle of subordination, Int. J. Math. Anal. {\bf 9} (2015), no.~18, 883--895].


title: Approximation to probability density functions in sampling distributions based on Fourier cosine series

abstract: We derive a simple and precise approximation to probability density functions in sampling distributions based on the Fourier cosine series. After clarifying the required conditions, we illustrate the approximation on two examples: the distribution of the sum of uniformly distributed random variables, and the distribution of sample skewness drawn from a normal population. The probability density function of the first example can be explicitly expressed, but that of the second example has no explicit expression.


title: Spatially Dependent U-Nets: Highly Accurate Architectures for Medical Imaging Segmentation

abstract: In clinical practice, regions of interest in medical imaging often need to be identified through a process of precise image segmentation. The quality of this image segmentation step critically affects the subsequent clinical assessment of the patient status. To enable high accuracy, automatic image segmentation, we introduce a novel deep neural network architecture that exploits the inherent spatial coherence of anatomical structures and is well equipped to capture long-range spatial dependencies in the segmented pixel/voxel space. In contrast to the state-of-the-art solutions based on convolutional layers, our approach leverages on recently introduced spatial dependency layers that have an unbounded receptive field and explicitly model the inductive bias of spatial coherence. Our method performs favourably to commonly used U-Net and U-Net++ architectures as demonstrated by improved Dice and Jaccardscore in three different medical segmentation tasks: nuclei segmentation in microscopy images, polyp segmentation in colonoscopy videos, and liver segmentation in abdominal CT scans.


title: Polarimetric imaging of the human brain to determine the orientation and degree of alignment of nerve fiber bundles

abstract: More children and adults under the age of 40 die of brain tumor than from any other cancer. Brain surgery constitutes the first and decisive step for the treatment of such tumors. It is extremely crucial to achieve complete tumor resection during surgery, however, this is a highly challenging task, as it is very difficult to visually differentiate tumorous cells from the surrounding healthy white matter. The nerve fiber bundles constitutive of the white matter are organized in such a way that they exhibit a certain degree of structural anisotropy and birefringence. The birefringence exhibited by such aligned fibrous tissue is known to be extremely sensitive to small pathological alterations. Indeed, highly aligned anisotropic fibers exhibit higher birefringence than structures with weaker alignment and anisotropy, such as cancerous tissue. In this study, we performed experiments on thick coronal slices of a healthy human brain to explore the possibility of (i) measuring, with a polarimetric microscope (employed in the backscattering geometry to facilitate non-invasive diagnostics), the birefringence exhibited by the white matter and (ii) relating the measured birefringence to the fiber orientation and the degree of alignment. This is done by analyzing the spatial distribution of the degree of polarization of the backscattered light and its variation with the polarization state of the probing beam. We demonstrate that polarimetry can be used to reliably distinguish between white and gray matter in the brain, which might help to intraoperatively delineate unstructured tumorous tissue and well organized healthy brain tissue. In addition, we show that our technique is able to sensitively reconstruct the local mean nerve fiber orientation in the brain, which can help to guide tumor resections by identifying vital nerve fiber trajectories thereby improving the outcome of the brain surgery.


title: Transforming Exploratory Creativity with DeLeNoX

abstract: We introduce DeLeNoX (Deep Learning Novelty Explorer), a system that autonomously creates artifacts in constrained spaces according to its own evolving interestingness criterion. DeLeNoX proceeds in alternating phases of exploration and transformation. In the exploration phases, a version of novelty search augmented with constraint handling searches for maximally diverse artifacts using a given distance function. In the transformation phases, a deep learning autoencoder learns to compress the variation between the found artifacts into a lower-dimensional space. The newly trained encoder is then used as the basis for a new distance function, transforming the criteria for the next exploration phase. In the current paper, we apply DeLeNoX to the creation of spaceships suitable for use in two-dimensional arcade-style computer games, a representative problem in procedural content generation in games. We also situate DeLeNoX in relation to the distinction between exploratory and transformational creativity, and in relation to Schmidhuber's theory of creativity through the drive for compression progress.


title: Retinal-inspired Filtering for Dynamic Image Coding

abstract: This paper introduces a novel non-Separable sPAtioteMporal filter (non-SPAM) which enables the spatiotemporal decomposition of a still-image. The construction of this filter is inspired by the model of the retina which is able to selectively transmit information to the brain. The non-SPAM filter mimics the retinal-way to extract necessary information for a dynamic encoding/decoding system. We applied the non-SPAM filter on a still image which is flashed for a long time. We prove that the non-SPAM filter decomposes the still image over a set of time-varying difference of Gaussians, which form a frame. We simulate the analysis and synthesis system based on this frame. This system results in a progressive reconstruction of the input image. Both the theoretical and numerical results show that the quality of the reconstruction improves while the time increases.