Learning to associate detections for real time multiple object tracking. With the recent advances in the object detection research field, tracking by detection has become the leading paradigm adopted by multi object tracking algorithms. By extracting different features from detected objects, those algorithms can estimate the objects' similarities and association patterns along successive frames. However, since similarity functions applied by tracking algorithms are handcrafted, it is difficult to employ them in new contexts. In this study, it is investigated the use of artificial neural networks to learning a similarity function that can be used among detections. During training, the networks were introduced to correct and incorrect association patterns, sampled from a pedestrian tracking data set. For such, different motion and appearance features combinations have been explored. Finally, a trained network has been inserted into a multiple object tracking framework, which has been assessed on the MOT Challenge benchmark. Throughout the experiments, the proposed tracker matched the results obtained by state of the art methods, it has run 58 faster than a recent and similar method, used as baseline.


Improved inequalities related to the A numerical radius for commutators of operators. Let A be a positive bounded linear operator on a complex Hilbert space mathcal H and mathcal B A ( mathcal H ) be the subspace of all operators which admit A adjoints operators. In this paper, we establish some inequalities involving the commutator and the anticommutator of operators in semi Hilbert spaces, i.e. spaces generated by positive semidefinite sesquilinear forms. Mainly, among other inequalities, we prove that for T, S in mathcal B A ( mathcal H ) we have begin align omega A(TS pm ST) leq 2 sqrt 2 min Big f A(T,S), f A(S,T) Big , end align where f A(X,Y) Y A sqrt omega A 2(X) frac left , left frac X X sharp A 2 right A 2 left frac X X sharp A 2i right A 2 right 2 . Here omega A( cdot) and cdot A are the A numerical radius and the A operator seminorm of semi Hilbert space operators, respectively and X sharp A denotes a distinguished A adjoint operator of X .


Learn an Effective Lip Reading Model without Pains. Lip reading, also known as visual speech recognition, aims to recognize the speech content from videos by analyzing the lip dynamics. There have been several appealing progress in recent years, benefiting much from the rapidly developed deep learning techniques and the recent large scale lip reading datasets. Most existing methods obtained high performance by constructing a complex neural network, together with several customized training strategies which were always given in a very brief description or even shown only in the source code. We find that making proper use of these strategies could always bring exciting improvements without changing much of the model. Considering the non negligible effects of these strategies and the existing tough status to train an effective lip reading model, we perform a comprehensive quantitative study and comparative analysis, for the first time, to show the effects of several different choices for lip reading. By only introducing some easy to get refinements to the baseline pipeline, we obtain an obvious improvement of the performance from 83.7 to 88.4 and from 38.2 to 55.7 on two largest public available lip reading datasets, LRW and LRW 1000, respectively. They are comparable and even surpass the existing state of the art results.


Pathomic Fusion An Integrated Framework for Fusing Histopathology and Genomic Features for Cancer Diagnosis and Prognosis. Cancer diagnosis, prognosis, and therapeutic response predictions are based on morphological information from histology slides and molecular profiles from genomic data. However, most deep learning based objective outcome prediction and grading paradigms are based on histology or genomics alone and do not make use of the complementary information in an intuitive manner. In this work, we propose Pathomic Fusion, an interpretable strategy for end to end multimodal fusion of histology image and genomic (mutations, CNV, RNA Seq) features for survival outcome prediction. Our approach models pairwise feature interactions across modalities by taking the Kronecker product of unimodal feature representations and controls the expressiveness of each representation via a gating based attention mechanism. Following supervised learning, we are able to interpret and saliently localize features across each modality, and understand how feature importance shifts when conditioning on multimodal input. We validate our approach using glioma and clear cell renal cell carcinoma datasets from the Cancer Genome Atlas (TCGA), which contains paired whole slide image, genotype, and transcriptome data with ground truth survival and histologic grade labels. In a 15 fold cross validation, our results demonstrate that the proposed multimodal fusion paradigm improves prognostic determinations from ground truth grading and molecular subtyping, as well as unimodal deep networks trained on histology and genomic data alone. The proposed method establishes insight and theory on how to train deep networks on multimodal biomedical data in an intuitive manner, which will be useful for other problems in medicine that seek to combine heterogeneous data streams for understanding diseases and predicting response and resistance to treatment.


A Logic that Captures beta P on Ordered Structures. We extend the inflationary fixed point logic, IFP, with a new kind of second order quantifiers which have (poly )logarithmic bounds. We prove that on ordered structures the new logic exists log omega text IFP captures the limited nondeterminism class beta text P . In order to study its expressive power, we also design a new version of Ehrenfeucht Fra "iss 'e game for this logic and show that our capturing result will not hold on the general case, i.e. on all the finite structures.


Inverted Ladder Type Optical Excitation of Potassium Rydberg States with Hot and Cold Ensembles. We present experimental results on the sub Doppler Rydberg spectroscopy of potassium in a hot cell and cold atoms, performed with two counter propagating laser beams of 405 nm and 980 nm in the inverted ladder type system (4S1 2 5P3 2 nS1 2 and nD3 2 5 2). Such an inverted ladder type scheme is predicted to be without sub Doppler electromagnetically induced transparency (EIT) feature in a thermal ensemble under the weak probe approximation. Instead, we utilized a strong probe field and successfully observed a transparency window with a width narrower than 50 MHz. Our all order numerical simulation is in satisfactory agreement with the experimental results. This narrow linewidth allows us to measure the energy levels of the Rydberg levels from n 20 70 with improved accuracy. The deduced ionization energy agrees with the previous measurements. Furthermore, the two photon Rydberg excitation scheme was applied to the cold ensembles to study the ground state atoms population decrease in the MOT for various Rydberg states. Our experimental observations suggested two distinct regimes of the trap losses under different probe detuning conditions. While the far off resonance case ( delta p 0) can be described by the picture of dressed atom, the on resonance case ( delta p 0) reveals more interesting results. The higher Rydberg states suffer larger trap loss. Besides, even with similar level energies, the excitation to nD states result in faster escape of the ground state atom from trap than nearby nS states.


Probabilistic Atlases to Enforce Topological Constraints. Probabilistic atlases (PAs) have long been used in standard segmentation approaches and, more recently, in conjunction with Convolutional Neural Networks (CNNs). However, their use has been restricted to relatively standardized structures such as the brain or heart which have limited or predictable range of deformations. Here we propose an encoding decoding CNN architecture that can exploit rough atlases that encode only the topology of the target structures that can appear in any pose and have arbitrarily complex shapes to improve the segmentation results. It relies on the output of the encoder to compute both the pose parameters used to deform the atlas and the segmentation mask itself, which makes it effective and end to end trainable.


Generating Pareto optimal dose distributions for radiation therapy treatment planning. Radiotherapy treatment planning currently requires many trail and error iterations between the planner and treatment planning system, as well as between the planner and physician for discussion consultation. The physician's preferences for a particular patient cannot be easily quantified and precisely conveyed to the planner. In this study we present a real time volumetric Pareto surface dose generation deep learning neural network that can be used after segmentation by the physician, adding a tangible and quantifiable end point to portray to the planner. From 70 prostate patients, we first generated 84,000 intensity modulated radiation therapy plans (1,200 plans per patient) sampling the Pareto surface, representing various tradeoffs between the planning target volume (PTV) and the organs at risk (OAR), including bladder, rectum, left femur, right femur, and body. We divided the data to 10 test patients and 60 training validation patients. We then trained a hierarchically densely connected convolutional U net (HD U net), to take the PTV and avoidance map representing OARs masks and weights, and predict the optimized plan. The HD U net is capable of accurately predicting the 3D Pareto optimal dose distributions, with average mean, max dose errors of 3.4 , 7.7 (PTV), 1.6 , 5.6 (bladder), 3.7 , 4.2 (rectum), 3.2 , 8.0 (left femur), 2.9 , 7.7 (right femur), and 0.04 , 5.4 (body) of the prescription dose. The PTV dose coverage prediction was also very similar, with errors of 1.3 (D98) and 2.0 (D99). Homogeneity was also similar, differing by 0.06 on average. The neural network can predict the dose within 1.7 seconds. Clinically, the optimization and dose calculation is much slower, taking 5 10 minutes.


DecAug Augmenting HOI Detection via Decomposition. Human object interaction (HOI) detection requires a large amount of annotated data. Current algorithms suffer from insufficient training samples and category imbalance within datasets. To increase data efficiency, in this paper, we propose an efficient and effective data augmentation method called DecAug for HOI detection. Based on our proposed object state similarity metric, object patterns across different HOIs are shared to augment local object appearance features without changing their state. Further, we shift spatial correlation between humans and objects to other feasible configurations with the aid of a pose guided Gaussian Mixture Model while preserving their interactions. Experiments show that our method brings up to 3.3 mAP and 1.6 mAP improvements on V COCO and HICODET dataset for two advanced models. Specifically, interactions with fewer samples enjoy more notable improvement. Our method can be easily integrated into various HOI detection models with negligible extra computational consumption. Our code will be made publicly available.


Covering 3 edge coloured random graphs with monochromatic trees. We investigate the problem of determining how many monochromatic trees are necessary to cover the vertices of an edge coloured random graph. More precisely, we show that for p gg n 1 6 ( ln n) 1 6 , in any 3 edge colouring of the random graph G(n,p) we can find three monochromatic trees such that their union covers all vertices. This improves, for three colours, a result of Buci 'c, Kor 'andi and Sudakov.


Equivariant Steinberg Summands. We construct Steinberg summands of G equivariant spectra with mathrm GL n( mathbb F p) action. We prove a lemma about their fixed points when G is a p group, and then use this lemma to compute the fixed points of the Steinberg summand of the equivariant classifying space of ( mathbb Z p) n . These results will be used in a companion paper to study the layers in the mod p symmetric power filtration for H underline mathbb F p .


