title: Convergence to minima for the continuous version of Backtracking Gradient Descent

abstract: The main result of this paper is: {\bf Theorem.} Let $f:\mathbb{R}^k\rightarrow \mathbb{R}$ be a $C^{1}$ function, so that $\nabla f$ is locally Lipschitz continuous. Assume moreover that $f$ is $C^2$ near its generalised saddle points. Fix real numbers $\delta_0>0$ and $0<\alpha <1$. Then there is a smooth function $h:\mathbb{R}^k\rightarrow (0,\delta_0]$ so that the map $H:\mathbb{R}^k\rightarrow \mathbb{R}^k$ defined by $H(x)=x-h(x)\nabla f(x)$ has the following property: (i) For all $x\in \mathbb{R}^k$, we have $f(H(x)))-f(x)\leq -\alpha h(x)||\nabla f(x)||^2$. (ii) For every $x_0\in \mathbb{R}^k$, the sequence $x_{n+1}=H(x_n)$ either satisfies $\lim_{n\rightarrow\infty}||x_{n+1}-x_n||=0$ or $ \lim_{n\rightarrow\infty}||x_n||=\infty$. Each cluster point of $\{x_n\}$ is a critical point of $f$. If moreover $f$ has at most countably many critical points, then $\{x_n\}$ either converges to a critical point of $f$ or $\lim_{n\rightarrow\infty}||x_n||=\infty$. (iii) There is a set $\mathcal{E}_1\subset \mathbb{R}^k$ of Lebesgue measure $0$ so that for all $x_0\in \mathbb{R}^k\backslash \mathcal{E}_1$, the sequence $x_{n+1}=H(x_n)$, {\bf if converges}, cannot converge to a {\bf generalised} saddle point. (iv) There is a set $\mathcal{E}_2\subset \mathbb{R}^k$ of Lebesgue measure $0$ so that for all $x_0\in \mathbb{R}^k\backslash \mathcal{E}_2$, any cluster point of the sequence $x_{n+1}=H(x_n)$ is not a saddle point, and more generally cannot be an isolated generalised saddle point. Some other results are proven.


title: Variational Representations related to Quantum R\'{e}nyi Relative Entropies

abstract: In this paper, we focus on variational representations of some matrix symmetric norm functions that are related to the quantum R\'{e}nyi relative entropy. Concretely, we obtain variational representations of the function (A,B)\mapsto \normmm{(B^{q/2}K^*A^pKB^{q/2})^s} for symmetric norms by using the H\"{o}lder inequality and Young inequality. These variational expressions enable us to make the proofs of the convexity/concavity of the trace function (A,B)\mapsto \tr (B^{q/2}K^*A^pKB^{q/2})^s more clear.


title: Optimal Installation of Solar Panels with Price Impact: a Solvable Singular Stochastic Control Problem

abstract: We consider a price-maker company which generates electricity and sells it in the spot market. The company can increase its level of installed power by irreversible installations of solar panels. In absence of the company's economic activities, the spot electricity price evolves as an Ornstein-Uhlenbeck process, and therefore it has a mean-reverting behavior. The current level of the company's installed power has a permanent impact on the electricity price and affects its mean-reversion level. The company aims at maximizing the total expected profits from selling electricity in the market, net of the total expected proportional costs of installation. This problem is modeled as a two-dimensional degenerate singular stochastic control problem in which the installation strategy is identified as the company's control variable. We follow a guess-and-verify approach to solve the problem. We find that the optimal installation strategy is triggered by a curve which separates the waiting region, where it is not optimal to install additional panels, and the installation region, where it is. Such a curve depends on the current level of the company's installed power, and is the unique strictly increasing function which solves a first-order ordinary differential equation (ODE). Finally, our study is complemented by a numerical analysis of the dependency of the optimal installation strategy on the model's parameters.


title: Approximate Uncertain Program

abstract: Chance constrained program where one seeks to minimize an objective over decisions which satisfy randomly disturbed constraints with a given probability is computationally intractable. This paper proposes an approximate approach to address chance constrained program. Firstly, a single layer neural-network is used to approximate the function from decision domain to violation probability domain. The algorithm for updating parameters in single layer neural-network adopts sequential extreme learning machine. Based on the neural violation probability approximate model, a randomized algorithm is then proposed to approach the optimizer in the probabilistic feasible domain of decision. In the randomized algorithm, samples are extracted from decision domain uniformly at first. Then, violation probabilities of all samples are calculated according to neural violation probability approximate model. The ones with violation probability higher than the required level are discarded. The minimizer in the remained feasible decision samples is used to update sampling policy. The policy converges to the optimal feasible decision. Numerical simulations are implemented to validate the proposed method for non-convex problems comparing with scenario approach and parallel randomized algorithm. The result shows that proposed method have improved performance.


title: Provable Computational and Statistical Guarantees for Efficient Learning of Continuous-Action Graphical Games

abstract: In this paper, we study the problem of learning the set of pure strategy Nash equilibria and the exact structure of a continuous-action graphical game with quadratic payoffs by observing a small set of perturbed equilibria. A continuous-action graphical game can possibly have an uncountable set of Nash euqilibria. We propose a $\ell_{12}-$ block regularized method which recovers a graphical game, whose Nash equilibria are the $\epsilon$-Nash equilibria of the game from which the data was generated (true game). Under a slightly stringent condition on the parameters of the true game, our method recovers the exact structure of the graphical game. Our method has a logarithmic sample complexity with respect to the number of players. It also runs in polynomial time.


title: Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features

abstract: With the widespread use of LBSs (Location-based Services), synthesizing location traces plays an increasingly important role in analyzing spatial big data while protecting user privacy. In particular, a synthetic trace that preserves a feature specific to a cluster of users (e.g., those who commute by train, those who go shopping) is important for various geo-data analysis tasks and for providing a synthetic location dataset. Although location synthesizers have been widely studied, existing synthesizers do not provide sufficient utility, privacy, or scalability, hence are not practical for large-scale location traces. To overcome this issue, we propose a novel location synthesizer called PPMTF (Privacy-Preserving Multiple Tensor Factorization). We model various statistical features of the original traces by a transition-count tensor and a visit-count tensor. We factorize these two tensors simultaneously via multiple tensor factorization, and train factor matrices via posterior sampling. Then we synthesize traces from reconstructed tensors, and perform a plausible deniability test for a synthetic trace. We comprehensively evaluate PPMTF using two datasets. Our experimental results show that PPMTF preserves various statistical features including cluster-specific features, protects user privacy, and synthesizes large-scale location traces in practical time. PPMTF also significantly outperforms the state-of-the-art methods in terms of utility and scalability at the same level of privacy.


title: Cumulo: A Dataset for Learning Cloud Classes

abstract: One of the greatest sources of uncertainty in future climate projections comes from limitations in modelling clouds and in understanding how different cloud types interact with the climate system. A key first step in reducing this uncertainty is to accurately classify cloud types at high spatial and temporal resolution. In this paper, we introduce Cumulo, a benchmark dataset for training and evaluating global cloud classification models. It consists of one year of 1km resolution MODIS hyperspectral imagery merged with pixel-width 'tracks' of CloudSat cloud labels. Bringing these complementary datasets together is a crucial first step, enabling the Machine-Learning community to develop innovative new techniques which could greatly benefit the Climate community. To showcase Cumulo, we provide baseline performance analysis using an invertible flow generative model (IResNet), which further allows us to discover new sub-classes for a given cloud class by exploring the latent space. To compare methods, we introduce a set of evaluation criteria, to identify models that are not only accurate, but also physically-realistic. CUMULO can be download from https://www.dropbox.com/sh/i3s9q2v2jjyk2it/AACxXnXfMF5wuIqLXqH4NJOra?dl=0 .


title: Unsupervised Training for Deep Speech Source Separation with Kullback-Leibler Divergence Based Probabilistic Loss Function

abstract: In this paper, we propose a multi-channel speech source separation with a deep neural network (DNN) which is trained under the condition that no clean signal is available. As an alternative to a clean signal, the proposed method adopts an estimated speech signal by an unsupervised speech source separation with a statistical model. As a statistical model of microphone input signal, we adopts a time-varying spatial covariance matrix (SCM) model which includes reverberation and background noise submodels so as to achieve robustness against reverberation and background noise. The DNN infers intermediate variables which are needed for constructing the time-varying SCM. Speech source separation is performed in a probabilistic manner so as to avoid overfitting to separation error. Since there are multiple intermediate variables, a loss function which evaluates a single intermediate variable is not applicable. Instead, the proposed method adopts a loss function which evaluates the output probabilistic signal directly based on Kullback-Leibler Divergence (KLD). Gradient of the loss function can be back-propagated into the DNN through all the intermediate variables. Experimental results under reverberant conditions show that the proposed method can train the DNN efficiently even when the number of training utterances is small, i.e., 1K.


title: Learning Preferences and Demands in Visual Recommendation

abstract: Visual information is an important factor in recommender systems, in which users' selections consist of two components: \emph{preferences} and \emph{demands}. Some studies has been done for modeling users' preferences in visual recommendation. However, conventional methods models items in a common visual feature space, which may fail in capturing \emph{styles} of items. We propose a DeepStyle method for learning style features of items. DeepStyle eliminates the categorical information of items, which is dominant in the original visual feature space, based on a Convolutional Neural Networks (CNN) architecture. For modeling users' demands on different categories of items, the problem can be formulated as recommendation with contextual and sequential information. To solve this problem, we propose a Context-Aware Gated Recurrent Unit (CA-GRU) method, which can capture sequential and contextual information simultaneously. Furthermore, the aggregation of prediction on preferences and demands, i.e., prediction generated by DeepStyle and CA-GRU, can model users' selection behaviors more completely. Experiments conducted on real-world datasets illustrates the effectiveness of our proposed methods in visual recommendation.


title: Leading isospin breaking effects in the hadronic vacuum polarisation with open boundaries

