Metrics on doubles as an inverse semigroup II. We have shown recently that, given a metric space X , the coarse equivalence classes of metrics on the two copies of X form an inverse semigroup M(X) . Here we give several descriptions of the set E(M(X)) of idempotents of this inverse semigroup and its Stone dual space widehat X . We also construct sigma additive measures on widehat X from finitely additive probability measures on X that vanish on bounded subsets.


On self correspondences on curves. We study the algebraic dynamics of self correspondences on a curve. A self correspondence on a (proper and smooth) curve C over an algebraically closed field is the data of another curve D and two non constant separable morphisms pi 1 and pi 2 from D to C . A subset S of C is complete if pi 1 1 (S) pi 2 1 (S) . We show that self correspondences are divided into two classes those that have only finitely many finite complete sets, and those for which C is a union of finite complete sets. The latter ones are called finitary and have a trivial dynamics. For a non finitary self correspondence in characteristic zero, we give a sharp bound for the number of 'etale finite complete sets.


Deep Deterministic Portfolio Optimization. Can deep reinforcement learning algorithms be exploited as solvers for optimal trading strategies? The aim of this work is to test reinforcement learning algorithms on conceptually simple, but mathematically non trivial, trading environments. The environments are chosen such that an optimal or close to optimal trading strategy is known. We study the deep deterministic policy gradient algorithm and show that such a reinforcement learning agent can successfully recover the essential features of the optimal trading strategies and achieve close to optimal rewards.


Peeking Behind the Ordinal Curtain Improving Distortion via Cardinal Queries. Aggregating the preferences of individuals into a collective decision is the core subject of study of social choice theory. In 2006, Procaccia and Rosenschein considered a utilitarian social choice setting, where the agents have explicit numerical values for the alternatives, yet they only report their linear orderings over them. To compare different aggregation mechanisms, Procaccia and Rosenschein introduced the notion of distortion, which quantifies the inefficiency of using only ordinal information when trying to maximize the social welfare, i.e., the sum of the underlying values of the agents for the chosen outcome. Since then, this research area has flourished and bounds on the distortion have been obtained for a wide variety of fundamental scenarios. However, the vast majority of the existing literature is focused on the case where nothing is known beyond the ordinal preferences of the agents over the alternatives. In this paper, we take a more expressive approach, and consider mechanisms that are allowed to further ask a few cardinal queries in order to gain partial access to the underlying values that the agents have for the alternatives. With this extra power, we design new deterministic mechanisms that achieve significantly improved distortion bounds and, in many cases, outperform the best known randomized ordinal mechanisms. We paint an almost complete picture of the number of queries required by deterministic mechanisms to achieve specific distortion bounds.


COVID 19 Epidemic in Mumbai Projections, full economic opening, and containment zones versus contact tracing and testing An Update. Mumbai, amongst the most densely populated cities in the world, has witnessed the fourth largest number of cases and the largest number of deaths among all the cities in India (as of 28th October 2020). Along with the rest of India, lockdowns (of varying degrees) have been in effect in Mumbai since March 25, 2020. Given the large economic toll on the country from the lockdown and the related restrictions on mobility of people and goods, swift opening of the economy especially in a financial hub such as Mumbai becomes critical. In this report, we use the IISc TIFR agent based simulator to develop long term projections for Mumbai under realistic scenarios related to Mumbai's opening of the workplaces, or equivalently, the economy, and the associated public transportation through local trains and buses. These projections were developed taking into account a possible second wave if the economy and the local trains are fully opened either on November 1, 2020 or on January 1, 2021. The impact on infection spread in Mumbai if the schools and colleges open on January first week 2021 is also considered. We also try to account for the increased intermingling amongst the population during the Ganeshotsav festival as well as around the Navratri Dussehra and Diwali festival. Our conclusion, based on our simulations, is that the impact of fully opening up the economy on November 1 is manageable provided reasonable medical infrastructure is in place. Further, schools and colleges opening in January do not lead to excessive increase in infections. The report also explores the relative effectiveness of contact tracing vs containment zones, and also includes very rudimentary results of the effect of vaccinating the elderly population in February 2021.


Layer potentials for Lam 'e systems and homogenization of perforated elastic medium with clamped holes. We investigate Lam 'e systems in periodically perforated domains, and establish quantitative homogenization results in the setting where the domain is clamped at the boundary of the holes. Our method is based on layer potentials and it provides a unified proof for various regimes of hole cell ratios (the ratio between the size of the holes and the size of the periodic cells), and, more importantly, it yields natural correctors that facilitate error estimates. A key ingredient is the asymptotic analysis for the rescaled cell problems, and this is studied by exploring the convergence of the periodic layer potentials for the Lam 'e system to those in the whole space when the period tends to infinity.


CEST MR Fingerprinting practical considerations and insights for acquisition schedule design and improved reconstruction. Purpose To understand the influence of various acquisition parameters on the ability of CEST MR Fingerprinting (MRF) to discriminate different chemical exchange parameters and to provide tools for optimal acquisition schedule design and parameter map reconstruction. Methods Numerical simulations were conducted using a parallel computing implementation of the Bloch McConnell equations, examining the effect of TR, TE, flip angle, water T 1 and T 2 , saturation pulse duration, power, and frequency on the discrimination ability of CEST MRF. A modified Euclidean distance matching metric was evaluated and compared to traditional dot product matching. L Arginine phantoms of various concentrations and pH were scanned at 4.7T and the results compared to numerical findings. Results Simulations for dot product matching demonstrated that the optimal flip angle and saturation times are 30 circ and 1100 ms, respectively. The optimal maximal saturation power was 3.4 mu T for concentrated solutes with a slow exchange rate, and 5.2 mu T for dilute solutes with medium to fast exchange rates. Using the Euclidean distance matching metric, much lower maximum saturation powers were required (1.6 and 2.4 mu T, respectively), with a slightly longer saturation time (1500 ms) and 90 circ flip angle. For both matching metrics, the discrimination ability increased with the repetition time. The experimental results were in agreement with simulations, demonstrating that more than a 50 reduction in scan time can be achieved by Euclidean distance based matching. Conclusion Optimization of the CEST MRF acquisition schedule is critical for obtaining the best exchange parameter accuracy. The use of Euclidean distance based matching of signal trajectories simultaneously improved the discrimination ability and reduced the scan time and maximal saturation power required.


Exponential Integrators for Stochastic Schr "odinger Equation. We present a class of exponential integrators to compute solutions of the stochastic Schr "odinger equation arising from the modeling of open quantum systems. In order to be able to implement the methods within the same framework as the deterministic counterpart, we express the solution using the Kunita's representation. With appropriate truncations, the solution operator can be written as matrix exponentials, which can be efficiently implemented by the Krylov subspace projection. The accuracy is examined in terms of the strong convergence, by comparing trajectories, and the weak convergence, by comparing the density matrix operator. We show that the local accuracy can be further improved by introducing a third order commutator in the exponential. The effectiveness of the proposed methods is tested using the example from Di Ventra et al. Journal of Physics Condensed Matter, 2004 .


From Boundaries to Bumps when closed (extremal) contours are critical. Invariants underlying shape inference are elusive a variety of shapes can give rise to the same image, and a variety of images can be rendered from the same shape. The occluding contour is a rare exception it has both image salience, in terms of isophotes, and surface meaning, in terms of surface normal. We relax the notion of occluding contour to define closed extremal curves, a new shape invariant that exists at the topological level. They surround bumps, a common but ill specified interior shape component, and formalize the qualitative nature of bump perception. Extremal curves are biologically computable, unify shape inferences from shading, texture, and specular materials, and predict new phenomena in bump perception.


A practical way to regularize unfolding of sharply varying spectra with low data statistics. Unfolding is a well established tool in particle physics. However, a naive application of the standard regularization techniques to unfold the momentum spectrum of protons ejected in the process of negative muon nuclear capture led to a result exhibiting unphysical artifacts. A finite data sample limited the range in which unfolding can be performed, thus introducing a cutoff. A sharply falling "true" distribution led to low data statistics near the cutoff, which exacerbated the regularization bias and produced an unphysical spike in the resulting spectrum. An improved approach has been developed to address these issues and is illustrated using a toy model. The approach uses full Poisson likelihood of data, and produces a continuous, physically plausible, unfolded distribution. The new technique has a broad applicability since spectra with similar features, such as sharply falling spectra, are common.


Positive solutions for weighted singular p Laplace equations via Nehari manifolds. In this paper we study weighted singular p Laplace equations involving a bounded weight function which can be discontinuous. Due to its discontinuity classical regularity results cannot be applied. Based on Nehari manifolds we prove the existence of at least two positive bounded solutions of such problems.


Efficient RGB D Semantic Segmentation for Indoor Scene Analysis. Analyzing scenes thoroughly is crucial for mobile robots acting in different environments. Semantic segmentation can enhance various subsequent tasks, such as (semantically assisted) person perception, (semantic) free space detection, (semantic) mapping, and (semantic) navigation. In this paper, we propose an efficient and robust RGB D segmentation approach that can be optimized to a high degree using NVIDIA TensorRT and, thus, is well suited as a common initial processing step in a complex system for scene analysis on mobile robots. We show that RGB D segmentation is superior to processing RGB images solely and that it can still be performed in real time if the network architecture is carefully designed. We evaluate our proposed Efficient Scene Analysis Network (ESANet) on the common indoor datasets NYUv2 and SUNRGB D and show that we reach state of the art performance while enabling faster inference. Furthermore, our evaluation on the outdoor dataset Cityscapes shows that our approach is suitable for other areas of application as well. Finally, instead of presenting benchmark results only, we also show qualitative results in one of our indoor application scenarios.


