Exploiting non i.i.d. data towards more robust machine learning algorithms. In the field of machine learning there is a growing interest towards more robust and generalizable algorithms. This is for example important to bridge the gap between the environment in which the training data was collected and the environment where the algorithm is deployed. Machine learning algorithms have increasingly been shown to excel in finding patterns and correlations from data. Determining the consistency of these patterns and for example the distinction between causal correlations and nonsensical spurious relations has proven to be much more difficult. In this paper a regularization scheme is introduced that prefers universal causal correlations. This approach is based on 1) the robustness of causal correlations and 2) the data not being independently and identically distribute (i.i.d.). The scheme is demonstrated with a classification task by clustering the (non i.i.d.) training set in subpopulations. A non i.i.d. regularization term is then introduced that penalizes weights that are not invariant over these clusters. The resulting algorithm favours correlations that are universal over the subpopulations and indeed a better performance is obtained on an out of distribution test set with respect to a more conventional l 2 regularization.


Deep Temporal Analysis for Non Acted Body Affect Recognition. Affective computing is a field of great interest in many computer vision applications, including video surveillance, behaviour analysis, and human robot interaction. Most of the existing literature has addressed this field by analysing different sets of face features. However, in the last decade, several studies have shown how body movements can play a key role even in emotion recognition. The majority of these experiments on the body are performed by trained actors whose aim is to simulate emotional reactions. These unnatural expressions differ from the more challenging genuine emotions, thus invalidating the obtained results. In this paper, a solution for basic non acted emotion recognition based on 3D skeleton and Deep Neural Networks (DNNs) is provided. The proposed work introduces three majors contributions. First, unlike the current state of the art in non acted body affect recognition, where only static or global body features are considered, in this work also temporal local movements performed by subjects in each frame are examined. Second, an original set of global and time dependent features for body movement description is provided. Third, to the best of out knowledge, this is the first attempt to use deep learning methods for non acted body affect recognition. Due to the novelty of the topic, only the UCLIC dataset is currently considered the benchmark for comparative tests. On the latter, the proposed method outperforms all the competitors.


Dynamic Hard Pruning of Neural Networks at the Edge of the Internet. Neural Networks (NN), although successfully applied to several Artificial Intelligence tasks, are often unnecessarily over parametrised. In edge fog computing, this might make their training prohibitive on resource constrained devices, contrasting with the current trend of decentralising intelligence from remote data centres to local constrained devices. Therefore, we investigate the problem of training effective NN models on constrained devices having a fixed, potentially small, memory budget. We target techniques that are both resource efficient and performance effective while enabling significant network compression. Our Dynamic Hard Pruning (DynHP) technique incrementally prunes the network during training, identifying neurons that marginally contribute to the model accuracy. DynHP enables a tunable size reduction of the final neural network and reduces the NN memory occupancy during training. Freed memory is reused by a emph dynamic batch sizing approach to counterbalance the accuracy degradation caused by the hard pruning strategy, improving its convergence and effectiveness. We assess the performance of DynHP through reproducible experiments on three public datasets, comparing them against reference competitors. Results show that DynHP compresses a NN up to 10 times without significant performance drops (up to 3.5 additional error w.r.t. the competitors), reducing up to 80 the training memory occupancy.


Image based numerical characterization and experimental validation of tensile behavior of octet truss lattice structures. The production of lightweight metal lattice structures has received much attention due to the recent developments in additive manufacturing (AM). The design flexibility comes, however, with the complexity of the underlying physics. In fact, metal additive manufacturing introduces process induced geometrical defects that mainly result in deviations of the effective geometry from the nominal one. This change in the final printed shape is the primary cause of the gap between the as designed and as manufactured mechanical behavior of AM products. Thus, the possibility to incorporate the precise manufactured geometries into the computational analysis is crucial for the quality and performance assessment of the final parts. Computed tomography (CT) is an accurate method for the acquisition of the manufactured shape. However, it is often not feasible to integrate the CT based geometrical information into the traditional computational analysis due to the complexity of the meshing procedure for such high resolution geometrical models and the prohibitive numerical costs. In this work, an embedded numerical framework is applied to efficiently simulate and compare the mechanical behavior of as designed to as manufactured octet truss lattice structures. The parts are produced using laser powder bed fusion (LPBF). Employing an immersed boundary method, namely the Finite Cell Method (FCM), we perform direct numerical simulations (DNS) and first order numerical homogenization analysis of a tensile test for a 3D printed octet truss structure. Numerical results based on CT scan (as manufactured geometry) show an excellent agreement with experimental measurements, whereas both DNS and first order numerical homogenization performed directly on the 3D virtual model (as designed geometry) of the structure show a significant deviation from experimental data.


KnowBias A Novel AI Method to Detect Polarity in Online Content. We propose a novel training and inference method for detecting political bias in long text content such as newspaper opinion articles. Obtaining long text data and annotations at sufficient scale for training is difficult, but it is relatively easy to extract political polarity from tweets through their authorship as such, we train on tweets and perform inference on articles. Universal sentence encoders and other existing methods that aim to address this domain adaptation scenario deliver inaccurate and inconsistent predictions on articles, which we show is due to a difference in opinion concentration between tweets and articles. We propose a two step classification scheme that utilizes a neutral detector trained on tweets to remove neutral sentences from articles in order to align opinion concentration and therefore improve accuracy on that domain. We evaluate our two step approach using a variety of test suites, including a set of tweets and long form articles where annotations were crowd sourced to decrease label noise, measuring accuracy and Spearman rho rank correlation. In practice, KnowBias achieves a high accuracy of 86 (rho 0.65) on these tweets and 75 (rho 0.69) on long form articles. While we validate our method on political bias, our scheme is general and can be readily applied to other settings, where there exist such domain mismatches between source and target domains. Our implementation is available for public use at https knowbias.ml.


3D Quasi Recurrent Neural Network for Hyperspectral Image Denoising. In this paper, we propose an alternating directional 3D quasi recurrent neural network for hyperspectral image (HSI) denoising, which can effectively embed the domain knowledge structural spatio spectral correlation and global correlation along spectrum. Specifically, 3D convolution is utilized to extract structural spatio spectral correlation in an HSI, while a quasi recurrent pooling function is employed to capture the global correlation along spectrum. Moreover, alternating directional structure is introduced to eliminate the causal dependency with no additional computation cost. The proposed model is capable of modeling spatio spectral dependency while preserving the flexibility towards HSIs with arbitrary number of bands. Extensive experiments on HSI denoising demonstrate significant improvement over state of the arts under various noise settings, in terms of both restoration accuracy and computation time. Our code is available at https github.com Vandermode QRNN3D.


Local State Space Analysis to Assist Partial Order Reduction. This paper presents an approach to more efficient partial order reduction for model checking concurrent systems. This approach utilizes a compositional reachability analysis to generate over approximate local state transition models for all processes in a concurrent system where an independence relation and other useful information can be extracted. The extracted independence relation, compared to what can be obtained by statically analyzing the system descriptions, is more precise and refined, therefore leads to more efficient partial order reduction. This approach is demonstrated on a set of concurrent system examples. Significantly higher reduction in state space has been observed in several cases compared to what can be obtained using SPIN.


Compare and Select Video Summarization with Multi Agent Reinforcement Learning. Video summarization aims at generating concise video summaries from the lengthy videos, to achieve better user watching experience. Due to the subjectivity, purely supervised methods for video summarization may bring the inherent errors from the annotations. To solve the subjectivity problem, we study the general user summarization process. General users usually watch the whole video, compare interesting clips and select some clips to form a final summary. Inspired by the general user behaviours, we formulate the summarization process as multiple sequential decision making processes, and propose Comparison Selection Network (CoSNet) based on multi agent reinforcement learning. Each agent focuses on a video clip and constantly changes its focus during the iterations, and the final focus clips of all agents form the summary. The comparison network provides the agent with the visual feature from clips and the chronological feature from the past round, while the selection network of the agent makes decisions on the change of its focus clip. The specially designed unsupervised reward and supervised reward together contribute to the policy advancement, each containing local and global parts. Extensive experiments on two benchmark datasets show that CoSNet outperforms state of the art unsupervised methods with the unsupervised reward and surpasses most supervised methods with the complete reward.


The Effect of Areal Density Asymmetries on Scattered Neutron Spectra in ICF Implosions. Scattered neutron spectroscopy is a diagnostic technique commonly used to measure areal density in ICF experiments. Deleterious areal density asymmetries modify the shape of the scattered neutron spectrum. In this work a novel analysis is developed which can be used to fit the shape change. This allows scattered neutron spectroscopy to directly infer the amplitude and mode of the areal density asymmetries, with little sensitivity to confounding factors which affect other diagnostics for areal density. The model is tested on spectra produced by a neutron transport calculation with both isotropic and anisotropic primary fusion neutron sources. Multiple lines of sight are required to infer the areal density distribution over the whole sphere we investigate the error propagation and optimal detector arrangement associated with this inference.


0 concordance of knotted surfaces and Alexander ideals. In this paper we provide a new obstruction to 0 concordance of knotted surfaces in S 4 in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0 concordance classes and to provide the first proof that the submonoid of 2 knots is not a group. The main result is that the Alexander ideal induces a homomorphism from the 0 concordance monoid mathscr C 0 of oriented surface knots in S 4 to the ideal class monoid of mathbb Z t pm1 . Consequently, any surface knot with nonprincipal Alexander ideal is not 0 slice and in fact, not invertible in mathscr C 0 . Many examples are given. We also characterize which ideals are the ideals of surface knots, generalizing a theorem of Kinoshita, and generalize the knot determinant to the case of nonprincipal ideals. Lastly, we show that under a mild condition on the knot group, the peripheral subgroup of a knotted surface is also a 0 concordance invariant.


