title: A Study on Effects of Implicit and Explicit Language Model Information for DBLSTM-CTC Based Handwriting Recognition

abstract: Deep Bidirectional Long Short-Term Memory (D-BLSTM) with a Connectionist Temporal Classification (CTC) output layer has been established as one of the state-of-the-art solutions for handwriting recognition. It is well known that the DBLSTM trained by using a CTC objective function will learn both local character image dependency for character modeling and long-range contextual dependency for implicit language modeling. In this paper, we study the effects of implicit and explicit language model information for DBLSTM-CTC based handwriting recognition by comparing the performance of using or without using an explicit language model in decoding. It is observed that even using one million lines of training sentences to train the DBLSTM, using an explicit language model is still helpful. To deal with such a large-scale training problem, a GPU-based training tool has been developed for CTC training of DBLSTM by using a mini-batch based epochwise Back Propagation Through Time (BPTT) algorithm.


title: Writer Identification Using Microblogging Texts for Social Media Forensics

abstract: Establishing authorship of online texts is fundamental to combat cybercrimes. Unfortunately, text length is limited on some platforms, making the challenge harder. We aim at identifying the authorship of Twitter messages limited to 140 characters. We evaluate popular stylometric features, widely used in literary analysis, and specific Twitter features like URLs, hashtags, replies or quotes. We use two databases with 93 and 3957 authors, respectively. We test varying sized author sets and varying amounts of training/test texts per author. Performance is further improved by feature combination via automatic selection. With a large number of training Tweets (>500), a good accuracy (Rank-5>80%) is achievable with only a few dozens of test Tweets, even with several thousands of authors. With smaller sample sizes (10-20 training Tweets), the search space can be diminished by 9-15% while keeping a high chance that the correct author is retrieved among the candidates. In such cases, automatic attribution can provide significant time savings to experts in suspect search. For completeness, we report verification results. With few training/test Tweets, the EER is above 20-25%, which is reduced to < 15% if hundreds of training Tweets are available. We also quantify the computational complexity and time permanence of the employed features.


title: Stability Analysis of Quantum Systems: a Lyapunov Criterion and an Invariance Principle

abstract: In this article, we propose a Lyapunov stability approach to analyze the convergence of the density operator of a quantum system. In analog to the classical probability measure for Markovian processes, we show that the set of invariant density operators is both closed and convex. We then show how to analyze the stability of this set via a candidate Lyapunov operator. We complete our analysis of the set of invariant density operators by introducing an analog of the Barbashin-Krasovskii-La Salle theorem on the dynamics of quantum systems.


title: Weighted Accuracy Algorithmic Approach In Counteracting Fake News And Disinformation

abstract: As the world is becoming more dependent on the internet for information exchange, some overzealous journalists, hackers, bloggers, individuals and organizations tend to abuse the gift of free information environment by polluting it with fake news, disinformation and pretentious content for their own agenda. Hence, there is the need to address the issue of fake news and disinformation with utmost seriousness. This paper proposes a methodology for fake news detection and reporting through a constraint mechanism that utilizes the combined weighted accuracies of four machine learning algorithms.


title: GenCos' Behaviors Modeling Based on Q Learning Improved by Dichotomy

abstract: Q learning is widely used to simulate the behaviors of generation companies (GenCos) in an electricity market. However, existing Q learning method usually requires numerous iterations to converge, which is time-consuming and inefficient in practice. To enhance the calculation efficiency, a novel Q learning algorithm improved by dichotomy is proposed in this paper. This method modifies the update process of the Q table by dichotomizing the state space and the action space step by step. Simulation results in a repeated Cournot game show the effectiveness of the proposed algorithm.


title: Optical trapping and critical Casimir forces

abstract: Critical Casimir forces emerge between objects, such as colloidal particles, whenever their surfaces spatially confine the fluctuations of the order parameter of a critical liquid used as a solvent. These forces act at short but microscopically large distances between these objects, reaching often hundreds of nanometers. Keeping colloids at such distances is a major experimental challenge, which can be addressed by the means of optical tweezers. Here, we review how optical tweezers have been successfully used to quantitatively study critical Casimir forces acting on particles in suspensions. As we will see, the use of optical tweezers to experimentally study critical Casimir forces can play a crucial role in developing nano-technologies, representing an innovative way to realize self-assembled devices at the nano- and microscale.


title: IBN-varieties of algebras

abstract: The concept of variety with IBN (invariant basic number) propriety first appeared in ring theory. But we can define this concept for arbitrary variety of universal algebras with arbitrary signature; see Definition 1.4. The proving of the IBN propriety of some variety is very important in universal algebraic geometry. This is a milestone in the study of the relation between geometric and automorphic equivalences of algebras of this variety. In this paper we prove very simple but very useful for studying of IBN proprieties of different varieties Theorems 2.1 and 3.2. We will consider applications of this theorem. We will consider many-sorted universal algebras as well as one-sorted. So all concepts and all results will by generalized for the many-sorted case.


title: Localized Nonlinear Solution Strategies for Efficient Simulation of Unconventional Reservoirs

abstract: Accurate and efficient numerical simulation of unconventional reservoirs is challenging. Long periods of transient flow and steep potential gradients occur due to the extreme conductivity contrast between matrix and fracture. Detailed near-well/near-fracture models are necessary to provide sufficient resolution, but they are computationally impractical for field cases with multiple fracture stages. Previous works in the literature of unconventional simulations mainly focus on gridding level that adapts to wells and fractures. Limited research has been conducted on nonlinear strategies that exploit locality across timesteps and nonlinear iterations. To perform localized computations, an a-priori strategy is essential to first determine the active subset of simulation cells for the subsequent iteration. The active set flags the cells that will be updated, and then the corresponding localized linear system is solved. This work develops localization methods that are readily applicable to complex fracture networks and flow physics in unconventional reservoirs. By utilizing the diffusive nature of pressure updates, an adaptive algorithm is proposed to make adequate estimates for the active domains. In addition, we develop a localized solver based on nonlinear domain decomposition (DD). Comparing to a standard DD method, domain partitions are dynamically constructed. The new solver provides effective partitioning that adapts to flow dynamics and Newton updates. We evaluate the developed methods using several complex problems with discrete fracture networks. The results show that large degrees of solution locality present across timesteps and iterations. Comparing to a standard Newton solver, the new solvers enable superior computational performance. Moreover, Newton convergence behavior is preserved, without any impact on solution accuracy.


title: The world as a neural network

