Extending Simple Drawings. Simple drawings of graphs are those in which each pair of edges share at most one point, either a common endpoint or a proper crossing. In this paper we study the problem of extending a simple drawing D(G) of a graph G by inserting a set of edges from the complement of G into D(G) such that the result is a simple drawing. In the context of rectilinear drawings, the problem is trivial. For pseudolinear drawings, the existence of such an extension follows from Levi's enlargement lemma. In contrast, we prove that deciding if a given set of edges can be inserted into a simple drawing is NP complete. Moreover, we show that the maximization version of the problem is APX hard. We also present a polynomial time algorithm for deciding whether one edge uv can be inserted into D(G) when u,v is a dominating set for the graph G .


p Laplace Operators for Oriented Hypergraphs. The p Laplacian for graphs, as well as the vertex Laplace operator and the hyperedge Laplace operator for the general setting of oriented hypergraphs, are generalized. In particular, both a vertex p Laplacian and a hyperedge p Laplacian are defined for oriented hypergraphs, for all p geq 1 . Several spectral properties of these operators are investigated.


Exponentially small expansions related to the parabolic cylinder function. The refined asymptotic expansion of the confluent hypergeometric function M(a,b,z) on the Stokes line arg ,z pi given in it Appl. Math. Sci. bf 7 (2013) 6601 6609 is employed to derive the correct exponentially small contribution to the asymptotic expansion for the even and odd solutions of a second order differential equation related to Weber's equation. It is demonstrated that the standard asymptotics of the parabolic cylinder function U(a,z) yield an incorrect exponentially small contribution to these solutions. Numerical results verifying the accuracy of the new expansions are given.


A multi decadal view of the heat and mass budget of a volcano in unrest La Soufri ere de Guadeloupe (French West Indies). Particularly in the presence of a hydrothermal system, many volcanoes output large quantities of heat through the transport of water from deep within the edifice to the surface. Thus, heat flux is a prime tool for evaluating volcanic activity and unrest. We review the volcanic unrest at La Soufri ere de Guadeloupe (French West Indies) using an airborne thermal camera survey, and in situ measurements of temperature and flow rate through temperature probes, Pitot tube and MultiGAS measurements. We deduce mass and heat fluxes for the fumarolic, ground and thermal spring outputs and follow these over a period spanning 2000 2020. Our results are compared with published data and we performed a retrospective analysis of the temporal variations in heat flux over this period using the literature data. We find that the heat emitted by the volcano is 36.5 7.9 MW, of which the fumarolic heat flux is dominant at 28.3 6.8 MW. Given a total heated area of 26780 m2, this equates to a heat flux density of 627 94 W m2, which is amongst the highest established for worldwide volcanoes with hydrothermal systems, particularly for dome volcanoes. A major change at La Soufri ere de Guadeloupe, however, is the development of a widespread region of ground heating at the summit where heat output has increased from 0.2 0.1 MW in 2010 to 5.7 0.9 MW in 2020. This change is concurrent with accelerating unrest at the volcano, and the emergence of two new high flux fumaroles in recent years. Our findings highlight the importance of continued and enhanced surveillance and research strategies at La Soufri ere de Guadeloupe, the results of which can be used to better understand hydrothermal volcanism the world over.


Coxeter combinatorics and spherical Schubert geometry. For a finite Coxeter system and a subset of its diagram nodes, we define spherical elements (a generalization of Coxeter elements). Conjecturally, for Weyl groups, spherical elements index Schubert varieties in a flag manifold G B that are spherical for the action of a Levi subgroup. We evidence the conjecture, employing the combinatorics of Demazure modules, and work of R. Avdeev A. Petukhov, M. Can R. Hodges, R. Hodges V. Lakshmibai, P. Karuppuchamy, P. Magyar J. Weyman A. Zelevinsky, N. Perrin, J. Stembridge, and B. Tenner. In type A, we establish connections with the key polynomials of A. Lascoux M. P. Sch "utzenberger, multiplicity freeness, and split symmetry in algebraic combinatorics. Thereby, we invoke theorems of A. Kohnert, V. Reiner M. Shimozono, and C. Ross A. Yong.


MatRec Matrix Factorization for Highly Skewed Dataset. Recommender systems is one of the most successful AI technologies applied in the internet cooperations. Popular internet products such as TikTok, Amazon, and YouTube have all integrated recommender systems as their core product feature. Although recommender systems have received great success, it is well known for highly skewed datasets, engineers and researchers need to adjust their methods to tackle the specific problem to yield good results. Inability to deal with highly skewed dataset usually generates hard computational problems for big data clusters and unsatisfactory results for customers. In this paper, we propose a new algorithm solving the problem in the framework of matrix factorization. We model the data skewness factors in the theoretic modeling of the approach with easy to interpret and easy to implement formulas. We prove in experiments our method generates comparably favorite results with popular recommender system algorithms such as Learning to Rank , Alternating Least Squares and Deep Matrix Factorization.


Optical memories and switching dynamics of counterpropagating light states in microresonators. The Kerr nonlinearity can be a key enabler for many digital photonic circuits as it allows access to bistable states needed for all optical memories and switches. A common technique is to use the Kerr shift to control the resonance frequency of a resonator and use it as a bistable, optically tunable filter. However, this approach works only in a narrow power and frequency range or requires the use of an auxiliary laser. An alternative approach is to use the asymmetric bistability between counterpropagating light states resulting from the interplay between self and cross phase modulation, which allows light to enter a ring resonator in just one direction. Logical HIGH and LOW states can be represented and stored as the direction of circulation of light, and controlled by modulating the input power. Here we study the switching speed, operating laser frequency and power range, and contrast ratio of such a device. We reach a bitrate of 2 Mbps in our proof of principle device over an optical frequency range of 1 GHz and an operating power range covering more than one order of magnitude. We also calculate that integrated photonic circuits could exhibit bitrates of the order of Gbps, paving the way for the realization of robust and simple all optical memories, switches, routers and logic gates that can operate at a single laser frequency with no additional electrical power.


Realizing ultragraph Leavitt path algebras as Steinberg algebras. In this article, we realize ultragraph Leavitt path algebras as Steinberg algebras. This realization allows us to use the groupoid approach to obtain structural results about these algebras. Using skew product groupoid, we show that ultragraph Leavitt path algebras are graded von Neumann regular rings. We characterize strongly graded ultragraph Leavitt path algebras and show that every ultragraph Leavitt path algebra is semiprimitive. Moreover, we characterize irreducible representations of ultragraph Leavitt path algebras. We also show that ultragraph Leavitt path algebras can be realized as Cuntz Pimsner rings.


Symmetry and monotonicity properties of singular solutions to some cooperative semilinear elliptic systems involving critical nonlinearities. We investigate qualitative properties of positive singular solutions of some elliptic systems in bounded and unbounded domains. We deduce symmetry and monotonicity properties via the moving plane procedure. Moreover, in the unbounded case, we study some cooperative elliptic systems involving critical nonlinearities in mathbb R n .


Personalized Bundle List Recommendation. Product bundling, offering a combination of items to customers, is one of the marketing strategies commonly used in online e commerce and offline retailers. A high quality bundle generalizes frequent items of interest, and diversity across bundles boosts the user experience and eventually increases transaction volume. In this paper, we formalize the personalized bundle list recommendation as a structured prediction problem and propose a bundle generation network (BGN), which decomposes the problem into quality diversity parts by the determinantal point processes (DPPs). BGN uses a typical encoder decoder framework with a proposed feature aware softmax to alleviate the inadequate representation of traditional softmax, and integrates the masked beam search and DPP selection to produce high quality and diversified bundle list with an appropriate bundle size. We conduct extensive experiments on three public datasets and one industrial dataset, including two generated from co purchase records and the other two extracted from real world online bundle services. BGN significantly outperforms the state of the art methods in terms of quality, diversity and response time over all datasets. In particular, BGN improves the precision of the best competitors by 16 on average while maintaining the highest diversity on four datasets, and yields a 3.85x improvement of response time over the best competitors in the bundle list recommendation problem.


A compression based framework for the detection of anomalies in heterogeneous data sources. Nowadays, information and communications technology systems are fundamental assets of our social and economical model, and thus they should be properly protected against the malicious activity of cybercriminals. Defence mechanisms are generally articulated around tools that trace and store information in several ways, the simplest one being the generation of plain text files coined as security logs. This log files are usually inspected, in a semi automatic way, by security analysts to detect events that may affect system integrity. On this basis, we propose a parameter free methodology to detect security incidents from structured text regardless its nature. We use the Normalized Compression Distance to obtain a set of features that can be used by a Support Vector Machine to classify events from a heterogeneous cybersecurity environment. In specific, we explore and validate the application of our methodology in four different cybersecurity domains HTTP anomaly identification, spam detection, Domain Generation Algorithms tracking and sentiment analysis. The results obtained show the validity and flexibility of our approach in different security scenarios with a low configuration burden.


Where Does It Exist Spatio Temporal Video Grounding for Multi Form Sentences. In this paper, we consider a novel task, Spatio Temporal Video Grounding for Multi Form Sentences (STVG). Given an untrimmed video and a declarative interrogative sentence depicting an object, STVG aims to localize the spatio temporal tube of the queried object. STVG has two challenging settings (1) We need to localize spatio temporal object tubes from untrimmed videos, where the object may only exist in a very small segment of the video (2) We deal with multi form sentences, including the declarative sentences with explicit objects and interrogative sentences with unknown objects. Existing methods cannot tackle the STVG task due to the ineffective tube pre generation and the lack of object relationship modeling. Thus, we then propose a novel Spatio Temporal Graph Reasoning Network (STGRN) for this task. First, we build a spatio temporal region graph to capture the region relationships with temporal object dynamics, which involves the implicit and explicit spatial subgraphs in each frame and the temporal dynamic subgraph across frames. We then incorporate textual clues into the graph and develop the multi step cross modal graph reasoning. Next, we introduce a spatio temporal localizer with a dynamic selection method to directly retrieve the spatio temporal tubes without tube pre generation. Moreover, we contribute a large scale video grounding dataset VidSTG based on video relation dataset VidOR. The extensive experiments demonstrate the effectiveness of our method.


