title: Multigraded Sylvester forms, Duality and Elimination Matrices

abstract: In this paper we study the equations of the elimination ideal associated with $n+1$ generic multihomogeneous polynomials defined over a product of projective spaces of dimension $n$. We first prove a duality property and then make this duality explicit by introducing multigraded Sylvester forms. These results provide a partial generalization of similar properties that are known in the setting of homogeneous polynomial systems defined over a single projective space. As an important consequence, we derive a new family of elimination matrices that can be used for solving zero-dimensional multiprojective polynomial systems by means of linear algebra methods.


title: Attention-based Clinical Note Summarization

abstract: In recent years, the trend of deploying digital systems in numerous industries has hiked. The health sector has observed an extensive adoption of digital systems and services that generate significant medical records. Electronic health records contain valuable information for prospective and retrospective analysis that is often not entirely exploited because of the complicated dense information storage. The crude purpose of condensing health records is to select the information that holds most characteristics of the original documents based on a reported disease. These summaries may boost diagnosis and save a doctor's time during a saturated workload situation like the COVID-19 pandemic. In this paper, we are applying a multi-head attention-based mechanism to perform extractive summarization of meaningful phrases on clinical notes. Our method finds major sentences for a summary by correlating tokens, segments, and positional embeddings of sentences in a clinical note. The model outputs attention scores that are statistically transformed to extract critical phrases for visualization on the heat-mapping tool and for human use.


title: Reference-based Weak Supervision for Answer Sentence Selection using Web Data

abstract: Answer sentence selection (AS2) modeling requires annotated data, i.e., hand-labeled question-answer pairs. We present a strategy to collect weakly supervised answers for a question based on its reference to improve AS2 modeling. Specifically, we introduce Reference-based Weak Supervision (RWS), a fully automatic large-scale data pipeline that harvests high-quality weakly-supervised answers from abundant Web data requiring only a question-reference pair as input. We study the efficacy and robustness of RWS in the setting of TANDA, a recent state-of-the-art fine-tuning approach specialized for AS2. Our experiments indicate that the produced data consistently bolsters TANDA. We achieve the state of the art in terms of P@1, 90.1%, and MAP, 92.9%, on WikiQA.


title: The Furstenberg set and its random version

abstract: We study some number-theoretic, ergodic and harmonic analysis properties of the Furstenberg set of integers $S=\{2^{m}3^{n}\}$ and compare them to those of its random analogue $T$. In this half-expository work, we show for example that $S$ is "Khinchin distributed", is far from being Hartman-distributed while $T$ is, and that $S$ is a $\Lambda(p)$ set for all $2<p<\infty$ and that $T$ is a $p$-Rider set for all $p$ such that $4/3<p<2$. Measure-theoretic and probabilistic techniques, notably martingales, play an important role in this work.


title: Data-Efficient Language-Supervised Zero-Shot Learning with Self-Distillation

abstract: Traditional computer vision models are trained to predict a fixed set of predefined categories. Recently, natural language has been shown to be a broader and richer source of supervision that provides finer descriptions to visual concepts than supervised "gold" labels. Previous works, such as CLIP, use a simple pretraining task of predicting the pairings between images and text captions. CLIP, however, is data hungry and requires more than 400M image text pairs for training. We propose a data-efficient contrastive distillation method that uses soft labels to learn from noisy image-text pairs. Our model transfers knowledge from pretrained image and sentence encoders and achieves strong performance with only 3M image text pairs, 133x smaller than CLIP. Our method exceeds the previous SoTA of general zero-shot learning on ImageNet 21k+1k by 73% relatively with a ResNet50 image encoder and DeCLUTR text encoder. We also beat CLIP by 10.5% relatively on zero-shot evaluation on Google Open Images (19,958 classes).


title: Zero Rank Asymptotic Bridgeland Stability

abstract: In this paper we examine the conditions that an object $E$ with $\text{ch}_0(E)=0$ has to satisfy in order for it to be asymptotically (semi)stable with regard to Weak or Bridgeland stability conditions. This notion turned out to be equivalent to sheaf Gieseker-Simpson (semi)stability or a dual of it, depending on the curve considered.


title: Coherent states associated with tridiagonal Hamiltonians

abstract: It has been shown that a positive semi-definite Hamiltonian H, that has a tridiagonal matrix representation in a given basis, can be represented in the form H = A{\dag}A, where A is a forward shift operator playing the role of an annihilation operator. Such representation endows H with rich supersymmetric properties yielding results analogous to those obtained by studying the Hamiltonian as a differential operator. Here, we study the coherent states which we define as being the eigenstates of the operator A. We explicitly find the expansion coefficients of these states in the given basis. We further identify a complete set of special coherent states which themselves can be used as basis. In terms of these special coherent states, we show that a general coherent state has the expansion form of a Lagrange interpolation scheme. As application of the developed formalism, we work out examples of systems having pure discrete, pure continuous, or mixed energy spectrum.


title: Finiteness properties of the category of mod $p$ representations of $\mathrm{GL}_2(\mathbb{Q}_p)$

abstract: We establish Bernstein-centre type of results for the category of mod $p$ representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. We treat all the remaining open cases, which occur when $p$ is $2$ or $3$. Our arguments carry over for all primes $p$. This allows us to remove the restrictions on the residual representation at $p$ in Lue Pan's recent proof of the Fontaine--Mazur conjecture for Hodge--Tate representations of $\mathrm{Gal}(\overline{\mathbb Q}/\mathbb{Q})$ with equal Hodge--Tate weights.


title: Online List Access with Precedence Constraints

abstract: This paper considers a natural generalization of the online list access problem in the paid exchange model, where additionally there can be precedence constraints ("dependencies") among the nodes in the list. For example, this generalization is motivated by applications in the context of packet classification. Our main contributions are constant-competitive deterministic and randomized online algorithms, designed around a procedure Move-Recursively-Forward, a generalization of Move-To-Front tailored to handle node dependencies. Parts of the analysis build upon ideas of the classic online algorithms Move-To-Front and BIT, and address the challenges of the extended model. We further discuss the challenges related to insertions and deletions.


title: Additive Networks of Chen-Fliess Series: Local Convergence and Relative Degree

abstract: Given an additive network of input-output systems where each node of the network is modeled by a locally convergent Chen-Fliess series, two basic properties of the network are established. First, it is shown that every input-output map between a given pair of nodes has a locally convergent Chen-Fliess series representation. Second, sufficient conditions are given under which the input-output map between a pair of nodes has a well defined relative degree as defined by its generating series. This analysis leads to the conclusion that this relative degree property is generic in a certain sense.


title: Statistical properties of two-dimensional elastic turbulence

abstract: We numerically investigate the spatial and temporal statistical properties of a dilute polymer solution in the elastic turbulence regime, i.e., in the chaotic flow state occurring at vanishing Reynolds and high Weissenberg numbers. We aim at elucidating the relations between measurements of flow properties performed in the spatial domain with the ones taken in the temporal domain, which is a key point for the interpretation of experimental results on elastic turbulence and to discuss the validity of Taylor's hypothesis. To this end, we carry out extensive direct numerical simulations of the two-dimensional Kolmogorov flow of an Oldroyd-B viscoelastic fluid. Static point-like numerical probes are placed at different locations in the flow, particularly at the extrema of mean flow amplitude. The results in the fully developed elastic turbulence regime reveal large velocity fluctuations, as compared to the mean flow, leading to a partial breakdown of Taylor's frozen-field hypothesis. While second-order statistics, probed by spectra and structure functions, display consistent scaling behaviors in the spatial and temporal domains, the third-order statistics highlight robust differences. In particular the temporal analysis fails to capture the skewness of streamwise longitudinal velocity increments. Finally, we assess both the degree of statistical inhomogeneity and isotropy of the flow turbulent fluctuations as a function of scale. While the system is only weakly non-homogenous in the cross-stream direction, it is found to be highly anisotropic at all scales.


title: Failing Conceptually: Concept-Based Explanations of Dataset Shift

abstract: Despite their remarkable performance on a wide range of visual tasks, machine learning technologies often succumb to data distribution shifts. Consequently, a range of recent work explores techniques for detecting these shifts. Unfortunately, current techniques offer no explanations about what triggers the detection of shifts, thus limiting their utility to provide actionable insights. In this work, we present Concept Bottleneck Shift Detection (CBSD): a novel explainable shift detection method. CBSD provides explanations by identifying and ranking the degree to which high-level human-understandable concepts are affected by shifts. Using two case studies (dSprites and 3dshapes), we demonstrate how CBSD can accurately detect underlying concepts that are affected by shifts and achieve higher detection accuracy compared to state-of-the-art shift detection methods.


title: On density of compactly supported smooth functions in fractional Sobolev spaces

abstract: We describe some sufficient conditions, under which smooth and compactly supported functions are or are not dense in the fractional Sobolev space $W^{s,p}(\Omega)$ for an open, bounded set $\Omega\subset\mathbb{R}^{d}$. The density property is closely related to the lower and upper Assouad codimension of the boundary of $\Omega$. We also describe explicitly the closure of $C_{c}^{\infty}(\Omega)$ in $W^{s,p}(\Omega)$ under some mild assumptions about the geometry of $\Omega$. Finally, we prove a variant of a fractional order Hardy inequality.


title: Combining a Convolutional Neural Network with Autoencoders to Predict the Survival Chance of COVID-19 Patients

