title: HumanGPS: Geodesic PreServing Feature for Dense Human Correspondences

abstract: In this paper, we address the problem of building dense correspondences between human images under arbitrary camera viewpoints and body poses. Prior art either assumes small motion between frames or relies on local descriptors, which cannot handle large motion or visually ambiguous body parts, e.g., left vs. right hand. In contrast, we propose a deep learning framework that maps each pixel to a feature space, where the feature distances reflect the geodesic distances among pixels as if they were projected onto the surface of a 3D human scan. To this end, we introduce novel loss functions to push features apart according to their geodesic distances on the surface. Without any semantic annotation, the proposed embeddings automatically learn to differentiate visually similar parts and align different subjects into an unified feature space. Extensive experiments show that the learned embeddings can produce accurate correspondences between images with remarkable generalization capabilities on both intra and inter subjects.


title: The Cyclic Graph of a $2$-Frobenius Group

abstract: The cyclic graph of a group $G$ is the graph whose vertices are the nonidentity elements of $G$ and whose edges connect distinct elements $x$ and $y$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. We obtain information about the cyclic graph of $2$-Frobenius groups. The cyclic graph of a $2$-Frobenius group is disconnected. In this paper, we determine the number of connected components of the cyclic graph of any $2$-Frobenius group.


title: Contrastive Explanations of Plans Through Model Restrictions

abstract: In automated planning, the need for explanations arises when there is a mismatch between a proposed plan and the user's expectation. We frame Explainable AI Planning in the context of the plan negotiation problem, in which a succession of hypothetical planning problems are generated and solved. The object of the negotiation is for the user to understand and ultimately arrive at a satisfactory plan. We present the results of a user study that demonstrates that when users ask questions about plans, those questions are contrastive, i.e. "why A rather than B?". We use the data from this study to construct a taxonomy of user questions that often arise during plan negotiation. We formally define our approach to plan negotiation through model restriction as an iterative process. This approach generates hypothetical problems and contrastive plans by restricting the model through constraints implied by user questions. We formally define model-based compilations in PDDL2.1 of each constraint derived from a user question in the taxonomy, and empirically evaluate the compilations in terms of computational complexity. The compilations were implemented as part of an explanation framework that employs iterative model restriction. We demonstrate its benefits in a second user study.


title: Modeling the fast optical transient SN 2019bkc/ATLAS19dqr with a central engine and implication for its origin

abstract: Modern wide-field high-cadence surveys have revealed the significant diversity of optical transient phenomena in their luminosity and timescale distributions, which led to the discovery of some mysterious fast optical transients (FOTs). These FOTs can usually rise and decline remarkably in a timescale of a few days to weeks, which are obviously much rapider than ordinary supernovae. SN 2019bkc/ATLAS19dqr is one of the fastest detected FOTs so far and, meanwhile, it was found to be un-associated with a host galaxy. These discoveries provide a good chance to explore the possible origins of FOTs. So, we model the light curves of SN 2019bkc in details. It is found that SN 2019bkc can be well explained by the thermal emission of an explosion ejecta that is powered by a long-lasting central engine. The engine could be a spinning-down millisecond magnetar or a fallback accretion onto a compact object. Combining the engine property, the mass of the ejecta, and the hostlessness of SN 2019bkc, we suggest that this FOT is likely to originate from a merger of a white dwarf and a neutron star.


title: A stochastic model for the influence of social distancing on loneliness

abstract: The short-term economic consequences of the critical measures employed to curb the transmission of Covid-19 are all too familiar, but the consequences of isolation and loneliness resulting from those measures on the mental well-being of the population and their ensuing long-term economic effects are largely unknown. Here we offer a stochastic agent-based model to investigate social restriction measures in a community where the feelings of loneliness of the agents dwindle when they are socializing and grow when they are alone. In addition, the intensity of those feelings, which are measured by a real variable that we term degree of loneliness, determines whether the agent will seek social contact or not. We find that decrease of the number, quality or duration of social contacts lead the community to enter a regime of burnout in which the degree of loneliness diverges, although the number of lonely agents at a given moment amounts to only a fraction of the total population. This regime of mental breakdown is separated from the healthy regime, where the degree of loneliness is finite, by a continuous phase transition. We show that the community dynamics is described extremely well by a simple mean-field theory so our conclusions can be easily verified for different scenarios and parameter settings. The appearance of the burnout regime illustrates neatly the side effects of social distancing, which give to many of us the choice between physical infection and mental breakdown.


title: Classification of Seeds using Domain Randomization on Self-Supervised Learning Frameworks

abstract: The first step toward Seed Phenotyping i.e. the comprehensive assessment of complex seed traits such as growth, development, tolerance, resistance, ecology, yield, and the measurement of pa-rameters that form more complex traits is the identification of seed type. Generally, a plant re-searcher inspects the visual attributes of a seed such as size, shape, area, color and texture to identify the seed type, a process that is tedious and labor-intensive. Advances in the areas of computer vision and deep learning have led to the development of convolutional neural networks (CNN) that aid in classification using images. While they classify efficiently, a key bottleneck is the need for an extensive amount of labelled data to train the CNN before it can be put to the task of classification. The work leverages the concepts of Contrastive Learning and Domain Randomi-zation in order to achieve the same. Briefly, domain randomization is the technique of applying models trained on images containing simulated objects to real-world objects. The use of synthetic images generated from a representational sample crop of real-world images alleviates the need for a large volume of test subjects. As part of the work, synthetic image datasets of five different types of seed images namely, canola, rough rice, sorghum, soy and wheat are applied to three different self-supervised learning frameworks namely, SimCLR, Momentum Contrast (MoCo) and Build Your Own Latent (BYOL) where ResNet-50 is used as the backbone in each of the networks. When the self-supervised models are fine-tuned with only 5% of the labels from the synthetic dataset, results show that MoCo, the model that yields the best performance of the self-supervised learning frameworks in question, achieves an accuracy of 77% on the test dataset which is only ~13% less than the accuracy of 90% achieved by ResNet-50 trained on 100% of the labels.


title: An ab initio study of structural, elastic and electronic properties of hexagonal MAuGe (M = Lu, Sc) compounds

abstract: In this paper, we performed a detailed theoretical study of structural, elastic and electronic properties of two germanides LuAuGe and ScAuGe by means of first-principles calculations using the pseudopotential plane-wave method within the generalized gradient approximation. The crystal lattice parameters and the internal coordinates are in good agreement with the existing experimental and theoretical reports, which proves the reliability of the applied theoretical method. The hydrostatic pressure effect on the structural parameters is shown. The monocrystalline elastic constants were calculated using the stress-strain technique. The calculated elastic constants of the MAuGe (M = Lu, Sc) compounds meet the mechanical stability criteria for hexagonal crystals and these constants were used to analyze the elastic anisotropy of the MAuGe compounds through three different indices. Polycrystalline isotropic elastic moduli, namely bulk modulus, shear modulus, Young's modulus, Poisson's ratio, and the related properties are also estimated using Voigt-Reuss-Hill approximations. Finally, we studied the electronic properties of the considered compounds by calculating their band structures, their densities of states and their electron density distributions.


title: Performance Analysis of Out-of-Distribution Detection on Various Trained Neural Networks

abstract: Several areas have been improved with Deep Learning during the past years. For non-safety related products adoption of AI and ML is not an issue, whereas in safety critical applications, robustness of such approaches is still an issue. A common challenge for Deep Neural Networks (DNN) occur when exposed to out-of-distribution samples that are previously unseen, where DNNs can yield high confidence predictions despite no prior knowledge of the input. In this paper we analyse two supervisors on two well-known DNNs with varied setups of training and find that the outlier detection performance improves with the quality of the training procedure. We analyse the performance of the supervisor after each epoch during the training cycle, to investigate supervisor performance as the accuracy converges. Understanding the relationship between training results and supervisor performance is valuable to improve robustness of the model and indicates where more work has to be done to create generalized models for safety critical applications.


title: Supporting verification of news articles with automated search for semantically similar articles

abstract: Fake information poses one of the major threats for society in the 21st century. Identifying misinformation has become a key challenge due to the amount of fake news that is published daily. Yet, no approach is established that addresses the dynamics and versatility of fake news editorials. Instead of classifying content, we propose an evidence retrieval approach to handle fake news. The learning task is formulated as an unsupervised machine learning problem. For validation purpose, we provide the user with a set of news articles from reliable news sources supporting the hypothesis of the news article in query and the final decision is left to the user. Technically we propose a two-step process: (i) Aggregation-step: With information extracted from the given text we query for similar content from reliable news sources. (ii) Refining-step: We narrow the supporting evidence down by measuring the semantic distance of the text with the collection from step (i). The distance is calculated based on Word2Vec and the Word Mover's Distance. In our experiments, only content that is below a certain distance threshold is considered as supporting evidence. We find that our approach is agnostic to concept drifts, i.e. the machine learning task is independent of the hypotheses in a text. This makes it highly adaptable in times where fake news is as diverse as classical news is. Our pipeline offers the possibility for further analysis in the future, such as investigating bias and differences in news reporting.


title: Sessile liquid drop evaporation: analytical solution in bipolar coordinates

abstract: The investigation of evaporating liquid drop deposited onto a flat surface is of great importance for physical, engineering and medical applications. Novel analytical expressions are proposed to calculate the evaporation rate of sessile drop (mass loss per unit surface area per unit time) and total evaporation rate (mass loss per unit time). To obtain these results, the H.M. Macdonald's solution for a flat wedge was transformed by method of inversion in a sphere originally developed by J.C. Maxwell in the Treatise on Electricity and Magnetism with further derivation the solution for a lens based on consideration given in bipolar coordinates by G.A. Grinberg. These solutions are mathematically equivalent to expressions proposed earlier by Yuri O. Popov [Phys. Rev. E 71, 036313 (2005)], but, in some cases, probably, the new solutions can be more useful from a computational point of view.


