title: Deep Neural Network Based Active User Detection for Grant-free NOMA Systems

abstract: As a means to support the access of massive machine-type communication devices, grant-free access and non-orthogonal multiple access (NOMA) have received great deal of attention in recent years. In the grant-free transmission, each device transmits information without the granting process so that the basestation needs to identify the active devices among all potential devices. This process, called an active user detection (AUD), is a challenging problem in the NOMA-based systems since it is difficult to identify active devices from the superimposed received signal. An aim of this paper is to put forth a new type of AUD based on deep neural network (DNN). By applying the training data in the properly designed DNN, the proposed AUD scheme learns the nonlinear mapping between the received NOMA signal and indices of active devices. As a result, the trained DNN can handle the whole AUD process, achieving an accurate detection of the active users. Numerical results demonstrate that the proposed AUD scheme outperforms the conventional approaches in both AUD success probability and computational complexity.


title: Channel Estimation for Intelligent Reflecting Surface Assisted Multiuser Communications: Framework, Algorithms, and Analysis

abstract: In intelligent reflecting surface (IRS) assisted communication systems, the acquisition of channel state information (CSI) is a crucial impediment for achieving the beamforming gain of IRS because of the considerable overhead required for channel estimation. Specifically, under the current beamforming design for IRS-assisted communications, $KMN+KM$ channel coefficients should be estimated, where $K$, $N$ and $M$ denote the numbers of users, IRS reflecting elements, and antennas at the base station (BS), respectively. To accurately estimate such a large number of channel coefficients within a short time interval, we propose a novel three-phase pilot-based channel estimation framework in this paper for IRS-assisted uplink multiuser communications. Under this framework, we analytically prove that a time duration consisting of $K+N+\max(K-1,\lceil (K-1)N/M \rceil)$ pilot symbols is sufficient for the BS to perfectly recover all the $KMN+KM$ channel coefficients for the case without receiver noise at the BS. In contrast to the channel estimation for conventional uplink communications without IRS where the minimum channel estimation time is independent of the number of receive antennas at the BS, our result reveals the crucial role of massive MIMO (multiple-input multiple-output) in reducing the channel estimation time for IRS-assisted communications. Further, for the case with receiver noise, the user pilot sequences, IRS reflecting coefficients, and BS linear minimum mean-squared error (LMMSE) channel estimators are characterized in closed-form, and the corresponding estimation mean-squared error (MSE) is quantified.


title: The \v{Z}\v{d}\'ar nad S\'azavou meteorite fall: Fireball trajectory, photometry, dynamics, fragmentation, orbit, and meteorite recovery

abstract: We report a comprehensive analysis of the instrumentally observed meteorite fall \v{Z}\v{d}\'ar nad S\'azavou, which occurred in the Czech Republic on 9 December 2014 at 16:16:45-54 UT. The original meteoroid with an estimated initial mass of 150 kg entered the atmosphere with a speed of 21.89 km/s and began a luminous trajectory at an altitude of 98.06 km. At the maximum, it reached -15.26 absolute magnitude and terminated after an 9.16 s and 170.5 km long flight at an altitude of 24.71 km with a speed of 4.8 km/s. The average slope of the atmospheric trajectory to the Earth's surface was only 25.66{\deg}. Before its collision with Earth, the initial meteoroid orbited the Sun on a moderately eccentric orbit with perihelion near Venus orbit, aphelion in the outer main belt, and low inclination. During the atmospheric entry, the meteoroid severely fragmented at a very low dynamic pressure 0.016 MPa and further multiple fragmentations occurred at 1.4 - 2.5 MPa. Based on our analysis, so far three small meteorites classified as L3.9 ordinary chondrites totaling 87 g have been found almost exactly in the locations predicted for a given mass. Because of very high quality of photographic and radiometric records, taken by the dedicated instruments of the Czech part of the European Fireball Network, \v{Z}\v{d}\'ar nad S\'azavou belongs to the most reliably, accurately, and thoroughly described meteorite falls in history.


title: Learning Hybrid Representation by Robust Dictionary Learning in Factorized Compressed Space

abstract: In this paper, we investigate the robust dictionary learning (DL) to discover the hybrid salient low-rank and sparse representation in a factorized compressed space. A Joint Robust Factorization and Projective Dictionary Learning (J-RFDL) model is presented. The setting of J-RFDL aims at improving the data representations by enhancing the robustness to outliers and noise in data, encoding the reconstruction error more accurately and obtaining hybrid salient coefficients with accurate reconstruction ability. Specifically, J-RFDL performs the robust representation by DL in a factorized compressed space to eliminate the negative effects of noise and outliers on the results, which can also make the DL process efficient. To make the encoding process robust to noise in data, J-RFDL clearly uses sparse L2, 1-norm that can potentially minimize the factorization and reconstruction errors jointly by forcing rows of the reconstruction errors to be zeros. To deliver salient coefficients with good structures to reconstruct given data well, J-RFDL imposes the joint low-rank and sparse constraints on the embedded coefficients with a synthesis dictionary. Based on the hybrid salient coefficients, we also extend J-RFDL for the joint classification and propose a discriminative J-RFDL model, which can improve the discriminating abilities of learnt coeffi-cients by minimizing the classification error jointly. Extensive experiments on public datasets demonstrate that our formulations can deliver superior performance over other state-of-the-art methods.


title: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

abstract: These are the post-proceedings of the second ARCADE workshop, which took place on the 26th August 2019 in Natal, Brazil, colocated with CADE-27. ARCADE stands for Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements. The goal of this workshop was to bring together key people from various sub-communities of automated reasoning--such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field.


title: Bohr operator on analytic functions

abstract: For $f(z) = \sum_{n=0}^{\infty} a_n z^n$ and a fixed $z$ in the unit disk, $|z| = r,$ the Bohr operator $\mathcal{M}_r$ is given by \[\mathcal{M}_r (f) = \sum_{n=0}^{\infty} |a_n| |z^n| = \sum_{n=0}^{\infty} |a_n| r^n.\] This papers develops normed theoretic approaches on $\mathcal{M}_r$. Using earlier results of Bohr and Rogosinski, the following results are readily established: if $f(z)=\sum_{n=0}^{\infty} a_{n}z^{n}$ is subordinate (or quasi-subordinate) to $h(z)=\sum_{n=0}^{\infty} b_{n}z^{n}$ in the unit disk, then \[\mathcal{M}_{r}(f) \leq \mathcal{M}_{r}(h), \quad 0 \leq r \leq 1/3,\] that is, \[\sum_{n=0}^{\infty} \ | a_{n}\ | |z|^{n} \leq \sum_{n=0}^{\infty} \ | b_{n}\ |t |z|^{n}, \quad 0 \leq |z| \leq 1/3. \] Further, each $k$-th section $s_k(f) = a_0 + a_1 z + \cdots + a_kz^k$ satisfies \[\ | s_k(f)\ | \leq \mathcal{M}_r \ ( s_k(h)\ ), \quad 0 \leq r \leq 1/2,\] and \[\mathcal{M}_{r}\ ( s_{k}(f) \ ) \leq \mathcal{M}_{r}(s_{k}(h)), \quad 0 \leq r \leq 1/3.\] A von Neumann-type inequality is also obtained for the class consisting of Schwarz functions in the unit disk.


title: Trajectory tracking control for nonholonomic mobile robots under arbitrary reference input

abstract: This paper studies the tracking control problem for nonholonomic mobile robots based on second order dynamics, with application to consensus tracking and formation tracking. The greatest novelty in this paper is that the reference trajectory can be arbitrarily chosen, in the sense that the condition of persistency excitation and any other requirements are not imposed on the leader. In this paper, at first, the tracking control of one leader with single follower is taken into consideration, which is converted to the stabilization of two relative subsystems by the design of an adjoint system. Then, the single follower tracking controller is extended to the consensus tracking of multiple nonholonomic mobile robots connected by a directed acyclic graph, in which the convex combination in nonlinear manifolds is introduced to construct a virtual leader for each follower. Next, the relationship between consensus control and formation control is established for multiple nonholonomic mobile robots, with the result that a new transformed system is constructed so as to obtain the formation tracking control strategy from the consensus tracking result. Finally, simulations are presented to verify the effectiveness of the control laws.


title: Large scale star formation in Auriga region

abstract: New observations in the $VI$ bands along with archival data from the 2MASS and $WISE$ surveys have been used to generate a catalog of young stellar objects (YSOs) covering an area of about $6^\circ\times6^\circ$ in the Auriga region centered at $l\sim173^\circ$ and $b\sim1^\circ.5$. The nature of the identified YSOs and their spatial distribution are used to study the star formation in the region. The distribution of YSOs along with that of the ionized and molecular gas reveals two ring-like structures stretching over an area of a few degrees each in extent. We name these structures as Auriga Bubbles 1 and 2. The center of the Bubbles appears to be above the Galactic mid-plane. The majority of Class\,{\sc i} YSOs are associated with the Bubbles, whereas the relatively older population, i.e., Class\,{\sc ii} objects are rather randomly distributed. Using the minimum spanning tree analysis, we found 26 probable sub-clusters having 5 or more members. The sub-clusters are between $\sim$0.5 pc - $\sim$ 3 pc in size and are somewhat elongated. The star formation efficiency in most of the sub-cluster region varies between 5$\%$ - 20$\%$ indicating that the sub-clusters could be bound regions. The radii of these sub-clusters also support it.


title: Upper bound for the tail functions of the growth rate for supercritical branching processes in random environment

abstract: Suppose that $(Z_n)_{n\geq0}$ is a supercritical branching process in independent and identically distributed random environment. The right tail function of the scaled growth rate for $(Z_n)_{n\geq0}$ is studied. The upper bounds for $\displaystyle\mathbb{P}\left[\frac{\log Z_n}{Mn}-\mu\geq x\right]$ for any $x\geq3$ are obtained, by applying an extension of the Hoeffding type inequalities.


title: Mott insulating states of the anisotropic SU(4) Dirac fermions

