Prediction Law of Mixed Gaussian Volterra Processes. We study the regular conditional law of mixed Gaussian Volterra processes under the influence of model disturbances. More precisely, we study prediction of Gaussian Volterra processes driven by a Brownian motion in a case where the Brownian motion is not observable, but only a noisy version is observed. As an application, we discuss how our result can be applied to variance reduction in the presence of measurement errors.


Estimates for the number of rational points on simple abelian varieties over finite fields. Let A be a simple abelian variety of dimension g over the field mathbb F q . The paper provides improvements on the Weil estimates for the size of A( mathbb F q) . For an arbitrary value of q we prove ( lfloor( sqrt q 1) 2 rfloor 1) g leqslant A( mathbb F q) leqslant ( lceil( sqrt q 1) 2 rceil 1) g holds with finitely many exceptions. We compute improved bounds for various small values of q . For instance, the Weil bounds for q 3,4 give a trivial estimate A( mathbb F q) geqslant 1 we prove A( mathbb F 3) geqslant 1.359 g and A( mathbb F 4) geqslant 2.275 g hold with finitely many exceptions. We use these results to describe all abelian varieties over finite fields that have no new points in some finite field extension.


On the Existence and Uniqueness of Solution of Boundary Domain Integral Equations for the Dirichlet Problem for the Non Homogeneous Heat Transfer Equation defined on a 2D Unbounded Domain. A system of segregated boundary domain integral equations (BDIEs) is obtained from the Dirichlet problem for the diffusion equation in non homogeneous media defined on an exterior two dimensional domain. We use a parametrix different from the one employed by in (Dufera, 2019). The system of BDIEs is formulated in terms of parametrix based surface and volume potentials whose mapping properties are analysed in weighted Sobolev spaces. The system of BDIEs is shown to be equivalent to the original boundary value problem and uniquely solvable in appropriate weighted Sobolev spaces suitable for infinite domains.


A Categorical Approach to L Convexity. We investigate an enriched categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called overline mathbb Z or overline mathbb R categories) and that of what we call ( overline mathbb Z or overline mathbb R ) extended L convex sets. We introduce extended L convex sets as variants of certain discrete structures called L convex sets and L convex polyhedra, studied in the field of discrete convex analysis. We also introduce homomorphisms between extended L convex sets. The theorem claims that there is a one to one correspondence (up to isomorphism) between two classes. The thesis also contains an introductory chapter on enriched categories and no categorical knowledge is assumed.


Rips complexes as nerves and a Functorial Dowker Nerve Diagram. Using ideas of the Dowker duality we prove that the Rips complex at scale r is homotopy equivalent to the nerve of a cover consisting of sets of prescribed diameter. We then develop a functorial version of the Nerve theorem coupled with the Dowker duality, which is presented as a Functorial Dowker Nerve Diagram. These results are incorporated into a systematic theory of filtrations arising from covers. As a result we provide a general framework for reconstruction of spaces by Rips complexes, a short proof of the reconstruction result of Hausmann, and completely classify reconstruction scales for metric graphs. Furthermore we introduce a new extraction method for homology of a space based on nested Rips complexes at a single scale, which requires no conditions on neighboring scales nor the Euclidean structure of the ambient space.


J PET Framework Software platform for PET tomography data reconstruction and analysis. J PET Framework is an open source software platform for data analysis, written in C and based on the ROOT package. It provides a common environment for implementation of reconstruction, calibration and filtering procedures, as well as for user level analyses of Positron Emission Tomography data. The library contains a set of building blocks that can be combined by users with even little programming experience, into chains of processing tasks through a convenient, simple and well documented API. The generic input output interface allows processing the data from various sources low level data from the tomography acquisition system or from diagnostic setups such as digital oscilloscopes, as well as high level tomography structures e.g. sinograms or a list of lines of response. Moreover, the environment can be interfaced with Monte Carlo simulation packages such as GEANT and GATE, which are commonly used in the medical scientific community.


Lower Bounds for Caching with Delayed Hits. Caches are a fundamental component of latency sensitive computer systems. Recent work of ASWB20 has initiated the study of delayed hits a phenomenon in caches that occurs when the latency between the cache and backing store is much larger than the time between new requests. We present two results for the delayed hits caching model. (1) Competitive ratio lower bound. We prove that the competitive ratio of the algorithm in ASWB20 , and more generally of any deterministic online algorithm for delayed hits, is at least Omega(kZ), where k is the cache size and Z is the delay parameter. (2) Antimonotonicity of the delayed hits latency. Antimonotonicity is a naturally desirable property of cache latency having a cache hit instead of a cache miss should result in lower overall latency. We prove that the latency of the delayed hits model is not antimonotone by exhibiting a scenario where having a cache hit instead of a miss results in an increase in overall latency. We additionally present a modification of the delayed hits model that makes the latency antimonotone.


Small u(kappa) at singular kappa with compactness at kappa . We show that the tree property, stationary reflection and the failure of approachability at kappa are consistent with mathfrak u ( kappa) kappa 2 kappa , where kappa is a singular strong limit cardinal with the countable or uncountable cofinality. As a by product, we show that if lambda is a regular cardinal, then stationary reflection at lambda is indestructible under all lambda cc forcings (out of general interest, we also state a related result for the preservation of club stationary reflection).


An Imitation Game for Learning Semantic Parsers from User Interaction. Despite the widely successful applications, bootstrapping and fine tuning semantic parsers are still a tedious process with challenges such as costly data annotation and privacy risks. In this paper, we suggest an alternative, human in the loop methodology for learning semantic parsers directly from users. A semantic parser should be introspective of its uncertainties and prompt for user demonstration when uncertain. In doing so it also gets to imitate the user behavior and continue improving itself autonomously with the hope that eventually it may become as good as the user in interpreting their questions. To combat the sparsity of demonstration, we propose a novel annotation efficient imitation learning algorithm, which iteratively collects new datasets by mixing demonstrated states and confident predictions and re trains the semantic parser in a Dataset Aggregation fashion (Ross et al., 2011). We provide a theoretical analysis of its cost bound and also empirically demonstrate its promising performance on the text to SQL problem. Code will be available at https github.com sunlab osu MISP.


Should Classical Physics Be Interpreted Indeterministically?. An indeterministic interpretation of classical physics has been proposed recently, in which the argument relies on attacking an alleged unwarranted metaphysical hidden assumption of the standard deterministic interpretation. This short paper aims at showing that it is arguably a strawman attack.


Ultra thin Underwater Acoustic Metasurface with Multiply Resonant Units. This paper describes a new kind of acoustic metasurface with multiply resonant units, which have previously been used to induce multiple resonances and effectively produce negative mass density and bulk shear moduli. The proposed acoustic metasurface can be constructed using real materials and does not rely on an ideal rigid material. Therefore, it can work well in a water background. The thickness of the acoustic metasurface is about two orders of magnitude smaller than the acoustic wavelength in water. The design of a unit group is proposed to avoid the phase discretization becoming too fine in such a long wavelength condition. We demonstrate that the proposed acoustic metasurface achieves good performance in anomalous reflection, focusing, and carpet cloaking.


Riesz distributions and Laplace transform in the Dunkl setting of type A. We study Riesz distributions in the framework of rational Dunkl theory associated with root systems of type A. As an important tool, we employ a Laplace transform involving the associated Dunkl kernel, which essentially goes back to Macdonald, but was so far only established at a formal level. We give a rigorous treatment of this transform based on suitable estimates of the type A Dunkl kernel. Our main result is a precise analogue in the Dunkl setting of a well known result by Gindikin, stating that a Riesz distribution on a symmetric cone is a positive measure if and only if its exponent is contained in the Wallach set. For Riesz distributions in the Dunkl setting, we obtain an analogous characterization in terms of a generalized Wallach set which depends on the multiplicity parameter on the root system.


Ocean surface radial velocity imaging in the AT INSAR Velocity Bunching Model. A functional approach. This work is concerned with the estimation of radial velocities of sea surface elevations. The data, is a noisy along track interferometric synthetic aperture radar (AT INSAR) image. We assume the Velocity Bunching Model. This model relates the complex AT INSAR image at a point in the image plane, with the radial velocity of a scatterer point in the sea surface. The relation is by means of a nonlinear integral operator mapping radial velocities into AT INSAR images. Consequently, the estimation of radial velocities, amounts to the solution of nonlinear integral equations. Our proposal is to solve the latter by Newton's methods on function spaces, the optimize then discretize approach. We show that this continuous version is accurate, and faster than the classical discretize then optimize version. Also a physical comparison is carried out with the interferometric velocities.


Matrix calculations for inhomogeneous Markov reward processes, with applications to life insurance and point processes. A multi state life insurance model is naturally described in terms of the intensity matrix of an underlying (time inhomogeneous) Markov process which describes the dynamics for the states of an insured person. Between and at transitions, benefits and premiums are paid, defining a payment process, and the technical reserve is defined as the present value of all future payments of the contract. Classical methods for finding the reserve and higher order moments involve the solution of certain differential equations (Thiele and Hattendorf, respectively). In this paper we present an alternative matrix oriented approach based on general reward considerations for Markov jump processes. The matrix approach provides a general framework for effortlessly setting up general and even complex multi state models, where moments of all orders are then expressed explicitly in terms of so called product integrals (matrix exponentials) of certain matrices. As Thiele and Hattendorf type of theorems can be retrieved immediately from the matrix formulae, this methods also provides a quick and transparent approach to proving these classical results. Methods for obtaining distributions and related properties of interest (e.g. quantiles or survival functions) of the future payments are presented from both a theoretical and practical point of view (via Laplace transforms and methods involving orthogonal polynomials).


