title: X-modaler: A Versatile and High-performance Codebase for Cross-modal Analytics

abstract: With the rise and development of deep learning over the past decade, there has been a steady momentum of innovation and breakthroughs that convincingly push the state-of-the-art of cross-modal analytics between vision and language in multimedia field. Nevertheless, there has not been an open-source codebase in support of training and deploying numerous neural network models for cross-modal analytics in a unified and modular fashion. In this work, we propose X-modaler -- a versatile and high-performance codebase that encapsulates the state-of-the-art cross-modal analytics into several general-purpose stages (e.g., pre-processing, encoder, cross-modal interaction, decoder, and decode strategy). Each stage is empowered with the functionality that covers a series of modules widely adopted in state-of-the-arts and allows seamless switching in between. This way naturally enables a flexible implementation of state-of-the-art algorithms for image captioning, video captioning, and vision-language pre-training, aiming to facilitate the rapid development of research community. Meanwhile, since the effective modular designs in several stages (e.g., cross-modal interaction) are shared across different vision-language tasks, X-modaler can be simply extended to power startup prototypes for other tasks in cross-modal analytics, including visual question answering, visual commonsense reasoning, and cross-modal retrieval. X-modaler is an Apache-licensed codebase, and its source codes, sample projects and pre-trained models are available on-line: https://github.com/YehLi/xmodaler.


title: Out-of-Distribution Detection Using Outlier Detection Methods

abstract: Out-of-distribution detection (OOD) deals with anomalous input to neural networks. In the past, specialized methods have been proposed to reject predictions on anomalous input. Similarly, it was shown that feature extraction models in combination with outlier detection algorithms are well suited to detect anomalous input. We use outlier detection algorithms to detect anomalous input as reliable as specialized methods from the field of OOD. No neural network adaptation is required; detection is based on the model's softmax score. Our approach works unsupervised using an Isolation Forest and can be further improved by using a supervised learning method such as Gradient Boosting.


title: An Improved Measurement of Neutrino Oscillation Parameters by the NOvA Experiment

abstract: We present new $\nu_\mu\rightarrow\nu_e$, $\nu_\mu\rightarrow\nu_\mu$, $\overline{\nu}_\mu\rightarrow\overline{\nu}_e$, and $\overline{\nu}_\mu\rightarrow\overline{\nu}_\mu$ oscillation measurements by the NOvA experiment, with a 50% increase in neutrino-mode beam exposure over the previously reported results. The additional data, combined with previously published neutrino and antineutrino data, are all analyzed using improved techniques and simulations. A joint fit to the $\nu_e$, $\nu_\mu$, $\overline{\nu}_e$, and $\overline{\nu}_\mu$ candidate samples within the 3-flavor neutrino oscillation framework continues to yield a best-fit point in the normal mass ordering and the upper octant of the $\theta_{23}$ mixing angle, with $\Delta m^{2}_{32} = (2.41\pm0.07)\times 10^{-3}$ eV$^2$ and $\sin^2\theta_{23} = 0.57^{+0.03}_{-0.04}$. The data disfavor combinations of oscillation parameters that give rise to a large asymmetry in the rates of $\nu_e$ and $\overline{\nu}_e$ appearance. This includes values of the CP-violating phase in the vicinity of $\delta_\text{CP} = \pi/2$ which are excluded by $>3\sigma$ for the inverted mass ordering, and values around $\delta_\text{CP} = 3\pi/2$ in the normal ordering which are disfavored at 2$\sigma$ confidence.


title: The Global 21 cm Signal of a Network of Cosmic String Wakes

abstract: In previous works we discussed the 21 cm signature of a single cosmic string wake. However the 21 cm brightness temperature is influenced by a network of cosmic string wakes, and not one single wake. In this work we consider the signal from a network of wakes laid down during the matter era. We also improve on the previous calculation of a single wake signature. Finally we calculate the enhancement of the global 21 cm brightness temperature due to a network of wakes and discuss its affects of the signal measured in the Wouthuysen-Field absorption trough. We estimated that for string tensions between $10^{-8}$ to $10^{-7}$ there would be between a 10% to a factor 2 enhancement in the signal.


title: The Theory of Fundamental Duality, Quantum Dualiton and Topological Dual Invariance

abstract: Fundamental duality is a concept which refers to two irreducible, heterogeneous principles which are in opposite and complementary of each other. The complementary principle in quantum mechanics is also praised by Bohr. This important concept is known to appear in a lot of places in our physical universe, however a rigorous mathematical definition and physics theory has not yet ever developed in a formal way. In this paper, we establish a formalism for fundamental duality and study its various properties and theorems. One of the most profound results is that we establish a relation between dual invariance and topological invariance, and we find that the topological Chern-Simons form is a dual invariant action. Finally we apply the concept of duality to study dual state oscillation, and predict a theoretical new matter of state of dualiton, which is the particle excitation of the dual field by second quantization. This new exotic quasi-particle state is expected to have an impact in particle physics and condensed matter physics.


title: The Mach-Zehnder Interferometer and Photon Dualism: with an Analysis of Nonlocality

abstract: The Mach-Zehnder Interferometer (MZI) is chosen to illustrate the long-standing wave particle duality problem. Why is which-way (welcher weg) information incompatible with wave interference? How to explain Wheeler's delayed choice experiment? Most crucially, how can the photon divide at the first beam splitter and yet terminate on either arm with its undiminished energy? The position advanced is that the photon has two identities, one supporting particle features and the other wave features. There is photon kinetic energy that never splits (on half-silvered mirrors) or diffracts (in pinholes or slits). Then there are photon probability waves that do diffract and can reinforce or cancel. Photon kinetic energy is oscillatory; its cycles require/occupy time. E = mc2 suggests that kinetic energy is physically real as occurrence in time just as rest mass is physically real as existence in space; both are quantized and both occupy/require a dimension for their occurrence or existence. Photon kinetic energy (KE) thus resides in time, but is still present/available for interactions (events) in space; rest mass (e.g., your desk) resides in space but is still present/available for interactions (events) in time. While photon probability waves progress in space and diffract there, photon KE resides in time and never diffracts in space; at reception it always arrives whole and imitates particle impact without being a particle. Photon probability waves are real; they diffract in space. Acknowledging that the photon has two identities (residing energy and progressing probability), explains photon dual nature. And wave-particle duality is central to quantum mechanics. Understanding it leads to new insights into entanglement, nonlocality and the measurement problem. Supporting video: https://youtu.be/A1Wabkr0YFE


title: On the validity of the tight-binding method for describing systems of subwavelength resonators

abstract: The goal of this paper is to relate the capacitance matrix formalism to the tight-binding approximation. By doing so, we open the way to the use of mathematical techniques and tools from condensed matter theory in the mathematical and numerical analysis of metamaterials, in particular for the understanding of their topological properties. We firstly study how the capacitance matrix formalism, both when the material parameters are static and modulated, can be posed in a Hamiltonian form. Then, we use this result to compare this formalism to the tight-binding approximation. We prove that the correspondence between the capacitance formulation and the tight-binding approximation holds only in the case of dilute resonators. On the other hand, the tight-binding model is often coupled with a nearest-neighbour approximation, whereby long-range interactions are neglected. Even in the dilute case, we show that long-range interactions between subwavelength resonators are relatively strong and nearest-neighbour approximations are not generally appropriate.


title: Transformers predicting the future. Applying attention in next-frame and time series forecasting

abstract: Recurrent Neural Networks were, until recently, one of the best ways to capture the timely dependencies in sequences. However, with the introduction of the Transformer, it has been proven that an architecture with only attention-mechanisms without any RNN can improve on the results in various sequence processing tasks (e.g. NLP). Multiple studies since then have shown that similar approaches can be applied for images, point clouds, video, audio or time series forecasting. Furthermore, solutions such as the Perceiver or the Informer have been introduced to expand on the applicability of the Transformer. Our main objective is testing and evaluating the effectiveness of applying Transformer-like models on time series data, tackling susceptibility to anomalies, context awareness and space complexity by fine-tuning the hyperparameters, preprocessing the data, applying dimensionality reduction or convolutional encodings, etc. We are also looking at the problem of next-frame prediction and exploring ways to modify existing solutions in order to achieve higher performance and learn generalized knowledge.


title: A reduced model for compressible viscous heat-conducting multicomponent flows

abstract: In the present paper we propose a reduced temperature non-equilibrium model for simulating multicomponent flows with inter-phase heat transfer, diffusion processes (including the viscosity and the heat conduction) and external energy sources. We derive three equivalent formulations for the proposed model. All the three formulations assume velocity and pressure equilibrium across the material interface. These equivalent forms provide different physical perspectives and numerical conveniences. Temperature equilibration and continuity across the material interfaces are achieved with the instantaneous thermal relaxation. Temperature equilibrium is maintained during the heat conduction process. The proposed models are proved to respect the thermodynamical laws. For numerical solution, the model is split into a hyperbolic partial differential equation (PDE) system and parabolic PDE systems. The former is solved with the high-order Godunov finite volume method that ensures the pressure-velocity-temperature (PVT) equilibrium conduction. The parabolic PDEs are solved with both the implicit and the explicit locally iterative method (LIM) based on Chebyshev parameters. Numerical results are presented for several multicomponent flow problems with diffusion processes. Furthermore, we apply the proposed model to simulate the target ablation problem that is of significance to inertial confinement fusion. Comparisons with one-temperature models in literature demonstrate the ability to maintain the PVT property and superior convergence performance of the proposed model in solving multicomponent problems with diffusions.


title: TSI: an Ad Text Strength Indicator using Text-to-CTR and Semantic-Ad-Similarity

