Semidefinite Relaxations of Products of Nonnegative Forms on the Sphere. We study the problem of maximizing the geometric mean of d low degree non negative forms on the real or complex sphere in n variables. We show that this highly non convex problem is NP hard even when the forms are quadratic and is equivalent to optimizing a homogeneous polynomial of degree O(d) on the sphere. The standard Sum of Squares based convex relaxation for this polynomial optimization problem requires solving a semidefinite program (SDP) of size n O(d) , with multiplicative approximation guarantees of Omega( frac 1 n ) . We exploit the compact representation of this polynomial to introduce a SDP relaxation of size polynomial in n and d , and prove that it achieves a constant factor multiplicative approximation when maximizing the geometric mean of non negative quadratic forms. We also show that this analysis is asymptotically tight, with a sequence of instances where the gap between the relaxation and true optimum approaches this constant factor as d rightarrow infty . Next we propose a series of intermediate relaxations of increasing complexity that interpolate to the full Sum of Squares relaxation, as well as a rounding algorithm that finds an approximate solution from the solution of any intermediate relaxation. Finally we show that this approach can be generalized for relaxations of products of non negative forms of any degree.


Settled elements in profinite groups. Given a polynomial of degree d over a number field, the image of the associated arboreal representation of the absolute Galois group of the field is a profinite group acting on the d ary tree. Boston and Jones conjectured that for a quadratic polynomial, the image of such a representation contains a dense set of settled elements. Here an element is settled if it exhibits a certain pattern of growth of cycles at finite levels of the tree. In this paper, we prove the conjecture of Boston and Jones generically in the case when the quadratic polynomial has a strictly pre periodic post critical orbit of length 2, and provide new evidence that the conjecture holds for quadratic polynomials with strictly pre periodic post critical orbits of length at least 3. To prove our results, we introduce a new dynamical method, which uses the notions of a maximal torus and its Weyl group. These notions are analogous to the notions of maximal tori and Weyl groups in the theory of compact Lie groups, where they are fundamental. For profinite groups, maximal tori and Weyl groups contain the information about settled elements, and this is the foundation of our method.


On Team Decision Problems with Nonclassical Information Structures. In this paper, we consider sequential dynamic team decision problems with nonclassical information structures. First, we address the problem from the point of view of a "manager" who seeks to derive the optimal strategy of the team in a centralized process. We derive structural results that yield an information state for the team which does not depend on the control strategy, and thus it can lead to a dynamic programming decomposition where the optimization problem is over the space of the team's decisions. We, then, derive structural results for each team member that yield an information state which does not depend on their control strategy, and thus it can lead to a dynamic programming decomposition where the optimization problem for each team member is over the space of their decisions. Finally, we show that the control strategy of each team member is the same as the one derived by the manager. We present an illustrative example of a dynamic team with a delayed sharing information structure.


Towards More Generalizable One shot Visual Imitation Learning. A general purpose robot should be able to master a wide range of tasks and quickly learn a novel one by leveraging past experiences. One shot imitation learning (OSIL) approaches this goal by training an agent with (pairs of) expert demonstrations, such that at test time, it can directly execute a new task from just one demonstration. However, so far this framework has been limited to training on many variations of one task, and testing on other unseen but similar variations of the same task. In this work, we push for a higher level of generalization ability by investigating a more ambitious multi task setup. We introduce a diverse suite of vision based robot manipulation tasks, consisting of 7 tasks, a total of 61 variations, and a continuum of instances within each variation. For consistency and comparison purposes, we first train and evaluate single task agents (as done in prior few shot imitation work). We then study the multi task setting, where multi task training is followed by (i) one shot imitation on variations within the training tasks, (ii) one shot imitation on new tasks, and (iii) fine tuning on new tasks. Prior state of the art, while performing well within some single tasks, struggles in these harder multi task settings. To address these limitations, we propose MOSAIC (Multi task One Shot Imitation with self Attention and Contrastive learning), which integrates a self attention model architecture and a temporal contrastive module to enable better task disambiguation and more robust representation learning. Our experiments show that MOSAIC outperforms prior state of the art in learning efficiency, final performance, and learns a multi task policy with promising generalization ability via fine tuning on novel tasks.


Social Distancing, Gathering, Search Games Mobile Agents on Simple Networks. During epidemics, the population is asked to Socially Distance, with pairs of individuals keeping two meters apart. We model this as a new optimization problem by considering a team of agents placed on the nodes of a network. Their common aim is to achieve pairwise graph distances of at least D, a state we call socially distanced. (If D 1, they want to be at distinct nodes if D 2 they want to be non adjacent.) We allow only a simple type of motion called a Lazy Random Walk with probability p (called the laziness parameter), they remain at their current node next period with complementary probability 1 p , they move to a random adjacent node. The team seeks the common value of p which achieves social distance in the least expected time, which is the absorption time of a Markov chain. We observe that the same Markov chain, with different goals (absorbing states), models the gathering, or multi rendezvous problem (all agents at the same node). Allowing distinct laziness for two types of agents (searchers and hider), extends the existing literature on predator prey search games to multiple searchers. We consider only special networks line, cycle and grid. Keywords epidemic, random walk, dispersion, rendezvous search


Mutual Visibility in Graphs. Let G (V,E) be a graph and P subseteq V a set of points. Two points are mutually visible if there is a shortest path between them without further points. P is a mutual visibility set if its points are pairwise mutually visible. The mutual visibility number of G is the size of any largest mutual visibility set. In this paper we start the study about this new invariant and the mutual visibility sets in undirected graphs. We introduce the mutual visibility problem which asks to find a mutual visibility set with a size larger than a given number. We show that this problem is NP complete, whereas, to check whether a given set of points is a mutual visibility set is solvable in polynomial time. Then we study mutual visibility sets and mutual visibility numbers on special classes of graphs, such as block graphs, trees, grids, tori, complete bipartite graphs, cographs. We also provide some relations of the mutual visibility number of a graph with other invariants.


It is rotating leaders who build the swarm social network determinants of growth for healthcare virtual communities of practice. Purpose The purpose of this paper is to identify the factors influencing the growth of healthcare virtual communities of practice (VCoPs) through a seven year longitudinal study conducted using metrics from social network and semantic analysis. By studying online communication along the three dimensions of social interactions (connectivity, interactivity and language use), the authors aim to provide VCoP managers with valuable insights to improve the success of their communities. Design methodology approach Communications over a period of seven years (April 2008 to April 2015) and between 14,000 members of 16 different healthcare VCoPs coexisting on the same web platform were analysed. Multilevel regression models were used to reveal the main determinants of community growth over time. Independent variables were derived from social network and semantic analysis measures. Findings Results show that structural and content based variables predict the growth of the community. Progressively, more people will join a community if its structure is more centralised, leaders are more dynamic (they rotate more) and the language used in the posts is less complex. Research limitations implications The available data set included one Web platform and a limited number of control variables. To consolidate the findings of the present study, the experiment should be replicated on other healthcare VCoPs. Originality value The study provides useful recommendations for setting up and nurturing the growth of professional communities, considering, at the same time, the interaction patterns among the community members, the dynamic evolution of these interactions and the use of language. New analytical tools are presented, together with the use of innovative interaction metrics, that can significantly influence community growth, such as rotating leadership.


Approximation algorithm for finding short synchronizing words in weighted automata. In this paper we are dealing with the issue of finding possibly short synchronizing words in automata with weight assigned to each letter in the alphabet Sigma . First we discuss some complexity problems, and then we present new approximation algorithm in four variations.


Double derivations of n Hom Lie color algebras. We study the double derivation algebra dd( LL) of n Hom Lie color algebra LL and describe the relation between dd( LL) and the usual derivation Hom Lie color algebra Der( LL). We prove that the inner derivation algebra Inn( LL) is an ideal of the double derivation algebra dd( LL). We also show that if LL is a perfect n Hom Lie color algebra with certain constraints on the base field, then the centralizer of Inn( LL) in dd( LL) is trivial. In addition, we obtain that for every centerless perfect n Hom Lie color algebra LL, the triple derivations of the derivation algebra Der( LL) are exactly the derivations of Der( LL).


Capturing Logical Structure of Visually Structured Documents with Multimodal Transition Parser. While many NLP pipelines assume raw, clean texts, many texts we encounter in the wild, including a vast majority of legal documents, are not so clean, with many of them being visually structured documents (VSDs) such as PDFs. Conventional preprocessing tools for VSDs mainly focused on word segmentation and coarse layout analysis, whereas fine grained logical structure analysis (such as identifying paragraph boundaries and their hierarchies) of VSDs is underexplored. To that end, we proposed to formulate the task as prediction of "transition labels" between text fragments that maps the fragments to a tree, and developed a feature based machine learning system that fuses visual, textual and semantic cues.Our system is easily customizable to different types of VSDs and it significantly outperformed baselines in identifying different structures in VSDs. For example, our system obtained a paragraph boundary detection F1 score of 0.953 which is significantly better than a popular PDF to text tool with an F1 score of 0.739.


Engineering Swarms of Cyber Physical Systems with the CPSwarm Workbench. Engineering swarms of cyber physical systems (CPSs) is a complex process. We present the CPSwarm workbench that creates an automated design workflow to ease this process. This formalized workflow guides the user from modeling, to code generation, to deployment, both in simulation and on CPS hardware platforms. The workbench combines existing and emerging tools to solve real world CPS swarm problems. As a proof of concept, we use the workbench to design a swarm of unmanned aerial vehicles (UAVs) and unmanned ground vehicles (UGVs) for a search and rescue (SAR) use case. We evaluate the resulting swarm behaviors on three levels. First, abstract simulations for rapid prototyping. Second, detailed simulation to test the correctness of the results. Third, deployment on hardware to demonstrate the applicability. We measure the swarm performance in terms of area covered and victims rescued. The results show that the performance of the swarm is proportional to its size. Despite some manual steps, the proposed workbench shows to be well suited to ease the complicated task of deploying a swarm of CPSs.