On the Optimal Minimum Distance of Fractional Repetition Codes. Fractional repetition (FR) codes are a class of repair efficient erasure codes that can recover a failed storage node with both optimal repair bandwidth and complexity. In this paper, we study the minimum distance of FR codes, which is the smallest number of nodes whose failure leads to the unrecoverable loss of the stored file. We consider upper bounds on the minimum distance and present several families of explicit FR codes attaining these bounds. The optimal constructions are derived from regular graphs and combinatorial designs, respectively.


Vector logic allows counterfactual virtualization by The Square Root of NOT. In this work we investigate the representation of counterfactual conditionals using the vector logic, a matrix vectors formalism for logical functions and truth values. Inside this formalism, the counterfactuals can be transformed in complex matrices preprocessing an implication matrix with one of the square roots of NOT, a complex matrix. This mathematical approach puts in evidence the virtual character of the counterfactuals. This happens because this representation produces a valuation of a counterfactual that is the superposition of the two opposite truth values weighted, respectively, by two complex conjugated coefficients. This result shows that this procedure gives an uncertain evaluation projected on the complex domain. After this basic representation, the judgment of the plausibility of a given counterfactual allows us to shift the decision towards an acceptance or a refusal. This shift is the result of applying for a second time one of the two square roots of NOT.


Moduli spaces of Ricci positive metrics in dimension five. We use the eta invariants of spin c Dirac operators to distinguish connected components of moduli spaces of Riemannian metrics with positive Ricci curvature. We then find infinitely many non diffeomorphic five dimensional manifolds for which these moduli spaces each have infinitely many components. The manifolds are total spaces of principal S 1 bundles over a mathbb C P 2 b overline mathbb C P 2 and the metrics are lifted from Ricci positive metrics on the bases. Along the way we classify 5 manifolds with fundamental group mathbb Z 2 admitting free S 1 actions with simply connected quotients.


On the inversion of the block double structured and of the triple structured Toeplitz matrices and on the corresponding reflection coefficients. The results on the inversion of convolution operators as well as Toeplitz (and block Toeplitz) matrices in the 1 D (one dimensional) case are classical and have numerous applications. Last year, we considered the 2 D case of Toeplitz block Toeplitz (TBT) matrices, described a minimal information, which is necessary to recover the inverse matrices, and gave a complete characterisation of the inverse matrices. Now, we develop our approach for the more complicated cases of block TBT matrices and 3 D Toeplitz matrices.


Existence, non existence and blow up behavior of minimizers for the mass critical fractional nonlinear Schr "odinger equations with periodic potentials. We consider the minimizing problem for the energy functional with prescribed mass constraint related to the fractional nonlinear Schr "odinger equation with periodic potentials. Using the concentration compactness principle, we show a complete classification for the existence and non existence of minimizers for the problem. In the mass critical case, under a suitable assumption of the potential, we give a detailed description of blow up behavior of minimizers once the mass tends to a critical value.


Some q exponential formulas involving the double lowering operator psi for a tridiagonal pair. Let mathbb K denote an algebraically closed field and let V denote a vector space over mathbb K with finite positive dimension. Let A,A denote a tridiagonal pair on V . We assume that A,A belongs to a family of tridiagonal pairs said to have q Racah type. Let U i i 0 d and U i Downarrow i 0 d denote the first and second split decompositions of V . In an earlier paper we introduced a double lowering operator psi V to V with the notable feature that both psi U i subseteq U i 1 and psi U i Downarrow subseteq U i 1 Downarrow for 0 leq i leq d , where U 1 0 and U 1 Downarrow 0 . In the same paper, we showed that there exists a unique linear transformation Delta V to V such that Delta(U i) subseteq U i Downarrow and ( Delta I)U i subseteq U 0 U 1 cdots U i 1 for 0 leq i leq d . In the present paper, we show that Delta can be expressed as a product of two linear transformations one is a q exponential in psi and the other is a q 1 exponential in psi . We view Delta as a transition matrix from the first split decomposition of V to the second. Consequently, we view the q 1 exponential in psi as a transition matrix from the first split decomposition to a decomposition of V which we interpret as a kind of halfway point. This halfway point turns out to be the eigenspace decomposition of a certain linear transformation mathcal M . We discuss the eigenspace decomposition of mathcal M and give the actions of various operators on this decomposition.


Multilevel Monte Carlo combined with numerical smoothing for robust and efficient option pricing and density estimation. The multilevel Monte Carlo (MLMC) is a highly efficient approach to estimate expectations of a functional of a solution to a stochastic differential equation. However, MLMC estimators may be unstable and have a nonoptimal complexity in case of low regularity of the observable. To overcome this issue, we extend our idea of numerical smoothing, introduced in our previous work (ArXiv abs 2111.01874 (2021)) in the context of deterministic quadrature methods, to the MLMC setting. The numerical smoothing technique is based on root finding methods combined with one dimensional numerical integration with respect to a single well chosen variable. Motivated by option pricing and density estimation problems, our analysis and numerical experiments show that the employed numerical smoothing significantly improves the complexity and robustness (making the kurtosis at deep levels bounded) of the MLMC method. In particular, the smoothness theorem presented in our previous work (ArXiv abs 2111.01874 (2021)) enables us to recover the MLMC complexities obtained for Lipschitz functionals. Moreover, our approach efficiently estimates density functions, a task that previous methods based on Monte Carlo or MLMC fail to achieve at least in moderate to high dimensions. Finally, our approach is generic and can be applied to solve a broad class of problems, particularly for approximating distribution functions, financial Greeks computation, and risk estimation.


Gaze Net Appearance Based Gaze Estimation using Capsule Networks. Recent studies on appearance based gaze estimation indicate the ability of Neural Networks to decode gaze information from facial images encompassing pose information. In this paper, we propose Gaze Net A capsule network capable of decoding, representing, and estimating gaze information from ocular region images. We evaluate our proposed system using two publicly available datasets, MPIIGaze (200,000 images in the wild) and Columbia Gaze (5000 images of users with 21 gaze directions observed at 5 camera angles positions). Our model achieves a Mean Absolute Error (MAE) of 2.84 circ for Combined angle error estimate within dataset for MPI IGaze dataset. Further, model achieves a MAE of 10.04 circ for across dataset gaze estimation error for Columbia gaze dataset. Through transfer learning, the error is reduced to 5.9 circ . The results show this approach is promising with implications towards using commodity webcams to develop low cost multi user gaze tracking systems.


Ultrasound enhanced mass transfer during single bubble diffusive growth. Ultrasound is known to enhance surface bubble growth and removal in catalytic and microfluidic applications, yet the contributions of rectified diffusion and microstreaming phenomena towards mass transfer remain unclear. We quantify the effect of ultrasound on the diffusive growth of a single spherical CO 2 bubble growing on a substrate in supersaturated water. The time dependent bubble size, shape, oscillation amplitude and microstreaming flow field are resolved. We show and explain how ultrasound can enhance the diffusive growth of surface bubbles by up to two orders of magnitude during volumetric resonance. The proximity of the wall forces the bubble to oscillate non spherically, thereby generating vigorous streaming during resonance that results in convection dominated growth.


Inverse semi braces and the Yang Baxter equation. The main aim of this paper is to provide set theoretical solutions of the Yang Baxter equation that are not necessarily bijective, among these new idempotent ones. In the specific, we draw on both to the classical theory of inverse semigroups and to that of the most recently studied braces, to give a new research perspective to the open problem of finding solutions. Namely, we have recourse to a new structure, the inverse semi brace, that is a triple (S, , cdot) with (S, ) a semigroup and (S, cdot) an inverse semigroup satisfying the relation a left(b c right) a b a left(a 1 c right) , for all a,b,c in S , where a 1 is the inverse of a in (S, cdot) . In particular, we give several constructions of inverse semi braces which allow for obtaining solutions that are different from those until known.


Some finiteness results on triangular automorphisms. In this note we prove that every finite collection of connected algebraic subgroups of the group of triangular automorphisms of the affine space generates a connected solvable algebraic subgroup.


Multi Task Networks With Universe, Group, and Task Feature Learning. We present methods for multi task learning that take advantage of natural groupings of related tasks. Task groups may be defined along known properties of the tasks, such as task domain or language. Such task groups represent supervised information at the inter task level and can be encoded into the model. We investigate two variants of neural network architectures that accomplish this, learning different feature spaces at the levels of individual tasks, task groups, as well as the universe of all tasks (1) parallel architectures encode each input simultaneously into feature spaces at different levels (2) serial architectures encode each input successively into feature spaces at different levels in the task hierarchy. We demonstrate the methods on natural language understanding (NLU) tasks, where a grouping of tasks into different task domains leads to improved performance on ATIS, Snips, and a large inhouse dataset.


First passage times over stochastic boundaries for subdiffusive processes. Let mathbb X ( mathbb X t) t geq 0 be the subdiffusive process defined, for any t geq 0 , by mathbb X t X ell t where X (X t) t geq 0 is a L 'evy process and ell t inf s 0 mathcal K s t with mathcal K ( mathcal K t) t geq 0 a subordinator independent of X . We start by developing a composite Wiener Hopf factorization to characterize the law of the pair ( mathbb T a ( mathcal b ) , ( mathbb X mathcal b ) mathbb T a ( mathcal b ) ) where begin equation mathbb T a ( mathcal b ) inf t 0 mathbb X t a mathcal b t end equation with a in mathbb R and mathcal b ( mathcal b t) t geq 0 a (possibly degenerate) subordinator independent of X and mathcal K . We proceed by providing a detailed analysis of the cases where either mathcal K is a stable subordinator or X is spectrally negative. Our proofs hinge on a variety of techniques including excursion theory, change of measure, asymptotic analysis and on establishing a link between subdiffusive processes and a subclass of semi regenerative processes. In particular, we show that the variable mathbb T a ( mathcal b ) has the same law as the first passage time of a semi regenerative process of L 'evy type, a terminology that we introduce to mean that this process satisfies the Markov property of L 'evy processes for stopping times whose graph is included in the associated regeneration set.