Two stage Optimization for Machine Learning Workflow. Machines learning techniques plays a preponderant role in dealing with massive amount of data and are employed in almost every possible domain. Building a high quality machine learning model to be deployed in production is a challenging task, from both, the subject matter experts and the machine learning practitioners. For a broader adoption and scalability of machine learning systems, the construction and configuration of machine learning workflow need to gain in automation. In the last few years, several techniques have been developed in this direction, known as autoML. In this paper, we present a two stage optimization process to build data pipelines and configure machine learning algorithms. First, we study the impact of data pipelines compared to algorithm configuration in order to show the importance of data preprocessing over hyperparameter tuning. The second part presents policies to efficiently allocate search time between data pipeline construction and algorithm configuration. Those policies are agnostic from the metaoptimizer. Last, we present a metric to determine if a data pipeline is specific or independent from the algorithm, enabling fine grain pipeline pruning and meta learning for the coldstart problem.


A tunable magneto acoustic oscillator with low phase noise. A frequency tunable low phase noise magneto acoustic resonator is developed on the base of a parallel plate straight edge bilayer consisting of a yttrium iron garnet (YIG) layer grown on a substrate of a gallium gadolinium garnet(GGG). When a YIG GGG sample forms an ideal parallel plate, it supports a series of high quality factor acoustic modes standing along the plate thickness. Due to the magnetostriction of the YIG layer the ferromagnetic resonance (FMR) mode of the YIG layer can strongly interact with the acoustic thickness modes of the YIG GGG structure, when the modes' frequencies match. A particular acoustic thickness mode used for the resonance excitations of the hybrid magneto acoustic oscillations in a YIG GGG bilayer is chosen by the YIG layer FMR frequency, which can be tuned by the variation of the external bias magnetic field. A composite magneto acoustic oscillator, which includes an FMR based resonance pre selector, is developed to guarantee satisfaction of the Barkhausen criteria for a single acoustic mode oscillation regime. The developed low phase noise composite magneto acoustic oscillator can be tuned from 0.84 GHz to 1 GHz with an increment of about 4.8 MHz (frequency distance between the adjacent acoustic thickness modes in a YIG GGG parallel plate), and demonstrates the phase noise of 116 dBc Hz at the offset frequency of 10 kHz.


On length holonomy spectrum of three dimensional compact hyperbolic manifolds. In this paper we establish a strong multiplicity one type property for the length holonomy spectrum for the three dimensional compact hyperbolic spaces. We use the analytic properties of Selberg Gangolli Wakayama zeta functions associated to compact hyperbolic spaces.


An Open Model for Researching the Role of Culture in Online Self Disclosure. The analysis of consumers' personal information (PI) is a significant source to learn about consumers. In online settings, many consumers disclose PI abundantly this is particularly true for information provided on social network services. Still, people manage the privacy level they want to maintain by disclosing by disclosing PI accordingly. In addition, studies have shown that consumers' online self disclosure (OSD) differs across cultures. Therefore, intelligent systems should consider cultural issues when collecting, processing, storing or protecting data from consumers. However, existing studies typically rely on a comparison of two cultures, providing valuable insights but not drawing a comprehensive picture. We introduce an open research model for cultural OSD research, based on the privacy calculus theory. Our open research model incorporates six cultural dimensions, six predictors, and 24 structured propositions. It represents a comprehensive approach that provides a basis to explain possible cultural OSD phenomena in a systematic way.


CUNI System for the Building Educational Applications 2019 Shared Task Grammatical Error Correction. In this paper, we describe our systems submitted to the Building Educational Applications (BEA) 2019 Shared Task (Bryant et al., 2019). We participated in all three tracks. Our models are NMT systems based on the Transformer model, which we improve by incorporating several enhancements applying dropout to whole source and target words, weighting target subwords, averaging model checkpoints, and using the trained model iteratively for correcting the intermediate translations. The system in the Restricted Track is trained on the provided corpora with oversampled "cleaner" sentences and reaches 59.39 F0.5 score on the test set. The system in the Low Resource Track is trained from Wikipedia revision histories and reaches 44.13 F0.5 score. Finally, we finetune the system from the Low Resource Track on restricted data and achieve 64.55 F0.5 score, placing third in the Unrestricted Track.


Simple length spectra as moduli for hyperbolic surfaces and rigidity of length identities. In this article, we revisit classical length identities enjoyed by simple closed curves on hyperbolic surfaces. We state and prove rigidity of such identities over Teichm "uller spaces. Due to this rigidity, simple closed curves with few intersections are characterised on generic hyperbolic surfaces by their lengths. As an application, we construct a meagre set V in the Teichm "uller space of a topological surface S , possibly of infinite type. Then the isometry class of a (Nielsen convex) hyperbolic structure on S outside V is characterised by its unmarked simple length spectrum. Namely, we show that the simple length spectra can be used as moduli for generic hyperbolic surfaces. In the case of compact surfaces, an analogous result using length spectra was obtained by Wolpert.


Total reflection of two guided waves for embedded trapped modes. To investigate the mechanism of wave trapping, acoustic embedded trapped modes associated with two resonant mode interference in two dimensional duct cavity structures are calculated by the feedback loop closure principle, which allows us to analyse the travelling modes that construct the trapped modes. The exact two coexisting resonant modes that underpin an embedded trapped mode in a cavity open to two semi infinite ducts are numerically demonstrated. At the interface between the cavity segment and a duct, total reflection can occur for a particular combination of two propagative guided waves in the cavity. With a particular cavity length and a particular frequency, total reflection also happens for the two reflected waves at the opposite end of the cavity. In this way, the two coexisting standing waves underpin a trapped mode. It is found that the two standing waves are not two closed cavity modes. Thus, this work presents a new understanding of such embedded trapped modes as a product of total reflection of two guided waves at the interface between two waveguides, rather than interference between two eigenmodes of a closed cavity. For quasi trapped modes, the Fano scattering phenomenon owing to the effects of two acoustic channels is also shown.


An Open Source Benchmark Suite for Cloud and IoT Microservices. Cloud services have recently started undergoing a major shift from monolithic applications, to graphs of hundreds of loosely coupled microservices. Microservices fundamentally change a lot of assumptions current cloud systems are designed with, and present both opportunities and challenges when optimizing for quality of service (QoS) and utilization. In this paper we explore the implications microservices have across the cloud system stack. We first present DeathStarBench, a novel, open source benchmark suite built with microservices that is representative of large end to end services, modular and extensible. DeathStarBench includes a social network, a media service, an e commerce site, a banking system, and IoT applications for coordination control of UAV swarms. We then use DeathStarBench to study the architectural characteristics of microservices, their implications in networking and operating systems, their challenges with respect to cluster management, and their trade offs in terms of application design and programming frameworks. Finally, we explore the tail at scale effects of microservices in real deployments with hundreds of users, and highlight the increased pressure they put on performance predictability.


On matrices potentially useful for tree codes. Motivated by a concept studied in 1 , we consider a property of matrices over finite fields that generalizes triangular totally nonsingular matrices to block matrices. We show that (1) matrices with this property suffice to construct good tree codes and (2) a random block triangular matrix over a field of quadratic size satisfies this property. We will also show that a generalization of this randomized construction yields codes over quadratic size fields for which the sum of the rate and minimum relative distance gets arbitrarily close to 1.


q-bio.QM physics.bio-ph physics.chem-ph q-bio.BM q-bio.MN

Allostery and cooperativity in multimeric proteins bond to bond propensities in ATCase. Aspartate carbamoyltransferase (ATCase) is a large dodecameric enzyme with six active sites that exhibits allostery its catalytic rate is modulated by the binding of various substrates at distal points from the active sites. A recently developed method, bond to bond propensity analysis, has proven capable of predicting allosteric sites in a wide range of proteins using an energy weighted atomistic graph obtained from the protein structure and given knowledge only of the location of the active site. Bond to bond propensity establishes if energy fluctuations at given bonds have significant effects on any other bond in the protein, by considering their propagation through the protein graph. In this work, we use bond to bond propensity analysis to study different aspects of ATCase activity using three different protein structures and sources of fluctuations. First, we predict key residues and bonds involved in the transition between inactive (T) and active (R) states of ATCase by analysing allosteric substrate binding as a source of energy perturbations in the protein graph. Our computational results also indicate that the effect of multiple allosteric binding is non linear a switching effect is observed after a particular number and arrangement of substrates is bound suggesting a form of long range communication between the distantly arranged allosteric sites. Second, cooperativity is explored by considering a bisubstrate analogue as the source of energy fluctuations at the active site, also leading to the identification of highly significant residues to the T R transition that enhance cooperativity across active sites. Finally, the inactive (T) structure is shown to exhibit a strong, non linear communication between the allosteric sites and the interface between catalytic subunits, rather than the active site.


Welded extensions and ribbon restrictions of diagrammatical moves. In this paper, we consider local moves on classical and welded diagrams of string links, and the notion of welded extension of a classical move. Such extensions being non unique in general, the idea is to find a topological criterion which could isolate one extension from the others. To that end, we turn to the relation between welded string links and knotted surfaces in mathbb R 4 , and the ribbon sublclass of these surfaces. This provides the topological interpretation of classical local moves as surgeries on surfaces, and of welded local moves as surgeries on ribbon surfaces. Comparing these surgeries leads to the notion of ribbon residue of a classical local move, and we show that up to some broad conditions there can be at most one welded extension which is a ribbon residue. The existence of such an extension is not guaranteed however, and we provide a counterexample.