Understanding Perceptions of Problematic Facebook Use When People Experience Negative Life Impact and a Lack of Control. While many people use social network sites to connect with friends and family, some feel that their use is problematic, seriously affecting their sleep, work, or life. Pairing a survey of 20,000 Facebook users measuring perceptions of problematic use with behavioral and demographic data, we examined Facebook activities associated with problematic use as well as the kinds of people most likely to experience it. People who feel their use is problematic are more likely to be younger, male, and going through a major life event such as a breakup. They spend more time on the platform, particularly at night, and spend proportionally more time looking at profiles and less time browsing their News Feeds. They also message their friends more frequently. While they are more likely to respond to notifications, they are also more likely to deactivate their accounts, perhaps in an effort to better manage their time. Further, they are more likely to have seen content about social media or phone addiction. Notably, people reporting problematic use rate the site as more valuable to them, highlighting the complex relationship between technology use and well being. A better understanding of problematic Facebook use can inform the design of context appropriate and supportive tools to help people become more in control.


ExplFrame Exploiting Page Frame Cache for Fault Analysis of Block Ciphers. Page Frame Cache (PFC) is a purely software cache, present in modern Linux based operating systems (OS), which stores the page frames that are recently being released by the processes running on a particular CPU. In this paper, we show that the page frame cache can be maliciously exploited by an adversary to steer the pages of a victim process to some pre decided attacker chosen locations in the memory. We practically demonstrate an end to end attack, ExplFrame, where an attacker having only user level privilege is able to force a victim process's memory pages to vulnerable locations in DRAM and deterministically conduct Rowhammer to induce faults. We further show that these faults can be exploited for extracting the secret key of table based block cipher implementations. As a case study, we perform a full key recovery on OpenSSL AES by Rowhammer induced single bit faults in the T tables. We propose an improvised fault analysis technique which can exploit any Rowhammer induced bit flips in the AES T tables.


Simulation based optimisation of the timing of loan recovery across different portfolios. A novel procedure is presented for the objective comparison and evaluation of a bank's decision rules in optimising the timing of loan recovery. This procedure is based on finding a delinquency threshold at which the financial loss of a loan portfolio (or segment therein) is minimised. Our procedure is an expert system that incorporates the time value of money, costs, and the fundamental trade off between accumulating arrears versus forsaking future interest revenue. Moreover, the procedure can be used with different delinquency measures (other than payments in arrears), thereby allowing an indirect comparison of these measures. We demonstrate the system across a range of credit risk scenarios and portfolio compositions. The computational results show that threshold optima can exist across all reasonable values of both the payment probability (default risk) and the loss rate (loan collateral). In addition, the procedure reacts positively to portfolios afflicted by either systematic defaults (such as during an economic downturn) or episodic delinquency (i.e., cycles of curing and re defaulting). In optimising a portfolio's recovery decision, our procedure can better inform the quantitative aspects of a bank's collection policy than relying on arbitrary discretion alone.


An Empirical Investigation of Command Line Customization. The interactive command line, also known as the shell, is a prominent mechanism used extensively by a wide range of software professionals (engineers, system administrators, data scientists, etc.). Shell customizations can therefore provide insight into the tasks they repeatedly perform, how well the standard environment supports those tasks, and ways in which the environment could be productively extended or modified. To characterize the patterns and complexities of command line customization, we mined the collective knowledge of command line users by analyzing more than 2.2 million shell alias definitions found on GitHub. Shell aliases allow command line users to customize their environment by defining arbitrarily complex command substitutions. Using inductive coding methods, we found three types of aliases that each enable a number of customization practices Shortcuts (for nicknaming commands, abbreviating subcommands, and bookmarking locations), Modifications (for substituting commands, overriding defaults, colorizing output, and elevating privilege), and Scripts (for transforming data and chaining subcommands). We conjecture that identifying common customization practices can point to particular usability issues within command line programs, and that a deeper understanding of these practices can support researchers and tool developers in designing better user experiences. In addition to our analysis, we provide an extensive reproducibility package in the form of a curated dataset together with well documented computational notebooks enabling further knowledge discovery and a basis for learning approaches to improve command line workflows.


On the Monniaux Problem in Abstract Interpretation. The Monniaux Problem in abstract interpretation asks, roughly speaking, whether the following question is decidable given a program P , a safety ( emph e.g. , non reachability) specification varphi , and an abstract domain of invariants mathcal D , does there exist an inductive invariant I in mathcal D guaranteeing that program P meets its specification varphi . The Monniaux Problem is of course parameterised by the classes of programs and invariant domains that one considers. In this paper, we show that the Monniaux Problem is undecidable for unguarded affine programs and semilinear invariants (unions of polyhedra). Moreover, we show that decidability is recovered in the important special case of simple linear loops.


BDTF A Blockchain Based Data Trading Framework with Trusted Execution Environment. The need for data trading promotes the emergence of data market. However, in conventional data markets, both data buyers and data sellers have to use a centralized trading platform which might be dishonest. A dishonest centralized trading platform may steal and resell the data seller's data, or may refuse to send data after receiving payment from the data buyer. It seriously affects the fair data transaction and harm the interests of both parties to the transaction. To address this issue, we propose a novel blockchain based data trading framework with Trusted Execution Environment (TEE) to provide a trusted decentralized platform for fair data trading. In our design, a blockchain network is proposed to realize the payments from data buyers to data sellers, and a trusted exchange is built by using a TEE for the first time to achieve fair data transmission. With these help, data buyers and data sellers can conduct transactions directly. We implement our proposed framework on Ethereum and Intel SGX, security analysis and experimental results have demonstrated that the framework proposed can effectively guarantee the fair completion of data tradings.


physics.acc-ph physics.app-ph physics.ins-det physics.plasm-ph

FEbeam Cavity and Electron Emission Data Conversion, Processing and Analysis. A Freeware Toolkit for RF Injectors. FEbeam is a compact field emission data processing interface with the capability to analyze the field emission cathode performance in an rf injector by extracting the field enhancement factor, local field, and effective emission area from the Fowler Nordheim equations. It also has the capability of processing beam imaging micrographs using its sister software, FEpic. The current version of FEbeam was designed for the Argonne Cathode Teststand (ACT) of the Argonne Wakefield Accelerator facility switch yard. With slight modifications, FEbeam can work for any rf field emission injector. This software is open source and can be found at https github.com schne525 FEbeam


On the dynamical asymptotic dimension of a free mathbb Z d action on the Cantor set. Consider an arbitrary extension of a free mathbb Z d action on the Cantor set. It is shown that it has dynamical asymptotic dimension at most 3 d 1 .


Resilient Cyber Physical Systems Using NFV Orchestration. Cyber Physical Systems (CPSs) are increasingly important in critical areas of our society such as intelligent power grids, next generation mobile devices, and smart buildings. CPS operation has characteristics including considerable heterogeneity, variable dynamics, and high complexity. These systems have also scarce resources in order to satisfy their entire load demand, which can be divided into data processing and service execution. These new characteristics of CPSs need to be managed with novel strategies to ensure their resilient operation. Towards this goal, we propose an SDN based solution enhanced by distributed Network Function Virtualization (NFV) modules located at the top most level of our solution architecture. These NFV agents will take orchestrated management decisions among themselves to ensure a resilient CPS configuration against threats, and an optimum operation of the CPS. For this, we study and compare two distinct incentive mechanisms to enforce cooperation among NFVs. Thus, we aim to offer novel perspectives into the management of resilient CPSs, embedding IoT devices, modeled by Game Theory (GT), using the latest software and virtualization platforms.


Direct proof of Mckay Correspondence and the representations of finite subgroups of operatorname SO (4) . The classic Mckay correspondence gives a connection between finite subgroups of operatorname SU (2) and the simply laced Dynkin diagrams. In this article, a direct proof is presented. The bipartite structure of the Mckay diagrams is introduced. After that, the similar method can be used on finite subgroups of operatorname SO (4) , we get a edges coloured graph. We finally get some applications.


Improving Text Relationship Modeling with Artificial Data. Data augmentation uses artificially created examples to support supervised machine learning, adding robustness to the resulting models and helping to account for limited availability of labelled data. We apply and evaluate a synthetic data approach to relationship classification in digital libraries, generating artificial books with relationships that are common in digital libraries but not easier inferred from existing metadata. We find that for classification on whole part relationships between books, synthetic data improves a deep neural network classifier by 91 . Further, we consider the ability of synthetic data to learn a useful new text relationship class from fully artificial training data.


Semantic View Synthesis. We tackle a new problem of semantic view synthesis generating free viewpoint rendering of a synthesized scene using a semantic label map as input. We build upon recent advances in semantic image synthesis and view synthesis for handling photographic image content generation and view extrapolation. Direct application of existing image view synthesis methods, however, results in severe ghosting blurry artifacts. To address the drawbacks, we propose a two step approach. First, we focus on synthesizing the color and depth of the visible surface of the 3D scene. We then use the synthesized color and depth to impose explicit constraints on the multiple plane image (MPI) representation prediction process. Our method produces sharp contents at the original view and geometrically consistent renderings across novel viewpoints. The experiments on numerous indoor and outdoor images show favorable results against several strong baselines and validate the effectiveness of our approach.