Asymptotic Optimality of the Binomial Exhaustive Policy for Polling Systems with Large Switchover Times. We study an optimal control problem of polling systems with large switchover times, when a holding cost is incurred on the queues. In particular, we consider a stochastic network with a single server that switches between several buffers (queues) according to a pre specified order, assuming that the switchover times between the queues are large relative to the processing times of individual jobs. Due to its complexity, computing an optimal control for such a system is prohibitive, and so we instead search for an asymptotically optimal control. To this end, we first solve an optimal control problem for a deterministic relaxation (namely, for a fluid model), that is represented as a hybrid dynamical system. We then "translate" the solution to that fluid problem to a binomial exhaustive policy for the underlying stochastic system, and prove that this policy is asymptotically optimal in a large switchover time scaling regime, provided a certain uniform integrability (UI) condition holds. Finally, we demonstrate that the aforementioned UI condition holds in the following cases (i) the holding cost has (at most) linear growth, and all service times have finite second moments (ii) the holding cost grows at most at a polynomial rate (of any degree), and the service time distributions possess finite moment generating functions.


Graphing Website Relationships for Risk Prediction Identifying Derived Threats to Users Based on Known Indicators. The hypothesis for the study was that the relationship based on referrer links and the number of hops to a malicious site could indicate the risk to another website. We chose Receiver Operating Characteristics (ROC) analysis as the method of comparing true positive and false positive rates for captured web traffic to test the predictive capabilities of our model. Known threat indicators were used as designators, and the Neo4j graph database was leveraged to map the relationships between other websites based on referring links. Using the referring traffic, we mapped user visits across websites with a known relationship to track the rate at which users progressed from a non malicious website to a known threat. The results were grouped by the hop distance from the known threat to calculate the predictive rate. The results of the model produced true positive rates between 58.59 and 63.45 and false positive rates between 7.42 to 37.50 , respectively. The true and false positive rates suggest an improved performance based on the closer proximity from the known threat, while an increased referring distance from the threat resulted in higher rates of false positives.


Dolbeault Dirac Fredholm Operators for Quantum Homogeneous Spaces. Noncommutative Hermitian structures were recently introduced by the second author as an algebraic framework for studying noncommutative complex geometry on quantum homogeneous spaces. In this paper, we introduce the notion of a compact quantum homogeneous Hermitian space, which gives a natural set of compatibility conditions between covariant Hermitian structures and Woronowicz's theory of compact quantum groups. Each such object admits a Hilbert space completion, which possesses a remarkably rich yet tractable structure. The spectral behaviour of the associated Dolbeault Dirac operators is moulded by the complex geometry of the underlying calculus. In particular, twisting the Dolbeault Dirac operators by a negative (anti ample) line bundle is shown to give a Fredholm operator if and only if the top anti holomorphic cohomology group is finite dimensional. When this is so, the operator's index coincides with the holomorphic Euler characteristic of the underlying noncommutative complex structure. Our motivating family of examples, the irreducible quantum flag manifolds endowed with their Heckenberger Kolb calculi, are presented in detail. The noncommutative Bott Borel Weil theorem is used to produce a family of Dolbeault Dirac Fredholm operators for each quantum flag. Moreover, following previous spectral calculations of the authors, the Dolbeault Dirac operator of quantum projective space is exhibited as a spectral triple in the sense of Connes.


Forming Human Robot Cooperation for Tasks with General Goal using Evolutionary Value Learning. In Human Robot Cooperation (HRC), the robot cooperates with humans to accomplish the task together. Existing approaches assume the human has a specific goal during the cooperation, and the robot infers and acts toward it. However, in real world environments, a human usually only has a general goal (e.g., general direction or area in motion planning) at the beginning of the cooperation, which needs to be clarified to a specific goal (e.g., an exact position) during cooperation. The specification process is interactive and dynamic, which depends on the environment and the partners' behavior. The robot that does not consider the goal specification process may cause frustration to the human partner, elongate the time to come to an agreement, and compromise or fail team performance. We present the Evolutionary Value Learning (EVL) approach, which uses a State based Multivariate Bayesian Inference method to model the dynamics of the goal specification process in HRC. EVL can actively enhance the process of goal specification and cooperation formation. This enables the robot to simultaneously help the human specify the goal and learn a cooperative policy in a Deep Reinforcement Learning (DRL) manner. In a dynamic ball balancing task with real human subjects, the robot equipped with EVL outperforms existing methods with faster goal specification processes and better team performance.


On the Hardness of the Lee Syndrome Decoding Problem. In this paper we study the hardness of the syndrome decoding problem over finite rings endowed with the Lee metric. We first prove that the decisional version of the problem is NP complete, by a reduction from the 3 dimensional matching problem. Then, we study the complexity of solving the problem, by translating the best known solvers in the Hamming metric over finite fields to the Lee metric over finite rings, as well as proposing some novel solutions. For the analyzed algorithms, we assess the computational complexity in the asymptotic regime and compare it to the corresponding algorithms in the Hamming metric.


Stabilizability Theorems on Discrete time Nonlinear Uncertain Systems. This paper derives two stabilizability theorems for a basic class of discrete time nonlinear systems with multiple unknown parameters. First, we claim that a discrete time multi parameter system is stabilizable if its nonlinear growth rate is dominated by a polynomial rule. Later, we find that a stabilizable multi parameter system in discrete time is possible to grow exponentially fast. Meanwhile, optimality and closed loop identification are also discussed in this paper.


RAT iLQR A Risk Auto Tuning Controller to Optimally Account for Stochastic Model Mismatch. Successful robotic operation in stochastic environments relies on accurate characterization of the underlying probability distributions, yet this is often imperfect due to limited knowledge. This work presents a control algorithm that is capable of handling such distributional mismatches. Specifically, we propose a novel nonlinear MPC for distributionally robust control, which plans locally optimal feedback policies against a worst case distribution within a given KL divergence bound from a Gaussian distribution. Leveraging mathematical equivalence between distributionally robust control and risk sensitive optimal control, our framework also provides an algorithm to dynamically adjust the risk sensitivity level online for risk sensitive control. The benefits of the distributional robustness as well as the automatic risk sensitivity adjustment are demonstrated in a dynamic collision avoidance scenario where the predictive distribution of human motion is erroneous.


On the classification of smooth Fano weighted complete intersections. In this paper we study smooth Fano weighted complete intersections with respect to the new invariant the variance rm var (X) rm coindex (X) rm codim (X) . We prove that the classification of smooth Fano weighted complete intersections of fixed variance can be recovered from the finite number of families of weighted complete intersections. As an application, we have obtained the complete classification of smooth Fano weighted complete intersections of small variance. We also show that smooth Fano weighted complete intersections of anticanonical degree one and fixed variance lie in the finite number of families of weighted complete intersections. We propose the conjecture which strengthens the obtained results, and consider this conjecture in connection with the problem of existence of nice nef partitions for smooth Fano weighted complete intersections. We prove both the conjecture and the existence of nice nef partitions in partial cases.


Scaling limit of DLA on a long line segment. In this paper, we prove that the bulk of DLA starting from a long line segment on the x axis has a scaling limit to the stationary DLA process (SDLA). The main phenomenological difficulty is the multi scale, non monotone interaction of the DLA arms. We overcome this via a coupling scheme between the two processes and an intermediate DLA process with absorbing mesoscopic boundary segments.


Almost Universal Anonymous Rendezvous in the Plane. Two mobile agents represented by points freely moving in the plane and starting at two distinct positions, have to meet. The meeting, called rendezvous, occurs when agents are at distance at most r of each other and never move after this time, where r is a positive real unknown to them, called the visibility radius. Agents are anonymous and execute the same deterministic algorithm. Each agent has a set of private attributes, some or all of which can differ between agents. These attributes are the initial position of the agent, its system of coordinates (orientation and chirality), the rate of its clock, its speed when it moves, and the time of its wake up. If all attributes (except the initial positions) are identical and agents start at distance larger than r then they can never meet. However, differences between attributes make it sometimes possible to break the symmetry and accomplish rendezvous. Such instances of the rendezvous problem (formalized as lists of attributes), are called feasible. Our contribution is three fold. We first give an exact characterization of feasible instances. Thus it is natural to ask whether there exists a single algorithm that guarantees rendezvous for all these instances. We give a strong negative answer to this question we show two sets S 1 and S 2 of feasible instances such that none of them admits a single rendezvous algorithm valid for all instances of the set. On the other hand, we construct a single algorithm that guarantees rendezvous for all feasible instances outside of sets S 1 and S 2 . We observe that these exception sets S 1 and S 2 are geometrically very small, compared to the set of all feasible instances they are included in low dimension subspaces of the latter. Thus, our rendezvous algorithm handling all feasible instances other than these small sets of exceptions can be justly called almost universal.