abstract: We discuss leading isospin breaking effects in the hadronic vacuum polarisation required for the investigation of the hadronic contribution to $(g-2)_{\mu}$. The calculation proceeds by expanding the relevant correlation functions around the isosymmetric limit. Isosymmetric observables are evaluated on gauge ensembles with $N_{f}=2+1$, $O(a)$ improved Wilson fermions and open boundary conditions generated by the CLS effort. Particular emphasis is placed on the relevant quark-disconnected diagrams required for a complete treatment of leading isospin breaking effects in the valence quark sector. We provide a detailed discussion of the renormalisation of the vector current in QCD+QED taking operator mixing into account.


title: PVN3D: A Deep Point-wise 3D Keypoints Voting Network for 6DoF Pose Estimation

abstract: In this work, we present a novel data-driven method for robust 6DoF object pose estimation from a single RGBD image. Unlike previous methods that directly regressing pose parameters, we tackle this challenging task with a keypoint-based approach. Specifically, we propose a deep Hough voting network to detect 3D keypoints of objects and then estimate the 6D pose parameters within a least-squares fitting manner. Our method is a natural extension of 2D-keypoint approaches that successfully work on RGB based 6DoF estimation. It allows us to fully utilize the geometric constraint of rigid objects with the extra depth information and is easy for a network to learn and optimize. Extensive experiments were conducted to demonstrate the effectiveness of 3D-keypoint detection in the 6D pose estimation task. Experimental results also show our method outperforms the state-of-the-art methods by large margins on several benchmarks. Code and video are available at https://github.com/ethnhe/PVN3D.git.


title: Statistical Analysis of weather variables of Antofagasta

abstract: The statistical behavior of weather variables of Antofagasta is described, especially the daily data of air as temperature, pressure and relative humidity measured at 08:00, 14:00 and 20:00. In this article, we use a time series deseasonalization technique, Q-Q plot, skewness, kurtosis and the Pearson correlation coefficient. We found that the distributions of the records are symmetrical and have positive kurtosis, so they have heavy tails. In addition, the variables are highly autocorrelated, extending up to one year in the case of pressure and temperature.


title: Finsler space-time in light of Segal's principle

abstract: ISIM(2) symmetry group of Cohen and Glashow's very special relativity is unstable with respect to small deformations of its underlying algebraic structure and according to Segal's principle cannot be a true symmetry of nature. However, like special relativity, which is a very good description of nature thanks to the smallness of the cosmological constant, which characterizes the deformation of the Poincare group, the very special relativity can also be a very good approximation thanks to the smallness of the dimensionless parameter characterizing the deformation of ISIM(2).


title: Classification of tokamak plasma confinement states with convolutional recurrent neural networks

abstract: During a tokamak discharge, the plasma can vary between different confinement regimes: Low (L), High (H) and, in some cases, a temporary (intermediate state), called Dithering (D). In addition, while the plasma is in H mode, Edge Localized Modes (ELMs) can occur. The automatic detection of changes between these states, and of ELMs, is important for tokamak operation. Motivated by this, and by recent developments in Deep Learning (DL), we developed and compared two methods for automatic detection of the occurrence of L-D-H transitions and ELMs, applied on data from the TCV tokamak. These methods consist in a Convolutional Neural Network (CNN) and a Convolutional Long Short Term Memory Neural Network (Conv-LSTM). We measured our results with regards to ELMs using ROC curves and Youden's score index, and regarding state detection using Cohen's Kappa Index.


title: Mittag-Leffler functions in superstatistics

abstract: Nowadays, there is a series of complexities in biophysics that require a suitable approach to determine the measurable quantity. In this way, the superstatistics has been an important tool to investigate dynamic aspects of particles, organisms and substances immersed in systems with non-homogeneous temperatures (or diffusivity). The superstatistics admits a general Boltzmann factor that depends on the distribution of intensive parameters $\beta$ (inverse-diffusivity). Each value of intensive parameter is associated with a local equilibrium in the system. In this work, we investigate the consequences of Mittag-Leffler function on the definition of f-distribution of a complex system. Thus, using the techniques belonging to the fractional calculus with non-singular kernels, we constructed a distribution to intensive parameters using the Mittag-Leffler function. This function implies distributions with power-law behaviour to high energy values in the context of Cohen-Beck superstatistics. This work aims to present the generalised probabilities distribution in statistical mechanics under a new perspective of the Mittag-Leffler function inspired in Atangana-Baleanu and Prabhakar forms.

categories: cond-mat.stat-mech math-ph math.MP physics.data-an stat.OT


title: Strong anomalous diffusion in two-state process with L\'{e}vy walk and Brownian motion

abstract: Strong anomalous diffusion phenomena are often observed in complex physical and biological systems, which are characterized by the nonlinear spectrum of exponents $q\nu(q)$ by measuring the absolute $q$-th moment $\langle |x|^q\rangle$. This paper investigates the strong anomalous diffusion behavior of a two-state process with L\'{e}vy walk and Brownian motion, which usually serves as an intermittent search process. The sojourn times in L\'{e}vy walk and Brownian phases are taken as power law distributions with exponents $\alpha_+$ and $\alpha_-$, respectively. Detailed scaling analyses are performed for the coexistence of three kinds of scalings in this system. Different from the pure L\'{e}vy walk, the phenomenon of strong anomalous diffusion can be observed for this two-state process even when the distribution exponent of L\'{e}vy walk phase satisfies $\alpha_+<1$, provided that $\alpha_-<\alpha_+$. When $\alpha_+<2$, the probability density function (PDF) in the central part becomes a combination of stretched L\'{e}vy distribution and Gaussian distribution due to the long sojourn time in Brownian phase, while the PDF in the tail part (in the ballistic scaling) is still dominated by the infinite density of L\'{e}vy walk.


title: PoshakNet: Framework for matching dresses from real-life photos using GAN and Siamese Network

abstract: Online garment shopping has gained many customers in recent years. Describing a dress using keywords does not always yield the proper results, which in turn leads to dissatisfaction of customers. A visual search based system will be enormously beneficent to the industry. Hence, we propose a framework that can retrieve similar clothes that can be found in an image. The first task is to extract the garment from the input image (street photo). There are various challenges for that, including pose, illumination, and background clutter. We use a Generative Adversarial Network for the task of retrieving the garment that the person in the image was wearing. It has been shown that GAN can retrieve the garment very efficiently despite the challenges of street photos. Finally, a siamese based matching system takes the retrieved cloth image and matches it with the clothes in the dataset, giving us the top k matches. We take a pre-trained inception-ResNet v1 module as a siamese network (trained using triplet loss for face detection) and fine-tune it on the shopping dataset using center loss. The dataset has been collected inhouse. For training the GAN, we use the LookBook dataset, which is publically available.


title: Molecular Simulations for the Spectroscopic Detection of Atmospheric Gases

abstract: Unambiguously identifying molecules in spectra is of fundamental importance for a variety of scientific and industrial uses. Interpreting atmospheric spectra for the remote detection of volatile compounds requires information about the spectrum of each relevant molecule. However, spectral data currently exist for a few hundred molecules and only a fraction of those have complete spectra (e.g. H$_2$O, NH$_3$). Consequently, molecular detections in atmospheric spectra remain vulnerable to false positives, false negatives, and missassignments. There is a key need for spectral data for a broad range of molecules. Given how challenging it is to obtain high-resolution molecular spectra, there is great value in creating intermediate approximate spectra that can provide a starting point for the analysis of atmospheric spectra. Using a combination of experimental measurements, organic chemistry, and quantum mechanics, RASCALL (Rapid Approximate Spectral Calculations for ALL) is a computational approach that provides approximate spectral data for any given molecule, including thousands of potential atmospheric gases, in seconds. RASCALL 1.0 simulates molecular spectra by interpreting functional group data from experimental and theoretical sources to estimate the position and strength of molecular bands. The RASCALL 1.0 spectra consist of approximate band centers and qualitative intensities. RASCALL can also be used to study spectral patterns between molecules, and to highlight ambiguities in molecular detections. The RASCALL catalogue, and its preliminary version RASCALL 1.0, contains spectral data for more molecules than any other publicly available database, with applications in all fields interested in the detection of molecules in the gas phase. The preliminary catalogue of molecular data and associated documentation are freely available online and will be routinely updated.

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


title: Hybrid Precoding for Multi-User Millimeter Wave Massive MIMO Systems: A Deep Learning Approach

abstract: In multi-user millimeter wave (mmWave) multiple-input-multiple-output (MIMO) systems, hybrid precoding is a crucial task to lower the complexity and cost while achieving a sufficient sum-rate. Previous works on hybrid precoding were usually based on optimization or greedy approaches. These methods either provide higher complexity or have sub-optimum performance. Moreover, the performance of these methods mostly relies on the quality of the channel data. In this work, we propose a deep learning (DL) framework to improve the performance and provide less computation time as compared to conventional techniques. In fact, we design a convolutional neural network for MIMO (CNN-MIMO) that accepts as input an imperfect channel matrix and gives the analog precoder and combiners at the output. The procedure includes two main stages. First, we develop an exhaustive search algorithm to select the analog precoder and combiners from a predefined codebook maximizing the achievable sum-rate. Then, the selected precoder and combiners are used as output labels in the training stage of CNN-MIMO where the input-output pairs are obtained. We evaluate the performance of the proposed method through numerous and extensive simulations and show that the proposed DL framework outperforms conventional techniques. Overall, CNN-MIMO provides a robust hybrid precoding scheme in the presence of imperfections regarding the channel matrix. On top of this, the proposed approach exhibits less computation time with comparison to the optimization and codebook based approaches.


title: Physics-guided Design and Learning of Neural Networks for Predicting Drag Force on Particle Suspensions in Moving Fluids

abstract: Physics-based simulations are often used to model and understand complex physical systems and processes in domains like fluid dynamics. Such simulations, although used frequently, have many limitations which could arise either due to the inability to accurately model a physical process owing to incomplete knowledge about certain facets of the process or due to the underlying process being too complex to accurately encode into a simulation model. In such situations, it is often useful to rely on machine learning methods to fill in the gap by learning a model of the complex physical process directly from simulation data. However, as data generation through simulations is costly, we need to develop models, being cognizant of data paucity issues. In such scenarios it is often helpful if the rich physical knowledge of the application domain is incorporated in the architectural design of machine learning models. Further, we can also use information from physics-based simulations to guide the learning process using aggregate supervision to favorably constrain the learning process. In this paper, we propose PhyDNN, a deep learning model using physics-guided structural priors and physics-guided aggregate supervision for modeling the drag forces acting on each particle in a Computational Fluid Dynamics-Discrete Element Method(CFD-DEM). We conduct extensive experiments in the context of drag force prediction and showcase the usefulness of including physics knowledge in our deep learning formulation both in the design and through learning process. Our proposed PhyDNN model has been compared to several state-of-the-art models and achieves a significant performance improvement of 8.46% on average across all baseline models. The source code has been made available and the dataset used is detailed in [1, 2].


