Trend to Equilibrium for Systems with Small Cross Diffusion. This paper presents new analytical results for a class of nonlinear parabolic systems of partial different equations with small cross diffusion which describe the macroscopic dynamics of a variety of large systems of interacting particles. Under suitable assumptions, we prove existence of classical solutions and we show exponential convergence in time to the stationary state. Furthermore, we consider the special case of one mobile and one immobile species, for which the system reduces to a nonlinear equation of Fokker Planck type. In this framework, we improve the convergence result obtained for the general system and we derive sharper L infty bounds for the solutions in two spatial dimensions. We conclude by illustrating the behaviour of solutions with numerical experiments in one and two spatial dimensions.


Homological properties of parafree Lie algebras. In this paper, an explicit construction of a countable parafree Lie algebra over mathbb Z 2 with nonzero second homology is given. It is also shown that the cohomological dimension of the pronilpotent completion of a free noncyclic finitely generated Lie algebra over mathbb Z is greater than two. Moreover, it is proven that there exists a countable parafree group with nontrivial H 2 .


Few shot Action Recognition with Permutation invariant Attention. Many few shot learning models focus on recognising images. In contrast, we tackle a challenging task of few shot action recognition from videos. We build on a C3D encoder for spatio temporal video blocks to capture short range action patterns. Such encoded blocks are aggregated by permutation invariant pooling to make our approach robust to varying action lengths and long range temporal dependencies whose patterns are unlikely to repeat even in clips of the same class. Subsequently, the pooled representations are combined into simple relation descriptors which encode so called query and support clips. Finally, relation descriptors are fed to the comparator with the goal of similarity learning between query and support clips. Importantly, to re weight block contributions during pooling, we exploit spatial and temporal attention modules and self supervision. In naturalistic clips (of the same class) there exists a temporal distribution shift the locations of discriminative temporal action hotspots vary. Thus, we permute blocks of a clip and align the resulting attention regions with similarly permuted attention regions of non permuted clip to train the attention mechanism invariant to block (and thus long term hotspot) permutations. Our method outperforms the state of the art on the HMDB51, UCF101, miniMIT datasets.


Tagged Back Translation. Recent work in Neural Machine Translation (NMT) has shown significant quality gains from noised beam decoding during back translation, a method to generate synthetic parallel data. We show that the main role of such synthetic noise is not to diversify the source side, as previously suggested, but simply to indicate to the model that the given source is synthetic. We propose a simpler alternative to noising techniques, consisting of tagging back translated source sentences with an extra token. Our results on WMT outperform noised back translation in English Romanian and match performance on English German, re defining state of the art in the former.


Delay Optimal Cross Layer Scheduling Over Markov Channels with Power Constraint. We consider a scenario where a power constrained transmitter delivers randomly arriving packets to the destination over Markov time varying channel and adapts different transmission power to each channel state in order to guarantee successful transmission. To minimize the expected average transmission delay of each packet, we formulate the problem into a constrained Markov decision process (CMDP). We reveal the queue length threshold structure of the optimal policy, i.e., the transmitter sends packets if and only if the queue length surpasses a threshold and obtain the optimal cross layer scheduling strategy through linear programming (LP). Numerical results validate the performance of the proposed strategy and illustrate a delay power tradeoff in such scenario.


Weight Based Exploration for Unmanned Aerial Teams Searching for Multiple Survivors. During floods, reaching survivors in the shortest possible time is a priority for rescue teams. Given their ability to explore difficult terrain in short spans of time, Unmanned Aerial Vehicles (UAVs) have become an increasingly valuable aid to search and rescue operations. Traditionally, UAVs utilize exhaustive lawnmower exploration patterns to locate stranded survivors, without any information regarding the survivor's whereabouts. In real life disaster scenarios however, on ground observers provide valuable information to the rescue effort, such as the survivor's last known location and heading. In earlier work, a Weight Based Exploration (WBE) model, which utilizes this information to generate a prioritized list of waypoints to aid the UAV in its search mission, was proposed. This approach was shown to be effective for a single UAV locating a single survivor. In this paper, we extend the WBE model to a team of UAVs locating multiple survivors. The model initially partitions the search environment amongst the UAVs using Voronoi cells. The UAVs then utilize the WBE model to locate survivors in their partitions. We test this model with varying survivor locations and headings. We demonstrate the scalability of the model developed by testing the model with aerial teams comprising several UAVs.


Privacy Preserving Vertical Federated Learning for Tree based Models. Federated learning (FL) is an emerging paradigm that enables multiple organizations to jointly train a model without revealing their private data to each other. This paper studies it vertical federated learning, which tackles the scenarios where (i) collaborating organizations own data of the same set of users but with disjoint features, and (ii) only one organization holds the labels. We propose Pivot, a novel solution for privacy preserving vertical decision tree training and prediction, ensuring that no intermediate information is disclosed other than those the clients have agreed to release (i.e., the final tree model and the prediction output). Pivot does not rely on any trusted third party and provides protection against a semi honest adversary that may compromise m 1 out of m clients. We further identify two privacy leakages when the trained decision tree model is released in plaintext and propose an enhanced protocol to mitigate them. The proposed solution can also be extended to tree ensemble models, e.g., random forest (RF) and gradient boosting decision tree (GBDT) by treating single decision trees as building blocks. Theoretical and experimental analysis suggest that Pivot is efficient for the privacy achieved.


Blockchain Based Approach for Securing Spectrum Trading in Multibeam Satellite Systems. This paper presents a blockchain based approach for securing spectrum sharing in multi beam satellite systems. Satellite spectrum is a scarce resource that requires highly efficient management schemes for optimized sharing by network users. However, spectrum sharing is vulnerable to attacks by malicious protocol participants. In order to ensure efficient spectrum management in the face of dishonest satellite users or cyber attackers, it is important for spectrum sharing mechanism to provide transparency and traceability of the trading process so as to enable the system to detect, and hence eliminate, unauthorized access by malicious users. We address these requirements by proposing the use of blockchain which, apart from its ability to provide transparency and traceability, ensures an immutable means for keeping track of user trading reputation. Besides, in order to address the practical constraints of heterogeneous user nodes, we also propose the use of edge computing to support users with limited computing power. In this paper, we propose a blockchain based spectrum trading framework and, based on which, a multibeam satellite spectrum sharing algorithm for interference pricing and heterogeneous spectrum demands is devised to improve the efficiency of satellite spectrum. By leveraging on the system characteristics of blockchain, a dynamic spectrum sharing mechanism with traceability, openness and transparency for whole trading process is presented. Numerical results are also provided to evaluate the system benefits and spectrum pricing of the proposed mechanism.


Network Embedding on Compression and Learning. Recently, network embedding that encodes structural information of graphs into a vector space has become popular for network analysis. Although recent methods show promising performance for various applications, the huge sizes of graphs may hinder a direct application of existing network embedding method to them. This paper presents NECL, a novel efficient Network Embedding method with two goals. 1) Is there an ideal Compression of a network? 2) Will the compression of a network significantly boost the representation Learning of the network? For the first problem, we propose a neighborhood similarity based graph compression method that compresses the input graph to get a smaller graph without losing any much information about the global structure of the graph and the local proximity of the vertices in the graph. For the second problem, we use the compressed graph for network embedding instead of the original large graph to bring down the embedding cost. NECL is a general meta strategy to improve the efficiency of all of the state of the art graph embedding algorithms based on random walks, including DeepWalk and Node2vec, without losing their effectiveness. Extensive experiments on large real world networks validate the efficiency of NECL method that yields an average improvement of 23 57 embedding time, including walking and learning time without decreasing classification accuracy as evaluated on single and multi label classification tasks on real world graphs such as DBLP, BlogCatalog, Cora and Wiki.


Maximal discrete sets. We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, mathcal I mad families, maximal eventually different families, and maximal cofinitary groups. We discuss the non increasing sequence of cardinal characteristics mathfrak a xi , for xi omega 1 as well as the notions of spectra of characteristics and optimal projective witnesses. We give an account of Zhang's forcing to add generic cofinitary permutations, and of a version of this forcing with built in coding.


Dimple drainage before the coalescence of a droplet deposited on a smooth substrate. Thin liquid or gas films are everywhere in nature, from foams to submillimetric bubbles at a free surface, and their rupture leaves a collection of small drops and bubbles. However, the mechanisms at play responsible for the bursting of these films is still in debate. The present study thus aims at understanding the drainage dynamics of the thin air film squeezed by gravity between a millimetric droplet and a smooth solid or a liquid thin film. Solving coupled lubrication equations and analyzing the dominant terms in the solid and liquid film cases, we explain why the drainage is much faster in the liquid film case, leading often to a shorter coalescence time, as observed in recent experiments.


RankSRGAN Generative Adversarial Networks with Ranker for Image Super Resolution. Generative Adversarial Networks (GAN) have demonstrated the potential to recover realistic details for single image super resolution (SISR). To further improve the visual quality of super resolved results, PIRM2018 SR Challenge employed perceptual metrics to assess the perceptual quality, such as PI, NIQE, and Ma. However, existing methods cannot directly optimize these indifferentiable perceptual metrics, which are shown to be highly correlated with human ratings. To address the problem, we propose Super Resolution Generative Adversarial Networks with Ranker (RankSRGAN) to optimize generator in the direction of perceptual metrics. Specifically, we first train a Ranker which can learn the behavior of perceptual metrics and then introduce a novel rank content loss to optimize the perceptual quality. The most appealing part is that the proposed method can combine the strengths of different SR methods to generate better results. Extensive experiments show that RankSRGAN achieves visually pleasing results and reaches state of the art performance in perceptual metrics. Project page https wenlongzhang0724.github.io Projects RankSRGAN