abstract: COVID-19 has caused many deaths worldwide. The automation of the diagnosis of this virus is highly desired. Convolutional neural networks (CNNs) have shown outstanding classification performance on image datasets. To date, it appears that COVID computer-aided diagnosis systems based on CNNs and clinical information have not yet been analysed or explored. We propose a novel method, named the CNN-AE, to predict the survival chance of COVID-19 patients using a CNN trained with clinical information. Notably, the required resources to prepare CT images are expensive and limited compared to those required to collect clinical data, such as blood pressure, liver disease, etc. We evaluated our method using a publicly available clinical dataset that we collected. The dataset properties were carefully analysed to extract important features and compute the correlations of features. A data augmentation procedure based on autoencoders (AEs) was proposed to balance the dataset. The experimental results revealed that the average accuracy of the CNN-AE (96.05%) was higher than that of the CNN (92.49%). To demonstrate the generality of our augmentation method, we trained some existing mortality risk prediction methods on our dataset (with and without data augmentation) and compared their performances. We also evaluated our method using another dataset for further generality verification. To show that clinical data can be used for COVID-19 survival chance prediction, the CNN-AE was compared with multiple pre-trained deep models that were tuned based on CT images.


title: Many-Speakers Single Channel Speech Separation with Optimal Permutation Training

abstract: Single channel speech separation has experienced great progress in the last few years. However, training neural speech separation for a large number of speakers (e.g., more than 10 speakers) is out of reach for the current methods, which rely on the Permutation Invariant Loss (PIT). In this work, we present a permutation invariant training that employs the Hungarian algorithm in order to train with an $O(C^3)$ time complexity, where $C$ is the number of speakers, in comparison to $O(C!)$ of PIT based methods. Furthermore, we present a modified architecture that can handle the increased number of speakers. Our approach separates up to $20$ speakers and improves the previous results for large $C$ by a wide margin.


title: On the Investment Strategies in Occupational Pension Plans

abstract: Demographic changes increase the necessity to base the pension system more and more on the second and the third pillar, namely the occupational and private pension plans; this paper deals with Target Date Funds (TDFs), which are a typical investment opportunity for occupational pension planners. TDFs are usually identified with a decreasing fraction of wealth invested in equity (a so-called glide path) as retirement comes closer, i.e., wealth is invested more risky the younger the saver is. We investigate whether this is actually optimal in the presence of non-tradable income risk in a stochastic volatility environment. The retirement planning procedure is formulated as a stochastic optimization problem. We find it is the (random) contributions that induce the optimal path exhibiting a glide path structure, both in the constant and stochastic volatility environment. Moreover, the initial wealth and the initial contribution made to a retirement account strongly influence the fractional amount of wealth to be invested in risky assets. The risk aversion of an individual mainly determines the steepness of the glide path.


title: Quantum Filter Diagonalization with Double-Factorized Hamiltonians

abstract: We demonstrate a method that merges the quantum filter diagonalization (QFD) approach for hybrid quantum/classical solution of the time-independent electronic Schr\"odinger equation with a low-rank double factorization (DF) approach for the representation of the electronic Hamiltonian. In particular, we explore the use of sparse "compressed" double factorization (C-DF) truncation of the Hamiltonian within the time-propagation elements of QFD, while retaining a similarly compressed but numerically converged double-factorized representation of the Hamiltonian for the operator expectation values needed in the QFD quantum matrix elements. Together with significant circuit reduction optimizations and number-preserving post-selection/echo-sequencing error mitigation strategies, the method is found to provide accurate predictions for low-lying eigenspectra in a number of representative molecular systems, while requiring reasonably short circuit depths and modest measurement costs. The method is demonstrated by experiments on noise-free simulators, decoherence- and shot-noise including simulators, and real quantum hardware.


title: Dependent Type Theory as Related to the Bourbaki Notions of Structure and Isomorphism

abstract: This paper develops a version of dependent type theory in which isomorphism is handled through a direct generalization of the 1939 definitions of Bourbaki. More specifically we generalize the Bourbaki definition of structure from simple type signatures to dependent type signatures. Both the original Bourbaki notion of isomorphism and its generalization given here define an isomorphism between two structures $N$ and $N'$ to consist of bijections between their sorts that transport the structure of $N$ to the structure of $N'$. Here transport is defined by commutativity conditions stated with set-theoretic equality. This differs from the dependent type theoretic treatments of isomorphism given in the groupoid model and homotopy type theory where no analogously straightforward set-theoretic definition of transport is specified. The straightforward definition of transport also leads to a straightforward constructive proof (constructive content) for the validity of the substitution of isomorphics -- something that is difficult in the groupoid model or homotopy type theory.


title: Non-asymptotic model selection in block-diagonal mixture of polynomial experts models

abstract: Model selection, via penalized likelihood type criteria, is a standard task in many statistical inference and machine learning problems. Progress has led to deriving criteria with asymptotic consistency results and an increasing emphasis on introducing non-asymptotic criteria. We focus on the problem of modeling non-linear relationships in regression data with potential hidden graph-structured interactions between the high-dimensional predictors, within the mixture of experts modeling framework. In order to deal with such a complex situation, we investigate a block-diagonal localized mixture of polynomial experts (BLoMPE) regression model, which is constructed upon an inverse regression and block-diagonal structures of the Gaussian expert covariance matrices. We introduce a penalized maximum likelihood selection criterion to estimate the unknown conditional density of the regression model. This model selection criterion allows us to handle the challenging problem of inferring the number of mixture components, the degree of polynomial mean functions, and the hidden block-diagonal structures of the covariance matrices, which reduces the number of parameters to be estimated and leads to a trade-off between complexity and sparsity in the model. In particular, we provide a strong theoretical guarantee: a finite-sample oracle inequality satisfied by the penalized maximum likelihood estimator with a Jensen-Kullback-Leibler type loss, to support the introduced non-asymptotic model selection criterion. The penalty shape of this criterion depends on the complexity of the considered random subcollection of BLoMPE models, including the relevant graph structures, the degree of polynomial mean functions, and the number of mixture components.

categories: math.ST cs.AI cs.LG stat.ME stat.ML stat.TH


title: Boundary controllability of two coupled wave equations with space-time first-order coupling in 1-D

abstract: This paper is devoted to study exact controllability of two one-dimensional coupled wave equations with first-order coupling terms with coefficients depending on space and time. We give a necessary and sufficient condition for both exact controllability in high frequency in the general case and the unique continuation in the cascade case.


title: A cross-study analysis of drug response prediction in cancer cell lines

abstract: To enable personalized cancer treatment, machine learning models have been developed to predict drug response as a function of tumor and drug features. However, most algorithm development efforts have relied on cross validation within a single study to assess model accuracy. While an essential first step, cross validation within a biological data set typically provides an overly optimistic estimate of the prediction performance on independent test sets. To provide a more rigorous assessment of model generalizability between different studies, we use machine learning to analyze five publicly available cell line-based data sets: NCI60, CTRP, GDSC, CCLE and gCSI. Based on observed experimental variability across studies, we explore estimates of prediction upper bounds. We report performance results of a variety of machine learning models, with a multitasking deep neural network achieving the best cross-study generalizability. By multiple measures, models trained on CTRP yield the most accurate predictions on the remaining testing data, and gCSI is the most predictable among the cell line data sets included in this study. With these experiments and further simulations on partial data, two lessons emerge: (1) differences in viability assays can limit model generalizability across studies, and (2) drug diversity, more than tumor diversity, is crucial for raising model generalizability in preclinical screening.


title: On the Use of Context for Predicting Citation Worthiness of Sentences in Scholarly Articles

abstract: In this paper, we study the importance of context in predicting the citation worthiness of sentences in scholarly articles. We formulate this problem as a sequence labeling task solved using a hierarchical BiLSTM model. We contribute a new benchmark dataset containing over two million sentences and their corresponding labels. We preserve the sentence order in this dataset and perform document-level train/test splits, which importantly allows incorporating contextual information in the modeling process. We evaluate the proposed approach on three benchmark datasets. Our results quantify the benefits of using context and contextual embeddings for citation worthiness. Lastly, through error analysis, we provide insights into cases where context plays an essential role in predicting citation worthiness.


title: Generating explanations for answer set programming applications

abstract: We present an explanation system for applications that leverage Answer Set Programming (ASP). Given a program P, an answer set A of P, and an atom a in the program P, our system generates all explanation graphs of a which help explain why a is true (or false) given the program P and the answer set A. We illustrate the functionality of the system using some examples from the literature.


title: A recipe for annotating grounded clarifications

abstract: In order to interpret the communicative intents of an utterance, it needs to be grounded in something that is outside of language; that is, grounded in world modalities. In this paper, we argue that dialogue clarification mechanisms make explicit the process of interpreting the communicative intents of the speaker's utterances by grounding them in the various modalities in which the dialogue is situated. This paper frames dialogue clarification mechanisms as an understudied research problem and a key missing piece in the giant jigsaw puzzle of natural language understanding. We discuss both the theoretical background and practical challenges posed by this problem and propose a recipe for obtaining grounding annotations. We conclude by highlighting ethical issues that need to be addressed in future work.


title: A Simple Mathematical Model of Politics (II)

abstract: In this paper, some main eigenvalues and eigenvectors of the politics matrix are investigated. The number of upper-class families in a society is the number of eigenvalues which are very close to 1. An algorithm to identify all the upper-class families from the right and left eigenvectors of those eigenvalues is developed.


title: Generic Features in the Spectral Decomposition of Correlation Matrices

abstract: We show that correlation matrices with particular average and variance of the correlation coefficients have a notably restricted spectral structure. Applying geometric methods, we derive lower bounds for the largest eigenvalue and the alignment of the corresponding eigenvector. We explain how and to which extent, a distinctly large eigenvalue and an approximately diagonal eigenvector generically occur for specific correlation matrices independently of the correlation matrix dimension.


title: Deep Clustering with Measure Propagation