Appearance and Pose Conditioned Human Image Generation using Deformable GANs. In this paper, we address the problem of generating person images conditioned on both pose and appearance information. Specifically, given an image xa of a person and a target pose P(xb), extracted from a different image xb, we synthesize a new image of that person in pose P(xb), while preserving the visual details in xa. In order to deal with pixel to pixel misalignments caused by the pose differences between P(xa) and P(xb), we introduce deformable skip connections in the generator of our Generative Adversarial Network. Moreover, a nearest neighbour loss is proposed instead of the common L1 and L2 losses in order to match the details of the generated image with the target image. Quantitative and qualitative results, using common datasets and protocols recently proposed for this task, show that our approach is competitive with respect to the state of the art. Moreover, we conduct an extensive evaluation using off the shell person re identification (Re ID) systems trained with person generation based augmented data, which is one of the main important applications for this task. Our experiments show that our Deformable GANs can significantly boost the Re ID accuracy and are even better than data augmentation methods specifically trained using Re ID losses.


Cluster wise Unsupervised Hashing for Cross Modal Similarity Search. Large scale cross modal hashing similarity retrieval has attracted more and more attention in modern search applications such as search engines and autopilot, showing great superiority in computation and storage. However, current unsupervised cross modal hashing methods still have some limitations (1)many methods relax the discrete constraints to solve the optimization objective which may significantly degrade the retrieval performance (2)most existing hashing model project heterogenous data into a common latent space, which may always lose sight of diversity in heterogenous data (3)transforming real valued data point to binary codes always results in abundant loss of information, producing the suboptimal continuous latent space. To overcome above problems, in this paper, a novel Cluster wise Unsupervised Hashing (CUH) method is proposed. Specifically, CUH jointly performs the multi view clustering that projects the original data points from different modalities into its own low dimensional latent semantic space and finds the cluster centroid points and the common clustering indicators in its own low dimensional space, and learns the compact hash codes and the corresponding linear hash functions. An discrete optimization framework is developed to learn the unified binary codes across modalities under the guidance cluster wise code prototypes. The reasonableness and effectiveness of CUH is well demonstrated by comprehensive experiments on diverse benchmark datasets.


Presentations of diagram categories. We describe the planar rook category, the rook category, the rook Brauer category, and the Motzkin category in terms of generators and relations. We show that the morphism spaces of these categories have linear bases given by planar rook diagrams, rook diagrams, rook Brauer diagrams, and Motzkin diagrams.


Exponent of a finite group admitting a coprime automorphism. Let G be a finite group admitting a coprime automorphism phi of order n . Denote by G phi the centralizer of phi in G and by G phi the set x 1 x phi x in G . We prove the following results. 1. If every element from G phi cup G phi is contained in a phi invariant subgroup of exponent dividing e , then the exponent of G is (e,n) bounded. 2. Suppose that G phi is nilpotent of class c . If x e 1 for each x in G phi and any two elements of G phi are contained in a phi invariant soluble subgroup of derived length d , then the exponent of G, phi is bounded in terms of c,d,e,n .


Social Force Model parameter testing and optimization using a high stress real life situation. The escape panic version of the Social Force Model (SFM) is a suitable model for describing emergency evacuations. In this research, we analyze a real life video, recorded at the opening of a store during a Black Friday event, which resembles an emergency evacuation (November 2017, South Africa). We measure the flow of pedestrians entering the store and found a higher value ( langle J rangle 6.7 pm 0.8 , p s) than the usually reported in laboratory'' conditions. We performed numerical simulations to recreate this event. The empirical measurements were compared against simulated evacuation curves corresponding to different sets of parameters currently in use in the literature. The results obtained suggest that the set of parameters corresponding to calibrations from laboratory experiments (involving pedestrians in which the safety of the participants is of major concern) or situations where the physical contact is negligible, produce simulations in which the agents evacuate faster than in the empirical scenario. To conclude the paper, we optimize two parameters of the model the friction coefficient k t and the body force coefficient k n . The best fit we found could replicate the qualitative and quantitative behavior of the empirical evacuation curve. We also found that many different combinations in the parameter space can produce similar results in terms of the goodness of fit.


Strong Negative Type in Spheres. It is known that spheres have negative type, but only subsets with at most one pair of antipodal points have strict negative type. These are conditions on the (angular) distances within any finite subset of points. We show that subsets with at most one pair of antipodal points have strong negative type, a condition on every probability distribution of points. This implies that the function of expected distances to points determines uniquely the probability measure on such a set. It also implies that the distance covariance test for stochastic independence, introduced by Sz 'ekely, Rizzo and Bakirov, is consistent against all alternatives in such sets. Similarly, it allows tests of goodness of fit, equality of distributions, and hierarchical clustering with angular distances. We prove this by showing an analogue of the Cram 'er Wold theorem.


Hyperuniform disordered photonic crystal polarizers. An ultra broadband transverse magnetic (TM) pass hyperuniform disordered photonic crystal (HUDPC) polarizer is proposed and demonstrated on a silicon on insulator platform. Propagation of the transverse electric mode is blocked by three combined effects, including the photonic bandgap (PBG) effect, diffusive (non resonant) scattering, and bandedge resonances. Specially, the designed 30 dB bandwidth in polarization extinction ratio (PER) of 265 nm is much larger than the spectral width of the PBG (149 nm) due to using the bandedge resonances. The TM mode is in the subwavelength regime of the HUDPC and thus has a low insertion loss (IL). An ultrawide 30 dB bandwidth in PER of 210 nm (1.44 1.65 um) is experimentally demonstrated in a 12.9 um long HUDPC polarizer with spectrally averaged PER of 39.6 dB and IL for the TM mode of 1.1 dB (IL 0.6 dB at 1.55 um). The HUDPC polarizers can be an excellent candidate for ultra broadband polarization filtering in the silicon photonic platform.


Kings in Multipartite Hypertournaments. In his paper "Kings in Bipartite Hypertournaments" (Graphs Combinatorics 35, 2019), Petrovic stated two conjectures on 4 kings in multipartite hypertournaments. We prove one of these conjectures and give counterexamples for the other.


Conditioning of restricted Fourier matrices and super resolution of MUSIC. This paper studies stable recovery of a collection of point sources from its noisy M 1 low frequency Fourier coefficients. We focus on the super resolution regime where the minimum separation of the point sources is below 1 M . We propose a separated clumps model where point sources are clustered in far apart sets, and prove an accurate lower bound of the Fourier matrix with nodes restricted to the source locations. This estimate gives rise to a theoretical analysis on the super resolution limit of the MUSIC algorithm.


Expressive power of linear algebra query languages. Linear algebra algorithms often require some sort of iteration or recursion as is illustrated by standard algorithms for Gaussian elimination, matrix inversion, and transitive closure. A key characteristic shared by these algorithms is that they allow looping for a number of steps that is bounded by the matrix dimension. In this paper we extend the matrix query language MATLANG with this type of recursion, and show that this suffices to express classical linear algebra algorithms. We study the expressive power of this language and show that it naturally corresponds to arithmetic circuit families, which are often said to capture linear algebra. Furthermore, we analyze several sub fragments of our language, and show that their expressive power is closely tied to logical formalisms on semiring annotated relations.


Hom Poisson Nijenhuis structures on Hom Lie algebroids and Hom Dirac structures on Hom Courant algebroids. In this paper, we develop the theory of Hom Lie algebroids, Hom Lie bialgebroids and Hom Courant algebroids introduced by Cai, Liu and Sheng. Specifically, we introduce the notions of Hom Poisson, Hom Nijenhuis and Hom Poisson Nijenhuis structures on a Hom Lie algebroid and the notion of Hom Dirac structures on a Hom Courant algebroid. We show that these structures satisfy similar properties to structures non "Hom "version. For example, there exists the hierarchy of a Hom Poisson Nijenhuis structure and we have a relation between Hom Dirac structures and Maurer Cartan type equation. Moreover we show that there exists a one to one correspondence between the pairs consisting of a Poisson structure on M and a Poisson isomorphism for it.


One Framework to Register Them All PointNet Encoding for Point Cloud Alignment. PointNet has recently emerged as a popular representation for unstructured point cloud data, allowing application of deep learning to tasks such as object detection, segmentation and shape completion. However, recent works in literature have shown the sensitivity of the PointNet representation to pose misalignment. This paper presents a novel framework that uses PointNet encoding to align point clouds and perform registration for applications such as 3D reconstruction, tracking and pose estimation. We develop a framework that compares PointNet features of template and source point clouds to find the transformation that aligns them accurately. In doing so, we avoid computationally expensive correspondence finding steps, that are central to popular registration methods such as ICP and its variants. Depending on the prior information about the shape of the object formed by the point clouds, our framework can produce approaches that are shape specific or general to unseen shapes. Our framework produces approaches that are robust to noise and initial misalignment in data and work robustly with sparse as well as partial point clouds. We perform extensive simulation and real world experiments to validate the efficacy of our approach and compare the performance with state of art approaches. Code is available at https github.com vinits5 pointnet registrationframework.


Strong averaging principle for a class of slow fast singular SPDEs driven by alpha stable process. In this paper, the strong averaging principle is researched for a class of H " o lder continuous drift slow fast SPDEs with alpha stable process by the Zvonkin's transformation and the classical Khasminkii's time discretization method. As applications, an example is also provided to explain our result.