title: Beam stripping interactions in compact cyclotrons

abstract: Beam stripping losses of H- ion beams by interactions with residual gas and electromagnetic fields are evaluated. These processes play an important role in compact cyclotrons where the beam is produced on an internal ion source, and they operate under high magnetic field. The implementation of stripping interactions into the beam dynamics code OPAL provides an adequate framework to estimate the stripping losses for compact cyclotrons such as AMIT. The analysis is focused on optimizing the high energy beam current delivered to the target. The optimization is performed by adjusting parameters of the ion source to regulate the vacuum level inside the accelerator and minimize the beam stripping losses.


title: Busy-Quiet Video Disentangling for Video Classification

abstract: In video data, busy motion details from moving regions are conveyed within a specific frequency bandwidth in the frequency domain. Meanwhile, the rest of the frequencies of video data are encoded with quiet information with substantial redundancy, which causes low processing efficiency in existing video models that take as input raw RGB frames. In this paper, we consider allocating intenser computation for the processing of the important busy information and less computation for that of the quiet information. We design a trainable Motion Band-Pass Module (MBPM) for separating busy information from quiet information in raw video data. By embedding the MBPM into a two-pathway CNN architecture, we define a Busy-Quiet Net (BQN). The efficiency of BQN is determined by avoiding redundancy in the feature space processed by the two pathways: one operating on Quiet features of low-resolution, while the other processes Busy features. The proposed BQN outperforms many recent video processing models on Something-Something V1, Kinetics400, UCF101 and HMDB51 datasets.


title: Tauberian theorems for weighted means of double sequences in intuitionistic fuzzy normed spaces

abstract: We define weighted mean summability method of double sequences in intuitionistic fuzzy normed spaces($IFNS$), and obtain necessary and sufficient Tauberian conditions under which convergence of double sequences in $IFNS$ follows from their weighted mean summability. This study reveals also Tauberian results for some known summation methods in the special cases.


title: Artificial Neural Network classification of asteroids in the M1:2 mean-motion resonance with Mars

abstract: Artificial neural networks (ANN) have been successfully used in the last years to identify patterns in astronomical images. The use of ANN in the field of asteroid dynamics has been, however, so far somewhat limited. In this work we used for the first time ANN for the purpose of automatically identifying the behaviour of asteroid orbits affected by the M1:2 mean-motion resonance with Mars. Our model was able to perform well above 85% levels for identifying images of asteroid resonant arguments in term of standard metrics like accuracy, precision and recall, allowing to identify the orbital type of all numbered asteroids in the region. Using supervised machine learning methods, optimized through the use of genetic algorithms, we also predicted the orbital status of all multi-opposition asteroids in the area. We confirm that the M1:2 resonance mainly affects the orbits of the Massalia, Nysa, and Vesta asteroid families.


title: IA-GCN: Interpretable Attention based Graph Convolutional Network for Disease prediction

abstract: Interpretability in Graph Convolutional Networks (GCNs) has been explored to some extent in computer vision in general, yet, in the medical domain, it requires further examination. Moreover, most of the interpretability approaches for GCNs, especially in the medical domain, focus on interpreting the model in a post hoc fashion. In this paper, we propose an interpretable graph learning-based model which 1) interprets the clinical relevance of the input features towards the task, 2) uses the explanation to improve the model performance and, 3) learns a population level latent graph that may be used to interpret the cohort's behavior. In a clinical scenario, such a model can assist the clinical experts in better decision-making for diagnosis and treatment planning. The main novelty lies in the interpretable attention module (IAM), which directly operates on multi-modal features. Our IAM learns the attention for each feature based on the unique interpretability-specific losses. We show the application on two publicly available datasets, Tadpole and UKBB, for three tasks of disease, age, and gender prediction. Our proposed model shows superior performance with respect to compared methods with an increase in an average accuracy of 3.2% for Tadpole, 1.6% for UKBB Gender, and 2% for the UKBB Age prediction task. Further, we show exhaustive validation and clinical interpretation of our results.


title: Topological field theories and symmetry protected topological phases with fusion category symmetries

abstract: Fusion category symmetries are finite symmetries in 1+1 dimensions described by unitary fusion categories. We classify 1+1d time-reversal invariant bosonic symmetry protected topological (SPT) phases with fusion category symmetry by using topological field theories. We first formulate two-dimensional unoriented topological field theories whose symmetry splits into time-reversal symmetry and fusion category symmetry. We then solve them to show that SPT phases are classified by equivalence classes of quintuples $(Z, M, i, s, \phi)$ where $(Z, M, i)$ is a fiber functor, $s$ is a sign, and $\phi$ is the action of orientation-reversing symmetry that is compatible with the fiber functor $(Z, M, i)$. We apply this classification to SPT phases with Kramers-Wannier-like self-duality.


title: Backpropagation Through Time For Networks With Long-Term Dependencies

abstract: Backpropagation through time (BPTT) is a technique of updating tuned parameters within recurrent neural networks (RNNs). Several attempts at creating such an algorithm have been made including: Nth Ordered Approximations and Truncated-BPTT. These methods approximate the backpropagation gradients under the assumption that the RNN only utilises short-term dependencies. This is an acceptable assumption to make for the current state of artificial neural networks. As RNNs become more advanced, a shift towards influence by long-term dependencies is likely. Thus, a new method for backpropagation is required. We propose using the 'discrete forward sensitivity equation' and a variant of it for single and multiple interacting recurrent loops respectively. This solution is exact and also allows the network's parameters to vary between each subsequent step, however it does require the computation of a Jacobian.


title: Explore the Knowledge contained in Network Weights to Obtain Sparse Neural Networks

abstract: Sparse neural networks are important for achieving better generalization and enhancing computation efficiency. This paper proposes a novel learning approach to obtain sparse fully connected layers in neural networks (NNs) automatically. We design a switcher neural network (SNN) to optimize the structure of the task neural network (TNN). The SNN takes the weights of the TNN as the inputs and its outputs are used to switch the connections of TNN. In this way, the knowledge contained in the weights of TNN is explored to determine the importance of each connection and the structure of TNN consequently. The SNN and TNN are learned alternately with stochastic gradient descent (SGD) optimization, targeting at a common objective. After learning, we achieve the optimal structure and the optimal parameters of the TNN simultaneously. In order to evaluate the proposed approach, we conduct image classification experiments on various network structures and datasets. The network structures include LeNet, ResNet18, ResNet34, VggNet16 and MobileNet. The datasets include MNIST, CIFAR10 and CIFAR100. The experimental results show that our approach can stably lead to sparse and well-performing fully connected layers in NNs.


title: Hidden-nodes in coexisting LAA & Wi-Fi: a measurement study of real deployments

abstract: LTE-Licensed Assisted Access (LAA) networks are beginning to be deployed widely in major metropolitan areas in the US in the unlicensed 5 GHz bands, which have existing dense deployments of Wi-Fi. This provides a real-world opportunity to study the problems due to hidden-node scenarios between LAA and Wi-Fi. The hidden node problem has been well studied in the context of overlapping Wi-Fi APs. However, when Wi-Fi coexists with LAA, the hidden node problem is exacerbated since LAA cannot use the well-known Request-to-Send (RTS)/Clear to-Send (CTS) mechanism to resolve contentions, resulting in throughput degradation for Wi-Fi. In this paper, we describe detailed measurements and conclusions from experiments on the campus of the University of Chicago which presents a perfect hidden node scenario where Wi-Fi access points (APs) controlled by us and an LAA base-station (BS) deployed by AT&T are hidden from each other, but the clients are not. We performed careful experiments in three different regions of the coexistence area: (i) clients midway between LAA & Wi-Fi; (ii) clients close to the Wi-Fi AP; and (iii) clients close to the LAA BS. Our results show that in a situation where LAA uses an aggregate of three unlicensed channels (60 MHz bandwidth) which overlap with an 80 MHz Wi-Fi transmission, the Wi-Fi throughput at client devices suffers considerably. Overall, Wi-Fi performance is impacted by the hidden node problem more severely than LAA. In the best outdoor conditions, the throughput of LAA and Wi-Fi is reduced by 35% and 97% respectively when coexisting with each other as compared when the other system is not present. Furthermore, we conclude that when both LAA and Wi-Fi use multiple 20 MHz channels and there are multiple Wi-Fi APs coexisting with LAA on the same set of channels, the choice of Wi-Fi primary channels can have a significant impact on LAA throughput.


title: Current Trends and Applications of Dempster-Shafer Theory (Review)

abstract: The article provides a review of the publications on the current trends and developments in Dempster-Shafer theory and its different applications in science, engineering, and technologies. The review took account of the following provisions with a focus on some specific aspects of the theory. Firstly, the article considers the research directions whose results are known not only in scientific and academic community but understood by a wide circle of potential designers and developers of advanced engineering solutions and technologies. Secondly, the article shows the theory applications in some important areas of human activity such as manufacturing systems, diagnostics of technological processes, materials and products, building and construction, product quality control, economic and social systems. The particular attention is paid to the current state of research in the domains under consideration and, thus, the papers published, as a rule, in recent years and presenting the achievements of modern research on Dempster-Shafer theory and its application are selected and analyzed.


title: Multi-source Transfer Learning with Ensemble for Financial Time Series Forecasting

abstract: Although transfer learning is proven to be effective in computer vision and natural language processing applications, it is rarely investigated in forecasting financial time series. Majority of existing works on transfer learning are based on single-source transfer learning due to the availability of open-access large-scale datasets. However, in financial domain, the lengths of individual time series are relatively short and single-source transfer learning models are less effective. Therefore, in this paper, we investigate multi-source deep transfer learning for financial time series. We propose two multi-source transfer learning methods namely Weighted Average Ensemble for Transfer Learning (WAETL) and Tree-structured Parzen Estimator Ensemble Selection (TPEES). The effectiveness of our approach is evaluated on financial time series extracted from stock markets. Experiment results reveal that TPEES outperforms other baseline methods on majority of multi-source transfer tasks.


