title: Distinguishing Leptoquarks at the LHC/FCC

abstract: In this article, we deal with how to distinguish the signatures of different \LQs at the LHC/FCC if all of them lie within similar mass and coupling range and can be produced at present and future colliders. It has been found that hard scattering cross-sections and angular distributions can be used to differentiate scalar and vector Leptoquarks. On the other hand, final state topology and determination of jet charge can separate \LQs with same spin even from same $SU(2)_L$ multiplet. We performed a PYTHIA8 based analysis considering all the dominant Standard Model (SM) backgrounds at the LHC/FCC with centre of mass energies of 14, 27 and 100 TeV for scalar ($S_1$) and vector ($\widetilde{U}_{1\mu}$) Leptoquarks. We see that confirming evidence of scalar Leptoquark at 14 TeV requires 1000 fb$^{-1}$ of integrated luminosity, whereas the vector Leptoquark can be probed with very early data. But, at 100 TeV with 1000 fb$^{-1}$ of integrated luminosity, scalar Leptoquark of mass 3.5 TeV and vector Leptoquark of mass more than 5 TeV can be probed easily.


title: A Novel Approach to the Diagnosis of Heart Disease using Machine Learning and Deep Neural Networks

abstract: Heart disease is the leading cause of death worldwide. Currently, 33% of cases are misdiagnosed, and approximately half of myocardial infarctions occur in people who are not predicted to be at risk. The use of Artificial Intelligence could reduce the chance of error, leading to possible earlier diagnoses, which could be the difference between life and death for some. The objective of this project was to develop an application for assisted heart disease diagnosis using Machine Learning (ML) and Deep Neural Network (DNN) algorithms. The dataset was provided from the Cleveland Clinic Foundation, and the models were built based on various optimization and hyper parametrization techniques including a Grid Search algorithm. The application, running on Flask, and utilizing Bootstrap was developed using the DNN, as it performed higher than the Random Forest ML model with a total accuracy rate of 92%.


title: Spectral and statistical properties of high-gain parametric down-conversion

abstract: Parametric down-conversion (PDC) is mostly known in the low-gain (spontaneous) regime, in which the correlated photon pairs are produced. Spontaneous PDC (SPDC) plays a very important role for quantum optics as a variety of quantum states is produced via SPDC. In the high-gain case PDC leads to generation of bright states having up to hundreds mW mean power. With such states almost any nonlinear optical interaction or light-matter interaction becomes more efficient. Even being macroscopically bright, the produced states maintain nonclassical properties as, for example, the fluctuations of electric field quadratures are squeezed below the shot-noise level. The high-gain PDC could be used not only in the same applications as SPDC, it also can provide new ones. Apart from that the high-gain PDC has many remarkable spectral and statistical properties, which are in the focus of this work. The description starts from the PDC generation in normal and anomalous group velocity dispersion ranges. The spectrum and mode content of high-gain PDC is considered as well as their change with the parametric gain are demonstrated. Then, there are the interference effects emerging from the PDC correlations presented, namely the macroscopic analogue of the Hong-Ou-Mandel interference. In addition, it is shown how spatial and temporal walk-off matching could be used for the generation of giant narrowband twin beams. Finally, the statistical properties of high-gain PDC are reviewed as well as their use for multiphoton effects is demonstrated. Photon-number fluctuations of PDC are studied via normalized correlation functions and probability distributions. These fluctuations enhance the generation efficiency for multiphoton effects by orders of magnitude and lead to tremendously fluctuating light described by heavy-tailed photon-number probability distributions.


title: Quantum Fluctuations and Large Deviation Principle for Microscopic Currents of Free Fermions in Disordered Media

abstract: We contribute an extension of large-deviation results obtained in [N.J.B. Aza, J.-B. Bru, W. de Siqueira Pedra, A. Ratsimanetrimanana, J. Math. Pures Appl. 125 (2019) 209] on conductivity theory at atomic scale of free lattice fermions in disordered media. Disorder is modeled by (i) a random external potential, like in the celebrated Anderson model, and (ii) a nearest-neighbor hopping term with random complex-valued amplitudes. In accordance with experimental observations, via the large deviation formalism, our previous paper showed in this case that quantum uncertainty of microscopic electric current densities around their (classical) macroscopic value is suppressed, exponentially fast with respect to the volume of the region of the lattice where an external electric field is applied. Here, the quantum fluctuations of linear response currents are shown to exist in the thermodynamic limit and we mathematically prove that they are related to the rate function of the large deviation principle associated with current densities. We also demonstrate that, in general, they do not vanish (in the thermodynamic limit) and the quantum uncertainty around the macroscopic current density disappears exponentially fast with an exponential rate proportional to the squared deviation of the current from its macroscopic value and the inverse current fluctuation, with respect to growing space (volume) scales.


title: A Flap-Type Seabed-Mounted Wave Energy Converter With Hydraulic PTO: Analytical Investigation & Experimental Analysis

abstract: This paper provides a study of a flap-type wave energy converter with a hydraulic power-take-off (PTO) system. This study includes the derivation of its equation of motion along with an analysis of natural frequencies of the device. A prototype was built using fillable cylinders and a series of experiments were performed in a wave flume. In these experiments, the pressure values of the hydraulic circuit were changed to investigate the optimal value for the system's pressure for a range of wave periods. The average wave-to-fluid efficiency (of about 15%) was achieved for a broad range of wave periods. It was also found that a 26% wave-to-fluid efficiency can be reached for waves with a period of 6.71 s. Based on the results of this analytical study, this device can be further optimized by filling its compartments with seawater.


title: Unsupervised Subword Modeling Using Autoregressive Pretraining and Cross-Lingual Phone-Aware Modeling

abstract: This study addresses unsupervised subword modeling, i.e., learning feature representations that can distinguish subword units of a language. The proposed approach adopts a two-stage bottleneck feature (BNF) learning framework, consisting of autoregressive predictive coding (APC) as a front-end and a DNN-BNF model as a back-end. APC pretrained features are set as input features to a DNN-BNF model. A language-mismatched ASR system is used to provide cross-lingual phone labels for DNN-BNF model training. Finally, BNFs are extracted as the subword-discriminative feature representation. A second aim of this work is to investigate the robustness of our approach's effectiveness to different amounts of training data. The results on Libri-light and the ZeroSpeech 2017 databases show that APC is effective in front-end feature pretraining. Our whole system outperforms the state of the art on both databases. Cross-lingual phone labels for English data by a Dutch ASR outperform those by a Mandarin ASR, possibly linked to the larger similarity of Dutch compared to Mandarin with English. Our system is less sensitive to training data amount when the training data is over 50 hours. APC pretraining leads to a reduction of needed training material from over 5,000 hours to around 200 hours with little performance degradation.


title: Robust and Generalizable Visual Representation Learning via Random Convolutions

abstract: While successful for various computer vision tasks, deep neural networks have shown to be vulnerable to texture style shifts and small perturbations to which humans are robust. In this work, we show that the robustness of neural networks can be greatly improved through the use of random convolutions as data augmentation. Random convolutions are approximately shape-preserving and may distort local textures. Intuitively, randomized convolutions create an infinite number of new domains with similar global shapes but random local textures. Therefore, we explore using outputs of multi-scale random convolutions as new images or mixing them with the original images during training. When applying a network trained with our approach to unseen domains, our method consistently improves the performance on domain generalization benchmarks and is scalable to ImageNet. In particular, in the challenging scenario of generalizing to the sketch domain in PACS and to ImageNet-Sketch, our method outperforms state-of-art methods by a large margin. More interestingly, our method can benefit downstream tasks by providing a more robust pretrained visual representation.


title: Learning Attribute-Structure Co-Evolutions in Dynamic Graphs

abstract: Most graph neural network models learn embeddings of nodes in static attributed graphs for predictive analysis. Recent attempts have been made to learn temporal proximity of the nodes. We find that real dynamic attributed graphs exhibit complex co-evolution of node attributes and graph structure. Learning node embeddings for forecasting change of node attributes and birth and death of links over time remains an open problem. In this work, we present a novel framework called CoEvoGNN for modeling dynamic attributed graph sequence. It preserves the impact of earlier graphs on the current graph by embedding generation through the sequence. It has a temporal self-attention mechanism to model long-range dependencies in the evolution. Moreover, CoEvoGNN optimizes model parameters jointly on two dynamic tasks, attribute inference and link prediction over time. So the model can capture the co-evolutionary patterns of attribute change and link formation. This framework can adapt to any graph neural algorithms so we implemented and investigated three methods based on it: CoEvoGCN, CoEvoGAT, and CoEvoSAGE. Experiments demonstrate the framework (and its methods) outperform strong baselines on predicting an entire unseen graph snapshot of personal attributes and interpersonal links in dynamic social graphs and financial graphs.


title: Jointly Optimizing Preprocessing and Inference for DNN-based Visual Analytics

abstract: While deep neural networks (DNNs) are an increasingly popular way to query large corpora of data, their significant runtime remains an active area of research. As a result, researchers have proposed systems and optimizations to reduce these costs by allowing users to trade off accuracy and speed. In this work, we examine end-to-end DNN execution in visual analytics systems on modern accelerators. Through a novel measurement study, we show that the preprocessing of data (e.g., decoding, resizing) can be the bottleneck in many visual analytics systems on modern hardware. To address the bottleneck of preprocessing, we introduce two optimizations for end-to-end visual analytics systems. First, we introduce novel methods of achieving accuracy and throughput trade-offs by using natively present, low-resolution visual data. Second, we develop a runtime engine for efficient visual DNN inference. This runtime engine a) efficiently pipelines preprocessing and DNN execution for inference, b) places preprocessing operations on the CPU or GPU in a hardware- and input-aware manner, and c) efficiently manages memory and threading for high throughput execution. We implement these optimizations in a novel system, Smol, and evaluate Smol on eight visual datasets. We show that its optimizations can achieve up to 5.9x end-to-end throughput improvements at a fixed accuracy over recent work in visual analytics.


title: The Local Group as a test system for Modified Newtonian Dynamics

