title: TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems

abstract: Digital twin is a virtual replica of a real-world object that lives simultaneously with its physical counterpart. Since its first introduction in 2003 by Grieves, digital twin has gained momentum in a wide range of applications such as industrial manufacturing, automotive and artificial intelligence. However, many digital-twin-related approaches, found in industries as well as literature, mainly focus on modelling individual physical things with high-fidelity methods with limited scalability. In this paper, we introduce a digital-twin architecture called TiLA (Twin-in-the-Loop Architecture). TiLA employs heterogeneous models and online data to create a digital twin, which follows a Globally Asynchronous Locally Synchronous (GALS) model of computation. It facilitates the creation of a scalable digital twin with different levels of modelling abstraction as well as giving GALS formalism for execution strategy. Furthermore, TiLA provides facilities to develop applications around the twin as well as an interface to synchronise the twin with the physical system through an industrial communication protocol. A digital twin for a manufacturing line has been developed as a case study using TiLA. It demonstrates the use of digital twin models together with online data for monitoring and analysing failures in the physical system.


title: Learning-based Bias Correction for Ultra-wideband Localization of Resource-constrained Mobile Robots

abstract: Accurate indoor localization is a crucial enabling technology for many robotics applications, from warehouse management to monitoring tasks. Ultra-wideband (UWB) ranging is a promising solution which is low-cost, lightweight, and computationally inexpensive compared to alternative state-of-the-art approaches such as simultaneous localization and mapping, making it especially suited for resource-constrained aerial robots. Many commercially-available ultra-wideband radios, however, provide inaccurate, biased range measurements. In this article, we propose a bias correction framework compatible with both two-way ranging and time difference of arrival ultra-wideband localization. Our method comprises of two steps: (i) statistical outlier rejection and (ii) a learning-based bias correction. This approach is scalable and frugal enough to be deployed on-board a nano-quadcopter's microcontroller. Previous research mostly focused on two-way ranging bias correction and has not been implemented in closed-loop nor using resource-constrained robots. Experimental results show that, using our approach, the localization error is reduced by ~18.5% and 48% (for TWR and TDoA, respectively), and a quadcopter can accurately track trajectories with position information from UWB only.


title: One Neuron to Fool Them All

abstract: Despite vast research in adversarial examples, the root causes of model susceptibility are not well understood. Instead of looking at attack-specific robustness, we propose a notion that evaluates the sensitivity of individual neurons in terms of how robust the model's output is to direct perturbations of that neuron's output. Analyzing models from this perspective reveals distinctive characteristics of standard as well as adversarially-trained robust models, and leads to several curious results. In our experiments on CIFAR-10 and ImageNet, we find that attacks using a loss function that targets just a single sensitive neuron find adversarial examples nearly as effectively as ones that target the full model. We analyze the properties of these sensitive neurons to propose a regularization term that can help a model achieve robustness to a variety of different perturbation constraints while maintaining accuracy on natural data distributions. Code for all our experiments is available at https://github.com/iamgroot42/sauron .


title: SER-FIQ: Unsupervised Estimation of Face Image Quality Based on Stochastic Embedding Robustness

abstract: Face image quality is an important factor to enable high performance face recognition systems. Face quality assessment aims at estimating the suitability of a face image for recognition. Previous work proposed supervised solutions that require artificially or human labelled quality values. However, both labelling mechanisms are error-prone as they do not rely on a clear definition of quality and may not know the best characteristics for the utilized face recognition system. Avoiding the use of inaccurate quality labels, we proposed a novel concept to measure face quality based on an arbitrary face recognition model. By determining the embedding variations generated from random subnetworks of a face model, the robustness of a sample representation and thus, its quality is estimated. The experiments are conducted in a cross-database evaluation setting on three publicly available databases. We compare our proposed solution on two face embeddings against six state-of-the-art approaches from academia and industry. The results show that our unsupervised solution outperforms all other approaches in the majority of the investigated scenarios. In contrast to previous works, the proposed solution shows a stable performance over all scenarios. Utilizing the deployed face recognition model for our face quality assessment methodology avoids the training phase completely and further outperforms all baseline approaches by a large margin. Our solution can be easily integrated into current face recognition systems and can be modified to other tasks beyond face recognition.


title: A Novel Deep Learning Architecture for Decoding Imagined Speech from EEG

abstract: The recent advances in the field of deep learning have not been fully utilised for decoding imagined speech primarily because of the unavailability of sufficient training samples to train a deep network. In this paper, we present a novel architecture that employs deep neural network (DNN) for classifying the words "in" and "cooperate" from the corresponding EEG signals in the ASU imagined speech dataset. Nine EEG channels, which best capture the underlying cortical activity, are chosen using common spatial pattern (CSP) and are treated as independent data vectors. Discrete wavelet transform (DWT) is used for feature extraction. To the best of our knowledge, so far DNN has not been employed as a classifier in decoding imagined speech. Treating the selected EEG channels corresponding to each imagined word as independent data vectors helps in providing sufficient number of samples to train a DNN. For each test trial, the final class label is obtained by applying a majority voting on the classification results of the individual channels considered in the trial. We have achieved accuracies comparable to the state-of-the-art results. The results can be further improved by using a higher-density EEG acquisition system in conjunction with other deep learning techniques such as long short-term memory.


title: Federated Learning for Task and Resource Allocation in Wireless High Altitude Balloon Networks

abstract: In this paper, the problem of minimizing energy and time consumption for task computation and transmission is studied in a mobile edge computing (MEC)-enabled balloon network. In the considered network, each user needs to process a computational task in each time instant, where high-altitude balloons (HABs), acting as flying wireless base stations, can use their powerful computational abilities to process the tasks offloaded from their associated users. Since the data size of each user's computational task varies over time, the HABs must dynamically adjust the user association, service sequence, and task partition scheme to meet the users' needs. This problem is posed as an optimization problem whose goal is to minimize the energy and time consumption for task computing and transmission by adjusting the user association, service sequence, and task allocation scheme. To solve this problem, a support vector machine (SVM)-based federated learning (FL) algorithm is proposed to determine the user association proactively. The proposed SVM-based FL method enables each HAB to cooperatively build an SVM model that can determine all user associations without any transmissions of either user historical associations or computational tasks to other HABs. Given the prediction of the optimal user association, the service sequence and task allocation of each user can be optimized so as to minimize the weighted sum of the energy and time consumption. Simulations with real data of city cellular traffic from the OMNILab at Shanghai Jiao Tong University show that the proposed algorithm can reduce the weighted sum of the energy and time consumption of all users by up to 16.1% compared to a conventional centralized method.


title: Actinides measurements on environmental samples of the Garigliano Nuclear Power Plant (Italy) during the decommissioning phase

abstract: An environmental survey was carried out in order to provide an adequate and updated assessment of the radiological impact that the decommissioning operations of the Garigliano NNP may have procured to the environment of the surrounding area. Some isotopes of uranium (235U, 236U, 238U) and plutonium (239Pu, 240Pu) and some {\gamma}-emitter radionuclides (60Co, 137Cs and 40K,) were measured to quantify the possible contamination and identify the origin source. Actinides isotopes were measured with the AMS technique that is able to detect elements in traces and reach sensitivity that cannot be obtained with other methods. The results show that the anthropogenic component is essentially due to the atmospheric fallout and no contamination can be charged to the NPP. Data are represented in geo-referenced maps to highlight the distribution area and some particular aspects of each measured radionuclide.


title: Relevance of temporal cores for epidemic spread in temporal networks

abstract: Temporal networks are widely used to represent a vast diversity of systems, including in particular social interactions, and the spreading processes unfolding on top of them. The identification of structures playing important roles in such processes remains largely an open question, despite recent progresses in the case of static networks. Here, we consider as candidate structures the recently introduced concept of span-cores: the span-cores decompose a temporal network into subgraphs of controlled duration and increasing connectivity, generalizing the core-decomposition of static graphs. To assess the relevance of such structures, we explore the effectiveness of strategies aimed either at containing or maximizing the impact of a spread, based respectively on removing span-cores of high cohesiveness or duration to decrease the epidemic risk, or on seeding the process from such structures. The effectiveness of such strategies is assessed in a variety of empirical data sets and compared to baselines that use only static information on the centrality of nodes and static concepts of coreness, as well as to a baseline based on a temporal centrality measure. Our results show that the most stable and cohesive temporal cores play indeed an important role in epidemic processes on temporal networks, and that their nodes are likely to represent influential spreaders.


title: Excitation of Orthogonal Radiation States

abstract: A technique of designing antenna excitation realizing orthogonal states is presented. It is shown that a symmetric antenna geometry is required in order to achieve orthogonality with respect to all physical quantities. A maximal number of achievable orthogonal states and a minimal number of ports required to excite them are rigorously determined from the knowledge of an antenna's symmetries. The number of states and number of ports are summarized for commonly used point groups (a rectangle, a square, etc.). The theory is applied to an example of a rectangular rim where the positions of ports providing the best total active reflection coefficient, an important metric in multi-port systems, are determined. The described technique can easily be implemented in existing solvers based on integral equations.


title: Sequential Bayesian Experimental Design for Implicit Models via Mutual Information

abstract: Bayesian experimental design (BED) is a framework that uses statistical models and decision making under uncertainty to optimise the cost and performance of a scientific experiment. Sequential BED, as opposed to static BED, considers the scenario where we can sequentially update our beliefs about the model parameters through data gathered in the experiment. A class of models of particular interest for the natural and medical sciences are implicit models, where the data generating distribution is intractable, but sampling from it is possible. Even though there has been a lot of work on static BED for implicit models in the past few years, the notoriously difficult problem of sequential BED for implicit models has barely been touched upon. We address this gap in the literature by devising a novel sequential design framework for parameter estimation that uses the Mutual Information (MI) between model parameters and simulated data as a utility function to find optimal experimental designs, which has not been done before for implicit models. Our approach uses likelihood-free inference by ratio estimation to simultaneously estimate posterior distributions and the MI. During the sequential BED procedure we utilise Bayesian optimisation to help us optimise the MI utility. We find that our framework is efficient for the various implicit models tested, yielding accurate parameter estimates after only a few iterations.