title: Recognition of Images of Korean Characters Using Embedded Networks

abstract: Despite the significant success in the field of text recognition, complex and unsolved problems still exist in this field. In recent years, the recognition accuracy of the English language has greatly increased, while the problem of recognition of hieroglyphs has received much less attention. Hieroglyph recognition or image recognition with Korean, Japanese or Chinese characters have differences from the traditional text recognition task. This article discusses the main differences between hieroglyph languages and the Latin alphabet in the context of image recognition. A light-weight method for recognizing images of the hieroglyphs is proposed and tested on a public dataset of Korean hieroglyph images. Despite the existing solutions, the proposed method is suitable for mobile devices. Its recognition accuracy is better than the accuracy of the open-source OCR framework. The presented method of training embedded net bases on the similarities in the recognition data.


title: Negativity-Mutual Information conversion and coherence in two-coupled harmonic oscillators

abstract: Quantum information is a common topic of research in many areas of quantum physics, such as quantum communication and quantum computation, as well as quantum thermodynamics. It can be encoded in discrete or continuous variable systems, with the appropriated formalism to treat it generally depending on the quantum system to be chosen. For continuous variable systems, it is convenient to employ a quasi-probability function to represent quantum states and non-classical signatures. The Wigner function is a special quasi-probability function because it allows to describe a quantum system in the phase space very similar to the classical one. In this work we consider some informational aspects of two-mode continuous variables systems. In particular we illustrate how the mutual information may be useful to transfer the non-Gaussianity property between two states. Moreover, the coherence of a Gaussian state is studied when the system is coupled to a thermal reservoir but also with an extra single-mode Gaussian state. Our results may be, in principle, investigated in trapped ions setups, where the two-mode system can be encoded in the vibrational modes of the ion.


title: Underwater Optical Communication System Relayed by $\alpha-\mu$ Fading Channel: Outage, Capacity and Asymptotic Analysis

abstract: We investigate underwater optical communication system that is relayed by a single decode-and-forward (DF) relay through an exponential-generalized Gamma distribution (EGG) into a final destination. Specifically, a certain terminal device sends data through underwater wireless optical link (UWO) that utilizes the so-called blue laser technology into a nearby relay that in term sends a decoded (and modulated) version of the received signal into a remote destination. The RF link is assumed to follow the generalized $\alpha-\mu$ distribution; which include many distributions as a special cases, e.g., Rayleigh. In the other hand, the UWO link is presumed to follow the state-of-art Exponential-Generalized Gamma distribution (EGG) which was recently proposed to model the underwater optical turbulence. Closed-form expressions of outage probability, average error rate and ergodic capacity are derived assuming heterodyne detection technique (HD). Also, asymptotic outage expression is obtained for more performance insights. Results show that high achievable rate is obtained for high-speed underwater communication systems when turbulence conditions underwater are relatively weak. In addition, the RF link is dominating the outage performance in weak optical turbulence while UWO link is dominating the outage performance in severe optical turbulence.


title: Boosting LSTM Performance Through Dynamic Precision Selection

abstract: The use of low numerical precision is a fundamental optimization included in modern accelerators for Deep Neural Networks (DNNs). The number of bits of the numerical representation is set to the minimum precision that is able to retain accuracy based on an offline profiling, and it is kept constant for DNN inference. In this work, we explore the use of dynamic precision selection during DNN inference. We focus on Long Short Term Memory (LSTM) networks, which represent the state-of-the-art networks for applications such as machine translation and speech recognition. Unlike conventional DNNs, LSTM networks remember information from previous evaluations by storing data in the LSTM cell state. Our key observation is that the cell state determines the amount of precision required: time steps where the cell state changes significantly require higher precision, whereas time steps where the cell state is stable can be computed with lower precision without any loss in accuracy. Based on this observation, we implement a novel hardware scheme that tracks the evolution of the elements in the LSTM cell state and dynamically selects the appropriate precision in each time step. For a set of popular LSTM networks, our scheme selects the lowest precision for more than 66% of the time, outperforming systems that fix the precision statically. We evaluate our proposal on top of a modern accelerator highly optimized for LSTM computation, and show that it provides 1.56x speedup and 23% energy savings on average without any loss in accuracy. The extra hardware to determine the appropriate precision represents a small area overhead of 8.8%.


title: Isomorphism questions for metric ultraproducts of finite quasisimple groups

abstract: New results on metric ultraproducts of finite simple groups are established. We show that the isomorphism type of a simple metric ultraproduct of groups $X_{n_i}(q)$ ($i\in I$) for $X\in\{{\rm PGL},{\rm PSp},{\rm PGO}^{(\varepsilon)},{\rm PGU}\}$ ($\varepsilon=\pm$) along an ultrafilter $\mathcal{U}$ on the index set $I$ for which $n_i\to_{\mathcal{U}}\infty$ determines the type $X$ and the field size $q$ up to the possible isomorphism of a metric ultraproduct of groups ${\rm PSp}_{n_i}(q)$ and a metric ultraproduct of groups ${\rm PGO}_{n_i}^{(\varepsilon)}(q)$. This extends results of Thom and Wilson.


title: Hessian estimate for semiconvex solutions to the sigma-2 equation

abstract: We derive a priori interior Hessian estimates for semiconvex solutions to the sigma-2 equation. An elusive Jacobi inequality, a transformation rule under the Legendre-Lewy transform, and a mean value inequality for the still nonuniformly elliptic equation without area structure are the key to our arguments. Previously, this result was known for almost convex solutions.


title: Preliminary demonstration of flexible dual-energy X-ray phase-contrast imaging

abstract: Currently, dual-energy X-ray phase contrast imaging is usually conducted with an X-ray Talbot-Lau interferometer. However, in this system, the two adopted energy spectra have to be chosen carefully in order to match well with the phase grating. For example, the accelerating voltages of the X-ray tube are supposed to be respectively set as 40 kV and 70 kV, with other energy spectra being practically unusable for dual energy imaging. This system thus has low flexibility and maneuverability in practical applications. In this work, dual energy X-ray phase-contrast imaging is performed in a grating-based non-interferometric imaging system rather than in a Talbot-Lau interferometer. The advantage of this system is that, theoretically speaking, any two separated energy spectra can be utilized to perform dual energy X-ray phase-contrast imaging. The preliminary experimental results show that dual-energy X-ray phase contrast imaging is successfully performed when the accelerating voltages of the X-ray tube are successively set as 40 kV and 50 kV. Our work increases the flexibility and maneuverability when employing dual-energy X-ray phase-contrast imaging in medical diagnoses and nondestructive tests.


title: Modified commutators are not sufficient to determine a quantum gravity minimal length scale

abstract: In quantum gravity it is generally thought that a modified commutator of the form $[{\hat x}, {\hat p}] = i \hbar (1 + \beta p^2)$ is sufficient to give rise to a minimum length scale. We test this assumption and find that different pairs of modified operators can lead to the same modified commutator and yet give different or even no minimal length. The conclusion is that the modification of the operators is the main factor in determining whether there is a minimal length. This fact - that it is the specific form of the modified operators which determine the existence or not of a minimal length scale - can be used to keep or reject specific modifications of the position and momentum operators in theory of quantum gravity.


title: A polynomial kernel for $3$-leaf power deletion

abstract: For a non-negative integer $\ell$, the $\ell$-leaf power of a tree $T$ is a simple graph $G$ on the leaves of $T$ such that two vertices are adjacent in $G$ if and only if their distance in $T$ is at most $\ell$. We provide a polynomial kernel for the problem of deciding whether we can delete at most $k$ vertices to make an input graph a $3$-leaf power of some tree. More specifically, we present a polynomial-time algorithm for an input instance $(G,k)$ for the problem to output an equivalent instance $(G',k')$ such that $k'\leq k$ and $G'$ has at most $O(k^{14})$ vertices.


title: Methods for Stabilizing Models across Large Samples of Projects (with case studies on Predicting Defect and Project Health)

abstract: Despite decades of research, SE lacks widely accepted models (that offer precise quantitative stable predictions) about what factors most influence software quality. This paper provides a promising result showing such stable models can be generated using a new transfer learning framework called "STABILIZER". Given a tree of recursively clustered projects (using project meta-data), STABILIZER promotes a model upwards if it performs best in the lower clusters (stopping when the promoted model performs worse than the models seen at a lower level). The number of models found by STABILIZER is minimal: one for defect prediction (756 projects) and less than a dozen for project health (1628 projects). Hence, via STABILIZER, it is possible to find a few projects which can be used for transfer learning and make conclusions that hold across hundreds of projects at a time. Further, the models produced in this manner offer predictions that perform as well or better than the prior state-of-the-art. To the best of our knowledge, STABILIZER is order of magnitude faster than the prior state-of-the-art transfer learners which seek to find conclusion stability, and these case studies are the largest demonstration of the generalizability of quantitative predictions of project quality yet reported in the SE literature. In order to support open science, all our scripts and data are online at https://github.com/Anonymous633671/STABILIZER.


title: Semiclosed projections and applications

abstract: We characterize the semiclosed projections and apply them to compute the Schur complement of a selfadjoint operator with respect to a closed subspace. These projections occur naturally when dealing with weak complementability.


title: Self-training with Noisy Student improves ImageNet classification