At Your Service Coffee Beans Recommendation From a Robot Assistant. With advances in the field of machine learning, precisely algorithms for recommendation systems, robot assistants are envisioned to become more present in the hospitality industry. Additionally, the COVID 19 pandemic has also highlighted the need to have more service robots in our everyday lives, to minimise the risk of human to human transmission. One such example would be coffee shops, which have become intrinsic to our everyday lives. However, serving an excellent cup of coffee is not a trivial feat as a coffee blend typically comprises rich aromas, indulgent and unique flavours and a lingering aftertaste. Our work addresses this by proposing a computational model which recommends optimal coffee beans resulting from the user's preferences. Specifically, given a set of coffee bean properties (objective features), we apply different supervised learning techniques to predict coffee qualities (subjective features). We then consider an unsupervised learning method to analyse the relationship between coffee beans in the subjective feature space. Evaluated on a real coffee beans dataset based on digitised reviews, our results illustrate that the proposed computational model gives up to 92.7 percent recommendation accuracy for coffee beans prediction. From this, we propose how this computational model can be deployed on a service robot to reliably predict customers' coffee bean preferences, starting from the user inputting their coffee preferences to the robot recommending the coffee beans that best meet the user's likings.


FLCD A Flexible Low Complexity Design of Coded Distributed Computing. We propose a flexible low complexity design (FLCD) of coded distributed computing (CDC) with empirical evaluation on Amazon Elastic Compute Cloud (Amazon EC2). CDC can expedite MapReduce like computation by trading increased map computations to reduce communication load and shuffle time. A main novelty of FLCD is to utilize the design freedom in defining map and reduce functions to develop asymptotic homogeneous systems to support varying intermediate values (IV) sizes under a general MapReduce framework. Compared to existing designs with constant IV sizes, FLCD offers greater flexibility in adapting to network parameters and significantly reduces the implementation complexity by requiring fewer input files and shuffle groups. The FLCD scheme is the first proposed low complexity CDC design that can operate on a network with an arbitrary number of nodes and computation load. We perform empirical evaluations of the FLCD by executing the TeraSort algorithm on an Amazon EC2 cluster. This is the first time that theoretical predictions of the CDC shuffle time are validated by empirical evaluations. The evaluations demonstrate a 2.0 to 4.24x speedup compared to conventional uncoded MapReduce, a 12 to 52 reduction in total time, and a wider range of operating network parameters compared to existing CDC schemes.


Distributed Soft Actor Critic with Multivariate Reward Representation and Knowledge Distillation. In this paper, we describe NeurIPS 2019 Learning to Move Walk Around challenge physics based environment and present our solution to this competition which scored 1303.727 mean reward points and took 3rd place. Our method combines recent advances from both continuous and discrete action space reinforcement learning, such as Soft Actor Critic and Recurrent Experience Replay in Distributed Reinforcement Learning. We trained our agent in two stages to move somewhere at the first stage and to follow the target velocity field at the second stage. We also introduce novel Q function split technique, which we believe facilitates the task of training an agent, allows critic pretraining and reusing it for solving harder problems, and mitigate reward shaping design efforts.


Acoustic scattering and field enhancement through a single aperture. We study the acoustic field enhancement through a circular hole in a hard plate of finite thickness in this work. We derive the boundary integral equations corresponding to the acoustic scattering to investigate the Fabry Perot type resonant frequencies that induce the field enhancement. The asymptotic expansions of Fabry Perot type resonances with respect to the size of the hole are derived, and the quantitative analysis of the field enhancement caused by the configuration at the resonant frequencies is presented with both the enhancement order and the shapes of resonant modes characterized. The transmission in the nonresonant quasi static regime is also investigated.


Orthogonal to principal ideles. We describe the orthogonal to the group of principal ideles with respect to the global tame symbol pairing on the group of ideles of a smooth projective algebraic curve over a field.