abstract: We employ the large-scale quantum Monte-Carlo simulations to investigate the Mott-insulating states of the half-filled SU(4) Hubbard model on the square lattice with a staggered-flux pattern. The noninteracting band structure that evolves from a nested Fermi surface at zero flux to isotropic Dirac cones at $\pi$ flux, exhibits anisotropic Dirac cones as the flux varies in between. Our simulations show transitions between the three phases of Dirac semimetal, antiferromagnet and valence-bond solid. A direct continuous transition between the antiferromagnetic phase and the valence-bond-solid phase is realized via varying the flux in the Mott regime. The simulated critical exponents remarkably agree with those of SU(4) $J$-$Q$ model. Inside the valence-bond-solid phase induced by the flux, the plaquette valence-bond state with vanishing single-particle gap is identified. At strong coupling, the valence-bond-solid phase disappears and the Mott-insulating state is always accompanied by antiferromagnetic ordering, regardless of the magnitude of the flux.


title: Two Quasi-periodic Fast-propagating Magnetosonic Wave Events Observed In Active Region NOAA 11167

abstract: We report a detailed observational study of two quasi-periodic fast-propagating (QFP) magnetosonic wave events occurred on 2011 March 09 and 10, respectively. Interestingly, both the two events have two wave trains (WTs): one main and strong (WT-1) whereas the second appears small and weak (WT-2). Peculiar and common characteristics of the two events are observed, namely: 1) the two QFP waves are accompanied with brightenings during the whole stage of the eruptions; 2) both the two main wave trains are nearly propagating along the same direction; 3) EUV waves are found to be associated with the two events. Investigating various aspects of the target events, we argue that: 1) the second event is accompanied with a flux rope eruption during the whole stage; 2) the second event eruption produces a new filament-like (FL) dark feature; 3) the ripples of the two WT-2 QFP waves seem to result from different triggering mechanisms. Based on the obtained observational results, we propose that the funnel-like coronal loop system is indeed playing an important role in the two WT-1 QFP waves. The development of the second WT-2 QFP wave can be explained as due to the dispersion of the main EUV front. The co-existence of the two events offer thereby a significant opportunity to reveal what driving mechanisms and structures are tightly related to the waves.


title: Attention-based ASR with Lightweight and Dynamic Convolutions

abstract: End-to-end (E2E) automatic speech recognition (ASR) with sequence-to-sequence models has gained attention because of its simple model training compared with conventional hidden Markov model based ASR. Recently, several studies report the state-of-the-art E2E ASR results obtained by Transformer. Compared to recurrent neural network (RNN) based E2E models, training of Transformer is more efficient and also achieves better performance on various tasks. However, self-attention used in Transformer requires computation quadratic in its input length. In this paper, we propose to apply lightweight and dynamic convolution to E2E ASR as an alternative architecture to the self-attention to make the computational order linear. We also propose joint training with connectionist temporal classification, convolution on the frequency axis, and combination with self-attention. With these techniques, the proposed architectures achieve better performance than RNN-based E2E model and performance competitive to state-of-the-art Transformer on various ASR benchmarks including noisy/reverberant tasks.


title: Performance benefits of Intel(R) OptaneTM DC persistent memory for the parallel processing of large neuroimaging data

abstract: Open-access neuroimaging datasets have reached petabyte scale, and continue to grow. The ability to leverage the entirety of these datasets is limited to a restricted number of labs with both the capacity and infrastructure to process the data. Whereas Big Data engines have significantly reduced application performance penalties with respect to data movement, their applied strategies (e.g. data locality, in-memory computing and lazy evaluation) are not necessarily practical within neuroimaging workflows where intermediary results may need to be materialized to shared storage for post-processing analysis. In this paper we evaluate the performance advantage brought by Intel(R) OptaneTM DC persistent memory for the processing of large neuroimaging datasets using the two available configurations modes: Memory mode and App Direct mode. We employ a synthetic algorithm on the 76 GiB and 603 GiB BigBrain, as well as apply a standard neuroimaging application on the Consortium for Reliability and Reproducibility (CoRR) dataset using 25 and 96 parallel processes in both cases. Our results show that the performance of applications leveraging persistent memory is superior to that of other storage devices,with the exception of DRAM. This is the case in both Memory and App Direct mode and irrespective of the amount of data and parallelism. Furthermore, persistent memory in App Direct mode is believed to benefit from the use of DRAM as a cache for writing when output data is significantly smaller than available memory. We believe the use of persistent memory will be beneficial to both neuroimaging applications running on HPC or visualization of large, high-resolution images.


title: Probing the top Yukawa coupling at the LHC via associated production of single top and Higgs

abstract: We study Higgs boson production associated with single top or anti-top via $t$-channel weak boson exchange at the LHC. The process is an ideal probe of the top quark Yukawa coupling, because we can measure the relative phase of $htt$ and $hWW$ couplings, thanks to the significant interference between the two amplitudes. By choosing the emitted $W$ momentum along the polar axis in the $th\,(\bar{t}h)$ rest frame, we obtain the helicity amplitudes for all the contributing subprocesses analytically, with possible CP phase of the Yukawa coupling. We study the azimuthal asymmetry between the $W$ emission and the $Wb\,(\bar{b})\to t(\bar{t})\,h$ scattering planes, as well as several $t$ and $\bar{t}$ polarization asymmetries as a signal of CP violating phase in the $htt$ coupling. Both the azimuthal asymmetry and the polarization perpendicular to the scattering plane are found to have the opposite sign between the top and anti-top events. We identify the origin of the sign of asymmetries, and propose the possibility of direct CP violation test in $pp$ collisions by comparing the top and anti-top polarization at the LHC.


title: Small bandgap features achieved in atomically precise 17-atom-wide armchair-edged graphene nanoribbons

abstract: Graphene nanoribbons (GNRs) synthesized using a bottom-up technique potentially enable future electronic devices owing to the tunable electronic structures depending on the well-defined width and edge geometry. For instance, armchair-edged GNRs (AGNRs) exhibit width-dependent bandgaps. However, the bandgaps of AGNRs synthesized experimentally thus far are relatively large, well above 1 eV. Such a large bandgap may deteriorate device performances due to large Schottky barriers and carrier effective masses. We describe the bottom-up synthesis of AGNRs with a smaller bandgap using dibromobenzene-based precursors. Two types of AGNRs with different widths of 17 and 13 carbon atoms were synthesized on Au(111), and their atomic and electronic structures were investigated by scanning probe microscopy and spectroscopy. We reveal that the 17-AGNRs has the smallest bandgap as well as the smallest electron/hole effective mass among bottom-up AGNRs reported thus far. The successful synthesis of 17-AGNRs is a significant step toward the development of GNR-based electronic devices.


title: Thermodynamic Uncertainty Relation for Arbitrary Initial States

abstract: The thermodynamic uncertainty relation (TUR) describes a trade-off relation between nonequilibrium currents and entropy production and serves as a fundamental principle of nonequilibrium thermodynamics. However, currently known TURs presuppose either specific initial states or an infinite-time average, which severely limits the range of applicability. Here we derive a finite-time TUR valid for arbitrary initial states from the Cram\'er-Rao inequality. We find that the variance of an accumulated current is bounded by the instantaneous current at the final time, which suggests that ``the boundary is constrained by the bulk". We apply our results to feedback-controlled processes and successfully explain a recent experiment which reports a violation of a modified TUR with feedback control. We also derive a TUR that is linear in the total entropy production and valid for discrete-time Markov chains with non-steady initial states. The obtained bound exponentially improves the existing bounds in a discrete-time regime.


title: A further result on the aging properties of an extended additive hazard model

abstract: The passing of time is an important factor for covariates in the additive and proportional hazard models. According to this idea, the extended additive hazard model (EAHM) is introduced by considering the time-varying effects of covariates and is investigated several properties of this model related to reliability analysis. In this paper, we obtain a further result for the EAHM with respect to the aging properties.


title: Twinless articulation points and some related problems

abstract: Let $G=(V,E)$ be a twinless strongly connected graph. a vertex $v\in V$ is a twinless articulation point if the subrgraph obtained from $G$ by removing the vertex $v$ is not twinless strongly connected. An edge $e\in E$ is a twinless bridge if the subgraph obtained from $G$ by deleting $e$ is not twiless strongly connected graph. In this paper we study twinless articulation points and twinless bridges. We also study the problem of finding a minimum cardinality edge subset $E_{1} \subseteq E$ such that the subgraph $(V,E_{1})$ is twinless strongly connected. Moreover, we present an algorithm for computing the $2$-vertex-twinless connected components of $G$.


title: Unified probability explanation for ghost imaging with thermal light

abstract: Ghost imaging (GI) is an intriguing imaging technology which achieves the object images through intensity correlation between reference patterns and bucket signal. Here, we propose a probability model to explain the imaging mechanism of this modality, by assuming that the reference patterns fulfill an arbitrary identical distribution and that the objects are of gray-scale. We have proven that the probability of the reconstructed pixel values in the pixel region of the same original gray value obeys a Gaussian distribution, no matter which functional form of the reference patterns is used in correlation calculation. Both simulation and experiments have demonstrated that the probability of recovered pixel values are highly consistent with their Gaussian theoretical distribution, while their variance explains the appearance of reconstruction noise. In addition, we have also extend this theory to other classic correlation functions, e.g., normalized GI and differential GI. The results have shown that there is a linear relationship between reconstruction means in specified pixel regions and original gray values, which might provide a unified explanation for GI with thermal light.


title: On clustering uncertain and structured data with Wasserstein barycenters and a geodesic criterion for the number of clusters

abstract: In this work clustering schemes for uncertain and structured data are considered relying on the notion of Wasserstein barycenters, accompanied by appropriate clustering indices based on the intrinsic geometry of the Wasserstein space where the clustering task is performed. Such type of clustering approaches are highly appreciated in many fields where the observational/experimental error is significant (e.g. astronomy, biology, remote sensing, etc.) or the data nature is more complex and the traditional learning algorithms are not applicable or effective to treat them (e.g. network data, interval data, high frequency records, matrix data, etc.). Under this perspective, each observation is identified by an appropriate probability measure and the proposed clustering schemes rely on discrimination criteria that utilize the geometric structure of the space of probability measures through core techniques from the optimal transport theory. The advantages and capabilities of the proposed approach and the geodesic criterion performance are illustrated through a simulation study and the implementation in two real world applications: (a) clustering eurozone countries according to their observed government bond yield curves and (b) classifying the areas of a satellite image to certain land uses categories, a standard task in remote sensing.