abstract: We present Noisy Student Training, a semi-supervised learning approach that works well even when labeled data is abundant. Noisy Student Training achieves 88.4% top-1 accuracy on ImageNet, which is 2.0% better than the state-of-the-art model that requires 3.5B weakly labeled Instagram images. On robustness test sets, it improves ImageNet-A top-1 accuracy from 61.0% to 83.7%, reduces ImageNet-C mean corruption error from 45.7 to 28.3, and reduces ImageNet-P mean flip rate from 27.8 to 12.2. Noisy Student Training extends the idea of self-training and distillation with the use of equal-or-larger student models and noise added to the student during learning. On ImageNet, we first train an EfficientNet model on labeled images and use it as a teacher to generate pseudo labels for 300M unlabeled images. We then train a larger EfficientNet as a student model on the combination of labeled and pseudo labeled images. We iterate this process by putting back the student as the teacher. During the learning of the student, we inject noise such as dropout, stochastic depth, and data augmentation via RandAugment to the student so that the student generalizes better than the teacher. Models are available at https://github.com/tensorflow/tpu/tree/master/models/official/efficientnet. Code is available at https://github.com/google-research/noisystudent.


title: Dyonic and magnetic black holes with nonlinear arcsin-electrodynamics

abstract: Dyonic and magnetic black holes solutions with spherically symmetric configurations in general relativity are obtained. Black holes possessing electric and magnetic charges are studied where the source of the gravitational field is electromagnetic fields obeying the arcsin-electrodynamics. We find corrections to Coulomb's law and Reissner - Nordstr\"{o}m solutions. The principles of causality and unitarity are investigated. We obtain the Hawking temperature and it was shown that at some event horizons there are second-order phase transitions.


title: Kernelized Similarity Learning and Embedding for Dynamic Texture Synthesis

abstract: Dynamic texture (DT) exhibits statistical stationarity in the spatial domain and stochastic repetitiveness in the temporal dimension, indicating that different frames of DT possess a high similarity correlation that is critical prior knowledge. However, existing methods cannot effectively learn a promising synthesis model for high-dimensional DT from a small number of training data. In this paper, we propose a novel DT synthesis method, which makes full use of similarity prior knowledge to address this issue. Our method bases on the proposed kernel similarity embedding, which not only can mitigate the high-dimensionality and small sample issues, but also has the advantage of modeling nonlinear feature relationship. Specifically, we first raise two hypotheses that are essential for DT model to generate new frames using similarity correlation. Then, we integrate kernel learning and extreme learning machine into a unified synthesis model to learn kernel similarity embedding for representing DT. Extensive experiments on DT videos collected from the internet and two benchmark datasets, i.e., Gatech Graphcut Textures and Dyntex, demonstrate that the learned kernel similarity embedding can effectively exhibit the discriminative representation for DT. Accordingly, our method is capable of preserving the long-term temporal continuity of the synthesized DT sequences with excellent sustainability and generalization. Meanwhile, it effectively generates realistic DT videos with fast speed and low computation, compared with the state-of-the-art methods. The code and more synthesis videos are available at our project page https://shiming-chen.github.io/Similarity-page/Similarit.html.


title: Decoding Imagined Speech and Computer Control using Brain Waves

abstract: In this work, we explore the possibility of decoding Imagined Speech brain waves using machine learning techniques. We propose a covariance matrix of Electroencephalogram channels as input features, projection to tangent space of covariance matrices for obtaining vectors from covariance matrices, principal component analysis for dimension reduction of vectors, an artificial feed-forward neural network as a classification model and bootstrap aggregation for creating an ensemble of neural network models. After the classification, two different Finite State Machines are designed that create an interface for controlling a computer system using an Imagined Speech-based BCI system. The proposed approach is able to decode the Imagined Speech signal with a maximum mean classification accuracy of 85% on binary classification task of one long word and a short word. We also show that our proposed approach is able to differentiate between imagined speech brain signals and rest state brain signals with maximum mean classification accuracy of 94%. We compared our proposed method with other approaches for decoding imagined speech and show that our approach performs equivalent to the state of the art approach on decoding long vs. short words and outperforms it significantly on the other two tasks of decoding three short words and three vowels with an average margin of 11% and 9%, respectively. We also obtain an information transfer rate of 21-bits-per-minute when using an IS based system to operate a computer. These results show that the proposed approach is able to decode a wide variety of imagined speech signals without any human-designed features.


title: Using Fibonacci Number to Integrate 2x2 and 3x3 Martices

abstract: The aim of this paper is to make the clarification of images faster by the formula that Franciszekn made for matrices integrations and this made Sukhvinders Algorithm complicate and slower. This paper uses the Fibonacci number to determine integration formulas for matrices of order 2 and 3 in order to make the process of images clarification shorter.


title: $\alpha$-Q-fuzzy Subgroups

abstract: In this paper, the notations of $\alpha$-Q-fuzzy subset and $\alpha$-Q-fuzzy subgroup are introduced, and necessary properties related to these two concepts are proven. In the past part in this work, the effect of the $\alpha$-Q-fuzzy subgroup on the image and inverse-image under group anti-homomorphism are studied.


title: Characterization of density oscillations in confined and degenerate Fermi gases

abstract: Friedel oscillations appear in density of Fermi gases due to Pauli exclusion principle and translational symmetry breaking nearby a defect or impurity. In confined Fermi gases, this symmetry breaking occurs also near to boundaries. Here, density oscillations of a degenerate and confined Fermi gas are considered and characterized. True nature of density oscillations are represented by analytical formulas for degenerate conditions. Analytical characterization is first done for completely degenerate case, then temperature effects are also incorporated with a finer approximation. Envelope functions defining the upper and lower bounds of these oscillations are determined. It is shown that the errors of obtained expressions are negligible as long as the system is degenerate. Numbers, amplitudes, averages and spatial coordinates of oscillations are also given by analytical expressions. The results may be helpful to efficiently predict and easily calculate the oscillations in density and density-dependent properties of confined electrons at nanoscale.


title: A New Type of Weakly Commutative Groups

abstract: The aim of the present paper is to define and study a new class of groups, namely Wm-groups with a single binary operation based on axioms of semi commutativity, right identity and left inverse. Moreover, we introduce the notions of right cosets, quotient Wm-groups, homomorphisms, kernel and normal Wm-subgroups in terms of Wm-groups, and investigate some of their properties.


title: Modules of infinite projective dimension

abstract: We characterize the modules of infinite projective dimension over the endomorphism algebras of Opperman-Thomas cluster tilting objects $X$ in $(n+2)$-angulated categories $(\mathcal C,\Sigma^n,\Theta)$. For an indecomposable object $M$ of $\mathcal C$, we define in this article the ideal $I_M$ of ${\rm End}_{\mathcal C}(\Sigma^nX)$ given by all endomorphisms that factor through ${\rm add} M$, and show that the ${\rm End}_{\mathcal C}(X)$-module ${\rm Hom}_{\mathcal C}(X,M)$ has infinite projective dimension precisely when $I_M$ is non-zero. As an application, we generalize a recent result by Beaudet-Br\"{u}stle-Todorov for cluster-tilted algebras.


title: Voice Activity Detection in presence of background noise using EEG

abstract: In this paper we demonstrate that performance of voice activity detection (VAD) system operating in presence of background noise can be improved by concatenating acoustic input features with electroencephalography (EEG) features. We also demonstrate that VAD using only EEG features shows better performance than VAD using only acoustic features in presence of background noise. We implemented a recurrent neural network (RNN) based VAD system and we demonstrate our results for two different data sets recorded in presence of different noise conditions in this paper. We finally demonstrate the ability to predict whether a person wish to continue speaking a sentence or not from EEG features.


title: A Short Proof of K\"othe's Conjecture for Compact Rings

abstract: We provide a new proof that the upper nilradical of a compact ring coincides with the sum of its left nil ideals using the properties of orthogonal idempotents in compact rings.


title: AI-Based Autonomous Line Flow Control via Topology Adjustment for Maximizing Time-Series ATCs

abstract: This paper presents a novel AI-based approach for maximizing time-series available transfer capabilities (ATCs) via autonomous topology control considering various practical constraints and uncertainties. Several AI techniques including supervised learning and deep reinforcement learning (DRL) are adopted and improved to train effective AI agents for achieving the desired performance. First, imitation learning (IL) is used to provide a good initial policy for the AI agent. Then, the agent is trained by DRL algorithms with a novel guided exploration technique, which significantly improves the training efficiency. Finally, an Early Warning (EW) mechanism is designed to help the agent find good topology control strategies for long testing periods, which helps the agent to determine action timing using power system domain knowledge; thus, effectively increases the system error-tolerance and robustness. Effectiveness of the proposed approach is demonstrated in the "2019 Learn to Run a Power Network (L2RPN)" global competition, where the developed AI agents can continuously and safely control a power grid to maximize ATCs without operator's intervention for up to 1-month's operation data and eventually won the first place in both development and final phases of the competition. The winning agent has been open-sourced on GitHub.


title: Study of the 13CO/C18O abundance ratio towards the filamentary infrared dark cloud IRDC 34.43+0.24

abstract: Nowadays there are several observational studies about the 13CO/C18O abundance ratio (X) towards nearby molecular clouds. These works give observational support to the C18O selective photodissociation due to the interaction between the FUV radiation and the molecular gas. It is necessary to increase the sample of molecular clouds located at different distances and affected in different ways by nearby or embedded HII regions and OB associations to study the selective photodissociation. Using 12CO, 13CO, and C18O J=1-0 data obtained from the FOREST Survey, we analyze the filamentary infrared dark cloud IRDC34.43+0.24 located at the distance of about 3.9 kpc. This IRDC is related to several HII regions and YSOs. Assuming LTE we obtain: 0.8x10^16<N(13CO)<4x10^17cm^-2, 0.6x10^15<N(C18O)<4.4x10^16cm^-2, and 3<X<30 across the whole IRDC. Larger values of X were found towards portions of the cloud related to the HII regions associated with the N61 and N62 bubbles and with the photodissociation regions (PDRs), precisely the regions in which FUV photons are strongly interacting with the molecular gas. Our result represents an observational support to the C18O selectively photodissociation phenomenon occurring in a quite distant filamentary IRDC. Additionally, based on IR data from the Hi-GAL survey, the FUV radiation field was estimated in Habing units, and the dust temperature and N(H2) distribution was studied. Using the average of N(H2), values in close agreement with the canonical abundance ratios [H2]/[13CO] and [H2]/[C18O] were derived. However, the obtained ranges in the abundance ratios show that if an accurate analysis of the molecular gas is required, the use of the canonical values may introduce some bias. Thus, it is important to consider how the gas is irradiated by the far ultraviolet photons across the molecular cloud. The analysis of X is a good tool to perform that.