title: Some New Results in Geometric Analysis

abstract: This thesis presents three results in geometric analysis. We first analyze the curve-shortening flow on figure eight curves in the plane. Afterwards, we examine the point-wise curvature preserving flow on space curves. Lastly, we present an abridgment of our work on a family of three-dimensional Lie groups, which, when equipped with canonical left-invariant metrics, interpolate between Sol and hyperbolic space.


title: MVSNeRF: Fast Generalizable Radiance Field Reconstruction from Multi-View Stereo

abstract: We present MVSNeRF, a novel neural rendering approach that can efficiently reconstruct neural radiance fields for view synthesis. Unlike prior works on neural radiance fields that consider per-scene optimization on densely captured images, we propose a generic deep neural network that can reconstruct radiance fields from only three nearby input views via fast network inference. Our approach leverages plane-swept cost volumes (widely used in multi-view stereo) for geometry-aware scene reasoning, and combines this with physically based volume rendering for neural radiance field reconstruction. We train our network on real objects in the DTU dataset, and test it on three different datasets to evaluate its effectiveness and generalizability. Our approach can generalize across scenes (even indoor scenes, completely different from our training scenes of objects) and generate realistic view synthesis results using only three input images, significantly outperforming concurrent works on generalizable radiance field reconstruction. Moreover, if dense images are captured, our estimated radiance field representation can be easily fine-tuned; this leads to fast per-scene reconstruction with higher rendering quality and substantially less optimization time than NeRF.


title: A Shape-Aware Retargeting Approach to Transfer Human Motion and Appearance in Monocular Videos

abstract: Transferring human motion and appearance between videos of human actors remains one of the key challenges in Computer Vision. Despite the advances from recent image-to-image translation approaches, there are several transferring contexts where most end-to-end learning-based retargeting methods still perform poorly. Transferring human appearance from one actor to another is only ensured when a strict setup has been complied, which is generally built considering their training regime's specificities. In this work, we propose a shape-aware approach based on a hybrid image-based rendering technique that exhibits competitive visual retargeting quality compared to state-of-the-art neural rendering approaches. The formulation leverages the user body shape into the retargeting while considering physical constraints of the motion in 3D and the 2D image domain. We also present a new video retargeting benchmark dataset composed of different videos with annotated human motions to evaluate the task of synthesizing people's videos, which can be used as a common base to improve tracking the progress in the field. The dataset and its evaluation protocols are designed to evaluate retargeting methods in more general and challenging conditions. Our method is validated in several experiments, comprising publicly available videos of actors with different shapes, motion types, and camera setups. The dataset and retargeting code are publicly available to the community at: https://www.verlab.dcc.ufmg.br/retargeting-motion.


title: RobustNet: Improving Domain Generalization in Urban-Scene Segmentation via Instance Selective Whitening

abstract: Enhancing the generalization capability of deep neural networks to unseen domains is crucial for safety-critical applications in the real world such as autonomous driving. To address this issue, this paper proposes a novel instance selective whitening loss to improve the robustness of the segmentation networks for unseen domains. Our approach disentangles the domain-specific style and domain-invariant content encoded in higher-order statistics (i.e., feature covariance) of the feature representations and selectively removes only the style information causing domain shift. As shown in Fig. 1, our method provides reasonable predictions for (a) low-illuminated, (b) rainy, and (c) unseen structures. These types of images are not included in the training dataset, where the baseline shows a significant performance drop, contrary to ours. Being simple yet effective, our approach improves the robustness of various backbone networks without additional computational cost. We conduct extensive experiments in urban-scene segmentation and show the superiority of our approach to existing work. Our code is available at https://github.com/shachoi/RobustNet.


title: An Accelerated Method For Decentralized Distributed Stochastic Optimization Over Time-Varying Graphs