An Angular Multigrid Preconditioner for the Radiation Transport Equation with Forward Peaked Scatter. In a previous paper (Lathouwers and Perk 'o, 2019) we have developed an efficient angular multigrid preconditioner for the Boltzmann transport equation with forward peaked scatter modeled by the Fokker Planck approximation. The discretization was based on a completely discontinuous Galerkin finite element scheme both for space and angle. The scheme was found to be highly effective on isotropically and anisotropically refined angular meshes. The purpose of this paper is to extend the method to non Fokker Planck models describing the forward scatter by general Legendre expansions. As smoother the standard source iteration is used whereas solution on the coarsest angular mesh is effected by a special sweep procedure that is able to solve this problem with highly anisotropic scatter using only a small number of iterations. An efficient scheme is obtained by lowering the scatter order in the multigrid preconditioner. A set of test problems is presented to illustrate the effectivity of the method, i.e. in less iterations than the single mesh case and more importantly with reduced computational effort.


QMCPACK Advances in the development, efficiency, and application of auxiliary field and real space variational and diffusion Quantum Monte Carlo. We review recent advances in the capabilities of the open source ab initio Quantum Monte Carlo (QMC) package QMCPACK and the workflow tool Nexus used for greater efficiency and reproducibility. The auxiliary field QMC (AFQMC) implementation has been greatly expanded to include k point symmetries, tensor hypercontraction, and accelerated graphical processing unit (GPU) support. These scaling and memory reductions greatly increase the number of orbitals that can practically be included in AFQMC calculations, increasing accuracy. Advances in real space methods include techniques for accurate computation of band gaps and for systematically improving the nodal surface of ground state wavefunctions. Results of these calculations can be used to validate application of more approximate electronic structure methods including GW and density functional based techniques. To provide an improved foundation for these calculations we utilize a new set of correlation consistent effective core potentials (pseudopotentials) that are more accurate than previous sets these can also be applied in quantum chemical and other many body applications, not only QMC. These advances increase the efficiency, accuracy, and range of properties that can be studied in both molecules and materials with QMC and QMCPACK.


Share Withholding Attack in Blockchain Mining Technical Report. Cryptocurrency achieves distributed consensus using proof of work (PoW). Prior research in blockchain security identified financially incentivized attacks based on withholding blocks which have the attacker compromise a victim pool and pose as a PoW contributor by submitting the shares (earning credit for mining) but withholding the blocks (no actual contributions to the pool). We advance such threats to generate greater reward advantage to the attackers while undermining the other miners and introduce the share withholding attack (SWH). SWH withholds shares to increase the attacker's reward payout within the pool, in contrast to the prior threats withholding blocks, and rather builds on the block withholding threats in order to exploit the information about the impending block submission timing, challenging the popularly established assumption that the block submission time is completely random and unknown to miners. We analyze SWH's incentive compatibility and the vulnerability scope by identifying the critical systems and environmental parameters which determine the attack's impact. Our results show that SWH in conjunction with block withholding yield unfair reward advantage at the expense of the protocol complying victim miners and that a rational miner will selfishly launch SWH to maximize its reward profit. We inform the blockchain and cryptocurrency research of the novel SWH threat and include the potential countermeasure directions to facilitate such research and development.


Comparison Theorem for Viability Kernels via Conic Preorders. In natural resource management, decision makers often aim at maintaining thestate of the system within a desirable set for all times.For instance, fisheries management procedures include keeping thespawning stock biomass over a critical threshold.Another example is given by the peak control of an epidemic outbreakthat encompasses maintaining thenumber of infected individuals below medical treatment capacities.In mathematical terms, one controls a dynamical system.Then, keeping the state of the system within a desirable set for all times is possible when the initial state belongs to the so called viabilitykernel. We introduce the notion of conic quasimonotonicity reducibility.With this property, we provide a comparison theorem by inclusion between two viabilitykernels, corresponding to two control systems in the infinite horizon case. Wealso derive conditions for equality. We illustrate the method with a model for thebiocontrol of a vector transmitted epidemic.


An Empirical Study of Person Re Identification with Attributes. Person re identification aims to identify a person from an image collection, given one image of that person as the query. There is, however, a plethora of real life scenarios where we may not have a priori library of query images and therefore must rely on information from other modalities. In this paper, an attribute based approach is proposed where the person of interest (POI) is described by a set of visual attributes, which are used to perform the search. We compare multiple algorithms and analyze how the quality of attributes impacts the performance. While prior work mostly relies on high precision attributes annotated by experts, we conduct a human subject study and reveal that certain visual attributes could not be consistently described by human observers, making them less reliable in real applications. A key conclusion is that the performance achieved by non expert attributes, instead of expert annotated ones, is a more faithful indicator of the status quo of attribute based approaches for person re identification.


The 4 Adic Complexity of A Class of Quaternary Cyclotomic Sequences with Period 2p. In cryptography, we hope a sequence over mathbb Z m with period N having larger m adic complexity. Compared with the binary case, the computation of 4 adic complexity of knowing quaternary sequences has not been well developed. In this paper, we determine the 4 adic complexity of the quaternary cyclotomic sequences with period 2 p defined in 6 . The main method we utilized is a quadratic Gauss sum G p valued in mathbb Z 4 N 1 which can be seen as a version of classical quadratic Gauss sum. Our results show that the 4 adic complexity of this class of quaternary cyclotomic sequences reaches the maximum if 5 nmid p 2 and close to the maximum otherwise.


Controllability and Accessibility on Graphs for Bilinear Systems over Lie Groups. This paper presents graph theoretic conditions for the controllability and accessibility of bilinear systems over the special orthogonal group, the special linear group and the general linear group, respectively, in the presence of drift terms. Such bilinear systems naturally induce two interaction graphs one graph from the drift, and another from the controlled dynamics. As a result, the system controllability or accessibility becomes a property of the two graphs in view of the classical Lie algebra rank condition. We establish a systemic way of transforming the Lie bracket operations in the underlying Lie algebra, into specific operations of removing or creating links over the drift and controlled interaction graphs. As a result, we establish a series of graphical conditions for the controllability and accessibility of such bilinear systems, which rely only on the connectivity of the union of the drift and controlled interaction graphs. We present examples to illustrate the validity of the established results, and show that the proposed conditions are in fact considerably tight.


Positive solutions of transport equations and classical nonuniqueness of characteristic curves. The seminal work of DiPerna and Lions Invent. Math., 98, 1989 guarantees the existence and uniqueness of regular Lagrangian flows for Sobolev vector fields. The latter is a suitable selection of trajectories of the related ODE satisfying additional compressibility semigroup properties. A long standing open question is whether the uniqueness of the regular Lagrangian flow is a corollary of the uniqueness of the trajectory of the ODE for a.e. initial datum. Using Ambrosio's superposition principle we relate the latter to the uniqueness of positive solutions of the continuity equation and we then provide a negative answer using tools introduced by Modena and Sz 'ekelyhidi in the recent groundbreaking work Ann. PDE, 4, 2018 . On the opposite side, we introduce a new class of asymmetric Lusin Lipschitz inequalities and use them to prove the uniqueness of positive solutions of the continuity equation in an integrability range which goes beyond the DiPerna Lions theory.


New Coupling Conditions for Isentropic Flow on Networks. We introduce new coupling conditions for isentropic flow on networks based on an artificial density at the junction. The new coupling conditions can be derived from a kinetic model by imposing a condition on energy dissipation. Existence and uniqueness of solutions to the generalized Riemann and Cauchy problem are proven. The result for the generalized Riemann problem is globally in state space. Furthermore, non increasing energy at the junction and a maximum principle are proven. A numerical example is given in which the new conditions are the only known conditions leading to the physically correct wave types. The approach generalizes to full gas dynamics.


A multi lane macroscopic traffic flow model for simple networks. We prove the well posedness of a system of balance laws inspired by 8 , describing macro scopically the traffic flow on a multi lane road network. Motivated by real applications, we allow for the the presence of space discontinuities both in the speed law and in the number of lanes. This allows to describe a number of realistic situations. Existence of solutions follows from compactness results on a sequence of Godunov's approximations, while L 1 stability is obtained by the doubling of variables technique. Some numerical simulations illustrate the behaviour of solutions in sample cases.


STREAmS a high fidelity accelerated solver for direct numerical simulation of compressible turbulent flow. We present STREAmS, an in house high fidelity solver for large scale, massively parallel direct numerical simulations (DNS) of compressible turbulent flows on graphical processing units (GPUs). STREAmS is written in the Fortran 90 language and it is tailored to carry out DNS of canonical compressible wall bounded flows, namely turbulent plane channel, zero pressure gradient turbulent boundary layer and supersonic oblique shock wave boundary layer interactions. The solver incorporates state of the art numerical algorithms, specifically designed to cope with the challenging problems associated with the solution of high speed turbulent flows and can be used across a wide range of Mach numbers, extending from the low subsonic up to the hypersonic regime. The use of cuf automatic kernels allowed an easy and efficient porting on the GPU architecture minimizing the changes to the original CPU code, which is also maintained. We discuss a memory allocation strategy based on duplicated arrays for host and device which carefully minimizes the memory usage making the solver suitable for large scale computations on the latest GPU cards. Comparison between different CPUs and GPUs architectures strongly favor the latter, and executing the solver on a single NVIDIA Tesla P100 corresponds to using approximately 330 Intel Knights Landing CPU cores. STREAmS shows very good strong scalability and essentially ideal weak scalability up to 2048 GPUs, paving the way to simulations in the genuine high Reynolds number regime, possibly at friction Reynolds number Re tau 10 4 . The solver is released open source under GPLv3 license and is available at https github.com matteobernardini STREAmS.


Suprathermal electron acceleration by a quasi perpendicular shock simulations and observations. The acceleration of suprathermal electrons in the solar wind is mainly associated with shocks driven by interplanetary coronal mass ejections (ICMEs). It is well known that the acceleration of electrons is much more efficient at quasi perpendicular shocks than at quasi parallel ones. Yang et al. (2018, ApJ, 853, 89) (hereafter YEA2018) studied the acceleration of suprathermal electrons at a quasi perpendicular ICME driven shock event to claim the important role of shock drift acceleration (SDA). Here, we perform test particle simulations to study the acceleration of electrons in this event, by calculating the downstream electron intensity distribution for all energy channels assuming an initial distribution based on the averaged upstream intensities. We obtain simulation results similar to the observations from YEA2018 as follows. It is shown that the ratio of downstream to upstream intensities peaks at about 90 circ pitch angle. In addition, in each pitch angle direction the downstream electron energy spectral index is much larger than the theoretical index of diffusive shock acceleration. Furthermore, considering SDA, the estimated drift length is proportional to the electron energy but the drift time is almost energy independent. Finally, we use a theoretical model based on SDA to describe the drift length and time, especially, to explain their energy dependence. These results indicate the importance of SDA in the acceleration of electrons by quasi perpendicular shocks.


Long range one cookie random walk with positive speed. We study one dimensional excited random walks with non nearest neighbor jumps. When the process is at a vertex that has not been visited before, its next transition has a positive drift to the right, possibly with long jumps. Whenever the process visits a vertex that has already been visited in the past, its next transition is the one of a simple symmetric random walk. We give a sufficient condition for the process to have positive speed.


Bicategorical colimits of tensor categories. In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K linear tensor categories. The constructions are direct and elementary.


End to End Trainable One Stage Parking Slot Detection Integrating Global and Local Information. This paper proposes an end to end trainable one stage parking slot detection method for around view monitor (AVM) images. The proposed method simultaneously acquires global information (entrance, type, and occupancy of parking slot) and local information (location and orientation of junction) by using a convolutional neural network (CNN), and integrates them to detect parking slots with their properties. This method divides an AVM image into a grid and performs a CNN based feature extraction. For each cell of the grid, the global and local information of the parking slot is obtained by applying convolution filters to the extracted feature map. Final detection results are produced by integrating the global and local information of the parking slot through non maximum suppression (NMS). Since the proposed method obtains most of the information of the parking slot using a fully convolutional network without a region proposal stage, it is an end to end trainable one stage detector. In experiments, this method was quantitatively evaluated using the public dataset and outperforms previous methods by showing both recall and precision of 99.77 , type classification accuracy of 100 , and occupancy classification accuracy of 99.31 while processing 60 frames per second.


Coarse Space Correction for Graphic Analysis. In this paper we present an effective coarse space correction addressed to accelerate the solution of an algebraic linear system. The system arises from the formulation of the problem of interpolating scattered data by means of Radial Basis Functions. Radial Basis Functions are commonly used for interpolating scattered data during the image reconstruction process in graphic analysis. This requires to solve a linear system of equations for each color component and this process represents the most time consuming operation. Several basis functions like trigonometric, exponential, Gaussian, polynomial are here investigated to construct a suitable coarse space correction to speed up the solution of the linear system. Numerical experiments outline the superiority of some functions for the fast iterative solution of the image reconstruction problem.


The density theorem for discrete series representations restricted to lattices. This article considers the relation between the spanning properties of lattice orbits of discrete series representations and the associated lattice co volume. The focus is on the density theorem, which provides a trichotomy characterizing the existence of cyclic vectors and separating vectors, and frames and Riesz sequences. We provide an elementary exposition of the density theorem, that is based solely on basic tools from harmonic analysis, representation theory, and frame theory, and put the results into context by means of examples.


Democracy, Complexity, and Science Exploring Structural Sources of National Scientific Performance. Scholars have long hypothesized that democratic forms of government are more compatible with scientific advancement. However, empirical analysis testing the democracy science compatibility hypothesis remains underdeveloped. This article explores the effect of democratic governance on scientific performance using panel data on 124 countries between 2007 and 2017. We find evidence supporting the democracy science hypothesis. Further, using both internal and external measures of complexity, we estimate the effects of complexity as a moderating factor between the democracy science connection. The results show differential main effects of economic complexity, globalization, and international collaboration on scientific performance, as well as significant interaction effects that moderate the effect of democracy on scientific performance. The findings show the significance of democratic governance and complex systems in national scientific performance.


Effect of Confidence and Explanation on Accuracy and Trust Calibration in AI Assisted Decision Making. Today, AI is being increasingly used to help human experts make decisions in high stakes scenarios. In these scenarios, full automation is often undesirable, not only due to the significance of the outcome, but also because human experts can draw on their domain knowledge complementary to the model's to ensure task success. We refer to these scenarios as AI assisted decision making, where the individual strengths of the human and the AI come together to optimize the joint decision outcome. A key to their success is to appropriately textit calibrate human trust in the AI on a case by case basis knowing when to trust or distrust the AI allows the human expert to appropriately apply their knowledge, improving decision outcomes in cases where the model is likely to perform poorly. This research conducts a case study of AI assisted decision making in which humans and AI have comparable performance alone, and explores whether features that reveal case specific model information can calibrate trust and improve the joint performance of the human and AI. Specifically, we study the effect of showing confidence score and local explanation for a particular prediction. Through two human experiments, we show that confidence score can help calibrate people's trust in an AI model, but trust calibration alone is not sufficient to improve AI assisted decision making, which may also depend on whether the human can bring in enough unique knowledge to complement the AI's errors. We also highlight the problems in using local explanation for AI assisted decision making scenarios and invite the research community to explore new approaches to explainability for calibrating human trust in AI.


On the real homotopy type of generalized complex nilmanifolds. We prove that for any n geq 4 there are infinitely many real homotopy types of 2n dimensional nilmanifolds admitting generalized complex structures of every type k , for 0 leq k leq n . This is in deep contrast to the 6 dimensional case.


Recognizing Arrow Of Time In The Short Stories. Recognizing arrow of time in short stories is a challenging task. i.e., given only two paragraphs, determining which comes first and which comes next is a difficult task even for humans. In this paper, we have collected and curated a novel dataset for tackling this challenging task. We have shown that a pre trained BERT architecture achieves reasonable accuracy on the task, and outperforms RNN based architectures.


All Roads Lead to UD Converting Stanford and Penn Parses to English Universal Dependencies with Multilayer Annotations. We describe and evaluate different approaches to the conversion of gold standard corpus data from Stanford Typed Dependencies (SD) and Penn style constituent trees to the latest English Universal Dependencies representation (UD 2.2). Our results indicate that pure SD to UD conversion is highly accurate across multiple genres, resulting in around 1.5 errors, but can be improved further to fewer than 0.5 errors given access to annotations beyond the pure syntax tree, such as entity types and coreference resolution, which are necessary for correct generation of several UD relations. We show that constituent based conversion using CoreNLP (with automatic NER) performs substantially worse in all genres, including when using gold constituent trees, primarily due to underspecification of phrasal grammatical functions.


A Calculus for Language Transformations. In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and we prove that it is type sound. We have implemented our calculus, and we demonstrate its applicability with common examples in programming languages. As our calculus manipulates inference systems, our work can, in principle, be applied to logical systems.


On the use of light polarization to investigate the size, shape and refractive index dependence of backscattering Angstroem exponents. In this letter, we exploit the polarization property of light to investigate the Angstroem exponent describing the wavelength dependence of optical backscatter between two wavelengths. Where previous interpretation of Angstroem exponent was that of a particles size indicator, the use of light polarization makes it possible to investigate the Angstroem exponent dependence on the particles shape by separately retrieving the backscattering Angstroem exponent of the spherical and nonspherical particles contained in an atmospheric particle mixture. As an output, analytical solutions of the Maxwell equations, Lorenz Mie theory, spheroidal model,can then be applied to investigate the Angstroem exponent dependence on the particles size and complex refractive index for each assigned shape. Interestingly, lidar retrieved vertical profiles of backscattering Angstroem exponents specific to s and ns particles can be used by the optical community to evaluate a range of involved particles sizes and complex refractive indices for both particles shapes, spherical and nonspherical, as we remotely demonstrate on a case study dedicated to a dust nucleation event.


Expansive operators which are power bounded or algebraic. Given Hilbert space operators P,T in B( H), P geq 0 invertible, T is (m,P) expansive (resp., (m,P) isometric) for some positive integer m if triangle T ,T m(P) sum j 0 m( 1) j left( begin array clcr m j end array right) T jPT j leq 0 (resp., triangle T ,T m(P) 0 ). An (m,P) expansive operator T is power bounded if and only if it is a C 1 cdot operator which is similar to an isometry and satisfies triangle T ,T n(Q) 0 for some positive invertible operator Q in B( H) and all integers n geq 1 . If, instead, T is an algebraic (m,I) expansive operator, then either the spectral radius r(T) of T is greater than one or T is the perturbation of a unitary by a nilpotent such that T is (2n 1, I) isometric for some positive integers m 0 leq m , m 0 odd, and n geq frac m 0 1 2 .


A Search based Neural Model for Biomedical Nested and Overlapping Event Detection. We tackle the nested and overlapping event detection task and propose a novel search based neural network (SBNN) structured prediction model that treats the task as a search problem on a relation graph of trigger argument structures. Unlike existing structured prediction tasks such as dependency parsing, the task targets to detect DAG structures, which constitute events, from the relation graph. We define actions to construct events and use all the beams in a beam search to detect all event structures that may be overlapping and nested. The search process constructs events in a bottom up manner while modelling the global properties for nested and overlapping structures simultaneously using neural networks. We show that the model achieves performance comparable to the state of the art model Turku Event Extraction System (TEES) on the BioNLP Cancer Genetics (CG) Shared Task 2013 without the use of any syntactic and hand engineered features. Further analyses on the development set show that our model is more computationally efficient while yielding higher F1 score performance.


FlowDB a large scale precipitation, river, and flash flood dataset. Flooding results in 8 billion dollars of damage annually in the US and causes the most deaths of any weather related event. Due to climate change scientists expect more heavy precipitation events in the future. However, no current datasets exist that contain both hourly precipitation and river flow data. We introduce a novel hourly river flow and precipitation dataset and a second subset of flash flood events with damage estimates and injury counts. Using these datasets we create two challenges (1) general stream flow forecasting and (2) flash flood damage estimation. We have created several publicly available benchmarks and an easy to use package. Additionally, in the future we aim to augment our dataset with snow pack data and soil index moisture data to improve predictions.


Experimental Study on the Aerodynamic Sealing of Air Curtains. Controlling the air quality is of the utmost importance in today buildings. Vertical air curtains are often used to separate two different climatic zones with a view to reduce heat transfer. In fact, this research work proposes an air curtain aimed to ensure a proper separation between two zones, a clean one and a contaminated one. The methodology of this research includes (i) small scale tests on water models to ensure that the contamination does not pass through the air curtain, and (ii) an analytical development integrating the main physical characteristics of plane jets. In the solution developed, the airflow is extracted from the contaminated compartment to reduce the curtain airflow rejected to the exterior of the compartment. In this research work, it was possible to determine the minimum exhaust flow necessary to ensure the aerodynamic sealing of the air curtain. This article addresses the methodology used to perform the small scale water tests and the corresponding results.


A Way Around UMIP and Descriptor Table Exiting via TSX based Side Channel. Nowadays, in operating systems, numerous protection mechanisms prevent or limit the user mode applicationsto access the kernels internal information. This is regularlycarried out by software based defenses such as Address Space Layout Randomization (ASLR) and Kernel ASLR(KASLR). They play pronounced roles when the security of sandboxed applications such as Web browser are considered.Armed with arbitrary write access in the kernel memory, if these protections are bypassed, an adversary could find a suitable where to write in order to get an elevation of privilege or code execution in ring 0. In this paper, we introduce a reliable method based on Transactional Synchronization Extensions (TSX) side channel leakage to reveal the address of the Global Descriptor Table (GDT) and Interrupt Descriptor Table (IDT). We indicate that by detecting these addresses, one could execute instructions to sidestep the Intels User Mode InstructionPrevention (UMIP) and the Hypervisor based mitigation and, consequently, neutralized them. The introduced method is successfully performed after the most recent patches for Meltdown and Spectre. Moreover, the implementation of the proposed approach on different platforms, including the latest releases of Microsoft Windows, Linux, and, Mac OSX with the latest 9th generation of Intel processors, shows that the proposed mechanism is independent from the Operating System implementation. We demonstrate that a combinationof this method with call gate mechanism (available in modernprocessors) in a chain of events will eventually lead toa system compromise despite the limitations of a super secure sandboxed environment in the presence of Windows proprietary Virtualization Based Security (VBS). Finally, we suggest the software based mitigation to avoid these issues with an acceptable overhead cost.


The Navier Stokes equations in primitive variables. The Navier Stokes equations in the primitive formulation for incompressible flow describe the evolution of velocity and pressure, without recourse to vorticity. We show that, beyond the finite Leray Hopf regularity interval, every postulated strong solution is accompanied by infinitely many diffusion dominated percolations of arbitrary size, while the momentum deficit caused by the non linearity is compensated by the pressure gradient. In the upper half space, we demonstrate how sequences of these collective companions can be re scaled into an absurd singularity. Owning to the passive nature of the pressure, there exist no essential a priori bounds for establishing the uniqueness of primitive solutions. With the illustration of well exploited examples of closed form basic flows, we elucidate the reason why perturbations, infinitesimal or finite, instigate indeterminate states that render the concept of flow instability inadmissible. An effort has also been made to reappraise a number of important issues in fluid dynamics. Unfortunately, the primitive theory cannot serve as a reliable tool for prediction. Nevertheless, a dedicated effort has been made to elaborate a priori bounds for vorticity dynamics for ideal as well as real fluids. As a result, we are able to establish long time regularity of the Cauchy problem for incompressible flows. A main conclusion is that no events of finite time blow up can ever occur in the Euler or Navier Stokes equations for initial data of finite energy.


Machine Learning for Glacier Monitoring in the Hindu Kush Himalaya. Glacier mapping is key to ecological monitoring in the hkh region. Climate change poses a risk to individuals whose livelihoods depend on the health of glacier ecosystems. In this work, we present a machine learning based approach to support ecological monitoring, with a focus on glaciers. Our approach is based on semi automated mapping from satellite images. We utilize readily available remote sensing data to create a model to identify and outline both clean ice and debris covered glaciers from satellite imagery. We also release data and develop a web tool that allows experts to visualize and correct model predictions, with the ultimate aim of accelerating the glacier mapping process.


ToTTo A Controlled Table To Text Generation Dataset. We present ToTTo, an open domain English table to text dataset with over 120,000 training examples that proposes a controlled generation task given a Wikipedia table and a set of highlighted table cells, produce a one sentence description. To obtain generated targets that are natural but also faithful to the source table, we introduce a dataset construction process where annotators directly revise existing candidate sentences from Wikipedia. We present systematic analyses of our dataset and annotation process as well as results achieved by several state of the art baselines. While usually fluent, existing methods often hallucinate phrases that are not supported by the table, suggesting that this dataset can serve as a useful research benchmark for high precision conditional text generation.


Labour Market Information Driven, Personalized, OER Recommendation System for Lifelong Learners. In this paper, we suggest a novel method to aid lifelong learners to access relevant OER based learning content to master skills demanded on the labour market. Our software prototype 1) applies Text Classification and Text Mining methods on vacancy announcements to decompose jobs into meaningful skills components, which lifelong learners should target and 2) creates a hybrid OER Recommender System to suggest personalized learning content for learners to progress towards their skill targets. For the first evaluation of this prototype we focused on two job areas Data Scientist, and Mechanical Engineer. We applied our skill extractor approach and provided OER recommendations for learners targeting these jobs. We conducted in depth, semi structured interviews with 12 subject matter experts to learn how our prototype performs in terms of its objectives, logic, and contribution to learning. More than 150 recommendations were generated, and 76.9 of these recommendations were treated as useful by the interviewees. Interviews revealed that a personalized OER recommender system, based on skills demanded by labour market, has the potential to improve the learning experience of lifelong learners.


