Efficient Wu Manber Pattern Matching Hardware for Intrusion and Malware Detection. Network intrusion detection systems and antivirus software are essential in detecting malicious network traffic and attacks such as denial of service and malwares. Each attack, worm or virus has its own distinctive signature. Signature based intrusion detection and antivirus systems depend on pattern matching to look for possible attack signatures. Pattern matching is a very complex task, which requires a lot of time, memory and computing resources. Software based intrusion detection is not fast enough to match high network speeds and the increasing number of attacks. In this paper, we propose special purpose hardware for Wu Manber pattern matching algorithm. FPGAs form an excellent choice because of their massively parallel structure, reprogrammable logic and memory resources. The hardware is designed in Verilog and implemented using Xilinx ISE. For evaluation, we dope network traffic traces collected using Wireshark with 2500 signatures from the ClamAV virus definitions database. Experimental results show high speed that reaches up to 216 Mbps. In addition, we evaluate time, device usage, and power consumption.


Time Dependent Polarization Tensors Derivation of Asymptotic Expansions for the Transient Wave Equation. This report aims at establishing a theoretical framework for dealing with the reconstruction problem of a small acoustic inclusion. The objective is to introduce the new concept of time dependent polarization tensors for the Helmholtz equation, which will be fully investigated in a forthcoming work.


An accurate methodology for surface tension modeling in OpenFOAM. In this paper a numerical methodology for surface tension modeling is presented, with an emphasis on the implementation in the OpenFOAM framework. The methodology relies on a combination of (i) a well balanced approach based on the Ghost Fluid Method (GFM), including the jump of density and pressure directly in the numerical discretization of the pressure equation, and (ii) Height Functions to evaluate the interface curvature, implemented, to the authors' knowledge, for the first time in OpenFOAM. The method is able to significantly reduce spurious currents (almost to machine accuracy) for a stationary droplet, showing second order convergence both for the curvature and the interface shape. Accurate results are also obtained for additional test cases such as translating droplets, capillary oscillations and rising bubbles, for which numerical results are comparable to what obtained by other numerical codes in the same conditions. Finally, the Height Functions method is extended to include the treatment of contact angles, both for sessile droplets and droplets suspended under the effect of gravity, showing a very good agreement with the theoretical prediction. The code works in parallel mode and details on the actual implementation in OpenFOAM are included to facilitate the reproducibility of the results.


Using Restart Heuristics to Improve Agent Performance in Angry Birds. Over the past few years the Angry Birds AI competition has been held in an attempt to develop intelligent agents that can successfully and efficiently solve levels for the video game Angry Birds. Many different agents and strategies have been developed to solve the complex and challenging physical reasoning problems associated with such a game. However none of these agents attempt one of the key strategies which humans employ to solve Angry Birds levels, which is restarting levels. Restarting is important in Angry Birds because sometimes the level is no longer solvable or some given shot made has little to no benefit towards the ultimate goal of the game. This paper proposes a framework and experimental evaluation for when to restart levels in Angry Birds. We demonstrate that restarting is a viable strategy to improve agent performance in many cases.


A Versatile Stochastic Duel Game. This paper deals with a standard stochastic game model with a continuum of states under the duel type setup. It newly proposes a hybrid model of game theory and the fluctuation process, which could be applied for various practical decision making situations. The unique theoretical stochastic game model is targeted to analyze a two person duel type game in the time domain. The parameters for strategic decisions including the moments of crossings, prior crossings, and the optimal number of iterations to get the highest winning chance are obtained by the compact closed joint functional. This paper also demonstrates the usage of a new time based stochastic game model by analyzing a conventional duel game model in the distance domain and briefly explains how to build strategies for an atypical business case to show how this theoretical model works.


Automatic Clustering for Unsupervised Risk Diagnosis of Vehicle Driving for Smart Road. Early risk diagnosis and driving anomaly detection from vehicle stream are of great benefits in a range of advanced solutions towards Smart Road and crash prevention, although there are intrinsic challenges, especially lack of ground truth, definition of multiple risk exposures. This study proposes a domain specific automatic clustering (termed Autocluster) to self learn the optimal models for unsupervised risk assessment, which integrates key steps of risk clustering into an auto optimisable pipeline, including feature and algorithm selection, hyperparameter auto tuning. Firstly, based on surrogate conflict measures, indicator guided feature extraction is conducted to construct temporal spatial and kinematical risk features. Then we develop an elimination based model reliance importance (EMRI) method to unsupervised select the useful features. Secondly, we propose balanced Silhouette Index (bSI) to evaluate the internal quality of imbalanced clustering. A loss function is designed that considers the clustering performance in terms of internal quality, inter cluster variation, and model stability. Thirdly, based on Bayesian optimisation, the algorithm selection and hyperparameter auto tuning are self learned to generate the best clustering partitions. Various algorithms are comprehensively investigated. Herein, NGSIM vehicle trajectory data is used for test bedding. Findings show that Autocluster is reliable and promising to diagnose multiple distinct risk exposures inherent to generalised driving behaviour. Besides, we also delve into risk clustering, such as, algorithms heterogeneity, Silhouette analysis, hierarchical clustering flows, etc. Meanwhile, the Autocluster is also a method for unsupervised multi risk data labelling and indicator threshold calibration. Furthermore, Autocluster is useful to tackle the challenges in imbalanced clustering without ground truth or priori knowledge


Vanishing of Dirichlet L functions at the central point over function fields. We give a geometric criterion for Dirichlet L functions associated to cyclic characters over the rational function field mathbb F q(t) to vanish at the central point s 1 2 . The idea is based on the observation that vanishing at the central point can be interpreted as the existence of a map from the projective curve associated to the character to some abelian variety over mathbb F q . Using this geometric criterion, we obtain a lower bound on the number of cubic characters over mathbb F q(t) whose L functions vanish at the central point where q p 4n for any rational prime p equiv 2 bmod 3 . We also use recent results about the existence of supersingular superelliptic curves to deduce consequences for the L functions of Dirichlet characters of other orders.


Holomorphic functions of exponential type on connected complex Lie groups. Holomorphic functions of exponential type on a complex Lie group G (introduced by Akbarov) form a locally convex algebra, which is denoted by cO exp (G) . Our aim is to describe the structure of cO exp (G) in the case when G is connected. The following topics are auxiliary for the claimed purpose but of independent interest (1) a characterization of linear complex Lie group (a result similar to that of Luminet and Valette for real Lie groups) (2) properties of the exponential radical when G is linear (3) an asymptotic decomposition of a word length function into a sum of three summands (again for linear groups). The main result presents cO exp (G) as a complete projective tensor of three factors, corresponding to the length function decomposition. As an application, it is shown that if G is linear then the Arens Michael envelope of cO exp (G) is just the algebra of all holomorphic functions.


Inducing Uniform Asymptotic Stability in Non Autonomous Accelerated Optimization Dynamics via Hybrid Regularization. There have been many recent efforts to study accelerated optimization algorithms from the perspective of dynamical systems. In this paper, we focus on the robustness properties of the time varying continuous time version of these dynamics. These properties are critical for the implementation of accelerated algorithms in feedback based control and optimization architectures. We show that a family of dynamics related to the continuous time limit of Nesterov's accelerated gradient method can be rendered unstable under arbitrarily small bounded disturbances. Indeed, while solutions of these dynamics may converge to the set of optimizers, in general, this set may not be uniformly asymptotically stable. To induce uniformity, and robustness as a byproduct, we propose a framework where we regularize the dynamics by using resetting mechanisms that are modeled by well posed hybrid dynamical systems. For these hybrid dynamics, we establish uniform asymptotic stability and robustness properties, as well as convergence rates that are similar to those of the non hybrid dynamics. We finish by characterizing a family of discretization mechanisms that retain the main stability and robustness properties of the hybrid algorithms.


GraphZero Breaking Symmetry for Efficient Graph Mining. Graph mining for structural patterns is a fundamental task in many applications. Compilation based graph mining systems, represented by AutoMine, generate specialized algorithms for the provided patterns and substantially outperform other systems. However, the generated code causes substantial computation redundancy and the compilation process incurs too much overhead to be used online, both due to the inherent symmetry in the structural patterns. In this paper, we propose an optimizing compiler, GraphZero, to completely address these limitations through symmetry breaking based on group theory. GraphZero implements three novel techniques. First, its schedule explorer efficiently prunes the schedule space without missing any high performance schedule. Second, it automatically generates and enforces a set of restrictions to eliminate computation redundancy. Third, it generalizes orientation, a surprisingly effective optimization that was mainly used for clique patterns, to apply to arbitrary patterns. Evaluated on multiple graph mining applications and complex patterns with 7 real world graph datasets, GraphZero demonstrates up to 40X performance improvement and up to 197X reduction on schedule generation overhead over AutoMine.


Iterated Integrals in Quantitative Topology. Let X be a simply connected Riemannian manifold. Until now, quantitative topology has used Sullivan's rational homotopy theory as the bridge between geometric information on X and torsion free homotopy theoretic information on X. In this paper we introduce Chen's iterated integrals on the based loop space of X as a new bridge between these two areas. We give two applications finding upper bounds for Gromov's distortion of higher homotopy groups on X and also proving the non existence of homologically non trivial small volume cycles in the space of loops on X of length at most L.