Reflexive hull discriminants and applications. We introduce the reflexive hull discriminant as a tool to study noncommutative algebras that are finitely generated, but not necessarily free, over their centers. As an example, we compute the reflexive hull discriminants for quantum generalized Weyl algebras and use them to determine automorphism groups and other properties, recovering results of Su 'a rez Alvarez, Vivas, and others.


Weak stablity and closure in turbulence. We survey recent results in the mathematical literature on the equations of incompressible fluid dynamics, highlighting common themes and how they might contribute to the understanding of some phenomena in the theory of fully developed turbulence.


Period Constraints on Hyperelliptic Branch Points. Information Theoretic analysis of the periods of a hyperelliptic curve provides more information about the well known but abstract relationship between the branch points and the periods. Here one constructs a canonical homology basis for a hyperelliptic curve that shows that its periods must satisfy certain constraints and defines an open set in the Siegel upper half space that cannot contain any period matrices of hyperelliptic curves.


Separation of singularities for the Bergman space and application to control theory. In this paper, we solve a separation of singularities problem in the Bergman space. More precisely, we show that if P subset mathbb C is a convex polygon which is the intersection of n half planes, then the Bergman space on P decomposes into the sum of the Bergman spaces on these half planes. The result applies to the characterization of the reachable space of the one dimensional heat equation on a finite interval with boundary controls. We prove that this space is a Bergman space of the square which has the given interval as a diagonal. This gives an affirmative answer to a conjecture raised in HKT20 .


Adaptive Interference Coordination over Channels with Unknown State at the Encoder and the Decoder. We generalize the problem of controlling the interference created to an external observer while communicating over a discrete memoryless channel (DMC) which was studied in cite serrano 2014 . In particular, we consider the scenario where the transmission is established over a compound DMC channel with unknown state at both the encoder and the decoder. Depending on the exact state s of the channel, we ask for a different level of average precision Delta s on the establishment of the interference coordination with the external observer. For this set up, we fully characterize the capacity region.


Solitary water wave interactions for the Forced Korteweg de Vries equation. The aim of this work is to study solitary water wave interactions between two topographic obstacles for the forced Korteweg de Vries equation (fKdV). Focusing on the details of the interactions, we identify regimes in which solitary wave interactions maintain two well separated crests and regimes where the number of local maxima varies according to the laws 2 rightarrow 1 rightarrow 2 rightarrow 1 rightarrow 2 or 2 rightarrow 1 rightarrow 2 . It shows that the geometric Lax categorization of Korteweg de Vries (KdV) two soliton interactions still holds for the fKdV equation.


On the Role of Neural Collapse in Transfer Learning. We study the ability of foundation models to learn representations for classification that are transferable to new, unseen classes. Recent results in the literature show that representations learned by a single classifier over many classes are competitive on few shot learning problems with representations learned by special purpose algorithms designed for such problems. In this paper we provide an explanation for this behavior based on the recently observed phenomenon that the features learned by overparameterized classification networks show an interesting clustering property, called neural collapse. We demonstrate both theoretically and empirically that neural collapse generalizes to new samples from the training classes, and more importantly to new classes as well, allowing foundation models to provide feature maps that work well in transfer learning and, specifically, in the few shot setting.


AdaptiveFog A Modelling and Optimization Framework for Fog Computing in Intelligent Transportation Systems. Fog computing has been advocated as an enabling technology for computationally intensive services in smart connected vehicles. Most existing works focus on analyzing the queueing and workload processing latencies associated with fog computing, ignoring the fact that wireless access latency can sometimes dominate the overall latency. This motivates the work in this paper, where we report on a five month measurement study of the wireless access latency between connected vehicles and a fog cloud computing system supported by commercially available LTE networks. We propose AdaptiveFog, a novel framework for autonomous and dynamic switching between different LTE networks that implement a fog cloud infrastructure. AdaptiveFog's main objective is to maximize the service confidence level, defined as the probability that the latency of a given service type is below some threshold. To quantify the performance gap between different LTE networks, we introduce a novel statistical distance metric, called weighted Kantorovich Rubinstein (K R) distance. Two scenarios based on finite and infinite horizon optimization of short term and long term confidence are investigated. For each scenario, a simple threshold policy based on weighted K R distance is proposed and proved to maximize the latency confidence for smart vehicles. Extensive analysis and simulations are performed based on our latency measurements. Our results show that AdaptiveFog achieves around 30 to 50 improvement in the confidence levels of fog and cloud latencies, respectively.


Counterfactual Explanations for Machine Learning Challenges Revisited. Counterfactual explanations (CFEs) are an emerging technique under the umbrella of interpretability of machine learning (ML) models. They provide what if'' feedback of the form if an input datapoint were x' instead of x , then an ML model's output would be y' instead of y .'' Counterfactual explainability for ML models has yet to see widespread adoption in industry. In this short paper, we posit reasons for this slow uptake. Leveraging recent work outlining desirable properties of CFEs and our experience running the ML wing of a model monitoring startup, we identify outstanding obstacles hindering CFE deployment in industry.


Hybrid Super Intelligence and Polymetric Analysis. The problem of possible applications Polymetric Analysis for the resolution problems of artificial Intelligence is discussed. As example the hybrid super intelligence system by N. Moiseev type was selected. The bond between polymetric analysis and hybrid super intelligence system was shown. In operational sense polymetric analysis is more general system. Therefore main principles of Moiseev concept may be unify with the help of polymetric analysis. Main peculiarities of this unification are analyzed.


OVANet One vs All Network for Universal Domain Adaptation. Universal Domain Adaptation (UNDA) aims to handle both domain shift and category shift between two datasets, where the main challenge is to transfer knowledge while rejecting unknown classes which are absent in the labeled source data but present in the unlabeled target data. Existing methods manually set a threshold to reject unknown samples based on validation or a pre defined ratio of unknown samples, but this strategy is not practical. In this paper, we propose a method to learn the threshold using source samples and to adapt it to the target domain. Our idea is that a minimum inter class distance in the source domain should be a good threshold to decide between known or unknown in the target. To learn the inter and intra class distance, we propose to train a one vs all classifier for each class using labeled source data. Then, we adapt the open set classifier to the target domain by minimizing class entropy. The resulting framework is the simplest of all baselines of UNDA and is insensitive to the value of a hyper parameter yet outperforms baselines with a large margin.


VORRT COLREGs A Hybrid Velocity Obstacles and RRT Based COLREGs Compliant Path Planner for Autonomous Surface Vessels. This paper presents VORRT COLREGs, a hybrid technique that combines velocity obstacles (VO) and rapidly exploring random trees (RRT) to generate safe trajectories for autonomous surface vessels (ASVs) while following nautical rules of the road. RRT generates a set of way points and the velocity obstacles method ensures safe travel between way points. We also ensure that the actions of ASVs do not violate maritime collision guidelines. Earlier work has used RRT and VO separately to generate paths for ASVs. However, RRT does not handle highly dynamic situations well and and VO seems most suitable as a local path planner. Combining both approaches, VORRT COLREGs is a global path planner that uses a joint forward simulation to ensure that generated paths remain valid and collision free as the situation changes. Experiments were conducted in different types of collision scenarios and with different numbers of ASVs. Results show that VORRT COLREGS generated collision regulations (COLREGs) complaint paths in open ocean scenarios. Furthermore, VORRT COLREGS successfully generated compliant paths within traffic separation schemes. These results show the applicability of our technique for generating paths for ASVs in different collision scenarios. To the best of our knowledge, this is the first work that combines velocity obstacles and RRT to produce safe and COLREGs complaint path for ASVs.


Jump rope vortex flow in liquid metal Rayleigh B 'enard convection in a cuboid container of aspect ratio five. We study the topology and the temporal dynamics of turbulent Rayleigh Benard convection in a liquid metal with a Prandtl number of 0.03 located inside a box with a square base area and an aspect ratio of five. Experiments and numerical simulations are focused on the moderate Rayleigh number range, where a new cellular flow regime has been reported by a previous study (Akashi et al., Phys. Rev. Fluids, vol.4, 2019, 033501). This flow structure shows symmetries with respect to the vertical planes crossing at the center of the container. The dynamic behaviour is dominated by strong three dimensional oscillations with a period length that corresponds to the turnover time. Our analysis reveals that the flow structure in the aspect ratio five box corresponds in key features to the jump rope vortex structure, which has recently been discovered in an aspect ratio two cylinder (Vogt et al., Proc. Natl Acad. Sci. USA, vol.115, 2018, 12674 12679). While in the cylinder a single jump rope vortex occurs, the coexistence of four recirculating swirls is detected in this study. Their cycling movement is restrained by the limited height of the fluid layer in the aspect ratio five box. Their approach to the lid or the bottom of the convection box causes a temporal deceleration of both the horizontal velocity at the respective boundary and the vertical velocity in the bulk, which in turn is reflected in Nusselt number oscillations. The cellular flow regime shows remarkable similarities to properties commonly attributed to turbulent superstructures


