Vietoris Rips Persistent Homology, Injective Metric Spaces, and The Filling Radius. In the applied algebraic topology community, the persistent homology induced by the Vietoris Rips simplicial filtration is a standard method for capturing topological information from metric spaces. In this paper, we consider a different, more geometric way of generating persistent homology of metric spaces which arises by first embedding a given metric space into a larger space and then considering thickenings of the original space inside this ambient metric space. In the course of doing this, we construct an appropriate category for studying this notion of persistent homology and show that, in a category theoretic sense, the standard persistent homology of the Vietoris Rips filtration is isomorphic to our geometric persistent homology provided that the ambient metric space satisfies a property called injectivity. As an application of this isomorphism result we are able to precisely characterize the type of intervals that appear in the persistence barcodes of the Vietoris Rips filtration of any compact metric space and also to give succinct proofs of the characterization of the persistent homology of products and metric gluings of metric spaces. Our results also permit proving several bounds on the length of intervals in the Vietoris Rips barcode by other metric invariants. Finally, as another application, we connect this geometric persistent homology to the notion of filling radius of manifolds introduced by Gromov cite G07 and show some consequences related to (1) the homotopy type of the Vietoris Rips complexes of spheres which follow from work of M. Katz and (2) characterization (rigidity) results for spheres in terms of their Vietoris Rips persistence barcodes which follow from work of F. Wilhelm.


An Artificial Intelligence approach to Shadow Rating. We analyse the effectiveness of modern deep learning techniques in predicting credit ratings over a universe of thousands of global corporate entities obligations when compared to most popular, traditional machine learning approaches such as linear models and tree based classifiers. Our results show a adequate accuracy over different rating classes when applying categorical embeddings to artificial neural networks (ANN) architectures.


Distributional properties of semantic interference in picture naming Bayesian meta analyses. Studies of word production often make use of picture naming tasks, including the picture word interference task. In this task, participants name pictures with superimposed distractor words. They typically need more time to name pictures when the distractor word is semantically related to the picture than when it is unrelated (the semantic interference effect). The present study examines the distributional properties of this effect in a series of Bayesian meta analyses. Meta analytic estimates of the semantic interference effect first show that the effect is present throughout the reaction time distribution and that it increases throughout the distribution. Second, we find a correlation between a participant's mean semantic interference effect and the change in the effect in the tail of the reaction time distribution, which has been argued to reflect the involvement of selective inhibition in the naming task. Finally, we show with simulated data that this correlation emerges even when no inhibition is used to generate the data, which suggests that inhibition is not needed to explain this relationship.


JEC QA A Legal Domain Question Answering Dataset. We present JEC QA, the largest question answering dataset in the legal domain, collected from the National Judicial Examination of China. The examination is a comprehensive evaluation of professional skills for legal practitioners. College students are required to pass the examination to be certified as a lawyer or a judge. The dataset is challenging for existing question answering methods, because both retrieving relevant materials and answering questions require the ability of logic reasoning. Due to the high demand of multiple reasoning abilities to answer legal questions, the state of the art models can only achieve about 28 accuracy on JEC QA, while skilled humans and unskilled humans can reach 81 and 64 accuracy respectively, which indicates a huge gap between humans and machines on this task. We will release JEC QA and our baselines to help improve the reasoning ability of machine comprehension models. You can access the dataset from http jecqa.thunlp.org .


How context impacts on media choice. The relevance of mobile working is steadily increasing. Based on new mobile devices (e.g. smartphones) and their innovative functionalities, an increasing amount of data is being made available ubiquitously. As a result, the growing diffusion of smartphones offers new potential for enterprises. Current mobile devices and related mobile networks have reached a high level of maturity. Thus, the organizational aspects of mobile work have become a focal point of interest for enterprises as well as for academics. This research article addresses the question How does context influence the choice of communication channels of mobile knowledge workers? An explorative research approach is used to collect and analyse 418 communication incidents, which were initiated by mobile knowledge workers. The results indicate that (1) the context (e.g. travelling on trains) influences the usage of communication channels and (2) smartphones enable the usage of communication channels (e.g. email) in certain contexts.


Accounting for Symptomatic and Asymptomatic in a SEIR type model of COVID 19. A mathematical model was developed describing the dynamic of the COVID 19 virus over a population considering that the infected can either be symptomatic or not. The model was calibrated using data on the confirmed cases and death from several countries like France, Philippines, Italy, Spain, United Kingdom, China, and the USA. First, we derived the basic reproduction number, mathcal R 0 , and estimated the effective reproduction mathcal R rm eff for each country. Second, we were interested in the merits of interventions, either by distancing or by treatment. Results revealed that total and partial containment is effective in reducing the transmission. However, its duration may be long to eradicate the disease (104 days for France). By setting the end of intervention as the day when hospital capacity is reached, numerical simulations showed that the duration can be reduced (up to only 39 days for France if the capacity is 1000 patients). Further, results pointed out that the effective reproduction number remains large after containment. Therefore, testing and isolation are necessary to stop the disease.


Do we need two forms of feedback in the Rate Control Protocol (RCP)?. There is considerable interest in the networking community in explicit congestion control as it may allow the design of a fair, stable, low loss, low delay, and high utilization network. The Rate Control Protocol (RCP) is an example of such a congestion control protocol. The current design of RCP suggests that it should employ two forms of feedback i.e. rate mismatch and queue size, in order to manage its flow control algorithms. An outstanding design question in RCP is whether the presence of queue size feedback is useful or not, given feedback based on rate mismatch. In this paper, we address this question using tools from control and bifurcation theory. We linearize the actual non linear system and analyze the local asymptotic stability, robust stability and rate of convergence of both the design choices, i.e., with and without queue size feedback. But such analyses do not offer clear design recommendations on whether the queue feedback is useful or not. This motivates a bifurcation theoretic analysis where we have to take non linear terms into consideration, which helps to learn additional dynamical properties of the RCP system. In particular, we proceed to analyze two non linear properties, namely, the type of Hopf bifurcation and the asymptotic stability of the bifurcating limit cycles. Analytical results reveal that the presence of queue feedback in RCP can induce a sub critical Hopf bifurcation, which can lead to undesirable system behavior. Whereas, in the absence of queue feedback, the Hopf bifurcation is always super critical where the bifurcating limit cycles are stable and of small amplitude. The analysis is corroborated by numerical computations and some packet level simulations as well. Based on our work, the suggestion for RCP is to only include feedback based on rate mismatch in the design of the protocol.


Energy Beamforming for Wireless Information and Power Transfer in Backscatter Multiuser Networks. Wirelessly powered backscatter communication (WPBC) has been identified as a promising technology for low power communication systems, which can reap the benefits of energy beamforming to improve energy transfer efficiency. Existing studies on energy beamforming fail to simultaneously take energy supply and information transfer in WPBC into account. This paper takes the first step to fill this gap, by considering the trade off between the energy harvesting rate and achievable rate using estimated backscatter channel state information (BS CSI). To ensure reliable communication and user fairness, we formulate the energy beamforming design as a max min optimization problem by maximizing the minimum achievable rate for all tags subject to the energy constraint. We derive the closed form expression of the energy harvesting rate, as well as the lower bound of the ergodic achievable rate. Our numerical results indicate that our scheme can significantly outperform state of the art energy beamforming schemes. Additionally, the proposed scheme achieves performance comparable to that obtained via beamforming with perfect CSI.


True performance metrics in beyond intercalation batteries. Beyond intercalation batteries promise a step change in energy storage compared to intercalation based lithium and sodium ion batteries. However, only performance metrics that include all cell components and operation parameters can tell whether a true advance over intercalation batteries has been achieved.


Estimation for High Dimensional Multi Layer Generalized Linear Model Part II The ML GAMP Estimator. This is Part II of a two part work on the estimation for a multi layer generalized linear model (ML GLM) in large system limits. In Part I, we had analyzed the asymptotic performance of an exact MMSE estimator, and obtained a set of coupled equations that could characterize its MSE performance. To work around the implementation difficulty of the exact estimator, this paper continues to propose an approximate solution, ML GAMP, which could be derived by blending a moment matching projection into the Gaussian approximated loopy belief propagation. The ML GAMP estimator is then shown to enjoy a great simplicity in its implementation, where its per iteration complexity is as low as GAMP. Further analysis on its asymptotic performance also reveals that, in large system limits, its dynamical MSE behavior is fully characterized by a set of simple one dimensional iterating equations, termed state evolution (SE). Interestingly, this SE of ML GAMP share exactly the same fixed points with an exact MMSE estimator whose fixed points were obtained in Part I via a replica analysis. Given the Bayes optimality of the exact implementation, this proposed estimator (if converged) is optimal in the MSE sense.


Near Optimal Control Strategy in Leader Follower Networks A Case Study for Linear Quadratic Mean Field Teams. In this paper, a decentralized stochastic control system consisting of one leader and many homogeneous followers is studied. The leader and followers are coupled in both dynamics and cost, where the dynamics are linear and the cost function is quadratic in the states and actions of the leader and followers. The objective of the leader and followers is to reach consensus while minimizing their communication and energy costs. The leader knows its local state and each follower knows its local state and the state of the leader. The number of required links to implement this decentralized information structure is equal to the number of followers, which is the minimum number of links for a communication graph to be connected. In the special case of leaderless, no link is required among followers, i.e., the communication graph is not even connected. We propose a near optimal control strategy that converges to the optimal solution as the number of followers increases. One of the salient features of the proposed solution is that it provides a design scheme, where the convergence rate edit as well as the collective behavior of the followers can be designed by choosing appropriate cost functions. In addition, the computational complexity of the proposed solution does not depend on the number of followers. Furthermore, the proposed strategy can be computed in a distributed manner, where the leader solves one Riccati equation and each follower solves two Riccati equations to calculate their strategies. Two numerical examples are provided to demonstrate the effectiveness of the results in the control of multi agent systems.