abstract: The Local Group (LG) is {an appropriate} test system for Modified Newtonian Dynamics, since the acceleration of M31 galaxy is fully in the deep MOND regime $a \ll a_0$. We model the LG as a two body problem of $M31$ and the Milky Way (MW) galaxies. {Extending previous studies, we also include the Cosmological Constant.} The assumption that in the big bang the galaxies emerged from the same place and approach to the measured distance and velocity today (the Timing Argument), predicts the total mass for the LG: $(0.447 \pm 0.005)\cdot 10^{12} M_{\odot}$. The corresponding motion of the LG predicts a past encounter. The ratio between the baryonic mass that MOND considers to the mass that Newtonian case predicted, which includes dark matter is $10.74 \pm 0.82$. This ratio agrees with the ratio between the dark matter and baryonic matter in other galaxies.


title: HATNet: An End-to-End Holistic Attention Network for Diagnosis of Breast Biopsy Images

abstract: Training end-to-end networks for classifying gigapixel size histopathological images is computationally intractable. Most approaches are patch-based and first learn local representations (patch-wise) before combining these local representations to produce image-level decisions. However, dividing large tissue structures into patches limits the context available to these networks, which may reduce their ability to learn representations from clinically relevant structures. In this paper, we introduce a novel attention-based network, the Holistic ATtention Network (HATNet) to classify breast biopsy images. We streamline the histopathological image classification pipeline and show how to learn representations from gigapixel size images end-to-end. HATNet extends the bag-of-words approach and uses self-attention to encode global information, allowing it to learn representations from clinically relevant tissue structures without any explicit supervision. It outperforms the previous best network Y-Net, which uses supervision in the form of tissue-level segmentation masks, by 8%. Importantly, our analysis reveals that HATNet learns representations from clinically relevant structures, and it matches the classification accuracy of human pathologists for this challenging test set. Our source code is available at \url{https://github.com/sacmehta/HATNet}


title: Explaining Xenon-1T signal with FIMP dark matter and neutrino mass in a $U(1)_{X}$ extension

abstract: In the present work, we have extended the standard model by an abelian $U(1)_{X}$ gauge group and additional particles. In particular, we have extended the particle content by three right handed neutrinos, two singlet scalars and two vector like leptons. Charged assignments under different gauge groups are such that the model is gauge anomaly free and the anomaly contributions cancel among generations. Once the symmetry gets broken then three physical Higgses are produced, one axion like particle (ALP), which also acts as the keV scale FIMP dark matter, is produced and the remaining component is absorbed by the extra gauge boson. Firstly, we have successfully generated neutrino mass by the type-I seesaw mechanism for normal hierarchy with the $3\sigma$ bound on the oscillation parameters. The ALP in the present model can explain the Xenon-1T electron recoil signal at keV scale through its coupling with the electron. We also have vector like leptons which help in producing the dark matter from their decay by the freeze in mechanism. Electron and tauon get mass from dimensional-5 operators at Planck scale and if we consider the vevs $v_{1,2} \simeq 10^{12}$ GeV then we can obtain the correct value of the electron mass but not the tauon mass. Vector like leptons help in getting the correct value of the tauon mass through another higher dimensional operator which also has a role in DM production by the $2 \rightarrow 2$ process, giving the correct ballpark value of relic density for suitable reheat temperature of the Universe. We have shown that the ALP production by the higher dimensional operator can explain the electron, tauon mass and Xenon-1T signal simultaneously whereas the decay production can not explain all of them together.


title: Dynamical evolution of two-planet systems and its connection with white dwarf atmospheric pollution

abstract: Asteroid material is detected in white dwarfs (WDs) as atmospheric pollution by metals, in the form of gas/dust discs, or in photometric transits. Within the current paradigm, minor bodies need to be scattered, most likely by planets, into highly eccentric orbits where the material gets disrupted by tidal forces and then accreted onto the star. This can occur through a planet-planet scattering process triggered by the stellar mass loss during the post main-sequence evolution of planetary systems. So far, studies of the $N$-body dynamics of this process have used artificial planetary system architectures built ad hoc. In this work, we attempt to go a step further and study the dynamical instability provided by more restrictive systems, that, at the same time allow us an exploration of a wider parameter space: the hundreds of multiple planetary systems found around main-sequence (MS) stars. We find that most of our simulated systems remain stable during the MS, Red and Asymptotic Giant Branch and for several Gyr into the WD phases of the host star. Overall, only $\approx$ 2.3$\%$ of the simulated systems lose a planet on the WD as a result of dynamical instability. If the instabilities take place during the WD phase most of them result in planet ejections with just 5 planetary configurations ending as a collision of a planet with the WD. Finally 3.2$\%$ of the simulated systems experience some form of orbital scattering or orbit crossing that could contribute to the pollution at a sustained rate if planetesimals are present in the same system.


title: Style is a Distribution of Features

abstract: Neural style transfer (NST) is a powerful image generation technique that uses a convolutional neural network (CNN) to merge the content of one image with the style of another. Contemporary methods of NST use first or second order statistics of the CNN's features to achieve transfers with relatively little computational cost. However, these methods cannot fully extract the style from the CNN's features. We present a new algorithm for style transfer that fully extracts the style from the features by redefining the style loss as the Wasserstein distance between the distribution of features. Thus, we set a new standard in style transfer quality. In addition, we state two important interpretations of NST. The first is a re-emphasis from Li et al., which states that style is simply the distribution of features. The second states that NST is a type of generative adversarial network (GAN) problem.


title: Does Dark Matter admixed pulsar exist ?

abstract: In this paper, we have considered a twofluid model assuming that the pulsars are made of ordinary matter admixed with dark matter.Contribution of dark matter comes from the fitting of the rotation curves of the SPARC sample of galaxies[95]. For this we have investigated the dark matter based on the Singular Isothermal Sphere (SIS) dark matter density profile in the galactic halo region. Considering this twofluid model, we have studied the physical features of the pulsars present in different galaxy in details. Here, we compute the probable radii, compactness (u) and surface red-shift (Zs) of the four pulsars namely : PSR J1748-2021B in NGC 6440B galaxy, PSR J1911-5958A in NGC 6752 galaxy, PSR B1802-07 in NGC 6539 galaxy and PSR J1750-37A in NGC 6441 galaxy.


title: PyXtal FF: a Python Library for Automated Force Field Generation

abstract: We present PyXtal FF, a package based on Python programming language, for developing machine learning potentials (MLPs). The aim of PyXtal FF is to promote the application of atomistic simulations by providing several choices of structural descriptors and machine learning regressions in one platform. Based on the given choice of structural descriptors (including the atom-centered symmetry functions, embedded atom density, SO4 bispectrum, and smooth SO3 power spectrum), PyXtal FF can train the MLPs with either the generalized linear regression or neural networks model, by simultaneously minimizing the errors of energy/forces/stress tensors in comparison with the data from the ab-initio simulation. The trained MLP model from PyXtal FF is interfaced with the Atomic Simulation Environment (ASE) package, which allows different types of light-weight simulations such as geometry optimization, molecular dynamics simulation, and physical properties prediction. Finally, we will illustrate the performance of PyXtal FF by applying it to investigate several material systems, including the bulk SiO2, high entropy alloy NbMoTaW, and elemental Pt for general purposes. Full documentation of PyXtal FF is available at https://pyxtal-ff.readthedocs.io.


title: An adaptive finite element DtN method for the elastic wave scattering by biperiodic structures

abstract: Consider the scattering of a time-harmonic elastic plane wave by a bi-periodic rigid surface. The displacement of elastic wave motion is modeled by the three-dimensional Navier equation in an open domain above the surface. Based on the Dirichlet-to-Neumann (DtN) operator, which is given as an infinite series, an exact transparent boundary condition is introduced and the scattering problem is formulated equivalently into a boundary value problem in a bounded domain. An a posteriori error estimate based adaptive finite element DtN method is proposed to solve the discrete variational problem where the DtN operator is truncated into a finite number of terms. The a posteriori error estimate takes account of the finite element approximation error and the truncation error of the DtN operator which is shown to decay exponentially with respect to the truncation parameter. Numerical experiments are presented to illustrate the effectiveness of the proposed method.


title: What do equitable physics lab groups look like in light of inchargeness?

abstract: In physics labs, students experience a wide range of equitable and inequitable interactions. We developed a methodology to characterize different lab groups in terms of their bid exchanges and inchargeness. An equitable group is one in which every student's bids are heard and acknowledged. Our analysis of equitable and inequitable groups raises questions about how inchargeness and gender interact to affect the functionality of a lab group.


title: Equidistributions of mesh patterns of length two and Kitaev and Zhang's conjectures

abstract: A systematic study of avoidance of mesh patterns of length 2 was conducted by Hilmarsson et al. in 2015. In a recent paper Kitaev and Zhang examined the distribution of the aforementioned patterns. The aim of this paper is to prove more equidistributions of mesh pattern and confirm Kitaev and Zhang's four conjectures by constructing two involutions on permutations.


title: Bounding the trace function of a hypergraph with applications

abstract: An upper bound on the trace function of a hypergraph $H$ is derived and its applications are demonstrated. For instance, a new upper bound for the VC dimension of $H$, or $vc(H)$, follows as a consequence and can be used to compute $vc(H)$ in polynomial time provided that $H$ has bounded degeneracy. This was not previously known. Particularly, when $H$ is a hypergraph arising from closed neighborhoods of a graph, this approach asymptotically improves the time complexity of the previous result for computing $vc(H)$. Another consequence is a general lower bound on the {\it distinguishing transversal number } of $H$ that gives rise to applications in domination theory of graphs. To effectively apply the methods developed here, one needs to have good estimations of degeneracy, and its variation or reduced degeneracy which is introduced here.


title: Degree of Rational Maps versus Syzygies

abstract: One proves a far-reaching upper bound for the degree of a generically finite rational map between projective varieties over a base field of arbitrary characteristic. The bound is expressed as a product of certain degrees that appear naturally by considering the Rees algebra (blowup) of the base ideal defining the map. Several special cases are obtained as consequences, some of which cover and extend previous results in the literature.


title: Federated Self-Supervised Learning of Multi-Sensor Representations for Embedded Intelligence

abstract: Smartphones, wearables, and Internet of Things (IoT) devices produce a wealth of data that cannot be accumulated in a centralized repository for learning supervised models due to privacy, bandwidth limitations, and the prohibitive cost of annotations. Federated learning provides a compelling framework for learning models from decentralized data, but conventionally, it assumes the availability of labeled samples, whereas on-device data are generally either unlabeled or cannot be annotated readily through user interaction. To address these issues, we propose a self-supervised approach termed \textit{scalogram-signal correspondence learning} based on wavelet transform to learn useful representations from unlabeled sensor inputs, such as electroencephalography, blood volume pulse, accelerometer, and WiFi channel state information. Our auxiliary task requires a deep temporal neural network to determine if a given pair of a signal and its complementary viewpoint (i.e., a scalogram generated with a wavelet transform) align with each other or not through optimizing a contrastive objective. We extensively assess the quality of learned features with our multi-view strategy on diverse public datasets, achieving strong performance in all domains. We demonstrate the effectiveness of representations learned from an unlabeled input collection on downstream tasks with training a linear classifier over pretrained network, usefulness in low-data regime, transfer learning, and cross-validation. Our methodology achieves competitive performance with fully-supervised networks, and it outperforms pre-training with autoencoders in both central and federated contexts. Notably, it improves the generalization in a semi-supervised setting as it reduces the volume of labeled data required through leveraging self-supervised learning.


title: Feedback Loop and Bias Amplification in Recommender Systems

abstract: Recommendation algorithms are known to suffer from popularity bias; a few popular items are recommended frequently while the majority of other items are ignored. These recommendations are then consumed by the users, their reaction will be logged and added to the system: what is generally known as a feedback loop. In this paper, we propose a method for simulating the users interaction with the recommenders in an offline setting and study the impact of feedback loop on the popularity bias amplification of several recommendation algorithms. We then show how this bias amplification leads to several other problems such as declining the aggregate diversity, shifting the representation of users' taste over time and also homogenization of the users experience. In particular, we show that the impact of feedback loop is generally stronger for the users who belong to the minority group.


title: ExoMol line lists -- XL. Ro-vibrational molecular line list for the hydronium ion (H$_3$O$^+$)

abstract: A new line list for hydronium (H$_3$$^{16}$O$^+$) is computed. The line list is based on a new ab initio dipole moment surface (CCSD(T)/aug-cc-pVQZ) and a new empirical potential energy surface (PES). The empirical PES of H$_3$O$^+$ was obtained by refining an ab initio surface through a global fit to the experimentally determined ro-vibrational energies collected from the literature covering the ground, $\nu_1^{\pm}$, $\nu_2^{\pm}$, $2\nu_2^{\pm}$, $\nu_3^{\pm}$ and $\nu_4^{\pm}$ vibrational states. The line list covers the wavenumber range up to 10 000 cm$^{-1}$ (wavelengths $>1 \mu$m) and should be complete for temperatures up to $T=1500$ K. This is the first comprehensive line list for H$_3$O$^+$ with extensive wavenumber coverage and accurate transitional probabilities. Prospects of detection of hydronium in spectra of solar system giant planets as well as exoplanets are discussed. The eXeL line list is publicly available from the ExoMol and CDS databases.


title: A colorful Hochster formula and universal parameters for face rings

abstract: This paper has two related parts. The first generalizes Hochster's formula on resolutions of Stanley-Reisner rings to a colorful version, applicable to any proper vertex-coloring of a simplicial complex. The second part examines a universal system of parameters for Stanley-Reisner rings of simplicial complexes, and more generally, face rings of simplicial posets. These parameters have good properties, including being fixed under symmetries, and detecting depth of the face ring. Moreover, when resolving the face ring over these parameters, the shape is predicted, conjecturally, by the colorful Hochster formula.


title: The 2020 release of the ExoMol database: molecular line lists for exoplanet and other hot atmospheres

abstract: The ExoMol database (www.exomol.com) provides molecular data for spectroscopic studies of hot atmospheres. While the data is intended for studies of exoplanets and other astronomical bodies, the dataset is widely applicable. The basic form of the database is extensive line lists; these are supplemented with partition functions, state lifetimes, cooling functions, Land\'e g-factors, temperature-dependent cross sections, opacities, pressure broadening parameters, $k$-coefficients and dipoles. This paper presents the latest release of the database which has been expanded to consider 80 molecules and 190 isotopologues totaling over 700 billion transitions. While the spectroscopic data is concentrated at infrared and visible wavelengths, ultraviolet transitions are being increasingly considered in response to requests from observers. The core of the database comes from the ExoMol project which primarily uses theoretical methods, albeit usually fine-tuned to reproduce laboratory spectra, to generate very extensive line lists for studies of hot bodies. The data has recently been supplemented by line lists deriving from direct laboratory observations, albeit usually with the use of ab initio transition intensities. A major push in the new release is towards accurate characterisation of transition frequencies for use in high resolution studies of exoplanets and other bodies.

categories: astro-ph.SR astro-ph.EP physics.ao-ph physics.chem-ph


title: A Partially Observable MDP Approach for Sequential Testing for Infectious Diseases such as COVID-19

abstract: The outbreak of the novel coronavirus (COVID-19) is unfolding as a major international crisis whose influence extends to every aspect of our daily lives. Effective testing allows infected individuals to be quarantined, thus reducing the spread of COVID-19, saving countless lives, and helping to restart the economy safely and securely. Developing a good testing strategy can be greatly aided by contact tracing that provides health care providers information about the whereabouts of infected patients in order to determine whom to test. Countries that have been more successful in corralling the virus typically use a ``test, treat, trace, test'' strategy that begins with testing individuals with symptoms, traces contacts of positively tested individuals via a combinations of patient memory, apps, WiFi, GPS, etc., followed by testing their contacts, and repeating this procedure. The problem is that such strategies are myopic and do not efficiently use the testing resources. This is especially the case with COVID-19, where symptoms may show up several days after the infection (or not at all, there is evidence to suggest that many COVID-19 carriers are asymptotic, but may spread the virus). Such greedy strategies, miss out population areas where the virus may be dormant and flare up in the future. In this paper, we show that the testing problem can be cast as a sequential learning-based resource allocation problem with constraints, where the input to the problem is provided by a time-varying social contact graph obtained through various contact tracing tools. We then develop efficient learning strategies that minimize the number of infected individuals. These strategies are based on policy iteration and look-ahead rules. We investigate fundamental performance bounds, and ensure that our solution is robust to errors in the input graph as well as in the tests themselves.


title: Exploring Deep Hybrid Tensor-to-Vector Network Architectures for Regression Based Speech Enhancement

abstract: This paper investigates different trade-offs between the number of model parameters and enhanced speech qualities by employing several deep tensor-to-vector regression models for speech enhancement. We find that a hybrid architecture, namely CNN-TT, is capable of maintaining a good quality performance with a reduced model parameter size. CNN-TT is composed of several convolutional layers at the bottom for feature extraction to improve speech quality and a tensor-train (TT) output layer on the top to reduce model parameters. We first derive a new upper bound on the generalization power of the convolutional neural network (CNN) based vector-to-vector regression models. Then, we provide experimental evidence on the Edinburgh noisy speech corpus to demonstrate that, in single-channel speech enhancement, CNN outperforms DNN at the expense of a small increment of model sizes. Besides, CNN-TT slightly outperforms the CNN counterpart by utilizing only 32\% of the CNN model parameters. Besides, further performance improvement can be attained if the number of CNN-TT parameters is increased to 44\% of the CNN model size. Finally, our experiments of multi-channel speech enhancement on a simulated noisy WSJ0 corpus demonstrate that our proposed hybrid CNN-TT architecture achieves better results than both DNN and CNN models in terms of better-enhanced speech qualities and smaller parameter sizes.


title: Automated Query Generation for Design Pattern Mining in Source Code

abstract: Identifying which design patterns already exist in source code can help maintenance engineers gain a better understanding of the source code and determine if new requirements can be satisfied. There are current techniques for mining design patterns, but some of these techniques require tedious work of manually labeling training datasets, or manually specifying rules or queries for each pattern. To address this challenge, we introduce Model2Mine, a technique for automatically generating SPARQL queries by parsing UML diagrams, ensuring that all constraints are appropriately addressed. We discuss the underlying architecture of Model2Mine and its functionalities. Our initial results indicate that Model2Mine can automatically generate queries for the three types of design patterns (i.e., creational, behavioral, structural), with a slight performance overhead compared to manually generated queries, and accuracy that is comparable, or perform better than, existing techniques.


title: Optimal splitting of Parseval frames using Walsh matrices

abstract: In 2014 Adam Marcus, Daniel Spielman and Nikhil Srivastava used random vectors to prove a key discrepancy theorem and in so doing gave a positive answer to the long-standing Kadison-Singer Problem. In this paper we use Walsh matrices to construct a class of natural frames in Euclidean space and discuss how these frames relate to the key discrepancy theorem.


title: Effect of Text Processing Steps on Twitter Sentiment Classification using Word Embedding

abstract: Processing of raw text is the crucial first step in text classification and sentiment analysis. However, text processing steps are often performed using off-the-shelf routines and pre-built word dictionaries without optimizing for domain, application, and context. This paper investigates the effect of seven text processing scenarios on a particular text domain (Twitter) and application (sentiment classification). Skip gram-based word embeddings are developed to include Twitter colloquial words, emojis, and hashtag keywords that are often removed for being unavailable in conventional literature corpora. Our experiments reveal negative effects on sentiment classification of two common text processing steps: 1) stop word removal and 2) averaging of word vectors to represent individual tweets. New effective steps for 1) including non-ASCII emoji characters, 2) measuring word importance from word embedding, 3) aggregating word vectors into a tweet embedding, and 4) developing linearly separable feature space have been proposed to optimize the sentiment classification pipeline. The best combination of text processing steps yields the highest average area under the curve (AUC) of 88.4 (+/-0.4) in classifying 14,640 tweets with three sentiment labels. Word selection from context-driven word embedding reveals that only the ten most important words in Tweets cumulatively yield over 98% of the maximum accuracy. Results demonstrate a means for data-driven selection of important words in tweet classification as opposed to using pre-built word dictionaries. The proposed tweet embedding is robust to and alleviates the need for several text processing steps.