abstract: We consider a distributed stochastic optimization problem that is solved by a decentralized network of agents with only local communication between neighboring agents. The goal of the whole system is to minimize a global objective function given as a sum of local objectives held by each agent. Each local objective is defined as an expectation of a convex smooth random function and the agent is allowed to sample stochastic gradients for this function. For this setting we propose the first accelerated (in the sense of Nesterov's acceleration) method that simultaneously attains optimal up to a logarithmic factor communication and oracle complexity bounds for smooth strongly convex distributed stochastic optimization. We also consider the case when the communication graph is allowed to vary with time and obtain complexity bounds for our algorithm, which are the first upper complexity bounds for this setting in the literature.


title: Graph-based Facial Affect Analysis: A Review

abstract: As one of the most important affective signals, facial affect analysis (FAA) is essential for developing human-computer interaction systems. Early methods focus on extracting appearance and geometry features associated with human affects while ignoring the latent semantic information among individual facial changes, leading to limited performance and generalization. Recent work attempts to establish a graph-based representation to model these semantic relationships and develop frameworks to leverage them for various FAA tasks. This paper provides a comprehensive review of graph-based FAA, including the evolution of algorithms and their applications. First, the FAA background knowledge is introduced, especially on the role of the graph. We then discuss approaches widely used for graph-based affective representation in literature and show a trend towards graph construction. For the relational reasoning in graph-based FAA, existing studies are categorized according to their non-deep or deep learning methods, emphasizing the latest graph neural networks. Performance comparisons of the state-of-the-art graph-based FAA methods are also summarized. Finally, we discuss the challenges and potential directions. As far as we know, this is the first survey of graph-based FAA methods. Our findings can serve as a reference for future research in this field.


title: Normal form of nilpotent vector field near the tip of the pure spinor cone

abstract: Pure spinor formalism implies that supergravity equations in space-time are equivalent to the requirement that the worldsheet sigma-model satisfies certain properties. Here we point out that one of these properties has a particularly transparent geometrical interpretation. Namely, there exists an odd nilpotent vector field on some singular supermanifold, naturally associated to space-time. All supergravity fields are encoded in this vector field, as coefficients in its normal form. The nilpotence implies, modulo some zero modes, that they satisfy the SUGRA equations of motion.


title: Ultra-coherent nanomechanical resonators based on inverse design

abstract: Engineered micro- and nanomechanical resonators with ultra-low dissipation constitute the ideal systems for applications ranging from high-precision sensing such as magnetic resonance force microscopy, to quantum transduction between disparate quantum systems. Traditionally, the improvement of the resonator's performance - often quantified by its Qf product (where Q is quality factor and f is frequency) - through nanomechanical engineering such as dissipation dilution and strain engineering, has been driven by human intuition and insight. Such an approach is inefficient and leaves aside a plethora of unexplored mechanical designs that potentially achieve better performance. Here, we use a computer-aided inverse design approach known as topology optimization to structurally design mechanical resonators with optimal performance of the fundamental mechanical mode. Using the outcomes of this approach, we fabricate and characterize ultra-coherent nanomechanical resonators with record-high Qf products, entering a quantum coherent regime where coherent oscillations are observed at room temperature. Further refinements to the model describing the mechanical system are likely to improve the Qf product even more. The proposed approach - which can be also used to improve phononic crystal and coupled-mode resonators - opens up a new paradigm for designing ultra-coherent micro- and nanomechanical resonators for cutting-edge technology, enabling e.g. novel experiments in fundamental physics (e.g. search for dark matter and quantum nature of gravity) and extreme sensing of magnetic fields, electric fields and mass with unprecedented sensitivities at room temperature.


title: Product semantics translation from brain activity via adversarial learning

abstract: A small change of design semantics may affect a user's satisfaction with a product. To modify a design semantic of a given product from personalised brain activity via adversarial learning, in this work, we propose a deep generative transformation model to modify product semantics from the brain signal. We attempt to accomplish such synthesis: 1) synthesising the product image with new features corresponding to EEG signal; 2) maintaining the other image features that irrelevant to EEG signal. We leverage the idea of StarGAN and the model is designed to synthesise products with preferred design semantics (colour & shape) via adversarial learning from brain activity, and is applied with a case study to generate shoes with different design semantics from recorded EEG signals. To verify our proposed cognitive transformation model, a case study has been presented. The results work as a proof-of-concept that our framework has the potential to synthesis product semantic from brain activity.


title: Modelling the evolution of the Sun's open and total magnetic flux

abstract: Solar activity in all its varied manifestations is driven by the magnetic field. Particularly important for many purposes are two global quantities, the Sun's total and open magnetic flux, which can be computed from sunspot number records using models. Such sunspot-driven models, however, do not take into account the presence of magnetic flux during grand minima, such as the Maunder minimum. Here we present a major update of a widely used simple model, which now takes into account the observation that the distribution of all magnetic features on the Sun follows a single power law. The exponent of the power law changes over the solar cycle. This allows for the emergence of small-scale magnetic flux even when no sunspots are present for multiple decades and leads to non-zero total and open magnetic flux also in the deepest grand minima, such as the Maunder minimum, thus overcoming a major shortcoming of the earlier models. The results of the updated model compare well with the available observations and reconstructions of the solar total and open magnetic flux. This opens up the possibility of improved reconstructions of sunspot number from time series of cosmogenic isotope production rate.


title: Higher Order Convergent Control Barrier Functions for Leader-Follower Multi-Agent Systems under STL Tasks

abstract: This paper presents control strategies based on time-varying convergent higher order control barrier functions for a class of leader-follower multi-agent systems under signal temporal logic (STL) tasks. Each agent is assigned a local STL task which may be dependent on the behavior of agents involved in other tasks. The leader has knowledge on the associated tasks and controls the performance of the subgroup involved agents. Robust solutions for the task satisfaction, based on the leader's accessibility to the follower agents' states are suggested. Our approach finds solutions to guarantee the satisfaction of STL tasks independent of the agents' initial conditions.


title: Topology and curvature of isoparametric families in spheres

abstract: An isoparametric family in the unit sphere consists of parallel isoparametric hypersurfaces and their two focal submanifolds. The present paper has two parts. The first part investigates topology of the isoparametric families, namely the homotopy, homeomorphism, or diffeomorphism types, parallelizability, as well as the Lusternik-Schnirelmann category. This part extends substantially the results of Q.M.Wang in \cite{Wa88}. The second part is concerned with their curvatures, more precisely, we determine when they have non-negative sectional curvatures or positive Ricci curvatures with the induced metric.


title: GNeRF: GAN-based Neural Radiance Field without Posed Camera

abstract: We introduce GNeRF, a framework to marry Generative Adversarial Networks (GAN) with Neural Radiance Field (NeRF) reconstruction for the complex scenarios with unknown and even randomly initialized camera poses. Recent NeRF-based advances have gained popularity for remarkable realistic novel view synthesis. However, most of them heavily rely on accurate camera poses estimation, while few recent methods can only optimize the unknown camera poses in roughly forward-facing scenes with relatively short camera trajectories and require rough camera poses initialization. Differently, our GNeRF only utilizes randomly initialized poses for complex outside-in scenarios. We propose a novel two-phases end-to-end framework. The first phase takes the use of GANs into the new realm for optimizing coarse camera poses and radiance fields jointly, while the second phase refines them with additional photometric loss. We overcome local minima using a hybrid and iterative optimization scheme. Extensive experiments on a variety of synthetic and natural scenes demonstrate the effectiveness of GNeRF. More impressively, our approach outperforms the baselines favorably in those scenes with repeated patterns or even low textures that are regarded as extremely challenging before.


title: Strongly correlated superconductivity in a copper-based metal-organic framework with a perfect kagome lattice

abstract: Metal-organic frameworks (MOFs), which are self-assemblies of metal ions and organic ligands, provide a tunable platform to search a new state of matter. A two-dimensional (2D) perfect kagome lattice, whose geometrical frustration is a key to realizing quantum spin liquids, has been formed in the ${\pi}$-${d}$ conjugated 2D MOF [Cu$_{3}$(C$_{6}$S$_{6}$)]$_{n}$ (Cu-BHT). The recent discovery of its superconductivity with a critical temperature $T_{\rm c}$ of 0.25\,kelvin raises fundamental questions about the nature of electron pairing. Here, we show that Cu-BHT is a strongly correlated unconventional superconductor with extremely low superfluid density. A nonexponential temperature dependence of superfluid density is observed, indicating the possible presence of superconducting gap nodes. The magnitude of superfluid density is much smaller than those in conventional superconductors, and follows the Uemura's relation of strongly correlated superconductors. These results imply that the unconventional superconductivity in Cu-BHT originates from electron correlations related to spin fluctuations of kagome lattice.


title: Hybrid Evolutionary Optimization Approach for Oilfield Well Control Optimization

abstract: Oilfield production optimization is challenging due to subsurface model complexity and associated non-linearity, large number of control parameters, large number of production scenarios, and subsurface uncertainties. Optimization involves time-consuming reservoir simulation studies to compare different production scenarios and settings. This paper presents efficacy of two hybrid evolutionary optimization approaches for well control optimization of a waterflooding operation, and demonstrates their application using Olympus benchmark. A simpler, weighted sum of cumulative fluid (WCF) is used as objective function first, which is then replaced by net present value (NPV) of discounted cash-flow for comparison. Two popular evolutionary optimization algorithms, genetic algorithm (GA) and particle swarm optimization (PSO), are first used in standalone mode to solve well control optimization problem. Next, both GA and PSO methods are used with another popular optimization algorithm, covariance matrix adaptation-evolution strategy (CMA-ES), in hybrid mode. Hybrid optimization run is made by transferring the resulting population from one algorithm to the next as its starting population for further improvement. Approximately four thousand simulation runs are needed for standalone GA and PSO methods to converge, while six thousand runs are needed in case of two hybrid optimization modes (GA-CMA-ES and PSO-CMA-ES). To reduce turn-around time, commercial cloud computing is used and simulation workload is distributed using parallel programming. GA and PSO algorithms have a good balance between exploratory and exploitative properties, thus are able identify regions of interest. CMA-ES algorithm is able to further refine the solution using its excellent exploitative properties. Thus, GA or PSO with CMA-ES in hybrid mode yields better optimization result as compared to standalone GA or PSO algorithms.


title: Nuclear Fermi Momenta of $^{2}$H, $^{27}$Al and $^{56}$Fe from an Analysis of CLAS data

abstract: Nuclear Fermi momentum is a basic property of a nucleus where many nucleons dwell. However, in experiments only the nuclear Fermi momenta of just a few nuclei are measured using quasielastic electron scattering on the nuclear targets so far. Particularly, we still do not know experimentally the Fermi momentum of the lightest nucleon composite -- the deuteron. In this paper, we apply both gaussian distribution and Cauchy distribution to describe the quasielastic peak in the cross section of electron-nucleus scattering. The dip of the cross-section ratio at about $x_{\rm B}=1$ is explained with the nuclear Fermi momentum. By performing the least-square fits to the published CLAS data in the narrow kinematic region of quasielastic scattering, we obtain the nuclear Fermi momenta of $^{2}$H, $^{27}$Al and $^{56}$Fe, which are $116\pm 7$ MeV/c, $232\pm 27$ MeV/c, and $244\pm 28$ MeV/c respectively. The extracted nuclear Fermi momenta are compared to the simple calculations based on Fermi gas model, and the consistencies are found.


title: CDT Quantum Toroidal Spacetimes: An Overview

abstract: Lattice formulations of gravity can be used to study non-perturbative aspects of quantum gravity. Causal Dynamical Triangulations (CDT) is a lattice model of gravity that has been used in this way. It has a built-in time foliation but is coordinate-independent in the spatial directions. The higher-order phase transitions observed in the model may be used to define a continuum limit of the lattice theory. Some aspects of the transitions are better studied when the topology of space is toroidal rather than spherical. In addition, a toroidal spatial topology allows us to understand more easily the nature of typical quantum fluctuations of the geometry. In particular, this topology makes it possible to use massless scalar fields that are solutions to Laplace's equation with special boundary conditions as coordinates that capture the fractal structure of the quantum geometry. When such scalar fields are included as dynamical fields in the path integral, they can have a dramatic effect on the geometry.


title: Modeling Bivariate Geyser Eruption System with Covariate-Adjusted Recurrent Event Process

abstract: Geyser eruption is one of the most popular signature attractions at the Yellowstone National Park. The interdependence of geyser eruptions and impacts of covariates are of interest to researchers in geyser studies. In this paper, we propose a parametric covariate-adjusted recurrent event model for estimating the eruption gap time. We describe a general bivariate recurrent event process, where a bivariate lognormal distribution and a Gumbel copula with different marginal distributions are used to model an interdependent dual-type event system. The maximum likelihood approach is used to estimate model parameters. The proposed method is applied to analyzing the Yellowstone geyser eruption data for a bivariate geyser system and offers a deeper understanding of the event occurrence mechanism of individual events as well as the system as a whole. A comprehensive simulation study is conducted to evaluate the performance of the proposed method.


title: Long-time dynamics of the Cahn--Hilliard equation with kinetic rate dependent dynamic boundary conditions

abstract: We consider a Cahn--Hilliard model with kinetic rate dependent dynamic boundary conditions that was introduced by Knopf, Lam, Liu and Metzger (ESAIM Math. Model. Numer. Anal., 2021) and will thus be called the KLLM model. In the aforementioned paper, it was shown that solutions of the KLLM model converge to solutions of the GMS model proposed by Goldstein, Miranville and Schimperna (Physica D, 2011) as the kinetic rate tends to infinity. We first collect the weak well-posedness results for both models and we establish some further essential properties of the weak solutions. Afterwards, we investigate the long-time behavior of the KLLM model. We first prove the existence of a global attractor as well as convergence to a single stationary point. Then, we show that the global attractor of the GMS model is stable with respect to perturbations of the kinetic rate. Eventually, we construct exponential attractors for both models, and we show that the exponential attractor associated with the GMS model is robust against kinetic rate perturbations.


title: On gyration radius distributions of star-like macromolecules

abstract: Using the path integral approach, we obtain the characteristic functions of the gyration radius distributions for Gaussian star and Gaussian rosette macromolecules. We derive the analytical expressions for cumulants of the both distributions. Applying the steepest descent method, we estimate the probability distribution functions of the gyration radius in the limit of a large number of star and rosette arms in two limiting regimes: for strongly expanded and strongly collapsed macromolecules. We show that in both cases, in the regime of a large gyration radius relative to its mean-square value, the probability distribution functions can be described by the Gaussian functions. In the shrunk macromolecule regime, both distribution functions tend to zero faster than any power of the gyration radius. Based on the asymptotic behavior of the distribution functions and the behavior of statistical dispersions, we demonstrate that the probability distribution function for the rosette is more densely localized near its maximum than that for the star polymer. We construct the interpolation formula for the gyration radius distribution for the Gaussian star macromolecule which can help to take into account the conformational entropy of the flexible star macromolecules within the Flory-type mean-field theories


title: Bounded cohomology and homotopy colimits

abstract: The comparison map from bounded cohomology to singular cohomology plays an important role in the study of bounded cohomology theory and its applications. The vanishing and covering theorems of Gromov and Ivanov show interesting and useful properties of the comparison map under appropriate assumptions. We discuss an approach to these theorems, based on the general homotopy-theoretic properties of the comparison map, and obtain new proofs and refined versions of these results.


title: Generalized eigenproblem without fermion doubling for Dirac fermions on a lattice

abstract: The spatial discretization of the single-cone Dirac Hamiltonian on the surface of a topological insulator or superconductor needs a special "staggered" grid, to avoid the appearance of a spurious second cone in the Brillouin zone. We adapt the Stacey discretization from lattice gauge theory to produce a generalized eigenvalue problem, of the form ${\mathcal H}\psi=E {\mathcal P}\psi$, with Hermitian tight-binding operators ${\mathcal H}$, ${\mathcal P}$, a locally conserved particle current, and preserved chiral and symplectic symmetries. This permits the study of the spectral statistics of Dirac fermions in each of the four symmetry classes A, AII, AIII, and D.


title: Near surface defects: Cause of deficit between internal and external open-circuit voltage in solar cells

abstract: The presence of interface recombination in a complex multilayered thin-film solar structure causes a disparity between the internal open-circuit voltage (VOC,in), measured by photoluminescence, and the external open-circuit voltage (VOC,ex) i.e. an additional VOC deficit. Higher VOC,ex value aim require a comprehensive understanding of connection between VOC deficit and interface recombination. Here, a deep near-surface defect model at the absorber/buffer interface is developed for copper indium di-selenide solar cells grown under Cu excess conditions to explain the disparity between VOC,in and VOC,ex.. The model is based on experimental analysis of admittance spectroscopy and deep-level transient spectroscopy, which show the signature of deep acceptor defect. Further, temperature-dependent current-voltage measurements confirm the presence of near surface defects as the cause of interface recombination. The numerical simulations show strong decrease in the local VOC,in near the absorber/buffer interface leading to a VOC deficit in the device. This loss mechanism leads to interface recombination without a reduced interface bandgap or Fermi level pinning. Further, these findings demonstrate that the VOC,in measurements alone can be inconclusive and might conceal the information on interface recombination pathways, establishing the need for complementary techniques like temperature dependent current voltage measurements to identify the cause of interface recombination in the devices.


title: Impact of the Bounds on the Direct Search for Neutralino Dark Matter on Naturalness

abstract: In the Minimal Supersymmetric Extension of the Standard Model (MSSM) the higgsino mass parameter $\mu$ appears both in the masses of the Higgs bosons and in the neutralino mass matrix. Electroweak finetuning therefore prefers small values of $|\mu|$. On the other hand, bino--like neutralinos make a good dark matter candidate. We show that current direct search limits then impose a strong lower bound on $|\mu|$, in particular for $\mu > 0$ or if the masses of the heavy Higgs bosons of the MSSM are near their current limit from LHC searches. There is therefore some tension between finetuning and neutralino dark matter in the MSSM. We also provide simple analytical expressions which in most cases closely reproduce the numerical results.


title: Empirical Bayesian Inference using Joint Sparsity

abstract: This paper develops a new empirical Bayesian inference algorithm for solving a linear inverse problem given multiple measurement vectors (MMV) of under-sampled and noisy observable data. Specifically, by exploiting the joint sparsity across the multiple measurements in the sparse domain of the underlying signal or image, we construct a new support informed sparsity promoting prior. Several applications can be modeled using this framework, and as a prototypical example we consider reconstructing an image from synthetic aperture radar (SAR) observations using nearby azimuth angles. Our numerical experiments demonstrate that using this new prior not only improves accuracy of the recovery, but also reduces the uncertainty in the posterior when compared to standard sparsity producing priors.


title: SetVAE: Learning Hierarchical Composition for Generative Modeling of Set-Structured Data

abstract: Generative modeling of set-structured data, such as point clouds, requires reasoning over local and global structures at various scales. However, adopting multi-scale frameworks for ordinary sequential data to a set-structured data is nontrivial as it should be invariant to the permutation of its elements. In this paper, we propose SetVAE, a hierarchical variational autoencoder for sets. Motivated by recent progress in set encoding, we build SetVAE upon attentive modules that first partition the set and project the partition back to the original cardinality. Exploiting this module, our hierarchical VAE learns latent variables at multiple scales, capturing coarse-to-fine dependency of the set elements while achieving permutation invariance. We evaluate our model on point cloud generation task and achieve competitive performance to the prior arts with substantially smaller model capacity. We qualitatively demonstrate that our model generalizes to unseen set sizes and learns interesting subset relations without supervision. Our implementation is available at https://github.com/jw9730/setvae.


title: Asymptotically Optimal Massey-Like Inequality on Guessing Entropy With Application to Side-Channel Attack Evaluations

abstract: A Massey-like inequality is any useful lower bound on guessing entropy in terms of the computationally scalable Shannon entropy. The asymptotically optimal Massey-like inequality is determined and further refined for finite-support distributions. The impact of these results are highlighted for side-channel attack evaluation where guessing entropy is a key metric. In this context, the obtained bounds are compared to the state of the art.


title: Generalised oriented site percolation

abstract: We consider a generalised oriented site percolation model (GOSP) on $\mathbb Z^d$ with arbitrary neighbourhood. The key additional difficulties as compared to standard oriented percolation (OP) are the lack of symmetry and, in two dimensions, of planarity. We establish that, despite these deficiencies, in the supercritical regime GOSP behaves qualitatively like OP.


title: Graph Classification by Mixture of Diverse Experts

abstract: Graph classification is a challenging research problem in many applications across a broad range of domains. In these applications, it is very common that class distribution is imbalanced. Recently, Graph Neural Network (GNN) models have achieved superior performance on various real-world datasets. Despite their success, most of current GNN models largely overlook the important setting of imbalanced class distribution, which typically results in prediction bias towards majority classes. To alleviate the prediction bias, we propose to leverage semantic structure of dataset based on the distribution of node embedding. Specifically, we present GraphDIVE, a general framework leveraging mixture of diverse experts (i.e., graph classifiers) for imbalanced graph classification. With a divide-and-conquer principle, GraphDIVE employs a gating network to partition an imbalanced graph dataset into several subsets. Then each expert network is trained based on its corresponding subset. Experiments on real-world imbalanced graph datasets demonstrate the effectiveness of GraphDIVE.


title: Enabling Replications and Contexts in Reversible Concurrent Calculus

abstract: Existing formalisms for the algebraic specification and representation of networks of reversible agents suffer some shortcomings. Despite multiple attempts, reversible declensions of the Calculus of Communicating Systems (CCS) do not offer satisfactory adaptation of notions that are usual in ''forward-only'' process algebras, such as replication or context. They also seem to fail to leverage possible new features stemming from reversibility, such as the capacity of distinguishing between multiple replications, based on how they replicate the memory mechanism allowing to reverse the computation. Existing formalisms disallow the ''hot-plugging'' of processes during their execution in contexts that also have a past. Finally, they assume the existence of ''eternally fresh'' keys or identifiers that, if implemented poorly, could result in unnecessary bottlenecks and look-ups involving all the threads. In this paper, we begin investigating those issues, by first designing a process algebra endowed with a mechanism to generate identifiers without the need to consult with the other threads. We use this calculus to recast the possible representations of non-determinism in CCS, and as a by-product establish a simple and straightforward definition of concurrency. Our reversible calculus is then proven to satisfy expected properties, and allows to lay out precisely different representations of the replication of a process with a memory. We also observe that none of the reversible bisimulations defined thus far are congruences under our notion of ''reversible'' contexts.


title: Shape-constrained Symbolic Regression -- Improving Extrapolation with Prior Knowledge

abstract: We investigate the addition of constraints on the function image and its derivatives for the incorporation of prior knowledge in symbolic regression. The approach is called shape-constrained symbolic regression and allows us to enforce e.g. monotonicity of the function over selected inputs. The aim is to find models which conform to expected behaviour and which have improved extrapolation capabilities. We demonstrate the feasibility of the idea and propose and compare two evolutionary algorithms for shape-constrained symbolic regression: i) an extension of tree-based genetic programming which discards infeasible solutions in the selection step, and ii) a two population evolutionary algorithm that separates the feasible from the infeasible solutions. In both algorithms we use interval arithmetic to approximate bounds for models and their partial derivatives. The algorithms are tested on a set of 19 synthetic and four real-world regression problems. Both algorithms are able to identify models which conform to shape constraints which is not the case for the unmodified symbolic regression algorithms. However, the predictive accuracy of models with constraints is worse on the training set and the test set. Shape-constrained polynomial regression produces the best results for the test set but also significantly larger models.