MLPerf Mobile Inference Benchmark. This paper presents the first industry standard open source machine learning (ML) benchmark to allow perfor mance and accuracy evaluation of mobile devices with different AI chips and software stacks. The benchmark draws from the expertise of leading mobile SoC vendors, ML framework providers, and model producers. It comprises a suite of models that operate with standard data sets, quality metrics and run rules. We describe the design and implementation of this domain specific ML benchmark. The current benchmark version comes as a mobile app for different computer vision and natural language processing tasks. The benchmark also supports non smartphone devices, such as laptops and mobile PCs. Benchmark results from the first two rounds reveal the overwhelming complexity of the underlying mobile ML system stack, emphasizing the need for transparency in mobile ML performance analysis. The results also show that the strides being made all through the ML stack improve performance. Within six months, offline throughput improved by 3x, while latency reduced by as much as 12x. ML is an evolving field with changing use cases, models, data sets and quality targets. MLPerf Mobile will evolve and serve as an open source community framework to guide research and innovation for mobile AI.


A particle method for the homogeneous Landau equation. We propose a novel deterministic particle method to numerically approximate the Landau equation for plasmas. Based on a new variational formulation in terms of gradient flows of the Landau equation, we regularize the collision operator to make sense of the particle solutions. These particle solutions solve a large coupled ODE system that retains all the important properties of the Landau operator, namely the conservation of mass, momentum and energy, and the decay of entropy. We illustrate our new method by showing its performance in several test cases including the physically relevant case of the Coulomb interaction. The comparison to the exact solution and the spectral method is strikingly good maintaining 2nd order accuracy. Moreover, an efficient implementation of the method via the treecode is explored. This gives a proof of concept for the practical use of our method when coupled with the classical PIC method for the Vlasov equation.


Counting Risk Increments to Make Decisions During an Epidemic. I propose a smartphone app that will allow people to participate in the management of their own safety during an epidemic or pandemic such as COVID 19 by enabling them to view, in advance, the risks they would take if they visit some given venue (a cafe, the gym, the workplace, the park,...) and, furthermore, track the accumulation of such risks during the course of any given day or week. This idea can be presented to users of the app as counting points. One point represents some constant probability, p text point , of infection. Then the app would work in a similar way to a calorie counting app (instead of counting calories we count probability increments of being infected). Government could set a maximum recommended number of daily (or weekly) points available to each user in accord with its objectives (bringing the disease under control, allowing essential workers to work, protecting vulnerable individuals, ...). It is posited that this, along with other proposed "levers" would allow government to manage a gradual transition to normalcy. I discuss a circuit framework with wires running between boxes. In this framework the wires represent possible sources of infection, namely individuals and the venues themselves (through deposits of pathogens left at the venue). The boxes represent interactions of these sources (when individuals visit a venue). This circuit framework allows (i) calculation of points cost for visiting venues and (ii) probabilistic contact tracing. The points systems proposed here could complement existing contact tracing apps by adding functionality to permit users to participate in decision making up front.


Multi Label Image Recognition with Graph Convolutional Networks. The task of multi label image recognition is to predict a set of object labels that present in an image. As objects normally co occur in an image, it is desirable to model the label dependencies to improve the recognition performance. To capture and explore such important dependencies, we propose a multi label classification model based on Graph Convolutional Network (GCN). The model builds a directed graph over the object labels, where each node (label) is represented by word embeddings of a label, and GCN is learned to map this label graph into a set of inter dependent object classifiers. These classifiers are applied to the image descriptors extracted by another sub net, enabling the whole network to be end to end trainable. Furthermore, we propose a novel re weighted scheme to create an effective label correlation matrix to guide information propagation among the nodes in GCN. Experiments on two multi label image recognition datasets show that our approach obviously outperforms other existing state of the art methods. In addition, visualization analyses reveal that the classifiers learned by our model maintain meaningful semantic topology.


Optimal and Perfectly Parallel Algorithms for On demand Data flow Analysis. Interprocedural data flow analyses form an expressive and useful paradigm of numerous static analysis applications, such as live variables analysis, alias analysis and null pointers analysis. The most widely used framework for interprocedural data flow analysis is IFDS, which encompasses distributive data flow functions over a finite domain. On demand data flow analyses restrict the focus of the analysis on specific program locations and data facts. This setting provides a natural split between (i) an offline (or preprocessing) phase, where the program is partially analyzed and analysis summaries are created, and (ii) an online (or query) phase, where analysis queries arrive on demand and the summaries are used to speed up answering queries. In this work, we consider on demand IFDS analyses where the queries concern program locations of the same procedure (aka same context queries). We exploit the fact that flow graphs of programs have low treewidth to develop faster algorithms that are space and time optimal for many common data flow analyses, in both the preprocessing and the query phase. We also use treewidth to develop query solutions that are embarrassingly parallelizable, i.e. the total work for answering each query is split to a number of threads such that each thread performs only a constant amount of work. Finally, we implement a static analyzer based on our algorithms, and perform a series of on demand analysis experiments on standard benchmarks. Our experimental results show a drastic speed up of the queries after only a lightweight preprocessing phase, which significantly outperforms existing techniques.


Dyck Paths in Four Dimensional Space. In analyzing balanced parentheses, we consider a group of related variables in Dyck paths. In the four dimensional space, the Dyck triangle is constructed, i.e. an integer lattice with Dyck paths.


Complexity of the list homomorphism problem in hereditary graph classes. A homomorphism from a graph G to a graph H is an edge preserving mapping from V(G) to V(H) . For a fixed graph H , in the list homomorphism problem, denoted by LHom( H ), we are given a graph G , whose every vertex v is equipped with a list L(v) subseteq V(H) . We ask if there exists a homomorphism f from G to H , in which f(v) in L(v) for every v in V(G) . Feder, Hell, and Huang JGT 2003 proved that LHom( H ) is polynomial time solvable if H is a bi arc graph, and NP complete otherwise. We are interested in the complexity of the LHom( H ) problem in graphs excluding a copy of some fixed graph F as an induced subgraph. It is known that if F is connected and is not a path nor a subdivided claw, then for every non bi arc graph the LHom( H ) problem is NP complete and cannot be solved in subexponential time, unless the ETH fails. We consider the remaining cases for connected graphs F . If F is a path, we exhibit a full dichotomy. We define a class called predacious graphs and show that if H is not predacious, then for every fixed t the LHom( H ) problem can be solved in quasi polynomial time in P t free graphs. On the other hand, if H is predacious, then there exists t , such that LHom( H ) cannot be solved in subexponential time in P t free graphs. If F is a subdivided claw, we show a full dichotomy in two important cases for H being irreflexive (i.e., with no loops), and for H being reflexive (i.e., where every vertex has a loop). Unless the ETH fails, for irreflexive H the LHom( H ) problem can be solved in subexponential time in graphs excluding a fixed subdivided claw if and only if H is non predacious and triangle free. If H is reflexive, then LHom( H ) cannot be solved in subexponential time whenever H is not a bi arc graph.


Existence of multiple closed CMC hypersurfaces with small mean curvature. Let (M n 1 ,g) be a closed Riemannian manifold, n 1 geq 3 . We will prove that for all m in mathbb N , there exists c (m) 0 , which depends on g , such that if 0 c c (m) , (M,g) contains at least m many closed c CMC hypersurfaces with optimal regularity. More quantitatively, there exists a constant gamma 0 , depending on g , such that for all c 0 , there exist at least gamma 0c frac 1 n 1 many closed c CMC hypersurfaces (with optimal regularity) in (M,g) . This extends the theorem of Zhou and Zhu, where they proved the existence of at least one closed c CMC hypersurface in (M,g) .


Reconstruction of quasi local numerical effective models from low resolution measurements. We consider the inverse problem of reconstructing an effective model for a prototypical diffusion process in strongly heterogeneous media based on coarse measurements. The approach is motivated by quasi local numerical effective forward models that are provably reliable beyond periodicity assumptions and scale separation. The goal of this work is to show that an identification of the matrix representation related to these effective models is possible. On the one hand, this provides a reasonable surrogate in cases where a direct reconstruction is unfeasible due to a mismatch between the coarse data scale and the microscopic quantities to be reconstructed. On the other hand, the approach allows us to investigate the requirement for a certain non locality in the context of numerical homogenization. Algorithmic aspects of the inversion procedure and its performance are illustrated in a series of numerical experiments.


On the discriminant of pure number fields. Let K mathbb Q ( sqrt n a ) be an extension of degree n of the field Q of rational numbers, where the integer a is such that for each prime p dividing n either p nmid a or the highest power of p dividing a is coprime to p this condition is clearly satisfied when a, n are coprime or a is squarefree. The paper contains an explicit formula for the discriminant of K involving only the prime powers dividing a,n .


Some remarks on hypergraph matching and the F " u redi Kahn Seymour conjecture. A classic conjecture of F " u redi, Kahn and Seymour (1993) states that given any hypergraph with non negative edge weights w(e) , there exists a matching M such that sum e in M ( e 1 1 e ) , w(e) geq w , where w is the value of an optimum fractional matching. We show the conjecture is true for rank 3 hypergraphs, and is achieved by a natural iterated rounding algorithm. While the general conjecture remains open, we give several new improved bounds. In particular, we show that the iterated rounding algorithm gives sum e in M ( e delta(e)) , w(e) geq w , where delta(e) e ( e 2 e 1) , improving upon the baseline guarantee of sum e in M e ,w(e) geq w .


Input to State Stability in sup norms for hyperbolic systems with boundary disturbances. We give sufficient conditions for Input to State Stability in C 1 norm of general quasilinear hyperbolic systems with boundary input disturbances. In particular the derivation of explicit Input to State Stability conditions is discussed for the special case of 2 times 2 systems.