Fourier Analysis based Iterative Combinatorial Auctions. Recent advances in Fourier analysis have brought new tools to efficiently represent and learn set functions. In this paper, we bring the power of Fourier analysis to the design of combinatorial auctions (CAs). The key idea is to approximate bidders' value functions using Fourier sparse set functions, which can be computed using a relatively small number of queries. Since this number is still too large for real world CAs, we propose a new hybrid design we first use neural networks to learn bidders' values and then apply Fourier analysis to the learned representations. On a technical level, we formulate a Fourier transform based winner determination problem and derive its mixed integer program formulation. Based on this, we devise an iterative CA that asks Fourier based queries. We experimentally show that our hybrid ICA achieves higher efficiency than prior auction designs, leads to a fairer distribution of social welfare, and significantly reduces runtime. With this paper, we are the first to leverage Fourier analysis in CA design and lay the foundation for future work in this area.


Online Coloring and a New Type of Adversary for Online Graph Problems. We introduce a new type of adversary for online graph problems. The new adversary is parameterized by a single integer kappa , which upper bounds the number of connected components that the adversary can use at any time during the presentation of the online graph G . We call this adversary " kappa components bounded", or kappa CB for short. On one hand, this adversary is restricted compared to the classical adversary because of the kappa CB constraint. On the other hand, we seek competitive ratios parameterized only by kappa with no dependence on the input length n , thereby giving the new adversary power to use arbitrarily large inputs. We study online coloring under the kappa CB adversary. We obtain finer analysis of the existing algorithms FirstFit and CBIP by computing their competitive ratios on trees and bipartite graphs under the new adversary. Surprisingly, FirstFit outperforms CBIP on trees. When it comes to bipartite graphs FirstFit is no longer competitive under the new adversary, while CBIP uses at most 2 kappa colors. We also study several well known classes of graphs, such as 3 colorable, C k free, d inductive, planar, and bounded treewidth, with respect to online coloring under the kappa CB adversary. We demonstrate that the extra adversarial power of unbounded input length outweighs the restriction on the number of connected components leading to non existence of competitive algorithms for these classes.


Deep Learning Based Segmentation Free License Plate Recognition Using Roadway Surveillance Camera Images. Smart automated traffic enforcement solutions have been gaining popularity in recent years. These solutions are ubiquitously used for seat belt violation detection, red light violation detection and speed violation detection purposes. Highly accurate license plate recognition is an indispensable part of these systems. However, general license plate recognition systems require high resolution images for high performance. In this study, we propose a novel license plate recognition method for general roadway surveillance cameras. Proposed segmentation free license plate recognition algorithm utilizes deep learning based object detection techniques in the character detection and recognition process. Proposed method has been tested on 2000 images captured on a roadway.


Robustness of Regularity for the 3 D Convective Brinkman Forchheimer Equations. We prove a robustness of regularity result for the 3 D convective Brinkman Forchheimer equations partial tu mu Delta u (u cdot nabla)u nabla p alpha u beta abs u r 1 u f, for the range of the absorption exponent r in 1, 3 (for r 3 there exist global in time regular solutions), i.e. we show that strong solutions of these equations remain strong under small enough changes of the initial condition and forcing function. We provide a smallness condition which is similar to the robustness conditions given for the 3 D incompressible Navier Stokes equations by Chernyshenko et al. (2007) and Dashti Robinson (2008).


Object Centric Stereo Matching for 3D Object Detection. Safe autonomous driving requires reliable 3D object detection determining the 6 DoF pose and dimensions of objects of interest. Using stereo cameras to solve this task is a cost effective alternative to the widely used LiDAR sensor. The current state of the art for stereo 3D object detection takes the existing PSMNet stereo matching network, with no modifications, and converts the estimated disparities into a 3D point cloud, and feeds this point cloud into a LiDAR based 3D object detector. The issue with existing stereo matching networks is that they are designed for disparity estimation, not 3D object detection the shape and accuracy of object point clouds are not the focus. Stereo matching networks commonly suffer from inaccurate depth estimates at object boundaries, which we define as streaking, because background and foreground points are jointly estimated. Existing networks also penalize disparity instead of the estimated position of object point clouds in their loss functions. We propose a novel 2D box association and object centric stereo matching method that only estimates the disparities of the objects of interest to address these two issues. Our method achieves state of the art results on the KITTI 3D and BEV benchmarks.


Overcomplete representation in a hierarchical Bayesian framework. A common task in inverse problems and imaging is finding a solution that is sparse, in the sense that most of its components vanish. In the framework of compressed sensing, general results guaranteeing exact recovery have been proven. In practice, sparse solutions are often computed combining ell 1 penalized least squares optimization with an appropriate numerical scheme to accomplish the task. A computationally efficient alternative for finding sparse solutions to linear inverse problems is provided by Bayesian hierarchical models, in which the sparsity is encoded by defining a conditionally Gaussian prior model with the prior parameter obeying a generalized gamma distribution. An iterative alternating sequential (IAS) algorithm has been demonstrated to lead to a computationally efficient scheme, and combined with Krylov subspace iterations with an early termination condition, the approach is particularly well suited for large scale problems. Here the Bayesian approach to sparsity is extended to problems whose solution allows a sparse coding in an overcomplete system such as composite frames. It is shown that among the multiple possible representations of the unknown, the IAS algorithm, and in particular, a hybrid version of it, is effectively identifying the most sparse solution. Computed examples show that the method is particularly well suited not only for traditional imaging applications but also for dictionary learning problems in the framework of machine learning.


Detecting Driveable Area for Autonomous Vehicles. Autonomous driving is a challenging problem where there is currently an intense focus on research and development. Human drivers are forced to make thousands of complex decisions in a short amount of time,quickly processing their surroundings and moving factors. One of these aspects, recognizing regions on the road that are driveable is vital to the success of any autonomous system. This problem can be addressed with deep learning framed as a region proposal problem. Utilizing a Mask R CNN trained on the Berkeley Deep Drive (BDD100k) dataset, we aim to see if recognizing driveable areas, while also differentiating between the car's direct (current) lane and alternative lanes is feasible.


Towards Making the Most of Context in Neural Machine Translation. Document level machine translation manages to outperform sentence level models by a small margin, but have failed to be widely adopted. We argue that previous research did not make a clear use of the global context, and propose a new document level NMT framework that deliberately models the local context of each sentence with the awareness of the global context of the document in both source and target languages. We specifically design the model to be able to deal with documents containing any number of sentences, including single sentences. This unified approach allows our model to be trained elegantly on standard datasets without needing to train on sentence and document level data separately. Experimental results demonstrate that our model outperforms Transformer baselines and previous document level NMT models with substantial margins of up to 2.1 BLEU on state of the art baselines. We also provide analyses which show the benefit of context far beyond the neighboring two or three sentences, which previous studies have typically incorporated.


On the Maximal Parameter Range of Global Stability for a Nonlocal Thermostat Model. The global asymptotic stability of the unique steady state of a nonlinear scalar parabolic equation with a nonlocal boundary condition is studied. The equation describes the evolution of the temperature profile that is subject to a feedback control loop. It can be viewed as a model of a rudimentary thermostat, where a parameter controls the intensity of the heat flow in response to the magnitude of the deviation from the reference temperature at a boundary point. The system is known to undergo a Hopf bifurcation when the parameter exceeds a critical value. Results on the characterization of the maximal parameter range where the reference steady state is globally asymptotically stable are obtained by analyzing a closely related nonlinear Volterra integral equation. Its kernel is derived from the trace of a fundamental solution of a linear heat equation. A version of the Popov criterion is adapted and applied to the Volterra integral equation to obtain a sufficient condition for the asymptotic decay of its solutions.


Enhanced photoresponse in MoTe2 photodetectors with asymmetric graphene contacts. Atomically thin two dimensional (2D) materials are promising candidates for miniaturized high performance optoelectronic devices. Here, we report on multilayer MoTe2 photodetectors contacted with asymmetric electrodes based on n and p type graphene layers. The asymmetry in the graphene contacts creates a large (Ebi 100 kV cm 1) built in electric field across the short (l 15 nm) MoTe2 channel, causing a high and broad (400 to 1400 nm) photoresponse even without any externally applied voltage. Spatially resolved photovoltage maps reveal an enhanced photoresponse and larger built in electric field in regions of the MoTe2 layer between the two graphene contacts. Furthermore, a fast ( 0.01 ms) photoresponse is achieved in both the photovoltaic and photoconductive operation modes of the junction. Our findings could be extended to other 2D materials and offer prospects for the implementation of asymmetric graphene contacts in future low power optoelectronic applications.


Effective bilipschitz bounds on drilling and filling. This paper proves explicit bilipschitz bounds on the change in metric between the thick part of a cusped hyperbolic 3 manifold N and the thick part of any of its long Dehn fillings. Given a bilipschitz constant J 1 and a thickness constant epsilon 0, we quantify how long a Dehn filling suffices to guarantee a J bilipschitz map on epsilon thick parts. A similar theorem without quantitative control was previously proved by Brock and Bromberg, applying Hodgson and Kerckhoff's theory of cone deformations. We achieve quantitative control by bounding the analytic quantities that control the infinitesimal change in metric during the cone deformation. Our quantitative results have two immediate applications. First, we relate the Margulis number of N to the Margulis numbers of its Dehn fillings. In particular, we give a lower bound on the systole of any closed 3 manifold M whose Margulis number is less than 0.29. Combined with Shalen's upper bound on the volume of such a manifold, this gives a procedure to compute the finite list of 3 manifolds whose Margulis numbers are below 0.29. Our second application is to the cosmetic surgery conjecture. Given the systole of a one cusped hyperbolic manifold N, we produce an explicit upper bound on the length of a slope involved in a cosmetic surgery on N. This reduces the cosmetic surgery conjecture on N to an explicit finite search.