title: English-Twi Parallel Corpus for Machine Translation

abstract: We present a parallel machine translation training corpus for English and Akuapem Twi of 25,421 sentence pairs. We used a transformer-based translator to generate initial translations in Akuapem Twi, which were later verified and corrected where necessary by native speakers to eliminate any occurrence of translationese. In addition, 697 higher quality crowd-sourced sentences are provided for use as an evaluation set for downstream Natural Language Processing (NLP) tasks. The typical use case for the larger human-verified dataset is for further training of machine translation models in Akuapem Twi. The higher quality 697 crowd-sourced dataset is recommended as a testing dataset for machine translation of English to Twi and Twi to English models. Furthermore, the Twi part of the crowd-sourced data may also be used for other tasks, such as representation learning, classification, etc. We fine-tune the transformer translation model on the training corpus and report benchmarks on the crowd-sourced test set.


title: On numerically trivial automorphisms of threefolds of general type

abstract: In this paper, we prove that the group $\mathrm{Aut}_\mathbb{Q}(X)$ of numerically trivial automorphisms are uniformly bounded for smooth projective threefolds $X$ of general type which either satisfy $q(X)\geq 3$ or have a Gorenstein minimal model. If $X$ is furthermore of maximal Albanese dimension, then $|\mathrm{Aut}_\mathbb{Q}(X)|\leq 4$, and equality can be achieved by an unbounded family of threefolds previously constructed by the third author. Along the way we prove a Noether type inequality for log canonical pairs of general type with the coefficients of the boundary divisor from a given subset $\mathcal{C}\subset (0,1]$ such that $\mathcal{C}\cup\{1\}$ attains the minimum.