title: Well-balanced, anti-diffusive non-oscillatory central difference (adNOC) scheme for the shallow water equations with wet-dry fronts

abstract: We present a central differencing scheme for the solution of the shallow water equations with non-flat bottom topography and moving wet-dry fronts. The problem is numerically challenging due to two reasons. First, the non-flat bottom topography requires accurate balancing of the source term of the momentum conservation equation accounting for the gravitational force and the flux gradient term accounting for the force due to pressure imbalance. Second, the modelling of moving wet-dry fronts involves handling of diminishing water height, which is numerically challenging to handle. The Riemann-solver free scheme is fast, simple and robust. It successfully avoids negative water depths at moving wet-dry boundaries and it exhibits good balancing between flux gradients and source terms. The performance of the scheme is verified with a number of test cases and the results compare favorably with published analytical solutions.


title: (When) Is Truth-telling Favored in AI Debate?

abstract: For some problems, humans may not be able to accurately judge the goodness of AI-proposed solutions. Irving et al. (2018) propose that in such cases, we may use a debate between two AI systems to amplify the problem-solving capabilities of a human judge. We introduce a mathematical framework that can model debates of this type and propose that the quality of debate designs should be measured by the accuracy of the most persuasive answer. We describe a simple instance of the debate framework called feature debate and analyze the degree to which such debates track the truth. We argue that despite being very simple, feature debates nonetheless capture many aspects of practical debates such as the incentives to confuse the judge or stall to prevent losing. We then outline how these models should be generalized to analyze a wider range of debate phenomena.


title: On half-factoriality of transfer Krull monoids

abstract: Let $H$ be a transfer Krull monoid over a subset $G_0$ of an abelian group $G$ with finite exponent. Then every non-unit $a\in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L(a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$, and $H$ is said to be half-factorial if $|\mathsf L(a)|=1$ for all $a\in H$. We show that, if $a \in H$ and $|\mathsf L(a^{\lfloor (3\exp(G) - 3)/2 \rfloor})| = 1$, then the smallest divisor-closed submonoid of $H$ containing $a$ is half-factorial. In addition, we prove that, if $G_0$ is finite and $|\mathsf L(\prod_{g\in G_0}g^{2\mathsf{ord}(g)})|=1$, then $H$ is half-factorial.


title: Universal almost optimal compression and Slepian-Wolf coding in probabilistic polynomial time

abstract: In a lossless compression system with target lengths, a compressor ${\cal C}$ maps an integer $m$ and a binary string $x$ to an $m$-bit code $p$, and if $m$ is sufficiently large, a decompressor ${\cal D}$ reconstructs $x$ from $p$. We call a pair $(m,x)$ $\textit{achievable}$ for $({\cal C},{\cal D})$ if this reconstruction is successful. We introduce the notion of an optimal compressor ${\cal C}_\text{opt}$, by the following universality property: For any compressor-decompressor pair $({\cal C}, {\cal D})$, there exists a decompressor ${\cal D}'$ such that if $(m,x)$ is achievable for $({\cal C},{\cal D})$, then $(m+\Delta, x)$ is achievable for $({\cal C}_\text{opt}, {\cal D}')$, where $\Delta$ is some small value called the overhead. We show that there exists an optimal compressor that has only polylogarithmic overhead and works in probabilistic polynomial time. Differently said, for any pair $({\cal C}, {\cal D})$, no matter how slow ${\cal C}$ is, or even if ${\cal C}$ is non-computable, ${\cal C}_{\text{opt}}$ is a fixed compressor that in polynomial time produces codes almost as short as those of ${\cal C}$. The cost is that the corresponding decompressor is slower. We also show that each such optimal compressor can be used for distributed compression, in which case it can achieve optimal compression rates, as given in the Slepian-Wolf theorem, and even for the Kolmogorov complexity variant of this theorem. Moreover, the overhead is logarithmic in the number of sources, and unlike previous implementations of Slepian-Wolf coding, meaningful compression can still be achieved if the number of sources is much larger than the length of the compressed strings.


title: Weierstrass Semigroups From a Tower of Function Fields Attaining the Drinfeld-Vladut Bound

abstract: For applications in algebraic geometric codes, an explicit description of bases of Riemann-Roch spaces of divisors on function fields over finite fields is needed. We investigate the third function field $ F^{(3)} $ in a tower of Artin-Schreier extensions described by Garcia and Stichtenoth reaching the Drinfeld-Vl{\u{a}}du{\c{t}} bound. We construct bases for the related Riemann-Roch spaces on $ F^{(3)} $ and present some basic properties of divisors on a line. From the bases, we explicitly calculate the Weierstrass semigroups and pure gaps at several places on $ F^{(3)} $. All of these results can be viewed as a generalization of the previous work done by Voss and H\o{}holdt (1997).


title: Explicit decomposition of certain induced representations of the general linear group

abstract: We provide some experimental results on the decomposition of the parabolic induction of $\pi\otimes\pi$ in the Grothendieck group where $\pi$ is an irreducible representation of $GL_n$ over a local non-archimedean field.


title: Modelling the chemical evolution of Zr, La, Ce and Eu in the Galactic discs and bulge

abstract: We study the chemical evolution of Zr, La, Ce and Eu in the Milky Way discs and bulge by means of chemical evolution models compared with recent spectroscopic data. We consider detailed chemical evolution models for the Galactic thick disc, thin disc and bulge, which have been already tested to reproduce the observed [$\alpha$/Fe] vs [Fe/H] diagrams and metallicity distribution functions for the three different components, and we apply them to follow the evolution of neutron capture elements. In the [Eu/Fe] vs [Fe/H] diagram, we observe and predict three distinct sequences corresponding to the thick disc, thin disc and bulge, similarly to what happens for the $\alpha$-elements. We can nicely reproduce the three sequences by assuming different timescales of formation and star formation efficiencies for the three different components, with the thin disc forming on a longer timescale of formation with respect to the thick disc and bulge. On the other hand, in the [X/Fe] vs [Fe/H] diagrams for Zr, La and Ce, the three populations are mixed and also from the model point of view there is an overlapping between the predictions for the different Galactic components, but the observed behaviour can be also reproduced by assuming different star formation histories in the three components. In conclusions, it is straightforward to see how different star formation histories can lead to different abundance patterns and also looking at the abundance patterns of neutron capture elements can help in constraining the history of formation and evolution of the major Galactic components.


title: Ergodic theory of affine isometric actions on Hilbert spaces

abstract: The classical Gaussian functor associates to every orthogonal representation of a locally compact group $G$ a probability measure preserving action of $G$ called a Gaussian action. In this paper, we generalize this construction by associating to every affine isometric action of $G$ on a Hilbert space, a one-parameter family of nonsingular Gaussian actions whose ergodic properties are related in a very subtle way to the geometry of the original action. We show that these nonsingular Gaussian actions exhibit a phase transition phenomenon and we relate it to new quantitative invariants for affine isometric actions. We use the Patterson-Sullivan theory as well as Lyons-Pemantle work on tree-indexed random walks in order to give a precise description of this phase transition for affine isometric actions of groups acting on trees. We also show that every locally compact group without property (T) admits a nonsingular Gaussian that is free, weakly mixing and of stable type $\mathrm{III}_1$.


title: A Contextual Hierarchical Graph Model for Generating Random Sequences of Objects with Application to Music Playlists

abstract: Recommending the right content in large scale multimedia streaming services is an important and challenging problem that has received much attention in the past decade. A key ingredient for successful recommendations is an effective similarity metric between two objects, and models that leverage the current context to constrain the recommendations. This work proposes a model for random object generation that introduces two key novel elements: (i) a similarity metric based on the distance between objects in a given object sequence, that is also used to measure similarity between meta-data associated with the objects, such as artists and genres; (ii) a hierarchical graph model with different graphs each associated with a different meta-data. A biased random walk in each graph that are coupled and synchronized dictate the random generation of objects, leveraging the current context to constrain randomness. The proposed model is fully parameterized from sequences of objects, requiring no external parameters or tuning. The model is applied to a large music dataset with over 1 million playlists generating a hierarchy with three layers (genre, artist, track). Results indicate its superiority in generating actual full playlists against two baseline models.


title: Comparison of Markov processes by the martingale comparison method

abstract: Comparison results for Markov processes w.r.t. function class induced (integral) stochastic orders have a long history. The most general results so far for this problem have been obtained based on the theory of evolution systems on Banach spaces. In this paper we transfer the martingale comparison method, known for the comparison of semimartingales to Markovian semimartingales, to general Markov processes. The basic step of this martingale approach is the derivation of the supermartingale property of the linking process, giving a link between the processes to be compared. In this paper this property is achieved using in an essential way the characterization of Markov processes by the martingale problem. As a result the martingale comparison method gives a comparison result for Markov processes under a general alternative set of regularity conditions compared to the evolution system approach.


title: On Totally umbilical surfaces in the warped product $\mathbb{M}(\kappa)_f\times\mathbb{R}$

abstract: In this article we classify the totally umbilical surfaces which are immersed into a wide class of Riemannian manifolds having a structure of warped product, more precisely, we show that a totally umbilical surface immersed into the warped product $\mathbb{M}(\kappa)_f\times I$ (here, $\mathbb{M}(\kappa)$ denotes the 2-dimensional space form, having constant curvature $\kappa$, $I$ an interval and $f$ the warping function) is invariant by an one-parameter group of isometries of the ambient space. We also find the first integral of the ordinary differential equation that the profile curve satisfies (we mean, the curve which generates a invariant totally umbilical surface). Moreover, we construct explicit examples of totally umbilical surfaces, invariant by one-parameter group of isometries of the ambient space, by considering certain non-trivial warping function.


title: Sufficient conditions for time optimality of systems with control on the disk

abstract: The case of time minimization for affine control systems with control on the disk is studied. After recalling the standard sufficient conditions for local optimality in the smooth case, the analysis focusses on the specific type of singularities encountered when the control is prescribed to the disk. Using a suitable stratification, the regularity of the flow is analyzed, which helps to devise verifiable sufficient conditions in terms of left and right limits of Jacobi fields at a switching point. Under the appropriate assumptions, piecewise regularity of the field of extremals is obtained.