SUMBT LaRL Effective Multi domain End to end Neural Task oriented Dialog System. The recent advent of neural approaches for developing each dialog component in task oriented dialog systems has remarkably improved, yet optimizing the overall system performance remains a challenge. Besides, previous research on modeling complicated multi domain goal oriented dialogs in end to end fashion has been limited. In this paper, we present an effective multi domain end to end trainable neural dialog system SUMBT LaRL that incorporates two previous strong models and facilitates them to be fully differentiable. Specifically, the SUMBT estimates user acts as well as dialog belief states, and the LaRL models latent system action spaces and generates responses given the estimated contexts. We emphasize that the training framework of three steps significantly and stably increase dialog success rates separately pretraining the SUMBT and LaRL, fine tuning the entire system, and then reinforcement learning of dialog policy. We also introduce new reward criteria of reinforcement learning for dialog policy training. Then, we discuss experimental results depending on the reward criteria and different dialog evaluation methods. Consequently, our model achieved the new state of the art success rate of 85.4 on corpus based evaluation, and a comparable success rate of 81.40 on simulator based evaluation provided by the DSTC8 challenge. To our best knowledge, our work is the first comprehensive study of a modularized E2E multi domain dialog system that learning from each component to the entire dialog policy for task success.


Student Responses to Changes in Introductory Physics Learning due to COVID 19 Pandemic. As a result of the spread of COVID 19 during spring 2020, many colleges and universities across the US, and beyond, were compelled to move entirely to remote, online instruction, or shut down. Due to the rapidity of this transition, instructors had to significantly if not completely change their instructional style on very short notice. Our purpose with this paper is to report on student experiences and reactions to the switch to emergency remote learning at two large, land grant, research intensive universities. We aimed to explore how students have received and dealt with the shift to remote learning that began in March 2020, specifically in introductory physics and astronomy courses. By providing timely student feedback, we hope to help instructors tune their efforts to build a more effective remote learning environment.


Who is this Explanation for? Human Intelligence and Knowledge Graphs for eXplainable AI. eXplainable AI focuses on generating explanations for the output of an AI algorithm to a user, usually a decision maker. Such user needs to interpret the AI system in order to decide whether to trust the machine outcome. When addressing this challenge, therefore, proper attention should be given to produce explanations that are interpretable by the target community of users. In this chapter, we claim for the need to better investigate what constitutes a human explanation, i.e. a justification of the machine behaviour that is interpretable and actionable by the human decision makers. In particular, we focus on the contributions that Human Intelligence can bring to eXplainable AI, especially in conjunction with the exploitation of Knowledge Graphs. Indeed, we call for a better interplay between Knowledge Representation and Reasoning, Social Sciences, Human Computation and Human Machine Cooperation research as already explored in other AI branches in order to support the goal of eXplainable AI with the adoption of a Human in the Loop approach.


Collaborative Distillation in the Parameter and Spectrum Domains for Video Action Recognition. Recent years have witnessed the significant progress of action recognition task with deep networks. However, most of current video networks require large memory and computational resources, which hinders their applications in practice. Existing knowledge distillation methods are limited to the image level spatial domain, ignoring the temporal and frequency information which provide structural knowledge and are important for video analysis. This paper explores how to train small and efficient networks for action recognition. Specifically, we propose two distillation strategies in the frequency domain, namely the feature spectrum and parameter distribution distillations respectively. Our insight is that appealing performance of action recognition requires textit explicitly modeling the temporal frequency spectrum of video features. Therefore, we introduce a spectrum loss that enforces the student network to mimic the temporal frequency spectrum from the teacher network, instead of textit implicitly distilling features as many previous works. Second, the parameter frequency distribution is further adopted to guide the student network to learn the appearance modeling process from the teacher. Besides, a collaborative learning strategy is presented to optimize the training process from a probabilistic view. Extensive experiments are conducted on several action recognition benchmarks, such as Kinetics, Something Something, and Jester, which consistently verify effectiveness of our approach, and demonstrate that our method can achieve higher performance than state of the art methods with the same backbone.


Mark my Word A Sequence to Sequence Approach to Definition Modeling. Defining words in a textual context is a useful task both for practical purposes and for gaining insight into distributed word representations. Building on the distributional hypothesis, we argue here that the most natural formalization of definition modeling is to treat it as a sequence to sequence task, rather than a word to sequence task given an input sequence with a highlighted word, generate a contextually appropriate definition for it. We implement this approach in a Transformer based sequence to sequence model. Our proposal allows to train contextualization and definition generation in an end to end fashion, which is a conceptual improvement over earlier works. We achieve state of the art results both in contextual and non contextual definition modeling.


The Application of Blockchain Based Crypto Assets for Integrating the Physical and Financial Supply Chains in the Construction Engineering Industry. Supply chain integration remains an elusive goal for the construction and engineering industry. The high degree of fragmentation and the reliance on third party financial institutions has pushed the physical and financial supply chains apart. The paper demonstrates how blockchain based crypto assets (crypto currencies and crypto tokens) can address this limitation when used for conditioning the flow of funds based on the flow of products. The paper contrasts the integration between cash and product flows in supply chains that rely on fiat currencies and crypto assets for their payment settlement. Two facets of crypto asset enabled integration, atomicity and granularity, are further introduced. The thesis is validated in the context of construction progress payments. The as built data captured by unmanned aerial and ground vehicles was passed to an autonomous smart contract based method that utilizes crypto currencies and crypto tokens for payment settlement the resulting payment datasets, written to the Ethereum blockchain, were analyzed in terms of their integration of product and cash flow. The work is concluded with a discussion of findings and their implications for the industry.


First observation of magnetic flux rope inside electron diffusion region. Magnrtic flux ropes (MFRs) play a crucial role during magnetic reconnection. They are believed to be primarily generated by tearing mode instabilities in the electron diffusion region (EDR). However, they have never been observed inside the EDR. Here, we present the first observation of an MFR inside an EDR. The bifurcated non force free MFR, with a width of 27.5de in the L direction and 4.8de in the N direction, was moving away from the X line. Inside the MFR, strong energy dissipation was detected. The MFR can modulate the electric field in the EDR. We reconstructed magnetic topology of the electron scale MFR. Our study promotes understanding of MRFs' initial state and its role in electron scale processes during magnetic reconnection.


Enumerative problems for arborescences and monotone paths on polytope graphs. Every generic linear functional f on a convex polytope P induces an orientation on the graph of P . From the resulting directed graph one can define a notion of f arborescence and f monotone path on P , as well as a natural graph structure on the vertex set of f monotone paths. These concepts are important in geometric combinatorics and optimization. This paper bounds the number of f arborescences, the number of f monotone paths, and the diameter of the graph of f monotone paths for polytopes P in terms of their dimension and number of vertices or facets.


Multiple orthogonal geodesic chords and a proof of Seifert's conjecture on brake orbits. Using nonsmooth critical point theory, we prove the existence of at least N orthogonal geodesic chords in a class of Riemannian N disk with strongly concave boundary. This yields a proof of a celebrated conjecture by H.Seifert on the number of brake orbits in a potential well of a natural Lagrangian Hamiltonian system.


Investigate a dense transparent glass doped Nd3 ion for high power laser applications. Emission and absorption cross sections of the prepared materials will be measured at different spectral regions.


On p groups of maximal class. Recall that a p group of order p n p 3 is of maximal class, if its nilpotency class is n 1 . In this paper, we recall some preliminaries of nilpotent groups and give some basic material about p groups of maximal class. Furthermore, we introduce the fundamental subgroup of a p group of maximal class by specifying its importance in the general theory of p groups of maximal class.


Iterative solution of the Lippmann Schwinger equation in strongly scattering acoustic media by randomized construction of preconditioners. In this work the Lippmann Schwinger equation is used to model seismic waves in strongly scattering acoustic media. We consider the Helmholtz equation, which is the scalar wave equation in the frequency domain with constant density and variable velocity, and transform it to an integral equation of the Lippmann Schwinger type. To directly solve the discretized problem with matrix inversion is time consuming, therefore we use iterative methods. The Born series is a well known scattering series which gives the solution with relatively small cost, but it has limited use as it only converges for small scattering potentials. There exist other scattering series with preconditioners that have been shown to converge for any contrast, but the methods might require many iterations for models with high contrast. Here we develop new preconditioners based on randomized matrix approximations and hierarchical matrices which can make the scattering series converge for any contrast with a low number of iterations. We describe two different preconditioners one is best for lower frequencies and the other for higher frequencies. We use the fast Fourier transform both in the construction of the preconditioners and in the iterative solution, and this makes the methods efficient. The performance of the methods are illustrated by numerical experiments on two 2D models.


Mixing properties of generalized T, T 1 transformations. We study mixing properties of generalized T, T 1 transformation. We discuss two mixing mechanisms. In the case the fiber dynamics is mixing, it is sufficient that the driving cocycle is small with small probability. In the case the fiber dynamics is only assumed to be ergodic, one needs to use the shearing properties of the cocycle. Applications include the Central Limit Theorem for sufficiently fast mixing systems and the estimates on deviations of ergodic averages.


An equivariant PPV theorem and Paschke Higson duality. We prove an equivariant localized and norm controlled version of the Pimsner Popa Voiculescu theorem. As an application, we deduce a proof of the Paschke Higson duality for transformation groupoids.