Functors on Posets Left Kan Extend to Cosheaves an Erratum. In this note we give a self contained proof of a fundamental statement in the study of cosheaves over a poset. Specifically, if a functor has domain a poset and co domain a co complete category, then the left Kan extension of that functor along the embedding of the domain poset into its poset of down sets is a cosheaf. This proof is meant to replace the mistaken proofs published in the author's thesis and an article on dualities exchanging cellular sheaves and cosheaves.


Mitigating Gender Bias in Machine Translation with Target Gender Annotations. When translating "The secretary asked for details." to a language with grammatical gender, it might be necessary to determine the gender of the subject "secretary". If the sentence does not contain the necessary information, it is not always possible to disambiguate. In such cases, machine translation systems select the most common translation option, which often corresponds to the stereotypical translations, thus potentially exacerbating prejudice and marginalisation of certain groups and people. We argue that the information necessary for an adequate translation can not always be deduced from the sentence being translated or even might depend on external knowledge. Therefore, in this work, we propose to decouple the task of acquiring the necessary information from the task of learning to translate correctly when such information is available. To that end, we present a method for training machine translation systems to use word level annotations containing information about subject's gender. To prepare training data, we annotate regular source language words with grammatical gender information of the corresponding target language words. Using such data to train machine translation systems reduces their reliance on gender stereotypes when information about the subject's gender is available. Our experiments on five language pairs show that this allows improving accuracy on the WinoMT test set by up to 25.8 percentage points.


The order of the product of two elements in the periodic groups. Let G be a periodic group, and let LCM(G) be the set of all x in G such that o(x nz) divides the least common multiple of o(x n) and o(z) for all z in G and all integers n . In this paper, we prove that the subgroup generated by LCM(G) is a locally nilpotent characteristic subgroup of G whenever G is a locally finite group. For x,y in G the vertex x is connected to vertex y whenever o(xy) divides the least common multiple of o(x) and o(y) . Let Deg(G) be the sum of all deg(g) where g runs over G . We prove that for any finite group G with h(G) conjugacy classes, Deg(G) G (h(G) 1) if and only if G is an abelian group.


Log p divisible groups associated to log 1 motives. We first provide a detailed proof of Kato's classification theorem of log p divisible groups over a henselian local ring. Exploring Kato's idea further, we then define the notion of a standard extension of a classical finite 'etale group scheme (resp. classical 'etale p divisible group) by a classical finite flat group scheme (resp. classical p divisible group) in the category of finite Kummer flat group log schemes (resp. log p divisible groups), with respect to a given chart on the base. We show that the finite Kummer flat group log scheme T n(M) H 1 (M otimes mathbb Z L mathbb Z n mathbb Z ) (resp. the log p divisible group M p infty ) of a log 1 motive M over an fs log scheme is 'etale locally a standard extension. We further show that M p infty and its infinitesimal deformations are formally log smooth. At last, as an application of these formal log smoothness results, we give a proof of the Serre Tate theorem for log abelian varieties with constant degeneration.


Uma breve reflex ao sobre a Mostra de Astronomia do Esp 'irito Santo. In this paper we take a brief discussion about the two editions of State Show of Astronomy and its influence in process of student formation. One comparison between numbers of projects registrants and also total teachers registrants, of these editions, we see that is necessary to create forms for the teacher of public school could dedicate time for orientation activities. Once these practices help to better the teaching learning relationship.


Improved Algorithms for Time Decay Streams. In the time decay model for data streams, elements of an underlying data set arrive sequentially with the recently arrived elements being more important. A common approach for handling large data sets is to maintain a emph coreset , a succinct summary of the processed data that allows approximate recovery of a predetermined query. We provide a general framework that takes any offline coreset and gives a time decay coreset for polynomial time decay functions. We also consider the exponential time decay model for k median clustering, where we provide a constant factor approximation algorithm that utilizes the online facility location algorithm. Our algorithm stores mathcal O (k log(h Delta) h) points where h is the half life of the decay function and Delta is the aspect ratio of the dataset. Our techniques extend to k means clustering and M estimators as well.


Substring Complexity in Sublinear Space. Shannon's entropy is a definitive lower bound for statistical compression. Unfortunately, no such clear measure exists for the compressibility of repetitive strings. Thus, ad hoc measures are employed to estimate the repetitiveness of strings, e.g., the size z of the Lempel Ziv parse or the number r of equal letter runs of the Burrows Wheeler transform. A more recent one is the size gamma of a smallest string attractor. Unfortunately, Kempa and Prezza STOC 2018 showed that computing gamma is NP hard. Kociumaka et al. LATIN 2020 considered a new measure that is based on the function S T counting the cardinalities of the sets of substrings of each length of T , also known as the substring complexity. This new measure is defined as delta sup S T(k) k, k geq 1 and lower bounds all the measures previously considered. In particular, delta leq gamma always holds and delta can be computed in mathcal O (n) time using Omega(n) working space. Kociumaka et al. showed that if delta is given, one can construct an mathcal O ( delta log frac n delta ) sized representation of T supporting efficient direct access and efficient pattern matching queries on T . Given that for highly compressible strings, delta is significantly smaller than n , it is natural to pose the following question Can we compute delta efficiently using sublinear working space? It is straightforward to show that any algorithm computing delta using mathcal O (b) space requires Omega(n 2 o(1) b) time through a reduction from the element distinctness problem Yao, SIAM J. Comput. 1994 . We present the following results an mathcal O (n 3 b 2) time and mathcal O (b) space algorithm to compute delta , for any b in 1,n and an tilde mathcal O (n 2 b) time and mathcal O (b) space algorithm to compute delta , for any b in n 2 3 ,n .


Homogenisation of one dimensional discrete optimal transport. This paper deals with dynamical optimal transport metrics defined by spatial discretisation of the Benamou Benamou formula for the Kantorovich metric W 2 . Such metrics appear naturally in discretisations of W 2 gradient flow formulations for dissipative PDE. However, it has recently been shown that these metrics do not in general converge to W 2 , unless strong geometric constraints are imposed on the discrete mesh. In this paper we prove that, in a 1 dimensional periodic setting, discrete transport metrics converge to a limiting transport metric with a non trivial effective mobility. This mobility depends sensitively on the geometry of the mesh and on the non local mobility at the discrete level. Our result quantifies to what extent discrete transport can make use of microstructure in the mesh to reduce the cost of transport.


Deep Residual Correction Network for Partial Domain Adaptation. Deep domain adaptation methods have achieved appealing performance by learning transferable representations from a well labeled source domain to a different but related unlabeled target domain. Most existing works assume source and target data share the identical label space, which is often difficult to be satisfied in many real world applications. With the emergence of big data, there is a more practical scenario called partial domain adaptation, where we are always accessible to a more large scale source domain while working on a relative small scale target domain. In this case, the conventional domain adaptation assumption should be relaxed, and the target label space tends to be a subset of the source label space. Intuitively, reinforcing the positive effects of the most relevant source subclasses and reducing the negative impacts of irrelevant source subclasses are of vital importance to address partial domain adaptation challenge. This paper proposes an efficiently implemented Deep Residual Correction Network (DRCN) by plugging one residual block into the source network along with the task specific feature layer, which effectively enhances the adaptation from source to target and explicitly weakens the influence from the irrelevant source classes. Specifically, the plugged residual block, which consists of several fully connected layers, could deepen basic network and boost its feature representation capability correspondingly. Moreover, we design a weighted class wise domain alignment loss to couple two domains by matching the feature distributions of shared classes between source and target. Comprehensive experiments on partial, traditional and fine grained cross domain visual recognition demonstrate that DRCN is superior to the competitive deep domain adaptation approaches.


Labelings vs. Embeddings On Distributed Representations of Distances. We investigate for which metric spaces the performance of distance labeling and of ell infty embeddings differ, and how significant can this difference be. Recall that a distance labeling is a distributed representation of distances in a metric space (X,d) , where each point x in X is assigned a succinct label, such that the distance between any two points x,y in X can be approximated given only their labels. A highly structured special case is an embedding into ell infty , where each point x in X is assigned a vector f(x) such that f(x) f(y) infty is approximately d(x,y) . The performance of a distance labeling or an ell infty embedding is measured via its distortion and its label size dimension. We also study the analogous question for the prioritized versions of these two measures. Here, a priority order pi (x 1, dots,x n) of the point set X is given, and higher priority points should have shorter labels. Formally, a distance labeling has prioritized label size alpha(.) if every x j has label size at most alpha(j) . Similarly, an embedding f X to ell infty has prioritized dimension alpha(.) if f(x j) is non zero only in the first alpha(j) coordinates. In addition, we compare these their prioritized measures to their classical (worst case) versions. We answer these questions in several scenarios, uncovering a surprisingly diverse range of behaviors. First, in some cases labelings and embeddings have very similar worst case performance, but in other cases there is a huge disparity. However in the prioritized setting, we most often find a strict separation between the performance of labelings and embeddings. And finally, when comparing the classical and prioritized settings, we find that the worst case bound for label size often translates'' to a prioritized one, but also a surprising exception to this rule.