Slow light,double directional rainbow trapping and releasing at terahertz frequencies. Slow light and rainbow trapping attract many attentions in last twenty years, and in most of the previous works, the researchers achieve the slow light and rainbow trapping with complicate configurations or techniques, for example, metamaterial techniques. In this paper, we propose a simple waveguide consisted with semiconductor and dielectric layers, and we find that the slow light peaks appear in the dispersion curves. Besides, the cutoff frequency with v g 0 ( v g is the group velocity) in the slow light peaks is depending on the thicknesses of the semiconductor and dielectric. Then, we design a tapered, horizontally symmetric structure. By using software COMSOL and finite difference time domain method as well, we achieve double directional rainbow trapping and more importantly, releasing the rainbow in such structure. This approach is promising for optical isolator, optical buffer, optical switch and other optical functional devices in miniaturization optical integrated circuit.


Public release of Atlas under an open source license, which is accelerator enabled and has improved interoperability features. This document is one of the deliverable reports created for the ESCAPE project. ESCAPE stands for Energy efficient Scalable Algorithms for Weather Prediction at Exascale. The project develops world class, extreme scale computing capabilities for European operational numerical weather prediction and future climate models. This is done by identifying Weather Climate dwarfs which are key patterns in terms of computation and communication (in the spirit of the Berkeley dwarfs). These dwarfs are then optimised for different hardware architectures (single and multi node) and alternative algorithms are explored. Performance portability is addressed through the use of domain specific languages. Atlas has been presented in deliverable D1.3. With this deliverable D2.3, a first version of the Atlas software libraries is publicly released with a permissive open source license. The software is freely available for download, and contains a user guide and installation instructions. The Atlas libraries have been carefully designed with the user's perspective in mind. Even though Atlas is mainly coded in C , an equivalent Fortran interface is presented without additional runtime overhead. The Fortran interfaces are provided to accommodate existing NWP and climate models that typically consist of Fortran subroutines. The mixed Fortran C design enhances interoperability between NWP and climate models and novel data management techniques. Atlas provides interoperability with accelerator hardware, and can serve as foundation to support higher level abstractions as used in domain specific languages.


Who Are the Silent Spreaders'? Contact Tracing in Spatio Temporal Memory Models. The COVID 19 epidemic has swept the world for over a year. However, a large number of infectious asymptomatic COVID 19 cases ( textit ACC s) are still making the breaking up of the transmission chains very difficult. Efforts by epidemiological researchers in many countries have thrown light on the clinical features of ACCs, but there is still a lack of practical approaches to detect ACCs so as to help contain the pandemic. To address the issue of ACCs, this paper presents a neural network model called Spatio Temporal Episodic Memory for COVID 19 ( textit STEM COVID ) to identify ACCs from contact tracing data. Based on the fusion Adaptive Resonance Theory ( textit ART ), the model encodes a collective spatio temporal episodic memory of individuals and incorporates an effective mechanism of parallel searches for ACCs. Specifically, the episodic traces of the identified positive cases are used to map out the episodic traces of suspected ACCs using a weighted evidence pooling method. To evaluate the efficacy of STEM COVID, a realistic agent based simulation model for COVID 19 spreading is implemented based on the recent epidemiological findings on ACCs. The experiments based on rigorous simulation scenarios, manifesting the current situation of COVID 19 spread, show that the STEM COVID model with weighted evidence pooling has a higher level of accuracy and efficiency for identifying ACCs when compared with several baselines. Moreover, the model displays strong robustness against noisy data and different ACC proportions, which partially reflects the effect of breakthrough infections after vaccination on the virus transmission.


Fast Perturbative Algorithm Configurators. Recent work has shown that the ParamRLS and ParamILS algorithm configurators can tune some simple randomised search heuristics for standard benchmark functions in linear expected time in the size of the parameter space. In this paper we prove a linear lower bound on the expected time to optimise any parameter tuning problem for ParamRLS, ParamILS as well as for larger classes of algorithm configurators. We propose a harmonic mutation operator for perturbative algorithm configurators that provably tunes single parameter algorithms in polylogarithmic time for unimodal and approximately unimodal (i.e., non smooth, rugged with an underlying gradient towards the optimum) parameter spaces. It is suitable as a general purpose operator since even on worst case (e.g., deceptive) landscapes it is only by at most a logarithmic factor slower than the default ones used by ParamRLS and ParamILS. An experimental analysis confirms the superiority of the approach in practice for a number of configuration scenarios, including ones involving more than one parameter.


S 3 Net Semantic Aware Self supervised Depth Estimation with Monocular Videos and Synthetic Data. Solving depth estimation with monocular cameras enables the possibility of widespread use of cameras as low cost depth estimation sensors in applications such as autonomous driving and robotics. However, learning such a scalable depth estimation model would require a lot of labeled data which is expensive to collect. There are two popular existing approaches which do not require annotated depth maps (i) using labeled synthetic and unlabeled real data in an adversarial framework to predict more accurate depth, and (ii) unsupervised models which exploit geometric structure across space and time in monocular video frames. Ideally, we would like to leverage features provided by both approaches as they complement each other however, existing methods do not adequately exploit these additive benefits. We present S 3 Net, a self supervised framework which combines these complementary features we use synthetic and real world images for training while exploiting geometric, temporal, as well as semantic constraints. Our novel consolidated architecture provides a new state of the art in self supervised depth estimation using monocular videos. We present a unique way to train this self supervised framework, and achieve (i) more than 15 improvement over previous synthetic supervised approaches that use domain adaptation and (ii) more than 10 improvement over previous self supervised approaches which exploit geometric constraints from the real data.


Combinatorial Analysis for Pseudoknot RNA with Complex Structure. There exists many complicated k noncrossing pseudoknot RNA structures in nature based on some special conditions. The special characteristic of RNA structures gives us great challenges in researching the enumeration, prediction and the analysis of prediction algorithm. We will study two kinds of typical k noncrossing pseudoknot RNAs with complex structures separately.


The Complexity of Dynamic Data Race Prediction. Writing concurrent programs is notoriously hard due to scheduling non determinism. The most common concurrency bugs are data races, which are accesses to a shared resource that can be executed concurrently. Dynamic data race prediction is the most standard technique for detecting data races given an observed, data race free trace t , the task is to determine whether t can be reordered to a trace t that exposes a data race. Although the problem has received significant practical attention for over three decades, its complexity has remained elusive. In this work, we address this lacuna, identifying sources of intractability and conditions under which the problem is efficiently solvable. Given a trace t of size n over k threads, our main results are as follows. First, we establish a general O(k cdot n 2 cdot (k 1) ) upper bound, as well as an O(n k) upper bound when certain parameters of t are constant. In addition, we show that the problem is NP hard and even W 1 hard parameterized by k , and thus unlikely to be fixed parameter tractable. Second, we study the problem over acyclic communication topologies, such as server clients hierarchies. We establish an O(k 2 cdot d cdot n 2 cdot log n) upper bound, where d is the number of shared variables accessed in t . In addition, we show that even for traces with k 2 threads, the problem has no O(n 2 epsilon ) algorithm under Orthogonal Vectors. Since any trace with 2 threads defines an acyclic topology, our upper bound for this case is optimal wrt polynomial improvements for up to moderate values of k and d . Finally, we study a distance bounded version of the problem, where the task is to expose a data race by a witness trace that is similar to t . We develop an algorithm that works in O(n) time when certain parameters of t are constant.


Smoothed Complexity of 2 player Nash Equilibria. We prove that computing a Nash equilibrium of a two player ( n times n ) game with payoffs in 1,1 is PPAD hard (under randomized reductions) even in the smoothed analysis setting, smoothing with noise of constant magnitude. This gives a strong negative answer to conjectures of Spielman and Teng ST06 and Cheng, Deng, and Teng CDT09 . In contrast to prior work proving PPAD hardness after smoothing by noise of magnitude 1 operatorname poly (n) CDT09 , our smoothed complexity result is not proved via hardness of approximation for Nash equilibria. This is by necessity, since Nash equilibria can be approximated to constant error in quasi polynomial time LMM03 . Our results therefore separate smoothed complexity and hardness of approximation for Nash equilibria in two player games. The key ingredient in our reduction is the use of a random zero sum game as a gadget to produce two player games which remain hard even after smoothing. Our analysis crucially shows that all Nash equilibria of random zero sum games are far from pure (with high probability), and that this remains true even after smoothing.


An efficient multi language Video Search Engine to facilitate the HADJ and the UMRA. Videos clips became the most important and prominent multimedia document to illustrate the rituals process of Hajj and Umrah. Therefore, it is necessary to develop a system to facilitate access to information related to the duties, the pillars, the stages and the prayers. In this paper present a new project accomplishing a search engine in a large video database enabling any pilgrims to get the information that he care about as fast, accurate. This project is based on two techniques (a) the weighting method to determine the degree of affiliation of a video clip to a particular topic (b) organizing data using several layers.


Constructible sheaves and functions up to infinity. We introduce the category of b analytic manifolds, a natural tool to define constructible sheaves and functions up to infinity. We study with some details the operations on these objects and also recall the Radon transform for constructible functions.


DiPE Deeper into Photometric Errors for Unsupervised Learning of Depth and Ego motion from Monocular Videos. Unsupervised learning of depth and ego motion from unlabelled monocular videos has recently drawn great attention, which avoids the use of expensive ground truth in the supervised one. It achieves this by using the photometric errors between the target view and the synthesized views from its adjacent source views as the loss. Despite significant progress, the learning still suffers from occlusion and scene dynamics. This paper shows that carefully manipulating photometric errors can tackle these difficulties better. The primary improvement is achieved by a statistical technique that can mask out the invisible or nonstationary pixels in the photometric error map and thus prevents misleading the networks. With this outlier masking approach, the depth of objects moving in the opposite direction to the camera can be estimated more accurately. To the best of our knowledge, such scenarios have not been seriously considered in the previous works, even though they pose a higher risk in applications like autonomous driving. We also propose an efficient weighted multi scale scheme to reduce the artifacts in the predicted depth maps. Extensive experiments on the KITTI dataset show the effectiveness of the proposed approaches. The overall system achieves state of theart performance on both depth and ego motion estimation.