Unsupervised Representation Disentanglement of Text An Evaluation on Synthetic Datasets. To highlight the challenges of achieving representation disentanglement for text domain in an unsupervised setting, in this paper we select a representative set of successfully applied models from the image domain. We evaluate these models on 6 disentanglement metrics, as well as on downstream classification tasks and homotopy. To facilitate the evaluation, we propose two synthetic datasets with known generative factors. Our experiments highlight the existing gap in the text domain and illustrate that certain elements such as representation sparsity (as an inductive bias), or representation coupling with the decoder could impact disentanglement. To the best of our knowledge, our work is the first attempt on the intersection of unsupervised representation disentanglement and text, and provides the experimental framework and datasets for examining future developments in this direction.


Orderenergetic, hypoenergetic and equienergetic graphs resulting from some graph operations. A graph G is said to be orderenergetic, if its energy equal to its order and it is said to be hypoenergetic if its energy less than its order. Two non isomorphic graphs of same order are said to be equienergetic if their energies are equal. In this paper, we construct some new families of orderenergetic graphs, hypoenergetic graphs, equienergetic graphs, equiorderenergetic graphs and equihypoenergetic graphs.


A totally disconnected invitation to locally compact groups. We present a selection of results contributing to a structure theory of totally disconnected locally compact groups.


An overview of continuous and discrete phasor analysis of binned or time gated periodic decays. Time resolved analysis of periodically excited luminescence decays by the phasor method in the presence of time gating or binning is revisited. Analytical expressions for discrete configurations of square gates are derived and the locus of the phasors of such modified periodic single exponential decays is compared to the canonical universal semicircle. The effects of IRF offset, decay truncation and gate shape are also discussed. Finally, modified expressions for the phase and modulus lifetimes are provided for some simple cases. A discussion of a modified phasor calibration approach is presented.


On objects dual to tree cut decompositions. Tree cut width is a graph parameter introduced by Wollan that is an analogue of treewidth for the immersion order on graphs in the following sense the tree cut width of a graph is functionally equivalent to the largest size of a wall that can be found in it as an immersion. In this work we propose a variant of the definition of tree cut width that is functionally equivalent to the original one, but for which we can state and prove a tight duality theorem relating it to naturally defined dual objects appropriately defined brambles and tangles. Using this result we also propose a game characterization of tree cut width.


Gorenstein braid cones and crepant resolutions. To any poset P , we associate a convex cone called a braid cone. We also associate a fan and study the toric varieties the cone and fan define. The fan always defines a smooth toric variety X P , while the toric variety U P of the cone may be singular. We show that X P dashrightarrow U P is a crepant resolution of singularities if and only if P is bounded. Next, we aim to determine when U P is Gorenstein or mathbb Q Gorenstein. We prove that whether or not U P is ( mathbb Q ) Gorenstein depends only on the biconnected components of the Hasse diagram of P . In the case that P has a minimum or maximum element, we show that the Gorenstein property of U P is completely determined by the M "obius function of P . We also provide a recursive method that determines if U P is ( mathbb Q ) Gorenstein in this case. We conjecture that U P is Gorenstein if and only if it is mathbb Q Gorenstein. We verify this conjecture for posets of length 1 and also for posets with a minimum or maximum element.


Canonical diffeomorphisms of manifolds near spheres. For a given Riemannian manifold (M n, g) which is near standard sphere (S n, g round ) in the Gromov Hausdorff topology and satisfies Rc geq n 1 , it is known by Cheeger Colding theory that M is diffeomorphic to S n . A diffeomorphism varphi M to S n was constructed by Cheeger and Colding using Reifenberg method. In this note, we show that a desired diffeomorphism can be constructed canonically. Let f i i 1 n 1 be the first (n 1) eigenfunctions of (M, g) and f (f 1, f 2, cdots, f n 1 ) . Then the map tilde f frac f f M to S n provides a diffeomorphism, and tilde f satisfies a uniform bi H "older estimate. We further show that this bi H "older estimate is sharp and cannot be improved to a bi Lipschitz estimate. Our study could be considered as a continuation of the previous works of Colding and Petersen.


TBNet Two Stream Boundary aware Network for Generic Image Manipulation Localization. Finding tampered regions in images is a hot research topic in machine learning and computer vision. Although many image manipulation location algorithms have been proposed, most of them only focus on the RGB images with different color spaces, and the frequency information that contains the potential tampering clues is often ignored. In this work, a novel end to end two stream boundary aware network (abbreviated as TBNet) is proposed for generic image manipulation localization in which the RGB stream, the frequency stream, and the boundary artifact location are explored in a unified framework. Specifically, we first design an adaptive frequency selection module (AFS) to adaptively select the appropriate frequency to mine inconsistent statistics and eliminate the interference of redundant statistics. Then, an adaptive cross attention fusion module (ACF) is proposed to adaptively fuse the RGB feature and the frequency feature. Finally, the boundary artifact location network (BAL) is designed to locate the boundary artifacts for which the parameters are jointly updated by the outputs of the ACF, and its results are further fed into the decoder. Thus, the parameters of the RGB stream, the frequency stream, and the boundary artifact location network are jointly optimized, and their latent complementary relationships are fully mined. The results of extensive experiments performed on four public benchmarks of the image manipulation localization task, namely, CASIA1.0, COVER, Carvalho, and In The Wild, demonstrate that the proposed TBNet can significantly outperform state of the art generic image manipulation localization methods in terms of both MCC and F1.


Does the duration of rapid release cycles affect the bug handling activity?. Software projects are regularly updated with new functionality and bug fixes through so called releases. In recent years, many software projects have been shifting to shorter release cycles and this can affect the bug handling activity. Past research has focused on the impact of switching from traditional to rapid release cycles with respect to bug handling activity, but the effect of the rapid release cycle duration has not yet been studied. We empirically investigate releases of 420 open source projects with rapid release cycles to understand the effect of variable and rapid release cycle durations on bug handling activity. We group the releases of these projects into five categories of release cycle durations. For each project, we investigate how the sequence of releases is related to bug handling activity metrics and we study the effect of the variability of cycle durations on bug fixing. Our results did not reveal any statistically significant difference for the studied bug handling activity metrics in the presence of variable rapid release cycle durations. This suggests that the duration of fast release cycles does not seem to impact bug handling activity.


Hyperstyle A Tool for Assessing the Code Quality of Solutions to Programming Assignments. In software engineering, it is not enough to simply write code that only works as intended, even if it is free from vulnerabilities and bugs. Every programming language has a style guide and a set of best practices defined by its community, which help practitioners to build solutions that have a clear structure and therefore are easy to read and maintain. To introduce assessment of code quality into the educational process, we developed a tool called Hyperstyle. To make it reflect the needs of the programming community and at the same time be easily extendable, we built it upon several existing professional linters and code checkers. Hyperstyle supports four programming languages (Python, Java, Kotlin, and Javascript) and can be used as a standalone tool or integrated into a MOOC platform. We have integrated the tool into two educational platforms, Stepik and JetBrains Academy, and it has been used to process about one million submissions every week since May 2021.


Tapered helical undulator system for high efficiency energy extraction from a high brightness electron beam. In this paper we discuss the design choices and construction strategy of the tapered undulator system designed for a high energy extraction efficiency experiment in the ultraviolet region of the electromagnetic spectrum planned for installation at the Argonne National Laboratory Linac Extension Area (LEA) beamline. The undulator is comprised of 4 sections pure permanent magnet Halbach array separated by short break sections, each one of them housing a focusing quadrupole doublet and a phase shifter. The quadrupoles use a novel hybrid design which allows one to vary the gradient and match the beam transversely. The undulator tapering profile is optimized to maximize the energy conversion efficiency from a 343 MeV 1 kA beam into coherent 257.5 nm radiation taking into account the longitudinal current profile generated by the linac.


Qualitative integrals on Dragonfly algebras. In this paper, we investigate qualitative integrals (generalizations of Sugeno integral) acting on recently introduced Dragonfly algebras. These algebras are designed for applications in data analysis (based on fuzzy relational compositions) when some data are unknown (e.g., missing). Unknown data are represented by the additional dummy value. Definitions of operations on Dragonfly algebras follow lower estimation strategy, i.e., results of operations can be interpreted as lower estimations of results obtained when unknown values are replaced by known ones. We define qualitative integrals on Dragonfly algebras and show their monotonicity. We also prove results characterizing when these integrals return known (or unknown) values. We also present an illustrative example and hint directions of further research.


Online Trading Models with Deep Reinforcement Learning in the Forex Market Considering Transaction Costs. In recent years, a wide range of investment models have been created using artificial intelligence. Automatic trading by artificial intelligence can expand the range of trading methods, such as by conferring the ability to operate 24 hours a day and the ability to trade with high frequency. Automatic trading can also be expected to trade with more information than is available to humans if it can sufficiently consider past data. In this paper, we propose an investment agent based on a deep reinforcement learning model, which is an artificial intelligence model. The model considers the transaction costs involved in actual trading and creates a framework for trading over a long period of time so that it can make a large profit on a single trade. In doing so, it can maximize the profit while keeping transaction costs low. In addition, in consideration of actual operations, we use online learning so that the system can continue to learn by constantly updating the latest online data instead of learning with static data. This makes it possible to trade in non stationary financial markets by always incorporating current market trend information.