title: epidemic dynamics and adaptive vaccination strategy: renewal equation approach

abstract: We use analytical methods to investigate a continuous vaccination strategy effects on the infectious disease dynamics in a closed population and a demographically open population. The methodology and key assumptions are based on Breda et al (2012). We show that the cumulative force of infection for the closed population and the endemic force of infection in the demographically open population can be reduced significantly by combining two factors: the vaccine effectiveness and the vaccination rate. The impact of these factors on the force of infection can transform an endemic steady state into a disease-free state. Keywords: Force of infection, Cumulative force of infection, Scalar-renewal equation, Per capita death rate, Lambert function, adaptive vaccination strategy


title: Generalized general-relativistic magnetohydrodynamic equations for plasmas of active galactic nuclei in the era of the Event Horizon Telescope

abstract: The generalized general-relativisticmagnetohydrodynamic (generalized GRMHD) equations have been used to study specific relativistic-plasmas phenomena, such as relativistic magnetic reconnection or wave propagation modified by non-ideal MHD effects. However, the "Theta" term in the generalized Ohm law, which expresses the energy exchange between two fluids composing a plasma, has yet to be determined in these equations. In this paper, we determine the "Theta" term based on the generalized relativistic Ohm law itself. This provides closure of the generalized GRMHD equations, yielding a closed system of the equations of relativistic plasma. According to this system of equations, we reveal the characteristic scales of non-ideal MHD phenomena and clarify the applicable condition of the ideal GRMHD equations. We evaluate the characteristic scales of the non-ideal MHD phenomena in the M87* plasma using the Event Horizon Telescope observational data.