Precursors of the El Ni no Phenomenon A climate network analysis. The identification of precursors of climatic phenomena has enormous practical importance. Recent work constructs a climate network based on surface air temperature data to analyze the El Ni no phenomena. We utilize microtransitions which occur before the discontinuous percolation transition in the network as well as other network quantities to identify a set of reliable precursors of El Ni no episodes. These precursors identify nine out of twelve El Ni no episodes occurring in the period of 1979 to 2018 with a lead time varying from six to ten months. We also find indicators of tipping events in the data.


Helmholtz scattering by random domains first order sparse boundary element approximation. We consider the numerical solution of time harmonic acoustic scattering by obstacles with uncertain geometries for Dirichlet, Neumann, impedance and transmission boundary conditions. In particular, we aim to quantify diffracted fields originated by small stochastic perturbations of a given relatively smooth nominal shape. Using first order shape Taylor expansions, we derive tensor deterministic first kind boundary integral equations for the statistical moments of the scattering problems considered. These are then approximated by sparse tensor Galerkin discretizations via the combination technique (Griebel et al.). We supply extensive numerical experiments confirming the predicted error convergence rates with poly logarithmic growth in the number of degrees of freedom and accuracy in approximation of the moments. Moreover, we discuss implementation details such as preconditioning to finally point out further research avenues.


Optimal group testing. In the group testing problem the aim is to identify a small set of k sim n theta infected individuals out of a population size n , 0 theta 1 . We avail ourselves of a test procedure capable of testing groups of individuals, with the test returning a positive result iff at least one individual in the group is infected. The aim is to devise a test design with as few tests as possible so that the set of infected individuals can be identified correctly with high probability. We establish an explicit sharp information theoretic algorithmic phase transition minf for non adaptive group testing, where all tests are conducted in parallel. Thus, with more than minf tests the infected individuals can be identified in polynomial time whp, while learning the set of infected individuals is information theoretically impossible with fewer tests. In addition, we develop an optimal adaptive scheme where the tests are conducted in two stages.


On the Evaluation of Intelligent Process Automation. Intelligent Process Automation (IPA) is emerging as a sub field of AI to support the automation of long tail processes which requires the coordination of tasks across different systems. So far, the field of IPA has been largely driven by systems and use cases, lacking a more formal definition of the task and its assessment. This paper aims to address this gap by providing a formalisation of IPA and by proposing specific metrics to support the empirical evaluation of IPA systems. This work also compares and contrasts IPA against related tasks such as end user programming and program synthesis.


Two dimensional partial covariance mass spectrometry for the top down analysis of intact proteins. Two dimensional partial covariance mass spectrometry (2D PC MS) exploits the inherent fluctuations of fragment ion abundances across a series of tandem mass spectra, to identify correlated pairs of fragment ions produced along the same fragmentation pathway of the same parent (e.g. peptide) ion. Here, we apply 2D PC MS to the analysis of intact protein ions in a standard linear ion trap mass analyzer, using the fact that the fragment fragment correlation signals are much more specific to bio molecular sequence than 1D MS MS signals at the same mass accuracy and resolution. We show that from the distribution of signals on a 2D PC MS map it is possible to extract the charge state of both parent and fragment ions without resolving the isotopic envelope. Furthermore, the 2D map of fragment fragment correlations naturally reveals the secondary decomposition pathways of the fragment ions. We access this spectral information using an adapted version of the Hough transform. We demonstrate the successful identification of highly charged, intact protein molecules without the need for high mass resolution. Using this technique we also perform the in silico deconvolution of the overlapping fragment ion signals from two co isolated and co fragmented intact protein molecules, demonstrating a viable new method for the concurrent mass spectrometric identification of a mixture of intact protein ions from the same fragment ion spectrum.


Combining Multilevel Hartree Fock and Multilevel Coupled Cluster with Molecular Mechanics a Study of Electronic Excitations in Solutions. We investigate the coupling of different quantum embedding approaches with a third molecular mechanics layer, which can be either polarizable or non polarizable. In particular, such a coupling is discussed for the multilevel families of methods, in which the system is divided into an active and an inactive orbital spaces. The computational cost of the resulting three layers approaches is reduced by treating the long range interactions at the classical level.The methods developed are tested against the calculation of the excitation energies of molecular systems in aqueous solution, for which an atomistic description of the environment is crucial to correctly reproduce the specific solute solvent interactions, such as hydrogen bonding. In particular, we present the results obtained for three different moieties, acrolein, pyridine and para nitroaniline, showing that an almost perfect agreement with experimental data can be achieved when the relevant physico chemical interactions are included in the modeling of the condensed phase.


Questions to Guide the Future of Artificial Intelligence Research. The field of machine learning has focused, primarily, on discretized sub problems (i.e. vision, speech, natural language) of intelligence. While neuroscience tends to be observation heavy, providing few guiding theories. It is unlikely that artificial intelligence will emerge through only one of these disciplines. Instead, it is likely to be some amalgamation of their algorithmic and observational findings. As a result, there are a number of problems that should be addressed in order to select the beneficial aspects of both fields. In this article, we propose leading questions to guide the future of artificial intelligence research. There are clear computational principles on which the brain operates. The problem is finding these computational needles in a haystack of biological complexity. Biology has clear constraints but by not using it as a guide we are constraining ourselves.


On Numerosity of Deep Neural Networks. Recently, a provocative claim was published that number sense spontaneously emerges in a deep neural network trained merely for visual object recognition. This has, if true, far reaching significance to the fields of machine learning and cognitive science alike. In this paper, we prove the above claim to be unfortunately incorrect. The statistical analysis to support the claim is flawed in that the sample set used to identify number aware neurons is too small, compared to the huge number of neurons in the object recognition network. By this flawed analysis one could mistakenly identify number sensing neurons in any randomly initialized deep neural networks that are not trained at all. With the above critique we ask the question what if a deep convolutional neural network is carefully trained for numerosity? Our findings are mixed. Even after being trained with number depicting images, the deep learning approach still has difficulties to acquire the abstract concept of numbers, a cognitive task that preschoolers perform with ease. But on the other hand, we do find some encouraging evidences suggesting that deep neural networks are more robust to distribution shift for small numbers than for large numbers.


Uniqueness of tangent cones to boundary points of two dimensional almost minimizing currents. We prove that tangent cones at singular boundary points of a two dimensional current almost area minimizing are unique. Following the ideas exposed by White in 8 , the result is achieved by combining a suitable epiperimetric inequality and an almost monotonicity formula for the mass at boundary points.


On the Common Randomness Capacity of a Special Class of Two way Channels. In this paper, we would like to study the common randomness (CR) capacity of intertwined two way channels, namely those whose marginal channel transition probabilities depends also on the signal they transmit. We bring a few special settings and provide constructive schemes with which the two nodes can agree upon a common randomness. We then provide an outer bound on the CR capacity of intertwined receiver decomposable (RD) two way channel and will provide a bound on the cardinality of the available auxiliary variables. We will also show this outer bound is bounded above by Venkatesan Anantharam CR capacity which makes it tight for decomposing two way setting.


Lipschitz classification of Bedford McMullen carpets with uniform horizontal fibers. Let cal M t,v,r (n,m) , 2 leq m n , be the collection of self affine carpets with expanding matrix diag(n,m) which are totally disconnected, possessing vacant rows and with uniform horizontal fibers. In this paper, we introduce a notion of structure tree of a metric space, and thanks to this new notion, we completely characterize when two carpets in cal M t,v,r (n,m) are Lipschitz equivalent.


Model Based Testing IoT Communication via Active Automata Learning. This paper presents a learning based approach to detecting failures in reactive systems. The technique is based on inferring models of multiple implementations of a common specification which are pair wise cross checked for equivalence. Any counterexample to equivalence is flagged as suspicious and has to be analysed manually. Hence, it is possible to find possible failures in a semi automatic way without prior modelling. We show that the approach is effective by means of a case study. For this case study, we carried out experiments in which we learned models of five implementations of MQTT brokers servers, a protocol used in the Internet of Things. Examining these models, we found several violations of the MQTT specification. All but one of the considered implementations showed faulty behaviour. In the analysis, we discuss effectiveness and also issues we faced.


Tropical Analysis of the Asymptotics of the Perron Frobenius Eigenvector. Asymptotic properties of matrices are, in general, difficult to analyze with classical mathematical techniques. In very specific cases, there is a well known connection between the asymptotic behavior of a matrix's leading eigenvector and the corresponding "tropical" matrix, arising out of the max and min operations innate in tropical analysis. In this paper we examine a more general class of matrices, and explore the extent to which we can generalize the results using tropical techniques. We find that while the original results do not easily generalize, we can still make some useful statements about the asymptotic behavior in the general case, and can give a complete characterization for a larger class of matrices than previously examined.


Higher Correlations and the Alternative Hypothesis. The Alternative Hypothesis concerns a hypothetical and unlikely picture of how zeros of the Riemann zeta function are spaced which one would like to rule out. In the Alternative Hypothesis, the renormalized distance between nontrivial zeros is supposed to always lie at a half integer. It is known that the Alternative Hypothesis is compatible with what is known about the pair correlation function of zeta zeros. We ask whether what is currently known about higher correlation functions of the zeros is sufficient to rule out the Alternative Hypothesis and show by construction of an explicit counterexample point process that it is not. A similar result was recently independently obtained by T. Tao, using slightly different methods. We also apply the ergodic theorem to this point process to show there exists a deterministic collection of points lying in tfrac 1 2 mathbb Z which satisfy the Alternative Hypothesis spacing but mimic all statistics which are currently known about zeros of the zeta function.