Sequence Model with Self Adaptive Sliding Window for Efficient Spoken Document Segmentation. Transcripts generated by automatic speech recognition (ASR) systems for spoken documents lack structural annotations such as paragraphs, significantly reducing their readability. Automatically predicting paragraph segmentation for spoken documents may both improve readability and downstream NLP performance such as summarization and machine reading comprehension. We propose a sequence model with self adaptive sliding window for accurate and efficient paragraph segmentation. We also propose an approach to exploit phonetic information, which significantly improves robustness of spoken document segmentation to ASR errors. Evaluations are conducted on the English Wiki 727K document segmentation benchmark, a Chinese Wikipedia based document segmentation dataset we created, and an in house Chinese spoken document dataset. Our proposed model outperforms the state of the art (SOTA) model based on the same BERT Base, increasing segmentation F1 on the English benchmark by 4.2 points and on Chinese datasets by 4.3 10.1 points, while reducing inference time to less than 1 6 of inference time of the current SOTA.


Earthquake Breakdown Energy Scaling Despite Constant Fracture Energy. In the quest to determine fault weakening processes that govern earthquake mechanics, it is common to infer the earthquake breakdown energy from seismological measurements. Breakdown energy is observed to scale with slip, which is often attributed to enhanced fault weakening with continued slip or at high slip rates, possibly caused by flash heating and thermal pressurization. However, breakdown energy varies by more than six orders of magnitude, which is physically irreconcilable with prevailing material properties. We present a dynamic model that demonstrates that breakdown energy scaling can occur despite constant fracture energy and does not require thermal pressurization or other enhanced weakening. Instead, earthquake breakdown energy scaling occurs simply due to scale invariant stress drop overshoot, which is affected more directly by the overall rupture mode crack like or pulse like rather than from a specific slip weakening relationship. Our findings suggest that breakdown energy may be used to discern crack like earthquakes from self healing pulses with negative breakdown energy.


Automata Techniques for Temporal Answer Set Programming. Temporal and dynamic extensions of Answer Set Programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of temporal operators to reason with dynamic scenarios in a very effective way. In my Ph.D. research, I intend to exploit the relationship between automata theory and dynamic logic to add automata based techniques to the ASP solver CLINGO helping us to deal with theses type of problems.


Arithmetic and topology of classical structures associated to plane quartics. We consider moduli spaces of plane quartics marked with various structures such as Cayley octads, Aronhold heptads, Steiner complexes and G "opel subsets and determine their cohomology. This answers a series of questions of Jesse Wolfson. We also explore some arithmetic applications over finite fields.


On the Energy Scaling Behaviour of a Singularly Perturbed Tartar Square. In this article we derive an (almost) optimal scaling law for a singular perturbation problem associated with the Tartar square. As in cite W97, C99 , our upper bound quantifies the well known construction which is used in the literature to prove flexibility of the Tartar square in the sense of flexibility of approximate solutions to the differential inclusion. The main novelty of our article is the derivation of an (up to logarithmic powers matching) ansatz free lower bound which relies on a bootstrap argument in Fourier space and is related to a quantification of the interaction of a nonlinearity and a negative Sobolev space in the form of "a chain rule in a negative Sobolev space". Both the lower and the upper bound arguments give evidence of the involved "infinite order of lamination".


Blowing up sequences of constant mean curvature tori with fixed spectral genus in the Euclidean 3 space to minimal surfaces. We investigate conditions under which a blowup, i.e. a rescaling in the parameter domain and in the ambient space, of a sequence of constant mean curvature torus immersions into the Euclidean 3 space produces a sequence of which a subsequence converges to a non trivial minimal surface immersion.


Machine Learning for Mediation in Armed Conflicts. Today's conflicts are becoming increasingly complex, fluid and fragmented, often involving a host of national and international actors with multiple and often divergent interests. This development poses significant challenges for conflict mediation, as mediators struggle to make sense of conflict dynamics, such as the range of conflict parties and the evolution of their political positions, the distinction between relevant and less relevant actors in peace making, or the identification of key conflict issues and their interdependence. International peace efforts appear increasingly ill equipped to successfully address these challenges. While technology is being increasingly used in a range of conflict related fields, such as conflict predicting or information gathering, less attention has been given to how technology can contribute to conflict mediation. This case study is the first to apply state of the art machine learning technologies to data from an ongoing mediation process. Using dialogue transcripts from peace negotiations in Yemen, this study shows how machine learning tools can effectively support international mediators by managing knowledge and offering additional conflict analysis tools to assess complex information. Apart from illustrating the potential of machine learning tools in conflict mediation, the paper also emphasises the importance of interdisciplinary and participatory research design for the development of context sensitive and targeted tools and to ensure meaningful and responsible implementation.


Person MinkUNet 3D Person Detection with LiDAR Point Cloud. In this preliminary work we attempt to apply submanifold sparse convolution to the task of 3D person detection. In particular, we present Person MinkUNet, a single stage 3D person detection network based on Minkowski Engine with U Net architecture. The network achieves a 76.4 average precision (AP) on the JRDB 3D detection benchmark.


Decoupled Greedy Learning of CNNs for Synchronous and Asynchronous Distributed Learning. A commonly cited inefficiency of neural network training using back propagation is the update locking problem each layer must wait for the signal to propagate through the full network before updating. Several alternatives that can alleviate this issue have been proposed. In this context, we consider a simple alternative based on minimal feedback, which we call Decoupled Greedy Learning (DGL). It is based on a classic greedy relaxation of the joint training objective, recently shown to be effective in the context of Convolutional Neural Networks (CNNs) on large scale image classification. We consider an optimization of this objective that permits us to decouple the layer training, allowing for layers or modules in networks to be trained with a potentially linear parallelization. With the use of a replay buffer we show that this approach can be extended to asynchronous settings, where modules can operate and continue to update with possibly large communication delays. To address bandwidth and memory issues we propose an approach based on online vector quantization. This allows to drastically reduce the communication bandwidth between modules and required memory for replay buffers. We show theoretically and empirically that this approach converges and compare it to the sequential solvers. We demonstrate the effectiveness of DGL against alternative approaches on the CIFAR 10 dataset and on the large scale ImageNet dataset.


Event Camera Based Real Time Detection and Tracking of Indoor Ground Robots. This paper presents a real time method to detect and track multiple mobile ground robots using event cameras. The method uses density based spatial clustering of applications with noise (DBSCAN) to detect the robots and a single k dimensional ( k d ) tree to accurately keep track of them as they move in an indoor arena. Robust detections and tracks are maintained in the face of event camera noise and lack of events (due to robots moving slowly or stopping). An off the shelf RGB camera based tracking system was used to provide ground truth. Experiments including up to 4 robots are performed to study the effect of i) varying DBSCAN parameters, ii) the event accumulation time, iii) the number of robots in the arena, iv) the speed of the robots, and v) variation in ambient light conditions on the detection and tracking performance. The experimental results showed 100 detection and tracking fidelity in the face of event camera noise and robots stopping for tests involving up to 3 robots (and upwards of 93 for 4 robots). When the lighting conditions were varied, a graceful degradation in detection and tracking fidelity was observed.


Computing the Death Rate of COVID 19. The Infection Fatality Rate (IFR) of COVID 19 is difficult to estimate because the number of infections is unknown and there is a lag between each infection and the potentially subsequent death. We introduce a new approach for estimating the IFR by first estimating the entire sequence of daily infections. Unlike prior approaches, we incorporate existing data on the number of daily COVID 19 tests into our estimation knowing the test rates helps us estimate the ratio between the number of cases and the number of infections. Also unlike prior approaches, rather than determining a constant lag from studying a group of patients, we treat the lag as a random variable, whose parameters we determine empirically by fitting our infections sequence to the sequence of deaths. Our approach allows us to narrow our estimation to smaller time intervals in order to observe how the IFR changes over time. We analyze a 250 day period starting on March 1, 2020. We estimate that the IFR in the U.S. decreases from a high of 0.68 down to 0.24 over the course of this time period. We also provide IFR and lag estimates for Italy, Denmark, and the Netherlands, all of which also exhibit decreasing IFRs but to different degrees.


On the Smooth Part Functor. Let G be a compact p adic analytic group and k a field positive characteristic. We prove that for every smooth representation of G on a k vector space V , every 1 cocycle G to V is continuous. We deduce that the first derived functor of the smooth part functor vanishes on smooth representations. As a corollary, we obtain that extensions of smooth representations are automatically smooth.


Ultra wideband Antireflection Temporal Medium. We show that it is possible to achieve a perfect impedance matching by designing an antireflection temporal medium, which is omnidirectional and frequency independent in an ultra wide band. Our approach is an extension of the antireflection temporal coating by Pacheco Pe na et al Optica 7, 323 (2020) . We demonstrate that a specially engineered multi stage discrete or continuous temporal changing in the permittivity of the temporal medium allows ultra wideband reflectionless wave propagation, which has been confirmed analytically and numerically. As an illustrative example for application, the proposed approach is applied to match a dielectric slab with free space for an ultra wideband pulse.


New stabilized P 1 times P 0 finite element methods for nearly inviscid and incompressible flows. This work proposes a new stabilized P 1 times P 0 finite element method for solving the incompressible Navier Stokes equations. The numerical scheme is based on a reduced Bernardi Raugel element with statically condensed face bubbles and is pressure robust in the small viscosity regime. For the Stokes problem, an error estimate uniform with respect to the kinematic viscosity is shown. For the Navier Stokes equation, the nonlinear convection term is discretized using an edge averaged finite element method. In comparison with classical schemes, the proposed method does not require tuning of parameters and is validated for competitiveness on several benchmark problems in 2 and 3 dimensional space.