On the criteria of large cavitation bubbles in a tube during a transient process. Extreme cavitation scenarios such as water column separations in hydraulic systems during transient processes caused by large cavitation bubbles can lead to catastrophic destruction. In the present paper, we study the onset criteria and dynamics of large cavitation bubbles in a tube. A new cavitation number Ca 2 l 1 Ca 0 is proposed to describe the maximum length L max of the cavitation bubble, where l is a non dimensional length of the water column indicating its slenderness, and Ca 0 is the classic cavitation number. Combined with the onset criteria for acceleration induced cavitation ( Ca 1 1 , Pan et al. (2017)), we show that the occurrence of large cylindrical cavitation bubbles requires both Ca 2 1 and Ca 1 1 simultaneously. We also establish a Rayleigh type model for the dynamics of large cavitation bubbles in a tube. The bubbles collapse at a finite end speed, and the time from the maximum bubble size to collapse is T c sqrt 2 sqrt lL max sqrt frac rho p infty , where l is the length of the water column, L max is the maximum bubble length, rho is the liquid density, and p infty is the reference pressure in the far field. The analytical results are validated against systematic experiments using a modified 'tube arrest' apparatus, which can decouple acceleration and velocity. The results in the current work can guide design and operation of hydraulic systems encountering transient processes.


The CMS Outer Tracker for the High Luminosity LHC upgrade. The High Luminosity Large Hadron Collider (HL LHC) at CERN is expected to collide protons at a centre of mass energy of 14 ,TeV and to reach the unprecedented peak instantaneous luminosity of 5 , ,7.5 ,x , 10 34 ,cm 2 s 1 with an average number of pileup events of 140 , ,200. This will allow the ATLAS and CMS experiments to collect integrated luminosities up to 3000 , ,4000 ,fb 1 during the project lifetime. To cope with this extreme scenario the CMS detector will be substantially upgraded before starting the HL LHC, with a plan known as CMS Phase 2 upgrade. The CMS Tracker detector will have to be replaced in order to fully exploit the delivered luminosity and cope with the demanding operating conditions. The new detector will provide robust tracking as well as input for the first level trigger. This paper is focused on the replacement of the CMS Outer Tracker system, describing the new layout and the technological choices together with some highlights of module assembly and quality assurance aspects.


Alpha Refine Boosting Tracking Performance by Precise Bounding Box Estimation. In recent years, the multiple stage strategy has become a popular trend for visual tracking. This strategy first utilizes a base tracker to coarsely locate the target and then exploits a refinement module to obtain more accurate results. However, existing refinement modules suffer from the limited transferability and precision. In this work, we propose a novel, flexible and accurate refinement module called Alpha Refine, which exploits a precise pixel wise correlation layer together with a spatial aware non local layer to fuse features and can predict three complementary outputs bounding box, corners and mask. To wisely choose the most adequate output, we also design a light weight branch selector module. We apply the proposed Alpha Refine module to five famous and state of the art base trackers DiMP, ATOM, SiamRPN , RTMDNet and ECO. The comprehensive experiments on TrackingNet, LaSOT and VOT2018 benchmarks demonstrate that our approach significantly improves the tracking performance in comparison with other existing refinement methods. The source codes will be available at https github.com MasterBin IIAU AlphaRefine.


Query based Targeted Action Space Adversarial Policies on Deep Reinforcement Learning Agents. Advances in computing resources have resulted in the increasing complexity of cyber physical systems (CPS). As the complexity of CPS evolved, the focus has shifted from traditional control methods to deep reinforcement learning based (DRL) methods for control of these systems. This is due to the difficulty of obtaining accurate models of complex CPS for traditional control. However, to securely deploy DRL in production, it is essential to examine the weaknesses of DRL based controllers (policies) towards malicious attacks from all angles. In this work, we investigate targeted attacks in the action space domain, also commonly known as actuation attacks in CPS literature, which perturbs the outputs of a controller. We show that a query based black box attack model that generates optimal perturbations with respect to an adversarial goal can be formulated as another reinforcement learning problem. Thus, such an adversarial policy can be trained using conventional DRL methods. Experimental results showed that adversarial policies that only observe the nominal policy's output generate stronger attacks than adversarial policies that observe the nominal policy's input and output. Further analysis reveals that nominal policies whose outputs are frequently at the boundaries of the action space are naturally more robust towards adversarial policies. Lastly, we propose the use of adversarial training with transfer learning to induce robust behaviors into the nominal policy, which decreases the rate of successful targeted attacks by 50 .


Chrome Dino Run using Reinforcement Learning. Reinforcement Learning is one of the most advanced set of algorithms known to mankind which can compete in games and perform at par or even better than humans. In this paper we study most popular model free reinforcement learning algorithms along with convolutional neural network to train the agent for playing the game of Chrome Dino Run. We have used two of the popular temporal difference approaches namely Deep Q Learning, and Expected SARSA and also implemented Double DQN model to train the agent and finally compare the scores with respect to the episodes and convergence of algorithms with respect to timesteps.


A Non Linear Roth Theorem for Fractals of Sufficiently Large Dimension. Suppose that d geq 2 , and that A subset 0,1 has sufficiently large dimension, 1 epsilon d dim H(A) 1 . Then for any polynomial P of degree d with no constant term, there exists a point configuration x, x t,x P(t) subset A with t approx P 1 .


Fast variable density 3 D node generation. Mesh free solvers for partial differential equations perform best on scattered quasi uniform nodes. Computational efficiency can be improved by using nodes with greater spacing in regions of less activity. We present an advancing front type method to generate variable density nodes in 2 D and 3 D with clear generalization to higher dimensions. The exhibited cost of generating a node set of size N in 2 D and 3 D with the present method is O(N).


Hodge ideals and spectrum of isolated hypersurface singularities. We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal V filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal V filtration. As a consequence of a formula of Mustata and Popa, these two spectra coincide in the weighted homogeneous case. We prove sufficient conditions for their coincidence and non coincidence in some non weighted homogeneous cases where the defining function is semi weighted homogeneous or with non degenerate Newton boundary in most cases. We also show that the convenience condition can be avoided in a formula of Zhang for the non degenerate case, and present an example where the Hodge ideals are not weakly decreasing even modulo the Jacobian ideal.


Stabilization for a Flexible Beam with Tip Mass and Control Matched Disturbance. This paper is concerned with the output feedback exponential stabilization for a flexible beam with tip mass. When there is no disturbance, it is shown that only one non collocated measurement is enough to exponentially stabilize the original system by constructing an infinite dimensional Luenberger state observer to track the state and designing an estimated state based output feedback control law. This essentially improves the existence result in F. Conrad and O. M " o rg " u l, SIAM J. Control Optim., 36 (1998), 1962 1986 where two collocated measurements including high order feedback were adopted. In the case that boundary internal uncertainty and external disturbance are considered, an infinite dimensional disturbance estimator is constructed to estimate the state and total disturbance in real time. By virtue of the estimated state and estimated total disturbance, an output feedback control law is designed to exponentially stabilize the original system while guaranteeing the boundedness of the closed loop system. Some illustration simulations are presented.


A Unified Weight Learning and Low Rank Regression Model for Robust Complex Error Modeling. One of the most important problems in regression based error model is modeling the complex representation error caused by various corruptions and environment changes in images. For example, in robust face recognition, images are often affected by varying types and levels of corruptions, such as random pixel corruptions, block occlusions, or disguises. However, existing works are not robust enough to solve this problem due to they cannot model the complex corrupted errors very well. In this paper, we address this problem by a unified sparse weight learning and low rank approximation regression model, which enables the random noises and contiguous occlusions in images to be treated simultaneously. For the random noise, we define a generalized correntropy (GC) function to match the error distribution. For the structured error caused by occlusions or disguises, we propose a GC function based rank approximation to measure the rank of error matrices. Since the proposed objective function is non convex, an effective iterative optimization algorithm is developed to achieve the optimal weight learning and low rank approximation. Extensive experimental results on three public face databases show that the proposed model can fit the error distribution and structure very well, thus obtain better recognition accuracies in comparison with the existing methods.


ScanSAT Unlocking Static and Dynamic Scan Obfuscation. While financially advantageous, outsourcing key steps, such as testing, to potentially untrusted Outsourced Assembly and Test (OSAT) companies may pose a risk of compromising on chip assets. Obfuscation of scan chains is a technique that hides the actual scan data from the untrusted testers logic inserted between the scan cells, driven by a secret key, hides the transformation functions that map the scan in stimulus (scan out response) and the delivered scan pattern (captured response). While static scan obfuscation utilizes the same secret key, and thus, the same secret transformation functions throughout the lifetime of the chip, dynamic scan obfuscation updates the key periodically. In this paper, we propose ScanSAT an attack that transforms a scan obfuscated circuit to its logic locked version and applies the Boolean satisfiability (SAT) based attack, thereby extracting the secret key. We implement our attack, apply on representative scan obfuscation techniques, and show that ScanSAT can break both static and dynamic scan obfuscation schemes with 100 success rate. Moreover, ScanSAT is effective even for large key sizes and in the presence of scan compression.


Line Circle Square (LCS) A Multilayered Geometric Filter for Edge Based Detection. This paper presents a state of the art filter that reduces the complexity in object detection, tracking and mapping applications. Existing edge detection and tracking methods are proposed to create suitable autonomy for mobile robots, however, many of them face overconfidence and large computations at the entrance to scenarios with an immense number of landmarks. The method in this work, the Line Circle Square (LCS) filter, claims that mobile robots without a large database for object recognition and highly advanced prediction methods can deal with incoming objects that the camera captures in real time. The proposed filter applies detection, tracking and learning to each defined expert to extract higher level information for judging scenes without over calculation. The interactive learning feed between each expert increases the consistency of detected landmarks that works against overwhelming detected features in crowded scenes. Our experts are dependent on trust factors' covariance under the geometric definitions to ignore, emerge and compare detected landmarks. The experiment validates the effectiveness of the proposed filter in terms of detection precision and resource usage in both experimental and real world scenarios.