title: Learning Generative Models of Textured 3D Meshes from Real-World Images

abstract: Recent advances in differentiable rendering have sparked an interest in learning generative models of textured 3D meshes from image collections. These models natively disentangle pose and appearance, enable downstream applications in computer graphics, and improve the ability of generative models to understand the concept of image formation. Although there has been prior work on learning such models from collections of 2D images, these approaches require a delicate pose estimation step that exploits annotated keypoints, thereby restricting their applicability to a few specific datasets. In this work, we propose a GAN framework for generating textured triangle meshes without relying on such annotations. We show that the performance of our approach is on par with prior work that relies on ground-truth keypoints, and more importantly, we demonstrate the generality of our method by setting new baselines on a larger set of categories from ImageNet - for which keypoints are not available - without any class-specific hyperparameter tuning. We release our code at https://github.com/dariopavllo/textured-3d-gan


title: Design of Experiments with Imputable Feature Data: An Entropy-Based Approach

abstract: Tactical selection of experiments to estimate an underlying model is an innate task across various fields. Since each experiment has costs associated with it, selecting statistically significant experiments becomes necessary. Classic linear experimental design deals with experiment selection so as to minimize (functions of) variance in estimation of regression parameter. Typically, standard algorithms for solving this problem assume that data associated with each experiment is fully known. This isn't often true since missing data is a common problem. For instance, remote sensors often miss data due to poor connection. Hence experiment selection under such scenarios is a widespread but challenging task. Though decoupling the tasks and using standard data imputation methods like matrix completion followed by experiment selection might seem a way forward, they perform sub-optimally since the tasks are naturally interdependent. Standard design of experiments is an NP hard problem, and the additional objective of imputing for missing data amplifies the computational complexity. In this paper, we propose a maximum-entropy-principle based framework that simultaneously addresses the problem of design of experiments as well as the imputation of missing data. Our algorithm exploits homotopy from a suitably chosen convex function to the non-convex cost function; hence avoiding poor local minima. Further, our proposed framework is flexible to incorporate additional application specific constraints. Simulations on various datasets show improvement in the cost value by over 60% in comparison to benchmark algorithms applied sequentially to the imputation and experiment selection problems.


title: Stability analysis of time-delay systems in the parametric space

abstract: This paper presents a novel method for stability analysis of a wide class of linear, time-delay systems (TDS), including retarded non-neutral ones, as well as those incorporating incommensurate and distributed delays. The proposed method is based on frequency domain analysis and the application of Rouche's theorem. Given a parametrized TDS, and some parametric point for which the number of unstable poles is known, the proposed method is capable of identifying the maximum surrounding region in the parametric space for which the number of unstable poles remains invariant. First, a procedure for investigating stability along a line is developed. Then, the results are extended by the application of Holder's inequality to investigating stability within a region. Contrary to existing approaches, the proposed method is uniformly applicable to parameters of different types (delays, distributed delay limits, time constants, etc.). Efficacy of the proposed method is demonstrated using illustrative examples.


title: Weak solvability of a boundary value problem for a parabolic equation with a global-in-time term that contains a weighted integral

abstract: This paper deals with a parabolic partial differential equation that includes a non-linear nonlocal in time term. This term is the product of a so-called interaction potential and the solution of the problem. The interaction potential depends on a weighted integral of the solution over the entire time interval, where the problem is considered, and satisfies fairly general conditions. Namely, it is assumed to be a continuous bounded from below function that can behave arbitrarily at infinity. This fact implies that the interaction term is not a lower order term in the equation. The weak solvability of the initial boundary value problem for this equation is proven. The proof does not use any continuity properties of the solution with respect to time and is based on the energy estimate only.


title: On data-driven stabilization of systems with quadratic nonlinearities

abstract: In this paper, we directly design a state feedback controller that stabilizes a class of uncertain nonlinear systems solely based on input-state data collected from a finite-length experiment. Necessary and sufficient conditions are derived to guarantee that the system is absolutely stabilizable and a controller is designed. Results derived under some relaxed prior information about the system and strengthened data assumptions are also discussed. Numerical examples illustrate the method with different levels of prior information.


title: Regular Polytope Networks

abstract: Neural networks are widely used as a model for classification in a large variety of tasks. Typically, a learnable transformation (i.e. the classifier) is placed at the end of such models returning a value for each class used for classification. This transformation plays an important role in determining how the generated features change during the learning process. In this work, we argue that this transformation not only can be fixed (i.e. set as non-trainable) with no loss of accuracy and with a reduction in memory usage, but it can also be used to learn stationary and maximally separated embeddings. We show that the stationarity of the embedding and its maximal separated representation can be theoretically justified by setting the weights of the fixed classifier to values taken from the coordinate vertices of the three regular polytopes available in $\mathbb{R}^d$, namely: the $d$-Simplex, the $d$-Cube and the $d$-Orthoplex. These regular polytopes have the maximal amount of symmetry that can be exploited to generate stationary features angularly centered around their corresponding fixed weights. Our approach improves and broadens the concept of a fixed classifier, recently proposed in \cite{hoffer2018fix}, to a larger class of fixed classifier models. Experimental results confirm the theoretical analysis, the generalization capability, the faster convergence and the improved performance of the proposed method. Code will be publicly available.


title: A generalization of Kruskal's theorem on tensor decomposition

abstract: Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. We prove a "splitting theorem" for sets of product tensors, in which the k-rank condition of Kruskal's theorem is weakened to the standard notion of rank, and the conclusion of uniqueness is relaxed to the statement that the set of product tensors splits (i.e. is disconnected as a matroid). Our splitting theorem implies a generalization of Kruskal's theorem. While several extensions of Kruskal's theorem are already present in the literature, all of these use Kruskal's original permutation lemma, and hence still cannot certify uniqueness when the k-ranks are below a certain threshold. Our generalization uses a completely new proof technique, contains many of these extensions, and can certify uniqueness below this threshold. We obtain several other useful results on tensor decompositions as consequences of our splitting theorem. We prove sharp lower bounds on tensor rank and Waring rank, which extend Sylvester's matrix rank inequality to tensors. We also prove novel uniqueness results for non-rank tensor decompositions.


title: Towards the emergence of non-zero thermodynamical quantities for Lanczos-Lovelock black holes dressed with a scalar field

abstract: The present work aims to explore the model given by Lanczos-Lovelock gravity theories indexed by a fixed integer to require a unique anti-de Sitter vacuum, dressed by a scalar field non-minimal coupling. For this model, we add a special matter source characterized by a non-linear Maxwell field coupling with a function depending on the scalar field. Computing its thermodynamics parameters by using the Euclidean action, we obtain interesting and non zero thermodynamical quantities, unlike its original version, allowing analyzing thermodynamical stability. Together with the above, we found that these solutions satisfy the First Law of Thermodynamics as well as a Smarr relation.


title: A view of flavour physics in 2021

abstract: Based on a view of current flavour physics and motivated by the hierarchy problem and by the pattern of quark masses and mixings, I describe a picture of flavour physics that should give rise in a not too distant future to observable deviations from the SM in Higgs compositeness and/or in B-decays with violations of Lepton Flavour Universality, as hinted by current data, or perhaps even in supersymmetry, depending on the specific realisation.


title: Machine learning based digital twin for stochastic nonlinear multi-degree of freedom dynamical system

abstract: The potential of digital twin technology is immense, specifically in the infrastructure, aerospace, and automotive sector. However, practical implementation of this technology is not at an expected speed, specifically because of lack of application-specific details. In this paper, we propose a novel digital twin framework for stochastic nonlinear multi-degree of freedom (MDOF) dynamical systems. The approach proposed in this paper strategically decouples the problem into two time-scales -- (a) a fast time-scale governing the system dynamics and (b) a slow time-scale governing the degradation in the system. The proposed digital twin has four components - (a) a physics-based nominal model (low-fidelity), (b) a Bayesian filtering algorithm a (c) a supervised machine learning algorithm and (d) a high-fidelity model for predicting future responses. The physics-based nominal model combined with Bayesian filtering is used combined parameter state estimation and the supervised machine learning algorithm is used for learning the temporal evolution of the parameters. While the proposed framework can be used with any choice of Bayesian filtering and machine learning algorithm, we propose to use unscented Kalman filter and Gaussian process. Performance of the proposed approach is illustrated using two examples. Results obtained indicate the applicability and excellent performance of the proposed digital twin framework.


title: Bubbles and liquid films resisting drainage, evaporation and nuclei-induced bursting

abstract: Soap bubbles are by essence fragile and ephemeral. Depending on their composition and environment, bubble bursting can be triggered by gravity-induced drainage and/or the evaporation of the liquid and/or the presence of nuclei. They can also shrink due to the diffusion of the inner gas in the outside atmosphere induced by Laplace overpressure. In this paper, we design bubbles made of a composite liquid film able to neutralize all these effects and keep their integrity for more than one year in a standard atmosphere. The unique properties of this composite film are rationalized with a nonlinear model and used to design complex objects.


title: A city of cities: Measuring how 15-minutes urban accessibility shapes human mobility in Barcelona

abstract: As cities expand, human mobility has become a central focus of urban planning and policy making to make cities more inclusive and sustainable. Initiatives such as the "15-minutes city" have been put in place to shift the attention from monocentric city configurations to polycentric structures, increasing the availability and diversity of local urban amenities. Ultimately they expect to increase local walkability and increase mobility within residential areas. While we know how urban amenities influence human mobility at the city level, little is known about spatial variations in this relationship. Here, we use mobile phone, census, and volunteered geographical data to measure geographic variations in the relationship between origin-destination flows and local urban accessibility in Barcelona. Using a Negative Binomial Geographically Weighted Regression model, we show that, globally, people tend to visit neighborhoods with better access to education and retail. Locally, these and other features change in sign and magnitude through the different neighborhoods of the city in ways that are not explained by administrative boundaries, and that provide deeper insights regarding urban characteristics such as rental prices. In conclusion, our work suggests that the qualities of a 15-minutes city can be measured at scale, delivering actionable insights on the polycentric structure of cities, and how people use and access this structure.