ControlVAE Tuning, Analytical Properties, and Performance Analysis. This paper reviews the novel concept of controllable variational autoencoder (ControlVAE), discusses its parameter tuning to meet application needs, derives its key analytic properties, and offers useful extensions and applications. ControlVAE is a new variational autoencoder (VAE) framework that combines the automatic control theory with the basic VAE to stabilize the KL divergence of VAE models to a specified value. It leverages a non linear PI controller, a variant of the proportional integral derivative (PID) control, to dynamically tune the weight of the KL divergence term in the evidence lower bound (ELBO) using the output KL divergence as feedback. This allows us to precisely control the KL divergence to a desired value (set point), which is effective in avoiding posterior collapse and learning disentangled representations. In order to improve the ELBO over the regular VAE, we provide simplified theoretical analysis to inform setting the set point of KL divergence for ControlVAE. We observe that compared to other methods that seek to balance the two terms in VAE's objective, ControlVAE leads to better learning dynamics. In particular, it can achieve a good trade off between reconstruction quality and KL divergence. We evaluate the proposed method on three tasks image generation, language modeling and disentangled representation learning. The results show that ControlVAE can achieve much better reconstruction quality than the other methods for comparable disentanglement. On the language modeling task, ControlVAE can avoid posterior collapse (KL vanishing) and improve the diversity of generated text. Moreover, our method can change the optimization trajectory, improving the ELBO and the reconstruction quality for image generation.


Data Driven Modeling of Interfacial Traction Separation Relations using a Thermodynamically Consistent Neural Network. For multilayer structures, interfacial failure is one of the most important elements related to device reliability. For cohesive zone modelling, traction separation relations represent the adhesive interactions across interfaces. However, existing theoretical models do not currently capture traction separation relations that have been extracted using direct methods, particularly under mixed mode conditions. Given the complexity of the problem, models derived from the neural network approach are attractive. Although they can be trained to fit data along the loading paths taken in a particular set of mixed mode fracture experiments, they may fail to obey physical laws for paths not covered by the training data sets. In this paper, a thermodynamically consistent neural network (TCNN) approach is established to model the constitutive behavior of interfaces when faced with sparse training data sets. Accordingly, three conditions are examined and implemented here (i) thermodynamic consistency, (ii) maximum energy dissipation path control and (iii) J integral conservation. These conditions are treated as constraints and are implemented as such in the loss function. The feasibility of this approach is demonstrated by comparing the modeling results with a range of physical constraints. Moreover, a Bayesian optimization algorithm is then adopted to optimize the weight factors associated with each of the constraints in order to overcome convergence issues that can arise when multiple constraints are present. The resultant numerical implementation of the ideas presented here produced well behaved, mixed mode traction separation surfaces that maintained the fidelity of the experimental data that was provided as input. The proposed approach heralds a new autonomous, point to point constitutive modeling concept for interface mechanics.


Attacks on Dynamic Protocol Detection of Open Source Network Security Monitoring Tools. Protocol detection is the process of determining the application layer protocol in the context of network security monitoring, which requires a timely and precise decision to enable protocol specific deep packet inspection. This task has proven to be complex, as isolated characteristics like port numbers are not sufficient to reliably determine the application layer protocol. Hence, more dynamic detection approaches have been developed. In this paper, we analyze the Dynamic Protocol Detection mechanisms employed by popular and widespread open source network monitoring tools. We show on the example of HTTP that all analyzed detection mechanisms are vulnerable to evasion attacks, which pose a serious threat to real world monitoring operations. We find that the underlying fundamental problem of protocol disambiguation is not adequately addressed in two of three monitoring systems that we analyzed. To enable adequate operational decisions, this paper highlights the inherent trade offs within Dynamic Protocol Detection.


Excellent graphs with respect to domination subgraphs induced by minimum dominating sets. A graph G (V,E) is gamma excellent if V is a union of all gamma sets of G , where gamma stands for the domination number. Let mathcal I be a set of all mutually nonisomorphic graphs and emptyset not mathcal H subsetneq mathcal I . In this paper we initiate the study of the mathcal H gamma excellent graphs, which we define as follows. A graph G is mathcal H gamma excellent if the following hold (i) for every H in mathcal H and for each x in V(G) there exists an induced subgraph H x of G such that H and H x are isomorphic, x in V(H x) and V(H x) is a subset of some gamma set of G , and (ii) the vertex set of every induced subgraph H of G , which is isomorphic to some element of mathcal H , is a subset of some gamma set of G . For each of some well known graphs, including cycles, trees and some cartesian products of two graphs, we describe its largest set mathcal H subsetneq mathcal I for which the graph is mathcal H gamma excellent. Results on gamma excellent regular graphs and a generalized lexicographic product of graphs are presented. Several open problems and questions are posed.


A Novel Modeling Approach for All Dielectric Metasurfaces Using Deep Neural Networks. Metasurfaces have become a promising means for manipulating optical wavefronts in flat and high performance optical devices. Conventional metasurface device design relies on trial and error methods to obtain target electromagnetic (EM) response, an approach that demands significant efforts to investigate the enormous number of possible meta atom structures. In this paper, a deep neural network approach is introduced that significantly improves on both speed and accuracy compared to techniques currently used to assemble metasurface based devices. Our neural network approach overcomes three key challenges that have limited previous neural network based design schemes input output vector dimensional mismatch, accurate EM wave phase prediction, as well as adaptation to 3 D dielectric structures, and can be generically applied to a wide variety of metasurface device designs across the entire electromagnetic spectrum. Using this new methodology, examples of neural networks capable of producing on demand designs for meta atoms, metasurface filters, and phase change reconfigurable metasurfaces are demonstrated.


Recent Trends in the Use of Deep Learning Models for Grammar Error Handling. Grammar error handling (GEH) is an important topic in natural language processing (NLP). GEH includes both grammar error detection and grammar error correction. Recent advances in computation systems have promoted the use of deep learning (DL) models for NLP problems such as GEH. In this survey we focus on two main DL approaches for GEH neural machine translation models and editor models. We describe the three main stages of the pipeline for these models data preparation, training, and inference. Additionally, we discuss different techniques to improve the performance of these models at each stage of the pipeline. We compare the performance of different models and conclude with proposed future directions.


Distilling Knowledge From a Deep Pose Regressor Network. This paper presents a novel method to distill knowledge from a deep pose regressor network for efficient Visual Odometry (VO). Standard distillation relies on "dark knowledge" for successful knowledge transfer. As this knowledge is not available in pose regression and the teacher prediction is not always accurate, we propose to emphasize the knowledge transfer only when we trust the teacher. We achieve this by using teacher loss as a confidence score which places variable relative importance on the teacher prediction. We inject this confidence score to the main training task via Attentive Imitation Loss (AIL) and when learning the intermediate representation of the teacher through Attentive Hint Training (AHT) approach. To the best of our knowledge, this is the first work which successfully distill the knowledge from a deep pose regression network. Our evaluation on the KITTI and Malaga dataset shows that we can keep the student prediction close to the teacher with up to 92.95 parameter reduction and 2.12x faster in computation time.


Modelling of processes in nerve fibres at the interface of physiology and mathematics. The in silico simulations are widely used in contemporary systems biology including the analysis of nerve pulse propagation. As known from numerous experiments, the propagation of an action potential is accompanied by mechanical and thermal effects. This calls for an analysis at the interface of physics, physiology and mathematics. In this paper, the background of the model equations governing the effects in nerve fibres is analysed from a physical viewpoint and then discussed how to unite them into a system by using the coupling forces. The leading hypothesis associates the coupling to the changes of variables, not to their values or amplitudes. This hypothesis models actually the physiological mechanisms of energy transductions in a fibre. The general assumptions in modelling the processes and the properties of the coupled system of equations are described. The dimensionless mathematical model which couples the action potential with mechanical waves together with temperature effects is presented in the Appendix. This model generates an ensemble of waves including the electrical signal and mechanical and thermal effects.


Semi algebraic approximation using Christoffel Darboux kernel. We provide a new method to approximate a (possibly discontinuous) function using Christoffel Darboux kernels. Our knowledge about the unknown multivariate function is in terms of finitely many moments of the Young measure supported on the graph of the function. Such an input is available when approximating weak (or measure valued) solution of optimal control problems, entropy solutions to non linear hyperbolic PDEs, or using numerical integration from finitely many evaluations of the function. While most of the existing methods construct a piecewise polynomial approximation, we construct a semi algebraic approximation whose estimation and evaluation can be performed efficiently. An appealing feature of this method is that it deals with non smoothness implicitly so that a single scheme can be used to treat smooth or non smooth functions without any prior knowledge. On the theoretical side, we prove pointwise convergence almost everywhere as well as convergence in the Lebesgue one norm under broad assumptions. Using more restrictive assumptions, we obtain explicit convergence rates. We illustrate our approach on various examples from control and approximation. In particular we observe empirically that our method does not suffer from the the Gibbs phenomenon when approximating discontinuous functions.


A simple proof of Talbot's theorem for intersecting separated sets. A subset A of n 1, dots, n is k separated if, when the elements of n are considered on a circle, between any two elements of A there are at least k elements of n that are not in A . A family mathcal A of sets is intersecting if every two sets in mathcal A intersect. We give a short and simple proof of a remarkable result of Talbot (2003), stating that if n geq (k 1)r and mathcal A is an intersecting family of k separated r element subsets of n , then mathcal A leq binom n kr 1 r 1 . This bound is best possible.


Degrees of and lowness for isometric isomorphism. We contribute to the program of extending computable structure theory to the realm of metric structures by investigating lowness for isometric isomorphism of metric structures. We show that lowness for isomorphism coincides with lowness for isometric isomorphism and with lowness for isometry of metric spaces. We also examine certain restricted notions of lowness for isometric isomorphism with respect to fixed computable presentations, and, in this vein, we obtain classifications of the degrees that are low for isometric isomorphism with respect to the standard copies of certain Lebesgue spaces.