Initial boundary value problems for merely bounded nearly incompressible vector fields in one space dimension. We establish existence and uniqueness results for initial boundary value problems for transport equations in one space dimension with nearly incompressible velocity fields, under the sole assumption that the fields are bounded. In the case where the velocity field is either nonnegative or nonpositive, one can rely on similar techniques as in the case of the Cauchy problem. Conversely, in the general case we introduce a new and more technically demanding construction, which heuristically speaking relies on a "lagrangian formulation" of the problem, albeit in a highly irregular setting. We also establish stability of the solution in weak and strong topologies, and propagation of the BV regularity. In the case of either nonnegative or nonpositive velocity fields we also establish a BV in time regularity result, and we exhibit a counterexample showing that the result is false in the case of sign changing vector fields. To conclude, we establish a trace renormalization property.


On the transition monoid of the Stallings automaton of a subgroup of a free group. Birget, Margolis, Meakin and Weil proved that a finitely generated subgroup K of a free group is pure if and only if the transition monoid M(K) of its Stallings automaton is aperiodic. In this paper, we establish further connections between algebraic properties of K and algebraic properties of M(K) . We mainly focus on the cases where M(K) belongs to the pseudovariety overline boldsymbol mathbf H of finite monoids all of whose subgroups lie in a given pseudovariety overline boldsymbol mathbf H of finite groups. We also discuss normal, malnormal and cyclonormal subgroups of F A using the transition monoid of the corresponding Stallings automaton.


Shadow wave solutions for a scalar two flux conservation law with Rankine Hugoniot deficit. The paper deals with scalar conservation laws having a flux discontinuity at x 0 without a weak solution that satisfies the classical Rankine Hugoniot jump condition at x 0 . We are using unbounded solutions in the form of shadow waves supported by the origin for solving that problem. The shadow waves are nets of piecewise constant functions approximating a shock wave with added a delta function and sometimes another unbounded part.


Local boundary representations of locally C algebras. We initiate a study of non commutative Choquet boundary for spaces of unbounded operators. We define the notion of local boundary representations for local operator systems in locally C algebras and prove that local boundary representations provide an intrinsic invariant for a particular class of local operator systems. An appropriate analog of purity of local completely positive maps on local operator systems is used to characterize local boundary representations for local operator systems in Frechet locally C algebras.


Fool Me Twice Entailment from Wikipedia Gamification. We release FoolMeTwice (FM2 for short), a large dataset of challenging entailment pairs collected through a fun multi player game. Gamification encourages adversarial examples, drastically lowering the number of examples that can be solved using "shortcuts" compared to other popular entailment datasets. Players are presented with two tasks. The first task asks the player to write a plausible claim based on the evidence from a Wikipedia page. The second one shows two plausible claims written by other players, one of which is false, and the goal is to identify it before the time runs out. Players "pay" to see clues retrieved from the evidence pool the more evidence the player needs, the harder the claim. Game play between motivated players leads to diverse strategies for crafting claims, such as temporal inference and diverting to unrelated evidence, and results in higher quality data for the entailment and evidence retrieval tasks. We open source the dataset and the game code.


Corona Discharge Actuator as an Active Sound Absorber Under Normal and Oblique Incidence. In the majority of active sound absorbing systems, a conventional electrodynamic loudspeaker is used as a controlled source. However, particular situations may require an actuator that is more resistant to harsh environments, adjustable in shape, and lighter. In this work, a plasma based electroacoustic actuator operating on the atmospheric corona discharge principle is used to achieve sound absorption in real time. Two control strategies are introduced and tested for both normal in the impedance tube and grazing incidence in the flow duct. The performance of plasma based active absorber is competitive with conventional passive technologies in terms of effective absorption bandwidth and low frequency operation, however, it presents some inherent limitations that are discussed. The study reveals that the corona discharge technology is suitable for active noise control in ducts while offering flexibility in design, compactness, and versatility of the absorption frequency range.


Einstein's special relativity from a space time duality principle. Einstein based his special theory of relativity on two postulates (a) physical laws appear the same in all inertial frames, and (b) the speed of light in vacuum is an observer independent constant. However, it is already known that the principle of the constancy of the speed of light is redundant in the construction of the special theory of relativity. Adhering to this idea, we show here that the form of the Lagrangian for a free relativistic particle can be derived if we consider a class of theories that remain invariant under a duality transformation between space and time intervals. Therefore, the special theory of relativity is interpreted as a theory that exhibits a duality symmetry with space intervals and time intervals being dual to each other. The Lorentz transformations then are simply deduced as the linear transformation between inertial observers that leaves the (infinitesimal) action of the relativistic particles unchanged.


Exploring Coupled Cluster Green's function as a method for treating system and environment in Green's function embedding methods. Within the self energy embedding theory (SEET) framework, we study coupled cluster Green's function (GFCC) method in two different contexts as a method to treat either the system or environment present in the embedding construction. Our study reveals that when GFCC is used to treat the environment we do not see improvement in total energies in comparison to the coupled cluster method itself. To rationalize this puzzling result, we analyze the performance of GFCC as an impurity solver with a series of transition metal oxides. These studies shed light on strength and weaknesses of such a solver and demonstrate that such a solver gives very accurate results when the size of the impurity is small. We investigate if it is possible to achieve a systematic accuracy of the embedding solution when we increase the size of the impurity problem. We found that in such a case, the performance of the solver worsens, both in terms of finding the ground state solution of the impurity problem as well as the self energies produced. We concluded that increasing the rank of GFCC solver is necessary to be able to enlarge impurity problems and achieve a reliable accuracy. We also have shown that natural orbitals from weakly correlated perturbative methods are better suited than symmetrized atomic orbitals (SAO) when the total energy of the system is the target quantity.


Off center gravity induces large scale flow patterns in spherical Rayleigh B 'enard. Inspired by the hemispherical asymmetry observed in the Earth's inner core, we perform direct numerical simulations to study the effect of the gravity center offset in spherical Rayleigh B 'enard convection. We find that even a minimal shift of the gravity center has a pronounced influence on the flow structures. When the gravity center is shifted towards the South, the co latitudinal buoyancy component creates an energetic jet on the Northern side of the inner sphere that is directed towards the outer sphere. As a result, a large scale meridional circulation is formed. However, surprisingly, the global heat flux is not affected by the changes in the large scale flow organization induced by the gravity center offset. Our results suggest that the hemispherical core asymmetry is key to model the flow phenomena in the Earth's outer core and mantle.


Task Specific Dependency based Word Embedding Methods. Two task specific dependency based word embedding methods are proposed for text classification in this work. In contrast with universal word embedding methods that work for generic tasks, we design task specific word embedding methods to offer better performance in a specific task. Our methods follow the PPMI matrix factorization framework and derive word contexts from the dependency parse tree. The first one, called the dependency based word embedding (DWE), chooses keywords and neighbor words of a target word in the dependency parse tree as contexts to build the word context matrix. The second method, named class enhanced dependency based word embedding (CEDWE), learns from word context as well as word class co occurrence statistics. DWE and CEDWE are evaluated on popular text classification datasets to demonstrate their effectiveness. It is shown by experimental results they outperform several state of the art word embedding methods.


Transformer visualization via dictionary learning contextualized embedding as a linear superposition of transformer factors. Transformer networks have revolutionized NLP representation learning since they were introduced. Though a great effort has been made to explain the representation in transformers, it is widely recognized that our understanding is not sufficient. One important reason is that there lack enough visualization tools for detailed analysis. In this paper, we propose to use dictionary learning to open up these black boxes' as linear superpositions of transformer factors. Through visualization, we demonstrate the hierarchical semantic structures captured by the transformer factors, e.g. word level polysemy disambiguation, sentence level pattern formation, and long range dependency. While some of these patterns confirm the conventional prior linguistic knowledge, the rest are relatively unexpected, which may provide new insights. We hope this visualization tool can bring further knowledge and a better understanding of how transformer networks work.


Data Excellence for AI Why Should You Care. The efficacy of machine learning (ML) models depends on both algorithms and data. Training data defines what we want our models to learn, and testing data provides the means by which their empirical progress is measured. Benchmark datasets define the entire world within which models exist and operate, yet research continues to focus on critiquing and improving the algorithmic aspect of the models rather than critiquing and improving the data with which our models operate. If "data is the new oil," we are still missing work on the refineries by which the data itself could be optimized for more effective use.


Carrier Envelope Phase Dependent Strong Field Excitation. We present a joint experimental theoretical study on the effect of the carrier envelope phase (CEP) of a few cycle pulse on the atomic excitation process. We focus on the excitation rates of argon as a function of CEP in the intensity range from 50 300 TW cm 2 , which covers the transition between the multiphoton and tunneling regimes. Through numerical simulations based on solving the time dependent Schr " o dinger equation (TDSE), we show that the resulting bound state population is highly sensitive to both the intensity and the CEP. Because the intensity varies over the interaction region, the CEP effect is considerably reduced in the experiment. Nevertheless, the data clearly agree with the theoretical prediction, and the results encourage the use of precisely tailored laser fields to coherently control the strong field excitation process. We find a markedly different behavior for the CEP dependent bound state population at low and high intensities with a clear boundary, which we attribute to the transition from the multiphoton to the tunneling regime.


Impact of Dietary Habits and Opinionated Lifestyle during COVID 19 Pandemic A Case Study on Engineering Students. COVID 19 pandemic has introduced a new lifestyle due to lockdown. The impact was on food habits, working hours, and sleeping patterns. The goal of this study is to detect lifestyle changes caused by confinement during the COVID 19 pandemic, such as dietary habits, physical activities, and to explore changes in the body weight. A structured questionnaire was used in the study to collect anthropometric data daily consumption of particular foods, water intake, food frequency, and number of meals day. The data is presented in a graph illustration to show health , lifestyle trends and the friendship among engineering students.