title: On the affine recursion on $\mathbb R_+^d$

abstract: We fix $d \geq 2$ and denote $\mathcal S$ the semi-group of $d \times d$ matrices with non negative entries. We consider a sequence $(A_n, B_n)_{n \geq 1} $ of i. i. d. random variables with values in $\mathcal S\times \mathbb R_+^d$ and study the asymptotic behavior of the Markov chain $(X_n)_{n \geq 0}$ on $ \mathbb R_+^d$ defined by: \[ \forall n \geq 0, \qquad X_{n+1}=A_{n+1}X_n+B_{n+1}, \] where $X_0$ is a fixed random variable. We assume that the Lyapunov exponent of the matrices $A_n$ equals $0$ and prove, under quite general hypotheses, that there exists a unique (infinite) Radon measure $\lambda$ on $(\mathbb R^+)^d$ which is invariant for the chain $(X_n)_{n \geq 0}$. The existence of $\lambda$ relies on a recent work by T.D.C. Pham about fluctuations of the norm of product of random matrices . Its unicity is a consequence of a general property, called "local contractivity", highlighted about 20 years ago by M. Babillot, Ph. Bougerol et L. Elie in the case of the one dimensional affine recursion .


title: The application of $\sigma$-LFSR in Key-Dependent Feedback Configuration for Word-Oriented Stream Ciphers

abstract: In this paper, we propose and evaluate a method for generating key-dependent feedback configurations (KDFC) for $\sigma$-LFSRs. $\sigma$-LFSRs with such configurations can be applied to any stream cipher that uses a word-based LFSR. Here, a configuration generation algorithm uses the secret key(K) and the initialization vector (IV) to generate a feedback configuration. We have mathematically analysed the feedback configurations generated by this method. As a test case, we have applied this method on SNOW 2.0 and have studied its impact on resistance to various attacks. Further, we have also tested the generated keystream for randomness and have briefly described its implementation and the challenges involved in the same.


title: Jaqal, the Quantum Assembly Language for QSCOUT

abstract: QSCOUT is the Quantum Scientific Computing Open User Testbed, a trapped-ion quantum computer testbed realized at Sandia National Laboratories on behalf of the Department of Energy's Office of Science and its Advanced Scientific Computing (ASCR) program. Jaqal, for Just Another Quantum Assembly Language, is the programming language used to specify programs executed on QSCOUT. This document contains a specification of Jaqal along with a summary of QSCOUT 1.0 capabilities, example Jaqal programs, and plans for possible future extensions. To learn more about QSCOUT and the Jaqal language developed for it, please visit qscout.sandia.gov or send an e-mail to qscout@sandia.gov.


title: Regularized variational principles for the perturbed Kepler problem

abstract: The goal of the paper is to develop a method that will combine the use of variational techniques with regularization methods in order to study existence and multiplicity results for the periodic and the Dirichlet problem associated to the perturbed Kepler system \[ \ddot x = -\frac{x}{|x|^3} + p(t), \quad x \in \mathbb{R}^d, \] where $d\geq 1$, and $p:\mathbb{R}\to\mathbb{R}^d$ is smooth and $T$-periodic, $T>0$. The existence of critical points for the action functional associated to the problem is proved via a non-local change of variables inspired by Levi-Civita and Kustaanheimo-Stiefel techniques. As an application we will prove that the perturbed Kepler problem has infinitely many generalized $T$-periodic solutions for $d=2$ and $d=3$, without any symmetry assumptions on $p$.


title: Investigating the efficiency of the Asian handicap football betting market with ratings and Bayesian networks

abstract: Despite the massive popularity of the Asian Handicap (AH) football (soccer) betting market, its efficiency has not been adequately studied by the relevant literature. This paper combines rating systems with Bayesian networks and presents the first published model specifically developed for prediction and assessment of the efficiency of the AH betting market. The results are based on 13 English Premier League seasons and are compared to the traditional market, where the bets are for win, lose or draw. Different betting situations have been examined including a) both average and maximum (best available) market odds, b) all possible betting decision thresholds between predicted and published odds, c) optimisations for both return-on-investment and profit, and d) simple stake adjustments to investigate how the variance of returns changes when targeting equivalent profit in both traditional and AH markets. While the AH market is found to share the inefficiencies of the traditional market, the findings reveal both interesting differences as well as similarities between the two.


title: Numerical Evaluation of Fragility Curves for Earthquake-Liquefaction-Induced Settlements of an Embankment

abstract: The major cause of earthquake damage to an embankment is the liquefaction of the soil foundation that induces ground level deformations. It is well known that the liquefaction appears when the soil loses its shear strength due to the excess of pore water pressure. This phenomenon leads to several disastrous damages of the soil foundation. The aim of this paper is to assess numerically the effect of the liquefaction-induced settlement of the soil foundation on an embankment due to 76 real earthquakes extracted from the PEER database. For this purpose, a 2D finite element model of a dam founded on a layered soil/rock profile was considered. An elastoplastic multi-mechanism model was used to represent the soil behaviour. The crest settlement of the embankment was selected as the quantifiable damage variable of the study. Fragility functions were drawn to give the probability exceedance of some proposed damage levels as function of a seismic severity parameter. In addition, the anisotropy was tested by the change in the soil permeability and a comparison with the isotropy was held. According to the results, the crest settlement increases with the peak ground acceleration and the fragility functions showed that above 0.2g, the probability to have moderate damage in the anisotropic case reaches unity whereas it is lesser in the isotropic case. The embankment will not show serious damage for this same value of acceleration in the two cases.


title: On Goodness of WiFi based Monitoring of Vital Signs in the Wild

abstract: WiFi channel state information (CSI) has emerged as a plausible modality for sensing different human vital signs, i.e. respiration and body motion, as a function of modulated wireless signals that travel between WiFi devices. Although a remarkable proposition, most of the existing research in this space struggles to withstand robust performance beyond experimental conditions. To this end, we take a careful look at the dynamics of WiFi signals under human respiration and body motions in the wild. We first characterize the WiFi signal components - multipath and signal subspace - that are modulated by human respiration and body motions. We extrapolate on a set of transformations, including first-order differentiation, max-min normalization and component projections, that faithfully explains and quantifies the dynamics of respiration and body motions on WiFi signals. Grounded in this characterization, we propose two methods: 1) a respiration tracking technique that models the peak dynamics observed in the time-varying signal subspaces and 2) a body-motion tracking technique built with a multi-dimensional clustering of evolving signal subspaces. Finally, we reflect on the manifestation of these techniques in a practical sleep monitoring application. Our systematic evaluation with over 550 hours of data from 5 users covering both line-of-sight (LOS) and non-line-of-sight (NLOS) settings shows that the proposed techniques can achieve comparable performance to purpose-built pulse-Doppler radar.


title: Rapid 14C excursion at 3372-3371 BCE not observed at two different locations, a comment on Wang et al. (2017)

abstract: Excursions in the carbon-14 record measured in tree rings are attributed to various high energy but short-lived cosmic effects. So far, rapid changes at 774-775 CE, 993-994 CE and 660 BCE have been convincingly interpreted as due to rapid changes in solar cosmic-ray flux, usually accredited with reproduction of the events in trees at different locations and different laboratories, and followed with equivalent peaks of other cosmogenic isotopes in polar ice cores. In 2017, Wang et al. proposed a new event at 3372-3371 BCE based on a single set of annual 14C data measured on a floating series of tree rings sampled from a buried specimen of Chinese wingnut tree (Pterocarya stenoptera). We attempted to reproduce this event in tree rings of an absolutely dated bristlecone pine specimen (Pinus longaeva) from the White Mountains, California USA and a subfossil European oak (Quercus sp.) from the Moselle River Valley in France. Unfortunately, we are unable to determine whether there is any rapid 14C excursion during this time, although the regular 11-year Schwabe cycle is clearly observable. Therefore, the presence of a cosmic-ray event as suggested at 3372-3371 BCE cannot be confirmed. It is possible the exposed 14C spike occurred at some other time, the absolute age of which we cannot determine unless the precise calendar age of the Chinese wingnut wood is properly crossdated, although the other data of Wang et al. (2017) is not inconsistent with our records. In either case, this is important because the frequency of such extreme cosmic events needs to be well-documented to assess the likelihood of similar high-energy effects occurring in the future.

categories: physics.geo-ph astro-ph.EP astro-ph.IM astro-ph.SR


title: Image Gravimetry: A New Remote Sensing Approach for Gravity Analysis in Geophysics

abstract: In this paper a new Geophysical gravimetry approach is presented, which is based on satellite imagery in remote sensing. The method uses a satellite image, together with a set of points in the image the gravity values of which are known. Template-based spheroidal spline method of interpolation is used to constitute a system of equations to find the values of gravity at other points in the image. A real case study is presented for the Qom region in Iran. Values of gravity are determined from the Landsat satellite image for this region, using 9 points in the image whose gravity values are known. Reference ellipsoid gravity values, which are based on coefficients derived from satellite gravimetry, are computed for this region, as well. Comparison between gravity values derived from Landsat image and those from reference ellipsoid shows that the standard deviation of the results is around 6.71 milli Gal, with the maximum of differences being 35 milli Gal.

categories: physics.geo-ph astro-ph.EP cs.NA eess.IV math.NA


title: Estimations by stable motions and applications

abstract: We propose a nonparametric parameter estimation of confidence intervals when the underlying has large or infinite variance. We explain the method by a simple numerical example and provide an application to estimate the coupling strength in neuronal networks.