Equivariant isomorphisms of Ext and Tor modules. In this article we establish equivariant isomorphisms of Ext and Tor modules over different relative complete intersections. More precisely, for a commutative ring Q , this paper investigates how Ext Q ( boldsymbol f ) (M,N) and Tor Q ( boldsymbol f ) (M,N) change when one varies boldsymbol f among all Koszul regular sequences of a fixed length such that boldsymbol f M 0 and boldsymbol f N 0 . Of notable interest is how the theory of perturbations is used to establish isomorphisms of certain DG modules.


Multi layer Representation Fusion for Neural Machine Translation. Neural machine translation systems require a number of stacked layers for deep models. But the prediction depends on the sentence representation of the top most layer with no access to low level representations. This makes it more difficult to train the model and poses a risk of information loss to prediction. In this paper, we propose a multi layer representation fusion (MLRF) approach to fusing stacked layers. In particular, we design three fusion functions to learn a better representation from the stack. Experimental results show that our approach yields improvements of 0.92 and 0.56 BLEU points over the strong Transformer baseline on IWSLT German English and NIST Chinese English MT tasks respectively. The result is new state of the art in German English translation.


Symmetry, Unimodality, and Lefschetz Properties for Graded Modules. If mbk is algebraically closed of characteristic zero and R mbk x,y, z , we first investigate the Weak Lefschetz Property for the finite length R module M that is the cokernel of a map vp bds j 1 n 2 R( b j) to bds i 1 n R( a i) . Before doing so, we spend significant time discuss the minimal free resolution of M , which we use to prove useful results on the symmetry and unimodality of the Hilbert function of M . Lastly, we define the textit non Lefschetz locus for finite length graded modules in arbitrary codimension, as well as proving several results in this direction. Moreover, we also discuss the connection with Artin level modules, the non Lefschetz locus, and Lefschetz properties for graded modules of finite length in arbitrary codimension.


Algorithms for Checking Zero Dimensional Complete Intersections. Given a 0 dimensional affine K algebra R K x 1,...,x n I, where I is an ideal in a polynomial ring K x 1,...,x n over a field K, or, equivalently, given a 0 dimensional affine scheme, we construct effective algorithms for checking whether R is a complete intersection at a maximal ideal, whether R is locally a complete intersection, and whether R is a strict complete intersection. These algorithms are based on Wiebe's characterisation of 0 dimensional local complete intersections via the 0 th Fitting ideal of the maximal ideal. They allow us to detect which generators of I form a regular sequence resp. a strict regular sequence, and they work over an arbitrary base field K. Using degree filtered border bases, we can detect strict complete intersections in certain families of 0 dimensional ideals.


3DFR A Swift 3D Feature Reductionist Framework for Scene Independent Change Detection. In this paper we propose an end to end swift 3D feature reductionist framework (3DFR) for scene independent change detection. The 3DFR framework consists of three feature streams a swift 3D feature reductionist stream (AvFeat), a contemporary feature stream (ConFeat) and a temporal median feature map. These multilateral foreground background features are further refined through an encoder decoder network. As a result, the proposed framework not only detects temporal changes but also learns high level appearance features. Thus, it incorporates the object semantics for effective change detection. Furthermore, the proposed framework is validated through a scene independent evaluation scheme in order to demonstrate the robustness and generalization capability of the network. The performance of the proposed method is evaluated on the benchmark CDnet 2014 dataset. The experimental results show that the proposed 3DFR network outperforms the state of the art approaches.


Stationary Flows of the ES BGK model with the correct Prandtl number. Ellipsoidal BGK model (ES BGK) is a generalized version of the BGK model where the local Maxwellian in the relaxation operator of the BGK model is extended to an ellipsoidal Gaussian with a Prandtl parameter nu , so that the correct transport coefficients can be computed in the Navier Stokes limit. In this work, we consider the existence and uniqueness of stationary solutions for the ES BGK model in a slab imposed with the mixed boundary conditions. One of the key difficulties arise in the uniform control of the temperature tensor from below. In the non critical case ( 1 2 nu 1) , we utilize the property that the temperature tensor is equivalent to the temperature in this range. In the critical case, ( nu 1 2) , where such equivalence relation breaks down, we observe that the size of bulk velocity in x direction can be controlled by the discrepancy of boundary flux, which enables one to bound the temperature tensor from below.


Learnable Gated Temporal Shift Module for Deep Video Inpainting. How to efficiently utilize temporal information to recover videos in a consistent way is the main issue for video inpainting problems. Conventional 2D CNNs have achieved good performance on image inpainting but often lead to temporally inconsistent results where frames will flicker when applied to videos (see https www.youtube.com watch?v 87Vh1HDBjD0 list PLPoVtv xp dL5uckIzz1PKwNjg1yI0I94 index 1) 3D CNNs can capture temporal information but are computationally intensive and hard to train. In this paper, we present a novel component termed Learnable Gated Temporal Shift Module (LGTSM) for video inpainting models that could effectively tackle arbitrary video masks without additional parameters from 3D convolutions. LGTSM is designed to let 2D convolutions make use of neighboring frames more efficiently, which is crucial for video inpainting. Specifically, in each layer, LGTSM learns to shift some channels to its temporal neighbors so that 2D convolutions could be enhanced to handle temporal information. Meanwhile, a gated convolution is applied to the layer to identify the masked areas that are poisoning for conventional convolutions. On the FaceForensics and Free form Video Inpainting (FVI) dataset, our model achieves state of the art results with simply 33 of parameters and inference time.


A basis for a quotient of symmetric polynomials. Consider the ring mathcal S of symmetric polynomials in k variables over an arbitrary base ring mathbf k . Fix k scalars a 1 ,a 2 , ldots,a k in mathbf k . Let I be the ideal of mathcal S generated by h n k 1 a 1 ,h n k 2 a 2 , ldots,h n a k , where h i is the i th complete homogeneous symmetric polynomial. The quotient ring mathcal S I generalizes both the usual and the quantum cohomology of the Grassmannian. We show that mathcal S I has a mathbf k module basis consisting of (residue classes of) Schur polynomials fitting into an left( n k right) times k rectangle and that its multiplicative structure constants satisfy the same S 3 symmetry as those of the Grassmannian cohomology. We prove a Pieri rule and a "rim hook algorithm", and conjecture a positivity property generalizing that of Gromov Witten invariants. We construct two further bases of mathcal S I as well. We also study the quotient of the whole polynomial ring (not just the symmetric polynomials) by the ideal generated by the same k polynomials as I .


Suzuki Ree groups as algebraic groups over mathbb F sqrt smash b p . Among the infinite classes of finite simple groups, the most exotic classes are probably the Suzuki groups and the Ree groups. They are "twisted versions" of groups of Lie type, but they cannot be directly obtained as groups of rational points of a suitable linear algebraic group. We provide a framework in which these groups do arise as groups of rational points of algebraic groups over a "twisted field" in the finite case, such a twisted field can be interpreted as a "field with sqrt smash b p elements". Our framework at once allows for other, perhaps less known, exotic families of groups. Most notably, there is a class of "mixed groups", introduced by J. Tits but also apparent in the work of Steinberg, and we show that they can be obtained as groups of rational points of algebraic groups over a "mixed field". We show that a base change from mathbb F sqrt smash b p to mathbb F p transforms twisted groups into mixed groups, and we formulate a notion of "twisted descent" that allows to detect which mixed groups arise in this fashion.


Degenerate optical resonator for the enhancement of large laser beams. Enhancement cavities where a beam of large size (several millimeters) can resonate have several applications, in particular in atomic physics. However, reaching large beam waists in a compact geometry (less than a meter long) typically brings the resonator close to the degeneracy limit. Here we experimentally study a degenerate optical cavity, 44 cm long and consisting of two flat mirrors placed in the focal planes of a lens, in a regime of intermediate finesse ( sim 150 ). We study the impact of the longitudinal misalignement on the optical gain, for different input beam waists up to 5.6 mm, and find data consistent with the prediction of a model based on ABCD propagation of Gaussian beams. We reach an optical gain of 26 for a waist of 1.4 mm, which can have an impact on several applications, in particular atom interferometry. We numerically investigate the optical gain reduction for large beam waists using the angular spectrum method to consider the effects of optical aberrations, which play an important role in such a degenerate cavity. Our calculations quantitatively reproduce the experimental data and will provide a key tool for designing enhancement cavities close to the degeneracy limit. As an illustration, we discuss the application of this resonator geometry to the enhancement of laser beams with top hat intensity profiles.


On Lower Iteration Complexity Bounds for the Saddle Point Problems. In this paper, we study the lower iteration complexity bounds for finding the saddle point of a strongly convex and strongly concave saddle point problem min x max yF(x,y) . We restrict the classes of algorithms in our investigation to be either pure first order methods or methods using proximal mappings. The existing lower bound result for this type of problems is obtained via the framework of strongly monotone variational inequality problems, which corresponds to the case where the gradient Lipschitz constants ( L x, L y and L xy ) and strong convexity concavity constants ( mu x and mu y ) are uniform with respect to variables x and y . However, specific to the min max saddle point problem these parameters are naturally different. Therefore, one is led to finding the best possible lower iteration complexity bounds, specific to the min max saddle point models. In this paper we present the following results. For the class of pure first order algorithms, our lower iteration complexity bound is Omega left( sqrt frac L x mu x frac L xy 2 mu x mu y frac L y mu y cdot ln left( frac 1 epsilon right) right) , where the term frac L xy 2 mu x mu y explains how the coupling influences the iteration complexity. Under several special parameter regimes, this lower bound has been achieved by corresponding optimal algorithms. However, whether or not the bound under the general parameter regime is optimal remains open. Additionally, for the special case of bilinear coupling problems, given the availability of certain proximal operators, a lower bound of Omega left( sqrt frac L xy 2 mu x mu y 1 cdot ln( frac 1 epsilon ) right) is established in this paper, and optimal algorithms have already been developed in the literature.