Counterexample to the off testing condition in two dimensions. In proving the local T b Theorem for two weights in one dimension SaShUT Sawyer, Shen and Uriarte Tuero used a basic theorem of Hyt " o nen Hy to deal with estimates for measures living in adjacent intervals. Hyt " o nen's theorem states that the off testing condition for the Hilbert transform is controlled by the Muckenhoupt's A 2 and A 2 conditions. So in attempting to extend the two weight T b theorem to higher dimensions, it is natural to ask if a higher dimensional analogue of Hyt " o nen's theorem holds that permits analogous control of terms involving measures that live on adjacent cubes. In this paper we show that it is not the case even in the presence of the energy conditions used in one dimension SaShUT . Thus, in order to obtain a local T b theorem in higher dimensions, it will be necessary to find some substantially new arguments to control the notoriously difficult nearby form. More precisely, we show that Hyt " o nen's off testing condition for the two weight fractional integral and the Riesz transform inequalities is not controlled by Muckenhoupt's A 2 alpha and A 2 alpha, conditions and energy conditions.


Error bounds for model reduction of feedback controlled linear stochastic dynamics on Hilbert spaces. We analyze structure preserving model order reduction methods for Ornstein Uhlenbeck processes and linear S(P)DEs with multiplicative noise based on balanced truncation. For the first time, we include in this study the analysis of non zero initial conditions. We moreover allow for feedback controlled dynamics for solving stochastic optimal control problems with reduced order models and prove novel error bounds for a class of linear quadratic regulator problems. We provide numerical evidence for the bounds and discuss the application of our approach to enhanced sampling methods from non equilibrium statistical mechanics.


Salem numbers, spectral radii and growth rates of hyperbolic Coxeter groups. We show that not every Salem number appears as the growth rate of a cocompact hyperbolic Coxeter group. We also give a new proof of the fact that the growth rates of planar hyperbolic Coxeter groups are spectral radii of Coxeter transformations, and show that this need not be the case for growth rates of hyperbolic tetrahedral Coxeter groups.


Integral representation formulae for the solution of a wave equation with time dependent damping and mass in the scale invariant case. This paper is devoted to derive integral representation formulae for the solution of an inhomogeneous linear wave equation with time dependent damping and mass terms, that are scale invariant with respect to the so called hyperbolic scaling. Yagdjian's integral transform approach is employed for this purpose. The main step in our argument consists in determining the kernel functions for the different integral terms, which are related to the source term and to initial data. We will start with the one dimensional case (in space). We point out that we may not apply in a straightforward way Duhamel's principle to deal with the source term since the coefficients of lower order terms make our model not invariant by time translation. On the contrary, we shall begin with the representation formula for the inhomogeneous equation with vanishing data by using a revised Duhamel's principle. Then, we will derive the representation of the solution in the homogeneous case with nontrivial data. After deriving the formula in the one dimensional case, the classical approach by spherical means is used in order to deal with the odd dimensional case. Finally, using the method of descent, the representation formula in the even dimensional case is proved.


Effects of plasma turbulence on the nonlinear evolution of magnetic island in tokamak. Magnetic islands (MIs), resulting from a magnetic field reconnection, are ubiquitous structures in magnetized plasmas. In tokamak plasmas, recent researches suggested that the interaction between the MI and ambient turbulence can be important for the nonlinear MI evolution, but a lack of detailed experimental observations and analyses has prevented further understanding. Here, we provide comprehensive two dimensional observations that indicate various effects of the ambient turbulence on the nonlinear MI evolution. It is shown that the modified plasma turbulence around the MI can lead to either destabilization or stabilization of the MI instability in tokamak plasmas. In particular, significantly enhanced turbulence at the X point of the MI results in a violent disruption through the fast magnetic reconnection and magnetic field stochastization.


Effect of Horizontal Spacing and Tilt Angle on Thermo Buoyant Natural Convection from Two Horizontally Aligned Square Cylinders. Laminar natural convection heat transfer from two horizontally aligned square cylinders has been investigated numerically using a finite volume method (FVM) approach. Computations were performed to delineate the momentum and heat transfer characteristics under the following ranges of parameters horizontal spacing between the cylinders (0 S W 10), tilt angle of the square cylinder (0 0 delta 60 0), and Grashof number (10 Gr 10 5) for some specific Newtonian fluids having Prandtl number (0.71 Pr 7). The comprehensive results are represented in terms of temperature contours and streamlines, velocity and temperature profiles, the mass flow rate in the passage between the cylinders, local and average Nu, and the drag coefficient. Owing to the development of a chimney effect, the heat transfer increases with decrease in the horizontal spacing up to a certain limit, whereas it significantly degrades with a further decrease in the spacing. The square cylinder having delta 45 0 shows a higher heat transfer, whereas it is least for delta 0 0. At higher Gr and Pr, the average Nu is found to be in excess of 22 at delta 45 0 compared to at delta 0 0. Overall, the average Nu has a strong dependence on both Gr and Pr, whereas it is a weak function of S W and delta . Furthermore, the entropy generation is reproduced non dimensionally in terms of the Bejan number. Finally, a correlation for the average Nu has been developed, which can be useful for the engineering calculations.


A Heuristic Based on Randomized Greedy Algorithms for the Clustered Shortest Path Tree Problem. Randomized Greedy Algorithms (RGAs) are interesting approaches to solve problems whose structures are not well understood as well as problems in combinatorial optimization which incorporate the random processes and the greedy algorithms. This paper introduces a new algorithm that combines the major features of RGAs and Shortest Path Tree Algorithm (SPTA) to deal with the Clustered Shortest Path Tree Problem (CluSPT). In our algorithm, SPTA is used to determine the shortest path tree in each cluster while the combination between characteristics of the RGAs and search strategy of SPTA is used to constructed the edges connecting clusters. To evaluate the performance of the proposed algorithm, Euclidean benchmarks are selected. The experimental investigations show the strengths of the proposed algorithm in comparison with some existing algorithms. We also analyze the influence of the parameters on the performance of the algorithm.


Word Sense Disambiguation for 158 Languages using Word Embeddings Only. Disambiguation of word senses in context is easy for humans, but is a major challenge for automatic approaches. Sophisticated supervised and knowledge based models were developed to solve this task. However, (i) the inherent Zipfian distribution of supervised training instances for a given word and or (ii) the quality of linguistic knowledge representations motivate the development of completely unsupervised and knowledge free approaches to word sense disambiguation (WSD). They are particularly useful for under resourced languages which do not have any resources for building either supervised and or knowledge based models. In this paper, we present a method that takes as input a standard pre trained word embedding model and induces a fully fledged word sense inventory, which can be used for disambiguation in context. We use this method to induce a collection of sense inventories for 158 languages on the basis of the original pre trained fastText word embeddings by Grave et al. (2018), enabling WSD in these languages. Models and system are available online.


Duality Pairs Induced by One Sided Gorenstein Subcategories. For a ring R and an additive subcategory C of the category Mod R of left R modules, under some conditions we prove that the right Gorenstein subcategory of Mod R and the left Gorenstein subcategory of Mod R op relative to C form a coproduct closed duality pair. Let R,S be rings and C a semidualizing ( R,S ) bimodule. As applications of the above result, we get that if S is right coherent and C is faithfully semidualizing, then ( mathcal GF C(R), mathcal GI C(R op )) is a coproduct closed duality pair and mathcal GF C(R) is covering in Mod R , where mathcal G mathcal F C(R) is the subcategory of Mod R consisting of C Gorenstein flat modules and mathcal G mathcal I C(R op ) is the subcategory of Mod R op consisting of C Gorenstein injective modules we also get that if S is right coherent, then ( mathcal A C(R op ),l mathcal G ( mathcal F C(R))) is a coproduct closed and product closed duality pair and mathcal A C(R op ) is covering and preenveloping in Mod R op , where mathcal A C(R op ) is the Auslander class in Mod R op and l mathcal G ( mathcal F C(R)) is the left Gorenstein subcategory of Mod R relative to C flat modules.


Space time error estimates for deep neural network approximations for differential equations. Over the last few years deep artificial neural networks (DNNs) have very successfully been used in numerical simulations for a wide variety of computational problems including computer vision, image classification, speech recognition, natural language processing, as well as computational advertisement. In addition, it has recently been proposed to approximate solutions of partial differential equations (PDEs) by means of stochastic learning problems involving DNNs. There are now also a few rigorous mathematical results in the scientific literature which provide error estimates for such deep learning based approximation methods for PDEs. All of these articles provide spatial error estimates for neural network approximations for PDEs but do not provide error estimates for the entire space time error for the considered neural network approximations. It is the subject of the main result of this article to provide space time error estimates for DNN approximations of Euler approximations of certain perturbed differential equations. Our proof of this result is based (i) on a certain artificial neural network (ANN) calculus and (ii) on ANN approximation results for products of the form 0,T times mathbb R d ni (t,x) mapsto tx in mathbb R d where T in (0, infty) , d in mathbb N , which we both develop within this article.