On pairs of quadratic forms in five variables. In this article, we obtain an upper bound for the number of integral solutions, of given height, of system of two quadratic forms in five variables. Our bound is an improvement over the bound given by Henryk Iwaniec and Ritabrata Munshi in cite H R .


Can determinism and compositionality coexist in RML? (extended version). Runtime verification (RV) consists in dynamically verifying that the event traces generated by single runs of a system under scrutiny (SUS) are compliant with the formal specification of its expected properties. RML (Runtime Monitoring Language) is a simple but expressive Domain Specific Language for RV its semantics is based on a trace calculus formalized by a deterministic rewriting system which drives the implementation of the interpreter of the monitors generated by the RML compiler from the specifications. While determinism of the trace calculus ensures better performances of the generated monitors, it makes the semantics of its operators less intuitive. In this paper we move a first step towards a compositional semantics of the RML trace calculus, by interpreting its basic operators as operations on sets of instantiated event traces and by proving that such an interpretation is equivalent to the operational semantics of the calculus.


Infodemiological Study Using Google Trends on Coronavirus Epidemic in Wuhan, China. The recent emergence of a new coronavirus (COVID 19) has gained a high cover in public media and worldwide news. The virus has caused a viral pneumonia in tens of thousands of people in Wuhan, a central city of China. This short paper gives a brief introduction on how the demand for information on this new epidemic is reported through Google Trends. The reported period is 31 December 2020 to 20 March 2020. The authors draw conclusions on current infodemiological data on COVID 19 using three main search keywords coronavirus, SARS and MERS. Two approaches are set. First is the worldwide perspective, second the Chinese one, which reveals that in China this disease in the first days was more often referred to SARS then to general coronaviruses, whereas worldwide, since the beginning, it is more often referred to coronaviruses.


Optical phased arrays for LIDAR beam steering via tunable plasmonic metasurfaces. Controlling the phase and amplitude of light emitted by the elements (i.e., pixels) of an optical phased array is of paramount importance to realizing dynamic beam steering for LIDAR applications. In this paper, we propose a plasmonic pixel composed of a metallic nanoantenna covered by a thin oxide layer, and a conductive oxide, e.g., ITO, for use in a reflectarray metasurface. By considering voltage biasing of the nanoantenna via metallic connectors, and exploiting the carrier refraction effect in the metal oxide semiconductor capacitor in the accumulation and depletion regions, our simulations predict control of the reflection coefficient phase over a range 330 circ with a nearly constant magnitude. We discuss the physical mechanism underlying the optical response, the effect of the connectors, and propose strategies to maximize the magnitude of the reflection coefficient and to achieve dual band operation. The suitability of our plasmonic pixel design for beam steering in LIDAR is demonstrated via 3D FDTD simulations.


Spatio Temporal Top k Similarity Search for Trajectories in Graphs. We study the problem of finding the k most similar trajectories to a given query trajectory. Our work is inspired by the work of Grossi et al. 6 that considers trajectories as walks in a graph. Each visited vertex is accompanied by a time interval. Grossi et al. define a similarity function that captures temporal and spatial aspects. We improve this similarity function to derive a new spatio temporal distance function for which we can show that a specific type of triangle inequality is satisfied. This distance function is the basis for our index structures, which can be constructed efficiently, need only linear memory, and can quickly answer queries for the top k most similar trajectories. Our evaluation on real world and synthetic data sets shows that our algorithms outperform the baselines with respect to indexing time by several orders of magnitude while achieving similar or better query time and quality of results.


Two Birds with One Stone Investigating Invertible Neural Networks for Inverse Problems in Morphology. Most problems in natural language processing can be approximated as inverse problems such as analysis and generation at variety of levels from morphological (e.g., cat Plural cats) to semantic (e.g., (call 1 2) "Calculate one plus two."). Although the tasks in both directions are closely related, general approach in the field has been to design separate models specific for each task. However, having one shared model for both tasks, would help the researchers exploit the common knowledge among these problems with reduced time and memory requirements. We investigate a specific class of neural networks, called Invertible Neural Networks (INNs) (Ardizzone et al. 2019) that enable simultaneous optimization in both directions, hence allow addressing of inverse problems via a single model. In this study, we investigate INNs on morphological problems casted as inverse problems. We apply INNs to various morphological tasks with varying ambiguity and show that they provide competitive performance in both directions. We show that they are able to recover the morphological input parameters, i.e., predicting the lemma (e.g., cat) or the morphological tags (e.g., Plural) when run in the reverse direction, without any significant performance drop in the forward direction, i.e., predicting the surface form (e.g., cats).


Single Multi Source Cross Lingual NER via Teacher Student Learning on Unlabeled Data in Target Language. To better tackle the named entity recognition (NER) problem on languages with little no labeled data, cross lingual NER must effectively leverage knowledge learned from source languages with rich labeled data. Previous works on cross lingual NER are mostly based on label projection with pairwise texts or direct model transfer. However, such methods either are not applicable if the labeled data in the source languages is unavailable, or do not leverage information contained in unlabeled data in the target language. In this paper, we propose a teacher student learning method to address such limitations, where NER models in the source languages are used as teachers to train a student model on unlabeled data in the target language. The proposed method works for both single source and multi source cross lingual NER. For the latter, we further propose a similarity measuring method to better weight the supervision from different teacher models. Extensive experiments for 3 target languages on benchmark datasets well demonstrate that our method outperforms existing state of the art methods for both single source and multi source cross lingual NER.


Learning Based Distributed Tracking. Inspired by the great success of machine learning in the past decade, people have been thinking about the possibility of improving the theoretical results by exploring data distribution. In this paper, we revisit a fundamental problem called Distributed Tracking (DT) under an assumption that the data follows a certain (known or unknown) distribution, and propose a number data dependent algorithms with improved theoretical bounds. Informally, in the DT problem, there is a coordinator and k players, where the coordinator holds a threshold N and each player has a counter. At each time stamp, at most one counter can be increased by one. The job of the coordinator is to capture the exact moment when the sum of all these k counters reaches N. The goal is to minimise the communication cost. While our first type of algorithms assume the concrete data distribution is known in advance, our second type of algorithms can learn the distribution on the fly. Both of the algorithms achieve a communication cost bounded byO(k log log N) with high probability, improving the state of the art data independent bound O(k log N k). We further propose a number of implementation optimisation heuristics to improve both efficiency and robustness of the algorithms. Finally, we conduct extensive experiments on three real datasets and four synthetic datasets. The experimental results show that the communication cost of our algorithms is as least as 20 of that of the state of the art algorithms.


Neural Networks in Evolutionary Dynamic Constrained Optimization Computational Cost and Benefits. Neural networks (NN) have been recently applied together with evolutionary algorithms (EAs) to solve dynamic optimization problems. The applied NN estimates the position of the next optimum based on the previous time best solutions. After detecting a change, the predicted solution can be employed to move the EA's population to a promising region of the solution space in order to accelerate convergence and improve accuracy in tracking the optimum. While previous works show improvement of the results, they neglect the overhead created by NN. In this work, we reflect the time spent on training NN in the optimization time and compare the results with a baseline EA. We explore if by considering the generated overhead, NN is still able to improve the results, and under which condition is able to do so. The main difficulties to train the NN are 1) to get enough samples to generalize predictions for new data, and 2) to obtain reliable samples. As NN needs to collect data at each time step, if the time horizon is short, we will not be able to collect enough samples to train the NN. To alleviate this, we propose to consider more individuals on each change to speed up sample collection in shorter time steps. In environments with a high frequency of changes, the solutions produced by EA are likely to be far from the real optimum. Using unreliable train data for the NN will, in consequence, produce unreliable predictions. Also, as the time spent for NN stays fixed regardless of the frequency, a higher frequency of change will mean a higher produced overhead by the NN in proportion to the EA. In general, after considering the generated overhead, we conclude that NN is not suitable in environments with a high frequency of changes and or short time horizons. However, it can be promising for the low frequency of changes, and especially for the environments that changes have a pattern.


Pontryagin maximum principle, (co)adjoint representation, and normal geodesics of left invariant (sub )Finsler metrics on Lie groups. On the ground of origins of the theory of Lie groups and Lie algebras, their (co)adjoint representations, and the Pontryagin maximum principle for the time optimal problem are given an independent foundation for methods of geodesic vector field to search for normal geodesics of left invariant (sub )Finsler metrics on Lie groups and to look for the corresponding locally optimal controls in (sub )Riemannian case, as well as some their applications.


On Lie algebras of generalized Jacobi matrices. In this lecutre note, we consider infinite dimensional Lie algebras of generalized Jacobi matrices mathfrak g J(k) and mathfrak gl infty(k) , which are important in soliton theory, and their orthogonal and symplectic subalgebras. In particular, we construct the homology ring of the Lie algebra mathfrak g J(k) and of the orthogonal and symplectic subalgebras.