abstract: We discuss a possibility that the entire universe on its most fundamental level is a neural network. We identify two different types of dynamical degrees of freedom: "trainable" variables (e.g. bias vector or weight matrix) and "hidden" variables (e.g. state vector of neurons). We first consider stochastic evolution of the trainable variables to argue that near equilibrium their dynamics is well approximated by Madelung equations (with free energy representing the phase) and further away from the equilibrium by Hamilton-Jacobi equations (with free energy representing the Hamilton's principal function). This shows that the trainable variables can indeed exhibit classical and quantum behaviors with the state vector of neurons representing the hidden variables. We then study stochastic evolution of the hidden variables by considering $D$ non-interacting subsystems with average state vectors, $\bar{\bf x}^{1}$, ..., $\bar{\bf x}^{D}$ and an overall average state vector $\bar{\bf x}^{0}$. In the limit when the weight matrix is a permutation matrix, the dynamics of $\bar{\bf x}^{\mu}$ can be described in terms of relativistic strings in an emergent $D+1$ dimensional Minkowski space-time. If the subsystems are minimally interacting, with interactions described by a metric tensor, then the emergent space-time becomes curved. We argue that the entropy production in such a system is a local function of the metric tensor which should be determined by the symmetries of the Onsager tensor. It turns out that a very simple and highly symmetric Onsager tensor leads to the entropy production described by the Einstein-Hilbert term. This shows that the learning dynamics of a neural network can indeed exhibit approximate behaviors described by both quantum mechanics and general relativity. We also discuss a possibility that the two descriptions are holographic duals of each other.


title: Optimized Processing of Localized Collisions in Projective Dynamics

abstract: We present a method for the efficient processing of contact and collision in volumetric elastic models simulated using the Projective Dynamics paradigm. Our approach enables interactive simulation of tetrahedral meshes with more than half a million elements, provided that the model satisfies two fundamental properties: the region of the model's surface that is susceptible to collision events needs to be known in advance, and the simulation degrees of freedom associated with that surface region should be limited to a small fraction (e.g. 5\%) of the total simulation nodes. Despite this conscious delineation of scope, our hypotheses hold true for common animation subjects, such as simulated models of the human face and parts of the body. In such scenarios, a partial Cholesky factorization can abstract away the behavior of the collision-safe subset of the face into the Schur Complement matrix with respect to the collision-prone region. We demonstrate how fast and accurate updates of penalty-based collision terms can be incorporated into this representation, and solved with high efficiency on the GPU. We also demonstrate the opportunity to iterate a partial update of the element rotations, akin to a selective application of the local step, specifically on the smaller collision-prone region without explicitly paying the cost associated with the rest of the simulation mesh. We demonstrate efficient and robust interactive simulation in detailed models from animation and medical applications.


title: On extremal eigenvalues of the graph Laplacian

abstract: Upper and lower estimates of eigenvalues of the Laplacian on a metric graph have been established in 2017 by G. Berkolaiko, J.B. Kennedy, P. Kurasov and D. Mugnolo. Both these estimates can be achieved at the same time only by highly degenerate eigenvalues which we call maximally degenerate. By comparison with the maximal eigenvalue multiplicity proved by I. Kac and V. Pivovarchik in 2011 we characterize the family of graphs exhibiting maximally degenerate eigenvalues which we call lasso trees, namely graphs constructed from trees by attaching lasso graphs to some of the vertices.


title: Text-based classification of interviews for mental health -- juxtaposing the state of the art

abstract: Currently, the state of the art for classification of psychiatric illness is based on audio-based classification. This thesis aims to design and evaluate a state of the art text classification network on this challenge. The hypothesis is that a well designed text-based approach poses a strong competition against the state-of-the-art audio based approaches. Dutch natural language models are being limited by the scarcity of pre-trained monolingual NLP models, as a result Dutch natural language models have a low capture of long range semantic dependencies over sentences. For this issue, this thesis presents belabBERT, a new Dutch language model extending the RoBERTa[15] architecture. belabBERT is trained on a large Dutch corpus (+32GB) of web crawled texts. After this thesis evaluates the strength of text-based classification, a brief exploration is done, extending the framework to a hybrid text- and audio-based classification. The goal of this hybrid framework is to show the principle of hybridisation with a very basic audio-classification network. The overall goal is to create the foundations for a hybrid psychiatric illness classification, by proving that the new text-based classification is already a strong stand-alone solution.


title: Deep Learning Brasil -- NLP at SemEval-2020 Task 9: Overview of Sentiment Analysis of Code-Mixed Tweets

abstract: In this paper, we describe a methodology to predict sentiment in code-mixed tweets (hindi-english). Our team called verissimo.manoel in CodaLab developed an approach based on an ensemble of four models (MultiFiT, BERT, ALBERT, and XLNET). The final classification algorithm was an ensemble of some predictions of all softmax values from these four models. This architecture was used and evaluated in the context of the SemEval 2020 challenge (task 9), and our system got 72.7% on the F1 score.


title: ULD@NUIG at SemEval-2020 Task 9: Generative Morphemes with an Attention Model for Sentiment Analysis in Code-Mixed Text

abstract: Code mixing is a common phenomena in multilingual societies where people switch from one language to another for various reasons. Recent advances in public communication over different social media sites have led to an increase in the frequency of code-mixed usage in written language. In this paper, we present the Generative Morphemes with Attention (GenMA) Model sentiment analysis system contributed to SemEval 2020 Task 9 SentiMix. The system aims to predict the sentiments of the given English-Hindi code-mixed tweets without using word-level language tags instead inferring this automatically using a morphological model. The system is based on a novel deep neural network (DNN) architecture, which has outperformed the baseline F1-score on the test data-set as well as the validation data-set. Our results can be found under the user name "koustava" on the "Sentimix Hindi English" page


title: Next word prediction based on the N-gram model for Kurdish Sorani and Kurmanji

abstract: Next word prediction is an input technology that simplifies the process of typing by suggesting the next word to a user to select, as typing in a conversation consumes time. A few previous studies have focused on the Kurdish language, including the use of next word prediction. However, the lack of a Kurdish text corpus presents a challenge. Moreover, the lack of a sufficient number of N-grams for the Kurdish language, for instance, five grams, is the reason for the rare use of next Kurdish word prediction. Furthermore, the improper display of several Kurdish letters in the Rstudio software is another problem. This paper provides a Kurdish corpus, creates five, and presents a unique research work on next word prediction for Kurdish Sorani and Kurmanji. The N-gram model has been used for next word prediction to reduce the amount of time while typing in the Kurdish language. In addition, little work has been conducted on next Kurdish word prediction; thus, the N-gram model is utilized to suggest text accurately. To do so, R programming and RStudio are used to build the application. The model is 96.3% accurate.


title: TensorCoder: Dimension-Wise Attention via Tensor Representation for Natural Language Modeling

abstract: Transformer has been widely-used in many Natural Language Processing (NLP) tasks and the scaled dot-product attention between tokens is a core module of Transformer. This attention is a token-wise design and its complexity is quadratic to the length of sequence, limiting its application potential for long sequence tasks. In this paper, we propose a dimension-wise attention mechanism based on which a novel language modeling approach (namely TensorCoder) can be developed. The dimension-wise attention can reduce the attention complexity from the original $O(N^2d)$ to $O(Nd^2)$, where $N$ is the length of the sequence and $d$ is the dimensionality of head. We verify TensorCoder on two tasks including masked language modeling and neural machine translation. Compared with the original Transformer, TensorCoder not only greatly reduces the calculation of the original model but also obtains improved performance on masked language modeling task (in PTB dataset) and comparable performance on machine translation tasks.


title: Defining and Evaluating Fair Natural Language Generation

abstract: Our work focuses on the biases that emerge in the natural language generation (NLG) task of sentence completion. In this paper, we introduce a framework of fairness for NLG followed by an evaluation of gender biases in two state-of-the-art language models. Our analysis provides a theoretical formulation for biases in NLG and empirical evidence that existing language generation models embed gender bias.


title: Comment on "Collective modes and gapped momentum states in liquid Ga: Experiment, theory, and simulation"

abstract: We show that the presented in Phys.Rev.B, v.101, 214312 (2020) theoretical expressions for longitudinal current spectral function $C^L(k,\omega)$ and dispersion of collective excitations are not correct. Indeed, they are not compatible with the continuum limit and $C^L(k,\omega\to 0)$ contradicts the continuity equation.


title: Cylinder3D: An Effective 3D Framework for Driving-scene LiDAR Semantic Segmentation

abstract: State-of-the-art methods for large-scale driving-scene LiDAR semantic segmentation often project and process the point clouds in the 2D space. The projection methods includes spherical projection, bird-eye view projection, etc. Although this process makes the point cloud suitable for the 2D CNN-based networks, it inevitably alters and abandons the 3D topology and geometric relations. A straightforward solution to tackle the issue of 3D-to-2D projection is to keep the 3D representation and process the points in the 3D space. In this work, we first perform an in-depth analysis for different representations and backbones in 2D and 3D spaces, and reveal the effectiveness of 3D representations and networks on LiDAR segmentation. Then, we develop a 3D cylinder partition and a 3D cylinder convolution based framework, termed as Cylinder3D, which exploits the 3D topology relations and structures of driving-scene point clouds. Moreover, a dimension-decomposition based context modeling module is introduced to explore the high-rank context information in point clouds in a progressive manner. We evaluate the proposed model on a large-scale driving-scene dataset, i.e. SematicKITTI. Our method achieves state-of-the-art performance and outperforms existing methods by 6% in terms of mIoU.


title: To BERT or Not To BERT: Comparing Speech and Language-based Approaches for Alzheimer's Disease Detection

abstract: Research related to automatically detecting Alzheimer's disease (AD) is important, given the high prevalence of AD and the high cost of traditional methods. Since AD significantly affects the content and acoustics of spontaneous speech, natural language processing and machine learning provide promising techniques for reliably detecting AD. We compare and contrast the performance of two such approaches for AD detection on the recent ADReSS challenge dataset: 1) using domain knowledge-based hand-crafted features that capture linguistic and acoustic phenomena, and 2) fine-tuning Bidirectional Encoder Representations from Transformer (BERT)-based sequence classification models. We also compare multiple feature-based regression models for a neuropsychological score task in the challenge. We observe that fine-tuned BERT models, given the relative importance of linguistics in cognitive impairment detection, outperform feature-based approaches on the AD detection task.


title: A Reinforcement Learning Method For Power Suppliers' Strategic Bidding with Insufficient Information

abstract: Power suppliers can exercise market power to gain higher profit. However, this becomes difficult when external information is extremely rare. To get a promising performance in an extremely incomplete information market environment, a novel model-free reinforcement learning algorithm based on the Learning Automata (LA) is proposed in this paper. Besides, this paper analyses the rationality and convergence of the algorithm in case studies based on the Cournot market model.


title: E-Tree Learning: A Novel Decentralized Model Learning Framework for Edge AI

abstract: Traditionally, AI models are trained on the central cloud with data collected from end devices. This leads to high communication cost, long response time and privacy concerns. Recently Edge empowered AI, namely Edge AI, has been proposed to support AI model learning and deployment at the network edge closer to the data sources. Existing research including federated learning adopts a centralized architecture for model learning where a central server aggregates the model updates from the clients/workers. The centralized architecture has drawbacks such as performance bottleneck, poor scalability and single point of failure. In this paper, we propose a novel decentralized model learning approach, namely E-Tree, which makes use of a well-designed tree structure imposed on the edge devices. The tree structure and the locations and orders of aggregation on the tree are optimally designed to improve the training convergency and model accuracy. In particular, we design an efficient device clustering algorithm, named by KMA, for E-Tree by taking into account the data distribution on the devices as well as the the network distance. Evaluation results show E-Tree significantly outperforms the benchmark approaches such as federated learning and Gossip learning under NonIID data in terms of model accuracy and convergency.


title: One-generated nilpotent terminal algebras

abstract: We give an algebraic classification of complex $5$-dimensional one-generated nilpotent terminal algebras.


title: Tense, aspect and mood based event extraction for situation analysis and crisis management

abstract: Nowadays event extraction systems mainly deal with a relatively small amount of information about temporal and modal qualifications of situations, primarily processing assertive sentences in the past tense. However, systems with a wider coverage of tense, aspect and mood can provide better analyses and can be used in a wider range of text analysis applications. This thesis develops such a system for Turkish language. This is accomplished by extending Open Source Information Mining and Analysis (OPTIMA) research group's event extraction software, by implementing appropriate extensions in the semantic representation format, by adding a partial grammar which improves the TAM (Tense, Aspect and Mood) marker, adverb analysis and matching functions of ExPRESS, and by constructing an appropriate lexicon in the standard of CORLEONE. These extensions are based on iv the theory of anchoring relations (Tem\"urc\"u, 2007, 2011) which is a crosslinguistically applicable semantic framework for analyzing tense, aspect and mood related categories. The result is a system which can, in addition to extracting basic event structures, classify sentences given in news reports according to their temporal, modal and volitional/illocutionary values. Although the focus is on news reports of natural disasters, disease outbreaks and man-made disasters in Turkish language, the approach can be adapted to other languages, domains and genres. This event extraction and classification system, with further developments, can provide a basis for automated browsing systems for preventing environmental and humanitarian risk.


title: Constraints on the Lepton Charge, Spin and Mass from Quasi-Local Energy

abstract: The masses of the elementary particles as well as their charges and spins belong to the fundamental physical constants. Presently, no fundamental theory describing them is available, so their values remain mysterious. In this work we offer an approach based on the Brown-York quasi-local energy which includes the self-energy of an object. In order to compute this energy we model the spacetime of the renormalized electron (and other leptons) by the Kerr-Newman metric. Placing conditions on the associated energies at different radii we arrive at various constraints on the mass, charge and spin which are derived from the Planck scale. The large gap between the TeV-scale and the Planck energy is due to the highly non-trivial behavior of the used quasi-local potential.


title: Existence and local uniqueness of normalized peak solutions for a Schrodinger-Newton system

abstract: In this paper, we investigate the existence and local uniqueness of normalized peak solutions for a Schr\"odinger-Newton system under the assumption that the trapping potential is degenerate and has non-isolated critical points. First we investigate the existence and local uniqueness of normalized single-peak solutions for the Schr\"odinger-Newton system. Precisely, we give the precise description of the chemical potential $\mu$ and the attractive interaction $a$. Then we apply the finite dimensional reduction method to obtain the existence of single-peak solutions. Furthermore, using various local Pohozaev identities, blow-up analysis and the maximum principle, we prove the local uniqueness of single-peak solutions by precise analysis of the concentrated points and the Lagrange multiplier. Finally, we also prove the nonexistence of multi-peak solutions for the Schr\"odinger-Newton system, which is markedly different from the corresponding Schr\"odinger equation. The nonlocal term results in this difference. The main difficulties come from the estimates on Lagrange multiplier, the different degenerate rates along different directions at the critical point of $P(x)$ and some complicated estimates involved by the nonlocal term. To our best knowledge, it may be the first time to study the existence and local uniqueness of solutions with prescribed $L^{2}$-norm for the Schr\"odinger-Newton system.


title: Federated Learning with Sparsification-Amplified Privacy and Adaptive Optimization

abstract: Federated learning (FL) enables distributed agents to collaboratively learn a centralized model without sharing their raw data with each other. However, data locality does not provide sufficient privacy protection, and it is desirable to facilitate FL with rigorous differential privacy (DP) guarantee. Existing DP mechanisms would introduce random noise with magnitude proportional to the model size, which can be quite large in deep neural networks. In this paper, we propose a new FL framework with sparsification-amplified privacy. Our approach integrates random sparsification with gradient perturbation on each agent to amplify privacy guarantee. Since sparsification would increase the number of communication rounds required to achieve a certain target accuracy, which is unfavorable for DP guarantee, we further introduce acceleration techniques to help reduce the privacy cost. We rigorously analyze the convergence of our approach and utilize Renyi DP to tightly account the end-to-end DP guarantee. Extensive experiments on benchmark datasets validate that our approach outperforms previous differentially-private FL approaches in both privacy guarantee and communication efficiency.


title: Adversarial Radar Inference: Inverse Tracking, Identifying Cognition and Designing Smart Interference

abstract: This paper considers three inter-related adversarial inference problems involving cognitive radars. We first discuss inverse tracking of the radar to estimate the adversary's estimate of us based on the radar's actions and calibrate the radar's sensing accuracy. Second, using revealed preference from microeconomics, we formulate a non-parametric test to identify if the cognitive radar is a constrained utility maximizer with signal processing constraints. We consider two radar functionalities, namely, beam allocation and waveform design, with respect to which the cognitive radar is assumed to maximize its utility and construct a set-valued estimator for the radar's utility function. Finally, we discuss how to engineer interference at the physical layer level to confuse the radar which forces it to change its transmit waveform. The levels of abstraction range from smart interference design based on Wiener filters (at the pulse/waveform level), inverse Kalman filters at the tracking level and revealed preferences for identifying utility maximization at the systems level.


title: Data Synopses Management based on a Deep Learning Model

abstract: Pervasive computing involves the placement of processing services close to end users to support intelligent applications. With the advent of the Internet of Things (IoT) and the Edge Computing (EC), one can find room for placing services at various points in the interconnection of the aforementioned infrastructures. Of significant importance is the processing of the collected data. Such a processing can be realized upon the EC nodes that exhibit increased computational capabilities compared to IoT devices. An ecosystem of intelligent nodes is created at the EC giving the opportunity to support cooperative models. Nodes become the hosts of geo-distributed datasets formulated by the IoT devices reports. Upon the datasets, a number of queries/tasks can be executed. Queries/tasks can be offloaded for performance reasons. However, an offloading action should be carefully designed being always aligned with the data present to the hosting node. In this paper, we present a model to support the cooperative aspect in the EC infrastructure. We argue on the delivery of data synopses to EC nodes making them capable to take offloading decisions fully aligned with data present at peers. Nodes exchange data synopses to inform their peers. We propose a scheme that detects the appropriate time to distribute synopses trying to avoid the network overloading especially when synopses are frequently extracted due to the high rates at which IoT devices report data to EC nodes. Our approach involves a Deep Learning model for learning the distribution of calculated synopses and estimate future trends. Upon these trends, we are able to find the appropriate time to deliver synopses to peer nodes. We provide the description of the proposed mechanism and evaluate it based on real datasets. An extensive experimentation upon various scenarios reveals the pros and cons of the approach by giving numerical results.


title: Magnetic ratchet effect in phosphorene

abstract: The magnetic ratchet effect has been studied in phosphorene by the use of the Boltzmann kinetic equation that is a semi-classical approach. The Hamiltonian of phosphorene in a steady parallel magnetic field is derived using the tight-binding model. We consider the effect of the magnetic field on non--linear dynamics in the presence of an ac laser field and spatial inversion asymmetry. We have shown that for anisotropic 2D materials and phosphorene, the ratchet current has the response to three different light polarizations: linearly polarized light, circularly polarized light, and unpolarized light.


title: Charge carrier inversion in a doped thin film organic semiconductor island

abstract: Inducing an inversion layer in organic semiconductors is a highly nontrivial, but critical, achievement for producing organic field-effect transistor (OFET) devices, which rely on the generation of inversion, accumulation, and depletion regimes for successful operation. In recent years, a major milestone was reached: an OFET was made to successfully operate in the inversion-mode for the first time. Here, we develop a pulsed bias technique to characterize the dopant type of any organic material system, without prior knowledge or characterization of the material in question. We use this technique on a pentacene/PTCDI heterostructure and thus deduce that pentacene is n-doped by impurities. Additionally, through tip-induced band-bending, we generate inversion, depletion, and accumulation regimes over a 20~nm radius, three monolayer thick n-doped pentacene island. Our findings demonstrate that nanometer-scale lateral extent and thickness are sufficient for an OFET device to operate in the inversion regime.


title: Energy Conditions in $f(Q)$ gravity

abstract: A complete theory of gravity impels us to go beyond Einstein's General Relativity. One promising approach lies in a new class of teleparallel theory of gravity named $f(Q)$, where the nonmetricity $Q$ is responsible for the gravitational interaction. The important roles any of these alternative theories should obey are the energy condition constraints. Such constraints establish the compatibility of a given theory with the causal and geodesic structure of space-time. In this work, we present a complete test of energy conditions for $f(Q)$ gravity models. The energy conditions allowed us to fix our free parameters, restricting the families of $f(Q)$ models compatible with the accelerated expansion our Universe passes through. Our results straight the viability of $f(Q)$ theory, leading us close to the dawn of a complete theory for gravitation.


title: LXPER Index: a curriculum-specific text readability assessment model for EFL students in Korea

abstract: Automatic readability assessment is one of the most important applications of Natural Language Processing (NLP) in education. Since automatic readability assessment allows the fast selection of appropriate reading material for readers at all levels of proficiency, it can be particularly useful for the English education of English as Foreign Language (EFL) students around the world. Most readability assessment models are developed for the native readers of English and have low accuracy for texts in the non-native English Language Training (ELT) curriculum. We introduce LXPER Index, which is a readability assessment model for non-native EFL readers in the ELT curriculum of Korea. Our experiments show that our new model, trained with CoKEC-text (Text Corpus of the Korean ELT Curriculum), significantly improves the accuracy of automatic readability assessment for texts in the Korean ELT curriculum.


title: The Bones of Sophus Lie

abstract: The gauge covariant derivative of a wave function is ubiquitous in gauge theory, and with associated gauge transformations it defines charged currents interacting with external fields, such as the Lorentz force exerted by an electromagnetic field. It is the gauge covariant derivative which defines how an external field acts upon the wave function. This paper constructs the gauge covariant derivative, then uses the elegant framework of Lagrangian mechanics to derive two ``divergence equations'' from a general Lagrangian, one applying to the charged current, the other to energy-momentum. The student will appreciate the construction of the gauge covariant derivative of a classical wave function using only matrices, linear transformations, external fields, and partial derivatives. More unusual is using the principle of covariance, rather than group theory as guidance in the construction, but with exactly the same result. Advantage is taken of the close analogy with coordinate covariance of tensors. The details of deriving these two divergences provides motivation and a path to understanding the gauge covariant derivative, the underlying non-abelian Lie algebra, its application to building Lagrangians, and the resulting definitions of charged current and energy-momentum. All results are generalized to curved space-time.


title: On the Generalizability of Neural Program Models with respect to Semantic-Preserving Program Transformations

abstract: With the prevalence of publicly available source code repositories to train deep neural network models, neural program models can do well in source code analysis tasks such as predicting method names in given programs that cannot be easily done by traditional program analysis techniques. Although such neural program models have been tested on various existing datasets, the extent to which they generalize to unforeseen source code is largely unknown. Since it is very challenging to test neural program models on all unforeseen programs, in this paper, we propose to evaluate the generalizability of neural program models with respect to semantic-preserving transformations: a generalizable neural program model should perform equally well on programs that are of the same semantics but of different lexical appearances and syntactical structures. We compare the results of various neural program models for the method name prediction task on programs before and after automated semantic-preserving transformations. We use three Java datasets of different sizes and three state-of-the-art neural network models for code, namely code2vec, code2seq, and GGNN, to build nine such neural program models for evaluation. Our results show that even with small semantically preserving changes to the programs, these neural program models often fail to generalize their performance. Our results also suggest that neural program models based on data and control dependencies in programs generalize better than neural program models based only on abstract syntax trees. On the positive side, we observe that as the size of the training dataset grows and diversifies the generalizability of correct predictions produced by the neural program models can be improved too. Our results on the generalizability of neural program models provide insights to measure their limitations and provide a stepping stone for their improvement.


title: Multi-Slice Fusion for Sparse-View and Limited-Angle 4D CT Reconstruction

abstract: Inverse problems spanning four or more dimensions such as space, time and other independent parameters have become increasingly important. State-of-the-art 4D reconstruction methods use model based iterative reconstruction (MBIR), but depend critically on the quality of the prior modeling. Recently, plug-and-play (PnP) methods have been shown to be an effective way to incorporate advanced prior models using state-of-the-art denoising algorithms. However, state-of-the-art denoisers such as BM4D and deep convolutional neural networks (CNNs) are primarily available for 2D or 3D images and extending them to higher dimensions is difficult due to algorithmic complexity and the increased difficulty of effective training. In this paper, we present multi-slice fusion, a novel algorithm for 4D reconstruction, based on the fusion of multiple low-dimensional denoisers. Our approach uses multi-agent consensus equilibrium (MACE), an extension of plug-and-play, as a framework for integrating the multiple lower-dimensional models. We apply our method to 4D cone-beam X-ray CT reconstruction for non destructive evaluation (NDE) of samples that are dynamically moving during acquisition. We implement multi-slice fusion on distributed, heterogeneous clusters in order to reconstruct large 4D volumes in reasonable time and demonstrate the inherent parallelizable nature of the algorithm. We present simulated and real experimental results on sparse-view and limited-angle CT data to demonstrate that multi-slice fusion can substantially improve the quality of reconstructions relative to traditional methods, while also being practical to implement and train.


title: Sparticle Spectroscopy and Dark Matter in a $U(1)_{B-L}$ extension of MSSM

abstract: We consider a class of SUSY models in which the MSSM gauge group is supplemented with a gauged $U(1)_{B-L}$ symmetry and a global $U(1)_{R}$ symmetry. This extension introduces only electrically neutral states, and the new SUSY partners effectively double the number of states in the neutralino sector that now includes a blino (from $B-L$) and singlino from a gauge singlet superfield. If the DM density is saturated by a LSP neutralino, the model yields quite a rich phenomenology depending on the DM composition. The LSP relic density constraint provides a lower bound on the stop and gluino masses of about 3 TeV and 4 TeV respectively, which is testable in the near future collider experiments such as HL-LHC. The chargino mass lies between 0.24 TeV and about 2.0 TeV, which can be tested based on the allowed decay channels. We also find $m_{\tilde{\tau}_{1}}\gtrsim 500$ GeV, and $m_{\tilde{e}},m_{\tilde{\mu}},m_{\tilde{\nu}^{S,P}} \gtrsim 1$ TeV. We identify chargino-neutralino coannihilation processes in the mass region $0.24 \,{\rm TeV} \lesssim m_{\tilde{\chi}_{1}^{0}}\approx m_{\tilde{\chi}_{1}^{\pm}}\lesssim 1.5$ TeV, and also coannihilation processes involving stau, selectron, smuon and sneutrinos for masses around 1 TeV. In addition, $A_{2}$ resonance solutions are found around 1 TeV, and $H_{2}$ and $H_{3}$ resonance solutions are also shown around 0.5 TeV and 1 TeV . Some of the $A_{2}$ resonance solutions with $\tan\beta \gtrsim 20$ may be tested by the $A/H\rightarrow \tau^{+}\tau^{-}$ LHC searches. While the relic density constraint excludes the bino-like DM, it is still possible to realize higgsino, singlino and blino-like DM for various mass scales. We show that all these solutions will be tested in future direct detection experiments such as LUX-Zeplin and Xenon-nT.


title: Doubly-hidden scalar heavy molecules and tetraquarks states from QCD at NLO

abstract: Alerted by the recent LHCb discovery of exotic hadrons in the range (6.2 -- 6.9) GeV, we present new results for the doubly-hidden scalar heavy $(\bar QQ) (Q\bar Q)$ charm and beauty molecules using the inverse Laplace transform sum rule (LSR) within stability criteria and including the Next-to-Leading Order (NLO) factorized perturbative and $\langle G^3\rangle$ gluon condensate corrections. We also critically revisit and improve existing Lowest Order (LO) QCD spectral sum rules (QSSR) estimates of the $({ \bar Q \bar Q})(QQ)$ tetraquarks analogous states. In the example of the anti-scalar-scalar molecule, we separate explicitly the contributions of the factorized and non-factorized contributions to LO of perturbative QCD and to the $\langle\alpha_sG^2\rangle$ gluon condensate contributions in order to disprove some criticisms on the (mis)uses of the sum rules for four-quark currents. We also re-emphasize the importance to include PT radiative corrections for heavy quark sum rules in order to justify the (ad hoc) definition and value of the heavy quark mass used frequently at LO in the literature. Our LSR results for tetraquark masses summarized in Table II are compared with the ones from ratio of moments (MOM) at NLO and results from LSR and ratios of MOM at LO (Table IV). The LHCb broad structure around (6.2 --6.7) GeV can be described by the $\overline{\eta}_{c}{\eta}_{c}$, $\overline{J/\psi}{J/\psi}$ and $\overline{\chi}_{c1}{\chi}_{c1}$ molecules or/and their analogue tetraquark scalar-scalar, axial-axial and vector-vector lowest mass ground states. The peak at (6.8--6.9) GeV can be likely due to a $\overline{\chi}_{c0}{\chi}_{c0}$ molecule or/and a pseudoscalar-pseudoscalar tetraquark state. Similar analysis is done for the scalar beauty states whose masses are found to be above the $\overline\eta_b\eta_b$ and $\overline\Upsilon(1S)\Upsilon(1S)$ thresholds.


title: Integrated optically pumped magnetometer for measurements within Earth's magnetic field

abstract: We present a portable optically pumped magnetometer instrument for ultra-sensitive measurements within the Earth's magnetic field. The central part of the system is a sensor head operating a MEMS-based Cs vapor cell in the light-shift dispersed Mz mode. It is connected to a compact, battery-driven electronics module by a flexible cable. We briefly review the working principles of the device and detail on the realization of both, sensor head and electronics. We show shielded and unshielded measurements within a static magnetic field amplitude of 50 uT demonstrating a noise level of the sensor system down to 140 fT/\sqrt{Hz} and a sensor bandwidth of several 100 Hz. In a detailed analysis of sensor noise we reveal the system to be limited by technical sources with straightforward strategies for further improvement towards its fundamental noise limit of 12 fT/\sqrt{Hz}. We assess the parameters defining the sensor bandwidth by theoretical modeling based on the Bloch equations. Finally, we compare our sensors' performance to a commercial SQUID system in a measurement environment typical for geomagnetic observatory practice and geomagnetic prospection.


title: IntelligentPooling: Practical Thompson Sampling for mHealth

abstract: In mobile health (mHealth) smart devices deliver behavioral treatments repeatedly over time to a user with the goal of helping the user adopt and maintain healthy behaviors. Reinforcement learning appears ideal for learning how to optimally make these sequential treatment decisions. However, significant challenges must be overcome before reinforcement learning can be effectively deployed in a mobile healthcare setting. In this work we are concerned with the following challenges: 1) individuals who are in the same context can exhibit differential response to treatments 2) only a limited amount of data is available for learning on any one individual, and 3) non-stationary responses to treatment. To address these challenges we generalize Thompson-Sampling bandit algorithms to develop IntelligentPooling. IntelligentPooling learns personalized treatment policies thus addressing challenge one. To address the second challenge, IntelligentPooling updates each user's degree of personalization while making use of available data on other users to speed up learning. Lastly, IntelligentPooling allows responsivity to vary as a function of a user's time since beginning treatment, thus addressing challenge three. We show that IntelligentPooling achieves an average of 26% lower regret than state-of-the-art. We demonstrate the promise of this approach and its ability to learn from even a small group of users in a live clinical trial.