On partial information retrieval the unconstrained 100 prisoner problem. We consider the classical 100 Prisoner problem and its variant, involving empty boxes, introduced by Gal and Miltersen. Unlike previous studies, here we focus on the winning probabilities for an arbitrary number of winners and attempts, which we call the unconstrained problem. We introduce general classes of strategies, applicable to different settings and quantify how efficient they are. We make use of Monte Carlo simulations, whenever analytic results are not available, to estimate with high accuracy the probabilities of winning. Finally, we also comment on the possible applications of our results in understanding processes of information retrieval, such as "memory" in living organisms.


Fast Computation of the N th Term of a q Holonomic Sequence and Applications. In 1977, Strassen invented a famous baby step giant step algorithm that computes the factorial N! in arithmetic complexity quasi linear in sqrt N . In 1988, the Chudnovsky brothers generalized Strassen's algorithm to the computation of the N th term of any holonomic sequence in essentially the same arithmetic complexity. We design q analogues of these algorithms. We first extend Strassen's algorithm to the computation of the q factorial of N , then Chudnovskys' algorithm to the computation of the N th term of any q holonomic sequence. Both algorithms work in arithmetic complexity quasi linear in sqrt N surprisingly, they are simpler than their analogues in the holonomic case. We provide a detailed cost analysis, in both arithmetic and bit complexity models. Moreover, we describe various algorithmic consequences, including the acceleration of polynomial and rational solving of linear q differential equations, and the fast evaluation of large classes of polynomials, including a family recently considered by Nogneng and Schost.


Neutral Face Game Character Auto Creation via PokerFace GAN. Game character customization is one of the core features of many recent Role Playing Games (RPGs), where players can edit the appearance of their in game characters with their preferences. This paper studies the problem of automatically creating in game characters with a single photo. In recent literature on this topic, neural networks are introduced to make game engine differentiable and the self supervised learning is used to predict facial customization parameters. However, in previous methods, the expression parameters and facial identity parameters are highly coupled with each other, making it difficult to model the intrinsic facial features of the character. Besides, the neural network based renderer used in previous methods is also difficult to be extended to multi view rendering cases. In this paper, considering the above problems, we propose a novel method named "PokerFace GAN" for neutral face game character auto creation. We first build a differentiable character renderer which is more flexible than the previous methods in multi view rendering cases. We then take advantage of the adversarial training to effectively disentangle the expression parameters from the identity parameters and thus generate player preferred neutral face (expression less) characters. Since all components of our method are differentiable, our method can be easily trained under a multi task self supervised learning paradigm. Experiment results show that our method can generate vivid neutral face game characters that are highly similar to the input photos. The effectiveness of our method is verified by comparison results and ablation studies.


Comparison of surface thermal patterns of horses and donkeys in IRT images. Infrared thermography (IRT) is a valuable diagnostic tool in equine veterinary medicine however, little is known about its application in donkeys. The aim was to find patterns in thermal images of donkeys and horses, and determine if these patterns share similarities. The study was carried out on 18 donkeys and 16 horses. All equids underwent thermal imaging with an infrared camera and measuring the skin thickness and hair coat length. On the class maps of each thermal image, 15 regions of interest (ROIs) were annotated and then combined into 10 groups of ROIs (GORs). The existence of statistically significant differences between surface temperatures in GORs was tested both globally' for all animals of a given species and locally' for each animal. Two special cases of animals that differ from the rest were also discussed. Our results indicated that the majority of thermal patterns are similar for both species however, average surface temperatures in horses are higher than in donkeys. It may be related to differences in the skin and hair coat. We concluded, the patterns of both species are associated with GORs, rather than an individual ROI, with higher uniformity of donkeys patterns.


A backward ergodic theorem and its forward implications. We prove a backward pointwise ergodic theorem for countable to one probability measure preserving (pmp) transformations, where the ergodic averages are taken along trees in the backward orbit of the point. This yields a new (forward) pointwise ergodic theorem along trees for pmp actions of free groups, strengthening an earlier (from 2000) theorem of Bufetov. We also discuss other applications of the backward theorem, in particular to the shift map on Markov chains, which yields a (forward) pointwise ergodic theorem along trees for the natural action of the free groups on their boundary.


Automata for Hyperlanguages. Hyperproperties lift conventional trace properties from a set of execution traces to a set of sets of execution traces. Hyperproperties have been shown to be a powerful formalism for expressing and reasoning about information flow security policies and important properties of cyber physical systems such as sensitivity and robustness, as well as consistency conditions in distributed computing such as linearizability. Although there is an extensive body of work on automata based representation of trace properties, we currently lack such characterization for hyperproperties. We introduce hyperautomata for em hyperlanguages, which are languages over sets of words. Essentially, hyperautomata allow running multiple quantified words over an automaton. We propose a specific type of hyperautomata called nondeterministic finite hyperautomata (NFH), which accept regular hyperlanguages. We demonstrate the ability of regular hyperlanguages to express hyperproperties for finite traces. We then explore the fundamental properties of NFH and show their closure under the Boolean operations. We show that while nonemptiness is undecidable in general, it is decidable for several fragments of NFH. We further show the decidability of the membership problem for finite sets and regular languages for NFH, as well as the containment problem for several fragments of NFH. Finally, we introduce learning algorithms based on Angluin's L star algorithm for the fragments NFH in which the quantification is either strictly universal or strictly existential.


The 2 associahedra are Eulerian. We show that the 2 associahedra are Eulerian, by exploiting their recursive structure.


Transport and Phototransport in ITO Nanocrystals with Short to Long Wave Infrared Absorption. Nanocrystals are often described as an interesting strategy for the design of low cost optoelectronic devices especially in the infrared range. However the driving materials reaching infrared absorption are generally heavy metalcontaining (Pb and Hg) with a high toxicity. An alternative strategy to achieve infrared transition is the use of doped semiconductors presenting intraband or plasmonic transition in the short, mid and long wave infrared. This strategy may offer more flexibility regarding the range of possible candidate materials. In particular, significant progresses have been achieved for the synthesis of doped oxides and for the control of their doping magnitude. Among them, tin doped indium oxide (ITO) is the one providing the broadest spectral tunability. Here we test the potential of such ITO nanoparticles for photoconduction in the infrared. We demonstrate that In2O3 nanoparticles presents an intraband absorption in the mid infrared range which is transformed into a plasmonic feature as doping is introduced. We have determined the cross section associated with the plasmonic transition to be in the 1 3x10 13 cm2 range. We have observed that the nanocrystals can be made conductive and photoconductive due to a ligand exchange using a short carboxylic acid, leading to a dark conduction with n type character. We bring further evidence that the observed photoresponse in the infrared is the result of a bolometric effect.


Doubly resonant second harmonic generation of a vortex beam from a bound state in the continuum. Second harmonic generation in nonlinear materials can be greatly enhanced by realizing doubly resonant cavities with high quality factors. However, fulfilling such doubly resonant condition in photonic crystal (PhC) cavities is a long standing challenge, because of the difficulty in engineering photonic bandgaps around both frequencies. Here, by implementing a second harmonic bound state in the continuum (BIC) and confining it with a heterostructure design, we show the first doubly resonant PhC slab cavity with 2.4 times10 2 W 1 conversion efficiency under continuous wave excitation. We also report the confirmation of highly normal direction concentrated far field emission pattern with radial polarization at the second harmonic frequency. These results represent a solid verification of previous theoretical predictions and a cornerstone achievement, not only for nonlinear frequency conversion but also for vortex beam generation and prospective nonclassical sources of radiation.


Explainable Fact Checking with Probabilistic Answer Set Programming. One challenge in fact checking is the ability to improve the transparency of the decision. We present a fact checking method that uses reference information in knowledge graphs (KGs) to assess claims and explain its decisions. KGs contain a formal representation of knowledge with semantic descriptions of entities and their relationships. We exploit such rich semantics to produce interpretable explanations for the fact checking output. As information in a KG is inevitably incomplete, we rely on logical rule discovery and on Web text mining to gather the evidence to assess a given claim. Uncertain rules and facts are turned into logical programs and the checking task is modeled as an inference problem in a probabilistic extension of answer set programs. Experiments show that the probabilistic inference enables the efficient labeling of claims with interpretable explanations, and the quality of the results is higher than state of the art baselines.


A New Proof for a Strong Law of Large Numbers of Kolmogorov's Type via Weak Convergence. In terms of the Dirac representation of sample mean and the weak convergence of empirical distributions that holds almost surely, we construct a new proof for a strong law of large numbers of Kolmogorov's type with i.i.d. random variables X 1 , X 2 , dots such that lim c to infty sup n in mathbb N n 1 sum i 1 n X i cdot mathbb I c, infty circ X i 0 almost surely. That each random variable X i is L 1 is also a conclusion. Our proof is independent of both Kolmogorov's strong law and its known proof(s), and potentially furnishes a new way to obtain a short proof of Kolmogorov's strong law.


A characteristic class of mathrm Homeo(X) 0 bundles and an abelian extension of the homeomorphism group. A mathrm Homeo(X) 0 bundle is a fiber bundle with fiber X whose structure group reduces to the identity component mathrm Homeo(X) 0 of the homeomorphism group of X . We construct a characteristic class of mathrm Homeo(X) 0 bundles as a third cohomology class with coefficients in mathbb Z . We also investigate the relation between the universal characteristic class of flat fiber bundles and the gauge group extension of the homeomorphism group. Furthermore, under some assumptions, we construct and study the central S 1 extension and the corresponding group two cocycle of mathrm Homeo(X) 0 .


Software Based Higher Order Structural Foot Abnormality Detection Using Image Processing. The entire movement of human body undergoes through a periodic process named Gait Cycle. The structure of human foot is the key element to complete the cycle successfully. Abnormality of this foot structure is an alarming form of congenital disorder which results a classification based on the geometry of the human foot print image. Image processing is one of the most efficient way to determine a number of footprint parameter to detect the severeness of disorder. This paper aims to detect the Flatfoot and High Arch foot abnormalities using one of the footprint parameters named Modified Brucken Index by biomedical image processing.