ApproxFPGAs Embracing ASIC Based Approximate Arithmetic Components for FPGA Based Systems. There has been abundant research on the development of Approximate Circuits (ACs) for ASICs. However, previous studies have illustrated that ASIC based ACs offer asymmetrical gains in FPGA based accelerators. Therefore, an AC that might be pareto optimal for ASICs might not be pareto optimal for FPGAs. In this work, we present the ApproxFPGAs methodology that uses machine learning models to reduce the exploration time for analyzing the state of the art ASIC based ACs to determine the set of pareto optimal FPGA based ACs. We also perform a case study to illustrate the benefits obtained by deploying these pareto optimal FPGA based ACs in a state of the art automation framework to systematically generate pareto optimal approximate accelerators that can be deployed in FPGA based systems to achieve high performance or low power consumption.


Towards a Blockchain based digital identity verification, record attestation and record sharing system. The Covid 19 pandemic has made individuals and organizations to rethink the way of handling identity verification and credentials sharing particularly in quarantined situations. In this study, we investigate the inefficiencies of traditional identity systems, and discuss how a proper implementation of Blockchain technology would result in safer, more secure, privacy respecting and remote friendly identity systems. As a result, we propose a Blockchain based framework for digital identity verification, record attestation and record sharing, and we explain the framework in details with certain use cases. Our proposed framework promotes individuals to fully control their identity data and govern the level of the identity data sharing.


Spatial Spectral Manifold Embedding of Hyperspectral Data. In recent years, hyperspectral imaging, also known as imaging spectroscopy, has been paid an increasing interest in geoscience and remote sensing community. Hyperspectral imagery is characterized by very rich spectral information, which enables us to recognize the materials of interest lying on the surface of the Earth more easier. We have to admit, however, that high spectral dimension inevitably brings some drawbacks, such as expensive data storage and transmission, information redundancy, etc. Therefore, to reduce the spectral dimensionality effectively and learn more discriminative spectral low dimensional embedding, in this paper we propose a novel hyperspectral embedding approach by simultaneously considering spatial and spectral information, called spatial spectral manifold embedding (SSME). Beyond the pixel wise spectral embedding approaches, SSME models the spatial and spectral information jointly in a patch based fashion. SSME not only learns the spectral embedding by using the adjacency matrix obtained by similarity measurement between spectral signatures, but also models the spatial neighbours of a target pixel in hyperspectral scene by sharing the same weights (or edges) in the process of learning embedding. Classification is explored as a potential strategy to quantitatively evaluate the performance of learned embedding representations. Classification is explored as a potential application for quantitatively evaluating the performance of these hyperspectral embedding algorithms. Extensive experiments conducted on the widely used hyperspectral datasets demonstrate the superiority and effectiveness of the proposed SSME as compared to several state of the art embedding methods.


Efficient Data Management with a Flexible Address Space. Data management applications store their data using structured files in which data are usually sorted to serve indexing and queries. However, in place insertions and removals of data are not naturally supported in a file's address space. To avoid repeatedly rewriting existing data in a sorted file to admit changes in place, applications usually employ extra layers of indirections, such as mapping tables and logs, to admit changes out of place. However, this approach leads to increased access cost and excessive complexity. This paper presents a novel storage engine that provides a flexible address space, where in place updates of arbitrary sized data, such as insertions and removals, can be performed efficiently. With this mechanism, applications can manage sorted data in a linear address space with minimal complexity. Extensive evaluations show that a key value store built on top of it can achieve high performance and efficiency with a simple implementation.


On Error Estimation for Reduced order Modeling of Linear Non parametric and Parametric Systems. Motivated by a recently proposed error estimator for the transfer function of the reduced order model of a given linear dynamical system, we further develop more theoretical results in this work. Furthermore, we propose several variants of the error estimator, and compare those variants with the existing ones both theoretically and numerically. It has been shown that some of the proposed error estimators perform better than or equally well as the existing ones. All the error estimators considered can be easily extended to estimate output error of reduced order modeling for steady linear parametric systems.


Stochastic Galerkin Methods for the Boltzmann Poisson system. We study uncertainty quantification for a Boltzmann Poisson system that models electron transport in semiconductors and the physical collision mechanisms over the charges. We use the stochastic Galerkin method in order to handle the randomness associated with the problem. The main uncertainty in the Boltzmann equation concerns the initial conditions for a large number of particles, which is why the problem is formulated in terms of a probability density in phase space. The second source of uncertainty, directly related to the quantum nature of the problem, is the collision operator, as its structure in this semiclassical model comes from the quantum scattering matrices operating on the wave function associated to the electron probability density. Additional sources of uncertainty are transport, boundary data, etc. In this study we choose first the phonon energy as a random variable, since its value influences the energy jump appearing in the collision integral for electron phonon scattering. Then we choose the lattice temperature as a random variable, since it defines the value of the collision operator terms in the case of electron phonon scattering by being a parameter of the phonon distribution. The random variable for this case is a scalar then. Finally, we present our numerical simulations.


Expressivity of expand and sparsify representations. A simple sparse coding mechanism appears in the sensory systems of several organisms to a coarse approximation, an input x in R d is mapped to much higher dimension m gg d by a random linear transformation, and is then sparsified by a winner take all process in which only the positions of the top k values are retained, yielding a k sparse vector z in 0,1 m . We study the benefits of this representation for subsequent learning. We first show a universal approximation property, that arbitrary continuous functions of x are well approximated by linear functions of z , provided m is large enough. This can be interpreted as saying that z unpacks the information in x and makes it more readily accessible. The linear functions can be specified explicitly and are easy to learn, and we give bounds on how large m needs to be as a function of the input dimension d and the smoothness of the target function. Next, we consider whether the representation is adaptive to manifold structure in the input space. This is highly dependent on the specific method of sparsification we show that adaptivity is not obtained under the winner take all mechanism, but does hold under a slight variant. Finally we consider mappings to the representation space that are random but are attuned to the data distribution, and we give favorable approximation bounds in this setting.


On the use of group theory to generalize elements of pairwise comparisons matrix a cautionary note. This paper examines the constricted use of group theory in the studies of pairwise comparisons. The presented approach is based on the application of the famous Levi Theorems of 1942 and 1943 for orderable groups. The theoretical foundation for multiplicative (ratio) pairwise comparisons has been provided. Counterexamples have been provided to support the theory. In our opinion, the scientific community must be made aware of the limitations of using the group theory in pairwise comparisons. Groups, which are not torsion free, cannot be used for ratios by Levi's theorems.


An induction property for prime counting functions. We provide an elementary proof of an asymptotic formula for prime counting functions. As a minor application we give a new reduction of the proof of Chebotar "ev's density theorem to the cyclic case.


On Measuring Social Biases in Sentence Encoders. The Word Embedding Association Test shows that GloVe and word2vec word embeddings exhibit human like implicit biases based on gender, race, and other social constructs (Caliskan et al., 2017). Meanwhile, research on learning reusable text representations has begun to explore sentence level texts, with some sentence encoders seeing enthusiastic adoption. Accordingly, we extend the Word Embedding Association Test to measure bias in sentence encoders. We then test several sentence encoders, including state of the art methods such as ELMo and BERT, for the social biases studied in prior work and two important biases that are difficult or impossible to test at the word level. We observe mixed results including suspicious patterns of sensitivity that suggest the test's assumptions may not hold in general. We conclude by proposing directions for future work on measuring bias in sentence encoders.


Interval Type Local Limit Theorems for Lattice Type Random Variables and Distributions. In this paper, we propose a new interpretation of local limit theorems for univariate and multivariate distributions on lattices. We show that given a local limit theorem in the standard sense the distributions are approximated well by the limit distribution, uniformly on intervals of possibly decaying length. We identify the maximally allowable decay speed of the interval lengths. Further, we show that for continuous distributions, the interval type local law holds without any decay speed restrictions on the interval lengths. We show that various examples fit within this framework, such as standardized sums of i.i.d. random vectors or correlated random vectors induced by multidimensional spin models from statistical mechanics.


Dynamical incoherence for a large class of partially hyperbolic diffeomorphisms. We show that if a partially hyperbolic diffeomorphism of a Seifert manifold induces a map in the base which has a pseudo Anosov component then it cannot be dynamically coherent. This extends work of Bonatti, Gogolev, Hammerlindl and Potrie to the whole isotopy class. We relate the techniques with the study of certain partially hyperbolic diffeomorphisms in hyperbolic 3 manifolds performed in the previous paper by the authors. The appendix reviews some consequences of the Nielsen Thurston classification of surface homeomorphisms to the dynamics of lifts of such maps to the universal cover.


Hot wires and film boiling Another look at carbonyl formation in electronic cigarettes. Electronic cigarettes (ECIGS) are a class of tobacco products that emit a nicotine containing aerosol by heating and vaporizing a liquid. Apart from initiating nicotine addiction in nonsmokers, a persistent concern about these products is that their emissions often include high levels of carbonyl species, toxicants thought to cause most non cancer pulmonary disease in smokers. Carbonyls are known thermal degradation products of the primary ECIG liquid constituents propylene glycol (PG) and vegetable glycerin (VG). To date, there is no method available to predict the operating conditions for which an ECIG of a given design will emit large quantities of carbonyls. This study examined whether the phenomenon of film boiling can account for observations of high carbonyl emissions under certain operating conditions, and if so, whether film boiling theory can be invoked to predict conditions where such emissions are likely. We measured the critical heat flux for several common heating materials and liquids, and carbonyl emissions for several ECIG types while varying power. We found that emissions rise drastically whenever power exceeds the value corresponding to the critical heat flux. While limiting the heat flux to below this threshold can greatly reduce carbonyl exposure, ECIG manufacturer operating instructions often exceed it. Product regulations that limit heat flux may reduce the public health burden of electronic cigarette use.