title: Model Reduction of Shallow CNN Model for Reliable Deployment of Information Extraction from Medical Reports

abstract: Shallow Convolution Neural Network (CNN) is a time-tested tool for the information extraction from cancer pathology reports. Shallow CNN performs competitively on this task to other deep learning models including BERT, which holds the state-of-the-art for many NLP tasks. The main insight behind this eccentric phenomenon is that the information extraction from cancer pathology reports require only a small number of domain-specific text segments to perform the task, thus making the most of the texts and contexts excessive for the task. Shallow CNN model is well-suited to identify these key short text segments from the labeled training set; however, the identified text segments remain obscure to humans. In this study, we fill this gap by developing a model reduction tool to make a reliable connection between CNN filters and relevant text segments by discarding the spurious connections. We reduce the complexity of shallow CNN representation by approximating it with a linear transformation of n-gram presence representation with a non-negativity and sparsity prior on the transformation weights to obtain an interpretable model. Our approach bridge the gap between the conventionally perceived trade-off boundary between accuracy on the one side and explainability on the other by model reduction.


title: Top-k Connected Overlapping Densest Subgraphs in Dual Networks

abstract: Networks are largely used for modelling and analysing data and relations among them. Recently, it has been shown that the use of a single network may not be the optimal choice, since a single network may misses some aspects. Consequently, it has been proposed to use a pair of networks to better model all the aspects, and the main approach is referred to as dual networks (DNs). DNs are two related graphs (one weighted, the other unweighted) that share the same set of vertices and two different edge sets. In DNs is often interesting to extract common subgraphs among the two networks that are maximally dense in the conceptual network and connected in the physical one. The simplest instance of this problem is finding a common densest connected subgraph (DCS), while we here focus on the detection of the Top-k Densest Connected subgraphs, i.e. a set k subgraphs having the largest density in the conceptual network which are also connected in the physical network. We formalise the problem and then we propose a heuristic to find a solution, since the problem is computationally hard. A set of experiments on synthetic and real networks is also presented to support our approach.