title: Linear Time Recognition of Equimatchable Split Graphs

abstract: A maximal matching $M$ that consists of independent edges is a subgraph of a simple and undirected graph $G$ for which $G-M$ forms an independent set. A graph $G$ is called equimatchable if all maximal matchings have the same number of edges. On the other hand, $G$ is called as a split graph if its vertices can be partitioned into two subsets for which one of them forms a clique whereas the second forms an independent set. We will give a linear time algorithm for recognition of equimatchable split graphs.


title: Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems

abstract: Neural networks are increasingly used for intrusion detection on industrial control systems (ICS). With neural networks being vulnerable to adversarial examples, attackers who wish to cause damage to an ICS can attempt to hide their attacks from detection by using adversarial example techniques. In this work we address the domain specific challenges of constructing such attacks against autoregressive based intrusion detection systems (IDS) in an ICS setting. We model an attacker that can compromise a subset of sensors in a ICS which has a LSTM based IDS. The attacker manipulates the data sent to the IDS, and seeks to hide the presence of real cyber-physical attacks occurring in the ICS. We evaluate our adversarial attack methodology on the Secure Water Treatment system when examining solely continuous data, and on data containing a mixture of discrete and continuous variables. In the continuous data domain our attack successfully hides the cyber-physical attacks requiring 2.87 out of 12 monitored sensors to be compromised on average. With both discrete and continuous data our attack required, on average, 3.74 out of 26 monitored sensors to be compromised.


title: Community Detection for Power Systems Network Aggregation Considering Renewable Variability

abstract: The increasing penetration of variable renewable energy (VRE) has brought significant challenges for power systems planning and operation. These highly variable sources are typically distributed in the grid; therefore, a detailed representation of transmission bottlenecks is fundamental to approximate the impact of the transmission network on the dispatch with VRE resources. The fine grain temporal scale of short term and day-ahead dispatch, taking into account the network constraints, also mandatory for mid-term planning studies, combined with the high variability of the VRE has brought the need to represent these uncertainties in stochastic optimization models while taking into account the transmission system. These requirements impose a computational burden to solve the planning and operation models. We propose a methodology based on community detection to aggregate the network representation, capable of preserving the locational marginal price (LMP) differences in multiple VRE scenarios, and describe a real-world operational planning study. The optimal expected cost solution considering aggregated networks is compared with the full network representation. Both representations were embedded in an operation model relying on Stochastic Dual Dynamic Programming (SDDP) to deal with the random variables in a multi-stage problem.


title: Propagation through metamaterial temporal slabs: transmission, reflection and special cases

abstract: Time-varying metamaterials are artificial materials whose electromagnetic properties change over time. In earlier studies, the equivalent reflection and transmission coefficients at a temporal interface have been derived. Here, we extend the study to a temporal slab, i.e., a uniform homogeneous medium that is present in the space for a limited time. We derive the transmission and reflection coefficients for a metamaterial temporal slab as a function of the refractive indices and application time. Similarly to the role played by the electrical thickness for spatial slabs, we show that the response of the temporal slab can be controlled through the application time. The preliminary results reported here may pave the way to several novel devices based on temporal discontinuities.


title: Conjectures and results about parabolic induction of representations of $GL_n(F)$

abstract: In 1980 Zelevinsky introduced commuting varieties whose irreducible components classify complex, irreducible representations of the general linear group over a non-archimedean local field with a given supercuspidal support. We formulate geometric conditions for certain triples of such components and conjecture that these conditions are related to irreducibility of parabolic induction. The conditions are in the spirit of the Geiss--Leclerc--Schr\"oer condition that occurs in the conjectural characterization of $\square$-irreducible representations. We verify some special cases of the new conjecture and check that the geometric and representation-theoretic conditions are compatible in various ways.


title: $B_c \to B_{s(d)}$ form factors

abstract: We present results of the first lattice QCD calculations of $B_c \to B_s$ and $B_c \to B_d$ weak matrix elements. Results are derived from correlation functions computed on MILC Collaboration gauge configurations with lattice spacings between $0.12$ [fm] and $0.06$ [fm] including 2+1+1 flavours of dynamical sea quarks in the Highly Improved Staggered Quark (HISQ) formalism. Form factors across the entire physical $q^2$ range are then extracted and extrapolated to the physical-continuum limit. Two different formalisms are employed for the bottom quark: non-relativistic QCD (NRQCD) and heavy-HISQ. Checking agreement between these two approaches is an important test of our strategies for heavy quarks on the lattice.


title: Data Efficient Direct Speech-to-Text Translation with Modality Agnostic Meta-Learning

abstract: End-to-end Speech Translation (ST) models have several advantages such as lower latency, smaller model size, and less error compounding over conventional pipelines that combine Automatic Speech Recognition (ASR) and text Machine Translation (MT) models. However, collecting large amounts of parallel data for ST task is more difficult compared to the ASR and MT tasks. Previous studies have proposed the use of transfer learning approaches to overcome the above difficulty. These approaches benefit from weakly supervised training data, such as ASR speech-to-transcript or MT text-to-text translation pairs. However, the parameters in these models are updated independently of each task, which may lead to sub-optimal solutions. In this work, we adopt a meta-learning algorithm to train a modality agnostic multi-task model that transfers knowledge from source tasks=ASR+MT to target task=ST where ST task severely lacks data. In the meta-learning phase, the parameters of the model are exposed to vast amounts of speech transcripts (e.g., English ASR) and text translations (e.g., English-German MT). During this phase, parameters are updated in such a way to understand speech, text representations, the relation between them, as well as act as a good initialization point for the target ST task. We evaluate the proposed meta-learning approach for ST tasks on English-German (En-De) and English-French (En-Fr) language pairs from the Multilingual Speech Translation Corpus (MuST-C). Our method outperforms the previous transfer learning approaches and sets new state-of-the-art results for En-De and En-Fr ST tasks by obtaining 9.18, and 11.76 BLEU point improvements, respectively.


title: Hard Provability Logics

abstract: Let $\mathcal{PL}({\sf T},{\sf T}')$ and $\mathcal{PL}_{\Sigma_1}({\sf T},{\sf T}')$ respectively indicates the provability logic and $\Sigma_1$-provability logic of ${\sf T}$ relative in ${\sf T}'$. In this paper we characterize the following relative provability logics: $\mathcal{PL}_{\Sigma_1}({\sf HA},\mathbb{N})$, $\mathcal{PL}_{\Sigma_1}({\sf HA},{\sf PA})$, $\mathcal{PL}_{\Sigma_1}({\sf HA}^*,\mathbb{N})$, $\mathcal{PL}_{\Sigma_1}({\sf HA}^*,{\sf PA})$, $\mathcal{PL}({\sf PA},{\sf HA})$, $\mathcal{PL}_{\Sigma_1}({\sf PA},{\sf HA})$, $\mathcal{PL}({\sf PA}^*,{\sf HA})$, $\mathcal{PL}_{\Sigma_1}({\sf PA}^*,{\sf HA})$, $\mathcal{PL}({\sf PA}^*,{\sf PA})$, $\mathcal{PL}_{\Sigma_1}({\sf PA}^*,{\sf PA})$, $\mathcal{PL}({\sf PA}^*,\mathbb{N})$, $\mathcal{PL}_{\Sigma_1}({\sf PA}^*,\mathbb{N})$ (see Table \ref{Table-Theories}). It turns out that all of these provability logics are decidable. The notion of {\em reduction} for provability logics, first informally considered in \cite{reduction}. In this paper, we formalize a generalization of this notion (\Cref{Definition-Reduction-PL}) and provide several reductions of provability logics (See diagram \ref{Diagram-full}). The interesting fact is that $\mathcal{PL}_{\Sigma_1}({\sf HA},\mathbb{N})$ is the hardest provability logic: the arithmetical completenesses of all provability logics listed above, as well as well-known provability logics like $\mathcal{PL}({\sf PA},{\sf PA})$, $\mathcal{PL}({\sf PA},\mathbb{N})$, $\mathcal{PL}_{\Sigma_1}({\sf PA},{\sf PA})$, $\mathcal{PL}_{\Sigma_1}({\sf PA},\mathbb{N})$ and $\mathcal{PL}_{\Sigma_1}({\sf HA},{\sf HA})$ are all propositionally reducible to the arithmetical completeness of $\mathcal{PL}_{\Sigma_1}({\sf HA},\mathbb{N})$.


title: MAP Clustering under the Gaussian Mixture Model via Mixed Integer Nonlinear Optimization

abstract: We present a global optimization approach for solving the maximum a-posteriori (MAP) clustering problem under the Gaussian mixture model.Our approach can accommodate side constraints and it preserves the combinatorial structure of the MAP clustering problem by formulating it asa mixed-integer nonlinear optimization problem (MINLP). We approximate the MINLP through a mixed-integer quadratic program (MIQP) transformation that improves computational aspects while guaranteeing $\epsilon$-global optimality. An important benefit of our approach is the explicit quantification of the degree of suboptimality, via the optimality gap, en route to finding the globally optimal MAP clustering. Numerical experiments comparing our method to other approaches show that our method finds a better solution than standard clustering methods. Finally, we cluster a real breast cancer gene expression data set incorporating intrinsic subtype information; the induced constraints substantially improve the computational performance and produce more coherent and bio-logically meaningful clusters.


title: Deep Contextualized Self-training for Low Resource Dependency Parsing

abstract: Neural dependency parsing has proven very effective, achieving state-of-the-art results on numerous domains and languages. Unfortunately, it requires large amounts of labeled data, that is costly and laborious to create. In this paper we propose a self-training algorithm that alleviates this annotation bottleneck by training a parser on its own output. Our Deep Contextualized Self-training (DCST) algorithm utilizes representation models trained on sequence labeling tasks that are derived from the parser's output when applied to unlabeled data, and integrates these models with the base parser through a gating mechanism. We conduct experiments across multiple languages, both in low resource in-domain and in cross-domain setups, and demonstrate that DCST substantially outperforms traditional self-training as well as recent semi-supervised training methods.


title: Structural Properties of Connected Domination Critical Graphs