Remarks on the systoles of symmetric convex hypersurfaces and symplectic capacities. In this note we study the systoles of convex hypersurfaces in mathbb R 2n invariant under an anti symplectic involution. We investigate a uniform upper bound of the ratio between the systole and the symmetric systole of the hypersurfaces using symplectic capacities from Floer theory. We discuss various concrete examples in which the ratio can be understood explicitly.


Some exceptional sets of Borel Bernstein Theorem in continued fractions. Let a 1(x),a 2(x), a 3(x), cdots denote the continued fraction expansion of a real number x in 0,1) . This paper is concerned with certain exceptional sets of the Borel Bernstein Theorem on the growth rate of a n(x) n geq1 . As a main result, the Hausdorff dimension of the set E sup ( psi) left x in 0,1) limsup limits n to infty frac log a n(x) psi(n) 1 right is determined, where psi mathbb N rightarrow mathbb R tends to infinity as n to infty .


Frontal Screens on Head Mounted Displays to Increase Awareness of the HMD Users' State in Mixed Presence Collaboration. In the everyday context, e.g., a household, HMD users remain a part of the social life for Non HMD users being co located with them. Due to the social context situations arise that demand interaction between the HMD and the Non HMD user. We focus on the challenge that the Non HMD user is not able to interpret the HMD user's state e.g., attentiveness the need for assistance , as the HMD covers the wearer's face. We propose a front facing display attached to the HMD that supports collaboration by showing the state. We explore the impact of abstract and realistic visualizations for such displays on collaborative performance and social presence in a within subject user study (N 25). We present to the Non HMD user (1) a blank screen (baseline), (2) textual representation of the user's state and (3) a representation that looks like the HMD is see through. The results show positive effects for textual representation on collaborative performance and a positive effect of realistic representation on social presence. We conclude that when developing HMDs we need to take into account the social needs of everyday life to reduce the risk of social separation in a household context.


Grothendieck polynomials and the Boson Fermion correspondence. In this paper we study algebraic and combinatorial properties of Grothendieck polynomials and their dual polynomials by means of the Boson Fermion correspondence. We show that these symmetric functions can be expressed as a vacuum expectation value of some operator that is written in terms of free fermions. By using the free fermionic expressions, we obtain alternative proofs of determinantal formulas and Pieri type formulas.


Requirements and sensitivity analysis of RANS free wall modeled LES. We study the sensitivity of wall model input variables to the modeling choices of the outer LES. This work is motivated by sensitivities observed in dynamic slip wall models. These dynamic wall models use variables from the near wall LES solution as inputs to predict the wall stress without relying on a priori coefficients or equilibrium assumption. Mitigating the sensitivities in the wall model inputs allows development of robust dynamic wall models. The effects of SGS model, boundary condition type, numerics, and mesh topology are assessed through a series of WMLES calculations of turbulent channels. Probability density functions are computed from planes of the WMLES solutions at a wall normal sampling height and are used as a metric for sensitivity. Sensitivity to SGS model is alleviated when the fraction of total wall stress carried by the SGS model is held constant. Use of hexagonal close packed grids mitigated numerical sensitivities.


A Control Method to Compensate Ground Level Changes for Running Bipedal Robots. Bipedal running is a difficult task to realize in robots, since the trunk is underactuated and control is limited by intermittent ground contacts. Stabilizing the trunk becomes even more challenging if the terrain is uneven and causes perturbations. One bio inspired method to achieve postural stability is the virtual point (VP) control, which is able to generate natural motion. However, so far it has only been studied for level running. In this work, we investigate whether the VP control method can accommodate single step downs and downhill terrains. We provide guidelines on the model and controller parameterizations for handling varying terrain conditions. Next, we show that the VP method is able to stabilize single step down perturbations up to 40 cm, and downhill grades up to 20 10 deg corresponding to running speeds of 2 5m s. Our results suggest that VP control is a promising candidate for terrain adaptive running control of bipedal robots.


Simulation Based Formal Verification of Cyber Physical Systems. Cyber Physical Systems (CPSs) have become an intrinsic part of the 21st century world. Systems like Smart Grids, Transportation, and Healthcare help us run our lives and businesses smoothly, successfully and safely. Since malfunctions in these CPSs can have serious, expensive, sometimes fatal consequences, System Level Formal Verification (SLFV) tools are vital to minimise the likelihood of errors occurring during the development process and beyond. Their applicability is supported by the increasingly widespread use of Model Based Design (MBD) tools. MBD enables the simulation of CPS models in order to check for their correct behaviour from the very initial design phase. The disadvantage is that SLFV for complex CPSs is an extremely time consuming process, which typically requires several months of simulation. Current SLFV tools are aimed at accelerating the verification process with multiple simulators that work simultaneously. To this end, they compute all the scenarios in advance in such a way as to split and simulate them in parallel. Furthermore, they compute optimised simulation campaigns in order to simulate common prefixes of these scenarios only once, thus avoiding redundant simulation. Nevertheless, there are still limitations that prevent a more widespread adoption of SLFV tools. Firstly, current tools cannot optimise simulation campaigns from existing datasets with collected scenarios. Secondly, there are currently no methods to predict the time required to complete the SLFV process. This lack of ability to predict the length of the process makes scheduling verification activities highly problematic. In this thesis, we present how we are able to overcome these limitations with the use of a data intensive simulation campaign optimiser and an accurate machine independent execution time estimator.


Deformation of drops by outer eddies in turbulence. Drop deformation in fluid flows is investigated here as an exchange between the kinetic energy of the fluid and the surface energy of the drop. We show analytically that this energetic exchange is controlled only by the stretching (or compression) of the drop surface by the rate of strain tensor. This mechanism is analogous to the stretching of the vorticity field in turbulence. Leveraging the non local nature of turbulence dynamics, we introduce a new decomposition that isolates the energetic exchange due to local drop induced surface effects, from the non local action of turbulent fluctuations. We perform direct numerical simulations of single inertial drops in isotropic turbulence and show that an important contribution to the increments of the surface energy arises from the non local stretching of the fluid fluid interface by eddies far from the drop surface (outer eddies). We report that this mechanism is dominant and independent of surface dynamics in a range of Weber numbers in which drop breakup occurs. These findings shed new light on drop deformation and breakup in turbulent flows, and open the venue for the improvement and simplification of breakup models.


Predicate Transformer Semantics for Hybrid Systems Verification Components for Isabelle HOL. We present a semantic framework for the deductive verification of hybrid systems with Isabelle HOL. It supports reasoning about the temporal evolutions of hybrid programs in the style of differential dynamic logic modelled by flows or invariant sets for vector fields. We introduce the semantic foundations of this framework and summarise their Isabelle formalisation as well as the resulting verification components. A series of simple examples shows our approach at work.


A characterization of local nilpotence for dimension two polynomial derivations. Let K be an algebraically closed field. We prove that a polynomial K derivation D in two variables is locally nilpotent if and only if the subgroup of polynomial K automorphisms which commute with D admits elements whose degree is arbitrary big.


New Directions in Harmonic Analysis on L 1 . The study of what we now call Sobolev inequalities has been studied for almost a century in various forms, while it has been eighty years since Sobolev's seminal mathematical contributions. Yet there are still things we don't understand about the action of integral operators on functions. This is no more apparent than in the L 1 setting, where only recently have optimal inequalities been obtained on the Lebesgue and Lorentz scale for scalar functions, while the full resolution of similar estimates for vector valued functions is incomplete. The purpose of this paper is to discuss how some often overlooked estimates for the classical Poisson equation give an entry into these questions, to the present state of the art of what is known, and to survey some open problems on the frontier of research in the area.


Learning Event Based Motion Deblurring. Recovering sharp video sequence from a motion blurred image is highly ill posed due to the significant loss of motion information in the blurring process. For event based cameras, however, fast motion can be captured as events at high time rate, raising new opportunities to exploring effective solutions. In this paper, we start from a sequential formulation of event based motion deblurring, then show how its optimization can be unfolded with a novel end to end deep architecture. The proposed architecture is a convolutional recurrent neural network that integrates visual and temporal knowledge of both global and local scales in principled manner. To further improve the reconstruction, we propose a differentiable directional event filtering module to effectively extract rich boundary prior from the stream of events. We conduct extensive experiments on the synthetic GoPro dataset and a large newly introduced dataset captured by a DAVIS240C camera. The proposed approach achieves state of the art reconstruction quality, and generalizes better to handling real world motion blur.


Differential Harnack inequalities via Concavity of the arrival time. We present a simple connection between differential Harnack inequalities for hypersurface flows and natural concavity properties of their time of arrival functions. We prove these concavity properties directly for a large class of flows by applying a concavity maximum principle argument to the corresponding level set flow equations. In particular, this yields a short proof of Hamilton's differential Harnack inequality for mean curvature flow and, more generally, Andrews' differential Harnack inequalities for certain " alpha inverse concave" flows.


