title: Loss compensation symmetry of unequally sized dielectric cylinders with gain and loss

abstract: A rigorous analytical approach is applied to solve the eigenvalue problem for a pair of circular dielectric cylinders with complex permittivity. This approach relies on field expansion in terms of two sets of orthogonal azimuthal modes, which are coupled due to finite distance between the cylinders. We investigate the ability of a gain-dielectric cylinder operated in the fundamental TM mode to compensate material losses of a larger cylinder operated in the higher-order radial TM mode. To achieve such a loss compensation phenomenon, a simple design strategy is developed. It is shown that this phenomenon can be achieved for a certain distance between the cylinders, which is associated with the exceptional point of the system. For smaller distances, the adverse impact of high-order azimuthal (hybrid) modes are found to be essential. The results obtained are validated against full-wave simulations.


title: Causality Learning: A New Perspective for Interpretable Machine Learning

abstract: Recent years have witnessed the rapid growth of machine learning in a wide range of fields such as image recognition, text classification, credit scoring prediction, recommendation system, etc. In spite of their great performance in different sectors, researchers still concern about the mechanism under any machine learning (ML) techniques that are inherently black-box and becoming more complex to achieve higher accuracy. Therefore, interpreting machine learning model is currently a mainstream topic in the research community. However, the traditional interpretable machine learning focuses on the association instead of the causality. This paper provides an overview of causal analysis with the fundamental background and key concepts, and then summarizes most recent causal approaches for interpretable machine learning. The evaluation techniques for assessing method quality, and open problems in causal interpretability are also discussed in this paper.


title: Generic canonical forms for perplectic and symplectic normal matrices

abstract: Let $B$ be some invertible Hermitian or skew-Hermitian matrix. A matrix $A$ is called $B$-normal if $AA^\star = A^\star A$ holds for $A$ and its adjoint matrix $A^\star := B^{-1}A^HB$. In addition, a matrix $Q$ is called $B$-unitary, if $Q^HBQ = B$. We develop sparse canonical forms for nondefective (i.e. diagonalizable) $J_{2n}$-normal matrices and $R_n$-normal matrices under $J_{2n}$-unitary ($R_n$-unitary, respectively) similarity transformations where $$J_{2n} = \begin{bmatrix} & I_n \\ - I_n & \end{bmatrix} \in M_{2n}(\mathbb{C})$$ and $R_n$ is the $n \times n$ sip matrix with ones on its anti-diagonal and zeros elsewhere. For both cases we show that these forms exist for an open and dense subset of $J_{2n}/R_n$-normal matrices. This implies that these forms can be seen as topologically 'generic' for $J_{2n}/R_n$-normal matrices since they exist for all such matrices except a nowhere dense subset.


title: Local Causal Structure Learning and its Discovery Between Type 2 Diabetes and Bone Mineral Density

abstract: Type 2 diabetes (T2DM), one of the most prevalent chronic diseases, affects the glucose metabolism of the human body, which decreases the quantity of life and brings a heavy burden on social medical care. Patients with T2DM are more likely to suffer bone fragility fracture as diabetes affects bone mineral density (BMD). However, the discovery of the determinant factors of BMD in a medical way is expensive and time-consuming. In this paper, we propose a novel algorithm, Prior-Knowledge-driven local Causal structure Learning (PKCL), to discover the underlying causal mechanism between BMD and its factors from the clinical data. Since there exist limited data but redundant prior knowledge for medicine, PKCL adequately utilize the prior knowledge to mine the local causal structure for the target relationship. Combining the medical prior knowledge with the discovered causal relationships, PKCL can achieve more reliable results without long-standing medical statistical experiments. Extensive experiments are conducted on a newly provided clinical data set. The experimental study of PKCL on the data is proved to highly corresponding with existing medical knowledge, which demonstrates the superiority and effectiveness of PKCL. To illustrate the importance of prior knowledge, the result of the algorithm without prior knowledge is also investigated.


title: Exact Solution of Schr\"odinger Equation in (Anti-)de Sitter Spaces for Hydrogen Atom

abstract: We write Schr\"odinger equation for the Coulomb potential in both de Sitter and Anti-de Sitter spaces using the Extended Uncertainty Principle formulation. We use the Nikiforov-Uvarov method to solve the equations. The energy eigenvalues for both systems are given in their exact forms and the corresponding radial wave functions are expressed in associated Jacobi polynomials for de Sitter space, while those of Anti-de Sitter space are given in terms of Romanovski polynomials. We have also studied the effect of the spatial deformation parameter on the bound states in the two cases.


title: Counterfactual explanation of machine learning survival models

abstract: A method for counterfactual explanation of machine learning survival models is proposed. One of the difficulties of solving the counterfactual explanation problem is that the classes of examples are implicitly defined through outcomes of a machine learning survival model in the form of survival functions. A condition that establishes the difference between survival functions of the original example and the counterfactual is introduced. This condition is based on using a distance between mean times to event. It is shown that the counterfactual explanation problem can be reduced to a standard convex optimization problem with linear constraints when the explained black-box model is the Cox model. For other black-box models, it is proposed to apply the well-known Particle Swarm Optimization algorithm. A lot of numerical experiments with real and synthetic data demonstrate the proposed method.


title: Bases of minimal vectors in tame lattices

abstract: Motivated by the behavior of the trace pairing over tame cyclic number fields, we introduce the notion of tame lattices. Given an arbitrary non-trivial lattice $\mathcal{L}$ we construct a parametric family of full-rank sub-lattices $\{\mathcal{L}_{\alpha}\}$ of $\mathcal{L}$ such that whenever $\mathcal{L}$ is tame each $\mathcal{L}_{\alpha}$ has a basis of minimal vectors. Furthermore, for each $\mathcal{L}_{\alpha}$ in the family a basis of minimal vectors is explicitly constructed.


title: Validation and generalization of pixel-wise relevance in convolutional neural networks trained for face classification

abstract: The increased use of convolutional neural networks for face recognition in science, governance, and broader society has created an acute need for methods that can show how these 'black box' decisions are made. To be interpretable and useful to humans, such a method should convey a model's learned classification strategy in a way that is robust to random initializations or spurious correlations in input data. To this end, we applied the decompositional pixel-wise attribution method of layer-wise relevance propagation (LRP) to resolve the decisions of several classes of VGG-16 models trained for face recognition. We then quantified how these relevance measures vary with and generalize across key model parameters, such as the pretraining dataset (ImageNet or VGGFace), the finetuning task (gender or identity classification), and random initializations of model weights. Using relevance-based image masking, we find that relevance maps for face classification prove generally stable across random initializations, and can generalize across finetuning tasks. However, there is markedly less generalization across pretraining datasets, indicating that ImageNet- and VGGFace-trained models sample face information differently even as they achieve comparably high classification performance. Fine-grained analyses of relevance maps across models revealed asymmetries in generalization that point to specific benefits of choice parameters, and suggest that it may be possible to find an underlying set of important face image pixels that drive decisions across convolutional neural networks and tasks. Finally, we evaluated model decision weighting against human measures of similarity, providing a novel framework for interpreting face recognition decisions across human and machine.


title: Leveraging Temporal Information for 3D Detection and Domain Adaptation

abstract: Ever since the prevalent use of the LiDARs in autonomous driving, tremendous improvements have been made to the learning on the point clouds. However, recent progress largely focuses on detecting objects in a single 360-degree sweep, without extensively exploring the temporal information. In this report, we describe a simple way to pass such information in the learning pipeline by adding timestamps to the point clouds, which shows consistent improvements across all three classes.


title: Confirming the Labels of Coins in One Weighing

abstract: There are $n$ bags with coins that look the same. Each bag has an infinite number of coins and all coins in the same bag weigh the same amount. Coins in different bags weigh 1, 2, 3, and so on to $n$ grams exactly. There is a unique label from the set 1 through $n$ attached to each bag that is supposed to correspond to the weight of the coins in that bag. The task is to confirm all the labels by using a balance scale once. We study weighings that we call downhill: they use the numbers of coins from the bags that are in a decreasing order. We show the importance of such weighings. We find the smallest possible total weight of coins in a downhill weighing that confirms the labels on the bags. We also find bounds on the smallest number of coins needed for such a weighing.


title: Launching of Davydov solitons in protein $\alpha$-helix spines

abstract: Biological order provided by $\alpha$-helical secondary protein structures is an important resource exploitable by living organisms for increasing the efficiency of energy transport. In particular, self-trapping of amide I energy quanta by the induced phonon deformation of the hydrogen-bonded lattice of peptide groups is capable of generating either pinned or moving solitary waves following the Davydov quasiparticle/soliton model. The effect of applied in-phase Gaussian pulses of amide I energy, however, was found to be strongly dependent on the site of application. Moving solitons were only launched when the amide I energy was applied at one of the $\alpha$-helix ends, whereas pinned solitons were produced in the $\alpha$-helix interior. In this paper, we describe a general mechanism that launches moving solitons in the interior of the $\alpha$-helix through phase-modulated Gaussian pulses of amide I energy. We also compare the predicted soliton velocity based on effective soliton mass and the observed soliton velocity in computer simulations for different parameter values of the isotropy of the exciton-phonon interaction. The presented results demonstrate the capacity for explicit control of soliton velocity in protein $\alpha$-helices, and further support the plausibility of gradual optimization of quantum dynamics for achieving specialized protein functions through natural selection.


title: Digital quantum groups

abstract: We find and classify all bialgebras and Hopf algebras or `quantum groups' of dimension $\le 4$ over the field $\Bbb F_2=\{0,1\}$. We summarise our results as a quiver, where the vertices are the inequivalent algebras and there is an arrow for each inequivalent bialgebra or Hopf algebra built from the algebra at the source of the arrow and the dual of the algebra at the target of the arrow. There are 314 distinct bialgebras, and among them 25 Hopf algebras with at most one of these from one vertex to another. We find a unique smallest noncommutative and noncocommutative one, which is moreover self-dual and resembles a digital version of $u_q(sl_2)$. We also find a unique self-dual Hopf algebra in one anyonic variable $x^4=0$. For all our Hopf algebras we determine the integral and associated Fourier transform operator, viewed as a representation of the quiver. We also find all quasitriangular or `universal R-matrix' structures on our Hopf algebras. These induce solutions of the Yang-Baxter or braid relations in any representation.