Rectified phase matching equation for fiber mode converter gratings using two mode interference. The resonance wavelength, where a fiber mode converter grating written using periodic external perturbations achieves phase matching, is both a critical design parameter and a device parameter. However, a method to precisely predict the resonance wavelength for any new fiber and grating writing apparatus has been missing so far. The missing link was the lack of direct experimental methods to estimate the modified intermodal phase after writing with external perturbations. The presented method can make this estimation from a single experiment, over a broad wavelength range, based on a novel mathematical connection between two mode interference and mode conversion. Using the novel methods, experimentally measured resonance wavelengths for different pitch and irradiation conditions have been predicted within relative errors of 0.004.


Quantifying and attributing time step sensitivities in present day climate simulations conducted with EAMv1. This study assesses the relative importance of time integration error in present day climate simulations conducted with the atmosphere component of the Energy Exascale Earth System Model version 1 (EAMv1) at 1 degree horizontal resolution. We show that a factor of 6 reduction of time step size in all major parts of the model leads to significant changes in the long term mean climate. These changes imply that the reduction of temporal truncation errors leads to a notable although unsurprising degradation of agreement between the simulated and observed present day climate the model would require retuning to regain optimal climate fidelity in the absence of those truncation errors. A coarse grained attribution of the time step sensitivities is carried out by separately shortening time steps used in various components of EAM or by revising the numerical coupling between some processes. The results provide useful clues to help better understand the root causes of time step sensitivities in EAM. The experimentation strategy used here can also provide a pathway for other models to identify and reduce time integration errors.


A multi agent evolutionary robotics framework to train spiking neural networks. A novel multi agent evolutionary robotics (ER) based framework, inspired by competitive evolutionary environments in nature, is demonstrated for training Spiking Neural Networks (SNN). The weights of a population of SNNs along with morphological parameters of bots they control in the ER environment are treated as phenotypes. Rules of the framework select certain bots and their SNNs for reproduction and others for elimination based on their efficacy in capturing food in a competitive environment. While the bots and their SNNs are given no explicit reward to survive or reproduce via any loss function, these drives emerge implicitly as they evolve to hunt food and survive within these rules. Their efficiency in capturing food as a function of generations exhibit the evolutionary signature of punctuated equilibria. Two evolutionary inheritance algorithms on the phenotypes, Mutation and Crossover with Mutation, are demonstrated. Performances of these algorithms are compared using ensembles of 100 experiments for each algorithm. We find that Crossover with Mutation promotes 40 faster learning in the SNN than mere Mutation with a statistically significant margin.


Multimodal Learning for Hateful Memes Detection. Memes are used for spreading ideas through social networks. Although most memes are created for humor, some memes become hateful under the combination of pictures and text. Automatically detecting the hateful memes can help reduce their harmful social impact. Unlike the conventional multimodal tasks, where the visual and textual information is semantically aligned, the challenge of hateful memes detection lies in its unique multimodal information. The image and text in memes are weakly aligned or even irrelevant, which requires the model to understand the content and perform reasoning over multiple modalities. In this paper, we focus on multimodal hateful memes detection and propose a novel method that incorporates the image captioning process into the memes detection process. We conduct extensive experiments on multimodal meme datasets and illustrated the effectiveness of our approach. Our model achieves promising results on the Hateful Memes Detection Challenge.


BSUV Net A Fully Convolutional Neural Network for Background Subtraction of Unseen Videos. Background subtraction is a basic task in computer vision and video processing often applied as a pre processing step for object tracking, people recognition, etc. Recently, a number of successful background subtraction algorithms have been proposed, however nearly all of the top performing ones are supervised. Crucially, their success relies upon the availability of some annotated frames of the test video during training. Consequently, their performance on completely "unseen" videos is undocumented in the literature. In this work, we propose a new, supervised, background subtraction algorithm for unseen videos (BSUV Net) based on a fully convolutional neural network. The input to our network consists of the current frame and two background frames captured at different time scales along with their semantic segmentation maps. In order to reduce the chance of overfitting, we also introduce a new data augmentation technique which mitigates the impact of illumination difference between the background frames and the current frame. On the CDNet 2014 dataset, BSUV Net outperforms state of the art algorithms evaluated on unseen videos in terms of several metrics including F measure, recall and precision.


On the Bruhat Tits stratification of a quaternionic unitary Shimura variety. In this note we study the special fiber of the Rapoport Zink space attached to a quaternionic unitary group. The special fiber is described using the so called Bruhat Tits stratification and is intimately related to the Bruhat Tits building of a split symplectic group. As an application we describe the supersingular locus of the related Shimura variety.


Octet Online Catalog Taxonomy Enrichment with Self Supervision. Taxonomies have found wide applications in various domains, especially online for item categorization, browsing, and search. Despite the prevalent use of online catalog taxonomies, most of them in practice are maintained by humans, which is labor intensive and difficult to scale. While taxonomy construction from scratch is considerably studied in the literature, how to effectively enrich existing incomplete taxonomies remains an open yet important research question. Taxonomy enrichment not only requires the robustness to deal with emerging terms but also the consistency between existing taxonomy structure and new term attachment. In this paper, we present a self supervised end to end framework, Octet, for Online Catalog Taxonomy EnrichmenT. Octet leverages heterogeneous information unique to online catalog taxonomies such as user queries, items, and their relations to the taxonomy nodes while requiring no other supervision than the existing taxonomies. We propose to distantly train a sequence labeling model for term extraction and employ graph neural networks (GNNs) to capture the taxonomy structure as well as the query item taxonomy interactions for term attachment. Extensive experiments in different online domains demonstrate the superiority of Octet over state of the art methods via both automatic and human evaluations. Notably, Octet enriches an online catalog taxonomy in production to 2 times larger in the open world evaluation.


Torsion free Abelian Groups Revisited. Let G be a torsion free abelian group of finite rank. The automorphism group Aut(G) acts on the set of maximal independent subsets of G. The orbits of this action are the isomorphism classes of indecomposable decompositions of G. G contains a direct sum of strongly indecomposable groups as a characteristic subgroup of finite index, giving rise to a classification of finite rank strongly indecomposable torsion free abelian groups.


Self Assembling Modular Networks for Interpretable Multi Hop Reasoning. Multi hop QA requires a model to connect multiple pieces of evidence scattered in a long context to answer the question. The recently proposed HotpotQA (Yang et al., 2018) dataset is comprised of questions embodying four different multi hop reasoning paradigms (two bridge entity setups, checking multiple properties, and comparing two entities), making it challenging for a single neural network to handle all four. In this work, we present an interpretable, controller based Self Assembling Neural Modular Network (Hu et al., 2017, 2018) for multi hop reasoning, where we design four novel modules (Find, Relocate, Compare, NoOp) to perform unique types of language reasoning. Based on a question, our layout controller RNN dynamically infers a series of reasoning modules to construct the entire network. Empirically, we show that our dynamic, multi hop modular network achieves significant improvements over the static, single hop baseline (on both regular and adversarial evaluation). We further demonstrate the interpretability of our model via three analyses. First, the controller can softly decompose the multi hop question into multiple single hop sub questions to promote compositional reasoning behavior of the main network. Second, the controller can predict layouts that conform to the layouts designed by human experts. Finally, the intermediate module can infer the entity that connects two distantly located supporting facts by addressing the sub question from the controller.


Hardware Design and Analysis of the ACE and WAGE Ciphers. This paper presents the hardware design and analysis of ACE and WAGE, two candidate ciphers for the NIST Lightweight Cryptography standardization. Both ciphers use sLiSCP's unified sponge duplex mode. ACE has an internal state of 320 bits, uses three 64 bit Simeck boxes, and implements both authenticated encryption and hashing. WAGE is based on the Welch Gong stream cipher and provides authenticated encryption. WAGE has 259 bits of state, two 7 bit Welch Gong permutations, and four lightweight 7 bit S boxes. ACE and WAGE have the same external interface and follow the same I O protocol to transition between phases. The paper illustrates how a hardware perspective influenced key aspects of the ACE and WAGE algorithms. The paper reports area, power, and energy results for both serial and parallel (unrolled) implementations using four different ASIC libraries two 65 nm libraries, a 90 nm library, and a 130 nm library. ACE implementations range from a throughput of 0.5 bits per clock cycle (bpc) and an area of 4210 GE (averaged across the four ASIC libraries) up to 4 bpc and 7260 GE. WAGE results range from 0.57 bpc with 2920 GE to 4.57 bpc with 11080 GE.


A Response Retrieval Approach for Dialogue Using a Multi Attentive Transformer. This paper presents our work for the ninth edition of the Dialogue System Technology Challenge (DSTC9). Our solution addresses the track number four Simulated Interactive MultiModal Conversations. The task consists in providing an algorithm able to simulate a shopping assistant that supports the user with his her requests. We address the task of response retrieval, that is the task of retrieving the most appropriate agent response from a pool of response candidates. Our approach makes use of a neural architecture based on transformer with a multi attentive structure that conditions the response of the agent on the request made by the user and on the product the user is referring to. Final experiments on the SIMMC Fashion Dataset show that our approach achieves the second best scores on all the retrieval metrics defined by the organizers. The source code is available at https github.com D2KLab dstc9 SIMMC.