Overcommuting pairs in groups and 3 manifolds bounding them. We introduce the notions of overcommutation and overcommutation length in groups, and show that these concepts are closely related to representations of the fundamental groups of 3 manifold and their Heegaard genus. We give many examples including translations in the affine group of the line and provide upper bounds for the overcommutation length in SL 2, related to the Steinberg relation.


Shadowing for families of endomorphisms of generalized group shifts. Let G be a countable monoid and let A be an Artinian group (resp. an Artinian module). Let Sigma subset A G be a closed subshift which is also a subgroup (resp. a submodule) of A G . Suppose that Gamma is a finitely generated monoid consisting of pairwise commuting cellular automata Sigma to Sigma that are also homomorphisms of groups (resp. homomorphisms of modules) with monoid binary operation given by composition of maps. We show that the valuation action of Gamma on Sigma satisfies a natural intrinsic shadowing property. Generalizations are also established for families of endomorphisms of admissible group subshifts.


Dirichlet Polynomials form a Topos. One can think of power series or polynomials in one variable, such as P(x) 2x 3 x 5 , as functors from the category mathsf Set of sets to itself these are known as polynomial functors. Denote by mathsf Poly mathsf Set the category of polynomial functors on mathsf Set and natural transformations between them. The constants 0,1 and operations , times that occur in P(x) are actually the initial and terminal objects and the coproduct and product in mathsf Poly mathsf Set . Just as the polynomial functors on mathsf Set are the copresheaves that can be written as sums of representables, one can express any Dirichlet series, e.g. sum n 0 infty n x , as a coproduct of representable presheaves. A Dirichlet polynomial is a finite Dirichlet series, that is, a finite sum of representables n x . We discuss how both polynomial functors and their Dirichlet analogues can be understood in terms of bundles, and go on to prove that the category of Dirichlet polynomials is an elementary topos.


Some properties of geodesic ( alpha,E) preinvex functions on a Riemannian manifold. In this article, we have introduced the concept of textit geodesic ( alpha,E) invex set and by using this concept the notion of textit geodesic ( alpha,E) preinvex functions and textit geodesic ( alpha,E) invex functions are developed on a Riemannian manifold. Moreover, several properties and results are deduced within aforesaid functions. An example is also constructed to illustrate the definition of geodesic ( alpha,E) invex set. We have also established an important relation between geodesic ( alpha,E) preinvex function and geodesic ( alpha,E) invex function in a complete Riemannian manifold.


Greatest common divisors of integral points of numerically equivalent divisors. We generalize the G.C.D. results of Corvaja Zannier and Levin on mathbb G m n to more general settings. More specifically, we analyze the height of a closed subscheme of codimension at least 2 inside an n dimensional Cohen Macaulay projective variety, and show that this height is small when evaluated at integral points with respect to a divisor D when D is a sum of n 1 effective divisors which are all numerically equivalent to some multiples of a fixed ample divisor. Our method is inspired by Silverman's G.C.D. estimate as an application of Vojta's conjecture, which is substituted by a more general version of Schmidt's subspace theorem of Ru Vojta in our proof.


On the Wong Rosay theorem. We prove a Wong Rosay type theorem for a domain with a piecewise smooth generic strictly pseudoconvex boundary point.


Generalization of Kimberling's concept of triangle center for other polygons. In this article we introduce a general definition of the concept of center of an n gon, for n geq 3 , generalizing the idea of C. Kimberling for triangle. We define centers associated to functions instead of to geometrical properties. We discuss the definition of those functions depending on both, the vertices of the polygons or the lengths of sides and diagonals. We explore the problem of characterization of regular polygons in terms of these n gon center functions and we study the relation between our general definition of center of a polygon and other approaches arising from Applied Mathematics.


Skillearn Machine Learning Inspired by Humans' Learning Skills. Humans, as the most powerful learners on the planet, have accumulated a lot of learning skills, such as learning through tests, interleaving learning, self explanation, active recalling, to name a few. These learning skills and methodologies enable humans to learn new topics more effectively and efficiently. We are interested in investigating whether humans' learning skills can be borrowed to help machines to learn better. Specifically, we aim to formalize these skills and leverage them to train better machine learning (ML) models. To achieve this goal, we develop a general framework Skillearn, which provides a principled way to represent humans' learning skills mathematically and use the formally represented skills to improve the training of ML models. In two case studies, we apply Skillearn to formalize two learning skills of humans learning by passing tests and interleaving learning, and use the formalized skills to improve neural architecture search. Experiments on various datasets show that trained using the skills formalized by Skillearn, ML models achieve significantly better performance.


Dynamic core periphery structure of information sharing networks in the entorhinal cortex and the hippocampus. Neural computation is associated with the emergence, reconfiguration and dissolution of cell assemblies in the context of varying oscillatory states. Here, we describe the complex spatio temporal dynamics of cell assemblies through temporal network formalism. We use a sliding window approach to extract sequences of networks of information sharing among single units in hippocampus and enthorinal cortex during anesthesia and study how global and node wise functional connectivity properties evolve along time. First, we find that information sharing networks display, at any time, a core periphery structure in which an integrated core of more tightly functionally interconnected units link to more loosely connected network leaves. However the units participating to the core or to the periphery substantially change across time windows. Second, we find that discrete network states can be defined on top of this continuously ongoing liquid core periphery reorganization. Switching between network states results in a more abrupt modification of the units belonging to the core and is only loosely linked to transitions between global oscillatory states. Third, we characterize different styles of temporal connectivity that cells can exhibit within each state of the sharing network. While inhibitory cells tend to be central, we show that, otherwise, anatomical localization only poorly influences the patterns of temporal connectivity of the different cells. Cells can also change temporal connectivity style when the network changes state. Altogether, these findings reveal that the sharing of information mediated by the intrinsic dynamics of hippocampal and enthorinal cortex cell assemblies have a rich spatiotemporal structure, which could not have been identified by more conventional time or state averaged analyses of functional connectivity.


MaskBot Real time Robotic Projection Mapping with Head Motion Tracking. The projection mapping systems on the human face is limited by the latency and the movement of the users. The area of the projection is restricted by the position of the projectors and the cameras. We are introducing MaskBot, a real time projection mapping system operated by a 6 Degrees of Freedom (DoF) collaborative robot. The collaborative robot locates the projector and camera in normal position to the face of the user to increase the projection area and to reduce the latency of the system. A webcam is used to detect the face and to sense the robot user distance to modify the projection size and orientation. MaskBot projects different images on the face of the user, such as face modifications, make up, and logos. In contrast to the existing methods, the presented system is the first that introduces a robotic projection mapping. One of the prospective applications is to acquire a dataset of adversarial images to challenge face detection DNN systems, such as Face ID.


Near field radiative heat transfer between rough surfaces modeled using effective media with gradient distribution of dielectric function. Near field radiative heat transfer (NFRHT) between rough surfaces, due to its widespread presence in engineering practice of near field energy utilization, requires indepth studies, especially from the perspective of physical mechanism. In this paper, an effective multilayer model is built to approach the NFRHT between random rough surfaces of silicon carbide (SiC). Using the effective medium theory (EMT), the effective dielectric function of each layer is obtained, which forms a gradient distribution of dielectric function along the depth of the medium. The influence of the effective dielectric function on surface phonon polaritons (SPhPs) is analyzed, showing that the effective layers with small filling fraction of SiC feature lower SPhP resonance frequencies than SiC bulk. The coupling of SPhPs from the gradient distribution of dielectric function produces new surface modes that dominates the NFRHT. Investigation on the effect of root mean square height (RMS height, sigma ) reveals that the peaks of local density of states (LDOS) and spectral heat flux are red shifted as sigma increases, while the spectral heat flux below the peak frequency gets larger. This can be attributed to the coupling of SPhPs inside the rough layer. We also found the total net heat flux between rough surfaces separated by an average distance exceeds that between smooth plates and increases with increasing sigma , which offer a new way to enhance NFRHT. This work provides a reference for the simulation and understanding of the NFRHT between rough surfaces.


Marstrand type slicing statements in mathbb Z 2 subset mathbb R 2 are false for the counting dimension. We show that for 1 separated subsets of mathbb R 2 , the natural Marstrand like slicing statements are false with the counting dimension that was used earlier by Moreira and Lima and variants of which were introduced earlier in different contexts. We construct a 1 separated subset of the plane which has counting dimension one while a positive Lebesgue measure of width 1 tubes also all have counting dimension one. This is in contrast to the behavior of such sets with the mass dimension where the slicing theorems holds true.


Corrugation Process and epsilon isometric maps. Convex Integration is a theory developed in the '70s by M. Gromov. This theory allows to solve families of differential problems satisfying some convex assumptions. From a subsolution, the theory iteratively builds a solution by applying a series of convex integrations. In a previous paper arXiv 1909.04908, we proposed to replace the usual convex integration formula by a new one called Corrugation Process. This new formula is of particular interest when the differential problem under consideration has the property of being of Kuiper. In this paper, we consider the differential problem of epsilon isometric maps and we prove that it is Kuiper in codimension 1. As an application, we construct epsilon isometric maps from a short map having a conical singularity.