title: Incremental Training of a Recurrent Neural Network Exploiting a Multi-Scale Dynamic Memory

abstract: The effectiveness of recurrent neural networks can be largely influenced by their ability to store into their dynamical memory information extracted from input sequences at different frequencies and timescales. Such a feature can be introduced into a neural architecture by an appropriate modularization of the dynamic memory. In this paper we propose a novel incrementally trained recurrent architecture targeting explicitly multi-scale learning. First, we show how to extend the architecture of a simple RNN by separating its hidden state into different modules, each subsampling the network hidden activations at different frequencies. Then, we discuss a training algorithm where new modules are iteratively added to the model to learn progressively longer dependencies. Each new module works at a slower frequency than the previous ones and it is initialized to encode the subsampled sequence of hidden activations. Experimental results on synthetic and real-world datasets on speech recognition and handwritten characters show that the modular architecture and the incremental training algorithm improve the ability of recurrent neural networks to capture long-term dependencies.


title: Random Partitioning Forest for Point-Wise and Collective Anomaly Detection -- Application to Intrusion Detection

abstract: In this paper, we propose DiFF-RF, an ensemble approach composed of random partitioning binary trees to detect point-wise and collective (as well as contextual) anomalies. Thanks to a distance-based paradigm used at the leaves of the trees, this semi-supervised approach solves a drawback that has been identified in the isolation forest (IF) algorithm. Moreover, taking into account the frequencies of visits in the leaves of the random trees allows to significantly improve the performance of DiFF-RF when considering the presence of collective anomalies. DiFF-RF is fairly easy to train, and excellent performance can be obtained by using a simple semi-supervised procedure to setup the extra hyper-parameter that is introduced. We first evaluate DiFF-RF on a synthetic data set to i) verify that the limitation of the IF algorithm is overcome, ii) demonstrate how collective anomalies are actually detected and iii) to analyze the effect of the meta-parameters it involves. We assess the DiFF-RF algorithm on a large set of datasets from the UCI repository, as well as two benchmarks related to intrusion detection applications. Our experiments show that DiFF-RF almost systematically outperforms the IF algorithm, but also challenges the one-class SVM baseline and a deep learning variational auto-encoder architecture. Furthermore, our experience shows that DiFF-RF can work well in the presence of small-scale learning data, which is conversely difficult for deep neural architectures. Finally, DiFF-RF is computationally efficient and can be easily parallelized on multi-core architectures.


title: On Physical Realizability for Inverse Structural Designs: Bounding the Least Eigenvalue of an Unknown Mass Matrix

abstract: In the field of structural engineering analysis, a common requirement is to calculate the modal frequencies of a structure that has undergone an update, either naturally (such as from material degradation), or due to man-made influences (by placing point masses along a structure). In addition to this requirement, it is common to only have access to truncated modal testing results. In this paper, we derive analytical bounds for the first eigenvalue of a completely unobserved mass matrix for linear elastic systems. Doing so allows engineers to proceed with modifying linear elastic systems, without requiring direct access to the mass matrix. This is because it is often difficult to know exactly what negative mass perturbations are allowable, given that the full mass matrix is an unknown quantity. Ultimately, the analysis in this paper will proceed by assuming only access to the left and right eigenvectors of the underlying system - which are both possible to obtain via physical experiments, so that the bounds are not only physically realizable, but also practically realizable.


title: Density currents and relative non-pluripolar products

abstract: We compare the notion of relative non-pluripolar products and that of density currents on compact Kahler manifolds.


title: Black holes to white holes I. A complete quasi-classical model

abstract: This is the first of two papers presenting different versions of quasi-classical toy models for the non-singular evolution of the geometry and the associated effective stress-energy tensor for a spherically symmetric black hole that evolves into a white hole and eventually disappears after evaporating down to the Planck scale. The ansatz for the geometry is inspired by calculations of the semi-classical stress-energy tensor in the Schwarzschild background and ideas from loop quantum gravity for a nonsingular transition to the white hole. In this paper the main emphasis is on the evolution of the black hole, and the evolution of the white hole is assumed to be essentially the time reverse of that of the black hole. The negative energy of the Hawking "partners" flows out of the white hole to future null infinity. The white hole disappears when the matter and radiation that collapsed to form the black hole emerges. I discuss the compatibility of the model with some of the quantum energy conditions proposed in the literature, and, briefly, the implications for the interpretation of black hole entropy. The second paper considers how the evolution of the white hole can be modified to avoid prolonged emission of negative energy.


title: Pricing Fresh Data

abstract: We introduce the concept of {\it fresh data trading}, in which a destination user requests, and pays for, fresh data updates from a source provider, and data freshness is captured by the {\it age of information} (AoI) metric. Keeping data fresh relies on frequent data updates by the source, which motivates the source to {\it price fresh data}. In this work, the destination incurs an age-related cost, modeled as a general increasing function of the AoI. The source designs a pricing mechanism to maximize its profit; the destination chooses a data update schedule to trade off its payments to the source and its age-related cost. Depending on different real-time applications and scenarios, we study both a predictable-deadline and an unpredictable-deadline models. The key challenge of designing the optimal pricing scheme lies in the destination's time-interdependent valuations, due to the nature of AoI and the infinite-dimensional and dynamic optimization. To this end, we consider three pricing schemes that exploit and understand the profitability of three different dimensions in designing pricing: a {\it time-dependent} pricing scheme, in which the price for each update depends on when it is requested; a {\it quantity-based} pricing scheme, in which the price of each update depends on how many updates have been previously requested; a {\it subscription-based} pricing scheme, in which the price for each update is flat-rate but the source charges an additional subscription fee. Our analysis reveals that the optimal subscription-based pricing maximizes the source's profit among all possible pricing schemes under both predictable deadline and unpredictable deadline models; the optimal quantity-based pricing scheme is only optimal with a predictable deadline; the time-dependent pricing scheme, under the unpredictable deadline, is asymptotically optimal under significant time discounting.


title: Uncertainty-aware multi-view co-training for semi-supervised medical image segmentation and domain adaptation

abstract: Although having achieved great success in medical image segmentation, deep learning-based approaches usually require large amounts of well-annotated data, which can be extremely expensive in the field of medical image analysis. Unlabeled data, on the other hand, is much easier to acquire. Semi-supervised learning and unsupervised domain adaptation both take the advantage of unlabeled data, and they are closely related to each other. In this paper, we propose uncertainty-aware multi-view co-training (UMCT), a unified framework that addresses these two tasks for volumetric medical image segmentation. Our framework is capable of efficiently utilizing unlabeled data for better performance. We firstly rotate and permute the 3D volumes into multiple views and train a 3D deep network on each view. We then apply co-training by enforcing multi-view consistency on unlabeled data, where an uncertainty estimation of each view is utilized to achieve accurate labeling. Experiments on the NIH pancreas segmentation dataset and a multi-organ segmentation dataset show state-of-the-art performance of the proposed framework on semi-supervised medical image segmentation. Under unsupervised domain adaptation settings, we validate the effectiveness of this work by adapting our multi-organ segmentation model to two pathological organs from the Medical Segmentation Decathlon Datasets. Additionally, we show that our UMCT-DA model can even effectively handle the challenging situation where labeled source data is inaccessible, demonstrating strong potentials for real-world applications.


title: Semiclassical analysis of the Starobinsky inflationary model

abstract: In this work we study the scalar power spectrum and the spectral index for the Starobinsky inflationary model using the phase integral method up-to third-order of approximation. We show that the semiclassical methods reproduce the scalar power spectrum for the Starobinsky model with a good accuracy, and the value of the spectral index compares favorably with observations. Also, we compare the results with the uniform approximation method and the second-order slow-roll approximation.


title: Nitsche Method for resolving boundary conditions on embedded interfaces using XFEM in Code Aster

abstract: As X-FEM approximation does not need meshing of the crack, the method has garnered a lot of attention from industrial point of view. This thesis report summarises some of the concepts involved in Nitsche approach for resolving boundary conditions in embedded interfaces using XFEM. We consider here cases in which the jump of a field across the interface is given, as well as cases in which the primary field on the interface is given. We will first derive the basics of Nitsche method and then discretize it with X-FEM using shifted basis enrichment. We will then implement this on an open source platform, Code-Aster.


title: Merging of transport theory with TDHF: multinucleon transfer in U+U collisions

abstract: Multinucleon transfer mechanism in the collision of ${}^{238}\text{U}+{}^{238}\text{U}$ system is investigated at $E_\text{c.m.} =833$ MeV in the framework of the quantal diffusion description based on the stochastic mean-field approach (SMF). Double cross-sections $\sigma(N,Z)$ as a function of the neutron and proton numbers, the cross-sections $\sigma(Z)$ and $\sigma(A)$ as a function of the atomic numbers and the mass numbers are calculated for production of the primary fragments. The calculation indicates the ${}^{238} \text{U}+{}^{238} \text{U}$ system may be located at an unstable equilibrium state at the potential energy surface with a slightly negative curvature along the beta stability line on the $(N,Z)-$plane. This behavior may lead to rather large diffusion along the beta stability direction.


title: From weak interaction to gravity