title: Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report)

abstract: Monitoring distributed systems to ensure their correctness is a challenging and expensive but essential problem. It is challenging because while execution of a distributed system creates a partial order among events, the monitor will typically observe only one serialization of that partial order. This means that even if the observed serialization is consistent with the system specifications, the monitor cannot assume that the system is correct because some other unobserved serialization can be inconsistent with the system specifications. Existing solutions that guarantee identification of all such unobserved violations require some combination of lots of time and large clocks, e.g. O(n) sized Vector Clocks. We present a new, efficient two-layered monitoring approach that overcomes both the time and space limitations of earlier monitors. The first layer is imprecise but efficient and the second layer is precise but (relatively) inefficient. We show that the combination of these two layers reduces the cost of monitoring by 85-95%. Furthermore, the two-layered monitor permits the use of O(1) sized Hybrid Logical Clocks.


title: An introduction to nanothermodynamics: Thermal equilibrium for heterogeneous and finite-sized systems

abstract: The theory of small-system thermodynamics was originally developed to extend the laws of thermodynamics to length scales of nanometers. Here we review this "nanothermodynamics," and stress how it also applies to large systems that subdivide into a heterogeneous distribution of internal subsystems that we call "regions." We emphasize that the true thermal equilibrium of most systems often requires that these regions are in the fully-open generalized ensemble, with a distribution of region sizes that is not externally constrained, which we call the "nanocanonical" ensemble. We focus on how nanothermodynamics impacts the statistical mechanics of specific models. One example is an ideal gas of indistinguishable atoms in a large volume that subdivides into an ensemble of small regions of variable volume, with separate regions containing atoms that are distinguishable from those in other regions. Combining such subdivided regions yields the correct entropy of mixing, avoiding Gibbs paradox without resorting to macroscopic quantum symmetry for semi-classical particles. Other models are based on Ising-like spins (binary degrees of freedom), which are solved analytically in one-dimension, making them suitable examples for introductory courses in statistical physics. A key result is to quantify the net increase in entropy when large systems subdivide into small regions of variable size. Another result is to show similarity in the equilibrium properties of a two-state model in the nanocanonical ensemble and a three-state model in the canonical ensemble. Thus, emergent phenomena may alter the thermal behavior of microscopic models, and the correct ensemble is necessary for accurate predictions.


title: Topological transitivity in quasi-continuous dynamical systems

abstract: A quasi-continuous dynamical system is a pair $(X,f)$ consisting of a topological space $X$ and a mapping $f: X\to X$ such that $f^n$ is quasi-continuous for all $n \in \mathbb N$, where $\mathbb N$ is the set of non-negative integers. In this paper, we show that under appropriate assumptions, various definitions of the concept of topological transitivity are equivalent in a quasi-continuous dynamical system. Our main results establish the equivalence of topological and point transitivity in a quasi-continuous dynamical system. These extend some classical results on continuous dynamical systems in [3], [10] and [25], and some results on quasi-continuous dynamical systems in [7] and [8].


title: Self-Expressing Autoencoders for Unsupervised Spoken Term Discovery

abstract: Unsupervised spoken term discovery consists of two tasks: finding the acoustic segment boundaries and labeling acoustically similar segments with the same labels. We perform segmentation based on the assumption that the frame feature vectors are more similar within a segment than across the segments. Therefore, for strong segmentation performance, it is crucial that the features represent the phonetic properties of a frame more than other factors of variability. We achieve this via a self-expressing autoencoder framework. It consists of a single encoder and two decoders with shared weights. The encoder projects the input features into a latent representation. One of the decoders tries to reconstruct the input from these latent representations and the other from the self-expressed version of them. We use the obtained features to segment and cluster the speech data. We evaluate the performance of the proposed method in the Zero Resource 2020 challenge unit discovery task. The proposed system consistently outperforms the baseline, demonstrating the usefulness of the method in learning representations.


title: Mask2CAD: 3D Shape Prediction by Learning to Segment and Retrieve

abstract: Object recognition has seen significant progress in the image domain, with focus primarily on 2D perception. We propose to leverage existing large-scale datasets of 3D models to understand the underlying 3D structure of objects seen in an image by constructing a CAD-based representation of the objects and their poses. We present Mask2CAD, which jointly detects objects in real-world images and for each detected object, optimizes for the most similar CAD model and its pose. We construct a joint embedding space between the detected regions of an image corresponding to an object and 3D CAD models, enabling retrieval of CAD models for an input RGB image. This produces a clean, lightweight representation of the objects in an image; this CAD-based representation ensures a valid, efficient shape representation for applications such as content creation or interactive scenarios, and makes a step towards understanding the transformation of real-world imagery to a synthetic domain. Experiments on real-world images from Pix3D demonstrate the advantage of our approach in comparison to state of the art. To facilitate future research, we additionally propose a new image-to-3D baseline on ScanNet which features larger shape diversity, real-world occlusions, and challenging image views.


title: Cyclic Imaging for All-Sky Interference Forecasting with Array Radio Telescopes

abstract: Radio Frequency Interference (RFI) is threatening modern radio astronomy. A classic approach to mitigate its impact on astronomical data involves discarding the corrupted time and frequency data samples through a process called flagging and blanking. We propose the exploitation of the cyclostationary properties of the RFI signals to reliably detect and predict their locations within an array radio telescope field-of-view, and dynamically schedule the astronomical observations such as to minimize the probability of RFI data corruption.


title: Observers, observations and referencing in physics theories

abstract: Is it possible to encompass the full extent of the universe within a theory based on a finite set of first principles and inference rules? The r\^{o}le of observers and observations in physics theories is considered here in the light of G\"{o}del's incompleteness theorem. Physics theories are the sum-total that we -- humans, scientists, physicists -- can make in interpreting our observations of the universe. We are integral part of the universe, together with our observations, therefore acts of observation are also observables and should become part of the phenomena considered by the theory, especially in view of the fact that arbitrarily chosen modes of observations may essentially determine empirical results. Incompleteness arises in G\"{o}del's theorem with self-referential propositions. Observations and interpretations are acts of referencing, and self-referencing occurs in physics whenever the observer is recognized as being part of the observed system. If self-reference appears in physics in simile to G\"{o}del's theorem, then incompleteness seems unavoidable in physics. The article discusses observers and observations as referencing in physics, culminating with the understanding that they are hierarchically inter-related so that a universal physics theory cannot be complete.


title: Bayesian Measurement Error Models Using Finite Mixtures of Scale Mixtures of Skew-Normal Distributions

abstract: We present a proposal to deal with the non-normality issue in the context of regression models with measurement errors when both the response and the explanatory variable are observed with error. We extend the normal model by jointly modeling the unobserved covariate and the random errors by a finite mixture of scale mixture of skew-normal distributions. This approach allows us to model data with great flexibility, accommodating skewness, heavy tails, and multi-modality.


title: Calibration-free quantitative phase imaging using data-driven aberration modeling

abstract: We present a data-driven approach to compensate for optical aberration in calibration-free quantitative phase imaging (QPI). Unlike existing methods that require additional measurements or a background region to correct aberrations, we exploit deep learning techniques to model the physics of aberration in an imaging system. We demonstrate the generation of a single-shot aberration-corrected field image by using a U-net-based deep neural network that learns a translation between an optical field with aberrations and an aberration-corrected field. The high fidelity of our method is demonstrated on 2D and 3D QPI measurements of various confluent eukaryotic cells, benchmarking against the conventional method using background subtractions.


title: A transmutation operator method for solving the inverse quantum scattering problem

abstract: The inverse quantum scattering problem for the perturbed Bessel equation is considered. A direct and practical method for solving the problem is proposed. It allows one to reduce the inverse problem to a system of linear algebraic equations, and the potential is recovered from the first component of the solution vector of the system. The approach is based on a special form Fourier-Jacobi series representation for the transmutation operator kernel and the Gelfand-Levitan equation which serves for obtaining the system of linear algebraic equations. The convergence and stability of the method are proved as well as the existence and uniqueness of the solution of the truncated system. Numerical realization of the method is discussed. Results of numerical tests are provided revealing a remarkable accuracy and stability of the method.

categories: math-ph cs.NA math.CA math.FA math.MP math.NA