On the definition of irreducible holomorphic symplectic manifolds and their singular analogs. In the definition of irreducible holomorphic symplectic manifolds the condition of being simply connected can be replaced by vanishing irregularity. We discuss finite quotients X of complex tori where the space of reflexive 2 forms is generated by a holomorphic symplectic form, and their Lagrangian fibrations. Neither X nor the base can be smooth unless X is a 2 torus.


The overall mortality caused by COVID 19 in the European region is highly associated with demographic composition A spatial regression based approach. The demographic factors have a substantial impact on the overall casualties caused by the COVID 19. In this study, the spatial association between the key demographic variables and COVID 19 cases and deaths were analyzed using the spatial regression models. Total 13 (for COVID 19 case factor) and 8 (for COVID 19 death factor) key variables were considered for the modelling. Total five spatial regression models such as Geographically weighted regression (GWR), Spatial Error Model (SEM), Spatial Lag Model (SLM), Spatial Error Lag model (SEM SLM), and Ordinary Least Square (OLS) were performed for the spatial modelling and mapping of model estimates. The local R2 values, which suggesting the influences of the selected demographic variables on overall casualties caused by COVID 19, was found highest in Italy and the UK. The moderate local R2 was observed for France, Belgium, Netherlands, Ireland, Denmark, Norway, Sweden, Poland, Slovakia, and Romania. The lowest local R2 value for COVID 19 cases was accounted for Latvia and Lithuania. Among the 13 variables, the highest local R2 was calculated for total population (R2 0.92), followed by death crude death rate (R2 0.9), long time illness (R2 0.84), population with age 80 (R2 0.59), employment (R2 0.46), life expectancy at 65 (R2 0.34), crude birth rate (R2 0.31), life expectancy (R2 0.31), Population with age 65 80 (R2 0.29), Population with age 15 24 (R2 0.27), Population with age 25 49 (R2 0.27), Population with age 0 14 (R2 0.23), and Population with age 50 65 (R2 0.23), respectively.


Hierarchical Schr " o dinger type operators the case of potentials with local singularities. The goal of this paper is twofold. We prove that the operator H L V , a perturbation of the Taibleson Vladimirov multiplier L mathfrak D alpha by a potential V(x) b left Vert x right Vert alpha , b geq b ast , is essentially self adjoint and non negative definite (the critical value b ast depends on alpha and will be specified later). While the operator H is non negative definite the potential V(x) may well take negative values, e.g. b ast 0 for all 0 alpha 1 . The equation Hu v admiits a Green function g H (x,y) , the integral kernel of the operator H 1 . We obtain sharp lower and upper bounds on the ratio of the functions g H (x,y) and g L (x,y) . Examples illustrate our exposition.


Atomic Cluster Expansion Completeness, Efficiency and Stability. The Atomic Cluster Expansion (Drautz, Phys. Rev. B 99, 2019) provides a framework to systematically derive polynomial basis functions for approximating isometry and permutation invariant functions, particularly with an eye to modelling properties of atomistic systems. Our presentation extends the derivation by proposing a precomputation algorithm that yields immediate guarantees that a complete basis is obtained. We provide a fast recursive algorithm for efficient evaluation and illustrate its performance in numerical tests. Finally, we discuss generalisations and open challenges, particularly from a numerical stability perspective, around basis optimisation and parameter estimation, paving the way towards a comprehensive analysis of the convergence to a high fidelity reference model.


Bounded point derivations and functions of bounded mean oscillation. Let X be a subset of the complex plane and let A 0(X) denote the space of VMO functions that are analytic on X . A 0(X) is said to admit a bounded point derivation of order t at a point x 0 in partial X if there exists a constant C such that f (t) (x 0) leq C f BMO for all functions in VMO(X) that are analytic on X cup x 0 . In this paper, we give necessary and sufficient conditions in terms of lower 1 dimensional Hausdorff content for A 0(X) to admit a bounded point derivation at x 0 . These conditions are similar to conditions for the existence of bounded point derivations on other functions spaces.


K3 carpets on minimal rational surfaces and their smoothings. In this article, we study K3 double structures on minimal rational surfaces Y . The results show there are infinitely many non split abstract K3 double structures on Y mathbb F e parametrized by mathbb P 1 , countably many of which are projective. For Y mathbb P 2 there exist a unique non split abstract K3 double structure which is non projective (see Dr 'ezet's article in arXiv 2004.04921). We show that all projective K3 carpets can be smoothed to a smooth K3 surface. One of the byproducts of the proof shows that unless Y is embedded as a variety of minimal degree, there are infinitely many embedded K3 carpet structures on Y . Moreover, we show any embedded projective K3 carpet on mathbb F e with e 3 arises as a flat limit of embeddings degenerating to 2 1 morphism. The rest do not, but we still prove the smoothing result. We further show that the Hilbert points corresponding to the projective K3 carpets supported on mathbb F e , embedded by a complete linear series are smooth points if and only if 0 leq e leq 2 . In contrast, Hilbert points corresponding to projective K3 carpets supported on mathbb P 2 and embedded by a complete linear series are always smooth. The results in a recent paper of Bangere, Gallego, and Gonz 'alez show that there are no higher dimensional analogues of the results in this article.


A sequence of algebraic integer relation numbers which converges to 4. Let alpha in mathbb R and let A begin bmatrix 1 1 0 1 end bmatrix text and B alpha begin bmatrix 1 0 alpha 1 end bmatrix . The subgroup G alpha of mathrm SL 2( mathbb R ) is a group generated by the matrices A and B alpha . In this paper, we investigate the property of the group G alpha. We construct a generalization of the Farey graph for the subgroup G alpha. This graph determines whether the group G alpha is a free group of rank 2 . More precisely, the group G alpha is a free group of rank 2 if and only if the graph is tree. In particular, we show that if 1 2 is a vertex of the graph, then G alpha is not a free group of rank 2 . Using this, we construct a sequence of real numbers so that the sequence converges to 4 and each number has the corresponding group that is not a free group of rank 2 . It turns out that the real numbers are algebraic integers.


Mechanics and dynamics of two dimensional quasiperiodic composites. Periodic configurations have dominated the design of phononic and elastic acoustic metamaterial structures for the past decades. Unlike periodic crystals, quasicrystals lack translational symmetry but are unrestricted in rotational symmetries, which leads to largely unexplored mechanical and dynamic properties. We investigate a family of continuous elastic quasicrystals with different rotational symmetry orders that are directly enforced through a design procedure in reciprocal space. Their mechanical properties are investigated as a function of symmetry order and filling fraction. Results indicate that higher order symmetries, such as 8 , 10 and 14 fold, allow for high equivalent stiffness characteristics that interpolate those of the constituent material while maintaining high levels of isotropy for all filling fractions. Thus, quasiperiodic composites exhibit more uniform strain energy distributions when compared to periodic hexagonal configurations. Similarly, nearly isotropic wave propagation is observed over a broader range of frequencies. Spectral contents are also investigated by enforcing rotational symmetry constraints in a wedge type unit cell, which allows for the estimation of band gaps that are confirmed in frequency response computations. The investigations presented herein open avenues for the general exploration of the properties of quasiperiodic media, with potentials for novel architectured material designs that expand the opportunities provided by periodic media.


Natural Language Processing (NLP) for Requirements Engineering A Systematic Mapping Study. Natural language processing supported requirements engineering is an area of research and development that seeks to apply NLP techniques, tools and resources to a variety of requirements documents or artifacts to support a range of linguistic analysis tasks performed at various RE phases. Such tasks include detecting language issues, identifying key domain concepts and establishing traceability links between requirements. This article surveys the landscape of NLP4RE research to understand the state of the art and identify open problems. The systematic mapping study approach is used to conduct this survey, which identified 404 relevant primary studies and reviewed them according to five research questions, cutting across five aspects of NLP4RE research, concerning the state of the literature, the state of empirical research, the research focus, the state of the practice, and the NLP technologies used. Results 1) NLP4RE is an active and thriving research area in RE that has amassed a large number of publications and attracted widespread attention from diverse communities 2) most NLP4RE studies are solution proposals having only been evaluated using a laboratory experiment or an example application 3) most studies have focused on the analysis phase, with detection as their central linguistic analysis task and requirements specification as their commonly processed document type 4) 130 new tools have been proposed to support a range of linguistic analysis tasks, but there is little evidence of adoption in the long term, although some industrial applications have been published 5) 140 NLP techniques, 66 NLP tools and 25 NLP resources are extracted from the selected studies.


hbar deformed Schubert calculus in equivariant cohomology, K theory, and elliptic cohomology. In this survey paper we review recent advances in the calculus of Chern Schwartz MacPherson, motivic Chern, and elliptic classes of classical Schubert varieties. These three theories are one parameter ( hbar ) deformations of the notion of fundamental class in their respective extraordinary cohomology theories. Examining these three classes in conjunction is justified by their relation to Okounkov's stable envelope notion. We review formulas for the hbar deformed classes originating from Tarasov Varchenko weight functions, as well as their orthogonality relations. As a consequence, explicit formulas are obtained for the Littlewood Richardson type structure constants.