abstract: We follow an old suggestion made by Stueckelberg that there exists an intimate connection between weak interaction and gravity, symbolized by the relationship between the Fermi and Newton\rq s constants. We analyze the hypothesis that the effect of matter upon the metric that represents gravitational interaction in General Relativity is an effective one. This leads us to consider gravitation to be the result of the interaction of two neutral spinorial fields (G-neutrinos) $ \Psi_{g}$ and $ \Omega_{g}$ with all kinds of matter and energy. We present three examples with only one G-neutrino: two static and spherically symmetric configurations and a cosmological framework for an isotropic dynamical universe. Without self-interaction, the associated effective geometry is precisely the Schwarzschild metric. On the other hand, a self-interacting G-neutrino generates a new gravitational black-hole.


title: Path Integral Based Convolution and Pooling for Graph Neural Networks

abstract: Graph neural networks (GNNs) extends the functionality of traditional neural networks to graph-structured data. Similar to CNNs, an optimized design of graph convolution and pooling is key to success. Borrowing ideas from physics, we propose a path integral based graph neural networks (PAN) for classification and regression tasks on graphs. Specifically, we consider a convolution operation that involves every path linking the message sender and receiver with learnable weights depending on the path length, which corresponds to the maximal entropy random walk. It generalizes the graph Laplacian to a new transition matrix we call maximal entropy transition (MET) matrix derived from a path integral formalism. Importantly, the diagonal entries of the MET matrix are directly related to the subgraph centrality, thus providing a natural and adaptive pooling mechanism. PAN provides a versatile framework that can be tailored for different graph data with varying sizes and structures. We can view most existing GNN architectures as special cases of PAN. Experimental results show that PAN achieves state-of-the-art performance on various graph classification/regression tasks, including a new benchmark dataset from statistical mechanics we propose to boost applications of GNN in physical sciences.

categories: cs.LG cond-mat.dis-nn cs.NI physics.data-an stat.ML


title: Preferred basis, decoherence and a quantum state of the Universe

abstract: We review a number of issues in foundations of quantum theory and quantum cosmology including, in particular, the problem of the preferred basis in the many-worlds interpretation of quantum mechanics, the relation between this interpretation and the decoherence phenomenon, application of decoherence approach to quantum cosmology, the relation between the many-worlds interpretation and Anthropic Principle along with the notion of quantum-classical duality. We also discuss the concept of fundamentally mixed quantum state of the Universe represented by a special microcanonical density matrix and its dynamical realization in the form of the semiclassically treated path integral over spacetime geometries and quantum matter fields. These issues can be considered as a part of the scientific legacy of H. D. Zeh generously left to us in his two seminal papers published at the beginning of seventies in Foundations of Physics.


title: Beauty baryon non-leptonic decays into decuplet baryons and $CP$-asymmetries based on $SU(3)$-Flavor analysis

abstract: We consider charmless weak decays of beauty-baryons into decuplet baryons and pseudoscalar mesons in a general framework based on $SU(3)$-flavor decomposition of the decay amplitudes. The dynamical assumption independent $SU(3)$ analysis accounts for the effects of an arbitrarily broken $SU(3)$ symmetry in these decays. An alternative approach in terms of quark diagrams is also provided and compared with the $SU(3)$ decomposition in the limit of exact $SU(3)$-flavor symmetry. Furthermore, the symmetries of the effective Hamiltonian is used to relate or neglect reduced $SU(3)$ amplitudes to derive several sum rule relations between amplitudes and relations between $CP$ asymmetries in these decays and identify those that hold even if $SU(3)$ is broken.


title: Cohomological properties and Arens regularity of Banach algebras

abstract: In this paper, we study some cohomlogical properties of Banach algebras. For a Banach algebra $A$ and a Banach $A$-bimodule $B$, we investigate the vanishing of the first Hochschild cohomology groups $H^1(A^n,B^m)$ and $H_{w^*}^1(A^n,B^m)$, where $0\leq m,n\leq 3$. For amenable Banach algebra $A$, we show that there are Banach $A$-bimodules $C$, $D$ and elements $\mathfrak{a}, \mathfrak{b}\in A^{**}$ such that $$Z^1(A,C^*)=\{R_{D^{\prime\prime}(\mathfrak{a})}:~D\in Z^1(A,C^*)\}=\{L_{D^{\prime\prime}(\mathfrak{b})}:~D\in Z^1(A,D^*)\}.$$ where, for every $b\in B$, $L_{b}(a)=ba$ and $R_{b}(a)=a b,$ for every $a\in A$. Moreover, under a condition, we show that if the second transpose of a continuous derivation from the Banach algebra $A$ into $A^*$ i.e., a continuous linear map from $A^{**}$ into $A^{***}$, is a derivation, then $A$ is Arens regular. Finally, we show that if $A$ is a dual left strongly irregular Banach algebra such that its second dual is amenable, then $A$ is reflexive.


title: Matchings in regular graphs: minimizing the partition function

abstract: For a graph $G$ on $v(G)$ vertices let $m_k(G)$ denote the number of matchings of size $k$, and consider the partition function $M_{G}(\lambda)=\sum_{k=0}^nm_k(G)\lambda^k$. In this paper we show that if $G$ is a $d$--regular graph and $0<\lambda<(4d)^{-2}$, then $$\frac{1}{v(G)}\ln M_G(\lambda)>\frac{1}{v(K_{d+1})}\ln M_{K_{d+1}}(\lambda).$$ The same inequality holds true if $d=3$ and $\lambda<0.3575$. More precise conjectures are also given.


title: Stochastic action for tubes: Connecting path probabilities to measurement

abstract: The trajectories of diffusion processes are continuous but non-differentiable, and each occurs with vanishing probability. This introduces a gap between theory, where path probabilities are used in many contexts, and experiment, where only events with non-zero probability are measurable. Here we bridge this gap by considering the probability of diffusive trajectories to remain within a tube of small but finite radius around a smooth path. This probability can be measured in experiment, via the rate at which trajectories exit the tube for the first time, thereby establishing a link between path probabilities and physical observables. Considering $N$-dimensional overdamped Langevin dynamics, we show that the tube probability can be obtained theoretically from the solution of the Fokker-Planck equation. Expressing the resulting exit rate as a functional of the path and ordering it as a power series in the tube radius, we identify the zeroth-order term as the Onsager-Machlup stochastic action, thereby elevating it from a mathematical construct to a physical observable. The higher-order terms reveal, for the first time, the form of the finite-radius contributions which account for fluctuations around the path. To demonstrate the experimental relevance of this action functional for tubes, we numerically sample trajectories of Brownian motion in a double-well potential, compute their exit rate, and show an excellent agreement with our analytical results. Our work shows that smooth tubes are surrogates for non-differentiable diffusive trajectories, and provide a direct way of comparing theoretical results on single trajectories, such as path-wise definitions of irreversibility, to measurement.

categories: cond-mat.stat-mech cond-mat.mes-hall cond-mat.soft physics.chem-ph


title: Proof of monotonic increase in the cost function for Krotov algorithm for open quantum systems

abstract: A great number of quantum control papers have used one of the variants of the monotonically convergent variational control algorithm of Krotov (as described in Maday and Turinici (2003), Tannor et al. (1992), Zhu and Rabitz (1998), etc). The paper "Speeding up Thermalisation via Open Quantum System Variational Optimisation" by N, Suri, et al. [EPJST 227, 203 -216 (2018), arXiv:1711.08776] provides us a way of carrying out Krotov algorithm for open quantum systems. We shall prove the Theorem 1 of the paper, greatly expanding upon the brief treatment given in appendix 1 of the same.


title: Coded Caching for Broadcast Networks with User Cooperation

abstract: In this paper, we investigate the transmission delay of cache-aided broadcast networks with user cooperation. Novel coded caching schemes are proposed for both centralized and decentralized caching settings, by efficiently exploiting time and cache resources and creating parallel data delivery at the server and users. We derive a lower bound on the transmission delay and show that the proposed centralized coded caching scheme is \emph{order-optimal} in the sense that it achieves a constant multiplicative gap within the lower bound. Our decentralized coded caching scheme is also order-optimal when each user's cache size is larger than the threshold $N(1-\sqrt[{K-1}]{ {1}/{(K+1)}})$ (approaching 0 as $K\to \infty$), where $K$ is the total number of users and $N$ is the size of file library. Moreover, for both the centralized and decentralized caching settings, our schemes obtain an additional \emph{cooperation gain} offered by user cooperation and an additional \emph{parallel gain} offered by the parallel transmission among the server and users. It is shown that in order to reduce the transmission delay, the number of users parallelly sending signals should be appropriately chosen according to user's cache size, and alway letting more users parallelly send information could cause high transmission delay.


title: A renormalisation group equation for transport co-efficients in (2+1)-dimensions derived from the AdS/CMT correspondence

abstract: Within the framework of the AdS/CMT correspondence asymptotically anti-de Sitter black holes in four space-time dimensions can be used to analyse transport properties in two space dimensions. A non-linear renormalisation group equation for the conductivity in two dimensions is derived in this model and, as an example of its application, both the Ohmic and Hall DC and AC conductivities are studied in the presence of a magnetic field, using a bulk dyonic solution of the Einstein-Maxwell equations in asymptotically AdS$_4$ space-time. The ${\cal Q}$-factor of the cyclotron resonance is shown to decrease as the temperature is increased and increase as the charge density is increased in a fixed magnetic field. Likewise the dissipative Ohmic conductivity at resonance increases as the temperature is decreased and as the charge density is increased. The analysis also involves a discussion of the piezoelectric effect in the context of the AdS/CMT framework.


title: Experimental measurement of relative path probabilities and stochastic actions

abstract: For diffusive stochastic dynamics, the probability to observe any individual trajectory is vanishingly small, making it unclear how to experimentally validate theoretical results for ratios of path probabilities. We provide the missing link between theory and experiment, by establishing a protocol to extract ratios of path probabilities from measured time series. For experiments on a single colloidal particle in a microchannel, we extract both ratios of path probabilities, and the most probable path for a barrier crossing, and find excellent agreement with independently calculated predictions based on the Onsager-Machlup stochastic action. Our experimental results at room temperature are found to be inconsistent with the low-noise Freidlin-Wentzell stochastic action, and we discuss under which circumstances the latter is expected to describe the most probable path. Furthermore, while the experimentally accessible ratio of path probabilities is uniquely determined, the formal path-integral action is known to depend on the time-discretization scheme used for deriving it; we reconcile these two seemingly contradictory facts by careful analysis of the time-slicing derivation of the path integral. Our experimental protocol enables us to probe probability distributions on path space, and allows us to relate theoretical single-trajectory results to measurement.