abstract: Deep models have improved state-of-the-art for both supervised and unsupervised learning. For example, deep embedded clustering (DEC) has greatly improved the unsupervised clustering performance, by using stacked autoencoders for representation learning. However, one weakness of deep modeling is that the local neighborhood structure in the original space is not necessarily preserved in the latent space. To preserve local geometry, various methods have been proposed in the supervised and semi-supervised learning literature (e.g., spectral clustering and label propagation) using graph Laplacian regularization. In this paper, we combine the strength of deep representation learning with measure propagation (MP), a KL-divergence based graph regularization method originally used in the semi-supervised scenario. The main assumption of MP is that if two data points are close in the original space, they are likely to belong to the same class, measured by KL-divergence of class membership distribution. By taking the same assumption in the unsupervised learning scenario, we propose our Deep Embedded Clustering Aided by Measure Propagation (DECAMP) model. We evaluate DECAMP on short text clustering tasks. On three public datasets, DECAMP performs competitively with other state-of-the-art baselines, including baselines using additional data to generate word embeddings used in the clustering process. As an example, on the Stackoverflow dataset, DECAMP achieved a clustering accuracy of 79%, which is about 5% higher than all existing baselines. These empirical results suggest that DECAMP is a very effective method for unsupervised learning.


title: Conformal Bach flow

abstract: In this article we introduce conformal Bach flow and establish its well-posedness on closed manifolds. We also obtain its backward uniqueness. To give an attempt to study the long-time behavior of conformal Bach flow, assuming that the curvature and the pressure function are bounded, global and local Shi's type $L^2$-estimate of derivatives of curvatures are derived. Furthermore using the $L^2$-estimate and based on an idea from \cite{St13} we show Shi's pointwise-estimate of derivatives of curvatures without assuming Sobolev constant bound.


title: Functional Protein Structure Annotation Using a Deep Convolutional Generative Adversarial Network

abstract: Identifying novel functional protein structures is at the heart of molecular engineering and molecular biology, requiring an often computationally exhaustive search. We introduce the use of a Deep Convolutional Generative Adversarial Network (DCGAN) to classify protein structures based on their functionality by encoding each sample in a grid object structure using three features in each object: the generic atom type, the position atom type, and its occupancy relative to a given atom. We train DCGAN on 3-dimensional (3D) decoy and native protein structures in order to generate and discriminate 3D protein structures. At the end of our training, loss converges to a local minimum and our DCGAN can annotate functional proteins robustly against adversarial protein samples. In the future we hope to extend the novel structures we found from the generator in our DCGAN with more samples to explore more granular functionality with varying functions. We hope that our effort will advance the field of protein structure prediction.


title: Linear shrinkage for predicting responses in large-scale multivariate linear regression

abstract: We propose a new prediction method for multivariate linear regression problems where the number of features is less than the sample size but the number of outcomes is extremely large. Many popular procedures, such as penalized regression procedures, require parameter tuning that is computationally untenable in such large-scale problems. We take a different approach, motivated by ideas from simultaneous estimation problems, that performs linear shrinkage on ordinary least squares parameter estimates. Our approach is extremely computationally efficient and tuning-free. We show that it can asymptotically outperform ordinary least squares without any structural assumptions on the true regression coefficients and illustrate its good performance in simulations and an analysis of single-cell RNA-seq data.


title: Photoionization and transient Wannier-Stark ladder in silicon: First principle simulations versus Keldysh theory

abstract: Nonlinear photoionization of dielectrics and semiconductors is widely treated in the frames of the Keldysh theory whose validity is limited to small photon energies compared to the band gap and relatively low laser intensities. The time-dependent density functional theory (TDDFT) simulations, which are free of these limitations, enable to gain insight into non-equilibrium dynamics of the electronic structure. Here we apply the TDDFT to investigate photoionization of silicon crystal by ultrashort laser pulses in a wide range of laser wavelengths and intensities and compare the results with predictions of the Keldysh theory. Photoionization rates derived from the simulations considerably exceed the data obtained with the Keldysh theory within the validity range of the latter. Possible reasons of the discrepancy are discussed and we provide fundamental data on the photoionization rates beyond the limits of the Keldysh theory. By investigating the features of the Stark shift as a function of photon energy and laser field strength, a manifestation of the transient Wannier-Stark ladder states have been revealed which become blurred with increasing laser field strength. Finally, it is shown that the TDDFT simulations can potentially provide reliable data on the electron damping time that is of high importance for large-scale modeling.


title: Nonsingular Euler Parameterizations for Motion of a Point Mass in Atmospheric Flight

abstract: Three parameterizations are developed for modeling translational motion of a point mass in atmosphere flight over a central rotating body. Unlike well-known parameterizations such as spherical coordinate parameterizations, where position and velocity are parameterized using a magnitude an an Euler angle rotation sequence, the method presented in this research employs Euler parameters. Consequently, singularities and trigonometric functions are eliminated from the differential equations of motion. As a result, the new parameterizations presented in this paper offer computational advantages over standard parameterizations that employ Euler angle sequences. Finally, an example is studied where an atmospheric vehicle moves while in vertical flight, demonstrating the nonsingular nature of the formulations developed in this paper.


title: Bicocycle Double Cross Constructions

abstract: We introduce the notion of a bicocycle double cross product (resp. sum) Lie group (resp. Lie algebra), and a bicocycle double cross product bialgebra, generalizing the unified products. On the level of Lie groups the construction yields a Lie group on the product space of two pointed manifolds, none of which being necessarily a subgroup. On the level of Lie algebras, similarly, a Lie algebra is obtained on the direct sum of two vector spaces, none of which is required to be a subalgebra. Finally, on the quantum level the theory presents a bialgebra, on the tensor product of two (co)algebras that are not necessarily sub-bialgebras, the semidual of which being a cocycle bicrossproduct bialgebra.


title: A novel background field approach to the confinement-deconfinement transition

abstract: We propose a novel approach to the confinement-deconfinement transition in Yang-Mills theories in the context of gauge-fixed calculations. The method is based on a background-field generalisation of the Landau gauge (to which it reduces at vanishing temperature) with a given, center-symmetric background. This is to be contrasted with most implementations of background field methods in gauge theories, where one uses a variable, self-consistent background. Our proposal is a bona fide gauge fixing that can easily be implemented on the lattice and in continuum approaches. The resulting gauge-fixed action explicitly exhibits the center symmetry of the nonzero temperature theory that controls the confinement-deconfinement transition. We show that, in that gauge, the electric susceptibility diverges at a second order transition [e.g., in the SU(2) theory], so that the gluon propagator is a clear probe of the transition. We implement our proposal in the perturbative Curci-Ferrari model, known for its successful description of various infrared aspects of Yang-Mills theories, including the confinement-deconfinement transition. Our one-loop calculation confirms our general expectation for the susceptibility while providing transition temperatures in excellent agreement with the SU(2) and SU(3) lattice values. Finally, the Polyakov loops above the transition show a more moderate rise, in contrast to previous implementations of the Curci-Ferrari model using a self-consistent background, and our SU(3) result agrees quite well with lattice results in the range $[0,2T_c]$.


title: On the regularity of human mobility patterns at times of a pandemic

abstract: The study of human mobility patterns is a crucially important research field for its impact on several socio-economic aspects and, in particular, the measure of regularity patters of human mobility can provide a across-the-board view of many social distancing variables in epidemics such as: human movement trends, physical interpersonal distances and population density. We will show that the notion of information entropy is also strongly related to demographic and economic trends by the use and analysis of real-time data. In the present research paper we address three different problems. First, we provide an evidence-based analytical approach which relates the human mobility patterns, social distancing attitudes and population density, with entropic measures which depict for erraticity of human contact behaviors. Second, we investigate the correlations between the aggregated mobility and entropic measures versus five external economic indicators. Finally,we show how entropic measures represents a useful tool for testing the limitations of typical assumptions in epidemiological and mobility models.


title: Anytime Ranking on Document-Ordered Indexes

abstract: Inverted indexes continue to be a mainstay of text search engines, allowing efficient querying of large document collections. While there are a number of possible organizations, document-ordered indexes are the most common, since they are amenable to various query types, support index updates, and allow for efficient dynamic pruning operations. One disadvantage with document-ordered indexes is that high-scoring documents can be distributed across the document identifier space, meaning that index traversal algorithms that terminate early might put search effectiveness at risk. The alternative is impact-ordered indexes, which primarily support top-k disjunctions, but also allow for anytime query processing, where the search can be terminated at any time, with search quality improving as processing latency increases. Anytime query processing can be used to effectively reduce high-percentile tail latency which is essential for operational scenarios in which a service level agreement (SLA) imposes response time requirements. In this work, we show how document-ordered indexes can be organized such that they can be queried in an anytime fashion, enabling strict latency control with effective early termination. Our experiments show that processing document-ordered topical segments selected by a simple score estimator outperforms existing anytime algorithms, and allows query runtimes to be accurately limited in order to comply with SLA requirements.


title: Off-Policy Risk Assessment in Contextual Bandits

abstract: Even when unable to run experiments, practitioners can evaluate prospective policies, using previously logged data. However, while the bandits literature has adopted a diverse set of objectives, most research on off-policy evaluation to date focuses on the expected reward. In this paper, we introduce Lipschitz risk functionals, a broad class of objectives that subsumes conditional value-at-risk (CVaR), variance, mean-variance, many distorted risks, and CPT risks, among others. We propose Off-Policy Risk Assessment (OPRA), a framework that first estimates a target policy's CDF and then generates plugin estimates for any collection of Lipschitz risks, providing finite sample guarantees that hold simultaneously over the entire class. We instantiate OPRA with both importance sampling and doubly robust estimators. Our primary theoretical contributions are (i) the first uniform concentration inequalities for both CDF estimators in contextual bandits and (ii) error bounds on our Lipschitz risk estimates, which all converge at a rate of $O(1/\sqrt{n})$.