BERT for Large scale Video Segment Classification with Test time Augmentation. This paper presents our approach to the third YouTube 8M video understanding competition that challenges par ticipants to localize video level labels at scale to the pre cise time in the video where the label actually occurs. Ourmodel is an ensemble of frame level models such as GatedNetVLAD and NeXtVLAD and various BERT models withtest time augmentation. We explore multiple ways to ag gregate BERT outputs as video representation and variousways to combine visual and audio information. We proposetest time augmentation as shifting video frames to one leftor right unit, which adds variety to the predictions and em pirically shows improvement in evaluation metrics. We firstpre train the model on the 4M training video level data, andthen fine tune the model on 237K annotated video segment level data. We achieve MAP 100K 0.7871 on private test ing video segment data, which is ranked 9th over 283 teams.


On volumes and filling collections of multicurves. Let S be a surface of negative Euler characteristic and consider a finite filling collection Gamma of closed curves on S in minimal position. An observation of Foulon and Hasselblatt shows that PT(S) setminus hat Gamma is a finite volume hyperbolic 3 manifold, where PT(S) is the projectivized tangent bundle and hat Gamma is the set of tangent lines to Gamma . In particular, vol(PT(S) setminus hat Gamma ) is a mapping class group invariant of the collection Gamma . When Gamma is a filling pair of simple closed curves, we show that this volume is coarsely comparable to Weil Petersson distance between strata in Teichm "uller space. Our main tool is the study of stratified hyperbolic links bar Gamma in a Seifert fibered space N over S . For such links, the volume of N setminus bar Gamma is coarsely comparable to expressions involving distances in the pants graph.


Understanding Profunctor Optics a representation theorem. Optics, aka functional references, are classes of tools that allow composable access into compound data structures. Usually defined as programming language libraries, they provide combinators to manipulate different shapes of data such as sums, products and collections, that can be composed to operate on larger structures. Together they form a powerful language to describe transformations of data. Among the different approaches to describing optics, one particular type of optics, called profunctor optics, stands out. It describes alternative but equivalent representations of most of the common combinators, and enhances them with elegant composability properties via a higher order encoding. Notably, it enables easy composition across different optic families. Unfortunately, profunctor optics are difficult to reason about, and linking usual optics with an equivalent profunctor representation has so far been done on a case by case basis, with definitions that sometimes seem very ad hoc. This makes it hard both to analyse properties of existing profunctor optics and to define new ones. This thesis presents an equivalent representation of profunctor optics, called isomorphism optics, that is both closer to intuition and easier to reason about. This tool enables powerful theorems to be derived generically about profunctor optics. Finally, this thesis develops a framework to ease deriving new profunctor encodings from concrete optic families.


On some Sobolev spaces with matrix weights and classical type Sobolev orthogonal polynomials. For every system p n(z) n 0 infty of OPRL or OPUC, we construct Sobolev orthogonal polynomials y n(z) , with explicit integral representations involving p n . Two concrete families of Sobolev orthogonal polynomials (depending on an arbitrary number of complex parameters) which are generalized eigenvalues of a difference operator (in n ) and generalized eigenvalues of a differential operator (in n ) are given. Applications of a general connection between Sobolev orthogonal polynomials and orthogonal systems of functions in the direct sum of scalar L 2 mu spaces are discussed.


Rethinking Exposure Bias In Language Modeling. Exposure bias describes the phenomenon that a language model trained under the teacher forcing schema may perform poorly at the inference stage when its predictions are conditioned on its previous predictions unseen from the training corpus. Recently, several generative adversarial networks (GANs) and reinforcement learning (RL) methods have been introduced to alleviate this problem. Nonetheless, a common issue in RL and GANs training is the sparsity of reward signals. In this paper, we adopt two simple strategies, multi range reinforcing, and multi entropy sampling, to amplify and denoise the reward signal. Our model produces an improvement over competing models with regards to BLEU scores and road exam, a new metric we designed to measure the robustness against exposure bias in language models.


Performance in the Courtroom Automated Processing and Visualization of Appeal Court Decisions in France. Artificial Intelligence techniques are already popular and important in the legal domain. We extract legal indicators from judicial judgment to decrease the asymmetry of information of the legal system and the access to justice gap. We use NLP methods to extract interesting entities data from judgments to construct networks of lawyers and judgments. We propose metrics to rank lawyers based on their experience, wins loss ratio and their importance in the network of lawyers. We also perform community detection in the network of judgments and propose metrics to represent the difficulty of cases capitalising on communities features.


Achieving Zero Asymptotic Queueing Delay for Parallel Jobs. Zero queueing delay is highly desirable in large scale computing systems. Existing work has shown that it can be asymptotically achieved by using the celebrated Power of d choices (pod) policy with a probe overhead d omega left( frac log N 1 lambda right) , and it is impossible when d O left( frac 1 1 lambda right) , where N is the number of servers and lambda is the load of the system. However, these results are based on the model where each job is an indivisible unit, which does not capture the parallel structure of jobs in today's predominant parallel computing paradigm. This paper thus considers a model where each job consists of a batch of parallel tasks. Under this model, we propose a new notion of zero (asymptotic) queueing delay that requires the job delay under a policy to approach the job delay given by the max of its tasks' service times, i.e., the job delay assuming its tasks entered service right upon arrival. This notion quantifies the effect of queueing on a job level for jobs consisting of multiple tasks, and thus deviates from the conventional zero queueing delay for single task jobs in the literature. We show that zero queueing delay for parallel jobs can be achieved using the batch filling policy (a variant of the celebrated pod policy) with a probe overhead d omega left( frac 1 (1 lambda) log k right) in the sub Halfin Whitt heavy traffic regime, where k is the number of tasks in each job and k properly scales with N (the number of servers) . This result demonstrates that for parallel jobs, zero queueing delay can be achieved with a smaller probe overhead. We also establish an impossibility result we show that zero queueing delay cannot be achieved if d exp left( o left( frac log N log k right) right) .


Pricing Bitcoin Derivatives under Jump Diffusion Models. In recent years cryptocurrency trading has captured the attention of practitioners and academics. The volume of the exchange with standard currencies has known a dramatic increasing of late. This paper addresses to the need of models describing a bitcoin US dollar exchange dynamic and their use to evaluate European option having bitcoin as underlying asset.


Algebraic K theory of generalized free products and functors Nil. In this paper, we extend Waldhausen's results on algebraic K theory of generalized free produts in a more general setting and we give some properties of the Nil functors. As a consequence, we get new groups with trivial Whitehead groups.


Extending Hrushovski's groupoid cover correspondence using simplicial groupoids. Hrushovski's suggestion, given in "Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012 , to capture the structure of the 1 analysable covers of a theory T using simplicial groupoids definable in T is realized here. The ideas of Haykazyan and Moosa, found in "Functoriality and uniformity in Hrushovski's groupoid cover correspondence," Annals of Pure and Applied Logic , 2018 are used, and extended, to define an equivalence of categories. Finally, a couple of examples are studied with these new tools.


Gradient estimate and Liouville theorems for p harmonic maps. In this paper, we first obtain an L q gradient estimate for p harmonic maps, by assuming the target manifold supporting a certain function, whose gradient and Hessian satisfy some analysis conditions. From this L q gradient estimate, we get a corresponding Liouville type result for p harmonic maps. Secondly, using these general results, we give various geometric applications to p harmonic maps from complete manifolds with nonnegative Ricci curvature to manifolds with various upper bound on sectional curvature, under appropriate controlled images.


Revisiting John Lamperti's maximal branching process. Lamperti's maximal branching process is revisited, with emphasis on the description of the shape of the invariant measures in both the recurrent and transient regimes. A truncated version of this chain is exhibited, preserving the monotonicity of the original Lamperti chain supported by the integers. The Brown theory of hitting times applies to the latter chain with finite state space, including sharp strong time to stationarity. Additional information on these hitting time problems are drawn from the quasi stationary point of view.


Elastic elements in 3 connected matroids. It follows by Bixby's Lemma that if e is an element of a 3 connected matroid M , then either rm co (M delete e) , the cosimplification of M delete e , or rm si (M e) , the simplification of M e , is 3 connected. A natural question to ask is whether M has an element e such that both rm co (M delete e) and rm si (M e) are 3 connected. Calling such an element "elastic", in this paper we show that if E(M) ge 4 , then M has at least four elastic elements provided M has no 4 element fans and, up to duality, M has no 3 separating set S that is the disjoint union of a rank 2 subset and a corank 2 subset of E(M) such that M S is isomorphic to a member or a single element deletion of a member of a certain family of matroids.


Graph guided Architecture Search for Real time Semantic Segmentation. Designing a lightweight semantic segmentation network often requires researchers to find a trade off between performance and speed, which is always empirical due to the limited interpretability of neural networks. In order to release researchers from these tedious mechanical trials, we propose a Graph guided Architecture Search (GAS) pipeline to automatically search real time semantic segmentation networks. Unlike previous works that use a simplified search space and stack a repeatable cell to form a network, we introduce a novel search mechanism with new search space where a lightweight model can be effectively explored through the cell level diversity and latencyoriented constraint. Specifically, to produce the cell level diversity, the cell sharing constraint is eliminated through the cell independent manner. Then a graph convolution network (GCN) is seamlessly integrated as a communication mechanism between cells. Finally, a latency oriented constraint is endowed into the search process to balance the speed and performance. Extensive experiments on Cityscapes and CamVid datasets demonstrate that GAS achieves the new state of the art trade off between accuracy and speed. In particular, on Cityscapes dataset, GAS achieves the new best performance of 73.5 mIoU with speed of 108.4 FPS on Titan Xp.