ResNets, NeuralODEs and CT RNNs are Particular Neural Regulatory Networks. This paper shows that ResNets, NeuralODEs, and CT RNNs, are particular neural regulatory networks (NRNs), a biophysical model for the nonspiking neurons encountered in small species, such as the C.elegans nematode, and in the retina of large species. Compared to ResNets, NeuralODEs and CT RNNs, NRNs have an additional multiplicative term in their synaptic computation, allowing them to adapt to each particular input. This additional flexibility makes NRNs M times more succinct than NeuralODEs and CT RNNs, where M is proportional to the size of the training set. Moreover, as NeuralODEs and CT RNNs are N times more succinct than ResNets, where N is the number of integration steps required to compute the output F(x) for a given input x , NRNs are in total M , cdot ,N more succinct than ResNets. For a given approximation task, this considerable succinctness allows to learn a very small and therefore understandable NRN, whose behavior can be explained in terms of well established architectural motifs, that NRNs share with gene regulatory networks, such as, activation, inhibition, sequentialization, mutual exclusion, and synchronization. To the best of our knowledge, this paper unifies for the first time the mainstream work on deep neural networks with the one in biology and neuroscience in a quantitative fashion.


Extrapolated Elliptic Regularity and Application to the van Roosbroeck system of Semiconductors. In this paper we present a general extrapolated elliptic regularity result for second order differential operators in divergence form on fractional Sobolev type spaces of negative order X s 1,q D( Omega) for s 0 small, including mixed boundary conditions and with a fully nonsmooth geometry of Omega and the Dirichlet boundary part D . We expect the result to find applications in the analysis of nonlinear parabolic equations, in particular for quasilinear problems or when treating coupled systems of equations. To demonstrate the usefulness of our result, we give a new proof of local in time existence and uniqueness for the van Roosbroeck system for semiconductor devices which is much simpler than already established proofs.


Founding The Domain of AI Forensics. With the widespread integration of AI in everyday and critical technologies, it seems inevitable to witness increasing instances of failure in AI systems. In such cases, there arises a need for technical investigations that produce legally acceptable and scientifically indisputable findings and conclusions on the causes of such failures. Inspired by the domain of cyber forensics, this paper introduces the need for the establishment of AI Forensics as a new discipline under AI safety. Furthermore, we propose a taxonomy of the subfields under this discipline, and present a discussion on the foundational challenges that lay ahead of this new research area.


A p DG deformed Webster algebra of type A 1 . We define a p DG structure on a deformation of Webster algebra of type A 1 and its splitter bimodules.


Adversarial Generative Grammars for Human Activity Prediction. In this paper we propose an adversarial generative grammar model for future prediction. The objective is to learn a model that explicitly captures temporal dependencies, providing a capability to forecast multiple, distinct future activities. Our adversarial grammar is designed so that it can learn stochastic production rules from the data distribution, jointly with its latent non terminal representations. Being able to select multiple production rules during inference leads to different predicted outcomes, thus efficiently modeling many plausible futures. The adversarial generative grammar is evaluated on the Charades, MultiTHUMOS, Human3.6M, and 50 Salads datasets and on two activity prediction tasks future 3D human pose prediction and future activity prediction. The proposed adversarial grammar outperforms the state of the art approaches, being able to predict much more accurately and further in the future, than prior work.


Perturbed Amplitude Flow for Phase Retrieval. In this paper, we propose a new non convex algorithm for solving the phase retrieval problem, i.e., the reconstruction of a signal vx in H n ( H R or C ) from phaseless samples b j abs langle va j, vx rangle , j 1, ldots,m . The proposed algorithm solves a new proposed model, perturbed amplitude based model, for phase retrieval and is correspondingly named as em Perturbed Amplitude Flow (PAF). We prove that PAF can recover c vx ( abs c 1 ) under mathcal O (n) Gaussian random measurements (optimal order of measurements). Starting with a designed initial point, our PAF algorithm iteratively converges to the true solution at a linear rate for both real and complex signals. Besides, PAF algorithm needn't any truncation or re weighted procedure, so it enjoys simplicity for implementation. The effectiveness and benefit of the proposed method are validated by both the simulation studies and the experiment of recovering natural images.


Contextual Equivalence for Signal Flow Graphs. We extend the signal flow calculus a compositional account of the classical signal flow graph model of computation to encompass affine behaviour, and furnish it with a novel operational semantics. The increased expressive power allows us to define a canonical notion of contextual equivalence, which we show to coincide with denotational equality. Finally, we characterise the realisable fragment of the calculus those terms that express the computations of (affine) signal flow graphs.


CNN based driving of block partitioning for intra slices encoding. This paper provides a technical overview of a deep learning based encoder method aiming at optimizing next generation hybrid video encoders for driving the block partitioning in intra slices. An encoding approach based on Convolutional Neural Networks is explored to partly substitute classical heuristics based encoder speed ups by a systematic and automatic process. The solution allows controlling the trade off between complexity and coding gains, in intra slices, with one single parameter. This algorithm was proposed at the Call for Proposals of the Joint Video Exploration Team (JVET) on video compression with capability beyond HEVC. In All Intra configuration, for a given allowed topology of splits, a speed up of times 2 is obtained without BD rate loss, or a speed up above times 4 with a loss below 1 in BD rate.


Representing smooth 4 manifolds as loops in the pants complex. We show that every smooth, orientable, closed, connected 4 manifold can be represented by a loop in the pants complex. We use this representation, together with the fact that the pants complex is simply connected, to provide an elementary proof that such 4 manifolds are smoothly cobordant to coprod m mathbb C P 2 coprod n bar mathbb C P 2 . We also use this association to give information about the structure of the pants complex. Namely, given a loop in the pants complex, L , which bounds a disk, D , we show that the signature of the 4 manifold associated to L gives a lower bound on the number of triangles in D .


A Note on Pure Braids and Link Concordance. The knot concordance group can be contextualized as organizing problems about 3 and 4 dimensional spaces and the relationships between them. Every 3 manifold is surgery on some link, not necessarily a knot, and thus it is natural to ask about such a group for links. In 1988, Le Dimet constructed the string link concordance groups and in 1998, Habegger and Lin precisely characterized these groups as quotients of the link concordance sets using a group action. Notably, the knot concordance group is abelian while, for each n , the string link concordance group on n strands is non abelian as it contains the pure braid group on n strands as a subgroup. In this work, we prove that even the quotient of each string link concordance group by its pure braid subgroup is non abelian.


Gaze estimation problem tackled through synthetic images. In this paper, we evaluate a synthetic framework to be used in the field of gaze estimation employing deep learning techniques. The lack of sufficient annotated data could be overcome by the utilization of a synthetic evaluation framework as far as it resembles the behavior of a real scenario. In this work, we use U2Eyes synthetic environment employing I2Head datataset as real benchmark for comparison based on alternative training and testing strategies. The results obtained show comparable average behavior between both frameworks although significantly more robust and stable performance is retrieved by the synthetic images. Additionally, the potential of synthetically pretrained models in order to be applied in user's specific calibration strategies is shown with outstanding performances.


Strong bulk photovoltaic effect and second harmonic generation in two dimensional selenium and tellurium. Few layer selenium and tellurium films have been recently prepared, and they provide a new platform to explore novel properties of two dimensional (2D) elemental materials. In this work, we have performed a systematic first principles study on the electronic, linear, and nonlinear optical (NLO) properties of atomically thin selenium and tellurium films within the density functional theory with the generalized gradient approximation plus scissors correction using the band gaps from the relativistic hybrid Heyd Scuseria Ernzerhof functional calculations. Interestingly, we find that few layer Se and Te possess large second harmonic generation (SHG), linear electro optic effect, and bulk photovoltaic effect. In particular, trilayer (TL) Te possesses large SHG coefficient, being more than 65 times larger than that of GaN, a widely used NLO material. Bilayer (BL) Te has huge static SHG coefficient, being more than 100 times larger than that of GaN. Furthermore, monolayer (ML) Se possesses large SHG coefficient. Moreover, we predict that TL Te exhibits strong bulk photovoltaic effect (BPVE), being greater than that of GeS, a polar system with the largest BPVE found so far. Although the shift current conductivities of bulk and 2D Se are comparable, the shift current conductivities of TL Te are five times larger than those of bulk Te. Finally, an analysis of the calculated electronic band structures indicates that the strong NLO responses of 2D Se and Te materials are primarily derived from their low dimensional structures with high anisotropy, directional covalent bonding, lone pair electrons, and relatively small band gaps. These findings provide a practical strategy to search for excellent NLO and BPVE materials.


Nilpotent elements in the cohomology of the classifying space of a connected Lie group. We give an example of a compact connected Lie group of the lowest rank such that the mod 2 cohomology ring of its classifying space has a nonzero nilpotent element.


Construction of s extremal optimal unimodular lattices in dimension 52. An s extremal optimal unimodular lattice in dimension 52 is constructed for the first time. This lattice is constructed from a certain self dual mathbb F 5 code by Construction A. In addition, as neighbors of the lattice, two more s extremal optimal unimodular lattices are constructed.


A differential algebra and the homotopy type of the complement of a toric arrangement. We show that the rational homotopy type of the complement of a toric arrangement is completely determined by two sets of combinatorial data. This is obtained by introducing a differential graded algebra over Q whose minimal model is equivalent to the Sullivan minimal model of the arrangement.


Non Power Positional Number Representation Systems, Bijective Numeration, and the Mesoamerican Discovery of Zero. Pre Columbian Mesoamerica was a fertile crescent for the development of number systems. A form of vigesimal system seems to have been present from the first Olmec civilization onwards, to which succeeding peoples made contributions. We discuss the Maya use of the representational redundancy present in their Long Count calendar, a non power positional number representation system with multipliers 1, 20, 18 times 20, ldots , 18 times 20 n . We demonstrate that the Mesoamericans did not need to invent positional notation and discover zero at the same time because they were not afraid of using a number system in which the same number can be written in different ways. A Long Count number system with digits from 0 to 20 is seen later to pass to one using digits 0 to 19, which leads us to propose that even earlier there may have been an initial zeroless bijective numeration system whose digits ran from 1 to 20. Mesoamerica was able to make this conceptual leap to the concept of a cardinal zero to perform arithmetic owing to a familiarity with multiple and redundant number representation systems.