title: Capturing 3D atomic defects and phonon localization at the 2D heterostructure interface

abstract: The 3D local atomic structures and crystal defects at the interfaces of heterostructures control their electronic, magnetic, optical, catalytic and topological quantum properties, but have thus far eluded any direct experimental determination. Here we determine the 3D local atomic positions at the interface of a MoS2-WSe2 heterojunction with picometer precision and correlate 3D atomic defects with localized vibrational properties at the epitaxial interface. We observe point defects, bond distortion, atomic-scale ripples and measure the full 3D strain tensor at the heterointerface. By using the experimental 3D atomic coordinates as direct input to first principles calculations, we reveal new phonon modes localized at the interface, which are corroborated by spatially resolved electron energy-loss spectroscopy. We expect that this work will open the door to correlate structure-property relationships of a wide range of heterostructure interfaces at the single-atom level.


title: Phase curve pollution of exoplanet transmission spectra

abstract: The occurrence of a planet transiting in front of its host star offers the opportunity to observe the planet's atmosphere filtering starlight. The fraction of occulted stellar flux is roughly proportional to the optically thick area of the planet, the extent of which depends on the opacity of the planet's gaseous envelope at the observed wavelengths. Chemical species, haze, and clouds are now routinely detected in exoplanet atmospheres through rather small features in transmission spectra, i.e., collections of planet-to-star area ratios across multiple spectral bins and/or photometric bands. Technological advances have led to a shrinking of the error bars down to a few tens of parts per million (ppm) per spectral point for the brightest targets. The upcoming James Webb Space Telescope (JWST) is anticipated to deliver transmission spectra with precision down to 10 ppm. The increasing precision of measurements requires a reassessment of the approximations hitherto adopted in astrophysical models, including transit light curve models. Recently, it has been shown that neglecting the planet's thermal emission can introduce significant biases in the transit depth measured with the JWST/Mid-InfraRed Instrument, integrated between 5 and 12 $\mu$m. In this paper, we take a step forward by analyzing the effects of the approximation on transmission spectra over the 0.6-12 $\mu$m wavelength range covered by various JWST instruments. We present open source software to predict the spectral bias, showing that, if not corrected, it may affect the inferred molecular abundances and thermal structure of some exoplanet atmospheres.


title: Sampling Polynomial Trajectories for LTL Verification

abstract: This paper concerns the verification of continuous-time polynomial spline trajectories against linear temporal logic specifications (LTL without 'next'). Each atomic proposition is assumed to represent a state space region described by a multivariate polynomial inequality. The proposed approach samples a trajectory strategically, to capture every one of its region transitions. This yields a discrete word called a trace, which is amenable to established formal methods for path checking. The original continuous-time trajectory is shown to satisfy the specification if and only if its trace does. General topological conditions on the sample points are derived that ensure a trace is recorded for arbitrary continuous paths, given arbitrary region descriptions. Using techniques from computer algebra, a trace generation algorithm is developed to satisfy these conditions when the path and region boundaries are defined by polynomials. The proposed PolyTrace algorithm has polynomial complexity in the number of atomic propositions, and is guaranteed to produce a trace of any polynomial path. Its performance is demonstrated via numerical examples and a case study from robotics.


title: History of Prime Movers and Future Implications

abstract: Motive and electrical energy has played a crucial role in human civilization. Since Ancient times, motive energy played a primary role in agricultural and industrial production as well as transportation. At that time, motive energy was provided by work of humans and draft animals. Later, work of water and wind power was harnessed. During the 19$^{\text{th}}$ century, steam power became the main source of motive energy in USA and Britain. Modern transportation and industry depend on the work of heat engines that use fossil fuel. A brief history of different sources of energy is presented in this work. The energy consumptions in pre-industrial and industrial societies are calculated. The lost opportunities for the Second Industrial Revolution (such as fast breeder reactors and thermonuclear power stations) are discussed. The case that the Solar Power will become the main source of energy by the second half of this century is presented. It is calculated that the Solar Power has the potential to bring about the new Industrial Revolution. Based on material and energy resources available in the Solar System, it is demonstrated that the Solar System Civilization supporting a population of 10 Quadrillion with a high standard of living is possible.


title: Multi-pole extension for elliptic models of interacting integrable tops

abstract: We review and give detailed description for ${\rm gl}_{NM}$ Gaudin models related to holomorphic vector bundles of rank $NM$ and degree $N$ over elliptic curve with $n$ punctures. Then we introduce their generalizations constructed by means of $R$-matrices satisfying the associative Yang-Baxter equation. A natural extension of the obtained models to the Schlesinger systems is given as well.


title: Giant Crystal Hall Effect in Collinear Antiferromagnetic $\gamma$-FeMn

abstract: The spontaneous Hall effect is usually governed by three conventional mechanisms, such as the Berry curvature, skew scattering and side jump, which widely exist in ferromagnetic or antiferromagnetic materials. However, in this work, based on first principle calculations, we predict a giant crystal Hall effect (CHE) in the antiferromagnetic $\gamma$-FeMn, which can not be understood by the previous three conventional mechanisms and the Hall angle therein can be as large as 18.4% at low temperature. Furthermore, with Boltzmann transport equation and a tight-binding model, we conclude that, the asymmetric group velocities on Fermi surface is the origin of this CHE in $\gamma$-FeMn. And with a systematic symmetry argument, we show that, this unusual effect is not dependent on specific materials but universal in any crystals with similar symmetry even without local magnetization.


title: Contrastive Learning Improves Model Robustness Under Label Noise