title: Stability, electronic structure, and magnetic moment of Vanadium phthalocyanine grafted to the Au(111) surface

abstract: The studies of electronic and magnetic properties of V-Pc molecule adsorbed onto Au(111) surface are based on ab-initio calculations in the framework of density functional theory. We compute adsorption energies, investigate interaction mechanisms between constituents of the hybrid system consisting of V-Pc molecule and Au surface, and determine geometry changes in the system, particularly in the grafted molecule. We find out that the energetically most stable configuration of the V-Pc/Au(111) occurs when V-Pc is grafted to the Au surface's fcc site, which leads to the reduction of the point group symmetry of the hybrid system in comparison to the free standing V-Pc molecule. Further, our studies reveal that the electronic structure and magnetic properties of the V-Pc change significantly after adsorption to the Au(111). Generally, these studies shed light on physical mechanisms of the V-Pc adsorption to metallic surfaces and open up new prospects for design of novel spintronic devices.


title: Microscale solute flow probed with rotating microbead trapped in optical vortex

abstract: The dynamics of solute flow in the microscopic chamber can be studied with optical tweezers. A method based on the metallic microbeads trapped in the focused optical vortex beam is proposed. This annular beam of a twisted wavefront exerts torque on a reflective object placed inside the dark core of the vortex. The induced rotational movement of the bead is sensitive to local viscosity changes in the surrounding medium, for example during the ongoing dissolution process. Two experimental configurations are described, both relying on tracing the angular velocity of the bead in time. In one-bead configuration the dynamics of local solute concentration can be studied. In two-bead case the direction and speed of solute flow can be probed with a spatial resolution of single micrometers. We approach the elementary problem of sucrose dissolution and diffusion in water. The surprising impression of the reverse solute flow was observed. Further experimental investigation led to the discovery that this phenomenon originates from the sucrose stream-like diffusion in the mid-depth of the measurement chamber. The rotating microbead method applies for various solid and liquid substances and may become a useful technique for microfluidics research.


title: A local noncollapsing estimate for mean curvature flow

abstract: We prove a local version of the noncollapsing estimate for mean curvature flow. By combining our result with earlier work of X.-J. Wang, it follows that certain ancient convex solutions that sweep out the entire space are noncollapsed.


title: Optimal Ciliary Locomotion of Axisymmetric Microswimmers

abstract: Many biological microswimmers locomote by periodically beating the densely-packed cilia on their cell surface in a wave-like fashion. While the swimming mechanisms of ciliated microswimmers have been extensively studied both from the analytical and the numerical point of view, the optimization of the ciliary motion of microswimmers has received limited attention, especially for non-spherical shapes. In this paper, using an envelope model for the microswimmer, we numerically optimize the ciliary motion of a ciliate with an arbitrary axisymmetric shape. The forward solutions are found using a fast boundary integral method, and the efficiency sensitivities are derived using an adjoint-based method. Our results show that a prolate microswimmer with a 2:1 aspect ratio shares similar optimal ciliary motion as the spherical microswimmer, yet the swimming efficiency can increase two-fold. More interestingly, the optimal ciliary motion of a concave microswimmer can be qualitatively different from that of the spherical microswimmer, and adding a constraint to the ciliary length is found to improve, on average, the efficiency for such swimmers.


title: Twisted Spectral Triples without the First-Order Condition

abstract: We extend twisted inner fluctuations to twisted spectral triples that do not meet the twisted first-order condition, following what has been done in [6] for the non-twisted case. We find a similar non-linear term in the fluctuation, and work out the twisted version of the semi-group of inner perturbations.


title: Convolutions for Stirling numbers, Lah numbers, and binomial coefficients

abstract: We present various identities in the form of convolutions involving Stirling numbers of both kinds, Lah numbers, and binomial coefficients. Certain convolution polynomials are discussed also. The proofs are based on several series transformation formulas.


title: Behaviour at infinity for solutions of a mixed boundary value problem via inversion

abstract: We study a mixed boundary value problem for the quasilinear elliptic equation $\mathop{\rm div}\mathcal{A}(x,\nabla u(x))=0$ in an open infinite circular half-cylinder with prescribed continuous Dirichlet data on a part of the boundary and zero conormal derivative on the rest. We prove the existence and uniqueness of bounded weak solutions to the mixed problem and characterize the regularity of the point at infinity in terms of \p-capacities. For solutions with only Neumann data near the point at infinity we show that they behave in exactly one of three possible ways, similar to the alternatives in the Phragm\'en--Lindel\"of principle.


title: Arithmetic intersection theory over adelic curves

abstract: We establish an arithmetic intersection theory in the framework of Arakelov geometry over adelic curves. To each projective scheme over an adelic curve, we associate a multi-homogenous form on the group of adelic Cartier divisors, which can be written as an integral of local intersection numbers along the adelic curve. The integrability of the local intersection number is justified by using the theory of resultants.


title: Explicit and asymptotic solutions for frictional incomplete half-plane contacts subject to general oscillatory loading in the steady-state

abstract: This contribution presents an asymptotic formulation for the stick-slip behaviour of incomplete contacts under oscillatory variation of normal load, moment, shear load and differential bulk tension. The asymptotic description allows us not only to approximate the size of the slip zones during the steady-state of a cyclic problem without knowledge of the geometry or contact law, but provides a solution when all known analytical solutions for incomplete contacts reach their limitations, that is, in the presence of a varying moment and a differential bulk tension large enough to reverse the direction of slip at one end of the contact. An insightful comparison between the mathematically explicit analytical solution and the asymptotic approach is drawn using the example geometry of a shallow wedge.


title: Triquadratic p-Rational Fields

abstract: In his work about Galois representations, Greenberg conjectured the existence, for any odd prime p and any positive integer t, of a multiquadratic p-rational number field of degree 2 t. In this article, we prove that there exists infinitely many primes p such that the triquadratic field Q(p(p + 2), p(p -- 2), i) is p-rational. To do this, we use an analytic result, proved apart in section \S4, providing us with infinitely many prime numbers p such that p + 2 et p -- 2 have ''big'' square factors. Therefore the related imaginary quadratic subfields Q(i $\sqrt$ p + 2), Q(i $\sqrt$ p -- 2) and Q(i (p + 2)(p -- 2)) have ''small'' discriminants for infinitely many primes p. In the spirit of Brauer-Siegel estimates, it proves that the class numbers of these imaginary quadratic fields are relatively prime to p, and so prove their p-rationality.


title: Venus upper atmosphere revealed by a GCM: II. Model validation with temperature and density measurements

abstract: An improved high-resolution ground-to-thermosphere version of the Institut Pierre-Simon Laplace (IPSL) Venus General Circulation Model (VGCM), including non-orographic gravity waves (GW) parameterization and fine-tuned non-LTE parameters, is presented here. We focus on the validation of the model built from a collection of data mostly from Venus Express experiments and coordinated ground-based telescope campaigns, in the upper mesosphere/lower thermosphere of Venus. These simulations result in an overall better agreement with temperature observations above 90 km, compared with previous versions of the VGCM. Density of CO2 and light species (CO and O) are also comparable with observations in terms of trend and order of magnitude. Systematic biases in the temperature structure are found at about 80-100 km and above 130 km at the terminator, possibly due to assumptions on the CO2 mixing ratio made for stellar/solar occultation retrievals and uncertainties on the collisional rate coefficients used in the non-LTE parameterization, respectively. Diurnal and latitudinal distribution of dynamical tracers are also analyzed. Overall, our simulations indicate that a weak westward retrograde wind is present up to about 120 km, producing the CO bulge displacement toward 2h-3h in the morning, instead of piling up at the anti-solar point, as for an idealised SS-AS circulation. This retrograde imbalance is suggested to be produced by perturbations of about 5 days Kelvin wave impacting the mesosphere up to 110 km (see the companion paper Navarro et al. 2021), combined with GW westward acceleration mostly above 110 km. On the whole, these model developments point to the importance of the inclusion of the lower atmosphere, higher resolution and finely tuned parameterizations in GCM of the Venusian upper atmosphere, in order to shed light on existing observations.


title: Common high-performance semiconducting polymers are not amorphous but semi-para-crystalline

abstract: Precise determination of the solid-state microstructure of semiconducting polymers is of paramount importance for the further development of these materials in various organic electronic technologies. Yet, prior characterization of the ordering of semiconducting polymers often resulted in conundrums in which X-ray scattering and microscopy yielded seemingly contradicting results. Here, based on fast scanning calorimetry, we introduce for the first time the concept of the semi-para-crystallinity and measurement of the degree of para-crystallinity (ordered volume/mass fraction) in a set of materials that previously eluded understanding. In combination with lattice distortion determination within para-crystals (g-parameter from X-ray scattering) and nanomorphology, the complete solid-state microstructure is correlated with device properties. Our data show that the long-range charge carrier transport in these materials is more sensitive to the interconnection of para-crystal units than to the amount of structural order itself.


title: Aperiodic two-way transducers and FO-transductions

abstract: Deterministic two-way transducers on finite words have been shown by Engelfriet and Hoogeboom to have the same expressive power as MSO-transductions. We introduce a notion of aperiodicity for these transducers and we show that aperiodic transducers correspond exactly to FO-transductions. This lifts to transducers the classical equivalence for languages between FO-definability, recognition by aperiodic monoids and acceptance by counter-free automata.


title: Spontaneous knotting of a flexible fiber in chaotic flows