Coverage Sampling Planner for UAV enabled Environmental Exploration and Field Mapping. Unmanned Aerial Vehicles (UAVs) have been implemented for environmental monitoring by using their capabilities of mobile sensing, autonomous navigation, and remote operation. However, in real world applications, the limitations of on board resources (e.g., power supply) of UAVs will constrain the coverage of the monitored area and the number of the acquired samples, which will hinder the performance of field estimation and mapping. Therefore, the issue of constrained resources calls for an efficient sampling planner to schedule UAV based sensing tasks in environmental monitoring. This paper presents a mission planner of coverage sampling and path planning for a UAV enabled mobile sensor to effectively explore and map an unknown environment that is modeled as a random field. The proposed planner can generate a coverage path with an optimal coverage density for exploratory sampling, and the associated energy cost is subjected to a power supply constraint. The performance of the developed framework is evaluated and compared with the existing state of the art algorithms, using a real world dataset that is collected from an environmental monitoring program as well as physical field experiments. The experimental results illustrate the reliability and accuracy of the presented coverage sampling planner in a prior survey for environmental exploration and field mapping.


Network structure of COVID 19 spread and the lacuna in India's testing strategy. We characterize the network of COVID 19 spread in India and find that the transmission rate is 0.43, with daily case growth driven by individuals who contracted the virus abroad. We explore the question of whether this represents exponentially decaying dynamics or is simply an artefact of India's testing strategy. Testing has largely been limited to individuals travelling from high risk countries and their immediate contacts, meaning that the network reflects positive identifications from a biased testing sample. Given generally low levels of testing and an almost complete absence of testing for community spread, there is significant risk that we may be missing out on the actual nature of outbreak. India still has an apparently low current caseload, with possibly a small window of time to act, and should therefore aggressively and systematically expand random testing for community spread, including for asymptomatic cases. This will help understand true transmission characteristics and plan appropriately for the immediate future.


How to Close Sim Real Gap? Transfer with Segmentation!. One fundamental difficulty in robotic learning is the sim real gap problem. In this work, we propose to use segmentation as the interface between perception and control, as a domain invariant state representation. We identify two sources of sim real gap, one is dynamics sim real gap, the other is visual sim real gap. To close dynamics sim real gap, we propose to use closed loop control. For complex task with segmentation mask input, we further propose to learn a closed loop model free control policy with deep neural network using imitation learning. To close visual sim real gap, we propose to learn a perception model in real environment using simulated target plus real background image, without using any real world supervision. We demonstrate this methodology in eye in hand grasping task. We train a closed loop control policy model that taking the segmentation as input using simulation. We show that this control policy is able to transfer from simulation to real environment. The closed loop control policy is not only robust with respect to discrepancies between the dynamic model of the simulated and real robot, but also is able to generalize to unseen scenarios where the target is moving and even learns to recover from failures. We train the perception segmentation model using training data generated by composing real background images with simulated images of the target. Combining the control policy learned from simulation with the perception model, we achieve an impressive bf 88 success rate in grasping a tiny sphere with a real robot.


Twisted Mazur pattern satellite knots and bordered Floer theory. We use bordered Floer theory to study properties of twisted Mazur pattern satellite knots Q n (K) . We prove that Q n(K) is not Floer homologically thin, with two exceptions. We calculate the 3 genus of Q n (K) in terms of the twisting parameter n and the 3 genus of the companion K , and we determine when Q n(K) is fibered. As an application to our results on Floer thickness and 3 genus, we verify the Cosmetic Surgery Conjecture for many of these satellite knots.


Uniform limits of mathcal B 1 functions. We characterise the class of uniform limits of functions from Pawlak's class mathcal B 1 . The resulting class u mathscr S 1 , which contains functions with the oscillation rank one, is discussed in connection with its linear span. We apply a general, topological space, setting in our discussion.


Extended calculations of energy levels, radiative properties, and lifetimes for oxygen like Mo XXXV. Employing two state of the art methods, second order many body perturbation theory and multiconfiguration Dirac Fock, highly accurate calculations are performed for the lowest 318 fine structure levels arising from the 2s 2 2p 4 , 2s 2p 5 , 2p 6 , 2s 2 2p 3 3l , 2s 2p 4 3l , 2p 5 3l , and 2s 2 2p 3 4l configurations in O like mbox Mo XXXV . Complete and consistent atomic data, including excitation energies, lifetimes, wavelengths, and E1, E2, M1 line strengths, oscillator strengths, and transition rates among these 318 levels are provided. Comparisons are made between the present two data sets, as well as with other available experimental and theoretical values. The present data are accurate enough for identification and deblending of emission lines involving the n 3,4 levels and are also useful for modeling and diagnosing fusion plasmas kw . These data can be considered as a benchmark for other calculations.


Abelian periods of factors of Sturmian words. We study the abelian period sets of Sturmian words, which are codings of irrational rotations on a one dimensional torus. The main result states that the minimum abelian period of a factor of a Sturmian word of angle alpha with continued fraction expansion 0 a 1, a 2, ldots is either tq k with 1 leq t leq a k 1 (a multiple of a denominator q k of a convergent of alpha ) or q k, ell (a denominator q k, ell of a semiconvergent of alpha ). This result generalizes a result of Fici et. al stating that the abelian period set of the Fibonacci word is the set of Fibonacci numbers. A characterization of the Fibonacci word in terms of its abelian period set is obtained as a corollary.


Complexity of URLLC Scheduling and Efficient Approximation Schemes. In this paper we address the problem of joint admission control and resource scheduling for emph Ultra Reliable Low Latency Communications (URLLC). We examine two models (i) the emph continuous , where all allocated resource blocks contribute to the success probability, and (ii) a emph binary , where only resource blocks with strong signal are "active" for each user, and user k needs d k active resource blocks for a successful URLLC transmission. In situations of congestion, we are interested in finding a subset of users that can be scheduled simultaneously. We show that finding a feasible schedule for at least m URLLC users is NP complete in the (easier) binary SNR model, hence also in the continuous. Maximizing the reward obtained from a feasible set of URLLC users is NP hard and inapproximable to within ( log 2d) 2 d of the optimal, where d doteq max kd k . On the other hand, we prove that checking a candidate set of users for feasibility and finding the corresponding schedule (when feasible) can be done in polynomial time, which we exploit to design an efficient heuristic algorithm for the general continuous SNR model. We complement our theoretical contributions with a numerical evaluation of our proposed schemes.


Runge Kutta and Networks. We categorify the RK family of numerical integration methods (explicit and implicit). Namely we prove that if a pair of ODEs are related by an affine map then the corresponding discrete time dynamical systems are also related by the map. We show that in practice this works well when the pairs of related ODEs come from the coupled cell networks formalism and, more generally, from fibrations of networks of manifolds.


Regularized Curve Lengthening from the Strong FCH Flow. We present a rigorous analysis of the transient evolution of nearly circular bilayer interfaces evolving under the thin interface limit, varepsilon ll1 , of the mass preserving L 2 gradient flow of the strong scaling of the functionalized Cahn Hilliard equation. For a domain Omega subset mathbb R 2 we construct a bilayer manifold with boundary comprised of quasi equilibrium of the flow and a projection onto the manifold that associates functions u in an H 2 tubular neighborhood of the manifold with an interface Gamma embedded in Omega . These interfaces, and hence the bilayer manifold, are parameterized by a finite but asymptotically large number of degrees of freedom. The manifold contains a unique, up to translation and mass constraint, equilibrium of the gradient flow whose projected interface is circular up to exponentially small corrections. The thin tubular neighborhood is forward invariant under the flow with orbits that ultimately converge to the equilibrium. Projections of these orbits yield an interfacial evolution equivalent at leading order to the regularized curve lengthening motion characterized by normal motion sl against mean curvature, regularized by a higher order Willmore expression. The curve lengthening is driven by absorption of excess mass from the regions of Omega away from the interface, generically leading to nontrivial dynamics that are ill posed in the varepsilon to0 limit.


Refining Semantic Segmentation with Superpixel by Transparent Initialization and Sparse Encoder. Although deep learning greatly improves the performance of semantic segmentation, its success mainly lies in object central areas without accurate edges. As superpixels are a popular and effective auxiliary to preserve object edges, in this paper, we jointly learn semantic segmentation with trainable superpixels. We achieve it with fully connected layers with Transparent Initialization (TI) and efficient logit consistency using a sparse encoder. The proposed TI preserves the effects of learned parameters of pretrained networks. This avoids a significant increase of the loss of pretrained networks, which otherwise may be caused by inappropriate parameter initialization of the additional layers. Meanwhile, consistent pixel labels in each superpixel are guaranteed by logit consistency. The sparse encoder with sparse matrix operations substantially reduces both the memory requirement and the computational complexity. We demonstrated the superiority of TI over other parameter initialization methods and tested its numerical stability. The effectiveness of our proposal was validated on PASCAL VOC 2012, ADE20K, and PASCAL Context showing enhanced semantic segmentation edges. With quantitative evaluations on segmentation edges using performance ratio and F measure, our method outperforms the state of the art.


Latin BERT A Contextual Language Model for Classical Philology. We present Latin BERT, a contextual language model for the Latin language, trained on 642.7 million words from a variety of sources spanning the Classical era to the 21st century. In a series of case studies, we illustrate the affordances of this language specific model both for work in natural language processing for Latin and in using computational methods for traditional scholarship we show that Latin BERT achieves a new state of the art for part of speech tagging on all three Universal Dependency datasets for Latin and can be used for predicting missing text (including critical emendations) we create a new dataset for assessing word sense disambiguation for Latin and demonstrate that Latin BERT outperforms static word embeddings and we show that it can be used for semantically informed search by querying contextual nearest neighbors. We publicly release trained models to help drive future work in this space.


An SPQR Tree Like Embedding Representation for Level Planarity. An SPQR tree is a data structure that efficiently represents all planar embeddings of a biconnected planar graph. It is a key tool in a number of constrained planarity testing algorithms, which seek a planar embedding of a graph subject to some given set of constraints. We develop an SPQR tree like data structure that represents all level planar embeddings of a biconnected level graph with a single source, called the LP tree, and give a simple algorithm to compute it in linear time. Moreover, we show that LP trees can be used to adapt three constrained planarity algorithms to the level planar case by using them as a drop in replacement for SPQR trees.