Analytical Advances about the apex Field Enhancement Factor of a Hemisphere on a Post Model. In this dissertation, we analytically study the apex field enhancement factor (FEF), gamma a , by constructing a method which consists in minimizing an error function defined as to measure the deviation of the potential at the boundary, yielding approximate axial multipole coefficients of a general axial symmetric conducting emitter shape, on which the apex FEF can be calculated by summing its respective Legendre series. Such method is analytically applied for a conducting hemisphere on a flat plate, confirming the known result of gamma a 3 . Also, it is applied on a hemi ellipsoid on a plate where the values of the apex FEF are compared with the ones extracted from the analytical expression. Then, the method is applied for the hemisphere on a cylindrical post (HCP) model. In this case, to analytically estimate the apex FEF from first principles is a problem of considerable complexity. Despite the slow convergence of the apex FEF, useful analytical conclusions are drawn and explored, such as, it is confirmed that all even multipole contributions of the HCP model are zero, which in turn leads to restrictions on the charge density distribution it will be shown the surface charge density must be an odd function with respect to height in an equivalent system. Also, expressions found for the apex FEF depend explicitly on the aspect ratio, that is, the ratio of height by base radius. Using the dominant multipole contribution, the dipole, at sufficient large distances, it is shown that, for two interacting emitters, as their separation distance increases, the fractional change in apex FEF, delta , decreases following a power law with exponent 3 . The result is extended for conducting emitters having an arbitrary axially symmetric shape, where it is also shown delta has a pre factor depending on geometry, confirming the tendency observed in recent analytical and numerical results.