abstract: Coming up with effective ad text is a time consuming process, and particularly challenging for small businesses with limited advertising experience. When an inexperienced advertiser onboards with a poorly written ad text, the ad platform has the opportunity to detect low performing ad text, and provide improvement suggestions. To realize this opportunity, we propose an ad text strength indicator (TSI) which: (i) predicts the click-through-rate (CTR) for an input ad text, (ii) fetches similar existing ads to create a neighborhood around the input ad, (iii) and compares the predicted CTRs in the neighborhood to declare whether the input ad is strong or weak. In addition, as suggestions for ad text improvement, TSI shows anonymized versions of superior ads (higher predicted CTR) in the neighborhood. For (i), we propose a BERT based text-to-CTR model trained on impressions and clicks associated with an ad text. For (ii), we propose a sentence-BERT based semantic-ad-similarity model trained using weak labels from ad campaign setup data. Offline experiments demonstrate that our BERT based text-to-CTR model achieves a significant lift in CTR prediction AUC for cold start (new) advertisers compared to bag-of-words based baselines. In addition, our semantic-textual-similarity model for similar ads retrieval achieves a precision@1 of 0.93 (for retrieving ads from the same product category); this is significantly higher compared to unsupervised TF-IDF, word2vec, and sentence-BERT baselines. Finally, we share promising online results from advertisers in the Yahoo (Verizon Media) ad platform where a variant of TSI was implemented with sub-second end-to-end latency.


title: Analogical Learning in Tactical Decision Games

abstract: Tactical Decision Games (TDGs) are military conflict scenarios presented both textually and graphically on a map. These scenarios provide a challenging domain for machine learning because they are open-ended, highly structured, and typically contain many details of varying relevance. We have developed a problem-solving component of an interactive companion system that proposes military tasks to solve TDG scenarios using a combination of analogical retrieval, mapping, and constraint propagation. We use this problem-solving component to explore analogical learning. In this paper, we describe the problems encountered in learning for this domain, and the methods we have developed to address these, such as partition constraints on analogical mapping correspondences and the use of incremental remapping to improve robustness. We present the results of learning experiments that show improvement in performance through the simple accumulation of examples, despite a weak domain theory.


title: Non-uniform quantization with linear average-case computation time

abstract: A new method for binning a set of $n$ data values into a set of m bins for the case where the bins are of different sizes is proposed. The method skips binning using a binary search across the bins all the time. It is proven the method exhibits a linear average-case computation time. The experiments' results show a speedup factor of over four compared to binning by binary search alone for data values with unknown distributions. This result is consistent with the analysis of the method.


title: Tilted Platforms: Rental Housing Technology and the Rise of Urban Big Data Oligopolies

abstract: This article interprets emerging scholarship on rental housing platforms -- particularly the most well-known and used short- and long-term rental housing platforms - and considers how the technological processes connecting both short-term and long-term rentals to the platform economy are transforming cities. It discusses potential policy approaches to more equitably distribute benefits and mitigate harms. We argue that information technology is not value-neutral. While rental housing platforms may empower data analysts and certain market participants, the same cannot be said for all users or society at large. First, user-generated online data frequently reproduce the systematic biases found in traditional sources of housing information. Evidence is growing that the information broadcasting potential of rental housing platforms may increase rather than mitigate sociospatial inequality. Second, technology platforms curate and shape information according to their creators' own financial and political interests. The question of which data -- and people -- are hidden or marginalized on these platforms is just as important as the question of which data are available. Finally, important differences in benefits and drawbacks exist between short-term and long-term rental housing platforms, but are underexplored in the literature: this article unpacks these differences and proposes policy recommendations.


title: Predicting Basin Stability of Power Grids using Graph Neural Networks

abstract: The prediction of dynamical stability of power grids becomes more important and challenging with increasing shares of renewable energy sources due to their decentralized structure, reduced inertia and volatility. We investigate the feasibility of applying graph neural networks (GNN) to predict dynamic stability of synchronisation in complex power grids using the single-node basin stability (SNBS) as a measure. To do so, we generate two synthetic datasets for grids with 20 and 100 nodes respectively and estimate SNBS using Monte-Carlo sampling. Those datasets are used to train and evaluate the performance of eight different GNN-models. All models use the full graph without simplifications as input and predict SNBS in a nodal-regression-setup. We show that SNBS can be predicted in general and the performance significantly changes using different GNN-models. Furthermore, we observe interesting transfer capabilities of our approach: GNN-models trained on smaller grids can directly be applied on larger grids without the need of retraining.


title: Non-Hysteretic Condition in Negative Capacitance Junctionless FETs

abstract: This paper analyzes the design space stability of negative capacitance double gate junctionless FETs (NCDG JLFET). Using analytical expressions derived from a charge-based model, we predict instability condition, hysteresis voltage, and critical thickness of the ferroelectric layers giving rise to the negative capacitance behavior. The impact of the technological parameters is investigated in order to ensure hysteresis-free operation. Finally, the stability of NCDG JLFET is predicted over a wide range of temperatures from 77K to 400K. This approach has been assessed with numerical TCAD simulations.


title: Sums of random multiplicative functions over function fields with few irreducible factors

abstract: We establish a normal approximation for the limiting distribution of partial sums of random Rademacher multiplicative functions over function fields, provided the number of irreducible factors of the polynomials is small enough. This parallels work of Harper for random Rademacher multiplicative functions over the integers.


title: Research on Gender-related Fingerprint Features

abstract: Fingerprint is an important biological feature of human body, which contains abundant gender information. At present, the academic research of fingerprint gender characteristics is generally at the level of understanding, while the standardization research is quite limited. In this work, we propose a more robust method, Dense Dilated Convolution ResNet (DDC-ResNet) to extract valid gender information from fingerprints. By replacing the normal convolution operations with the atrous convolution in the backbone, prior knowledge is provided to keep the edge details and the global reception field can be extended. We explored the results in 3 ways: 1) The efficiency of the DDC-ResNet. 6 typical methods of automatic feature extraction coupling with 9 mainstream classifiers are evaluated in our dataset with fair implementation details. Experimental results demonstrate that the combination of our approach outperforms other combinations in terms of average accuracy and separate-gender accuracy. It reaches 96.5% for average and 0.9752 (males)/0.9548 (females) for separate-gender accuracy. 2) The effect of fingers. It is found that the best performance of classifying gender with separate fingers is achieved by the right ring finger. 3) The effect of specific features. Based on the observations of the concentrations of fingerprints visualized by our approach, it can be inferred that loops and whorls (level 1), bifurcations (level 2), as well as line shapes (level 3) are connected with gender. Finally, we will open source the dataset that contains 6000 fingerprint images


title: Streaming and Learning the Personal Context

abstract: The representation of the personal context is complex and essential to improve the help machines can give to humans for making sense of the world, and the help humans can give to machines to improve their efficiency. We aim to design a novel model representation of the personal context and design a learning process for better integration with machine learning. We aim to implement these elements into a modern system architecture focus in real-life environments. Also, we show how our proposal can improve in specifically related work papers. Finally, we are moving forward with a better personal context representation with an improved model, the implementation of the learning process, and the architectural design of these components.


title: Adaptive Rate NOMA for Cellular IoT Networks

abstract: Internet-of-Things (IoT) technology is envisioned to enable a variety of real-time applications by interconnecting billions of sensors/devices deployed to observe some random physical processes. These IoT devices rely on low-power wide-area wireless connectivity for transmitting, mostly fixed- but small-size, status updates of their associated random processes. The cellular networks are seen as a natural candidate for providing reliable wireless connectivity to IoT devices. However, the conventional orthogonal multiple access (OMA) to these massive number of devices is expected to degrade the spectral efficiency. As a promising alternative to OMA, the cellular base stations (BSs) can employ non-orthogonal multiple access (NOMA) for the uplink transmissions of mobile users and IoT devices. In particular, the uplink NOMA can be configured such that the mobile user can adapt transmission rate based on its channel condition while the IoT device transmits at a fixed rate. For this setting, we analyze the ergodic capacity of mobile users and the mean local delay of IoT devices using stochastic geometry. Our analysis demonstrates that the above NOMA configuration can provide better ergodic capacity for mobile users compare to OMA when IoT devices' delay constraint is strict. Furthermore, we also show that NOMA can support a larger packet size for IoT devices than OMA under the same delay constraint.


title: LOKI: Long Term and Key Intentions for Trajectory Prediction

abstract: Recent advances in trajectory prediction have shown that explicit reasoning about agents' intent is important to accurately forecast their motion. However, the current research activities are not directly applicable to intelligent and safety critical systems. This is mainly because very few public datasets are available, and they only consider pedestrian-specific intents for a short temporal horizon from a restricted egocentric view. To this end, we propose LOKI (LOng term and Key Intentions), a novel large-scale dataset that is designed to tackle joint trajectory and intention prediction for heterogeneous traffic agents (pedestrians and vehicles) in an autonomous driving setting. The LOKI dataset is created to discover several factors that may affect intention, including i) agent's own will, ii) social interactions, iii) environmental constraints, and iv) contextual information. We also propose a model that jointly performs trajectory and intention prediction, showing that recurrently reasoning about intention can assist with trajectory prediction. We show our method outperforms state-of-the-art trajectory prediction methods by upto $27\%$ and also provide a baseline for frame-wise intention estimation.


title: The dual of the notions r-submodules, n-submodules, and J-submodules

abstract: Let R be a commutative ring with identity and M be an R-module. The purpose of this paper is to introduce and investigate the dual notions of r-submodules, n-submodules, and J-submodules of M.


title: The structure and stability of massive hot white dwarfs