title: Electron Firehose Instabilities in High-$\beta$ ICM shocks

abstract: The preacceleration of electrons through reflection and shock drift acceleration (SDA) is essential for the diffusive shock acceleration (DSA) of nonthermal electrons in collisionless shocks. Previous studies suggested that, in weak quasi-perpendicular ($Q_\perp$) shocks in the high-$\beta$ ($\beta=P_{\rm gas}/P_{\rm B}$) intracluster medium (ICM), the temperature anisotropy due to SDA-reflected electrons can drive the electron firehose instability, which excites oblique nonpropagating waves in the shock foot. In this paper, we investigate, through a linear analysis and particle-in-cell (PIC) simulations, the firehose instabilities driven by an electron temperature anisotropy (ETAFI) and also by a drifting electron beam (EBFI) in $\beta\sim100$ ICM plasmas. The EBFI should be more relevant in describing the self-excitation of upstream waves in $Q_\perp$-shocks, since backstreaming electrons in the shock foot behave more like an electron beam rather than an anisotropic bi-Maxwellian population. We find that the basic properties of the two instabilities, such as the growth rate, $\gamma$, and the wavenumber of fast-growing oblique modes are similar in the ICM environment, with one exception; while the waves excited by the ETAFI are nonpropagating ($\omega_r=0$), those excited by the EBFI have a non-zero frequency ($\omega_r\neq0$). However, the frequency is small with $\omega_r<\gamma$. Thus, we conclude that the interpretation of previous studies for the nature of upstream waves based on the ETAFI remains valid in $Q_\perp$-shocks in the ICM.


title: SESS: Self-Ensembling Semi-Supervised 3D Object Detection

abstract: The performance of existing point cloud-based 3D object detection methods heavily relies on large-scale high-quality 3D annotations. However, such annotations are often tedious and expensive to collect. Semi-supervised learning is a good alternative to mitigate the data annotation issue, but has remained largely unexplored in 3D object detection. Inspired by the recent success of self-ensembling technique in semi-supervised image classification task, we propose SESS, a self-ensembling semi-supervised 3D object detection framework. Specifically, we design a thorough perturbation scheme to enhance generalization of the network on unlabeled and new unseen data. Furthermore, we propose three consistency losses to enforce the consistency between two sets of predicted 3D object proposals, to facilitate the learning of structure and semantic invariances of objects. Extensive experiments conducted on SUN RGB-D and ScanNet datasets demonstrate the effectiveness of SESS in both inductive and transductive semi-supervised 3D object detection. Our SESS achieves competitive performance compared to the state-of-the-art fully-supervised method by using only 50% labeled data. Our code is available at https://github.com/Na-Z/sess.


title: Cork twists and automorphisms of $3$-manifolds

abstract: Here we study two interesting smooth contractible manifolds, whose boundaries have non-trivial mapping class groups. The first one is a non-Stein contractible manifold, such that every self diffeomorphism of its boundary extends inside; implying that this manifold can not be a loose cork. The second example is a Stein contractible manifold which is a cork, with an interesting cork automorphism $f:\partial W \to \partial W$. By \cite{am} we know that any homotopy $4$-sphere is obtained gluing together two contractible Stein manifolds along their common boundaries by a diffeomorphism. We use the homotopy sphere $\Sigma = -W\smile_{f}W$ as a test case to investigate if it is $S^4$? We show that $\Sigma$ is a Gluck twisted $S^4$ twisted along a $2$-knot $S^{2}\hookrightarrow S^4$; by using this we obtain a $3$-handle free handlebody description of $\Sigma$ and then show $\Sigma \approx S^4$.


title: Triply charmed and bottom baryons in a constituent quark model

abstract: In this work, we study the mass spectrum of the $\Omega_{ccc}$ and $\Omega_{bbb}$ baryons up to the $N=2$ shell within a nonrelativistic constituent quark model (NRCQM). The model parameters are adopted from the determinations by fitting the charmonium and bottomonium spectra in our previous works. The masses of the $\Omega_{ccc}$ and $\Omega_{bbb}$ baryon states predicted in present work reasonably agree with the results obtained with the Lattice QCD calculations. Furthermore, to provide more knowledge of the $\Omega_{ccc}$ and $\Omega_{bbb}$ states, we evaluate their radiative decays with the available masses and wave functions from the potential model.


title: Bifurcation analysis of a density oscillator using two-dimensional hydrodynamic simulation

abstract: A density oscillator exhibits limit-cycle oscillations driven by the density difference of the two fluids. We performed two-dimensional hydrodynamic simulations with a simple model, and reproduced the oscillatory flow observed in experiments. As the density difference is increased as a bifurcation parameter, a damped oscillation changes to a limit-cycle oscillation through a supercritical Hopf bifurcation. We estimated the critical density difference at the bifurcation point and confirmed that the period of the oscillation remains finite even around the bifurcation point.


title: X-ray emissions from magnetic polar regions of neutron stars

abstract: Structures of X-ray emitting magnetic polar regions on neutron stars in X-ray pulsars are studied in a range of the accretion rate, 10$^{17}$ g s$^{-1} \sim 10^{18}$ g s$^{-1}$. It is shown that a thin but tall, radiation energy dominated, X-ray emitting polar cone appears at each of the polar regions. The height of the polar cone is several times as large as the neutron star radius. The energy gain due to the gravity of the neutron star in the polar cone exceeds the energy loss due to photon diffusion in the azimuthal direction of the cone, and a significant amount of energy is advected to the neutron star surface. Then, the radiation energy carried with the flow should become so large for the radiation pressure to overcome the magnetic pressure at the bottom of the cone. As a result, the matter should expand in the tangential direction along the neutron star surface, dragging the magnetic lines of force, and form a mound-like structure. The advected energy to the bottom of the cone should finally be radiated away from the surface of the polar mound and the matter should be settled on the neutron star surface there. From such configurations, we can expect an X-ray spectrum composed of a multi-color blackbody spectrum from the polar cone region and a quasi-single blackbody spectrum from the polar mound region. These spectral properties agree with observations. A combination of a fairly sharp pencil beam and a broad fan beam is expected from the polar cone region, while a broad pencil beam is expected from the polar mound region. With these X-ray beam properties, basic patterns of pulse profiles of X-ray pulsars can be explained too.


title: Part I: Improving Computational Efficiency of Communication for Omniscience