Stochastic rounding and reduced precision fixed point arithmetic for solving neural ordinary differential equations. Although double precision floating point arithmetic currently dominates high performance computing, there is increasing interest in smaller and simpler arithmetic types. The main reasons are potential improvements in energy efficiency and memory footprint and bandwidth. However, simply switching to lower precision types typically results in increased numerical errors. We investigate approaches to improving the accuracy of reduced precision fixed point arithmetic types, using examples in an important domain for numerical computation in neuroscience the solution of Ordinary Differential Equations (ODEs). The Izhikevich neuron model is used to demonstrate that rounding has an important role in producing accurate spike timings from explicit ODE solution algorithms. In particular, fixed point arithmetic with stochastic rounding consistently results in smaller errors compared to single precision floating point and fixed point arithmetic with round to nearest across a range of neuron behaviours and ODE solvers. A computationally much cheaper alternative is also investigated, inspired by the concept of dither that is a widely understood mechanism for providing resolution below the least significant bit (LSB) in digital signal processing. These results will have implications for the solution of ODEs in other subject areas, and should also be directly relevant to the huge range of practical problems that are represented by Partial Differential Equations (PDEs).


Hernandez Leclerc modules and snake graphs. In 2010, Hernandez and Leclerc studied connections between representations of quantum affine algebras and cluster algebras. In 2019, Brito and Chari defined a family of modules over quantum affine algebras, called Hernandez Leclerc modules. We characterize the highest ell weight monomials of Hernandez Leclerc modules. We give a non recursive formula for q characters of Hernandez Leclerc modules using snake graphs, which involves an explicit formula for F polynomials. We also give a new recursive formula for q characters of Hernandez Leclerc modules.


Opinion Dynamics with Multi Body Interactions. We introduce and analyse a three body consensus model (3CM) for non linear consensus dynamics on hypergraphs. Our model incorporates reinforcing group effects, which can cause shifts in the average state of the system even in if the underlying graph is complete (corresponding to a mean field interaction), a phenomena that may be interpreted as a type of peer pressure. We further demonstrate that for systems with two clustered groups, already a small asymmetry in our dynamics can lead to the opinion of one group becoming clearly dominant. We show that the nonlinearity in the model is the essential ingredient to make such group dynamics appear, and demonstrate how our system can otherwise be written as a linear, pairwise interaction system on a rescaled network.


Identifying disease free chest X ray images with deep transfer learning. Chest X rays (CXRs) are among the most commonly used medical image modalities. They are mostly used for screening, and an indication of disease typically results in subsequent tests. As this is mostly a screening test used to rule out chest abnormalities, the requesting clinicians are often interested in whether a CXR is normal or not. A machine learning algorithm that can accurately screen out even a small proportion of the "real normal" exams out of all requested CXRs would be highly beneficial in reducing the workload for radiologists. In this work, we report a deep neural network trained for classifying CXRs with the goal of identifying a large number of normal (disease free) images without risking the discharge of sick patients. We use an ImageNet pretrained Inception ResNet v2 model to provide the image features, which are further used to train a model on CXRs labelled by expert radiologists. The probability threshold for classification is optimized for 100 precision for the normal class, ensuring no sick patients are released. At this threshold we report an average recall of 50 . This means that the proposed solution has the potential to cut in half the number of disease free CXRs examined by radiologists, without risking the discharge of sick patients.


High quality Al 0.37 In 0.63 N layers grown at low temperature ( 300 circ C) by radio frequency sputtering. High quality Al0.37In0.63N layers have been grown by reactive radio frequency (RF) sputtering on sapphire, glass and Si (111) at low substrate temperature (from room temperature to 300 deg C). Their structural, chemical and optical properties are investigated as a function of the growth temperature and type of substrate. X ray diffraction measurements reveal that all samples have a wurtzite crystallographic structure oriented with the c axis perpendicular to the substrate surface, without parasitic orientations. The layers preserve their Al content at 37 for the whole range of studied growth temperature. The samples grown at low temperatures (RT and 100 deg C) are almost fully relaxed, showing a closely packed columnar like morphology with an RMS surface roughness below 3 nm. The optical band gap energy estimated for layers grown at RT and 100 deg C on sapphire and glass substrates is of 2.4 eV while it red shifts to 2.03 eV at 300 deg C. The feasibility of growing high crystalline quality AlInN at low growth temperature even on amorphous substrates open new application fields for this material like surface plasmon resonance sensors developed directly on optical fibers and other applications where temperature is a handicap and the material cannot be heated.


Dispersed fibers change the classical energy budget of turbulence via nonlocal transfer. The back reaction of dispersed rigid fibers to turbulence is analyzed by means of a state of the art fully coupled immersed boundary method. The following universal scenario is identified turbulence at large scales looses a consistent part of its kinetic energy (via a Darcy friction term), which partially re appears at small scales where a new range of energy containing scales does emerge. Large scale mixing is thus depleted in favor of a new mixing mechanism arising at the smallest scales. Anchored fibers cause the same back reaction to turbulence as moving fibers of large inertia. Our results thus provide a link between two apparently separated realms the one of porous media and the one of suspension dynamics.


Explicit characterization of the torsion growth of rational elliptic curves with complex multiplication over quadratic fields. In a series of papers we classify the possible torsion structures of rational elliptic curves base extended to number fields of a fixed degree. In this paper we turn our attention to the question of how the torsion of an elliptic curve with complex multiplication defined over the rationals grows over quadratic fields. We go further and we give an explicit characterization of the quadratic fields where the torsion grows in terms of some invariants attached to the curve.


Large time asymptotics for a cubic nonlinear Schr "odinger system in one space dimension. We consider a two component system of cubic nonlinear Schr "odinger equations in one space dimension. We show that each component of the solutions to this system behaves like a free solution in the large time, but there is a strong restriction between the profiles of them. This turns out to be a consequence of non trivial long range nonlinear interactions.


Learning, transferring, and recommending performance knowledge with Monte Carlo tree search and neural networks. Making changes to a program to optimize its performance is an unscalable task that relies entirely upon human intuition and experience. In addition, companies operating at large scale are at a stage where no single individual understands the code controlling its systems, and for this reason, making changes to improve performance can become intractably difficult. In this paper, a learning system is introduced that provides AI assistance for finding recommended changes to a program. Specifically, it is shown how the evaluative feedback, delayed reward performance programming domain can be effectively formulated via the Monte Carlo tree search (MCTS) framework. It is then shown that established methods from computational games for using learning to expedite tree search computation can be adapted to speed up computing recommended program alterations. Estimates of expected utility from MCTS trees built for previous problems are used to learn a sampling policy that remains effective across new problems, thus demonstrating transferability of optimization knowledge. This formulation is applied to the Apache Spark distributed computing environment, and a preliminary result is observed that the time required to build a search tree for finding recommendations is reduced by up to a factor of 10x.


Robust Dense Mapping for Large Scale Dynamic Environments. We present a stereo based dense mapping algorithm for large scale dynamic urban environments. In contrast to other existing methods, we simultaneously reconstruct the static background, the moving objects, and the potentially moving but currently stationary objects separately, which is desirable for high level mobile robotic tasks such as path planning in crowded environments. We use both instance aware semantic segmentation and sparse scene flow to classify objects as either background, moving, or potentially moving, thereby ensuring that the system is able to model objects with the potential to transition from static to dynamic, such as parked cars. Given camera poses estimated from visual odometry, both the background and the (potentially) moving objects are reconstructed separately by fusing the depth maps computed from the stereo input. In addition to visual odometry, sparse scene flow is also used to estimate the 3D motions of the detected moving objects, in order to reconstruct them accurately. A map pruning technique is further developed to improve reconstruction accuracy and reduce memory consumption, leading to increased scalability. We evaluate our system thoroughly on the well known KITTI dataset. Our system is capable of running on a PC at approximately 2.5Hz, with the primary bottleneck being the instance aware semantic segmentation, which is a limitation we hope to address in future work. The source code is available from the project website (http andreibarsan.github.io dynslam).


Kernel Embedding based Variational Approach for Low dimensional Approximation of Dynamical Systems. Transfer operators such as Perron Frobenius or Koopman operator play a key role in modeling and analysis of complex dynamical systems, which allow linear representations of nonlinear dynamics by transforming the original state variables to feature spaces. However, it remains challenging to identify the optimal low dimensional feature mappings from data. The variational approach for Markov processes (VAMP) provides a comprehensive framework for the evaluation and optimization of feature mappings based on the variational estimation of modeling errors, but it still suffers from a flawed assumption on the transfer operator and therefore sometimes fails to capture the essential structure of system dynamics. In this paper, we develop a powerful alternative to VAMP, called kernel embedding based variational approach for dynamical systems (KVAD). By using the distance measure of functions in the kernel embedding space, KVAD effectively overcomes the theoretical and practical limitations of VAMP. In addition, we develop a data driven KVAD algorithm for seeking the ideal feature mapping within a subspace spanned by given basis functions, and numerical experiments show that the proposed algorithm can significantly improve the modeling accuracy compared to VAMP.


A Secure Two Party Computation Protocol for Intersection Detection between Two Convex Hulls. Intersection detection between three dimensional bodies has various applications in computer graphics, video game development, robotics as well as military industries. In some respects, entities do not want to disclose sensitive information about themselves, including their location. In this paper, we present a secure two party protocol to determine the existence of an intersection between entities. The protocol presented in this paper allows for intersection detection in three dimensional spaces in geometry. Our approach is to use an intersecting plane between two spaces to determine their separation or intersection. For this purpose, we introduce a computational geometry protocol to determine the existence of an intersecting plane. In this paper, we first use the Minkowski difference to reduce the two space problem into one space. Then, the separating set is obtained and the separation of two shapes is determined based on the inclusion of the center point. We then secure the protocol by modifying the separating set computation method as a privacy preserver and changing the Minkowski difference method to achieve this goal. The proposed protocol applies to any form of convex three dimensional shape. The experiments successfully found a secure protocol for intersection detection between two convex hulls in geometrical shapes such as the pyramid and cuboid.