title: Dimensionless physics

abstract: We discuss two scenarios of emergent gravity. In one of them the quantum vacuum is considered as superplastic crystal, and the effective gravity describes the dynamical elastic deformations of this crystal. In the other one the gravitational tetrads emerge as the bilinear form of the fermionic fields. In spite of the essentially different mechanisms of emergent gravity, these two scenarios have one important common property: the metric field has dimension of the inverse square of length $[g_{\mu\nu}]=1/[l]^2$, as distinct from the conventional dimensionless metric, $[g_{\mu\nu}]=1$, in general relativity. As a result the physical quantities, which obey diffeomorphism invariance, become dimensionless. This takes place for such quantities as Newton constant, the scalar curvature, the cosmological constant, particle masses, fermionic and scalar bosonic fields, etc. This may suggest that the dimensionless physics can be the natural consequence of the diffeomorphism invariance, and thus can be the general property of any gravity, which emerges in the quantum vacuum. One of the nontrivial consequences of the shift of dimensions is related to topology. Due to the shift of dimensions some operators become topological, and contain the integer or fractional prefactors in the action. This in particular concerns the intrinsic 3+1 quantum Hall effect and the Nieh-Yan quantum anomaly in terms of torsion.


title: Approximation Rates for Neural Networks with Encodable Weights in Smoothness Spaces

abstract: We examine the necessary and sufficient complexity of neural networks to approximate functions from different smoothness spaces under the restriction of encodable network weights. Based on an entropy argument, we start by proving lower bounds for the number of nonzero encodable weights for neural network approximation in Besov spaces, Sobolev spaces and more. These results are valid for all sufficiently smooth activation functions. Afterwards, we provide a unifying framework for the construction of approximate partitions of unity by neural networks with fairly general activation functions. This allows us to approximate localized Taylor polynomials by neural networks and make use of the Bramble-Hilbert Lemma. Based on our framework, we derive almost optimal upper bounds in higher-order Sobolev norms. This work advances the theory of approximating solutions of partial differential equations by neural networks.


title: Technical Report: Auxiliary Tuning and its Application to Conditional Text Generation

abstract: We introduce a simple and efficient method, called Auxiliary Tuning, for adapting a pre-trained Language Model to a novel task; we demonstrate this approach on the task of conditional text generation. Our approach supplements the original pre-trained model with an auxiliary model that shifts the output distribution according to the target task. The auxiliary model is trained by adding its logits to the pre-trained model logits and maximizing the likelihood of the target task output. Our method imposes no constraints on the auxiliary architecture. In particular, the auxiliary model can ingest additional input relevant to the target task, independently from the pre-trained model's input. Furthermore, mixing the models at the logits level provides a natural probabilistic interpretation of the method. Our method achieved similar results to training from scratch for several different tasks, while using significantly fewer resources for training; we share a specific example of text generation conditioned on keywords.


title: Wasserstein Stability for Persistence Diagrams

abstract: The stability of persistence diagrams is among the most important results in applied and computational topology. Most results in the literature phrase stability in terms of the bottleneck distance between diagrams and the $\infty$-norm of perturbations. This has two main implications: it makes the space of persistence diagrams rather pathological and it is often provides very pessimistic bounds with respect to outliers. In this paper, we provide new stability results with respect to the $p$-Wasserstein distance between persistence diagrams. This includes an elementary proof for the setting of functions on sufficiently finite spaces in terms of the $p$-norm of the perturbations, along with an algebraic framework for $p$-Wasserstein distance which extends the results to wider class of modules. We also provide apply the results to a wide range of applications in topological data analysis (TDA) including topological summaries, persistence transforms and the special but important case of Vietoris-Rips complexes.


title: Some applications of Menke's JSJ decomposition for symplectic fillings

abstract: We apply Menke's JSJ decomposition for symplectic fillings to several families of contact 3-manifolds. Among other results, we complete the classification up to orientation-preserving diffeomorphism of strong symplectic fillings of lens spaces. We show that exact symplectic fillings of contact manifolds obtained by surgery on certain Legendrian negative cables are the result of attaching a Weinstein 2-handle to an exact filling of a lens space. For large families of contact structures on Seifert fibered spaces over $S^2$, we reduce the problem of classifying exact symplectic structures to the same problem for universally tight or canonical contact structures. Finally, virtually overtwisted circle bundles over surfaces with genus greater than one and negative twisting number are seen to have unique exact fillings.


title: Multi-solitons of the half-wave maps equation and Calogero-Moser spin-pole dynamics

abstract: We consider the half-wave maps (HWM) equation which provides a continuum description of the classical Haldane-Shastry spin chain on the real line. We present exact multi-soliton solutions of this equation. Our solutions describe solitary spin excitations that can move with different velocities and interact in a non-trivial way. We make an ansatz for the solution allowing for an arbitrary number of solitons, each described by a pole in the complex plane and a complex spin variable, and we show that the HWM equation is satisfied if these poles and spins evolve according to the dynamics of an exactly solvable spin Calogero-Moser (CM) system with certain constraints on initial conditions. We also find first order equations providing a B\"acklund transformation of this spin CM system, generalize our results to the periodic HWM equation, and provide plots that visualize our soliton solutions.


title: Co-evaporation as an optimal technique towards compact methylammonium bismuth iodide layers

abstract: The most studied perovskite-based solar cells reported up to date contain the toxic lead in its composition. Photovoltaic research and development towards non-toxic, lead-free perovskite solar cells are critical to finding alternatives to reduce human health concerns associated with them. Bismuth-based perovskite variants, especially in the form of methylammonium bismuth iodide (MBI), is a good candidate for the non-toxic light absorber. However, the reported perovskite variant MBI thin flms prepared by the solution process so far suffers from poor morphology and surface coverage. In this work, we investigate for the first time the optoelectronic, crystallographic and morphological properties of MBI thin flms prepared via thermal co-evaporation of MAI and BiI3. We find by modifying the precursor ratio that the layer with pure MBI composition lead to uniform, compact and homogeneous layers, broadening the options of deposition techniques for lead-free based perovskite solar cells.


title: Reionization inference from the CMB optical depth and E-mode polarization power spectra

abstract: The Epoch of Reionization (EoR) depends on the complex astrophysics governing the birth and evolution of the first galaxies and structures in the intergalactic medium. EoR models rely on cosmic microwave background (CMB) observations, and in particular the large-scale E-mode polarization power spectra (EE PS), to help constrain their highly uncertain parameters. However, rather than directly forward-modelling the EE PS, most EoR models are constrained using a summary statistic -- the Thompson scattering optical depth, $\tau_e$. Compressing CMB observations to $\tau_e$ requires adopting a basis set for the EoR history. The common choice is the unphysical, redshift-symmetric hyperbolic tangent (Tanh) function, which differs in shape from physical EoR models based on hierarchical structure formation. Combining public EoR and CMB codes, 21cmFAST and CLASS, here we quantify how inference using the $\tau_e$ summary statistic impacts the resulting constraints on galaxy properties and EoR histories. Using the last Planck 2018 data release, we show that the marginalized constraints on the EoR history are more sensitive to the choice of the basis set (Tanh vs physical model) than to the CMB likelihood statistic ($\tau_e$ vs PS). For example, EoR histories implied by the growth of structure show a small tail of partial reionization extending to higher redshifts. However, biases in inference using $\tau_e$ are negligible for the Planck 2018 data. Using EoR constraints from high-redshift observations including the quasar dark fraction, galaxy UV luminosity functions and CMB EE PS, our physical model recovers $\tau_e=0.0569^{+0.0081}_{-0.0066}$.


title: You Only Look Yourself: Unsupervised and Untrained Single Image Dehazing Neural Network

abstract: In this paper, we study two challenging and less-touched problems in single image dehazing, namely, how to make deep learning achieve image dehazing without training on the ground-truth clean image (unsupervised) and a image collection (untrained). An unsupervised neural network will avoid the intensive labor collection of hazy-clean image pairs, and an untrained model is a ``real'' single image dehazing approach which could remove haze based on only the observed hazy image itself and no extra images is used. Motivated by the layer disentanglement idea, we propose a novel method, called you only look yourself (\textbf{YOLY}) which could be one of the first unsupervised and untrained neural networks for image dehazing. In brief, YOLY employs three jointly subnetworks to separate the observed hazy image into several latent layers, \textit{i.e.}, scene radiance layer, transmission map layer, and atmospheric light layer. After that, these three layers are further composed to the hazy image in a self-supervised manner. Thanks to the unsupervised and untrained characteristics of YOLY, our method bypasses the conventional training paradigm of deep models on hazy-clean pairs or a large scale dataset, thus avoids the labor-intensive data collection and the domain shift issue. Besides, our method also provides an effective learning-based haze transfer solution thanks to its layer disentanglement mechanism. Extensive experiments show the promising performance of our method in image dehazing compared with 14 methods on four databases.


title: Managing Crowded Museums: Visitors Flow Measurement, Analysis, Modeling, and Optimization