title: Improving Generalization in Meta-learning via Task Augmentation

abstract: Meta-learning has proven to be a powerful paradigm for transferring the knowledge from previous tasks to facilitate the learning of a novel task. Current dominant algorithms train a well-generalized model initialization which is adapted to each task via the support set. The crux lies in optimizing the generalization capability of the initialization, which is measured by the performance of the adapted model on the query set of each task. Unfortunately, this generalization measure, evidenced by empirical results, pushes the initialization to overfit the meta-training tasks, which significantly impairs the generalization and adaptation to novel tasks. To address this issue, we actively augment a meta-training task with "more data" when evaluating the generalization. Concretely, we propose two task augmentation methods, including MetaMix and Channel Shuffle. MetaMix linearly combines features and labels of samples from both the support and query sets. For each class of samples, Channel Shuffle randomly replaces a subset of their channels with the corresponding ones from a different class. Theoretical studies show how task augmentation improves the generalization of meta-learning. Moreover, both MetaMix and Channel Shuffle outperform state-of-the-art results by a large margin across many datasets and are compatible with existing meta-learning algorithms.


title: Inertias of entanglement witnesses

abstract: Entanglement witnesses (EWs) are a fundamental tool for the detection of entanglement. We study the inertias of EWs, i.e., the triplet of the numbers of negative, zero, and positive eigenvalues respectively. We focus on the EWs constructed by the partial transposition of states with non-positive partial transposes. We provide a method to generate more inertias from a given inertia by the relevance between inertias. Based on that we exhaust all the inertias for EWs in each qubit-qudit system. We apply our results to propose a separability criterion in terms of the rank of the partial transpose of state. We also connect our results to tripartite genuinely entangled states and the classification of states with non-positive partial transposes. Additionally, the inertias of EWs constructed by X-states are clarified.


title: Note on Samelson products in exceptional Lie groups

abstract: We determine (non-)triviality of Samelson products of inclusions of factors of the mod $p$ decomposition of $G_{(p)}$ for $(G,p)=(E_7,5),(E_7,7),(E_8,7)$. This completes the determination of (non-)triviality of those Samelson products in $p$-localized exceptional Lie groups when $G$ has $p$-torsion free homology.


title: High-Tc state of Lanthanum hydrides

abstract: The high critical temperature phase of lanthanum hydrides deserves special attention because this phase displays the highest observed critical temperature. We focus on the evaluation of the critical temperature, isotope coefficient, and their pressure dependence of this phase (Fm3m phase of the LaH10 compound). By combining the method of two coupling constants, describing the interaction with the optical and acoustic modes, and two characteristic frequencies with first-principle calculations we are able to analyze the role of the light hydrogen in the amplitude of the critical temperature in this unique compound. Specifically, the critical temperature of 254 K and the isotope coefficient of 0.45 are evaluated at high pressure, and the results are in good agreement with the experimental data. The peculiar decrease in the value of the critical temperature upon further increase in pressure is explained by the presence of a flat region on the Fermi surface and the appearance of a two-gap structure, which should be experimentally observable by tunneling spectroscopy.


title: A Preliminary Exploration into an Alternative CellLineNet: An Evolutionary Approach

abstract: Within this paper, the exploration of an evolutionary approach to an alternative CellLineNet: a convolutional neural network adept at the classification of epithelial breast cancer cell lines, is presented. This evolutionary algorithm introduces control variables that guide the search of architectures in the search space of inverted residual blocks, bottleneck blocks, residual blocks and a basic 2x2 convolutional block. The promise of EvoCELL is predicting what combination or arrangement of the feature extracting blocks that produce the best model architecture for a given task. Therein, the performance of how the fittest model evolved after each generation is shown. The final evolved model CellLineNet V2 classifies 5 types of epithelial breast cell lines consisting of two human cancer lines, 2 normal immortalized lines, and 1 immortalized mouse line (MDA-MB-468, MCF7, 10A, 12A and HC11). The Multiclass Cell Line Classification Convolutional Neural Network extends our earlier work on a Binary Breast Cancer Cell Line Classification model. This paper presents an on-going exploratory approach to neural network architecture design and is presented for further study.


title: The existence of full dimensional invariant tori for an almost-periodically forced nonlinear beam equation

abstract: In this paper, we prove the existence of full dimensional invariant tori for a non-autonomous, almost-periodically forced nonlinear beam equation with a periodic boundary condition via KAM theory.


title: Derivation of Generalized Equations for the Predictive Value of Sequential Screening Tests

abstract: Using Bayes' Theorem, we derive generalized equations to determine the positive and negative predictive value of screening tests undertaken sequentially. Where a is the sensitivity, b is the specificity, $\phi$ is the pre-test probability, the combined positive predictive value, $\rho(\phi)$, of $n$ serial positive tests, is described by: $\rho(\phi) = \frac{\phi\displaystyle\prod_{i=1}^{n}a_n}{\phi\displaystyle\prod_{i=1}^{n}a_n+(1-\phi)\displaystyle\prod_{i=1}^{n}(1-b_n)}$ If the positive serial iteration is interrupted at term position $n_i-k$ by a conflicting negative result, then the resulting negative predictive value is given by: $\psi(\phi) = \frac{[(1-\phi)b_{n-}]\displaystyle\prod_{i=b_{1+}}^{b_{(n-1)+}}(1-b_{n+})}{[\phi(1-a_{n-})]\displaystyle\prod_{i=a_{1+}}^{a_{(n-1)+}}a_{n+}+[(1-\phi)b_{n-}]\displaystyle\prod_{i=b_{1+}}^{b_{(n-1)+}}(1-b_{n+})}$ Finally, if the negative serial iteration is interrupted at term position $n_i-k$ by a conflicting positive result, then the resulting positive predictive value is given by: $\lambda(\phi)= \frac{\phi a_{n+}\displaystyle\prod_{i=a_{1-}}^{a_{(n-1)-}}(1-a_{n-})}{\phi a_{n+}\displaystyle\prod_{i=a_{1-}}^{a_{(n-1)-}}(1-a_{n-})+[(1-\phi)(1-b_{n+})]\displaystyle\prod_{i=b_{1-}}^{b_{(n-1)-}}b_{n-}}$ The aforementioned equations provide a measure of the predictive value in different possible scenarios in which serial testing is undertaken. Their clinical utility is best observed in conditions with low pre-test probability where single tests are insufficient to achieve clinically significant predictive values and likewise, in clinical scenarios with a high pre-test probability where confirmation of disease status is critical.


title: First-order theory of a field and its Inverse Galois Problem

abstract: Let $G$ be a finite group. Then there exists a first-order statement $S(G)$ in the language of rings without parameters and depending only on $G$ such that, for any field $K$, we have that $K\models S(G)$ if and only if $K$ has a Galois extension with the Galois group isomorphic to $G$. Further, there is an effective procedure which takes the table of multiplication of $G$ as its input and produces $S_G$. Therefore, given a field $K$, the Inverse Galois Problem for $K$, that is, the problem of deciding whether $K$ has a Galois extension with a particular Galois group as input, is Turing reducible to the first-order theory of $K$. Similar results hold for the Finite Split Embedding Problem and the Inverse Automorphism Problem.


title: Trick the Body Trick the Mind: Avatar representation affects the perception of available action possibilities in Virtual Reality

abstract: In immersive Virtual Reality (VR), your brain can trick you into believing that your virtual hands are your real hands. Manipulating the representation of the body, namely the avatar, is a potentially powerful tool for the design of innovative interactive systems in VR. In this study, we investigated interactive behavior in VR by using the methods of experimental psychology. Objects with handles are known to potentiate the afforded action. Participants tend to respond faster when the handle is on the same side as the responding hand in bi-manual speed response tasks. In the first experiment, we successfully replicated this affordance effect in a Virtual Reality (VR) setting. In the second experiment, we showed that the affordance effect was influenced by the avatar, which was manipulated by two different hand types: 1) hand models with full finger tracking that are able to grasp objects, and 2) capsule-shaped -- fingerless -- hand models that are not able to grasp objects. We found that less than 5 minutes of adaptation to an avatar, significantly altered the affordance perception. Counter intuitively, action planning was significantly shorter with the hand model that is not able to grasp. Possibly, fewer action possibilities provided an advantage in processing time. The presence of a handle speeded up the initiation of the hand movement but slowed down the action completion because of ongoing action planning. The results were examined from a multidisciplinary perspective and the design implications for VR applications were discussed.


title: A Dual Iterative Refinement Method for Non-rigid Shape Matching

abstract: In this work, a simple and efficient dual iterative refinement (DIR) method is proposed for dense correspondence between two nearly isometric shapes. The key idea is to use dual information, such as spatial and spectral, or local and global features, in a complementary and effective way, and extract more accurate information from current iteration to use for the next iteration. In each DIR iteration, starting from current correspondence, a zoom-in process at each point is used to select well matched anchor pairs by a local mapping distortion criterion. These selected anchor pairs are then used to align spectral features (or other appropriate global features) whose dimension adaptively matches the capacity of the selected anchor pairs. Thanks to the effective combination of complementary information in a data-adaptive way, DIR is not only efficient but also robust to render accurate results within a few iterations. By choosing appropriate dual features, DIR has the flexibility to handle patch and partial matching as well. Extensive experiments on various data sets demonstrate the superiority of DIR over other state-of-the-art methods in terms of both accuracy and efficiency.


title: Convex Decreasing Algorithms: Distributed Synthesis and Finite-time Termination in Higher Dimension

abstract: We introduce a general mathematical framework for distributed algorithms, and a monotonicity property frequently satisfied in application. These properties are leveraged to provide finite-time guarantees for converging algorithms, suited for use in the absence of a central authority. A central application is to consensus algorithms in higher dimension. These pursuits motivate a new peer to peer convex hull algorithm which we demonstrate to be an instantiation of the described theory. To address the diversity of convex sets and the potential computation and communication costs of knowing such sets in high dimension, a lightweight norm based stopping criteria is developed. More explicitly, we give a distributed algorithm that terminates in finite time when applied to consensus problems in higher dimensions and guarantees the convergence of the consensus algorithm in norm, within any given tolerance. Applications to consensus least squared estimation and distributed function determination are developed. The practical utility of the algorithm is illustrated through MATLAB simulations.