Numerical study of non gyrotropic electron pressure effects in collisionless magnetic reconnection. We investigate the time evolution of the six component electron pressure tensor in a hybrid code studying consequences for the two dimensional reconnection process in an initially perturbed Harris sheet. We put forward that two tensor components (a diagonal and a non diagonal one) grow in an unstable way unless an isotropization operator is considered. This isotropization term is physically associated with an electron heat flux. As a consequence, we put forward that an enhanced value of a diagonal component is observed in the very middle of field reversal at sub ion scale. Because of the increase of the kinetic pressure, the magnetic field is decreased in this electron layer, hence increasing the associated out of plane current at its edges and leading to its bifurcation. The bifurcation mechanism is based on the presence of electron pressure anisotropy, related to the gradient of inflow electron bulk velocity. The gradient in the inflow direction of the enhanced diagonal electron pressure tensor component results in the deceleration of the ions entering the X point region. We suggest that bifurcated current sheets resulting from the anisotropies agyrotropies of the six component electron pressure tensor correspond to smaller reconnection rates comparing to non bifurcated ones.


Complete Finsler spaces of constant negative Ricci curvature. Here, using the projectively invariant pseudo distance and Schwarzian derivative, it is shown that every connected complete Finsler space of the constant negative Ricci scalar is reversible. In particular, every complete Randers metric of constant negative Ricci (or flag) curvature is Riemannian.


Multi reference protocol for (auto)ionization spectra application to molecules. We present the application of the spherically averaged continuum model to the evaluation of molecular photoelectron and resonant Auger electron spectra. In this model, the continuum wave function is obtained in a numerically efficient way by solving the radial Schr "odinger equation with a spherically averaged molecular potential. Different approximations to the Auger transition matrix element and, in particular, the one center approximation are thoroughly tested against experimental data for the CH 4 , O 2 , NO 2 , and pyrimidine molecules. In general, this approach appears to estimate the shape of the photoelectron and autoionization spectra as well as the total Auger decay rates with reasonable accuracy, allowing for the interpretation of experimental results.


Existence and uniqueness theorems for pointwise slant immersions in complex space forms. An isometric immersion f M n rightarrow tilde M m from an n dimensional Riemannian manifold M n into an almost Hermitian manifold tilde M m of complex dimension m is called pointwise slant if its Wirtinger angles define a function defined on M . In this paper we establish the existence and uniqueness theorems for pointwise slant immersions of Riemannian manifolds M n into a complex space form tilde M n (c) of constant holomorphic sectional curvature c .


Cross Domain Facial Expression Recognition A Unified Evaluation Benchmark and Adversarial Graph Learning. To address the problem of data inconsistencies among different facial expression recognition (FER) datasets, many cross domain FER methods (CD FERs) have been extensively devised in recent years. Although each declares to achieve superior performance, fair comparisons are lacking due to the inconsistent choices of the source target datasets and feature extractors. In this work, we first analyze the performance effect caused by these inconsistent choices, and then re implement some well performing CD FER and recently published domain adaptation algorithms. We ensure that all these algorithms adopt the same source datasets and feature extractors for fair CD FER evaluations. We find that most of the current leading algorithms use adversarial learning to learn holistic domain invariant features to mitigate domain shifts. However, these algorithms ignore local features, which are more transferable across different datasets and carry more detailed content for fine grained adaptation. To address these issues, we integrate graph representation propagation with adversarial learning for cross domain holistic local feature co adaptation by developing a novel adversarial graph representation adaptation (AGRA) framework. Specifically, it first builds two graphs to correlate holistic and local regions within each domain and across different domains, respectively. Then, it extracts holistic local features from the input image and uses learnable per class statistical distributions to initialize the corresponding graph nodes. Finally, two stacked graph convolution networks (GCNs) are adopted to propagate holistic local features within each domain to explore their interaction and across different domains for holistic local feature co adaptation. We conduct extensive and fair evaluations on several popular benchmarks and show that the proposed AGRA framework outperforms previous state of the art methods.


Flexible Schemes for Pattern Avoiding Permutations. We modify the enumeration schemes of Zeilberger and Vatter so that they can efficiently enumerate many new classes of pattern avoiding permutations including all such classes with a regular insertion encoding.


Non asymptotic behavior and the distribution of the spectrum of the finite Hankel transform operator. For a fixed reals c 0 , a 0 and alpha frac 1 2 , the circular prolate spheroidal wave functions (CPSWFs) or 2d Slepian functions as some authors call it, are the eigenfunctions of the finite Hankel transform operator, denoted by mathcal H c alpha , which is the integral operator defined on L 2(0,1) with kernel H c alpha (x,y) sqrt cxy J alpha (cxy) . Also, they are the eigenfunctions of the positive, self adjoint compact integral operator mathcal Q c alpha c mathcal H c alpha mathcal H c alpha . The CPSWFs play a central role in many applications such as the analysis of 2d radial signals. Moreover, a renewed interest on the CPSWFs instead of Fourier Bessel basis is expected to follow from the potential applications in Cryo EM and that makes them attractive for steerable of principal component analysis(PCA). For this purpose, we give in this paper a precise non asymptotic estimates for these eigenvalues, within the three main regions of the spectrum of mathcal Q c alpha as well as these distributions in (0,1). Moreover, we describe a series expansion of CPSWFs with respect to the generalized Laguerre functions basis of L 2(0, infty) defined by psi n, alpha a(x) sqrt 2 a alpha 1 x alpha 1 2 e frac (ax) 2 2 widetilde L n alpha (a 2x 2) , where widetilde L n alpha is the normalised Laguerre polynomial.


The first p widths of the unit disk. On compact 2 manifolds with non empty convex boundary, we prove a regularity result for integral 1 varifolds V that are stationary with free boundary and mathbb Z 2 almost minimizing in small annuli. That regularity says that V is a free boundary finite geodesic network. Next, using that regularity, we compute the first p widths of the unit closed ball B 2, for p 1, . . . , 4.


Automatically growing global reactive neural network potential energy surfaces a trajectory free active learning strategy. An efficient and trajectory free active learning method is proposed to automatically sample data points for constructing globally accurate reactive potential energy surfaces (PESs) using neural networks (NNs). Although NNs do not provide the predictive variance as the Gaussian process regression does, we can alternatively minimize the negative of the squared difference surface (NSDS) given by two different NN models to actively locate the point where the PES is least confident. A batch of points in the minima of this NSDS can be iteratively added into the training set to improve the PES. The configuration space is gradually and globally covered with no need to run classical trajectory (or equivalently molecular dynamics) simulations. Through refitting the available analytical PESs of H3 and OH3 reactive systems, we demonstrate the efficiency and robustness of this new strategy, which enables fast convergence of the reactive PESs with respect to the number of points in terms of quantum scattering probabilities.


Semantic Segmentation of Surface from Lidar Point Cloud. In the field of SLAM (Simultaneous Localization And Mapping) for robot navigation, mapping the environment is an important task. In this regard the Lidar sensor can produce near accurate 3D map of the environment in the format of point cloud, in real time. Though the data is adequate for extracting information related to SLAM, processing millions of points in the point cloud is computationally quite expensive. The methodology presented proposes a fast algorithm that can be used to extract semantically labelled surface segments from the cloud, in real time, for direct navigational use or higher level contextual scene reconstruction. First, a single scan from a spinning Lidar is used to generate a mesh of subsampled cloud points online. The generated mesh is further used for surface normal computation of those points on the basis of which surface segments are estimated. A novel descriptor to represent the surface segments is proposed and utilized to determine the surface class of the segments (semantic label) with the help of classifier. These semantic surface segments can be further utilized for geometric reconstruction of objects in the scene, or can be used for optimized trajectory planning by a robot. The proposed methodology is compared with number of point cloud segmentation methods and state of the art semantic segmentation methods to emphasize its efficacy in terms of speed and accuracy.


A Nisnevich Local Bloch Ogus Theorem over a General Base. We prove the exactness of the Nisnevich Gersten complex over a base under some conditions. We also obtain, as a consequence, a Nisnevich analogue of the Bloch Ogus theorem for ' e tale cohomology in this setting.


Aggregated Deep Local Features for Remote Sensing Image Retrieval. Remote Sensing Image Retrieval remains a challenging topic due to the special nature of Remote Sensing Imagery. Such images contain various different semantic objects, which clearly complicates the retrieval task. In this paper, we present an image retrieval pipeline that uses attentive, local convolutional features and aggregates them using the Vector of Locally Aggregated Descriptors (VLAD) to produce a global descriptor. We study various system parameters such as the multiplicative and additive attention mechanisms and descriptor dimensionality. We propose a query expansion method that requires no external inputs. Experiments demonstrate that even without training, the local convolutional features and global representation outperform other systems. After system tuning, we can achieve state of the art or competitive results. Furthermore, we observe that our query expansion method increases overall system performance by about 3 , using only the top three retrieved images. Finally, we show how dimensionality reduction produces compact descriptors with increased retrieval performance and fast retrieval computation times, e.g. 50 faster than the current systems.


The Physics of Fun Quantifying Human Engagement into Playful Activities. Engaging in playful activities, such as playing a musical instrument, learning a language, or performing sports, is a fundamental aspect of human life. We present a quantitative empirical analysis of the engagement dynamics into playful activities. We do so by analyzing the behavior of millions of players of casual video games and discover a scaling law governing the engagement dynamics. This power law behavior is indicative of a multiplicative (i.e., happy get happier'') mechanism of engagement characterized by a set of critical exponents. We also find, depending on the critical exponents, that there is a phase transition between the standard case where all individuals eventually quit the activity and another phase where a finite fraction of individuals never abandon the activity. The behavior that we have uncovered in this work might not be restricted only to human interaction with videogames. Instead, we believe it reflects a more general and profound behavior of how humans become engaged in challenging activities with intrinsic rewards.