abstract: We present an all-around study of the visitors flow in crowded museums: a combination of Lagrangian field measurements and statistical analyses enable us to create stochastic digital-twins of the guests dynamics, unlocking comfort- and safety-driven optimizations. Our case study is the Galleria Borghese museum in Rome (Italy), in which we performed a real-life data acquisition campaign. We specifically employ a Lagrangian IoT-based visitor tracking system based on Raspberry Pi receivers, displaced in fixed positions throughout the museum rooms, and on portable Bluetooth Low Energy beacons handed over to the visitors. Thanks to two algorithms: a sliding window-based statistical analysis and an MLP neural network, we filter the beacons RSSI and accurately reconstruct visitor trajectories at room-scale. Via a clustering analysis, hinged on an original Wasserstein-like trajectory-space metric, we analyze the visitor paths to get behavioral insights, including the most common flow patterns. On these bases, we build the transition matrix describing, in probability, the room-scale visitor flows. Such a matrix is the cornerstone of a stochastic model capable of generating visitor trajectories in silico. We conclude by employing the simulator to increase the number of daily visitors while respecting numerous logistic and safety constraints. This is possible thanks to optimized ticketing and new entrance/exit management.


title: SE3M: A Model for Software Effort Estimation Using Pre-trained Embedding Models

abstract: Estimating effort based on requirement texts presents many challenges, especially in obtaining viable features to infer effort. Aiming to explore a more effective technique for representing textual requirements to infer effort estimates by analogy, this paper proposes to evaluate the effectiveness of pre-trained embeddings models. For this, two embeddings approach, context-less and contextualized models are used. Generic pre-trained models for both approaches went through a fine-tuning process. The generated models were used as input in the applied deep learning architecture, with linear output. The results were very promising, realizing that pre-trained incorporation models can be used to estimate software effort based only on requirements texts. We highlight the results obtained to apply the pre-trained BERT model with fine-tuning in a single project repository, whose value is the Mean Absolute Error (MAE) is 4.25 and the standard deviation of only 0.17, which represents a result very positive when compared to similar works. The main advantages of the proposed estimation method are reliability, the possibility of generalization, speed, and low computational cost provided by the fine-tuning process, and the possibility to infer new or existing requirements.


title: Existence of Global Weak Solutions to an Inhomogeneous Doi Model for Active Liquid Crystals

abstract: In this paper, we consider an inhomogeneous Doi model which was introduced by W. E and P. Zhang [Meth. Appl. of Anal., 13 (2006), pp. 181 - 198]. We extend their model, which couples a Smoluchowski equation to a Navier-Stokes type equation, for active particles by introducing an additional stress tensor. Exploiting the energetic and entropic structure of the system, we establish the existence of global-in-time weak solutions in two and three space dimensions for both passive and active particles. In particular, our result holds for minimal regularity assumptions on the initial data and without restrictions on the Reynolds and Deborah number.


title: Machine learning depinning of dislocation pileups

abstract: We study a one-dimensional model of a dislocation pileup driven by an external stress and interacting with random quenched disorder, focusing on predictability of the plastic deformation process. Upon quasistatically ramping up the externally applied stress from zero the system responds by exhibiting an irregular stress--strain curve consisting of a sequence of strain bursts, i.e., critical-like dislocation avalanches. The strain bursts are power-law distributed up to a cutoff scale which increases with the stress level up to a critical flow stress value. There, the system undergoes a depinning phase transition and the dislocations start moving indefinitely, i.e., the strain burst size diverges. Using sample-specific information about the pinning landscape as well as the initial dislocation configuration as input, we employ predictive models such as linear regression, simple neural networks and convolutional neural networks to study the predictability of the simulated stress--strain curves of individual samples. Our results show that the response of the system -- including the flow stress value -- can be predicted quite well, with the correlation coefficient between predicted and actual stress exhibiting a non-monotonic dependence on strain. We also discuss our attempts to predict the individual strain bursts.

categories: cond-mat.mtrl-sci cond-mat.dis-nn cond-mat.stat-mech physics.comp-ph


title: Proof of Tomaszewski's Conjecture on Randomly Signed Sums

abstract: We prove the following conjecture, due to Tomaszewski (1986): Let $X= \sum_{i=1}^{n} a_{i} x_{i}$, where $\sum_i a_i^2=1$ and each $x_i$ is a uniformly random sign. Then $\Pr[|X|\leq 1] \geq 1/2$. Our main novel tools are local concentration inequalities and an improved Berry-Esseen inequality for Rademacher sums.


title: Meta-local density functionals: a new rung on Jacob's ladder

abstract: The homogeneous electron gas (HEG) is a key ingredient in the construction of most exchange-correlation functionals of density-functional theory. Often, the energy of the HEG is parameterized as a function of its spin density $n$, leading to the local density approximation (LDA) for inhomogeneous systems. However, the connection between the electron density and kinetic energy density of the HEG can be used to generalize the LDA by evaluating it on a weighted geometric average of the local spin density and the spin density of a HEG that has the local kinetic energy density of the inhomogeneous system, with a mixing ratio $x$. This leads to a new family of functionals that we term meta-local density approximations (meta-LDAs), which are still exact for the HEG, which are derived only from properties of the HEG, and which form a new rung of Jacob's ladder of density functionals. The first functional of this ladder, the local $\tau$ approximation (LTA) of Ernzerhof and Scuseria that corresponds to $x=1$ is unfortunately not stable enough to be used in self-consistent field calculations, because it leads to divergent potentials as we show in this work. However, a geometric averaging of the LDA and LTA densities with smaller values of $x$ not only leads to numerical stability of the resulting functional, but also yields more accurate exchange energies in atomic calculations than the LDA, the LTA, or the tLDA functional ($x=1/4$) of Eich and Hellgren. We choose $x=0.50$ as it gives the best total energy in self-consistent exchange-only calculations for the argon atom. Atomization energy benchmarks confirm that the choice $x=0.50$ also yields improved energetics in combination with correlation functionals in molecules, almost eliminating the well-known overbinding of the LDA and reducing its error by two thirds.


title: Can Your Face Detector Do Anti-spoofing? Face Presentation Attack Detection with a Multi-Channel Face Detector

abstract: In a typical face recognition pipeline, the task of the face detector is to localize the face region. However, the face detector localizes regions that look like a face, irrespective of the liveliness of the face, which makes the entire system susceptible to presentation attacks. In this work, we try to reformulate the task of the face detector to detect real faces, thus eliminating the threat of presentation attacks. While this task could be challenging with visible spectrum images alone, we leverage the multi-channel information available from off the shelf devices (such as color, depth, and infrared channels) to design a multi-channel face detector. The proposed system can be used as a live-face detector obviating the need for a separate presentation attack detection module, making the system reliable in practice without any additional computational overhead. The main idea is to leverage a single-stage object detection framework, with a joint representation obtained from different channels for the PAD task. We have evaluated our approach in the multi-channel WMCA dataset containing a wide variety of attacks to show the effectiveness of the proposed framework.


title: Moduli spaces for Lam\'e functions and Abelian integrals of the second kind

abstract: The space of Lam\'e functions of order m is isomorphic to the space of pairs (elliptic curve, Abelian differential) where the differential has a single zero of order 2m at the origin and m double poles with vanishing residues. We describe the topology of this space: it is a Riemann surface of finite type; we find the number of components and the genus and Euler characteristic of each component. As an application we find the degrees of Cohn's polynomials confirming a conjecture by Robert Maier. As another application we partially describe the degeneration locus of the space of spherical metrics on tori with one conic singularity where the conic angle is an odd multiple of 2$\pi$.


title: Can Pulsars in the inner parsecs from Galactic Centre probe the existence of Dark Matter?

abstract: We discuss the formation of dark compact objects in a dark matter environment in view of the possible mass dependence of pulsars on the distribution of dark matter in the Galaxy. Our results indicate that the pulsar masses should decrease going towards the center of the Milky Way due to dark matter capture, thus becoming a probe for the existence and nature of dark matter. We thus propose that the evolution of the pulsar mass in a dark matter rich environment can be used to put constraints, when combined with future experiments, on the characteristics of our Galaxy halo dark matter profile, on the dark matter particle mass and on the dark matter self-interaction strength.


title: Computing the Rabinowitz Floer homology of tentacular hyperboloids

abstract: We compute the Rabinowitz Floer homology for a class of non-compact hyperboloids $\Sigma\simeq S^{n+k-1}\times\mathbb{R}^{n-k}$. Using an embedding of a compact sphere $\Sigma_0\simeq S^{2k-1}$ into the hypersurface $\Sigma$, we construct a chain map from the Floer complex of $\Sigma$ to the Floer complex of $\Sigma_0$. In contrast to the compact case, the Rabinowitz Floer homology groups of $\Sigma$ are both non-zero and not equal to its singular homology. As a consequence, we deduce that the Weinstein Conjecture holds for any strongly tentacular deformation of such a hyperboloid.


title: Guided Learning of Nonconvex Models through Successive Functional Gradient Optimization

abstract: This paper presents a framework of successive functional gradient optimization for training nonconvex models such as neural networks, where training is driven by mirror descent in a function space. We provide a theoretical analysis and empirical study of the training method derived from this framework. It is shown that the method leads to better performance than that of standard training techniques.


title: Conditional Set Generation with Transformers

abstract: A set is an unordered collection of unique elements--and yet many machine learning models that generate sets impose an implicit or explicit ordering. Since model performance can depend on the choice of order, any particular ordering can lead to sub-optimal results. An alternative solution is to use a permutation-equivariant set generator, which does not specify an order-ing. An example of such a generator is the DeepSet Prediction Network (DSPN). We introduce the Transformer Set Prediction Network (TSPN), a flexible permutation-equivariant model for set prediction based on the transformer, that builds upon and outperforms DSPN in the quality of predicted set elements and in the accuracy of their predicted sizes. We test our model on MNIST-as-point-clouds (SET-MNIST) for point-cloud generation and on CLEVR for object detection.


title: Challenges in designing appropriate scaffolding to improve students' representational consistency: The case of a Gauss's law problem