QED theory of the specific mass shift in atoms. The quantum electrodynamics formalism to treat the interelectronic interaction correction of first order in 1 Z to the two electron part of the nuclear recoil effect on binding energies in atoms and ions is developed. The nonperturbative in alpha Z calculations of the corresponding contribution to the energies of the 1s 2 state in He like and the 1s 2 2s and 1s 2 2p 1 2 states in Li like ions are performed in the range Z 5 100 . The behavior of the two electron part of the nuclear recoil effect beyond the lowest order relativistic approximation as Z grows is studied.


The fraction of an S n orbit on a hyperplane. Huang, McKinnon, and Satriano conjectured that if v in mathbb R n has distinct coordinates and n geq 3 , then a hyperplane through the origin other than sum i x i 0 contains at most 2 lfloor n 2 rfloor (n 2)! of the vectors obtained by permuting the coordinates of v . We prove this conjecture.


High performance sampling of generic Determinantal Point Processes. Determinantal Point Processes (DPPs) were introduced by Macchi as a model for repulsive (fermionic) particle distributions. But their recent popularization is largely due to their usefulness for encouraging diversity in the final stage of a recommender system. The standard sampling scheme for finite DPPs is a spectral decomposition followed by an equivalent of a randomly diagonally pivoted Cholesky factorization of an orthogonal projection, which is only applicable to Hermitian kernels and has an expensive setup cost. Researchers have begun to connect DPP sampling to LDL H factorizations as a means of avoiding the initial spectral decomposition, but existing approaches have only outperformed the spectral decomposition approach in special circumstances, where the number of kept modes is a small percentage of the ground set size. This article proves that trivial modifications of LU and LDL H factorizations yield efficient direct sampling schemes for non Hermitian and Hermitian DPP kernels, respectively. Further, it is experimentally shown that even dynamically scheduled, shared memory parallelizations of high performance dense and sparse direct factorizations can be trivially modified to yield DPP sampling schemes with essentially identical performance. The software developed as part of this research, Catamari, https hodgestar.com catamari, is released under the Mozilla Public License v2.0. It contains header only, C 14 plus OpenMP 4.0 implementations of dense and sparse direct, Hermitian and non Hermitian DPP samplers.


Adaptive Deep Learning for High Dimensional Hamilton Jacobi Bellman Equations. Computing optimal feedback controls for nonlinear systems generally requires solving Hamilton Jacobi Bellman (HJB) equations, which are notoriously difficult when the state dimension is large. Existing strategies for high dimensional problems often rely on specific, restrictive problem structures, or are valid only locally around some nominal trajectory. In this paper, we propose a data driven method to approximate semi global solutions to HJB equations for general high dimensional nonlinear systems and compute candidate optimal feedback controls in real time. To accomplish this, we model solutions to HJB equations with neural networks (NNs) trained on data generated without discretizing the state space. Training is made more effective and data efficient by leveraging the known physics of the problem and using the partially trained NN to aid in adaptive data generation. We demonstrate the effectiveness of our method by learning solutions to HJB equations corresponding to the attitude control of a six dimensional nonlinear rigid body, and nonlinear systems of dimension up to 30 arising from the stabilization of a Burgers' type partial differential equation. The trained NNs are then used for real time feedback control of these systems.


Two new non negativity preserving iterative regularization methods for ill posed inverse problems. Many inverse problems are concerned with the estimation of non negative parameter functions. In this paper, in order to obtain non negative stable approximate solutions to ill posed linear operator equations in a Hilbert space setting, we develop two novel non negativity preserving iterative regularization methods. They are based on fixed point iterations in combination with preconditioning ideas. In contrast to the projected Landweber iteration, for which only weak convergence can be shown for the regularized solution when the noise level tends to zero, the introduced regularization methods exhibit strong convergence. There are presented convergence results, even for a combination of noisy right hand side and imperfect forward operators, and for one of the approaches there are also convergence rates results. Specifically adapted discrepancy principles are used as a posteriori stopping rules of the established iterative regularization algorithms. For an application of the suggested new approaches, we consider a biosensor problem, which is modelled as a two dimensional linear Fredholm integral equation of the first kind. Several numerical examples, as well as a comparison with the projected Landweber method, are presented to show the accuracy and the acceleration effect of the novel methods. Case studies of a real data problem indicate that the developed methods can produce meaningful featured regularized solutions.


Viscosity solution of system of integro partial differential equations with interconnected obstacles of non local type without Monotonicity Conditions. In this paper, we study a system of second order integro partial differential equations with interconnected obstacles with non local terms, related to an optimal switching problem with the jump diffusion model. Getting rid of the monotonicity condition on the generators with respect to the jump component, we construct a continuous viscosity solution which is unique in the class of functions with polynomial growth. In our study, the main tool is the notion of reflected backward stochastic differential equations with jumps with interconnected obstacles for which we show the existence of a solution.


PI Net Pose Interacting Network for Multi Person Monocular 3D Pose Estimation. Recent literature addressed the monocular 3D pose estimation task very satisfactorily. In these studies, different persons are usually treated as independent pose instances to estimate. However, in many every day situations, people are interacting, and the pose of an individual depends on the pose of his her interactees. In this paper, we investigate how to exploit this dependency to enhance current and possibly future deep networks for 3D monocular pose estimation. Our pose interacting network, or PI Net, inputs the initial pose estimates of a variable number of interactees into a recurrent architecture used to refine the pose of the person of interest. Evaluating such a method is challenging due to the limited availability of public annotated multi person 3D human pose datasets. We demonstrate the effectiveness of our method in the MuPoTS dataset, setting the new state of the art on it. Qualitative results on other multi person datasets (for which 3D pose ground truth is not available) showcase the proposed PI Net. PI Net is implemented in PyTorch and the code will be made available upon acceptance of the paper.


Modeling transport of scalars in two phase flows with a diffuse interface method. In this article, we propose a novel scalar transport model for the simulation of scalar quantities in two phase flows with a phase field method (diffuse interface method). In a two phase flow, the scalar quantities typically have disparate properties in two phases, which results in effective confinement of the scalar quantities in one of the phases, in the time scales of interest. This confinement of the scalars lead to the formation of sharp gradients of the scalar concentration values at the interface, presenting a serious challenge for its numerical simulations. To overcome this challenge, we propose a model for the transport of scalars. The model is discretized using a central difference scheme, which leads to a non dissipative implementation that is crucial for the simulation of turbulent flows. Furthermore, the provable strengths of the proposed model are (a) the model maintains the positivity property of the scalar concentration field, a physical realizability requirement for the simulation of scalars, when the proposed criterion is satisfied, (b) the proposed model is such that the transport of the scalar concentration field is consistent with the transport of the volume fraction field, which results in the enforcement of the effective zero flux boundary condition for the scalar at the interface and therefore, prevents the artificial numerical diffusion of the scalar across the interface. Finally, we present numerical simulations using the proposed model in a wide range of two phase flow regimes, spanning laminar to turbulent flows and assess the accuracy and robustness of the model, the validity of the positivity property of the scalar concentration field, and the enforcement of the zero flux boundary condition for the scalar at the interface.


Estimating Total Correlation with Mutual Information Bounds. Total correlation (TC) is a fundamental concept in information theory to measure the statistical dependency of multiple random variables. Recently, TC has shown effectiveness as a regularizer in many machine learning tasks when minimizing maximizing the correlation among random variables is required. However, to obtain precise TC values is challenging, especially when the closed form distributions of variables are unknown. In this paper, we introduced several sample based variational TC estimators. Specifically, we connect the TC with mutual information (MI) and constructed two calculation paths to decompose TC into MI terms. In our experiments, we estimated the true TC values with the proposed estimators in different simulation scenarios and analyzed the properties of the TC estimators.


Evaluation of the RIKEN Post K Processor Simulator. For the purpose of developing applications for Post K at an early stage, RIKEN has developed a post K processor simulator. This simulator is based on the general purpose processor simulator gem5. It does not simulate the actual hardware of a post K processor. However, we believe that sufficient simulation accuracy can be obtained since it simulates the instruction pipeline of out of order execution with cycle level accuracy along with performing detailed parameter tuning of out of order resources and function expansion of cache memory hierarchy. In this simulator, we aim to estimate the execution cycles of one node application on a post K processor with accuracy that enables relative evaluation and application tuning. In this paper, we show the details of the implementation of this simulator and verify its accuracy compared with that of a post K test chip.


Content analysis of Persian Farsi Tweets during COVID 19 pandemic in Iran using NLP. Iran, along with China, South Korea, and Italy was among the countries that were hit hard in the first wave of the COVID 19 spread. Twitter is one of the widely used online platforms by Iranians inside and abroad for sharing their opinion, thoughts, and feelings about a wide range of issues. In this study, using more than 530,000 original tweets in Persian Farsi on COVID 19, we analyzed the topics discussed among users, who are mainly Iranians, to gauge and track the response to the pandemic and how it evolved over time. We applied a combination of manual annotation of a random sample of tweets and topic modeling tools to classify the contents and frequency of each category of topics. We identified the top 25 topics among which living experience under home quarantine emerged as a major talking point. We additionally categorized broader content of tweets that shows satire, followed by news, is the dominant tweet type among the Iranian users. While this framework and methodology can be used to track public response to ongoing developments related to COVID 19, a generalization of this framework can become a useful framework to gauge Iranian public reaction to ongoing policy measures or events locally and internationally.