Application of Helmholtz Hodge decomposition to the study of certain vector fields. Smooth vector fields on mathbb R n can be decomposed into the sum of a gradient vector field and divergence free (solenoidal) vector field under suitable hypotheses. This is called the Helmholtz Hodge decomposition (HHD), which has been applied to analyze the topological features of vector fields. In this study, we apply the HHD to study certain types of vector fields. In particular, we investigate the existence of strictly orthogonal HHDs, which assure an effective analysis. The first object of the study is linear vector fields. We demonstrate that a strictly orthogonal HHD for a vector field of the form textbf F ( textbf x ) A textbf x can be obtained by solving an algebraic Riccati equation. Subsequently, a method to explicitly construct a Lyapunov function is established. In particular, if A is normal, there exists an easy solution to this equation. Next, we study planar vector fields. In this case, the HHD yields a complex potential, which is a generalization of the notion in hydrodynamics with the same name. We demonstrate the convenience of the complex potential formalism by analyzing vector fields given by homogeneous quadratic polynomials.


Triangles in K s saturated graphs with minimum degree t . For n geq 15 , we prove that the minimum number of triangles in an n vertex K 4 saturated graph with minimum degree 4 is exactly 2n 4 , and that there is a unique extremal graph. This is a triangle version of a result of Alon, Erd H o s, Holzman, and Krivelevich from 1996. Additionally, we show that for any s r geq 3 and t geq 2 (s 2) 1 , there is a K s saturated n vertex graph with minimum degree t that has binom s 2 r 1 2 r 1 n c s,r,t copies of K r . This shows that unlike the number of edges, the number of K r 's ( r 2 ) in a K s saturated graph is not forced to grow with the minimum degree, except for possibly in lower order terms.


On the stability of projection based model order reduction for convection dominated laminar and turbulent flows. In the literature on projection based nonlinear model order reduction for fluid dynamics problems, it is often claimed that due to modal truncation, a projection based reduced order model (PROM) does not resolve the dissipative regime of the turbulent energy cascade and therefore is numerically unstable. Efforts at addressing this claim have ranged from attempting to model the effects of the truncated modes to enriching the classical subspace of approximation in order to account for the truncated phenomena. This paper challenges this claim. Exploring the relationship between projection based model order reduction and semi discretization and using numerical evidence from three relevant flow problems, it argues in an orderly manner that the real culprit behind most if not all reported numerical instabilities of PROMs for turbulence and convection dominated turbulent flow problems is the Galerkin framework that has been used for constructing the PROMs. The paper also shows that alternatively, a Petrov Galerkin framework can be used to construct numerically stable PROMs for convection dominated laminar as well as turbulent flow problems that are numerically stable and accurate, without resorting to additional closure models or tailoring of the subspace of approximation. It also shows that such alternative PROMs deliver significant speedup factors.


Level sets persistence and sheaf theory. In this paper we provide an explicit connection between level sets persistence and derived sheaf theory over the real line. In particular we construct a functor from 2 parameter persistence modules to sheaves over mathbb R , as well as a functor in the other direction. We also observe that the 2 parameter persistence modules arising from the level sets of Morse functions carry extra structure that we call a Mayer Vietoris system. We prove classification, barcode decomposition, and stability theorems for these Mayer Vietoris systems, and we show that the aforementioned functors establish a pseudo isometric equivalence of categories between derived constructible sheaves with the convolution or (derived) bottleneck distance and the interleaving distance of strictly pointwise finite dimensional Mayer Vietoris systems. Ultimately, our results provide a functorial equivalence between level sets persistence and derived pushforward for continuous real valued functions.


Decoupled Modified Characteristic Finite Element Method with Different Subdomain Time Steps for Nonstationary Dual Porosity Navier Stokes Model. In this paper, we develop the numerical theory of decoupled modified characteristic finite element method with different subdomain time steps for the mixed stabilized formulation of nonstationary dual porosity Navier Stokes model. Based on partitioned time stepping methods, the system is decoupled, which means that the Navier Stokes equations and two different Darcy equations are solved independently at each time step of subdomain. In particular, the Navier Stokes equations are solved by the modified characteristic finite element method, which overcome the computational difficulties caused by the nonlinear term. In order to increase the efficiency, different time steps are used to different subdomains. The stability of this method is proved. In addition, we verify the optimal L 2 norm error convergence order of the solutions by mathematical induction, whose proof implies the uniform L infty boundedness of the fully discrete velocity solution. Finally, some numerical tests are presented to show efficiency of the proposed method.


Standard monomials of 1 skeleton ideals of multigraphs. Given a graph G on the vertex set 0,1, ldots,n with root vertex 0 , Postnikov and Shapiro associated a monomial ideal mathcal M G in the polynomial ring R mathbb K x 1, ldots,x n over a field mathbb K such that dim mathbb K (R mathcal M G) det widetilde L G , where widetilde L G is the truncated Laplace matrix of G . Thus the standard monomials of R mathcal M G correspond bijectively to the spanning trees of G . Dochtermann introduced the 1 skeleton ideal mathcal M G (1) which satisfies the property that dim mathbb K (R mathcal M G (1) ) ge det widetilde Q G , where widetilde Q G is the truncated signless Laplace matrix of G . In this paper, we give one necessary condition for a multigraph G to satisfy dim mathbb K (R mathcal M G (1) ) det widetilde Q G . Consequently, we classify all subgraphs of K n 1 a,1 , in particular all simple graphs G such that dim mathbb K (R mathcal M G (1) ) det widetilde Q G . Some examples of families of multigraphs G in which dim mathbb K (R mathcal M G (1) ) det widetilde Q G holds, are also given. Thus for such families of G , the standard monomials of R mathcal M G (1) are counted (in a weighted fashion) by certain TU subgraphs of G .


Manipulation with Shared Grasping. A shared grasp is a grasp formed by contacts between the manipulated object and both the robot hand and the environment. By trading off hand contacts for environmental contacts, a shared grasp requires fewer contacts with the hand, and enables manipulation even when a full grasp is not possible. Previous research has used shared grasps for non prehensile manipulation such as pivoting and tumbling. This paper treats the problem more generally, with methods to select the best shared grasp and robot actions for a desired object motion. The central issue is to evaluate the feasible contact modes for each contact, whether that contact will remain active, and whether slip will occur. Robustness is important. When a contact mode fails, e.g., when a contact is lost, or when unintentional slip occurs, the operation will fail, and in some cases damage may occur. In this work, we enumerate all feasible contact modes, calculate corresponding controls, and select the most robust candidate. We can also optimize the contact geometry for robustness. This paper employs quasi static analysis of planar rigid bodies with Coulomb friction to derive the algorithms and controls. Finally, we demonstrate the robustness of shared grasping and the use of our methods in representative experiments and examples. The video can be found at https youtu.be tyNhJvRYZNk