abstract: A graph $G$ is said to be $k$-$\gamma_{c}$-critical if the connected domination number $\gamma_{c}(G)$ is equal to $k$ and $\gamma_{c}(G + uv) < k$ for any pair of non-adjacent vertices $u$ and $v$ of $G$. Let $\zeta$ be the number of cut vertices of $G$ and let $\zeta_{0}$ be the maximum number of cut vertices that can be contained in one block. For an integer $\ell \geq 0$, a graph $G$ is $\ell$-factor critical if $G - S$ has a perfect matching for any subset $S$ of vertices of size $\ell$. It was proved that, for $k \geq 3$, every $k$-$\gamma_{c}$-critical graph has at most $k - 2$ cut vertices and the graphs with maximum number of cut vertices were characterized. It was proved further that, for $k \geq 4$, every $k$-$\gamma_{c}$-critical graphs satisfies the inequality $\zeta_{0}(G) \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, \zeta \right\}$. In this paper, we characterize all $k$-$\gamma_{c}$-critical graphs having $k - 3$ cut vertices. Further, we establish realizability that, for given $k \geq 4$, $2 \leq \zeta \leq k - 2$ and $2 \leq \zeta_{0} \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, \zeta \right\}$, there exists a $k$-$\gamma_{c}$-critical graph with $\zeta$ cut vertices having a block which contains $\zeta_{0}$ cut vertices. Finally, we proved that every $k$-$\gamma_{c}$-critical graph of odd order with minimum degree two is $1$-factor critical if and only if $1 \leq k \leq 2$. Further, we proved that every $k$-$\gamma_{c}$-critical $K_{1, 3}$-free graph of even order with minimum degree three is $2$-factor critical if and only if $1 \leq k \leq 2$.


title: Hamiltonicity of Domination Vertex-Critical Claw-Free Graphs

abstract: A graph $G$ is said to be $k$-$\gamma$-vertex critical if the domination numbers $\gamma(G)$ of $G$ is $k$ and $\gamma(G - v) < k$ for any vertex $v$ of $G$. Similarly, A graph $G$ is said to be $k$-$\gamma_{c}$-vertex critical if the connected domination numbers $\gamma_{c}(G)$ of $G$ is $k$ and $\gamma_{c}(G - v) < k$ for any vertex $v$ of $G$. The problem of interest is to determine whether or not $2$-connected $k$-$\gamma$-vertex critical graphs are Hamiltonian. In this paper, for all $k \geq 3$, we provide a $2$-connected $k$-$\gamma$-vertex critical graph which is non-Hamiltonian. We prove that every $2$-connected $3$-$\gamma$-vertex critical claw-free graph is Hamiltonian and the condition claw-free is necessary. For $k$-$\gamma_{c}$-vertex critical graphs, we present a new method to prove that every $2$-connected $3$-$\gamma_{c}$-vertex critical claw-free graph is Hamiltonian. Moreover, for $4 \leq k \leq 5$, we prove that every $3$-connected $k$-$\gamma_{c}$-vertex critical claw-free graph is Hamiltonian. We show that the condition claw-free is necessary by giving $k$-$\gamma_{c}$-vertex critical non-Hamiltonian graphs containing a claw as an induced subgraph for $3 \leq k \leq 5$.


title: Relevance Vector Machines for harmonization of MRI brain volumes using image descriptors

abstract: With the increased need for multi-center magnetic resonance imaging studies, problems arise related to differences in hardware and software between centers. Namely, current algorithms for brain volume quantification are unreliable for the longitudinal assessment of volume changes in this type of setting. Currently most methods attempt to decrease this issue by regressing the scanner- and/or center-effects from the original data. In this work, we explore a novel approach to harmonize brain volume measurements by using only image descriptors. First, we explore the relationships between volumes and image descriptors. Then, we train a Relevance Vector Machine (RVM) model over a large multi-site dataset of healthy subjects to perform volume harmonization. Finally, we validate the method over two different datasets: i) a subset of unseen healthy controls; and ii) a test-retest dataset of multiple sclerosis (MS) patients. The method decreases scanner and center variability while preserving measurements that did not require correction in MS patient data. We show that image descriptors can be used as input to a machine learning algorithm to improve the reliability of longitudinal volumetric studies.


title: A little tour across the wonderful realm of meteor radiometry

abstract: This paper describes the path strewn with pitfalls encountered during the development of a large dynamic range and very fast radiometer designed to precisely observe the meteor light curves. A small series production of a finalized version of the current prototype should accompany some video cameras from the FRIPON network.


title: Machine Learning-Based Adaptive Receive Filtering: Proof-of-Concept on an SDR Platform

abstract: Conventional multiuser detection techniques either require a large number of antennas at the receiver for a desired performance, or they are too complex for practical implementation. Moreover, many of these techniques, such as successive interference cancellation (SIC), suffer from errors in parameter estimation (user channels, covariance matrix, noise variance, etc.) that is performed before detection of user data symbols. As an alternative to conventional methods, this paper proposes and demonstrates a low-complexity practical Machine Learning (ML) based receiver that achieves similar (and at times better) performance to the SIC receiver. The proposed receiver does not require parameter estimation; instead it uses supervised learning to detect the user modulation symbols directly. We perform comparisons with minimum mean square error (MMSE) and SIC receivers in terms of symbol error rate (SER) and complexity.


title: Diversity by Phonetics and its Application in Neural Machine Translation

abstract: We introduce a powerful approach for Neural Machine Translation (NMT), whereby, during training and testing, together with the input we provide its phonetic encoding and the variants of such an encoding. This way we obtain very significant improvements up to 4 BLEU points over the state-of-the-art large-scale system. The phonetic encoding is the first part of our contribution, with a second being a theory that aims to understand the reason for this improvement. Our hypothesis states that the phonetic encoding helps NMT because it encodes a procedure to emphasize the difference between semantically diverse sentences. We conduct an empirical geometric validation of our hypothesis in support of which we obtain overwhelming evidence. Subsequently, as our third contribution and based on our theory, we develop artificial mechanisms that leverage during learning the hypothesized (and verified) effect phonetics. We achieve significant and consistent improvements overall language pairs and datasets: French-English, German-English, and Chinese-English in medium task IWSLT'17 and French-English in large task WMT'18 Bio, with up to 4 BLEU points over the state-of-the-art. Moreover, our approaches are more robust than baselines when evaluated on unknown out-of-domain test sets with up to a 5 BLEU point increase.


title: Error bound of critical points and KL property of exponent $1/2$ for squared F-norm regularized factorization

abstract: This paper is concerned with the squared F(robenius)-norm regularized factorization form for noisy low-rank matrix recovery problems. Under a suitable assumption on the restricted condition number of the Hessian for the loss function, we derive an error bound to the true matrix for the non-strict critical points with rank not more than that of the true matrix. Then, for the squared F-norm regularized factorized least squares loss function, under the noisy and full sample setting we establish its KL property of exponent $1/2$ on its global minimizer set, and under the noisy and partial sample setting achieve this property for a class of critical points. These theoretical findings are also confirmed by solving the squared F-norm regularized factorization problem with an accelerated alternating minimization method.


title: Recent measurements of the Casimir force: Comparison between experiment and theory

abstract: We consider experiments on measuring the Casimir interaction which have been performed in the last four years. The emphasis is made on measuring differences in the Casimir pressures under a transition of the plate metal from normal to superconducting state and on the Casimir metrology platform using a commercial micromechanical sensor. In both cases several problems in the comparison between experiment and theory are discussed.


title: On the Outage Performance of Network NOMA (N-NOMA) Modeled by Poisson Line Cox Point Process

abstract: To improve the system throughput, this paper proposes a network non-orthogonal multiple access (N-NOMA) technique for the uplink coordinated multi-point transmission (CoMP). In the considered scenario, multiple base stations collaborate with each other to serve a single user, referred to as the CoMP user, which is the same as for conventional CoMP. However, unlike conventional CoMP, each base station in N-NOMA opportunistically serves an extra user, referred to as the NOMA user, while serving the CoMP user at the same bandwidth. The CoMP user is typically located far from the base stations, whereas users close to the base stations are scheduled as NOMA users. Hence, the channel conditions of the two kind of users are very distinctive, which facilitates the implementation of NOMA. Compared to the conventional orthogonal multiple access based CoMP scheme, where multiple base stations serve a single CoMP user only, the proposed N-NOMA scheme can support larger connectivity by serving the extra NOMA users, and improve the spectral efficiency by avoiding the CoMP user solely occupying the spectrum. A stochastic geometry approach is applied to model the considered N-NOMA scenario as a Poisson cluster process, based on which closed-form analytical expressions for outage probabilities and ergodic rates are obtained. Numerical results are presented to show the accuracy of the analytical results and also demonstrate the superior performance of the proposed N-NOMA scheme.


title: Cardinal invariants and convergence properties of locally minimal groups

abstract: If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that |S|=w(G)=w(K). Items (i)--(iii) hold when G is a dense locally minimal subgroup of K. We show that locally minimal, locally precompact abelian groups of countable tightness are metrizable. In particular, a minimal abelian group of countable tightness is metrizable. This answers a question of O. Okunev posed in 2007. For every uncountable cardinal kappa, we construct a Frechet-Urysohn minimal group G of character kappa such that the connected component of G is an open normal omega-bounded subgroup (thus, G is locally precompact). We also build a minimal nilpotent group of nilpotency class 2 without non-trivial convergent sequences having an open normal countably compact subgroup.


title: Collision-Free Trajectory Design for 2D Persistent Monitoring Using Second-Order Agents

abstract: This paper considers a two-dimensional persistent monitoring problem by controlling movements of second-order agents to minimize some uncertainty metric associated with targets in a dynamic environment. In contrast to common sensing models depending only on the distance from a target, we introduce an active sensing model which considers the distance between an agent and a target, as well as the agent's velocity. We propose an objective function which can achieve a collision-free agent trajectory by penalizing all possible collisions. Applying structural properties of the optimal control derived from the Hamiltonian analysis, we limit agent trajectories to a simpler parametric form under a family of 2D curves depending on the problem setting, e.g. ellipses and Fourier trajectories. Our collision-free trajectories are optimized through an event-driven Infinitesimal Perturbation Analysis (IPA) and gradient descent method. Although the solution is generally locally optimal, this method is computationally efficient and offers an alternative to other traditional time-driven methods. Finally, simulation examples are provided to demonstrate our proposed results.