Towards a Soft Faceted Browsing Scheme for Information Access. Faceted browsing is a commonly supported feature of user interfaces for access to information. Existing interfaces generally treat facet values selected by a user as hard filters and respond to the user by only displaying information items strictly satisfying the filters and in their original ranking order. We propose a novel alternative strategy for faceted browsing, called soft faceted browsing, where the system also includes some possibly relevant items outside the selected filter in a non intrusive way and re ranks the items to better satisfy the user's information need. Such a soft faceted browsing strategy can be beneficial when the user does not have a very confident and strict preference for the selected facet values, and is especially appropriate for applications such as e commerce search where the user would like to explore a larger space before finalizing a purchasing decision. We propose a probabilistic framework for modeling and solving the soft faceted browsing problem, and apply the framework to study the case of facet filter selection in e commerce search engines. Preliminary experiment results demonstrate the soft faceted browsing scheme is better than the traditional faceted browsing scheme in terms of its efficiency in helping users navigate in the information space.


Hyperfine structure constants on the relativistic coupled cluster level with associated uncertainties. Accurate predictions of hyperfine structure (HFS) constants are important in many areas of chemistry and physics, from the determination of nuclear electric and magnetic moments to benchmarking of new theoretical methods. We present a detailed investigation of the performance of the relativistic coupled cluster method for calculating HFS constants withing the finite field scheme. The two selected test systems are 133 Cs and 137 BaF. Special attention has been paid to construct a theoretical uncertainty estimate based on investigations on basis set, electron correlation and relativistic effects. The largest contribution to the uncertainty estimate comes from higher order correlation contributions. Our conservative uncertainty estimate for the calculated HFS constants is sim 5.5 , while the actual deviation of our results from experimental values was 1 in all cases.


Deep Learning for Bug Localization in Student Programs. Providing feedback is an integral part of teaching. Most open online courses on programming make use of automated grading systems to support programming assignments and give real time feedback. These systems usually rely on test results to quantify the programs' functional correctness. They return failing tests to the students as feedback. However, students may find it difficult to debug their programs if they receive no hints about where the bug is and how to fix it. In this work, we present the first deep learning based technique that can localize bugs in a faulty program w.r.t. a failing test, without even running the program. At the heart of our technique is a novel tree convolutional neural network which is trained to predict whether a program passes or fails a given test. To localize the bugs, we analyze the trained network using a state of the art neural prediction attribution technique and see which lines of the programs make it predict the test outcomes. Our experiments show that the proposed technique is generally more accurate than two state of the art program spectrum based and one syntactic difference based bug localization baselines.


Soft Jig Driven Assembly Operations. To design a general purpose assembly robot system that can handle objects of various shapes, we propose a soft jig that fits to the shapes of assembly parts. The functionality of the soft jig is based on a jamming gripper developed in the field of soft robotics. The soft jig has a bag covered with a malleable silicone membrane, which has high friction, elongation, and contraction rates for keeping parts fixed. The bag is filled with glass beads to achieve a jamming transition. We propose a method to configure parts fixing on the soft jig based on contact relations, reachable directions, and the center of gravity of the parts that are fixed on the jig. The usability of the soft jig was evaluated in terms of the fixing performance and versatility for various shapes and postures of parts.


Style Attuned Pre training and Parameter Efficient Fine tuning for Spoken Language Understanding. Neural models have yielded state of the art results in deciphering spoken language understanding (SLU) problems however, these models require a significant amount of domain specific labeled examples for training, which is prohibitively expensive. While pre trained language models like BERT have been shown to capture a massive amount of knowledge by learning from unlabeled corpora and solve SLU using fewer labeled examples for adaption, the encoding of knowledge is implicit and agnostic to downstream tasks. Such encoding results in model inefficiencies in parameter usage an entirely new model is required for every domain. To address these challenges, we introduce a novel SLU framework, comprising a conversational language modeling (CLM) pre training task and a light encoder architecture. The CLM pre training enables networks to capture the representation of the language in conversation style with the presence of ASR errors. The light encoder architecture separates the shared pre trained networks from the mappings of generally encoded knowledge to specific domains of SLU, allowing for the domain adaptation to be performed solely at the light encoder and thus increasing efficiency. With the framework, we match the performance of state of the art SLU results on Alexa internal datasets and on two public ones (ATIS, SNIPS), adding only 4.4 parameters per task.


A Henstock Kurzweil type integral on 1 dimensional integral currents. We define a non absolutely convergent integration on integral currents of dimension 1 in Euclidean space. This integral is closely related to the Henstock Kurzweil and Pfeffer Integrals. Using it, we prove a generalized Fundamental Theorem of Calculus on these currents. A detailed presentation of Henstock Kurzweil Integration is given in order to make the paper accessible to non specialists.


Distributed Model Predictive Control Under Inexact Primal Dual Gradient Optimization Based on Contraction Analysis. This paper develops a distributed model predictive control (DMPC) strategy for a class of discrete time linear systems with consideration of globally coupled constraints. The DMPC under study is based on the dual problem concerning all subsystems, which is solved by means of the primal dual gradient optimization in a distributed manner using Laplacian consensus. To reduce the computational burden, the constraint tightening method is utilized to provide a capability of premature termination with guaranteeing the convergence of the DMPC optimization. The contraction theory is first adopted in the convergence analysis of the primal dual gradient optimization under discrete time updating dynamics towards a nonlinear objective function. Under some reasonable assumptions, the recursive feasibility and stability of the closed loop system can be established under the inexact solution. A numerical simulation is given to verify the performance of the proposed strategy.


Multiverse Dynamic VM Provisioning for Virtualized High Performance Computing Clusters. Traditionally, HPC workloads have been deployed in bare metal clusters but the advances in virtualization have led the pathway for these workloads to be deployed in virtualized clusters. However, HPC cluster administrators providers still face challenges in terms of resource elasticity and virtual machine (VM) provisioning at large scale, due to the lack of coordination between a traditional HPC scheduler and the VM hypervisor (resource management layer). This lack of interaction leads to low cluster utilization and job completion throughput. Furthermore, the VM provisioning delays directly impact the overall performance of jobs in the cluster. Hence, there is a need for effectively provisioning virtualized HPC clusters, which can best utilize the physical hardware with minimal provisioning overheads. Towards this, we propose Multiverse, a VM provisioning framework, which can dynamically spawn VMs for incoming jobs in a virtualized HPC cluster, by integrating the HPC scheduler along with VM resource manager. We have implemented this framework on the Slurm scheduler along with the vSphere VM resource manager. In order to reduce the VM provisioning overheads, we use instant cloning which shares both the disk and memory with the parent VM, when compared to full VM cloning which has to boot up a new VM from scratch. Measurements with real world HPC workloads demonstrate that, instant cloning is 2.5x faster than full cloning in terms of VM provisioning time. Further, it improves resource utilization by up to 40 , and cluster throughput by up to 1.5x, when compared to full clone for bursty job arrival scenarios.


ConvTransformer A Convolutional Transformer Network for Video Frame Synthesis. Deep Convolutional Neural Networks (CNNs) are powerful models that have achieved excellent performance on difficult computer vision tasks. Although CNNs perform well whenever large labeled training samples are available, they work badly on video frame synthesis due to objects deforming and moving, scene lighting changes, and cameras moving in video sequence. In this paper, we present a novel and general end to end architecture, called convolutional Transformer or ConvTransformer, for video frame sequence learning and video frame synthesis. The core ingredient of ConvTransformer is the proposed attention layer, i.e., multi head convolutional self attention layer, that learns the sequential dependence of video sequence. ConvTransformer uses an encoder, built upon multi head convolutional self attention layer, to encode the sequential dependence between the input frames, and then a decoder decodes the long term dependence between the target synthesized frames and the input frames. Experiments on video future frame extrapolation task show ConvTransformer to be superior in quality while being more parallelizable to recent approaches built upon convolutional LSTM (ConvLSTM). To the best of our knowledge, this is the first time that ConvTransformer architecture is proposed and applied to video frame synthesis.


Characterising elliptic solids of Q(4,q) , q even. Let E be a set of solids (hyperplanes) in PG(4,q) , q even, q 2 , such that every point of PG(4,q) lies in either 0 , frac12q 3 or frac12(q 3 q 2) solids of E , and every plane of PG(4,q) lies in either 0 , frac12q or q solids of E . This article shows that E is either the set of solids that are disjoint from a hyperoval, or the set of solids that meet a non singular quadric Q(4,q) in an elliptic quadric.


Real time Earthquake Early Warning with Deep Learning Application to the 2016 Central Apennines, Italy Earthquake Sequence. Earthquake early warning systems are required to report earthquake locations and magnitudes as quickly as possible before the damaging S wave arrival to mitigate seismic hazards. Deep learning techniques provide potential for extracting earthquake source information from full seismic waveforms instead of seismic phase picks. We developed a novel deep learning earthquake early warning system that utilizes fully convolutional networks to simultaneously detect earthquakes and estimate their source parameters from continuous seismic waveform streams. The system determines earthquake location and magnitude as soon as one station receives earthquake signals and evolutionarily improves the solutions by receiving continuous data. We apply the system to the 2016 Mw 6.0 earthquake in Central Apennines, Italy and its subsequent sequence. Earthquake locations and magnitudes can be reliably determined as early as four seconds after the earliest P phase, with mean error ranges of 6.8 3.7 km and 0.31 0.23, respectively.