title: A Regression Analysis Study Examining the Price of Drones

abstract: Objective of this study is to examine the impact of twelve specifications namely No. of Rotors, Max Flight Time(min.), Operating Range (m), Wingspan(mm), Weight(g), Payload Capacity(g), Max Speed(m/s), Max Flying Altitude(m), GPS Compatibility, Autonomous Flight, Collision Avoidance, Flight Battery (mAh) on the price of the drones. Using Stepwise Multiple Linear Regression analysis, our study shows that at {\alpha}=0.05; Max Flight Time (min.) (p-value=<0.001), Wingspan (mm) (p-value=<0.001), and Autonomous Flight capability (p-value=0.006) are the significant impact factors, while GPS Compatibility (p-value=0.057), and Collision Avoidance (p-value=0.077) are marginally significant factors affecting the price of drones.


title: Domain Adaptation by Class Centroid Matching and Local Manifold Self-Learning

abstract: Domain adaptation has been a fundamental technology for transferring knowledge from a source domain to a target domain. The key issue of domain adaptation is how to reduce the distribution discrepancy between two domains in a proper way such that they can be treated indifferently for learning. In this paper, we propose a novel domain adaptation approach, which can thoroughly explore the data distribution structure of target domain.Specifically, we regard the samples within the same cluster in target domain as a whole rather than individuals and assigns pseudo-labels to the target cluster by class centroid matching. Besides, to exploit the manifold structure information of target data more thoroughly, we further introduce a local manifold self-learning strategy into our proposal to adaptively capture the inherent local connectivity of target samples. An efficient iterative optimization algorithm is designed to solve the objective function of our proposal with theoretical convergence guarantee. In addition to unsupervised domain adaptation, we further extend our method to the semi-supervised scenario including both homogeneous and heterogeneous settings in a direct but elegant way. Extensive experiments on seven benchmark datasets validate the significant superiority of our proposal in both unsupervised and semi-supervised manners.


title: Comprehensive Instructional Video Analysis: The COIN Dataset and Performance Evaluation

abstract: Thanks to the substantial and explosively inscreased instructional videos on the Internet, novices are able to acquire knowledge for completing various tasks. Over the past decade, growing efforts have been devoted to investigating the problem on instructional video analysis. However, the most existing datasets in this area have limitations in diversity and scale, which makes them far from many real-world applications where more diverse activities occur. To address this, we present a large-scale dataset named as "COIN" for COmprehensive INstructional video analysis. Organized with a hierarchical structure, the COIN dataset contains 11,827 videos of 180 tasks in 12 domains (e.g., vehicles, gadgets, etc.) related to our daily life. With a new developed toolbox, all the videos are annotated efficiently with a series of step labels and the corresponding temporal boundaries. In order to provide a benchmark for instructional video analysis, we evaluate plenty of approaches on the COIN dataset under five different settings. Furthermore, we exploit two important characteristics (i.e., task-consistency and ordering-dependency) for localizing important steps in instructional videos. Accordingly, we propose two simple yet effective methods, which can be easily plugged into conventional proposal-based action detection models. We believe the introduction of the COIN dataset will promote the future in-depth research on instructional video analysis for the community. Our dataset, annotation toolbox and source code are available at http://coin-dataset.github.io.


title: Block-level Double JPEG Compression Detection for Image Forgery Localization

abstract: Forged images have a ubiquitous presence in today's world due to ease of availability of image manipulation tools. In this letter, we propose a deep learning-based novel approach which utilizes the inherent relationship between DCT coefficient histograms and corresponding quantization step sizes to distinguish between original and forged regions in a JPEG image, based on the detection of single and double compressed blocks, without fully decompressing the JPEG image. We consider a diverse set of 1,120 quantization matrices collected in a recent study as compared to standard 100 quantization matrices for training, testing, and creating realistic forgeries. In particular, we carefully design the input to DenseNet with a specific combination of quantization step sizes and the respective histograms for a JPEG block. Using this input to learn the compression artifacts produces state-of-the-art results for the detection of single and double compressed blocks of sizes $256 \times 256$ and gives better results for smaller blocks of sizes $128 \times 128$ and $64 \times 64$. Consequently, improved forgery localization performances are obtained on realistic forged images. Also, in the case of test blocks compressed with completely different quantization matrices as compared to matrices used in training, the proposed method outperforms the current state-of-the-art.


title: Kinetic Alfv\'en wave generation by velocity shear in collisionless plasmas

abstract: The evolution of a linearly-polarized, long-wavelength Alfv\'en wave --propagating in a collisionless magnetized plasma with a sheared parallel-directed velocity flow-- is here studied by means of two-dimensional hybrid Vlasov-Maxwell (HVM) simulations. The unperturbed sheared flow has been represented by an exact solution of the HVM set of equations (Malara {\it et al.}, Phys. Rev. E 97, 053212), this avoiding spurious oscillations that would arise from the non-stationary initial state and inevitably affect the dynamics of the system. We have considered the evolution of both a small and a moderate amplitude Alfv\'en wave, in order to separate linear wave-shear flow couplings from kinetic effects, the latter being more relevant for larger wave amplitudes. The phase-mixing generated by the shear flow modifies the initial perturbation, leading to the formation of small-scale transverse fluctuations at scales comparable with the proton inertial length. By analyzing both the polarization and group velocity of perturbations in the shear regions, we identify them as Kinetic Alfv\'en Waves (KAWs). In the moderate amplitude run, kinetic effects distort the proton distribution function in the shear region. This leads to the formation of a proton beam, at the Alfv\'en speed and parallel to the magnetic field. Such a feature, due to the parallel electric field associated with KAWs, positively compares with solar-wind observations of suprathermal ions' populations, suggesting that it may be related to the presence of ion-scales KAW-like fluctuations.


title: Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics

abstract: The Kappa biochemistry and the M{\O}D organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date. A typical feature of these types of rewriting theories is the necessity to implement certain structural constraints on the objects to be rewritten (a protein is empirically found to have a certain signature of sites, a carbon atom can form at most four bonds, ...). In this paper, we contribute to the theoretical foundations of these types of rewriting theory a number of conceptual and technical developments that permit to implement a universal theory of continuous-time Markov chains (CTMCs) for stochastic rewriting systems. Our core mathematical concepts are a novel rule algebra construction for the relevant setting of rewriting rules with conditions, both in Double- and in Sesqui-Pushout semantics, augmented by a suitable stochastic mechanics formalism extension that permits to derive dynamical evolution equations for pattern-counting statistics.


title: Configurations in Fractals

abstract: We define the manifold of configurations to be the quotient set of $k$ points in Euclidean space identified under congruence, and prove that compact subsets of $\mathbb{R}^d, d \geq 2$, of large Hausdorff dimension have a non-null set of configurations in them. Our method simplifies previous work in arXiv:1708.05919 and achieves a better dimensional threshold.


title: Standing waves on a flower graph

abstract: A flower graph consists of a half line and $N$ symmetric loops connected at a single vertex with $N \geq 2$ (it is called the tadpole graph if $N = 1$). We consider positive single-lobe states on the flower graph in the framework of the cubic nonlinear Schrodinger equation. The main novelty of our paper is a rigorous application of the period function for second-order differential equations towards understanding the symmetries and bifurcations of standing waves on metric graphs. We show that the positive single-lobe symmetric state (which is the ground state of energy for small fixed mass) undergoes exactly one bifurcation for larger mass, at which point $(N-1)$ branches of other positive single-lobe states appear: each branch has $K$ larger components and $(N-K)$ smaller components, where $1 \leq K \leq N-1$. We show that only the branch with $K = 1$ represents a local minimizer of energy for large fixed mass, however, the ground state of energy is not attained for large fixed mass. Analytical results obtained from the period function are illustrated numerically.

categories: math.AP math-ph math.DS math.MP nlin.PS nlin.SI


title: Deep Constrained Q-learning

abstract: In many real world applications, reinforcement learning agents have to optimize multiple objectives while following certain rules or satisfying a list of constraints. Classical methods based on reward shaping, i.e. a weighted combination of different objectives in the reward signal, or Lagrangian methods, including constraints in the loss function, have no guarantees that the agent satisfies the constraints at all points in time and can lead to undesired behavior. When a discrete policy is extracted from an action-value function, safe actions can be ensured by restricting the action space at maximization, but can lead to sub-optimal solutions among feasible alternatives. In this work, we propose Constrained Q-learning, a novel off-policy reinforcement learning framework restricting the action space directly in the Q-update to learn the optimal Q-function for the induced constrained MDP and the corresponding safe policy. In addition to single-step constraints referring only to the next action, we introduce a formulation for approximate multi-step constraints under the current target policy based on truncated value-functions. We analyze the advantages of Constrained Q-learning in the tabular case and compare Constrained DQN to reward shaping and Lagrangian methods in the application of high-level decision making in autonomous driving, considering constraints for safety, keeping right and comfort. We train our agent in the open-source simulator SUMO and on the real HighD data set.


title: The invariant subspaces of $ S\oplus S^* $

abstract: Using the tools of Sz.-Nagy--Foias theory of contractions, we describe in detail the invariant subspaces of the operator $ S\oplus S^* $, where $ S $ is the unilateral shift on a Hilbert space. This answers a question of C\^amara and Ross.


title: Double parton correlations in mesons within AdS/QCD soft-wall models: a first comparison with lattice data