The opportunities and challenges of integrating population histories into genetic studies of diverse populations a motivating example from Native Hawaiians. There is an urgent and well recognized need to extend genetic studies to diverse populations, but several obstacles continue to be prohibitive, including (but not limited to) the difficulty of recruiting individuals from diverse populations in large numbers and the lack of representation in available genomic references. These obstacles notwithstanding, studying multiple diverse populations would provide informative, population specific insights. Using Native Hawaiians as an example of an understudied population with a unique evolutionary history, I will argue that by developing key genomic resources and integrating evolutionary thinking into genetic epidemiology, we will have the opportunity to efficiently advance our knowledge of the genetic risk factors, ameliorate health disparity, and improve healthcare in this underserved population.


A Jointed Feature Fusion Framework for Photoacoustic Reconstruction. Photoacoustic (PA) computed tomography (PACT) reconstructs the initial pressure distribution from raw PA signals. The standard reconstruction of medical image could cause the artifacts due to interferences or ill posed setup. Recently, deep learning has been used to reconstruct the PA image with ill posed conditions. Most works remove the artifacts from image domain, and compensate the limited view from dataset. In this paper, we propose a jointed feature fusion framework (JEFF Net) based on deep learning to reconstruct the PA image using limited view data. The cross domain features from limited view position wise data and the reconstructed image are fused by a backtracked supervision. Specifically, our results could generate superior performance, whose artifacts are drastically reduced in the output compared to ground truth (full view reconstructed result). In this paper, a quarter position wise data (32 channels) is fed into model, which outputs another 3 quarters view data (96 channels). Moreover, two novel losses are designed to restrain the artifacts by sufficiently manipulating superposed data. The numerical and in vivo results have demonstrated the superior performance of our method to reconstruct the full view image without artifacts. Finally, quantitative evaluations show that our proposed method outperformed the ground truth in some metrics.


Constant vorticity geophysical waves with centripetal forces and at arbitrary latitude. We consider three dimensional geophysical flows at arbitrary latitude and with constant vorticity beneath a wave train and above a flat bed in the beta plane approximation with centripetal forces. We consider the f plane approximation as well as the beta plane approximation. For the f plane approximation, we prove that there is no bounded solution. For the beta plane approximation, we show that the flow is necessarily irrotational and the free surface is necessarily flat if it exhibits a constant vorticity. Our results reveal some essential differences from those results in the literature, due to the presence of centripetal forces. Moreover, for the case exhibiting the surface tension, we prove that there are no flows exhibiting constant vorticity.


On Explicit Milstein type Scheme for Mckean Vlasov Stochastic Differential Equations with Super linear Drift Coefficient. We develop an explicit Milstein type scheme for McKean Vlasov stochastic differential equations using the notion of derivative with respect to measure introduced by Lions and discussed in cite cardaliaguet2013 . The drift coefficient is allowed to grow super linearly in the space variable. Further, both drift and diffusion coefficients are assumed to be only once differentiable in variables corresponding to space and measure. The rate of strong convergence is shown to be equal to 1.0 without using It o's formula for functions depending on measure. The challenges arising due to the dependence of coefficients on measure are tackled and our findings are consistent with the analogous results for stochastic differential equations.


Linguistic Knowledge and Transferability of Contextual Representations. Contextual word representations derived from large scale neural language models are successful across a diverse set of NLP tasks, suggesting that they encode useful and transferable features of language. To shed light on the linguistic knowledge they capture, we study the representations produced by several recent pretrained contextualizers (variants of ELMo, the OpenAI transformer language model, and BERT) with a suite of seventeen diverse probing tasks. We find that linear models trained on top of frozen contextual representations are competitive with state of the art task specific models in many cases, but fail on tasks requiring fine grained linguistic knowledge (e.g., conjunct identification). To investigate the transferability of contextual word representations, we quantify differences in the transferability of individual layers within contextualizers, especially between recurrent neural networks (RNNs) and transformers. For instance, higher layers of RNNs are more task specific, while transformer layers do not exhibit the same monotonic trend. In addition, to better understand what makes contextual word representations transferable, we compare language model pretraining with eleven supervised pretraining tasks. For any given task, pretraining on a closely related task yields better performance than language model pretraining (which is better on average) when the pretraining dataset is fixed. However, language model pretraining on more data gives the best results.


Acoustic radiation force and torque on spheroidal particles in an ideal cylindrical chamber. We theoretically investigate how the acoustic radiation force and torque arise on a small spheroidal particle immersed in a nonviscous fluid inside an ideal cylindrical chamber. The ideal chamber comprises a hard top and bottom (rigid boundary condition), and a soft or hard lateral wall. By assuming the particle is much smaller than the acoustic wavelength, we present analytical expressions of the radiation force and torque caused by an acoustic wave of arbitrary shape. Unlike previous results, these expressions are given relative to a fixed laboratory frame. Our model is showcased for analyzing the behavior of an elongated metallic microspheroid (with a 10 1 aspect ratio) in a half wavelength acoustofluidic chamber with a few millimeters diameter. The results show the radiation torque aligns the microspheroid along the nodal plane, and the radiation force causes a translational motion with a speed of up to one body length per second. At last, we discuss the implications of this study to propelled nanorods by ultrasound.


Graphs with no induced K 2,t . Consider a graph G on n vertices with alpha binom n 2 edges which does not contain an induced K 2, t ( t geqslant 2 ). How large does alpha have to be to ensure that G contains, say, a large clique or some fixed subgraph H ? We give results for two regimes for alpha bounded away from zero and for alpha o(1) . Our results for alpha o(1) are strongly related to the Induced Tur ' a n numbers which were recently introduced by Loh, Tait, Timmons and Zhou. For alpha bounded away from zero, our results can be seen as a generalisation of a result of Gy ' a rf ' a s, Hubenko and Solymosi and more recently Holmsen (whose argument inspired ours).


A perspective on correlation based financial networks and entropy measures. In this brief review, we critically examine the recent work done on correlation based networks in financial systems. The structure of empirical correlation matrices constructed from the financial market data changes as the individual stock prices fluctuate with time, showing interesting evolutionary patterns, especially during critical events such as market crashes, bubbles, etc. We show that the study of correlation based networks and their evolution with time is useful for extracting important information of the underlying market dynamics. We, also, present our perspective on the use of recently developed entropy measures such as structural entropy and eigen entropy for continuous monitoring of correlation based networks.


StartupBR Higher Education's Influence on Social Networks and Entrepreneurship in Brazil. Developing and middle income countries increasingly empha size higher education and entrepreneurship in their long term develop ment strategy. Our work focuses on the influence of higher education institutions (HEIs) on startup ecosystems in Brazil, an emerging economy. First, we describe regional variability in entrepreneurial network characteristics. Then we examine the influence of elite HEIs in economic hubs on entrepreneur networks. Second, we investigate the influence ofthe academic trajectories of startup founders, including their courses of study and HEIs of origin, on the fundraising capacity of startups. Given the growing capability of social media databases such as Crunchbase and LinkedIn to provide startup and individual level data, we draw on computational methods to mine data for social network analysis. We find that HEI quality and the maturity of the ecosystem influence startup success. Our network analysis illustrates that elite HEIs have powerful influences on local entrepreneur ecosystems. Surprisingly, while the most nationally prestigious HEIs in the South and Southeast have the longest geographical reach, their network influence still remains local.


Load balancing under d thinning. In the classical balls and bins model, m balls are allocated into n bins one by one uniformly at random. In this note, we consider the d thinning variant of this model, in which the process is regulated in an on line fashion as follows. For each ball, after a random bin has been selected, an overseer may decide, based on all previous history, whether to accept this bin or not. However, one of every d consecutive suggested bins must be accepted. The maximum load of this setting is the number of balls in the most loaded bin. We show that after Theta(n) balls have been allocated, the least maximum load achievable with high probability is (d o(1)) sqrt d frac d log n log log n . This should be compared with the related d choice setting, in which the optimal maximum load achievable with high probability is frac log log n log d O(1) .


Impact of spectral effects on photovoltaic energy production A case study in the United States. The time averaged efficiency of photovoltaic modules in the field is generally lower than the efficiency measured in the laboratory under standard testing conditions due to the combined effects of temperature and spectral variability, affecting the bankability of power plant projects. We report correction factors to account for spectral effects ranging from 2 to 1.3 of the produced energy for silicon modules depending on location and collector geometry. In high irradiance locations, the energy yield advantage of trackers is underestimated by 0.4 if spectral sensitivity effects are neglected. We find a correlation between the locations most favourable for tracking, and those most favourable for multijunctions. As the photovoltaic market grows to a multi terawatt size, these seemingly small effects are expected to have an economic impact equivalent to tens of billions of dollars in the next few decades, far out weighting the cost of the required research effort.


Manipulating Medical Image Translation with Manifold Disentanglement. Medical image translation (e.g. CT to MR) is a challenging task as it requires I) faithful translation of domain invariant features (e.g. shape information of anatomical structures) and II) realistic synthesis of target domain features (e.g. tissue appearance in MR). In this work, we propose Manifold Disentanglement Generative Adversarial Network (MDGAN), a novel image translation framework that explicitly models these two types of features. It employs a fully convolutional generator to model domain invariant features, and it uses style codes to separately model target domain features as a manifold. This design aims to explicitly disentangle domain invariant features and domain specific features while gaining individual control of both. The image translation process is formulated as a stylisation task, where the input is "stylised" (translated) into diverse target domain images based on style codes sampled from the learnt manifold. We test MDGAN for multi modal medical image translation, where we create two domain specific manifold clusters on the manifold to translate segmentation maps into pseudo CT and pseudo MR images, respectively. We show that by traversing a path across the MR manifold cluster, the target output can be manipulated while still retaining the shape information from the input.