Puzzle Model for Bumpless Pipe Dream. In this note, a new puzzle is introduced where the pipe dream and bumpless pipe dream can be played simultaneously. Using these, a combinatorial proof of the (ordinary) Schubert polynomials in terms of bumpless pipe dream is given. The main tool is the Yang Baxter equation.


Uniform effective estimates for vert L(1, chi) vert . Let L(s, chi) be the Dirichlet L function associated to a non principal primitive Dirichlet character chi defined modulo q , where q ge 3 . We prove, under the assumption of the Generalised Riemann Hypothesis, the validity of estimates given by Lamzouri, Li, and Soundararajan on vert L(1, chi) vert . As a corollary, we have that similar estimates hold for the class number of the imaginary quadratic field mathbb Q ( sqrt q ) , q ge 5 .


Guarding Quadrangulations and Stacked Triangulations with Edges. Let G (V,E) be a plane graph. A face f of G is guarded by an edge vw in E if at least one vertex from v,w is on the boundary of f . For a planar graph class mathcal G we ask for the minimal number of edges needed to guard all faces of any n vertex graph in mathcal G . We prove that lfloor n 3 rfloor edges are always sufficient for quadrangulations and give a construction where lfloor (n 2) 4 rfloor edges are necessary. For 2 degenerate quadrangulations we improve this to a tight upper bound of lfloor n 4 rfloor edges. We further prove that lfloor 2n 7 rfloor edges are always sufficient for stacked triangulations (that are the 3 degenerate triangulations) and show that this is best possible up to a small additive constant.


MMFT BERT Multimodal Fusion Transformer with BERT Encodings for Visual Question Answering. We present MMFT BERT(MultiModal Fusion Transformer with BERT encodings), to solve Visual Question Answering (VQA) ensuring individual and combined processing of multiple input modalities. Our approach benefits from processing multimodal data (video and text) adopting the BERT encodings individually and using a novel transformer based fusion method to fuse them together. Our method decomposes the different sources of modalities, into different BERT instances with similar architectures, but variable weights. This achieves SOTA results on the TVQA dataset. Additionally, we provide TVQA Visual, an isolated diagnostic subset of TVQA, which strictly requires the knowledge of visual (V) modality based on a human annotator's judgment. This set of questions helps us to study the model's behavior and the challenges TVQA poses to prevent the achievement of super human performance. Extensive experiments show the effectiveness and superiority of our method.


Performance Evaluation of Orchestra Scheduling in Time Slotted Channel Hopping Networks. In this paper, we evaluate the performance of networks that use RPL (Routing Protocols for Low Power and Lossy Networks) with TSCH (Time Slotted Channel Hopping) and Orchestra (an autonomous method for building the TSCH schedule). We measure the performance in the transient state when a node dies (i.e., removed from the network) and determine how long it takes for the network to come back to a stable RPL tree and also what the impact is with respect to energy consumption. Our analysis shows that the Orchestra reduces the energy consumption when the RPL is in a transient state, like in the case of when one of the nodes die. Furthermore, we calculate the energy consumption in the transient state without using Orchestra, and then we make a comparison between both outcomes. We show that Orchestra reduces energy consumption by up to one third compared to not using Orchestra.


Aerial Imagery Pixel level Segmentation. Aerial imagery can be used for important work on a global scale. Nevertheless, the analysis of this data using neural network architectures lags behind the current state of the art on popular datasets such as PASCAL VOC, CityScapes and Camvid. In this paper we bridge the performance gap between these popular datasets and aerial imagery data. Little work is done on aerial imagery with state of the art neural network architectures in a multi class setting. Our experiments concerning data augmentation, normalisation, image size and loss functions give insight into a high performance setup for aerial imagery segmentation datasets. Our work, using the state of the art DeepLabv3 Xception65 architecture, achieves a mean IOU of 70 on the DroneDeploy validation set. With this result, we clearly outperform the current publicly available state of the art validation set mIOU (65 ) performance with 5 . Furthermore, to our knowledge, there is no mIOU benchmark for the test set. Hence, we also propose a new benchmark on the DroneDeploy test set using the best performing DeepLabv3 Xception65 architecture, with a mIOU score of 52.5 .


A Comparative Study of Different Approaches for Tracking Communities in Evolving Social Networks. In real world social networks, there is an increasing interest in tracking the evolution of groups of users and detecting the various changes they are liable to undergo. Several approaches have been proposed for this. In studying these approaches, we observed that most of them use a two stage process. In the first stage, they run an algorithm to identify groups of users at each timestamp. In the second stage, a pair wise comparison based on a similarity measure is employed to track groups of users and detect changes they may undergo. While the majority of existing approaches use a two stage process, they all run different algorithms to identify communities and rely on different similarity measures to track groups of users over time. Noting that the different approaches may perform differently depending on the dynamic social network under investigation, we decided to make a high level survey of some existing tracking approaches and then do a comparative analysis of some of them. In our analysis, we compared the algorithms in two main situations (1) when groups of users do not overlap and (2) when the groups are overlapping. The study was done on three different testbeds extracted from the DBLP, Autonomous System (AS) and Yelp datasets.


Metamodel Quality Requirements and Evaluation (MQuaRE). Models are the primary artifacts of model driven software engineering (MDSD) 1 , and a terminal model is a representation that conforms to a given software metamodel 2, 3 . As the quality of a software metamodel directly impacts the quality of terminal models, software metamodel quality is an essential aspect of MDSD. However, the literature reports a few proposals for metamodel quality evaluation, but most lack a general solution for the quality issue. Some efforts focus on quality measures 4 , a quality evaluation model 5 , or a quality evaluation model with structural measures borrowed from OO design 6, 7, 8 . Thus, we support there is a need for a more thorough solution for metamodel quality evaluation, with potential benefits to MDSD in general. This document describes a metamodel quality evaluation framework called MQuaRE (Metamodel Quality Requirements and Evaluation). MQuaRE is an integrated framework composed of metamodel quality requirements, a metamodel quality model, metamodel quality measures, and an evaluation process, with a great contribution of the ISO IEC 25000 series 9 for software product quality evaluation.


Coherence properties of the high energy fourth generation X ray synchrotron sources. We performed an analysis of coherence properties of the 4 th generation high energy storage rings with emittance values of 10 pmrad. It is presently expected that a storage ring with these low emittance values will reach diffraction limit at hard X rays. Simulations of coherence properties were performed with the XRT software and analytical approach for different photon energies from 500 eV to 50 keV. It was demonstrated that a minimum photon emittance (diffraction limit) reached at such storage rings is lambda 2 pi . Using mode decomposition we showed that at the parameters of the storage ring considered in this work, diffraction limit will be reached for soft X ray energies of 500 eV. About ten modes will contribute to the radiation field at 12 keV photon energy and even more modes give a contribution at higher photon energies. Energy spread effects of the electron beam in a low emittance storage ring were analysed in detail. Simulations were performed at different relative energy spread values from zero to 0.2 . We observed a decrease of the degree of coherence with an increase of the relative energy spread value. Our analysis shows that to reach diffraction limit for high photon energies electron beam emittance should go down to 1 pmrad and below.


Nonreciprocal Phase Gradient Metasurface Principle and Transistor Implementation. We introduce the concept of nonreciprocal nongyrotropic phase gradient metasurfaces. Such metasurfaces are based on bianisotropic phase shifting unit cells, with the required nonreciprocal and nongyrotropic characteristics. Moreover, we present a transistor based implementation of a nonreciprocal phase shifting subwavelength unit cell. Finally, we demonstrate the concept with a simulation of a 6 port spatial circulator application.


Chaos stabilizes synchronization in systems of coupled inner ear hair cells. Hair cells of the auditory and vestibular systems display astonishing sensitivity, frequency selectivity, and temporal resolution to external signals. These specialized cells utilize an internal active amplifier to achieve highly sensitive mechanical detection. One of the manifestations of this active process is the occurrence of spontaneous limit cycle motion of the hair cell bundle. As hair bundles under in vivo conditions are typically coupled to each other by overlying structures, we explore the role of this coupling on the dynamics of the system, using a combination of theoretical and experimental approaches. Our numerical model suggests that the presence of chaotic dynamics in the response of individual bundles enhances their ability to synchronize when coupled, resulting in significant improvement in the system's ability to detect weak signals. This synchronization persists even for a large frequency dispersion and a large number of oscillators comprising the system. Further, the amplitude and coherence of the active motion is not reduced upon increasing the number of oscillators. Using artificial membranes, we impose mechanical coupling on groups of live and functional hair bundles, selected from in vitro preparations of the sensory epithelium, allowing us to explore the role of coupling experimentally. Consistent with the numerical simulations of the chaotic system, synchronization occurs even for large frequency dispersion and a large number of hair cells. Further, the amplitude and coherence of the spontaneous oscillations are independent of the number of hair cells in the network. We therefore propose that hair cells utilize their chaotic dynamics to stabilize the synchronized state and avoid the amplitude death regime, resulting in collective coherent motion that could play a role in generating spontaneous otoacoustic emissions and an enhanced ability to detect weak signals.