abstract: Double parton distribution functions (dPDFs), entering the double parton scattering (DPS) cross section, are unknown fundamental quantities encoding new interesting properties of hadrons. Here, the pion dPDFs are investigated within different holographic QCD quark models in order to access their basic features. Results of the calculation,s obtained within the AdS/QCD soft-wall approach, have been compared with predictions of lattice QCD evaluations of the pion two-current correlation functions. The present analysis confirms that double parton correlations, affecting dPDFs, are very important and not direct accessible from generalised parton distribution functions and electromagnetic form factors. The comparison between lattice data and quark model calculations unveils the relevance of the contributions of high partonic Fock states in the pion. Nevertheless, by using a complete general procedure, results of lattice QCD have been used, for the first time, to estimate the mean value of the so called $\sigma_{eff}$, a relevant experimental observable for DPS processes. In addition, the results of the first calculations of the $\rho$ meson dPDFs are discussed in order to make predictions.


title: Robust Plan Execution with Unexpected Observations

abstract: In order to ensure the robust actuation of a plan, execution must be adaptable to unexpected situations in the world and to exogenous events. This is critical in domains in which committing to a wrong ordering of actions can cause the plan failure, even when all the actions succeed. We propose an approach to the execution of a task plan that permits some adaptability to unexpected observations of the state while maintaining the validity of the plan through online reasoning. Our approach computes an adaptable, partially-ordered plan from a given totally-ordered plan. The partially-ordered plan is adaptable in that it can exploit beneficial differences between the world and what was expected. The approach is general in that it can be used with any task planner that produces either a totally or a partially-ordered plan. We propose a plan execution algorithm that computes online the complete set of valid totally-ordered plans described by an adaptable partially-ordered plan together with the probability of success for each of them. This set is then used to choose the next action to execute.


title: Multiple projection MCMC algorithms on submanifolds

abstract: We propose new Markov Chain Monte Carlo algorithms to sample probability distributions on submanifolds, which generalize previous methods by allowing the use of set-valued maps in the proposal step of the MCMC algorithms. The motivation for this generalization is that the numerical solvers used to project proposed moves to the submanifold of interest may find several solutions. We show that the new algorithms indeed sample the target probability measure correctly, thanks to some carefully enforced reversibility property. We demonstrate the interest of the new MCMC algorithms on illustrative numerical examples.


title: Neural Network aided quarantine control model estimation of COVID spread in Wuhan, China

abstract: In a move described as unprecedented in public health history, starting 24 January 2020, China imposed quarantine and isolation restrictions in Wuhan, a city of more than 10 million people. This raised the question: is mass quarantine and isolation effective as a social tool in addition to its scientific use as a medical tool? In an effort to address this question, using a epidemiological model driven approach augmented by machine learning, we show that the quarantine and isolation measures implemented in Wuhan brought down the effective reproduction number R(t) of the CoVID-19 spread from R(t) > 1 to R(t) <1 within a month after the imposition of quarantine control measures in Wuhan, China. This ultimately resulted in a stagnation phase in the infected case count in Wuhan. Our results indicate that the strict public health policies implemented in Wuhan may have played a crucial role in halting down the spread of infection and such measures should potentially be implemented in other highly affected countries such as South Korea, Italy and Iran to curtail spread of the disease. Finally, our forecasting results predict a stagnation in the quarantine control measures implemented in Wuhan towards the end of March 2020; this would lead to a subsequent stagnation in the effective reproduction number at R(t) <1. We warn that immediate relaxation of the quarantine measures in Wuhan may lead to a relapse in the infection spread and a subsequent increase in the effective reproduction number to R(t) >1. Thus, it may be wise to relax quarantine measures after sufficient time has elapsed, during which maximum of the quarantined/isolated individuals are recovered.


title: RGB-Topography and X-rays Image Registration for Idiopathic Scoliosis Children Patient Follow-up

abstract: Children diagnosed with a scoliosis pathology are exposed during their follow up to ionic radiations in each X-rays diagnosis. This exposure can have negative effects on the patient's health and cause diseases in the adult age. In order to reduce X-rays scanning, recent systems provide diagnosis of scoliosis patients using solely RGB images. The output of such systems is a set of augmented images and scoliosis related angles. These angles, however, confuse the physicians due to their large number. Moreover, the lack of X-rays scans makes it impossible for the physician to compare RGB and X-rays images, and decide whether to reduce X-rays exposure or not. In this work, we exploit both RGB images of scoliosis captured during clinical diagnosis, and X-rays hard copies provided by patients in order to register both images and give a rich comparison of diagnoses. The work consists in, first, establishing the monomodal (RGB topography of the back) and multimodal (RGB and Xrays) image database, then registering images based on patient landmarks, and finally blending registered images for a visual analysis and follow up by the physician. The proposed registration is based on a rigid transformation that preserves the topology of the patient's back. Parameters of the rigid transformation are estimated using a proposed angle minimization of Cervical vertebra 7, and Posterior Superior Iliac Spine landmarks of a source and target diagnoses. Experiments conducted on the constructed database show a better monomodal and multimodal registration using our proposed method compared to registration using an Equation System Solving based registration.


title: Explainable Object-induced Action Decision for Autonomous Vehicles

abstract: A new paradigm is proposed for autonomous driving. The new paradigm lies between the end-to-end and pipelined approaches, and is inspired by how humans solve the problem. While it relies on scene understanding, the latter only considers objects that could originate hazard. These are denoted as action-inducing, since changes in their state should trigger vehicle actions. They also define a set of explanations for these actions, which should be produced jointly with the latter. An extension of the BDD100K dataset, annotated for a set of 4 actions and 21 explanations, is proposed. A new multi-task formulation of the problem, which optimizes the accuracy of both action commands and explanations, is then introduced. A CNN architecture is finally proposed to solve this problem, by combining reasoning about action inducing objects and global scene context. Experimental results show that the requirement of explanations improves the recognition of action-inducing objects, which in turn leads to better action predictions.


title: Eigenrays in 3D heterogeneous anisotropic media: Part I -- Kinematics, Variational formulation

abstract: We present a new ray bending approach, referred to as the Eigenray method, for solving two-point boundary-value kinematic and dynamic ray tracing problems in 3D smooth heterogeneous general anisotropic elastic media. The proposed Eigenray method is aimed to provide reliable stationary ray path solutions and their dynamic characteristics, in cases where convergence to the stationary paths, based on conventional initial-value ray shooting methods, becomes challenging. The kinematic ray tracing solution corresponds to the vanishing first traveltime variation, leading to a stationary path, and is governed by the nonlinear second-order Euler-Lagrange equation (Part I). In Part II we elaborate on theoretical aspects of the proposed method and validate its correctness for general anisotropy. In Part III we use a finite-element approach, applying the weak formulation. In Part IV we propose an efficient method to compute the geometric spreading of the entire stationary ray path using the global traveltime Hessian. In Part V we formulate the dynamic ray tracing, considering the second traveltime variation, which leads to the linear second-order Jacobi equation, and in Part VI we relate the proposed Lagrangian approach to the commonly used Hamiltonian approach. The solution is provided in Part VII, where we implement a similar finite element approach applied for the kinematic problem. In both kinematic and dynamic problems, in between the nodes, the values of the ray characteristics are computed with the Hermite interpolation, which we find most natural for anisotropic media. We distinguish two types of stationary rays, delivering either a minimum or a saddle-point traveltime (due to caustics).


title: Eigenrays in 3D heterogeneous anisotropic media: Part II -- Kinematics, Validation of the Lagrangian

abstract: The form of the Lagrangian proposed in Part I of this study has been previously used for obtaining stationary ray paths between two endpoints in isotropic media. We extended it to general anisotropy by replacing the isotropic medium velocity with the ray (group) velocity magnitude which depends on both, the elastic properties at the ray location and the ray direction. This generalization for general anisotropy is not trivial and in this part we further elaborate on the correctness, physical interpretation, and advantages of this original arclength-related Lagrangian. We also study alternative known Lagrangian forms and their relation to the proposed one. We then show that our proposed first-degree homogeneous Lagrangian (with respect to the ray direction vector) leads to the same kinematic ray equations as the alternative Lagrangians representing first- and second-degree homogeneous functions. Using different anisotropic examples, we further validate/demonstrate the correctness of the proposed Lagrangian, analytically (for a canonical case of an ellipsoidal orthorhombic medium) and numerically (including the most general medium scenario: spatially varying triclinic continua). Finally, we analyze the commonly accepted statement that the Hamiltonian and the Lagrangian can be related via a resolvable Legendre transform only if the Lagrangian is a time-related homogeneous function of the second-degree with respect to the vector tangent to the ray. We show that this condition can be bypassed, and a first-degree homogeneous Lagrangian, with a singular Hessian matrix, can be used as well, when adding a fundamental physical constraint which turns to be the Legendre transform itself. In particular, the momentum equation can be solved, establishing, for example, the ray direction, given the slowness vector.


title: Eigenrays in 3D heterogeneous anisotropic media: Part III -- Kinematics, Finite-element implementation

abstract: Following the theory presented in Part I, where we derived the Euler-Lagrange, nonlinear, second-order kinematic ray tracing equation for smooth heterogeneous general anisotropic media, this part is devoted for its numerical finite-element solution. For a given initial-guess trajectory between two fixed endpoints, discretized with a set of nodes, we update the location and direction of the ray trajectories at the nodes, to obtain the nearest stationary ray path. Starting with the Euler-Lagrange equation derived in Part I, we apply the weak formulation and the Galerkin method to reduce this second-order, ordinary differential equation into a nonlinear, local, first-order, weighted residual algebraic equation set. The solution is based on a finite element approach with the Hermite polynomial interpolation, for computing the ray characteristics between the nodes. The Hermite interpolation is a natural choice, since, in addition to the nodal locations, also the ray directions at the nodes are independent degrees of freedom of the finite element method. This is in particular important in anisotropic media. We then construct the target function to be minimized, where we distinguish between two functions triggered by the two possible types of stationary rays: minimum traveltime and saddle-point solutions, mainly in cases where the stationary paths include caustics. The target functions include two penalty terms related to two essential constraints. The first is related to the distribution of the nodes along the ray and the second enforces the normalization of the ray direction to a unit length. The minimization process involves the computation of the traveltime gradient vector and the Hessian matrix. The latter is used also to analyze the type of the stationary ray. Finally, we demonstrate the efficiency and accuracy of the proposed method along three canonical examples.