Adjoint Complement to the Volume of Fluid Method for Immiscible Flows. The paper is concerned with an adjoint complement to the Volume of Fluid (VoF) method for immiscible two phase flows, e.g. air and water, which is widely used in marine engineering due to its computational efficiency. The particular challenge of the primal and the corresponding adjoint VoF approach refers to the sharp interface treatment featuring discontinuous physical properties. Both the continuous adjoint two phase system (integration by parts) and the corresponding dual compressive convection schemes (summation by parts) are derived for two prominent compressive convection schemes, namely the High Resolution Interface Capturing Scheme (HRIC) and Compressive Interface Capturing Scheme for Arbitrary Meshes (CICSAM). The dual scheme rigorously mirrors the primal Normalized Variable Diagram (NVD) stencils. Attention is restricted to steady state applications. Thus both the primal and the dual procedures are performed in pseudo time and the backward integration of the dual approach is performed around the (pseudo temporal) converged primal field. The paper analyses the primal and adjoint equations for an engineering model problem. An analytical solution to the model problem is initially presented, which displays that the adjoint part does not offer a unique, non trivial solution. As a remedy, an additional diffusive concentration term is introduced to the adjoint concentration equation. Numerical results obtained from the modified approach are benchmarked against the analytical solution for the model problem. Supplementary, the influence of the modification on the sensitivities obtained from simulations for the two dimensional flow around a submerged hydrofoil are discussed. The final application refers to a shape optimization of a generic 3D underwater vehicle and underlines a negligible influence of the free mobility parameter.


Universal relations in asymptotic formulas for orthogonal polynomials. Orthogonal polynomials P n ( lambda) are oscillating functions of n as n to infty for lambda in the absolutely continuous spectrum of the corresponding Jacobi operator J . We show that, irrespective of any specific assumptions on coefficients of the operator J , amplitude and phase factors in asymptotic formulas for P n ( lambda) are linked by certain universal relations found in the paper. Our approach relies on a study of operators diagonalizing Jacobi operators. Diagonalizing operators are constructed in terms of orthogonal polynomials P n ( lambda) . They act from the space L 2 ( Bbb R) of functions into the space ell 2 ( Bbb Z ) of sequences. We consider such operators in a rather general setting and find necessary and sufficient conditions of their boundedness.


When Can The Discrete Moran Process May Bereplaced By Wright fisher Diffusion?. The Moran discrete process and the Wright Fisher modelare the most popular models in population genetics. It is common tounderstand the dynamics of these models to use an approximating diffusionprocess, called Wright Fisher diffusion. Here, we give a quantitativelarge population limit of the error committed by using the approximationdiffusion in the presence of weak selection and weak immigrationin one dimension. The approach is robust enough to consider the casewhere selection and immigration are Markovian processes, with limitsjump or diffusion processes.


On the Representation and Construction of Equitable Social Welfare Orders. This paper examines the representation and explicit description of social welfare orders on infinite utility streams. It is assumed that the social welfare orders under investigation satisfy upper asymptotic Pareto and anonymity axioms. We prove that there exists no real valued representation of such social welfare orders. In addition, we establish that the existence of a social welfare order satisfying the anonymity and upper asymptotic Pareto axioms implies the existence of a non Ramsey set, which is a non constructive object. Thus, we conclude that the social welfare orders under study do not admit explicit description.


Effect of Robot Kinematic Activity on CLASS And TUG K Scores of Non Science Majors. There were two objectives. The first was to determine if a real time graphing activity will influence the interpretation of the subject of kinematic graphs, as measured by the TUGK. The second was to determine if attitude, as measured by CLASS, has a connection with graphical interpretation. The graphing activity did not affect graphical interpretation this might be due to the short time spent on the treatment. However, there was a connection between attitude and graphical interpretation. The subjects of this study were non science majors attending a medium sized state owned university.


Secure Communication in Dynamic Wireless Ad hoc Networks. We consider a wireless ad hoc network in the presence of eavesdroppers (EDs), where the nodes are distributed according to independent Poisson point processes (PPPs). The legitimate nodes follow the half duplex mode of operation employing the slotted ALOHA protocol for transmission. For such a network, a novel communication scheme that induces a time varying secure connectivity graph (SCG) is proposed, and the connectivity behavior of this induced SCG is studied. In particular, for a legitimate node in the network, we analyze (i) the average number of incoming edges and the average number of outgoing edges (ii) the time to nearest neighbor secure connectivity and (iii) a condition on the EDs' density that allows information percolation, ie , a condition for the existence of a giant' component. The average time for secure connectivity among the nodes in this giant component is shown to scale linearly with the Euclidean distance. Further, we show that by splitting the packets into two sub packets and routing each sub packet along paths that are sufficiently far apart can (a) potentially improve secure connectivity and (b) reduce the overall delay incurred in exchanging packets between any two legitimate nodes in the giant component.


Underpotential electroless deposition of metals on polyaniline. A novel technique to deposit metals on highly conjugated polyaniline films has been developed. In general, electrodeposition of metals, having low reduction potential, from aqueous solution, is difficult due to disruptive effect of hydrogen which evolves during the process. This difficulty is avoided using conducting polymers films with high surface mass density. The polymer chains of these films possess a high degree of conjugation. Such a polymer produces highly stable polarons and therefore has the ability to perform underpotential deposition. Our method involves reduction of polyaniline film with formic acid followed by dipping the coated electrode in the metal salt solution. Deposition of the metal is monitored by rise in the open circuit potential of the electrode. Deposition of metals with high surface mass density has been achieved. The metal is most likely present in the polymer as a coordination complex with amine nitrogen. Such form of metal is expected to have higher catalytic activity than the zero valent metal. We have been able to deposit metals such as Mn and Cu. Among these, Mn cannot be deposited on polymer by any other method.


State aggregations in Markov chains and block models of networks. We consider state aggregation schemes for Markov chains from an information theoretic perspective. Specifically, we consider aggregating the states of a Markov chain such that the mutual information of the aggregated states separated by T time steps is maximized. We show that for T 1 this approach recovers the maximum likelihood estimator of the degree corrected stochastic block model as a particular case, thereby enabling us to explain certain features of the likelihood landscape of this popular generative network model from a dynamical lens. We further highlight how we can uncover coherent, long range dynamical modules for which considering a time scale T 1 is essential, using synthetic flows and real world ocean currents, where we are able to recover the fundamental features of the surface currents of the oceans.


Symbol Detection for Massive MIMO AF Relays Using Approximate Bayesian Inference. For massive MIMO AF relays, symbol detection becomes a practical issue when the number of antennas is not large enough, since linear methods are non optimal and optimal methods are exponentially complex. This paper proposes a new detection algorithm that offers Bayesian optimal MSE at the cost of O(n 3) complexity per iteration. The algorithm is in essence a hybrid of two methods recently developed for deep learning, with particular optimization for relay. As a hybrid, it inherits from the two a state evolution formulism, where the asymptotic MSE can be precisely predicted through a scalar equivalent model. The algorithm also degenerates easily to many results well known when single hop considered.


Quantitative Sobolev extensions and the Neumann heat kernel for integral Ricci curvature conditions. We prove the existence of Sobolev extension operators for certain uniform classes of domains in a Riemannian manifold with an explicit uniform bound on the norm depending only on the geometry near their boundaries. We use this quantitative estimate to obtain uniform Neumann heat kernel upper bounds and gradient estimates for positive solutions of the Neumann heat equation assuming integral Ricci curvature conditions and geometric conditions on the boundary. Those estimates also imply quantitative lower bounds on the first Neumann eigenvalue of the considered domains.


A compactness theorem for frozen planets. We study the moduli space of frozen planet orbits in the Helium atom for an interpolation between instantaneous and mean interactions and show that this moduli space is compact.


Angular measures and Birkhoff orthogonality in Minkowski planes. Let x and y be two unit vectors in a normed plane mathbb R 2 . We say that x is Birkhoff orthogonal to y if the line through x in the direction y supports the unit disc. A B measure (Fankh "anel 2011) is an angular measure mu on the unit circle for which mu(C) pi 2 whenever C is a shorter arc of the unit circle connecting two Birkhoff orthogonal points. We present a characterization of the normed planes that admit a B measure.


Computing Crisp Bisimulations for Fuzzy Structures. Fuzzy structures such as fuzzy automata, fuzzy transition systems, weighted social networks and fuzzy interpretations in fuzzy description logics have been widely studied. For such structures, bisimulation is a natural notion for characterizing indiscernibility between states or individuals. There are two kinds of bisimulations for fuzzy structures crisp bisimulations and fuzzy bisimulations. While the latter fits to the fuzzy paradigm, the former has also attracted attention due to the application of crisp equivalence relations, for example, in minimizing structures. Bisimulations can be formulated for fuzzy labeled graphs and then adapted to other fuzzy structures. In this article, we present an efficient algorithm for computing the partition corresponding to the largest crisp bisimulation of a given finite fuzzy labeled graph. Its complexity is of order O((m log l n) log n ) , where n , m and l are the number of vertices, the number of nonzero edges and the number of different fuzzy degrees of edges of the input graph, respectively. We also study a similar problem for the setting with counting successors, which corresponds to the case with qualified number restrictions in description logics and graded modalities in modal logics. In particular, we provide an efficient algorithm with the complexity O((m log m n) log n ) for the considered problem in that setting.