title: Nonstationary force sensing under dissipative mechanical quantum squeezing

abstract: We study the stationary and nonstationary measurement of a classical force driving a mechanical oscillator coupled to an electromagnetic cavity under two-tone driving. For this purpose, we develop a theoretical framework based on the signal-to-noise ratio to quantify the sensitivity of linear spectral measurements. Then, we consider stationary force sensing and study the necessary conditions to minimise the added force noise. We find that imprecision noise and back-action noise can be arbitrarily suppressed by manipulating the amplitudes of the input coherent fields, however, the force noise power spectral density cannot be reduced below the level of thermal fluctuations. Therefore, we consider a nonstationary protocol that involves non-thermal dissipative state preparation followed by a finite time measurement, which allows one to perform measurements with a signal-to-noise much greater than the maximum possible in a stationary measurement scenario. We analyse two different measurement schemes in the nonstationary transient regime, a back-action evading measurement, which implies modifying the drive asymmetry configuration upon arrival of the force, and a nonstationary measurement that leaves the drive asymmetry configuration unchanged. Conditions for optimal force noise sensitivity are determined, and the corresponding force noise power spectral densities are calculated.


title: Maximizing expected powers of the angle between pairs of points in projective space

abstract: Among probability measures on $d$-dimensional real projective space, one which maximizes the expected angle $\arccos(\frac{x}{|x|}\cdot \frac{y}{|y|})$ between independently drawn projective points $x$ and $y$ was conjectured to equidistribute its mass over the standard Euclidean basis $\{e_0,e_1,\ldots, e_d\}$ by Fejes T\'oth \cite{FT59}. If true, this conjecture evidently implies the same measure maximizes the expectation of $\arccos^\alpha(\frac{x}{|x|}\cdot \frac{y}{|y|})$ for any exponent $\alpha > 1$. The kernel $\arccos^\alpha(\frac{x}{|x|}\cdot \frac{y}{|y|})$ represents the objective of an infinite-dimensional quadratic program. We verify discrete and continuous versions of this {milder} conjecture in a non-empty range $\alpha > \alpha_{\Delta^d} \ge 1$, and establish uniqueness of the resulting maximizer $\hat \mu$ up to rotation. We show $\hat \mu$ no longer maximizes when $\alpha<\alpha_{\Delta^d}$. At the endpoint $\alpha=\alpha_{\Delta^d}$ of this range, we show another maximizer $\mu$ must also exist which is not a rotation of $\hat \mu$. For the continuous version of the conjecture, an appendix provided by Bilyk et al in response to an earlier draft of this work combines with the present improvements to yield $\alpha_{\Delta^d}<2$. The original conjecture $\ald=1$ remains open (unless $d=1$). However, in the maximum possible range $\alpha>1$, we show $\hat \mu$ and its rotations maximize the aforementioned expectation uniquely on a sufficiently small ball in the $L^\infty$-Kantorovich-Rubinstein-Wasserstein metric $d_\infty$ from optimal transportation; the same is true for any measure $\mu$ which is mutually absolutely continuous with respect to $\hat \mu$, but the size of the ball depends on {$\alpha,d$, and} $\|\frac{d \hat \mu}{d\mu}\|_{\infty}$.


title: Recursive Rules with Aggregation: A Simple Unified Semantics

abstract: Complex reasoning problems are most clearly and easily specified using logical rules, but require recursive rules with aggregation such as count and sum for practical applications. Unfortunately, the meaning of such rules has been a significant challenge, leading to many disagreeing semantics. This paper describes a unified semantics for recursive rules with aggregation, extending the unified founded semantics and constraint semantics for recursive rules with negation. The key idea is to support simple expression of the different assumptions underlying different semantics, and orthogonally interpret aggregation operations using their simple usual meaning. We present a formal definition of the semantics, prove important properties of the semantics, and compare with prior semantics. In particular, we present an efficient inference over aggregation that gives precise answers to all examples we have studied from the literature. We also apply our semantics to a wide range of challenging examples, and show that our semantics is simple and matches the desired results in all cases. Finally, we describe experiments on the most challenging examples, exhibiting unexpectedly superior performance over well-known systems when they can compute correct answers.


title: Empowering the Edge Intelligence by Air-Ground Integrated Federated Learning in 6G Networks

abstract: Ubiquitous intelligence has been widely recognized as a critical vision of the future sixth generation (6G) networks, which implies the intelligence over the whole network from the core to the edge including end devices. Nevertheless, fulfilling such vision, particularly the intelligence at the edge, is extremely challenging, due to the limited resources of edge devices as well as the ubiquitous coverage envisioned by 6G. To empower the edge intelligence, in this article, we propose a novel framework called AGIFL (Air-Ground Integrated Federated Learning), which organically integrates air-ground integrated networks and federated learning (FL). In the AGIFL, leveraging the flexible on-demand 3D deployment of aerial nodes such as unmanned aerial vehicles (UAVs), all the nodes can collaboratively train an effective learning model by FL. We also conduct a case study to evaluate the effect of two different deployment schemes of the UAV over the learning and network performance. Last but not the least, we highlight several technical challenges and future research directions in the AGIFL.


title: Optimizing Block-Sparse Matrix Multiplications on CUDA with TVM

abstract: We implemented and optimized matrix multiplications between dense and block-sparse matrices on CUDA. We leveraged TVM, a deep learning compiler, to explore the schedule space of the operation and generate efficient CUDA code. With the automatic parameter tuning in TVM, our cross-thread reduction based implementation achieved competitive or better performance compared with other state-of-the-art frameworks.


title: Constraint preserving discontinuous Galerkin method for ideal compressible MHD on 2-D Cartesian grids

abstract: We propose a constraint preserving discontinuous Galerkin method for ideal compressible MHD in two dimensions and using Cartesian grids, which automatically maintains the global divergence-free property. The approximation of the magnetic field is achieved using Raviart-Thomas polynomials and the DG scheme is based on evolving certain moments of these polynomials which automatically guarantees divergence-free property. We also develop HLL-type multi-dimensional Riemann solvers to estimate the electric field at vertices which are consistent with the 1-D Riemann solvers. When limiters are used, the divergence-free property may be lost and it is recovered by a divergence-free reconstruction step. We show the performance of the method on a range of test cases up to fourth order of accuracy.


title: The solvability conditions and exact solutions to some quaternion tensor systems

abstract: We derive necessary and sufficient conditions for the existence of the exact solution to the Sylvester-type quaternion tensor system $ \mathcal{A}_i\ast_{N}\mathcal{X}_i+ \mathcal{Y}_i\ast_{M}\mathcal{B}_i+\mathcal{C}_i\ast_{N} \mathcal{Z}_i\ast_{M}\mathcal{D}_i+\mathcal{F}_i\ast_{N} \mathcal{Z}_{i+1}\ast_{M}\mathcal{G}_i=\mathcal{E}_i, i=\overline{1,3} $ using Moore-Penrose inverse, and present an expression of the general solution to the system when it is solvable. As an application of this system, we provide the solvability conditions and general solutions for the Sylvester-type quaternion tensor system $ \mathcal{A}_i\ast_{N}\mathcal{Z}_i\ast_{M}\mathcal{B}_i+ \mathcal{C}_i\ast_{N}\mathcal{Z}_{i+1}\ast_{M}\mathcal{D}_i= \mathcal{E}_i, i=\overline{1,4}. $ This paper can also serve as extensions to some known results.


title: Do recommender systems function in the health domain: a system review

abstract: Recommender systems have fulfilled an important role in everyday life. Recommendations such as news by Google, videos by Netflix, goods by e-commerce providers, etc. have heavily changed everyones lifestyle. Health domains contain similar decision-making problems such as what to eat, how to exercise, and what is the proper medicine for a patient. Recently, studies focused on recommender systems to solve health problems have attracted attention. In this paper, we review aspects of health recommender systems including interests, methods, evaluation, future challenges and trend issues. We find that 1) health recommender systems have their own health concern limitations that cause them to focus on less-risky recommendations such as diet recommendation; 2) traditional recommender methods such as content-based and collaborative filtering methods can hardly handle health constraints, but knowledge-based methods function more than ever; 3) evaluating a health recommendation is more complicated than evaluating a commercial one because multiple dimensions in addition to accuracy should be considered. Recommender systems can function well in the health domain after the solution of several key problems. Our work is a systematic review of health recommender system studies, we show current conditions and future directions. It is believed that this review will help domain researchers and promote health recommender systems to the next step.


title: Asymptotic values of four Laplacian-type energies for matrices with degree-distance-based entries of random graphs

abstract: Let $f(D(i, j), d_i, d_j)$ be a real function symmetric in $i$ and $j$ with the property that $f(d, (1+o(1))np, (1+o(1))np)=(1+o(1))f(d, np, np)$ for $d=1,2$. Let $G$ be a graph, $d_i$ denote the degree of a vertex $i$ of $G$ and $D(i, j)$ denote the distance between vertices $i$ and $j$ in $G$. In this paper, we define the $f$-weighted Laplacian matrix for random graphs in the Erd$\ddot{o}$s-R$\acute{e}$nyi random graph model $\mathcal{G}_{n, p}$, where $p\in (0, 1)$ is fixed. Four weighted Laplacian type energies: the weighted Laplacian energy $\mathscr{LE}_f(G)$, weighted signless Laplacian energy $\mathscr{LE}^{+}_f(G)$, weighted incidence energy $\mathscr{IE}_f(G)$ and the weighted Laplacian-energy like invariant $\mathscr{LEL}_f(G)$ are introduced and studied. We obtain the asymptotic values of $\mathscr{IE}_f(G)$ and $\mathscr{LEL}_f(G)$, and the values of $\mathscr{LE}_f(G)$ and $\mathscr{LE}_f^{+}(G)$ under the condition that $f(D(i, j), d_i, d_j)$ is a function dependent only on $D(i, j)$. As a consequence, we get that for almost all graphs $G_p\in \mathcal{G}_{n, p}$, the energy for the matrix with degree-distance-based entries of $G_p$, $\mathscr{E}(W_f(G_p)) < \mathscr{LE}_f(G_p),$ the Laplacian energy of the matrix, which is a generalization of a conjecture by Gutman et al.