Non Newtonian and poroelastic effects in simulations of arterial flows. In this paper, we focus on investigating the influence on hydrodynamic factors of different coupled computational models describing the interaction between an incompressible fluid and two symmetric elastic or poroelastic structures. The fluid region is governed by time dependent Navier Stokes equations while for the structure region, we employ two different types of fully dynamic models to study the effects of elasticity and poroelasticity. It is known that blood flow shows a non Newtonian property in small vessels and in situations of complex geometries. On one hand, we perform numerical experiments for blood flow using the Carreau Yasuda model to simulate the viscosity and study the influence of non Newtonian blood rheology as well as the poroelasticity on a benchmark vessel, by means of comparing computational results with models with Newtonian fluids or elastic structures. On the other hand, we present a two dimensional simulation of blood flow in an axisymmetric stenosis artery, considering not only the non Newtonian fluids properties but also the fluid structure interaction. The results of this study demonstrate that the flow characteristics, including velocity and pressure fields, wall shear stress, relative residence time, displacement and filtration velocity, are affected by different models, geometries and parameters, such as permeability and Lam ' e coefficients.


Load Balancing with preemptive and non preemptive task scheduling in Cloud Computing. In Cloud computing environment the resources are managed dynamically based on the need and demand for resources for a particular task. With a lot of challenges to be addressed our concern is Load balancing where load balancing is done for optimal usage of resources and reduces the cost associated with it as we use pay as you go policy. The task scheduling is done by the cloud service provider using preemption and non preemption based on the requirements in a virtualized scenario which has been focused here. In this paper, various task scheduling algorithms are studied to present the dynamic allocation of resources under each category and the ways each of this scheduling algorithm adapts to handle the load and have high performance computing


Planar projections of graphs. We introduce and study a new graph representation where vertices are embedded in three or more dimensions, and in which the edges are drawn on the projections onto the axis parallel planes. We show that the complete graph on n vertices has a representation in lceil sqrt n 2 1 rceil planes. In 3 dimensions, we show that there exist graphs with 6n 15 edges that can be projected onto two orthogonal planes, and that this is best possible. Finally, we obtain bounds in terms of parameters such as geometric thickness and linear arboricity. Using such a bound, we show that every graph of maximum degree 5 has a plane projectable representation in 3 dimensions.


A Generative Model for Punctuation in Dependency Trees. Treebanks traditionally treat punctuation marks as ordinary words, but linguists have suggested that a tree's "true" punctuation marks are not observed (Nunberg, 1990). These latent "underlying" marks serve to delimit or separate constituents in the syntax tree. When the tree's yield is rendered as a written sentence, a string rewriting mechanism transduces the underlying marks into "surface" marks, which are part of the observed (surface) string but should not be regarded as part of the tree. We formalize this idea in a generative model of punctuation that admits efficient dynamic programming. We train it without observing the underlying marks, by locally maximizing the incomplete data likelihood (similarly to EM). When we use the trained model to reconstruct the tree's underlying punctuation, the results appear plausible across 5 languages, and in particular, are consistent with Nunberg's analysis of English. We show that our generative model can be used to beat baselines on punctuation restoration. Also, our reconstruction of a sentence's underlying punctuation lets us appropriately render the surface punctuation (via our trained underlying to surface mechanism) when we syntactically transform the sentence.


Isogenies of elliptic curves over function fields. We prove two theorems concerning isogenies of elliptic curves over function fields. The first one describes the variation of the height of the j invariant in an isogeny class. The second one is an "isogeny estimate", providing an explicit bound on the degree of a minimal isogeny between two isogenous elliptic curves. We also give several corollaries of these two results.


Nonlinear spectral instability of steady state flow of a viscous liquid past a rotating obstacle. We show that a steady state solution bf U to the system of equations of a Navier Stokes flow past a rotating body is nonlinearly unstable if the associated linear operator cal L has a part of the spectrum in the half plane lambda in mathbb C rm Re , lambda 0 . Our result does not follow from known methods, on spectral instability, mainly because the basic nonlinear operator is not bounded in the same space in which the instability is studied. As an auxiliary result of independent interest, we also show that the uniform growth bound of the C 0 semigroup rm e cal L t is equal to the spectral bound of operator mathcal L .


SoftTriple Loss Deep Metric Learning Without Triplet Sampling. Distance metric learning (DML) is to learn the embeddings where examples from the same class are closer than examples from different classes. It can be cast as an optimization problem with triplet constraints. Due to the vast number of triplet constraints, a sampling strategy is essential for DML. With the tremendous success of deep learning in classifications, it has been applied for DML. When learning embeddings with deep neural networks (DNNs), only a mini batch of data is available at each iteration. The set of triplet constraints has to be sampled within the mini batch. Since a mini batch cannot capture the neighbors in the original set well, it makes the learned embeddings sub optimal. On the contrary, optimizing SoftMax loss, which is a classification loss, with DNN shows a superior performance in certain DML tasks. It inspires us to investigate the formulation of SoftMax. Our analysis shows that SoftMax loss is equivalent to a smoothed triplet loss where each class has a single center. In real world data, one class can contain several local clusters rather than a single one, e.g., birds of different poses. Therefore, we propose the SoftTriple loss to extend the SoftMax loss with multiple centers for each class. Compared with conventional deep metric learning algorithms, optimizing SoftTriple loss can learn the embeddings without the sampling phase by mildly increasing the size of the last fully connected layer. Experiments on the benchmark fine grained data sets demonstrate the effectiveness of the proposed loss function. Code is available at https github.com idstcv SoftTriple


A Unified Theory of SGD Variance Reduction, Sampling, Quantization and Coordinate Descent. In this paper we introduce a unified analysis of a large family of variants of proximal stochastic gradient descent ( tt SGD ) which so far have required different intuitions, convergence analyses, have different applications, and which have been developed separately in various communities. We show that our framework includes methods with and without the following tricks, and their combinations variance reduction, importance sampling, mini batch sampling, quantization, and coordinate sub sampling. As a by product, we obtain the first unified theory of tt SGD and randomized coordinate descent ( tt RCD ) methods, the first unified theory of variance reduced and non variance reduced tt SGD methods, and the first unified theory of quantized and non quantized methods. A key to our approach is a parametric assumption on the iterates and stochastic gradients. In a single theorem we establish a linear convergence result under this assumption and strong quasi convexity of the loss function. Whenever we recover an existing method as a special case, our theorem gives the best known complexity result. Our approach can be used to motivate the development of new useful methods, and offers pre proved convergence guarantees. To illustrate the strength of our approach, we develop five new variants of tt SGD , and through numerical experiments demonstrate some of their properties.


A uniformly and optimally accurate method for the Klein Gordon Zakharov system in simultaneous high plasma frequency and subsonic limit regime. We present a uniformly and optimally accurate numerical method for solving the Klein Gordon Zakharov (KGZ) system with two dimensionless parameters 0 epsilon le1 and 0 gamma le 1 , which are inversely proportional to the plasma frequency and the acoustic speed, respectively. In the simultaneous high plasma frequency and subsonic limit regime, i.e. epsilon gamma to 0 , the KGZ system collapses to a cubic Schr "odinger equation, and the solution propagates waves with O( epsilon 2) wavelength in time and meanwhile contains rapid outgoing initial layers with speed O(1 gamma) in space due to the incompatibility of the initial data. By presenting a multiscale decomposition of the KGZ system, we propose a multiscale time integrator Fourier pseduospectral method which is explicit, efficient and uniformly accurate for solving the KGZ system for all 0 epsilon gamma leq1 . Numerical results are reported to show the efficiency and accuracy of scheme. Finally, the method is applied to investigate the convergence rates of the KGZ system to its limiting models when epsilon gamma to 0 .


Toyota Smarthome Untrimmed Real World Untrimmed Videos for Activity Detection. This work aims at building a large scale dataset with daily living activities performed in a natural manner. Activities performed in a spontaneous manner lead to many real world challenges that are often ignored by the vision community. This includes low inter class due to the presence of similar activities and high intra class variance, low camera framing, low resolution, long tail distribution of activities, and occlusions. To this end, we propose the Toyota Smarthome Untrimmed (TSU) dataset, which provides spontaneous activities with rich and dense annotations to address the detection of complex activities in real world scenarios.


Large deviations for denominators of continued fractions. We give an exponential upper bound on the probabilitywith which the denominator of the n th convergent in the regular continued fraction expansion stays away from the mean frac n pi 2 12 log2 . The exponential rate is best possible, given by an analytic function related to the dimension spectrum of Lyapunov exponents for the Gauss transformation.


Zeta functions of Lie mathbb F p algebras and finite p groups. We introduce and study zeta functions enumerating subalgebras or ideals of rings over finite field mathbb F p . We demonstrate a method that explicitly computes zeta functions of Lie mathbb F p algebras, and apply this method to provide explicit formulas for various interesting examples, including those Lie rings whose original zeta functions over mathbb Z p are not available yet. We also investigate what can be deduced from these finite Dirichlet polynomials approximating the zeta functions.