A generalization of purely extending modules relative to a torsion theory. In this work we introduce a new concept, namely, tau s extending modules (rings) which is torsion theoretic analogues of extending modules and then we extend many results from extending modules to this new concept. For instance we show that for any ring R with unit, if R is purely tau s extending then every cyclic tau nonsingular R module is flat and we show that this fact is true over a principal ideal domain as well. Also, we make a classification for the direct sums of the rings to be purely tau s extending.


Isometric MT Neural Machine Translation for Automatic Dubbing. Automatic dubbing (AD) is among the machine translation (MT) use cases where translations should match a given length to allow for synchronicity between source and target speech. For neural MT, generating translations of length close to the source length (e.g. within 10 in character count), while preserving quality is a challenging task. Controlling MT output length comes at a cost to translation quality, which is usually mitigated with a two step approach of generating N best hypotheses and then re ranking based on length and quality. This work introduces a self learning approach that allows a transformer model to directly learn to generate outputs that closely match the source length, in short Isometric MT. In particular, our approach does not require to generate multiple hypotheses nor any auxiliary ranking function. We report results on four language pairs (English French, Italian, German, Spanish) with a publicly available benchmark. Automatic and manual evaluations show that our method for Isometric MT outperforms more complex approaches proposed in the literature.


Non Singular Adversarial Robustness of Neural Networks. Adversarial robustness has become an emerging challenge for neural network owing to its over sensitivity to small input perturbations. While being critical, we argue that solving this singular issue alone fails to provide a comprehensive robustness assessment. Even worse, the conclusions drawn from singular robustness may give a false sense of overall model robustness. Specifically, our findings show that adversarially trained models that are robust to input perturbations are still (or even more) vulnerable to weight perturbations when compared to standard models. In this paper, we formalize the notion of non singular adversarial robustness for neural networks through the lens of joint perturbations to data inputs as well as model weights. To our best knowledge, this study is the first work considering simultaneous input weight adversarial perturbations. Based on a multi layer feed forward neural network model with ReLU activation functions and standard classification loss, we establish error analysis for quantifying the loss sensitivity subject to ell infty norm bounded perturbations on data inputs and model weights. Based on the error analysis, we propose novel regularization functions for robust training and demonstrate improved non singular robustness against joint input weight adversarial perturbations.


Every Byte Matters Traffic Analysis of Bluetooth Wearable Devices. Wearable devices such as smartwatches, fitness trackers, and blood pressure monitors process, store, and communicate sensitive and personal information related to the health, life style, habits and interests of the wearer. This data is exchanged with a companion app running on a smartphone over a Bluetooth connection. In this work, we investigate what can be inferred from the metadata (such as the packet timings and sizes) of encrypted Bluetooth communications between a wearable device and its connected smartphone. We show that a passive eavesdropper can use traffic analysis attacks to accurately recognize (a) communicating devices, even without having access to the MAC address, (b) human actions (e.g., monitoring heart rate, exercising) performed on wearable devices ranging from fitness trackers to smartwatches, (c) the mere opening of specific applications on a Wear OS smartwatch (e.g., the opening of a medical app, which can immediately reveal a condition of the wearer), (d) fine grained actions (e.g., recording an insulin injection) within a specific application that helps diabetic users to monitor their condition, and (e) the profile and habits of the wearer by continuously monitoring her traffic over an extended period. We run traffic analysis attacks by collecting a dataset of Bluetooth traces of multiple wearable devices, by designing features based on packet sizes and timings, and by using machine learning to classify the encrypted traffic to actions performed by the wearer. Then, we explore standard defense strategies we show that these defenses do not provide sufficient protection against our attacks and introduce significant costs. Our research highlights the need to rethink how applications exchange sensitive information over Bluetooth, to minimize unnecessary data exchanges, and to design new defenses against traffic analysis tailored to the wearable setting.


Path Optimization for Ground Vehicles in Off Road Terrain. We present a method for path optimization for ground vehicles in off road environments at high speeds. This path optimization considers the kinematic constraints of the vehicle. By thinking in the actuator space we can represent these constraints as limits in the space rather than derived properties of the path. In this paper we present a actuator space approach to path optimization for off road ground vehicles. This is done by representing and operation on the path as a list of steering angles over the path length. This transforms the set of kinematic constraints into constraints on the steering angle. We then put this path into a gradient descent solver. This produced paths that are kinematically feasible and optimized in accordance with our cost function. Finally, we tested the system both in simulation and on an off road vehicle at speeds of 5 m s.


Importance of the advection scheme for the simulation of water isotopes over Antarctica by atmospheric general circulation models A case study for present day and Last Glacial Maximum with LMDZ iso. Atmospheric general circulation models (AGCMs) are known to have a warm and isotopically enriched bias over Antarctica. We test here the hypothesis that these biases are partly consequences of a too diffusive advection. Exploiting the LMDZ iso model, we show that a less diffusive representation of the advection, especially on the horizontal, is very important to reduce the bias in the isotopic contents of precipitation above this area. The choice of an appropriate representation of the advection is thus essential when using GCMs for paleoclimate applications based on polar water isotopes. Too much diffusive mixing along the poleward transport leads to overestimated isotopic contents in water vapor because dehydration by mixing follows a more enriched path than dehydration by Rayleigh distillation. The near air surface temperature is also influenced, to a lesser extent, by the diffusive properties of the advection scheme directly via the advection of the air and indirectly via the radiative effects of changes in high cloud fraction and water vapor. A too diffusive horizontal advection increases the temperature and so also contributes to enrich the isotopic contents of water vapor over Antarctica through a reduction of the distillation. The temporal relationship, from Last Glacial Maximum (LGM) to present day conditions, between the mean annual near air surface temperature and the water isotopic contents of precipitation for a specific location can also be impacted, with significant consequences on the paleo temperature reconstruction from observed changes in water isotopes.


Context Dependent Anomaly Detection for Low Altitude Traffic Surveillance. The detection of contextual anomalies is a challenging task for surveillance since an observation can be considered anomalous or normal in a specific environmental context. An unmanned aerial vehicle (UAV) can utilize its aerial monitoring capability and employ multiple sensors to gather contextual information about the environment and perform contextual anomaly detection. In this work, we introduce a deep neural network based method (CADNet) to find point anomalies (i.e., single instance anomalous data) and contextual anomalies (i.e., context specific abnormality) in an environment using a UAV. The method is based on a variational autoencoder (VAE) with a context sub network. The context sub network extracts contextual information regarding the environment using GPS and time data, then feeds it to the VAE to predict anomalies conditioned on the context. To the best of our knowledge, our method is the first contextual anomaly detection method for UAV assisted aerial surveillance. We evaluate our method on the AU AIR dataset in a traffic surveillance scenario. Quantitative comparisons against several baselines demonstrate the superiority of our approach in the anomaly detection tasks. The codes and data will be available at https bozcani.github.io cadnet.


Limits and Colimits in the Category of Pastures. We show that the category of pastures has arbitrary limits and colimits of diagrams indexed by a small category.


Elastic instabilities and bifurcations in flows of wormlike micellar solutions past single and two vertically aligned microcylinders Effect of blockage and gap ratios. This study presents an extensive numerical investigation on the flow characteristics of wormlike micellar solutions past a single and vertically aligned two microcylinders placed in a microchannel in the creeping flow regime on the two species Vasquez Cook McKinley (VCM) constitutive model, which takes into account both the breakage and reformation dynamics of micelles. For the case of single microcylinder, as the blockage ratio (ratio of the cylinder diameter to that of the channel height) is gradually varied, we find the existence of a flow bifurcation in the system, and also flow transits from steady to unsteady state. For the case of two microcylinders, we observe the presence of three distinct flow states in the system, namely, diverging (D), asymmetric diverging (AD) and converging (C) states as the intercylinder spacing in between the two cylinders is varied. Similar types of flow states are also observed in the recent experiments dealing with wormlike micellar solutions. However, we show that either this transition from one flow state to another in the case of a single microcylinder or the occurrence of any flow state in the case of two microcylinders, is strongly dependent upon the values of the Weissenberg number and the nonlinear VCM model parameter xi, which basically indicates how easy or hard to break a micelle. Based on the results and discussion presented herein for the single and two microcylinders, we ultimately provide the explanation for the formation of preferential paths or lanes during the flow of viscoelastic fluids through a porous media, which was seen in many prior experiments in the creeping flow regime.


Information Leakage in Zero Error Source Coding A Graph Theoretic Perspective. We study the information leakage to a guessing adversary in zero error source coding. The source coding problem is defined by a confusion graph capturing the distinguishability between source symbols. The information leakage is measured by the ratio of the adversary's successful guessing probability after and before eavesdropping the codeword, maximized over all possible source distributions. Such measurement under the basic adversarial model where the adversary makes a single guess and allows no distortion between its estimator and the true sequence is known as the maximum min entropy leakage or the maximal leakage in the literature. We develop a single letter characterization of the optimal normalized leakage under the basic adversarial model, together with an optimum achieving scalar stochastic mapping scheme. An interesting observation is that the optimal normalized leakage is equal to the optimal compression rate with fixed length source codes, both of which can be simultaneously achieved by some deterministic coding schemes. We then extend the leakage measurement to generalized adversarial models where the adversary makes multiple guesses and allows certain level of distortion, for which we derive single letter lower and upper bounds.