title: End-to-end spoofing detection with raw waveform CLDNNs

abstract: Albeit recent progress in speaker verification generates powerful models, malicious attacks in the form of spoofed speech, are generally not coped with. Recent results in ASVSpoof2015 and BTAS2016 challenges indicate that spoof-aware features are a possible solution to this problem. Most successful methods in both challenges focus on spoof-aware features, rather than focusing on a powerful classifier. In this paper we present a novel raw waveform based deep model for spoofing detection, which jointly acts as a feature extractor and classifier, thus allowing it to directly classify speech signals. This approach can be considered as an end-to-end classifier, which removes the need for any pre- or post-processing on the data, making training and evaluation a streamlined process, consuming less time than other neural-network based approaches. The experiments on the BTAS2016 dataset show that the system performance is significantly improved by the proposed raw waveform convolutional long short term neural network (CLDNN), from the previous best published 1.26\% half total error rate (HTER) to the current 0.82\% HTER. Moreover it shows that the proposed system also performs well under the unknown (RE-PH2-PH3,RE-LPPH2-PH3) conditions.


title: Reed at SemEval-2020 Task 9: Fine-Tuning and Bag-of-Words Approaches to Code-Mixed Sentiment Analysis

abstract: We explore the task of sentiment analysis on Hinglish (code-mixed Hindi-English) tweets as participants of Task 9 of the SemEval-2020 competition, known as the SentiMix task. We had two main approaches: 1) applying transfer learning by fine-tuning pre-trained BERT models and 2) training feedforward neural networks on bag-of-words representations. During the evaluation phase of the competition, we obtained an F-score of 71.3% with our best model, which placed $4^{th}$ out of 62 entries in the official system rankings.


title: Three-dimensional Lorentzian $Ein(2)$ Lie groups

abstract: In this paper, we completely classify three-dimensional Lorentzian $Ein(2)$ Lie groups.


title: Single-Bubble Dynamics in Nanopores: Transition Between Homogeneous and Heterogeneous Nucleation

abstract: When applying a voltage bias across a thin nanopore, localized Joule heating can lead to single bubble nucleation, offering a unique platform for studying nanoscale bubble behavior, which is still poorly understood. Accordingly, we investigate bubble nucleation and collapse inside solid-state nanopores filled with electrolyte solutions and find that there exists a clear correlation between homo/heterogeneous bubble nucleation and the pore diameter. As the pore diameter is increased from 280 nm to 525 nm, the nucleation regime transitions from predominantly periodic homogeneous nucleation to a non-periodic mixture of homogeneous and heterogeneous nucleation. A transition barrier between the homogeneous and heterogeneous nucleation regimes is defined by considering the relative free-energy costs of cluster formation. A thermodynamic model considering the transition barrier and contact-line pinning on curved surfaces is constructed, which determines the possibility of heterogeneous nucleation. It is shown that the experimental bubble generation behavior is closely captured by our thermodynamic analysis, providing important information for controlling the periodic homogeneous nucleation of bubbles in nanopores.


title: Quantum kinetic theory: correlations and linking

abstract: Classically the kinetic theory for a perfect gas has zero spatial number density correlation between separate points because the particles are independent. But the joint spatial and temporal correlation is non-zero (and easily calculable) because each individual particle moves in a straight line. The same holds for particle flux density correlation. The equivalent 'quantum kinetic theory' correlations are evaluated here via Feynman paths with their direct access to geometry and topology. The calculation is exact, yielding known special functions, but it is quite primitive physically. No heat bath, and no multi-particle statistics are invoked (the gas is thus 'Boltzmann'). Formally it reduces to path analysis of Brownian motion, in fact, of Brownian loops (suitably analytically continued). A check of the results is their correct classical limit. Attention is paid to the all-time-integral of the flux density correlation, with its topological significance. A particle's random path, in the presence of a fixed hypothetical hoop of arbitrary shape, accumulates a random linking number by repeatedly passing through it, positively or negatively. The mean is zero and the mean square is infinite, uninformatively. The interest lies in two separate arbitrary hoops: the linking numbers are correlated, their average product grows linearly, and is calculated from the flux density correlation. For a charged particle this would produce a correlation the induced Ampere magnetic circulation around the hoops.


title: Multi-UAV Coverage Path Planning for the Inspection of Large and Complex Structures

abstract: We present a multi-UAV Coverage Path Planning (CPP) framework for the inspection of large-scale, complex 3D structures. In the proposed sampling-based coverage path planning method, we formulate the multi-UAV inspection applications as a multi-agent coverage path planning problem. By combining two NP-hard problems: Set Covering Problem (SCP) and Vehicle Routing Problem (VRP), a Set-Covering Vehicle Routing Problem (SC-VRP) is formulated and subsequently solved by a modified Biased Random Key Genetic Algorithm (BRKGA) with novel, efficient encoding strategies and local improvement heuristics. We test our proposed method for several complex 3D structures with the 3D model extracted from OpenStreetMap. The proposed method outperforms previous methods, by reducing the length of the planned inspection path by up to 48%


title: Optical Anisotropy in Tellurene and its Janus Allotropes -- A first principle Study

abstract: Here, we present first principle study of structural, electronic, and optical properties of pristine and janus tellurene allotropes using density functional theory (DFT). The $\alpha$, $\beta$, $\delta$, and $\eta$ allotrope of pristine tellurene exhibit indirect band gap while $\gamma$ and $\sigma$ allotropes are metallic. The bandgap shows tunability in janus tellurene compared to pristine tellurene. A metallic to semiconductor transition occurs in janus $\gamma$, $\sigma$ and its allotropes. Dirac cone-like interesting feature has been observed for pristine $\sigma$ tellurene which remains preserved with the opening in energy gap for janus allotrope. In optical properties, imaginary part dielectric function and electron energy loss spectra show a blue shift in janus tellurene as compared to pristine form. Static dielectric constant is tunable in janus tellurene. All allotropes of tellurene are optically active in UV-Vis region with optical anisotropy in all three directions. We believe that our findings will provide useful pointers in the experimental fabrication of devices based on janus tellurene.


title: Deep Embedded Multi-view Clustering with Collaborative Training

abstract: Multi-view clustering has attracted increasing attentions recently by utilizing information from multiple views. However, existing multi-view clustering methods are either with high computation and space complexities, or lack of representation capability. To address these issues, we propose deep embedded multi-view clustering with collaborative training (DEMVC) in this paper. Firstly, the embedded representations of multiple views are learned individually by deep autoencoders. Then, both consensus and complementary of multiple views are taken into account and a novel collaborative training scheme is proposed. Concretely, the feature representations and cluster assignments of all views are learned collaboratively. A new consistency strategy for cluster centers initialization is further developed to improve the multi-view clustering performance with collaborative training. Experimental results on several popular multi-view datasets show that DEMVC achieves significant improvements over state-of-the-art methods.


title: The evolution of galaxy scaling relations in clusters at 0.5<z<1.5

abstract: We present new gas kinematic observations with the OSIRIS instrument at the GTC for galaxies in the Cl1604 cluster system at z=0.9. These observations together with a collection of other cluster samples at different epochs analyzed by our group are used to study the evolution of the Tully-Fisher, velocity-size and stellar mass-angular momentum relations in dense environments over cosmic time. We use 2D and 3D spectroscopy to analyze the kinematics of our cluster galaxies and extract their maximum rotation velocities (Vmax). Our methods are consistently applied to all our cluster samples which make them ideal for an evolutionary comparison. Up to redshift one, our cluster samples show evolutionary trends compatible with previous observational results in the field and in accordance with semianalytical models and hydrodynamical simulations concerning the Tully-Fisher and velocity-size relations. However, we find a factor 3 drop in disk sizes and an average B-band luminosity enhancement of 2 mag by z=1.5. We discuss the role that different cluster-specific interactions may play in producing this observational result. In addition, we find that our intermediate-to-high redshift cluster galaxies follow parallel sequences with respect to the local specific angular momentum-stellar mass relation, although displaying lower angular momentum values in comparison with field samples at similar redshifts. This can be understood by the stronger interacting nature of dense environments with respect to the field.


title: A Survey on Complex Question Answering over Knowledge Base: Recent Advances and Challenges

abstract: Question Answering (QA) over Knowledge Base (KB) aims to automatically answer natural language questions via well-structured relation information between entities stored in knowledge bases. In order to make KBQA more applicable in actual scenarios, researchers have shifted their attention from simple questions to complex questions, which require more KB triples and constraint inference. In this paper, we introduce the recent advances in complex QA. Besides traditional methods relying on templates and rules, the research is categorized into a taxonomy that contains two main branches, namely Information Retrieval-based and Neural Semantic Parsing-based. After describing the methods of these branches, we analyze directions for future research and introduce the models proposed by the Alime team.


title: Trends in pKa Values for polyprotic carboxylic acids

abstract: In this work we have reported the pKa values for straight chain (without branches) oligomers of Acrylic acid using CBS-QB3 gas phase energies with solvation free energies from CPCM/HF 6-31G(d) and SMD/B3LYP (2df,p). We have found that the negative log of the first acid dissociation constant decreases with the chain length. Within a chain, the microscopic pKa for the COOH groups present at the end of the chain is maximum and minimum for centrally located COOH groups.


title: Search for Axion-Like Particles produced in $e^+e^-$ collisions at Belle II