abstract: We investigate the structure and stability against radial oscillations, pycnonuclear reactions, and inverse $\beta$-decay of hot white dwarfs. We regard that the fluid matter is made up for nucleons and electrons confined in a Wigner-Seitz cell surrounded by free photons. It is considered that the temperature depends on the mass density considering the presence of an isothermal core. We find that the temperature produces remarkable effects on the equilibrium and radial stability of white dwarfs. The stable equilibrium configuration results are compared with white dwarfs estimated from the Extreme Ultraviolet Explorer Survey and Sloan Digital Sky Survey. We derive masses, radii, and central temperatures for the most massive white dwarfs according to surface gravity and effective temperature reported by the survey. We note that these massive stars are in the mass region where the general relativity effects are important. These stars are near the threshold of instabilities due to radial oscillations, pycnonuclear reaction, and inverse $\beta$-decay. Regarding the radial stability of these stars as a function of the temperature, we obtain that the radial stability decreases with the increment of central temperature. We also obtain that the maximum mass point and the zero eigenfrequencies of the fundamental mode are determined at the same central energy density. Regarding low-temperature stars, the pycnonuclear reactions occur in almost similar central energy densities, and the central energy density threshold for inverse $\beta$-decay is not modified. For $T_c\geq1.0\times10^{8}\,[\rm K]$, the onset of the radial instability is attained before the pycnonuclear reaction and the inverse $\beta$-decay.


title: Measurement of the Angular Distribution of Wavelength-Shifted Light Emitted by TPB

abstract: We present measurements of the angular distribution of re-emitted light from tetraphenyl butadiene thin films when exposed to \SI{128}{nm} light in vacuum. Films ranging from \SI{250}{nm} to \SI{5.5}{\micron} in thickness are measured. All films were fabricated by evaporation deposition on ultraviolet transmitting (UVT) acrylic substrates. Preliminary comparisons of the angular distribution to that produced by a detailed Monte Carlo model are also presented. The current shortcomings of the model are discussed and future plans briefly outlined.


title: Modular Sparse Conical Multi-beam Phased Array Design for Air Traffic Control Radar

abstract: The design of a conical phased array antenna for air traffic control (ATC) radar systems is addressed in this work. The array, characterized by a fully digital beam-forming (DBF) architecture, is composed of equal vertical modules consisting of linear sparse arrays able to generate on receive multiple instantaneous beams pointing along different elevation directions. The synthesis problem is cast in the Compressive Sensing (CS) framework to achieve the best trade-off between the antenna complexity (i.e., minimum number of array elements and/or radio frequency components) and radiation performance (i.e., matching of a set of reference patterns). Towards this aim, the positions of the array elements and the set of complex element excitations of each beam are jointly defined through a customized CS-based optimization tool. Representative numerical results, concerned with ideal as well as real antenna models, are reported and discussed to validate the proposed design strategy and point out the features of the deigned modular sparse arrays also in comparison with those obtained from conventional arrays with uniformly spaced elements.


title: Semi-Supervised Learning for Channel Charting-Aided IoT Localization in Millimeter Wave Networks

abstract: In this paper, a novel framework is proposed for channel charting (CC)-aided localization in millimeter wave networks. In particular, a convolutional autoencoder model is proposed to estimate the three-dimensional location of wireless user equipment (UE), based on multipath channel state information (CSI), received by different base stations. In order to learn the radio-geometry map and capture the relative position of each UE, an autoencoder-based channel chart is constructed in an unsupervised manner, such that neighboring UEs in the physical space will remain close in the channel chart. Next, the channel charting model is extended to a semi-supervised framework, where the autoencoder is divided into two components: an encoder and a decoder, and each component is optimized individually, using the labeled CSI dataset with associated location information, to further improve positioning accuracy. Simulation results show that the proposed CC-aided semi-supervised localization yields a higher accuracy, compared with existing supervised positioning and conventional unsupervised CC approaches.


title: High-harmonic cosmic strings and gravitational waves

abstract: In this thesis we describe high-harmonic cosmic string loops in a general relativistic context, and study the implications of high-harmonic content for the predicted gravitational wave signal from cosmic string networks. Initially, we introduce the variational principle, spacetime concepts and other mathematical tools that we will need for the calculations in the following chapters. We introduce the FLRW universe and the $\Lambda CDM$ universe. We then describe the Nambu-Goto cosmic string in a curved spacetime, its equations of motion and its energy-momentum tensor. Fixing the spacetime to be flat, and fixing the gauge, we find the motion of the cosmic string and we present and discuss special solutions. Using the odd-harmonic family of cosmic string loops, we calculate the number of cusps per period and the values of the second derivatives of the left- and right-moving harmonic modes at the cusp, and study their dependence on the harmonic order. We then develop a toy model that calculates the stable daughter loops produced from a parent loop using a statistical approach based on a binary tree description of the loop chopping. We also use the toy model to calculate the average number of cusps produced from a system of loops that self intersect over their course of existence. We derive the gravitational waveform emitted from a cusp as observed away from the cusp, in any direction of observation. We then propagate this result in an FLRW spacetime to reach an expression of its amplitude on Earth. Assuming two different cosmic string network models, we implement our above mentioned high-harmonic results to find the amplitude of the signal and the rate at which these signals reach an observer on Earth.


title: Design and Analysis of Modular Pipe Climber-III with a Multi-Output Differential Mechanism