An annulus multiplier and applications to the Limiting absorption principle for Helmholtz equations with a step potential. We consider the Helmholtz equation Delta u V , u lambda , u f on mathbb R n where the potential V mathbb R n to mathbb R is constant on each of the half spaces mathbb R n 1 times ( infty,0) and mathbb R n 1 times (0, infty) . We prove an L p L q Limiting Absorption Principle for frequencies lambda max , V with the aid of Fourier Restriction Theory and derive the existence of nontrivial solutions of linear and nonlinear Helmholtz equations.


Online Linear Programming Dual Convergence, New Algorithms, and Regret Bounds. We study an online linear programming (OLP) problem under a random input model in which the columns of the constraint matrix along with the corresponding coefficients in the objective function are generated i.i.d. from an unknown distribution and revealed sequentially over time. Virtually all pre existing online algorithms were based on learning the dual optimal solutions prices of the linear programs (LP), and their analyses were focused on the aggregate objective value and solving the packing LP where all coefficients in the constraint matrix and objective are nonnegative. However, two major open questions were (i) Does the set of LP optimal dual prices learned in the pre existing algorithms converge to those of the "offline" LP, and (ii) Could the results be extended to general LP problems where the coefficients can be either positive or negative. We resolve these two questions by establishing convergence results for the dual prices under moderate regularity conditions for general LP problems. Specifically, we identify an equivalent form of the dual problem which relates the dual LP with a sample average approximation to a stochastic program. Furthermore, we propose a new type of OLP algorithm, Action History Dependent Learning Algorithm, which improves the previous algorithm performances by taking into account the past input data as well as decisions actions already made. We derive an O( log n log log n) regret bound (under a locally strong convexity and smoothness condition) for the proposed algorithm, against the O( sqrt n ) bound for typical dual price learning algorithms, where n is the number of decision variables. Numerical experiments demonstrate the effectiveness of the proposed algorithm and the action history dependent design.


Pseudospectral time domain (PSTD) methods for the wave equation Realising boundary conditions with discrete sine and cosine transforms. Pseudospectral time domain (PSTD) methods are widely used in many branches of acoustics for the numerical solution of the wave equation, including biomedical ultrasound and seismology. The use of the Fourier collocation spectral method in particular has many computational advantages. However, the use of a discrete Fourier basis is also inherently restricted to solving problems with periodic boundary conditions. Here, a family of spectral collocation methods based on the use of a sine or cosine basis is described. These retain the computational advantages of the Fourier collocation method but instead allow homogeneous Dirichlet (sound soft) and Neumann (sound hard) boundary conditions to be imposed. The basis function weights are computed numerically using the discrete sine and cosine transforms, which can be implemented using O(N log N) operations analogous to the fast Fourier transform. Practical details of how to implement spectral methods using discrete sine and cosine transforms are provided. The technique is then illustrated through the solution of the wave equation in a rectangular domain subject to different combinations of boundary conditions. The extension to boundaries with arbitrary real reflection coefficients or boundaries that are non reflecting is also demonstrated using the weighted summation of the solutions with Dirichlet and Neumann boundary conditions.


LSTMs Compose (and Learn) Bottom Up. Recent work in NLP shows that LSTM language models capture hierarchical structure in language data. In contrast to existing work, we consider the textit learning process that leads to their compositional behavior. For a closer look at how an LSTM's sequential representations are composed hierarchically, we present a related measure of Decompositional Interdependence (DI) between word meanings in an LSTM, based on their gate interactions. We connect this measure to syntax with experiments on English language data, where DI is higher on pairs of words with lower syntactic distance. To explore the inductive biases that cause these compositional representations to arise during training, we conduct simple experiments on synthetic data. These synthetic experiments support a specific hypothesis about how hierarchical structures are discovered over the course of training that LSTM constituent representations are learned bottom up, relying on effective representations of their shorter children, rather than learning the longer range relations independently from children.


Skewness correction in tail probability approximations for sums of local statistics. Correcting for skewness can result in more accurate tail probability approximations in the central limit theorem for sums of independent random variables. In this paper, we extend the theory to sums of local statistics of independent random variables and apply the result to k runs, U statistics, and subgraph counts in the Erd "os R 'enyi random graph. To prove our main result, we develop exponential concentration inequalities and higher order Cram 'er type moderate deviations via Stein's method.


Comparing Labelled Markov Decision Processes. A labelled Markov decision process is a labelled Markov chain with nondeterminism, i.e., together with a strategy a labelled MDP induces a labelled Markov chain. The model is related to interval Markov chains. Motivated by applications of equivalence checking for the verification of anonymity, we study the algorithmic comparison of two labelled MDPs, in particular, whether there exist strategies such that the MDPs become equivalent inequivalent, both in terms of trace equivalence and in terms of probabilistic bisimilarity. We provide the first polynomial time algorithms for computing memoryless strategies to make the two labelled MDPs inequivalent if such strategies exist. We also study the computational complexity of qualitative problems about making the total variation distance and the probabilistic bisimilarity distance less than one or equal to one.


Rank3DGAN Semantic mesh generation using relative attributes. In this paper, we investigate a novel problem of using generative adversarial networks in the task of 3D shape generation according to semantic attributes. Recent works map 3D shapes into 2D parameter domain, which enables training Generative Adversarial Networks (GANs) for 3D shape generation task. We extend these architectures to the conditional setting, where we generate 3D shapes with respect to subjective attributes defined by the user. Given pairwise comparisons of 3D shapes, our model performs two tasks it learns a generative model with a controlled latent space, and a ranking function for the 3D shapes based on their multi chart representation in 2D. The capability of the model is demonstrated with experiments on HumanShape, Basel Face Model and reconstructed 3D CUB datasets. We also present various applications that benefit from our model, such as multi attribute exploration, mesh editing, and mesh attribute transfer.


New Features in the Second Version of the Cadabra Computer Algebra System. In certain scientific domains, there is a need for tensor operations. To facilitate tensor computations,computer algebra systems are employed. In our research, we have been using Cadabra as the main computer algebra system for several years. Recently, an operable second version of this software was released. In this version, a number of improvements were made that can be regarded as revolutionary ones. The most significant improvements are the implementation of component computations and the change in the ideology of the Cadabra's software mechanism as compared to the first version. This paper provides a brief overview of the key improvements in the Cadabra system.


Linear Noise Approximation of Intensity Driven Signal Transduction Channels. Biochemical signal transduction, a form of molecular communication, can be modeled using graphical Markov channels with input modulated transition rates. Such channel models are strongly non Gaussian. In this paper we use a linear noise approximation to construct a novel class of Gaussian additive white noise channels that capture essential features of fully and partially observed intensity driven signal transduction. When channel state transitions that are sensitive to the input signal are directly observable, high frequency information is transduced more efficiently than low frequency information, and the mutual information rate per bandwidth (spectral efficiency) is significantly greater than when sensitive transitions and observable transitions are disjoint. When both observable and hidden transitions are input sensitive, we observe a superadditive increase in spectral efficiency.


About tensor products of Hilbert quasi algebras and their representability properties. This note aims to investigate the tensor product of two given Hilbert quasi algebras and its properties. The construction proposed in this note turns out to be again a Hilbert quasi algebra, thus interesting representability properties studed in cite AT are maintained. Furthermore, if two functionals are representable and continuous respectively on the two Hilbert quasi algebras, then so is their tensor product.


Progression Modelling for Online and Early Gesture Detection. Online and Early detection of gestures is crucial for building touchless gesture based interfaces. These interfaces should operate on a stream of video frames instead of the complete video and detect the presence of gestures at an earlier stage than post completion for providing real time user experience. To achieve this, it is important to recognize the progression of the gesture across different stages so that appropriate responses can be triggered on reaching the desired execution stage. To address this, we propose a simple yet effective multi task learning framework which models the progression of the gesture along with frame level recognition. The proposed framework recognizes the gestures at an early stage with high precision and also achieves state of the art recognition accuracy of 87.8 which is closer to human accuracy of 88.4 on the NVIDIA gesture dataset in the offline configuration and advances the state of the art by more than 4 . We also introduce tightly segmented annotations for the NVIDIA gesture dataset and setup a strong baseline for gesture localization for this dataset. We also evaluate our framework on the Montalbano dataset and report competitive results.


Online Parameter Estimation for Safety Critical Systems with Gaussian Processes. Parameter estimation is crucial for modeling, tracking, and control of complex dynamical systems. However, parameter uncertainties can compromise system performance under a controller relying on nominal parameter values. Typically, parameters are estimated using numerical regression approaches framed as inverse problems. However, they suffer from non uniqueness due to existence of multiple local optima, reliance on gradients, numerous experimental data, or stability issues. Addressing these drawbacks, we present a Bayesian optimization framework based on Gaussian processes (GPs) for online parameter estimation. It uses an efficient search strategy over a response surface in the parameter space for finding the global optima with minimal function evaluations. The response surface is modeled as correlated surrogates using GPs on noisy data. The GP posterior predictive variance is exploited for smart adaptive sampling. This balances the exploration versus exploitation trade off which is key in reaching the global optima under limited budget. We demonstrate our technique on an actuated planar pendulum and safety critical quadrotor in simulation with changing parameters. We also benchmark our results against solvers using interior point method and sequential quadratic program. By reconfiguring the controller with new optimized parameters iteratively, we drastically improve trajectory tracking of the system versus the nominal case and other solvers.