A splicing formula for the LMO invariant. We prove a "splicing formula" for the LMO invariant, which is the universal finite type invariant of rational homology 3 spheres. Specifically, if a rational homology 3 sphere M is obtained by gluing the exteriors of two framed knots K 1 subset M 1 and K 2 subset M 2 in rational homology 3 spheres, our formula expresses the LMO invariant of M in terms of the Kontsevich LMO invariants of (M 1,K 1) and (M 2,K 2) . The proof uses the techniques that Bar Natan and Lawrence developed to obtain a rational surgery formula for the LMO invariant. In low degrees, we recover Fujita's formula for the Casson Walker invariant and we observe that the second term of the Ohtsuki series is not additive under "standard" splicing. The splicing formula also works when each M i comes with a link L i in addition to the knot K i , hence we get a "satellite formula" for the Kontsevich LMO invariant.


Design of Communication Systems using Deep Learning A Variational Inference Perspective. Recent research in the design of end to end communication system using deep learning has produced models which can outperform traditional communication schemes. Most of these architectures leveraged autoencoders to design the encoder at the transmitter and decoder at the receiver and train them jointly by modeling transmit symbols as latent codes from the encoder. However, in communication systems, the receiver has to work with noise corrupted versions of transmit symbols. Traditional autoencoders are not designed to work with latent codes corrupted with noise. In this work, we provide a framework to design end to end communication systems which accounts for the existence of noise corrupted transmit symbols. The proposed method uses deep neural architecture. An objective function for optimizing these models is derived based on the concepts of variational inference. Further, domain knowledge such as channel type can be systematically integrated into the objective. Through numerical simulation, the proposed method is shown to consistently produce models with better packing density and achieving it faster in multiple popular channel models as compared to the previous works leveraging deep learning models.


Convolutional neural networks with fractional order gradient method. This paper proposes a fractional order gradient method for the backward propagation of convolutional neural networks. To overcome the problem that fractional order gradient method cannot converge to real extreme point, a simplified fractional order gradient method is designed based on Caputo's definition. The parameters within layers are updated by the designed gradient method, but the propagations between layers still use integer order gradients, and thus the complicated derivatives of composite functions are avoided and the chain rule will be kept. By connecting every layers in series and adding loss functions, the proposed convolutional neural networks can be trained smoothly according to various tasks. Some practical experiments are carried out in order to demonstrate fast convergence, high accuracy and ability to escape local optimal point at last.


Abelian Ideals and the Variety of Lagrangian Subalgebras. For a semisimple algebraic group G of adjoint type with Lie algebra mathfrak g over the complex numbers, we establish a bijection between the set of closed orbits of the group G ltimes mathfrak g ast acting on the variety of Lagrangian subalgebras of mathfrak g ltimes mathfrak g ast and the set of abelian ideals of a fixed Borel subalgebra of mathfrak g . In particular, the number of such orbits equals 2 text rk mathfrak g by Peterson's theorem on abelian ideals.


Khovanov Lipshitz Sarkar homotopy type for links in thickened higher genus surfaces. We discuss links in thickened surfaces. We define the Khovanov Lipshitz Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus 1 . A surface means a closed oriented surface unless otherwise stated. Of course, a surface may or may not be the sphere. A thickened surface means a product manifold of a surface and the interval. A link in a thickened surface (respectively, a 3 manifold) means a submanifold of a thickened surface (respectively, a 3 manifold) which is diffeomorphic to a disjoint collection of circles. Our Khovanov Lipshitz Sarkar stable homotopy type and our Steenrod square of links in thickened surfaces with genus 1 are stronger than the homotopical Khovanov homology of links in thickened surfaces with genus 1 . It is the first meaningful Khovanov Lipshitz Sarkar stable homotopy type of links in 3 manifolds other than the 3 sphere. We point out that our theory has a different feature in the torus case.


Extended range statistical ENSO prediction through operator theoretic techniques for nonlinear dynamics. Forecasting the El Nino Southern Oscillation (ENSO) has been a subject of vigorous research due to the important role of the phenomenon in climate dynamics and its worldwide socioeconomic impacts. Over the past decades, numerous models for ENSO prediction have been developed, among which statistical models approximating ENSO evolution by linear dynamics have received significant attention owing to their simplicity and comparable forecast skill to first principles models at short lead times. Yet, due to highly nonlinear and chaotic dynamics (particularly during ENSO initiation), such models have limited skill for longer term forecasts beyond half a year. To resolve this limitation, here we employ a new nonparametric statistical approach based on analog forecasting, called kernel analog forecasting (KAF), which avoids assumptions on the underlying dynamics through the use of for nonlinear kernel methods for machine learning and dimension reduction of high dimensional datasets. Through a rigorous connection with Koopman operator theory for dynamical systems, KAF yields statistically optimal predictions of future ENSO states as conditional expectations, given noisy and potentially incomplete data at forecast initialization. Here, using industrial era Indo Pacific sea surface temperature (SST) as training data, the method is shown to successfully predict the Nino 3.4 index in a 1998 2017 verification period out to a 10 month lead, which corresponds to an increase of 3 7 months over a benchmark linear inverse model (LIM), while significantly improving upon the ENSO predictability "spring barrier". An analysis of a 1300 yr control integration of a comprehensive climate model (CCSM4) further demonstrates that the enhanced predictability afforded by KAF holds over potentially much longer leads, extending to 24 months versus 18 months in the benchmark LIM.


SSGP Sparse Spatial Guided Propagation for Robust and Generic Interpolation. Interpolation of sparse pixel information towards a dense target resolution finds its application across multiple disciplines in computer vision. State of the art interpolation of motion fields applies model based interpolation that makes use of edge information extracted from the target image. For depth completion, data driven learning approaches are widespread. Our work is inspired by latest trends in depth completion that tackle the problem of dense guidance for sparse information. We extend these ideas and create a generic cross domain architecture that can be applied for a multitude of interpolation problems like optical flow, scene flow, or depth completion. In our experiments, we show that our proposed concept of Sparse Spatial Guided Propagation (SSGP) achieves improvements to robustness, accuracy, or speed compared to specialized algorithms.


No two Jellyfish graphs are L cospectral and Q cospectral. In this paper, it is proved that the jellyfish graphs, a natural generalization of sun graphs, are both DLS and DQS.


Framing Effects on Privacy Concerns about a Home Telepresence Robot. Privacy sensitive robotics is an emerging area of HRI research. Judgments about privacy would seem to be context dependent, but none of the promising work on contextual "frames" has focused on privacy concerns. This work studies the impact of contextual "frames" on local users' privacy judgments in a home telepresence setting. Our methodology consists of using an online questionnaire to collect responses to animated videos of a telepresence robot after framing people with an introductory paragraph. The results of four studies indicate a large effect of manipulating the robot operator's identity between a stranger and a close confidante. It also appears that this framing effect persists throughout several videos. These findings serve to caution HRI researchers that a change in frame could cause their results to fail to replicate or generalize. We also recommend that robots be designed to encourage or discourage certain frames.


A functorial approach to regular homomorphisms. Classically, regular homomorphisms have been defined as a replacement for Abel Jacobi maps for smooth varieties over an algebraically closed field. In this work, we interpret regular homomorphisms as morphisms from the functor of families of algebraically trivial cycles to abelian varieties and thereby define regular homomorphisms in the relative setting, e.g., families of schemes parameterized by a smooth variety over a given field. In that general setting, we establish the existence of an initial regular homomorphism, going by the name of algebraic representative, for codimension 2 cycles on a smooth proper scheme over the base. This extends a result of Murre for codimension 2 cycles on a smooth projective scheme over an algebraically closed field. In addition, we prove base change results for algebraic representatives as well as descent properties for algebraic representatives along separable field extensions. In the case where the base is a smooth variety over a subfield of the complex numbers we identify the algebraic representative for relative codimension 2 cycles with a subtorus of the intermediate Jacobian fibration which was constructed in previous work. At the heart of our descent arguments is a base change result along separable field extensions for Albanese torsors of separated, geometrically integral schemes of finite type over a field.


Asymptotic profiles of solutions for regularity loss type generalized thermoelastic plate equations and their applications. In this paper, we consider generalized thermoelastic plate equations with Fourier's law of heat conduction. By introducing a threshold for decay properties of regularity loss, we investigate decay estimates of solutions with without regularity loss in a framework of weighted L 1 spaces. Furthermore, asymptotic profiles of solutions are obtained by using representations of solutions in the Fourier space, which are derived by employing WKB analysis. Next, we study generalized thermoelastic plate equations with additional structural damping, and analysis the influence of structural damping on decay properties and asymptotic profiles of solutions. We find that the regularity loss structure is destroyed by structural damping. Finally, we give some applications of our results on thermoelastic plate equations and damped Moore Gibson Thompson equation.


Subpacketization in Coded Caching with Demand Privacy. Coded caching is a technique where we utilize multi casting opportunities to reduce rate in cached networks. One limitation of coded caching schemes is that they reveal the demands of all users to their peers. In this work, we consider coded caching schemes that assure privacy for user demands with a particular focus on reducing subpacketization. For the 2 user, 2 file case, we present a new linear demand private scheme with the lowest possible subpacketization. This is done by presenting the scheme explicitly and proving impossibility results under lower subpacketization. Additionally, when only partial privacy is required, we show that subpacketization can be significantly reduced when there are a large number of files.