Data Preparation in Agriculture Through Automated Semantic Annotation Basis for a Wide Range of Smart Services. Modern agricultural technology and the increasing digitalisation of such processes provide a wide range of data. However, their efficient and beneficial use suffers from legitimate concerns about data sovereignty and control, format inconsistencies and different interpretations. As a proposed solution, we present Wikinormia, a collaborative platform in which interested participants can describe and discuss their own new data formats. Once a finalized vocabulary has been created, specific parsers can semantically process the raw data into three basic representations spatial information, time series and semantic facts (agricultural knowledge graph). Thanks to publicly accessible definitions and descriptions, developers can easily gain an overview of the concepts that are relevant to them. A variety of services will then (subject to individual access rights) be able to query their data simply via a query interface and retrieve results. We have already implemented this proposed solution in a prototype in the SDSD (Smart Data Smart Services) project and demonstrate the benefits with a range of representative services. This provides an efficient system for the cooperative, flexible digitalisation of agricultural workflows.


Heterogeneous Computation Assignments in Coded Elastic Computing. We study the optimal design of a heterogeneous coded elastic computing (CEC) network where machines have varying relative computation speeds. CEC introduced by Yang it et al. is a framework which mitigates the impact of elastic events, where machines join and leave the network. A set of data is distributed among storage constrained machines using a Maximum Distance Separable (MDS) code such that any subset of machines of a specific size can perform the desired computations. This design eliminates the need to re distribute the data after each elastic event. In this work, we develop a process for an arbitrary heterogeneous computing network to minimize the overall computation time by defining an optimal computation load, or number of computations assigned to each machine. We then present an algorithm to define a specific computation assignment among the machines that makes use of the MDS code and meets the optimal computation load.


Magnetic Field Transport in Propagating Thermonuclear Burn. High energy gain in inertial fusion schemes requires the propagation of a thermonuclear burn wave from hot to cold fuel. We consider the problem of burn propagation when a magnetic field is orthogonal to the burn wave. Using an extended MHD model with a magnetized alpha energy transport equation we find that the magnetic field can reduce the rate of burn propagation by suppressing electron thermal conduction and alpha particle flux. Magnetic field transport during burn propagation is subject to competing effects field can be advected from cold to hot regions by ablation of cold fuel, while the Nernst and alpha particle flux effects transport field from hot to cold fuel. These effects, combined with the temperature increase due to burn, can cause the electron Hall parameter to grow rapidly at the burn front. This results in the formation of a self insulating layer between hot and cold fuel that reduces electron thermal conductivity and alpha transport, increases the temperature gradient and reduces the rate of burn propagation.


Displacement energy of Lagrangian 3 spheres. We estimate the displacement energy of Lagrangian 3 spheres in a symplectic 6 manifold X , by estimating the displacement energy of a one parameter family L lambda of Lagrangian tori near the sphere. The proof establishes a new version of Lagrangian Floer theory with cylinder corrections, which is motivated by the change of open Gromov Witten invariants under the conifold transition. We also make observations and computations on the classical Floer theory by using symplectic sum formula and Welschinger invariants.


Clinically Accurate Chest X Ray Report Generation. The automatic generation of radiology reports given medical radiographs has significant potential to operationally and improve clinical patient care. A number of prior works have focused on this problem, employing advanced methods from computer vision and natural language generation to produce readable reports. However, these works often fail to account for the particular nuances of the radiology domain, and, in particular, the critical importance of clinical accuracy in the resulting generated reports. In this work, we present a domain aware automatic chest X ray radiology report generation system which first predicts what topics will be discussed in the report, then conditionally generates sentences corresponding to these topics. The resulting system is fine tuned using reinforcement learning, considering both readability and clinical accuracy, as assessed by the proposed Clinically Coherent Reward. We verify this system on two datasets, Open I and MIMIC CXR, and demonstrate that our model offers marked improvements on both language generation metrics and CheXpert assessed accuracy over a variety of competitive baselines.


PhysGAN Generating Physical World Resilient Adversarial Examples for Autonomous Driving. Although Deep neural networks (DNNs) are being pervasively used in vision based autonomous driving systems, they are found vulnerable to adversarial attacks where small magnitude perturbations into the inputs during test time cause dramatic changes to the outputs. While most of the recent attack methods target at digital world adversarial scenarios, it is unclear how they perform in the physical world, and more importantly, the generated perturbations under such methods would cover a whole driving scene including those fixed background imagery such as the sky, making them inapplicable to physical world implementation. We present PhysGAN, which generates physical world resilient adversarial examples for mislead ing autonomous driving systems in a continuous manner. We show the effectiveness and robustness of PhysGAN via extensive digital and real world evaluations. Digital experiments show that PhysGAN is effective for various steer ing models and scenes, which misleads the average steer ing angle by up to 23.06 degrees under various scenarios. The real world studies further demonstrate that PhysGAN is sufficiently resilient in practice, which misleads the average steering angle by up to 19.17 degrees. We compare PhysGAN with a set of state of the art baseline methods including several of our self designed ones, which further demonstrate the robustness and efficacy of our approach. We also show that PhysGAN outperforms state of the art baseline methods To the best of our knowledge, PhysGANis probably the first technique of generating realistic and physical world resilient adversarial examples for attacking common autonomous driving scenarios.


C SALT Mining Class Specific ALTerations in Boolean Matrix Factorization. Given labeled data represented by a binary matrix, we consider the task to derive a Boolean matrix factorization which identifies commonalities and specifications among the classes. While existing works focus on rank one factorizations which are either specific or common to the classes, we derive class specific alterations from common factorizations as well. Therewith, we broaden the applicability of our new method to datasets whose class dependencies have a more complex structure. On the basis of synthetic and real world datasets, we show on the one hand that our method is able to filter structure which corresponds to our model assumption, and on the other hand that our model assumption is justified in real world application. Our method is parameter free.


Natural Language Premise Selection Finding Supporting Statements for Mathematical Text. Mathematical text is written using a combination of words and mathematical expressions. This combination, along with a specific way of structuring sentences makes it challenging for state of art NLP tools to understand and reason on top of mathematical discourse. In this work, we propose a new NLP task, the natural premise selection, which is used to retrieve supporting definitions and supporting propositions that are useful for generating an informal mathematical proof for a particular statement. We also make available a dataset, NL PS, which can be used to evaluate different approaches for the natural premise selection task. Using different baselines, we demonstrate the underlying interpretation challenges associated with the task.


Excess Thermal Energy and Latent Heat in Nanocluster Collisional Growth. Nanoclusters can form and grow by nanocluster monomer (condensation) and nanocluster nanocluster (coagulation) collisions. During growth, product nanoclusters have elevated thermal energies due to potential and thermal energy exchange following a collision. Even though nanocluster collisional heating may be significant and strongly size dependent, no prior theory describes such phenomenon. We derive a model to describe the excess thermal energy, the kinetic energy increase of the product cluster, and latent heat, the heat released to the background upon thermalization of the non equilibrium cluster, of collisional growth. Both quantities are composed of an enthalpic term, related to potential energy minimum differences, and a size dependent entropic term, which hinges upon heat capacity and energy partitioning. Example calculations using gold nanoclusters demonstrate that collisional heating can be important and strongly size dependent, particularly for reactive collisions involving nanoclusters composed of 14 20 atoms. Excessive latent heat release may have considerable implications in cluster formation and growth.


Optimal trade execution in an order book model with stochastic liquidity parameters. We analyze an optimal trade execution problem in a financial market with stochastic liquidity. To this end we set up a limit order book model in which both order book depth and resilience evolve randomly in time. Trading is allowed in both directions and at discrete points in time. We derive an explicit recursion that, under certain structural assumptions, characterizes minimal execution costs. We also discuss several qualitative aspects of optimal strategies, such as existence of profitable round trips or closing the position in one go, and compare our findings with the literature.


NUBES A Corpus of Negation and Uncertainty in Spanish Clinical Texts. This paper introduces the first version of the NUBes corpus (Negation and Uncertainty annotations in Biomedical texts in Spanish). The corpus is part of an on going research and currently consists of 29,682 sentences obtained from anonymised health records annotated with negation and uncertainty. The article includes an exhaustive comparison with similar corpora in Spanish, and presents the main annotation and design decisions. Additionally, we perform preliminary experiments using deep learning algorithms to validate the annotated dataset. As far as we know, NUBes is the largest publicly available corpus for negation in Spanish and the first that also incorporates the annotation of speculation cues, scopes, and events.