title: Revisiting Robust Model Fitting Using Truncated Loss

abstract: Robust fitting is a fundamental problem in low-level vision, which is typically achieved by maximum consensus (MC) estimators to identify inliers first or by M-estimators directly. While these two methods are discriminately preferred in different applications, truncated loss based M-estimators are similar to MC as they can also identify inliers. This work revisits a formulation that achieves simultaneous inlier identification and model estimation (SIME) using truncated loss. It has a generalized form adapts to both linear and nonlinear residual models. We show that as SIME takes fitting residual into account in finding inliers, its lowest achievable residual in model fitting is lower than that of MC robust fitting. Then, an alternating minimization (AM) algorithm is employed to solve the SIME formulation. Meanwhile, a semidefinite relaxation (SDR) embedded AM algorithm is developed in order to ease the high nonconvexity of the SIME formulation. Furthermore, the new algorithms are applied to various 2D/3D registration problems. Experimental results show that the new algorithms significantly outperform RANSAC and deterministic approximate MC methods at high outlier ratios. Besides, in rotation and Euclidean registration problems, the new algorithms also compare favorably with state-of-the-art registration methods, especially in high noise and outliers. Code is available at \textit{https://github.com/FWen/mcme.git}.


title: Approaching the Tsirelson bound with a Sagnac source of polarization-entangled photons

abstract: High-fidelity polarization-entangled photons are a powerful resource for quantum communication, distributing entanglement and quantum teleportation. The Bell-CHSH inequality $S\leq2$ is violated by bipartite entanglement and only maximally entangled states can achieve $S=2\sqrt{2}$, the Tsirelson bound. Spontaneous parametric down-conversion sources can produce entangled photons with correlations close to the Tsirelson bound. Sagnac configurations offer intrinsic stability, compact footprint and high collection efficiency, however, there is often a trade off between source brightness and entanglement visibility. Here, we present a Sagnac polarization-entangled source with $2\sqrt{2}-S=(5.65\pm0.57)\times10^{-3}$, on-par with the highest values recorded, while generating and detecting $(4660\pm70)$ pairs/s/mW, which is a substantially higher brightness than previously reported for Sagnac sources and around two orders of magnitude brighter than for traditional cone sources with the highest $S$ parameter. Our source records $0.9953\pm0.0003$ concurrence and $0.99743\pm0.00014$ fidelity to an ideal Bell state. By studying systematic errors in Sagnac sources, we identify that the precision of the collection focal point inside the crystal plays the largest role in reducing the $S$ parameter in our experiment. We provide a pathway that could enable the highest $S$ parameter recorded with a Sagnac source to-date while maintaining very high brightness.


title: Open-Edit: Open-Domain Image Manipulation with Open-Vocabulary Instructions

abstract: We propose a novel algorithm, named Open-Edit, which is the first attempt on open-domain image manipulation with open-vocabulary instructions. It is a challenging task considering the large variation of image domains and the lack of training supervision. Our approach takes advantage of the unified visual-semantic embedding space pretrained on a general image-caption dataset, and manipulates the embedded visual features by applying text-guided vector arithmetic on the image feature maps. A structure-preserving image decoder then generates the manipulated images from the manipulated feature maps. We further propose an on-the-fly sample-specific optimization approach with cycle-consistency constraints to regularize the manipulated images and force them to preserve details of the source images. Our approach shows promising results in manipulating open-vocabulary color, texture, and high-level attributes for various scenarios of open-domain images.


title: Tunable Graphene Split-Ring Resonators

abstract: A split-ring resonator is a prototype of meta-atom in metamaterials. Though noble metal-based split-ring resonators have been extensively studied, up to date, there is no experimental demonstration of split-ring resonators made from graphene, an emerging intriguing plasmonic material. Here, we experimentally demonstrate graphene split-ring resonators with deep subwavelength (about one hundredth of the excitation wavelength) magnetic dipole response in the terahertz regime. Meanwhile, the quadrupole and electric dipole are observed,depending on the incident light polarization. All modes can be tuned via chemical doping or stacking multiple graphene layers. The strong interaction with surface polar phonons of the SiO2 substrate also significantly modifies the response. Finite-element frequency domain simulations nicely reproduce experimental results. Our study moves one stride forward toward the multi-functional graphene metamaterials, beyond simple graphene ribbon or disk arrays with electrical dipole resonances only.


title: Automatic Dataset Builder for Machine Learning Applications to Satellite Imagery

abstract: Nowadays the use of Machine Learning (ML) algorithms is spreading in the field of Remote Sensing, with applications ranging from detection and classification of land use and monitoring to the prediction of many natural or anthropic phenomena of interest. One main limit of their employment is related to the need for a huge amount of data for training the neural network, chosen for the specific application, and the resulting computational weight and time required to collect the necessary data. In this letter the architecture of an innovative tool, enabling researchers to create in an automatic way suitable datasets for AI (Artificial Intelligence) applications in the EO (Earth Observation) context, is presented. Two versions of the architecture have been implemented and made available on Git-Hub, with a specific Graphical User Interface (GUI) for non-expert users.


title: Muon identification for LHCb Run 3

abstract: Muon identification is of paramount importance for the physics programme of LHCb. In the upgrade phase, starting from Run 3 of the LHC, the trigger of the experiment will be solely based on software. The luminosity increase to $2\times10^{33}$ cm$^{-2}$s$^{-1}$ will require an improvement of the muon identification criteria, aiming at performances equal or better than those of Run 2, but in a much more challenging environment. In this paper, two new muon identification algorithms developed in view of the LHCb upgrade are presented, and their performance in terms of signal efficiency versus background reduction is shown.


title: Processing quantum signals carried by electrical currents

abstract: Recent developments in the coherent manipulation of electrons in ballistic conductors include the generation of time-periodic electrical currents involving one to few electronic excitations per period. However, using individual electrons as carrier of quantum information for flying qubit computation or quantum metrology applications calls for a general method to unravel the single-particle excitations embedded in a quantum electrical current and how quantum information is encoded within it. Here, we propose a general signal processing algorithm to extract the elementary single-particle states, called electronic atoms of signal, present in any periodic quantum electrical current. These excitations and their mutual quantum coherence describe the excess single-electron coherence in the same way musical notes and score describe a sound signal emitted by a music instrument. This method, which is the first step towards the development of signal processing of quantum electrical currents is illustrated by assessing the quality of experimentally relevant single electron sources. The example of randomized quantum electrical currents obtained by regularly clocked but randomly injected unit charge Lorentzian voltage pulses enables us to discuss how interplay of the coherence of the applied voltage and of the Pauli principle alter the quantum coherence between the emitted single particle excitations.


title: Non-uniform packings

abstract: We generalize the classical notion of packing a set by balls with identical radii to the case where the radii may be different. The largest number of such balls that fit inside the set without overlapping is called its {\em non-uniform packing number}. We show that the non-uniform packing number can be upper-bounded in terms of the {\em average} radius of the balls, resulting in bounds of the familiar classical form.


title: Towards mitigation of apparent tension between nuclear physics and astrophysical observations by improved modeling of neutron star matter

abstract: Observations of neutron stars (NSs) by the LIGO-Virgo and NICER collaborations have provided reasonably precise measurements of their various macroscopic properties. In this paper, we employ a Bayesian framework to combine them and place improved joint constraints on the properties of NS equation of state (EoS). We use a hybrid EoS formulation that employs a parabolic expansion-based nuclear empirical parameterization around the nuclear saturation density augmented by a generic 3-segment piecewise polytrope model at higher densities. Within the $90 \%$ credible level this parameterization predicts $R_{1.4} = 12.57_{-0.92}^{+0.73}$ km and $\Lambda_{1.4} = 550_{-225}^{+223}$ for the radius and dimensionless tidal deformability, respectively, of a $1.4 M_{\odot}$ NS. Finally, we show how the construction of the full NS EoS based solely on the nuclear empirical parameters at saturation density leads to certain tension with the astrophysical data, and how the hybrid approach provides a resolution to it.


title: Stability and consistent interactions in Podolsky's generalized electrodynamics

abstract: We confirm the stability of Podolsky's generalized electrodynamics by constructing a series of two-parametric bounded conserved quantities which includes the canonical energy-momentum tensors. In addition, we evaluate the transition-amplitude of this higher derivative system in BV antifield formalism and obtain the desirable generalized radiation gauge condition by choosing appropriate gauge-fixing fermion. Within the framework of Lagrangian BRST cohomology, we present the constructions of consistent interactions in Podolsky's model and when concentrating on the antighost number zero part of the master action after deformation process, we get the non-Abelian extensions of the Podolsky's theory. Furthermore, we calculate the number of physical degrees of freedom in the resulting higher derivative system utilizing Dirac-Bergmann algorithm method and show that it is unchanged if the consistent interactions are included into the free theory.


title: Evaluating the performance of the LIME and Grad-CAM explanation methods on a LEGO multi-label image classification task

abstract: In this paper, we run two methods of explanation, namely LIME and Grad-CAM, on a convolutional neural network trained to label images with the LEGO bricks that are visible in them. We evaluate them on two criteria, the improvement of the network's core performance and the trust they are able to generate for users of the system. We find that in general, Grad-CAM seems to outperform LIME on this specific task: it yields more detailed insight from the point of view of core performance and 80\% of respondents asked to choose between them when it comes to the trust they inspire in the model choose Grad-CAM. However, we also posit that it is more useful to employ these two methods together, as the insights they yield are complementary.


title: Dark Web Marketplaces and COVID-19: before the vaccine

abstract: The COVID-19 pandemic has reshaped the demand for goods and services worldwide. The combination of a public health emergency, economic distress, and misinformation-driven panic have pushed customers and vendors towards the shadow economy. In particular, dark web marketplaces (DWMs), commercial websites accessible via free software, have gained significant popularity. Here, we analyse 851,199 listings extracted from 30 DWMs between January 1, 2020 and November 16, 2020. We identify 788 listings directly related to COVID-19 products and monitor the temporal evolution of product categories including Personal Protective Equipment (PPE), medicines (e.g., hydroxyclorochine), and medical frauds. Finally, we compare trends in their temporal evolution with variations in public attention, as measured by Twitter posts and Wikipedia page visits. We reveal how the online shadow economy has evolved during the COVID-19 pandemic and highlight the importance of a continuous monitoring of DWMs, especially now that real vaccines are available and in short supply. We anticipate our analysis will be of interest both to researchers and public agencies focused on the protection of public health.


title: Performance Evaluation of OTFS Over Measured V2V Channels at 60 GHz

abstract: This paper presents an analysis of the Orthogonal Time Frequency Space (OTFS) modulation scheme when applied to realistic vehicular channel situations. OTFS modulates symbols in delay-Doppler domain, hoping to exploit diversity in both. The penalty for doing this is the requirement of complex interference cancellation equalizers, as this domain incurs a strong amount of intercarrier and intersymbol interference. We conduct this analysis using measured millimeter wave vehicular channels, and we assume typical physical layer settings for a performance analysis. Our results show that there is a challenging trade-off between channel conditions that are easy to equalize and channel conditions that allow OFTS to exploit the two-dimensional diversity. In the first case we observe a good overall performance that is barely enhanced by employing OTFS. In the second case performance gain through OTFS is visible, yet with a bad overall performance.


title: $n+1$-dimensional Bertotti-Robinson solutions in gravity coupled with nonlinear electrodynamics

abstract: We consider the pure electric type power-law Lagrangian in nonlinear electrodynamics theory of dimensions $n+1$. Conformally flat form of Bertotti-Robinson type spacetimes are obtained in all these dimensions with the specific power $s=-\frac{1}{n-4},$which naturally excludes $n=4.$ This particular dimension is considered separately which is not of power-law form.


title: Colliding waves in a model of nonlinear electrodynamics

abstract: Bell-Szekeres (BS) solution for colliding electromagnetic waves in Einstein-Maxwell (EM) theory describes also colliding waves in nonlinear electrodynamics (NED) with an emergent cosmological constant. Our NED model covers the first leading orders to the well-known Heisenberg-Euler (HE) type in a particular gauge of pure magnetic field. Prior to the problem of collision we obtain dyonic solution for the considered NED theory in a conformally flat spacetime which has both electric and magnetic fields with constant invariants. Our sole finding is that null currents inevitably arise in the process of collision of plane waves in the HE type NED theory.


title: Shape Consistent 2D Keypoint Estimation under Domain Shift

abstract: Recent unsupervised domain adaptation methods based on deep architectures have shown remarkable performance not only in traditional classification tasks but also in more complex problems involving structured predictions (e.g. semantic segmentation, depth estimation). Following this trend, in this paper we present a novel deep adaptation framework for estimating keypoints under domain shift}, i.e. when the training (source) and the test (target) images significantly differ in terms of visual appearance. Our method seamlessly combines three different components: feature alignment, adversarial training and self-supervision. Specifically, our deep architecture leverages from domain-specific distribution alignment layers to perform target adaptation at the feature level. Furthermore, a novel loss is proposed which combines an adversarial term for ensuring aligned predictions in the output space and a geometric consistency term which guarantees coherent predictions between a target sample and its perturbed version. Our extensive experimental evaluation conducted on three publicly available benchmarks shows that our approach outperforms state-of-the-art domain adaptation methods in the 2D keypoint prediction task.