abstract: Prior research suggest that introductory physics students have difficulty with graphing and interpreting graphs. Here, we discuss an investigation of student difficulties in translating between mathematical and graphical representations for a problem in electrostatics and the effect of increasing levels of scaffolding on students' representational consistency. Students in calculus-based introductory physics were given a typical problem that can be solved using Gauss's law involving a spherically symmetric charge distribution in which they were asked to write a mathematical expression for the electric field in various regions and then plot the electric field. In study 1, we found that students had great difficulty in plotting the electric field as a function of the distance from the center of the sphere consistent with the mathematical expressions in various regions, and interviews with students suggested possible reasons which may account for this difficulty. Therefore, in study 2, we designed two scaffolding interventions with levels of support which built on each other (i.e., the second scaffolding level built on the first) in order to help students plot their expressions consistently and compared the performance of students provided with scaffolding with a comparison group which was not given any scaffolding support. Analysis of student performance with different levels of scaffolding reveals that scaffolding from an expert perspective beyond a certain level may sometimes hinder student performance and students may not even discern the relevance of the additional support. We provide possible interpretations for these findings based on in-depth, think-aloud interviews.


title: Effectiveness of interactive tutorials in promoting "which-path" information reasoning in advanced quantum mechanics

abstract: We have been investigating advanced students' learning of quantum mechanics concepts and have developed interactive tutorials which strive to help students learn these concepts. Two such tutorials, focused on the Mach-Zehnder interferometer (MZI) and the double-slit experiment (DSE), help students learn how to use the concept of "which-path" information to reason about the presence or absence of interference in these two experiments in different situations. After working on a pretest that asked students to predict interference in the MZI with single photons and polarizers of various orientations placed in one or both paths of the MZI, students worked on the MZI tutorial which, among other things, guided them to reason in terms of which-path information in order to predict interference in similar situations. We investigated the extent to which students were able to use reasoning related to which-path information learned in the MZI tutorial to answer analogous questions on the DSE (before working on the DSE tutorial). After students worked on the DSE pretest they worked on a DSE tutorial in which they learned to use the concept of which-path information to answer questions about interference in the DSE with single particles with mass sent through the two slits and a monochromatic lamp placed between the slits and the screen. We investigated if this additional exposure to the concept of which-path information promoted improved learning and performance in the DSE questions with single photons and polarizers placed after one or both slits. We find evidence that both tutorials promoted which-path information reasoning and helped students use this reasoning appropriately in contexts different from the ones in which they had learned it.


title: Machine learning in problems of automation of ultrasound diagnostics of railway tracks

abstract: The article presents the system architecture for automatic decoding of railway track defectograms in real time. The system includes an ultrasound data preprocessing module, a set of neutral network classifiers, a decision block. Preprocessing of data includes affine transformations of measurement information into a format suitable for the operation of a neural network, as well as a combination of information on measurement channels, depending on the type of defect being defined. The classifier is built on a convolutional neural network. The proposed solution can be effectively implemented on a modern elemental basis for performing parallel computing, including tensor processor and GPUs.


title: A GRU-based Mixture Density Network for Data-Driven Dynamic Stochastic Programming

abstract: The conventional deep learning approaches for solving time-series problem such as long-short term memory (LSTM) and gated recurrent unit (GRU) both consider the time-series data sequence as the input with one single unit as the output (predicted time-series result). Those deep learning approaches have made tremendous success in many time-series related problems, however, this cannot be applied in data-driven stochastic programming problems since the output of either LSTM or GRU is a scalar rather than probability distribution which is required by stochastic programming model. To fill the gap, in this work, we propose an innovative data-driven dynamic stochastic programming (DD-DSP) framework for time-series decision-making problem, which involves three components: GRU, Gaussian Mixture Model (GMM) and SP. Specifically, we devise the deep neural network that integrates GRU and GMM which is called GRU-based Mixture Density Network (MDN), where GRU is used to predict the time-series outcomes based on the recent historical data, and GMM is used to extract the corresponding probability distribution of predicted outcomes, then the results will be input as the parameters for SP. To validate our approach, we apply the framework on the car-sharing relocation problem. The experiment validations show that our framework is superior to data-driven optimization based on LSTM with the vehicle average moving lower than LSTM.


title: Is agreeing with a gender stereotype correlated with the performance of female students in introductory physics?

abstract: Several prior studies in introductory physics have found a gender gap on conceptual assessments such as the Force Concept Inventory (FCI) and the Conceptual Survey of Electricity and Magnetism (CSEM) with male students performing better than female students. Moreover, prior studies in the context of mathematics have also found that activation of a negative stereotype about a group can lead to deteriorated performance of the stereotyped group. Here, we describe two studies in which we investigated the impact of interventions on the gender gap on the FCI and CSEM in large introductory physics courses at a large research university. In the first study, we investigated whether asking introductory physics students to indicate their gender immediately before taking the CSEM increased the gender gap compared to students who were not asked for this information. We found no difference in performance between male and female students in the two conditions. In the second study, conducted with several thousand introductory physics students, we investigated the prevalence of the belief that men generally perform better in physics than women and the extent to which this belief is correlated with the performance of both female and male students on the FCI and the CSEM in introductory physics courses. We found that at the end of the year-long calculus-based introductory physics sequence, in which female students are significantly underrepresented, agreeing with a gender stereotype was correlated negatively with the performance of female students on the conceptual physics surveys. The fact that female students who agreed with the gender stereotype performed worse than female students who disagreed with it at the end of the year-long calculus-based physics course may partly be due to an increased stereotype threat that female students who agree with the stereotype may experience in this course.


title: Short survey on stable polynomials, orientations and matchings

abstract: This is a short survey about the theory of stable polynomials and its applications. It gives self-contained proofs of two theorems of Schrijver. One of them asserts that for a $d$--regular bipartite graph $G$ on $2n$ vertices, the number of perfect matchings, denoted by $\mathrm{pm}(G)$, satisfies $$\mathrm{pm}(G)\geq \bigg( \frac{(d-1)^{d-1}}{d^{d-2}} \bigg)^{n}.$$ The other theorem claims that for even $d$ the number of Eulerian orientations of a $d$--regular graph $G$ on $n$ vertices, denoted by $\varepsilon(G)$, satisfies $$\varepsilon(G)\geq \bigg(\frac{\binom{d}{d/2}}{2^{d/2}}\bigg)^n.$$ To prove these theorems we use the theory of stable polynomials, and give a common generalization of the two theorems.


title: Modeling and Uncertainty Analysis of Groundwater Level Using Six Evolutionary Optimization Algorithms Hybridized with ANFIS, SVM, and ANN

abstract: In the present study, six meta-heuristic schemes are hybridized with artificial neural network (ANN), adaptive neuro-fuzzy interface system (ANFIS), and support vector machine (SVM), to predict monthly groundwater level (GWL), evaluate uncertainty analysis of predictions and spatial variation analysis. The six schemes, including grasshopper optimization algorithm (GOA), cat swarm optimization (CSO), weed algorithm (WA), genetic algorithm (GA), krill algorithm (KA), and particle swarm optimization (PSO), were used to hybridize for improving the performance of ANN, SVM, and ANFIS models. Groundwater level (GWL) data of Ardebil plain (Iran) for a period of 144 months were selected to evaluate the hybrid models. The pre-processing technique of principal component analysis (PCA) was applied to reduce input combinations from monthly time series up to 12-month prediction intervals. The results showed that the ANFIS-GOA was superior to the other hybrid models for predicting GWL in the first piezometer and third piezometer in the testing stage. The performance of hybrid models with optimization algorithms was far better than that of classical ANN, ANFIS, and SVM models without hybridization. The percent of improvements in the ANFIS-GOA versus standalone ANFIS in piezometer 10 were 14.4%, 3%, 17.8%, and 181% for RMSE, MAE, NSE, and PBIAS in the training stage and 40.7%, 55%, 25%, and 132% in testing stage, respectively. The improvements for piezometer 6 in train step were 15%, 4%, 13%, and 208% and in the test step were 33%, 44.6%, 16.3%, and 173%, respectively, that clearly confirm the superiority of developed hybridization schemes in GWL modeling. Uncertainty analysis showed that ANFIS-GOA and SVM had, respectively, the best and worst performances among other models. In general, GOA enhanced the accuracy of the ANFIS, ANN, and SVM models.


title: I call BS: Fraud Detection in Crowdfunding Campaigns

abstract: Donations to charity-based crowdfunding environments have been on the rise in the last few years. Unsurprisingly, deception and fraud in such platforms have also increased, but have not been thoroughly studied to understand what characteristics can expose such behavior and allow its automatic detection and blocking. Indeed, crowdfunding platforms are the only ones typically performing oversight for the campaigns launched in each service. However, they are not properly incentivized to combat fraud among users and the campaigns they launch: on the one hand, a platform's revenue is directly proportional to the number of transactions performed (since the platform charges a fixed amount per donation); on the other hand, if a platform is transparent with respect to how much fraud it has, it may discourage potential donors from participating. In this paper, we take the first step in studying fraud in crowdfunding campaigns. We analyze data collected from different crowdfunding platforms, and annotate 700 campaigns as fraud or not. We compute various textual and image-based features and study their distributions and how they associate with campaign fraud. Using these attributes, we build machine learning classifiers, and show that it is possible to automatically classify such fraudulent behavior with up to 90.14% accuracy and 96.01% AUC, only using features available from the campaign's description at the moment of publication (i.e., with no user or money activity), making our method applicable for real-time operation on a user browser.


title: Application of statistical analysis to working memory problem

abstract: This article is devoted to EEG studying of connectivity cortical areas involved in keeping vision information in working memory. VAR-modeling was used for describing signals got from connected with working memory brain zones. Brain connections were estimated by based in Granger Causality Partial Directed Coherence (PDC) and then compared by Wilcoxon signed-rank test. In paper connection intensity dependence on executing task was found.


title: Anisotropic non-linear optical response of nodal loop materials