abstract: We consider the problem of an inextensible but flexible fiber advected by a steady chaotic flow, and ask the simple question whether the fiber can spontaneously knot itself. Using a 1D Cosserat model, a simple local viscous drag model and discrete contact forces, we explore the probability of finding knots at any given time when the fiber is interacting with the ABC class of flows. The bending rigidity is shown to have a marginal effect compared to that of increasing the fiber length. Complex knots are formed up to 11 crossings, but some knots are more probable than others. The finite-time Lyapunov exponent of the flow is shown to have a positive effect on the knot probability. Finally, contact forces appear to be crucial since knotted configurations can remain stable for times much longer than the turnover time of the flow, something that is not observed when the fiber can freely cross itself.


title: The EM Algorithm is Adaptively-Optimal for Unbalanced Symmetric Gaussian Mixtures

abstract: This paper studies the problem of estimating the means $\pm\theta_{*}\in\mathbb{R}^{d}$ of a symmetric two-component Gaussian mixture $\delta_{*}\cdot N(\theta_{*},I)+(1-\delta_{*})\cdot N(-\theta_{*},I)$ where the weights $\delta_{*}$ and $1-\delta_{*}$ are unequal. Assuming that $\delta_{*}$ is known, we show that the population version of the EM algorithm globally converges if the initial estimate has non-negative inner product with the mean of the larger weight component. This can be achieved by the trivial initialization $\theta_{0}=0$. For the empirical iteration based on $n$ samples, we show that when initialized at $\theta_{0}=0$, the EM algorithm adaptively achieves the minimax error rate $\tilde{O}\Big(\min\Big\{\frac{1}{(1-2\delta_{*})}\sqrt{\frac{d}{n}},\frac{1}{\|\theta_{*}\|}\sqrt{\frac{d}{n}},\left(\frac{d}{n}\right)^{1/4}\Big\}\Big)$ in no more than $O\Big(\frac{1}{\|\theta_{*}\|(1-2\delta_{*})}\Big)$ iterations (with high probability). We also consider the EM iteration for estimating the weight $\delta_{*}$, assuming a fixed mean $\theta$ (which is possibly mismatched to $\theta_{*}$). For the empirical iteration of $n$ samples, we show that the minimax error rate $\tilde{O}\Big(\frac{1}{\|\theta_{*}\|}\sqrt{\frac{d}{n}}\Big)$ is achieved in no more than $O\Big(\frac{1}{\|\theta_{*}\|^{2}}\Big)$ iterations. These results robustify and complement recent results of Wu and Zhou obtained for the equal weights case $\delta_{*}=1/2$.


title: Analyzing the Effects of COVID-19 Pandemic on the Energy Demand: the Case of Northern Italy

abstract: The COVID-19 crisis is profoundly influencing the global economic framework due to restrictive measures adopted by governments worldwide. Finding real-time data to correctly quantify this impact is very significant but not as straightforward. Nevertheless, an analysis of the power demand profiles provides insight into the overall economic trends. To accurately assess the change in energy consumption patterns, in this work we employ a multi-layer feed-forward neural network that calculates an estimation of the aggregated power demand in the north of Italy, (i.e, in one of the European areas that were most affected by the pandemics) in the absence of the COVID-19 emergency. After assessing the forecasting model reliability, we compare the estimation with the ground truth data to quantify the variation in power consumption. Moreover, we correlate this variation with the change in mobility behaviors during the lockdown period by employing the Google mobility report data. From this unexpected and unprecedented situation, we obtain some intuition regarding the power system macro-structure and its relation with the overall people's mobility.


title: Realistic tight-binding model for monolayer transition metal dichalcogenides in 1T' structure

abstract: Monolayer transition metal dichalcogenides $MX_2$ ($M$ = Mo,W and $X$ = Te, Se, S) in 1T' structure were predicted to be quantum spin Hall insulators based on first-principles calculations, which were quickly confirmed by multiple experimental groups. For a better understanding of their properties, in particular their responses to external fields, we construct a realistic four-band tight-binding (TB) model by combining the symmetry analysis and first-principles calculations. Our TB model respects all the symmetries and can accurately reproduce the band structure in a large energy window from -0.3 eV to 0.8 eV. With the inclusion of spin-orbital coupling (SOC), our TB model can characterize the nontrivial topology and the corresponding edge states. Our TB model can also capture the anisotropic strain effects on the band structure and the strain-induced metal-insulator transition. Moreover, we found that although $MX_2$ share the same crystal structures and have the same crystal symmetries, while the orbital composition of states around the Fermi level are qualitatively different and their lower-energy properties cannot fully described by a single k $\cdot$ p model. Thus, we construct two different types of k $\cdot$ p model for $M$S$_2$,$M$Se$_2$ and $M$Te$_2$, respectively. Benefiting from the high accuracy and simplicity, our TB and k $\cdot$ p models can serve as a solid and concrete starting point for future studies of transport, superconductivity, strong correlation effects and twistronics in 1T'-transition metal dichalcogenides.


title: Brownian paths in an alcove and the Littelmann path model

abstract: We present some results about connections between Littelmann paths and Brownian paths in the framework of affine Lie algebras. We expect that they will be the first steps on a way which could hopefully lead to a Pitman type theorem for a Brownian motion in an alcove associated to an affine Weyl group.


title: Laser-induced torques in metallic antiferromagnets

abstract: We study the laser-induced torques in the antiferromagnet (AFM) Mn$_2$Au. We find that even linearly polarized light may induce laser-induced torques in Mn$_2$Au, i.e., the light does not have to be circularly polarized. The laser-induced torques in Mn$_2$Au are comparable in magnitude to those in the ferromagnets Fe, Co and FePt at optical frequencies. We also compute the laser-induced torques at terahertz (THz) frequencies and compare them to the spin-orbit torques (SOTs) excited by THz laser-pulses. We find the SOTs to be dominant at THz frequencies for the laser-field strengths used in experiments. Additionally, we show that the matrix elements of the spin-orbit interaction (SOI) can be used to add SOI only during the Wannier interpolation, which we call Wannier interpolation of SOI (WISOI). This technique allows us to perform the Wannier interpolation conveniently for many magnetization directions from a single set of Wannier functions.


title: Electronic wavefunction with maximally entangled MPS representation

abstract: We present an example of an electronic wavefunction with maximally entangled MPS representation, in the sense that the bond dimension is maximal and cannot be lowered by any re-ordering of the underlying one-body basis. Our construction works for any number of electrons and orbitals.


title: A Note on the Join of Varieties of Monoids with LI

abstract: In this note, we give a characterisation in terms of identities of the join of $\mathbf{V}$ with the variety of finite locally trivial semigroups $\mathbf{LI}$ for several well-known varieties of finite monoids $\mathbf{V}$ by using classical algebraic-automata-theoretic techniques. To achieve this, we use the new notion of essentially-$\mathbf{V}$ stamps defined by Grosshans, McKenzie and Segoufin and show that it actually coincides with the join of $\mathbf{V}$ and $\mathbf{LI}$ precisely when some natural condition on the variety of languages corresponding to $\mathbf{V}$ is verified.This work is a kind of rediscovery of the work of J. C. Costa around 20 years ago from a rather different angle, since Costa's work relies on the use of advanced developments in profinite topology, whereas what is presented here essentially uses an algebraic, language-based approach.


title: Pursuer Assignment and Control Strategies in Multi-agent Pursuit-Evasion Under Uncertainties

abstract: We consider a pursuit-evasion problem with a heterogeneous team of multiple pursuers and multiple evaders. Although both the pursuers (robots) and the evaders are aware of each others' control and assignment strategies, they do not have exact information about the other type of agents' location or action. Using only noisy on-board sensors the pursuers (or evaders) make probabilistic estimation of positions of the evaders (or pursuers). Each type of agent use Markov localization to update the probability distribution of the other type. A search-based control strategy is developed for the pursuers that intrinsically takes the probability distribution of the evaders into account. Pursuers are assigned using an assignment algorithm that takes redundancy (i.e., an excess in the number of pursuers than the number of evaders) into account, such that the total or maximum estimated time to capture the evaders is minimized. In this respect we assume the pursuers to have clear advantage over the evaders. However, the objective of this work is to use assignment strategies that minimize the capture time. This assignment strategy is based on a modified Hungarian algorithm as well as a novel algorithm for determining assignment of redundant pursuers. The evaders, in order to effectively avoid the pursuers, predict the assignment based on their probabilistic knowledge of the pursuers and use a control strategy to actively move away from those pursues. Our experimental evaluation shows that the redundant assignment algorithm performs better than an alternative nearest-neighbor based assignment algorithm.


title: Feynman graphs and Hyperplane arrangements defined over $\mathbb{F}_1$

abstract: Motivated by some computations of Feynman integrals and certain conjectures on mixed Tate motives, Bejleri and Marcolli posed questions about the $\mathbb{F}_1$-structure (in the sense of torification) on the complement of a hyperplane arrangement, especially for an arrangement defined in the space of cycles of a graph. In this paper, we prove that an arrangement has an $\mathbb{F}_1$-structure if and only if it is Boolean. We also prove that the arrangement in the cycle space of a graph is Boolean if and only if the cycle space has a basis consisting of cycles such that any two of them do not share edges.


title: Unified Graph Structured Models for Video Understanding

abstract: Accurate video understanding involves reasoning about the relationships between actors, objects and their environment, often over long temporal intervals. In this paper, we propose a message passing graph neural network that explicitly models these spatio-temporal relations and can use explicit representations of objects, when supervision is available, and implicit representations otherwise. Our formulation generalises previous structured models for video understanding, and allows us to study how different design choices in graph structure and representation affect the model's performance. We demonstrate our method on two different tasks requiring relational reasoning in videos -- spatio-temporal action detection on AVA and UCF101-24, and video scene graph classification on the recent Action Genome dataset -- and achieve state-of-the-art results on all three datasets. Furthermore, we show quantitatively and qualitatively how our method is able to more effectively model relationships between relevant entities in the scene.