title: List $k$-Colouring $P_t$-Free Graphs: a Mim-width Perspective

abstract: A colouring of a graph $G=(V,E)$ is a mapping $c\colon V\to \{1,2,\ldots\}$ such that $c(u)\neq c(v)$ for every two adjacent vertices $u$ and $v$ of $G$. The {\sc List $k$-Colouring} problem is to decide whether a graph $G=(V,E)$ with a list $L(u)\subseteq \{1,\ldots,k\}$ for each $u\in V$ has a colouring $c$ such that $c(u)\in L(u)$ for every $u\in V$. Let $P_t$ be the path on $t$ vertices and let $K_{1,s}^1$ be the graph obtained from the $(s+1)$-vertex star $K_{1,s}$ by subdividing each of its edges exactly once.Recently, Chudnovsky, Spirkl and Zhong (DM 2020) proved that List $3$-Colouring is polynomial-time solvable for $(K_{1,s}^1,P_t)$-free graphs for every $t\geq 1$ and $s\geq 1$. We generalize their result to List $k$-Colouring for every $k\geq 1$. Our result also generalizes the known result that for every $k\geq 1$ and $s\geq 0$, List $k$-Colouring is polynomial-time solvable for $(sP_1+P_5)$-free graphs, which was proven for $s=0$ by Ho\`ang, Kami\'nski, Lozin, Sawada, and Shu (Algorithmica 2010) and for every $s\geq 1$ by Couturier, Golovach, Kratsch and Paulusma (Algorithmica 2015). We show our result by proving boundedness of an underlying width parameter. Namely, we show that for every $k\geq 1$, $s\geq 1$, $t\geq 1$, the class of $(K_k,K_{1,s}^1,P_t)$-free graphs has bounded mim-width and that a corresponding branch decomposition is "quickly computable" for these graphs.


title: Canonical and DLPNO-based composite wavefunction methods parametrized against large and chemically diverse training sets. 2. Correlation consistent basis sets, core-valence correlation, and F12 alternatives

abstract: A hierarchy of wavefunction composite methods (cWFT), based on G4- type cWFT methods available for elements H through Rn, was recently reported by Semidalas and Martin [J. Chem. Theor. Comput. 2020, 16, 4238]. We extend this hierarchy by considering the inner-shell correlation energy in the second-order Moller-Plesset correction and replacing the Weigend-Ahlrichs def2-mZVPP(D) basis sets used in the aforementioned paper with complete basis set extrapolation from augmented correlation consistent core-valence triple-zeta, aug-cc-pwCVTZ(-PP), and quadruple-zeta, aug-cc-pwCVQZ(-PP), basis sets, thus creating cc-G4- type methods. For the large and chemically diverse GMTKN55 benchmark suite, they represent a substantial further improvement and bring WTMAD2 (weighted mean absolute deviation) down below 1 kcal/mol. Intriguingly, the lion's share of the improvement comes from better capture of valence correlation; the inclusion of core-valence correlation is almost an order of magnitude less important. These robust correlation consistent cWFT methods approach the CCSD(T) complete basis limit with just one or a few fitted parameters. Particularly the DLPNO variants such as cc-G4-T-DLPNO are applicable to fairly large molecules at modest computational cost, as is (for a reduced range of elements) a different variant using MP2-F12/cc-pVTZ-F12 for the MP2 component.


title: A functional limit theorem for moving averages with weakly dependent heavy-tailed innovations

abstract: Recently a functional limit theorem for sums of moving averages with random coefficients and i.i.d. heavy tailed innovations has been obtained under the assumption that all partial sums of the series of coefficients are a.s. bounded between zero and the sum of the series. The convergence takes place in the space $D[0,1]$ of c\`{a}dl\`{a}g functions with the Skorohod $M_{2}$ topology. In this article we extend this result to the case when the innovations are weakly dependent in the sense of strong mixing and local dependence condition $D'$.


title: Learning Transition Models with Time-delayed Causal Relations

abstract: This paper introduces an algorithm for discovering implicit and delayed causal relations between events observed by a robot at arbitrary times, with the objective of improving data-efficiency and interpretability of model-based reinforcement learning (RL) techniques. The proposed algorithm initially predicts observations with the Markov assumption, and incrementally introduces new hidden variables to explain and reduce the stochasticity of the observations. The hidden variables are memory units that keep track of pertinent past events. Such events are systematically identified by their information gains. The learned transition and reward models are then used for planning. Experiments on simulated and real robotic tasks show that this method significantly improves over current RL techniques.


title: An Imitation from Observation Approach to Transfer Learning with Dynamics Mismatch

abstract: We examine the problem of transferring a policy learned in a source environment to a target environment with different dynamics, particularly in the case where it is critical to reduce the amount of interaction with the target environment during learning. This problem is particularly important in sim-to-real transfer because simulators inevitably model real-world dynamics imperfectly. In this paper, we show that one existing solution to this transfer problem - grounded action transformation - is closely related to the problem of imitation from observation (IfO): learning behaviors that mimic the observations of behavior demonstrations. After establishing this relationship, we hypothesize that recent state-of-the-art approaches from the IfO literature can be effectively repurposed for grounded transfer learning.To validate our hypothesis we derive a new algorithm - generative adversarial reinforced action transformation (GARAT) - based on adversarial imitation from observation techniques. We run experiments in several domains with mismatched dynamics, and find that agents trained with GARAT achieve higher returns in the target environment compared to existing black-box transfer methods


title: An astrometric planetary companion candidate to the M9 Dwarf TVLM 513-46546

abstract: Astrometric observations of the M9 dwarf TVLM 513$-$46546 taken with the VLBA reveal an astrometric signature consistent with a period of 221 $\pm$ 5 days. The orbital fit implies that the companion has a mass m$_{p}$ = 0.35$-$0.42 $M_{J}$, a circular orbit ($e \simeq 0$), a semi-major axis a = 0.28$-$0.31 AU and an inclination angle i = 71$-$88$^\circ$. The detected companion, TVLM~513$b$, is one of the few giant-mass planets found associated to UCDs. The presence of a Saturn-like planet on a circular orbit, 0.3 AU from a 0.06$-$0.08 $M_\odot$ star, represents a challenge to planet formation theory. This is the first astrometric detection of a planet at radio wavelengths.


title: Uniqueness and superposition of the space-distribution dependent Zakai equations

abstract: The work concerns the space-distribution dependent Zakai equations from nonlinear filtering problems of McKean-Vlasov stochastic differential equations with correlated noises. First of all, we establish the space-distribution dependent Kushner-Stratonovich equations and the space-distribution dependent Zakai equations. Then, the pathwise uniqueness of their strong solutions is shown. Finally, we prove a superposition principle between the space-distribution dependent Zakai equations and space-distribution dependent Fokker-Planck equations. As a by-product, we give some conditions under which space-distribution dependent Fokker-Planck equations have weak solutions.


title: On the use of graph theory to interpret the output results from a Monte-Carlo depletion code

abstract: The analysis of the results of a depletion code is often considered a tedious and delicate task for it requires both the processing of large volume of information (the time dependent composition of up to thousands isomeric states) and an extensive experience of nuclear reactions and associated nuclear data. From these observations, dedicated developments have been integrated to the upcoming version of the Monte Carlo depletion code VESTA 2.2, in order to implement an innovative representation of depletion problems. The aim is to provide user with an adapted and efficient framework to ease the analysis of the results of the code and facilitate their interpretation. This effort ultimately culminated in the development of the representation of the isotope evolution of a given system as a directed graph. In this paper, it is shown that the Bateman equation encoded in the VESTA code indeed possesses a natural interpretation in terms of directed cyclic graph and it is proposed to explore some of the insight one can gain from the graph representation of a depletion problem. Starting from the new capabilities of the code, it is shown how one can build on the wealth of existing methods of graph theory in order to gain useful information about the nuclear reactions taking place in a material under irradiation. The graph representation of a depletion problem being especially simple in activation problems, for then only a limited number of nuclides and reactions are involved, the graph representation and its associated tools will be used to study the evolution of the structure materials of a simplifed model of the ITER fusion reactor.


title: Balayage of Measures on the Complex Plane with respect to Harmonic Polynomials and Logarithmic Kernels

abstract: Balayage of measures with respect to classes of all subharmonic or harmonic functions on an open set of a plane or finite-dimensional Euclidean space is one of the main objects of potential theory and its applications to the complex analysis. For a class $H$ of functions on $O$, a measure $\omega$ on $O$ is a balayage of a measure $\delta$ on $O$ with respect to this class $H$ if $\int_O h\, d \delta\leq \int_O h\, d\omega$ for each $h\in H$. In our previous works we used this concept to study envelopes relative to classes of subharmonic and harmonic functions and apply them to describe zero sets of holomorphic functions on $O$ with growth restrictions near the boundary of $O$. In this article, we consider the complex plane $\mathbb C$ as $O$, and instead of the classes of all (sub)harmonic functions on $\mathbb C$, we use only the classes of harmonic polynomials of degree at most $p$, often together with the logarithmic functions-kernels $z\mapsto \ln |w-z|$, $w\in \mathbb C$. Our research has show that this case has both many similarities and features compared to previous situations. The following issues are considered: the sensitivity of balayage of measures to polar sets; the duality between balayage of measures and their logarithmic potentials, together with a complete internal description of such potentials; extension/prolongation of balayage with respect to polynomials and logarithmic kernels to balayage with respect to subharmonic functions of finite order $p$. The planned applications of these results to the theory of entire and meromorphic functions of finite order are not discussed here and will be presented later.


title: Verifying genuine multipartite entanglement of the whole from its separable parts

abstract: We prove experimentally the predicted existence of a three-qubit quantum state with genuine multipartite entanglement which can be certified solely from its separable two-qubit reduced density matrices. The qubits are encoded into different degrees of freedom of a pair of correlated photons and the state is prepared by letting the photons to propagate through a linear optical circuit. The presence of genuine multipartite entanglement is verified by finding numerically a fully decomposable entanglement witness acting nontrivially only on the reductions of the global state. Our result confirms viability of detection of emerging global properties of composite quantum systems from their parts which lack the properties.


title: Factors involved in Cancer Screening Participation: Multilevel Mediation Model

abstract: In this paper, we identify the factors associated with cancer screening participation in Korea. We expand upon previous studies through a multilevel mediation model and a composite regional socioeconomic status index which combines education level and income level. Results of the model indicate that education level, nutritional education status and income level are significantly associated with cancer screening participation. With our findings in mind, we recommend health authorities to increase promotional health campaigns toward certain at-risk groups and expand the availability of nutrition education programs.


title: Asymptotic expansions of Kummer hypergeometric functions for large values of the parameters

abstract: We derive asymptotic expansions of the Kummer functions $M(a,b,z)$ and $U(a,b+1,z)$ for large positive values of $a$ and $b$, with $z$ fixed. For both functions we consider $b/a\le 1$ and $b/a\ge 1$, with special attention for the case $a\sim b$. We use a uniform method to handle all cases of these parameters.


title: Structural and Thermodynamic Properties of Hard-Sphere Fluids

abstract: This Perspective article provides an overview of some of our analytical approaches to the computation of the structural and thermodynamic properties of single-component and multicomponent hard-sphere fluids. For the structural properties, they yield a thermodynamically consistent formulation, thus improving and extending the known analytical results of the Percus--Yevick theory. Approximate expressions linking the equation of state of the single-component fluid to the one of the multicomponent mixture are also discussed.


title: Moduli relations between l-adic representations and the regular inverse Galois problem

abstract: There are two famous Abel Theorems. Most well-known is his description of abelian (analytic) functions on a one dimensional compact complex torus. The other collects together those complex tori, with their prime degree isogenies, into one space. Riemann's generalization of the first features his famous theta functions. His deepest work aimed at extending Abel's second theorem; he died before he fulfilled this. That extension is often pictured on complex higher dimension torii. For Riemann, though, it was to spaces of Jacobians of compact Riemann surfaces, W, of genus g, toward studying functions \phi: W -> P^1_z, on them. Data for such pairs (W,\phi) starts with a monodromy group, G, and conjugacy classes C in G. Many applications come from putting all such covers attached to (G,C) in natural -- Hurwitz -- families. We connect two such applications: The Regular Inverse Galois Problem (RIGP) and Serre's Open Image Theorem (OIT). We call the connecting device Modular Towers (MT s). Backdrop for the OIT and RIGP uses Serre's books Abelian l-adic representations and elliptic curves (1968) and Topics in Galois theory (1992). Serre's OIT example is the case where MT levels identify as modular curves. With an example that isn't modular curves, we explain conjectured MT properties -- generalizing a Theorem of Hilbert's -- that would conclude an OIT for all MTs. Solutions of pieces on both ends of these connections are known in significant cases.


title: Adaptive Physics-Informed Neural Networks for Markov-Chain Monte Carlo

abstract: In this paper, we propose the Adaptive Physics-Informed Neural Networks (APINNs) for accurate and efficient simulation-free Bayesian parameter estimation via Markov-Chain Monte Carlo (MCMC). We specifically focus on a class of parameter estimation problems for which computing the likelihood function requires solving a PDE. The proposed method consists of: (1) constructing an offline PINN-UQ model as an approximation to the forward model; and (2) refining this approximate model on the fly using samples generated from the MCMC sampler. The proposed APINN method constantly refines this approximate model on the fly and guarantees that the approximation error is always less than a user-defined residual error threshold. We numerically demonstrate the performance of the proposed APINN method in solving a parameter estimation problem for a system governed by the Poisson equation.

categories: cs.LG cs.NA math.NA physics.data-an stat.ML


title: Hitting times for Shamir's Problem

abstract: For fixed $r\geq 3$ and $n$ divisible by $r$, let ${\mathcal H}={\mathcal H}^r_{n,M}$ be the random $M$-edge $r$-graph on $V=\{1,\ldots ,n\}$; that is, ${\mathcal H}$ is chosen uniformly from the $M$-subsets of ${\mathcal K}:={V \choose r}$ ($:= \{\mbox{$r$-subsets of $V$}\}$). Shamir's Problem (circa 1980) asks, roughly, for what $M=M(n)$ is ${\mathcal H}$ likely to contain a perfect matching (that is, $n/r$ disjoint $r$-sets)? In 2008 Johansson, Vu and the author showed that this is true for $M>C_rn\log n$. More recently the author proved the asymptotically correct version of that result: for fixed $C> 1/r$ and $M> Cn\log n$, $P({\mathcal H} ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}.$ The present work completes a proof, begun in that recent paper, of the definitive "hitting time" statement: $\mbox{Theorem.}$ If $A_1, \ldots ~$ is a uniform permutation of ${\mathcal K}$, ${\mathcal H}_t=\{A_1\dots A_t\}$, and \[ T=\min\{t:A_1\cup \cdots\cup A_t=V\}, \] then $P({\mathcal H}_T ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}$.


title: On the four-arm exponent for 2D percolation at criticality

abstract: For two-dimensional percolation at criticality, we discuss the inequality $\alpha_4 > 1$ for the polychromatic four-arm exponent (and stronger versions, the strongest so far being $\alpha_4 \geq 1 + \frac{\alpha_2}{2}$, where $\alpha_2$ denotes the two-arm exponent). We first briefly discuss five proofs (some of them implicit and not self-contained) from the literature. Then we observe that, by combining two of them, one gets a completely self-contained (and yet quite short) proof.


title: Elliptic curves and Thompson's sporadic simple group

abstract: We characterize all infinite-dimensional graded virtual modules for Thompson's sporadic simple group, whose graded traces are weight 3/2 weakly holomorphic modular forms satisfying certain special properties. We then use these modules to detect the non-triviality of Mordell--Weil, Selmer, and Tate--Shafarevich groups of quadratic twists of certain elliptic curves.


title: A Distortion Matrix Framework for High-Resolution Passive Seismic 3-D Imaging: Application to the San Jacinto Fault Zone, California

abstract: Reflection seismic imaging usually suffers from a loss of resolution and contrast because of the fluctuations of the wave velocities in the Earth's crust. In the literature, phase distortion issues are generally circumvented by means of a background wave velocity model. However, it requires a prior tomography of the wave velocity distribution in the medium, which is often not possible, especially in depth. In this paper, a matrix approach of seismic imaging is developed to retrieve a three-dimensional image of the subsoil, despite a rough knowledge of the background wave velocity. To do so, passive noise cross-correlations between geophones of a seismic array are investigated under a matrix formalism. More precisely, the detrimental effect of wave velocity fluctuations on imaging is overcome by introducing a novel mathematical object: The distortion matrix. This operator essentially connects any virtual source inside the medium with the distortion that a wavefront, emitted from that point, experiences due to heterogeneities. A time reversal analysis of the distortion matrix enables the estimation of the transmission matrix that links each real geophone at the surface and each virtual geophone in depth. Phase distortions can then be compensated for any point of the underground. Applied to seismic data recorded along the Clark branch of the San Jacinto fault zone, the present method is shown to provide an image of the fault until a depth of 4 km with a transverse resolution of 80 m. Strikingly, this resolution is almost one eighth below the diffraction limit imposed by the geophone array aperture. The heterogeneities of the subsoil play the role of a scattering lens and of a transverse wave guide which increase drastically the array aperture.


title: Exploiting Game Theory for Analysing Justifications

abstract: Justification theory is a unifying semantic framework. While it has its roots in non-monotonic logics, it can be applied to various areas in computer science, especially in explainable reasoning; its most central concept is a justification: an explanation why a property holds (or does not hold) in a model. In this paper, we continue the study of justification theory by means of three major contributions. The first is studying the relation between justification theory and game theory. We show that justification frameworks can be seen as a special type of games. The established connection provides the theoretical foundations for our next two contributions. The second contribution is studying under which condition two different dialects of justification theory (graphs as explanations vs trees as explanations) coincide. The third contribution is establishing a precise criterion of when a semantics induced by justification theory yields consistent results. In the past proving that such semantics were consistent took cumbersome and elaborate proofs. We show that these criteria are indeed satisfied for all common semantics of logic programming. This paper is under consideration for acceptance in Theory and Practice of Logic Programming (TPLP).


title: Joints of varieties

abstract: We generalize the Guth--Katz joints theorem from lines to varieties. A special case says that $N$ planes (2-flats) in 6 dimensions (over any field) have $O(N^{3/2})$ joints, where a joint is a point contained in a triple of these planes not all lying in some hyperplane. More generally, we prove the same bound when the set of $N$ planes is replaced by a set of 2-dimensional algebraic varieties of total degree $N$, and a joint is a point that is regular for three varieties whose tangent planes at that point are not all contained in some hyperplane. Our most general result gives upper bounds, tight up to constant factors, for joints with multiplicities for several sets of varieties of arbitrary dimensions (known as Carbery's conjecture). Our main innovation is a new way to extend the polynomial method to higher dimensional objects, relating the degree of a polynomial and its orders of vanishing on a given set of points on a variety.


title: Machine Learning in Ethnobotany -- a first experiment

abstract: We describe new opportunities afforded by bring A.I to the field of ethnobotany. In particular we describe a novel approach to ethnobotany documentation that harnesses machine learning opportunities, specifically for the documentation of traditional ecological knowledge with mobile phones in emerging economies. Using a case study on the island of Bali as a departure point, the project maps out machine learning approaches to documentation and responds to technology and capital gradients between research contexts in the global north and south in an attempt to capture knowledge that might otherwise not be represented.


title: Linearly implicit GARK schemes

abstract: Systems driven by multiple physical processes are central to many areas of science and engineering. Time discretization of multiphysics systems is challenging, since different processes have different levels of stiffness and characteristic time scales. The multimethod approach discretizes each physical process with an appropriate numerical method; the methods are coupled appropriately such that the overall solution has the desired accuracy and stability properties. The authors developed the general-structure additive Runge-Kutta (GARK) framework, which constructs multimethods based on Runge-Kutta schemes. This paper constructs the new GARK-ROS/GARK-ROW families of multimethods based on linearly implicit Rosenbrock/Rosenbrock-W schemes. For ordinary differential equation models, we develop a general order condition theory for linearly implicit methods with any number of partitions, using exact or approximate Jacobians. We generalize the order condition theory to two-way partitioned index-1 differential-algebraic equations. Applications of the framework include decoupled linearly implicit, linearly implicit/explicit, and linearly implicit/implicit methods. Practical GARK-ROS and GARK-ROW schemes of order up to four are constructed.


title: Peer-inspired Student Performance Prediction in Interactive Online Question Pools with Graph Neural Network

abstract: Student performance prediction is critical to online education. It can benefit many downstream tasks on online learning platforms, such as estimating dropout rates, facilitating strategic intervention, and enabling adaptive online learning. Interactive online question pools provide students with interesting interactive questions to practice their knowledge in online education. However, little research has been done on student performance prediction in interactive online question pools. Existing work on student performance prediction targets at online learning platforms with predefined course curriculum and accurate knowledge labels like MOOC platforms, but they are not able to fully model knowledge evolution of students in interactive online question pools. In this paper, we propose a novel approach using Graph Neural Networks (GNNs) to achieve better student performance prediction in interactive online question pools. Specifically, we model the relationship between students and questions using student interactions to construct the student-interaction-question network and further present a new GNN model, called R^2GCN, which intrinsically works for the heterogeneous networks, to achieve generalizable student performance prediction in interactive online question pools. We evaluate the effectiveness of our approach on a real-world dataset consisting of 104,113 mouse trajectories generated in the problem-solving process of over 4000 students on 1631 questions. The experiment results show that our approach can achieve a much higher accuracy of student performance prediction than both traditional machine learning approaches and GNN models.


title: Glucose-insulin mathematical model for the combined effect of medications and life style of Type 2 diabetic patients

abstract: The goal of this paper is to propose a new mathematical model for the combined effect of different treatments and lifestyles on the glucose-insulin dynamics of Type 2 diabetes (T2D) patients. The model gives the possibility to take into consideration physical activity, stress, meals, and medications while evaluating or designing treatment plans for T2D patients. The model is proposed by combining and modifying some of the available models in the literature. Simulations were performed for the modifications to show how the model confirm with literature on T2D patients. Additionally, a discussion is provided to demonstrate the ability of the model to be used in the assessment of treatment plans and in the design for robust insulin dose guidance algorithms. An open source code for the model is additionally provided.


title: Detecting ulcerative colitis from colon samples using efficient feature selection and machine learning

abstract: Ulcerative colitis (UC) is one of the most common forms of inflammatory bowel disease (IBD) characterized by inflammation of the mucosal layer of the colon. Diagnosis of UC is based on clinical symptoms, and then confirmed based on endoscopic, histologic and laboratory findings. Feature selection and machine learning have been previously used for creating models to facilitate the diagnosis of certain diseases. In this work, we used a recently developed feature selection algorithm (DRPT) combined with a support vector machine (SVM) classifier to generate a model to discriminate between healthy subjects and subjects with UC based on the expression values of 32 genes in colon samples. We validated our model with an independent gene expression dataset of colonic samples from subjects in active and inactive periods of UC. Our model perfectly detected all active cases and had an average precision of 0.62 in the inactive cases. Compared with results reported in previous studies and a model generated by a recently published software for biomarker discovery using machine learning (BioDiscML), our final model for detecting UC shows better performance in terms of average precision.


title: Automorphism groups of maps in linear time

abstract: By a map we mean a $2$-cell decomposition of a closed compact surface, i.e., an embedding of a graph such that every face is homeomorphic to an open disc. Automorphism of a map can be thought of as a permutation of the vertices which preserves the vertex-edge-face incidences in the embedding. When the underlying surface is orientable, every automorphism of a map determines an angle-preserving homeomorphism of the surface. While it is conjectured that there is no "truly subquadratic" algorithm for testing map isomorphism for unconstrained genus, we present a linear-time algorithm for computing the generators of the automorphism group of a map, parametrized by the genus of the underlying surface. The algorithm applies a sequence of local reductions and produces a uniform map, while preserving the automorphism group. The automorphism group of the original map can be reconstructed from the automorphism group of the uniform map in linear time. We also extend the algorithm to non-orientable surfaces by making use of the antipodal double-cover.


title: Robust nonconforming virtual element methods for general fourth order problems with varying coefficients

abstract: We present a class of nonconforming virtual element methods for general fourth order partial differential equations in two dimensions. We develop a generic approach for constructing the necessary projection operators and virtual element spaces. Optimal error estimates in the energy norm are provided for general linear fourth order problems with varying coefficients. We also discuss fourth order perturbation problems and present a novel nonconforming scheme which is uniformly convergent with respect to the perturbation parameter without requiring an enlargement of the space. Numerical tests are carried out to verify the theoretical results. We conclude with a brief discussion on how our approach can easily be applied to nonlinear fourth order problems.


title: Distributionally Robust Pricing in Independent Private Value Auctions

abstract: A seller chooses a reserve price in a second-price auction to maximize worst-case expected revenue when she knows only the mean of value distribution and an upper bound on either values themselves or variance. Values are private and iid. Using an indirect technique, we prove that it is always optimal to set the reserve price to the seller's own valuation. However, the maxmin reserve price may not be unique. If the number of bidders is sufficiently high, all prices below the seller's valuation, including zero, are also optimal. A second-price auction with the reserve equal to seller's value (or zero) is an asymptotically optimal mechanism (among all ex post individually rational mechanisms) as the number of bidders grows without bound.


title: Quantum multifractality in thermal conduction across random interfaces

abstract: Self-affine morphology of random interfaces governs their functionalities across tribological, geological, (opto-)electrical and biological applications. However, the knowledge of how energy carriers or generally classical/quantum waves interact with structural irregularity is still incomplete. In this work, we study vibrational energy transport through random interfaces exhibiting different correlation functions on the two-dimensional hexagonal lattice. We show that random interfaces at the atomic scale are Cantor composites populated on geometrical fractals, thus multifractals, and calculate their quantized conductance using atomistic approaches. We obtain a universal scaling law, which contains self-similarity for mass perturbation, and exponential scaling of structural irregularity quantified by fractal dimension. The multifractal nature and Cantor-composite picture may also be extendable to charge and photon transport across random interfaces.