abstract: Nodal line semimetals have lately aroused much experimental and theoretical interest, with their gap closing along unconventional trajectories in the 3D Brillouin zone. These trajectories or nodal lines can close into loops and trace out intricate knotted or linked configurations with complicated topologies. In this work, we investigate the semi-classical optical response of two nodal loops in linked, unlinked and touching configurations, focusing particularly on the interplay of response anisotropy and non-linearity. We provide a geometric picture that unifies these aspects and sheds light on the effects of nodal topology and geometry. Based on a model abstracted from generic multi nodal loop scenarios, both with or without linkages, our findings will be applicable for a large class of nodal semimetal materials with multiple nodal lines or loops.


title: Ginkgo: A Modern Linear Operator Algebra Framework for High Performance Computing

abstract: In this paper, we present Ginkgo, a modern C++ math library for scientific high performance computing. While classical linear algebra libraries act on matrix and vector objects, Ginkgo's design principle abstracts all functionality as "linear operators", motivating the notation of a "linear operator algebra library". Ginkgo's current focus is oriented towards providing sparse linear algebra functionality for high performance GPU architectures, but given the library design, this focus can be easily extended to accommodate other algorithms and hardware architectures. We introduce this sophisticated software architecture that separates core algorithms from architecture-specific back ends and provide details on extensibility and sustainability measures. We also demonstrate Ginkgo's usability by providing examples on how to use its functionality inside the MFEM and deal.ii finite element ecosystems. Finally, we offer a practical demonstration of Ginkgo's high performance on state-of-the-art GPU architectures.


title: On a family of mild functions

abstract: We prove that the function $P_\alpha(x) = \exp(1-x^{-\alpha})$ with $\alpha > 0$, is $1/\alpha$-mild. We apply this result to obtain a uniform $1/\alpha$-mild parametrization of the family of curves $\{xy = \epsilon^2 \mid (x,y) \in (0,1)^2\}$ for $\epsilon \in (0,1)$, which does not have a uniform $0$-mild parametrization by work of Yomdin. More generally we can parametrize families of power-subanalytic curves. This improves a result of Benjamini and Novikov that gives a $2$-mild parametrization.


title: User Selection in Millimeter Wave Massive MIMO System using Convolutional Neural Networks

abstract: A hybrid architecture for millimeter wave (mmW) massive MIMO systems is considered practically implementable due to low power consumption and high energy efficiency. However, due to the limited number of RF chains, user selection becomes necessary for such architecture. Traditional user selection algorithms suffer from high computational complexity and, therefore, may not be scalable in 5G and beyond wireless mobile communications. To address this issue, in this letter we propose a low complexity CNN framework for user selection. The proposed CNN accepts as input the channel matrix and gives as output the selected users. Simulation results show that the proposed CNN performs close to optimal exhaustive search in terms of achievable rate, with negligible computational complexity. In addition, CNN based user selection outperforms the evolutionary algorithm and the greedy algorithm in terms of both achievable rate and computational complexity. Finally, simulation results also show that the proposed CNN based user selection scheme is robust to channel imperfections.


title: Light-flavor resonance dynamics in the $U(3)$ chiral theory

abstract: We review the recent developments on the light-flavor resonances in the $U(3)$ chiral effective filed theory. The spectral function sum rules and the semilocal duality in the scattering, which will be focus of this note, can provide us interesting and useful theoretical objects to bridge the hadron resonances in the intermediate energy region and the QCD behaviors in the asymptotic region. First the calculations of the meson-meson scattering amplitudes and factor factors are elaborated. The scalar spectral functions are then calculated in terms of the unitarized scalar form factors. The scalar and pseudoscalar spectral function sum rules in our study are found to be consistent with the asymptotic behavior of QCD in the chiral limit. The semilocal duality is found to be generally well satisfied, indicating the necessary cancellations of different contributions from different resonances indeed happen in the scattering amplitudes. The $N_C$ evolutions of the resonance poles, the ratios to quantify the semilocal duality and the spectral function integrals are also paid special attention to in this note.


title: A Chain Graph Interpretation of Real-World Neural Networks

abstract: The last decade has witnessed a boom of deep learning research and applications achieving state-of-the-art results in various domains. However, most advances have been established empirically, and their theoretical analysis remains lacking. One major issue is that our current interpretation of neural networks (NNs) as function approximators is too generic to support in-depth analysis. In this paper, we remedy this by proposing an alternative interpretation that identifies NNs as chain graphs (CGs) and feed-forward as an approximate inference procedure. The CG interpretation specifies the nature of each NN component within the rich theoretical framework of probabilistic graphical models, while at the same time remains general enough to cover real-world NNs with arbitrary depth, multi-branching and varied activations, as well as common structures including convolution / recurrent layers, residual block and dropout. We demonstrate with concrete examples that the CG interpretation can provide novel theoretical support and insights for various NN techniques, as well as derive new deep learning approaches such as the concept of partially collapsed feed-forward inference. It is thus a promising framework that deepens our understanding of neural networks and provides a coherent theoretical formulation for future deep learning research.


title: Cohomology of groups acting on vector spaces over finite fields

abstract: Let ${\mathbf{F}}_q$ be the finite field with $q=p^m$ elements and $G$ be a subgroup of ${\rm{GL}}_n({\mathbf{F}}_q)$. A famous theorem of Nori published in 1987 states that there exists a (non-effective) constant $c(n)$, depending only on $n$, such that if $p>c(n)$ and $G$ acts semisimply on ${\mathbf{F}}_p^n$, then $H^1(G,{\mathbf{F}}_p^n)=0$. We solve the long-standing problem, also considered by Serre of giving an effective proof of Nori's Theorem. Our approach yields the optimal constant $c(n)=n+2$. We also prove a more general version of Nori's theorem, namely, that for all powers $q$ of $p$, if $G$ acts semisimply on ${\mathbf{F}}_q^n$ and $p>n+2$, then $H^1(G,{\mathbf{F}}_q^n)$ is trivial. We apply these results to refine a criterion, proved by \c{C}iperiani and Stix, which gives sufficient conditions for an affirmative answer to a classical question posed by Cassels in the case of abelian varieties over number fields.


title: Mobile Link Prediction: Automated Creation and Crowd-sourced Validation of Knowledge Graphs

abstract: Building trustworthy knowledge graphs for cyber-physical social systems (CPSS) is a challenge. In particular, current approaches relying on human experts have limited scalability, while automated approaches are often not accountable to users resulting in knowledge graphs of questionable quality. This paper introduces a novel pervasive knowledge graph builder that brings together automation, experts' and crowd-sourced citizens' knowledge. The knowledge graph grows via automated link predictions using genetic programming that are validated by humans for improving transparency and calibrating accuracy. The knowledge graph builder is designed for pervasive devices such as smartphones and preserves privacy by localizing all computations. The accuracy, practicality, and usability of the knowledge graph builder is evaluated in a real-world social experiment that involves a smartphone implementation and a Smart City application scenario. The proposed knowledge graph building methodology outperforms the baseline method in terms of accuracy while demonstrating its efficient calculations on smartphones and the feasibility of the pervasive human supervision process in terms of high interactions throughput. These findings promise new opportunities to crowd-source and operate pervasive reasoning systems for cyber-physical social systems in Smart Cities.


title: G-computation and doubly robust standardisation for continuous-time data: a comparison with inverse probability weighting

abstract: In time-to-event settings, g-computation and doubly robust estimators are based on discrete-time data. However, many biological processes are evolving continuously over time. In this paper, we extend the g-computation and the doubly robust standardisation procedures to a continuous-time context. We compare their performance to the well-known inverse-probability-weighting (IPW) estimator for the estimation of the hazard ratio and restricted mean survival times difference, using a simulation study. Under a correct model specification, all methods are unbiased, but g-computation and the doubly robust standardisation are more efficient than inverse probability weighting. We also analyse two real-world datasets to illustrate the practical implementation of these approaches. We have updated the R package RISCA to facilitate the use of these methods and their dissemination.


title: How to Document Computer Networks

abstract: Documenting networks is an essential tool for troubleshooting network problems. The documentation details a network's structure and context, serves as a reference and makes network management more effective. Complex network diagrams are hard to document and maintain and are not guaranteed to reflect reality. They contain many superficial icons (e.g., wall, screen and tower). Defining a single coherent network architecture and topology, similar to engineering schematics, has received great interest. We propose a fundamental approach for methodically specifying a network architecture using a diagramming method to conceptualize the network s structure. The method is called a thinging (abstract) machine, through which the network world is viewed as a single unifying element called the thing/machine (thimac), providing the ontology for modeling the network. To test its viability, the thinging-machine-based methodology was applied to an existing computer network to produce a single integrated, diagrammatic representation that incorporates communication, software and hardware. The resultant description shows a viable, coherent depiction that can replace the current methods.


title: A time-domain preconditioner for the Helmholtz equation

abstract: Time-harmonic solutions to the wave equation can be computed in the frequency or in the time domain. In the frequency domain, one solves a discretized Helmholtz equation, while in the time domain, the periodic solutions to a discretized wave equation are sought, e.g. by simulating for a long time with a time-harmonic forcing term. Disadvantages of the time-domain method are that the solutions are affected by temporal discretization errors and that the spatial discretization cannot be freely chosen, since it is inherited from the time-domain scheme. In this work we address these issues. Given an indefinite linear system satisfying certain properties, a matrix recurrence relation is constructed, such that in the limit the exact discrete solution is obtained. By iterating a large, finite number of times, an approximate solution is obtained, similarly as in a time-domain method for the Helmholtz equation. To improve the convergence, the process is used as a preconditioner for GMRES, and the time-harmonic forcing term is multiplied by a smooth window function. The construction is applied to a compact-stencil finite-difference discretization of the Helmholtz equation, for which previously no time-domain solver was available. Advantages of the resulting solver are the relative simplicity, small memory requirement and reasonable computation times.


title: Coherent superconducting qubits from a subtractive junction fabrication process