TAN Temporal Affine Network for Real Time Left Ventricle Anatomical Structure Analysis Based on 2D Ultrasound Videos. With superiorities on low cost, portability, and free of radiation, echocardiogram is a widely used imaging modality for left ventricle (LV) function quantification. However, automatic LV segmentation and motion tracking is still a challenging task. In addition to fuzzy border definition, low contrast, and abounding artifacts on typical ultrasound images, the shape and size of the LV change significantly in a cardiac cycle. In this work, we propose a temporal affine network (TAN) to perform image analysis in a warped image space, where the shape and size variations due to the cardiac motion as well as other artifacts are largely compensated. Furthermore, we perform three frequent echocardiogram interpretation tasks simultaneously standard cardiac plane recognition, LV landmark detection, and LV segmentation. Instead of using three networks with one dedicating to each task, we use a multi task network to perform three tasks simultaneously. Since three tasks share the same encoder, the compact network improves the segmentation accuracy with more supervision. The network is further finetuned with optical flow adjusted annotations to enhance motion coherence in the segmentation result. Experiments on 1,714 2D echocardiographic sequences demonstrate that the proposed method achieves state of the art segmentation accuracy with real time efficiency.


Asymptotics for two dimensional vectorial Allen Cahn systems. The formation of codimension one interfaces for multi well gradient driven problems is well known and established in the scalar case, where the equation is often referred to as the Allen Cahn equation. The proofs rely for a large on a monotonicity formula for the energy density, which is itself related to the vanishing of the so called discrepancy function. The vectorial case in contrast is quite open. This lack of results and insight is to a large extend related to the absence of known appropriate monotonicity formula. In this paper, we focus on the emph elliptic case in two dimensions , and introduce methods, relying on the analysis of the partial differential equation, which allow to circumvent the lack of monotonicity formula for the energy density. In the last part of the paper, we recover a emph new monotonicity formula which relies on a emph new discrepancy relation . These tools allow to extend to the vectorial case in two dimensions most of the results obtained for the scalar case. We emphasize also some emph specific features of the vectorial case.


A Linear Quadratic Stochastic Stackelberg Differential Game with Time Delay. This paper is concerned with a linear quadratic stochastic Stackelberg differential game with time delay. The model is general, in which the state delay and the control delay both appear in the state equation, moreover, they both enter into the diffusion term. By introducing two Pseudo Riccati equations and a special matrix equation, the state feedback representation of the open loop Stackelberg strategy is derived, under some assumptions. Finally, two examples are given to illustrate the applications of the theoretical results.


Beyond Wentzell Freidlin semi deterministic approximations for diffusions with small noise and a repulsive critical boundary point. We extend below a limit theorem of Baker, Chigansky, Hamza and Klebaner (2018) for diffusion models used in population theory.


Approximating Values of Generalized Reachability Stochastic Games. Simple stochastic games are turn based 2.5 player games with a reachability objective. The basic question asks whether one player can ensure reaching a given target with at least a given probability. A natural extension is games with a conjunction of such conditions as objective. Despite a plethora of recent results on the analysis of systems with multiple objectives, the decidability of this basic problem remains open. In this paper, we present an algorithm approximating the Pareto frontier of the achievable values to a given precision. Moreover, it is an anytime algorithm, meaning it can be stopped at any time returning the current approximation and its error bound.


End to end facial and physiological model for Affective Computing and applications. In recent years, Affective Computing and its applications have become a fast growing research topic. Furthermore, the rise of Deep Learning has introduced significant improvements in the emotion recognition system compared to classical methods. In this work, we propose a multi modal emotion recognition model based on deep learning techniques using the combination of peripheral physiological signals and facial expressions. Moreover, we present an improvement to proposed models by introducing latent features extracted from our internal Bio Auto Encoder (BAE). Both models are trained and evaluated on AMIGOS datasets reporting valence, arousal, and emotion state classification. Finally, to demonstrate a possible medical application in affective computing using deep learning techniques, we applied the proposed method to the assessment of anxiety therapy. To this purpose, a reduced multi modal database has been collected by recording facial expressions and peripheral signals such as Electrocardiogram (ECG) and Galvanic Skin Response (GSR) of each patient. Valence and arousal estimation was extracted using the proposed model from the beginning until the end of the therapy, with successful evaluation to the different emotional changes in the temporal domain.


Learning an Unknown Network State in Routing Games. We study learning dynamics induced by myopic travelers who repeatedly play a routing game on a transportation network with an unknown state. The state impacts cost functions of one or more edges of the network. In each stage, travelers choose their routes according to Wardrop equilibrium based on public belief of the state. This belief is broadcast by an information system that observes the edge loads and realized costs on the used edges, and performs a Bayesian update to the prior stage's belief. We show that the sequence of public beliefs and edge load vectors generated by the repeated play converge almost surely. In any rest point, travelers have no incentive to deviate from the chosen routes and accurately learn the true costs on the used edges. However, the costs on edges that are not used may not be accurately learned. Thus, learning can be incomplete in that the edge load vectors at rest point and complete information equilibrium can be different. We present some conditions for complete learning and illustrate situations when such an outcome is not guaranteed.