title: Casimir-like forces in cooperative exclusion processes

abstract: I show that cooperative exclusion processes with selective kinetic constraints exhibit fluctuation-induced forces that can be attractive or repulsive, depending on the density of boundary reservoirs, when their density-dependent diffusion coefficient exhibits a minimum. A mean-field analysis based on a nonlinear diffusion equation provides an estimation of the magnitude and sign of such a tunable Casimir-like force and suggests its occurrence in interacting particle systems with a diffusivity anomaly.


title: Multi-agent interaction and nonlinear Markov games

abstract: The general picture of game theoretic modeling dealt with here is characterized by a set of big players, also referred to as principals or major agents, acting on the background of large pools of small players, the impact of the behavior of each small player in a group on the overall evolution decreasing with the increase of the size of the group. In this Part I approach players in groups are not independent rational optimizers. They are either directly controlled by principals and serve the interests of the latter (pressure and collaboration setting) or they resist the actions of the principals (pressure and resistance setting) by evolving their strategies in an 'evolutionary manner' via interactions with other players subject to certain clear rules, deterministic or stochastic. The examples of the real world problems involved include government representatives (often referred to in the literature as benevolent dictators) chasing corrupted bureaucrats, inspectors chasing tax-paying avoidance, police acting against terrorist groups or models describing the attacks of computer or biological viruses. Other class of examples concerns appropriate (or better optimal) management of complex stochastic systems consisting of large number of interacting components (agents, mechanisms, vehicles, subsidiaries, species, police units, robot swarms, etc), which may have competitive or common interests. Such management can also deal with the processes of merging and splitting of functional units (say, firms or banks) or the coalition building of agents. The actions of the big players effectively control the distribution of small players among their possible strategies and can influence the rules of their interaction.


title: Comparing the best reply strategy and mean field games: the stationary case

abstract: Mean field games (MFGs) and the best reply strategy (BRS) are two methods of describing competitive optimisation of systems of interacting agents. The latter can be interpreted as an approximation of the respective MFG system. In this paper we present a systematic analysis and comparison of the two approaches in the stationary case. We provide novel existence and uniqueness results for the stationary boundary value problems related to the MFG and BRS formulations, and we present an analytical and numerical comparison of the two paradigms in a variety of modelling situations.


title: Rethinking Generalisation

abstract: In this paper, a new approach to computing the generalisation performance is presented that assumes the distribution of risks, $\rho(r)$, for a learning scenario is known. From this, the expected error of a learning machine using empirical risk minimisation is computed for both classification and regression problems. A critical quantity in determining the generalisation performance is the power-law behaviour of $\rho(r)$ around its minimum value---a quantity we call attunement. The distribution $\rho(r)$ is computed for the case of all Boolean functions and for the perceptron used in two different problem settings. Initially a simplified analysis is presented where an independence assumption about the losses is made. A more accurate analysis is carried out taking into account chance correlations in the training set. This leads to corrections in the typical behaviour that is observed.


title: A critical point analysis of Landau--Ginzburg potentials with bulk in Gelfand--Cetlin systems

abstract: Using the bulk-deformation of Floer cohomology by Schubert cycles and non-Archimedean analysis of Fukaya--Oh--Ohta--Ono's bulk-deformed potential function, we prove that every complete flag manifold $\mathrm{Fl}(n)$ ($n \geq 3$) with a monotone Kirillov--Kostant--Souriau symplectic form carries a continuum of non-displaceable Lagrangian tori which degenerates to a non-torus fiber in the Hausdorff limit. In particular, the Lagrangian $S^3$-fiber in $\mathrm{Fl}(3)$ is non-displaceable, answering the question of which was raised by Nohara--Ueda who computed its Floer cohomology to be vanishing.


title: Monoidal abelian envelopes and a conjecture of Benson--Etingof

abstract: We give several criteria to decide whether a given tensor category is the abelian envelope of a fixed symmetric monoidal category. As a main result we prove that the category of finite-dimensional representations of a semisimple simply connected algebraic group is the abelian envelope of the category of tilting modules. Benson and Etingof conjectured that a certain limit of finite symmetric tensor categories is tensor equivalent to the finite dimensional representations of $SL_2$ in characteristic $2$. We use our results on the abelian envelopes to prove this conjecture and its variants for any prime $p$.


title: Existence of n-cycles and border-collision bifurcations in piecewise-linear continuous maps with applications to recurrent neural networks

abstract: Piecewise linear recurrent neural networks (PLRNNs) form the basis of many successful machine learning applications for time series prediction and dynamical systems identification, but rigorous mathematical analysis of their dynamics and properties is lagging behind. Here we contribute to this topic by investigating the existence of n-cycles $(n\geq 3)$ and border-collision bifurcations in a class of n-dimensional piecewise linear continuous maps which have the general form of a PLRNN. This is particularly important as for one-dimensional maps the existence of 3-cycles implies chaos. It is shown that these n-cycles collide with the switching boundary in a border-collision bifurcation, and parametric regions for the existence of both stable and unstable n-cycles and border-collision bifurcations will be derived theoretically. We then discuss how our results can be extended and applied to PLRNNs. Finally, numerical simulations demonstrate the implementation of our results and are found to be in good agreement with the theoretical derivations. Our findings thus provide a basis for understanding periodic behavior in PLRNNs, how it emerges in bifurcations, and how it may lead into chaos.


title: Astrophysical Black Holes

abstract: Black holes are a common feature of the Universe. They are observed as stellar mass black holes spread throughout galaxies and as supermassive objects in their centres. Observations of stars orbiting close to the centre of our Galaxy provide detailed clear evidence for the presence of a 4 million Solar mass black hole. Gas accreting onto distant supermassive black holes produces the most luminous persistent sources of radiation observed, outshining galaxies as quasars. The energy generated by such displays may even profoundly affect the fate of a galaxy. We briefly review the history of black holes and relativistic astrophysics before exploring the observational evidence for black holes and reviewing current observations including black hole mass and spin. In parallel we outline the general relativistic derivation of the physical properties of black holes relevant to observation. Finally we speculate on future observations and touch on black hole thermodynamics and the extraction of energy from rotating black holes.


title: Quantum work statistics close to equilibrium

abstract: We study the statistics of work, dissipation, and entropy production of a quantum quasi-isothermal process, where the system remains close to the thermal equilibrium along the transformation. We derive a general analytic expression for the work distribution and the cumulant generating function. All work cumulants split into a classical (non-coherent) and quantum (coherent) term, implying that close to equilibrium there are two independent channels of dissipation at all levels of the statistics. For non-coherent or commuting protocols, only the first two cumulants survive, leading to a Gaussian distribution with its first two moments related through the classical fluctuation-dissipation relation. On the other hand, quantum coherence leads to positive skewness and excess kurtosis in the distribution, and we demonstrate that these non-Gaussian effects are a manifestation of asymmetry in relation to the resource theory of thermodynamics. Furthermore, we also show that the non-coherent and coherent contributions satisfy independently the Evans-Searles fluctuation theorem, which sets strong bounds on the statistics, with negative values of the dissipation being exponentially suppressed. Our findings are illustrated in a driven two-level system and an Ising chain, where quantum signatures of the work distribution in the macroscopic limit are discussed.


title: Learning The Best Expert Efficiently

abstract: We consider online learning problems where the aim is to achieve regret which is efficient in the sense that it is the same order as the lowest regret amongst K experts. This is a substantially stronger requirement that achieving $O(\sqrt{n})$ or $O(\log n)$ regret with respect to the best expert and standard algorithms are insufficient, even in easy cases where the regrets of the available actions are very different from one another. We show that a particular lazy form of the online subgradient algorithm can be used to achieve minimal regret in a number of "easy" regimes while retaining an $O(\sqrt{n})$ worst-case regret guarantee. We also show that for certain classes of problem minimal regret strategies exist for some of the remaining "hard" regimes.


title: Band-dependent superconducting gap in SrFe$_{2}$(As$_{0.65}$P$_{0.35}$)$_{2}$ studied by angle-resolved photoemission spectroscopy

abstract: The isovalent-substituted iron pnictide compound SrFe$_{2}$(As$_{1-x}$P$_{x}$)$_{2}$ exhibits multiple evidence for nodal superconductivity via various experimental probes, such as the penetration depth, nuclear magnetic resonance and specific heat measurements. The direct identification of the nodal superconducting (SC) gap structure is challenging, partly because the presence of nodes is not protected by symmetry but instead caused by an accidental sign change of the order parameter, and also because of the three-dimensionality of the electronic structure. We have studied the SC gaps of SrFe$_{2}$(As$_{0.65}$P$_{0.35}$)$_{2}$ in three-dimensional momentum space by synchrotron and laser-based angle-resolved photoemission spectroscopy. The three hole Fermi surfaces (FSs) at the zone center have SC gaps with different magnitudes, whereas the SC gaps of the electron FSs at the zone corner are almost isotropic and $k_{z}$-independent. We propose that the SC gap of the outer hole FS changes sign around the Z-X [($0, 0, 2\pi$)-($\pi,\pi, 2\pi$)] direction.


title: On the costs and profit of software defect prediction

abstract: Defect prediction can be a powerful tool to guide the use of quality assurance resources. However, while lots of research covered methods for defect prediction as well as methodological aspects of defect prediction research, the actual cost saving potential of defect prediction is still unclear. Within this article, we close this research gap and formulate a cost model for software defect prediction. We derive mathematically provable boundary conditions that must be fulfilled by defect prediction models such that there is a positive profit when the defect prediction model is used. Our cost model includes aspects like the costs for quality assurance, the costs of post-release defects, the possibility that quality assurance fails to reveal predicted defects, and the relationship between software artifacts and defects. We initialize the cost model using different assumptions, perform experiments to show trends of the behavior of costs on real projects. Our results show that the unrealistic assumption that defects only affect a single software artifact, which is a standard practice in the defect prediction literature, leads to inaccurate cost estimations. Moreover, the results indicate that thresholds for machine learning metrics are also not suited to define success criteria for software defect prediction.