abstract: Josephson tunnel junctions are the centerpiece of almost any superconducting electronic circuit, including qubits. Typically, the junctions for qubits are fabricated using shadow evaporation techniques to reduce dielectric loss contributions from the superconducting film interfaces. In recent years, however, sub-micron scale overlap junctions have started to attract attention. Compared to shadow mask techniques, neither an angle dependent deposition nor free-standing bridges or overlaps are needed, which are significant limitations for wafer-scale processing. This comes at the cost of breaking the vacuum during fabrication, but simplifies integration in multi-layered circuits, implementation of vastly different junction sizes, and enables fabrication on a larger scale in an industrially-standardized process. In this work, we demonstrate the feasibility of a subtractive process for fabrication of overlap junctions. In an array of test contacts, we find low aging of the average normal state resistance of only 1.6\% over 6 months. We evaluate the coherence properties of the junctions by employing them in superconducting transmon qubits. In time domain experiments, we find that both, the qubit life- and coherence time of our best device, are on average greater than $20\,\si{\micro\second}$. Finally, we discuss potential improvements to our technique. This work paves the way towards a more standardized process flow with advanced materials and growth processes, and constitutes an important step for large scale fabrication of superconducting quantum circuits.


title: Makespan minimization of Time-Triggered traffic on a TTEthernet network

abstract: The reliability of the increasing number of modern applications and systems strongly depends on interconnecting technology. Complex systems which usually need to exchange, among other things, multimedia data together with safety-related information, as in the automotive or avionic industry, for example, make demands on both the high bandwidth and the deterministic behavior of the communication. TTEthernet is a protocol that has been developed to face these requirements while providing the generous bandwidth of Ethernet up to 1\,Gbit/s and enhancing its determinism by the Time-Triggered message transmission which follows the predetermined schedule. Therefore, synthesizing a good schedule which meets all the real-time requirements is essential for the performance of the whole system. In this paper, we study the concept of creating the communication schedules for the Time-Triggered traffic while minimizing its makespan. The aim is to maximize the uninterrupted gap for remaining traffic classes in each integration cycle. The provided scheduling algorithm, based on the Resource-Constrained Project Scheduling Problem formulation and the load balancing heuristic, obtains near-optimal (within 15\% of non-tight lower bound) solutions in 5 minutes even for industrial sized instances. The universality of the provided method allows easily modify or extend the problem statement according to particular industrial demands. Finally, the studied concept of makespan minimization is justified through the concept of scheduling with porosity according to the worst-case delay analysis of Event-Triggered traffic.


title: Applying Machine Learning Techniques for Caching in Edge Networks: A Comprehensive Survey

abstract: Edge networking is a complex and dynamic computing paradigm that aims to push cloud resources closer to the end user improving responsiveness and reducing backhaul traffic. User mobility, preferences, and content popularity are the dominant dynamic features of edge networks. Temporal and social features of content, such as the number of views and likes are leveraged to estimate the popularity of content from a global perspective. However, such estimates should not be mapped to an edge network with particular social and geographic characteristics. In next generation edge networks, i.e., 5G and beyond 5G, machine learning techniques can be applied to predict content popularity based on user preferences, cluster users based on similar content interests, and optimize cache placement and replacement strategies provided a set of constraints and predictions about the state of the network. These applications of machine learning can help identify relevant content for an edge network. This article investigates the application of machine learning techniques for in-network caching in edge networks. We survey recent state-of-the-art literature and formulate a comprehensive taxonomy based on (a) machine learning technique (method, objective, and features), (b) caching strategy (policy, location, and replacement), and (c) edge network (type and delivery strategy). A comparative analysis of the state-of-the-art literature is presented with respect to the parameters identified in the taxonomy. Moreover, we debate research challenges and future directions for optimal caching decisions and the application of machine learning in edge networks.


title: Space-time clustering of flash floods in a changing climate (China, 1950-2015)

abstract: The persistence over space and time of flash flood disasters -- flash floods that have caused either economical or life losses, or both -- is a diagnostic measure of areas subjected to hydrological risk. The concept of persistence can be assessed via clustering analyses, performed here to analyse the national inventory of flash floods disasters in China occurred in the period 1950-2015. Specifically, we investigated the spatio-temporal pattern distribution of the flash floods and their clustering behavior by using both global and local methods: the first, based on the Ripley's K-function, and the second on scan statistics. As a result, we could visualize patterns of aggregated events, estimate the cluster duration and make assumptions about their evolution over time, also with respect precipitations trend. Due to the large spatial (the whole Chinese territory) and temporal scale of the dataset (66 years), we were able to capture whether certain clusters gather in specific locations and times, but also whether their magnitude tends to increase or decrease. Overall, the eastern regions in China are much more subjected to flash floods compared to the rest of the country. Detected clusters revealed that these phenomena predominantly occur between July and October, a period coinciding with the wet season in China. The number of detected clusters increases with time, but the associated duration drastically decreases in the recent period. This may indicate a change towards triggering mechanisms which are typical of short-duration extreme rainfall events. Finally, being flash floods directly linked to precipitation and their extreme realization, we indirectly assessed whether the magnitude of the trigger itself has also varied through space and time, enabling considerations in the context of climatic changes.


title: Rapid Response Crop Maps in Data Sparse Regions

abstract: Spatial information on cropland distribution, often called cropland or crop maps, are critical inputs for a wide range of agriculture and food security analyses and decisions. However, high-resolution cropland maps are not readily available for most countries, especially in regions dominated by smallholder farming (e.g., sub-Saharan Africa). These maps are especially critical in times of crisis when decision makers need to rapidly design and enact agriculture-related policies and mitigation strategies, including providing humanitarian assistance, dispersing targeted aid, or boosting productivity for farmers. A major challenge for developing crop maps is that many regions do not have readily accessible ground truth data on croplands necessary for training and validating predictive models, and field campaigns are not feasible for collecting labels for rapid response. We present a method for rapid mapping of croplands in regions where little to no ground data is available. We present results for this method in Togo, where we delivered a high-resolution (10 m) cropland map in under 10 days to facilitate rapid response to the COVID-19 pandemic by the Togolese government. This demonstrated a successful transition of machine learning applications research to operational rapid response in a real humanitarian crisis. All maps, data, and code are publicly available to enable future research and operational systems in data-sparse regions.


title: Boosting Deep Neural Networks with Geometrical Prior Knowledge: A Survey

abstract: Deep Neural Networks achieve state-of-the-art results in many different problem settings by exploiting vast amounts of training data. However, collecting, storing and - in the case of supervised learning - labelling the data is expensive and time-consuming. Additionally, assessing the networks' generalization abilities or predicting how the inferred output changes under input transformations is complicated since the networks are usually treated as a black box. Both of these problems can be mitigated by incorporating prior knowledge into the neural network. One promising approach, inspired by the success of convolutional neural networks in computer vision tasks, is to incorporate knowledge about symmetric geometrical transformations of the problem to solve that affect the output in a predictable way. This promises an increased data efficiency and more interpretable network outputs. In this survey, we try to give a concise overview about different approaches that incorporate geometrical prior knowledge into neural networks. Additionally, we connect those methods to 3D object detection for autonomous driving, where we expect promising results when applying those methods.


title: Predicting Sample Collision with Neural Networks

abstract: Many state-of-art robotics applications require fast and efficient motion planning algorithms. Existing motion planning methods become less effective as the dimensionality of the robot and its workspace increases, especially the computational cost of collision detection routines. In this work, we present a framework to address the cost of expensive primitive operations in sampling-based motion planning. This framework determines the validity of a sample robot configuration through a novel combination of a Contractive AutoEncoder (CAE), which captures a occupancy grids representation of the robot's workspace, and a Multilayer Perceptron, which efficiently predicts the collision state of the robot from the CAE and the robot's configuration. We evaluate our framework on multiple planning problems with a variety of robots in 2D and 3D workspaces. The results show that (1) the framework is computationally efficient in all investigated problems, and (2) the framework generalizes well to new workspaces.


title: On Finite Entailment of Non-Local Queries in Description Logics

abstract: We study the problem of finite entailment of ontology-mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the description logics ALCOI and ALCOQ, extended with transitive closure. For both logics, we show 2EXPTIME upper bounds for finite entailment of unions of conjunctive queries with transitive closure. We also provide a matching lower bound by showing that finite entailment of conjunctive queries with transitive closure in ALC is 2EXPTIME-hard.


title: The Effect of Robo-taxi User Experience on User Acceptance: Field Test Data Analysis

abstract: With the advancement of self-driving technology, the commercialization of Robo-taxi services is just a matter of time. However, there is some skepticism regarding whether such taxi services will be successfully accepted by real customers due to perceived safety-related concerns; therefore, studies focused on user experience have become more crucial. Although many studies statistically analyze user experience data obtained by surveying individuals' perceptions of Robo-taxi or indirectly through simulators, there is a lack of research that statistically analyzes data obtained directly from actual Robo-taxi service experiences. Accordingly, based on the user experience data obtained by implementing a Robo-taxi service in the downtown of Seoul and Daejeon in South Korea, this study quantitatively analyzes the effect of user experience on user acceptance through structural equation modeling and path analysis. We also obtained balanced and highly valid insights by reanalyzing meaningful causal relationships obtained through statistical models based on in-depth interview results. Results revealed that the experience of the traveling stage had the greatest effect on user acceptance, and the cutting edge of the service and apprehension of technology were emotions that had a great effect on user acceptance. Based on these findings, we suggest guidelines for the design and marketing of future Robo-taxi services.


title: Failure of Approximation of Odd Functions by Odd Polynomials

abstract: We construct a Hilbert holomorphic function space $H$ on the unit disk such that the polynomials are dense in $H$, but the odd polynomials are not dense in the odd functions in $H$. As a consequence, there exists a function $f$ in $H$ that lies outside the closed linear span of its Taylor partial sums $s_n(f)$, so it cannot be approximated by any triangular summability method applied to the $s_n(f)$. We also show that there exists a function $f$ in $H$ that lies outside the closed linear span of its radial dilates $f_r, ~r<1$.