Uniformly bounded multiplicities, polynomial identities and coisotropic actions. Let G mathbb R be a real reductive Lie group and G' mathbb R a reductive subgroup of G mathbb R such that mathfrak g' is algebraic in mathfrak g . In this paper, we consider restrictions of irreducible representations of G mathbb R to G' mathbb R and induced representations of irreducible representations of G' mathbb R to G mathbb R . Our main concern is when such a representation has uniformly bounded multiplicities, i.e. the multiplicities in the representation are (essentially) bounded. We give characterizations of the uniform boundedness by polynomial identities and coisotropic actions. For the restriction of (cohomologically) parabolically induced representations, we find a sufficient condition for the uniform boundedness by spherical actions and some fiber condition. This result gives an affirmative answer to a conjecture by T. Kobayashi. Our results can be applied to ( mathfrak g , K) modules, Casselman Wallach representations, unitary representations and objects in the BGG category mathcal O . We also treat with an upper bound of cohomological multiplicities.


Defending Against Adversarial Denial of Service Data Poisoning Attacks. Data poisoning is one of the most relevant security threats against machine learning and data driven technologies. Since many applications rely on untrusted training data, an attacker can easily craft malicious samples and inject them into the training dataset to degrade the performance of machine learning models. As recent work has shown, such Denial of Service (DoS) data poisoning attacks are highly effective. To mitigate this threat, we propose a new approach of detecting DoS poisoned instances. In comparison to related work, we deviate from clustering and anomaly detection based approaches, which often suffer from the curse of dimensionality and arbitrary anomaly threshold selection. Rather, our defence is based on extracting information from the training data in such a generalized manner that we can identify poisoned samples based on the information present in the unpoisoned portion of the data. We evaluate our defence against two DoS poisoning attacks and seven datasets, and find that it reliably identifies poisoned instances. In comparison to related work, our defence improves false positive false negative rates by at least 50 , often more.


Representation based meta learning for few shot spoken intent recognition. Spoken intent detection has become a popular approach to interface with various smart devices with ease. However, such systems are limited to the preset list of intents terms or commands, which restricts the quick customization of personal devices to new intents. This paper presents a few shot spoken intent classification approach with task agnostic representations via meta learning paradigm. Specifically, we leverage the popular representation based meta learning learning to build a task agnostic representation of utterances, that then use a linear classifier for prediction. We evaluate three such approaches on our novel experimental protocol developed on two popular spoken intent classification datasets Google Commands and the Fluent Speech Commands dataset. For a 5 shot (1 shot) classification of novel classes, the proposed framework provides an average classification accuracy of 88.6 (76.3 ) on the Google Commands dataset, and 78.5 (64.2 ) on the Fluent Speech Commands dataset. The performance is comparable to traditionally supervised classification models with abundant training samples.


Emergency Department Optimization and Load Prediction in Hospitals. Over the past several years, across the globe, there has been an increase in people seeking care in emergency departments (EDs). ED resources, including nurse staffing, are strained by such increases in patient volume. Accurate forecasting of incoming patient volume in emergency departments (ED) is crucial for efficient utilization and allocation of ED resources. Working with a suburban ED in the Pacific Northwest, we developed a tool powered by machine learning models, to forecast ED arrivals and ED patient volume to assist end users, such as ED nurses, in resource allocation. In this paper, we discuss the results from our predictive models, the challenges, and the learnings from users' experiences with the tool in active clinical deployment in a real world setting.


Extended genus field of cyclic Kummer extensions of rational function fields. For a cyclic Kummer extension K of a rational function field k is considered, via class field theory, the extended Hilbert class field K H of K and the corresponding extended genus field K g of K over k , along the lines of the definitions of R. Clement for such extensions of prime degree. We obtain K g explicitly. Also, we use cohomology to determine the number of ambiguous classes and obtain a reciprocity law for K k . Finally, we present a necessary and sufficient condition for a prime of K to decompose fully in K g .


Boundary of the Gothen components. In this short note we describe an interesting new phenomenon about the mathrm Sp (4, mathbb R ) character variety. Precisely, we show that the Hitchin component and all Gothen components share the same boundary in our length spectrum compactification.


On Perfectness of Annihilating Ideal Graph of mathbb Z n . The annihilating ideal graph of a commutative ring R with unity is defined as the graph mathbb AG (R) with the vertex set is the set of all non zero ideals with non zero annihilators and two distinct vertices I and J are adjacent if and only if IJ 0 . Nikandish it et.al. proved that mathbb AG ( mathbb Z n) is weakly perfect. In this short paper, we characterize n for which mathbb AG ( mathbb Z n) is perfect.


Application of Sequence Embedding in Protein Sequence Based Predictions. In sequence based predictions, conventionally an input sequence is represented by a multiple sequence alignment (MSA) or a representation derived from MSA, such as a position specific scoring matrix. Recently, inspired by the development in natural language processing, several applications of sequence embedding have been observed. Here, we review different approaches of protein sequence embeddings and their applications including protein contact prediction, secondary structure, prediction, and function prediction.


Bisections of mass assignments using flags of affine spaces. We use recent extensions of the Borsuk Ulam theorem for Stiefel manifolds to generalize the ham sandwich theorem to mass assignments. A k dimensional mass assignment continuously imposes a measure on each k dimensional affine subspace of mathbb R d . Given a finite collection of mass assignments of different dimensions, one may ask if there is some sequence of affine subspaces S k 1 subset S k subset ldots subset S d 1 subset mathbb R d such that S i bisects all the mass assignments on S i 1 for every i . We show it is possible to do so whenever the number of mass assignments of dimensions (k, ldots,d) is a permutation of (k, ldots,d) . We extend previous work on mass assignments and the central transversal theorem. We also study the problem of halving several families of (d k) dimensional affine spaces of mathbb R d using a (k 1) dimensional affine subspace contained in some translate of a fixed k dimensional affine space. For k d 1 , there results can be interpreted as dynamic ham sandwich theorems for families of moving points.


Prosody Aware Neural Machine Translation for Dubbing. We introduce the task of prosody aware machine translation which aims at generating translations suitable for dubbing. Dubbing of a spoken sentence requires transferring the content as well as the prosodic structure of the source into the target language to preserve timing information. Practically, this implies correctly projecting pauses from the source to the target and ensuring that target speech segments have roughly the same duration of the corresponding source segments. In this work, we propose an implicit and explicit modeling approaches to integrate prosody information into neural machine translation. Experiments on English German French with automatic metrics show that the simplest of the considered approaches works best. Results are confirmed by human evaluations of translations and dubbed videos.


Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming. In the context of planning and reasoning about actions and change, we call an action reversible when its effects can be reverted by applying other actions, returning to the original state. Renewed interest in this area has led to several results in the context of the PDDL language, widely used for describing planning tasks. In this paper, we propose several solutions to the computational problem of deciding the reversibility of an action. In particular, we leverage an existing translation from PDDL to Answer Set Programming (ASP), and then use several different encodings to tackle the problem of action reversibility for the STRIPS fragment of PDDL. For these, we use ASP, as well as Epistemic Logic Programming (ELP), an extension of ASP with epistemic operators, and compare and contrast their strengths and weaknesses. Under consideration for acceptance in TPLP.


Doubly Adaptive Scaled Algorithm for Machine Learning Using Second Order Information. We present a novel adaptive optimization algorithm for large scale machine learning problems. Equipped with a low cost estimate of local curvature and Lipschitz smoothness, our method dynamically adapts the search direction and step size. The search direction contains gradient information preconditioned by a well scaled diagonal preconditioning matrix that captures the local curvature information. Our methodology does not require the tedious task of learning rate tuning, as the learning rate is updated automatically without adding an extra hyperparameter. We provide convergence guarantees on a comprehensive collection of optimization problems, including convex, strongly convex, and nonconvex problems, in both deterministic and stochastic regimes. We also conduct an extensive empirical evaluation on standard machine learning problems, justifying our algorithm's versatility and demonstrating its strong performance compared to other start of the art first order and second order methods.


Exploring Fault Energy Trade offs in Approximate DNN Hardware Accelerators. Systolic array based deep neural network (DNN) accelerators have recently gained prominence for their low computational cost. However, their high energy consumption poses a bottleneck to their deployment in energy constrained devices. To address this problem, approximate computing can be employed at the cost of some tolerable accuracy loss. However, such small accuracy variations may increase the sensitivity of DNNs towards undesired subtle disturbances, such as permanent faults. The impact of permanent faults in accurate DNNs has been thoroughly investigated in the literature. Conversely, the impact of permanent faults in approximate DNN accelerators (AxDNNs) is yet under explored. The impact of such faults may vary with the fault bit positions, activation functions and approximation errors in AxDNN layers. Such dynamacity poses a considerable challenge to exploring the trade off between their energy efficiency and fault resilience in AxDNNs. Towards this, we present an extensive layer wise and bit wise fault resilience and energy analysis of different AxDNNs, using the state of the art Evoapprox8b signed multipliers. In particular, we vary the stuck at 0, stuck at 1 fault bit positions, and activation functions to study their impact using the most widely used MNIST and Fashion MNIST datasets. Our quantitative analysis shows that the permanent faults exacerbate the accuracy loss in AxDNNs when compared to the accurate DNN accelerators. For instance, a permanent fault in AxDNNs can lead up to 66 accuracy loss, whereas the same faulty bit can lead to only 9 accuracy loss in an accurate DNN accelerator. Our results demonstrate that the fault resilience in AxDNNs is orthogonal to the energy efficiency.