abstract: Communication for omniscience (CO) refers to the problem where the users in a finite set $V$ observe a discrete multiple random source and want to exchange data over broadcast channels to reach omniscience, the state where everyone recovers the entire source. This paper studies how to improve the computational complexity for the problem of minimizing the sum-rate for attaining omniscience in $V$. While the existing algorithms rely on the submodular function minimization (SFM) techniques and complete in $O(|V|^2 \cdot \text{SFM}(|V|)$ time, we prove the strict strong map property of the nesting SFM problem. We propose a parametric (PAR) algorithm that utilizes the parametric SFM techniques and reduce the the complexity to $O(|V| \cdot \text{SFM}(|V|)$. The output of the PAR algorithm is in fact the segmented Dilworth truncation of the residual entropy for all minimum sum-rate estimates $\alpha$, which characterizes the principal sequence of partitions (PSP) and solves some related problems: It not only determines the secret capacity, a dual problem to CO, and the network strength of a graph, but also outlines the hierarchical solution to a combinatorial clustering problem. \end{abstract}


title: Variational Metric Scaling for Metric-Based Meta-Learning

abstract: Metric-based meta-learning has attracted a lot of attention due to its effectiveness and efficiency in few-shot learning. Recent studies show that metric scaling plays a crucial role in the performance of metric-based meta-learning algorithms. However, there still lacks a principled method for learning the metric scaling parameter automatically. In this paper, we recast metric-based meta-learning from a Bayesian perspective and develop a variational metric scaling framework for learning a proper metric scaling parameter. Firstly, we propose a stochastic variational method to learn a single global scaling parameter. To better fit the embedding space to a given data distribution, we extend our method to learn a dimensional scaling vector to transform the embedding space. Furthermore, to learn task-specific embeddings, we generate task-dependent dimensional scaling vectors with amortized variational inference. Our method is end-to-end without any pre-training and can be used as a simple plug-and-play module for existing metric-based meta-algorithms. Experiments on mini-ImageNet show that our methods can be used to consistently improve the performance of existing metric-based meta-algorithms including prototypical networks and TADAM. The source code can be downloaded from https://github.com/jiaxinchen666/variational-scaling.


title: A connection between topological ligaments in shape optimization and thin tubular inhomogeneities

abstract: In this note, we propose a formal framework accounting for the sensitivity of a function of the domain with respect to the addition of a thin ligament. To set ideas, we consider the model setting of elastic structures, and we approximate this question by a thin tubular inhomogeneity problem: we look for the sensitivity of the solution to a partial differential equation posed inside a background medium, and that of a related quantity of interest, with respect to the inclusion of a thin tube filled with a different material. A practical formula for this sensitivity is derived, which lends itself to numerical implementation. Two applications of this idea in structural optimization are presented.


title: The Consistency of the $\bf{\Sigma^1_3}$-Separation Property

abstract: We generically construct a model in which the $\bf{\Sigma^1_3}$-separation property is true, i.e. every pair of disjoint $\bf{\Sigma^1_3}$-sets can be separated by a $\bf{\Delta^1_3}$-definable set. This answers an old question from the problem list $"$Surrealist landscape with figures$"$ by A. Mathias from 1968. We also construct a model in which the (lightface) $\Sigma^1_3$-separation property is true.


title: Observation of Shubnikov-de Haas Oscillations in Large-Scale Weyl Semimetal WTe2 Films

abstract: Topological Weyl semimetal WTe2 with large-scale film form has a promising prospect for new-generation spintronic devices. However, it remains a hard task to suppress the defect states in large-scale WTe2 films due to the chemical nature. Here, we significantly improve the crystalline quality and remove the Te vacancies in WTe2 films by post annealing. We observe the distinct Shubnikov-de Haas quantum oscillations in WTe2 films. The nontrivial Berry phase can be revealed by Landau fan diagram analysis. The Hall mobility of WTe2 films can reach 1245 cm2V-1s-1 and 1423 cm2V-1s-1 for holes and electrons with the carrier density of 5 * 10^19 cm^-3 and 2 * 10^19 cm^-3, respectively. Our work provides a feasible route to obtain high-quality Weyl semimetal films for the future topological quantum device applications.


title: A tokamak pertinent analytic equilibrium with plasma flow of arbitrary direction

abstract: An analytic solution to a generalized Grad-Shafranov equation with flow of arbitrary direction is obtained upon adopting the generic linearizing ansatz for the free functions related to the poloidal current, the static pressure and the electric field. Subsequently, a D-shaped tokamak pertinent equilibrium with sheared flow is constructed using the aforementioned solution.


title: Part II: A Practical Approach for Successive Omniscience

abstract: In Part I, we studied the communication for omniscience (CO) problem and proposed a parametric (PAR) algorithm to determine the minimum sum-rate at which a set of users indexed by a finite set $V$ attain omniscience. The omniscience in CO refers to the status that each user in $V$ recovers the observations of a multiple random source. It is called the global omniscience in this paper in contrast to the study of the successive omniscience (SO), where the local omniscience is attained subsequently in user subsets. By inputting a lower bound on the minimum sum-rate for CO, we apply the PAR algorithm to search a complimentary subset $X_* \subsetneq V$ such that if the local omniscience in $X_*$ is reached first, the global omniscience whereafter can still be attained with the minimum sum-rate. We further utilize the outputs of the PAR algorithm to outline a multi-stage SO approach that is characterized by $K \leq |V| - 1$ complimentary subsets $X_*^{(k)}, \forall k \in \{1,\dotsc,K\}$ forming a nesting sequence $X_*^{(1)} \subsetneq \dotsc \subsetneq X_*^{(K)} = V$. Starting from stage $k = 1$, the local omniscience in $X_*^{(k)}$ is attained at each stage $k$ until the final global omniscience in $X_*^{(K)} = V$. A $|X_*{(k)}|$-dimensional local omniscience achievable rate vector is also derived for each stage $k$ designating individual users transmitting rates. The sum-rate of this rate vector in the last stage $K$ coincides with the minimized sum-rate for the global omniscience.


title: Large deviation principle for harmonic/geometric/arithmetic mean of digits in backward continued fraction expansion

abstract: We establish the (level-1) large deviation principles for three kinds of means associated with the backward continued fraction expansion. We show that: for the harmonic and geometric means, the rate functions vanish exactly at one point; for the arithmetic mean, it is completely degenerate, vanishing at every point in its effective domain. Our method of proof employs the thermodynamic formalism for finite Markov shifts, and a multifractal analysis for the R\'enyi map generating the backward continued fraction digits. We completely determine the class of unbounded arithmetic functions for which the rate functions vanish at every point in unbounded intervals.


title: Experimental observation of third-order effect in magnetic small-angle neutron scattering

abstract: A recent theory [Metlov and Michels, Phys. Rev. B 91, 054404 (2015)] predicts a qualitatively new effect in the magnetic small-angle neutron scattering (SANS) cross section of statistically-isotropic disordered ferromagnetic media. The effect is due to the third-order terms in the amplitude of the inhomogeneities. Here, its existence is demonstrated both numerically via large-scale micromagnetic simulations and analyzed experimentally in a two-phase iron-based nanocomposite. The previous model is extended to an arbitrary spatial defect profile, which allows us to describe the experimental field dependence of the third-order SANS effect quantitatively.


title: Ranking Users in Social Networks with Motif-based PageRank

abstract: PageRank has been widely used to measure the authority or the influence of a user in social networks. However, conventional PageRank only makes use of edge-based relations, which represent first-order relations between two connected nodes. It ignores higher-order relations that may exist between nodes. In this paper, we propose a novel framework, motif-based PageRank (MPR), to incorporate higher-order relations into the conventional PageRank computation. Motifs are subgraphs consisting of a small number of nodes. We use motifs to capture higher-order relations between nodes in a network and introduce two methods, one linear and one non-linear, to combine PageRank with higher-order relations. We conduct extensive experiments on three real-world networks, namely, DBLP, Epinions, and Ciao. We study different types of motifs, including 3-node simple and anchor motifs, 4-node and 5-node motifs. Besides using single motif, we also run MPR with ensemble of multiple motifs. We also design a learning task to evaluate the abilities of authority prediction with motif-based features. All experimental results demonstrate that MPR can significantly improve the performance of user ranking in social networks compared to the baseline methods.


title: Temperature-Aware Virtual Data Center Embedding to Avoid Hot Spots in Data Centers

abstract: Virtual Data Center (VDC) embedding has drawn significant attention recently because of growing need for efficient and flexible means of Data Center (DC) resource allocation. Existing studies on VDC embedding mainly focus on improving DCs' resource utilization. However, an important problem that has not been considered in VDC embedding solutions is the creation of hot spots by excessive heat dissipation and hot air generation from racks in DCs, which have significant adverse effect on energy consumption of the cooling system and IT equipment lifespan. To address this issue, we propose a temperature-aware VDC embedding scheme to avoid hot spots by minimizing the maximum temperature of hot air emitted from each rack. Meanwhile, we also aim to reduce the total power consumption of IT equipment in this scheme. A Mixed Integer Linear Programming (MILP) model and a heuristic algorithm are developed to implement the proposed VDC embedding scheme. Numerical results show that the proposed temperature-aware embedding scheme can significantly outperforms a load-balanced embedding scheme in terms of maximum rack temperature, total power consumption of IT equipment, and VDC rejection ratio.


title: Nonlinear systems for unconventional computing

abstract: The search for new computational machines beyond the traditional von Neumann architecture has given rise to a modern area of nonlinear science -- development of unconventional computing -- requiring the efforts of mathematicians, physicists and engineers. Many analogue physical systems including nonlinear oscillator networks, lasers, and condensates were proposed and realised to address hard computational problems from various areas of social and physical sciences and technology. The analogue systems emulate spin Hamiltonians with continuous or discrete degrees of freedom to which actual optimisation problems can be mapped. Understanding the underlying physical process by which the system finds the ground state often leads to new classes of system-inspired or quantum-inspired algorithms for hard optimisation. Together physical platforms and related algorithms can be combined to form a hybrid architecture that may one day compete with conventional computing. In this Chapter, we review some of the systems and physically-inspired algorithms that show such promise.

categories: cs.ET cond-mat.dis-nn cond-mat.soft cs.CC nlin.AO


title: Effects of $150-1000$ eV Electron Impacts on Pure Carbon Monoxide Ices using the Interstellar Energetic-Process System (IEPS)

abstract: Pure CO ice has been irradiated with electrons of energy in the range $150-1000$~eV with the Interstellar Energetic-Process System (IEPS). The main products of irradiation are carbon chains C$_n$ ($n=3$, 5, 6, 8, 9, 10, 11, 12), suboxides, C$_n$O ($n=2$, 3, 4, 5, 6, 7), and C$_n$O$_2$ ($n=1$, 3, 4, 5, 7) species. \ce{CO2} is by far the most abundant reaction product in all the experiments. The destruction cross-section of CO peaks at about 250 eV, decreases with the energy of the electrons and is more than one order of magnitude higher than for gas-phase CO ionization. The production cross-section of carbon dioxide has been also derived and is characterized by the competition between chemistry and desorption. Desorption of CO and of new species during the radiolysis follows the electron distribution in the ice. Low energy electrons having short penetration depths induce significant desorption. Finally, as the ice thickness approaches the electron penetration depth the abundance of the products starts to saturate. Implications on the atmospheric photochemistry of cold planets hosting surface CO ices are also discussed.


title: Geometric properties of Clausen's Hypergeometric Function $_3F_2(a,b,c;d,e;z)$

abstract: The Clausen's Hypergeometric Function is given by $${}_3F_2(a,b,c;d,e;z) = \sum_{n=0}^\infty \frac{(a)_n(b)_n(c)_n}{(d)_n(e)_n(1)_n}z^n\, ; \ a,b,c,d,e\in \mathbb{C}$$ provided $d,\, e\, \neq 0,-1,-2,\cdots$ in unit disc $\mathbb{D} =\{z\in \mathbb{C} \,:\, |z|<1\}$. In this paper, an operator $\mathcal{I}_{a,b,c}(f)(z)$ involving Clausen's Hypergeometric Function by means of Hadamard Product is introduced. Geometric properties of $\mathcal{I}_{a,b,c}(f)(z)$ are obtained based on its Taylor's coefficient.


title: An Ensemble Rate Adaptation Framework for Dynamic Adaptive Streaming Over HTTP

abstract: Rate adaptation is one of the most important issues in dynamic adaptive streaming over HTTP (DASH). Due to the frequent fluctuations of the network bandwidth and complex variations of video content, it is difficult to deal with the varying network conditions and video content perfectly by using a single rate adaptation method. In this paper, we propose an ensemble rate adaptation framework for DASH, which aims to leverage the advantages of multiple methods involved in the framework to improve the quality of experience (QoE) of users. The proposed framework is simple yet very effective. Specifically, the proposed framework is composed of two modules, i.e., the method pool and method controller. In the method pool, several rate adap tation methods are integrated. At each decision time, only the method that can achieve the best QoE is chosen to determine the bitrate of the requested video segment. Besides, we also propose two strategies for switching methods, i.e., InstAnt Method Switching, and InterMittent Method Switching, for the method controller to determine which method can provide the best QoEs. Simulation results demonstrate that, the proposed framework always achieves the highest QoE for the change of channel environment and video complexity, compared with state-of-the-art rate adaptation methods.


title: Frequency up-conversion of an infrared image via a flat-top pump beam

abstract: The infrared imaging detection is an important and promising technology having wide applications. In this work, we report on the frequency up-conversion detection of an image based on sum frequency generation in a nonlinear crystal with a flat-top beam acting as the pump instead of a Gaussian beam, the up-converted image at 525 nm falls in the sensitive band of visible detectors and human eyes. Both theoretical simulations and the experimental results clearly demonstrate that using a flat-top beam as a pump can improve the fidelity of an image after the up-conversion compared with a Gaussian pump beam. Our scheme will be very promising for infrared image detection based on frequency up-conversion.


title: A note on the Coifman-Fefferman and Fefferman-Stein inequalities

abstract: A condition on a Banach function space $X$ is given under which the Coifman-Fefferman and Fefferman-Stein inequalities on $X$ are equivalent.


title: Special Cycles on Toroidal Compactifications of Orthogonal Shimura Varieties

abstract: We determine the behavior of automorphic Green functions along the boundary components of toroidal compactifications of orthogonal Shimura varieties. We use this analysis to define boundary components of special divisors and prove that the generating series of the resulting special divisors on a toroidal compactification is modular.


title: Re-analysis of the $^{24}$Mg($\alpha,\gamma$)$^{28}$Si reaction rate at stellar temperatures

abstract: The $^{24}$Mg($\alpha,\gamma$)$^{28}$Si reaction influences the production of magnesium and silicon isotopes during carbon burning and is one of eight reaction rates found to significantly impact the shape of calculated X-ray burst light curves. The reaction rate is based on measured resonance strengths and known properties of levels in $^{28}$Si. The $^{24}$Mg($\alpha,\gamma$)$^{28}$Si reaction rate has been re-evaluated including recent additional indirect data. The reaction rate is substantially unchanged from previously calculated rates, especially at astrophysically important temperatures. Increases in the reaction rate could occur at lower temperatures due to as-yet unmeasured resonances but these increases have little astrophysical impact. The $^{24}$Mg($\alpha,\gamma$)$^{28}$Si reaction rate at temperatures relevant to carbon burning and Type I X-ray bursts is well constrained by the available experimental data. This removes one reaction from the list of eight previously found to be important for X-ray burst light curve model-observation comparisons.


title: Area-covering postprocessing of ensemble precipitation forecasts using topographical and seasonal conditions

abstract: Probabilistic weather forecasts from ensemble systems require statistical postprocessing to yield calibrated and sharp predictive distributions. This paper presents an area-covering postprocessing method for ensemble precipitation predictions. We rely on the ensemble model output statistics (EMOS) approach, which generates probabilistic forecasts with a parametric distribution whose parameters depend on (statistics of) the ensemble prediction. A case study with daily precipitation predictions across Switzerland highlights that postprocessing at observation locations indeed improves high-resolution ensemble forecasts, with 4.5% CRPS reduction on average in the case of a lead time of 1 day. Our main aim is to achieve such an improvement without binding the model to stations, by leveraging topographical covariates. Specifically, regression coefficients are estimated by weighting the training data in relation to the topographical similarity between their station of origin and the prediction location. In our case study, this approach is found to reproduce the performance of the local model without using local historical data for calibration. We further identify that one key difficulty is that postprocessing often degrades the performance of the ensemble forecast during summer and early autumn. To mitigate, we additionally estimate on the training set whether postprocessing at a specific location is expected to improve the prediction. If not, the direct model output is used. This extension reduces the CRPS of the topographical model by up to another 1.7% on average at the price of a slight degradation in calibration. In this case, the highest improvement is achieved for a lead time of 4 days.


title: Orbitally-resolved ferromagnetism of monolayer CrI$_3$

abstract: Few-layer CrI$_3$ is the most known example among two-dimensional (2D) ferromagnets, which have attracted growing interest in recent years. Despite considerable efforts and progress in understanding the properties of 2D magnets both from theory and experiment, the mechanism behind the formation of in-plane magnetic ordering in chromium halides is still under debate. Here, we propose a microscopic orbitally-resolved description of ferromagnetism in monolayer CrI$_3$. Starting from first-principles calculations, we construct a low-energy model for the isotropic Heisenberg exchange interactions. We find that there are two competing contributions to the long-range magnetic ordering in CrI$_3$: (i) Antiferromagnetic Anderson's superexchange between half-filled $t_{2g}$ orbitals of Cr atoms; and (ii) Ferromagnetic exchange governed by the Kugel-Khomskii mechanism, involving the transitions between half-filled $t_{2g}$ and empty $e_g$ orbitals. Using numerical calculations, we estimate the exchange interactions in momentum-space, which allows us to restore the spin-wave spectrum, as well as estimate the Curie temperature. Contrary to the nearest-neighbor effective models, our calculations suggest the presence of sharp resonances in the spin-wave spectrum at 5--7 meV, depending on the vertical bias voltage. Our estimation of the Curie temperature in monolayer CrI$_3$ yields 55--65 K, which is in good agreement with experimental data.


title: Demonstration of focal length tuning by rotational varifocal moir\'e metalens in an ir-A wavelength

abstract: This paper reports an experimental demonstration of moir\'e metalens which shows wide focal length tunability from negative to positive by mutual angle rotation at the wavelength of 900 nm. The moir\'e metalens was developed using high index contrast transmitarray meta-atoms made of amorphous silicon octagonal pillars, which is designed to have polarization insensitivity and full 2$\pi$ phase coverage. The fabricated moir\'e metalens showed focal length tunability at the ranges between $\pm$1.73 -- $\pm$5 mm, which corresponds to the optical power ranges between $\pm$578 -- $\pm$200 m$^{-1}$ at the mutual rotation between $\pm$90 degrees.


title: Triangle singularity appearing as an $X(3872)$-like peak in $B\to (J/\psi\pi^+\pi^-) K\pi$

abstract: We consider a triangle diagram for $B^0\to (J/\psi\pi^+\pi^-) K^+\pi^-$ where an $X(3872)$ peak has been observed experimentally. We demonstrate that a triangle singularity inherent in the triangle diagram creates a sharp peak in the $J/\psi\pi^+\pi^-$ invariant mass distribution when the final $(J/\psi\pi^+\pi^-)\pi$ invariant mass is at and around the $D^*\bar D^*$ threshold. The position and width of the peak is 3871.68 MeV (a few keV above the $D^{*0}\bar{D}^0$ threshold) and $\sim$0.4 MeV, respectively, in perfect agreement with the precisely measured $X(3872)$ mass and width: $3871.69\pm 0.17$ MeV and $< 1.2$ MeV. This remarkable agreement is virtually parameter-free. The result indicates that the considered mechanism has to be understood in advance when separating an $X(3872)$-pole contribution from $B^0\to (J/\psi\pi^+\pi^-) K^+\pi^-$ data; the separation yields an $X(3872)\pi$ lineshape that could be used to determine the $X(3872)$ mass. We suggest a method to set a constraint on the triangle mechanism by analyzing a charge analogous process $B^0\to (J/\psi\pi^0\pi^-) K^+\pi^0$ where a similar triangle singularity generates an $X^-(3876)$-like peak.


title: Anomalous Communications Detection in IoT Networks Using Sparse Autoencoders

abstract: Nowadays, IoT devices have been widely deployed for enabling various smart services, such as, smart home or e-healthcare. However, security remains as one of the paramount concern as many IoT devices are vulnerable. Moreover, IoT malware are constantly evolving and getting more sophisticated. IoT devices are intended to perform very specific tasks, so their networking behavior is expected to be reasonably stable and predictable. Any significant behavioral deviation from the normal patterns would indicate anomalous events. In this paper, we present a method to detect anomalous network communications in IoT networks using a set of sparse autoencoders. The proposed approach allows us to differentiate malicious communications from legitimate ones. So that, if a device is compromised only malicious communications can be dropped while the service provided by the device is not totally interrupted. To characterize network behavior, bidirectional TCP flows are extracted and described using statistics on the size of the first N packets sent and received, along with statistics on the corresponding inter-arrival times between packets. A set of sparse autoencoders is then trained to learn the profile of the legitimate communications generated by an experimental smart home network. Depending on the value of N, the developed model achieves attack detection rates ranging from 86.9% to 91.2%, and false positive rates ranging from 0.1% to 0.5%.


title: Misspecified diffusion models with high-frequency observations and an application to neural networks

abstract: We study the asymptotic theory of misspecified models for diffusion processes with noisy nonsynchronous observations. Unlike with correctly specified models, the original maximum-likelihood-type estimator has an asymptotic bias under the misspecified setting and fails to achieve an optimal rate of convergence. To address this, we consider a new quasi-likelihood function that arrows constructing a maximum-likelihood-type estimator that achieves the optimal rate of convergence. Study of misspecified models enables us to apply machine-learning techniques to the maximum-likelihood approach. With these techniques, we can efficiently study the microstructure of a stock market by using rich information of high-frequency data. Neural networks have particularly good compatibility with the maximum-likelihood approach, so we will consider an example of using a neural network for simulation studies and empirical analysis of high-frequency data from the Tokyo Stock Exchange. We demonstrate that the neural network outperforms polynomial models in volatility predictions for major stocks in Tokyo Stock Exchange.


title: A Multi-Site Stochastic Weather Generator for High-Frequency Precipitation Using Censored Skew-Symmetric Distribution

abstract: Stochastic weather generators (SWGs) are digital twins of complex weather processes and widely used in agriculture and urban design. Due to improved measuring instruments, an accurate SWG for high-frequency precipitation is now possible. However, high-frequency precipitation data are more zero-inflated, skewed, and heavy-tailed than common (hourly or daily) precipitation data. Therefore, classical methods that either model precipitation occurrence independently of their intensity or assume that the precipitation follows a censored meta-Gaussian process may not be appropriate. In this work, we propose a novel multi-site precipitation generator that drives both occurrence and intensity by a censored non-Gaussian vector autoregression model with skew-symmetric dynamics. The proposed SWG is advantageous in modeling skewed and heavy-tailed data with direct physical and statistical interpretations. We apply the proposed model to 30-second precipitation based on the data obtained from a dense gauge network in Lausanne, Switzerland. In addition to reproducing the high-frequency precipitation, the model can provide accurate predictions as the long short-term memory (LSTM) network but with uncertainties and more interpretable results.


title: An analysis of isomorphic RPMD in the golden rule limit

abstract: We analyse the golden rule limit of the recently proposed isomorphic ring polymer (iso-RP) method. This method aims to combine an exact expression for the quantum mechanical partition function of a system with multiple electronic states with a pre-existing mixed quantum-classical (MQC) dynamics approximation, such as fewest switches surface hopping. Since the choice of the MQC method adds a degree of flexibility, we simplify the analysis by assuming that the dynamics used correctly reproduces the exact golden rule rate for a non-adiabatic (e.g., electron transfer) reaction in the high temperature limit. Having made this assumption, we obtain an expression for the iso-RP rate in the golden rule limit that is valid at any temperature. We then compare this rate with the exact rate for a series of simple spin-boson models. We find that the iso-RP method does not correctly predict how nuclear quantum effects affect the reaction rate in the golden rule limit. Most notably, it does not capture the quantum asymmetry in a conventional (Marcus) plot of the logarithm of the reaction rate against the thermodynamic driving force, and it also significantly overestimates the correct quantum mechanical golden rule rate for activationless electron transfer reactions. These results are analysed and their implications discussed for the applicability of the iso-RP method to more general non-adiabatic reactions.


title: Bacteria display optimal transport near surfaces -- bacteria as intermittent active chiral particles: trapped by hydrodynamics, escaping by adhesion

abstract: The near-surface swimming patterns of bacteria are strongly determined by the hydrodynamic interactions between bacteria and the surface, which trap bacteria in smooth circular trajectories that lead to inefficient surface exploration. Here, we show by combining experiments and a data-driven mathematical model that surface exploration of enterohemorrhagic Escherichia coli (EHEC) -- a pathogenic strain of E. coli causing serious illnesses such as bloody diarrhea -- results from a complex interplay between motility and transient surface adhesion events. These events allow EHEC to break the smooth circular trajectories and regulate their transport properties by the use stop-adhesion events that lead to a characteristic intermittent motion on surfaces. We find that the experimentally measured frequency of stop-adhesion events in EHEC is located at the value predicted by the developed mathematical model that maximizes bacterial surface diffusivity. We indicate that these results and the developed model apply to other bacterial strains on different surfaces, which suggests that swimming bacteria use transient adhesion to regulate surface motion.


title: Turbulence phenomena for viscous fluids. Vortices and instability

abstract: Through the Ginzburg-Landau and the Navier-Stokes equations, we study turbulence phenomena for viscous incompressible and compressible fluids by a second order phase transition. For this model, the velocity is defined by the sum of classical and whirling components. Moreover, the laminar-turbulent transition is controlled by rotational effects of the fluid. Hence, the thermodynamic compatibility of the differential system is proved. The same model is used to understand the origins of tornadoes and their behavior and the birth of the vortices resulting from the fall of water in a vertical tube. Finally, we demonstrate how the weak Coriolis force is able to change the rotation direction of the vortices by modifying the minima of the Ginzburg-Landau equation. Hence, we conclude the paper with the differential system describing the water vorticity and its thermodynamic compatibility.


title: Factorization of Polynomials over the Field of Rational Numbers

abstract: In this paper, a randomized algorithm for deciding the irreducibility of an irreducible polynomial and factoring a reducible polynomial over the field of rational numbers is presented. The main idea underlying the algorithm is based on conversion of a given polynomial into a polynomial with integer coefficients and reduction to mod p, for several large prime numbers p, without applying a lifting method.


title: Efficiency Maximization for UAV-Enabled Mobile Relaying Systems with Laser Charging

abstract: This work studies the joint problem of power and trajectory optimization in an unmanned aerial vehicle (UAV)-enabled mobile relaying system. In the considered system, in order to provide convenient and sustainable energy supply to the UAV relay, we consider the deployment of a power beacon (PB) which can wirelessly charge the UAV and it is realized by a properly designed laser charging system. To this end, we propose an efficiency (the weighted sum of the energy efficiency during information transmission and wireless power transmission efficiency) maximization problem by optimizing the source/UAV/PB transmit powers along with the UAV's trajectory. This optimization problem is also subject to practical mobility constraints, as well as the information-causality constraint and energy-causality constraint at the UAV. Different from the commonly used alternating optimization (AO) algorithm, two joint design algorithms, namely: the concave-convex procedure (CCCP) and penalty dual decomposition (PDD)-based algorithms, are presented to address the resulting non-convex problem, which features complex objective function with multiple-ratio terms and coupling constraints. These two very different algorithms are both able to achieve a stationary solution of the original efficiency maximization problem. Simulation results validate the effectiveness of the proposed algorithms.


title: A search for anomalous Cherenkov rings

abstract: The results of a search with the DELPHI Barrel RICH for Cherenkov rings having radii greater than those produced by ultrarelativistic particles are presented. The search for such anomalous rings is based on the data collected by the DELPHI Collaboration at CERN during the LEP1 and LEP2 periods. The DELPHI RICH detector was conceived for the identification of the stable and quasi-stable hadrons ($\pi/K/p$). The present analysis was made investigating electron-like particles. A subsample of events containing anomalous rings has been identified for which the probability that the reconstructed rings in a given event are due to fortuitous combinations of background hits is low ($10^{-3}$ or less). A detailed study of background sources capable of producing apparently anomalous rings has been done; it indicates that the background hypothesis has a low probability. Additional arguments against this hypothesis are provided by by a comparison of rates of events with single and double anomalous rings in the gaseous radiator, and by the observation of a high degree of correlation between anomalous ring radii in the liquid and gaseous radiators. The results of the present analysis provide an interesting indication of the existence of anomalous Cherenkov rings. To corroborate this indication further searches for anomalous rings need to be made in future dedicated experiments. This work has been performed by the authors following the rules for external access to the DELPHI archived data, as established in http://delphiwww.cern.ch/delsec/finalrules/FINALrules011203.pdf The opinions, findings and conclusions expressed in this material are those of the authors alone and do not reflect in any way the views of the DELPHI Collabora


title: Multiple Access Visible Light Communication using a Single Photo-Receptor

abstract: The directionality of optical signals provides an opportunity for efficient space reuse of optical links in visible light communication (VLC). Space reuse in VLC can enable multiple access communication from multiple light emitting transmitters. However, traditional VLC system design using photo-receptors requires at least one receiving photodetector element for each light emitter, thus constraining VLC to always require a light emitter-to-light receiving element pair. In this paper, we propose, design and evaluate a novel architecture for VLC that can enable multiple-access reception using a photoreceptor receiver that uses only a single photodiode. The novel design includes a liquid-crystal-display (LCD) based shutter system that can be automated to control and enable selective reception of light beams from multiple transmitters. We evaluate the feasibility of multiple access on a single photodiode from two light emitting diode (LED) transmitters and the performance of the communication link using bit-error-rate (BER) and packet-error-rate (PER) metrics. Our experiment and trace based evaluation reveals the feasibility of multiple LED reception on a single photodiode and estimated throughput of the order of Mbps.


title: Non-uniqueness in law of stochastic 3D Navier--Stokes equations

abstract: We consider the stochastic Navier--Stokes equations in three dimensions and prove that the law of analytically weak solutions is not unique. In particular, we focus on three examples of a stochastic perturbation: an additive, a linear multiplicative and a nonlinear noise of cylindrical type, all driven by a Wiener process. In these settings, we develop a stochastic counterpart of the convex integration method introduced recently by Buckmaster and Vicol. This permits to construct probabilistically strong and analytically weak solutions defined up to a suitable stopping time. In addition, these solutions fail the corresponding energy inequality at a prescribed time with a prescribed probability. Then we introduce a general probabilistic construction used to extend the convex integration solutions beyond the stopping time and in particular to the whole time interval $[0,\infty)$. Finally, we show that their law is distinct from the law of solutions obtained by Galerkin approximation. In particular, non-uniqueness in law holds on an arbitrary time interval $[0,T]$, $T>0$.


title: Background Field Method in Thermo Field Dynamics Theory for Wave Propagation in Unmagnetized Spinor QED Plasmas

abstract: In this work, a many body relativistic quantum field theory for the collective modes of spinor quantum electrodynamic theory (QED) plasmas is developed. We introduce the thermo field dynamics into the QED plasma study. The nontrivial background field method is used to take account of the non-perturbativity of background charged plasma particles and radiation field. It is an extension of "Furry picture" which is first introduced by Yuan Shi, et al. [Phys. Rev. A 94, 012124 (2016)] in their scalar QED plasma study. However, their wave function method in evaluating the background field of ideal system is hard to extend to the general many body cases. We propose a classical limit method that most perturbative high energy and quantum many body aspects can be included in a practical way. As an example, the wave propagation in unmagnetized electron-positron plasma is discussed. In the low energy limit case, the well known wave dispersion relations for non-relativistic degenerate plasma are recovered. In addition, mass increase of plasma particles due to the relativity, effective charge decrease due to the vacuum polarization, finite light velocity influence on the dispersion relation, and temperature influence on plasma system are discussed. Besides, new phenomenons including the zero sound of the electron-positron pair plasma and the particle production induced by the plasma oscillation are first reported. At last, the high energy limit case is studied.


title: History-based Anomaly Detector: an Adversarial Approach to Anomaly Detection

abstract: Anomaly detection is a difficult problem in many areas and has recently been subject to a lot of attention. Classifying unseen data as anomalous is a challenging matter. Latest proposed methods rely on Generative Adversarial Networks (GANs) to estimate the normal data distribution, and produce an anomaly score prediction for any given data. In this article, we propose a simple yet new adversarial method to tackle this problem, denoted as History-based anomaly detector (HistoryAD). It consists of a self-supervised model, trained to recognize 'normal' samples by comparing them to samples based on the training history of a previously trained GAN. Quantitative and qualitative results are presented evaluating its performance. We also present a comparison to several state-of-the-art methods for anomaly detection showing that our proposal achieves top-tier results on several datasets.


title: Efficient Video Semantic Segmentation with Labels Propagation and Refinement

abstract: This paper tackles the problem of real-time semantic segmentation of high definition videos using a hybrid GPU / CPU approach. We propose an Efficient Video Segmentation(EVS) pipeline that combines: (i) On the CPU, a very fast optical flow method, that is used to exploit the temporal aspect of the video and propagate semantic information from one frame to the next. It runs in parallel with the GPU. (ii) On the GPU, two Convolutional Neural Networks: A main segmentation network that is used to predict dense semantic labels from scratch, and a Refiner that is designed to improve predictions from previous frames with the help of a fast Inconsistencies Attention Module (IAM). The latter can identify regions that cannot be propagated accurately. We suggest several operating points depending on the desired frame rate and accuracy. Our pipeline achieves accuracy levels competitive to the existing real-time methods for semantic image segmentation(mIoU above 60%), while achieving much higher frame rates. On the popular Cityscapes dataset with high resolution frames (2048 x 1024), the proposed operating points range from 80 to 1000 Hz on a single GPU and CPU.


title: Chebyshev moments and Riordan involutions

abstract: We show that the coefficient array of a family of Chebyshev moments defines an involution in the group of Riordan arrays. We then extend this result to certain families of $d$-orthogonal polynomials.


title: Reaction processes among self-propelled particles

abstract: We study a system of self-propelled disks that perform run-and-tumble motion, where particles can adopt more than one internal state. One of those internal states can be transmitted to another particle if the particle carrying this state maintains physical contact with another particle for a finite period of time. We refer to this process as a reaction process and to the different internal states as particle species making an analogy to chemical reactions. The studied system may fall into an absorbing phase, where due to the disappearance of one of the particle species no further reaction can occur or remain in an active phase where particles constantly react. Combining individual-based simulations and mean-field arguments, we study the dependence of the equilibrium densities of particle species with motility parameters, specifically the active speed $v_0$ and tumbling frequency $\lambda$. We find that the equilibrium densities of particle species exhibit two very distinct, non-trivial scaling regimes with $v_0$ and $\lambda$ depending on whether the system is in the so-called ballistic or diffusive regime. Our mean-field estimates lead to an effective renormalization of reaction rates that allow building the phase-diagram $v_0$--$\lambda$ that separates the absorbing and active phase. We find an excellent agreement between numerical simulations and estimates. This study is a necessary step to an understanding of phase transitions into an absorbing state in active systems and sheds light on the spreading of information/signaling among moving elements.


title: Edge Caching with Real-Time Guarantees

abstract: In recent years, optimization of the success transmission probability in wireless cache-enabled networks has been studied extensively. However, few works have concerned about the real-time performance of the cache-enabled networks. In this paper, we investigate the performance of the cache-enabled with real-time guarantees by adopting the age of information (AoI) as the metric to characterize the timeliness of the delivered information. We establish a spatial-temporal model by utilizing the stochastic geometry and queuing theory which captures both the temporal traffic dynamics and the interferers' geographic distribution. Under the random caching framework, we achieve the closed-form expression of AoI by adopting the maximum average received power criterion for the user association. Finally, we formulate a convex optimization problem for the minimization of the Peak AoI (PAoI) and obtain the optimal caching probabilities by utilizing the Karush-Kuhn-Tucker (KKT) conditions. Numerical results demonstrate that the random caching strategy is a better choice rather than the most popular content and uniform caching strategy to improve the real-time performance for the cached file as well as maintaining the file diversity at a relatively high level.


title: Quantifying the Trendiness of Trends

abstract: News media often report that the trend of some public health outcome has changed. These statements are frequently based on longitudinal data, and the change in trend is typically found to have occurred at the most recent data collection time point - if no change had occurred the story is less likely to be reported. Such claims may potentially influence public health decisions on a national level. We propose two measures for quantifying the trendiness of trends. Assuming that reality evolves in continuous time we define what constitutes a trend and a change in trend, and introduce a probabilistic Trend Direction Index. This index has the interpretation of the probability that a latent characteristic has changed monotonicity at any given time conditional on observed data. We also define an index of Expected Trend Instability quantifying the expected number of changes in trend on an interval. Using a latent Gaussian Process model we show how the Trend Direction Index and the Expected Trend Instability can be estimated in a Bayesian framework and use the methods to analyze the proportion of smokers in Denmark during the last 20 years, and the development of new COVID-19 cases in Italy from February 24th onwards.


title: Fault Tolerance in SDN Data Plane Considering Network and Application Based Metrics

abstract: Failures in networks result in service disruptions which may cause deteriorated Quality of Service (QoS) for the end users. Since SDN is becoming the mainstream paradigm for networks, implementation of a robust fault tolerance scheme for SDN-based networks is crucial. Existing SDN data plane fault tolerance approaches can be classified as reactive and proactive which may or may not rely on the controller, respectively. However, none of them qualifies as a complete solution, providing only partial remedies. In this work, we propose Dynamic Protection with Quality of Alternative Paths (DPQoAP) that considers not only the existing faults within the network but also the quality of alternative paths. As a result, we can sustain the QoS throughout the network after the recovery. We also investigate how application based parameters are affected by link failures. To this end, we explore the change in Quality of Experience (QoE) caused by link failures under different cases using Dynamic Adaptive Streaming over HTTP (DASH) for video streaming. On the other hand, even though DASH is proposed as a solution to improve the QoE affected by the dynamic conditions of the networks, it remains insufficient to handle the congested links that show the symptoms of a link failure. Thus, we apply the data plane fault tolerance approach in SDN to improve the QoE of DASH clients in the case of congestion as well as the failure. The performance of the proposed solutions are evaluated through various experiments considering the QoS and QoE parameters. It is observed that DPQoAP enhances the efficiency of the networking operations and adaptability of the applications.


title: Graph Embedded Pose Clustering for Anomaly Detection

abstract: We propose a new method for anomaly detection of human actions. Our method works directly on human pose graphs that can be computed from an input video sequence. This makes the analysis independent of nuisance parameters such as viewpoint or illumination. We map these graphs to a latent space and cluster them. Each action is then represented by its soft-assignment to each of the clusters. This gives a kind of "bag of words" representation to the data, where every action is represented by its similarity to a group of base action-words. Then, we use a Dirichlet process based mixture, that is useful for handling proportional data such as our soft-assignment vectors, to determine if an action is normal or not. We evaluate our method on two types of data sets. The first is a fine-grained anomaly detection data set (e.g. ShanghaiTech) where we wish to detect unusual variations of some action. The second is a coarse-grained anomaly detection data set (e.g., a Kinetics-based data set) where few actions are considered normal, and every other action should be considered abnormal. Extensive experiments on the benchmarks show that our method performs considerably better than other state of the art methods.


title: Electromagnetism in Curved Spacetimes: Coupling of the Doppler and Gravitational Redshifts

abstract: We present the basic prerequisites of electromagnetism in flat spacetime and provide the description of electromagnetism in terms of the Faraday tensor. We generalise electromagnetic theory to a general relativistic setting, introducing the Einstein field equations to describe the propagation of electromagnetic radiation in curved space-time. We investigate gravitational redshift and derive formulae for the combined effect of gravitational redshift and the Doppler shift in curved spacetime.


title: Benchmarking Adversarial Robustness

abstract: Deep neural networks are vulnerable to adversarial examples, which becomes one of the most important research problems in the development of deep learning. While a lot of efforts have been made in recent years, it is of great significance to perform correct and complete evaluations of the adversarial attack and defense algorithms. In this paper, we establish a comprehensive, rigorous, and coherent benchmark to evaluate adversarial robustness on image classification tasks. After briefly reviewing plenty of representative attack and defense methods, we perform large-scale experiments with two robustness curves as the fair-minded evaluation criteria to fully understand the performance of these methods. Based on the evaluation results, we draw several important findings and provide insights for future research.


title: Domain Adaptation Regularization for Spectral Pruning

abstract: Deep Neural Networks (DNNs) have recently been achieving state-of-the-art performance on a variety of computer vision related tasks. However, their computational cost limits their ability to be implemented in embedded systems with restricted resources or strict latency constraints. Model compression has therefore been an active field of research to overcome this issue. Additionally, DNNs typically require massive amounts of labeled data to be trained. This represents a second limitation to their deployment. Domain Adaptation (DA) addresses this issue by allowing knowledge learned on one labeled source distribution to be transferred to a target distribution, possibly unlabeled. In this paper, we investigate on possible improvements of compression methods in DA setting. We focus on a compression method that was previously developed in the context of a single data distribution and show that, with a careful choice of data to use during compression and additional regularization terms directly related to DA objectives, it is possible to improve compression results. We also show that our method outperforms an existing compression method studied in the DA setting by a large margin for high compression rates. Although our work is based on one specific compression method, we also outline some general guidelines for improving compression in DA setting.


title: On continuation criteria for the full compressible Navier-Stokes equations in Lorentz spaces

abstract: In this paper, we derive several new sufficient conditions of non-breakdown of strong solutions for for both the 3D heat-conducting compressible Navier-Stokes system and nonhomogeneous incompressible Navier-Stokes equations. First, it is shown that there exists a positive constant $\varepsilon$ such that the solution $(\rho,u,\theta)$ to full compressible Navier-Stokes equations can be extended beyond $t=T$ provided that one of the following two conditions holds (1) $\rho \in L^{\infty}(0,T;L^{\infty}(\mathbb{R}^{3}))$, $u\in L^{p,\infty}(0,T;L^{q,\infty}(\mathbb{R}^{3}))$ and $$\| u\|_{L^{p,\infty}(0,T;L^{q,\infty}(\mathbb{R}^{3}))}\leq \varepsilon, ~~\text{with}~~ {2/p}+ {3/q}=1,\ \ q>3;$$ (2) $\lambda<3\mu,$ $\rho \in L^{\infty}(0,T;L^{\infty}(\mathbb{R}^{3}))$, $\theta\in L^{p,\infty}(0,T;L^{q,\infty}(\mathbb{R}^{3}))$ and $$\|\theta\|_{L^{p,\infty}(0,T; L^{q,\infty}(\mathbb{R}^{3}))}\leq \varepsilon, ~~\text{with}~~ {2/p}+ {3/q}=2,\ \ q>3/2.$$ To the best of our knowledge, this is the first continuation theorem allowing the time direction to be in Lorentz spaces for the compressible fluid. Second, we establish some blow-up criteria in anisotropic Lebesgue spaces to the full Navier-Stokes system. Third, without the condition on $\rho$ in (0.1) and (0.3), the results also hold for the 3D nonhomogeneous incompressible Navier-Stokes equations. The appearance of vacuum in these systems could be allowed.


title: Software Effort Estimation using Neuro Fuzzy Inference System: Past and Present

abstract: Most important reason for project failure is poor effort estimation. Software development effort estimation is needed for assigning appropriate team members for development, allocating resources for software development, binding etc. Inaccurate software estimation may lead to delay in project, over-budget or cancellation of the project. But the effort estimation models are not very efficient. In this paper, we are analyzing the new approach for estimation i.e. Neuro Fuzzy Inference System (NFIS). It is a mixture model that consolidates the components of artificial neural network with fuzzy logic for giving a better estimation.


title: A Comparative Study on Machine Learning Algorithms for the Control of a Wall Following Robot

abstract: A comparison of the performance of various machine learning models to predict the direction of a wall following robot is presented in this paper. The models were trained using an open-source dataset that contains 24 ultrasound sensors readings and the corresponding direction for each sample. This dataset was captured using SCITOS G5 mobile robot by placing the sensors on the robot waist. In addition to the full format with 24 sensors per record, the dataset has two simplified formats with 4 and 2 input sensor readings per record. Several control models were proposed previously for this dataset using all three dataset formats. In this paper, two primary research contributions are presented. First, presenting machine learning models with accuracies higher than all previously proposed models for this dataset using all three formats. A perfect solution for the 4 and 2 inputs sensors formats is presented using Decision Tree Classifier by achieving a mean accuracy of 100%. On the other hand, a mean accuracy of 99.82% was achieves using the 24 sensor inputs by employing the Gradient Boost Classifier. Second, presenting a comparative study on the performance of different machine learning and deep learning algorithms on this dataset. Therefore, providing an overall insight on the performance of these algorithms for similar sensor fusion problems. All the models in this paper were evaluated using Monte-Carlo cross-validation.


title: On pairs of quadratic forms in five variables

abstract: In this article, we obtain an upper bound for the number of integral solutions, of given height, of system of two quadratic forms in five variables. Our bound is an improvement over the bound given by Henryk Iwaniec and Ritabrata Munshi in \cite{H-R}.


title: Maximising with-profit pensions without guarantees

abstract: Currently, pension providers are running into trouble mainly due to the ultra-low interest rates and the guarantees associated to some pension benefits. With the aim of reducing the pension volatility and providing adequate pension levels with no guarantees, we carry out mathematical analysis of a new pension design in the accumulation phase. The individual's premium is split into the individual and collective part and invested in funds. In times when the return from the individual fund exits a predefined corridor, a certain number of units is transferred to or from the collective account smoothing in this way the volatility of the individual fund. The target is to maximise the total accumulated capital, consisting of the individual account and a portion of the collective account due to a so-called redistribution index, at retirement by controlling the corridor width. We also discuss the necessary and sufficient conditions that have to be put on the redistribution index in order to avoid arbitrage opportunities for contributors.


title: Space- and Time-Efficient Storage of LiDAR Point Clouds

abstract: LiDAR devices obtain a 3D representation of a space. Due to the large size of the resulting datasets, there already exist storage methods that use compression and present some properties that resemble those of compact data structures. Specifically, LAZ format allows accesses to a given datum or portion of the data without having to decompress the whole dataset and provides indexation of the stored data. However, LAZ format still have some drawbacks that should be faced. In this work, we propose a new compact data structure for the representation of a cloud of LiDAR points that supports efficient queries, providing indexing capabilities that are superior to those of LAZ format.


title: Strong local moment antiferromagnetic spin fluctuations in V-doped LiFeAs

abstract: We use neutron scattering to study vanadium (hole)-doped LiFe$_{1-x}$V$_x$As. In the undoped state, LiFeAs exhibits superconductivity at $T_c=18$ K and transverse incommensurate spin excitations similar to electron overdoped iron pnictides. Upon vanadium-doping to form LiFe$_{0.955}$V$_{0.045}$, the transverse incommensurate spin excitations in LiFeAs transform into longitudinally elongated in a similar fashion as that of potassium (hole) doped Ba$_{0.7}$K$_{0.3}$Fe$_2$As$_2$, but with dramatically enhanced magnetic scattering and elimination of superconductivity. This is different from the suppression of the overall magnetic excitations in hole doped BaFe$_2$As$_2$ and the enhancement of superconductivity near optimal hole doping. These results are consistent with density function theory plus dynamic mean field theory calculations, suggesting that vanadium-doping in LiFeAs may induce an enlarged effective magnetic moment $S_{eff}$ with a spin crossover ground state arising from the inter-orbital scattering of itinerant electrons.


title: A Review on Intelligent Object Perception Methods Combining Knowledge-based Reasoning and Machine Learning

abstract: Object perception is a fundamental sub-field of Computer Vision, covering a multitude of individual areas and having contributed high-impact results. While Machine Learning has been traditionally applied to address related problems, recent works also seek ways to integrate knowledge engineering in order to expand the level of intelligence of the visual interpretation of objects, their properties and their relations with their environment. In this paper, we attempt a systematic investigation of how knowledge-based methods contribute to diverse object perception tasks. We review the latest achievements and identify prominent research directions.


title: Symplectic structures on Teichm\"uller spaces $\mathfrak T_{g,s,n}$ and cluster algebras

abstract: We recall the fat-graph description of Riemann surfaces $\Sigma_{g,s,n}$ and the corresponding Teichm\"uller spaces $\mathfrak T_{g,s,n}$ with $s>0$ holes and $n>0$ bordered cusps in the hyperbolic geometry setting. If $n>0$, we have a bijection between the set of Thurston shear coordinates and Penner's $\lambda$-lengths and we can induce, on the one hand, the Poisson bracket on $\lambda$-lengths from the Poisson bracket on shear coordinates introduced by V.V.Fock in 1997 and, on the other hand, a symplectic structure $\Omega_{\text{WP}}$ on the set of extended shear coordinates from Penner's symplectic structure on $\lambda$-lengths. We derive $\Omega_{\text{WP}}$, which turns out to be similar to the Kontsevich symplectic structure for $\psi$-classes in complex-analytic geometry, and demonstrate that it is indeed inverse to the Fock Poisson structure.


title: Regularity of the Hamiltonian along Optimal Trajectories

abstract: This paper concerns state constrained optimal control problems, in which the dynamic constraint takes the form of a differential inclusion. If the differential inclusion does not depend on time, then the Hamiltonian, evaluated along the optimal state trajectory and the co-state trajectory, is independent of time. If the differential inclusion is Lipschitz continuous, then the Hamitonian, evaluated along the optimal state trajectory and the co-state trajectory, is Lipschitz continuous. These two well-known results are examples of the following principle: the Hamiltonian, evaluated along the optimal state trajectory and the co-state trajectory, inherits the regularity properties of the differential inclusion, regarding its time dependence. We show that this principle also applies to another kind of regularity: if the differential inclusion has bounded variation with respect to time, then the Hamiltonian, evaluated along the optimal state trajectory and the co-state trajectory, has bounded variation. Two applications of these newly found properties are demonstrated. One is to derive improved conditions which guarantee the nondegeneracy of necessary conditions of optimality, in the form of a Hamiltonian inclusion. The other application is to derive new, less restrictive, conditions under which minimizers in the calculus of variations have bounded slope. The analysis is based on a new, local, concept of differential inclusions that have bounded variation with respect to the time variable, in which conditions are imposed on the multifunction involved, only in a neighborhood of a given state trajectory.


title: Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases

abstract: We consider the problem of exact probabilistic inference for Union of Conjunctive Queries (UCQs) on tuple-independent databases. For this problem, two approaches currently coexist. In the extensional method, query evaluation is performed by exploiting the structure of the query, and relies heavily on the use of the inclusion-exclusion principle. In the intensional method, one first builds a representation of the lineage of the query in a tractable formalism of knowledge compilation. The chosen formalism should then ensure that the probability can be efficiently computed using simple disjointness and independence assumptions, without the need of performing inclusion-exclusion. The extensional approach has long been thought to be strictly more powerful than the intensional approach, the reason being that for some queries, the use of inclusion-exclusion seemed unavoidable. In this paper we introduce a new technique to construct lineage representations as deterministic decomposable circuits in polynomial time. We prove that this technique applies to a class of UCQs that had been conjectured to separate the complexity of the two approaches. In essence, we show that relying on the inclusion-exclusion formula can be avoided by using negation. This result brings back hope to prove that the intensional approach can handle all tractable UCQs.


title: Analysis of $^4$He($\gamma,p)$T and $^4$He($\gamma,n)$$^3$He Reactions with Linearly Polarized Photons in the Energy Range up to 100\,MeV

abstract: In a number of investigations, one can find the data on the $^4$He($\gamma$,p)T and $^4$He($\gamma$,n)$^3$He reaction cross sections in the collinear geometry, which are due to spin {\it S}=1 transitions of the final-state particles. The ratio of the differential cross section in the collinear geometry to the differential reaction cross section at the nucleon emission angle $\theta_N$=90$^\circ$, and specified by the {\it S}=0 electric dipole transition at photon energies in the range 20$\le E_{\gamma}\le$100\,MeV, is independent of the photon energy, within the experimental error. In the meantime, experiments were made to measure the asymmetry of the cross section $\Sigma(\theta_N)$, for the mentioned reactions with linearly polarized photons. It has been found that in the energy range between 20 and 90\,MeV, the $\Sigma(\theta_N)$ value is also independent of the photon energy, within the experimental error. These data are in agreement with the assumption that transitions with spin {\it S}=1 can be due to the contribution of $^3P_0$ states of the $^4$He nucleus, and are inconsistent with the assumption that the spin-flip of the particle system occurred during the reaction as a result of the meson exchange current contribution. The available measured data on the collinear geometry reaction cross sections and the ones on the cross-section asymmetry of the reaction with linearly polarized photons do not agree between themselves. The above mentioned reactions seem to be more convenient for measuring the degree of photon beams linear polarization than the deuteron photodisintegration reactions.


title: Efficient processing of raster and vector data

abstract: In this work, we propose a framework to store and manage spatial data, which includes new efficient algorithms to perform operations accepting as input a raster dataset and a vector dataset. More concretely, we present algorithms for solving a spatial join between a raster and a vector dataset imposing a restriction on the values of the cells of the raster; and an algorithm for retrieving K objects of a vector dataset that overlap cells of a raster dataset, such that the K objects are those overlapping the highest (or lowest) cell values among all objects. The raster data is stored using a compact data structure, which can directly manipulate compressed data without the need for prior decompression. This leads to better running times and lower memory consumption. In our experimental evaluation comparing our solution to other baselines, we obtain the best space/time trade-offs.


title: A Nunke type classification in the locally compact setting

abstract: In this short note we prove that a group G is lcH-slender -- that is, every abstract group homomorphism from a locally compact Hausdorff topological group to G has an open kernel -- if and only if G is torsion-free and does not include Q or the p-adic integers Zp for any prime p. This mirrors a classical characterization given by Nunke for slender abelian groups.