title: Achromatic numbers of Kneser graphs

abstract: Complete colorings have the property that any two color classes has at least an edge between them. Parameters such as the Grundy, achromatic and pseudoachromatic numbers comes from complete colorings, with some additional requirement. In this paper, we estimate these numbers in the Kneser graph $K(n,k)$ for some values of $n$ and $k$. We give the exact value of the achromatic number of $K(n,2)$.


title: Cosmic rays from the nearby starburst galaxy NGC 253: the effect of a low luminosity active galactic nucleus

abstract: NGC 253 is a nearby starburst galaxy in the Sculptor group located at a distance of 3.5 Mpc that has been suggested by some authors as a potential site for cosmic-ray acceleration up to ultra-high energies. Its nuclear region is heavily obscured by gas and dust, which prevents establishing whether or not the galaxy harbours a supermassive black hole coexisting with the starburst. Some sources have been proposed in the literature as candidates for an active nucleus. In this work, we aim at determining the implications that the presence of a supermassive black hole at the nucleus of NGC 253 might have on cosmic ray acceleration. With this aim, we model the accretion flow on to the putative active nucleus, and we evaluate the feasibility of particle acceleration by the black hole dynamo mechanism. As a by-product, we explore the potential contribution from non-thermal particles in the accretion flow to the high-energy emission of the galaxy. We found that in the three most plausible nucleus candidates, the emission of the accretion flow would inhibit the black hole dynamo mechanism. To rule out completely the influence that a putative nucleus in NGC 253 might have in cosmic-ray acceleration, a better clarification concerning the true nature of the nucleus is needed.


title: Five-dimensional cohomological localization and squashed $q$-deformations of two-dimensional Yang-Mills theory

abstract: We revisit the duality between five-dimensional supersymmetric gauge theories and deformations of two-dimensional Yang-Mills theory from a new perspective. We give a unified treatment of supersymmetric gauge theories in three and five dimensions using cohomological localization techniques and the Atiyah-Singer index theorem. We survey various known results in a unified framework and provide simplified derivations of localization formulas, as well as various extensions including the case of irregular Seifert fibrations. We describe the reductions to four-dimensional gauge theories, and give an extensive description of the dual two-dimensional Yang-Mills theory when the three-dimensional part of the geometry is a squashed three-sphere, including its extension to non-zero area, and a detailed analysis of the resulting matrix model. The squashing parameter $b$ yields a further deformation of the usual $q$-deformation of two-dimensional Yang-Mills theory, which for rational values $b^2=p/s$ yields a new correspondence with Chern-Simons theory on lens spaces $L(p,s)$.


title: Hadamard-free circuits expose the structure of the Clifford group

abstract: The Clifford group plays a central role in quantum randomized benchmarking, quantum tomography, and error correction protocols. Here we study the structural properties of this group. We show that any Clifford operator can be uniquely written in the canonical form $F_1HSF_2$, where $H$ is a layer of Hadamard gates, $S$ is a permutation of qubits, and $F_i$ are parameterized Hadamard-free circuits chosen from suitable subgroups of the Clifford group. Our canonical form provides a one-to-one correspondence between Clifford operators and layered quantum circuits. We report a polynomial-time algorithm for computing the canonical form. We employ this canonical form to generate a random uniformly distributed $n$-qubit Clifford operator in runtime $O(n^2)$. The number of random bits consumed by the algorithm matches the information-theoretic lower bound. A surprising connection is highlighted between random uniform Clifford operators and the Mallows distribution on the symmetric group. The variants of the canonical form, one with a short Hadamard-free part and one allowing a circuit depth $9n$ implementation of arbitrary Clifford unitaries in the Linear Nearest Neighbor architecture are also discussed. Finally, we study computational quantum advantage where a classical reversible linear circuit can be implemented more efficiently using Clifford gates, and show an explicit example where such an advantage takes place.


title: Fibonacci representations of sequences in Hilbert spaces

abstract: Dynamical sampling deals with frames of the form $\{T^n\varphi\}_{n=0}^\infty$, where $T \in B(\mathcal{H})$ belongs to certain classes of linear operators and $\varphi\in\mathcal{H}$. The purpose of this paper is to investigate a new representation, namely, Fibonacci representation of sequences $\{f_n\}_{n=1}^\infty$ in a Hilbert space $\mathcal{H}$; having the form $f_{n+2}=T(f_n+f_{n+1})$ for all $n\geqslant 1$ and a linear operator $T :\text{span}\{f_n\}_{n=1}^\infty\to\text{span}\{f_n\}_{n=1}^\infty$. We apply this kind of representations for complete sequences and frames. Finally, we present some properties of Fibonacci representation operators.


title: Polaritonic XY-Ising Machine

abstract: Gain-dissipative systems of various physical origin have recently shown the ability to act as analogue minimisers of hard combinatorial optimisation problems. Whether or not these proposals will lead to any advantage in performance over the classical computations depends on the ability to establish controllable couplings for sufficiently dense short- and long-range interactions between the spins. Here, we propose a polaritonic XY-Ising machine based on a network of geometrically isolated polariton condensates capable of minimising discrete and continuous spin Hamiltonians. We elucidate the performance of the proposed computing platform for two types of couplings: relative and absolute. The interactions between the network nodes might be controlled by redirecting the emission between the condensates or by sending the phase information between nodes using resonant excitation. We discuss the conditions under which the proposed machine leads to a pure polariton simulator with pre-programmed couplings or results in a hybrid classical polariton simulator. We argue that the proposed architecture for the remote coupling control offers an improvement over geometrically coupled condensates in both accuracy and stability as well as increases versatility, range and connectivity of spin Hamiltonians that can be simulated with polariton networks.


title: Comments on Sejnowski's "The unreasonable effectiveness of deep learning in artificial intelligence" [arXiv:2002.04806]

abstract: Terry Sejnowski's 2020 paper [arXiv:2002.04806] is entitled "The unreasonable effectiveness of deep learning in artificial intelligence". However, the paper doesn't attempt to answer the implied question of why Deep Convolutional Neural Networks (DCNNs) can approximate so many of the mappings that they have been trained to model. While there are detailed mathematical analyses, this short paper attempts to look at the issue differently, considering the way that these networks are used, the subset of these functions that can be achieved by training (starting from some location in the original function space), as well as the functions to which these networks will actually be applied.


title: Quantum noise protects quantum classifiers against adversaries