abstract: We present a search for the direct production of a light pseudoscalar $a$ decaying into two photons with the Belle II detector at the SuperKEKB collider. We search for the process ${e^+e^-\to\gamma a, a \to\gamma\gamma}$ in the mass range ${0.2} \,< m_a < {9.7}\,{\text{GeV/$c$}^2}$ using data corresponding to an integrated luminosity of $(445\pm 3)\,\text{pb}^{-1}$. Light pseudoscalars interacting predominantly with standard model gauge bosons (so-called axion-like particles or ALPs) are frequently postulated in extensions of the standard model. We find no evidence for ALPs and set 95% confidence level upper limits on the coupling strength $g_{a\gamma\gamma}$ of ALPs to photons at the level of $10^{-3}\,{\text{GeV}^{-1}}$. The limits are the most restrictive to date for $0.2\,<\,m_a\,<\,1\,{\text{GeV/$c$}^2}$.


title: Approaches of large-scale images recognition with more than 50,000 categoris

abstract: Though current CV models have been able to achieve high levels of accuracy on small-scale images classification dataset with hundreds or thousands of categories, many models become infeasible in computational or space consumption when it comes to large-scale dataset with more than 50,000 categories. In this paper, we provide a viable solution for classifying large-scale species datasets using traditional CV techniques such as.features extraction and processing, BOVW(Bag of Visual Words) and some statistical learning technics like Mini-Batch K-Means,SVM which are used in our works. And then mixed with a neural network model. When applying these techniques, we have done some optimization in time and memory consumption, so that it can be feasible for large-scale dataset. And we also use some technics to reduce the impact of mislabeling data. We use a dataset with more than 50, 000 categories, and all operations are done on common computer with l 6GB RAM and a CPU of 3. OGHz. Our contributions are: 1) analysis what problems may meet in the training processes, and presents several feasible ways to solve these problems. 2) Make traditional CV models combined with neural network models provide some feasible scenarios for training large-scale classified datasets within the constraints of time and spatial resources.


title: Robust Collective Classification against Structural Attacks

abstract: Collective learning methods exploit relations among data points to enhance classification performance. However, such relations, represented as edges in the underlying graphical model, expose an extra attack surface to the adversaries. We study adversarial robustness of an important class of such graphical models, Associative Markov Networks (AMN), to structural attacks, where an attacker can modify the graph structure at test time. We formulate the task of learning a robust AMN classifier as a bi-level program, where the inner problem is a challenging non-linear integer program that computes optimal structural changes to the AMN. To address this technical challenge, we first relax the attacker problem, and then use duality to obtain a convex quadratic upper bound for the robust AMN problem. We then prove a bound on the quality of the resulting approximately optimal solutions, and experimentally demonstrate the efficacy of our approach. Finally, we apply our approach in a transductive learning setting, and show that robust AMN is much more robust than state-of-the-art deep learning methods, while sacrificing little in accuracy on non-adversarial data.


title: Geometry and control of the nonholonomic integrator: An electrodynamics analogy

abstract: We consider some generalizations of the classical nonholonomic integrator and give a geometric approach to characterize controllability for these systems. We use Stokes' theorem and results from complex analysis to obtain necessary and sufficient conditions for controllability. Furthermore, we show that optimal trajectories of certain minimum energy optimal control problems defined on these systems can be identified with the trajectory of a charged particle in an electromagnetic field.


title: Facet Dependent Catalytic Activities of Anatase TiO$_2$ for CO$_2$ Adsorption and Conversion

abstract: Understanding the atomic-scale interaction mechanism of CO$_2$ and H$_2$O on TiO$_2$ surface is crucial to establish a correlation between the catalytic efficiency with its exposed facet. Here, with the aid of a three-state model, nudged elastic band simulations, and DFT calculations, we examine the chemical restructuring of these molecules during the process of adsorption, coadsorption and conversion on (001) including (1$\times$4)-reconstructed, (010), and (101) facets of anatase TiO$_2$ and thereby, evaluate the step selective reactivity order. In addition, the results reveal the unexplored non-trivialities in the reaction mechanisms. For the most stable (101) facet, we show that the unfavorable carbonate complex formation becomes favorable by switching the reaction from endothermic to exothermic in the presence of water. Further, we find that small binding energy does not necessarily imply physisorption. It can also give rise to chemisorption, where the loss in energy due to repulsive Hartree and Madelung interactions is comparable to the energy gained through the chemical bonding. Such a scenario is demonstrated for the CO$_2$ adsorption on (010) and (101) facets. Though (001) remains the most reactive surface, if it undergoes reconstruction, which happens at ultra-high vacuum and high temperature, the number of active sites is reduced by three-fourths.


title: Numerical scheme based on the spectral method for calculating nonlinear hyperbolic evolution equations

abstract: High-precision numerical scheme for nonlinear hyperbolic evolution equations is proposed based on the spectral method. The detail discretization processes are discussed in case of one-dimensional Klein-Gordon equations. In conclusion, a numerical scheme with the order of total calculation cost $O(N \log 2N)$ is proposed. As benchmark results, the relation between the numerical precision and the discretization unit size are demonstrated.


title: Bounded Fuzzy Possibilistic Method of Critical Objects Processing in Machine Learning

abstract: Unsatisfying accuracy of learning methods is mostly caused by omitting the influence of important parameters such as membership assignments, type of data objects, and distance or similarity functions. The proposed method, called Bounded Fuzzy Possibilistic Method (BFPM) addresses different issues that previous clustering or classification methods have not sufficiently considered in their membership assignments. In fuzzy methods, the object's memberships should sum to 1. Hence, any data object may obtain full membership in at most one cluster or class. Possibilistic methods relax this condition, but the method can be satisfied with the results even if just an arbitrary object obtains the membership from just one cluster, which prevents the objects' movement analysis. Whereas, BFPM differs from previous fuzzy and possibilistic approaches by removing these restrictions. Furthermore, BFPM provides the flexible search space for objects' movement analysis. Data objects are also considered as fundamental keys in learning methods, and knowing the exact type of objects results in providing a suitable environment for learning algorithms. The Thesis introduces a new type of object, called critical, as well as categorizing data objects into two different categories: structural-based and behavioural-based. Critical objects are considered as causes of miss-classification and miss-assignment in learning procedures. The Thesis also proposes new methodologies to study the behaviour of critical objects with the aim of evaluating objects' movements (mutation) from one cluster or class to another. The Thesis also introduces a new type of feature, called dominant, that is considered as one of the causes of miss-classification and miss-assignments. Then the Thesis proposes new sets of similarity functions, called Weighted Feature Distance (WFD) and Prioritized Weighted Feature Distance (PWFD).


title: SMART: Simultaneous Multi-Agent Recurrent Trajectory Prediction

abstract: We propose advances that address two key challenges in future trajectory prediction: (i) multimodality in both training data and predictions and (ii) constant time inference regardless of number of agents. Existing trajectory predictions are fundamentally limited by lack of diversity in training data, which is difficult to acquire with sufficient coverage of possible modes. Our first contribution is an automatic method to simulate diverse trajectories in the top-view. It uses pre-existing datasets and maps as initialization, mines existing trajectories to represent realistic driving behaviors and uses a multi-agent vehicle dynamics simulator to generate diverse new trajectories that cover various modes and are consistent with scene layout constraints. Our second contribution is a novel method that generates diverse predictions while accounting for scene semantics and multi-agent interactions, with constant-time inference independent of the number of agents. We propose a convLSTM with novel state pooling operations and losses to predict scene-consistent states of multiple agents in a single forward pass, along with a CVAE for diversity. We validate our proposed multi-agent trajectory prediction approach by training and testing on the proposed simulated dataset and existing real datasets of traffic scenes. In both cases, our approach outperforms SOTA methods by a large margin, highlighting the benefits of both our diverse dataset simulation and constant-time diverse trajectory prediction methods.


title: The finite representation property for some reducts of relation algebras

abstract: In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is isomorphic to some algebra over a finite base. This result gives a positive solution to Problem 19.17 from the monograph by Hirsch and Hodkinson \cite{hirsch2002relation}.


title: Asymptotic Log-Harnack Inequality for Monotone SPDE with Multiplicative Noise

abstract: We derive an asymptotic log-Harnack inequality for nonlinear monotone SPDE driven by possibly degenerate multiplicative noise. Our main tool is the asymptotic coupling by the change of measure. As an application, we show that, under certain monotone and coercive conditions on the coefficients, the corresponding Markov semigroup is asymptotically strong Feller, asymptotic irreducibility, and possesses a unique and thus ergodic invariant measure. The results are applied to highly degenerate finite-dimensional or infinite-dimensional diffusion processes.


title: Polarized Skylight Navigation Simulation (PSNS) Dataset

abstract: With more and more machine learning methods applied to bioinspired polarized skylight navigation, the demand for polarized skylight navigation datasets is more and more urgent, which can be used to train and test machine learning methods. So, in this paper, an open polarized skylight navigation dataset is constructed for the first time. Firstly, a polarized sky model was proposed based on Sun position model, Berry sky model and Hosek sky model, which contains the information of the light intensity (LI), degree of polarization (DOP) and angle of polarization (AOP). Secondly, a polarization imaging simulation system is constructed, which can capture not only LI, DOP and AOP images, but also original black-and-white LI images in different polarization directions. Black-and-white LI images are the original data collected by actual polarization imager, so this system can completely describe the whole process of polarization imager capturing skylight polarization patterns. Above all, a polarized skylight navigation simulation (PSNS) dataset can be constructed. In addition, to facilitate researchers to build their own datasets based on their own polarized light sensors and sky models, we have disclosed the source code of polarization imager and original LI imager on GitHub.


title: Algebraic Properties of Clique Complexes of Line Graphs

abstract: Let $H$ be a simple undirected graph and $G=\mathrm{L}(H)$ be its line graph. Assume that $\Delta(G)$ denotes the clique complex of $G$. We show that $\Delta(G)$ is sequentially Cohen-Macaulay if and only if it is shellable if and only if it is vertex decomposable. Moreover if $\Delta(G)$ is pure, we prove that these conditions are also equivalent to being strongly connected. Furthermore, we state a complete characterizations of those $H$ for which $\Delta(G)$ is Cohen-Macaulay, sequentially Cohen-Macaulay or Gorenstein. We use these characterizations to present linear time algorithms which take a graph $G$, check whether $G$ is a line graph and if yes, decide if $\Delta(G)$ is Cohen-Macaulay or sequentially Cohen-Macaulay or Gorenstein.