Smith Normal Form and the Generalized Spectral Characterization of Graphs. Spectral characterization of graphs is an important topic in spectral graph theory, which has received a lot of attention from researchers in recent years. It is generally very hard to show a given graph to be determined by its spectrum. Recently, Wang 10 gave a simple arithmetic condition for graphs being determined by their generalized spectra. Let G be a graph with adjacency matrix A on n vertices, and W e,Ae, ldots,A n 1 e ( e is the all one vector) be the walk matrix of G . A theorem of Wang 10 states that if 2 lfloor n 2 rfloor det W (which is always an integer) is odd and square free, then G is determined by the generalized spectrum. In this paper, we find a new and short route which leads to a stronger version of the above theorem. The result is achieved by using the Smith Normal Form of the walk matrix of G . The proposed method gives a new insight in dealing with the problem of generalized spectral characterization of graphs.


Well posedness of the Stokes transport system in bounded domains and in the infinite strip. We consider the Stokes transport system, a model for the evolution of an incompressible viscous fluid with inhomogeneous density. This equation was already known to be globally well posed for any L 1 cap L infty initial density with finite first moment in mathbb R 3 . We show that similar results hold on different domain types. We prove that the system is globally well posed for L infty initial data in bounded domains of mathbb R 2 and mathbb R 3 as well as in the infinite strip mathbb R times(0,1) . These results contrast with the ill posedness of a similar problem, the incompressible porous medium equation, for which uniqueness is known to fail for such a density regularity.


On games and simulators as a platform for development of artificial intelligence for command and control. Games and simulators can be a valuable platform to execute complex multi agent, multiplayer, imperfect information scenarios with significant parallels to military applications multiple participants manage resources and make decisions that command assets to secure specific areas of a map or neutralize opposing forces. These characteristics have attracted the artificial intelligence (AI) community by supporting development of algorithms with complex benchmarks and the capability to rapidly iterate over new ideas. The success of artificial intelligence algorithms in real time strategy games such as StarCraft II have also attracted the attention of the military research community aiming to explore similar techniques in military counterpart scenarios. Aiming to bridge the connection between games and military applications, this work discusses past and current efforts on how games and simulators, together with the artificial intelligence algorithms, have been adapted to simulate certain aspects of military missions and how they might impact the future battlefield. This paper also investigates how advances in virtual reality and visual augmentation systems open new possibilities in human interfaces with gaming platforms and their military parallels.


Training Dynamic based data filtering may not work for NLP datasets. The recent increase in dataset size has brought about significant advances in natural language understanding. These large datasets are usually collected through automation (search engines or web crawlers) or crowdsourcing which inherently introduces incorrectly labeled data. Training on these datasets leads to memorization and poor generalization. Thus, it is pertinent to develop techniques that help in the identification and isolation of mislabelled data. In this paper, we study the applicability of the Area Under the Margin (AUM) metric to identify and remove rectify mislabelled examples in NLP datasets. We find that mislabelled samples can be filtered using the AUM metric in NLP datasets but it also removes a significant number of correctly labeled points and leads to the loss of a large amount of relevant language information. We show that models rely on the distributional information instead of relying on syntactic and semantic representations.


Programming Puzzles. We introduce a new type of programming challenge called programming puzzles, as an objective and comprehensive evaluation of program synthesis, and release an open source dataset of Python Programming Puzzles (P3). Each puzzle is defined by a short Python program f , and the goal is to find an input which makes f return True. The puzzles are objective in that each one is specified entirely by the source code of its verifier f , so evaluating f is all that is needed to test a candidate solution. They do not require an answer key or input output examples, nor do they depend on natural language understanding. The dataset is comprehensive in that it spans problems of a range of difficulties and domains, ranging from trivial string manipulation problems, to classic programming puzzles (e.g., Tower of Hanoi), to interview competitive programming problems (e.g., dynamic programming), to longstanding open problems in algorithms and mathematics (e.g., factoring). We develop baseline enumerative program synthesis, GPT 3 and Codex solvers that are capable of solving puzzles even without access to any reference solutions by learning from their own past solutions. Codex performs best, solving up to 18 of 397 test problems with a single try and 80 of the problems with 1,000 tries per problem. In a small user study, we find a positive correlation between puzzle solving performance and coding experience, and between the puzzle difficulty for humans and AI solvers. Therefore, further improvements on P3 could have a significant impact on many program synthesis areas.


Periodic leaf wise intersection points from Lagrangians. We investigate leaf wise intersection points on hypersurfaces of contact type in monotone symplectic manifolds. We show that monotone Floer essential Lagrangians detect periodic leaf wise intersection points in hypersurfaces of contact type whose Reeb flow is Zoll. Examples include the prequantization bundles appearing in monotone toric negative line bundles. Generalizing, we prove the existence of leaf wise intersection points for certain annulus subbundles in weak monotone negative line bundles, not necessarily toric. The proofs combine reduced symplectic cohomology with the original methods employed by Albers Frauenfelder to prove global existence results of this kind.


Power of human algorithm collaboration in solving combinatorial optimization problems. Many combinatorial optimization problems are often considered intractable to solve exactly or by approximation. An example of such problem is maximum clique which under standard assumptions in complexity theory cannot be solved in sub exponential time or be approximated within polynomial factor efficiently. We show that if a polynomial time algorithm can query informative Gaussian priors from an expert poly(n) times, then a class of combinatorial optimization problems can be solved efficiently in expectation up to a multiplicative factor epsilon where epsilon is arbitrary constant. While our proposed methods are merely theoretical, they cast new light on how to approach solving these problems that have been usually considered intractable.


Imagine All the People Citizen Science, Artificial Intelligence, and Computational Research. Machine learning, artificial intelligence, and deep learning have advanced significantly over the past decade. Nonetheless, humans possess unique abilities such as creativity, intuition, context and abstraction, analytic problem solving, and detecting unusual events. To successfully tackle pressing scientific and societal challenges, we need the complementary capabilities of both humans and machines. The Federal Government could accelerate its priorities on multiple fronts through judicious integration of citizen science and crowdsourcing with artificial intelligence (AI), Internet of Things (IoT), and cloud strategies.


Generating Thermal Human Faces for Physiological Assessment Using Thermal Sensor Auxiliary Labels. Thermal images reveal medically important physiological information about human stress, signs of inflammation, and emotional mood that cannot be seen on visible images. Providing a method to generate thermal faces from visible images would be highly valuable for the telemedicine community in order to show this medical information. To the best of our knowledge, there are limited works on visible to thermal (VT) face translation, and many current works go the opposite direction to generate visible faces from thermal surveillance images (TV) for law enforcement applications. As a result, we introduce favtGAN, a VT GAN which uses the pix2pix image translation model with an auxiliary sensor label prediction network for generating thermal faces from visible images. Since most TV methods are trained on only one data source drawn from one thermal sensor, we combine datasets from faces and cityscapes. These combined data are captured from similar sensors in order to bootstrap the training and transfer learning task, especially valuable because visible thermal face datasets are limited. Experiments on these combined datasets show that favtGAN demonstrates an increase in SSIM and PSNR scores of generated thermal faces, compared to training on a single face dataset alone.


Minimum Link Shortest Paths for Polygons amidst Rectilinear Obstacles. Consider two axis aligned rectilinear simple polygons in the domain consisting of axis aligned rectilinear obstacles in the plane such that the bounding boxes, one for each obstacle and one for each polygon, are disjoint. We present an algorithm that computes a minimum link rectilinear shortest path connecting the two polygons in O((N n) log (N n)) time using O(N n) space, where n is the number of vertices in the domain and N is the total number of vertices of the two polygons.


Exponential asymptotics for steady parasitic capillary ripples on steep gravity waves. In this paper we develop an asymptotic theory for steadily travelling gravity capillary waves under the small surface tension limit. In an accompanying work Shelton et al. (2021), J. Fluid Mech., vol 922 it was demonstrated that solutions associated with a perturbation about a leading order gravity wave (a Stokes wave) contain surface tension driven parasitic ripples with an exponentially small amplitude. Thus a naive Poincar 'e expansion is insufficient for their description. Here, we shall develop specialised methodologies in exponential asymptotics for derivation of the parasitic ripples on periodic domains. The ripples are shown to arise in conjunction with Stokes lines and the Stokes phenomenon. The analysis relies crucially upon the derivation and analysis of singularities in the analytic continuation of the classic Stokes wave. A solvability condition is derived, showing that solutions of this type do not exist at certain values of the Bond number. The asymptotic results are compared to full numerical solutions and show excellent agreement. The work provides corrections and insight of a seminal theory on parasitic capillary waves first proposed by Longuet Higgins J. Fluid Mech., vol. 16 (1), 1963, pp. 138 159 .


Genealogy and spatial distribution of the N particle branching random walk with polynomial tails. The N particle branching random walk is a discrete time branching particle system with selection. We have N particles located on the real line at all times. At every time step each particle is replaced by two offspring, and each offspring particle makes a jump of non negative size from its parent's location, independently from the other jumps, according to a given jump distribution. Then only the N rightmost particles survive the other particles are removed from the system to keep the population size constant. Inspired by work of J. B 'erard and P. Maillard, we examine the long term behaviour of this particle system in the case where the jump distribution has regularly varying tails and the number of particles is large. We prove that at a typical large time the genealogy of the population is given by a star shaped coalescent, and that almost the whole population is near the leftmost particle on the relevant space scale.