Phonemer at WNUT 2020 Task 2 Sequence Classification Using COVID Twitter BERT and Bagging Ensemble Technique based on Plurality Voting. This paper presents the approach that we employed to tackle the EMNLP WNUT 2020 Shared Task 2 Identification of informative COVID 19 English Tweets. The task is to develop a system that automatically identifies whether an English Tweet related to the novel coronavirus (COVID 19) is informative or not. We solve the task in three stages. The first stage involves pre processing the dataset by filtering only relevant information. This is followed by experimenting with multiple deep learning models like CNNs, RNNs and Transformer based models. In the last stage, we propose an ensemble of the best model trained on different subsets of the provided dataset. Our final approach achieved an F1 score of 0.9037 and we were ranked sixth overall with F1 score as the evaluation criteria.


FINED Fast Inference Network for Edge Detection. In this paper, we address the design of lightweight deep learning based edge detection. The deep learning technology offers a significant improvement on the edge detection accuracy. However, typical neural network designs have very high model complexity, which prevents it from practical usage. In contrast, we propose a Fast Inference Network for Edge Detection (FINED), which is a lightweight neural net dedicated to edge detection. By carefully choosing proper components for edge detection purpose, we can achieve the state of the art accuracy in edge detection while significantly reducing its complexity. Another key contribution in increasing the inferencing speed is introducing the training helper concept. The extra subnetworks (training helper) are employed in training but not used in inferencing. It can further reduce the model complexity and yet maintain the same level of accuracy. Our experiments show that our systems outperform all the current edge detectors at about the same model (parameter) size.


Groups acting on CAT(0) cube complexes with uniform exponential growth. We study uniform exponential growth of groups acting on CAT(0) cube complexes. We show that groups acting without global fixed points on CAT(0) square complexes either have uniform exponential growth or stabilize a Euclidean subcomplex. This generalizes the work of Kar and Sageev that considers free actions. Our result lets us show uniform exponential growth for certain groups that act improperly on CAT(0) square complexes, namely, finitely generated subgroups of the Higman group and triangle free Artin groups. We also obtain that non virtually abelian groups acting freely on CAT(0) cube complexes of any dimension with isolated flats that admit a geometric group action have uniform exponential growth.


Context aware Deep Model for Entity Recommendation in Search Engine at Alibaba. Entity recommendation, providing search users with an improved experience via assisting them in finding related entities for a given query, has become an indispensable feature of today's search engines. Existing studies typically only consider the queries with explicit entities. They usually fail to handle complex queries that without entities, such as "what food is good for cold weather", because their models could not infer the underlying meaning of the input text. In this work, we believe that contexts convey valuable evidence that could facilitate the semantic modeling of queries, and take them into consideration for entity recommendation. In order to better model the semantics of queries and entities, we learn the representation of queries and entities jointly with attentive deep neural networks. We evaluate our approach using large scale, real world search logs from a widely used commercial Chinese search engine. Our system has been deployed in ShenMa Search Engine and you can fetch it in UC Browser of Alibaba. Results from online A B test suggest that the impression efficiency of click through rate increased by 5.1 and page view increased by 5.5 .


Compact Formulae for Three Center Nuclear Attraction Integrals Over Exponential Type Functions. In any ab initio molecular orbital (MO) calculations, the major task involves the computation of the so called molecular multi center integrals. Multi center integral calculations is a very challenging mathematical problem in nature. Quantum mechanics only determines which integrals we evaluate, but the techniques employed for their evaluations are entirely mathematical. The three center nuclear attraction integrals occur in a very large number even for small molecules and are among of the most difficult molecular integrals to compute efficiently to a high pre determined accuracy. In the present contribution, we report analytical expressions for the three center nuclear attraction integrals over exponential type functions. We describe how to compute the formula to obtain an efficient evaluation in double precision arithmetic. This requires the rational minimax approximants that minimize the maximum error on the interval of evaluation. The numerical tests show a substantial gain in efficiency over the state of the art.


Second order multi object filtering with target interaction using determinantal point processes. The Probability Hypothesis Density (PHD) filter, which is used for multi target tracking based on sensor measurements, relies on the propagation of the first order moment, or intensity function, of a point process. This algorithm assumes that targets behave independently, an hypothesis which may not hold in practice due to potential target interactions. In this paper, we construct a second order PHD filter based on Determinantal Point Processes (DPPs) which are able to model repulsion between targets. Such processes are characterized by their first and second order moments, which allows the algorithm to propagate variance and covariance information in addition to first order target count estimates. Our approach relies on posterior moment formulas for the estimation of a general hidden point process after a thinning operation and a superposition with a Poisson Point Process (PPP), and on suitable approximation formulas in the determinantal point process setting. The repulsive properties of determinantal point processes apply to the modeling of negative correlation between distinct measurement domains. Monte Carlo simulations with correlation estimates are provided.


Geometric Solutions for General Actuator Routing on Inflated Beam Soft Growing Robots. Continuum and soft robots can leverage complex actuator shapes to take on useful shapes while actuating only a few of their many degrees of freedom. Continuum robots that also grow increase the range of potential shapes that can be actuated and enable easier access to constrained environments. Existing models for describing the complex kinematics involved in general actuation of continuum robots rely on simulation or well behaved stress strain relationships, but the non linear behavior of the thin walled inflated beams used in growing robots makes these techniques difficult to apply. Here we derive kinematic models of single, generally routed tendon paths on a soft pneumatic backbone of inextensible but flexible material from geometric relationships alone. This allows for forward modeling of the resulting shapes with only knowledge of the geometry of the system. We show that this model can accurately predict the shape of the whole robot body and how the model changes with actuation type. We also demonstrate the use of this kinematic model for inverse design, where actuator designs are found based on desired final robot shapes. We deploy these designed actuators on soft pneumatic growing robots to show the benefits of simultaneous growth and shape change.


Simple Reductions from Formula SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism. The CNF formula satisfiability problem (CNF SAT) has been reduced to many fundamental problems in P to prove tight lower bounds under the Strong Exponential Time Hypothesis (SETH). Recently, the works of Abboud, Hansen, Vassilevska W. and Williams (STOC 16), and later, Abboud and Bringmann (ICALP 18) have proposed basing lower bounds on the hardness of general boolean formula satisfiability (Formula SAT). Reductions from Formula SAT have two advantages over the usual reductions from CNF SAT (1) conjectures on the hardness of Formula SAT are arguably much more plausible than those of CNF SAT, and (2) these reductions give consequences even for logarithmic improvements in a problems upper bounds. Here we give tight reductions from Formula SAT to two more problems pattern matching on labeled graphs (PMLG) and subtree isomorphism. Previous reductions from Formula SAT were to sequence alignment problems such as Edit Distance, LCS, and Frechet Distance and required some technical work. This paper uses ideas similar to those used previously, but in a decidedly simpler setting, helping to illustrate the most salient features of the underlying techniques.


Gender Stereotype Reinforcement Measuring the Gender Bias Conveyed by Ranking Algorithms. Search Engines (SE) have been shown to perpetuate well known gender stereotypes identified in psychology literature and to influence users accordingly. Similar biases were found encoded in Word Embeddings (WEs) learned from large online corpora. In this context, we propose the Gender Stereotype Reinforcement (GSR) measure, which quantifies the tendency of a SE to support gender stereotypes, leveraging gender related information encoded in WEs. Through the critical lens of construct validity, we validate the proposed measure on synthetic and real collections. Subsequently, we use GSR to compare widely used Information Retrieval ranking algorithms, including lexical, semantic, and neural models. We check if and how ranking algorithms based on WEs inherit the biases of the underlying embeddings. We also consider the most common debiasing approaches for WEs proposed in the literature and test their impact in terms of GSR and common performance measures. To the best of our knowledge, GSR is the first specifically tailored measure for IR, capable of quantifying representational harms.


Point Transformer. Self attention networks have revolutionized natural language processing and are making impressive strides in image analysis tasks such as image classification and object detection. Inspired by this success, we investigate the application of self attention networks to 3D point cloud processing. We design self attention layers for point clouds and use these to construct self attention networks for tasks such as semantic scene segmentation, object part segmentation, and object classification. Our Point Transformer design improves upon prior work across domains and tasks. For example, on the challenging S3DIS dataset for large scale semantic scene segmentation, the Point Transformer attains an mIoU of 70.4 on Area 5, outperforming the strongest prior model by 3.3 absolute percentage points and crossing the 70 mIoU threshold for the first time.


Non Local Representation based Mutual Affine Transfer Network for Photorealistic Stylization. Photorealistic stylization aims to transfer the style of a reference photo onto a content photo in a natural fashion, such that the stylized image looks like a real photo taken by a camera. State of the art methods stylize the image locally within each matched semantic region and are prone to global color inconsistency across semantic objects parts, making the stylized image less photorealistic. To tackle the challenging issues, we propose a non local representation scheme, constrained with a mutual affine transfer network (NL MAT). Through a dictionary based decomposition, NL MAT is able to successfully decouple matched non local representations and color information of the image pair, such that the context correspondence between the image pair is incorporated naturally, which largely facilitates local style transfer in a global consistent fashion. To the best of our knowledge, this is the first attempt to address the photorealistic stylization problem with a non local representation scheme, such that no additional models or steps for semantic matching are required during stylization. Experimental results demonstrate that the proposed method is able to generate photorealistic results with local style transfer while preserving both the spatial structure and global color consistency of the content image.


Learning Canonical Representations for Scene Graph to Image Generation. Generating realistic images of complex visual scenes becomes challenging when one wishes to control the structure of the generated images. Previous approaches showed that scenes with few entities can be controlled using scene graphs, but this approach struggles as the complexity of the graph (the number of objects and edges) increases. In this work, we show that one limitation of current methods is their inability to capture semantic equivalence in graphs. We present a novel model that addresses these issues by learning canonical graph representations from the data, resulting in improved image generation for complex visual scenes. Our model demonstrates improved empirical performance on large scene graphs, robustness to noise in the input scene graph, and generalization on semantically equivalent graphs. Finally, we show improved performance of the model on three different benchmarks Visual Genome, COCO, and CLEVR.