Probabilistic neural networks for fluid flow surrogate modeling and data recovery. We consider the use of probabilistic neural networks for fluid flow surrogate modeling and data recovery. This framework is constructed by assuming that the target variables are sampled from a Gaussian distribution conditioned on the inputs. Consequently, the overall formulation sets up a procedure to predict the hyperparameters of this distribution which are then used to compute an objective function given training data. We demonstrate that this framework has the ability to provide for prediction confidence intervals based on the assumption of a probabilistic posterior, given an appropriate model architecture and adequate training data. The applicability of the present framework to cases with noisy measurements and limited observations is also assessed. To demonstrate the capabilities of this framework, we consider canonical regression problems of fluid dynamics from the viewpoint of reduced order modeling and spatial data recovery for four canonical data sets. The examples considered in this study arise from (1) the shallow water equations, (2) a two dimensional cylinder flow, (3) the wake of NACA0012 airfoil with a Gurney flap, and (4) the NOAA sea surface temperature data set. The present results indicate that the probabilistic neural network not only produces a machine learning based fluid flow surrogate model but also systematically quantifies the uncertainty therein to assist with model interpretability.


Distribution Constraints The Chase for Distributed Data. This paper introduces a declarative framework to specify and reason about distributions of data over computing nodes in a distributed setting. More specifically, it proposes distribution constraints which are tuple and equality generating dependencies (tgds and egds) extended with node variables ranging over computing nodes. In particular, they can express co partitioning constraints and constraints about range based data distributions by using comparison atoms. The main technical contribution is the study of the implication problem of distribution constraints. While implication is undecidable in general, relevant fragments of so called data full constraints are exhibited for which the corresponding implication problems are complete for EXPTIME, PSPACE and NP. These results yield bounds on deciding parallel correctness for conjunctive queries in the presence of distribution constraints.


A Modeled Approach for Online Adversarial Test of Operational Vehicle Safety (extended version). The scenario based testing of operational vehicle safety presents a set of principal other vehicle (POV) trajectories that seek to force the subject vehicle (SV) into a certain safety critical situation. Current scenarios are mostly (i) statistics driven inspired by human driver crash data, (ii) deterministic POV trajectories are pre determined and are independent of SV responses, and (iii) overly simplified defined over a finite set of actions performed at the abstracted motion planning level. Such scenario based testing (i) lacks severity guarantees, (ii) has predefined maneuvers making it easy for an SV with intelligent driving policies to game the test, and (iii) is inefficient in producing safety critical instances with limited and expensive testing effort. We propose a model driven online feedback control policy for multiple POVs which propagates efficient adversarial trajectories while respecting traffic rules and other concerns formulated as an admissible state action space. The approach is formulated in an anchor template hierarchy structure, with the template model planning inducing a theoretical SV capturing guarantee under standard assumptions. The planned adversarial trajectory is then tracked by a lower level controller applied to the full system or the anchor model. The effectiveness of the methodology is illustrated through various simulated examples with the SV controlled by either parameterized self driving policies or human drivers.


Count, Crop and Recognise Fine Grained Recognition in the Wild. The goal of this paper is to label all the animal individuals present in every frame of a video. Unlike previous methods that have principally concentrated on labelling face tracks, we aim to label individuals even when their faces are not visible. We make the following contributions (i) we introduce a 'Count, Crop and Recognise' (CCR) multistage recognition process for frame level labelling. The Count and Recognise stages involve specialised CNNs for the task, and we show that this simple staging gives a substantial boost in performance (ii) we compare the recall using frame based labelling to both face and body track based labelling, and demonstrate the advantage of frame based with CCR for the specified goal (iii) we introduce a new dataset for chimpanzee recognition in the wild and (iv) we apply a high granularity visualisation technique to further understand the learned CNN features for the recognition of chimpanzee individuals.


Finding Cut Offs in Leaderless Rendez Vous Protocols is Easy. In rendez vous protocols an arbitrarily large number of indistinguishable finite state agents interact in pairs. The cut off problem asks if there exists a number B such that all initial configurations of the protocol with at least B agents in a given initial state can reach a final configuration with all agents in a given final state. In a recent paper (Horn and Sangnier, CONCUR 2020), Horn and Sangnier prove that the cut off problem is equivalent to the Petri net reachability problem for protocols with a leader, and in EXPSPACE for leaderless protocols. Further, for the special class of symmetric protocols they reduce these bounds to PSPACE and NP, respectively. The problem of lowering these upper bounds or finding matching lower bounds is left open. We show that the cut off problem is P complete for leaderless protocols, NP complete for symmetric protocols with a leader, and in NC for leaderless symmetric protocols, thereby solving all the problems left open in (Horn and Sangnier, CONCUR 2020). Further, we also consider a variant of the cut off problem suggested in (Horn and Sangnier, CONCUR 2020) and prove that that variant is P complete for leaderless protocols and NL complete for leaderless symmetric protocols.


Optimal rectification without forward current suppression by biological molecular motor. We experimentally showed that biological molecular motor F 1 ATPase (F 1 ) implements an optimal rectification mechanism. F 1 hardly suppresses adenosine triphosphate (ATP) synthesis, which is the F 1 's physiological role while inhibiting unfavorable hydrolysis of ATP. This optimal rectification is a high contrast to a simple ratchet model, where the inhibition of the backward current is inevitably accompanied by the suppression of the forward current. The detailed analysis of single molecule trajectories demonstrated a novel but simple rectification mechanism of F 1 with parallel landscapes and asymmetric transition rates.


Explainable Link Prediction for Privacy Preserving Contact Tracing. Contact Tracing has been used to identify people who were in close proximity to those infected with SARS Cov2 coronavirus. A number of digital contract tracing applications have been introduced to facilitate or complement physical contact tracing. However, there are a number of privacy issues in the implementation of contract tracing applications, which make people reluctant to install or update their infection status on these applications. In this concept paper, we present ideas from Graph Neural Networks and explainability, that could improve trust in these applications, and encourage adoption by people.


Incidences with curves in three dimensions. We study incidence problems involving points and curves in R 3 . The current (and in fact only viable) approach to such problems, pioneered by Guth and Katz, requires a variety of tools from algebraic geometry, most notably (i) the polynomial partitioning technique, and (ii) the study of algebraic surfaces that are ruled by lines or, in more recent studies, by algebraic curves of some constant degree. By exploiting and refining these tools, we obtain new and improved bounds for point curve incidence problems in R 3 . Incidences of this kind have been considered in several previous studies, starting with Guth and Katz's work on points and lines. Our results, which are based on the work of Guth and Zahl concerning surfaces that are doubly ruled by curves, provide a grand generalization of most of the previous results. We reconstruct the bound for points and lines, and improve, in certain significant ways, recent bounds involving points and circles (in Sharir, Sheffer and Zahl), and points and arbitrary constant degree algebraic curves (in Sharir, Sheffer and Solomon). While in these latter instances the bounds are not known (and are strongly suspected not) to be tight, our bounds are, in a certain sense, the best that can be obtained with this approach, given the current state of knowledge. As an application of our point curve incidence bound, we show that the number of triangles spanned by a set of n points in R 3 and similar to a given triangle is O(n 15 7 ) , which improves the bound of Agarwal et al. Our results are also related to a study by Guth et al. (work in progress), and have been recently applied in Sharir, Solomon and Zlydenko to related incidence problems in three dimensions.


Learning to Encode and Classify Test Executions. The challenge of automatically determining the correctness of test executions is referred to as the test oracle problem and is one of the key remaining issues for automated testing. The goal in this paper is to solve the test oracle problem in a way that is general, scalable and accurate. To achieve this, we use supervised learning over test execution traces. We label a small fraction of the execution traces with their verdict of pass or fail. We use the labelled traces to train a neural network (NN) model to learn to distinguish runtime patterns for passing versus failing executions for a given program. Our approach for building this NN model involves the following steps, 1. Instrument the program to record execution traces as sequences of method invocations and global state, 2. Label a small fraction of the execution traces with their verdicts, 3. Designing a NN component that embeds information in execution traces to fixed length vectors, 4. Design a NN model that uses the trace information for classification, 5. Evaluate the inferred classification model on unseen execution traces from the program. We evaluate our approach using case studies from different application domains 1. Module from Ethereum Blockchain, 2. Module from PyTorch deep learning framework, 3. Microsoft SEAL encryption library components, 4. Sed stream editor, 5. Value pointer library and 6. Nine network protocols from Linux packet identifier, L7 Filter. We found the classification models for all subject programs resulted in high precision, recall and specificity, over 95 , while only training with an average 9 of the total traces. Our experiments show that the proposed neural network model is highly effective as a test oracle and is able to learn runtime patterns to distinguish passing and failing test executions for systems and tests from different application domains.


A Robust Pavement Mapping System Based on Normal Constrained Stereo Visual Odometry. Pavement condition is crucial for civil infrastructure maintenance. This task usually requires efficient road damage localization, which can be accomplished by the visual odometry system embedded in unmanned aerial vehicles (UAVs). However, the state of the art visual odometry and mapping methods suffer from large drift under the degeneration of the scene structure. To alleviate this issue, we integrate normal constraints into the visual odometry process, which greatly helps to avoid large drift. By parameterizing the normal vector on the tangential plane, the normal factors are coupled with traditional reprojection factors in the pose optimization procedure. The experimental results demonstrate the effectiveness of the proposed system. The overall absolute trajectory error is improved by approximately 20 , which indicates that the estimated trajectory is much more accurate than that obtained using other state of the art methods.


The Deligne Illusie Theorem and exceptional Enriques surfaces. Building on the results of Deligne and Illusie on liftings to truncated Witt vectors, we give a criterion for non liftability that involves only the dimension of certain cohomology groups of vector bundles arising from the Frobenius pushforward of the de Rham complex. Using vector bundle methods, we apply this to show that exceptional Enriques surfaces, a class introduced by Ekedahl and Shepherd Barron, do not lift to truncated Witt vectors, yet the base of the miniversal formal deformation over the Witt vectors is regular. Using the classification of Bombieri and Mumford, we also show that bielliptic surfaces arising from a quotient by an unipotent group scheme of order p do not lift the ring of Witt vectors. These results hinge on some observations in homological algebra that relates splittings in derived categories to Yoneda extensions and certain diagram completions.