How to Find a Point in the Convex Hull Privately. We study the question of how to compute a point in the convex hull of an input set S of n points in mathbb R d in a differentially private manner. This question, which is trivial non privately, turns out to be quite deep when imposing differential privacy. In particular, it is known that the input points must reside on a fixed finite subset G subseteq mathbb R d , and furthermore, the size of S must grow with the size of G . Previous works focused on understanding how n needs to grow with G , and showed that n O left(d 2.5 cdot8 log G right) suffices (so n does not have to grow significantly with G ). However, the available constructions exhibit running time at least G d 2 , where typically G X d for some (large) discretization parameter X , so the running time is in fact Omega(X d 3 ) . In this paper we give a differentially private algorithm that runs in O(n d) time, assuming that n Omega(d 4 log X) . To get this result we study and exploit some structural properties of the Tukey levels (the regions D ge k consisting of points whose Tukey depth is at least k , for k 0,1,... ). In particular, we derive lower bounds on their volumes for point sets S in general position, and develop a rather subtle mechanism for handling point sets S in degenerate position (where the deep Tukey regions have zero volume). A naive approach to the construction of the Tukey regions requires n O(d 2) time. To reduce the cost to O(n d) , we use an approximation scheme for estimating the volumes of the Tukey regions (within their affine spans in case of degeneracy), and for sampling a point from such a region, a scheme that is based on the volume estimation framework of Lov 'asz and Vempala (FOCS 2003) and of Cousins and Vempala (STOC 2015). Making this framework differentially private raises a set of technical challenges that we address.


Retrosynthesis with Attention Based NMT Model and Chemical Analysis of the "Wrong" Predictions. We cast retrosynthesis as a machine translation problem by introducing a special Tensor2Tensor, an entire attention based and fully data driven model. Given a data set comprising about 50,000 diverse reactions extracted from USPTO patents, the model significantly outperforms seq2seq model (34.7 ) on a top 1 accuracy by achieving 54.1 . For yielding better results, parameters such as batch size and training time are thoroughly investigated to train the model. Additionally, we offer a novel insight into the causes of grammatically invalid SMILES, and conduct a test in which experienced chemists pick out and analyze the "wrong" predictions that may be chemically plausible but differ from the ground truth. Actually, the effectiveness of our model is un derestimated and the "true" top 1 accuracy can reach to 64.6 .


Robustness analysis in an inter cities mobility network modeling municipal, state and federal initiatives as failures and attacks. Motivated by the challenge related to the COVID 19 epidemic and the seek for optimal containment strategies, we present a robustness analysis into an inter cities mobility complex network. We abstract municipal initiatives as nodes' failures and the federal actions as targeted attacks. The geo(graphs) approach is applied to visualize the geographical graph and produce maps of topological indexes, such as degree and vulnerability. A Brazilian data of 2016 is considered a case study, with more than five thousand cities and twenty seven states. Based on the Network Robustness index, we show that the most efficient attack strategy shifts from a topological degree based, for the all cities network, to a topological vulnerability based, for a network considering the Brazilian States as nodes. Moreover, our results reveal that individual municipalities' actions do not cause a high impact on mobility restrain since they tend to be punctual and disconnected to the country scene as a whole. Oppositely, the coordinated isolation of specific cities is key to detach entire network areas and thus prevent a spreading process to prevail.


From the potential to the first Hochschild cohomology group of a cluster tilted algebra. The objective of this paper is to give a concrete interpretation of the dimension of the first Hochschild cohomology space of a cyclically oriented or tame cluster tilted algebra in terms of a numerical invariant arising from the potential.


On Learning Meaningful Assert Statements for Unit Test Cases. Software testing is an essential part of the software lifecycle and requires a substantial amount of time and effort. It has been estimated that software developers spend close to 50 of their time on testing the code they write. For these reasons, a long standing goal within the research community is to (partially) automate software testing. While several techniques and tools have been proposed to automatically generate test methods, recent work has criticized the quality and usefulness of the assert statements they generate. Therefore, we employ a Neural Machine Translation (NMT) based approach called Atlas(AuTomatic Learning of Assert Statements) to automatically generate meaningful assert statements for test methods. Given a test method and a focal method (i.e.,the main method under test), Atlas can predict a meaningful assert statement to assess the correctness of the focal method. We applied Atlas to thousands of test methods from GitHub projects and it was able to predict the exact assert statement manually written by developers in 31 of the cases when only considering the top 1 predicted assert. When considering the top 5 predicted assert statements, Atlas is able to predict exact matches in 50 of the cases. These promising results hint to the potential usefulness ofour approach as (i) a complement to automatic test case generation techniques, and (ii) a code completion support for developers, whocan benefit from the recommended assert statements while writing test code.


MGIC Multigrid in Channels Neural Network Architectures. We present a multigrid in channels (MGIC) approach that tackles the quadratic growth of the number of parameters with respect to the number of channels in standard convolutional neural networks (CNNs). Thereby our approach addresses the redundancy in CNNs that is also exposed by the recent success of lightweight CNNs. Lightweight CNNs can achieve comparable accuracy to standard CNNs with fewer parameters however, the number of weights still scales quadratically with the CNN's width. Our MGIC architectures replace each CNN block with an MGIC counterpart that utilizes a hierarchy of nested grouped convolutions of small group size to address this. Hence, our proposed architectures scale linearly with respect to the network's width while retaining full coupling of the channels as in standard CNNs. Our extensive experiments on image classification, segmentation, and point cloud classification show that applying this strategy to different architectures like ResNet and MobileNetV3 reduces the number of parameters while obtaining similar or better accuracy.


Simplicial sets, Postnikov systems, and bounded cohomology. The paper is devoted to an approach to the bounded cohomology theory based on the theories of simplicial sets and Postnikov systems. In particular, the main results of the bounded cohomology theory of topological spaces are extended to arbitrary Kan (fibrant) simplicial sets.


A note on Korobov lattice rules for integration of analytic functions. We study numerical integration for a weighted Korobov space of analytic periodic functions for which the Fourier coefficients decay exponentially fast. In particular, we are interested in how the error depends on the dimension d . Many recent papers deal with this problem or similar problems and provide matching necessary and sufficient conditions for various notions of tractability. In most cases even simple algorithms are known which allow to achieve these notions of tractability. However, there is a gap in the literature while for the notion of exponential weak tractability one knows matching necessary and sufficient conditions, so far no explicit algorithm has been known which yields the desired result. In this paper we close this gap and prove that Korobov lattice rules are suitable algorithms in order to achieve exponential weak tractability for integration in weighted Korobov spaces of analytic periodic functions.


Enabling Secure Wireless Communications via Intelligent Reflecting Surfaces. In this paper, we propose to utilize intelligent reflecting surfaces (IRSs) for enhancing the physical layer security of wireless communications systems. In particular, an IRS assisted secure wireless system is considered, where a multi antenna transmitter communicates with a single antenna receiver in the presence of an eavesdropper. To maximize the secrecy rate, both the beamformer at the transmitter and the IRS phase shifts are jointly optimized. Based on the block coordinate descent (BCD) and minorization maximization (MM) techniques, two efficient algorithms are developed to solve the resulting non convex optimization problem for small and large scale IRSs, respectively. Simulation results show that IRSs can significantly improve physical layer security if the proposed algorithms are employed. Furthermore, we reveal that deploying large scale IRSs is more efficient than enlarging the antenna array size of the transmitter for both boosting the secrecy rate and enhancing the energy efficiency.


Real time Monitoring of Cellular Cultures with Electrolyte gated Carbon Nanotube Transistors. Cell based biosensors constitute a fundamental tool in biotechnology, and their relevance has greatly increased in recent years as a result of a surging demand for reduced animal testing and for high throughput and cost effective in vitro screening platforms dedicated to environmental and biomedical diagnostics, drug development and toxicology. In this context, electrochemical electronic cell based biosensors represent a promising class of devices that enable long term and real time monitoring of cell physiology in a non invasive and label free fashion, with a remarkable potential for process automation and parallelization. Common limitations of this class of devices at large include the need for substrate surface modification strategies to ensure cell adhesion and immobilization, limited compatibility with complementary optical cell probing techniques, and need for frequency dependent measurements, which rely on elaborated equivalent electrical circuit models for data analysis and interpretation. We hereby demonstrate the monitoring of cell adhesion and detachment through the time dependent variations in the quasi static characteristic current curves of a highly stable electrolyte gated transistor, based on an optically transparent network of printable polymer wrapped semiconducting carbon nanotubes.


On the Existence of a Solution of the Boundary Initial Value Problem. An initial value problem for an ordinary differential equation of the first order, is considered. It is supposed that the right hand side of the equation is a continuous function defined on a set consisting of an open set and a part of its bound. Sufficient conditions of the existence and of non existence of a solution through initial point belonging to the boundary part of the set of definition, are presented.


Structure of projective varieties with nef anticanonical divisor the case of log terminal singularities. In this article we study the structure of klt projective varieties with nef anticanonical divisor (and more generally, varieties of semi Fano type), especially the canonical fibrations associated to them. We show that 1. the Albanese map for such variety is a locally constant fibration (that is, an analytic fibre bundle with connected fibres that X is equal to the product of the universal cover of the Albanese torus by the fibre of the Albanese map quotient by a diagonal action of the fundamenatl group of the Albanese torus) 2. if the smooth locus is simply connected, the MRC fibration of such variety is an everywhere defined morphism and induces a decomposition into a product of a rationally connected variety and of a projective variety with trivial canonical divisor. These generalize the corresponding results for smooth projective varieties with nef anticanonical bundle in Cao (2019) and Cao H "oring (2019) to the klt case, and can be also regarded as a partial extension of the singular Beauville Bogomolov decomposition theorem proved by successive works of Greb Kebekus Peternell (2016), Druel (2018), Guenencia Greb Kebekus (2019) and H "oring Peternell (2019).


Constructions of d spheres from (d 1) spheres and d balls with same set of vertices. Given a combinatorial (d 1) sphere S , to construct a combinatorial d sphere S hspace .2mm prime containing S , one usually needs some more vertices. Here we consider the question whether we can do one such construction without the help of any additional vertices. We show that this question has affirmative answer when S is a flag sphere, a stacked sphere or a join of spheres. We also consider the question whether we can construct an n vertex combinatorial d sphere containing a given n vertex combinatorial d ball.