Solution Concepts in Hierarchical Games under Bounded Rationality with Applications to Autonomous Driving. With autonomous vehicles (AV) set to integrate further into regular human traffic, there is an increasing consensus of treating AV motion planning as a multi agent problem. However, the traditional game theoretic assumption of complete rationality is too strong for the purpose of human driving, and there is a need for understanding human driving as a emph bounded rational activity through a behavioral game theoretic lens. To that end, we adapt three metamodels of bounded rational behavior two based on Quantal level k and one based on Nash equilibrium with quantal errors. We formalize the different solution concepts that can be applied in the context of hierarchical games, a framework used in multi agent motion planning, for the purpose of creating game theoretic models of driving behavior. Furthermore, based on a contributed dataset of human driving at a busy urban intersection with a total of 4k agents and 44k decision points, we evaluate the behavior models on the basis of model fit to naturalistic data, as well as their predictive capacity. Our results suggest that among the behavior models evaluated, modeling driving behavior as pure strategy NE with quantal errors at the level of maneuvers with bounds sampling of actions at the level of trajectories provides the best fit to naturalistic driving behavior, and there is a significant impact of situational factors on the performance of behavior models.


Biclique Graphs of K 3 free Graphs and Bipartite Graphs. A biclique of a graph is a maximal complete bipartite subgraph. The biclique graph of a graph G , KB(G) , defined as the intersection graph of the bicliques of G , was introduced and characterized in 2010. However, this characterization does not lead to polynomial time recognition algorithms. The time complexity of its recognition problem remains open. There are some works on this problem when restricted to some classes. In this work we give a characterization of the biclique graph of a K 3 free graph G . We prove that KB(G) is the square graph of a particular graph which we call Mutually Included Biclique Graph of G ( KB m(G) ). Although it does not lead to a polynomial time recognition algorithm, it gives a new tool to prove properties of biclique graphs (restricted to K 3 free graphs) using known properties of square graphs. For instance we generalize a property about induced P 3 ' s in biclique graphs to a property about stars and proved a conjecture posted by Groshaus and Montero, when restricted to K 3 free graphs. Also we characterize the class of biclique graphs of bipartite graphs. We prove that KB( bipartite ) ( IIC comparability ) 2 , where IIC comparability is a subclass of comparability graphs that we call Interval Intersection Closed Comparability.


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


Inverse relations and reciprocity laws involving partial Bell polynomials and related extensions. The objective of this paper is, in the main, twofold Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials (2015), to present a number of new results related to different types of inverse relationships, among these (1) the use of multivariable Lah polynomials for characterizing self orthogonal families of polynomials that can be represented by Bell polynomials, (2) the introduction of generalized Lagrange inversion polynomials' that invert functions characterized in a specific way by sequences of constants, (3) a general reciprocity theorem according to which, in particular, the partial Bell polynomials B n,k and their orthogonal companions A n,k belong to one single class of Stirling polynomials A n,k ( 1) n k B k, n . Moreover, of some numerical statements (such as Stirling inversion, Schl "omilch Schl "afli formulas) generalized polynomial versions are established. A number of well known theorems (Jabotinsky, Mullin Rota, Melzak, Comtet) are given new proofs.


Custom Precision Mathematical Library Explorations for Code Profiling and Optimization. The typical processors used for scientific computing have fixed width data paths. This implies that mathematical libraries were specifically developed to target each of these fixed precisions (binary16, binary32, binary64). However, to address the increasing energy consumption and throughput requirements of scientific applications, library and hardware designers are moving beyond this one size fits all approach. In this article we propose to study the effects and benefits of using user defined floating point formats and target accuracies in calculations involving mathematical functions. Our tool collects input data profiles and iteratively explores lower precisions for each call site of a mathematical function in user applications. This profiling data will be a valuable asset for specializing and fine tuning mathematical function implementations for a given application. We demonstrate the tool's capabilities on SGP4, a satellite tracking application. The profile data shows the potential for specialization and provides insight into answering where it is useful to provide variable precision designs for elementary function evaluation.


Invertible generative models for inverse problems mitigating representation error and dataset bias. Trained generative models have shown remarkable performance as priors for inverse problems in imaging for example, Generative Adversarial Network priors permit recovery of test images from 5 10x fewer measurements than sparsity priors. Unfortunately, these models may be unable to represent any particular image because of architectural choices, mode collapse, and bias in the training dataset. In this paper, we demonstrate that invertible neural networks, which have zero representation error by design, can be effective natural signal priors at inverse problems such as denoising, compressive sensing, and inpainting. Given a trained generative model, we study the empirical risk formulation of the desired inverse problem under a regularization that promotes high likelihood images, either directly by penalization or algorithmically by initialization. For compressive sensing, invertible priors can yield higher accuracy than sparsity priors across almost all undersampling ratios, and due to their lack of representation error, invertible priors can yield better reconstructions than GAN priors for images that have rare features of variation within the biased training set, including out of distribution natural images. We additionally compare performance for compressive sensing to unlearned methods, such as the deep decoder, and we establish theoretical bounds on expected recovery error in the case of a linear invertible model.


Dynamic characterization of a stochastic SIR infectious disease model with dual perturbation. This paper presents an SIR epidemic model with two different types of perturbations white and L 'evy noises. We consecrate to develop a mathematical method to obtain the asymptotic properties of the perturbed model. We use the comparison theorem, mutually exclusive possibilities lemma, and some new techniques of the stochastic differential systems to discuss the following characteristics persistence in the mean, ergodicity, and extinction of the disease. Finally, numerical simulations about different perturbations are realized to confirm the obtained theoretical results.


Chevalley Warning type results on abelian groups. We develop a notion of degree for functions between two abelian groups that allows us to generalize the Chevalley Warning Theorems from fields to noncommutative rings or abelian groups of prime power order.


Period Relations for Standard L functions of Symplectic Type. This article is to understand the critical values of L functions L(s, Pi otimes chi) and to establish the relation of the relevant global periods at the critical places. Here Pi is an irreducible regular algebraic cuspidal automorphic representation of mathrm GL 2n ( mathbb A) of symplectic type and chi is a finite order automorphic character of mathrm GL 1( mathbb A) , with mathbb A is the ring of adeles of a number field mathrm k .


Prior Activation Distribution (PAD) A Versatile Representation to Utilize DNN Hidden Units. In this paper, we introduce the concept of Prior Activation Distribution (PAD) as a versatile and general technique to capture the typical activation patterns of hidden layer units of a Deep Neural Network used for classification tasks. We show that the combined neural activations of such a hidden layer have class specific distributional properties, and then define multiple statistical measures to compute how far a test sample's activations deviate from such distributions. Using a variety of benchmark datasets (including MNIST, CIFAR10, Fashion MNIST notMNIST), we show how such PAD based measures can be used, independent of any training technique, to (a) derive fine grained uncertainty estimates for inferences (b) provide inferencing accuracy competitive with alternatives that require execution of the full pipeline, and (c) reliably isolate out of distribution test samples.


Hybrid control for optimal visiting problems for a single player and for a crowd. In an optimal visiting problem, we want to control a trajectory that has to pass as close as possible to a collection of target points or regions. We introduce a hybrid control based approach for the classic problem where the trajectory can switch between a group of discrete states related to the targets of the problem. The model is subsequently adapted to a mean field framework to study viability and crowd fluxes to model a multitude of indistinguishable players.


Cyclic Coding Algorithms under MorphoSys Reconfigurable Computing System. This paper introduces reconfigurable computing (RC) and specifically chooses one of the prototypes in this field, MorphoSys (M1) 1 5 . The paper addresses the results obtained when using RC in mapping algorithms pertaining to digital coding in relation to previous research 6 10 . The chosen algorithms relate to cyclic coding techniques, namely the CCITT CRC 16 and the CRC 16. A performance analysis study of the M1 RC system is also presented to evaluate the efficiency of the algorithm execution on the M1 system. For comparison purposes, three other systems where used to map the same algorithms showing the advantages and disadvantages of each compared with the M1 system. The algorithms were run on the 8x8 RC (reconfigurable) array of the M1 (MorphoSys) system numerical examples were simulated to validate our results, using the MorphoSys mULATE program, which simulates MorphoSys operations.


Blockchain Applications in Power Systems A Bibliometric Analysis. Power systems are growing rapidly, due to the ever increasing demand for electrical power. These systems require novel methodologies and modern tools and technologies, to better perform, particularly for communication among different parts. Therefore, power systems are facing new challenges such as energy trading and marketing and cyber threats. Using blockchain in power systems, as a solution, is one of the newest methods. Most studies aim to investigate innovative approach es of blockchain application in power systems. Even though, many articles published to support the research activities, there has not been any bibliometric analysis which specifies the research trends. This paper aims to present a bibliographic analysis of the blockchain application in power systems related literature, in the Web of Science (WoS) database between January 2009 and July 2019. This paper discusses the research activities and performed a detailed analysis by looking at the number of articles published, citations, institutions, research areas, and authors. From the analysis, it was concluded that there are several significant impacts of research activities in China and the USA, in comparison to other countries.


On the Ehrhart Polynomial of Minimal Matroids. We provide a formula for the Ehrhart polynomial of the connected matroid of size n and rank k with the least number of bases, also known as a minimal matroid. We prove that their polytopes are Ehrhart positive and h real rooted (and hence unimodal). We prove that the operation of circuit hyperplane relaxation relates minimal matroids and matroid polytopes subdivisions, and also preserves Ehrhart positivity. We state two conjectures that indeed all matroids are h real rooted, and that the coefficients of the Ehrhart polynomial of a connected matroid of fixed rank and cardinality are bounded by those of the corresponding minimal matroid and the corresponding uniform matroid.