Functions of bounded mean oscillation and quasisymmetric mappings on spaces of homogeneous type. We establish a connection between the function space BMO and the theory of quasisymmetric mappings on emph spaces of homogeneous type widetilde X (X, rho, mu) . The connection is that the logarithm of the generalised Jacobian of an eta quasisymmetric mapping f widetilde X rightarrow widetilde X is always in rm BMO ( widetilde X ) . In the course of proving this result, we first show that on widetilde X , the logarithm of a reverse H " o lder weight w is in rm BMO ( widetilde X ) , and that the above mentioned connection holds on metric measure spaces widehat X (X,d, mu) . Furthermore, we construct a large class of spaces (X, rho, mu) to which our results apply. Among the key ingredients of the proofs are suitable generalisations to (X, rho, mu) from the Euclidean or metric measure space settings of the Calder ' o n Zygmund decomposition, the Vitali Covering Theorem, the Radon Nikodym Theorem, a lemma which controls the distortion of sets under an eta quasisymmetric mapping, and a result of Heinonen and Koskela which shows that the volume derivative of an eta quasisymmetric mapping is a reverse H " o lder weight.


On the costs and profit of software defect prediction. Defect prediction can be a powerful tool to guide the use of quality assurance resources. However, while lots of research covered methods for defect prediction as well as methodological aspects of defect prediction research, the actual cost saving potential of defect prediction is still unclear. Within this article, we close this research gap and formulate a cost model for software defect prediction. We derive mathematically provable boundary conditions that must be fulfilled by defect prediction models such that there is a positive profit when the defect prediction model is used. Our cost model includes aspects like the costs for quality assurance, the costs of post release defects, the possibility that quality assurance fails to reveal predicted defects, and the relationship between software artifacts and defects. We initialize the cost model using different assumptions, perform experiments to show trends of the behavior of costs on real projects. Our results show that the unrealistic assumption that defects only affect a single software artifact, which is a standard practice in the defect prediction literature, leads to inaccurate cost estimations. Moreover, the results indicate that thresholds for machine learning metrics are also not suited to define success criteria for software defect prediction.


Numerical approximation of the Stochastic Cahn Hilliard Equation near the Sharp Interface Limit. We consider the stochastic Cahn Hilliard equation with additive noise term varepsilon gamma g , dot W ( gamma 0 ) that scales with the interfacial width parameter varepsilon . We verify strong error estimates for a gradient flow structure inheriting time implicit discretization, where varepsilon 1 only enters polynomially the proof is based on higher moment estimates for iterates, and a (discrete) spectral estimate for its deterministic counterpart. For gamma sufficiently large, convergence in probability of iterates towards the deterministic Hele Shaw Mullins Sekerka problem in the sharp interface limit varepsilon rightarrow 0 is shown. These convergence results are partly generalized to a fully discrete finite element based discretization. We complement the theoretical results by computational studies to provide practical evidence concerning the effect of noise (depending on its 'strength' gamma ) on the geometric evolution in the sharp interface limit. For this purpose we compare the simulations with those from a fully discrete finite element numerical scheme for the (stochastic) Mullins Sekerka problem. The computational results indicate that the limit for gamma geq 1 is the deterministic problem, and for gamma 0 we obtain agreement with a (new) stochastic version of the Mullins Sekerka problem.


Feeling Like It is Time to Reopen Now? COVID 19 New Normal Scenarios based on Reopening Sentiment Analytics. The Coronavirus pandemic has created complex challenges and adverse circumstances. This research discovers public sentiment amidst problematic socioeconomic consequences of the lockdown, and explores ensuing four potential sentiment associated scenarios. The severity and brutality of COVID 19 have led to the development of extreme feelings, and emotional and mental healthcare challenges. This research identifies emotional consequences the presence of extreme fear, confusion and volatile sentiments, mixed along with trust and anticipation. It is necessary to gauge dominant public sentiment trends for effective decisions and policies. This study analyzes public sentiment using Twitter Data, time aligned to COVID 19, to identify dominant sentiment trends associated with the push to 'reopen' the economy. Present research uses textual analytics methodologies to analyze public sentiment support for two potential divergent scenarios an early opening and a delayed opening, and consequences of each. Present research concludes on the basis of exploratory textual analytics and textual data visualization, that Tweets data from American Twitter users shows more trust sentiment support, than fear, for reopening the US economy. With additional validation, this could present a valuable time sensitive opportunity for state governments, the federal government, corporations and societal leaders to guide the nation into a successful new normal future.


Bol loops and Bruck loops of order pq up to isotopism. Let p q be odd primes. We classify Bol loops and Bruck loops of order pq up to isotopism. When q does not divide p 2 1 , the only Bol loop (and hence the only Bruck loop) of order pq is the cyclic group of order pq . When q divides p 2 1 , there are precisely lfloor(p 1 4q)(2q) 1 rfloor Bol loops of order pq up to isotopism, including a unique nonassociative Bruck loop of order pq .


WQT and DG YOLO towards domain generalization in underwater object detection. A General Underwater Object Detector (GUOD) should perform well on most of underwater circumstances. However, with limited underwater dataset, conventional object detection methods suffer from domain shift severely. This paper aims to build a GUOD with small underwater dataset with limited types of water quality. First, we propose a data augmentation method Water Quality Transfer (WQT) to increase domain diversity of the original small dataset. Second, for mining the semantic information from data generated by WQT, DG YOLO is proposed, which consists of three parts YOLOv3, DIM and IRM penalty. Finally, experiments on original and synthetic URPC2019 dataset prove that WQT DG YOLO achieves promising performance of domain generalization in underwater object detection.


Optimal control of an energy critical semilinear wave equation in 3D with spatially integrated control constraints. This paper is concerned with an optimal control problem subject to the H 1 critical defocusing semilinear wave equation on a smooth and bounded domain in three spatial dimensions. Due to the criticality of the nonlinearity in the wave equation, unique solutions to the PDE obeying energy bounds are only obtained in special function spaces related to Strichartz estimates and the nonlinearity. The optimal control problem is complemented by pointwise in time constraints of Trust Region type u(t) L 2( Omega) leq omega(t) . We prove existence of globally optimal solutions to the optimal control problem and give optimality conditions of both first and second order necessary as well as second order sufficient type. A nonsmooth regularization term for the natural control space L 1(0,T L 2( Omega)) , which also promotes sparsity in time of an optimal control, is used in the objective functional.


Generic Semi Supervised Adversarial Subject Translation for Sensor Based Human Activity Recognition. The performance of Human Activity Recognition (HAR) models, particularly deep neural networks, is highly contingent upon the availability of the massive amount of annotated training data which should be sufficiently labeled. Though, data acquisition and manual annotation in the HAR domain are prohibitively expensive due to skilled human resource requirements in both steps. Hence, domain adaptation techniques have been proposed to adapt the knowledge from the existing source of data. More recently, adversarial transfer learning methods have shown very promising results in image classification, yet limited for sensor based HAR problems, which are still prone to the unfavorable effects of the imbalanced distribution of samples. This paper presents a novel generic and robust approach for semi supervised domain adaptation in HAR, which capitalizes on the advantages of the adversarial framework to tackle the shortcomings, by leveraging knowledge from annotated samples exclusively from the source subject and unlabeled ones of the target subject. Extensive subject translation experiments are conducted on three large, middle, and small size datasets with different levels of imbalance to assess the robustness and effectiveness of the proposed model to the scale as well as imbalance in the data. The results demonstrate the effectiveness of our proposed algorithms over state of the art methods, which led in up to 13 , 4 , and 13 improvement of our high level activities recognition metrics for Opportunity, LISSI, and PAMAP2 datasets, respectively. The LISSI dataset is the most challenging one owing to its less populated and imbalanced distribution. Compared to the SA GAN adversarial domain adaptation method, the proposed approach enhances the final classification performance with an average of 7.5 for the three datasets, which emphasizes the effectiveness of micro mini batch training.


Characterizations of the equality of two variable generalized quasiarithmetic means. This paper is motivated by an astonishing result of H. Alzer and S. Ruscheweyh published in 2001 in the Proc. Amer. Math. Soc., which states that the intersection of the classes two variable Gini means and Stolarsky means is equal to the class of two variable power means. The two variable Gini and Stolarsky means form two parameter classes of means expressed in terms of power functions. They can naturally be generalized in terms of the so called Bajraktarevi 'c and Cauchy means. Our aim is to show that the intersection of these two classes of functional means, under high order differentiability assumptions, is equal to the class of two variable quasiarithmetic means.


Signals Featuring Harmonics with Random Frequencies Spectral, Distributional and Ergodic Properties. It has been observed that an interesting class of non Gaussian stationary processes is obtained when in the harmonics of a signal with random amplitudes and phases, frequencies can also vary randomly. In the resulting models, the statistical distribution of frequencies determines the process spectrum while the distribution of amplitudes governs the process distributional properties. Since decoupling the distributional and spectral properties can be advantageous in applications, we thoroughly investigate a variety of properties exhibited by these models. We extend previous work that represented processes as finite sum of harmonics, by conveniently embedding them into the class of harmonizable processes. Harmonics are integrated with respect to independently scattered second order non Gaussian random measures. The proposed approach provides with a proper mathematical framework that allows to study spectral, distributional, and ergodic properties. The mathematical elegance of these representations avoids serious conceptual and technical difficulties with limiting behavior of the models while at the same time facilitates derivation of their fundamental properties. In particular, the multivariate distributions are obtained and the asymptotic behavior of time averages is formally derived through the strong ergodic theorem. Several deficiencies following from the previous approaches are resolved and some of the results appearing in the literature are corrected and extended. It is shown that due to the lack of ergodicity processes exhibit an interesting property of non trivial randomness remaining in the limit of time averages. This feature maybe utilized to modelling signals observed in the presence of influential and variable random factors.


Burgers equation in the adhesion model. We prove the existence and uniqueness of a classical solution to a multidimensional non potential stochastic Burgers equation with H "older continuous initial data. Our motivation is the adhesion model in the theory of formation of the large scale structure of the universe. Importantly, we drop the assumption on the potentiality of the velocity flow that has been questioned in physics literature.