Action angle Variables for Generic 1D Mechanical Systems. We consider a 1D mechanical system bar mathtt H ( mathtt P, mathtt Q) mathtt P 2 bar mathtt G ( mathtt Q) in action angle variable ( mathtt P, mathtt Q) where bar mathtt G is a 2 pi periodic analytic function with non degenerate critical points. Then, we consider a small analytic perturbation of bar mathtt H of the form mathtt H ( mathtt P, mathtt Q hat mathtt P ) mathtt P 2 bar mathtt G ( mathtt Q) eta mathtt F ( mathtt P, mathtt Q hat mathtt P ) mathtt P 2 mathtt G ( mathtt P, mathtt Q hat mathtt P ) ,, qquad eta ll 1 , where the perturbed potential mathtt G may depend on the action mathtt P and also on parameters hat mathtt P ("the adiabatic actions") indeed, this is the form of a finite dimensional mechanical system close to an exact simple resonance after averaging over fast angles and disregarding the exponentially small remainder, see 5 . Up to a finite number of separatrices and elliptic hyperbolic points the phase space of mathtt H is divided into a finite number of open connected components foliated by invariant circles. On every connected component we perform a (Arnold Liouville) symplectic action angle transformation which integrates the system. We give a complete and quantitative description of the analyticity properties of such integrating transformations, estimating, in particular, how such transformations differ from the integrating transformation for bar mathtt H compare Theorem 6.1 below.


Automatic Temporally Coherent Video Colorization. Greyscale image colorization for applications in image restoration has seen significant improvements in recent years. Many of these techniques that use learning based methods struggle to effectively colorize sparse inputs. With the consistent growth of the anime industry, the ability to colorize sparse input such as line art can reduce significant cost and redundant work for production studios by eliminating the in between frame colorization process. Simply using existing methods yields inconsistent colors between related frames resulting in a flicker effect in the final video. In order to successfully automate key areas of large scale anime production, the colorization of line arts must be temporally consistent between frames. This paper proposes a method to colorize line art frames in an adversarial setting, to create temporally coherent video of large anime by improving existing image to image translation methods. We show that by adding an extra condition to the generator and discriminator, we can effectively create temporally consistent video sequences from anime line arts. Code and models available at https github.com Harry Thasarathan TCVC


Datom A Deformable modular robot for building self reconfigurable programmable matter. Moving a module in a modular robot is a very complex and error prone process. Unlike in swarm, in the modular robots we are targeting, the moving module must keep the connection to, at least, one other module. In order to miniaturize each module to few millimeters, we have proposed a design which is using electrostatic actuator. However, this movement is composed of several attachment, detachment creating the movement and each small step can fail causing a module to break the connection. The idea developed in this paper consists in creating a new kind of deformable module allowing a movement which keeps the connection between the moving and the fixed modules. We detail the geometry and the practical constraints during the conception of this new module. We then validate the possibility of movement for a module in an existing configuration. This implies the cooperation of some of the modules placed along the path and we show in simulation that it exists a motion process to reach every free positions of the surface for a given configuration.


A solution to Erd H o s and Hajnal's odd cycle problem. In 1981, Erd H o s and Hajnal asked whether the sum of the reciprocals of the odd cycle lengths in a graph with infinite chromatic number is necessarily infinite. Let mathcal C (G) be the set of cycle lengths in a graph G and let mathcal C text odd (G) be the set of odd numbers in mathcal C (G) . We prove that, if G has chromatic number k , then sum ell in mathcal C text odd (G) 1 ell geq (1 2 o k(1)) log k . This solves Erd H o s and Hajnal's odd cycle problem, and, furthermore, this bound is asymptotically optimal. In 1984, Erd H o s asked whether there is some d such that each graph with chromatic number at least d (or perhaps even only average degree at least d ) has a cycle whose length is a power of 2. We show that an average degree condition is sufficient for this problem, solving it with methods that apply to a wide range of sequences in addition to the powers of 2. Finally, we use our methods to show that, for every k , there is some d so that every graph with average degree at least d has a subdivision of the complete graph K k in which each edge is subdivided the same number of times. This confirms a conjecture of Thomassen from 1984.


On calibrated representations of the degenerate affine periplectic Brauer algebra. We initiate the representation theory of the degenerate affine periplectic Brauer algebra on n strands by constructing its finite dimensional calibrated representations when n 2 . We show that any such representation that is indecomposable and does not factor through a representation of the degenerate affine Hecke algebra occurs as an extension of two semisimple representations with one dimensional composition factors and furthermore, we classify such representations with regular eigenvalues up to isomorphism.


Fibration theorems a la Milnor for differentiable maps with non isolated singularities. We prove fibration theorems a la Milnor for differentiable real maps with non isolated critical values. We study the situation for maps with linear discriminant, and prove that the concept of d regularity is the key point for the existence of a Milnor fibration on the sphere. We also explain how one can modify the target space by homeomorphisms to linearize a general discriminant. Whenever the composed map is d regular one has fibration on the sphere. Plenty of examples are discussed along the text.


Geometric interpretation of Hermitian modular forms via Burkhardt invariants. We give a complete theta expression of a pair of Hermitian modular forms as an inverse period mapping of lattice polarized K3 surfaces. Our result gives a non trivial relation among moduli of K3 surfaces, theta functions and the finite complex reflection group of rank 5 .


Sparse Interpolation With Errors in Chebyshev Basis Beyond Redundant Block Decoding. We present sparse interpolation algorithms for recovering a polynomial with le B terms from N evaluations at distinct values for the variable when le E of the evaluations can be erroneous. Our algorithms perform exact arithmetic in the field of scalars mathsf K and the terms can be standard powers of the variable or Chebyshev polynomials, in which case the characteristic of mathsf K is ne 2 . Our algorithms return a list of valid sparse interpolants for the N support points and run in polynomial time. For standard power basis our algorithms sample at N lfloor frac 4 3 E 2 rfloor B points, which are fewer points than N 2(E 1)B 1 given by Kaltofen and Pernet in 2014. For Chebyshev basis our algorithms sample at N lfloor frac 3 2 E 2 rfloor B points, which are also fewer than the number of points required by the algorithm given by Arnold and Kaltofen in 2015, which has N 74 lfloor frac E 13 1 rfloor for B 3 and E ge 222 . Our method shows how to correct 2 errors in a block of 4B points for standard basis and how to correct 1 error in a block of 3B points for Chebyshev Basis.


Exploiting Promising Sub Sequences of Jobs to solve the No Wait Flowshop Scheduling Problem. The no wait flowshop scheduling problem is a variant of the classical permutation flowshop problem, with the additional constraint that jobs have to be processed by the successive machines without waiting time. To efficiently address this NP hard combinatorial optimization problem we conduct an analysis of the structure of good quality solutions. This analysis shows that the No Wait specificity gives them a common structure they share identical sub sequences of jobs, we call super jobs. After a discussion on the way to identify these super jobs, we propose IG SJ, an algorithm that exploits super jobs within the state of the art algorithm for the classical permutation flowshop, the well known Iterated Greedy (IG) algorithm. An iterative approach of IG SJ is also proposed. Experiments are conducted on Taillard's instances. The experimental results show that exploiting super jobs is successful since IG SJ is able to find 64 new best solutions.


Time frequency analysis on groups. Phase space analysis or time frequency analysis can be thought as Fourier analysis simultaneously both in time and in frequency, originating from signal processing and quantum mechanics. On groups having unitary Fourier transform, we introduce and study a natural family of time frequency transforms, and investigate the related pseudo differential operators.


A Maximin Optimal Online Power Control Policy for Energy Harvesting Communications. A general theory of online power control for discrete time battery limited energy harvesting communications is developed, which leads to, among other things, an explicit characterization of a maximin optimal policy. This policy only requires the knowledge of the (effective) mean of the energy arrival process and maximizes the minimum asymptotic expected average reward (with the minimization taken over all energy arrival distributions of a given (effective) mean). Moreover, it is universally near optimal and has a strictly better worst case performance as well as a strictly improved lower multiplicative factor in comparison with the fixed fraction policy proposed by Shaviv and " O zg " u r when the objective is to maximize the throughput over an additive white Gaussian noise channel. The competitiveness of this maximin optimal policy is also demonstrated via numerical examples.


Connected surfaces with boundary minimizing the Willmore energy. For a given family of smooth closed curves gamma 1,..., gamma alpha subset mathbb R 3 we consider the problem of finding an elastic emph connected compact surface M with boundary gamma gamma 1 cup... cup gamma alpha . This is realized by minimizing the Willmore energy mathcal W on a suitable class of competitors. While the direct minimization of the Area functional may lead to limits that are disconnected, we prove that, if the infimum of the problem is 4 pi , there exists a connected compact minimizer of mathcal W in the class of integer rectifiable curvature varifolds with the assigned boundary conditions. This is done by proving that varifold convergence of bounded varifolds with boundary with uniformly bounded Willmore energy implies the convergence of their supports in Hausdorff distance. Hence, in the cases in which a small perturbation of the boundary conditions causes the non existence of Area minimizing connected surfaces, our minimization process models the existence of optimal elastic connected compact generalized surfaces with such boundary data. We also study the asymptotic regime in which the diameter of the optimal connected surfaces is arbitrarily large. Under suitable boundedness assumptions, we show that rescalings of such surfaces converge to round spheres. The study of both the perturbative and the asymptotic regime is motivated by the remarkable case of elastic surfaces connecting two parallel circles located at any possible distance one from the other. The main tool we use is the monotonicity formula for curvature varifolds, that we extend to varifolds with boundary, together with its consequences on the structure of varifolds with bounded Willmore energy.