abstract: Noise in quantum information processing is often viewed as a disruptive and difficult-to-avoid feature, especially in near-term quantum technologies. However, noise has often played beneficial roles, from enhancing weak signals in stochastic resonance to protecting the privacy of data in differential privacy. It is then natural to ask, can we harness the power of quantum noise that is beneficial to quantum computing? An important current direction for quantum computing is its application to machine learning, such as classification problems. One outstanding problem in machine learning for classification is its sensitivity to adversarial examples. These are small, undetectable perturbations from the original data where the perturbed data is completely misclassified in otherwise extremely accurate classifiers. They can also be considered as `worst-case' perturbations by unknown noise sources. We show that by taking advantage of depolarisation noise in quantum circuits for classification, a robustness bound against adversaries can be derived where the robustness improves with increasing noise. This robustness property is intimately connected with an important security concept called differential privacy which can be extended to quantum differential privacy. For the protection of quantum data, this is the first quantum protocol that can be used against the most general adversaries. Furthermore, we show how the robustness in the classical case can be sensitive to the details of the classification model, but in the quantum case the details of classification model are absent, thus also providing a potential quantum advantage for classical data that is independent of quantum speedups. This opens the opportunity to explore other ways in which quantum noise can be used in our favour, as well as identifying other ways quantum algorithms can be helpful that is independent of quantum speedups.


title: Mathematical Formulae in Wikimedia Projects 2020

abstract: This poster summarizes our contributions to Wikimedia's processing pipeline for mathematical formulae. We describe how we have supported the transition from rendering formulae as course-grained PNG images in 2001 to providing modern semantically enriched language-independent MathML formulae in 2020. Additionally, we describe our plans to improve the accessibility and discoverability of mathematical knowledge in Wikimedia projects further.


title: Beyond the Code: Mining Self-Admitted Technical Debt in Issue Tracker Systems

abstract: Self-admitted technical debt (SATD) is a particular case of Technical Debt (TD) where developers explicitly acknowledge their sub-optimal implementation decisions. Previous studies mine SATD by searching for specific TD-related terms in source code comments. By contrast, in this paper we argue that developers can admit technical debt by other means, e.g., by creating issues in tracking systems and labelling them as referring to TD. We refer to this type of SATD as issue-based SATD or just SATD-I. We study a sample of 286 SATD-I instances collected from five open source projects, including Microsoft Visual Studio and GitLab Community Edition. We show that only 29% of the studied SATD-I instances can be tracked to source code comments. We also show that SATD-I issues take more time to be closed, compared to other issues, although they are not more complex in terms of code churn. Besides, in 45% of the studied issues TD was introduced to ship earlier, and in almost 60% it refers to Design flaws. Finally, we report that most developers pay SATD-I to reduce its costs or interests (66%). Our findings suggest that there is space for designing novel tools to support technical debt management, particularly tools that encourage developers to create and label issues containing TD concerns.


title: Dynamic thin-shell black-bounce traversable wormholes

abstract: Based on the recently introduced black-bounce spacetimes, we shall consider the construction of the related spherically symmetric thin-shell traversable wormholes within the context of standard general relativity. All of the really unusual physics is encoded in one simple parameter $a$ which characterizes the scale of the bounce. Keeping the discussion as close as possible to standard general relativity is the theorist's version of only adjusting one feature of the model at a time. We shall modify the standard thin-shell traversable wormhole construction, each bulk region now being a black-bounce spacetime, and with the physics of the thin shell being (as much as possible) derivable from the Einstein equations. Furthermore, we shall apply a dynamical analysis to the throat by considering linearized radial perturbations around static solutions, and demonstrate that the stability of the wormhole is equivalent to choosing suitable properties for the exotic material residing on the wormhole throat. The construction is sufficiently novel to be interesting, and sufficiently straightforward to be tractable.


title: Model independent results for the inflationary epoch and the breaking of the degeneracy of models of inflation

abstract: We address the problem of determining inflationary characteristics in a model independent way. We start from a recently proposed equation which allows to accurately calculate the value of the inflaton at horizon crossing $\phi_k$. We then use an equivalent form of this equation to write a formula that relates the number of e-folds from horizon crossing to the pivot scale $N_{ke}+N_{ep}$ with the tensor-to-scalar index $r$, hence a general bound for $N_{ke}+N_{ep}$ follows. $N_{ke}$ is the number of e-folds from the scale factor $a_k$ during inflation to the end of inflation at $a_e$ and $N_{ep}$ is the number of e-folds from $a_e$ to the pivot scale factor $a_p$. In particular, at present $r < 0.063$ implies $N_{ke}+N_{ep}< 112.5$ e-folds at $k=k_p$ and 128.1 e-folds at the present scale with wavenumber mode $k_0$. We also give a lower bound to the size of the universe during the inflationary epoch that gave rise to the current observable universe. We also discussed the problem of degeneracy of inflationary models and argue that this degeneration can only be resolved by studying model predictions from the reheating epoch.


title: Mixture of scalar bosons and two-color fermions in one dimension: Superfluid-insulator transitions

abstract: Superfluid-insulator transitions in a one-dimensional mixture of two-color fermions and scalar bosons are studied within the framework of the Bose-Fermi-Hubbard model. Zero-temperature phase diagrams are constructed for repulsive intraspecies interactions and attractive or repulsive interspecies couplings. In addition to the trivial Mott insulator phases, we report the emergence of new non-trivial insulator phases that depend on the sign of the boson-fermion interaction. These non-trivial insulator phases satisfy the conditions $\rho_B\pm\rho_F=n$ and $\rho_B\pm \tfrac{1}{2}\rho_F=n$, with the plus (minus) sign for repulsive (attractive) interactions and $n$ an integer. Far from fermionic half-filling, the boson-fermion interaction drives a gapless-gapped transition in the spin sector. Our findings could be observed experimentally in state-of-the-art cold-atom setups.


title: A direct dark matter detection experiment is inevitable

abstract: This text contains the main message of my previous review \cite{Bednyakov:2015uoa} on the dark matter problem and supports resent paper \cite{Froborg:2020tdh}. True dark matter particles possess an exclusive galactic signature --- the annual modulation, which is accessible today via direct dark matter detection only. One has no another way to prove the true nature of any dark matter candidate.


title: Fractional and Integer Vortex Dynamics in Strongly Coupled Two-component Bose-Einstein Condensates from AdS/CFT Correspondence

abstract: In order to study the rotating strongly coupled Bose-Einstein condensations(BEC), a holographic model defined in an AdS black hole that duals to a coupled two-component condensations in global $U(1)$ symmetry broken phase with intercomponent coupling $\eta$ and internal coherent coupling $\epsilon$ is proposed. By solving the dynamics of the model, we study the process of formation and also the crossover from fractional to integer vortex phases. With changing only $\eta$ from zero to a finite value, fractional vortex lattices undergo a transition from hexagon to square lattice and finally to vortex sheets. By continuing to turn on $\epsilon$, we find that two fractional vortices in different components constitute dimers, and when $\eta$ transcend a critical value, multi-dimer like hexamer or tetramer made up of two and three dimers appear. As $\epsilon$ keeps increasing, some dimers rotate to adjust themselves and then constitute the lattice of integer vortices. Under an initial conditions similar to an spinor BEC vortices dynamics experiment, the appearance of disordered turbulence is found in the process of fractional vortex generation, which matches the experimental observation. While in the formation process of integer vortices, the appearance of grooves is predicted.


title: Coronavirus (COVID-19) Classification using CT Images by Machine Learning Methods

abstract: This study presents early phase detection of Coronavirus (COVID-19), which is named by World Health Organization (WHO), by machine learning methods. The detection process was implemented on abdominal Computed Tomography (CT) images. The expert radiologists detected from CT images that COVID-19 shows different behaviours from other viral pneumonia. Therefore, the clinical experts specify that COV\.ID-19 virus needs to be diagnosed in early phase. For detection of the COVID-19, four different datasets were formed by taking patches sized as 16x16, 32x32, 48x48, 64x64 from 150 CT images. The feature extraction process was applied to patches to increase the classification performance. Grey Level Co-occurrence Matrix (GLCM), Local Directional Pattern (LDP), Grey Level Run Length Matrix (GLRLM), Grey-Level Size Zone Matrix (GLSZM), and Discrete Wavelet Transform (DWT) algorithms were used as feature extraction methods. Support Vector Machines (SVM) classified the extracted features. 2-fold, 5-fold and 10-fold cross-validations were implemented during the classification process. Sensitivity, specificity, accuracy, precision, and F-score metrics were used to evaluate the classification performance. The best classification accuracy was obtained as 99.68% with 10-fold cross-validation and GLSZM feature extraction method.


title: Enhanced models for the nonlinear bending of planar rods: localization phenomena and multistability

abstract: We deduce a 1D model of elastic planar rods starting from the F\"{o}ppl--von K\'{a}rm\'{a}n model of thin shells. Such model is enhanced by additional kinematical descriptors that keep explicit track of the compatibility condition requested in the 2D parent continuum, that in the standard rods models are identically satisfied after the dimensional reduction. An inextensible model is also proposed, starting from the nonlinear Koiter model of inextensible shells. These enhanced models describe the nonlinear planar bending of rods and allow to account for some phenomena of preeminent importance even in 1D bodies, such as formation of singularities and localization (d-cones), otherwise inaccessible by the classical 1D models. Moreover, the effects of the compatibility translate into the possibility to obtain multiple stable equilibrium configurations.


title: The Higgs and Leptophobic Force at the LHC

abstract: The Higgs boson could provide the key to discover new physics at the Large Hadron Collider. We investigate novel decays of the Standard Model (SM) Higgs boson into leptophobic gauge bosons which can be light in agreement with all experimental constraints. We study the associated production of the SM Higgs and the leptophobic gauge boson that could be crucial to test the existence of a leptophobic force. Our results demonstrate that it is possible to have a simple gauge extension of the SM at the low scale, without assuming very small couplings and in agreement with all the experimental bounds that can be probed at the LHC.


title: Double-Peaked Balmer Emission Indicating Prompt Accretion Disk Formation in an X-Ray Faint Tidal Disruption Event

abstract: We present the multi-wavelength analysis of the tidal disruption event (TDE) AT~2018hyz (ASASSN-18zj). From follow-up optical spectroscopy, we detect the first unambiguous case of resolved double-peaked Balmer emission in a TDE. The distinct line profile can be well-modelled by a low eccentricity ($e\approx0.1$) accretion disk extending out to $\sim$100 $R_{p}$ and a Gaussian component originating from non-disk clouds, though a bipolar outflow origin cannot be completely ruled out. Our analysis indicates that in AT~2018hyz, disk formation took place promptly after the most-bound debris returned to pericenter, which we estimate to be roughly tens of days before the first detection. Redistribution of angular momentum and mass transport, possibly through shocks, must occur on the observed timescale of about a month to create the large \Ha-emitting disk that comprises $\lesssim$5\% of the initial stellar mass. With these new insights from AT~2018hyz, we infer that circularization is efficient in at least some, if not all optically-bright, X-ray faint TDEs. In these efficiently circularized TDEs, the detection of double-peaked emission depends on the disk inclination angle and the relative strength of the disk contribution to the non-disk component, possibly explaining the diversity seen in the current sample.


title: Does the Round Sphere Maximize the Free Energy of (2+1)-Dimensional QFTs?

abstract: We examine the renormalized free energy of the free Dirac fermion and the free scalar on a (2+1)-dimensional geometry $\mathbb{R} \times \Sigma$, with $\Sigma$ having spherical topology and prescribed area. Using heat kernel methods, we perturbatively compute this energy when $\Sigma$ is a small deformation of the round sphere, finding that at any temperature the round sphere is a local maximum. At low temperature the free energy difference is due to the Casimir effect. We then numerically compute this free energy for a class of large axisymmetric deformations, providing evidence that the round sphere globally maximizes it, and we show that the free energy difference relative to the round sphere is unbounded below as the geometry on $\Sigma$ becomes singular. Both our perturbative and numerical results in fact stem from the stronger finding that the difference between the heat kernels of the round sphere and a deformed sphere always appears to have definite sign. We investigate the relevance of our results to physical systems like monolayer graphene consisting of a membrane supporting relativistic QFT degrees of freedom.


title: Fracton hydrodynamics

abstract: We introduce new classes of hydrodynamic theories inspired by the recently discovered fracton phases of quantum matter. Fracton phases are characterized by elementary excitations (fractons) with restricted mobility. The hydrodynamic theories we introduce describe thermalization in systems with fracton-like mobility constraints, including fluids where charge and dipole moment are both locally conserved, and fluids where charge is conserved along every line or plane of a lattice. Each of these fluids is subdiffusive, and constitutes a new universality class of hydrodynamic behavior. There are infinitely many such classes, each with distinct subdiffusive exponents, all of which are captured by our formalism. Our framework naturally explains recent results on dynamics with constrained quantum circuits, as well as recent experiments with ultracold atoms in tilted optical lattices. We identify crisp experimental signatures of these novel hydrodynamics, and explain how they may be realized in near term ultracold atom experiments.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Extracting many body localization lengths with an imaginary vector potential

abstract: One challenge of studying the many-body localization transition is defining the length scale that diverges upon the transition to the ergodic phase. In this manuscript we explore the localization properties of a ring with onsite disorder subject to an imaginary magnetic flux. We connect the imaginary flux which delocalizes single-particle orbitals of an Anderson-localized ring with the localization length of an open chain. We thus identify the delocalizing imaginary flux per site with the inverse localization length. We put this intuition to use by exploring the phase diagram of a disordered interacting chain, and find that the inverse imaginary flux per bond provides an accessible description of the transition and its diverging localization length.


title: Normal state properties of quantum critical metals at finite temperature

abstract: We study the effects of finite temperature on normal state properties of a metal near a quantum critical point to an antiferromagnetic or Ising-nematic state. At $T = 0$ bosonic and fermionic self-energies are traditionally computed within Eliashberg theory and obey scaling relations with characteristic power-laws. Quantum Monte Carlo (QMC) simulations have shown strong systematic deviations from these predictions, casting doubt on the validity of the theoretical analysis. We extend Eliashberg theory to finite $T$ and argue that for the $T$ range accessible in the QMC simulations, the scaling forms for both fermionic and bosonic self energies are quite different from those at $T = 0$. We compare finite $T$ results with QMC data and find good agreement for both systems. This, we argue, resolves the key apparent contradiction between the theory and the QMC simulations.


title: Distinguishing Cell Phenotype Using Cell Epigenotype

abstract: The relationship between microscopic observations and macroscopic behavior is a fundamental open question in biophysical systems. Here, we develop a unified approach that---in contrast with existing methods---predicts cell type from macromolecular data even when accounting for the scale of human tissue diversity and limitations in the available data. We achieve these benefits by applying a k-nearest-neighbors algorithm after projecting our data onto the eigenvectors of the correlation matrix inferred from many observations of gene expression or chromatin conformation. Our approach identifies variations in epigenotype that impact cell type, thereby supporting the cell type attractor hypothesis and representing the first step toward model-independent control strategies in biological systems.


title: The two-dimensional electron self-energy: Long-range Coulomb interaction

abstract: The electron self-energy for long-range Coulomb interactions plays a crucial role in understanding the many-body physics of interacting electron systems (e.g. in metals and semiconductors), and has been studied extensively for decades. In fact, it is among the oldest and the most-investigated many body problems in physics. However, there is a lack of an analytical expression for the self-energy $Re \Sigma^{(R)}( \varepsilon,T)$ when energy $\varepsilon$ and temperature $k_{B} T$ are arbitrary with respect to each other (while both being still small compared with the Fermi energy). We revisit this problem and calculate analytically the self-energy on the mass shell for a two-dimensional electron system with Coulomb interactions in the high density limit $r_s \ll 1$, for temperature $ r_s^{3/2} \ll k_{B} T/ E_F \ll r_s$ and energy $r_s^{3/2} \ll |\varepsilon |/E_F \ll r_s$. We provide the exact high-density analytical expressions for the real and imaginary parts of the electron self-energy with arbitrary value of $\varepsilon /k_{B} T$, to the leading order in the dimensionless Coulomb coupling constant $r_s$, and to several higher than leading orders in $k_{B} T/r_s E_F$ and $\varepsilon /r_s E_F$. We also obtain the asymptotic behavior of the self-energy in the regimes $|\varepsilon | \ll k_{B} T$ and $|\varepsilon | \gg k_{B} T$. The higher-order terms have subtle and highly non-trivial compound logarithmic contributions from both $\varepsilon $ and $T$, explaining why they have never before been calculated in spite of the importance of the subject matter.


title: Ricci-like solitons with vertical potential on Sasaki-like almost contact B-metric manifolds

abstract: Ricci-like solitons on Sasaki-like almost contact B-metric manifolds are the object of study. Cases, where the potential of the Ricci-like soliton is the Reeb vector field or pointwise collinear to it, are considered. In the former case, the properties for a parallel or recurrent Ricci-tensor are studied. In the latter case, it is shown that the potential of the considered Ricci-like soliton has a constant length and the manifold is $\eta$-Einstein. Other curvature conditions are also found, which imply that the main metric is Einstein. After that, some results are obtained for a parallel symmetric second-order covariant tensor on the manifolds under study. Finally, an explicit example of dimension 5 is given and some of the results are illustrated.


title: Back-reaction in massless de Sitter QFTs: holography, gravitational DBI action and f(R) gravity

abstract: We employ gauge-gravity duality to study the backreaction effect of 4-dimensional large-$N$ quantum field theories on constant-curvature backgrounds, and in particular de Sitter space-time. The field theories considered are holographic QFTs, dual to RG flows between UV and IR CFTs. We compute the holographic QFT contribution to the gravitational effective action for 4d Einstein manifold backgrounds. We find that for a given value of the cosmological constant $\lambda$, there generically exist two backreacted constant-curvature solutions, as long as $\lambda < \lambda_{\textrm{max}} \sim M_p^2 / N^2$, otherwise no such solutions exist. Moreover, the backreaction effect interpolates between that of the UV and IR CFTs. We also find that, at finite cutoff, a holographic theory always reduces the bare cosmological constant, and this is the consequence of thermodynamic properties of the partition function of holographic QFTs on de Sitter.


title: aphBO-2GP-3B: A budgeted asynchronous parallel multi-acquisition functions for constrained Bayesian optimization on high-performing computing architecture

abstract: High-fidelity complex engineering simulations are highly predictive, but also computationally expensive and often require substantial computational efforts. The mitigation of computational burden is usually enabled through parallelism in high-performance cluster (HPC) architecture. In this paper, an asynchronous constrained batch-parallel Bayesian optimization method is proposed to efficiently solve the computationally-expensive simulation-based optimization problems on the HPC platform, with a budgeted computational resource, where the maximum number of simulations is a constant. The advantages of this method are three-fold. First, the efficiency of the Bayesian optimization is improved, where multiple input locations are evaluated massively parallel in an asynchronous manner to accelerate the optimization convergence with respect to physical runtime. This efficiency feature is further improved so that when each of the inputs is finished, another input is queried without waiting for the whole batch to complete. Second, the method can handle both known and unknown constraints. Third, the proposed method considers several acquisition functions at the same time and sample based on an evolving probability mass distribution function using a modified GP-Hedge scheme, where parameters are corresponding to the performance of each acquisition function. The proposed framework is termed aphBO-2GP-3B, which corresponds to asynchronous parallel hedge Bayesian optimization with two Gaussian processes and three batches. The aphBO-2GP-3B framework is demonstrated using two high-fidelity expensive industrial applications, where the first one is based on finite element analysis (FEA) and the second one is based on computational fluid dynamics (CFD) simulations.


title: A Deep CFHT Optical Search for a Counterpart to the Possible Neutron Star -- Black Hole Merger GW190814

abstract: We present a wide-field optical imaging search for electromagnetic counterparts to the likely neutron star - black hole (NS-BH) merger GW190814/S190814bv. This compact binary merger was detected through gravitational waves by the LIGO/Virgo interferometers, with masses suggestive of a NS-BH merger. We imaged the LIGO/Virgo localization region using the MegaCam instrument on the Canada-France-Hawaii Telescope. We describe our hybrid observing strategy of both tiling and galaxy-targeted observations, as well as our image differencing and transient detection pipeline. Our observing campaign produced some of the deepest multi-band images of the region between 1.7 and 8.7 days post-merger, reaching a 5sigma depth of g > 22.8 (AB mag) at 1.7 days and i > 23.1 and i > 23.9 at 3.7 and 8.7 days, respectively. These observations cover a mean total integrated probability of 67.0% of the localization region. We find no compelling candidate transient counterparts to this merger in our images, which suggests that either the lighter object was tidally disrupted inside of the BH's innermost stable circular orbit, the transient lies outside of the observed sky footprint, or the lighter object is a low-mass BH. We use 5sigma source detection upper limits from our images in the NS-BH interpretation of this merger to constrain the mass of the kilonova ejecta to be Mej < 0.015Msun for a 'blue' (kappa = 0.5 cm^2 g^-1) kilonova, and Mej < 0.04Msun for a 'red' (kappa = 5-10 cm^2 g^-1) kilonova. Our observations emphasize the key role of large-aperture telescopes and wide-field imagers such as CFHT MegaCam in enabling deep searches for electromagnetic counterparts to gravitational wave events.


title: Engine and Aftertreatment Co-Optimization of Connected HEVs via Multi-Range Vehicle Speed Planning and Prediction

abstract: Connected vehicles (CVs) have situational awareness that can be exploited for control and optimization of the powertrain system. While extensive studies have been carried out for energy efficiency improvement of CVs via eco-driving and planning, the implication of such technologies on the thermal responses of CVs has not been fully investigated. One of the key challenges in leveraging connectivity for optimization-based thermal management of CVs is the relatively slow thermal dynamics, which necessitate the use of a long prediction horizon to achieve the best performance. Long-term prediction of the CV speed, unlike the V2V/V2I-based short-range prediction, is difficult and error-prone. The multiple timescales inherent to power and thermal systems call for a variable timescale optimization framework with access to short- and long-term vehicle speed preview. To this end, a model predictive controller (MPC) with a multi-range speed preview for integrated power and thermal management (iPTM) of connected hybrid electric vehicles (HEVs) is presented in this paper. The MPC is formulated to manage the power-split between the engine and the battery while enforcing the power and thermal (engine coolant and catalytic converter temperatures) constraints. The MPC exploits prediction and optimization over a shorter receding horizon and longer shrinking horizon. Over the longer shrinking horizon, the vehicle speed estimation is based on the data collected from the connected vehicles traveling on the same route as the ego-vehicle. Simulation results of applying the MPC over real-world urban driving cycles in Ann Arbor, MI are presented to demonstrate the effectiveness and fuel-saving potentials of the proposed iPTM strategy under the uncertainty associated with long-term predictions of the CV's speed.


title: ROAM: Random Layer Mixup for Semi-Supervised Learning in Medical Imaging

abstract: Medical image segmentation is one of the major challenges addressed by machine learning methods. Yet, deep learning methods profoundly depend on a large amount of annotated data, which is time-consuming and costly. Though, semi-supervised learning methods approach this problem by leveraging an abundant amount of unlabeled data along with a small amount of labeled data in the training process. Recently, MixUp regularizer has been successfully introduced to semi-supervised learning methods showing superior performance. MixUp augments the model with new data points through linear interpolation of the data at the input space. We argue that this option is limited. Instead, we propose ROAM, a RandOm lAyer Mixup, which encourages the network to be less confident for interpolated data points at randomly selected space. ROAM generates more data points that have never seen before, and hence it avoids over-fitting and enhances the generalization ability. We conduct extensive experiments to validate our method on three publicly available datasets on whole-brain image segmentation. ROAM achieves state-of-the-art (SOTA) results in fully supervised (89.5%) and semi-supervised (87.0%) settings with a relative improvement of up to 2.40% and 16.50%, respectively for the whole-brain segmentation.


title: The Dirichlet problem for the $1$-Laplacian with a general singular term and $L^1$-data

abstract: We study the Dirichlet problem for an elliptic equation involving the $1$-Laplace operator and a reaction term, namely: $$ \left\{\begin{array}{ll} \displaystyle -\Delta_1 u =h(u)f(x)&\hbox{in }\Omega\,,\\ u=0&\hbox{on }\partial\Omega\,, \end{array}\right. $$ where $ \Omega \subset \mathbb{R}^N$ is an open bounded set having Lipschitz boundary, $f\in L^1(\Omega)$ is nonnegative, and $h$ is a continuous real function that may possibly blow up at zero. We investigate optimal ranges for the data in order to obtain existence, nonexistence and (whenever expected) uniqueness of nonnegative solutions.


title: Shear-free conditions of a Chaplygin-Gas-dominated universe

abstract: In this work, we revisit the shear-free conjecture of general relativity and show the violation of the well-known shear-free condition for perfect-fluid spacetimes. It had been shown in previous investigations that, in the general relativistic framework, the matter congruences of shear-free perfect fluid spacetimes should be either expansion-free or rotation-free. Our current investigation, however, indicates that a universe dominated by a Chaplygin gas can allow a simultaneous expansion and rotation of the fluid provided that certain non-trivial conditions, which we derive and describe below, are met. We also show that, in the appropriate limiting cases, our results reduce to the expected results of dust spacetimes which can only expand or rotate, but not both, at the same time.


title: Combining FOF and halo-based algorithms for the identification of galaxy groups

abstract: Galaxy groups provide the means for a great diversity of studies that contribute to a better understanding of the structure of the universe on a large scale and allow the properties of galaxies to be linked to those of the host halos. However, the identification of galaxy systems is a challenging task and therefore it is necessary to improve the techniques involved as much as possible. In view of the large present and forthcoming galaxy catalogues, we propose, implement, and evaluate an algorithm that combines the two most popular techniques used to identify galaxy systems. The algorithm can be easily applied to any spectroscopic galaxy catalogue, but here we demonstrate its use on the Sloan Digital Sky Survey. Assuming that a galaxy group is a gravitationally bounded system that has at least one bright galaxy, we begin by identifying groups with a Friends-Of-Friends algorithm adapted to fit this definition. In view of the shortcomings of this method, particularly the lack of ability to identify low-number groups, and consequently the inability to study the occupation of halos throughout the mass range, we improve it by adding a halo-based procedure. To assess the performance, we construct a mock catalogue from a semi-analytical model to compare the groups identified using our method with those obtained from the simulation. The comparison of groups extracted using our method with those of a mock catalogue shows that the proposed algorithm provides excellent results. The modifications introduced to the Friends-Of-Friends algorithm in the first part of the procedure to fit the adopted group definition gave reliable groups. Furthermore, the incorporation of the halo-based method reduces the interlopers while more accurately reproducing the number of galaxies per group. As a specific application, we use the algorithm to extract groups from the Sloan Digital Sky Survey.


title: Deep Sets for Generalization in RL

abstract: This paper investigates the idea of encoding object-centered representations in the design of the reward function and policy architectures of a language-guided reinforcement learning agent. This is done using a combination of object-wise permutation invariant networks inspired from Deep Sets and gated-attention mechanisms. In a 2D procedurally-generated world where agents targeting goals in natural language navigate and interact with objects, we show that these architectures demonstrate strong generalization capacities to out-of-distribution goals. We study the generalization to varying numbers of objects at test time and further extend the object-centered architectures to goals involving relational reasoning.


title: On a quarantine model of coronavirus infection and data analysis

abstract: Attempts to curb the spread of coronavirus by introducing strict quarantine measures apparently have different effect in different countries: while the number of new cases has reportedly decreased in China and South Korea, it still exhibit significant growth in Italy and other countries across Europe. In this brief note, we endeavour to assess the efficiency of quarantine measures by means of mathematical modelling. Instead of the classical SIR model, we introduce a new model of infection progression under the assumption that all infected individual are isolated after the incubation period in such a way that they cannot infect other people. Disease progression in this model is determined by the basic reproduction number $\mathcal{R}_0$ (the number of newly infected individuals during the incubation period), which is different compared to that for the standard SIR model. If $\mathcal{R}_0 >1$, then the number of latently infected individuals exponentially grows. However, if $\mathcal{R}_0 <1$ (e.g.~due to quarantine measures and contact restrictions imposed by public authorities), then the number of infected decays exponentially. We then consider the available data on the disease development in different countries to show that there are three possible patterns: growth dynamics, growth-decays dynamics, and patchy dynamics (growth-decay-growth). Analysis of the data in China and Korea shows that the peak of infection (maximum of daily cases) is reached about 10 days after the restricting measures are introduced. During this period of time, the growth rate of the total number of infected was gradually decreasing. However, the growth rate remains exponential in Italy. Arguably, it suggests that the introduced quarantine is not sufficient and stricter measures are needed.


title: On finite groups with elements of prime power orders

abstract: In this paper we study the finite groups in which every element has prime power order, briefly them EPPO-groups. The classification of EPPO-groups is given including the cases of solvable, non-solvable and simple EPPO-groups. This paper is published in Journal of Yunnan Education College, no.1(1986), p.2-10 (in Chinese). Translate it to English is helpful for readers for citing some conclusions of this paper. For example, the result of solvable EPPO-groups(see Theorem 2.4 in the text) is detailed more than G. Higman's conclusion (see reference 1 in this paper).


title: Green DetNet: Computation and Memory efficient DetNet using Smart Compression and Training

abstract: This paper introduces an incremental training framework for compressing popular Deep Neural Network (DNN) based unfolded multiple-input-multiple-output (MIMO) detection algorithms like DetNet. The idea of incremental training is explored to select the optimal depth while training. To reduce the computation requirements or the number of FLoating point OPerations (FLOPs) and enforce sparsity in weights, the concept of structured regularization is explored using group LASSO and sparse group LASSO. Our methods lead to an astounding $98.9\%$ reduction in memory requirement and $81.63\%$ reduction in FLOPs when compared with DetNet without compromising on BER performance.


title: Sustainability Analysis of Interconnected Food Production Systems via Theory of Barriers

abstract: Controlled environment agriculture (CEA) is used for efficient food production. Efficiency can be increased further by interconnecting different CEA systems (e.g. plants and insect larvae or fish and larvae), using products and by-products of one system in the other. These interconnected systems define an overall system that can be described by models of interacting species. It is necessary to identify system parameters (e.g. initial species concentration, harvest rate, feed quality, etc.) such that the resources are not exhausted. For such systems with interacting species, modelled by the Lotka-Volterra equations, a set-based approach based on the recent results of the theory of barriers to exactly determine the so-called admissible set (also known as viability kernel) and the maximal robust positively invariant set is presented. Using an example of a larvae-fish based production system, steps to obtain special trajectories which are the boundaries of the admissible set are shown. This admissible set is used to prevent the under and over population of the species in the CEA. Furthermore, conditions of the system parameters are stated, such that the existence of these trajectories can be guaranteed.


title: Lightlike manifolds and Cartan geometries

abstract: Lightlike Cartan geometries are introduced as Cartan geometries modelled on the future lightlike cone in Lorentz-Minkowski spacetime. Then, we provide an approach to the study of lightlike manifolds from this point of view. It is stated that every lightlike Cartan geometry on a manifold $N$ provides a lightlike metric $h$ with radical distribution globally spanned by a vector field $Z$. For lightlike hypersurfaces of a Lorentz manifold, we give the condition that characterizes when the pull-back of the Levi-Civita connection form of the ambient manifold is a lightlike Cartan connection on such hypersurface. In the particular case that a lightlike hypersurface is properly totally umbilical, this construction essentially returns the original lightlike metric. From the intrinsic point of view, starting from a given lightlike manifold $(N,h)$, we show a method to construct a family of ambient Lorentzian manifolds that realize $(N,h)$ as a hypersurface. This method is inspired on the Feffermann-Graham ambient metric construction in conformal geometry and provides a lightlike Cartan geometry on the original manifold when $(N,h)$ is generic.


title: 2-Homogeneous Polynomials and Maximal Subspaces

abstract: In this paper we study the maximal subspaces of continuous n-homogeneous polynomials on complex and real non separable Banach spaces. In the real case we will prove that if P is a 2-homogeneous polynomial and if there exist a k-dimensional P-maximal subspace then every P-maximal subspace is k-dimensional.