abstract: This paper presents the design of an in-pipe climbing robot that operates using a novel `Three-output open differential'(3-OOD) mechanism to traverse complex networks of pipes. Conventional wheeled/tracked in-pipe climbing robots are prone to slip and drag while traversing in pipe bends. The 3-OOD mechanism helps in achieving the novel result of eliminating slip and drag in the robot tracks during motion. The proposed differential realizes the functional abilities of the traditional two-output differential, which is achieved the first time for a differential with three outputs. The 3-OOD mechanism mechanically modulates the track speeds of the robot based on the forces exerted on each track inside the pipe network, by eliminating the need for any active control. The simulation of the robot traversing in the pipe network in different orientations and in pipe-bends without slip shows the proposed design's effectiveness.


title: Scarce Data Driven Deep Learning of Drones via Generalized Data Distribution Space

abstract: Increased drone proliferation in civilian and professional settings has created new threat vectors for airports and national infrastructures. The economic damage for a single major airport from drone incursions is estimated to be millions per day. Due to the lack of diverse drone training data, accurate training of deep learning detection algorithms under scarce data is an open challenge. Existing methods largely rely on collecting diverse and comprehensive experimental drone footage data, artificially induced data augmentation, transfer and meta-learning, as well as physics-informed learning. However, these methods cannot guarantee capturing diverse drone designs and fully understanding the deep feature space of drones. Here, we show how understanding the general distribution of the drone data via a Generative Adversarial Network (GAN) and explaining the missing features using Topological Data Analysis (TDA) - can allow us to acquire missing data to achieve rapid and more accurate learning. We demonstrate our results on a drone image dataset, which contains both real drone images as well as simulated images from computer-aided design. When compared to random data collection (usual practice - discriminator accuracy of 94.67\% after 200 epochs), our proposed GAN-TDA informed data collection method offers a significant 4\% improvement (99.42\% after 200 epochs). We believe that this approach of exploiting general data distribution knowledge form neural networks can be applied to a wide range of scarce data open challenges.


title: Observable Error Bounds of the Time-splitting Scheme for Quantum-Classical Molecular Dynamics

abstract: Quantum-classical molecular dynamics, as a partial classical limit of the full quantum Schr\"odinger equation, is a widely used framework for quantum molecular dynamics. The underlying equations are nonlinear in nature, containing a quantum part (represents the electrons) and a classical part (stands for the nuclei). An accurate simulation of the wave function typically requires a time step comparable to the rescaled Planck constant $h$, resulting in a formidable cost when $h\ll 1$. We prove an additive observable error bound of Schwartz observables for the proposed time-splitting schemes based on semiclassical analysis, which decreases as $h$ becomes smaller. Furthermore, we establish a uniform-in-$h$ observable error bound, which allows an $\mathcal{O}(1)$ time step to accurately capture the physical observable regardless of the size of $h$. Numerical results verify our estimates.


title: Effects of Higher Order Retarded Gravity

abstract: In a recent paper, we have a shown that the flattening of galactic rotation curves can be explained by retardation. However, this will rely on a temporal change of galactic mass. In our previous work, we kept only second order terms of the retardation time in our analysis, while higher terms in the Taylor expansion where not considered. Here we consider analysis to all orders and show that a second order analysis will indeed suffice, and higher order terms can be neglected.


title: Geometry-informed irreversible perturbations for accelerated convergence of Langevin dynamics

abstract: We introduce a novel geometry-informed irreversible perturbation that accelerates convergence of the Langevin algorithm for Bayesian computation. It is well documented that there exist perturbations to the Langevin dynamics that preserve its invariant measure while accelerating its convergence. Irreversible perturbations and reversible perturbations (such as Riemannian manifold Langevin dynamics (RMLD)) have separately been shown to improve the performance of Langevin samplers. We consider these two perturbations simultaneously by presenting a novel form of irreversible perturbation for RMLD that is informed by the underlying geometry. Through numerical examples, we show that this new irreversible perturbation can improve estimation performance over irreversible perturbations that do not take the geometry into account. Moreover we demonstrate that irreversible perturbations generally can be implemented in conjunction with the stochastic gradient version of the Langevin algorithm. Lastly, while continuous-time irreversible perturbations cannot impair the performance of a Langevin estimator, the situation can sometimes be more complicated when discretization is considered. To this end, we describe a discrete-time example in which irreversibility increases both the bias and variance of the resulting estimator.


title: Simulating gauge theories with variational quantum eigensolvers in superconducting microwave cavities

abstract: Quantum-enhanced computing methods are promising candidates to solve currently intractable problems. We consider here a variational quantum eigensolver (VQE), that delegates costly state preparations and measurements to quantum hardware, while classical optimization techniques guide the quantum hardware to create a desired target state. In this work, we propose a bosonic VQE using superconducting microwave cavities, overcoming the typical restriction of a small Hilbert space when the VQE is qubit based. The considered platform allows for strong nonlinearities between photon modes, which are highly customisable and can be tuned in situ, i.e. during running experiments. Our proposal hence allows for the realization of a wide range of bosonic ansatz states, and is therefore especially useful when simulating models involving degrees of freedom that cannot be simply mapped to qubits, such as gauge theories, that include components which require infinite-dimensional Hilbert spaces. We thus propose to experimentally apply this bosonic VQE to the U(1) Higgs model including a topological term, which in general introduces a sign problem in the model, making it intractable with conventional Monte Carlo methods.


title: Quantum Violation of Bell's Inequality: a misunderstanding based on a mathematical error of neglect

abstract: The fabled violation of Bell's inequality by the probabilistic specifications of quantum mechanics is shown to derive from a mathematical error. The inequality, designed to assess consequences of Einstein's principle of local realism, pertains to four polarization products on the same pair of photons arising in a gedankenexperiment. The summands of the CHSH quantity $s(\lambda)$ inhere four symmetric functional relations which have long been neglected in analytic considerations. Its expectation $E[s(\lambda)]$ is not the sum of four ``marginal'' expectations from a joint distribution, as quantum theory explicitly avoids such a specification. Rather, $E[s(\lambda)]$ has four distinct representations as the sum of three expectations of polarization products plus the expectation of a fourth which is restricted to equal a function value determined by the other three. Analysis using Bruno de Finetti's fundamental theorem of prevision (FTP) yields only a bound for $E(s)$ within $(1.1213, 2]$, surely not $2\sqrt{2}$ at all. The 4-D polytope of cohering joint $P_{++}$ probabilities at the four stipulated angle settings are displayed as passing through 3-D space. Aspect's ``estimation'' is based on polarization products from different photon pairs that do not have embedded within them the inhering functional relations. When you do actively embed the restrictions into Aspect's estimation procedure, it yields an estimate of 1.7667, although this is not and cannot be definitive.


title: On generalized ModMax model of nonlinear electrodynamics

abstract: A new generalized ModMax model of nonlinear electrodynamics with four parameters is proposed. The ModMax model and Born--Infeld-type electrodynamics are particular cases of the present model It is shown that a singularity of the electric field at the center of point-like charged particles is absent. We found corrections to Coulomb's law at $r\rightarrow\infty$ and obtain the total electrostatic and magnetic energies of point-like charges. Free electric and magnetic charges and their densities are obtained.


title: De Finetti Theorems for Quantum Conditional Probability Distributions with Symmetry

abstract: The aim of device-independent quantum key distribution (DIQKD) is to study protocols that allow the generation of a secret shared key between two parties under minimal assumptions on the devices that produce the key. These devices are merely modeled as black boxes and mathematically described as conditional probability distributions. A major obstacle in the analysis of DIQKD protocols is the huge space of possible black box behaviors. De Finetti theorems can help to overcome this problem by reducing the analysis to black boxes that have an iid structure. Here we show two new de Finetti theorems that relate conditional probability distributions in the quantum set to de Finetti distributions (convex combinations of iid distributions), that are themselves in the quantum set. We also show how one of these de Finetti theorems can be used to enforce some restrictions onto the attacker of a DIQKD protocol. Finally we observe that some desirable strengthenings of this restriction, for instance to collective attacks only, are not straightforwardly possible.


title: Deep Natural Language Processing for LinkedIn Search Systems

abstract: Many search systems work with large amounts of natural language data, e.g., search queries, user profiles and documents, where deep learning based natural language processing techniques (deep NLP) can be of great help. In this paper, we introduce a comprehensive study of applying deep NLP techniques to five representative tasks in search engines. Through the model design and experiments of the five tasks, readers can find answers to three important questions: (1) When is deep NLP helpful/not helpful in search systems? (2) How to address latency challenges? (3) How to ensure model robustness? This work builds on existing efforts of LinkedIn search, and is tested at scale on a commercial search engine. We believe our experiences can provide useful insights for the industry and research communities.


title: Learned holographic light transport

abstract: Computer-Generated Holography (CGH) algorithms often fall short in matching simulations with results from a physical holographic display. Our work addresses this mismatch by learning the holographic light transport in holographic displays. Using a camera and a holographic display, we capture the image reconstructions of optimized holograms that rely on ideal simulations to generate a dataset. Inspired by the ideal simulations, we learn a complex-valued convolution kernel that can propagate given holograms to captured photographs in our dataset. Our method can dramatically improve simulation accuracy and image quality in holographic displays while paving the way for physically informed learning approaches.


title: Mining for Gluon Saturation at Colliders

abstract: Quantum chromodynamics (QCD) is the theory of strong interactions of quarks and gluons collectively called partons, the basic constituents of all nuclear matter. Its non-abelian character manifests in nature in the form of two remarkable properties: color confinement and asymptotic freedom. At high energies, perturbation theory can result in the growth and dominance of very gluon densities at small-x. If left uncontrolled, this growth can result in gluons eternally growing violating a number of mathematical bounds. The resolution to this problem lies by balancing gluon emissions by recombinating gluons at high energies : phenomena of gluon saturation. High energy nuclear and particle physics experiments have spent the past decades quantifying the structure of protons and nuclei in terms of their fundamental constituents confirming predicted extraordinary behavior of matter at extreme density and pressure conditions. In the process they have also measured seemingly unexpected phenomena. We will give a state of the art review of the underlying theoretical and experimental tools and measurements pertinent to gluon saturation physics. We will argue for the need of high energy electron-proton/ion colliders such as the proposed EIC (USA) and LHeC (Europe) to consolidate our knowledge of QCD in the small x kinematic domains.


title: Combating Informational Denial-of-Service (IDoS) Attacks: Modeling and Mitigation of Attentional Human Vulnerability

abstract: This work proposes a new class of proactive attacks called the Informational Denial-of-Service (IDoS) attacks that exploit the attentional human vulnerability. By generating a large volume of feints, IDoS attacks deplete the cognitive resources of human operators to prevent humans from identifying the real attacks hidden among feints. This work aims to formally define IDoS attacks, quantify their consequences, and develop human-assistive security technologies to mitigate the severity level and risks of IDoS attacks. To this end, we use the semi-Markov process to model the sequential arrivals of feints and real attacks with category labels attached in the associated alerts. The assistive technology strategically manages human attention by highlighting selective alerts periodically to prevent the distraction of other alerts. A data-driven approach is applied to evaluate human performance under different Attention Management (AM) strategies. Under a representative special case, we establish the computational equivalency between two dynamic programming representations to reduce the computation complexity and enable online learning with samples of reduced size and zero delays. A case study corroborates the effectiveness of the learning framework. The numerical results illustrate how AM strategies can alleviate the severity level and the risk of IDoS attacks. Furthermore, the results show that the minimum risk is achieved with a proper level of intentional inattention to alerts, which we refer to as the law of rational risk-reduction inattention.


title: Switching Current Distributions in Josephson Junctions at Low Temperatures Resulting From Noise Enhanced Thermal Activation

abstract: Experiments on the distributions of switching currents in Josephson junctions are sensitive probes of the mechanism by which a junction changes abruptly to a finite voltage state. At low temperatures data exhibit smooth and gradual deviations from the expectations of the classical theory of thermal activation over the barrier in the tilted washboard potential. In this paper it is shown that if a very small proportion of the noise energy entering the apparatus at room temperature survives filtering and reaches the sample, it can enhance the escape rate sufficiently to replicate experimental observations of the temperature dependence of the switching bias. This conjecture is successfully tested against published experimental data.


title: Zariski-local framed $\mathbb{A}^1$-homotopy theory

abstract: In this note, we construct an equivalence of $\infty$-categories \[ \mathbf{H}^{\mathrm{fr},\mathrm{gp}}(S) \simeq \mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mathrm{zf}}(S) \] of group-like framed motivic spaces with respect to the Nisnevich topology and the so-called Zariski fibre topology generated by the Zariski one and the trivial fibre topology introduced by Druzhinin, Kolderup, {\O}stv{\ae}r, when $S$ is a separated noetherian scheme of finite dimension. In the base field case the Zariski fibre topology equals the Zariski topology. For a non-perfect field $k$ an equivalence of $\infty$-categories of Voevodsky's motives \[\mathbf{DM}(k)\simeq\mathbf{DM}_{\mathrm{zar}}(k)\] is new already. The base scheme case is deduced from the result over residue fields using the corresponding localisation theorems. Namely, the localisation theorem for $\mathbf{H}^{\mathrm{fr},\mathrm{gp}}(S)$ was proved by Hoyois, and the localisation theorem for $\mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mathrm{zf}}(S)$ is deduced in the present article from the affine localisation theorem for the trivial fibre topology proved by Druzhinin, Kolderup, {\O}stw{\ae}r.


title: LIGA-Stereo: Learning LiDAR Geometry Aware Representations for Stereo-based 3D Detector

abstract: Stereo-based 3D detection aims at detecting 3D object bounding boxes from stereo images using intermediate depth maps or implicit 3D geometry representations, which provides a low-cost solution for 3D perception. However, its performance is still inferior compared with LiDAR-based detection algorithms. To detect and localize accurate 3D bounding boxes, LiDAR-based models can encode accurate object boundaries and surface normal directions from LiDAR point clouds. However, the detection results of stereo-based detectors are easily affected by the erroneous depth features due to the limitation of stereo matching. To solve the problem, we propose LIGA-Stereo (LiDAR Geometry Aware Stereo Detector) to learn stereo-based 3D detectors under the guidance of high-level geometry-aware representations of LiDAR-based detection models. In addition, we found existing voxel-based stereo detectors failed to learn semantic features effectively from indirect 3D supervisions. We attach an auxiliary 2D detection head to provide direct 2D semantic supervisions. Experiment results show that the above two strategies improved the geometric and semantic representation capabilities. Compared with the state-of-the-art stereo detector, our method has improved the 3D detection performance of cars, pedestrians, cyclists by 10.44%, 5.69%, 5.97% mAP respectively on the official KITTI benchmark. The gap between stereo-based and LiDAR-based 3D detectors is further narrowed.


title: Towards Robust Human Trajectory Prediction in Raw Videos

abstract: Human trajectory prediction has received increased attention lately due to its importance in applications such as autonomous vehicles and indoor robots. However, most existing methods make predictions based on human-labeled trajectories and ignore the errors and noises in detection and tracking. In this paper, we study the problem of human trajectory forecasting in raw videos, and show that the prediction accuracy can be severely affected by various types of tracking errors. Accordingly, we propose a simple yet effective strategy to correct the tracking failures by enforcing prediction consistency over time. The proposed "re-tracking" algorithm can be applied to any existing tracking and prediction pipelines. Experiments on public benchmark datasets demonstrate that the proposed method can improve both tracking and prediction performance in challenging real-world scenarios. The code and data are available at https://git.io/retracking-prediction.


title: Supersymmetric domain walls in maximal 6D gauged supergravity II

abstract: We continue the study of supersymmetric domain wall solutions in six-dimensional maximal gauged supergravity. We first give a classification of viable gauge groups with the embedding tensor in $\mathbf{5}^{+7}$, $\bar{\mathbf{5}}^{+3}$, $\mathbf{10}^{-1}$, $\mathbf{24}^{-5}$, and $\overline{\mathbf{45}}^{+3}$ representations of the off-shell symmetry $GL(5)\subset SO(5,5)$. We determine an explicit form of the embedding tensor for gauge groups arising from each representation together with some examples of possible combinations among them. All of the resulting gauge groups are of a non-semisimple type with abelian factors and translational groups of different dimensions. We find $\frac{1}{2}$- and $\frac{1}{4}$-supersymmetric domain walls with $SO(2)$ symmetry in $SO(2)\ltimes \mathbb{R}^8$ and $SO(2)\ltimes \mathbb{R}^6$ gauge groups from the embedding tensor in $\mathbf{24}^{-5}$ representation and in $CSO(2,0,2)\ltimes \mathbb{R}^4$, $CSO(2,0,2)\ltimes \mathbb{R}^2$, and $CSO(2,0,1)\ltimes \mathbb{R}^4$ gauge groups with the embedding tensor in $\overline{\mathbf{45}}^{+3}$ representations. These gauge groups are parametrized by a traceless matrix and electrically and magnetically embedded in $SO(5,5)$ global symmetry, respectively.


title: \L ojasiewicz Inequalities and Generic Smoothness of Nodal Sets of Solutions to Elliptic PDE

abstract: In this article, we prove that for a broad class of second order elliptic PDEs, including the Laplacian, the zero sets of solutions to the Dirichlet problem are smooth for "generic" $L^2$ data. When the zero set of a solution (e.g. a harmonic function) contains a singularity, this means that we can find an arbitrarily small perturbation of the boundary data so that the zero set of the perturbed solution is smooth throughout a prescribed neighborhood of the former singularity. Furthermore, we can take the perturbation to be "mean zero" for which there are additional technical difficulties to ensure that we do not introduce new singularities in the process of eliminating the original ones. Of independent interest, in order to prove the main theorem, we establish an effective version of the \L ojasiewicz gradient inequality with uniform constants in the class of solutions with bounded frequency.


title: SOME/IP Intrusion Detection using Deep Learning-based Sequential Models in Automotive Ethernet Networks

abstract: Intrusion Detection Systems are widely used to detect cyberattacks, especially on protocols vulnerable to hacking attacks such as SOME/IP. In this paper, we present a deep learning-based sequential model for offline intrusion detection on SOME/IP application layer protocol. To assess our intrusion detection system, we have generated and labeled a dataset with several classes representing realistic intrusions, and a normal class - a significant contribution due to the absence of such publicly available datasets. Furthermore, we also propose a recurrent neural network (RNN), as an instance of deep learning-based sequential model, that we apply to our generated dataset. The numerical results show that RNN excel at predicting in-vehicle intrusions, with F1 Scores and AUC values greater than 0.8 depending on each intrusion type.


title: Selectively-Amortized Resource Bounding (Extended Version)

abstract: We consider the problem of automatically proving resource bounds. That is, we study how to prove that an integer-valued resource variable is bounded by a given program expression. Automatic resource-bound analysis has recently received significant attention because of a number of important applications (e.g., detecting performance bugs, preventing algorithmic-complexity attacks, identifying side-channel vulnerabilities), where the focus has often been on developing precise amortized reasoning techniques to infer the most exact resource usage. While such innovations remain critical, we observe that fully precise amortization is not always necessary to prove a bound of interest. And in fact, by amortizing selectively, the needed supporting invariants can be simpler, making the invariant inference task more feasible and predictable. We present a framework for selectively-amortized analysis that mixes worst-case and amortized reasoning via a property decomposition and a program transformation. We show that proving bounds in any such decomposition yields a sound resource bound in the original program, and we give an algorithm for selecting a reasonable decomposition.


title: Fake News and Phishing Detection Using a Machine Learning Trained Expert System

abstract: Expert systems have been used to enable computers to make recommendations and decisions. This paper presents the use of a machine learning trained expert system (MLES) for phishing site detection and fake news detection. Both topics share a similar goal: to design a rule-fact network that allows a computer to make explainable decisions like domain experts in each respective area. The phishing website detection study uses a MLES to detect potential phishing websites by analyzing site properties (like URL length and expiration time). The fake news detection study uses a MLES rule-fact network to gauge news story truthfulness based on factors such as emotion, the speaker's political affiliation status, and job. The two studies use different MLES network implementations, which are presented and compared herein. The fake news study utilized a more linear design while the phishing project utilized a more complex connection structure. Both networks' inputs are based on commonly available data sets.


title: End-to-End Urban Driving by Imitating a Reinforcement Learning Coach

abstract: End-to-end approaches to autonomous driving commonly rely on expert demonstrations. Although humans are good drivers, they are not good coaches for end-to-end algorithms that demand dense on-policy supervision. On the contrary, automated experts that leverage privileged information can efficiently generate large scale on-policy and off-policy demonstrations. However, existing automated experts for urban driving make heavy use of hand-crafted rules and perform suboptimally even on driving simulators, where ground-truth information is available. To address these issues, we train a reinforcement learning expert that maps bird's-eye view images to continuous low-level actions. While setting a new performance upper-bound on CARLA, our expert is also a better coach that provides informative supervision signals for imitation learning agents to learn from. Supervised by our reinforcement learning coach, a baseline end-to-end agent with monocular camera-input achieves expert-level performance. Our end-to-end agent achieves a 78% success rate while generalizing to a new town and new weather on the NoCrash-dense benchmark and state-of-the-art performance on the challenging public routes of the CARLA LeaderBoard.


title: Perturbed M-Estimation: A Further Investigation of Robust Statistics for Differential Privacy

abstract: Differential Privacy (DP) provides an elegant mathematical framework for defining a provable disclosure risk in the presence of arbitrary adversaries; it guarantees that whether an individual is in a database or not, the results of a DP procedure should be similar in terms of their probability distribution. While DP mechanisms are provably effective in protecting privacy, they often negatively impact the utility of the query responses, statistics and/or analyses that come as outputs from these mechanisms. To address this problem, we use ideas from the area of robust statistics which aims at reducing the influence of outlying observations on statistical inference. Based on the preliminary known links between differential privacy and robust statistics, we modify the objective perturbation mechanism by making use of a new bounded function and define a bounded M-Estimator with adequate statistical properties. The resulting privacy mechanism, named "Perturbed M-Estimation", shows important potential in terms of improved statistical utility of its outputs as suggested by some preliminary results. These results consequently support the need to further investigate the use of robust statistical tools for differential privacy.


title: Moments of the first descending epoch for a random walk with negative drift

abstract: We consider the first exit time $\tau = \min \{n\ge 1 : S_n\le 0\}$ from the positive halfline of a random walk $S_n = \sum_1^n \xi_i, n\ge 1$ with i.d.d. summands having a negative drift ${\mathbb E} \xi = -a< 0$. Let $\xi^+ = \max (0, \xi_1)$. It is well-known that, for any $c>1$, the finiteness of ${\mathbb E}(\xi^+)^{c}$ implies the finiteness of ${\mathbb E} \tau^c$ and, for any $c>0$, the finiteness of ${\mathbb E} \exp({c\xi^+})$ implies that of ${\mathbb E} \exp({c'\tau})$ where $c'>0$ is, in general, another constant that depends on $c$ and on the distribution of $\xi_1$. We consider the intermediate case, assuming that ${\mathbb E} \exp({g(\xi^+)})<\infty$ for a positive increasing function $g$ such that $\liminf_{x\to\infty} g(x)/\log x = \infty$ and $\limsup_{x\to\infty} g(x)/x =0$, and that ${\mathbb E} \exp({c\xi^+})=\infty$, for all $c>0$. Assuming a few further technical assumptions, we show that then ${\mathbb E} \exp({(1-\varepsilon){g}((1-\varepsilon)a\tau)})<\infty$, for any $\varepsilon \in (0,1)$.


title: Quantum Circuits Reproduce Experimental Two-dimensional Many-body Localization Transition Point

abstract: While many studies point towards the existence of many-body localization (MBL) in one dimension, the fate of higher-dimensional strongly disordered systems is a topic of current debate. The latest experiments as well as several recent numerical studies indicate that such systems behave many-body localized -- at least on practically relevant time scales. However, thus far, theoretical approaches have been unable to quantitatively reproduce experimentally measured MBL features -- an important requirement to demonstrate their validity. In this work, we use fermionic quantum circuits as a variational method to approximate the full set of eigenstates of two-dimensional MBL systems realized in fermionic optical lattice experiments. Using entanglement-based features, we obtain a phase transition point in excellent agreement with the experimentally measured value. Moreover, we calculate, the filling fraction-dependent MBL phase diagram, an important feature which has not been addressed in previous literature. We argue that our approach best captures the underlying charge-density-wave experiments and compute the mean localization lengths, which can be compared to future experiments.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Toward emulating nuclear reactions using eigenvector continuation

abstract: We construct an efficient emulator for two-body scattering observables using the general (complex) Kohn variational principle and trial wave functions derived from eigenvector continuation. The emulator simultaneously evaluates an array of Kohn variational principles associated with different boundary conditions, which allows for the detection and removal of spurious singularities known as Kohn anomalies. When applied to the $K$-matrix only, our emulator resembles the one constructed by Furnstahl et al. [Phys. Lett. B 809, 135719] although with reduced numerical noise. After a few applications to real potentials, we emulate differential cross sections for $^{40}$Ca$(n,n)$ scattering based on a realistic optical potential and quantify the model uncertainties using Bayesian methods. These calculations serve as a proof of principle for future studies aimed at improving optical models.


title: Spectral properties of weighted composition operators on $\Hol(\D)$ induced by rotations

abstract: In this article we study the spectrum $\sigma(T)$ and Waelbroeck spectrum $\sigma_W(T)$ of a weighted composition operator $T$ induced by a rotation on $\Hol(\D)$ and given by $$Tf(z)=m(z)f(\beta z) \ \ \ (z\in \D)$$ where $m\in \Hol(\D)$, $\beta\in \C$, $|\beta | = 1$. If $\beta^n\neq 1$ for all $n\in \N$ we show that $\sigma_W(T)$ is a disc if $m(z_0)=0$ for some $z_0\in \D$ and it is the circle $\{\lambda\in \C : |\lambda |=|m(0)|\}$ if $m(z)\neq 0$ for all $z\in \D$. We find examples of $m\in A(\D)$ (the disc algebra) such that $\lambda\Id-T$ is invertible in $\Hol(\D)$ (the Fr\'echet space of all holomorphic functions on $\D$), but $(\lambda\Id-T)^{-1}A(\D)\not\subset A(\D)$. Inspired by Bonet \cite{Bonet} we show that $\{\beta^n : n\in \N\}\subset \sigma(T)\neq \T$ when the weight is $m\equiv 1$ and $\beta$ a diophantine number. This shows that the spectrum is not closed in general.


title: E-Commerce and E-Health Strategies and Implementation Activities in the United Kingdom: Review Study

abstract: This study deals with the review of e-commerce and e-health. The investigation of e-commerce and e-health in the United Kingdom is proposed. The related works of e-commerce and e-health sectors is analysed. The world market for e-commerce is studied.


title: Aurora: a probabilistic algorithm for distributed ledgers enabling trustless synchronization and transaction inclusion verification

abstract: A new node joining a blockchain network first synchronizes with the network to verify ledger state by downloading the entire ledger history. We present Aurora, a probabilistic algorithm that \textit{identifies honest nodes} for transient or persistent communication in the presence of malicious nodes in a blockchain network, or ceases operation if it is unable to do so. The algorithm allows a node joining the network to make an informed decision about its next synchronization step or to verify that a transaction is contained in a valid ledger block without downloading the entire ledger or even the header chain. The algorithm constructs a Directed Acyclic Graph on the network topology to select a subset of nodes including a predefined number of honest nodes with a given probability. It is evaluated on a Bitcoin-like network topology using an open-source blockchain simulator. We investigate algorithm performance and analyze its communication complexity. Our results show that the algorithm facilitates trustless interactions of resource-constrained nodes with a blockchain network containing malicious nodes to enable a leaner initial blockchain download or an efficient and trustless transaction inclusion verification. Moreover, the algorithm can be implemented without any changes to the existing consensus protocol.


title: User configurable 3D object regeneration for spatial privacy

abstract: Environmental understanding capability of $\textit{augmented}$ (AR) and $\textit{mixed reality}$ (MR) devices are continuously improving through advances in sensing, computer vision, and machine learning. Various AR/MR applications demonstrate such capabilities i.e. scanning a space using a handheld or head mounted device and capturing a digital representation of the space that are accurate copies of the real space. However, these capabilities impose privacy risks to users: personally identifiable information can leak from captured 3D maps of the sensitive spaces and/or captured sensitive objects within the mapped space. Thus, in this work, we demonstrate how we can leverage 3D object regeneration for preserving privacy of 3D point clouds. That is, we employ an intermediary layer of protection to transform the 3D point cloud before providing it to the third-party applications. Specifically, we use an existing adversarial autoencoder to generate copies of 3D objects where the likeness of the copies from the original can be varied. To test the viability and performance of this method as a privacy preserving mechanism, we use a 3D classifier to classify and identify these transformed point clouds i.e. perform $\textit{super}$-class and $\textit{intra}$-class classification. To measure the performance of the proposed privacy framework, we define privacy, $\Pi\in[0,1]$, and utility metrics, $Q\in[0,1]$, which are desired to be maximized. Experimental evaluation shows that the privacy framework can indeed variably effect the privacy of a 3D object by varying the privilege level $l\in[0,1]$ i.e. if a low $l<0.17$ is maintained, $\Pi_1,\Pi_2>0.4$ is ensured where $\Pi_1,\Pi_2$ are super- and intra-class privacy. Lastly, the privacy framework can ensure relatively high intra-class privacy and utility i.e. $\Pi_2>0.63$ and $Q>0.70$, if the privilege level is kept within the range of $0.17<l<0.25$.


title: Unified theory of elementary fermions and their interactions based on Clifford algebras

abstract: Seven commuting elements of the Clifford algebra $Cl_{7,7}$ define seven binary eigenvalues that distinguish the $2^7=128$ states of 32 fermions, and determine their parity, electric charge and interactions. Three commuting elements of the sub-algebra $Cl_{3,3}$ define three binary quantum numbers that distinguish the eight states of lepton doublets. The Dirac equation is reformulated in terms of a Lorentz invariant operator which expresses the properties of these states in terms of Dirac 4-component spinors. Re-formulation of the Standard Model shows chiral symmetry breaking to be redundant. A $Cl_{3,3}$ sub-algebra of $Cl_{5,5}$ defines two additional binary quantum numbers that distinguish quarks and leptons, and describes the SU(3) gluons that produce the hadron substrate, explaining quark confinement. Finally, a $Cl_{3,3}$ sub-algebra of $Cl_{7,7}$ defines a further two binary quantum numbers that distinguish four fermion generations. The predicted fourth generation is shown to have no neutrino and a distinct substrate, suggesting that ordinary matter is confined and providing candidates for unconfined dark matter. Interactions between fermions in the first three generations are predicted, including those that produce flavour symmetry. Relationships are explored between the $Cl_{1,3}$ algebra and general relativity, and between $Cl_{5,5}$ and SO(32) string theory.


title: TB-ICT: A Trustworthy Blockchain-Enabled System for Indoor COVID-19 Contact Tracing

abstract: Recently, as a consequence of the COVID-19 pandemic, dependence on Contact Tracing (CT) models has significantly increased to prevent spread of this highly contagious virus and be prepared for the potential future ones. Since the spreading probability of the novel coronavirus in indoor environments is much higher than that of the outdoors, there is an urgent and unmet quest to develop/design efficient, autonomous, trustworthy, and secure indoor CT solutions. Despite such an urgency, this field is still in its infancy. The paper addresses this gap and proposes the Trustworthy Blockchain-enabled system for Indoor Contact Tracing (TB-ICT) framework. The TB-ICT framework is proposed to protect privacy and integrity of the underlying CT data from unauthorized access. More specifically, it is a fully distributed and innovative blockchain platform exploiting the proposed dynamic Proof of Work (dPoW) credit-based consensus algorithm coupled with Randomized Hash Window (W-Hash) and dynamic Proof of Credit (dPoC) mechanisms to differentiate between honest and dishonest nodes. The TB-ICT not only provides a decentralization in data replication but also quantifies the node's behavior based on its underlying credit-based mechanism. For achieving high localization performance, we capitalize on availability of Internet of Things (IoT) indoor localization infrastructures, and develop a data driven localization model based on Bluetooth Low Energy (BLE) sensor measurements. The simulation results show that the proposed TB-ICT prevents the COVID-19 from spreading by implementation of a highly accurate contact tracing model while improving the users' privacy and security.


title: Various types of completeness in topologized semilattices

abstract: A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C$ and $\sup C$ that belong to the closure $C$ of the chain $C$ in $X$. In this paper, we introduce various concepts of completeness of topologized semilattices in the context of operators that generalize the closure operator, and study their basic properties. In addition, examples of specific topologized semilattices are given, showing that these classes do not coincide with each other. Also in this paper, we prove theorems that allow us to generalize the available results on complete semilattices endowed with topology.


title: Properties of Congruence Lattices of Graph Inverse Semigroups

abstract: From any directed graph $E$ one can construct the graph inverse semigroup $G(E)$, whose elements, roughly speaking, correspond to paths in $E$. Wang and Luo showed that the congruence lattice $L(G(E))$ of $G(E)$ is upper-semimodular for every graph $E$, but can fail to be lower-semimodular for some $E$. We provide a simple characterisation of the graphs $E$ for which $L(G(E))$ is lower-semimodular. We also describe those $E$ such that $L(G(E))$ is atomistic, and characterise the minimal generating sets for $L(G(E))$ when $E$ is finite and simple.


title: Two parameter Leak Estimation in Non invasive Ventilation

abstract: In this paper we present a method for the estimation of leaks in non-invasive ventilation. Accurate estimation of leaks is a key component of a ventilator, since it determines the ventilator performance in terms of patient-ventilator synchrony and air volume delivery. In particular, in non-invasive ventilation, the patient flow is significantly different from the flow measured at the ventilator outlet. This is mostly due to the vent orifice along the tube that is used for exhalation, but also to the non-intentional leaks that occur elsewhere in the circuit (e.g., at the mask). Such leaks are traditionally quantified via a model with two parameters, but only one of them is continually updated - the other is fixed. The new algorithm allows for breath-by-breath update of both parameters. This was made possible by leveraging a model describing the patient respiratory mechanics.

categories: physics.med-ph cs.SY eess.SP eess.SY q-bio.QM


title: Employing infrared microscopy (IRM) in combination with a pre-trained neural network to visualise and analyse the defect distribution in Cadmium Telluride crystals

abstract: While Cadmium Telluride (CdTe) excels in terms of photon radiation absorption properties and outperforms silicon (Si) in this respect, the crystal growth, characterization and processing into a radiation detector is much more complicated. Additionally, large concentrations of extended crystallographic defects, such as grain boundaries, twins, and tellurium (Te) inclusions, vary from crystal to crystal and can reduce the spectroscopic performance of the processed detector. A quality assessment of the material prior to the complex fabrication process is therefore crucial. To locate the Te-defects, we scan the crystals with infrared microscopy (IRM) in different layers, obtaining a 3D view of the defect distribution. This provides us with important information on the defect density and locations of Te inclusions, and thus a handle to assess the quality of the material. For the classification of defects in the large amount of IRM image data, a convolutional neural network is employed. From the post-processed and analysed IRM data, 3D defect maps of the CdTe crystals are created, which make different patterns of defect agglomerations inside the crystals visible. In total, more than 100 crystals were scanned with the current IRM setup. In this paper, we compare two crystal batches, each consisting of 12 samples. We find significant differences in the defect distributions of the crystals.


title: Polarization-Induced Interaction as a Perturbation within Orbital Angular Momentum(OAM) Modes of an Optical Fiber

abstract: We investigate the role of polarization effects in orbital angular momentum modes of an optical fiber. Specifically, we revisit the removal of the degeneracy of the $HE$ and the $EH$ vector modes that exists within the weakly guiding approximation (WGA); within WGA, these two vector modes coalesce into a single spatial (scalar) orbital angular momentum (OAM) mode, defined by a common topological charge and associated with left or right circular polarization. While the polarization term of the vector wave equation acting as a Hermitian perturbation operator accounts for the splitting of the $HE$ and the $EH$ vector modes, its extension to explain the accompanying field correction, called the polarization-induced field, encounters hurdles; this field is characterized by a topological charge differing by two in magnitude. The problems are critically examined with a possible remedy and its implications.


title: Theoretical comparison of quantum and classical illumination for simple detection-based LIDAR

abstract: Use of non-classical light in a quantum illumination scheme provides an advantage over classical illumination when used for LIDAR with a simple and realistic detection scheme based on Geiger-mode single photon detectors. Here we provide an analysis that accounts for the additional information gained when detectors do not fire that is typically neglected and show an improvement in performance of quantum illumination. Moreover, we provide a theoretical framework quantifying performance of both quantum and classical illumination for simple target detection, showing parameters for which a quantum advantage exists. Knowledge of the regimes that demonstrate a quantum advantage will inform where possible practical quantum LIDAR utilising non-classical light could be realised.


title: OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations

abstract: Users interacting with a system through UI are typically obliged to perform their actions in a pre-determined order, to successfully achieve certain functional goals. However, such obligations are often not followed strictly by users, which may lead to the violation to security properties, especially in security-critical systems. To improve the security with the awareness of unexpected user behaviors, a system can be redesigned to a more robust one by changing the order of actions in its specification. Meanwhile, we anticipate that the functionalities would remain consistent following the modifications. In this paper, we propose an efficient algorithm to automatically produce specification revisions tackling the attack scenarios caused by weakened user obligations. By our algorithm, all the revisions would be generated to maintain the integrity of the functionalities using a novel recomposition approach. Then, the eligible revisions that can satisfy the security requirements would be efficiently spotted by a hybrid approach combining model checking and machine learning techniques. We evaluate our algorithm by comparing its performance with a state-of-the-art approach regarding their coverage and searching speed of the desirable revisions.


title: Unseen facts due to the statistical derivation of the Bell inequality and their logical consequences

abstract: The Bell inequality is derived under the assumption of three physical data sets, random or deterministic. The data sets represent a laboratory realization of the three probability based variables used by Bell. For physical data as can be written on paper, the derivation of the inequality results only from principles of algebra and is independent of assumptions of locality, hidden variables and even randomness. Cross correlations of thee data sets carried out as Bell correlated three random variables results in the same inequality that is identically satisfied even by deterministic data. However, to obtain three data sets on two particles destroyed by measurement, two experimental runs are required, followed by data matching to reduce four data sets to three. If quantum mechanical probabilities are used to describe the data frequencies, the Bell inequality is satisfied. The situation is analogous to performing two sets of coin flips to compare the effect of two different coin loadings on the probabilities for heads and tails.


title: Stochastic Scene-Aware Motion Prediction

abstract: A long-standing goal in computer vision is to capture, model, and realistically synthesize human behavior. Specifically, by learning from data, our goal is to enable virtual humans to navigate within cluttered indoor scenes and naturally interact with objects. Such embodied behavior has applications in virtual reality, computer games, and robotics, while synthesized behavior can be used as a source of training data. This is challenging because real human motion is diverse and adapts to the scene. For example, a person can sit or lie on a sofa in many places and with varying styles. It is necessary to model this diversity when synthesizing virtual humans that realistically perform human-scene interactions. We present a novel data-driven, stochastic motion synthesis method that models different styles of performing a given action with a target object. Our method, called SAMP, for Scene-Aware Motion Prediction, generalizes to target objects of various geometries while enabling the character to navigate in cluttered scenes. To train our method, we collected MoCap data covering various sitting, lying down, walking, and running styles. We demonstrate our method on complex indoor scenes and achieve superior performance compared to existing solutions. Our code and data are available for research at https://samp.is.tue.mpg.de.


title: Combined Trojan Y Chromosome Strategy and Sterile Insect Technique to Eliminate Mosquitoes: Modelling and Analysis

abstract: Sterile insect technique has been successfully applied in the control of agricultural pests, however, it has a limited ability to control mosquitoes. A promising alternative approach is Trojan Y Chromosome strategy, which works by manipulating the sex ratio of a population through the introduction of feminized Y Y supermales that guarantee male offspring. A combined Trojan Y chromosome strategy and sterile insect technique (TYC-SIT) strategy is modeled with ordinary differential equations that allow the kinetics of the female population decline of mosquitoes to be evaluated under identical modeling conditions. The dynamical analysis leads to results on both local and global stabilities of this combined model. Optimal control analysis is also implemented to investigate the optimal mechanisms for extinction of mosquitoes. In particular, the numerical results affirm that the combined TYC-SIT enables near elimination of mosquitoes. The conclusion has great significance for pest controls.


title: Deep Reparametrization of Multi-Frame Super-Resolution and Denoising

abstract: We propose a deep reparametrization of the maximum a posteriori formulation commonly employed in multi-frame image restoration tasks. Our approach is derived by introducing a learned error metric and a latent representation of the target image, which transforms the MAP objective to a deep feature space. The deep reparametrization allows us to directly model the image formation process in the latent space, and to integrate learned image priors into the prediction. Our approach thereby leverages the advantages of deep learning, while also benefiting from the principled multi-frame fusion provided by the classical MAP formulation. We validate our approach through comprehensive experiments on burst denoising and burst super-resolution datasets. Our approach sets a new state-of-the-art for both tasks, demonstrating the generality and effectiveness of the proposed formulation.


title: Symmetry and degeneracy, exceptional point and coalescence: a pedagogical approach

abstract: We show a parameter-dependent $3\times 3$ non-Hermitian matrix that exhibits both degeneracy and coalescence of eigenvalues at an exceptional point (Hermitian and non-Hermitian degeneracies). This simple non-Hermitian model is suitable for the discussion of those concepts in an undergraduate or graduate course on quantum-mechanics. We also study the symmetry group responsible for the degeneracy.


title: On computations with Double Schubert Automaton and stable maps of Multivariate Cryptography

abstract: The families of bijective transformations $G_n$ of affine space $K^n$ over general commutative ring $K$ of increasing order with the property of stability will be constructed. Stability means that maximal degree of elements of cyclic subgroup generated by the transformation of degree $d$ is bounded by $d$. In the case $K=F_q$ these transformations of $K^n$ can be of an exponential order. We introduce large groups formed by quadratic transformations and numerical encryption algorithm protected by secure protocol of Noncommutative Cryptography. The construction of transformations is presented in terms of walks on Double Schubert Graphs.


title: PerceMon: Online Monitoring for Perception Systems

abstract: Perception algorithms in autonomous vehicles are vital for the vehicle to understand the semantics of its surroundings, including detection and tracking of objects in the environment. The outputs of these algorithms are in turn used for decision-making in safety-critical scenarios like collision avoidance, and automated emergency braking. Thus, it is crucial to monitor such perception systems at runtime. However, due to the high-level, complex representations of the outputs of perception systems, it is a challenge to test and verify these systems, especially at runtime. In this paper, we present a runtime monitoring tool, PerceMon that can monitor arbitrary specifications in Timed Quality Temporal Logic (TQTL) and its extensions with spatial operators. We integrate the tool with the CARLA autonomous vehicle simulation environment and the ROS middleware platform while monitoring properties on state-of-the-art object detection and tracking algorithms.


title: Non-Gaussian photonic state engineering with the quantum frequency processor

abstract: Non-Gaussian quantum states of light are critical resources for optical quantum information processing, but methods to generate them efficiently remain challenging to implement. Here we introduce a generic approach for non-Gaussian state production from input states populating discrete frequency bins. Based on controllable unitary operations with a quantum frequency processor, followed by photon-number-resolved detection of ancilla modes, our method combines recent developments in both frequency-based quantum information and non-Gaussian state preparation. Leveraging and refining the K-function representation of quantum states in the coherent basis, we develop a theoretical model amenable to numerical optimization and, as specific examples, design quantum frequency processor circuits for the production of Schr\"{o}dinger cat states, exploring the performance tradeoffs for several combinations of ancilla modes and circuit depth. Our scheme provides a valuable general framework for producing complex quantum states in frequency bins, paving the way for single-spatial-mode, fiber-optic-compatible non-Gaussian resource states.


title: Pixel-Perfect Structure-from-Motion with Featuremetric Refinement

abstract: Finding local features that are repeatable across multiple views is a cornerstone of sparse 3D reconstruction. The classical image matching paradigm detects keypoints per-image once and for all, which can yield poorly-localized features and propagate large errors to the final geometry. In this paper, we refine two key steps of structure-from-motion by a direct alignment of low-level image information from multiple views: we first adjust the initial keypoint locations prior to any geometric estimation, and subsequently refine points and camera poses as a post-processing. This refinement is robust to large detection noise and appearance changes, as it optimizes a featuremetric error based on dense features predicted by a neural network. This significantly improves the accuracy of camera poses and scene geometry for a wide range of keypoint detectors, challenging viewing conditions, and off-the-shelf deep features. Our system easily scales to large image collections, enabling pixel-perfect crowd-sourced localization at scale. Our code is publicly available at https://github.com/cvg/pixel-perfect-sfm as an add-on to the popular SfM software COLMAP.


title: GSVMA: A Genetic-Support Vector Machine-Anova method for CAD diagnosis based on Z-Alizadeh Sani dataset

abstract: Coronary heart disease (CAD) is one of the crucial reasons for cardiovascular mortality in middle-aged people worldwide. The most typical tool is angiography for diagnosing CAD. The challenges of CAD diagnosis using angiography are costly and have side effects. One of the alternative solutions is the use of machine learning-based patterns for CAD diagnosis. Hence, this paper provides a new hybrid machine learning model called Genetic Support Vector Machine and Analysis of Variance (GSVMA). The ANOVA is known as the kernel function for SVM. The proposed model is performed based on the Z-Alizadeh Sani dataset. A genetic optimization algorithm is used to select crucial features. In addition, SVM with Anova, Linear SVM, and LibSVM with radial basis function methods were applied to classify the dataset. As a result, the GSVMA hybrid method performs better than other methods. This proposed method has the highest accuracy of 89.45% through a 10-fold cross-validation technique with 35 selected features on the Z-Alizadeh Sani dataset. Therefore, the genetic optimization algorithm is very effective for improving accuracy. The computer-aided GSVMA method can be helped clinicians with CAD diagnosis.


title: Topics on Pedal Polygons

abstract: In this paper, we study several topics on pedal polygons. First, we prove the existence for pedal centers of triangles in a new way. From its proof, we find that the sum of area of outer and inner polygons is invariant under rotation. Finally, we investigate when a polygon will be a pedal polygon of another one.


title: Representations and cohomologies of relative Rota-Baxter Lie algebras and applications

abstract: In this paper, first we give the notion of a representation of a relative Rota-Baxter Lie algebra and introduce the cohomologies of a relative Rota-Baxter Lie algebra with coefficients in a representation. Then we classify abelian extensions of relative Rota-Baxter Lie algebras using the second cohomology group, and classify skeletal relative Rota-Baxter Lie 2-algebras using the third cohomology group as applications. At last, using the established general framework of representations and cohomologies of relative Rota-Baxter Lie algebras, we give the notion of representations of Rota-Baxter Lie algebras, which is consistent with representations of Rota-Baxter associative algebras in the literature, and introduce the cohomologies of Rota-Baxter Lie algebras with coefficients in a representation. Applications are also given to classify abelian extensions of Rota-Baxter Lie algebras and skeletal Rota-Baxter Lie 2-algebras.


title: AIRCHITECT: Learning Custom Architecture Design and Mapping Space

abstract: Design space exploration is an important but costly step involved in the design/deployment of custom architectures to squeeze out maximum possible performance and energy efficiency. Conventionally, optimizations require iterative sampling of the design space using simulation or heuristic tools. In this paper we investigate the possibility of learning the optimization task using machine learning and hence using the learnt model to predict optimal parameters for the design and mapping space of custom architectures, bypassing any exploration step. We use three case studies involving the optimal array design, SRAM buffer sizing, mapping, and schedule determination for systolic-array-based custom architecture design and mapping space. Within the purview of these case studies, we show that it is possible to capture the design space and train a model to "generalize" prediction the optimal design and mapping parameters when queried with workload and design constraints. We perform systematic design-aware and statistical analysis of the optimization space for our case studies and highlight the patterns in the design space. We formulate the architecture design and mapping as a machine learning problem that allows us to leverage existing ML models for training and inference. We design and train a custom network architecture called AIRCHITECT, which is capable of learning the architecture design space with as high as 94.3% test accuracy and predicting optimal configurations which achieve on average (GeoMean) of 99.9% the best possible performance on a test dataset with $10^5$ GEMM workloads.


title: Deep Contrastive Multiview Network Embedding

abstract: Multiview network embedding aims at projecting nodes in the network to low-dimensional vectors, while preserving their multiple relations and attribute information. Contrastive learning approaches have shown promising performance in this task. However, they neglect the semantic consistency between fused and view representations and have difficulty in modeling complementary information between different views. To deal with these deficiencies, this work presents a novel Contrastive leaRning framEwork for Multiview network Embedding (CREME). In our work, different views can be obtained based on the various relations among nodes. Then, we generate view embeddings via proper view encoders and utilize an attentive multiview aggregator to fuse these representations. Particularly, we design two collaborative contrastive objectives, view fusion InfoMax and inter-view InfoMin, to train the model in a self-supervised manner. The former objective distills information from embeddings generated from different views, while the latter captures complementary information among views to promote distinctive view embeddings. We also show that the two objectives can be unified into one objective for model training. Extensive experiments on three real-world datasets demonstrate that our proposed CREME is able to consistently outperform state-of-the-art methods.


title: Fact-Tree Reasoning for N-ary Question Answering over Knowledge Graphs

abstract: In the question answering(QA) task, multi-hop reasoning framework has been extensively studied in recent years to perform more efficient and interpretable answer reasoning on the Knowledge Graph(KG). However, multi-hop reasoning is inapplicable for answering n-ary fact questions due to its linear reasoning nature. We discover that there are two feasible improvements: 1) upgrade the basic reasoning unit from entity or relation to fact; and 2) upgrade the reasoning structure from chain to tree. Based on these, we propose a novel fact-tree reasoning framework, through transforming the question into a fact tree and performing iterative fact reasoning on it to predict the correct answer. Through a comprehensive evaluation on the n-ary fact KGQA dataset introduced by this work, we demonstrate that the proposed fact-tree reasoning framework has the desired advantage of high answer prediction accuracy. In addition, we also evaluate the fact-tree reasoning framework on two binary KGQA datasets and show that our approach also has a strong reasoning ability compared with several excellent baselines. This work has direct implications for exploring complex reasoning scenarios and provides a preliminary baseline approach.


title: A Machine Learning Surrogate Modeling Benchmark for Temperature Field Reconstruction of Heat-Source Systems

abstract: Temperature field reconstruction of heat source systems (TFR-HSS) with limited monitoring sensors occurred in thermal management plays an important role in real time health detection system of electronic equipment in engineering. However, prior methods with common interpolations usually cannot provide accurate reconstruction performance as required. In addition, there exists no public dataset for widely research of reconstruction methods to further boost the reconstruction performance and engineering applications. To overcome this problem, this work develops a machine learning modelling benchmark for TFR-HSS task. First, the TFR-HSS task is mathematically modelled from real-world engineering problem and four types of numerically modellings have been constructed to transform the problem into discrete mapping forms. Then, this work proposes a set of machine learning modelling methods, including the general machine learning methods and the deep learning methods, to advance the state-of-the-art methods over temperature field reconstruction. More importantly, this work develops a novel benchmark dataset, namely Temperature Field Reconstruction Dataset (TFRD), to evaluate these machine learning modelling methods for the TFR-HSS task. Finally, a performance analysis of typical methods is given on TFRD, which can be served as the baseline results on this benchmark.


title: Restricted Dyck Paths on Valleys Sequence

abstract: In this paper we study a subfamily of a classic lattice path, the \emph{Dyck paths}, called \emph{restricted $d$-Dyck} paths, in short $d$-Dyck. A valley of a Dyck path $P$ is a local minimum of $P$; if the difference between the heights of two consecutive valleys (from left to right) is at least $d$, we say that $P$ is a restricted $d$-Dyck path. The \emph{area} of a Dyck path is the sum of the absolute values of $y$-components of all points in the path. We find the number of peaks and the area of all paths of a given length in the set of $d$-Dyck paths. We give a bivariate generating function to count the number of the $d$-Dyck paths with respect to the the semi-length and number of peaks. After that, we analyze in detail the case $d=-1$. Among other things, we give both, the generating function and a recursive relation for the total area.


title: Renormalized Wolfram model exhibiting non-relativistic quantum behavior

abstract: We show a Wolfram model whose renormalization generates a sequence of approximations of a wave function having the Pauli-x matrix as Hamiltonian.


title: Identifying Illicit Drug Dealers on Instagram with Large-scale Multimodal Data Fusion

abstract: Illicit drug trafficking via social media sites such as Instagram has become a severe problem, thus drawing a great deal of attention from law enforcement and public health agencies. How to identify illicit drug dealers from social media data has remained a technical challenge due to the following reasons. On the one hand, the available data are limited because of privacy concerns with crawling social media sites; on the other hand, the diversity of drug dealing patterns makes it difficult to reliably distinguish drug dealers from common drug users. Unlike existing methods that focus on posting-based detection, we propose to tackle the problem of illicit drug dealer identification by constructing a large-scale multimodal dataset named Identifying Drug Dealers on Instagram (IDDIG). Totally nearly 4,000 user accounts, of which over 1,400 are drug dealers, have been collected from Instagram with multiple data sources including post comments, post images, homepage bio, and homepage images. We then design a quadruple-based multimodal fusion method to combine the multiple data sources associated with each user account for drug dealer identification. Experimental results on the constructed IDDIG dataset demonstrate the effectiveness of the proposed method in identifying drug dealers (almost 95% accuracy). Moreover, we have developed a hashtag-based community detection technique for discovering evolving patterns, especially those related to geography and drug types.