Global injectivity of differentiable maps via W condition in R 2. In this paper, we study the intrinsic relation between the global injectivity of differentiable local homeomorphisms F and the rate that tends to zero of Spec(F) in mathbb R 2 , where Spec(F) denotes the set of all (complex) eigenvalues of DF(x) , for all x in mathbb R 2 . This depends on the W condition deeply, which extends the condition and B condition. The W condition reveals the rate that tends to zero of real eigenvalues of DF can not exceed displaystyle O Big(x ln x( ln frac ln x ln ln x ) 2 Big) 1 by the half Reeb component method. This improves the theorems of Guti ' e rrez Nguyen cite GN07 and Rabanal cite RR10 . The W condition is optimal for the half Reeb component method in this paper setting.


Solving the Faddeev Merkuriev equations in total orbital momentum representation via spline collocation and tensor product preconditioning. The computational approach for solving the Faddeev Merkuriev equations in total orbital momentum representation is presented. These equations describe a system of three quantum charged particles and are widely used in bound state and scattering calculations. The approach is based on the spline collocation method and exploits intensively the tensor product form of discretized operators and preconditioner, which leads to a drastic economy in both computer resources and time.


The spatial collection efficiency of photogenerated charge carriers in photovoltaic and photoelectrochemical devices. The spatial collection efficiency portrays the driving forces and loss mechanisms in photovoltaic and photoelectrochemical devices. It is defined as the fraction of photogenerated charge carriers created at a specific point within the device that contribute to the photocurrent. In stratified planar structures, the spatial collection efficiency can be extracted out of photocurrent action spectra measurements empirically, with few a priori assumptions. Although this method was applied to photovoltaic cells made of well understood materials, it has never been used to study unconventional materials such as metal oxide semiconductors that are often employed in photoelectrochemical cells. This perspective shows the opportunities that this method has to offer for investigating new materials and devices with unknown properties. The relative simplicity of the method, and its applicability to operando performance characterization, makes it an important tool for analysis and design of new photovoltaic and photoelectrochemical materials and devices.


A Comprehensive Survey of Grammar Error Correction. Grammar error correction (GEC) is an important application aspect of natural language processing techniques. The past decade has witnessed significant progress achieved in GEC for the sake of increasing popularity of machine learning and deep learning, especially in late 2010s when near human level GEC systems are available. However, there is no prior work focusing on the whole recapitulation of the progress. We present the first survey in GEC for a comprehensive retrospect of the literature in this area. We first give the introduction of five public datasets, data annotation schema, two important shared tasks and four standard evaluation metrics. More importantly, we discuss four kinds of basic approaches, including statistical machine translation based approach, neural machine translation based approach, classification based approach and language model based approach, six commonly applied performance boosting techniques for GEC systems and two data augmentation methods. Since GEC is typically viewed as a sister task of machine translation, many GEC systems are based on neural machine translation (NMT) approaches, where the neural sequence to sequence model is applied. Similarly, some performance boosting techniques are adapted from machine translation and are successfully combined with GEC systems for enhancement on the final performance. Furthermore, we conduct an analysis in level of basic approaches, performance boosting techniques and integrated GEC systems based on their experiment results respectively for more clear patterns and conclusions. Finally, we discuss five prospective directions for future GEC researches.


Arithmetic volumes of unitary Shimura curves. We compute the arithmetic volumes of integral models of unitary Shimura curves. This establishes the base case of an inductive argument to compute the arithmetic volumes of unitary Shimura varieties of higher dimension, to appear in subsequent work of Bruinier and the author.


FeatGraph A Flexible and Efficient Backend for Graph Neural Network Systems. Graph neural networks (GNNs) are gaining increasing popularity as a promising approach to machine learning on graphs. Unlike traditional graph workloads where each vertex edge is associated with a scalar, GNNs attach a feature tensor to each vertex edge. This additional feature dimension, along with consequently more complex vertex and edge wise computations, has enormous implications on locality and parallelism, which existing graph processing systems fail to exploit. This paper proposes FeatGraph to accelerate GNN workloads by co optimizing graph traversal and feature dimension computation. FeatGraph provides a flexible programming interface to express diverse GNN models by composing coarse grained sparse templates with fine grained user defined functions (UDFs) on each vertex edge. FeatGraph incorporates optimizations for graph traversal into the sparse templates and allows users to specify optimizations for UDFs with a feature dimension schedule (FDS). FeatGraph speeds up end to end GNN training and inference by up to 32x on CPU and 7x on GPU.


Domain Adaptive Medical Image Segmentation via Adversarial Learning of Disease Specific Spatial Patterns. In medical imaging, the heterogeneity of multi centre data impedes the applicability of deep learning based methods and results in significant performance degradation when applying models in an unseen data domain, e.g. a new centreor a new scanner. In this paper, we propose an unsupervised domain adaptation framework for boosting image segmentation performance across multiple domains without using any manual annotations from the new target domains, but by re calibrating the networks on few images from the target domain. To achieve this, we enforce architectures to be adaptive to new data by rejecting improbable segmentation patterns and implicitly learning through semantic and boundary information, thus to capture disease specific spatial patterns in an adversarial optimization. The adaptation process needs continuous monitoring, however, as we cannot assume the presence of ground truth masks for the target domain, we propose two new metrics to monitor the adaptation process, and strategies to train the segmentation algorithm in a stable fashion. We build upon well established 2D and 3D architectures and perform extensive experiments on three cross centre brain lesion segmentation tasks, involving multicentre public and in house datasets. We demonstrate that recalibrating the deep networks on a few unlabeled images from the target domain improves the segmentation accuracy significantly.


CoSam An Efficient Collaborative Adaptive Sampler for Recommendation. Sampling strategies have been widely applied in many recommendation systems to accelerate model learning from implicit feedback data. A typical strategy is to draw negative instances with uniform distribution, which however will severely affect model's convergency, stability, and even recommendation accuracy. A promising solution for this problem is to over sample the difficult'' (a.k.a informative) instances that contribute more on training. But this will increase the risk of biasing the model and leading to non optimal results. Moreover, existing samplers are either heuristic, which require domain knowledge and often fail to capture real difficult'' instances or rely on a sampler model that suffers from low efficiency. To deal with these problems, we propose an efficient and effective collaborative sampling method CoSam, which consists of (1) a collaborative sampler model that explicitly leverages user item interaction information in sampling probability and exhibits good properties of normalization, adaption, interaction information awareness, and sampling efficiency and (2) an integrated sampler recommender framework, leveraging the sampler model in prediction to offset the bias caused by uneven sampling. Correspondingly, we derive a fast reinforced training algorithm of our framework to boost the sampler performance and sampler recommender collaboration. Extensive experiments on four real world datasets demonstrate the superiority of the proposed collaborative sampler model and integrated sampler recommender framework.


Fundamental Theorems of Morse Theory on posets. We prove a version of the fundamental theorems of Morse Theory in the setting of finite spaces or partially ordered sets. By using these results we extend Forman's discrete Morse theory to more general cell complexes and derive the Morse Pitcher inequalities in the context of finite spaces.


Truly Concurrent Bisimilarities are Game Equivalent. We design games for truly concurrent bisimilarities, including strongly truly concurrent bisimilarities and branching truly concurrent bisimilarities, such as pomset bisimilarities, step bisimilarities, history preserving bisimilarities and hereditary history preserving bisimilarities.


OD GCN Object Detection Boosted by Knowledge GCN. Classical CNN based object detection methods only extract the objects' image features, but do not consider the high level relationship among objects in context. In this article, the graph convolutional networks (GCN) is integrated into the object detection framework to exploit the benefit of category relationship among objects, which is able to provide extra confidence for any pre trained object detection model in our framework. In experiments, we test several popular base detection models on COCO dataset. The results show promising improvement on mAP by 1 5pp. In addition, visualized analysis reveals the benchmark improvement is quite reasonable in human's opinion.


A Unique Extension of Rich Words. A word w is called rich if it contains w 1 palindromic factors, including the empty word. We say that a rich word w can be extended in at least two ways if there are two distinct letters x,y such that wx,wy are rich. Let R denote the set of all rich words. Given w in R , let K(w) denote the set of all words such that if u in K(w) then wu in R and wu can be extended in at least two ways. Let omega(w) min u mid u in K(w) and let phi(n) max omega(w) mid w in R mbox and w n , where n 0 . Vesti (2014) showed that phi(n) leq 2n . In other words, it says that for each w in R there is a word u with u leq 2 w such that wu in R and wu can be extended in at least two ways. We prove that phi(n) leq n . In addition we prove that for each real constant c 0 and each integer m 0 there is n m such that phi(n) geq ( frac 2 9 c)n . The results hold for each finite alphabet having at least two letters.


Cross Router Covert Channels. Many organizations protect secure networked devices from non secure networked devices by assigning each class of devices to a different logical network. These two logical networks, commonly called the host network and the guest network, use the same router hardware, which is designed to isolate the two networks in software. In this work we show that logical network isolation based on host and guest networks can be overcome by the use of cross router covert channels. Using specially crafted network traffic, these channels make it possible to leak data between the host network and the guest network, and vice versa, through the use of the router as a shared medium. We performed a survey of routers representing multiple vendors and price points, and discovered that all of the routers we surveyed are vulnerable to at least one class of covert channel. Our attack can succeed even if the attacker has very limited permissions on the infected device, and even an iframe hosting malicious JavaScript code can be used for this purpose. We provide several metrics for the effectiveness of such channels, based on their pervasiveness, rate and covertness, and discuss possible ways of identifying and preventing these leakages.