Singularly Perturbed Boundary Focus Bifurcations. We consider smooth systems limiting as epsilon to 0 to piecewise smooth (PWS) systems with a boundary focus (BF) bifurcation. After deriving a suitable local normal form, we study the dynamics for the smooth system with 0 epsilon ll 1 using a combination of geometric singular perturbation theory and blow up. We show that the type of BF bifurcation in the PWS system determines the bifurcation structure for the smooth system within an epsilon dependent domain which shrinks to zero as epsilon to 0 , identifying a supercritical Andronov Hopf bifurcation in one case, and a supercritical Bogdanov Takens bifurcation in two other cases. We also show that PWS cycles associated with BF bifurcations persist as relaxation cycles in the smooth system, and prove existence of a family of stable limit cycles which connects the relaxation cycles to regular cycles within the epsilon dependent domain described above. Our results are applied to models for Gause predator prey interaction and mechanical oscillation subject to friction.


On Parameterized Complexity of Liquid Democracy. In liquid democracy, each voter either votes herself or delegates her vote to some other voter. This gives rise to what is called a delegation graph. To decide the voters who eventually votes along with the subset of voters whose votes they give, we need to resolve the cycles in the delegation graph. This gives rise to the Resolve Delegation problem where we need to find an acyclic sub graph of the delegation graph such that the number of voters whose votes they give is bounded above by some integer lambda . Putting a cap on the number of voters whose votes a voter gives enable the system designer restrict the power of any individual voter. The Resolve Delegation problem is already known to be NP hard. In this paper we study the parameterized complexity of this problem. We show that Resolve Delegation is para NP hard with respect to parameters lambda , number of sink nodes and the maximum degree of the delegation graph. We also show that Resolve Delegation is W 1 hard even with respect to the treewidth of the delegation graph. We complement our negative results by exhibiting FPT algorithms with respect to some other parameters. We finally show that a related problem, which we call Resolve Fractional Delegation, is polynomial time solvable.


Vec2Sent Probing Sentence Embeddings with Natural Language Generation. We introspect black box sentence embeddings by conditionally generating from them with the objective to retrieve the underlying discrete sentence. We perceive of this as a new unsupervised probing task and show that it correlates well with downstream task performance. We also illustrate how the language generated from different encoders differs. We apply our approach to generate sentence analogies from sentence embeddings.


An elementary proof for the decomposition theorem of Wright convex functions. The main goal of this paper is to give a completely elementary proof for the decomposition theorem of Wright convex functions which was discovered by C. T. Ng in 1987. In the proof, we do not use transfinite tools, i.e., variants of Rod 'e's theorem, or de Bruijn's theorem related to functions with continuous differences.


On Hardy type spaces in strictly pseudoconvex domains and the density, in these spaces, of certain classes of singular functions. In this paper we prove generic results concerning Hardy spaces in one or several complex variables. More precisely, we show that the generic function in certain Hardy type spaces is totally unbounded and hence non extentable, despite the fact that these functions have non tangential limits at the boundary of the domain. We also consider local Hardy spaces and show that generically these functions do not belong, not even locally, to Hardy spaces of higher order. We work first in the case of the unit ball of Cn where the calculations are easier and the results are somehow better, and then we extend them to the case of strictly pseudoconvex domains.


On particle size distribution of convex similar bodies in mathbb R 3 . We give an explicit form of particle size distributions of convex similar bodies for random plane and random line, which naturally generalize famous Wicksell's corpuscle problem. The results are achieved by applying the Method of Model Solutions for solving well known Santal 'o's integral equations. We also give a partial result related to the question of existence and uniqueness of these solutions. We finally illustrate our approach on several examples.


Reconciling Event Structures with Modern Multiprocessors. Weakestmo is a recently proposed memory consistency model that uses event structures to resolve the infamous "out of thin air" problem. Although it has been shown to have important benefits over other memory models, its established compilation schemes are suboptimal in that they add more fences than necessary. In this paper, we prove the correctness in Coq of the intended compilation schemes for Weakestmo to a range of hardware memory models (x86, POWER, ARMv7, ARMv8, RISC V). Our proof is the first that establishes correctness of compilation of an event structure based model that forbids "thin air" behaviors, as well as the first mechanized compilation proof of a weak memory model supporting sequentially consistent accesses to such a range of hardware platforms. Our compilation proof goes via the recent Intermediate Memory Model (IMM), which we suitably extend with sequentially consistent accesses.


What makes instance discrimination good for transfer learning?. Contrastive visual pretraining based on the instance discrimination pretext task has made significant progress. Notably, recent work on unsupervised pretraining has shown to surpass the supervised counterpart for finetuning downstream applications such as object detection and segmentation. It comes as a surprise that image annotations would be better left unused for transfer learning. In this work, we investigate the following problems What makes instance discrimination pretraining good for transfer learning? What knowledge is actually learned and transferred from these models? From this understanding of instance discrimination, how can we better exploit human annotation labels for pretraining? Our findings are threefold. First, what truly matters for the transfer is low level and mid level representations, not high level representations. Second, the intra category invariance enforced by the traditional supervised model weakens transferability by increasing task misalignment. Finally, supervised pretraining can be strengthened by following an exemplar based approach without explicit constraints among the instances within the same category.


Tractable loss function and color image generation of multinary restricted Boltzmann machine. The restricted Boltzmann machine (RBM) is a representative generative model based on the concept of statistical mechanics. In spite of the strong merit of interpretability, unavailability of backpropagation makes it less competitive than other generative models. Here we derive differentiable loss functions for both binary and multinary RBMs. Then we demonstrate their learnability and performance by generating colored face images.


Quotients of Hurwitz Primes. Quotient sets have attracted the attention of mathematicians in the past three decades. The set of quotients of primes is dense in the positive real numbers and the set of all quotients of Gaussian primes is also dense in the complex plane. Sittinger has proved that the set of quotients of primes in an imaginary quadratic ring is dense in the complex plane and the set of quotients of primes in a real quadratic number ring is dense in R. An interesting open question is introduced by Sittinger Is the set of quotients of Hurwitz primes dense in the quaternions? In this paper, we answer the question and prove that the set of all quotients of Hurwitz primes is dense in the quaternions.


On density of shift invariant subspaces of some inductive limit spaces. Necessary and sufficient conditions are given for density of shift invariant subspaces of the space mathcal L of integrable functions of bounded support with the inductive limit topology.


Correlating grip force signals from multiple sensors highlights prehensile control strategies in a complex task user system. Wearable sensor systems with transmitting capabilities are currently employed for the biometric screening of exercise activities and other performance data. Such technology is generally wireless and enables the noninvasive monitoring of signals to track and trace user behaviors in real time. Examples include signals relative to hand and finger movements or force control reflected by individual grip force data. As will be shown here, these signals directly translate into task, skill, and hand specific, dominant versus non dominant hand, grip force profiles for different measurement loci in the fingers and palm of the hand. The present study draws from thousands of such sensor data recorded from multiple spatial locations. The individual grip force profiles of a highly proficient left handed exper, a right handed dominant hand trained user, and a right handed novice performing an image guided, robot assisted precision task with the dominant or the non dominant hand are analyzed. The step by step statistical approach follows Tukeys detective work principle, guided by explicit functional assumptions relating to somatosensory receptive field organization in the human brain. Correlation analyses in terms of Person Product Moments reveal skill specific differences in covariation patterns in the individual grip force profiles. These can be functionally mapped to from global to local coding principles in the brain networks that govern grip force control and its optimization with a specific task expertise. Implications for the real time monitoring of grip forces and performance training in complex task user systems are brought forward.


Algebraic intersection for translation sufaces in a family of Teichm H u ller disks. The setting is a square tiled surface X. We study the quantity KVol, defined as the supremum over all pairs of closed curves, of their algebraic intersection divided by the product of their length, times the volume of X (so as to make it scaling invariant). We give a hyperbolic geometric construction to compute KVol in a family of Teichm H u ller disks of square tiled surfaces.


A Data Structure for Approximate Longest Common Subsequence of A Set of Strings. Given a set of k strings I , their longest common subsequence (LCS) is the string with the maximum length that is a subset of all the strings in I . A data structure for this problem preprocesses I into a data structure such that the LCS of a set of query strings Q with the strings of I can be computed faster. Since the problem is NP hard for arbitrary k , we allow an error that allows some characters to be replaced by other characters. We define the approximation version of the problem with an extra input m , which is the length of the regular expression (regex) that describes the input, and the approximation factor is the logarithm of the number of possibilities in the regex returned by the algorithm, divided by the logarithm regex with the minimum number of possibilities. Then, we use a tree data structure to achieve sublinear time LCS queries. We also explain how the idea can be extended to the longest increasing subsequence (LIS) problem.


Complex modes in an open lossless periodic waveguide. Guided modes of an open periodic waveguide, with a periodicity in the main propagation direction, are Bloch modes confined around the waveguide core with no radiation loss in the transverse directions. Some guided modes can have a complex propagation constant, i.e. a complex Bloch wavenumber, even when the periodic waveguide is lossless (no absorption loss). These so called complex modes are physical solutions that can be excited by incident waves whenever the waveguide has discontinuities and defects. We show that the complex modes in an open dielectric periodic waveguide form bands, and the endpoints of the bands can be classified to a small number of cases, including extrema on dispersion curves of the regular guided modes, bound states in the continuum, degenerate complex modes, and special diffraction solutions with blazing properties. Our study provides an improved theoretical understanding on periodic waveguides and a useful guidance to their practical applications.