r wise fractional L intersecting family. Let L frac a 1 b 1 , ldots , frac a s b s , where for every i in s , frac a i b i in 0,1) is an irreducible fraction. Let mathcal F A 1, ldots , A m be a family of subsets of n . We say mathcal F is a emph r wise fractional L intersecting family if for every distinct i 1,i 2, ldots,i r in m , there exists an frac a b in L such that A i 1 cap A i 2 cap ldots cap A i r in frac a b A i 1 , frac a b A i 2 , ldots, frac a b A i r . In this paper, we introduce and study the notion of r wise fractional L intersecting families. This is a generalization of notion of fractional L intersecting families studied in Niranjan et.al, Fractional L intersecting families, The Electronic Journal of Combinatorics, 2019 .


A Pieri rule for Demazure characters of the general linear group. The Pieri rule is a nonnegative, multiplicity free formula for the Schur function expansion of the product of an arbitrary Schur function with a single row Schur function. Key polynomials are characters of Demazure modules for the general linear group that generalize the Schur function basis of symmetric functions to a basis of the full polynomial ring. We prove a nonsymmetric generalization of the Pieri rule by giving a cancellation free, multiplicity free formula for the key polynomial expansion of the product of an arbitrary key polynomial with a single part key polynomial. Our proof is combinatorial, generalizing the Robinson Schensted Knuth insertion algorithm on tableaux to an insertion algorithm on Kohnert diagrams.


The Limits of an Information Intermediary in Auction Design. We study the limits of an information intermediary in Bayesian auctions. Formally, we consider the standard single item auction, with a revenue maximizing seller and n buyers with independent private values in addition, we now have an intermediary who knows the buyers' true values, and can map these to a public signal so as to try to increase buyer surplus. This model was proposed by Bergemann et al., who present a signaling scheme for the single buyer setting that raises the optimal consumer surplus, by guaranteeing the item is always sold while ensuring the seller gets the same revenue as without signaling. Our work aims to understand how this result ports to the setting with multiple buyers. Our first result is an impossibility We show that such a signaling scheme need not exist even for n 2 buyers with 2 point valuation distributions. Indeed, no signaling scheme can always allocate the item to the highest valued buyer while preserving any non trivial fraction of the original consumer surplus further, no signaling scheme can achieve consumer surplus better than a factor of frac 1 2 compared to the maximum achievable. These results are existential (and not computational) impossibilities, and thus provide a sharp separation between the single and multi buyer settings. On the positive side, for discrete valuation distributions, we develop signaling schemes with good approximation guarantees for the consumer surplus compared to the maximum achievable, in settings where either the number of agents, or the support size of valuations, is small. Formally, for i.i.d. buyers, we present an O( min( log n, K)) approximation where K is the support size of the valuations. Moreover, for general distributions, we present an O( min(n log n, K 2)) approximation. Our signaling schemes are conceptually simple and computable in polynomial (in n and K ) time.


Performance Modeling of Epidemic Routing in Mobile Social Networks with Emphasis on Scalability. This paper investigates the performance of epidemic routing in mobile social networks. It first analyzes the time taken for a node to meet the first node of a set of nodes restricted to move in a specific subarea. Afterwards, a monolithic Stochastic Reward Net (SRN) is proposed to evaluate the delivery delay and the average number of transmissions under epidemic routing by considering skewed location visiting preferences. This model is not scalable enough, in terms of the number of nodes and frequently visited locations. In order to achieve higher scalability, the folding technique is applied to the monolithic model, and an approximate folded SRN is proposed to evaluate performance of epidemic routing. Discrete event simulation is used to validate the proposed models. Both SRN models show high accuracy in predicting the performance of epidemic routing. We also propose an Ordinary Differential Equation (ODE) model for epidemic routing and compare it with the folded model. Obtained results show that the folded model is more accurate than the ODE model. Moreover, it is proved that the number of transmissions by the time of delivery follows uniform distribution, in a general class of networks, where positions of nodes are always independent and identically distributed.


Sensors, Safety Models and A System Level Approach to Safe and Scalable Automated Vehicles. When considering the accuracy of sensors in an automated vehicle (AV), it is not sufficient to evaluate the performance of any given sensor in isolation. Rather, the performance of any individual sensor must be considered in the context of the overall system design. Techniques like redundancy and different sensing modalities can reduce the chances of a sensing failure. Additionally, the use of safety models is essential to understanding whether any particular sensing failure is relevant. Only when the entire system design is taken into account can one properly understand the meaning of safety relevant sensing failures in an AV. In this paper, we will consider what should actually constitute a sensing failure, how safety models play an important role in mitigating potential failures, how a system level approach to safety will deliver a safe and scalable AV, and what an acceptable sensing failure rate should be considering the full picture of an AV's architecture.


Krylov Safonov estimates for a degenerate diffusion process. This paper proves a Krylov Safonov estimate for a multidimensional diffusion process whose diffusion coefficients are degenerate on the boundary. As applications the existence and uniqueness of invariant probability measures for the process and Hoelder estimates for the associated partial differential equation are obtained.


Emergence of stochastic flocking for the discrete Cucker Smale model with randomly switching topologies. We study emergent dynamics of the discrete Cucker Smale (in short, DCS) model with randomly switching network topologies. For this, we provide a sufficient framework leading to the stochastic flocking with probability one. Our sufficient framework is formulated in terms of an admissible set of network topologies realized by digraphs and probability density function for random switching times. As examples for the law of switching times, we use the Poisson process and the geometric process and show that these two processes satisfy the required conditions in a given framework so that we have a stochastic flocking with probability one. As a corollary of our flocking analysis, we improve the earlier result J. G. Dong, S. Y. Ha, J. Jung and D. Kim On the stochastic flocking of the Cucker Smale flock with randomly switching topologies. arXiv 1911.07390. on the continuous C S model.


Almost sure contraction for diffusions on mathbb R d . Application to generalised Langevin diffusions. In the case of diffusions on mathbb R d with constant diffusion matrix, without assuming reversibility nor hypoellipticity, we prove that the contractivity of the deterministic drift is equivalent to the constant rate contraction of Wasserstein distances mathcal W p , p in 1, infty . It also implies concentration inequalities for ergodic means of the process. Such a contractivity property is then established for some non equilibrium chains of anharmonic oscillators and for some generalised Langevin diffusions when the potential is convex with bounded Hessian and the friction is sufficiently high. This extends previous known results for the usual (kinetic) Langevin diffusion.


Windable Heads Recognizing NL with Constant Randomness. Every language in NL has a k head two way nondeterministic finite automaton (2nfa( k )) recognizing it. It is known how to build a constant space verifier algorithm from a 2nfa( k ) for the same language with constant randomness, but with error probability tfrac k 2 1 2k 2 that can not be reduced further by repetition. We have defined the unpleasant characteristic of the heads that causes the high error as the property of being "windable". With a tweak on the previous verification algorithm, the error is improved to tfrac k textrm W 2 1 2k textrm W 2 , where k textrm W le k is the number of windable heads. Using this new algorithm, a subset of languages in NL that have a 2nfa( k ) recognizer with k textrm W le 1 can be verified with arbitrarily reducible error using constant space and randomness.


Middleware Building Blocks for Workflow Systems. This paper describes a building blocks approach to the design of scientific workflow systems. We discuss RADICAL Cybertools as one implementation of the building blocks concept, showing how they are designed and developed in accordance with this approach. This paper offers three main contributions (i) showing the relevance of the design principles underlying the building blocks approach to support scientific workflows on high performance computing platforms (ii) illustrating a set of building blocks that enable multiple points of integration, "unifying" conceptual reasoning across otherwise very different tools and systems and (iii) case studies discussing how RADICAL Cybertools are integrated with existing workflow, workload, and general purpose computing systems and used to develop domain specific workflow systems.