Deep Learning Software Engineering State of Research and Future Directions. Given the current transformative potential of research that sits at the intersection of Deep Learning (DL) and Software Engineering (SE), an NSF sponsored community workshop was conducted in co location with the 34th IEEE ACM International Conference on Automated Software Engineering (ASE'19) in San Diego, California. The goal of this workshop was to outline high priority areas for cross cutting research. While a multitude of exciting directions for future work were identified, this report provides a general summary of the research areas representing the areas of highest priority which were discussed at the workshop. The intent of this report is to serve as a potential roadmap to guide future work that sits at the intersection of SE DL.


Linear stability analysis for 2D shear flows near Couette in the isentropic Compressible Euler equations. In this paper, we investigate linear stability properties of the 2D isentropic compressible Euler equations linearized around a shear flow given by a monotone profile, close to the Couette flow, with constant density, in the domain mathbb T times mathbb R . We begin by directly investigating the Couette shear flow, where we characterize the linear growth of the compressible part of the fluid while proving time decay for the incompressible part (inviscid damping with slower rates). Then we extend the analysis to monotone shear flows near Couette, where we are able to give an upper bound, superlinear in time, for the compressible part of the fluid. The incompressible part enjoys an inviscid damping property, analogous to the Couette case. In the pure Couette case, we exploit the presence of an additional conservation law (which connects the vorticity and the density on the moving frame) in order to reduce the number of degrees of freedom of the system. The result then follows by using weighted energy estimates. In the general case, unfortunately, this conservation law no longer holds. Therefore we define a suitable weighted energy functional for the whole system, which can be used to estimate the irrotational component of the velocity but does not provide sharp bounds on the solenoidal component. However, even in the absence of the aforementioned additional conservation law, we are still able to show the existence of a functional relation which allows us to recover somehow the vorticity from the density, on the moving frame. By combining the weighted energy estimates with the functional relation we also recover the inviscid damping for the solenoidal component of the velocity.


Non Stationary Polar Codes for Resistive Memories. Resistive memories are considered a promising memory technology enabling high storage densities with in memory computing capabilities. However, the readout reliability of resistive memories is impaired due to the inevitable existence of wire resistance, resulting in the sneak path problem. Motivated by this problem, we study polar coding over channels with different reliability levels, termed non stationary polar codes, and we propose a technique improving its bit error rate (BER) performance. We then apply the framework of non stationary polar codes to the crossbar array and evaluate its BER performance under two modeling approaches, namely binary symmetric channels (BSCs) and binary asymmetric channels (BSCs). Finally, we propose a technique for biasing the proportion of high resistance states in the crossbar array and show its advantage in reducing further the BER. Several simulations are carried out using a SPICE like simulator, exhibiting significant reduction in BER.


Improved Embeddings with Easy Positive Triplet Mining. Deep metric learning seeks to define an embedding where semantically similar images are embedded to nearby locations, and semantically dissimilar images are embedded to distant locations. Substantial work has focused on loss functions and strategies to learn these embeddings by pushing images from the same class as close together in the embedding space as possible. In this paper, we propose an alternative, loosened embedding strategy that requires the embedding function only map each training image to the most similar examples from the same class, an approach we call "Easy Positive" mining. We provide a collection of experiments and visualizations that highlight that this Easy Positive mining leads to embeddings that are more flexible and generalize better to new unseen data. This simple mining strategy yields recall performance that exceeds state of the art approaches (including those with complicated loss functions and ensemble methods) on image retrieval datasets including CUB, Stanford Online Products, In Shop Clothes and Hotels 50K.


Linear independence results for certain sums of reciprocals of Fibonacci and Lucas numbers. The aim of this paper is to give linear independence results for the values of certain series. As an application, we derive arithmetical properties of the sums of reciprocals of Fibonacci and Lucas numbers associated with certain coprime sequences n ell ell geq1 . For example, the three numbers 1, qquad sum p text prime frac 1 F p 2 , qquad sum p text prime frac 1 L p 2 are linearly independent over mathbb Q ( sqrt 5 ) , where F n and L n are the Fibonacci and Lucas numbers, respectively.


A study of backward stochastic differential equation on a Riemannian manifold. Suppose N is a compact Riemannian manifold, in this paper we will introduce the definition of N valued BSDE and L 2( mathbb T m N) valued BSDE for which the solution are not necessarily staying in only one local coordinate. Moreover, the global existence of a solution to L 2( mathbb T m N) valued BSDE will be proved without any convexity condition on N .


Boundedly Spaced Subsequences and Weak Dynamics. The purpose of this paper is to characterize weak supercyclicity for Hilbert space contractions, which is shown to be equivalent to characterizing weak supercyclicity for unitary operators . This is naturally motivated by an open question that asks whether every weakly supercyclic power bounded operator is weakly stable (which in turn is naturally motivated by a result that asserts that every supercyclic power bounded operator is strongly stable) . Precisely, weakly supercyclicity is investigated in light of boundedly spaced subsequences as discussed in Lemma 3.1 . The main result in Theorem 4.1 characterizes weakly l sequentially supercyclic unitary operators U ! that are weakly unstable in terms of boundedly spaced subsequences of the power sequence U n . Remark 4.1 shows that characterizing any form of weak super cyclicity for weakly unstable unitary operators is equivalent to characterizing any form of weak supercyclicity for weakly unstable contractions after the Nagy Foia c s Langer decomposition.


Strichartz estimates for the wave equation on a 2d model convex domain. We prove better Strichartz type estimates than expected from the (optimal) dispersion we obtained in our earlier work on a 2d convex model. This follows from taking full advantage of the space time localization of caustics in the parametrix we obtain, despite their number increasing like the inverse square root of the distance from the source to the boundary. As a consequence, we improve known Strichartz estimates for the wave equation. Several improvements on our previous parametrix construction are obtained along the way and are of independent interest for further applications.


Duality of convex relaxations for constrained variational problems. We prove weak duality between two recent convex relaxation methods for bounding the optimal value of a constrained variational problem in which the objective is an integral functional. The first approach, proposed by Valmorbida et al. (IEEE Trans. Automat. Control 61(6) 1649 1654, 2016), replaces the variational problem with a convex program over sufficiently smooth functions, subject to pointwise non negativity constraints. The second approach, discussed by Korda et al. (arXiv 1804.07565v1 math.OC ), relaxes the variational problem into a convex program over scaled probability measures. We also prove that the duality between these infinite dimensional convex programs is strong, meaning that their optimal values coincide, when the range and gradients of admissible functions in the variational problem are constrained to bounded sets. For variational problems with polynomial data, the optimal values of each convex relaxation can be approximated by solving weakly dual hierarchies of finite dimensional semidefinite programs (SDPs). These are strongly dual under standard constraint qualification conditions irrespective of whether strong duality holds at the infinite dimensional level. Thus, the two relaxation approaches are equivalent for the purposes of computations.


MultiVERSE a multiplex and multiplex heterogeneous network embedding approach. Network embedding approaches are gaining momentum to analyse a large variety of networks. Indeed, these approaches have demonstrated their efficiency for tasks such as community detection, node classification, and link prediction. However, very few network embedding methods have been specifically designed to handle multiplex networks, i.e. networks composed of different layers sharing the same set of nodes but having different types of edges. Moreover, to our knowledge, existing approaches cannot embed multiple nodes from multiplex heterogeneous networks, i.e. networks composed of several layers containing both different types of nodes and edges. In this study, we propose MultiVERSE, an extension of the VERSE method with Random Walks with Restart on Multiplex (RWR M) and Multiplex Heterogeneous (RWR MH) networks. MultiVERSE is a fast and scalable method to learn node embeddings from multiplex and multiplex heterogeneous networks. We evaluate MultiVERSE on several biological and social networks and demonstrate its efficiency. MultiVERSE indeed outperforms most of the other methods in the tasks of link prediction and network reconstruction for multiplex network embedding, and is also efficient in the task of link prediction for multiplex heterogeneous network embedding. Finally, we apply MultiVERSE to study rare disease gene associations using link prediction and clustering. MultiVERSE is freely available on github at https github.com Lpiol MultiVERSE.


Automatic Web Service Composition Models, Complexity and Applications. The automatic composition of web services refers to how services can be used in a complex and aggregate manner, to serve a specific and known functionality. Given a list of services described by the input and output parameters, and a request of a similar structure the initially known and required parameters a solution can be designed to automatically search for the set of web services that satisfy the request, under certain constraints. We first propose two very efficient algorithms that solve the problem of the automatic composition of the web services as it was formulated in the competitions organized in 2005 and 2008. The algorithms obtain much better results than the rest of the participants with respect to execution time and even composition size. Evaluation consists of running the previous and the proposed solutions on given benchmarks and generated tests. Further, we design two new models to match service's parameters, extending the semantic expressiveness of the 2008 challenge. The initial goal is to resolve some simple and practical use cases that cannot be expressed in the previous models. We also adhere to modern service description languages, like OpenAPI and especially schema.org. Algorithms for the new models can solve instances of significant size. Addressing a wider and more realistic perspective, we define the online version of the composition problem. In this regard, we consider that web services and compositions requests can be added and removed in real time, and the system must handle such operations on the fly. It is necessary to maintain the workflows for users who actively run the compositions over time. As for the new semantic models, we propose new algorithms and provide comprehensive evaluation by generating test cases that simulate all corner cases.


Towards a Realistic Simulation Framework for Vehicular Platooning Applications. Cooperative vehicle platooning applications increasingly demand realistic simulation tools to ease their validation and to bridge the gap between development and real world deployment. However, their complexity and cost often hinder its validation in the real world. In this paper, we propose a realistic simulation framework for vehicular platoons that integrates Gazebo with OMNeT over Robot Operating System (ROS) to support the simulation of realistic scenarios of autonomous vehicular platoons and their cooperative control.


Small toric resolutions of toric varieties of string polytopes with small indices. Let G be a semisimple algebraic group over mathbb C . For a reduced word bf i of the longest element in the Weyl group of G and a dominant integral weight lambda , one can construct the string polytope Delta bf i ( lambda) , whose lattice points encode the character of the irreducible representation V lambda . The string polytope Delta bf i ( lambda) is singular in general and combinatorics of string polytopes heavily depends on the choice of mathbf i . In this paper, we study combinatorics of string polytopes when G SL n 1 ( mathbb C ) , and present a sufficient condition on mathbf i such that the toric variety X Delta mathbf i ( lambda) of the string polytope Delta mathbf i ( lambda) has a small toric resolution. Indeed, when mathbf i has small indices and lambda is regular, we explicitly construct a small toric resolution of the toric variety X Delta bf i ( lambda) using a Bott manifold. Our main theorem implies that a toric variety of any string polytope admits a small toric resolution when n 4 . As a byproduct, we show that if mathbf i has small indices then Delta mathbf i ( lambda) is integral for any dominant integral weight lambda , which in particular implies that the anticanonical limit toric variety X Delta bf i ( lambda P) of a partial flag variety G P is Gorenstein Fano. Furthermore, we apply our result to symplectic topology of the full flag manifold G B and obtain a formula of the disk potential of the Lagrangian torus fibration on G B obtained from a flat toric degeneration of G B to the toric variety X Delta bf i ( lambda) .


Comparing Pedestrian Navigation Methods in Virtual Reality and Real Life. Mobile navigation apps are among the most used mobile applications and are often used as a baseline to evaluate new mobile navigation technologies in field studies. As field studies often introduce external factors that are hard to control for, we investigate how pedestrian navigation methods can be evaluated in virtual reality (VR). We present a study comparing navigation methods in real life (RL) and VR to evaluate if VR environments are a viable alternative to RL environments when it comes to testing these. In a series of studies, participants navigated a real and a virtual environment using a paper map and a navigation app on a smartphone. We measured the differences in navigation performance, task load and spatial knowledge acquisition between RL and VR. From these we formulate guidelines for the improvement of pedestrian navigation systems in VR like improved legibility for small screen devices. We furthermore discuss appropriate low cost and low space VR locomotion techniques and discuss more controllable locomotion techniques.


Strong Gaussian approximation for cumulative processes. We establish optimal logarithmic rates of convergence in the strong invariance principle for multivariate cumulative processes in the Smith's sense. Exponential probabilistic inequalities of Koml ' o s Major Tusn ' a dy type are obtained. Provided examples include applications to stopped sums and birth and death processes.


DACS Domain Adaptation via Cross domain Mixed Sampling. Semantic segmentation models based on convolutional neural networks have recently displayed remarkable performance for a multitude of applications. However, these models typically do not generalize well when applied on new domains, especially when going from synthetic to real data. In this paper we address the problem of unsupervised domain adaptation (UDA), which attempts to train on labelled data from one domain (source domain), and simultaneously learn from unlabelled data in the domain of interest (target domain). Existing methods have seen success by training on pseudo labels for these unlabelled images. Multiple techniques have been proposed to mitigate low quality pseudo labels arising from the domain shift, with varying degrees of success. We propose DACS Domain Adaptation via Cross domain mixed Sampling, which mixes images from the two domains along with the corresponding labels and pseudo labels. These mixed samples are then trained on, in addition to the labelled data itself. We demonstrate the effectiveness of our solution by achieving state of the art results for GTA5 to Cityscapes, a common synthetic to real semantic segmentation benchmark for UDA.


Radii problems for normalized hyper Bessel function. The main purpose of the present paper is to ascertain the radii of starlikeness and convexity associated with lemniscate of Bernoulli and the Janowski function, (1 Az) (1 Bz) for 1 leq B A leq 1, of normalized hyper Bessel function.


Clausius Mossotti Relation Revisited Media with Electric and Magnetic Response. A reexamination of the Clausius Mossotti relation in which material with both electric and magnetic responses yields surprising results. Materials with indices near zero and with real parts less than zero, that is the real part of both the permeability and permittivity are negative, are found to emerge from the interaction of electric and magnetic responses in a self consistent theory. The new results point the way to artificial and natural materials with exotic responses. A simulation with 10 10 particles shows good agreement with the analytical results.


Double Magma associated with Ward and double Ward quasigroups. We describe types of double magma associated with Ward quasigroups, double Ward quasigroups, their duals and the groups they generate. Ward quasigroup double magma and unipotent, right modular, left unital double magma are proved to be improper. Necessary and sufficient conditions are found on a pair of right modular, left unital magma (and right left unital magma) for them to form a double magma. We give further insight into the intimate connection between mediality and the interchange law by proving that a quasigroup is medial if and only if any pair of its parastrophic binary operations satisfy the interchange law.


An invariant for colored bonded knots. We equip a knot K with a set of colored bonds, that is, colored intervals properly embedded into mathbb R 3 setminus K . Such a construction can be viewed as a structure that topologically models a closed protein chain including any type of bridges connecting the backbone residues. We introduce an invariant of such colored bonded knots that respects the HOMFLYPT relation, namely the HOMFLYPT skein module of colored bonded knots. We show that the rigid version of the module is freely generated by colored Theta curves and handcuff links, while the non rigid version is freely generated by the trivially embedded Theta curve. The latter module, however, does not provide information about the knottedness of the bonds.


Embedded Ridge Approximations. Many quantities of interest (qois) arising from differential equation centric models can be resolved into functions of scalar fields. Examples of such qois include the lift over an airfoil or the displacement of a loaded structure examples of corresponding fields are the static pressure field in a computational fluid dynamics solution, and the strain field in the finite element elasticity analysis. These scalar fields are evaluated at each node within a discretised computational domain. In certain scenarios, the field at a certain node is only weakly influenced by far field perturbations it is likely to be strongly governed by local perturbations, which in turn can be caused by uncertainties in the geometry. One can interpret this as a strong anisotropy of the field with respect to uncertainties in prescribed inputs. We exploit this notion of localised scalar field influence for approximating global qois, which often are integrals of certain field quantities. We formalise our ideas by assigning ridge approximations for the field at select nodes. This embedded ridge approximation has favorable theoretical properties for approximating a global qoi in terms of the reduced number of computational evaluations required. Parallels are drawn between our proposed approach, active subspaces and vector valued dimension reduction. Additionally, we study the ridge directions of adjacent nodes and devise algorithms that can recover field quantities at selected nodes, when storing the ridge profiles at a subset of nodes paving the way for novel reduced order modeling strategies. Our paper offers analytical and simulation based examples that expose different facets of embedded ridge approximations.


The LexCycle on overline P 2 cup P 3 free Cocomparability Graphs. A graph G is a cocomparability graph if there exists an acyclic transitive orientation of the edges of its complement graph overline G . LBFS is a variant of the generic Lexicographic Breadth First Search (LBFS), which uses a specific tie breaking mechanism. Starting with some ordering sigma 0 of G , let sigma i i geq 1 be the sequence of orderings such that sigma i LBFS (G, sigma i 1 ) . The LexCycle( G ) is defined as the maximum length of a cycle of vertex orderings of G obtained via such a sequence of LBFS sweeps. Dusart and Habib conjectured in 2017 that LexCycle( G ) 2 if G is a cocomparability graph and proved it holds for interval graphs. In this paper, we show that LexCycle( G ) 2 if G is a overline P 2 cup P 3 free cocomparability graph, where a overline P 2 cup P 3 is the graph whose complement is the disjoint union of P 2 and P 3 . As corollaries, it's applicable for diamond free cocomparability graphs, cocomparability graphs with girth at least 4, as well as interval graphs.


Bounded Orbits of Quadratic Collatz type Recursions. We characterize all bounded orbits of two similar Collatz type quadratic mappings of the set of non negative integers. In one case, where cycles of all possible lengths may occur, an orbit is bounded if and only if it reaches a cycle. For the other map we prove that every bounded orbit must reach 0 (in particular, there are no cycles).


Analyzing Control Flow Integrity with LLVM CFI. Control flow hijacking attacks are used to perform malicious com putations. Current solutions for assessing the attack surface afteracontrol flow integrity(CFI) policy was applied can measure onlyindirect transfer averages in the best case without providing anyinsights w.r.t. the absolute calltarget reduction per callsite, and gad get availability. Further, tool comparison is underdeveloped or notpossible at all. CFI has proven to be one of the most promising pro tections against control flow hijacking attacks, thus many effortshave been made to improve CFI in various ways. However, there isa lack of systematic assessment of existing CFI protections. In this paper, we presentLLVM CFI, a static source code analy sis framework for analyzing state of the art static CFI protectionsbased on the Clang LLVM compiler framework.LLVM CFIworksby precisely modeling a CFI policy and then evaluating it within aunified approach.LLVM CFIhelps determine the level of securityoffered by different CFI protections, after the CFI protections weredeployed, thus providing an important step towards exploit cre ation prevention and stronger defenses. We have usedLLVM CFIto assess eight state of the art static CFI defenses on real worldprograms such as Google Chrome and Apache Httpd.LLVM CFIprovides a precise analysis of the residual attack surfaces, andaccordingly ranks CFI policies against each other.LLVM CFIalsosuccessfully paves the way towards construction of COOP like codereuse attacks and elimination of the remaining attack surface bydisclosing protected calltargets under eight restrictive CFI policies.


A Finnish News Corpus for Named Entity Recognition. We present a corpus of Finnish news articles with a manually prepared named entity annotation. The corpus consists of 953 articles (193,742 word tokens) with six named entity classes (organization, location, person, product, event, and date). The articles are extracted from the archives of Digitoday, a Finnish online technology news source. The corpus is available for research purposes. We present baseline experiments on the corpus using a rule based and two deep learning systems on two, in domain and out of domain, test sets.


Ludii as a Competition Platform. Ludii is a general game system being developed as part of the ERC funded Digital Ludeme Project (DLP). While its primary aim is to model, play, and analyse the full range of traditional strategy games, Ludii also has the potential to support a wide range of AI research topics and competitions. This paper describes some of the future competitions and challenges that we intend to run using the Ludii system, highlighting some of its most important aspects that can potentially lead to many algorithm improvements and new avenues of research. We compare and contrast our proposed competition motivations, goals and frameworks against those of existing general game playing competitions, addressing the strengths and weaknesses of each platform.


A stable discontinuous Galerkin method for linear elastodynamics in 3D geometrically complex media using physics based numerical fluxes. High order accurate and explicit time stable solvers are well suited for hyperbolic wave propagation problems. As a result of the complexities of real geometries, internal interfaces and nonlinear boundary and interface conditions, discontinuities and sharp wave fronts may become fundamental features of the solution. Thus, geometrically flexible and adaptive numerical algorithms are critical for high fidelity and efficient simulations of wave phenomena in many applications. Adaptive curvilinear meshes hold promise to minimise the effort to represent complicated geometries or heterogeneous material data avoiding the bottleneck of feature preserving meshing. To enable the design of stable DG methods on three space dimensional (3D) curvilinear elements we construct a structure preserving anti symmetric coordinate transformation motivated by the underlying physics. Using a physics based numerical penalty flux, we develop a 3D provably energy stable discontinuous Galerkin finite element approximation of the elastic wave equation in geometrically complex and heterogenous media. By construction, our numerical flux is upwind and yields a discrete energy estimate analogous to the continuous energy estimate. The ability to treat conforming and non conforming curvilinear elements allows for flexible adaptive mesh refinement strategies. The numerical scheme has been implemented in ExaHyPE, a simulation engine for parallel dynamically adaptive simulations of wave problems on adaptive Cartesian meshes. We present 3D numerical experiments of wave propagation in heterogeneous isotropic and anisotropic elastic solids demonstrating stability and high order accuracy. We demonstrate the potential of our approach for computational seismology in a regional wave propagation scenario in a geologically constrained 3D model including the geometrically complex free surface topography of Mount Zugspitze, Germany.


Position Aware Tagging for Aspect Sentiment Triplet Extraction. Aspect Sentiment Triplet Extraction (ASTE) is the task of extracting the triplets of target entities, their associated sentiment, and opinion spans explaining the reason for the sentiment. Existing research efforts mostly solve this problem using pipeline approaches, which break the triplet extraction process into several stages. Our observation is that the three elements within a triplet are highly related to each other, and this motivates us to build a joint model to extract such triplets using a sequence tagging approach. However, how to effectively design a tagging approach to extract the triplets that can capture the rich interactions among the elements is a challenging research question. In this work, we propose the first end to end model with a novel position aware tagging scheme that is capable of jointly extracting the triplets. Our experimental results on several existing datasets show that jointly capturing elements in the triplet using our approach leads to improved performance over the existing approaches. We also conducted extensive experiments to investigate the model effectiveness and robustness.


The cover time of a sparse random intersection graph. Many known networks have structure of affiliation networks, where each of n network's nodes (actors) selects an attribute set from a given collection of m attributes and two nodes (actors) establish adjacency relation whenever they share a common attribute. We study behaviour of the random walk on such networks. For that purpose we use commonly used model of such networks random intersection graph. We establish the cover time of the simple random walk on the binomial random intersection graph cal G (n,m,p) at the connectivity threshold and above it. We consider the range of n,m,p where the typical attribute is shared by (stochastically) bounded number of actors.


Equitable partition of plane graphs with independent crossings into induced forests. The cluster of a crossing in a graph drawing in the plane is the set of the four end vertices of its two crossed edges. Two crossings are independent if their clusters do not intersect. In this paper, we prove that every plane graph with independent crossings has an equitable partition into m induced forests for any m geq 8 . Moreover, we decrease this lower bound 8 for m to 6, 5, 4 and 3 if we additionally assume that the girth of the considering graph is at least 4, 5, 6 and 26, respectively.


On a characterization of finite dimensional vector spaces. We provide a characterization of the finite dimensionality of vector spaces in terms of the right sided invertibility of linear operators on them.