abstract: Deep neural network-based classifiers trained with the categorical cross-entropy (CCE) loss are sensitive to label noise in the training data. One common type of method that can mitigate the impact of label noise can be viewed as supervised robust methods; one can simply replace the CCE loss with a loss that is robust to label noise, or re-weight training samples and down-weight those with higher loss values. Recently, another type of method using semi-supervised learning (SSL) has been proposed, which augments these supervised robust methods to exploit (possibly) noisy samples more effectively. Although supervised robust methods perform well across different data types, they have been shown to be inferior to the SSL methods on image classification tasks under label noise. Therefore, it remains to be seen that whether these supervised robust methods can also perform well if they can utilize the unlabeled samples more effectively. In this paper, we show that by initializing supervised robust methods using representations learned through contrastive learning leads to significantly improved performance under label noise. Surprisingly, even the simplest method (training a classifier with the CCE loss) can outperform the state-of-the-art SSL method by more than 50\% under high label noise when initialized with contrastive learning. Our implementation will be publicly available at {\url{https://github.com/arghosh/noisy_label_pretrain}}.


title: Sensitivity Analysis of Passenger Behavioral Model for Dynamic Pricing of Shared Mobility on Demand

abstract: This paper provides a framework to quantify the sensitivity associated with behavioral models based on Cumulative Prospect Theory (CPT). These are used to design dynamic pricing strategies aimed at maximizing performance metrics of the Shared Mobility On-Demand Service (SMoDS), as solutions to a constrained nonlinear optimization problem. We analyze the sensitivity of both the optimal tariff as well as the optimal objective function with respect to CPT model parameters. In addition to deriving analytical solutions under certain assumptions, more general numerical results are obtained via computational experiments and simulations to analyze the sensitivity. We find that the model is relatively robust for small to moderate parameter perturbations. Although some of the trends in sensitivity are fairly general, the exact nature of variations in many cases depends heavily on the specific travel scenarios and modes being considered. This is primarily due to the complex nonlinearities in the problem, as well as the significant heterogeneity in passenger preferences across different types of trips.


title: An 86-GHz search for Pulsars in the Galactic Center with the Atacama Large Millimeter/submillimeter Array

abstract: We report on the first pulsar and transient survey of the Galactic Center (GC) with the Atacama Large Millimeter/submillimeter Array (ALMA). The observations were conducted during the Global Millimeter VLBI Array campaign in 2017 and 2018. We carry out searches using timeseries of both total intensity and other polarization components in the form of Stokes parameters. We incorporate acceleration and its derivative in the pulsar search, and also search in segments of the entire observation to compensate for potential orbital motion of the pulsar. While no new pulsar is found, our observations yield the polarization profile of the GC magnetar PSR J1745-2900 at mm-wavelength for the first time, which turns out to be nearly 100 % linearly polarized. Additionally, we estimate the survey sensitivity placed by both system and red noise, and evaluate its capability of finding pulsars in orbital motion with either Sgr A* or a binary companion. We show that the survey is sensitive to only the most luminous pulsars in the known population, and future observations with ALMA in Band-1 will deliver significantly deeper survey sensitivity on the GC pulsar population.


title: Quantum algorithms for SVD-based data representation and analysis

abstract: This paper narrows the gap between previous literature on quantum linear algebra and practical data analysis on a quantum computer, formalizing quantum procedures that speed-up the solution of eigenproblems for data representations in machine learning. The power and practical use of these subroutines is shown through new quantum algorithms, sublinear in the input matrix's size, for principal component analysis, correspondence analysis, and latent semantic analysis. We provide a theoretical analysis of the run-time and prove tight bounds on the randomized algorithms' error. We run experiments on multiple datasets, simulating PCA's dimensionality reduction for image classification with the novel routines. The results show that the run-time parameters that do not depend on the input's size are reasonable and that the error on the computed model is small, allowing for competitive classification performances.


title: Geometry, Analysis and Morphogenesis: Problems and Prospects

abstract: The remarkable range of biological forms in and around us, such as the undulating shape of a leaf or flower in the garden, the coils in our gut, or the folds in our brain, raise a number of questions at the interface of biology, physics and mathematics. How might these shapes be predicted, and how can they eventually be designed? We review our current understanding of this problem, that brings together analysis, geometry and mechanics in the description of the morphogenesis of low-dimensional objects. Starting from the view that shape is the consequence of metric frustration in an ambient space, we examine the links between the classical Nash embedding problem and biological morphogenesis. Then, motivated by a range of experimental observations and numerical computations, we revisit known rigorous results on curvature-driven patterning of thin elastic films, especially the asymptotic behaviors of the solutions as the (scaled) thickness becomes vanishingly small and the local curvature can become large. Along the way, we discus open problems that include those in mathematical modeling and analysis along with questions driven by the allure of being able to tame soft surfaces for applications in science and engineering.


title: Phage-antibiotic synergy inhibited by temperate and chronic virus competition

abstract: As antibiotic resistance grows more frequent for common bacterial infections, alternative treatment strategies such as phage therapy have become more widely studied in the medical field. While many studies have explored the efficacy of antibiotics, phage therapy, or synergistic combinations of phages and antibiotics, the impact of virus competition on the efficacy of antibiotic treatment has not yet been considered. Here, we model the synergy between antibiotics and two viral types, temperate and chronic, in controlling bacterial infections. We demonstrate that while combinations of antibiotic and temperate viruses exhibit synergy, competition between temperate and chronic viruses inhibits bacterial control with antibiotics. In fact, our model reveals that antibiotic treatment may counterintuitively increase the bacterial load when a large fraction of the bacteria develop antibiotic-resistance.


title: Novel method for producing very-neutron-rich hypernuclei via charge-exchange reactions with heavy ion projectiles

abstract: We propose a novel method for producing very-neutron-rich hypernuclei and corresponding resonance states by employing charge-exchange reactions via pp($^{12}$C, $^{12}$N $K^+$)n$\Lambda$ with single-charge-exchange and ppp($^{9}$Be, $^{9}$C $K^+$)nn$\Lambda$ with double-charge-exchange, both of which produce $\Lambda K^+$ in a target nucleus. The feasibility of producing very-neutron-rich hypernuclei using the proposed method was analysed by applying an ultra-relativistic quantum molecular dynamics model to a $^6$Li+$^{12}$C reaction at 2 $A$ GeV. The yields of very-neutron-rich hypernuclei, signal-to-background ratios, and background contributions were investigated. The proposed method is a powerful tool for studying very-neutron-rich hypernuclei and resonance states with a hyperon for experiments employing the Super-FRS facility at FAIR and HFRS facility at HIAF.


title: Efficient Bayesian estimation of permutation entropy with Dirichlet priors

abstract: Estimation of permutation entropy (PE) using Bayesian statistical methods is presented for systems where the ordinal pattern sampling follows an independent, multinomial distribution. It is demonstrated that the PE posterior distribution is closely approximated by a standard Beta distribution, whose hyperparameters can be estimated directly from moments computed analytically from observed ordinal pattern counts. Equivalence with expressions derived previously using frequentist methods is also demonstrated. Because Bayesian estimation of PE naturally incorporates uncertainty and prior information, the orthodox requirement that $N \gg D!$ is effectively circumvented, allowing PE to be estimated even for very short time series. Self-similarity tests on PE posterior distributions computed for a semiconductor laser with optical feedback (SLWOF) system show its PE to vary periodically over time.


title: Two-phase image segmentation by the Allen-Cahn equation and a nonlocal edge detection operator

abstract: Based on a nonlocal Laplacian operator, a novel edge detection method of the grayscale image is proposed in this paper. This operator utilizes the information of neighbor pixels for a given pixel to obtain effective and delicate edge detection. The nonlocal edge detection method is used as an initialization for solving the Allen-Cahn equation to achieve two-phase segmentation of the grayscale image. Efficient exponential time differencing (ETD) solvers are employed in the time integration, and finite difference method is adopted in space discretization. The maximum bound principle and energy stability of the proposed numerical schemes are proved. The capability of our segmentation method has been verified in numerical experiments for different types of grayscale images.


title: Carrot and Stick approaches revisited when managing Technical Debt in an educational context

abstract: Technical Debt management is an important aspect in the training of Software Engineering students. In this paper we study the effect of two assessment strategies in an educational context: One based on penalisation, the other based on rewards. Both are applied to assignments where the students develop a project focusing on keeping a low technical debt level, and obtaining a high quality code. We describe the design, tools and context of the strategies applied. SonarQube, a tool commonly used in production environments, is used for measuring the metrics. The penalisation strategy is based on a SonarQube quality gate. The reward strategy is based on a contest, where an automatic judge tool is devised to provide an online leaderboard with a classification based on the SonarQube metrics. An empirical study is conducted to determine which of the strategies works better to help the students/trainees keep the Technical Debt low. Statistically significant results are obtained in 5 of the 8 analysed metrics, showing that the reward strategy works much better. The effect size of the executed statistical tests is analysed, resulting in medium and large effect size in the majority of the analysed metrics.


title: Constraints Satisfiability Driven Reinforcement Learning for Autonomous Cyber Defense

abstract: With the increasing system complexity and attack sophistication, the necessity of autonomous cyber defense becomes vivid for cyber and cyber-physical systems (CPSs). Many existing frameworks in the current state-of-the-art either rely on static models with unrealistic assumptions, or fail to satisfy the system safety and security requirements. In this paper, we present a new hybrid autonomous agent architecture that aims to optimize and verify defense policies of reinforcement learning (RL) by incorporating constraints verification (using satisfiability modulo theory (SMT)) into the agent's decision loop. The incorporation of SMT does not only ensure the satisfiability of safety and security requirements, but also provides constant feedback to steer the RL decision-making toward safe and effective actions. This approach is critically needed for CPSs that exhibit high risk due to safety or security violations. Our evaluation of the presented approach in a simulated CPS environment shows that the agent learns the optimal policy fast and defeats diversified attack strategies in 99\% cases.


title: Embedding Reservoirs in Industrial Models to Exploit their Flexibility

abstract: In the context of energy transition, industrial plants that heavily rely on electricity face more and more price volatility. To continue operating in these conditions, the directors become continually more willing to increase their flexibility, i.e. their ability to react to price fluctuations. This work proposes an intuitive methodology to mathematically model electro-intensive processes in order to assess their flexibility potential. To this end, we introduce the notion of reservoir, a storage of either material or energy, that allows models based on this paradigm to have interpretations close to the physics of the processes. The design of the reservoir methodology has three distinct goals: (i) to be easy and quick to build by an energy-sector consultant; (ii) to be effortlessly converted into mixed-integer linear or nonlinear programs; (iii) to be straightforward to understand by nontechnical people, thanks to their graphic nature. We apply this methodology to two industrial case studies, namely an induction furnace (linear model) and an industrial cooling installation (nonlinear model), where we can achieve significant cost savings. In both cases, the models can be quickly written using our method and solved by appropriate solver technologies.


title: A decoupled, stable, and linear FEM for a phase-field model of variable density two-phase incompressible surface flow

abstract: The paper considers a thermodynamically consistent phase-field model of a two-phase flow of incompressible viscous fluids. The model allows for a non-linear dependence of fluid density on the phase-field order parameter. Driven by applications in biomembrane studies, the model is written for tangential flows of fluids constrained to a surface and consists of (surface) Navier-Stokes-Cahn-Hilliard type equations. We apply an unfitted finite element method to discretize the system and introduce a fully discrete time-stepping scheme with the following properties: (i) the scheme decouples the fluid and phase-field equation solvers at each time step, (ii) the resulting two algebraic systems are linear, and (iii) the numerical solution satisfies the same stability bound as the solution of the original system under some restrictions on the discretization parameters. Numerical examples are provided to demonstrate the stability, accuracy, and overall efficiency of the approach. Our computational study of several two-phase surface flows reveals some interesting dependencies of flow statistics on the geometry.


title: Masked Face Recognition using ResNet-50

abstract: Over the last twenty years, there have seen several outbreaks of different coronavirus diseases across the world. These outbreaks often led to respiratory tract diseases and have proved to be fatal sometimes. Currently, we are facing an elusive health crisis with the emergence of COVID-19 disease of the coronavirus family. One of the modes of transmission of COVID- 19 is airborne transmission. This transmission occurs as humans breathe in the droplets released by an infected person through breathing, speaking, singing, coughing, or sneezing. Hence, public health officials have mandated the use of face masks which can reduce disease transmission by 65%. For face recognition programs, commonly used for security verification purposes, the use of face mask presents an arduous challenge since these programs were typically trained with human faces devoid of masks but now due to the onset of Covid-19 pandemic, they are forced to identify faces with masks. Hence, this paper investigates the same problem by developing a deep learning based model capable of accurately identifying people with face-masks. In this paper, the authors train a ResNet-50 based architecture that performs well at recognizing masked faces. The outcome of this study could be seamlessly integrated into existing face recognition programs that are designed to detect faces for security verification purposes.


title: Deformation potential extraction and computationally efficient mobility calculations in silicon from first principles

abstract: We present a first-principles framework to extract deformation potentials in Silicon based on density-functional theory (DFT) and density-functional perturbation theory (DFPT). We compute the electronic band structures, phonon dispersion relations, and electron-phonon matrix elements to extract deformation potentials for acoustic and optical phonons for all possible processes. The matrix elements clearly show the separation between intra- and inter-valley scattering in the conduction band, and quantify the strength of the scattering events in the degenerate bands of the valence band. We then use an advanced numerical Boltzmann transport equation (BTE) simulator that couples DFT electronic structures and energy/momentum-dependent scattering rates to compute the transport properties for electrons and holes. By incorporating ionized impurity scattering as well, we calculate the n-type and p-type mobility versus carrier density and make comparisons to experiments, indicating excellent agreement. The fact that the method we present uses well-established theoretical tools and requires the extraction of only a limited number of matrix elements, makes it generally computationally very attractive, especially for semiconductors with a large unit cell and lower symmetry.


title: Beck torsors, formally unramified objects, and K\"ahler differentials

abstract: Let $\mathcal{C}$ be a category with pullbacks. We define a $\textit{Beck torsor}$ in $\mathcal{C}$ as a morphism $Z\to Y$ in $\mathcal{C}$ which is a torsor for a Beck module over $Y$. We say that an object $X$ of $\mathcal{C}$ is $\textit{formally unramified}$ if, for every Beck torsor $Z\to Y$ in $\mathcal{C}$, the canonical map $\text{Hom}_{\mathcal{C}}(X, Z)\to \text{Hom}_{\mathcal{C}}(X, Y)$ is injective. If $A$ is a commutative ring with identity, then an $A$-algebra $B$ is formally unramified in the category of $A$-algebras if and only if the ring homomorphism $A\to B$ is formally unramified. Given that $A\to B$ is formally unramified if and only if $\Omega_{B/A} = 0$, we seek a similar classification for general formally unramified objects. We say that $\mathcal{C}$ has $\textit{K\"ahler differentials}$ if, for each object $X$ of $\mathcal{C}$, the forgetful functor $\text{Ab}(\mathcal{C}/X)\to \mathcal{C}/X$ from the category of Beck modules over $X$ has a left adjoint $\Omega: \mathcal{C}/X\to \text{Ab}(\mathcal{C}/X)$. Our main result is that if $\mathcal{C}$ has K\"ahler differentials, then an object $X$ of $\mathcal{C}$ is formally unramified if and only if $\Omega_X$ is a zero object in $\text{Ab}(\mathcal{C}/X)$.


title: Minimal setup for non-Abelian braiding of Majorana zero modes

abstract: Braiding Majorana zero modes (MZMs) is the key procedure toward topological quantum computation. However, the complexity of the braiding manipulation hinders its experimental realization. Here we propose an experimental setup composing of MZMs and a quantum dot state which can substantially simplify the braiding protocol of MZMs. Such braiding scheme, which corresponds to a specific closed loop in the parameter space, is quite universal and can be realized in various platforms. Moreover, the braiding results can be directly measured and manifested through electric current, which provides a simple and novel way to detect the non-Abelian statistics of MZMs.


title: Physics-based Constitutive Equation for Thermo-Chemical Aging in Elastomers based on Crosslink Density Evolution

abstract: This paper presents a physics-based constitutive equation to predict the thermo-chemical aging in elastomers. High-temperature oxidation in elastomers is a complex phenomenon. The macromolecular network of elastomers' microstructures undergoes chain scission and crosslinking under high temperature and oxygen diffusion conditions. In this work, we modify the network stiffness and the chain extensibility in the Arruda-Boyce well-known eight-chain constitutive equation to incorporate the additional Helmholtz free energy due to network changes in elastomers' microstructures. The effect of network evolution due to aging in changing the shear modulus and the number of chain monomers is considered. The modification is based on chemical characterization tests, namely the equilibrium swelling experiment to measure the crosslink density evolution. The developed constitutive equation predicts the mechanical responses of thermo-chemically aged elastomers independent of any mechanical tests on aged samples. The proposed constitutive equation is validated with respect to a comprehensive set of experimental data available in the literature that were designed to capture thermo-chemical aging effects in elastomers. The comparison showed that the constitutive equation can accurately predict the intermittent tensile tests based on crosslink density evolution input. The developed constitutive equation is physics-based, simple, and includes minimal material parameters.


title: On the Complexity of Inverse Mixed Integer Linear Optimization

abstract: Inverse optimization is the problem of determining the values of missing input parameters for an associated forward problem that are closest to given estimates and that will make a given target vector optimal. This study is concerned with the relationship of a particular inverse mixed integer linear optimization problem (MILP) to both the forward problem and the separation problem associated with its feasible region. We show that a decision version of the inverse MILP in which a primal bound is verified is coNP-complete, whereas primal bound verification for the associated forward problem is NP-complete, and that the optimal value verification problems for both the inverse problem and the associated forward problem are complete for the complexity class D^P. We also describe a cutting-plane algorithm for solving inverse MILPs that illustrates the close relationship between the separation problem for the convex hull of solutions to a given MILP and the associated inverse problem. The inverse problem is shown to be equivalent to the separation problem for the radial cone defined by all inequalities that are both valid for the convex hull of solutions to the forward problem and binding at the target vector. Thus, the inverse, forward, and separation problems can be said to be equivalent.


title: A Unified Framework for Multistage and Multilevel Mixed Integer Linear Optimization

abstract: We introduce a unified framework for the study of multilevel mixed integer linear optimization problems and multistage stochastic mixed integer linear optimization problems with recourse. The framework highlights the common mathematical structure of the two problems and allows for the development of a common algorithmic framework. Focusing on the two-stage case, we investigate, in particular, the nature of the value function of the second-stage problem, highlighting its connection to dual functions and the theory of duality for mixed integer linear optimization problems, and summarize different reformulations. We then present two main solution techniques, one based on a Benders-like decomposition to approximate either the risk function or the value function, and the other one based on cutting plane generation.


title: Irredundance Trees of Diameter 3

abstract: A set D of vertices of a graph G with vertex set V is irredundant if each non-isolated vertex of G[D] has a neighbour in V-D that is not adjacent to any other vertex in D. The upper irredundance number IR(G) is the largest cardinality of an irredundant set of G; an IR(G)-set is an irredundant set of cardinality IR(G). The IR-graph of G has the IR(G)-sets as vertex set, and sets A and B are adjacent if and only if B can be obtained from A by exchanging a single vertex of A for an adjacent vertex in B. An IR-tree is an IR-graph that is a tree. We characterize IR-trees of diameter 3 by showing that these graphs are precisely the double stars S(2n,2n), i.e., trees obtained by joining the central vertices of two disjoint stars K_{1,2n}.


title: Scalable Bayesian Deep Learning with Kernel Seed Networks

abstract: This paper addresses the scalability problem of Bayesian deep neural networks. The performance of deep neural networks is undermined by the fact that these algorithms have poorly calibrated measures of uncertainty. This restricts their application in high risk domains such as computer aided diagnosis and autonomous vehicle navigation. Bayesian Deep Learning (BDL) offers a promising method for representing uncertainty in neural network. However, BDL requires a separate set of parameters to store the mean and standard deviation of model weights to learn a distribution. This results in a prohibitive 2-fold increase in the number of model parameters. To address this problem we present a method for performing BDL, namely Kernel Seed Networks (KSN), which does not require a 2-fold increase in the number of parameters. KSNs use 1x1 Convolution operations to learn a compressed latent space representation of the parameter distribution. In this paper we show how this allows KSNs to outperform conventional BDL methods while reducing the number of required parameters by up to a factor of 6.6.


title: Sentiment Classification in Swahili Language Using Multilingual BERT

abstract: The evolution of the Internet has increased the amount of information that is expressed by people on different platforms. This information can be product reviews, discussions on forums, or social media platforms. Accessibility of these opinions and peoples feelings open the door to opinion mining and sentiment analysis. As language and speech technologies become more advanced, many languages have been used and the best models have been obtained. However, due to linguistic diversity and lack of datasets, African languages have been left behind. In this study, by using the current state-of-the-art model, multilingual BERT, we perform sentiment classification on Swahili datasets. The data was created by extracting and annotating 8.2k reviews and comments on different social media platforms and the ISEAR emotion dataset. The data were classified as either positive or negative. The model was fine-tuned and achieve the best accuracy of 87.59%.


title: The search for continuous gravitational waves from small-ellipticity sources at low frequencies

abstract: We present the results of an all-sky search for continuous gravitational wave signals with frequencies in the 20-500 Hz range from neutron stars with ellipticity of 1e-8. This frequency region is particularly hard to probe because of the quadratic dependence of signal strength on frequency. The search employs the Falcon analysis pipeline on LIGO O2 public data. Compared to previous Falcon analyses the coherence length has been quadrupled, with a corresponding increase in sensitivity. This enables us to search for small ellipticity neutron stars in this low frequency region up to 44 pc away. The frequency derivative range is up to 3e-13 Hz/s easily accommodating sources with ellipticities of 1e-7 and a corresponding factor of 10 increase in reach. New outliers are found, many of which we are unable to associate with any instrumental cause.


title: Kernel Adversarial Learning for Real-world Image Super-resolution

abstract: Current deep image super-resolution (SR) approaches attempt to restore high-resolution images from down-sampled images or by assuming degradation from simple Gaussian kernels and additive noises. However, such simple image processing techniques represent crude approximations of the real-world procedure of lowering image resolution. In this paper, we propose a more realistic process to lower image resolution by introducing a new Kernel Adversarial Learning Super-resolution (KASR) framework to deal with the real-world image SR problem. In the proposed framework, degradation kernels and noises are adaptively modeled rather than explicitly specified. Moreover, we also propose an iterative supervision process and high-frequency selective objective to further boost the model SR reconstruction accuracy. Extensive experiments validate the effectiveness of the proposed framework on real-world datasets.


title: The cross-product conjecture for width two posets

abstract: The cross--product conjecture (CPC) of Brightwell, Felsner and Trotter (1995) is a two-parameter quadratic inequality for the number of linear extensions of a poset $P= (X, \prec)$ with given value differences on three distinct elements in $X$. We give two different proofs of this inequality for posets of width two. The first proof is algebraic and generalizes CPC to a four-parameter family. The second proof is combinatorial and extends CPC to a $q$-analogue. Further applications include relationships between CPC and other poset inequalities, including a new $q$-analogue of the Kahn--Saks inequality.


title: A Branch-and-Cut Algorithm for Mixed Integer Bilevel Linear Optimization Problems and Its Implementation

abstract: In this paper, we describe a comprehensive algorithmic framework for solving mixed integer bilevel linear optimization problems (MIBLPs) using a generalized branch-and-cut approach. The framework presented merges features from existing algorithms (for both traditional mixed integer linear optimization and MIBLPs) with new techniques to produce a flexible and robust framework capable of solving a wide range of bilevel optimization problems. The framework has been fully implemented in the open-source solver MibS. The paper describes the algorithmic options offered by MibS and presents computational results evaluating the effectiveness of the various options for the solution of a number of classes of bilevel optimization problems from the literature.


title: Few-shot Learning for Topic Modeling

abstract: Topic models have been successfully used for analyzing text documents. However, with existing topic models, many documents are required for training. In this paper, we propose a neural network-based few-shot learning method that can learn a topic model from just a few documents. The neural networks in our model take a small number of documents as inputs, and output topic model priors. The proposed method trains the neural networks such that the expected test likelihood is improved when topic model parameters are estimated by maximizing the posterior probability using the priors based on the EM algorithm. Since each step in the EM algorithm is differentiable, the proposed method can backpropagate the loss through the EM algorithm to train the neural networks. The expected test likelihood is maximized by a stochastic gradient descent method using a set of multiple text corpora with an episodic training framework. In our experiments, we demonstrate that the proposed method achieves better perplexity than existing methods using three real-world text document sets.


title: The sharp upper bound for the area of the nodal sets of Dirichlet Laplace eigenfunctions

abstract: Let $\Omega$ be a bounded domain in $\mathbb{R}^n$ with $C^{1}$ boundary and let $u_\lambda$ be a Dirichlet Laplace eigenfunction in $\Omega$ with eigenvalue $\lambda$. We show that the $(n-1)$-dimensional Hausdorff measure of the zero set of $u_\lambda$ does not exceed $C(\Omega)\sqrt{\lambda}$. This result is new even for the case of domains with $C^\infty$-smooth boundary.


title: Computation of the index of some meromorphic functions of degree 3 on tori

abstract: The index of a meromorphic function $g$ on a compact Riemann surface is an invariant of $g$, which is defined as the number of negative eigenvalues of the differential operator $L:=-{\Delta}-|dG|^2$, where ${\Delta}$ is the Laplacian with respect to a conformal metric $ds^2$ on the Riemann surface, $G \colon M \to S^2$ is the holomorphic map corresponding to $g$. We consider the meromorphic function $w$ on the Riemann surface $M_a= \{(z,w) \in\widehat{\mathbb{C}}^2 \mid w^2=z(z-a)(z+\frac{1}{a})\}(a \geqslant 1 )$ homeomorphic to a torus, and we determine the index of $tw$ for all $a$ in the range $1 \leqslant a \leqslant a_0$ (where $a_0$ can be numerically evaluated) and all $t>0$.


title: Multidimensional Scaling for Gene Sequence Data with Autoencoders

abstract: Multidimensional scaling of gene sequence data has long played a vital role in analysing gene sequence data to identify clusters and patterns. However the computation complexities and memory requirements of state-of-the-art dimensional scaling algorithms make it infeasible to scale to large datasets. In this paper we present an autoencoder-based dimensional reduction model which can easily scale to datasets containing millions of gene sequences, while attaining results comparable to state-of-the-art MDS algorithms with minimal resource requirements. The model also supports out-of-sample data points with a 99.5%+ accuracy based on our experiments. The proposed model is evaluated against DAMDS with a real world fungi gene sequence dataset. The presented results showcase the effectiveness of the autoencoder-based dimension reduction model and its advantages.


title: Labels, Information, and Computation: Efficient Learning Using Sufficient Labels

abstract: In supervised learning, obtaining a large set of fully-labeled training data is expensive. We show that we do not always need full label information on every single training example to train a competent classifier. Specifically, inspired by the principle of sufficiency in statistics, we present a statistic (a summary) of the fully-labeled training set that captures almost all the relevant information for classification but at the same time is easier to obtain directly. We call this statistic "sufficiently-labeled data" and prove its sufficiency and efficiency for finding the optimal hidden representations, on which competent classifier heads can be trained using as few as a single randomly-chosen fully-labeled example per class. Sufficiently-labeled data can be obtained from annotators directly without collecting the fully-labeled data first. And we prove that it is easier to directly obtain sufficiently-labeled data than obtaining fully-labeled data. Furthermore, sufficiently-labeled data is naturally more secure since it stores relative, instead of absolute, information. Extensive experimental results are provided to support our theory.


title: Testing the effect of resolution on gravitational fragmentation with Lagrangian hydrodynamic schemes

abstract: To study the resolution required for simulating gravitational fragmentation with newly developed Lagrangian hydrodynamic schemes, Meshless Finite Volume method (MFV) and Meshless Finite Mass method (MFM), we have performed a number of simulations of the Jeans test and compared the results with both the expected analytic solution and results from the more standard Lagrangian approach: Smoothed Particle Hydrodynamics (SPH). We find that the different schemes converge to the analytic solution when the diameter of a fluid element is smaller than a quarter of the Jeans wavelength, $\lambda_\mathrm{J}$. Among the three schemes, SPH/MFV shows the fastest/slowest convergence to the analytic solution. Unlike the well-known behaviour of Eulerian schemes, none of the Lagrangian schemes investigated displays artificial fragmentation when the perturbation wavelength, $\lambda$, is shorter than $\lambda_\mathrm{J}$, even at low numerical resolution. For larger wavelengths ($\lambda > \lambda_\mathrm{J}$) the growth of the perturbation is delayed when it is not well resolved. Furthermore, with poor resolution, the fragmentation seen with the MFV scheme proceeds very differently compared to the converged solution. All these results suggest that, when unresolved, the ratio of the magnitude of hydrodynamic force to that of self-gravity at the sub-resolution scale is the largest/smallest in MFV/SPH, the reasons for which we discussed in detail. These tests are repeated to investigate the effect of kernels of higher-order than the fiducial cubic spline. Our results indicate that the standard deviation of the kernel is a more appropriate definition of the size of a fluid element than its compact support radius.


title: A methodology to evaluate corroded RC structures using a probabilistic damage approach

abstract: Several aspects influence corrosive processes in RC structures, such as environmental conditions, structural geometry, and mechanical properties. Since these aspects present large randomnesses, probabilistic models allow a more accurate description of the corrosive phenomena. On the other hand, the definition of limit states, applied in the reliability assessment, requires a proper mechanical model. In this context, this study proposes an accurate methodology for the mechanical-probabilistic modelling of RC structures subjected to reinforcements' corrosion. To this purpose, an improved damage approach is proposed to define the limit states for the probabilistic modelling, considering three main degradation phenomena: concrete cracking, rebar yielding, and rebar corrosion caused either by chlorides or carbonation process. The stochastic analysis is evaluated by the Monte Carlo simulation method due to the computational efficiency of the LDMC. The proposed mechanical-probabilistic methodology is implemented in a computational framework and applied to the analysis of a simply supported RC beam, and a 2D RC frame. Curves illustrate the probability of failure over a service life of 50 years. Moreover, the proposed model allows drawing the probability of failure map and then identify the critical failure path for progressive collapse analysis. Collapse path changes caused by the corrosion phenomena are observed.


title: An Interdisciplinary Review of Music Performance Analysis

abstract: A musical performance renders an acoustic realization of a musical score or other representation of a composition. Different performances of the same composition may vary in terms of performance parameters such as timing or dynamics, and these variations may have a major impact on how a listener perceives the music. The analysis of music performance has traditionally been a peripheral topic for the MIR research community, where often a single audio recording is used as representative of a musical work. This paper surveys the field of Music Performance Analysis (MPA) from several perspectives including the measurement of performance parameters, the relation of those parameters to the actions and intentions of a performer or perceptual effects on a listener, and finally the assessment of musical performance. This paper also discusses MPA as it relates to MIR, pointing out opportunities for collaboration and future research in both areas.


title: The Effect of Spacetime Curvature on Statistical Distributions

abstract: The Boltzmann distribution of an ideal gas is determined by the Hamiltonian function generating single particle dynamics. Systems with higher complexity often exhibit topological constraints, which are independent of the Hamiltonian and may affect the shape of the distribution function as well. Here, we study a further source of heterogeneity, the curvature of spacetime arising from the general theory of relativity. The present construction relies on three assumptions: first, the statistical ensemble is made of particles obeying geodesic equations, which define the phase space of the system. Next, the metric coefficients are time-symmetric, implying that, if thermodynamic equilibrium is achieved, all physical observables are independent of coordinate time. Finally, ergodicity is enforced with respect to proper time, so that ambiguity in the choice of a time variable for the statistical ensemble is removed. Under these hypothesis, we derive the distribution function of thermodynamic equilibrium, and verify that it reduces to the Boltzmann distribution in the classical limit. We further show that spacetime curvature affects physical observables, even far from the source of the metric. Two examples are analyzed: an ideal gas in Schwarzschild spacetime and a charged gas in Kerr-Newman spacetime. In the Schwarzschild case, conservation of macroscopic constraints, such as angular momentum, combined with relativistic distortion of the distribution function can produce configurations with decreasing density and growing azimuthal rotation velocity far from the event horizon of the central mass. In the Kerr-Newman case, it is found that kinetic energy associated with azimuthal rotations is an increasing function of the radial coordinate, and it eventually approaches a constant value corresponding to classical equipartition, even though spatial particle density decreases.


title: On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility

abstract: Cyber-attacks on Industrial Automation and Control Systems (IACS) are rising in numbers and sophistication. Embedded controller devices such as Programmable Logic Controllers (PLCs), which are central to controlling physical processes, must be secured against attacks on confidentiality, integrity and availability. The focus of this paper is to add design-level support for security in IACS applications, especially around inter-PLC communications. We propose an end-to-end solution to develop IACS applications with inherent, and parametric support for security. Built using the IEC 61499 Function Blocks standard, this solution allows us to annotate certain communications as 'secure' during design time. When the application is compiled, these annotations are transformed into a security layer that implements encrypted communication between PLCs. In this paper, we implement a part of this security layer focussed on confidentiality, called Confidentiality Layer for Function Blocks (CL4FB), which provides a range of encryption/decryption and secure key exchange functionalities. We study the impact of using CL4FB in IACS applications with real-time constraints. Through a case study focussing on protection functions in smart-grids, we show that varying levels of confidentiality can be achieved while also meeting hard real-time deadlines.


title: Writing in The Air: Unconstrained Text Recognition from Finger Movement Using Spatio-Temporal Convolution

abstract: In this paper, we introduce a new benchmark dataset for the challenging writing in the air (WiTA) task -- an elaborate task bridging vision and NLP. WiTA implements an intuitive and natural writing method with finger movement for human-computer interaction (HCI). Our WiTA dataset will facilitate the development of data-driven WiTA systems which thus far have displayed unsatisfactory performance -- due to lack of dataset as well as traditional statistical models they have adopted. Our dataset consists of five sub-datasets in two languages (Korean and English) and amounts to 209,926 video instances from 122 participants. We capture finger movement for WiTA with RGB cameras to ensure wide accessibility and cost-efficiency. Next, we propose spatio-temporal residual network architectures inspired by 3D ResNet. These models perform unconstrained text recognition from finger movement, guarantee a real-time operation by processing 435 and 697 decoding frames-per-second for Korean and English, respectively, and will serve as an evaluation standard. Our dataset and the source codes are available at https://github.com/Uehwan/WiTA.


title: Tree Topologies along a Tropical Line Segment

abstract: Tropical geometry with the max-plus algebra has been applied to statistical learning models over tree spaces because geometry with the tropical metric over tree spaces has some nice properties such as convexity in terms of the tropical metric. One of the challenges in applications of tropical geometry to tree spaces is the difficulty interpreting outcomes of statistical models with the tropical metric. This paper focuses on combinatorics of tree topologies along a tropical line segment, an intrinsic geodesic with the tropical metric, between two phylogenetic trees over the tree space and we show some properties of a tropical line segment between two trees. Specifically we show that a probability of a tropical line segment of two randomly chosen trees going through the origin (the star tree) is zero if the number of leave is greater than four, and we also show that if two given trees differ only one nearest neighbor interchange (NNI) move, then the tree topology of a tree in the tropical line segment between them is the same tree topology of one of these given two trees with possible zero branch lengths.


title: Unsupervised Shape Completion via Deep Prior in the Neural Tangent Kernel Perspective

abstract: We present a novel approach for completing and reconstructing 3D shapes from incomplete scanned data by using deep neural networks. Rather than being trained on supervised completion tasks and applied on a testing shape, the network is optimized from scratch on the single testing shape, to fully adapt to the shape and complete the missing data using contextual guidance from the known regions. The ability to complete missing data by an untrained neural network is usually referred to as the deep prior. In this paper, we interpret the deep prior from a neural tangent kernel (NTK) perspective and show that the completed shape patches by the trained CNN are naturally similar to existing patches, as they are proximate in the kernel feature space induced by NTK. The interpretation allows us to design more efficient network structures and learning mechanisms for the shape completion and reconstruction task. Being more aware of structural regularities than both traditional and other unsupervised learning-based reconstruction methods, our approach completes large missing regions with plausible shapes and complements supervised learning-based methods that use database priors by requiring no extra training data set and showing flexible adaptation to a particular shape instance.


title: TFROM: A Two-sided Fairness-Aware Recommendation Model for Both Customers and Providers

abstract: At present, most research on the fairness of recommender systems is conducted either from the perspective of customers or from the perspective of product (or service) providers. However, such a practice ignores the fact that when fairness is guaranteed to one side, the fairness and rights of the other side are likely to reduce. In this paper, we consider recommendation scenarios from the perspective of two sides (customers and providers). From the perspective of providers, we consider the fairness of the providers' exposure in recommender system. For customers, we consider the fairness of the reduced quality of recommendation results due to the introduction of fairness measures. We theoretically analyzed the relationship between recommendation quality, customers fairness, and provider fairness, and design a two-sided fairness-aware recommendation model (TFROM) for both customers and providers. Specifically, we design two versions of TFROM for offline and online recommendation. The effectiveness of the model is verified on three real-world data sets. The experimental results show that TFROM provides better two-sided fairness while still maintaining a higher level of personalization than the baseline algorithms.


title: The MIT Humanoid Robot: Design, Motion Planning, and Control For Acrobatic Behaviors

abstract: Demonstrating acrobatic behavior of a humanoid robot such as flips and spinning jumps requires systematic approaches across hardware design, motion planning, and control. In this paper, we present a new humanoid robot design, an actuator-aware kino-dynamic motion planner, and a landing controller as part of a practical system design for highly dynamic motion control of the humanoid robot. To achieve the impulsive motions, we develop two new proprioceptive actuators and experimentally evaluate their performance using our custom-designed dynamometer. The actuator's torque, velocity, and power limits are reflected in our kino-dynamic motion planner by approximating the configuration-dependent reaction force limits and in our dynamics simulator by including actuator dynamics along with the robot's full-body dynamics. For the landing control, we effectively integrate model-predictive control and whole-body impulse control by connecting them in a dynamically consistent way to accomplish both the long-time horizon optimal control and high-bandwidth full-body dynamics-based feedback. Actuators' torque output over the entire motion are validated based on the velocity-torque model including battery voltage droop and back-EMF voltage. With the carefully designed hardware and control framework, we successfully demonstrate dynamic behaviors such as back flips, front flips, and spinning jumps in our realistic dynamics simulation.


title: Cyclic projections in Hadamard spaces

abstract: We show that cyclic products of projections onto convex subsets of Hadamard spaces can behave in a more complicated way than in Hilbert spaces, resolving a problem formulated by Miroslav Ba\v{c}\'ak. Namely, we construct an example of convex subsets in a Hadamard space such that the corresponding cyclic product of projections is not asymptotically regular.


title: Decentralized Inference with Graph Neural Networks in Wireless Communication Systems

abstract: Graph neural network (GNN) is an efficient neural network model for graph data and is widely used in different fields, including wireless communications. Different from other neural network models, GNN can be implemented in a decentralized manner with information exchanges among neighbors, making it a potentially powerful tool for decentralized control in wireless communication systems. The main bottleneck, however, is wireless channel impairments that deteriorate the prediction robustness of GNN. To overcome this obstacle, we analyze and enhance the robustness of the decentralized GNN in different wireless communication systems in this paper. Specifically, using a GNN binary classifier as an example, we first develop a methodology to verify whether the predictions are robust. Then, we analyze the performance of the decentralized GNN binary classifier in both uncoded and coded wireless communication systems. To remedy imperfect wireless transmission and enhance the prediction robustness, we further propose novel retransmission mechanisms for the above two communication systems, respectively. Through simulations on the synthetic graph data, we validate our analysis, verify the effectiveness of the proposed retransmission mechanisms, and provide some insights for practical implementation.


title: Global existence of a solution for isentropic gas flow in the Laval nozzle with a friction

abstract: We are concerned with isentropic gas flow in the Laval nozzle with a friction due to viscosity. It is well known that the flow attains the sonic state at the throat, where the cross section is minimum in the Laval nozzle. However, the present friction changes the position of the sonic state into downstream, which is called chooking. Our goal in this paper is to investigate this phenomena mathematically. From the mathematical point of view, the friction is different from normal frictions and difficult to treat with. In spite of its physical importance, the friction has not received much attention until now. For the case without friction, the global existence of a solution was obtained by author. However, for the case with the friction, there are only restrictive results. The most difficult point is to obtain the bounded estimate of solutions. To solve this problem, we introduce an invariant region depending on the mass. Adjusting the invariant region, we invent a new difference scheme, which yields approximate solutions including the mass.


title: Benchmarking the Benchmark -- Analysis of Synthetic NIDS Datasets

abstract: Network Intrusion Detection Systems (NIDSs) are an increasingly important tool for the prevention and mitigation of cyber attacks. A number of labelled synthetic datasets generated have been generated and made publicly available by researchers, and they have become the benchmarks via which new ML-based NIDS classifiers are being evaluated. Recently published results show excellent classification performance with these datasets, increasingly approaching 100 percent performance across key evaluation metrics such as accuracy, F1 score, etc. Unfortunately, we have not yet seen these excellent academic research results translated into practical NIDS systems with such near-perfect performance. This motivated our research presented in this paper, where we analyse the statistical properties of the benign traffic in three of the more recent and relevant NIDS datasets, (CIC, UNSW, ...). As a comparison, we consider two datasets obtained from real-world production networks, one from a university network and one from a medium size Internet Service Provider (ISP). Our results show that the two real-world datasets are quite similar among themselves in regards to most of the considered statistical features. Equally, the three synthetic datasets are also relatively similar within their group. However, and most importantly, our results show a distinct difference of most of the considered statistical features between the three synthetic datasets and the two real-world datasets. Since ML relies on the basic assumption of training and test datasets being sampled from the same distribution, this raises the question of how well the performance results of ML-classifiers trained on the considered synthetic datasets can translate and generalise to real-world networks. We believe this is an interesting and relevant question which provides motivation for further research in this space.