Gorin's problem for individual simple partial fractions. The main result of the paper is a lower estimate for the moduli of imaginary parts of the poles of a simple partial fraction (i.e. the logarithmic derivative of an algebraic polynomial) under the condition that the L infty( mathbb R ) norm of the fraction is unit (Gorin's problem). In contrast to the preceding results, the estimate takes into account the residues associated with the poles. Moreover, a new estimate for the moduli is obtained in the case when the L infty( mathbb R ) norm of the derivative of the simple partial fraction is unit (Gelfond's problem).


Path Ranking with Attention to Type Hierarchies. The objective of the knowledge base completion problem is to infer missing information from existing facts in a knowledge base. Prior work has demonstrated the effectiveness of path ranking based methods, which solve the problem by discovering observable patterns in knowledge graphs, consisting of nodes representing entities and edges representing relations. However, these patterns either lack accuracy because they rely solely on relations or cannot easily generalize due to the direct use of specific entity information. We introduce Attentive Path Ranking, a novel path pattern representation that leverages type hierarchies of entities to both avoid ambiguity and maintain generalization. Then, we present an end to end trained attention based RNN model to discover the new path patterns from data. Experiments conducted on benchmark knowledge base completion datasets WN18RR and FB15k 237 demonstrate that the proposed model outperforms existing methods on the fact prediction task by statistically significant margins of 26 and 10 , respectively. Furthermore, quantitative and qualitative analyses show that the path patterns balance between generalization and discrimination.


Well posedness of Stochastic Port Hamiltonian Systems on Infinite dimensional Spaces. Stochastic port Hamiltonian systems on infinite dimensional spaces governed by It o stochastic differential equations (SDEs) are introduced and some properties of this new class of systems are studied. They are an extension of stochastic port Hamiltonian systems defined on a finite dimensional state space. The concept of well posedness in the sense of Weiss and Salamon is generalized to the stochastic context. Under this extended definition, stochastic port Hamiltonian systems are shown to be well posed. The theory is illustrated on an example of a vibrating string subject to a Hilbert space valued Gaussian white noise process.


Categorification via blocks of modular representations II. Bernstein, Frenkel and Khovanov have constructed a categorification of tensor products of the standard representation of mathfrak sl 2 using singular blocks of category mathcal O for mathfrak sl n . In earlier work, we construct a positive characteristic analogue using blocks of representations of mathfrak sl n over a field textbf k of characteristic p n , with zero Frobenius character, and singular Harish Chandra character. In the present paper, we extend these results and construct a categorical mathfrak sl k action, following Sussan's approach, by considering more singular blocks of modular representations of mathfrak sl n . We consider both zero and non zero Frobenius central character. In the former setting, we construct a graded lift of these categorifications which are equivalent to a geometric construction of Cautis, Kamnitzer and Licata. We establish a Koszul duality between two geometric categorificatons constructed in their work, and resolve a conjecture of theirs. For non zero Frobenius central characters, we show that the geometric approach to categorical symmetric Howe duality by Cautis and Kamnitzer can be used to construct a graded lift of our categorification using singular blocks of modular representations of mathfrak sl n .


Asymptotic properties of permanental sequences. Let U U j,k ,j,k in overline mathbb N be the potential of a transient symmetric Borel right process X with state space overline mathbb N . For any excessive function f f k,k in overline mathbb N for X , widetilde U widetilde U j,k ,j,k in overline mathbb N , where begin equation widetilde U j,k U j,k f k , qquad j,k in overline mathbb N , label a.1 end equation is the kernel of an alpha permanental sequence widetilde X alpha ( widetilde X alpha, 1 , ldots) for all alpha 0 . The symmetric potential U is also the covariance of a mean zero Gaussian sequence eta eta j ,j in overline mathbb N . Conditions are given on the potentials U and excessive functions f under which, begin equation limsup j to infty frac eta j ( 2 , phi j ) 1 2 1 quad a.s. quad implies quad limsup n to infty frac widetilde X alpha, j phi j 1 quad a.s., label a.2 end equation for all alpha 0 , and sequences phi phi j such that f j o( phi j ) . The function phi is determined by U . Many examples are given in which U is the potential of symmetric birth and death processes with and without emigration, first and higher order Gaussian autoregressive sequences and L 'evy processes on mathbf Z .


High order low bit Sigma Delta quantization for fusion frames. We construct high order low bit Sigma Delta ( Sigma Delta) quantizers for the vector valued setting of fusion frames. We prove that these Sigma Delta quantizers can be stably implemented to quantize fusion frame measurements on subspaces W n using log 2( rm dim (W n) 1) bits per measurement. Signal reconstruction is performed using a version of Sobolev duals for fusion frames, and numerical experiments are given to validate the overall performance.


Ultraviolet Photostability Improvement for Autofluorescence Correlation Spectroscopy on Label Free Proteins. The poor photostability and low brightness of protein autofluorescence have been major limitations preventing the detection of label free proteins at the single molecule level. Overcoming these issues, we report here a strategy to promote the photostability of proteins and use their natural tryptophan autofluorescence in the ultraviolet (UV) for fluorescence correlation spectroscopy (FCS). Combining enzymatic oxygen scavengers with antioxidants and triplet state quenchers greatly promotes the protein photostability, reduces the photobleaching probability and improves the net autofluorescence detection rate. Our results show that the underlying photochemical concepts initially derived for organic visible fluorescent dyes are quite general. Using this approach, we achieved UV fluorescence correlation spectroscopy on label free streptavidin proteins containing only 24 tryptophan residues, 6.5x less than the current state of the art. This strategy greatly extends the possibility to detect single label free proteins with the versatility of single molecule fluorescence without requiring the presence of a potentially disturbing external fluorescent marker. It also opens new perspectives to improve the UV durability of organic devices.


Reasoning about Temporary Coalitions and LTL definable Ordered Objectives in Infinite Concurrent Multiplayer Games. We propose enhancing the use of propositions for denoting decisions and strategies as established in temporal languages such as CTL , if interpreted on concurrent game models. The enhancement enables specifying varying coalition structure. In quantified CTL this technique also enables quantifying over coalition structure, and we use it to quantify over an extended form of strategy profiles which capture temporary coalitions. We also extend CTL by a temporal form of a binary preference operator that can be traced back to the work of Von Wright. The resulting extension of quantified CTL can be used to spell out conditions on the rationality of behaviour in concurrent multiplayer games such as what appear in solution concepts, with players having multiple individual objectives and preferences on them, and with the possibility to form temporary coalitions taken in account. We propose complete axiomatisations for the extension of CTL by the temporal preference operator. The decidability of the logic is not affected by that extension.


A quartic diophantine equation inspired by Brahmagupta's identity. In this paper we obtain several parametric solutions of the quartic diophantine equation (x 1 4 x 2 4)(y 1 4 y 2 4) z 1 4 z 2 4 . We also show how infinitely many parametric solutions of this equation may be obtained by using elliptic curves.


Finite Element Approximation of Transmission Eigenvalues for Anisotropic Media. The transmission eigenvalue problem arises from the inverse scattering theory for inhomogeneous media and has important applications in many qualitative methods. The problem is posted as a system of two second order partial differential equations and is essentially nonlinear, non selfadjoint, and of higher order. It is nontrivial to develop effective numerical methods and the proof of convergence is challenging. In this paper, we formulate the transmission eigenvalue problem for anisotropic media as an eigenvalue problem of a holomorphic Fredholm operator function of index zero. The Lagrange finite elements are used for discretization and the convergence is proved using the abstract approximation theory for holomorphic operator functions. A spectral indicator method is developed to compute the eigenvalues. Numerical examples are presented for validation.


Hierarchical multiscale finite element method for multi continuum media. Simulation in media with multiple continua where each continuum interacts with every other is often challenging due to multiple scales and high contrast. One needs some types of model reduction. One of the approaches is multi continuum technique, where every process in each continuum is modeled separately and an interaction term is added. Direct numerical simulation in multi scale media is usually not practicable. For this reason, one constructs the corresponding homogenized equations. The paper develops a hierarchical approach for solving cell problems at a dense network of macroscopic points with an essentially optimal computation cost. The method employs the fact that neighboring representative volume elements (RVEs) share similar features and effective properties of the neighboring RVEs are close to each other. The hierarchical approach reduces computation cost by using different levels of resolution for cell problems at different macroscopic points. The method requires a hierarchy of macroscopic grid points and a corresponding nested approximation spaces with different levels of resolution. Each level of macroscopic points is assigned to an approximation finite element (FE) space which is used to solve the cell problems at the macroscopic points in that level. We prove rigorously that this hierarchical method achieves the same level of accuracy as that of the full solve where cell problems at every macroscopic point are solved using the FE spaces with the highest level of resolution, but at the essentially optimal computation cost. Numerical implementation that computes effective permeabilities of a two scale multicontinuum system via the numerical solutions of the cell problems supports the analytical results. Finally, we prove the homogenization convergence for our multiscale multi continuum system.


Families of elliptic curves ordered by conductor. In this article, we study the family of elliptic curves E mathbb Q , having good reduction at 2 and 3 , and whose j invariants are small. Within this set of elliptic curves, we consider the following two subfamilies first, the set of elliptic curves E such that the ratio Delta(E) C(E) is squarefree and second, the set of elliptic curves E such that Delta(E) C(E) is bounded by a small power ( 3 4) of C(E) . Both these families are conjectured to contain a positive proportion of elliptic curves, when ordered by conductor. Our main results determine asymptotics for both these families, when ordered by conductor. Moreover, we prove that the average size of the 2 Selmer groups of elliptic curves in the first family, again when these curves are ordered by their conductors, is 3 . This implies that the average rank of these elliptic curves is finite, and bounded by 1.5 .


Presentation and Analysis of a Multimodal Dataset for Grounded Language Learning. Grounded language acquisition learning how language based interactions refer to the world around them is amajor area of research in robotics, NLP, and HCI. In practice the data used for learning consists almost entirely of textual descriptions, which tend to be cleaner, clearer, and more grammatical than actual human interactions. In this work, we present the Grounded Language Dataset (GoLD), a multimodal dataset of common household objects described by people using either spoken or written language. We analyze the differences and present an experiment showing how the different modalities affect language learning from human in put. This will enable researchers studying the intersection of robotics, NLP, and HCI to better investigate how the multiple modalities of image, text, and speech interact, as well as show differences in the vernacular of these modalities impact results.


Discrete time TASEP with holdback. We study the following interacting particle system. There are rho n particles, rho 1 , moving clockwise ("right"), in discrete time, on n sites arranged in a circle. Each site may contain at most one particle. At each time, a particle may move to the right neighbor site according to the following rules. If its right neighbor site is occupied by another particle, the particle does not move. If the particle has unoccupied sites ("holes") as neighbors on both sides, it moves right with probability 1 . If the particle has a hole as the right neighbor and an occupied site as the left neighbor, it moves right with probability 0 p 1 . (We refer to the latter rule as a "holdback" property.) The main question we address is what is the system steady state flux (or throughput) when n is large, as a function of density rho ? The most interesting range of densities is 0 le rho 1 2 . We define the system em typical flux as the limit in n to infty of the steady state flux in a system subject to additional random perturbations, when the perturbation rate vanishes. Our main results show that (a) the typical flux is different from the formal flux, defined as the limit in n to infty of the steady state flux in the system without perturbations, and (b) there is a phase transition at density h p (1 p) . If rho h , the typical flux is equal to rho , which coincides with the formal flux. If rho h , a em condensation phenomenon occurs, namely the formation and persistence of large particle clusters in particular, the typical flux in this case is p(1 rho) h rho , which differs from the formal flux when h rho 1 2 . Our results include both steady state and transient analysis. In particular, we derive a version of the Ballot Theorem, and show that the key "reason" for large cluster formation for densities rho h is described by this theorem.


Drug Repurposing to find Inhibitors of SARS CoV 2 Main Protease. Severe acute respiratory syndrome coronavirus 2 (SARS CoV 2) is the strain of coronavirus that causes coronavirus disease 2019 (COVID 19), the respiratory illness responsible for the COVID 19 pandemic. Currently there is no known vaccine or specific antiviral treatment for COVID 19 and so, there is an urgent need for expedite discovery of new therapeutics to combat the disease until a vaccine will be available worldwide. Drug repurposing is a strategy for identifying new uses for approved drugs that has the advantage (over conventional approaches that attempt to develop a drug from scratch) that time frame of the overall process can be significantly reduced because of the few number of clinical trial required. In this work, a virtual screening of FDA approved drugs was performed for repositioning as potential inhibitors of the main protease Mpro of SARS CoV 2. As a result of this study, 12 drugs are proposed as candidates for inhibitors of the Mpro enzyme. Some of the selected compounds are antiviral drugs that are already being tested in COVID 19 clinical trials (i.e. ribavirin) or are used to alleviate symptoms of the disease (i.e. codeine). Surprisingly, the most promising candidate is the naturally occurring broad spectrum antibiotic oxytetracycline. This compound has largely outperformed the remaining selected candidates along all filtering steps of our virtual screening protocol. If the activity of any of these drugs is experimentally corroborated, they could be used directly in clinical trials without the need for pre clinical testing or safety evaluation since they are already used as drugs for other diseases.


Adaptive Two stage Stochastic Programming with an Application to Capacity Expansion Planning. Multi stage stochastic programming is a well established framework for sequential decision making under uncertainty by seeking policies that are fully adapted to the uncertainty. Often such flexible policies are not desirable, and the decision maker may need to commit to a set of actions for a number of planning periods. Two stage stochastic programming might be better suited to such settings, where the decisions for all periods are made here and now and do not adapt to the uncertainty realized. In this paper, we propose a novel alternative approach, where the stages are not predetermined but part of the optimization problem. Each component of the decision policy has an associated revision point, a period prior to which the decision is predetermined and after which it is revised to adjust to the uncertainty realized thus far. We motivate this setting using the multi period newsvendor problem by deriving an optimal adaptive policy. We label the proposed approach as adaptive two stage stochastic programming and provide a generic mixed integer programming formulation for finite stochastic processes. We show that adaptive two stage stochastic programming is NP hard in general. Next, we derive bounds on the value of adaptive two stage programming in comparison to the two stage and multi stage approaches for a specific problem structure inspired by the capacity expansion planning problem. Since directly solving the mixed integer linear program associated with the adaptive two stage approach might be very costly for large instances, we propose several heuristic solution algorithms based on the bound analysis. We provide approximation guarantees for these heuristics. Finally, we present an extensive computational study on an electricity generation capacity expansion planning problem and demonstrate the computational and practical impacts of the proposed approach from various perspectives.


GeoTree a data structure for constant time geospatial search enabling a real time mix adjusted median property price index. A common problem appearing across the field of data science is k NN ( k nearest neighbours), particularly within the context of Geographic Information Systems. In this article, we present a novel data structure, the GeoTree, which holds a collection of geohashes (string encodings of GPS co ordinates). This enables a constant O left(1 right) time search algorithm that returns a set of geohashes surrounding a given geohash in the GeoTree, representing the approximate k nearest neighbours of that geohash. Furthermore, the GeoTree data structure retains O left(n right) memory requirement. We apply the data structure to a property price index algorithm focused on price comparison with historical neighbouring sales, demonstrating an enhanced performance. The results show that this data structure allows for the development of a real time property price index, and can be scaled to larger datasets with ease.


Object Detection and Tracking Algorithms for Vehicle Counting A Comparative Analysis. The rapid advancement in the field of deep learning and high performance computing has highly augmented the scope of video based vehicle counting system. In this paper, the authors deploy several state of the art object detection and tracking algorithms to detect and track different classes of vehicles in their regions of interest (ROI). The goal of correctly detecting and tracking vehicles' in their ROI is to obtain an accurate vehicle count. Multiple combinations of object detection models coupled with different tracking systems are applied to access the best vehicle counting framework. The models' addresses challenges associated to different weather conditions, occlusion and low light settings and efficiently extracts vehicle information and trajectories through its computationally rich training and feedback cycles. The automatic vehicle counts resulting from all the model combinations are validated and compared against the manually counted ground truths of over 9 hours' traffic video data obtained from the Louisiana Department of Transportation and Development. Experimental results demonstrate that the combination of CenterNet and Deep SORT, Detectron2 and Deep SORT, and YOLOv4 and Deep SORT produced the best overall counting percentage for all vehicles.


On the Boundary Value Problems of Psi Hilfer Fractional Differential Equations. In the current paper, we derive the comparison results for the homogeneous and non homogeneous linear initial value problem (IVP) for Psi Hilfer fractional differential equations. In the presence of upper and lower solutions, the obtained comparison results and the location of roots theorem utilized to prove the existence and uniqueness of the solution for the linear Psi Hilfer boundary value problem (BVP) through the linear non homogeneous Psi Hilfer IVP. Assuming the existence of lower solution w 0 and upper solution z 0 , we establish the existence of minimal and maximal solutions for the nonlinear Psi Hilfer BVP in the line segment w 0, ,z 0 of the weighted space C 1 , gamma , Psi left( J, , R right) . Further, it demonstrated that the iterative Picard type sequences that began with lower and upper solutions respectively converges to a minimal and maximal solutions, and that started with any point on a line segment converge to the exact solution of nonlinear Psi Hilfer BVP. Finally, an example is provided in support of the main results we acquired.


A note on highly Kummer faithful fields. We introduce a notion of highly Kummer faithful fields and study its relationship with the notion of Kummer faithful fields. We also give some examples of highly Kummer faithful fields. For example, if k is a number field of finite degree over mathbb Q , g is an integer 0 and mathbf m (m p) p is a family of non negative integers, where p ranges over all prime numbers, then the extension field k g, mathbf m obtained by adjoining to k all coordinates of the elements of the p m p torsion subgroup A p m p of A for all semi abelian varieties A over k of dimension at most g and all prime numbers p , is highly Kummer faithful.


Effective Domain Knowledge Transfer with Soft Fine tuning. Convolutional neural networks require numerous data for training. Considering the difficulties in data collection and labeling in some specific tasks, existing approaches generally use models pre trained on a large source domain (e.g. ImageNet), and then fine tune them on these tasks. However, the datasets from source domain are simply discarded in the fine tuning process. We argue that the source datasets could be better utilized and benefit fine tuning. This paper firstly introduces the concept of general discrimination to describe ability of a network to distinguish untrained patterns, and then experimentally demonstrates that general discrimination could potentially enhance the total discrimination ability on target domain. Furthermore, we propose a novel and light weighted method, namely soft fine tuning. Unlike traditional fine tuning which directly replaces optimization objective by a loss function on the target domain, soft fine tuning effectively keeps general discrimination by holding the previous loss and removes it softly. By doing so, soft fine tuning improves the robustness of the network to data bias, and meanwhile accelerates the convergence. We evaluate our approach on several visual recognition tasks. Extensive experimental results support that soft fine tuning provides consistent improvement on all evaluated tasks, and outperforms the state of the art significantly. Codes will be made available to the public.


Finiteness in Polygonal Billiards on Hyperbolic Plane. textsc J. Hadamard studied the geometric properties of geodesic flows on surfaces of negative curvature, thus initiating "Symbolic Dynamics". In this article, we follow the same geometric approach to study the geodesic trajectories of billiards in "rational polygons" on the hyperbolic plane. We particularly show that the billiard dynamics resulting thus are just 'Subshifts of Finite Type' or their dense subsets. We further show that 'Subshifts of Finite Type' play a central role in subshift dynamics and while discussing the topological structure of the space of all subshifts, we demonstrate that they approximate any shift dynamics.


Escape of alpha particle in inertial confinement fusion. Escape of alpha particles from a burning or an ignited burning deuterium tritium (DT) fuel with temperature up to more than tens keV is very important in inertial confinement fusion, which can significantly influence not only the hot spot dynamics and the energy gain but also the shielding design in fusion devices. In this paper, we study the alpha particle escape from a burning or an ignited burning DT fuel by considering the modifications including the alpha particle stopping by both DT ions and electrons with their Maxwellian average stopping weights, the relativity effect on electron distribution, and the modified Coulomb logarithm of the DT alpha particle collisions. As a result of our studies, the escape effect from our modified model is obviously stronger than those from the traditional models. A fitted expression is presented to calculate the escape factor in a DT fuel, which can be applied to a burning fuel with temperatures of 1 to 150 keV and areal densities of 0.04 to 3 g cm 2 with an accuracy within pm0.02 . Finally, we discuss the alpha particle escape effect on the hot spot dynamics and the thermonuclear energy gain by comparing the results with escape factors from different models.


Protocol Proxy An FTE based Covert Channel. In a hostile network environment, users must communicate without being detected. This involves blending in with the existing traffic. In some cases, a higher degree of secrecy is required. We present a proof of concept format transforming encryption (FTE) based covert channel for tunneling TCP traffic through protected static protocols. Protected static protocols are UDP based protocols with variable fields that cannot be blocked without collateral damage, such as power grid failures. We (1) convert TCP traffic to UDP traffic, (2) introduce observation based FTE, and (3) model interpacket timing with a deterministic Hidden Markov Model (HMM). The resulting Protocol Proxy has a very low probability of detection and is an alternative to current covert channels. We tunnel a TCP session through a UDP protocol and guarantee delivery. Observation based FTE ensures traffic cannot be detected by traditional rule based analysis or DPI. A deterministic HMM ensures the Protocol Proxy accurately models interpacket timing to avoid detection by side channel analysis. Finally, the choice of a protected static protocol foils stateful protocol analysis and causes collateral damage with false positives.


Weighted Maxmin Fair Share Allocation of Indivisible Chores. We initiate the study of indivisible chore allocation for agents with asymmetric shares. The fairness concept we focus on is the weighted natural generalization of maxmin share WMMS fairness and OWMMS fairness. We first highlight the fact that commonly used algorithms that work well for the allocation of goods to asymmetric agents, and even for chores to symmetric agents do not provide good approximations for allocation of chores to asymmetric agents under WMMS. As a consequence, we present a novel polynomial time constant approximation algorithm, via linear program, for OWMMS. For two special cases the binary valuation case and the 2 agent case, we provide exact or better constant approximation algorithms.


New Pumping Technique for 2 dimensional VASS. We propose a new pumping technique for 2 dimensional vector addition systems with states (2 VASS) building on natural geometric properties of runs. We illustrate its applicability by reproving an exponential bound on the length of the shortest accepting run, and by proving a new pumping lemma for languages of 2 VASS. The technique is expected to be useful for settling questions concerning languages of 2 VASS, e.g., for establishing decidability status of the regular separability problem.


On sequences associated to the invariant theory of rank two simple Lie algebras. We study two families of sequences, listed in the On Line Encyclopedia of Integer Sequences (OEIS), which are associated to invariant theory of Lie algebras. For the first family, we prove combinatorially that the sequences A059710 and A108307 are related by a binomial transform. Based on this, we present two independent proofs of a recurrence equation for A059710, which was conjectured by Mihailovs. Besides, we also give a direct proof of Mihailovs' conjecture by the method of algebraic residues. As a consequence, closed formulae for the generating function of sequence A059710 are obtained in terms of classical Gaussian hypergeometric functions. Moreover, we show that sequences in the second family are also related by binomial transforms.


Learning to Localize Using a LiDAR Intensity Map. In this paper we propose a real time, calibration agnostic and effective localization system for self driving cars. Our method learns to embed the online LiDAR sweeps and intensity map into a joint deep embedding space. Localization is then conducted through an efficient convolutional matching between the embeddings. Our full system can operate in real time at 15Hz while achieving centimeter level accuracy across different LiDAR sensors and environments. Our experiments illustrate the performance of the proposed approach over a large scale dataset consisting of over 4000km of driving.


Towards human interpretable, automated learning of feedback control for the mixing layer. We propose an automated analysis of the flow control behaviour from an ensemble of control laws and associated time resolved flow snapshots. The input may be the rich data base of machine learning control (MLC) optimizing a feedback law for a cost function in the plant. The proposed methodology provides (1) insights into control landscape which maps control laws to performance including extrema and ridge lines, (2) a catalogue of representative flow states and their contribution to cost function for investigated control laws and (3) a visualization of the dynamics. Key enablers are classification and feature extraction methods of machine learning. The analysis is successfully applied to the stabilization of a mixing layer with sensor based feedback driving an upstream actuator. The fluctuation energy is reduced by 26 . The control replaces unforced Kelvin Helmholtz vortices with subsequent vortex pairing by higher frequency Kelvin Helmholtz structures of lower energy. These efforts target a human interpretable, fully automated analysis of MLC identifying qualitatively different actuation regimes, distilling corresponding coherent structures, and developing a digital twin of the plant.


Comparative analysis of layered structures in empirical investor networks and cellphone communication networks. Empirical investor networks (EIN) proposed by cite Ozsoylev Walden Yavuz Bildik 2014 RFS are assumed to capture the information spreading path among investors. Here, we perform a comparative analysis between the EIN and the cellphone communication networks (CN) to test whether EIN is an information exchanging network from the perspective of the layer structures of ego networks. We employ two clustering algorithms ( k means algorithm and H T break algorithm) to detect the layer structures for each node in both networks. We find that the nodes in both networks can be clustered into two groups, one that has a layer structure similar to the theoretical Dunbar Circle corresponding to that the alters in ego networks exhibit a four layer hierarchical structure with the cumulative number of 5, 15, 50 and 150 from the inner layer to the outer layer, and the other one having an additional inner layer with about 2 alters compared with the Dunbar Circle. We also find that the scale ratios, which are estimated based on the unique parameters in the theoretical model of layer structures citep Tamarit Cuesta Dunbar Sanchez 2018 PNAS , conform to a log normal distribution for both networks. Our results not only deepen our understanding on the topological structures of EIN, but also provide empirical evidence of the channels of information diffusion among investors.


Ion getter pumps. Ion Getter Pumps (IGP) are used to create ultra high vacuum. The IGP operation is triggered by the Penning cell structure, which uses a combination of electrical and magnetic fields to confine electrons and start ionization and getter pumping processes. During the years, more IGP configurations have been developed to cope with different gases, such as reactive gases, hydrogen or noble gases. When the IGP is required to reach pressures lower than 10 ( 8) mbar, it needs to be baked out with the whole vacuum system, in order to accelerate the release of the gas atoms trapped inside the pump materials, and the leakage current issue has to be taken into account for a reliable pressure reading.


The incompleteness of an incompleteness argument. G "odel's argument for the First Incompleteness Theorem is, structurally, a proof by contradiction. This article intends to reframe the argument by, first, isolating an additional assumption the argument relies on, and then, second, arguing that the contradiction that emerges at the end should be redirected to refute this initial assumption rather than the completeness of number theory


Stable Low rank Tensor Decomposition for Compression of Convolutional Neural Network. Most state of the art deep neural networks are overparameterized and exhibit a high computational cost. A straightforward approach to this problem is to replace convolutional kernels with its low rank tensor approximations, whereas the Canonical Polyadic tensor Decomposition is one of the most suited models. However, fitting the convolutional tensors by numerical optimization algorithms often encounters diverging components, i.e., extremely large rank one tensors but canceling each other. Such degeneracy often causes the non interpretable result and numerical instability for the neural network fine tuning. This paper is the first study on degeneracy in the tensor decomposition of convolutional kernels. We present a novel method, which can stabilize the low rank approximation of convolutional kernels and ensure efficient compression while preserving the high quality performance of the neural networks. We evaluate our approach on popular CNN architectures for image classification and show that our method results in much lower accuracy degradation and provides consistent performance.


Evaporation kinetics of ferrofluid droplets in magnetic field ambience. The present article discusses the physics and mechanics of evaporation of pendent, aqueous ferrofluid droplets and modulation of the same by external magnetic field. We show experimentally and by mathematical analysis that the presence of magnetic field improves the evaporation rates of ferrofluid droplets. First we tackle the question of improved evaporation of the colloidal droplets compared to water, and propose physical mechanisms to explain the same. Experiments show that the changes in evaporation rates aided by the magnetic field cannot be explained on the basis of changes in surface tension, or based on classical diffusion driven evaporation models. Probing using particle image velocimetry shows that the internal advection kinetics of such droplets plays a direct role towards the augmented evaporation rates by modulating the associated Stefan flow. Infrared thermography reveal changes in the thermal gradients within the droplet and evaluating the dynamic surface tension reveals presence of solutal gradients within the droplet, both brought about by the external field. Based on the premise, a scaling analysis of the internal magnetothermal and magnetosolutal ferroadvection behavior is presented. The model incorporates the role of the governing Hartmann number, the magnetothermal Prandtl number and the magnetosolutal Schmidt number. The analysis and stability maps reveal that the magneto solutal ferroadvection is the more dominant mechanism, and the model is able to predict the internal advection velocities with accuracy. Further, another scaling model to predict the modified Stefan flow is proposed, and is found to accurately predict the improved evaporation rates.


Modular Verification of Autonomous Space Robotics. Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentially endanger nearby astronauts and costly equipment. To minimise mission failure caused by software errors, we can utilise a variety of tools and techniques to verify that the software behaves as intended. In particular, distinct nodes in a robotic system often require different verification techniques to ensure that they behave as expected. This paper introduces a method for integrating the various verification techniques that are applied to robotic software, via a First Order Logic (FOL) specification that captures each node's assumptions and guarantees. These FOL specifications are then used to guide the verification of the individual nodes, be it by testing or the use of a formal method. We also outline a way of measuring our confidence in the verification of the entire system in terms of the verification techniques used.


Smart Close out Netting. Smart Close out Netting aims to standardise and automate specific operational aspects of the legal and regulatory processes of close out netting for prudentially regulated financial institutions. This article provides a review, analysis and perspective of these operational processes, their benefits for prudentially regulated trading institutions, their current inefficiencies, and the extent to which they are amenable to standardisation and automation. The main concepts of Smart Close out Netting are introduced, including the use of a controlled natural language in legal opinions and the use of a data driven framework during netting determination.


Evaluating Geospatial RDF stores Using the Benchmark Geographica 2. Since 2007, geospatial extensions of SPARQL, like GeoSPARQL and stSPARQL, have been defined and corresponding geospatial RDF stores have been implemented. In addition, some work on developing benchmarks for evaluating geospatial RDF stores has been carried out. In this paper, we revisit the Geographica benchmark defined by our group in 2013 which uses both real world and synthetic data to test the performance and functionality of geospatial RDF stores. We present Geographica 2, a new version of the benchmark which extends Geographica by adding one more workload, extending our existing workloads and evaluating 5 more RDF stores. Using three different real workloads, Geographica 2 tests the efficiency of primitive spatial functions in RDF stores and the performance of the RDF stores in real use case scenarios, a more detailed evaluation is performed using a synthetic workload and the scalability of the RDF stores is stressed with the scalability workload. In total eight systems are evaluated out of which six adequately support GeoSPARQL and two offer limited spatial support.


Assessing Software Defection Prediction Performance Why Using the Matthews Correlation Coefficient Matters. Context There is considerable diversity in the range and design of computational experiments to assess classifiers for software defect prediction. This is particularly so, regarding the choice of classifier performance metrics. Unfortunately some widely used metrics are known to be biased, in particular F1. Objective We want to understand the extent to which the widespread use of the F1 renders empirical results in software defect prediction unreliable. Method We searched for defect prediction studies that report both F1 and the Matthews correlation coefficient (MCC). This enabled us to determine the proportion of results that are consistent between both metrics and the proportion that change. Results Our systematic review identifies 8 studies comprising 4017 pairwise results. Of these results, the direction of the comparison changes in 23 of the cases when the unbiased MCC metric is employed. Conclusion We find compelling reasons why the choice of classification performance metric matters, specifically the biased and misleading F1 metric should be deprecated.


Finding Minimum Connected Subgraphs with Ontology Exploration on Large RDF Data. In this paper, we study the following problem given a knowledge graph (KG) and a set of input vertices (representing concepts or entities) and edge labels, we aim to find the smallest connected subgraphs containing all of the inputs. This problem plays a key role in KG based search engines and natural language question answering systems, and it is a natural extension of the Steiner tree problem, which is known to be NP hard. We present RECON, a system for finding approximate answers. RECON aims at achieving high accuracy with instantaneous response (i.e., sub second millisecond delay) over KGs with hundreds of millions edges without resorting to expensive computational resources. Furthermore, when no answer exists due to disconnection between concepts and entities, RECON refines the input to a semantically similar one based on the ontology, and attempt to find answers with respect to the refined input. We conduct a comprehensive experimental evaluation of RECON. In particular we compare it with five existing approaches for finding approximate Steiner trees. Our experiments on four large real and synthetic KGs show that RECON significantly outperforms its competitors and incurs a much smaller memory footprint.


Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. We consider the following query answering problem Given a Boolean conjunctive query and a theory in the Horn loosely guarded fragment, the aim is to determine whether the query is entailed by the theory. In this paper, we present a resolution decision procedure for the loosely guarded fragment, and use such a procedure to answer Boolean conjunctive queries against the Horn loosely guarded fragment. The Horn loosely guarded fragment subsumes classes of rules that are prevalent in ontology based query answering, such as Horn ALCHOI and guarded existential rules. Additionally, we identify star queries and cloud queries, which using our procedure, can be answered against the loosely guarded fragment.


Particle In Cell simulations of the parallel proton firehose instability influenced by the electron temperature anisotropy in solar wind conditions. In situ observations of the solar wind show a limited level of particle temperature anisotropy with respect to the interplanetary magnetic field direction. Kinetic electromagnetic instabilities are efficient to prevent the excessive growth of the anisotropy of particle velocity distribution functions. Among them, the firehose instabilities are often considered to prevent the increase of the parallel temperature and hence to shape the velocity distribution functions of electrons and protons in the solar wind. We present a non linear modeling of the parallel firehose instability, retaining a kinetic description for both the electrons and protons. One dimensional (1D) fully kinetic Particle In Cell simulations using the Energy Conserving semi implicit method (ECsim) are performed to clarify the role of the electron temperature anisotropy in the development of the parallel proton firehose instability. We found that in the presence of an electron temperature anisotropy, such that the temperature parallel to the background magnetic field is higher than the temperature in the perpendicular direction, the onset of the parallel proton firehose instability occurs earlier and its growth rate is faster. The enhanced wave fluctuations contribute to the particle scattering reducing the temperature anisotropy to a stable, nearly isotropic state. The simulation results compare well with linear theory. A test case of 1D simulations at oblique angles with respect to the magnetic field is also considered, as a first step to study the cumulative effect of protons and electrons on the full spectrum of instabilities.


Looking beyond the horizon Evaluation of four compact visualization techniques for time series in a spatial context. Visualizing time series in a dense spatial context such as a geographical map is a challenging task, which requires careful balance between the amount of depicted data and perceptual precision. Horizon graphs are a well known technique for compactly representing time series data. They provide fine details while simultaneously giving an overview of the data where extrema are emphasized. Horizon graphs compress the vertical resolution of the individual line graphs, but they do not affect the horizontal resolution. We present two variations of a new visualization technique called collapsed horizon graphs which extend the idea of horizon graphs to two dimensions. Our main contribution is a quantitative evaluation that experimentally compares four visualization techniques with high visual information resolution (compact boxplots, horizon graphs, collapsed horizon graphs, and braided collapsed horizon graphs). The experiment investigates the performance of these techniques across tasks addressing both individual graphs as well as groups of adjacent graphs. Compact boxplots consistently provide good results for all tasks, horizon graphs excel, for instance, in maximum tasks but underperform in trend detection. Collapsed horizon graphs shine in certain tasks in which an increased horizontal resolution is beneficial. Moreover, our results indicate that the visual complexity of the techniques highly affects users' confidence and perceived task difficulty.


Interesting Open Problem Related to Complexity of Computing the Fourier Transform and Group Theory. The Fourier Transform is one of the most important linear transformations used in science and engineering. Cooley and Tukey's Fast Fourier Transform (FFT) from 1964 is a method for computing this transformation in time O(n log n) . From a lower bound perspective, relatively little is known. Ailon shows in 2013 an Omega(n log n) bound for computing the normalized Fourier Transform assuming only unitary operations on pairs of coordinates is allowed. The goal of this document is to describe a natural open problem that arises from this work, which is related to group theory, and in particular to representation theory.


A QoS Aware Approach to Service Oriented Communication in Future Automotive Networks. Service Oriented Architecture (SOA) is about to enter automotive networks based on the SOME IP middleware and an Ethernet high bandwidth communication layer. It promises to meet the growing demands on connectivity and flexibility for software components in modern cars. Largely heterogeneous service requirements and time sensitive network functions make Quality of Service (QoS) agreements a vital building block within future automobiles. Existing middleware solutions, however, do not allow for a dynamic selection of QoS. This paper presents a service oriented middleware for QoS aware communication in future cars. We contribute a protocol for dynamic QoS negotiation along with a multi protocol stack, which supports the different communication classes as derived from a thorough requirements analysis. We validate the feasibility of our approach in a case study and evaluate its performance in a simulation model of a realistic in car network. Our findings indicate that QoS aware communication can indeed meet the requirements, while the impact of the service negotiations and setup times of the network remain acceptable provided the cross traffic during negotiations stays below 70 of the available bandwidth.


When Internet of Things Meets Blockchain Challenges in Distributed Consensus. Blockchain has been regarded as a promising technology for Internet of Things (IoT), since it provides significant solutions for decentralized network which can address trust and security concerns, high maintenance cost problem, etc. The decentralization provided by blockchain can be largely attributed to the use of consensus mechanism, which enables peer to peer trading in a distributed manner without the involvement of any third party. This article starts from introducing the basic concept of blockchain and illustrating why consensus mechanism plays an indispensable role in a blockchain enabled IoT system. Then, we discuss the main ideas of two famous consensus mechanisms including Proof of Work (PoW) and Proof of Stake (PoS), and list their limitations in IoT. Next, two mainstream Direct Acyclic Graph (DAG) based consensus mechanisms, i.e., the Tangle and Hashgraph, are reviewed to show why DAG consensus is more suitable for IoT system than PoW and PoS. Potential issues and challenges of DAG based consensus mechanism to be addressed in the future are discussed in the last.


On the expansivity gap of integer polynomials. Expansive polynomials (whose roots are greater than 1 in modulus) often arise in dynamical systems and other computational problems. This paper examines the expansivity gap (the gap between 1 and the smallest modulus of the roots) of these polynomials, assuming that the coefficients are integers. We give lower bounds on the expansivity gap, using the degree and the coefficient size as parameters. We also construct a family of polynomials which indicate the sharpness of these bounds. As a side result, we present an explicit condition for deciding expansivity of polynomials, which we find superior to the existing recursive methods for our purpose.


Quantization coefficients for uniform distributions on the boundaries of regular polygons. In this paper, we give a general formula to determine the quantization coefficients for uniform distributions defined on the boundaries of different regular m sided polygons inscribed in a circle. The result shows that the quantization coefficient for the uniform distribution on the boundary of a regular m sided polygon inscribed in a circle is an increasing function of m , and approaches to the quantization coefficient for the uniform distribution on the circle as m tends to infinity.